[论文解读] Comments on "Stronger Uncertainty Relations for All Incompatible Observables"

Vishnu M. Bannur|arXiv (Cornell University)|Feb 17, 2015

Probabilistic and Robust Engineering Design被引用 5

一句话总结

本文批判了Maccone和Pati提出的更强的不确定性关系，表明其结果是将Schwarz不等式应用于复叠加态后得到的更一般不确定性框架的一个特例。作者证明，其所声称的改进并非在所有情况下都更强，且在特定正交态选择下会退化为标准的Heisenberg-Robertson或Schrödinger关系，从而否定了原始论文中关于非平凡下界的一些主张。

ABSTRACT

Recently, Maccone and Pati \cite{pa.1} derived new uncertainty relations which they claim to be stronger than Heisenberg-Robertson or Schrodinger uncertainty relations. Here we comment that their work is a special case of a more general uncertainty relation and we reexamine some of their conclusions.

研究动机与目标

• 挑战Maccone和Pati的不确定性关系在所有情况下均强于现有形式的主张。
• 揭示其结果在更广泛不确定性关系类中的数学根源，这些关系源自对Schwarz不等式的应用。
• 纠正原始论文中的误解，特别是关于非平凡下界的部分。
• 证明在特定态选择下，所提出的不确定性关系会退化为标准的Heisenberg-Robertson或Schrödinger形式。

提出的方法

• 构造复态 $|\phi\rangle = |\psi_1\rangle + i\alpha|\psi_2\rangle$，其中 $|\psi_1\rangle = (A - \langle A\rangle)|\psi\rangle$ 且 $|\psi_2\rangle = (B - \langle B\rangle)|\psi\rangle$，$\alpha$ 为自由实参数。
• 对 $|\phi\rangle$ 应用Schwarz不等式，导出一个涉及方差和期望值的复不等式。
• 通过在 $\alpha$ 上最小化，推导出广义不确定性关系（公式2），并证明其可退化为与Heisenberg-Robertson关系等价的形式。
• 通过引入第二个参数 $\beta$，令 $|\phi\rangle = |\psi_1\rangle + (\beta + i\alpha)|\psi_2\rangle$，得到广义的Heisenberg-Robertson-Schrödinger关系（公式3）。
• 以紧凑形式表达最终的下界（公式4），结合对易子与反对易子项。
• 在自旋-1粒子的实例中测试该形式化方法，与Maccone和Pati的主张进行比较。

实验结果

研究问题

• RQ1 Maccone和Pati提出的更强不确定性关系是否真的比现有形式更普遍或更紧致？
• RQ2 他们的结果能否作为更广泛不确定性框架中的特例被推导出来？
• RQ3 当选择特定正交态（如 $|\psi^\perp\rangle = |\psi_1\rangle / \Delta A$）时，其不等式的下界会发生什么变化？
• RQ4 在某些态选择下，他们的关系是否仍保持非平凡性，还是会退化为零或标准界限？
• RQ5 当使用显式态选择进行测试时，其示例中声称的非零下界是否成立？

主要发现

• Maccone和Pati在 $\alpha = \pm 1$ 时提出的不确定性关系，是源自Schwarz不等式、更广义不确定性框架的一个特例。
• 当 $|\psi^\perp\rangle = |\psi_1\rangle / \Delta A$ 或 $|\psi^\perp\rangle = |\psi_2\rangle / \Delta B$ 时，广义关系退化为标准的Heisenberg-Robertson不确定性关系。
• 在相同态选择下，Maccone和Pati的公式(4)的下界变得无意义，因为等式两边均趋于零。
• 在自旋-1示例中，公式(4)的两边为非零且相等，但公式(3)对所有 $\theta$ 均给出零值，与非平凡下界的声称相矛盾。
• 广义关系（公式3）同时包含对易子与反对易子的修正项，表明其确实是Heisenberg-Robertson-Schrödinger形式的真正推广。
• 作者得出结论：Maccone和Pati的结果并未构成根本性改进，因为它们可被纳入更广泛、更一般的理论框架之中。