Forced Gap Post-Selection for Quantum LDPC Codes and their Operations

本文提出了一种轻量级、与解码器无关的后选择策略，通过强制运行解码器以生成互补结果来剔除模糊的测量样本，从而显著降低高码率量子 LDPC 码的逻辑错误率，在双变量自行车码上实现了较以往方法超过四倍的改进。

要点

想象一下，你正试图在一个嘈杂的房间里发送一条秘密信息。在量子计算机的世界里，这条“信息”是一段存储在一种特殊代码中的信息，称为量子 LDPC 码。这些代码就像高科技的安全网，旨在在错误（噪声）破坏你的信息之前将其拦截。

然而，有时这张安全网在捕捉小错误方面如此出色，以至于它会对是否真的发生了大错误感到困惑。它可能会说：“我修复了它！”而实际上，信息仍然是一团乱码。这就是逻辑错误。

问题：如何知道你是否安全？

在旧式、更简单的代码（如“表面码”）中，科学家们有一个巧妙的技巧来检查他们的工作。他们会问解码器（负责修复错误的计算机程序）：“如果答案与你刚才给出的答案完全相反，可能性有多大？”

如果“相反的答案”与“真实答案”几乎同样可能，那么解码器就困惑了，结果也就可疑。如果“真实答案”的可能性大得多，解码器就很有信心。这种可能性的差异被称为间隙（Gap）。如果间隙很小，你就丢弃该结果（这称为后选择）。

关键难点： 这个技巧对简单代码非常有效，但应用于新的高码率代码（如论文中提到的 72 量子比特和 144 量子比特的“自行车”码）时就会失效。这些新代码同时拥有许多不同的信息部分（逻辑可观测量）。试图检查所有可能的“相反”组合将耗时无穷，并需要过多的计算能力。

解决方案：“强制间隙”策略

本文作者提出了一种新的、更简单的方法来检查困惑，他们称之为强制间隙后选择。

以下是其工作原理，使用一个简单的类比：

1. 基准运行（第一次猜测）：
   想象你请一位侦探（解码器）根据线索（综合征）来解开谜团。侦探给出了他们的最佳猜测：“是管家干的。”

2. 强制运行（“如果”场景）：
   与其让侦探猜测每一个可能的嫌疑人，不如强迫他们逐一测试特定的“如果”场景。

   • 运行 1： “好吧，侦探，假设管家是无辜的。那么是谁干的？”
   • 运行 2： “现在，假设园丁是无辜的。是谁干的？”
   • ……以此类推，针对每一个关键嫌疑人。

   解码器试图找到一个与第一次猜测不同的答案。

3. 比较（间隙）：
   你查看侦探的第一次猜测和来自其他运行的最佳“强制”猜测。

   • 如果第一次猜测比强制猜测可能性大得多，那么侦探是自信的。你保留该结果。
   • 如果第一次猜测与某个强制猜测几乎同样可能，那么侦探就困惑了。他们信心水平之间的“间隙”很小。你拒绝该结果。

为什么这很重要

论文在两个特定的量子代码（72 量子比特和 144 量子比特）上测试了这一策略，并发现了一些令人印象深刻的结果：

• 更高的准确性： 通过使用这种方法，与之前的方法相比，他们在完全相同的硬件和噪声水平下，将逻辑错误率降低了4 倍以上。
• 轻量级： 以前的方法需要繁重、缓慢且复杂的计算步骤来检查错误。这种新方法使用一种“置信传播”解码器（一种快速、高效的算法），对硬件芯片（FPGA）非常友好。这就像从一辆笨重缓慢的卡车换成了一辆灵活快速的跑车。
• 高效性： 尽管他们必须多运行几次解码器（一次用于基准，每次用于一个“强制”场景），但总工作量是可控的，甚至可以并行完成（就像让一个侦探团队同时处理不同的“如果”场景）。

总结

作者为量子计算机创造了一个“怀疑计”。它不需要超级计算机来运行；它只是要求解码器尝试几个特定的“如果”场景。如果解码器无法清楚地区分正确答案和错误答案，系统就会说：“我不确定，让我们扔掉这个再试一次。”

这使得量子计算机能够产生更清晰、更可靠的结果，特别是在它们被用来准备高级量子任务所需的特殊资源（如“魔法态”）时。论文特别指出，这适用于离线资源态生成，例如为 15 对 1 协议等协议提炼魔法态。

技术摘要

技术摘要：量子 LDPC 码及其操作的强制间隔后选择

问题陈述
高码率量子低密度奇偶校验（LDPC）码相比表面码具有显著的存储开销优势，但在实施有效的后选择策略方面面临挑战。在表面码中，通过比较最可能修正的对数似然值与逻辑互补修正的对数似然值，利用“互补间隔”（complementary gap）来量化解码置信度。然而，由于以下两个主要原因，该技术无法直接推广到通用的量子 LDPC 码：

