High-Girth Regular Quantum LDPC Codes from Square-Base Hypergraph Products via CPM Lifts

本文介绍了一类具有高围长和正则性的平方基超图积码，并通过一个具体的 CPM 提升实例证明，此类码在去极化噪声下可表现出卓越的纠错性能。

要点

想象一下，你正在试图建造一个超强且能自我修复的数字金库。这个金库需要存储秘密信息（量子数据），这些信息极其脆弱，极易被噪声破坏，就像飓风中的低语。为了保护它，你需要一张由数学规则构成的“网”，能在错误摧毁数据之前将其捕获。这就是量子低密度奇偶校验码（Quantum LDPC codes）：一张专为捕获数字噪声而设计的精密之网。

本文介绍了一种利用名为**平方基超图积（Square-Base Hypergraph Product）**的巧妙构造方法，来设计一种特定且极其坚固的“网”。以下是用通俗语言进行的拆解：

1. 蓝图：“基矩阵”

将代码想象成一座巨大的建筑。作者并非从零开始设计整栋摩天大楼，而是从一个完美的小型蓝图（称为基矩阵）开始。

• 网格：这张蓝图是一个由 1 和 0 组成的正方形网格。
• 规则：作者为这个网格找到了特定的规则：
  • 每一行和每一列必须拥有相同数量的 1（就像酒店里的每个房间都有相同数量的窗户）。
  • 网格必须避免某些“短回路”。想象你在大楼里行走；你不希望走捷径太快就回到起点，因为这些捷径会形成错误可以藏身的薄弱点。
  • 网格必须具有特定的“隐藏深度”（数学上称为余秩），这使得金库能够实际存储数据。

2. 扩展："CPM 提升”（复印机）

一旦拥有了完美的微型蓝图，他们便使用一种名为**CPM 提升（CPM Lift）**的数学“复印机”将其扩展为一个巨大的代码。

• 过程：他们将小蓝图中每一个单独的"1"替换为一整块新的、更大的 1 和 0 图案。
• 结果：这将一个微小的 15x15 网格变成了一个巨大的 28,800 比特代码。这就像拿一个精致的小瓷砖图案，将其铺满整个体育场的地板，并确保图案在所有地方都完美契合。

3. “不可避免的回路”问题

这里是棘手之处。作者发现了一条数学定律：由于这些量子代码必须按照特定方式构建才能工作（一条称为CSS 正交性的规则），网中必然存在某些无法消除的“回路”。

• 隐喻：想象你在建造一道围栏。你希望围栏没有任何小洞。然而，物理定律（在此处即量子数学）迫使你在围栏设计中必须包含一种特定的 8 步回路。你无法让回路大于 8 步；你只能接受 8 步是你能做到的极限。
• 发现：作者证明，对于他们的特定设计，网中“最短回路”恰好是 8 步。他们表明，无论你怎么调整复印机的设置，都无法消除这些 8 步回路。

4. 测试：“飓风模拟”

为了验证他们的代码是否真正有效，他们对其进行了巨大的压力测试。

• 设置：他们模拟了一场名为去极化信道的数字噪声“飓风”袭击他们的代码。
• 解码器：他们使用了一位聪明的侦探（置信传播解码器）来尝试找出错误。如果侦探陷入困境，他们便使用一种“轻量级”修复工具（OSD-lite）来清理剩余的混乱。
• 结果：他们运行了这次模拟2.99 亿次（即近 3 亿次试验！）。
• 得分：在极高的噪声水平（14% 的错误率）下，该代码从未失败过恢复数据。事实上，其失败的概率统计上低于亿分之一。

5. 权衡

论文指出了一种特定的权衡：

• “设计”速率：如果在纸面上看数学公式，该代码看起来像是存储了零数据（速率为 0）。
• “实际”速率：然而，由于蓝图中存在的“隐藏深度”（余秩），该代码实际上确实存储了数据（在其最大的示例中为 62 比特）。
• 类比：这就像一栋从外面看空无一物的建筑，但由于巧妙的内部架构，它实际上拥有 62 个秘密房间。

总结

作者通过以下方式构建了一种新型量子纠错码：

