[论文解读] Stabilisation of Quantum Computations by Symmetrisation

Adriano Barenco, André Berthiaume+4 more|ArXiv.org|Apr 25, 1996

Quantum Computing Algorithms and Architecture参考文献 1被引用 21

一句话总结

本文提出了一种通过将 R 个冗余量子比特副本投影到对称子空间来实现量子误差稳定化的方案。通过将多个量子态的副本投影到对称子空间，该方法同时抑制了由硬件不精确性引起的单位算符误差和由环境退相干引起的非单位算符误差，实现了随着冗余度 R 增加而指数级降低的误差，但代价是需要在短时间内执行多项式时间的量子操作，限制了大规模计算的可扩展性。

ABSTRACT

We propose a method for the stabilisation of quantum computations (including quantum state storage). The method is based on the operation of projection into $\cal SYM$, the symmetric subspace of the full state space of $R$ redundant copies of the computer. We describe an efficient algorithm and quantum network effecting $\cal SYM$--projection and discuss the stabilising effect of the proposed method in the context of unitary errors generated by hardware imprecision, and nonunitary errors arising from external environmental interaction. Finally, limitations of the method are discussed.

研究动机与目标

• 开发一种适用于相干量子计算的量子力学稳定方法，避免经典多数表决的局限性，后者因量子力学中的不可克隆定理与不可测量定理而无法应用。
• 解决硬件不精确性与环境退相干对量子计算的破坏性影响，这些因素导致成功概率随输入规模呈指数衰减。
• 提供一种仅使用量子操作的稳定方法，无需经典测量或态制备，从而保持叠加态与相干性。
• 分析基于对称化的纠错方法的可行性与局限性，特别是资源扩展与物理实现速度方面。

提出的方法

• 该方法将 R 个冗余量子态副本投影到对称子空间 $\mathcal{SYM}$，该子空间在副本排列下保持不变，从而抑制破坏排列对称性的误差。
• 构建了一个高效的量子网络以实现 $\mathcal{SYM}$-投影，使用受控-SWAP（Fredkin）门与辅助量子比特，该网络需要 $O(R^2)$ 个门与 $O(R \log R)$ 个辅助量子比特。
• 在计算过程中定期应用投影过程，以校正随时间累积的误差，误差概率随冗余度 R 呈指数下降。
• 该方法利用了对称态对局部误差不敏感的特性，且对称化态 $\tilde{\rho}$ 随着 $R \to \infty$ 趋近于原始未扰动态 $\rho_0$，从而提高纯度。
• 分析使用输出态的保真度与纯度，其中对称化态的纯度由 $\mathrm{Tr}(\tilde{\rho}^2) = 1 + \frac{2}{R}\mathrm{Tr}(\rho_0\tilde{\sigma})$ 给出，表明其纯度优于原始态。

实验结果

研究问题

• RQ1 能否仅通过量子操作，在不使用经典测量或克隆的情况下，稳定量子计算以同时抵抗单位算符与非单位算符误差？
• RQ2 在对称子空间投影中，误差抑制效果如何随冗余副本数 R 变化？
• RQ3 在实际中实现基于对称化的纠错，其物理与计算资源需求如何？
• RQ4 对称化能否稳定一个原本因退相干导致成功概率呈指数衰减的量子算法？

主要发现

• 该对称化方法使量子计算中的误差概率随冗余副本数 R 呈指数级降低，对单位算符误差的抑制程度达到 $\exp(-\eta^2 R / 6)$ 量级，类似于经典多数表决，但以量子兼容方式实现。
• 对于由环境相互作用引起的非单位算符误差，对称化态 $\tilde{\rho}$ 的纯度高于原始态，且 $\mathrm{Tr}(\tilde{\rho}^2)$ 随 R 增加趋近于 1，表明保真度得到提升。
• 该方法在需要 $R \sim L$ 个冗余副本以应对输入规模 L 的线性时间量子计算中有效，但这也导致对称化操作必须以与 L 成线性关系的速率执行，形成物理瓶颈。
• 纠错过程本身也存在误差，且纠错装置需要 $O(R^2)$ 个量子比特，当 $R \sim L$ 时，其规模与被校正系统相当，从而引发自洽性挑战。
• 尽管纠错过程本身误差率较高，该方法在原则上仍具有效性，如时钟类比所示：即使纠错精度低于其所纠正的误差，累积误差仍保持有界。
• 该方法在渐近意义上并非指数高效，因为所需对称化速率随输入规模线性增长，导致资源需求随加速因子呈指数增长，限制了大规模量子计算的可扩展性。