論文の概要: QBism Logic

• arxiv url: http://arxiv.org/abs/2607.17174v1
• Date: Sun, 19 Jul 2026 10:20:53 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-07-21 18:48:37.386605
• Title: QBism Logic
• Title（参考訳）: QBism 論理
• Abstract要約: QBismは、量子論をエージェントの確率割り当ての規範的分野として解釈する。 本稿ではその図式を論理的に定式化する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: QBism interprets quantum theory as a normative discipline for an agent's probability assignments and their revision across possible experience. This paper develops a logical formalization of that picture. A well-formed core datum consists of an admissible prior space, a finite family of actual measurements, Born kernels, and update kernels. For each such datum, we introduce a guarded dynamic language for histories and posterior states and prove a global reduction theorem. We next consider effectively semialgebraic data over an effectively presented real closed field. For data in this class, we translate the fragment without dynamic operators into first-order formulas in the corresponding language of ordered rings, thereby reducing validity to first-order reasoning over real closed fields. Together, the reduction and first-order translation yield a sound and complete recursive calculus and a decision procedure for validity. Finally, assuming a symmetric informationally complete (SIC) reference measurement, we show that quantum theory in finite dimensions realizes the framework through SIC coordinates, POVMs, and quantum instruments. We also prove that the corresponding SIC image satisfies the standard qplex geometry conditions, namely the consistency bounds and the lower polar condition, and that under explicit coefficient field hypotheses the resulting quantum datum is effectively semialgebraic.
• Abstract（参考訳）: QBismは、量子論をエージェントの確率代入とそれらの修正に関する規範的な規律として解釈する。 本稿ではその図式を論理的に定式化する。 整形されたコアダタムは、許容可能な事前空間、実際の測定の有限族、ボーンカーネル、更新カーネルから構成される。 それぞれのダタムに対して、歴史や後続状態に対するガード付き動的言語を導入し、大域的還元定理を証明する。 次に、効果的に提示された実閉体上の半代数的データを考察する。 このクラスのデータに対して、動的作用素を伴わない断片を順序環の対応する言語における一階公式に変換することにより、実閉体上の一階推論に対する妥当性を低下させる。 減算と1次変換を合わせて、音と完全再帰的な計算と、妥当性の決定手順が得られる。 最後に、対称情報完全(SIC)基準測定を仮定すると、有限次元の量子理論がSIC座標、POVM、量子機器を通じてフレームワークを実現することを示す。 また、対応するSIC像が標準クプレックス幾何条件、すなわち整合境界と低極条件を満たすことを証明し、明示的な係数場の下では量子ダムが実質的に半代数的であることを仮定する。

関連論文リスト

• Algebraic paradoxes in adaptive quantum computation [0.1399948157377307]
  測定ベースの量子計算(MBQC)は、全電力が適応性を必要とする量子計算の普遍的なモデルである。 適応$mathbbZ$-textual Measurement-based quantum computing protocol が非アフィン関数を決定的に計算した場合、基礎となる量子資源は線形方程式の不整合集合を満たす。
  論文  参考訳（メタデータ） (2026-07-28T18:06:08Z)
• Maximal Classicalization of Finite-Group Quantum Reference-Frame Noise [0.0]
  グループ値のミスアライメントを持つ有限量子参照トークンは、ランダムなユニタリチャネルを誘導する。 以下の条件が有限群 G のユニタリ表現 U に等しいことを証明している。
  論文  参考訳（メタデータ） (2026-07-14T17:07:57Z)
• A Posteriori Certification Framework for Generalized Quantum Arimoto-Blahut Algorithms [41.15017547767954]
  本稿では,一般化量子Arimoto-Blahut (QAB) アルゴリズムに対する後続認証の視点を紹介する。 我々は、凸性とかなり弱い数値検証条件の下で、QAB反復が大域最小化器に収束することを示す大域収束定理を証明した。 応用として、チャネルの量子相対エントロピーを計算するための認定反復スキームを開発する。
  論文  参考訳（メタデータ） (2026-01-14T09:10:41Z)
