Isospectral majorization and isoperimetric inequalities for coherent states on the Bloch sphere

技术摘要：Bloch 球面上相干态的等谱占优与等周不等式

问题陈述
本文研究了针对 $P_N$ 希尔伯特空间（即作为 $SU(2)$ [Bloch] 相干态自然设置的、次数至多为 $N$ 的解析多项式空间）中密度算符的 Husimi 函数（或下符号）的优化问题。虽然 Lieb 和 Solovej 的开创性工作已经确立了在所有密度算符中，秩为 1 的相干纯态最大化了 Husimi 函数的凸函数积分，但这种比较并不保持算符的光谱。具体而言，一个一般的密度算符 $\rho$ 被与一个纯态进行比较，这实际上改变了特征值分布（从混合谱变为纯谱 $(1, 0, \dots, 0)$）。

本文旨在解决的核心问题是，在固定谱类内识别“最经典”的状态。也就是说，对于具有给定特征值的密度算符 $\rho$，哪种状态能最小化其 Husimi 函数的凸函数积分？这一问题受到量化给定谱属性的量子态中“高斯性亏损”（Gaussianity deficits）以及理解混合态量子特征需求的启发。

方法论
作者开发了一个基于等谱占优（isospectral majorization）和 Lieb-Solovej 放大通道性质的框架。该方法论通过以下步骤进行：

1. 被动重排（Passive Rearrangement）： 文中引入了 $SU(2)$被动重排的概念，记作$\rho^\downarrow$。对于一个特征值为$p_0 \ge p_1 \ge \dots \ge p_{r-1}$的密度算符$\rho$，通过将这些特征值按降序放置在单项式基向量$e_n(z) = \sqrt{\binom{N}{n}} z^n$上来构造$\rho^\downarrow$。
2. 球面放大通道： 作者利用了一个量子通道 $C_{N \to M}$（Lieb-Solovej 通道的迭代版本），该通道将算符从 $P_N$ 映射到 $P_M$（$M \ge N$）。该通道通过 Kraus 算符定义，并被证明是 $SU(2)$ 等变的。
3. 固定谱占优： 一个关键的技术结果是证明了该通道的输出保持占优顺序。具体而言，如果 $\rho$ 是一个密度算符，则该通道作用于 $\rho$ 的输出被作用于其被动重排 $\rho^\downarrow$ 的输出所占优。这是通过分析通道对对角算符的作用并利用 Ky Fan 最大值原理建立的。
4. 经典极限与收敛性： 通过对通道输出进行缩放并取极限 $M \to \infty$，作者证明了缩放后算符的凸函数迹收敛于球面上凸函数的积分。这弥合了有限维矩阵占优与连续球面积分不等式之间的差距。
5. 等周应用： 这些结果被应用于符号为 $1_\Omega$（球面上可测子集 $\Omega$ 的指示函数）的 Toeplitz 算符 $T_\Omega$。利用 Ky Fan 最大值原理，可以将 $T_\Omega$ 的特征值与在固定测度集合上极大化的 Husimi 函数联系起来。

核心贡献与结果

• 定理 1.2（等谱 Lieb-Solovej 不等式）： 本文证明了对于任何密度算符 $\rho \in P_N$ 及任何凸函数 $\Phi: [0, 1] \to \mathbb{R}$：
  $$\int_{\mathbb{C}} \Phi(Q_\rho(z)) \, dm(z) \le \int_{\mathbb{C}} \Phi(Q_{\rho^\downarrow}(z)) \, dm(z)$$
  其中 $\rho^\downarrow$ 是 $\rho$ 的被动重排。这确立了在固定谱类内，被动态最小化 Husimi 函数的凸积分。
• 推论 1.3（固定谱 Wehrl 熵）： 通过将结果应用于凹函数 $\Phi(t) = -t \log t$，本文表明被动态 $\rho^\downarrow$ 在具有与 $\rho$ 相同谱的所有密度算符中最小化了 Bloch Wehrl 熵。
• 定理 1.4（通道占优）： 证明了对于 Lieb-Solovej 通道 $C_{N \to M}$，输出态满足占优关系 $C_{N \to M}(\rho) \prec C_{N \to M}(\rho^\downarrow)$。这是一个关于通道输出的固定迹占优定理。
• 定理 1.5 (Ky Fan 等周不等式)： 本文导出了关于指示函数符号的 Toeplitz 算符的 Ky Fan 范数的锐利等周不等式。对于测度为 $\alpha$ 的球面上任何可测子集 $\Omega$ 以及具有相同测度的球面帽 $D_\alpha$：
  $$\sum_{j=1}^r \lambda_j(\Omega) \le \sum_{j=1}^r \lambda_j(D_\alpha)$$
  其中 $\lambda_j$ 是降序排列的特征值。右侧项根据 $\alpha$ 和 $N$ 进行了显式计算。
• 推论 1.6（Schatten 范数）： Ky Fan 不等式意味着对于所有单位不变矩阵范数（包括所有 Schatten $p$-范数，$0 < p \le \infty$）的 $T_\Omega$，都存在锐利的等周不等式。

意义与主张
本文声称填补了 $SU(2)$ 相干态数学理论中的一个重要空白，即将优化结果从秩-1 算符扩展到了具有固定谱的高秩密度算符。

• 对 Lieb-Solovej 的精细化： 不同于原始的 Lieb-Solovej 不等式将任意态与纯态进行比较，这项工作提供了一个适应于给定谱约束问题的“更精细的亏损”。它识别出被动态是其谱类中的极小值，从而对混合态的“经典性”提供了更细致的理解。
• 等周几何： 结果表明，对于具有指示符号的 Toeplitz 算符，球面帽是所有 Ky Fan 和的极值集。这是在没有调用经典球面等周不等式的情况下实现的；相反，几何控制直接源于通道输出的固定谱占优。
• 与量子信息学的联系： 该工作将 Husimi 函数积分的最大化与“高斯性亏损”的概念联系起来，表明被动态代表了给定谱约束下的“最经典”配置，类似于 Fock 空间中的高斯态。

作者指出，虽然这些结果刻画了 Ky Fan 范数的极大值情况，但它们在对一般凸函数积分的等号成立情况的详细刻画上，并未达到近期秩-1 稳定性结果（例如 Frank 或 Kulivu et al. 的工作）那样的程度，但它们提供了特征值和的锐利界限以及识别结构（球面帽）。