[論文レビュー] Quantum MacWilliams Identities

Peter W. Shor, Raymond Laflamme|ArXiv.org|Oct 25, 1996

Quantum Computing Algorithms and Architecture参考文献 9被引用数 4

ひとこと要約

本稿では、完全に消去される量子チャネルにおける量子もつれ fidelity と平均 fidelity の関係を導出し、量子 MacWilliams 恒等式を確立した。これは古典的 MacWilliams 恒等式の量子版であり、量子符号の重み列挙子とその双対符号の重み列挙子を結びつける。これにより、線形計画法的手法を用いて量子符号の存在可能性と性能を分析でき、具体的な例を通じてその有効性が示された。

ABSTRACT

We derive a relationship between two different notions of fidelity (entanglement fidelity and average fidelity) for a completely depolarizing quantum channel. This relationship gives rise to a quantum analog of the MacWilliams identities in classical coding theory. These identities relate the weight enumerator of a code to the one of its dual and, with linear programming techniques, provided a powerful tool to investigate the possible existence of codes. The same techniques can be adapted to the quantum case. We give examples of their power.

研究の動機と目的

• 符号理論で用いられる古典的 MacWilliams 恒等式の量子版を確立すること。
• 完全に消去される量子チャネルにおけるもつれ fidelity と平均 fidelity の関係を特定すること。
• 古典的符号理論におけるように、線形計画法的手法を量子符号に適用できるようにすること。
• 導出された恒等式を用いて、量子符号の存在可能性と性質を調査すること。
• 具体的な例を通じて、これらの恒等式の有用性を示すこと。

提案手法

• 完全に消去される量子チャネルにおけるもつれ fidelity と平均 fidelity の間の数学的関係を導出すること。
• この fidelity 関係を用いて、古典的符号理論に類似した量子版の重み列挙子を定義すること。
• 量子符号の重み列挙子とその双対符号の重み列挙子を結ぶ量子 MacWilliams 恒等式を確立すること。
• 導出された恒等式を用いて、古典的線形計画法手法を量子設定に適応すること。
• この枠組みを用いて、量子符号の性能と存在可能性を分析・上限付けること。
• 具体例を用いて、量子 MacWilliams 恒等式の強力さと適用可能性を示すこと。

実験結果

リサーチクエスチョン

• RQ1 量子チャネルにおけるもつれ fidelity と平均 fidelity の関係をどのように形式化すれば、MacWilliams 恒等式の量子版が得られるか？
• RQ2 古典的重み列挙子の量子版とは何か？ そして、それは双対符号とどのように関係するか？
• RQ3 古典的符号理論で用いられる線形計画法手法は、これらの恒等式を介して量子設定に適応可能か？
• RQ4 これらの恒等式は、量子符号の存在可能性とパラメータにどのような制約を課えるか？
• RQ5 これらの恒等式をどのように応用して、特定の量子符号の存在不可能性の証明や上限の導出が可能か？

主な発見

• 本稿では、量子符号の重み列挙子とその双対符号の重み列挙子を結ぶ量子 MacWilliams 恒等式を成功裏に導出し、古典的符号理論を量子領域へと拡張した。
• 完全に消去されるチャネルにおいて、もつれ fidelity と平均 fidelity の明確な関係が確立され、量子恒等式の基盤が構築された。
• 導出された恒等式により、量子符号に線形計画法的手法を適用可能となり、最小距離やサイズなどの符号パラメータの上限が得られた。
• 具体的な例を通じて、この枠組みの強力さが示され、量子符号の存在可能性と性能分析における有用性が実証された。
• 古典的符号理論におけるツールに類似した手法を用いて、量子符号を体系的に調査するための方法が提供された。
• 双対性と列挙多項式を用いた量子エラー耐性符号の研究のための厳密な数学的基盤が確立された。