Full Extractors for Logical Processing in Hypergraph Product Codes

为了构建一台能够解决当今机器无法处理的问题的计算机，科学家们必须首先解决一个根本问题：如何保护脆弱的信息。量子计算机使用处于微妙状态的粒子，而这些状态在受到热量或噪声干扰时极易坍缩。为了防止这种情况，研究人员使用量子纠错技术，这是一种将单个信息片段分布在许多物理粒子上的方法。如果一个粒子失效，其他粒子仍能保持信息的真实性。目前最常用的实现方式是使用一种被称为“表面码”（surface code）的网格状结构，这种方法虽然可靠，但需要大量的物理粒子来存储仅仅几个信息片段。这种高昂的成本使得大规模计算变得困难。一类较新的代码，被称为“量子低密度奇偶校验码”（quantum low-density parity-check codes），提供了一种使用更少粒子存储相同量信息的方法，但由于执行操作所需的粒子间连接非常复杂且难以用现有硬件构建，它们一直难以用于实际计算。

麻省理工学院的一个研究小组现在设计出了一种弥合这一差距的系统。他们创建了一种在这些高效代码上执行计算的方法，而无需之前认为必需的复杂、可重构的连接。研究人员构建了他们称之为“全提取器”（full extractors）的东西，这是一种附着在量子计算机主存储器上的专门辅助系统。这些提取器充当测量工具，允许系统读取编码在量子存储器中的任何特定信息片段，而不会干扰其余部分。通过利用经过验证的小型组件来组装这些工具，该团队证明了在保持硬件连接简单且固定的情况下，测量特定类型高效代码上的任何逻辑操作是可能的。

该团队解决的核心挑战是如何测量存储在这些高效代码中的信息。在量子计算机中，你不能简单地通过“观察”数据来了解其内容，因为观察的行为本身会破坏信息。相反，你必须通过一种称为“代码手术”（code surgery）的过程进行间接测量。这涉及将存储器块与一组额外的辅助粒子临时合并，进行测量，然后将其分离。以往使用高效代码进行此类操作时，需要具备在运行过程中重新布线粒子间连接的能力，而这种能力在目前大多数量子处理器所使用的超导芯片上是难以实现的。其他方法虽然使用了固定连接，但只能测量有限的一组操作，这迫使计算机将复杂的任务分解为许多更小、更慢的步骤。研究人员希望找到一个折中方案：一个拥有固定连接但仍能直接测量任何操作的系统。

为了解决这个问题，该团队专注于一类特定的高效代码，即“超图积码”（hypergraph product codes）。他们开发了一种分步构建测量工具的方法。首先，他们设计了小型、简单的系统，能够测量存储在内存中仅一个区域的信息。他们验证了这些小型系统足够稳健，能够在不损坏数据的情况下处理错误。接着，他们使用桥接连接将这些小型系统链接在一起，以创建一个能够测量一个方向上所有信息的更大工具。最后，他们将两个这样的较大工具（一个针对一个方向的信息，另一个针对另一个方向）组合成一个完整的系统。这个最终系统——即全提取器——可以测量存储器块上的任何可能的运算。至关重要的是，整个系统的设计都采用了固定的连接模式，其中没有任何单个粒子需要连接到超过十个其他粒子。这种连接水平是在当前超导量子处理器制造技术范围内可以实现的。

研究人员使用详细的计算机模拟测试了他们的设计，以观察其在噪声存在下的表现。他们模拟了一个具有特定错误保护水平的系统，并引入随机错误以观察系统的恢复能力。在这些模拟中，当物理组件的错误率为0.1%时，系统成功测量的逻辑信息错误率约为百万分之一。这一结果意义重大，因为它表明高效代码的优势并不会以牺牲可靠性为代价。模拟还显示，包括存储器和测量工具在内的整个系统规模，仅比存储器块大47%至80%。这与之前的设计相比是一个巨大的进步，因为之前的设计通常需要比其保护的存储器大得多的系统。

这项工作表明，通往实用量子计算之路并不需要等待能够瞬间自我重构的硬件。相反，它表明通过精心的架构设计，具有固定连接的现有硬件也可以支持最高效的纠错码。研究人员指出，虽然他们的模拟使用了一种特定类型的解码器来处理错误信息，但其基本架构是稳健的，并且可以随着解码方法的改进而进行调整。他们还指出，虽然目前的方案侧重于单个存储器块，但同样的原理可以用于连接多个存储器块，从而构建全规模的计算机。通过证明这些高效代码可以在简单的固定连接下运行，该团队已经消除了构建更大、更强大量子机器的一个主要理论障碍。结果表明，这些代码提供的空间节省是可以实现的，而不会引入此前使它们在现实应用中显得不切实际的沉重计算开销。