1. 设计了一个小型、完美的正方形网格。
2. 利用数学复印机将其扩展为一个巨大的代码。
3. 证明虽然某些小回路（8 步）是不可避免的，但该代码依然极其坚固。
4. 在超过 2.99 亿次试验中，将其置于巨大的噪声下进行测试，并显示其完美运行。

他们尚未发明一种使用量子计算机的新方法；他们只是为其中的数据建造了一个更好的“安全网”。

技术摘要

以下是论文《通过 CPM 提升从方基超图积构建高围长正则量子 LDPC 码》（作者：Koki Okada 和 Kenta Kasai）的详细技术总结。

1. 问题陈述

本文旨在解决在Calderbank–Shor–Steane (CSS) 框架内设计有限长度、正则、高围长量子低密度奇偶校验 (QLDPC) 码的挑战。

• 约束条件： CSS 码要求两个经典奇偶校验矩阵（$H_X$ 和 $H_Z$）必须对易（$H_X H_Z^T = 0$）。与经典非正则 LDPC 码相比，这种正交性约束限制了独立优化行度和列度（正则性）以及围长（排除短循环）的能力。
• 差距： 虽然超图积 (HGP) 码提供了一种系统生成具有正渐近速率的 QLDPC 码的方法，但有限长度构造往往存在以下问题：
  1. 低围长： 短循环（4-循环、6-循环）会降低置信度传播 (BP) 解码器的性能。
  2. 零设计速率： 标准的方基 HGP 构造通常具有零设计速率，依赖秩亏缺来产生逻辑量子比特。
  3. 正交性强制循环： 尚不清楚 CSS 正交性约束如何与循环置换矩阵 (CPM) 提升相互作用以强制特定的循环长度，这可能限制了可达到的最大围长。

2. 方法论

作者提出了一种基于方基超图积结合CPM 提升的构造策略。

A. 方基 HGP 构造

作者将输入限制为方二进制基矩阵 $B \in \mathbb{F}_2^{s \times s}$，而非任意经典码。

• 构造： CSS 校验矩阵定义为：
  $$H_X(B) = [B \otimes I_s \mid I_s \otimes B^T], \quad H_Z(B) = [I_s \otimes B \mid B^T \otimes I_s]$$
• 正则性： 定理 2 证明，如果 $B$ 是一个 $w$-正则矩阵（所有行和列的权重均为 $w$），则生成的量子码是 $(w, 2w)$-正则的。
• 逻辑量子比特： 逻辑量子比特数量 $k$ 由基矩阵的零化度（corank, $c_B$）决定：$k = 2c_B^2$。设计速率在技术上为零（$n = m_X + m_Z$），但由于秩亏缺，实际速率为正。

B. 短循环分析与 CPM 提升

作者分析了CPM 提升（将 1 替换为 $P \times P$ 循环置换矩阵）如何影响 Tanner 图围长。

• 基围长： 他们确立，如果基矩阵 $B$ 没有 4-循环或简单 6-循环，则基 HGP 码继承这一性质。
• 正交性强制 8-循环： 一个关键的理论贡献是引理 4和定理 5，它们证明了基矩阵中特定的局部模式（源于 CSS 正交性）会强制Tanner 8-循环存在于任何 CPM 提升中，无论选择的移位值如何。
  • 推论： 对于这些特定的方基构造，Tanner 围长不能超过 8。增加提升大小 $P$ 无法消除这些 8-循环。
• 秩保持： 定理 7 提供了提升后逻辑量子比特数量的下界，表明 $\hat{k} \geq k$（基值），确保提升不会破坏逻辑空间。

C. 基矩阵设计

作者设计了特定的基矩阵 $B$ 以满足以下条件：

1. 正则性： 固定的列权重 $w$（测试了 $w=3$ 和 $w=4$）。
2. 围长： 排除 4-循环和 6-循环（Fano 平面示例除外，它允许 6-循环）。
3. 零化度： 最大化零化度 $c_B$ 以增加逻辑量子比特的数量。
4. 连通性： 确保基 Tanner 图是连通的，以避免平凡的码复制。

他们利用有限几何结构（Fano 平面、广义四边形 $W(2), W(3)$）和组合修改（边切换、随机局部搜索）来生成这些矩阵。

