Spatial overhead reduction for 2D hypergraph product codes

本文提出了一种方法，在保持二维超图积码的码率、逻辑基和最小距离的同时，降低其物理量子比特开销，并通过仿真和示例证明，这些简化后的码仍保持容错性能以及与逻辑计算器件的兼容性。

要点

以下是论文《二维超图积码的空间开销缩减》的解释，使用类比转化为日常语言。

大局观：建造更优质的量子保险箱

想象你正在试图建造一个超级安全的数字保险箱，用来保护一个秘密（一个“逻辑量子比特”）。为了让这个保险箱坚不可摧，你不仅仅要锁上门，还要用一张巨大的、冗余的检查和制衡网络将秘密包裹起来。这就是量子纠错所做的事情。

这种保险箱最著名的设计被称为表面码。它就像一块瓷砖网格。为了保护一个秘密，你需要大量的物理瓷砖（物理量子比特）。问题在于：这极其昂贵。为了获得高水平的安全性，你可能需要 1,000 块物理瓷砖仅仅用来存储一个秘密。

这篇论文的作者正在研究一种不同且更复杂的设计，称为超图积（HGP）码。可以将 HGP 码想象成一个三维网络，或者由两种更简单的图案编织而成的复杂挂毯。这些网络在理论上非常高效，但在实践中，它们通常需要太多的物理瓷砖，以至于用现有技术难以构建。

目标： 作者希望缩小这些 HGP 网络的尺寸（减少“空间开销”），同时不破坏内部的秘密，也不让保险箱更容易被破解。

问题：“检查型”量子比特

在 HGP 码中，物理瓷砖被分为两组：

1. 比特型量子比特： 这些承载实际信息（“数据”）。
2. 检查型量子比特： 这些就像“胶水”或“脚手架”。它们不承载数据；它们存在的唯一目的是确保数据比特彼此一致，并确保数学计算成立（具体而言，是保持量子“对易”规则得到满足）。

作者意识到，虽然我们需要脚手架来构建代码，但一旦代码构建完成，我们或许可以移除其中的一部分，前提是我们仔细重新排列剩余的部件。

解决方案：“颜色编码”清理

作者开发了一种程序来移除这些多余的“检查型”量子比特。以下是他们如何做到的，使用一个简单的类比：

类比：邻里守望
想象一个社区，每栋房子（一个量子比特）都装有安全摄像头。有些摄像头安装在房子上（数据），有些安装在路灯上（检查型量子比特）。路灯摄像头的存在仅仅是为了确保房子摄像头之间能正确沟通。

作者问道：“如果我们只是让房子摄像头直接彼此沟通，能否移除路灯摄像头？”

难点： 如果你直接拆掉路灯，它原本照看的那些房子可能会彼此失去联系，导致安全系统崩溃。

方法：颜色编码策略
为了解决这个问题，作者基于社区的布局使用了一种“颜色编码”系统：

1. 分组： 他们查看路灯并按颜色分组。规则是：“没有两盏同色的路灯可以照看同一栋房子。”
2. 合并： 因为它们不重叠，所以可以将所有红色路灯的指令安全地合并为一个大的“红色指令”。对蓝色、绿色等也做同样的处理。
3. 移除： 一旦指令合并，单个路灯（检查型量子比特）就不再需要了。它们被移除。
4. 结果： 社区变小了（物理量子比特更少），但房子仍然拥有完整的安全覆盖，因为“红色指令”现在处理了三盏红色路灯的工作。

他们证明了什么（保证）

作者并非只是猜测这会奏效；他们从数学上证明了保险箱依然同样安全。以下是他们的主要主张：

• 秘密是安全的（距离保持）： 代码的“距离”是衡量它能纠正多少错误的指标。他们证明，即使在移除检查型量子比特后，该代码仍能纠正与之前完全相同数量的错误。保险箱依然坚不可摧。
• 秘密依然未变（逻辑基）： 秘密的编码方式没有改变。这就像重新布置房间里的家具；房间变小了，但床相对于墙壁的位置依然没变。
• 没有新的弱点（综合征提取）： 在量子计算中，你必须不断检查错误（综合征提取）。作者表明，通过仔细安排何时进行检查（例如谁与谁沟通的特定时间表），你不会意外创造出错误传播的新途径。
• 与其他工具兼容： 他们表明，这种更小的代码仍然可以与量子计算中使用的其他高级工具配合工作，例如执行计算的特殊门。

现实世界的例子

论文提供了这种缩小过程的具体实例：

• 他们将一个需要610个物理量子比特的代码缩小到了441个量子比特，同时保持了完全相同的安全级别。
• 他们将另一个需要1,225个量子比特的代码缩小到了931个量子比特。

权衡

有缺点吗？有，但作者认为这是值得的。

• 更重的检查： 因为他们将几个小检查合并成了一个大检查，检查的“权重”增加了。这就像邻里守望现在必须同时与更多的房子交谈。
• 结果： 这使得代码在短期内对噪声稍微更敏感。然而，作者进行的模拟表明，对于相同数量的硬件，你现在可以构建一个更大、更安全的代码。在极低的错误率下（这是未来量子计算机的目标），这种更小、更密集的代码实际上比旧的大而笨重的代码表现更好。

总结

