[論文レビュー] Quantum stabilizer codes and beyond

Sarvepalli, Pradeep Kiran|ArXiv.org|Oct 14, 2008

Quantum Computing Algorithms and Architecture参考文献 95被引用数 8

ひとこと要約

本学位論文は、二次拡大体上の非二進安定化子符号への拡張、部分符号コードのキャラクター理論的枠組みの構築、およびノイズの多いチャネルに特化した非対称量子安定化子符号の構築を通じて、量子誤り訂正を前進させる。標準的なデポラライジングチャネルモデルを超えて、良好な量子符号の設計および分析を著しく改善するため、量子BCH符号の構築に向けた簡略化された基準を提供し、巡回的コセットと双対性条件を用いて明示的なパラメータを導出する。

ABSTRACT

The importance of quantum error correction in paving the way to build a practical quantum computer is no longer in doubt. This dissertation makes a threefold contribution to the mathematical theory of quantum error-correcting codes. Firstly, it extends the framework of an important class of quantum codes -- nonbinary stabilizer codes. It clarifies the connections of stabilizer codes to classical codes over quadratic extension fields, provides many new constructions of quantum codes, and develops further the theory of optimal quantum codes and punctured quantum codes. Secondly, it contributes to the theory of operator quantum error correcting codes also called as subsystem codes. These codes are expected to have efficient error recovery schemes than stabilizer codes. This dissertation develops a framework for study and analysis of subsystem codes using character theoretic methods. In particular, this work establishes a close link between subsystem codes and classical codes showing that the subsystem codes can be constructed from arbitrary classical codes. Thirdly, it seeks to exploit the knowledge of noise to design efficient quantum codes and considers more realistic channels than the commonly studied depolarizing channel. It gives systematic constructions of asymmetric quantum stabilizer codes that exploit the asymmetry of errors in certain quantum channels.

研究の動機と目的

• 『良好な』量子符号の構築における未解決の課題、特に距離、レート、誤り耐性の観点から解決を図ること。
• 二次拡大体上の古典的符号と関連付けることで、非二進安定化子符号理論を拡張し、量子BCH符号の構築を簡略化すること。
• キャラクター理論を用いた体系的なフレームワークを構築することで、任意の古典的符号から部分符号コードを構築可能にする。
• ノイズの非一様性を活用することで、非対称なノイズチャネルに最適化された効率的な量子符号を設計し、理想化されたデポラライジングチャネルモデルを超えること。

提案手法

• 有限体上の加法的符号とガロア接続を用いて、安定化子符号を非二進および高次元量子系へ一般化する。
• 巡回的コセット解析を適用し、古典的BCH符号がその双対を含む条件を特定することで、CSSおよびヘルミート構成による量子符号の構築を可能にする。
• キャラクター理論的手法を用いて部分符号コードの分析および構築を行い、古典的符号との直接的な対応関係を確立する。
• BCH符号と有限幾何学的LDPC符号を組み合わせた、カルデュック＝ショア＝スティーン（CSS）ベースの構成を非対称量子チャネルに適用する。
• 設計距離と体パラメータに基づいて、量子符号の次元および最小距離の明示的公式を導出する。
• 双対性の性質と純粋性条件を活用し、特に最小距離が大きな符号において高精度な誤り訂正を保証する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、二次拡大体上の古典的符号を用いて非二進量子安定化子符号の構築を簡略化し一般化できるか？
• RQ2 古典的BCH符号がその双対を含むための条件は何か？ これにより、CSS構成による量子符号の構築が可能になる。
• RQ3 キャラクター理論を用いた体系的なフレームワークにより、部分符号コードをどのように構築・分析できるか？ また、それらは古典的符号とどのような関係にあるか？
• RQ4 量子チャネルにおけるノイズの非対称性の役割は何か？ そして、これを活用してより効率的な量子符号を設計するにはどうすればよいか？
• RQ5 BCH符号とLDPC符号を統一的な代数的枠組みで統合し、明示的かつ最適な量子符号を導出できるか？

主な発見

• 本論文は、設計距離のみに依存する簡略化された基準を確立し、量子BCH符号の直接的なパrameter計算を可能にする。
• 狭義の非二進量子BCH符号の次元について、先行研究を上回る明示的公式を提供する。
• 双対を含むBCH符号から構築された量子符号の次元と純粋性が正確に特徴付けられ、純粋性はδmax + 1まで証明されている。
• キャラクター理論的枠組みにより、任意の古典的符号から部分符号コードを構築可能であることが示され、その適用範囲が著しく拡大される。
• BCH符号と有限幾何学的LDPC符号を用いた非対称量子安定化子符号が、CSSおよびヘルミート構成を用いて体系的に構築され、パラメータが導出された。
• 本研究は、双対性および巡回的コセット構造が良好な古典的符号から、最小距離が大きくレートの良い量子符号を導出可能であることを示している。