Sequences of Bivariate Bicycle Codes from Covering Graphs

技术摘要：基于覆盖图的双变量双循环码序列

问题陈述
量子低密度奇偶校验（qLDPC）码为表面码提供了一种极具前景的替代方案，通过提供恒定速率和改进的距离标度，有望减少实现容错量子计算所需的空间开销。然而，由于可能的奇偶校验多项式的搜索空间巨大，识别新的、高性能的 qLDPC 码仍然是一个挑战。特别是，双变量双循环（Bivariate Bicycle, BB）码——即定义在 $\mathbb{F}_2[Z_l \times Z_m]$ 上的群代数码——已展现出具有高速率、高距离实例的潜力（例如 [[144, 12, 12]] "gross" 码），但目前仍缺乏一种能够生成具有可预测参数的无限码族的一般方法。此外，理解不同代码实例之间的逻辑算子与自同构之间的关系对于实现逻辑操作至关重要，但在分析大型码时通常非常困难。

方法论
作者提出了一种利用覆盖图（或图提升）这一数学概念来生成无限 BB 码序列的框架。其核心方法论包括：

1. 覆盖的代数条件： 本文确立了如果满足特定的关于格参数和定义多项式的代数条件，则 BB 码 $\tilde{Q}$ 的 Tanner 图是基础 BB 码 $Q$ 的一个覆盖图。具体而言，若 $Q$ 的参数为 $(l, m)$ 且多项式为 $A, B$，则参数为 $(\tilde{l}, \tilde{m})$ 且多项式为 $\tilde{A}, \tilde{B}$ 的覆盖码 $\tilde{Q}$ 是一个有效的 $h$-覆盖（其中 $h = \tilde{l}\tilde{m}/lm$），若满足以下条件：

   • $\tilde{l} = ul$ 且 $\tilde{m} = tm$，其中 $u, t$ 为整数。
   • $\tilde{A}$ 和 $\tilde{B}$ 中单项式的指数分别模 $l$ 和 $m$ 后与 $A$ 和 $B$ 中的指数同余。
   • 用于生成派生图的电压分配（voltage assignment）与格参数的“商”相对应。

2. 缩减搜索空间： 通过限制搜索范围在满足这些同余条件的多项式内，作者大幅减少了新码的搜索空间。与其在长度为 $n$ 的全量多项式空间中进行搜索，搜索被限制在基础码多项式的变体中，将复杂度从 $O(n^6)$ 降低到大约 $O(h^4)$（针对 $h$-覆盖）。

3. 链映射与同调： 图覆盖映射被扩展为基础码与覆盖码链复形之间的链映射（chain map）。这诱导了（上）同调映射：

   • 投影映射 ($p$)： 将覆盖码的逻辑算子映射到基础码。
   • 提升映射 ($\tau$)： 将基础码的逻辑算子映射到覆盖码。
   • 保重提升 ($\sigma$)： 一种特定类型的提升，它为每个顶点选择单个原像，用于估计覆盖码距离的上界。

4. 自同构提升： 该框架被扩展以证明图自同构（以及随之而来的 CSS 码自同构）可以从基础码提升到覆盖码。在特定条件下（$h$ 为奇数且逻辑比特数相等），这些自同构的逻辑作用得以保留。

主要贡献与结果

• 生成码序列： 作者证明了已知的各种高性能 BB 码（如 [[144, 12, 12]] gross 码）可以被视为较小码（如 [[72, 12, 6]]）的双重覆盖。他们生成了具有固定逻辑比特数 ($k$) 且块大小 ($n$) 递增的新型无限序列 BB 码。
• 新码族：
  • 权重 6 码： 该方法重现了已知的码族，包括平衡乘积码（balanced product codes）和广义托里码（generalized toric codes），并为 $k=6, 8, 10, 12$ 生成了新的序列。
  • 权重 8 码： 作者应用该方法搜索具有权重 8 校验（定义多项式中有 4 项）的 BB 码。他们发现了 $k=8, 10, 12, 14$ 的序列，这些序列比其权重 6 的对应项具有显著更高的 $kd^2/n$ 比率。显著的例子包括 [[64, 14, 8]] 和 [[144, 14, 14]] 码。
  • Qudit 码： 该方法被推广到 $\mathbb{F}_q$ 上的 qudit 码，成功生成了基础 qudit BB 码的覆盖码。
• 理论界限：
  • 逻辑比特数 ($k$)： 作者证明，对于 $h$ 为奇数的 $h$-覆盖码，逻辑比特数满足 $k_h \ge k$。他们推测该结论对所有 $h$ 均成立。
  • 距离 ($d$)： 对于奇数 $h$，他们证明了上界 $d_h \le hd$。若 $k_h = k$ 且 $h$ 为奇数，他们证明了下界 $d_h \ge d$。他们推测对于所有 $h$，不等式 $d \le d_h \le hd$ 均成立。
  • 保重提升： 他们表明，如果存在保重提升，则意味着 $d_h \le d$，这为排除距离不增加的覆盖码提供了一个数值工具。
• 逻辑算子与自同构分析： 论文提供了提升逻辑算子和自同构的具体构造。他们证明，当 $h$ 为奇数且 $k_h = k$ 时，提升映射是同调上的同构，确保了基础码的逻辑基底可以提升为覆盖码的完整逻辑基底，从而保留了自同构的逻辑作用（例如逻辑 CNOT 和 Hadamard 门）。

意义

作者指出，其研究在以下三个方面具有重要意义：

1. 高效的码发现： 通过识别基于覆盖图理论的缩减搜索空间，作者提供了一种系统且高效的方法来发现具有前景参数的新 BB 码，绕过了对全量多项式空间的暴力搜索。
2. 理论统一： 本工作将各种已知的 BB 码构造（包括 gross 码、平衡乘积码和广义托里码）统一在一个覆盖图的框架之下，揭示了它们之间的结构关系。
3. 逻辑算子管理： 投影和提升映射的发展为分析大型码提供了实用的工具。通过从较小的、易于理解的基础码中导出逻辑算子和自同构，降低了管理大型 qLDPC 码中逻辑操作的复杂度。

作者指出，虽然研究重点是 BB 码，但这些方法有望推广到其他群代数码以及涉及超图或提升乘积（lifted products）的构造。他们还强调，尽管搜索空间已得到缩减，但计算大型覆盖码的确切距离仍然是一个瓶颈，其理论界限更多是作为一种指导而非计算距离的完整解决方案。