Check-weight-constrained quantum codes: Bounds and examples

标题：受检查权重约束的量子码：界限与实例

问题陈述
量子低密度奇偶校验（qLDPC）码对于开发具有抗噪能力的量子计算机至关重要，因为它们可以通过仅测量低权重检查来实现，这与当前的噪声量子硬件相兼容。一个根本性的开放问题是，对检查权重（check weight）的约束如何限制可实现的编码参数（物理比特数 $n$、逻辑比特数 $k$ 和距离 $d$）。虽然渐近良好的 qLDPC 码确实存在，但其构建过程通常依赖于可能牺牲参数的权重削减技术。此外，现有的界限通常假设了几何局部性或特定的图连通性。本研究调查了在严格的检查权重约束下（不假设几何局部性），稳定器码（stabilizer codes）和子系统码（subsystem codes）的理论极限，旨在弥合渐近理论与有限规模实际应用场景（数十到数百个量子比特）之间的差距。

方法论
作者采用了一种结合用于渐近机制的解析证明和用于有限规模码的数值优化方法的双重路径：

1. 解析界限： 本文推导了具有受限检查权重（$w$）的稳定器码和子系统码的渐近上界。

   • 对于稳定器码，作者使用了“最小码”（minimal code）论证。他们假设存在一个超过所提界限的码，并分析其稳定器生成元（检查）的结构。通过检查如何重叠（重合或不匹配）并应用局部克利福德旋转（local Clifford rotations），他们将一般的稳定器码简化为 CSS 码，或识别出解耦的子系统，从而导致关于码的距离或维度的矛盾。
   • 对于权重为 4 的 CSS 码，他们证明了每个量子比特恰好参与两个 X 检查和两个 Z 检查的码对应于广义表面码（流形上的同调码）。他们利用现有的关于这些表面码的界限来推导参数约束。
   • 对于权重为 2 的子系统码，他们建立了码参数与相关二元矩阵 $A$ 属性之间的对应关系。码的距离和维度通过该矩阵的行距离、列距离和秩来表征。

2. 数值界限（线性规划）： 对于有限规模的码，作者构建了线性规划（LP）问题，以寻找给定 $n, d, w$ 下最大可能的逻辑维度 $k$。

   • 他们使用权重分布（特定权重的稳定器和逻辑算子的数量）作为变量。
   • 约束条件包括 MacWilliams 恒等式（将其与对偶码联系起来）、距离的定义（不存在权重低于 $d$ 的非平凡逻辑算子），以及专门从检查权重限制中导出的新约束（限制由检查乘积生成的低权重稳定器的数量）。
   • 他们使用 Gurobi 实现这些线性规划，以计算 $n$ 高达 300 的上界。

核心贡献与结果

• 权重为 3 的稳定器码： 作者证明，任何检查权重至多为 3 的稳定器码，其非平凡距离都不能大于 2。具体而言，如果距离 $d > 2$，则该码必须具有维度 $k=0$（即不编码任何逻辑量子比特）。这与量子比特度数无关。
• 权重为 4 的 CSS 稳定器码： 对于每个量子比特恰好参与两个 X 检查和两个 Z 检查的 CSS 码，作者证明了权衡关系 $kd^2 = O(n)$。这意味着此类码本质上是广义表面码。
• 权重为 2 的子系统码： 对于检查权重为 2 的 CSS 子系统码，作者证明了紧致界限：$d \le \sqrt{n}$ 且 $kd \le n$。这些界限（在常数因子范围内）被现有构造（例如文献 [Bra11]）所饱和，表明权重为 2 的检查无法支持渐近良好的子系统码。
• 有限规模图景： 利用线性规划技术，作者提供了对于 $n \le 300$ 且检查权重高达 20 的码的 $k$ 的数值上界。他们发现更高的检查权重允许更好的参数。
• 显式构造： 本文确定了接近这些数值极限的显式编码构造（包括量子 Tanner 码）。这些有限实例的校验矩阵已公开。

意义
本文确立了即使不依赖于几何局部性或特定图连通性，仅凭检查权重约束本身也会对量子码参数施加严苛限制。

• 它排除了检查权重为 3 的稳定器码具有非平凡距离的可能性。
• 它阐明了权重为 4 的 CSS 稳定器码和权重为 2 的子系统码的权衡关系，表明此类情形下可实现的最佳参数受限于类表面码的缩放关系（$kd^2 \sim n$ 或 $kd \sim n$）。
• 它为评估实际应用的 qLDPC 码提供了一个严谨的框架（适用于涉及数十或数百个量子比特的近期实验），划定了给定硬件检查权重约束下的性能理论天花板。
• 其结果通过不依赖于几何局部性的假设，使自身区别于以往工作，从而使这些界限适用于包括由非局部相互作用平台（如离子阱或中性原子）实现的通用 qLDPC 码。