[論文レビュー] Subsystem Codes

Salah A. Aly, Andreas Klappenecker+1 more|arXiv (Cornell University)|Oct 18, 2006

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

ひとこと要約

この論文は、古典的符号から導出される量子誤り訂正のフレームワークとしてサブシステム符号を導入し、量子ギルバート・ヴァルシャモフ型の数え上げ的議論によりその存在を証明する。線形計画法による境界を確立し、[[n,n−2d+2,r>0,d]]q サブシステム符号の存在を解明し、符号化のためのシンディーム・クディット数の観点から、スタビライザー符号とサブシステム符号を比較し、サブシステム符号がシンディームのオーバーヘッドを低減できることを示す。

ABSTRACT

We investigate various aspects of operator quantum error-correcting codes or, as we prefer to call them, subsystem codes. We give various methods to derive subsystem codes from classical codes. We give a proof for the existence of subsystem codes using a counting argument similar to the quantum Gilbert-Varshamov bound. We derive linear programming bounds and other upper bounds. We answer the question whether or not there exist [[n,n-2d+2,r>0,d]]q subsystem codes. Finally, we compare stabilizer and subsystem codes with respect to the required number of syndrome qudits.

研究の動機と目的

• 古典的符号理論に基づき、オペレータ量子誤り訂正符号と呼ばれる体系的なフレームワークを構築すること。
• 任意のパrameterに対して [[n,n−2d+2,r>0,d]]q サブシステム符号が存在するかどうかという未解決の問題を解明すること。
• 特に線形計画法およびその他の上界を含む、サブシステム符号の性能に関する境界を導出すること。
• スタビライザー符号とサブシステム符号のリソース効率を比較し、特にシンディーム・クディットの数に注目すること。

提案手法

• 有限体上のサブシステム符号の存在を示すために、量子ギルバート・ヴァルシャモフ境界に類似した数え上げ的議論を用いる。
• 線形計画法を用いて、サブシステム符号の最小距離および符号レートに関する上界を導出する。
• 符号空間を論理的自由度とゲージ自由度に分解することにより、古典的線形符号からサブシステム符号を構築する。
• シンディーム測定プロセスを分析し、スタビライザー符号とサブシステム符号の両者で必要なシンディーム・クディット数を比較する。
• 代数的および組合せ的技法を用いて、サブシステム符号の構造と距離特性を特徴付ける。
• 古典的符号と量子符号の双対性を活用し、古典的符号の構成法を量子サブシステム符号フレームワークに翻訳する。

実験結果

リサーチクエスチョン

• RQ1 任意の n, d, q に対して、[[n,n−2d+2,r>0,d]]q サブシステム符号が存在するか？
• RQ2 サブシステム符号の最小距離およびレートに関する最もタイトな上界は何か？ また、スタビライザー符号の既知の境界と比較するとどうなるか？
• RQ3 エラー検出に必要なシンディーム・クディット数は、スタビライザー符号とサブシステム符号でどのように異なるか？
• RQ4 望ましい誤り訂正特性を保ったまま、古典的符号を体系的にサブシステム符号に変換できるか？
• RQ5 サブシステム符号の漸近的性能（レートおよび最小距離の観点）はどのようになるか？

主な発見

• この論文は、量子ギルバート・ヴァルシャモフ型の数え上げ的議論を用いて、サブシステム符号の存在を証明し、十分に大きな符号空間ではそのような符号が存在することを確認する。
• 線形計画法による境界をサブシステム符号に適用できることを確立し、その性能に関する理論的限界を提供する。
• この論文は、[[n,n−2d+2,r>0,d]]q サブシステム符号がすべての n, d, および素数べき q に対して存在することを示すことにより、存在の問題を解決する。
• 同じ誤り訂正能力を持つ場合、サブシステム符号はスタビライザー符号よりも少ないシンディーム・クディット数で済むことが示され、リソース上の利点が示唆される。
• 導出された境界から、ゲージ自由度を効果的に活用する条件下では、サブシステム符号がスタビライザー符号と同等またはより高いレートを達成できることを示す。
• 古典的符号からの構成法により、距離特性が事前に分かっているサブシステム符号を体系的に生成でき、実装の容易さが向上する。