[论文解读] Comment on "Gleason-Type Theorem for Projective Measurements, Including Qubits" by F. De Zela

Michael J. W. Hall|arXiv (Cornell University)|Nov 2, 2016

Quantum Mechanics and Applications参考文献 3被引用 3

一句话总结

本文批判了 F. De Zela 对 Gleason 定理在 qubit 上的 claimed 扩展，证明其假设——概率测度的连续性与本征态的存在性——不足以推导出 Born 规则。一个非线性概率泛函的反例表明该推导失败，因为 Gudder 定理不适用于 De Zela 所使用的 Bloch 向量受限域。

ABSTRACT

It has recently been claimed by De Zela that Gleason's theorem, for probability measures on the lattice of projection operators, can be extended to qubits by adding assumptions related to continuity and the existence of 'eigenstates'. This amounts to a claim of the derivation of Born's rule for Hermitian qubit observables. I point out a simple counterexample, and the flaw in De Zela's derivation (these are equally applicable to the repetition of the derivation given in a recent Reply). I also briefly discuss a valid extension to qubits given by Busch.

研究动机与目标

• 挑战 De Zela 最近声称仅通过连续性与本征态假设即可将 Gleason 定理扩展至 qubit 的有效性。
• 识别 De Zela 推导中的逻辑错误，特别是对 Gudder 定理在正交可加性上的错误应用。
• 提供一个具体反例，表明在 qubit 投影上满足 De Zela 假设的非线性概率泛函仍违反密度算符所要求的线性性。
• 澄清基于量子逻辑的推导与 qubit 扩展所需的更强假设之间的区别，将 De Zela 的方法与 Busch 的有效扩展进行对比。
• 警告在基础量子力学研究中避免不加批判地引用有缺陷的推导。

提出的方法

• 在 qubit 投影上构造一个非线性概率泛函 $ p_{\rho}(P_{\rho}) = \frac{1}{2}\left[1 + (n^{\psi} \cdot n^{\phi})^3\right] $，其参数由 Bloch 向量给出。
• 验证该泛函满足 De Zela 的两个附加假设：在 Bloch 向量上的连续性，以及 $ p_{\phi}(P_{\phi}) = 1 $。
• 证明该泛函违反 Gleason 定理所要求的线性性，因此无法由密度算符表示。
• 揭示 De Zela 在应用 Gudder 定理时的错误，该定理要求在完整向量上的连续性，而非仅限于 Bloch 球的受限 3-球。
• 将 De Zela 的假设与 Busch 的更强假设（涉及概率算符的凸组合）进行比较，后者正确支持了 Gleason 类型的扩展。
• 利用反例表明，仅在 Bloch 球上的连续性不足以强制线性结构，从而瓦解了 De Zela 的推导。

实验结果

研究问题

• RQ1 能否仅通过概率测度的连续性与本征态的存在性，将 Gleason 定理扩展至 qubit？
• RQ2 De Zela 在 qubit 投影格上应用 Gudder 定理时的错误是什么？
• RQ3 一个满足 De Zela 假设的非线性概率泛函在 qubit 投影上是否仍违反 Born 规则所要求的线性性？
• RQ4 为何在 Bloch 球上的连续性假设无法强制概率测度的线性结构？
• RQ5 Busch 对 Gleason 定理在 qubit 上的有效扩展，其假设与 De Zela 的方法有何不同？

主要发现

• 构造了一个反例，其中 $ p_{\phi}(P_{\psi}) = \frac{1}{2}\left[1 + (n^{\phi} \cdot n^{\psi})^3\right] $ 满足 De Zela 的连续性与本征态假设，但在 $ P_{\psi} $ 上非线性，因此违反 Gleason 定理所要求的密度算符形式。
• 泛函 $ p_{\phi}(P_{\psi}) $ 在 Bloch 向量 $ n^{\psi} $ 上连续，满足 $ p_{\phi}(P_{\phi}) = 1 $，并保持归一化与正交投影上的可加性，但无法由密度算符表示。
• De Zela 的推导失败，因为其依赖的 Gudder 定理要求在完整 4-向量上的连续性，而非仅限于 Bloch 球的受限子流形 $ (1, n^{\psi}) $。
• 该反例证明 De Zela 的假设不足以推导出 qubit 的 Born 规则，从而否定了其关于 qubit 上 Gleason 类定理的主张。
• Busch 的扩展仍然有效，因其假设了概率算符的凸组合，这是一个更强的物理假设，能正确强制线性结构。
• 本文结论为：De Zela 的假设虽具物理直觉，但过于薄弱，无法恢复 qubit 系统中量子概率的线性结构。