論文の概要: Certified Pruning from Counterfactual Consistency: Exact Certificates and Structured SAT Families

• arxiv url: http://arxiv.org/abs/2509.07000v3
• Date: Mon, 06 Oct 2025 12:05:54 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-10-07 14:28:10.663591
• Title: Certified Pruning from Counterfactual Consistency: Exact Certificates and Structured SAT Families
• Title（参考訳）: 事実上の整合性からの認証取得:厳密な認証と構造化SATファミリ
• Authors: Maximilian Ralph Peter von Liechtenstein,
• Abstract要約: 実験室の文脈性実験において,エプシロン対数測定器とエプシロン安定性を定式化し,ノイズが強いが検証可能な制約を捉えた。 我々はこれらの制約をコンテキストのネットワークに拡張し、CNF-SATインスタンス全体でグローバルに適用される文脈性型不等式を生成する。 本稿では,Farkasの2つの証明を正確な算術で検証し,すべての学習節を認証するプロパゲートとプルーの解法を実装した。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We introduce a certified pruning framework that consolidates the principles of counterfactual consistency and their networked extensions into a single operational model, with consequences for both quantum foundations and cryptographic hardness. First, we formalize epsilon-counterfactual instrumentation and epsilon-stability, capturing noisy but testable constraints in laboratory contextuality experiments. Second, we extend these constraints to networks of contexts, yielding contextuality-type inequalities that apply globally across a CNF-SAT instance. Third, we implement a propagate-and-prune solver in which every learned clause is certified by a dual Farkas certificate verified in exact arithmetic. This guarantees soundness while enabling sub-exponential pruning: if the induced network provides a per-variable pruning rate rho in (0,1) under epsilon-stable propagation, the search runs in time (2-rho)^n. These bounds do not contradict ETH or SETH: the worst case remains exponential, but structured families admit provable speedups. In cryptography, the results highlight how such reductions could affect hardness margins in idealized primitives; in foundations, they motivate laboratory tests of counterfactual bounds as potential probes of computational complexity. We explicitly distinguish experimental epsilon, which quantifies laboratory visibility, from numerical epsilon, which is a solver tolerance. This builds directly on our earlier framework for epsilon-instrumentation, here integrated into certified pruning with dual certificates.
• Abstract（参考訳）: 我々は,反ファクト的一貫性の原理とネットワーク拡張を単一の運用モデルに統合する認証プルーニングフレームワークを導入し,量子基盤と暗号ハードネスの両方に影響を及ぼす。 まず,実験室の文脈性実験において,エプシロン計数器とエプシロン安定性を定式化した。 第2に、これらの制約をコンテキストのネットワークに拡張し、CNF-SATインスタンス全体にわたってグローバルに適用される文脈性型不等式を生成する。 第三に、各学習節が正確な算術で証明された2つのFarkas証明書によって認証されるプロパゲートとプルーの解法を実装している。 誘導されたネットワークがエプシロン安定伝搬下で(0,1)の変数ごとのプルーニングレート rho を提供していれば、探索は時間(2-rho)^n で実行される。 これらの境界はETHやSETHと矛盾せず、最悪のケースは指数関数のままであるが、構造化された族は証明可能なスピードアップを認めている。 暗号学では、このような減少が理想化されたプリミティブの硬さマージンにどのように影響するかが強調され、基礎では、計算複雑性の潜在的プローブとして反事実境界の実験を動機付けている。 我々は,実験室の可視性を定量化する実験エプシロンと,解法耐性である数値エプシロンとを明確に区別する。 これは、Epsilon-Instrumentationの以前のフレームワークの上に構築されており、ここでは認定プルーニングとデュアル証明書を統合する。

関連論文リスト

