Hudson's theorem fails for the SU(1,1) discrete series

技术摘要：Hudson 定理在 $SU(1, 1)$ 离散序列中失效

问题陈述
Hudson 定理确立了平坦相空间（海森堡-外尔群）中的一个基本等价关系：一个纯态具有非负维格纳函数（Wigner function），当且仅当它是一个高斯态。这一结果构成了将维格纳负性作为非经典性可靠特征的基础，并将“经典”态定义为位于相干态轨道上的态。本文研究了这一二分法在弯曲相空间——即与 $SU(1, 1)$ 正离散序列相关的双叶双曲面——上是否成立。虽然已知双曲面上的 Perelomov 相干态具有严格正的维格纳函数，但一个悬而未决的问题是：是否只有这些态（及其群轨道）具有此性质，还是说维格纳正态的集合实际上更大？

方法论
作者分析了 $SU(1, 1)$ 正离散序列中纯态的维格纳函数，其特征由 Bargmann 指数 $k \geq 1$ 表征。

1. 形式化： 他们利用了 $SU(1, 1)$ 的协变 Stratonovich-Weyl 构造，其中相空间是双叶双曲面的上半部分。维格纳函数是通过 $P$ 符号（对于相干态而言是严格正的）和锥函数 $P_{-1/2+i\lambda}(\cosh \tau)$（作为双曲面上拉普拉斯算子的特征函数）推导出来的。
2. 简化为线性代数： 作者证明了数态 $|k, k+m\rangle$ 及其叠加态的维格纳符号可以简化为一个二维函数空间。具体而言，任何块 $W_{mn}$ 的径向部分是锥函数 $P$ 及其导数 $P'$ 的线性组合，其系数关于双曲坐标 $u = \cosh \tau$ 是有理的，并且关于拉普拉斯特征值 $\nu = -1/4 - \lambda^2$ 是多项式的。
3. 正定性分析： 确定维格纳正定性的问题被简化为检查叠加态混合角的一个二次型的非负性。作者首先检查了最简单的非平凡情况：最低权态 $|k, k\rangle$ 与第一激发态 $|k, k+1\rangle$ 的叠加。随后，他们通过引入包含 $|k, k+2\rangle$ 的三态叠加来扩展分析，以测试容许集的维度。
4. 渐近分析： 为了理解正性窗口的起源，作者在“远场”（大双曲距离 $\tau$）进行了渐近分析，将维格纳分量的比例与平坦空间极限进行比较。

关键结果

1. 类比失效： 本文证明了 $SU(1, 1)$ 双曲面上维格纳正纯态的集合严格大于 Perelomov 相干轨道。存在具有严格非负维格纳函数的非相干纯态。
2. 定量阈值： 对于 $k=1$ 时叠加态 $|\psi_\theta\rangle = \cos\theta |k, k\rangle + \sin\theta |k, k+1\rangle$，维格纳函数在混合角 $\theta_W \approx 24.93^\circ$ 之内保持非负。这与平坦空间的情况形成鲜明对比，在平坦空间中，任何非零的混合角（$\theta > 0$）都会立即引入负性。
3. 容许集的体积： 维格纳正态的集合不仅是一条曲线，而是一个具有正体积的区域。通过引入第三能级（$|k, k+2\rangle$），作者表明最大容许混合角有所增加（对于特定的相位配置，达到 $\approx 39.05^\circ$），从而证实该集合的维度大于相干轨道的维度（至少是 3 个参数对比 2 个参数）。
4. 正性机制： 正性是由粒子数项与相干项之间的竞争决定的。在平坦空间中，这些项的比例在远距离处会发散，从而确保了任何非高斯态都会产生负性。而在双曲面上，由于曲率和拉普拉斯算子的谱性质，这些比例在远场趋于有限极限（$R \to 2k$ 且 $S \to \sqrt{2k}$）。
5. 退化与恒星秩（Stellar Rank）： 在远场，控制正性的二次型在特定角度 $\theta_{null} = \arctan(1/\sqrt{2k})$ 处发生退化。该角度恰好是 Husimi 振幅获得其第一个零点（进入庞加莱圆盘）的点，标志着从恒星秩 0 到 1 的转变。然而，正性的约束发生在中间的双曲距离处（对于 $k=1$，$\tau \approx 1.225$），而非远场，这使得在 $\theta_{null}$ 以下的一个有限角度窗口保持正性。

意义与主张
本文声称，在 $SU(1, 1)$ 弯曲相空间上，将非负维格纳函数与相干（高斯）态等同起来的 Hudson 定理没有类比物。

• 理论意义： 通过对称性（相干轨道）识别的“经典性”与通过相空间函数（维格纳正性）识别的“经典性”在弯曲几何中发生了分歧。几何结构选出的类（相干轨道）严格小于具有非负维格纳函数的类。
• 操作警告： 作者提醒，在涉及 $SU(1, 1)$ 系统（如非退化参量放大器或 $SU(1, 1)$ 干涉仪）的实验语境下，观察到非负重建的维格纳函数并不能证明该态是相干态，也不意味着其恒星秩为零。因此，依赖维格纳正性作为经典模拟边界或作为非经典性度量的应用，不能在不重新评估由特定几何定义的“自由类”的情况下，直接从平坦空间转移到弯曲相空间。
• 局限性： 作者指出，他们的表征是基于展示容许集内的特定点，而非对容许集边界的完整结构描述。此外，他们将分析限制在 $k \geq 1$ 的正离散序列纯态中，并未讨论混合态。由于远场收敛的性质，阈值对大 $k$ 值下 Bargmann 指数 $k$ 的依赖性在数值上仍不稳定。