[论文解读] Formalization of Bohr's contextuality within theory of open quantum systems

Andrei Khrennikov|arXiv (Cornell University)|Feb 18, 2021

Quantum Mechanics and Applications参考文献 59被引用 5

一句话总结

本文在开放量子系统和间接测量的框架下，形式化了尼尔斯·玻尔原始的上下文性概念——即量子测量依赖于实验条件。通过将测量建模为系统与测量装置之间的幺正相互作用，表明正交性（不可公度性）作为上下文性的自然结果而出现，重新激活了玻尔的奠基性洞见，并阐明了其在贝尔或 Kochen-Specker 上下文性之外的作用。

ABSTRACT

In quantum physics, the notion of contextuality has a variety of interpretations which are typically associated with the names of their inventors, say Bohr, Bell, Kochen and Specker, and recently Dzhafarov. In fact, Bohr was the first who pointed to contextuality of quantum measurements as a part of formulation of his principle of complementarity. (Instead of "contextuality", he considered dependence on "experimental conditions.") Unfortunately, the contextuality counterpart of the complementarity principle was overshadowed by the issue of incompatibility of observables. And the interest for contextuality of quantum measurements rose again only in connection with the Bell inequality. The original Bohr's contextuality, as contextuality of each quantum measurement, was practically forgotten. It was highlighted in the works of the author of this paper, with applications both to physics and cognition. In this note, the theory of open quantum systems is applied to formalization of Bohr's contextuality within the the scheme of indirect measurements. This scheme is widely used in quantum information theory and it leads to the theory of quantum instruments (Davis-Lewis-Ozawa). In this scheme, Bohr's viewpoint on contextuality of quantum measurements is represented in the formal mathematical framework.

研究动机与目标

• 本文旨在复兴并形式化玻尔原始的上下文性概念，强调其对实验条件的依赖性。
• 本文旨在解决历史上对玻尔上下文性的忽视，而更关注贝尔与 Kochen-Specker 的形式化。
• 本文目标是阐明在量子测量中，上下文性与不可公度性之间的关系。
• 本文旨在将玻尔的互补性原理建立在现代开放量子系统理论的基础之上。
• 本文旨在通过量子仪器和间接测量方案，为玻尔的上下文性提供一个数学上严谨的框架。

提出的方法

• 采用间接测量方案，将量子系统 S 与测量装置 M 之间的相互作用建模为幺正过程。
• 系统与装置由联合态描述，其演化遵循哈密顿量 H = HS ⊗ I + I ⊗ HM + HS,M。
• 时间演化遵循冯·诺依曼方程：dR/dt = −i[H, R(t)]，初始状态为 R(0) = R0。
• 对系统 S 上可观测量 A 的结果概率，通过装置指针 MA 的迹运算导出：Pr{A = x|ρ} = Tr[(I ⊗ EMA(x))U(ρ ⊗ σ)U†]。
• 测量后状态的更新由量子仪器 IA(x)ρ = TrK[(I ⊗ EMA(x))U(ρ ⊗ σ)U†] 描述。
• 上下文被形式化为三元组 C = (ρ, σ, U)，分别表示系统态、装置态和相互作用哈密顿量。

实验结果

研究问题

• RQ1 如何在现代量子测量理论中形式化玻尔原始的上下文性概念——即对实验条件的依赖性？
• RQ2 在开放量子系统背景下，上下文性与量子可观测量不可公度性之间存在何种关系？
• RQ3 间接测量方案能否作为形式化玻尔上下文性的严谨框架？
• RQ4 不可公度性是否作为上下文性的衍生结果出现，而非作为独立的基础原理？
• RQ5 玻尔的上下文性在物理诠释与数学结构上，如何区别于贝尔型与 Kochen-Specker 型的上下文性？

主要发现

• 玻尔的上下文性被形式化为测量结果对三元组 (ρ, σ, U) 的依赖性，分别代表系统态、装置态和相互作用哈密顿量。
• 该框架表明，可观测量的不可公度性并非独立于上下文性，而是其自然结果。
• 间接测量模型为玻尔观点提供了完整的数学实现，即测量结果依赖于整个实验装置的安排。
• 本文表明，CHSH 不等式的违背并非仅源于非定域性，而是根本上与上下文性和不可公度性相关。
• 本研究澄清了贝尔型上下文性并非独立的物理现象，而是在标准设置下可约化为不可公度性，从而挑战其作为上下文性独立度量的使用。
• 该形式化重申了玻尔互补性原理作为基础，其中上下文性是其核心物理洞见，而非仅依赖于非定域性或不可公度性。