[論文レビュー] Quantum LDPC Codes of Almost Linear Distance via Homological Products

Louis Golowich, Venkatesan Guruswami|arXiv (Cornell University)|Nov 6, 2024

Quantum Computing Algorithms and Architecture被引用数 1

ひとこと要約

本稿では、ホモロジー的積を用いたチェイン複体の積を用いて、従来のバランスドプロダクト法で要請される対称的群構造を回避することで、ほぼ線形距離および次元を有する新しい量子LDPC符号の構成を提示する。製品拡張とサブシステム符号を導入することで、[[N, Θ(N), Θ(N)]]の符号で安定化子の重みが小さく、[[N, N^{1−ε}, N^{1−ε}]]の符号で安定化子の重みが定数となる符号を達成し、√N距離の障壁を克服する。

ABSTRACT

The first linear-distance quantum LDPC codes were recently constructed by a line of breakthrough works (culminating in the result of Panteleev & Kalachev, 2021). All such constructions, even when allowing for almost-linear distance, are based on an operation called a balanced (or lifted) product, which is used in a one-shot manner to combine a pair of large classical codes possessing a group symmetry. We present a new construction of almost-linear distance quantum LDPC codes that is iterative in nature. Our construction is based on a more basic and widely used product, namely the homological product (i.e. the tensor product of chain complexes). Specifically, for every ε > 0, we obtain a family of [[N,N^{1-ε},N^{1-ε}]] (subsystem) quantum LDPC codes via repeated homological products of a constant-sized quantum locally testable code. Our key idea is to remove certain low-weight codewords using subsystem codes (while still maintaining constant stabilizer weight), in order to circumvent a particular obstruction that limited the distance of many prior homological product code constructions to at most Õ(√N).

研究の動機と目的

• O(√N)を超える距離を有する量子LDPC符号を構成するという未解決問題に取り組むこと。これは長年にわたり量子符号理論における障壁であった。
• 対称的群構造に依存しない形で、(ほぼ)線形符号距離を保つホモロジー的積の一般枠組みを構築すること。
• 反復的ホモロジー的積とサブシステム符号を用いて、既知のqLDPC構成法の√N距離限界を超えること。
• 安定化子の重みが小さい非対称な明示的構成を提供し、漸近的に良い量子LDPC符号を構築すること。
• ホモロジー的積が良好な量子符号パラメータをもたらすための理論的条件を確立すること。具体的には、製品拡張と局所的テスト可能性を指摘する。

提案手法

• ホモロジー的積（チェイン複体のテンソル積）をコアな構成メカニズムとして用い、古典的テンソル符号を量子設定に一般化する。
• 量子設定におけるホモロジー的積の距離を制限するために、古典的符号における製品拡張の概念を導入する。
• 定数サイズの量子局所的テスト可能符号（qLTC）に対して反復的ホモロジー的積を適用し、ほぼ線形距離を達成する。
• 製品ベースの量子符号が通常制限する√N距離障壁を回避するために、サブシステム符号を用いる。
• 局所的からグローバルへのフレームワークと、集団的（余）充填定数を用いて、符号距離と安定性を分析する。
• シーヴ理論的解釈とノルム付き直積シーヴを用い、（余）充填定数の境界を集団的状況に拡張する。

実験結果

リサーチクエスチョン

• RQ1 群の対称性を要件としないホモロジー的積が、量子符号において(ほぼ)線形距離を保つことができるか？
• RQ2 基本符号のどのような構造的性質が、それらのホモロジー的積が大きな距離を有する量子符号を生成することを保証するか？
• RQ3 なぜ標準的なホモロジー的積は√N距離を超えることができず、この障壁はどのように克服できるか？
• RQ4 サブシステム符号を用いることで、安定化子の重みが定数のまま、量子LDPC符号の距離をほぼ線形に達成できるか？
• RQ5 製品拡張と局所的テスト可能性が、ホモロジー的積構成における良好な量子符号パラメータの十分条件としてどの程度有効に使えるか？

主な発見

• 本稿では、製品拡張する符号のホモロジー的積を用いて、安定化子の重みが小さい多項式的重みを有する漸近的に良い[[N, Θ(N), Θ(N)]]量子LDPC符号を構成する。
• 任意のε > 0に対して、定数サイズのqLTCの反復的ホモロジー的積を用いて、[[N, N^{1−ε}, N^{1−ε}]]のサブシステム量子LDPC符号を構成し、安定化子の重みは定数となる。
• 得られた符号の距離は、多くの既存の製品ベースの構成法が制限する√N障壁を超えており、ほぼ線形距離を達成する。
• 著者らは、製品拡張がホモロジー的積における良好な距離の保持のための十分条件であることを確立し、バランスドプロダクトを超えてその適用を拡張する。
• サブシステム符号を用いることで、以前は距離をÕ(√N)までしか上回れなかった主要な障害を回避し、安定化子の重みが定数でほぼ線形距離を達成する最初の符号を実現する。
• 解析は集団的（余）充填定数と局所的からグローバルへのフレームワークに依存しており、境界が直積シーヴにまで拡張され、反復に耐える堅牢性が保証される。