[论文解读] Separation theorems and Bell inequalities in algebraic quantum mechanics

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

Quantum Mechanics and Applications被引用 7

一句话总结

本文建立了代数量子力学中分离性的 $C^{*}$-代数表述，通过贝兹定理的逆定理将其与贝尔不等式联系起来。证明了当且仅当在所有表示中满足贝尔不等式时，$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.

研究动机与目标

• 将拉戈的 $W^{*}$-代数分离理论扩展至 $C^{*}$-代数框架。
• 在 $C^{*}$-设定下，建立分离性与贝尔不等式之间严谨的联系。
• 通过展示非经典但分离的系统也能满足贝尔不等式，阐明贝尔不等式的物理意义。
• 证明贝尔不等式的满足并不意味着经典性，而仅反映子系统的独立性。

提出的方法

• 将 $C^{*}$-代数中的分离性形式化为：在 $\mathcal{A}_1 \otimes \mathcal{A}_2$ 上所有纯态均为直积态的条件。
• 利用塔卡西的结果，将拉戈的 $W^{*}$-代数结构定理适配至 $C^{*}$-代数。
• 在 $C^{*}$-设定下证明贝兹定理关于贝尔不等式的逆定理，表明贝尔不等式的满足蕴含分离性。
• 使用GNS构造和正规态逼近，将贝尔不等式的满足从循环表示推广至普遍表示。
• 应用纯态的凸包的范数闭包，将贝尔不等式的有效性从纯态推广至所有正规态。
• 证明所有不可约表示中的分离性蕴含 $C^{*}$-代数意义上的全局分离性。

实验结果

研究问题

• RQ1 代数量子力学中的分离性概念能否在 $C^{*}$-代数框架下得到严谨表述？
• RQ2 在 $C^{*}$-代数中，分离性与贝尔不等式满足之间的精确关系是什么？
• RQ3 满足贝尔不等式是否意味着系统的经典性？还是非经典系统仍可满足它们？
• RQ4 $C^{*}$-代数框架下的分离性表述与传统的希尔伯特空间方法有何不同？
• RQ5 在非经典关联的系统中，贝尔不等式满足的物理意义是什么？

主要发现

• 当且仅当所有纯态均为直积态时，$C^{*}$-代数系统 $\mathcal{A}_1 \otimes \mathcal{A}_2$ 是分离的。
• 在 $C^{*}$-设定下，贝兹定理关于贝尔不等式的逆定理成立：若所有正规态均满足贝尔不等式，则系统是分离的。
• 在所有表示中满足贝尔不等式，等价于 $C^{*}$-代数意义上的分离性。
• 系统可在非经典情况下满足贝尔不等式；例如，一个子系统可能非对易（量子），但系统仍保持分离。
• $C^{*}$-代数表述表明，贝尔不等式的满足并非经典性的标志，而是子系统独立性的体现。
• 分离性确保即使在存在动力学的情况下，也不会出现类似EPR的关联，前提是某一子系统为对易的（经典）。