[論文レビュー] Decoding quantum Tanner codes

Anthony Leverrier, Gilles Zémor|arXiv (Cornell University)|Aug 10, 2022

Quantum Computing Algorithms and Architecture被引用数 7

ひとこと要約

本稿では、量子タンナーコードの逐次的および並列的デコーダを提示し、コード長に比例する重みの任意の誤りを、それぞれ線形時間または対数時間で証明可能に訂正することを達成した。これらのデコーダは拡張子リフトドプロダクトコードに適応され、漸近的に良好な性能を保証するため、強固な局所的コードとスペクトル的拡張性に依存している。

ABSTRACT

We introduce sequential and parallel decoders for quantum Tanner codes. When the Tanner code construction is applied to a sufficiently expanding square complex with robust local codes, we obtain a family of asymptotically good quantum low-density parity-check codes. In this case, our decoders provably correct arbitrary errors of weight linear in the code length, respectively in linear or logarithmic time. The same decoders are easily adapted to the expander lifted product codes of Panteleev and Kalachev. Along the way, we exploit recently established bounds on the robustness of random tensor codes to give a tighter bound on the minimum distance of quantum Tanner codes.

研究の動機と目的

• 線形時間で実用的な時間内に任意の線形重みの誤りを訂正できる、量子タンナーコードの効率的なデコーダの設計。
• 拡張する正方形複体と強固な局所的コードを用いて構築された量子LDPCコードの、証明可能なデコーディング保証の確立。
• 小集合フリップデコーディングフレームワークを量子タンナーコードおよび拡張子リフトドプロダクトコードに適応し、高い並列性を実現。
• 最近のテンソルコードの強固性に関する結果を用いて、量子タンナーコードの最小距離に対する境界を厳密化。
• フォールトトレラントな量子計算を可能にするために、デコーダが対数時間で動作することを保証し、量子ハードウェアにおける誤り蓄積率と一致させる。

提案手法

• 小集合フリップアルゴリズムにインspiredされた逐次デコーダを提案し、正方形複体の2次元面に関連するキュービット上の局所的コード制約を用いて、量子タンナーコードの構造に適応した。
• 複数の補正ステップを同時に適用する並列デコーダを導入し、パラメータ1/2の逐次的更新の効果を模倣することで、対数時間での収束を可能にする。
• スペクトル的拡張性と局所的コードの強固性（テンソルコードの境界を介して）を活用し、各補正ステップで不一致ベクトルが定数倍に減少することを保証する。
• 不一致ベクトルの分析と強固性の不等式を用いて、各補正ステップ後の残存誤りのノルムを境界付け、収束を保証する。
• Lemma 17 および Theorem 12 を適用して、十分な拡張性と強固性のもとで、誤り伝搬を制御し、対数時間内に終了を保証する。
• 量子タンナーコードと類似した構造を持つため、拡張子リフトドプロダクトコードにデコーダを適応し、同じデコーディングフレームワークを用いる。

実験結果

リサーチクエスチョン

• RQ1 量子タンナーコードのデコーダは、線形時間未満で線形重みの任意の誤りを訂正できるか？
• RQ2 底面の正方形複体および局所的コードにどのような条件が課されると、デコーダが対数時間で収束するか？
• RQ3 局所的テンソルコードの強固性をどのように活用すれば、量子タンナーコードの最小距離に対する境界を厳密化できるか？
• RQ4 小集合フリップデコーディング戦略は、誤り訂正保証を維持したまま、どの程度並列化可能か？
• RQ5 同じデコーディングフレームワークを、類似した性能保証を持つ拡張子リフトドプロダクトコードに適用できるか？

主な発見

• 逐次デコーダは、$ \frac{1}{2^{12}} \min\left(\frac{\varepsilon^3}{16}, \kappa\right) \delta^2 \kappa^2 \frac{n}{\Delta} $ 以下の任意の誤りを線形時間で証明可能に訂正する。
• 並列デコーダは、同程度の誤りを対数時間で訂正し、フォールトトレラントな量子計算における誤り蓄積率と一致する。
• 量子タンナーコードの最小距離は、$ \Omega(\delta^2 \kappa^2 n) $ 以上であることが下界で与えられ、テンソルコードの強固性に対するより厳密な境界を用いることで、従来の推定値を改善した。
• 各ステップで不一致ベクトルのノルムが $ (1 - \varepsilon) $ 倍に減少するため、提示された誤り閾値のもとで収束が保証される。
• このフレームワークは、PanteleevとKalachevの拡張子リフトドプロダクトコードにも直接適用可能であり、漸近的に良好な量子LDPCコードの広いクラスへの応用性を拡張する。
• 解析により、総補正誤りが $ \frac{10}{\kappa} |\mathbf{e}| $ 以下に抑えられ、$ |\mathbf{e}| \leq \frac{\kappa^3 \delta^2}{2^{12}} \frac{n}{\Delta} $ のとき、最終誤りが最小距離未満になることが保証される。