[論文レビュー] Kochen-Specker Theorem: Two Geometric Proofs

Cristian S. Calude, Peter Hertling+1 more|arXiv (Cornell University)|Feb 21, 2014

Quantum Mechanics and Applications参考文献 19被引用数 6

ひとこと要約

本稿は、3次元ヒルベルト空間における非文脈的真偽値割り当ての不可能性を示す、2つの新しい幾何的証明を提示する。球面幾何と接平面への射影を用いて、任意の直交する三脚（tripod）に対して正確に1つのベクトルに値1を割り当てる一貫した2値測度が存在しないことを示し、量子力学における非文脈的隠れ変数理論を反証する。

ABSTRACT

We present two geometric proofs of the Kochen-Specker theorem. A quite similar argument has been used by Cooke, Keane, and Moran, as well as by Kalmbach in her book to derive the Gleason theorem.

研究の動機と目的

• Greechie図や広範な組み合わせ的構成に依存しない、Kochen-Specker定理の新しい幾何的証明を提供すること。
• ℝ³の1次元部分空間に対する2値測度が、各直交三脚において正確に1つのベクトルに値1を割り当てるようなものが存在しないことを示すこと。
• 単位球面上の幾何的構成と量子論理の論理的構造との間の関係を確立し、量子測定の文脈依存性を強化すること。
• 球対称性と射影写像を用いた、Kochen-Speckerのパラドックスに対する構成的で可視化可能なアプローチを提供すること。
• Gleasonの定理の証明から得られる知見を、3次元におけるKochen-Specker結果への直接的な幾何的議論へと拡張すること。

提案手法

• ℝ³の1次元部分空間を、球面S²上の点として表現し、それぞれを球面との交点として特定する。
• 点qが北半球にあるとき、qのxy平面への射影に直交する2つの赤道上の点を通る大円C(q)を定義する。
• 北極における接平面Hへの径路射影hを用い、大円を射影方向に直交する直線に写像する。
• 測度の加法性と直交制約より、点qが値0であるならば、C(q)上のすべての点も値0である必要があることを確立する。
• 各点qᵢを大円C(qᵢ)に沿って、射影平面上で2π/nの角度刻みで並べた点列q₀, q₁, ..., qₙを構成し、z座標が小さい点への到達可能性を検討する。
• n → ∞のとき、最終点qₙが初期点q₀に限りなく近づくことを、積dₙ = d₀ · cos(2π/n)⁻ⁿの漸近的解析により証明し、dₙ → d₀を示す。

実験結果

リサーチクエスチョン

• RQ1 Gleiche図やラティス理論的手法に依存せずに、単位球面上の幾何的構成によってKochen-Specker定理を証明できるか？
• RQ2 ℝ³における直交三脚に対する2値測度が、大円に沿った連続的経路走査によって矛盾を示せるか？
• RQ3 球面幾何を接平面に射影する際、直交性と値割り当ての論理的制約がどのように保存されるか？
• RQ4 与えられた初期点から、逐次的大円走査を用いて北半球の点の到達可能性を体系的に確立できるか？
• RQ5 角度刻みが0に近づく際の射影経路の極限的挙動は何か？ そして、それが値割り当ての矛盾をどのように支持するか？

主な発見

• 任意の直交三脚に対して正確に1つの要素に値1を割り当てるような、ℝ³の閉部分空間の格子Lへの2値測度v: L → {0,1}は存在しない。
• 北極を除く北半球の点qが値0である場合、直交制約よりC(q)上のすべての点も値0である必要がある。
• qよりz座標が小さい北半球の点pは、点列C(qᵢ)に沿った大円走査によって到達可能であり、qが値0ならばpも値0であると結論づけられる。
• n → ∞のとき、点列q₀, q₁, ..., qₙが順次的大円に沿って構成される経路は、dₙ = d₀ · cos(2π/n)⁻ⁿの収束により初期点q₀に限りなく近づく。
• 漸近的解析により、limₙ→∞ log(cos(2π/n)ⁿ) = 0が示され、limₙ→∞ dₙ = d₀となる。これにより閉路が形成され、初期の一貫した値割り当て仮定と矛盾する。
• 矛盾は、各三脚において値1が1点に割り当てられなければならないのに対し、幾何的構成が値0の連鎖を生じさせ、最終的に値1でなければならない点に戻ってしまうことに起因する。