[論文レビュー] Separation theorems and Bell inequalities in algebraic quantum mechanics

Guido Bacciagaluppi|arXiv (Cornell University)|Jun 2, 2023

Quantum Mechanics and Applications被引用数 7

ひとこと要約

本稿は、代数的量子力学における分離の $C^{*}$-代数的定式化を確立し、Baizの定理の逆を用いてベル不等式と結びつける。$C^{*}$-系が分離されている（すべての純粋状態が積状態である）ことと、すべての表現においてベル不等式を満たすこととは同値であることを示し、非古典的系でさえも分離されている場合にはベル不等式を満たす可能性があることを示しており、量子的挙動の前提としてベル不等式の破れが不可欠であるという考えに挑戦する。

ABSTRACT

The paper discusses the concept of separation of quantum mechanical systems in the algebraic approach. We review known theorems, then establish a link between the C*-algebraic and the corresponding W*-algebraic concepts. A characterization of separation in terms of Bell inequalities, due to Raggio (1988), is given a C*-algebraic formulation. Finally, we comment on the implications for the understanding of the Bell inequalities.

研究の動機と目的

• Raggioの $W^{*}$-代数的分離理論を $C^{*}$-代数的枠組みへ拡張すること。
• $C^{*}$-設定における分離とベル不等式の間の明確な関係を確立すること。
• ベル不等式の物理的意味を明確化し、非古典的で分離された系がベル不等式を満たす可能性があることを示すこと。
• ベル不等式の満たされ方が古典的性質を示すのではなく、部分系の個別性を反映していることを示すこと。

提案手法

• $\mathcal{A}_1 \otimes \mathcal{A}_2$ 上のすべての純粋状態が積状態であるという条件として、$C^{*}$-代数における分離を形式化する。
• Takesakiの結果を用いて、Raggioの $W^{*}$-代数的構造定理を $C^{*}$-代数へ適応する。
• ベル不等式に関するBaizの定理の逆を $C^{*}$-設定で証明し、ベル不等式の満たされ方が分離を意味することを示す。
• GNS構成と正規状態の近似を用いて、循環表現におけるベル不等式の満たされ方を普遍表現へ拡張する。
• 純粋状態の凸包のノルム閉包を用いて、ベル不等式の有効性を純粋状態からすべての正規状態へ拡張する。
• すべての既約表現で分離していることから、$C^{*}$-代数的意味でのグローバルな分離が導かれる。

実験結果

リサーチクエスチョン

• RQ1 代数的量子力学における分離の概念を、$C^{*}$-代数的枠組みで厳密に定式化できるか？
• RQ2 $C^{*}$-代数における分離とベル不等式の満たされ方の正確な関係は何か？
• RQ3 ベル不等式を満たすことは、系が古典的であることを意味するのか？非古典的系でも満たすことは可能か？
• RQ4 $C^{*}$-代数的枠組みにおける分離の定式化は、従来のヒルベルト空間アプローチとどのように異なるか？
• RQ5 古典的相関がない系において、ベル不等式の満たされ方が物理的に何を意味するのか？

主な発見

• $C^{*}$-代数的系 $\mathcal{A}_1 \otimes \mathcal{A}_2$ が分離されていることは、すべての純粋状態が積状態であることに同値である。
• Baizの定理の逆が $C^{*}$-設定で成り立つ：すべての正規状態がベル不等式を満たすならば、系は分離している。
• すべての表現でベル不等式を満たすことは、$C^{*}$-代数的意味での分離と同値である。
• 系が古典的でなくてもベル不等式を満たすことは可能である。例えば、一方の部分系が非可換（量子的）であっても、系全体として分離している限りベル不等式を満たす。
• $C^{*}$-代数的定式化により、ベル不等式の満たされ方が古典的性質の兆候ではなく、部分系の個別性の反映であることが明らかになった。
• 分離は、一方の部分系が可換（古典的）である場合、力学的相互作用が存在してもEPR型相関が生じないことを保証する。