Breaking the Orthogonality Barrier in Quantum LDPC Codes

技術要約：量子LDPC符号における直交性の障壁の打破

問題提起
古典的な低密度パリティ検査（LDPC）符号は、信念伝播（BP）復号性能と最小距離を向上させるために、タナーグラフの回路長（girth）を大きくすることに依存している。しかし、この原理は、量子LDPC符号、特にCalderbank–Shor–Steane（CSS）符号においては、$X$型と$Z$型のパリティ検査行列間の直交制約（$H_X H_Z^T = 0$）により、直接的には適用できない。

標準的なCSS構成では、直交性と正則な次数分布の両方を強制すると、通常、回路長の減少を招き、最小距離に構造的な上限を課してしまう。この劣化の主なメカニズムは、符号率を調整するために用いられる「行削除（row deletion）」法である。親行列からアクティブな検査行列を形成するために行を削除する場合、潜在的な（削除された）行がアクティブな行列に対して直交したまま残ることが多い。その結果、これらの低重みの潜在的な行が非自明な論理演算子となり、最小距離がその行の重みによって制限されてしまう。循環置換行列（CPM）に基づく既存の構成では、しばしば固定された回路長の上限（例：列重み $\ge 3$ の場合、回路長 $\le 6$）に直面するか、あるいは距離の劣化問題を完全には解決できない複雑なリフティングを必要とする。

手法
著者は、親行列全体の直交性の要件を、アクティブな部分行列の要件からデカップリングすることで、「直交性の障壁」を打破する構成フレームワークを提案している。コアとなる手法は以下の通りである：

1. アクティブ対潜在的直交性： 親行列 $\hat{H}_X$ と $\hat{H}_Z$ 全体に直交性を要求するのではなく、アクティブな部分（$H_X H_Z^T = 0$）に対してのみ直交性を強制する。極めて重要な点は、設計において潜在的な部分（$\tilde{H}_X, \tilde{H}_Z$）がアクティブな行列に対して直交しないようにすること（$H_X \tilde{H}_Z^T \neq 0$ および $H_Z \tilde{H}_X^T \neq 0$）である。これにより、低重みの潜在的な行が自動的に論理演算子となることを防ぐ。
2. APMを用いた一般化Hagiwara–Imai符号： この構成は、ブロック巡回構造を持つプロトグラフベースの一般化Hagiwara–Imai符号を利用している。著者は、標準的なCPMではなく、アフィン置換行列（APM）を採用している。APMは、代数的な合同条件を通じて、制御された可換性を可能にする。
3. 可換性の制御： 著者は、特定の置換行列のペアが、アクティブな直交性を満たすために可換であり、一方で他のペアは親の直交性を打破するために意図的に非可換となる十分条件を導出している。これは相互作用行列 $\Psi_r$ を通じて定式化される。設計では、アクティブな集合 $\Delta$ に存在する差 $r$ に対して $\Psi_r = 0$ となり、$\Delta$ の外にある差に対しては $\Psi_r \neq 0$ となるように保証している。
4. 逐次構成とトラッピングセットの抑制： マルチアームド・バンディット・ヒューリスティックに導かれた逐次探索アルゴリズムを用いて、可換性制約を満たしつつ、短いサイクル（特に4サイクルおよび6サイクル）を回避するようにAPMのパラメータを選択する。著者は、要素トラッピングセット（ETS）のライブラリを明示的に構築し、BP復号の停滞を引き起こす有害なトラッピング構造を最小化するようにパラメータを選択している。

主要な貢献

• 理論的枠組み： 本論文は、行削除によって引き起こされる距離の劣化を防ぐための理論的メカニースマを設定している。潜在的な部分がアクティブな部分と直交していない場合、潜在的な行が自明な論理演算子にならないことを証明している。
• 回路長の改善： APMを使用し、親行列の直交性を緩和することで、正則な量子LDPC符号において回路長8を構築できることを示している。これは、列重み $\ge 3$ の正則な量子CPM-LDPC符号に関連付けられることが多い回路長6の限界を超えている。
• 具体的な構成： 著者は、$(3, 12)$-正則量子LDPC符号である $[[9216, 4612, \le 48]]$ の具体的な構成を提供している。
  • ブロック長 $n = 9216$
  • 論理量子ビット数 $k = 4612$ （符号率 $\approx 0.5$）
  • 回路長 $g = 8$
  • 潜在ベースの距離境界 $d^{(lat)}_X = d^{(lat)}_Z = 48$
• 復号戦略： デポラリゼーション・チャネル（$X$型エラーと$Z$型エラーを相関したものとして扱う）に対する結合BP復号器を、低複雑度の後処理アルゴリズムと組み合わせて実装している。この後処理は、ETSライブラリ、Flip-History Decoding (FHD)、およびOrdered Statistics Decoding (OSD) を利用して、BPの停滞を解消する。

結果

• 性能： 後処理を伴うBP復号の下で、構築された符号は、デポラリゼーション・チャネルにおいて、エラー確率 $4\%$ で $10^{-8}$ のフレームエラー率（FER）を達成する。
• 距離分析： 著者は、潜在的な距離が正確に48であることを厳密に証明している。非潜在的な論理演算子の下限については保証できていないが、探索において低重みの非潜在的な論理演算子は発見されなかったと報告している。したがって、最小距離は48以下（$d_{min} \le 48$）である。
• 閾値挙動： 密度進化分析は、構築された符号が非直交ランダムアンサンブルに対して $p \approx 0.05702$ のBP閾値に近づくことを示唆しており、これは構築が効果的な復号のための十分なランダム性を保持していることを示している。
• エラーフロア： エラーフロアは、低重みの論理演算子ではなく、数十程度のサイズのトラッピングセットによって引き起こされる停滞によって支配されている。これは、設計が、行削除に関連する特定の距離劣化メカニズムを効果的に抑制したことを示唆している。

意義と主張
本論文は、CSS直交制約によって課される「正則性、高い回路長、および大きな最小距離」の間のトレードオフという、量子LDPC符号設計における根本的な構造的限界を克服することを主張している。可換制約をコードのアクティブな部分に局所化し、APMを使用して親の直交性を打破することにより、回路長8を持ち、かつ行の重みによって自明に上限が課されない最小距離を持つ正則な量子LDPC符号を構築できることを著者は示している。

その意義は、量子エラー訂正に適応させつつ、古典的なLDPCの構造的利点（正則性、大きな回路長）を維持する構成原理を提供することにある。著者は、潜在的な距離は保証されているものの、フルコードの正確な最小距離は依然として開いた下限問題であり、報告された性能は特定のインスタンス選択と後処理に依存していることを控えめに述べている。しかし、結果は、提案された手法が、行削除によって通常誘発される低重みの論理演算子を効果的に抑制し、高性能な正則量子LD家LDPC符号への実行可能な道筋を提供していることを示唆している。