提升提升积码 · Xiaoxiang

论文信息

标题: Lifting Lifted Product Codes

作者: Yuta Hirasaki, Jong Yeon Lee

发布日期: 2026-07-30

arXiv ID: 2607.28621v1

PDF 链接: 下载 PDF

3 分钟速览

研究问题：如何从一个已知的 Lifted Product (LP) 量子纠错码出发，系统地生成一系列尺寸更大、但局部 Tanner 图结构保持不变的 LP 码，并用它们获得更好的码参数与可转移的逻辑操作门。
核心方法：利用群扩张短正合列 $1\to K \to H \to G \to 1$ ，将定义在群 $G$ 上的 LP 码 “提升” 到更大的群 $H$ 上，构造同伦与上同伦映射，从而在码族内部关联码参数、逻辑算子和手术门。
关键结果：获得了参数明显改善的 LP 码，例如将双变量自行车 (BB) 码从 $⟦216,12,12⟧$ 提升为 $⟦216,12,14⟧$ （表 2）；同时证明码手术门可通过链映射在提升码间转移，并在若干情形下降低了空间开销。
主要局限：距离的验证部分依赖启发式搜索，仅给出上界而非严格下界；当提升指数为偶数时，转移映射不能保证逻辑算子的反对易关系；仅靠局部结构不足以确定热力学相变中的单一普适类。
适合读者：从事量子纠错码理论、qLDPC 码构造、容错逻辑操作设计以及量子多体相变研究的物理学家与计算机科学家。

论文背景和研究动机

量子低密度奇偶校验 (qLDPC) 码是容错量子计算的核心组成部分，而 Lifted Product (LP) 码作为其中一个重要子类，既能渐进实现好码，又在有限尺寸下表现出色，例如准循环码、双变量自行车 (BB) 码以及近期提出的聚类循环 (CC) 码。LP 码本质上是通过对超图乘积码进行图提升而获得的，其 Tanner 图保留了良好的局部结构。

然而，如何对一个已有的 LP 码再次实施系统性的提升，以生成参数更优、逻辑操作可转移的码族，一直缺乏通用代数方法。先前的工作要么局限于一般 CSS 码的抽象覆盖理论，要么只处理 BB 码这类特殊子族，未能覆盖一般的 LP 码。因此，本文提出一个基于群扩张的统一框架，使得任意 LP 码都可以通过有限群扩张实现 “二次提升”，从而填补了该空白。

核心方法和技术细节

整个构造的核心是一条群扩张短正合列：

1 \longrightarrow K \stackrel{\chi}{\longrightarrow} H \stackrel{\pi}{\longrightarrow} G \longrightarrow 1,

其中 $K$ 是核群， $H$ 是扩张群， $G$ 是基群， $\pi$ 是满同态。原始 LP 码 $Q$ 定义在群代数 $\mathbb{F}_2[G]$ 上，由一对经典链复形 $(A_\bullet,\partial_A)$ 和 $(B_\bullet,\partial_B)$ 通过平衡张量积构造而成。

提升方向（命题 1）：从 $\partial_A,\partial_B$ 出发，对每个支持群元素 $g$ 选择一个在纤维 $\pi^{-1}(g)$ 中的代表元 $h_{ij}(g)\in H$ 。利用这一选择将边界映射提升到 $\mathbb{F}_2[H]$ 上：

(\widetilde{\partial}_A)_{ij} = \sum_{g} a_{ij,g}\, \chi(\gamma_{ij}(g))\,\sigma(g),

其中 $\sigma:G\to H$ 是一个截面。提升后的链复形在 $H$ 上再做平衡张量积便得到新的 LP 码 $\widetilde{Q}$ 。可以严格证明 $\widetilde{Q}$ 的 Tanner 图是原 $Q$ 的 Tanner 图的一个 $|K|$ -覆盖（即 $|K|$ -提升），因此局部近邻结构被保留，而全局结构随群扩张改变。

投影方向（命题 2）：给定定义在 $H$ 上的 LP 码，通过群同态 $\pi$ 的诱导环同态 $\Pi:\mathbb{F}_2[H]\to\mathbb{F}_2[G]$ ，将该码的边界映射投影回 $G$ 上，得到一个更小的 “投影码” $Q_\pi$ 。此过程自然产生链映射和上链映射，从而建立两个码的同调群（逻辑算子空间）之间的关联。

转移映射与参数界限：利用 $\pi$ 的对偶，可以得到从 $Q_\pi$ 到 $Q$ 的转移映射。当提升指数 $t=|K|$ 为奇数时，转移映射在 $Z$ 和 $X$ 逻辑算子上是单射，因而逻辑量子比特数满足 $k' \ge k$ ，且距离满足 $d \le d' \le t d$ （推论 6）。若 $k' = k$ ，还可推出 $d' \ge d$ 。这些界限为在较小的基码周围搜索具有更好距离的码提供了理论保障。

创新点和贡献

本文的创新集中体现在三个层面：

