基于仿射陪集结构的高围长正则量子低密度奇偶校验码

High-Girth Regular Quantum LDPC Codes from Affine-Coset Structures

arXiv: 2604.20838v1

论文信息

标题: High-Girth Regular Quantum LDPC Codes from Affine-Coset Structures

作者: Koki Okada, Kenta Kasai

发布日期: 2026-04-22

arXiv ID: 2604.20838v1

PDF 链接: 下载 PDF

3 分钟速览

  • 研究问题：这篇论文要解决量子低密度奇偶校验（LDPC）码在高围长（girth）与正则性约束下的显式构造问题，目标是得到一个有限长度、完全确定的 CSS 码实例。
  • 核心方法：利用有限仿射空间 F29\mathbb{F}_2^9 中的三维子空间及其仿射陪集构造校验矩阵，证明其满足 CSS 正交性、正则性且 Tanner 图围长为 8，随后通过循环置换矩阵（CPM）提升获得更长的码。
  • 关键结果：构造出一个参数为 [[16384,4142,≤40]][[16384, 4142, \leq 40]] 的量子 LDPC 码，在码容量去极化噪声模型下，置信传播加后处理的译码器在 p=0.085p=0.085 处达到约 10−810^{-8} 的误帧率（图 2）。
  • 主要局限：论文仅分析了固定围长 8 的 (3,8)(3,8)-正则构造，CPM 提升的距离上界 d≤40d \leq 40 来源于一次译码实验观察，并非精确的距离计算；译码器仍属于实验性后处理方案，未进行系统性的距离分析。
  • 适合读者：从事量子纠错码、尤其是量子 LDPC 码构造与有限几何编码理论的研究人员，以及对置信传播译码后处理技术感兴趣的工程实践者。

论文背景和研究动机

量子 LDPC 码是当前量子纠错领域的前沿方向之一。与经典 LDPC 码类似，其校验矩阵的稀疏性和 Tanner 图中短环的控制对迭代译码性能至关重要。然而，量子 CSS 码额外要求 HXHZT=0H_X H_Z^{\mathsf{T}} = 0 的正交性条件，这为构造同时具备高围长、正则性和良好译码性能的量子 LDPC 码带来了根本性困难。

已有的工作沿多条路径推进：超图积与同调积构造从渐近角度改善了码率和距离的标度行为，但不直接针对有限长度设计目标；基于有限几何的准循环 LDPC 码提供了显式正则稀疏矩阵的构造方法，在量子设定下常通过 CPM 提升保持稀疏性并满足正交性约束。本文作者之一此前提出的激活-潜行行构造（active-latent）将重点放在高码率区域（设计码率不低于 1/21/2），而本文则选择了另一条路径：固定码率为 1/41/4，优先保证围长 8、列重 3、行重 8 的完全显式构造，并验证其有限长度译码行为。

论文的核心动机并非追求最高码率，而是给出一个从数学定义到译码实验完全透明、可复现的量子 LDPC 码实例。这种 “有限长度验证” 的进路使得基矩阵的短环缺失、提升后的正交性以及译码器行为均可直接检验，为后续更系统的距离分析和译码器改进奠定基础。

核心方法和技术细节

基矩阵的仿射陪集构造

设 V=F29V = \mathbb{F}_2^9，将 VV 分解为三个三维子空间的直和：V=A⊕B⊕CV = A \oplus B \oplus C。量子比特由 VV 中的 29=5122^9 = 512 个元素索引。XX 侧的校验取所有 A,B,CA, B, C 的仿射陪集，ZZ 侧的校验取所有 D1,D2,D3D_1, D_2, D_3 的仿射陪集，其中 DiD_i 的构造方式为：从 A,B,CA, B, C 的有序基中各取第 ii 个基向量张成新的三维子空间 Di=⟨ai,bi,ci⟩D_i = \langle \bm{a}_i, \bm{b}_i, \bm{c}_i \rangle。

这一构造的关键几何洞察在于：任意 XX 侧校验（例如 AA 的陪集）与任意 ZZ 侧校验（例如 D1D_1 的陪集）的交集要么是空集，要么是一维仿射子空间（大小恰为 2）。由此，两行伴随的二进制向量内积恒为零，从而保证 HXbaseHZbaseT=0H_X^{\mathrm{base}} {H_Z^{\mathrm{base}}}^{\mathsf{T}} = 0（见命题 2.3）。每一侧均由三个陪集族堆叠，共 3×64=1923 \times 64 = 192 个校验行，构成 192×512192 \times 512 的校验矩阵，每行重 8，每列重 3。

围长 8 的证明

论文通过代数方法严格证明了基 Tanner 图既无 4-环也无 6-环。4-环的不存在性依赖于直和分解带来的交集势约束：同一侧不同陪集族的两行交集至多含一个元素，同一族的不同陪集则无交（命题 2.4）。6-环的排除利用了 V=A⊕B⊕CV = A \oplus B \oplus C 中的加法结构：假若存在分别属于 A,B,CA, B, C 三族的校验行两两相交于不同点，通过加法运算可得这三个交点必为同一点，矛盾（命题 2.5）。论文同时给出了确切的 8-环构造，证明围长恰为 8。

CPM 提升与正交性保持

