論文の概要: Logical Characterization of Contextual Hidden-Variable Theories based on
Quantum Set Theory
- arxiv url: http://arxiv.org/abs/2311.09268v1
- Date: Wed, 15 Nov 2023 11:39:43 GMT
- ステータス: 処理完了
- システム内更新日: 2023-11-17 18:22:42.859222
- Title: Logical Characterization of Contextual Hidden-Variable Theories based on
Quantum Set Theory
- Title(参考訳): 量子集合論に基づく文脈隠れ変数理論の論理的評価
- Authors: Masanao Ozawa (Chubu University, Nagoya University)
- Abstract要約: 集合論宇宙が可算部分代数と結びついていることは、それが ZFC に満足であるときに限る。
我々は、一意に極大な ZFC を満たす部分ユニバースが「単純定義可能」であることを示す。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: While non-contextual hidden-variable theories are proved to be impossible,
contextual ones are possible. In a contextual hidden-variable theory, an
observable is called a beable if the hidden-variable assigns its value in a
given measurement context specified by a state and a preferred observable.
Halvorson and Clifton characterized the algebraic structure of beables as a von
Neumann subalgebra, called a beable subalgebra, of the full observable algebra
such that the probability distribution of every observable affiliated therewith
admits the ignorance interpretation. On the other hand, we have shown that for
every von Neumann algebra there is a unique set theoretical universe such that
the internal "real numbers" bijectively correspond to the observables
affiliated with the given von Neumann algebra. Here, we show that a set
theoretical universe is associated with a beable subalgebra if and only if it
is ZFC-satisfiable, namely, every theorem of ZFC set theory holds with
probability equal to unity. Moreover, we show that there is a unique maximal
ZFC-satisfiable subuniverse "implicitly definable", in the sense of Malament
and others, by the given measurement context. The set theoretical language for
the ZFC-satisfiable universe, characterized by the present work, rigorously
reconstructs Bohr's notion of the "classical language" to describe the beables
in a given measurement context.
- Abstract(参考訳): 非文脈的隠れ変数理論は不可能であることが証明されているが、文脈的理論は可能である。
文脈的隠れ変数理論では、隠れ変数が状態と好ましい観測可能によって指定された所定の測定コンテキストにその値を割り当てると、可観測性は可観測性(beable)と呼ばれる。
ハルボルソンとクリフトンは、可観測の代数的構造をフォン・ノイマン部分代数(英語版)(von neumann subalgebra)と呼び、可観測代数の可観測部分代数(英語版)(beable subalgebra)と呼ぶ。
一方、すべてのフォン・ノイマン代数に対して、内部の「実数」が与えられたフォン・ノイマン代数に付随する可観測量に双対的に対応するような一意的な集合論宇宙が存在することを示した。
ここでは、集合論宇宙が可算部分代数と結びついていることとそれがZFCに満足なこと、すなわち、ZFC集合論のすべての定理がユニタリに等しい確率で成り立つことを示せる。
さらに、与えられた測定コンテキストにより、マラメントなどの意味で、一意の極大なZFC飽和部分ユニバースが「単純定義可能」であることを示す。
zfc-satisfiable universe (zfc-satisfiable universe) のセット理論言語は、ボーアの「古典言語」の概念を厳格に再構築し、与えられた測定文脈でビーブルを記述する。
関連論文リスト
- Minimal operational theories: classical theories with quantum features [41.94295877935867]
システム力学は最小の操作に制約される確率論のクラスを導入する。
具体的には、許容される楽器は、準備、測定、スワップ変換、条件付きテストの組成から派生したものに限られる。
条件付き最小理論と非分離状態の分散集合が2つの量子no-go定理を満たすことを実証する。
論文 参考訳(メタデータ) (2024-08-02T16:24:09Z) - On the applicability of Kolmogorov's theory of probability to the description of quantum phenomena. Part I: Foundations [0.0]
これはコルモゴロフによる「古典的確率論」の一般化と見なされている。
この著作は後者の立場を支持している。
これは非相対論的$N$ボディ量子系に対して数学的に厳密な理論を構築する方法を示している。
論文 参考訳(メタデータ) (2024-05-09T12:11:28Z) - Embezzling entanglement from quantum fields [41.94295877935867]
絡み合いの埋め込みは、補助系の参照状態から絡み合った量子状態を抽出する直感的な可能性を指す。
エンベジングエンタングルメントの操作タスクとフォン・ノイマン代数の数学的分類との深い関係を明らかにする。
論文 参考訳(メタデータ) (2024-01-14T13:58:32Z) - Quantum and Reality [0.0]
等変ホモトピー理論の原理に根ざしたエルミティシティの自然発生について述べる。
このエルミート形式の構成は、周囲線型型理論をテンソル単位型の負の単位項以上に必要としない。
LHoTTに埋め込まれた量子言語における量子ゲートと量子チャネルのユニタリティの符号化(および検証)を可能にする方法を示す。
論文 参考訳(メタデータ) (2023-11-18T11:00:12Z) - Connecting classical finite exchangeability to quantum theory [45.76759085727843]
交換性は確率論と統計学の基本的な概念である。
観測順序が重要でない状況のモデル化を可能にする。
両定理が有限交換可能な列に対して成り立たないことはよく知られている。
論文 参考訳(メタデータ) (2023-06-06T17:15:19Z) - Foundations of non-commutative probability theory (Extended abstract) [1.8782750537161614]
コルモゴロフの確率論に対する設定は、量子力学から生じる確率を考慮に入れた独自の一般化を与える。
サンプル空間はこの表現において中心的な役割を持ち、確率変数、すなわち可観測変数は自然な方法で定義される。
論文 参考訳(メタデータ) (2023-06-01T20:34:01Z) - A Measure-Theoretic Axiomatisation of Causality [55.6970314129444]
我々は、コルモゴロフの確率の測度理論的公理化を因果関係の公理化への出発点とすることを好んで論じる。
提案するフレームワークは測度理論に厳格に根ざしているが,既存のフレームワークの長期的制限にも光を当てている。
論文 参考訳(メタデータ) (2023-05-19T13:15:48Z) - An alternative foundation of quantum theory [0.0]
本稿では,量子論の新しいアプローチを提案する。
アクセス可能な変数は、観測者または一部の通信観測者に接続された理想的な観測である。
ここでは、このアプローチで必要とされる群と変換が、アクセス可能な変数が有限次元である場合に明示的に構成できることが示される。
論文 参考訳(メタデータ) (2023-05-11T11:12:00Z) - Quantum realism: axiomatization and quantification [77.34726150561087]
我々は、量子リアリズムの公理化(量子論と相容れないリアリズムの概念)を構築する。
提案された公理のほとんどすべてを満たすことを示すエントロピー量化器のクラスを明示的に構成する。
論文 参考訳(メタデータ) (2021-10-10T18:08:42Z) - Quantum Geometric Confinement and Dynamical Transmission in Grushin
Cylinder [68.8204255655161]
無限円筒上で最小に定義されたラプラス・ベルトラミ作用素の自己随伴実現を分類する。
我々は、最近文献で確認された、最も精細で最も透過性の高い拡張を検索する。
論文 参考訳(メタデータ) (2020-03-16T11:37:23Z) - Symmetries in Foundation of Quantum Theory and Mathematics [0.0]
有限量子論(有限量子論)(FQT)では、状態は有限環や標数$p$の体上の空間の要素であり、物理量の作用素はこの空間で作用する。
我々は、対称性に対する同じアプローチで、FQTと有限数学は標準量子論や古典数学よりも一般化されていることを証明した。
論文 参考訳(メタデータ) (2020-03-05T04:46:04Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。