[論文レビュー] An efficient decoder for a linear distance quantum LDPC code

Shouzhen Gu, Christopher A. Pattison+1 more|arXiv (Cornell University)|Jun 14, 2022

Quantum Computing Algorithms and Architecture被引用数 7

ひとこと要約

本稿では、最近構築された定数レートかつ線形距離を有する漸近的に良い量子LDPCコードである量子タンナーコードの線形時間デコーダを提示する。デコーダは反復的で局所的なポテンシャル関数を用いて、定数サイズの領域内での補正を誘導し、ブロック長の定数倍以下の重みを持つすべての誤りを訂正できることを証明している。これにより、保証された実行時間効率のもとで最適な誤り訂正能力を達成する。

ABSTRACT

Recent developments have shown the existence of quantum low-density parity check (qLDPC) codes with constant rate and linear distance. A natural question concerns the efficient decodability of these codes. In this paper, we present a linear time decoder for the recent quantum Tanner codes construction of asymptotically good qLDPC codes, which can correct all errors of weight up to a constant fraction of the blocklength. Our decoder is an iterative algorithm which searches for corrections within constant-sized regions. At each step, the corrections are found by reducing a locally defined and efficiently computable cost function which serves as a proxy for the weight of the remaining error.

研究の動機と目的

• 最近構築されたが実用的なデコーディングアルゴリズムを欠く、漸近的に良い量子LDPCコードの効率的デコーダビリティという未解決問題に取り組む。
• コードの理論的距離限界に一致するように、重みがΘ(n)までのすべての誤りを訂正できるデコーダを開発する。
• 局所的拡張性とポテンシャル関数を活用することで、小集合フラップに類似したデコーディング戦略を量子タンナーコードに拡張する。
• デュアルテンソルコードの耐障害性を強化し、高誤り率下でもデコーダの正しさを保証する。
• 線形実行時間で、保証された正しさを持つ、量子タンナーコードの族に対する明示的で効率的なデコーディング手順を確立する。

提案手法

• 誤りがコード空間からの距離を測るための代理としての誤り重みを表すために、局所的ビュー（頂点の近傍）上で定義されたグローバルなポテンシャル関数を用いる。
• 各反復で、局所的ビュー内にある定数サイズの補正集合を特定し、局所的ポテンシャル関数の和を最小化する。
• デコーダは、下位の2次元的複体の拡張性と、局所的古典的符号の耐障害性に依存して、各ステップで進行を保証する。
• 主な技術的要素として、耐障害パラメータΔ³/²⁺εを持つデュアルテンソルコードの構築があり、これによりコード距離が向上し、デコーディングフレームワークが単純化される。
• アルゴリズムは反復的に動作し、グローバルなポテンシャル関数を低下させるために、小さな局所的領域内のキュービットを反転させ、誤りを完全に訂正する。
• 正しさの証明は還元論法に基づく：有効な補正が存在しないと仮定すると、誤りの最小性と矛盾が生じ、拡張性と耐障害性から導かれる境界に依存する。

実験結果

リサーチクエスチョン

• RQ1 ブロック長の定数倍以下の誤りをすべて訂正できる、漸近的に良い量子LDPCコードのための効率的デコーダを構築可能か？
• RQ2 局所的ポテンシャル関数と拡張性を用いて、小集合フラップデコーディングのパラダイムを量子タンナーコードに一般化可能か？
• RQ3 高誤り率下でのデコーダ収束を保証するため、局所的古典的符号に必要な耐障害レベルは何か？
• RQ4 定数倍誤りに対して保証された正しさを維持しつつ、量子タンナーコードの線形時間デコーディングを達成可能か？
• RQ5 このデコーダは、パンテレエフ＝カラチェフコードのような他の優れたqLDPC構成にも適応可能か？

主な発見

• デコーダは重みがΘ(n)までのすべての誤りを正しく訂正し、線形距離コードの理論的上限に達している。
• デコーダはO(n)時間で実行され、実行時間の複雑性において漸近的に最適である。
• 証明により、誤り重みが|e| ≲ δn / Δ⁷/²⁺εの閾値未満の場合は、各ステップで有効な補正集合が存在することが保証され、収束が保証される。
• 耐障害パラメータΔ³/²＋εを持つデュアルテンソルコードの構築により、コードの距離が向上し、パッチ除去の必要性が排除された。
• デコーダの正しさは、下位の幾何的複体の拡張性と局所的符号の耐障害性に依存しており、量子タンナーコードに対する新たな整合性保証を提供する。
• 本研究は、確率的ノイズに対して定数の精度閾値が存在することを示唆しており、これは補題15で形式化されている。