3. 主要贡献

1. 围长的理论极限： 本文严格证明了对于方基 HGP 码，CSS 正交性会在任何 CPM 提升中强制产生 Tanner 8-循环。因此，该特定族的最大可达围长为 8，无论进行多少提升都无法将其推至 10。
2. 显式有限长度构造： 作者提供了几种正则码的显式参数：
   • 列权重 3：
     • $B_7$ (Fano 平面)：围长 6，$[[98, 18, 4]]$。
     • $B_{15}$ (广义四边形 $W(2)$)：围长 8，$[[450, 50, 6]]$。
     • $B_{30}$ ($B_{15}$ 的连通扩展)：围长 8，$[[1800, 162, 6]]$。
     • $B_{17}, B_{18}$：低零化度和随机化示例。
   • 列权重 4：
     • $B_{13}$ (射影平面 $PG(2,3)$)：围长 6，$[[338, 2, 13]]$。
     • $B_{40}$ (广义四边形 $W(3)$)：围长 8，$[[3200, 450, 8]]$。
3. 高性能解码结果：
   • 构建了 $B_{15}$ 基的随机 CPM 提升，提升大小 $P=64$，生成了$[[28800, 62]]$ 码，围长为 8。
   • 解码性能： 使用感知简并性的置信度传播 (BP) 解码器，随后进行有序统计解码精简版 (OSD-lite) 后处理，该码在去极化错误概率为 $p = 0.1402$ 的 $2.993 \times 10^8$ 次试验中实现了零解码失败。
   • 在此点，失败率的 95% Wilson 上限置信度为 $1.28 \times 10^{-8}$。

4. 结果总结

基矩阵	来源	权重	围长	基参数 ($n, k, d$)	提升示例 ($P=64$)
$B_7$	Fano 平面	(3,6)	6	$[[98, 18, 4]]$	不适用
$B_{15}$	$W(2)$	(3,6)	8	$[[450, 50, 6]]$	$[[28800, 62]]$ (围长 8)
$B_{30}$	边切换	(3,6)	8	$[[1800, 162, 6]]$	不适用
$B_{40}$	$W(3)$	(4,8)	8	$[[3200, 450, 8]]$	不适用

• 性能： $[[28800, 62]]$ 码在 (3,6) 系综的理论 BP 密度演化阈值 ($p_{DE} \approx 0.1529$) 附近运行，表明尽管存在“零设计速率”约束，高围长正则码仍可实现优异的有限长度性能。
• 简并性： 结果强调了简并解码（接受由稳定子引起的差异错误）的重要性。主要的成功模式是简并成功，而非精确纠错。

5. 意义与局限性

意义：

• 设计框架： 提供了一套清晰、可检查的条件，用于设计具有高围长的正则 QLDPC 码，使设计从纯粹的随机搜索转向结构化的有限几何设计。
• 围长限制澄清： 解决了 CPM 提升是否能任意增加方基 HGP 码围长的问题，证明了由于正交性约束，围长 8 是一个硬性上限。
• 实际性能： 证明了设计速率为零（但通过零化度具有正实际速率）的码在有限长度应用中仍然非常有效，在高噪声水平下的失败率方面优于许多先前的构造。

局限性：

• 距离认证： 论文指出，虽然在 $p=0.1402$ 时解码失败为零，但在更高噪声水平下观察到的失败是综合征不匹配失败，而非逻辑错误。因此，提升码的最小距离未得到严格认证（仅由基距离下界限定）。
• 围长上限： 该特定族无法实现 $>8$ 的围长，限制了仅通过围长优化进一步获得性能提升的潜力。
• 连通性： 虽然作者确保了连通性，但在连通提升中增加逻辑量子比特 ($\hat{k} > k$) 的机制仍然是一个未解决的挑战，因为它需要基矩阵未继承的非平凡秩亏缺。

总之，这项工作建立了一个稳健的理论和实践框架，用于构建高围长、正则的量子 LDPC 码，证明了结合 CPM 提升的有限几何基矩阵可以产生具有卓越有限长度性能的码，即使在 CSS 正交性的严格约束下也是如此。