[論文レビュー] Good quantum LDPC codes with linear time decoder from lossless expanders

Ting-Chun Lin, Min-Hsiu Hsieh|arXiv (Cornell University)|Mar 7, 2022

Quantum Computing Algorithms and Architecture被引用数 12

ひとこと要約

本論文は、自由群作用を伴う両側無損失拡張グラフを用いたバランスド積を介して、定数レートおよび線形距離を有する良好な量子LDPC符号の新規構成を提示する。主な貢献は、シンディローム更新に基づいて反復的に頂点を反転させる線形時間デコーダであり、拡張の特異な拡張性を活用することで正しくかつ効率的に誤りを訂正することを保証する。

ABSTRACT

Quantum low-density parity-check (qLDPC) codes are quantum stabilizer codes where each stabilizer acts on a constant number of qubits and each qubit is acted on by a constant number of stabilizers. We study qLDPC codes constructed from balanced products and lossless expanders. We found that assuming the existence of 2-sided lossless expander graphs with free group action, the resulting qLDPC codes have constant rate, linear distance, and linear time decoders.

研究の動機と目的

• 構造的グラフベース手法を用いて、定数レートおよび線形距離を有する良好な量子LDPC符号を構築すること。
• 量子LDPC符号における線形時間デコーディングを達成するという挑戦に取り組むこと、これは依然として主要な未解決問題である。
• 自由群作用を伴う両側無損失拡張グラフの組合せ的性質を活用して、符号の頑健性および効率的デコーディングを保証すること。
• バランスド積フレームワークを用いて、従来の量子LDPC符号の構成を統一的かつ拡張すること。
• 局所的更新を用いてシンディローム重みを反復的に低減する方式で動作する線形時間デコーダの厳密な解析を提供すること。

提案手法

• 自由群作用を伴う1次元グラフ2つをカルテジアン積により2次元グラフ構造に構築し、その後対角作用による商をとる。
• 強力な拡張性と局所的木構造を保証するため、両側無損失拡張グラフを構築ブロックとして用いる。
• 2次元グラフに対してバランスド積構成を適用し、チェーン複体を介して量子符号を定義する：$\mathbb{F}_2^{V_{00}} \to \mathbb{F}_2^{V_{10}} \oplus \mathbb{F}_2^{V_{01}} \to \mathbb{F}_2^{V_{11}}$。
• シンディロームに基づくデコーダを設計し、候補となる反転頂点のリストを維持し、各反転後に局所的にシンディロームを更新する。
• 無損失拡張グラフの特異な拡張性を活用して、各反転がシンディローム重みを減少させることを保証し、収束を確実にする。
• 反転可能な頂点の動的リストを維持する前処理ステップを実装し、1イテレーションあたり$O(1)$時間、全体で線形時間計算量を達成する。

実験結果

リサーチクエスチョン

• RQ1 自由群作用を伴う両側無損失拡張グラフを用いて、定数レートおよび線形距離を有する良好な量子LDPC符号を構築できるか？
• RQ2 このような拡張グラフ上でのバランスド積構成により、十分な距離と効率的デコーディングを有する符号が得られるか？
• RQ3 局所的構造と拡張性の性質を活用することで、このような符号に対して線形時間デコーダを設計できるか？
• RQ4 無損失拡張グラフの特異な拡張性が、デコーダが正しい符号語に収束することをどのように保証するか？
• RQ5 デコーダの時間計算量は何か？また、誤り数に対して線形に有界にできるか？

主な発見

• 両側無損失拡張グラフに自由群作用を伴うものが存在すると仮定すれば、その結果得られる量子LDPC符号は定数レートおよび線形距離を達成する。
• バランスド積構成により、符号距離が$\Omega(n)$に保証され、従来の$\Omega(\sqrt{n})$の壁を打ち破る。
• 提案されたデコーダはシンディローム数に比例する線形時間で実行され、誤り数に比例する線形時間で実現され、$O(|c_1|)$の実行時間となる。
• 小集合LTC補題と特異な拡張性を活用して、シンディローム重みを反復的に低減することで、元の誤りを正しく特定・訂正する。
• 有界次数と局所的更新ルールにより、1イテレーションあたりの時間計算量が定数となり、全体で線形時間性能を達成できる。
• 新しいチェーン複体構造$\mathbb{F}_2^{V_{00}} \to \mathbb{F}_2^{V_{10}} \oplus \mathbb{F}_2^{V_{01}} \to \mathbb{F}_2^{V_{11}}$を用いることで、従来のアプローチを統一的かつ一般化する。