1. 解码器不兼容：通用的量子 LDPC 码无法使用匹配解码器进行解码，而匹配解码器是表面码间隔计算的核心。
2. 组合爆炸：高码率码拥有许多逻辑可观测量（$k$ 个逻辑量子比特意味着 $4k$ 个不同的逻辑类）。一种朴素的后选择方法需要在每个逻辑类中进行解码以寻找第二可能的结果，这将使计算过程变得不可行（例如，对于 $k=12$ 的 72 量子比特码，存在 $2^{12}$ 个类）。

方法：强制间隔后选择
作者提出了一种“强制间隔”（Forced Gap）策略，这是一种通用的后选择方法，适用于具有多个逻辑可观测量的高码率量子 LDPC 码。该方法与解码器无关，但依赖于强制解码器找到具有特定逻辑结果解的能力。

该策略分为三个阶段：

1. 基线运行：解码器在观测到的综合征 $\sigma$ 上运行，产生具有逻辑类 $L^{(0)}$ 的基线修正 $e^{(0)}$。如果解码器未能收敛（即发生“擦除”），则该次测量立即被拒绝。
2. 强制运行：对于 $K$ 个逻辑可观测量中的每一个，解码器重新运行 $K$ 次。在第 $i$ 次运行中，通过将行动矩阵 $A$ 的第 $i$ 行（带有翻转位 $1 \oplus L^{(0)}_i$）附加到奇偶校验矩阵 $H$ 上，修改解码问题。这强制解码器找到一个修正 $e^{(i)}$，其中第 $i$ 个逻辑可观测量具有与基线互补的结果。
3. 间隔计算与决策：算法汇集所有收敛的解，以识别找到的不同逻辑类集合。它计算“间隔”（Gap），即最可能的逻辑类 $\lambda^{(0)}$ 与第二可能的不同逻辑类 $\lambda^{(1)}$ 之间的对数似然值之差：
   $$\text{Gap} := \log P[\lambda^{(0)}] - \log P[\lambda^{(1)}]$$
   如果所有强制运行均未能收敛，则间隔设为 $\infty$（接受）。如果基线失败，则间隔为 0（拒绝）。应用阈值 $T$；间隔 $\text{Gap} < T$ 的测量被拒绝。

该方法随逻辑可观测量数量线性扩展（$K+1$ 次运行），而非指数扩展（$2^K$），从而使其在计算上可行。

主要贡献

• 互补间隔的推广：这项工作将互补间隔的概念从表面码推广到具有多个逻辑量子比特的通用高码率量子 LDPC 码。
• 高效算法：它引入了一种策略，通过仅强制单个可观测量的偏差来避免对所有逻辑类进行不可行的枚举，将计算负担从 $K$ 的指数级降低到线性级。
• 解码器无关性：该策略旨在与迭代解码器（如置信传播）配合工作，这些解码器可能无法收敛，并将不收敛视为特定信号（擦除或无限间隔），而非方法的失败。
• 轻量级实现：与依赖高延迟有序统计解码（OSD）的先前高性能策略不同，该方法依赖于 FPGA 友好的置信传播（特别是 Relay-BP 解码器）。

结果
该策略使用 Relay-BP 解码器在以下场景进行了基准测试：

• 空闲电路：72 量子比特 [[72, 12, 6]] 和 144 量子比特 [[144, 12, 12]] 双变量自行车（BB）码。
• 逻辑操作：144 量子比特码的手术小部件（模块内 $X_1$、$Y_1$ 和模块间 $X_1X_1$）。

主要发现包括：

• 错误率改进：在物理噪声 $p=10^{-3}$ 下的 72 量子比特码上，该策略在 1% 的后选择率下实现了每轮约 $3.5 \times 10^{-8}$ 的逻辑错误率。与类似条件下之前的后选择策略（例如 [LEB25] 约为 $10^{-5}$，[Xie+26] 约为 $1.5 \times 10^{-7}$）相比，改进幅度超过 4 倍。
• 后选择率：性能提升在低后选择率（低于 1%）时最为显著。在约 1% 的拒绝率之后，逻辑错误率曲线趋于平坦，因为剩余的测量要么具有无限间隔（基线收敛，强制运行失败），要么是擦除。
• 与先前工作的比较：虽然其他策略（如 [LEB25] 和 [Xie+26] 中的策略）可以在更高的后选择率（例如 5–30%）下继续改进，但它们通常需要计算量更大的解码器（BP-OSD）。强制间隔策略在低拒绝率区域提供了更优越的性能，且计算开销显著更低。

意义与主张
该论文声称，强制间隔策略为高码率量子 LDPC 码的后选择提供了一种“简单且通用”的解决方案，以轻量级计算提供了改进的逻辑错误率。作者将其定位为后选择可用的场景下的实用工具，特别是用于离线资源态生成任务（如魔态蒸馏），在这些任务中操作噪声通常占主导地位。

作者谦逊地指出，对于测试的空闲电路，该策略在后选择率超过 1% 后没有显著改进，未来的工作可以通过将该方法与其他解码技术（例如 OSD 或剪枝）结合，来解决由强制运行不收敛引起的误差底限问题。他们还强调，虽然该策略对当前的码尺寸有效，但其扩展到更大的码距离和更低的物理错误率需要进一步研究，可能需要通过罕见事件分析而非直接蒙特卡洛模拟来实现。