从码手术到提升手术：阿贝尔群代数码如何削减校验子轮数

为何码手术的时间开销成为瓶颈

量子低密度奇偶校验码已成为低开销容错量子计算的主要候选方案，因为它们能够在每个码块中编码多个逻辑量子比特，同时保持良好的纠错能力[2]。码手术将格点手术推广到这类码上，通过辅助系统对纠错码进行形变，使得对形变后码的综合征测量能够返回所需逻辑算符的值[5]。该过程在空间上是高效的，但带来了显著的时间开销：含噪综合征测量必须重复与码距成正比的次数，以确保容错性[1]。这种O(d)的缩放关系意味着，随着码规模增大以实现更低的逻辑错误率，逻辑操作也会按比例变慢，从而在推动QLDPC码发展的空间节省与使用它们进行计算的时间成本之间形成了矛盾[5]。

快速手术被提出，通过使用具有额外性质的辅助系统来消除这种缩放，这些辅助系统能够防止综合征测量错误，从而实现恒定时间的容错逻辑测量[1]。然而，直接的快速手术构造会带来大量的量子比特开销，因此总体时空开销与标准码手术方案相当[1]。除专门针对超图乘积码的技术外[5]，具有所需性质的辅助系统的实用构造在一般情况下仍然未知。这正是提升手术为阿贝尔群代数码所填补的空白，阿贝尔群代数码是一个广泛的码族，为若干已提出的QLDPC架构奠定了基础[1]。

提升手术如何保持对称性并实现并行测量

提升手术利用群代数码中已有的代数对称性来构造实用的快速手术方案[1]。群代数典范地分解为局部环的乘积，而码空间以及群代数上的每个线性映射也随之分解为相互独立的块[1]。这种块分解揭示了逻辑子空间的结构与对称性，并提供了定义提升手术的自然框架[1]。通过在这一分解内开展工作，作者刻画了哪些逻辑操作是可寻址的，并构造了保持底层群对称性的显式手术映射[1]。

该方法产生了两项可寻址性约束：每个测量集都分解为各块上的直和，且在单个块内，每个测量集在群作用下不变 [1]。这些约束意味着提升手术无法处理任意逻辑子空间，但它们也使大规模实例的搜索变得可行，并为高效硬件实现提供了一条自然路径 [1]。作者识别出若干性质良好的子族，包括标量手术——其中单个群代数元素描述链映射——并证明对于由Koszul复形描述的码，标量手术保持Koszul形式 [1]。正是这种代数结构使提升手术能够在单轮综合征提取中实现快速、并行且可寻址的逻辑测量 [1]。

量子径向码：逻辑性能相当，轮数减少十倍

本文提出了参数为[[90,8,10]]和[[198,8,16]]的量子径向码，其手术操作快速、可并行且可寻址，允许在同一轮综合征提取中测量同一Pauli类型的任意独立逻辑算符集合[1]。对于[[90,8,10]]码，作者在电路级去极化噪声下对提升手术进行了基准测试，发现其逻辑性能与标准码手术相当，同时所需的综合征测量轮数减少了十倍[1]。这意味着逻辑测量的时间成本降低了一个数量级，同时并未牺牲使该码具有实用价值的错误抑制能力。[[198,8,16]]码则表明该构造可扩展至更大的距离，对于秩-1子空间测量具有45个轨道[1]。

对[[90,8,10]]量子径向码进行提升手术所得到的合并码，在秩-1子空间测量下参数为[[135,7,≤10]]，在秩-2下为[[135,6,≤10]]，其最大校验权重和量子比特度分别为11和12 [1]。这些开销的确定依据是：对于一个具有n个数据量子比特、m_X个X型校验和m_Z个Z型校验的码，当执行Z型逻辑测量时，合并码具有n+m_X个数据量子比特、m_Z+n个Z型校验和m_X个X型校验 [1]。校验权重和量子比特度保持有界，从而保持了使这些码对硬件实现具有吸引力的LDPC性质 [1]。

提升手术与其他快速手术及格手术方法的比较

二维超图乘积码上的常数时间手术通过将 d 次手术操作摊销到 O(d) 时间内，实现了 O(1) 时间开销和近常数空间开销，但该方法专门适用于超图乘积码，并依赖于与提升手术不同的代数结构 [5]。超图乘积构造使用链复形和映射锥，其中元校验提供了单次测量所需的冗余 [5]。提升手术则利用阿贝尔群代数码的块分解，后者是一个包含双变量自行车码和量子径向码的独特码族 [1]。两种方法均实现了常数时间逻辑测量，但它们适用于不同的码族并使用不同的代数技术。

在实验方面，晶格手术已在距离为三的表面码和重复码上利用超导量子比特得到演示，表明合并与拆分操作可以组合起来实现逻辑态路由和Clifford门[3][6]。这些实验运行在具有最近邻连接的二维平面架构上，而提升手术则面向需要长程连接的QLDPC码[1][2]。这些实验演示验证了晶格手术的基本构件，但并未解决提升手术旨在消除的重复综合征提取的时间开销问题[3][6]。QLDPC码中移位自同构的时间动态电路表明，与基于SWAP的方法相比，动态变化的综合征测量电路可以降低逻辑错误率，在p=10^-3时对[[144,12,12]] gross码实现了逻辑比特翻转错误率38倍的降低[4]。这是降低QLDPC码时间开销的一种互补方法，其关注点在于自同构门而非逻辑测量[4]。

尚存的不确定性及论断的边界

这些结果仅限于阿贝尔群代数码以及论文中构造的特定[[90,8,10]]和[[198,8,16]]实例，且是在电路级去极化噪声模型下[1]。可寻址性约束意味着提升手术无法测量任意逻辑子空间：每个被测量的集合必须按块分解为直和，并在每个块内对群作用保持不变[1]。这限制了可在单轮中执行的逻辑操作集合，作者指出同一二进制码的不同群代数表示可能导致不同的提升手术操作集合[1]。该构造还要求CSS型测量，因此对于通用计算，仍然需要非CSS操作，如标准手术、自同构门或Y态蒸馏[1]。

将提升手术集成到容错架构中，需要编译策略来尽量减少非CSS测量的使用，并最优地利用某些码可用的并行测量[1]。作者还指出，用于执行提升手术操作的优化硬件布局仍有待开发，并且提升手术特别适合支持动态重构的平台，如中性原子、囚禁离子和自旋量子比特[1]。解码算法采用基于整数线性规划的最可能错误解码器，仿真超时设为两小时，这可能限制其向更大码实例的可扩展性[1]。综合征轮数的十倍缩减是否能转化为整体算法运行时间的同等缩减，取决于综合征提取相对于其他操作的相对成本，而当前的基准测试并未涉及这一问题[1]。

关于这些来源

本研究页面基于6项研究（4篇同行评审、2篇预印本）——发表于2021年至2026年间，其中5篇发表于2024年或之后，合计被引用753次——这些研究是从通过质量筛选的13项研究中选出的最相关研究，而这13项研究又是从超过5亿篇文献的数据库中检索到的89篇论文中筛选而来。

本文引用的文献