• Performance Guarantees for Quantum Neural Estimation of Entropies [31.955071410400947]
  量子神経推定器(QNE)は古典的ニューラルネットワークとパラメトリズド量子回路を組み合わせたものである。 非漸近的エラーリスク境界の形で測定された相対エントロピーのQNEの形式的保証について検討する。 我々の理論は、測定された相対エントロピーに対するQNEの原則的実装を促進することを目的としている。
  論文  参考訳（メタデータ） (2025-11-24T16:36:06Z)
• Structure-Fair Quantum Circuit Complexity: An Auditable Information-Theoretic Lower Bound [0.2606834301724095]
  本稿では、利用可能な量子演算によって校正される情報理論測度であるReference-Contingent Complexity (RCC)を紹介する。 我々の中心的な結果は、RCCが任意の普遍量子回路の複雑さの低い境界となることを厳密に証明する鍵定理である。 この研究は、構造フェアであり、クロスプラットフォームの比較を可能にする量子技術のための「ルーラー」を提供する。
  論文  参考訳（メタデータ） (2025-09-20T14:58:34Z)
• The Structure and Interpretation of Quantum Programs I: Foundations [0.0]
  Qubitsは量子コンピュータを作るのに最適な方法ですが、プログラムする方法は限られています。 通常の「状態とゲート」形式を「プロップとオプス」(命題と演算子)モデルに置き換える。 我々は、Knill-Laflamme条件の演算子-代数バージョンを証明し、状態がどう変化するかを示す。
  論文  参考訳（メタデータ） (2025-09-03T18:00:23Z)
• A unified approach to quantum de Finetti theorems and SoS rounding via geometric quantization [0.0]
  我々は、量子デ・フィネッティの定理に関連するSOS階層のエルミート版の間の関係について研究する。 従来のHSoSラウンドリングアルゴリズムは,対象関数の定量化として再キャスト可能であることを示す。
  論文  参考訳（メタデータ） (2024-11-06T17:09:28Z)
• Absolute dimensionality of quantum ensembles [41.94295877935867]
  量子状態の次元は、伝統的に与えられた基底において重畳される区別可能な状態の数と見なされる。 量子状態のアンサンブルに対する絶対的、すなわち基底に依存しない次元の概念を提案する。
  論文  参考訳（メタデータ） (2024-09-03T09:54:15Z)
• Dilation theorem via Schr\"odingerisation, with applications to the quantum simulation of differential equations [29.171574903651283]
  作用素論におけるナジーのユニタリ拡張定理は、縮約をユニタリ作用素に拡張する可能性を主張する。 本研究では,最近考案されたSchr"odingerisationアプローチの実用性を示す。
  論文  参考訳（メタデータ） (2023-09-28T08:55:43Z)
• General quantum algorithms for Hamiltonian simulation with applications to a non-Abelian lattice gauge theory [44.99833362998488]
  複数の量子数の相関変化からなる相互作用のクラスを効率的にシミュレートできる量子アルゴリズムを導入する。 格子ゲージ理論は、1+1次元のSU(2)ゲージ理論であり、1つのスタッガードフェルミオンに結合する。 これらのアルゴリズムは、アベリアおよび非アベリアゲージ理論と同様に高次元理論にも適用可能であることが示されている。
  論文  参考訳（メタデータ） (2022-12-28T18:56:25Z)
• Cone-Restricted Information Theory [4.358456799125693]
  量子情報理論のどの結果が正の半定円錐に依存し、一般化できるかを示す。 拡張条件のmin-entropyについて並列解析を行った。 これにより、k-超陽性チャネルの概念を超陽性チャネルに拡張する。
  論文  参考訳（メタデータ） (2022-06-09T06:27:48Z)
• Stochastic approximate state conversion for entanglement and general quantum resource theories [41.94295877935867]
  量子資源理論における重要な問題は、量子状態が互いに変換される方法を決定することである。 確率変換と近似変換の間の中間状態について、非常に少ない結果が提示されている。 これらの境界は確率変換の下での様々な状態のクラスに対する値の上限であることを示す。 また、単一コピー境界の決定論的バージョンは、量子チャネルの操作の制限を引くためにも適用可能であることを示す。
  論文  参考訳（メタデータ） (2021-11-24T17:29:43Z)

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

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