Singular value transformation for unknown quantum channels

技术摘要：未知量子信道的奇异值变换

问题陈述
学习量子系统的谱性质是量子信息科学中的一个核心挑战。虽然量子奇异值变换（QSVT）已成功实现了对块编码矩阵（包括量子态）的奇异值多项式变换，但将这些能力扩展到一般的未知量子信道仍是一个开放性问题。主要的障碍在于如何为目标算符构建高效的块编码。以往的方法通常假设可以访问用于准备状态纯化或信道 Stinespring 扩张的酉算符；然而，在量子过程学习的背景下，这些“纯化”形式通常是不可用的，因为信道仅能作为黑盒进行访问。此外，量子信道作用于密度矩阵的自然表示——Liouville 表示法——是非厄米性的，这使得直接在通常依赖于厄米算符的量子计算机上进行处理变得复杂。

方法论
作者提出了一个在最自然的访问模型（黑盒访问）下，对未知量子信道应用 QSVT 的框架。该方法分为三个阶段：

1. Liouville 表示与埃米特化（Hermitization）：
   量子信道 $\mathcal{E}$ 对密度矩阵 $\rho$ 的作用被向量化为矩阵乘法 $|\mathcal{E}(\rho)\rangle\rangle = E_A |\rho\rangle\rangle$，其中 $E_A$ 是 Liouville 表示。由于 $E_A$ 通常是非厄米性的，作者构造了一个埃米特化形式 $H$，定义为：
   $$H := \frac{1}{2d^{1-k}} \begin{bmatrix} O & E_A \\ E_A^\dagger & O \end{bmatrix}$$
   其中 $O$ 是零矩阵，且 $k \in [0, 1/2]$（对于 unital 信道可放宽至 $k \in [0, 1]$）确保了 $\|H\|_\infty \leq 1/2$。

2. 近似块编码构造：
   其核心贡献是一种算法，该算法仅通过对 $\mathcal{E}$ 的黑盒访问，即可构造出一个在钻石范数（diamond norm）下与 $H$ 的块编码 $\delta$-接近的量子信道 $\tilde{U}$。

   • 该协议利用信道的 Choi 态 $E_B$ 和受控-SWAP 操作来生成特定的状态 $\rho_\pm$。
   • 通过采用一种变体形式的密度矩阵指数化方法，作者通过交错使用受控-SWAP 操作和部分转置，近似实现酉演化 $e^{-iHt}$。
   • 通过这一系列操作以及对 $\arcsin$ 函数的多项式逼近，他们在不需要获知信道奇异值或奇异向量的情况下，推导出了 $H$ 的块编码。

3. 奇异值变换：
   一旦建立了近似块编码 $H$，即可应用标准的 QSVT 技术。这使得在原始信道 $\mathcal{E}$ 的奇异值上实现多项式变换 $P(H)$ 成为可能。

主要贡献与结果

• 块编码定理（定理 1）： 作者证明，给定对 $d$ 维系统上的未知信道 $\mathcal{E}$ 的访问，可以构造一个量子信道 $\tilde{U}$，它与埃米特化 Liouville 表示 $H$ 的 $(1, 3, 0)$-块编码在 $\delta$-距离内。查询复杂度为 $O\left(\frac{d^{2k+1}}{\delta} \log^2 \frac{1}{\delta}\right)$。对于一般信道（$k=1/2$），其标度为 $O(d^3/\delta)$。
• 下界（定理 2）： 作者通过特定的信道判别任务，为构造此类块编码的查询复杂度建立了一个 $\Omega(d/\delta)$ 的相应下界。这突显了将信道谱作为块编码矩阵进行访问的根本代价。
• 学习奇异值矩（定理 3）： 该框架被用于估计任意实数 $q > 2$ 的第 $q$ 阶奇异值矩 $S_q = \frac{1}{d^q} \sum \sigma_i^q$。通过使用函数 $f(x) = \frac{1}{2}x^{q-2}$ 的多项式逼近，作者展示了一个估计这些矩的协议。
  • 对于一般信道，复杂度为 $\tilde{O}\left(\frac{d^{3/2}}{\delta} \frac{1}{\epsilon^{3 + \frac{2}{q-2}}}\right)$。
  • 对于 unital 信道，复杂度改进为 $\tilde{O}\left(\frac{d^3}{\delta} \frac{1}{\epsilon^{3 + \frac{2}{q-2}}}\right)$（在“纯态机制”下注意到了特定的标度改进，针对 $q>8$ 的情况）。

意义与应用
本文建立了一个利用 QSVT 直接操纵黑盒量子信道的通用框架，实现了无需量子层析（tomography）或大量经典后处理即可直接评估谱性质的能力。

• 纠缠破缺测试： 该方法可以通过估计第一奇异值矩（$S_1$）来测试量子信道是否为纠缠破缺（entanglement-breaking）信道。这是基于纠缠的重组准则（reshuffling criterion），该准则指出：当且仅当信道的 Choi 态是可分的，该信道才是纠缠破缺的，这意味着 $\|R(E_B)\|_1 \leq 1$。
• 优于现有方法： 所提出的方法将之前的纠缠检测方法（通过 SWAP 电路或经典影子层析法局限于偶数整数幂）扩展到了任意实数幂 $q > 2$。在某些情形下（例如对于接近“纯态机制”的信道，$q > 8$ 时），该方法在查询复杂度上比 SWAP 电路具有指数级的提升，并且优于基于 Choi 态的局部经典影子层析法。

未来方向
作者指出，目前证明的上界和下界并不匹配，这表明存在改进空间。他们还建议，研究黑盒信道中的局部性或结构特征可能会产生更高效的协议。此外，虽然目前的工作侧重于黑盒访问，但他们预期“纯化”访问模型（例如 Kraus 算符的块编码或 Stinespring 扩张）可能会带来更高效的谱变换协议。该框架也预计能与近期针对具有复谱信道的量子特征值变换方法相兼容。