[論文レビュー] Fiber Bundle Codes: Breaking the $N^{1/2} \operatorname{polylog}(N)$ Barrier for Quantum LDPC Codes

Matthew B. Hastings, Jeongwan Haah+1 more|arXiv (Cornell University)|Sep 8, 2020

Error Correcting Code Techniques参考文献 18被引用数 14

ひとこと要約

この論文は、距離 Ω(N^{3/5}/polylog(N)) を達成する新しい量子 LDPC コード構成であるファイバー束コードを導入する。これは長年の N^{1/2}polylog(N) の壁を破るものであり、ランダムな古典的 LDPC コードを基底として、サイクルグラフをファイバーとして用い、代数的トポロジーにおけるファイバー束構造を用いてホモロジカル積を一般化することで実現される。これにより、低重みの安定化子と多項式対数的参加度を維持したまま、距離のスケーリングが向上する。

ABSTRACT

We present a quantum LDPC code family that has distance $Ω(N^{3/5}/\operatorname{polylog}(N))$ and $ ildeΘ(N^{3/5})$ logical qubits. This is the first quantum LDPC code construction which achieves distance greater than $N^{1/2} \operatorname{polylog}(N)$. The construction is based on generalizing the homological product of codes to a fiber bundle.

研究の動機と目的

• 量子 LDPC コードにおける長年の N^{1/2}polylog(N) 距離の壁を克服すること。
• N^{1/2}polylog(N) を超える距離を持つ量子 LDPC コード族を構築し、低重みの安定化子と低量子ビット参加度を維持すること。
• ホモロジカル積を一般化し、距離スケーリングを向上させるファイバー束に基づくトポロジカル構成を開発すること。
• 効率的なデコーディングの基盤を提供し、ビット反転誤りに対して多項式時間アルゴリズムを設計し、位相誤りに対しては妥当な仮定の下で効率的なデコーダーを提案すること。

提案手法

• 代数的トポロジーにおけるファイバー束構造を用いて、量子コードのホモロジカル積を一般化したねじれホモロジカル積に拡張すること。
• 基底空間にランダムな古典的 LDPC コード、ファイバーにサイクルグラフを用い、遷移関数で束構造を符号化すること。
• 基底とファイバーの複体の積から構築されるチェイン複体を用いてコードを定義し、安定化子生成子を余境界写像から導出すること。
• チェイン複体間のホモトピー同値を用いて重み削減技術を適用し、高重みの安定化子を最小限の距離およびコードサイズの損失で低重みに変換すること。
• 距離バランス化を適用して Z-安定化子の最小距離を向上させ、初期構成で d_Z = Ω(N^{3/4}/polylog(N)) を達成すること。
• 時間計算量 Õ(|D(0)|Δ^5) のシンドロームベースのデコーディングアルゴリズムを適用し、Δ は基底コードの最大次数を表す。

実験結果

リサーチクエスチョン

• RQ1 量子 LDPC コードが N^{1/2}polylog(N) を超える距離を達成可能であり、確立された壁を打ち破れるか？
• RQ2 ファイバー束に基づくトポロジカル構成が、低重みの安定化子を維持したまま距離スケーリングを向上させる量子コードを生成可能か？
• RQ3 高距離コードにおける安定化子生成子の重みを、距離やコードサイズを著しく低下させることなく低くできるか？
• RQ4 このようなコードに対して、ビット反転誤りの多項式時間デコーディングアルゴリズムを設計可能か？また、妥当な仮定の下で位相誤りのデコーディングを効率的に行えるか？

主な発見

• ファイバー束コード構成は、初期コードで d_X = Ω(N^{1/2}/polylog(N)) および d_Z = Ω(N^{3/4}/polylog(N)) の最小距離を達成し、多項式対数的重みの安定化子を持つ。
• 重み削減を施した最終的な LDPC コードは、距離 Ω(N^{3/5}/polylog(N)) を達成し、N 個の物理量子ビットに Θ(N^{3/5}) 個の論理量子ビットを符号化する。
• この構成は、N^{1/2}polylog(N) 距離の上限を超過する最初の量子 LDPC コード族であり、長年の未解決問題を解決する。
• ビット反転誤りのための多項式時間アルゴリズムが提供され、位相誤りのための効率的デコーダーが仮説に基づいて提案されている。
• 重み削減プロセスは、距離とコードサイズを多項式対数的要因の範囲で保存し、元のコードと削減済みコードを関連付けるためにチェイン複体間のホモトピー同値を用いている。
• デコーディングアルゴリズムの時間計算量は Õ(|D(0)|Δ^5) で抑えられ、Δ は基底コードの最大次数、|D(0)| はシンドロームの初期セル数を表す。