[论文解读] Spekkens's Symmetric No-Go Theorem

Andreas Blass, Yuri Gurevich|arXiv (Cornell University)|Mar 27, 2015

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

一句话总结

本文纠正了Spekkens对对称隐性定理的错误，该定理证明了非上下文依赖的非负准概率表示无法再现量子力学。通过严格分析原始证明中关于凸线性扩展的错误主张，并在单量子比特情形下证明该定理，作者表明此类表示因函数范数与积分之间的矛盾而不可能存在，从而验证了该隐性定理的核心结论。

ABSTRACT

In a 2008 paper, Spekkens improved the traditional notions of non-negativity of Wigner-style quasi-probability distributions and non-contextuality of observations. He showed that the two improved notions are equivalent to each other. Then he proved what he called an even-handed no-go theorem. The paper contains some minor inaccuracies and one false claim, in the proof of the no-go theorem. This claim, early in the proof, is used in an essential way in the rest of the argument. Here we analyze carefully Spekkens's proof of the no-go theorem, explain the inaccuracies, reduce the task of proving the no-go theorem to the special case of a single qubit, and then prove the special case. This gives us a complete proof of Spekkens's no-go theorem.

研究动机与目标

• 识别并纠正Spekkens关于非上下文隐藏变量理论的对称隐性定理证明中的关键错误。
• 证明关于凸线性扩展的错误主张使原始证明失效，因而需要新的推导。
• 通过将问题简化为单量子比特情形并从基本原理出发证明，确立隐性定理的有效性。
• 表明在对称的制备-测量对偶框架下，非负性与非上下文依赖性与量子力学不相容。

提出的方法

• 作者分析Spekkens的原始证明，识别出错误主张：即在迹类算子集上定义的凸线性函数可唯一扩展为线性泛函。
• 将一般隐性定理简化为二维希尔伯特空间（量子比特）的特例，从而在不失一般性的情况下简化分析。
• 使用布洛赫向量表示参数化密度算子和POVM元素：ρ(𝐱) 表示态，E(m,𝐩) 表示测量。
• 将准概率函数 μρ 和 ξE 表示为 λ 的仿射函数：μρ(𝐱)(λ) = 𝐱⋅𝐀(λ) + C(λ) 和 ξE(m,𝐩)(λ) = 𝐩⋅𝐁(λ) + m。
• 从迹再现条件 Tr(ρE) = ∫μρξEdλ 推导出积分约束，得到涉及 A、B、C 函数内积与积分的方程 (4)–(7)。
• 应用非负性约束，推导出范数界：||𝐁(λ)|| ≤ 1 和 ||𝐀(λ)|| ≤ C(λ)，当与积分恒等式结合时导致矛盾。

实验结果

研究问题

• RQ1 是否存在一种非负准概率表示，既满足凸线性性，又能对所有态和测量再现量子预测？
• RQ2 在Spekkens的证明背景下，凸线性函数在算子集上可唯一扩展为线性泛函的主张是否成立？
• RQ3 隐性定理中对制备与测量的对称处理是否导致关于隐藏变量理论的更强或更稳健的结论？
• RQ4 能否通过简化为单量子比特情形独立证明隐性定理？
• RQ5 在准概率表示中，要求 μρ 和 ξE 函数均非负会引出何种约束？

主要发现

• 关于凸线性扩展的错误主张使Spekkens的原始证明失效，因而需要新的推导。
• 单量子比特情形已足以证明完整的隐性定理，因为矛盾已在这一最小设定中出现。
• μρ 和 ξE 的非负性迫使 ||𝐁(λ)|| ≤ 1 且 ||𝐀(λ)|| ≤ C(λ) 对所有 λ 成立，而这与积分约束不相容。
• 柯西-施瓦茨型不等式 ∫|B₁(λ)A₁(λ)|dλ ≤ ∫|B₁(λ)|⋅|A₁(λ)|dλ 的等号成立时，意味着在 C(λ) > 0 的地方几乎处处有 |B₁(λ)| = 1。
• 在 C(λ) > 0 的地方几乎处处有 ||𝐁(λ)|| = √3 的条件与 ||𝐁(λ)|| ≤ 1 矛盾，从而迫使 C(λ) = 0 几乎处处成立。
• 这与归一化条件 ∫C(λ)dλ = 1 矛盾，从而证明不存在此类非负准概率表示。