将基矩阵中每个 “1” 替换为一个 P×PP \times P 循环置换矩阵 IP(t)I_P(t)，需要为 1536 条边指定移位标签。基矩阵的 “两点交” 结构使得提升后的正交性条件简化为局部同余方程：若某 XX 行与某 ZZ 行在基图中交于两点 v1,v2\bm{v}_1, \bm{v}_2，则提升后正交当且仅当 xr,v1−zs,v1≡xr,v2−zs,v2(modP)x_{r,\bm{v}_1} - z_{s,\bm{v}_1} \equiv x_{r,\bm{v}_2} - z_{s,\bm{v}_2} \pmod{P}。实验所用的 P=32P=32 提升码满足该条件，参数为 n=16384n = 16384，经行秩计算得 k=4142k = 4142，稳定子权重保持为 8。

译码器设计

译码器采用 “BP + 后处理” 框架。接收完美测量到的校正子及物理错误率 pp，而不使用真实错误。后处理按优先级依次尝试：（1）基于 BP 可靠性的 KmK_m 二分区 OSD，在信息可靠性最低的集合上求解线性方程消除残余校正子；（2）局部 OSD，限制在未满足校验的邻域内求解；（3）受限候选回退修复，针对路径闭包、相同基行或小陷阱集模板进行局部搜索；（4）重 BP 与联合修复。在后处理过程中，当 OSD 出现多解时，论文通过验证解空间是否落在稳定子行空间中来判断不同解是否逻辑等价，若非等价，则选取 BP 可靠性成本最小的解。

创新点和贡献

本文的首要贡献在于给出了一套完全显式的仿射陪集构造方法，并严格证明了所得基矩阵同时满足 CSS 正交性、(3,8)(3,8)-正则性及围长 8 这一组在量子设定下通常难以兼顾的性质。与超图积等通用渐近构造不同，该基矩阵的长度、行重、列重、围长均为确切数值，可直接写出矩阵、绘制 Tanner 图并计算码参数 [[512,174,8]][[512, 174, 8]]。

第二个贡献是将 CPM 提升的正交性条件归结为基于 “两点交” 结构的简洁同余约束。这一观察简化了提升设计，使得论文能够在保持正交性和稀疏性的前提下，将码长扩展至 16384 并进行译码实验。在 p=0.085p=0.085 处观察到约 10−810^{-8} 量级的误帧率，这一有限长度性能数据为后续比较不同构造方法提供了具体基准。

此外，论文在实验流程中对译码器失败模式做了细致分类，明确区分 “仍有残余校正子” 和 “校正子满足但逻辑类错误” 两类失败，并据此得到解码器导出的距离上界 d≤40d \leq 40，清楚地表明了该上界的实验来源而非推断性质。

实验结果分析

实验在 P=32P=32 的 CPM 提升码 [[16384,4142,≤40]][[16384, 4142, \leq 40]] 上进行，采用码容量去极化噪声模型，每次只提供单次完美校正子。FER 曲线（图 2）显示，在 p=0.085p=0.085 处，2.3×1092.3 \times 10^9 次试验中出现 23 次最终失败，其中 1 次为校正子满足但不在稳定子行空间的逻辑错误（权重 40），22 次为残余校正子未消除的非收敛失败。

论文将该码的 FER 曲线与 (3,8)(3,8)-正则随机稀疏图系综的密度进化阈值（pDE≈0.1009p_{\mathrm{DE}} \approx 0.1009）进行了对比，指出 CPM 构造远比完全随机的图系综所受约束更强，但观察到的 FER 行为在有限长度下已接近该参考值。需要注意，这一对比并非在同一系综下进行，密度进化参考线不满足 CSS 正交性约束，因此不能直接解释为该 CPM 码的渐近阈值。

关于距离上界 d≤40d \leq 40，论文明确说明这来自一次实验观察，并非通过低权重搜索或结构化上界候选方案系统性计算得出。基码的距离 d=8d=8 虽给出但未附证明，“记录此事实而不给出证明”。这些处理体现了论文对精确计算、实验证据和未决问题之间边界的清晰意识。

局限与待解决问题

论文的基点在于固定了一套具体的 (3,8)(3,8)-正则、围长 8 的仿射陪集构造，其方法的推广性尚待检验。作者在展望中明确指出四个主要方向：第一，CPM 提升后的距离行为缺乏结构化分析，当前的上界 d≤40d \leq 40 仅来源于一次译码失败观察，需要结合低权重搜索和行空间判据进行系统性距离计算；第二，译码器的两类失败模式——非收敛与逻辑类错误——需进一步按残余校正子的局部结构或 OSD 多解的选择机制加以分类，从而设计更强的候选集构建方法和模稳定子行空间的代表性选择策略。

第三，CPM 提升的移位标签取自加法循环群，正交性与短环约束因此归结为同余条件，解析简便但随机性受限。若替换为非交换的仿射置换或更大对称群，可能引入更多随机性以避免不利提升结构，但约束也将更难显式验证。同时，现有实验已观察到足够接近密度进化参考线的性能，因此在有限长度下更一般的提升是否带来实质性的译码或距离优势，仍是开放问题。第四，基构造可从缩短围长 6 的基图出发、通过提升达到围长 8，或者调整子空间度数与仿射几何解释，以生成更短或不同参数的高围长正则量子 LDPC 码族。

总体而言，该工作为高围长正则量子 LDPC 码提供了一个清晰、可复现的构造实例和译码基准，同时明确留给后续工作两个核心任务：对提升后距离的严格分析，以及译码器从实验性后处理方案向可系统分类和优化的解码策略的演进。