[論文レビュー] The entanglement fidelity and quantum error correction

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

Quantum Computing Algorithms and Architecture被引用数 24

ひとこと要約

この論文は、量子操作中の量子もつれの保存度を測る指標としてのもつれ保真度が、標準状態保真度よりも量子誤り訂正の適切な指標であることを確立している。もつれ保真度の2つの新しい表現式を導出し、それがすべての可能な状態拡張における最小保真度に等しいことを証明している。これにより、もつれ保真度を最大化することで、量子情報プロトコルにおける状態およびもつれの両方の保存が保証されることが示された。

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.

研究の動機と目的

• 標準保真度が状態は正しく保存されていてももつれを保存しない可能性があるため、もつれ保真度が量子誤り訂正における役割を明確にすること。
• 状態保真度ともつれ保真度を区別することで、量子操作の性能評価における曖昧さを解消すること。
• 量子トランスポート、暗号、符号化などのもつれに依存するプロトコルにおいて、もつれ保真度が適切な測定指標であることを示すこと。
• もつれ保真度の明確な数学的表現と証明を提供し、異なる量子操作およびシステム拡張においてその解釈を統一すること。

提案手法

• 量子操作の作用素和表現と状態拡張の概念を用いて、もつれ保真度の2つの新しい表現式を導出する。
• 作用素和表現 $\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)$ を示し、もつれ保真度の時間発展における頑健性を裏付ける。
• 純化と部分トレースの技術を用いて、純粋状態の拡張の保真度と、縮約状態のもつれ保真度との関係を導出する。
• もつれ保真度の3つの定式化 $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))$ を証明し、もつれは状態そのものの保存よりも良くはならない、物理的限界を示した。