[論文レビュー] Contextuality and the fundamental theorems of quantum mechanics

Andreas Döring, Markus Frembs|arXiv (Cornell University)|Oct 21, 2019

Quantum Mechanics and Applications参考文献 43被引用数 7

ひとこと要約

この論文は、量子力学の主要な定理—ウィグナーの定理、グレーソンの定理、コーゲン＝スペンサーの定理、ベルの定理—を、文脈の圏上のプレシャーブを用いて再定式化することにより、文脈性を量子力学の非古典的性質の基盤的構造的特徴として確立する。値割り当て、確率測度、および文脈間の相関に関するグローバル一貫性条件が、これら定理を正確に回復することを示し、文脈性が量子理論の本質的構造的特徴であることを明らかにする。

ABSTRACT

Contextuality is a key feature of quantum mechanics, as was first brought to light by Bohr and later realised more technically by Kochen and Specker. Isham and Butterfield put contextuality at the heart of their topos-based formalism and gave a reformulation of the Kochen-Specker theorem in the language of presheaves. Here, we broaden this perspective considerably (partly drawing on existing, but scattered results) and show that apart from the Kochen-Specker theorem, also Wigner's theorem, Gleason's theorem, and Bell's theorem relate fundamentally to contextuality. We provide reformulations of the theorems using the language of presheaves over contexts and give general versions valid for von Neumann algebras. This shows that a very substantial part of the structure of quantum theory is encoded by contextuality.

研究の動機と目的

• 量子力学の基礎的定理—ウィグナーの定理、グレーソンの定理、コーゲン＝スペンサーの定理、ベルの定理—を、文脈性の共通枠組みの下に統一すること。
• これらの各定理を、文脈の圏上のプレシャーブの言語を用いて再定式化することで、それらが文脈性に起因する共通の構造的起源を持つことを明らかにすること。
• これらの定理を、有限次元ヒルベルト空間にとどまらず、一般のフォン・ノイマン代数へと一般化すること。
• 非局所性や非古典的確率論ではなく、文脈性が古典的理論と量子理論を区別する根本的特徴であることを示すこと。
• トポス論的メソッドと層論的一貫性条件を用いて、量子基礎理論に対する統一的で数学的に厳密な視点を提供すること。

提案手法

• 物理的文脈を、フォン・ノイマン代数の可換部分代数（または最大可換部分代数）として形式化し、包含関係によって順序付けられた圏を構成する。
• この文脈圏上にプレシャーブを構成する：値割り当てのためのスペクトルプレシャーブ、測度のための確率的プレシャーブ、および複合系における相関のためのベルプレシャーブ。
• 各基礎的定理をグローバルセクション問題として再定式化する。グローバルセクションの存在は、定理の結論（例えば、量子状態の存在、ベル不等式の破れなど）に対応する。
• 制限写像を用いて文脈間の一貫性を強制し、確率的プレシャーブおよびベルプレシャーブではマージナル化制約を導入する。
• 局所的サブシステムに時間的向きを導入することで、信号伝播を防ぐ制約を導出し、ツァイレルソンの上限を超える後量子相関を除外する。
• 一般化されたグレーソンの定理およびコhomオロジカルな道具を用いて、ベルプレシャーブのグローバルセクションが量子状態と一対一に対応することを証明する。

実験結果

リサーチクエスチョン

• RQ1 対称性がユニタリ／反ユニタリ作用素に写すウィグナーの定理が、文脈性とプレシャーブの言語を用いて再定式化可能か？
• RQ2 非文脈的値割り当てを禁じるコーゲン＝スペンサーの定理は、スペクトルプレシャーブにおけるグローバルセクションの非存在からどのように導かれるか？
• RQ3 ボーン則を正当化するグレーソンの定理は、確率的プレシャーブにおけるグローバルセクションの存在からどのように生じるか？
• RQ4 局所的相関を制限するベルの定理は、古典的積状態空間ではなく物理的文脈性を尊重するプレシャーブ構成からどのように導かれるか？
• RQ5 これらの定理が文脈性を通じて統一可能であるのを、有限次元系にとどまらず、一般のフォン・ノイマン代数へと拡張可能か？

主な発見

• ウィグナーの定理は、文脈圏上のジョルダン ∗-自己同型のプレシャーブの非自明性として再定式化され、文脈性が自明なグローバルセクションを防ぐ。
• コーゲン＝スペンサーの定理は、スペクトルプレシャーブにおけるグローバルセクションの非存在と同値であり、これは文脈間の値割り当てを符号化している。
• グレーソンの定理は、確率的プレシャーブのグローバルセクションと量子状態（密度行列）との間の一対一対応として回復され、マージナル化制約によって一貫性が保証される。
• ベルの定理は、方向性を備えた積文脈圏上のベルプレシャーブを用いて再定式化され、グローバルセクションは正確に量子相関に対応し、後量子非信号モデルを除外する。
• ベルプレシャーブ構造における非信号性と時間的向きの制約の組み合わせにより、ツァイレルソンの上限が再現され、文脈性—文脈圏を介して—が、因子化可能性に代わる物理的原理として、超量子相関を除外することを示す。
• 4つの基礎的定理が、すべて同一の根本的原理、すなわちプレシャーブを用いた文脈の部分順序圏として形式化された文脈性の現れであることが示され、それらが量子理論における論理的・構造的役割を統一的に理解できる。