一般性构造：首次针对任意 LP 码（不限于超图乘积码、BB 码）给出基于群扩张的系统性提升方法，极大地拓宽了可以构造的码族。例如，即使基码是 BB 码，得到的提升码也可能不属于 BB 族，从而捕捉到参数更优的新码。
实验上获得改进的码参数：将 BB 码 $⟦72,12,6⟧$ 通过 $\mathbb{Z}_3$ 扩张得到 $⟦216,12,14⟧$ ，优于之前文献中的 $⟦216,12,12⟧$ （表 2）。同样地，由 $⟦64,14,8⟧$ 的 BB 码提升得到 $⟦128,16,12⟧$ ，在同样块长度下同时增加了逻辑量子比特数和距离。对 CC 码，由 $ℤ_5$ 的 CC 码提升到 $ℤ_{15}$ ，获得 $⟦120,8,14⟧$ ，改善了原有 CC 码的参数（表 3）。
逻辑操作转移与空间开销降低：通过链映射，可以将基码的码手术 (code surgery) 辅助体系自动转移到提升码上。特别地，在某些情况下，利用覆盖的结构可以直接构造出空间开销更小的辅助码，而无需在提升码上重新设计全部手术协议。同时，论文证明了提升后的 CC 码只要满足一定的循环性质，就能保留基码的并行乘积手术可寻址性，使得这些距离更优的码仍然具备完整的逻辑操作能力。
热力学族的构造尝试：论文提出将 LP 码的代数提升作为定义 “热力学族”（一系列尺寸增长但局部结构相同的码）的系统化第一步。通过对若干基码及其提升码计算比特翻转噪声下的相干信息，作者观察到了有限尺寸交叉，暗示这些码可能共享同一种退相干相变行为。不过，作者也指出仅靠局部结构相同不足以唯一确定热力学族，还需要额外条件。

实验结果分析

论文的码搜索部分以 $kd^2/n$ 或距离作为优化目标，在给定群扩张的框架下枚举可能的提升边界映射。搜索结果明确展示了方法的有效性：

在 BB 码提升中，以 $ℤ_3$ 为核、扩张群为 $ℤ_{18}×ℤ_6$ 的路径得到 $⟦216,12,14⟧$ ，距离比原有记录 $12$ 有所提高（表 2 红色部分）；以 $ℤ_2$ 为核、扩张到 $ℤ_{16}⋊ℤ_4$ 则获得 $⟦128,16,12⟧$ ，同时提升了 $k$ 和 $d$ （表 2 蓝色部分）。
对 CC 码，由 $ℤ_3$ 基码 $⟦24,8,3⟧$ 提升到 $ℤ_{15}$ 得到 $⟦120,8,13⟧$ ，由 $ℤ_5$ 基码 $⟦40,8,5⟧$ 提升到 $ℤ_{15}$ 得到 $⟦120,8,14⟧$ ，后者的距离达到了 $14$ ，优于已知的同类码（表 3）。文中指出，其中部分码的距离已经通过混合整数规划得到精确验证，其余为搜索给出的上界。

逻辑操作方面，作者展示了利用提升结构，可以将基码上的手术钟形图通过链映射自然 “提升” 到覆盖码上，且在某些场合下辅助码的规模比直接在新码上构造更小，从而降低了实现逻辑测量所需的空间开销。论文还专门分析了提升后的 CC 码，证实它们保留了基码所具备的并行乘积手术可寻址性，因此这些距离更大的码依然适合进行逻辑操作。

局限与待解决问题

尽管本文在 LP 码的系统提升上取得了实质性进展，但仍存在若干局限和开放问题：

距离的严格下界：多数新码的距离仅由启发式搜索给出上界，论文并未提供严格的距离证明，也未讨论码的最小距离下界。对于某些码，虽然通过混合整数规划进行了验证，但这一过程计算代价高，无法推广到所有码。
偶数提升指数的限制：论文中的参数界限和逻辑算子转移（命题 4、5）强烈依赖于提升指数为奇数。当 $|K|$ 为偶数时，转移映射可能将一对反交换的逻辑算子在提升后变成交换，导致无法直接延续基码的逻辑结构。如何在偶数提升下保持这些性质仍是未解决的问题。
热力学族的唯一性：尽管作者在部分码族中观测到相干信息的有限尺寸交叉，但他们明确指出，仅凭局部 Tanner 图结构相同，不足以保证这些码属于同一个热力学普适类，需要额外的标度不变量或更精细的序列定义。这一问题直接关系到能否通过纯代数构造定义有意义的相变序列。
未涉及解码性能：论文专注于码参数和逻辑操作结构，没有对提升码在常见噪声模型下的解码性能进行评估，因此实际容错能力仍待进一步研究。

总体而言，本文为 LP 码的二次提升提供了优雅且通用的代数工具，并在码搜索结果和逻辑操作映射上展现出清晰的应用前景，但其理论保证和数值验证的完备性仍有提升空间。