[論文レビュー] An Efficient Algorithm to Sample Quantum Low-Density Parity-Check Codes

Paolo Santini|arXiv (Cornell University)|Jan 13, 2026

Quantum Computing Algorithms and Architecture被引用数 0

ひとこと要約

要約: 本論文は、情報集合解法を用いて行を one-by-one 構築することにより、量子 LDPC コードのための疎で自己正交な二値 LDPC チェック行列をサンプリングする純粋な組合せアルゴリズムを導入し、非二値場や一般的な安定化子コードへの拡張を行う。

ABSTRACT

In this paper, we present an efficient algorithm to sample random sparse matrices to be used as check matrices for quantum Low-Density Parity-Check (LDPC) codes. To ease the treatment, we mainly describe our algorithm as a technique to sample a dual-containing binary LDPC code, hence, a sparse matrix $\mathbf H\in\mathbb F_2^{r imes n}$ such that $\mathbf H\mathbf H^ op = \mathbf 0$. However, as we show, the algorithm can be easily generalized to sample dual-containing LDPC codes over non binary finite fields as well as more general quantum stabilizer LDPC codes. While several constructions already exist, all of them are somewhat algebraic as they impose some specific property (e.g., the matrix being quasi-cyclic). Instead, our algorithm is purely combinatorial as we do not require anything apart from the rows of $\mathbf H$ being sparse enough. In this sense, we can think of our algorithm as a way to sample sparse, self-orthogonal matrices that are as random as possible. Our algorithm is conceptually very simple and, as a key ingredient, uses Information Set Decoding (ISD) to sample the rows of $\mathbf H$, one at a time. The use of ISD is fundamental as, without it, efficient sampling would not be feasible. We give a theoretical characterization of our algorithm, determining which ranges of parameters can be sampled as well as the expected computational complexity. Numerical simulations and benchmarks confirm the feasibility and efficiency of our approach.

研究の動機と目的

• ランダムな古典的 LDPC コード生成と量子 LDPC コード構成とのギャップを動機づけ、解決する。
• 量子コードのための双対含有（自己正交）疎二値 LDPC 行列をサンプリングする実用的なアルゴリズムを提案する。
• サンプリング範囲と期待計算量を理論的に分析し、数値的に検証する。
• 非二値場およびより広い安定化子コード系への拡張を検討する。

提案手法

• すでに選択された行の双対空間から順次行 h1, ..., hu をサンプリングして HH^T=0（自己正交性）を保証する。
• 各ステップで、現在のパリティ検査行によって定義されるコード Cu を形成し、固定重み v の新しい疎なコード語 hu を Information Set Decoding (ISD) を用いて探索する。
• Cu における低重みコード語を効率的に見つけるために ISD を用い、新しい行が疎でかつ前の行と直交することを保証する。
• 一様な行重み v と一定のレート R を仮定し、低重みコード語が高い確率で存在する条件を GVスタイルの距離分析として導出する。
• 概念実証としての SageMath 実装の証明および多項式時間または準指数時間のサンプリングが実現可能なパラメータ領域を議論する。
• 非二値場での自己正交コードのサンプリングおよびより広い量子安定化子（CSS および非CSS）構成への一般化を描述する。

実験結果

リサーチクエスチョン

• RQ1 symplectic積（自己正交性）制約を満たしつつ、ランダムな量子 LDPC コードを効率的に生成できるか？
• RQ2 行重み v、長さ n、レート R というパラメータ領域で、低重みの疎な双対含有パリティ検査行列をサンプリングが成功する条件は何か？
• RQ3 非二値場およびより一般的な安定化子量子コードへ、サンプリング手続きはどのように拡張されるか？
• RQ4 提案された ISD ベースのサンプリング手法の実際の計算コストと理論的保証は何か？

主な発見

• ISD ベースのサンプリング手続きにより、HH^T=0 を満たす疎で自己正交な行列 H を構築でき、双対含有な量子 LDPC コードを実現できる。
• 漸近解析により、低重みコード語が高確率で存在する領域を特定し、行重み v の選択を導く（おおよそ v < ln(2)^(1−R) log2(n)）。
• v、R、n によって準指数時間から多項式時間へとサンプリングが可能となる可能性があることを示し、SageMath の概念実証で実用的なタイミングを提示する。
• 概念実証実装を通じた経験的結果は実現性と効率を検証し、疎性とコード語分布の進展を示す。
• このアプローチは q-ary 場および CSS を超えるより広い安定化子コード構成へ一般化可能で、量子コード適用範囲を拡張する。