Quantum Bicycle LDPC Codes with High $kd^2/n$ from Divisor-Driven Search

技術要約：因子駆動型探索による高 $kd^2/n$ を持つ量子自転車型 LDPC コード

問題提起
量子低密度パリティ検査（LDPC）符号、特に自転車型（二ブロック巡回符号）ファミリーは、量子ビットのオーバーヘッドを削減しつつ高いエラー閾値を維持できるため、表面符号に代わる有望な選択肢となっている。しかし、これらのコード設計は歴史的に、群・部分群のペアやサポート集合に基づく群代数的な定式化（例：一般化された自転車型群代数コード）に依存してきた。これらの枠組みでは、探索空間が間接的であり、枝刈りが困難である。決定的なことに、量子パラメータ（次元 $k$ および距離 $d$）は、大規模なパリティ検査行列を構築する前に代数的に決定することができない。このため、候補となるすべての行列に対して計算コストの高い行列演算が必要となり、特に高い次元 $k$ を持つパラメータ領域の探索を制限している。

手法
著者らは、自転車型コードの構成を、シンプレクティック多項式領域、具体的には基礎となる群が $G = \mathbb{Z}_l$ である巡回的なケースにおける多項式環へと完全に再定式化した。群環 $\mathbb{F}_2[\mathbb{Z}_l]$ を商環 $R = \mathbb{F}_2[x]/(x^l - 1)$ に写像することで、著者らは以下の代数的な枠組みを確立した：

1. 自己直交性： CSS 直交条件（$H_X H_Z^T = 0$）は、多項式環の可換性の直接的な帰結となり、明示的な交換チェックを不要にする。
2. 次元制御： 量子次元 $k$ は、多項式の最大公約数（gcd）として正確に導出される：$k = 2 \deg \gcd(a(x), b(x), x^l - 1)$。これにより、行列を構築する前に、次元に基づいて候補を事前フィルタリングすることが可能になる。
3. 距離の認証： 最小距離は、スタビライザー符号を $\mathbb{F}_4$ 上の加法符号へと写すカルダーバンク対応を用いて正確に計算される。著者らは、「二つの核（two-kernel）」計算を実装することで、スタビライザー像を除外し、距離が単なるチェック重みではなく、真の量子距離を反映するようにしている。

著者らは、因子駆動型探索アルゴリズム（Algorithm 1）を提案している。ランダムなサンプリングの代わりに、この探索では、ターゲットとなる $x^l - 1$ の因子 $g(x)$ に、低重みの「リフト」多項式 $u(x)$ および $v(x)$ を乗じることで、多項式 $a(x)$ と $b(x)$ を構築する。この構造は、特定の次元範囲（$k \approx 2 \deg g$）を保証し、かつスタビライザーの行重みを低く保つ（LDPC特性）ことを保証する。このパイプラインは、行列を構築する前に、代数的フィルタ（gcd チェック、対合対称性チェック）を適用する。

主な貢献

1. 多項式フレームワーク： 本論文は、巡回群の場合、自転車型構成が自己直交性が自動的に成立し、次元が単純な gcd 計算となる多項式環へと収束することを実証している。これにより、コード探索を行列ベースの列挙から、代数的に事前フィルタリングされたプロセスへと変貌させた。
2. 高性能コードの発見： このフレームワークを用いることで、競争力のある性能指標（$kd^2/n$）を持つコードを発見した。特筆すべきは、$[[66, 20, 7]]_2$ コードの発見であり、これは $kd^2/n = 14.85$ を達成している。これは、ブロック長が半分以下であるにもかかわらず、二変量自転車型コード $[[144, 12, 12]]_2$（$kd^2/n = 12$）を凌駕している。その他の顕著な発見には、$[[46, 2, 8]]_2$、$[[66, 2, 9]]_2$、および $n=90$ での最大 $k=20$ の次元を持つコードが含まれる。
3. 境界定理： 著者らは、解析を巡回ケースを超えて、$n=48$ における重み8の対称コセット-2BGA ファミリーへと拡張した。この特定のファミリーにおいて、距離 $d=5$ がランク退化（$k=9$）を強制することを証明し、これによりこのファミリー内に $[[48, 10, 5]]_2$ コードが存在しないことを示した。逆に、最小の48要素群を用いて $[[48, 10, 6]]_2$ コードを構築し、以前の72要素群を必要とした実現方法を改善した。

結果

• コードパラメータ： 探索により短縮コード $[[42, 12, 4]]_2$ および $[[62, 12, 4]]_2$ を回収し、$n \in \{46, 50, 54, 66, 70, 78, 90, 170\}$ における包括的なコード表を生成した。$[[66, 20, 7]]_2$ コードは、高次元・中距離領域における重要なブレイクスルーであり、この領域は従来の群論的探索ではサンプリングが不十分であった。
• 復号性能： 著者らは、コード容量ノイズ下での BP-OSD（Belief Propagation with Ordered Statistics Decoding）を用いた選択された低重みコードのベンチマークを行った。結果は明確なウォーターフォール領域を示している。参照となる二変量自転車型コード（例：$[[144, 12, 12]]_2$）は、より低いチェック重み（$w=6$）のために急峻なサブスレッショルド・スロープを示すが、新しいコードは競争力のある論理エラー率を示しており、一部（例：$[[170, 10, 8]]_2$）は物理エラー率が2%に達しても論理失敗を示さない。
• 構造的洞察： 本論文は、多項式 gcd に基づく次元公式が、余集合作用（coset action）を含むより一般的なランク公式の「欠陥ゼロ（defect-zero）」ケースであることを特定している。$n=48$ の分析は、ランク退化が対称コセットファミリーにおける距離 $d=5$ に特に関連していることを明らかにしており、多項式フレームワークによって捉えられる現象と、真のコセット論的解析を必要とする現象を区別している。

意義
本論文は、従来の群論的探索の及ばない範囲まで拡張された、自転車型量子 LDPC コードへの系統的な経路を切り開いたと主張している。探索のパラダイムを多項式ドメインへと移行することで、著者らは、従来の探索では到達不可能であった高次元（$k$）を持つコードの効率的な発見を可能にした。このフレームワークは自らの境界を正確に定義している。すなわち、巡回構造によって代数的事前フィルタリングが可能となるケースを成功裏に捉える一方で（$n=48$ のケースを通じて）、どこからが「真のコセット論的現象」（ランク退化など）となるかを明示的に特定している。本研究は、コード発見のための実用的なツールを提供すると同時に、群代数構成とシンプレクティック多項式定式化との関係についての理論的な明確化を提供している。