Optimal fidelity estimation when one state is pure via algorithmic Uhlmann transform

技术摘要：通过算法 Uhlmann 变换实现单纯态情况下的最优保真度估计

问题陈述
本文研究了估计两个量子态之间 Uhlmann 保真度 $F(\rho_0, \rho_1) = \text{tr}|\sqrt{\rho_0}\sqrt{\rho_1}|$ 的问题。由于通用的混合态保真度估计受限于状态秩（rank）的复杂度依赖，当其中至少一个态为纯态时，该任务会显著简化。在这种情况下，保真度简化为 $F(\rho, |\phi\rangle\langle\phi|) = \sqrt{\langle\phi|\rho|\phi\rangle}$。

在此项工作之前，针对“单纯态”场景的最优估计器需要预先知道两个状态中的哪一个是纯态。在不知道哪一个是纯态的情况下，已知最好的方法是结合 SWAP 测试与量子振幅估计，其查询复杂度为 $O(1/\varepsilon^2)$，样本复杂度为 $O(1/\varepsilon^4)$，这并非最优。作者旨在消除对“已知哪个态是纯态”这一先验知识的要求，同时实现 $\Theta(1/\varepsilon)$ 的最优查询复杂度以及 $\Theta(1/\varepsilon^2)$ 的最优样本复杂度。

方法论
所提出的解决方案利用了算法 Uhlmann 变换，具体而言，是将 Utsumi 等人 (2025) 的改进构造应用于其中一个态为纯态的情况。其核心技术洞察源于 Uhlmann 定理，该定理将保真度与两个状态的纯化（purification）之间的最大重叠联系起来。

1. 简化 Uhlmann 变换：
   当一个状态（例如 $\rho_1 = |\phi\rangle\langle\phi|$）是纯态时，其纯化是一个乘积态。因此，Uhlmann 交叉算符 $X = \text{tr}_A(|\psi_0\rangle\langle\psi_1|)$ 的秩至多为 1。在这种特定设定下，最优 Uhlmann 酉算符 $U^\star$ 与交叉算符 $X$ 本身成比例，其比例系数即为保真度 $F(\rho_0, \rho_1)$。具体而言，$U^\star = X / F(\rho_0, \rho_1)$。

2. 酉扩张（Unitary Dilation）：
   作者构造了一个关于交叉算符 $X$ 的精确酉扩张 $W$。该扩张定义为 $W = Q_1^\dagger (I_A \otimes \text{SWAP}_{R', S}) Q_0$，其中 $Q_0$ 和 $Q_1$ 分别是 $\rho_0$ 和 $\rho_1$ 的状态制备电路，$S$ 是一个辅助寄存器。通过将 $W$ 的辅助寄存器投影到零态，可以恢复出算符 $X$。

3. 双向估计策略：
   由于算法并不知道哪一个是纯态，因此无法预先确定是应用 $W$ 还是 $W^\dagger$ 来恢复保真度。作者提出了一个对称的方法：

   • 构造两个量子电路，$U_1$ 和 $U_0$。
   • $U_1$ 对 $\rho_1$ 的纯化应用扩张 $W$（正向）。
   • $U_0$ 对 $\rho_0$ 的纯化应用逆扩张 $W^\dagger$（反向）。
   • 研究表明，保真度等于 $\max\{a_0, a_1\}$，其中 $a_j$ 是与 $U_j$ 的输出投影到特定子空间相关的振幅。

4. 振幅估计：
   算法使用平方根振幅估计（量子振幅估计的一种变体）来估计振幅 $a_0$ 和 $a_1$。通过取这两个估计值的最大值，无论哪一个是纯态，算法都能恢复保真度。

主要贡献与结果

• 最优查询复杂度： 本文建立了一个量子估计器，在不需要预知哪一个是纯态的情况下，实现了估计两个状态（其中至少一个为纯态）的保真度所需的 $\Theta(1/\varepsilon)$ 查询复杂度。这达到了下界，并且比基于 SWAP 测试方法的 $O(1/\varepsilon^2)$ 复杂度实现了二次提升。
• 最优样本复杂度： 通过应用量子样本-查询提升（sample-to-query lifting）技术，作者推导出了具有 $\Theta(1/\varepsilon^2)$ 复杂度的样本最优估计器，同样比之前的 $O(1/\varepsilon^4)$ 复杂度实现了二次提升。
• 消除先验知识： 本工作消除了 Fang 和 Wang (ESA 2025) 最优估计器中存在的“数学上非必要”的先验知识要求，统一了“纯态已知”与“纯态未知”情况下的最优估计。
• 技术实现： 该方法通过利用交叉算符的秩-1 特性，通过直接酉扩张实现 Uhlmann 变换，从而避免了针对此特定情况使用复杂的量子奇异值变换（QSVT）工具。

意义
本文声称建立了第一个在不知道哪一个是纯态的情况下，仍能实现单纯态保真度估计的最优估计器。通过对改进版算法 Uhlmann 变换的特化处理，作者证明了在纯态极限下，秩（rank）的依赖性完全消失，且“纯态侧未知”场景在查询复杂度上不再比“纯态侧已知”场景更复杂。这些结果填补了此类特定保真度估计任务中上界与下界之间的差距，为这一基础量子信息论问题提供了理论上的最优解。