[論文レビュー] Quantum Covers in Quantum Measure Theory

Sumati Surya, Petros Wallden|ArXiv.org|Sep 11, 2008

Advanced Algebra and Logic参考文献 1被引用数 5

ひとこと要約

この論文は、量子測度論における量子カバーの概念を導入する—これは、ある集合が非ゼロの量子測度を持つためには、その被覆集合のいずれかが非ゼロ測度を持つことを保証する、古典的カバーの一般化である。強正のデコherence関数型の下で、冪集合ラティス内の拡張不能な反鎖が量子カバーを形成することを証明し、量子理論における古典性の出現とペレス＝コーエン＝スペッカーの定理に対する新たな視点を提供する。

ABSTRACT

In standard measure theory the measure on the base set Omega is normalised to one, which encodes the statement that "Omega happens". Moreover, the rules imply that the measure of any subset A of Omega is strictly positive if and only if A cannot be covered by a collection of subsets of zero measure. In quantum measure theory on the other hand, simple examples suffice to demonstrate that this is no longer true. We propose an appropriate generalisation of a cover to quantum measure theory, the {\sl quantum cover}, which in addition to being a cover of A, satisfies the property that if every one of its elements has zero quantum measure, then so does A. We show that a large class of inextendible antichains in the associated powerset lattice provide quantum covers for Omega, for a quantum measure that derives from a strongly positive decoherence functional. Quantum covers, moreover, give us a new perspective on the Peres-Kochen-Specker theorem and its role in the anhomomorphic logic approach to quantum interpretation.

研究の動機と目的

• 量子測度論における古典的カバー論理の失敗、すなわちゼロ測度の部分集合が非ゼロ測度の集合を被覆できるという事実を扱う。
• すべての被覆集合がゼロ測度であれば、被覆集合自身もゼロ測度であるという論理的含意を保つ新しいカバーの概念—「量子カバー」—を定義する。
• 冪集合ラティス内の拡張不能な反鎖が、全歴史空間 Ω に対して量子カバーとして成立する条件を確立する。
• 量子カバーを、特にペレス＝コーエン＝スペッカーの定理と量子力学の非同型論理的解釈という基礎的量子原理と結びつける。
• 強正のデコherence関数型が、広範な反鎖クラスに対して量子カバー性を保証する役割を果たす仕組みを探索する。

提案手法

• 量子カバーの新しい定義を提唱する：集合族 {Oi} が Ω を被覆し、すべての i に対して |Oi| = 0 ならば |Ω| = 0 であることを満たす。
• 互いに交わらない集合に対して成り立つ量子和則 I3(A,B,C) = 0 を用いる。これは古典的和則を一般化し、量子測度の構造的基盤をなす。
• 有限歴史空間 Ω 上の冪集合ラティス B 内の k レベルの拡張不能な反鎖が、強正のデコherence関数型から生じる量子測度に対して、量子カバーとして機能することを示す。
• n > 2 のとき I_n = 0 を適用し、互いに交わらない和集合の量子測度に関する再帰的関係を導出し、付録で重要な恒等式を証明する。
• デコherence関数型 D(A,B) の二重加法性、ヘルミート性、強正性を用いて、量子カバー条件を示す不等式を導出する。
• D(A,A) = 0 ⇒ D(A,B) = 0 という条件を用い、ある集合がゼロ測度であれば、他の任意の集合との干渉が消えることを示し、量子カバー論理を支持する。

実験結果

リサーチクエスチョン

• RQ1 量子測度論において、古典的カバーの一般化として、すべての被覆集合がゼロ測度であれば被覆集合自身もゼロ測度であるという論理的含意を保つようなカバーを定義できるか？
• RQ2 強正のデコherence関数型の下で、冪集合ラティス内の拡張不能な反鎖は、有効な量子カバーとして機能するか？
• RQ3 量子カバーの概念は、ペレス＝コーエン＝スペッカーの定理および量子歴史における古典的振る舞いの出現とどのように関係するか？
• RQ4 強正のデコherence関数型から生じる量子測度に対して、冪集合ラティス内のすべての拡張不能な反鎖が量子カバーとして普遍的に成立するか？
• RQ5 n > 2 のとき I_n = 0 となる高次干渉項は、量子カバーの整合性を保証するために果たす役割は何か？

主な発見

• 有限歴史空間 Ω 上の冪集合ラティス B 内の任意の拡張不能な反鎖は、強正のデコherence関数型から生じる量子測度の下で、Ω の量子カバーである。
• 論文は、拡張不能な反鎖のすべての要素がゼロ量子測度であれば |Ω| = 0 であることを証明し、量子カバー条件を満たすことを示した。
• 量子カバーの定義により、量子理論における古典的カバー論理の失敗が解消され、ゼロ測度の部分集合が非ゼロ測度の集合を被覆できるという問題が解決された。
• 量子和則 I3 = 0 とラティス内での互いに交わらない和集合の構造を用いて、量子カバーの存在が確立され、付録で恒等式 (10) の形式的証明が与えられた。
• この結果は、非同型論理的解釈における量子理論を支持し、量子カバーが前記排除と古典的推論の論理的枠組みを提供することを示した。
• 論文は、強正のデコherence関数型から生じる量子測度に対して、B 内のすべての拡張不能な反鎖が量子カバーであると予想し、反鎖と量子測度論の間の深い構造的関係を示唆した。