[论文解读] The entanglement fidelity and quantum error correction

Michael A. Nielsen|ArXiv.org|Jun 13, 1996

Quantum Computing Algorithms and Architecture被引用 24

一句话总结

本文确立了量子纠缠保真度——衡量量子操作过程中量子纠缠保持程度的指标——是量子纠错的正确度量标准，而非标准态保真度。文章推导出两个新的纠缠保真度表达式，并证明其等于所有可能的态扩展中保真度的最小值，表明最大化纠缠保真度可确保量子信息协议中态与纠缠的双重保全。

ABSTRACT

Two new expressions for the entanglement fidelity recently introduced by Schumacher (LANL e-print quant-ph/9604023, to appear in Phys. Rev. A) are derived. These expressions show that it is the entanglement fidelity which must be maximized when performing error correction on qubits for quantum computers, not the fidelity, which is the most-often used generalization of the probability for storing a qubit correctly.

研究动机与目标

• 澄清纠缠保真度在量子纠错中的作用，因为标准保真度即使在态被正确存储时也可能无法保持纠缠。
• 通过区分态保真度与纠缠保真度，解决评估量子操作性能时的模糊性。
• 证明纠缠保真度是依赖于纠缠的协议（如量子隐形传态、密码学与编码）的合适度量。
• 为纠缠保真度提供严格的数学表达式与证明，统一其在不同量子操作与系统扩展中的解释。

提出的方法

• 利用量子操作的算子和表示法与态扩展的概念，推导出两个新的纠缠保真度表达式。
• 使用算子和表示法 $\mathcal{E}(\rho) = \sum_i A_i \rho A_i^\dagger$，将纠缠保真度表达为 $F_e(\rho, \mathcal{E}) = \sum_i \mathrm{tr}(A_i \rho) \mathrm{tr}(A_i^\dagger \rho)$。
• 证明纠缠保真度等于将态 $\rho$ 扩展至更大系统后所有可能扩展中保真度的最小值，确立其操作意义。
• 应用保真度在量子操作下不减的性质，证明 $F(\mathcal{E}(\rho_1), \mathcal{E}(\rho_2)) \geq F(\rho_1, \rho_2)$，支持纠缠保真度在演化过程中的鲁棒性。
• 利用纯化与部分迹技术，将纯态扩展的保真度与约化态的纠缠保真度联系起来。
• 证明纠缠保真度的三种表述形式等价：$F_e = F_1 = F_2$，证明其在不同数学表达中的一致性。

实验结果

研究问题

• RQ1 为何在纠缠作为资源时，标准保真度不足以评估量子纠错？
• RQ2 为在噪声量子操作中同时保持量子态与纠缠，应最大化何种正确度量？
• RQ3 纠缠保真度与纯态和混合态的标准保真度之间有何关系？
• RQ4 纠缠保真度能否以计算上有用的形式表达，以适用于实际的量子纠错方案？
• RQ5 在何种条件下，对所有输入态而言，高标准保真度可推出高纠缠保真度？

主要发现

• 纠缠保真度 $F_e(\rho, \mathcal{E})$ 等于所有 $\rho$ 的可能扩展中保真度的最小值，证明其是纠缠保全最保守且最具意义的度量。
• 对于纯态，纠缠保真度退化为标准保真度：$F_e(|\psi\rangle\langle\psi|, \mathcal{E}) = \langle\psi|\mathcal{E}(|\psi\rangle\langle\psi|)|\psi\rangle$，确认在纯态极限下的自洽性。
• 通过算子和表示法可显式计算纠缠保真度：$F_e(\rho, \mathcal{E}) = \sum_i \mathrm{tr}(A_i \rho) \mathrm{tr}(A_i^\dagger \rho)$，使其实用场景中的直接计算成为可能。
• 若对所有纯态的标准保真度至少为 $1 - \epsilon$，则所有态的纠缠保真度至少为 $1 - \frac{3\epsilon}{2}$，表明在全局条件下，高标准保真度可推出高纠缠保真度。
• 文中提供一个例子：态保真度保持为100%，但纠缠保真度下降至 $\frac{1}{4}$，证明态保全并不蕴含纠缠保全。
• 本文证明 $F_e(\rho, \mathcal{E}) \leq F(\rho, \mathcal{E}(\rho))$，表明纠缠无法比态本身保持得更好，这是基本的物理界限。