Unitary-accessible coherence-erasure distance: Exact qubit solution and a tight qutrit bound

技术摘要：幺正可达的相干性消除距离

问题陈述
本文针对标准量子相干性度量中的一个局限性进行了研究，这类度量通常通过计算状态到所有不相干态集合的距离来量化相干性。这种标准方法假设任何不相干态都是可达的，却忽略了动力学约束。具体而言，当演化被限制在幺正变换（封闭系统动力学）内时，密度算符的谱（特征值谱）是保持不变的。因此，状态 $\rho$ 通常无法转化为任意不相干态；它只能到达与其谱相同的（等谱的）不相干态。

作者引入了幺正可达的相干性消除距离 ($D^U_I(\rho)$)，用于量化在严格保持其谱的前提下，将状态 $\rho$ 转化为不相干态所需的最小幺正控制代价。该距离代表了通过封闭系统幺正动力学实现“消除”相干性的操作代价，这与熵和纯度发生变化的耗散退相干过程截然不同。

研究方法
本研究结合了资源理论框架与几何量子信息理论：

1. 定义： 作者定义了幺正可达的不相干态集合 $I_\rho = \mathcal{I} \cap \mathcal{O}_\rho$，其中 $\mathcal{I}$ 是不相干态集合，$\mathcal{O}_\rho$ 是 $\rho$ 的幺正轨道。
2. 距离度量： 距离被定义为 $\rho$ 与 $I_\rho$ 中任意状态之间的最小量子充电距离 ($D_{CD}$)。量子充电距离衡量了在受限驱动哈密顿量下，将一个等谱状态转化为另一个等谱状态所需的最短时间。
3. 特征基归约： 对于非退化状态，作者证明了优化问题可以归约为：寻找最小的幺正旋转，使 $\rho$ 的特征基与固定参考基对齐（在允许置换和相位变化的情况下）。这被形式化为特征基矩阵 $R$ 到单项幺正群 ($M_d$) 的距离，其中 $M_d$ 由置换矩阵与对角相位矩阵组成。
4. 对比分析： 本工作建立了 $D^U_I(\rho)$ 与轨道限制下的 Bures 角以及轨道限制下的修正量子传输代价之间的不等式关系。

核心结果

• 一般性质：

  • $D^U_I(\rho) = 0$ 当且仅当 $\rho$ 本身已是不相干态。
  • 该距离在单项幺正变换下具有不变性。
  • 对于纯态，幺正可达的相干性消除距离与轨道限制下的 Bures 角完全一致，并且与轨道限制下的传输代价的一个缩放版本相等。
  • 对于混合态，这些量通常存在差异；对于非退化量子比特，Bures 角严格小于幺正控制距离。

• 量子比特解（精确解）：

  • 对于非退化量子比特状态 ($r > 0$)，作者推导出了一个精确的解析表达式：
    $$D^U_I(\rho) = \frac{1}{2} \arccos\left(\frac{|r_z|}{r}\right) = \frac{1}{2} \arcsin\left(\frac{r_\perp}{r}\right)$$
    其中 $r$ 是布洛赫矢量的模长，$r_z$ 是其沿参考轴的分量。
  • 核心洞察： 该距离仅取决于特征基相对于参考基的取向，而与状态的特征值（混合度）无关。这与 Bures 角形成了对比，后者既取决于方向也取决于长度。
  • 奇异性： 在最大混合态 ($r=0$) 处，由于谱退化，距离会不连续地降至零；而在沿固定方向趋于 $r \to 0$ 的极限过程中，距离保持为有限值。

• 三能级系统解（紧致上界）：

  • 对于非退化三能级系统（qutrit），问题归结为对单项幺正群 $M_3$ 的优化。
  • 作者推导出了该距离的一个紧致通用上界：
    $$D^U_I(\rho) \leq \theta^* = \arccos\left(\frac{2\sqrt{2}-1}{4}\right) \approx 1.096 \text{ rad} \approx 62.80^\circ$$
  • 文中构造了一个能够达到此上界的显式特征基矩阵 $R^*$，证明了该上界是可实现的。

意义与主张
论文声称为幺正约束下的相干性消除代价提供了一个严谨的操作性定义，将其与忽略谱保持的传统相干性度量区分开来。

• 操作含义： 距离 $D^U_I(\rho)$ 直接决定了在受限幺正驱动下消除相干性的最短时间，从而在控制时间方面提供了具体的物理诠释。
• 几何区别： 本工作强调了状态空间邻近性（Bures 角）与幺正可达性之间的根本几何差异。虽然两者在纯态时重合，但在混合态时会发生分歧；这表明通过幺正演化到达不相干态的“代价”对于混合量子比特而言，严格高于几何距离所暗示的代价。
• 普适性： 推导出的三能级系统上界独立于状态的具体特征值，仅取决于特征基的取向，这表明了三能级系统中幺正相干性消除难度的普遍极限。

作者并未提出具体的实验实现方案或除理论表征这些距离及其与量子速度极限及最优传输代价关系的后续应用之外的其他应用。