Breaking the Orthogonality Barrier in Quantum LDPC Codes

技术摘要：突破量子 LDPC 码的正交性障碍

问题陈述
经典低密度奇偶校验（LDPC）码依赖于增加 Tanner 图的圈长（girth）来提高置信传播（BP）译码性能和最小距离。然而，这一原理并不能直接应用于量子 LDPC 码，特别是 Calderbank–Shor–Steane (CSS) 码，因为存在 $X$ 和 $Z$ 校验矩阵之间的正交性约束（$H_X H_Z^T = 0$）。

在标准的 CSS 构建中，同时强制执行正交性和正则度分布通常会导致圈长的缩减并诱发最小距离的结构性上限。这种退化的主要机制是用于调整码率的“行删除”（row deletion）方法。当从父矩阵中删除行以形成活跃校验矩阵时，潜在的（被删除的）行通常仍与活跃矩阵正交。因此，这些低权重的潜在行可能会成为非平凡的逻辑算子，从而将最小距离限制在行权重水平。现有的构建方法（例如基于循环置换矩阵 CPM 的构建）通常面临固定的圈长上限（例如，当列权重 $\ge 3$ 时，圈长 $\le 6$），或者需要复杂的提升（lifting）过程，但仍无法完全解决距离退化问题。

方法论
作者提出了一种通过将完整父矩阵的正交性要求与活跃子矩阵的正交性要求解耦，从而打破“正交性障碍”的构建框架。其核心方法论包括：

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 码：该构建利用了基于原型图（protograph）且具有块循环结构的广义 Hagiwara–Imai 码。作者使用了仿射置换矩阵（APM）而非标准的 CPM。APM 通过代数同余条件实现了受控的交换性。
3. 交换性控制：作者推导了充分条件，使得特定的置换矩阵对通过交换以满足活跃正交性，同时故意使其他置换对不交换以打破父矩阵的正交性。这通过相互作用矩阵 $\Psi_r$ 进行形式化。设计确保对于存在于活跃集 $\Delta$ 中的差异 $r$，$\Psi_r = 0$；而对于 $\Delta$ 之外的差异，则 $\Psi_r \neq 0$。
4. 顺序构建与陷阱集抑制：一种由多臂老虎机启发式算法引导的顺序搜索算法，用于选择 APM 参数以满足交换性约束，同时避免短圈（特别是 4 圈和 6 圈）。作者显式地构建了一个基本陷阱集（ETS）库，并选择参数以最小化导致 BP 译码停顿的有害陷阱结构。

核心贡献

• 理论框架：本文建立了一个防止由行删除导致的距离退化的理论机制。作者证明，如果潜在部分与活跃部分不正交，则潜在行不会平凡地成为逻辑算子。
• 圈长改进：研究表明，通过使用 APM 并放宽父矩阵的正交性，可以构建出圈长为 8 的正则量子 LDPC 码，超越了通常与列权重 $\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$。
• 译码策略：本文针对去极化信道实现了一种联合 BP 译码器（将 $X$ 和 $Z$ 错误视为相关的），并结合了一种低复杂度的后处理算法。该后处理算法利用 ETS 库、翻转历史译码（FHD）和有序统计译码（OSD）来解决 BP 停顿问题。

结果

• 性能：在带有后处理的 BP 译码下，所构建的码在去极化信道上实现了在错误概率为 $4\%$ 时帧错误率（FER）为 $10^{-8}$。
• 距离分析：作者严格证明了潜在距离恰好为 48。虽然他们无法为非潜在逻辑算子提供认证的下界，但报告称在搜索过程中未发现低权重的非潜在逻辑算子。因此，其最小距离被限制在 48 以内（$d_{min} \le 48$）。
• 阈值行为：密度演化分析表明，该码接近非正交随机系综的 BP 阈值 $p \approx 0.05702$，这表明该构建保留了足够的随机性以进行有效译码。
• 错误底（Error Floor）：错误底由规模在数十量级的陷阱集引起的停顿主导，而非低权重逻辑算子，这表明该设计成功缓解了与行删除相关的特定距离退化机制。

意义与主张
本文声称克服了量子 LDPC 码设计中的一个基本结构性限制：即 CSS 正交性约束所带来的正则性、高圈长与大最小距离之间的权衡。通过将交换性约束局部化到代码的活跃部分，并利用 APM 打破父矩阵的正交性，作者证明了构建出圈长为 8 且最小距离不被平凡地以行权重作为上界的正则量子 LDPC 码是可能的。

其意义在于提供了一种构建原则，能够在适应量子纠错的同时，保留经典 LDPC 的结构优势（正则性和大圈长）。作者谦虚地指出，虽然潜在距离是经过认证的，但完整代码的精确最小距离仍是一个开放的下界问题，且报告的性能依赖于特定的实例选择和后处理。然而，结果表明所提出的方法能有效抑制由行删除引起的典型低权重逻辑算子，为高性能正则量子 LDPC 码提供了一条可行的路径。