[論文レビュー] Constructions and performance of classes of quantum LDPC codes

Thomas Camara, H Ollivier+1 more|ArXiv.org|Feb 14, 2005

Quantum Computing Algorithms and Architecture参考文献 19被引用数 46

ひとこと要約

本稿では、群論的技法とグラフベースの安定化子表現を用いて生成子の可換性を保証する2つの新しい量子LDPC符号の構成法を提示する。これにより、低重みの安定化子生成子を効果的に得る課題を克服する。また、メッセージパッシングデコーディングアルゴリズムを導入し、シミュレーションにより、レート1/2の量子LDPC符号がデポラライジングチャネルで低ブロック誤り率を達成することを示している。特に、長さ3600の(6,12)-正則符号は、長さ8736の(4,8)-正則符号を上回る性能を示した。

ABSTRACT

Two methods for constructing quantum LDPC codes are presented. We explain how to overcome the difficulty of finding a set of low weight generators for the stabilizer group of the code. Both approaches are based on some graph representation of the generators of the stabilizer group and on simple local rules that ensure commutativity. A message passing algorithm for generic quantum LDPC codes is also introduced. Finally, we provide two specific examples of quantum LDPC codes of rate 1/2 obtained by our methods, together with a numerical simulation of their performance over the depolarizing channel.

研究の動機と目的

• 安定化子形式における主要な障壁である、低重みの安定化子生成子を有する量子LDPC符号を構築する困難に対処すること。
• 群論的構造を活用した体系的かつグラフベースの方法を用いて、可換な安定化子生成子を生成すること。
• Tannerグラフ構造に適合したメッセージパッシングアルゴリズムを用いて、量子LDPC符号の効率的デコーディングを可能とすること。
• ブロック誤り率に注目して、構築された符号の数値的性能をデポラライジングチャネル上で評価すること。
• フォールトトレランス量子計算における、コンカテネート符号やトーリック符号の代替手段としての、スケーラブルで高レートな量子LDPC符号の可能性を検討すること。

提案手法

• 有限体F_p上での群作用を用いて量子LDPC符号を構築し、特にF_p上の行列を用いて可換関係が制御された生成子を定義する。
• 4サイクル上の局所ルールによって可換性を保証する、ラベル付きエッジ（ωおよびω̄）を備えたTannerグラフを用いて安定化子生成子を表現する。
• 量子設定に適応した、シンディームに基づくMIN-SUM反復デコーディングアルゴリズムを実装する。
• 4サイクルの周囲のラベルの積が恒等元に等しくなるように、キュービット-生成子接続にラベル付けスキームを適用し、生成子の可換性を保証する。
• カルダー・ショア・スティーン（CSS）構成法を用いて、ヘルミートトレース内積における自己直交性を介して古典的二値符号を量子符号に写像する。
• 反復デコーディングアルゴリズムを用いてデポラライジングチャネル上での誤り訂正性能をシミュレーションすることで、符号構成の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 可換性を保証しつつ、低重みの安定化子生成子を有する量子LDPC符号を体系的に構築する方法は何か？
• RQ2 Tannerグラフ上の局所ラベル付けルールを有するグラフベースの構成法は、可換性が保証された有効な量子LDPC符号を生成できるか？
• RQ3 これらの構築された量子LDPC符号は、ノイズのある量子チャネル上で反復デコーディングを用いてどの程度の性能を示すか？
• RQ4 符号レートと正則性（例：(4,8) 対 (6,12)）は、デコーディング性能および誤り訂正能力にどのように影響するか？
• RQ5 固定重みのシンディーム測定を伴う高レートの量子LDPC符号は、フォールトトレランス量子アーキテクチャにおいて、コンカテネート符号やトーリック符号に比べて優位性を示せるか？

主な発見

• F_13上での群論的手法を用いて、長さ8736、レート1/2の(4,8)-正則量子LDPC符号を構築し、パラメータn=8736、k=4370を達成した。
• 長さ3600、レート1/2の(6,12)-正則量子LDPC符号を構築したが、サイズが小さいにもかかわらず(4,8)-符号を上回る優れた性能を示した。
• デポラライジングチャネル上での数値的シミュレーションにより、(6,12)-符号は同じ反復デコーディングアルゴリズム下で(4,8)-符号よりも顕著に低いブロック誤り率を達成した。
• 反復MIN-SUMデコーディングアルゴリズムの性能は符号構造に敏感であり、不規則または高正則性の符号は、正則な符号よりも優れた誤り訂正能力を示す可能性がある。
• Tannerグラフに多数の4サイクルが存在することは、特に標準的なSUM-PRODUCTまたはMIN-SUMアルゴリズムを用いる場合、デコーディング性能を制限する要因となる。これにより、アルゴリズムの改善が求められる。
• 結果は、固定複雑度のシンディーム測定が可能であり、フォールトトレランスアーキテクチャに適したスケーラブルで高レートな代替手段としての量子LDPC符号の可能性を支持する。