[論文レビュー] Good Quantum LDPC Codes with Linear Time Decoders

Irit Dinur, Min-Hsiu Hsieh+2 more|arXiv (Cornell University)|Jun 15, 2022

Quantum Computing Algorithms and Architecture被引用数 10

ひとこと要約

本稿では、左-右カイリー複体上の三項鎖複体を用いて構築された、定数レートおよび定数距離を有する新しい明示的量子LDPC符号の族を提示する。これらの符号は、ランダムな符号ペairの最適なロバスト性に関する新規な証明により、局所的ビットフラップアルゴリズムを用いて線形時間でデコード可能であり、フォールトトレラント量子計算分野における主要な未解決問題を解決する。

ABSTRACT

We construct a new explicit family of good quantum low-density parity-check codes which additionally have linear time decoders. Our codes are based on a three-term chain $(\mathbb{F}_2^{m imes m})^V \quad \xrightarrow{δ^0}\quad (\mathbb{F}_2^{m})^{E} \quad\xrightarrow{δ^1} \quad \mathbb{F}_2^F$ where $V$ ($X$-checks) are the vertices, $E$ (qubits) are the edges, and $F$ ($Z$-checks) are the squares of a left-right Cayley complex, and where the maps are defined based on a pair of constant-size random codes $C_A,C_B:\mathbb{F}_2^m o\mathbb{F}_2^Δ$ where $Δ$ is the regularity of the underlying Cayley graphs. One of the main ingredients in the analysis is a proof of an essentially-optimal robustness property for the tensor product of two random codes.

研究の動機と目的

• フォールトトレラント量子計算における主要な課題に対処する、定数レートおよび定数相対距離を有する明示的量子LDPC符号の構築。
• 大規模な量子系における効率的な誤り訂正を可能にする、線形時間で動作するデコーダの設計。
• 符号距離およびデコード解析に不可欠な、二つのランダムな二値符号のテンソル積のロバスト性を確立すること。
• 特に左-右カイリー複体を用いて、対称的ではあるが非対称な鎖複体を構築するための幾何的構造の活用。
• 古典的局所テスト可能符号の枠組みを量子設定に拡張し、保証された性能を持つ効率的なデコードを可能にする。

提案手法

• 左-右カイリー複体上に三項鎖複体を構築する：$(\bbF_2^{m\times m})^V \to (\bbF_2^m)^E \to \bbF_2^F$。ここで、$V$、$E$、$F$ はそれぞれ頂点、辺、面（正方形）を表す。
• 二つの基本符号 $C_A, C_B: \bbF_2^m \to \bbF_2^\triangle$（定数レートおよび定数距離）を用いて、行列の行および列に適用することで、鎖写像 $\bar{\theta}^0$ および $\bar{\theta}^1$ を定義する。
• カイリー複体の4重被覆を用いることで、量子ビットおよびチェックの適切な配置を保証し、$w$-局所的チェックを有するバランスの取れた符号構造を実現する。
• 複体の幾何的・代数的構造を活用して、局所的ビットフラップまたは小集合フラップ操作に基づく線形時間デコーダを実装する。
• 二つのランダム符号のテンソル積が、高確率で $d_2$-ロバストであることを証明する。これは、和に属する低重み行列が、$C_A$ および $C_B$ の少数の符号語に分解可能であることを意味する。
• 拡張性およびロバスト性の議論を適用し、符号が定数相対距離を有すること、およびデコーダが線形距離までの誤りを訂正できることを示す。

実験結果

リサーチクエスチョン

• RQ1 定数レートおよび定数距離を有する良好な量子LDPC符号を、効率的かつ線形時間でデコード可能なデコーダを用いて構築することは可能か？
• RQ2 符号距離および効果的なデコードを保証するため、古典的符号ペアが満たすべきロバスト性の性質は何か？
• RQ3 左-右カイリー複体のような幾何的複体を用いて、構造的で低重みのチェックを有する量子符号をどのように構築できるか？
• RQ4 ランダム符号ペアのロバスト性が本質的に最適であることを証明することは可能か？これにより、強い距離およびデコード保証が得られるか？
• RQ5 符号の線形距離まで誤りを訂正できる線形時間で動作するデコーダを設計することは可能か？

主な発見

• 著者らは、定数レート $r \to (0, 1/2)$、定数相対距離 $\bar{\theta} > 0$、最大チェック重み $w \to \bbN$ を有する、明示的な無限族の量子LDPC符号を構築した。
• 符号は、符号の距離の定数倍までの誤りを訂正可能な線形時間デコーダを備えており、効率的な誤り訂正を実現している。
• 主な技術的貢献として、定数レートおよび定数距離を有する二つのランダムな二値符号が高確率で $d_2$-ロバストであることを証明した。これは、距離およびデコード解析に不可欠である。
• ロバスト性の性質により、二つの符号テンソル積の和に属する任意の低重み行列は、各符号から少数の符号語に分解可能であることが保証され、効果的なデコードが可能になる。
• ランダム行列がロバスト集合 $\bar{\rho}(C_A, C_B)$ に属する確率が、$m_a m_b / \triangle$ に関して指数的に減少することを示し、強い距離バウンドを支持する。
• カイリー複体における拡張性および局所的最小性条件を活用することで、誤りが局所的演算によって検出可能かつ訂正可能であることが保証された。