[論文レビュー] Graphical Quantum Error-Correcting Codes

Sixia Yu, Qing Chen+1 more|ArXiv.org|Sep 12, 2007

Quantum Computing Algorithms and Architecture参考文献 1被引用数 33

ひとこと要約

本稿では、符号クリーク（グラフ状態から導かれるグラフ理論的構造）を用いた統一的グラフィカルフレームワークを提案し、安定化子および非加法的量子誤り訂正符号を体系的に構成する。この手法により、最適な((10,24,3))符号と、既知で最高の符号化レートを達成する1エラー検出可能非加法的符号の明示的構成が可能となり、重み分布および周波数解析を用いて8キュービットまでの一連の極値安定化子符号を分類する。

ABSTRACT

We introduce a purely graph-theoretical object, namely the coding clique, to construct quantum errorcorrecting codes. Almost all quantum codes constructed so far are stabilizer (additive) codes and the construction of nonadditive codes, which are potentially more efficient, is not as well understood as that of stabilizer codes. Our graphical approach provides a unified and classical way to construct both stabilizer and nonadditive codes. In particular we have explicitly constructed the optimal ((10,24,3)) code and a family of 1-error detecting nonadditive codes with the highest encoding rate so far. In the case of stabilizer codes a thorough search becomes tangible and we have classified all the extremal stabilizer codes up to 8 qubits.

研究の動機と目的

• 安定化子および非加法的量子誤り訂正符号を統一的かつグラフ論的に行う方法の開発。
• 非加法的符号は安定化子符号よりも効率的である可能性があるが、設計が困難であるため、そのような符号の体系的構築法の限界を克服すること。
• 重み分布および周波数解析といった不変量を用いて、8キュービットまでの一連の極値安定化子符号を分類すること。
• 符号クリークを用いた体系的アルゴリズムを提供し、最適および高レート符号の探索を可能にすること。

提案手法

• 無向単純グラフに関連するグラフ状態を用いて、グラフ状態ベクトル基底を定義し、頂点の各部分集合が基底状態に対応する。
• 符号クリークは、対応するグラフ状態基底状態が有効な量子符号部分空間を形成する頂点部分集合の集合として定義される。
• 局所クリフォード変換（LCT）を用いて異なる符号を関連付け、距離や次元といった符号の性質を保存する。
• 重み分布の不変量は、キュービット部分集合に作用するパウリ誤りに対するトレースに基づく公式により計算され、LU不変な符号特性を提供する。
• 誤りサポート集合の周波数の順序を用いてキュービット部分集合に周波数解析を施し、同値でない符号を区別する。
• グラフ論的構造と符号不変量（重み分布および周波数プロファイルなど）を組み合わせることで、体系的な探索と分類が可能となる。

実験結果

リサーチクエスチョン

• RQ1 符号クリークという純粋なグラフ論的対象を用いて、安定化子および非加法的量子誤り訂正符号を体系的に構成できるか？
• RQ2 1エラー検出可能な非加法的符号の最大符号化レートは何か？ また、このような符号は既知の安定化子符号の性能を上回れるか？
• RQ3 高距離および最適パラメータを持つ極値安定化子符号を、グラフ論的不変量を用いて8キュービットまでに分類できるか？
• RQ4 [[8,3,3]]安定化子符号は局所クリフォード同値性の意味で一意的か？ 重み分布および列マッピング制約を用いてその一意性を証明できるか？

主な発見

• 符号クリーク法を用いて、10キュービットにおける距離3符号として最高の次元を達成する最適な((10,24,3))量子誤り訂正符号が明示的に構成された。
• 1エラー検出可能な非加法的符号の族が構成され、これまで報告された中で最高の符号化レートを達成した。これにより、非加法的符号が安定化子符号を上回る可能性のある効率性が示された。
• 重み分布および周波数解析を用いて、8キュービットまでのすべての極値安定化子符号を16個の同値でないクラスに分類した。[[8,3,3]]符号は局所クリフォード同値性の意味で一意であることが証明された。
• ((10,24,3))符号の重み分布は((20/3)₆, 35₈)であり、非加法性に起因する分数係数を示しており、非加法的性質を確認した。
• [[7,1,3]]符号は10個の異なる重み分布クラスに分類され、さらに誤りサポート集合の周波数解析により16個の同値でないクラスに精査された。
• [[8,3,3]]符号の一意性の証明は、その安定化子生成子がXおよびZチェック行列の列をちょうど1つの固定点を持つように写像する必要があるという事実に依拠しており、これはLCTおよび置換に関して一意的である。