作者找到了一种修剪复杂量子纠错代码中“脂肪”的方法。通过识别并移除那些对于最终结构并非严格必要的“脚手架”量子比特，并巧妙地合并剩余的指令，他们创造了更小、更高效的量子代码，其安全性与原始的大版本一样。这使我们向构建实用的量子计算机迈进了一步，这种计算机不再需要数百万个物理部件来存储单个数据片段。

技术摘要

技术摘要：二维超图积码的空间开销降低

问题陈述
量子纠错（QEC）对于容错量子计算至关重要，然而实际实现面临着显著的空间开销挑战。虽然表面码因其高容错阈值和平面连接性而成为主要候选方案，但其每个逻辑量子比特所需的物理量子比特开销随码距 $d$ 按 $O(d^2)$ 缩放。尽管量子低密度奇偶校验（qLDPC）码（如超图积（HGP）码）提供了渐近恒定的开销，但其实际实现通常需要较大的块尺寸（超过 1,000 个量子比特）才能优于表面码。此外，由经典输入构建的 HGP 码通常包含不承载逻辑信息但对稳定子对易性必不可少的“校验型”量子比特。本文研究了是否可以通过移除这些校验型量子比特来减少通用 HGP 码中的物理量子比特数量，同时保持码的维数、最小距离以及与现有容错器件的兼容性。

方法论
作者提出了一种系统地从 HGP 码中移除校验型量子比特的量子比特减少过程。该方法的核心包括：

1. 着色与划分：根据经典输入码的校验邻接图的着色，将校验型量子比特划分为若干组。如果两个校验不共享任何比特，则它们共享同一种颜色。这确保了同一颜色组内的校验是互不相交的。
2. 稳定子组合：在选定的颜色组内，作者线性组合 X 型（或 Z 型）稳定子，以消除对特定校验型量子比特的支撑。这是通过构建线性变换（矩阵 $W_X$ 和 $W_Z$）来求和稳定子，从而有效地“清理”校验型量子比特上的支撑来实现的。
3. 优化：选择哪些颜色组进行组合被表述为二分图上的最大权重匹配问题，旨在优化移除的量子比特数量，同时遵守防止组合过多校验（以维持 LDPC 属性）并确保支撑不相交的约束。
4. 综合征提取调度：为了解决组合后稳定子权重增加的问题，作者引入了一种特定的 CNOT 调度顺序（分裂综合征提取）用于综合征测量。这种“之字形”调度确保钩形错误（hook errors）被限制在单行或单列内，从而保持码的有效距离。

主要贡献

• 量子比特减少过程：一种通过移除校验型量子比特来减少 HGP 码物理量子比特数量的通用算法。该过程保证了码的维数（$k$）和最小距离（$d_X, d_Z$）得以保持。
• LDPC 属性的保持：作者证明了简化后的码仍然是 LDPC 码，量子比特和校验的权重最多增加一倍（$\tilde{w}_q \le 2w_q$ 且 $\tilde{w}_c \le 2(w_c - 1)$）。
• 逻辑结构的保持：原始 HGP 码的标准逻辑泡利基对简化后的码仍然有效。这对于移植现有的容错器件至关重要。
• 与器件的兼容性：本文展示了该方案与几种关键容错机制的兼容性：
  • 保持距离的综合征提取：一种特定的调度算法（算法 2）确保尽管稳定子权重增加，有效距离仍等于码距。
  • 折叠横截门：对于对称 HGP 码，减少调度可以被约束以保持实现横截 Hadamard 门和相位门所需的对角反射对称性。
  • 自同构与同态：该减少过程与码的自同构及同态器件（如网格泡利积测量）兼容，允许在简化码上进行逻辑操作和码切换。
• 特殊情况：该过程概括了从未旋转表面码到旋转表面码的变换，并涵盖了由二分图构建的码的量子 Tanner 变换。

结果

• 参数改进：作者提供了参数改进的具体示例。例如，参数为 $[[610, 64, 6]]$ 的 HGP 码被减少为 $[[441, 64, 6]]$，而 $[[1225, 49, 11]]$ 码被减少为 $[[931, 49, 11]]$。
• 数值模拟：对简化后的 HGP 码（使用 QC-LDPC 和 Heawood 循环码输入）进行了电路级去极化噪声模拟。
  • 当使用提出的保持距离的综合征提取调度时，简化码表现出与未简化版本相似的逻辑错误率（LER）斜率，证实了有效距离的保持。
  • 由于稳定子权重的增加，简化码在性能上显示出恒定的偏移（在相同的物理错误率下 LER 更高），但作者认为，对于固定数量的物理量子比特，简化码可以实现更高的距离，从而可能在较低的错误率下提供优势。
  • 在简化码上使用随机调度导致了较浅的 LER 斜率，突显了特定调度策略的必要性。

意义
本文声称，该减少过程提供了一条降低 HGP 码空间开销的实用途径，同时不牺牲其基本的纠错能力或与高级容错器件的兼容性。通过减少物理量子比特的数量，作者认为 HGP 码可以适用于量子比特少于 1,000 个的近中期硬件，从而弥合 qLDPC 码的渐近承诺与实际实现约束之间的差距。这项工作通过表明 HGP 码的结构优势（标准逻辑基、横截门）对实现量子比特减少所需的特定结构修改具有鲁棒性，从而扩展了 HGP 码的实用性。