• Counterfactual Local Friendliness: An epsilon-Bounded Interaction-Free Paradox and a Disturbance-Robust Three-Box Inequality [0.0]
  We show a Wigner's-friend-type logical collision, which are every decision inference are obtained by interaction-free flags。 Q) 外部観測者の普遍的ユニタリ性、(S) 単一アウトカム事実、(C) クロスエージェント一貫性、(IF-$epsilon$) $epsilon$-counterfactuality of the friends's internal modules。 また、$epsilon$-IF 3-box noncontextual bound を導出する: 排他性を満たす任意の単世界、非コンテキストモデルは、$P(A) + P(B) に従う必要がある。
  論文  参考訳（メタデータ） (2025-09-01T09:19:34Z)
• Many-Body Fluctuation Theorems for Quantum Coherence and Correlation Dynamics [11.651470433850731]
  量子ゆらぎ定理を量子情報力学や多体系に拡張する。 準確率に拡張することで、多体コヒーレンスと量子相関の量子揺らぎ定理を導出する。 これらの発見は、非平衡量子情報力学の基盤となる統計構造を明らかにする。
  論文  参考訳（メタデータ） (2025-07-02T11:10:42Z)
• Topological Mixed States: Axiomatic Approaches and Phases of Matter [11.884072864070937]
  閉量子系において、位相的順序は、ギャップ付き局所ハミルトニアンの基底状態の同値類を通して理解される。 ここでは、局所的回復可能性(i$)、長距離相関の欠如(ii$)、空間的均一性(iii$)という3つの公理に基づくアプローチを提案することにより、このギャップを埋める。 結果は、オープン量子系における位相状態の体系的な分類の基礎となった。
  論文  参考訳（メタデータ） (2025-06-04T17:58:45Z)
• Local theories with parallel realities and the epistemic view of the quantum state [1.2891210250935148]
  単一世界の理論のランダム性と多様な事例の共存を組み合わせた一般的な枠組みを導入する。 このフレームワークは、量子通信の複雑さに関連があり、新しい技術的な問題を引き起こす。
  論文  参考訳（メタデータ） (2025-02-19T15:19:08Z)
• Universal quantum theory contains twisted logic [0.0]
  ハイゼンベルクの不確実性原理は、連続した非互換な測定結果に関する論理的推論をまとめることの不可能性につながる。 この非自明な論理構造を見越すことが、単一の測定で非直交状態を区別する誤った可能性をもたらすことを示す。
  論文  参考訳（メタデータ） (2024-09-30T16:40:58Z)
• Minimal operational theories: classical theories with quantum features [41.94295877935867]
  システム力学は最小の操作に制約される確率論のクラスを導入する。 具体的には、許容される楽器は、準備、測定、スワップ変換、条件付きテストの組成から派生したものに限られる。 条件付き最小理論と非分離状態の分散集合が2つの量子no-go定理を満たすことを実証する。
  論文  参考訳（メタデータ） (2024-08-02T16:24:09Z)
• Incorporating Zero-Probability Constraints to Device-Independent Randomness Expansion [11.765274200974774]
  デバイス非依存(DI)パラダイムで証明できる様々なランダム性について検討する。 本研究では,DIランダム性拡張のタスクにゼロ確率制約を組み込んだ場合の証明可能なランダム性を決定する。
  論文  参考訳（メタデータ） (2024-01-16T15:57:17Z)
• Indeterminate Probability Theory [18.320645632562663]
  本稿では,不確定確率論(IPT)を提案する。 IPTは観測者中心のフレームワークであり、実験結果は地上の真実と観測誤差を組み合わせた分布として表される。 IPTは古典的確率論と一致しており、観測誤差の極限における頻繁な方程式を仮定する。
  論文  参考訳（メタデータ） (2023-03-21T01:57:40Z)
• Observers of quantum systems cannot agree to disagree [55.41644538483948]
  我々は、オブザーバー間の合意が、世界のあらゆる理論を守らなければならない物理的な原則として機能するかを問う。 我々は、観測者が意見の相違に同意できる無署名箱の例を構築した。
  論文  参考訳（メタデータ） (2021-02-17T19:00:04Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。