Quantum subspace verification for error correction codes

为了制造出能够解决当今任何机器都无法处理的问题的计算机，科学家们正在竞相研制量子计算机。这些设备利用亚原子世界的奇特规则，以一种在我们的日常经验中看似不可能的方式来处理信息。然而，这些机器极其脆弱。来自热量、振动或电磁噪声的哪怕最轻微的干扰，都可能导致它们所持有的信息发生混乱并消失。为了解决这个问题，研究人员使用了一种称为“量子纠错”的技术。他们不是将单个信息存储在一个微小的粒子上，而是将其分散在许多粒子上，从而建立起一个安全网。如果一个粒子出错，其他粒子可以帮助修复它，就像一个合唱团，其中一名歌手唱错了一个音符并不会毁掉整首歌，因为其他成员会继续维持旋律。

挑战在于如何知道这个安全网是否真的在起作用。在现实世界中，这些量子系统充满了噪声，而科学家追求的“完美”状态极少能实现。为了检查量子计算机是否在履行职责，科学家通常试图测量整个系统，以观察它与理想状态有多接近。但这种传统方法就像是通过数清海滩上的每一粒沙子来检查海滩的大小一样；这需要耗费巨大的时间和精力，以至于对于大型系统而言变得不再可能。由 Junjie Chen 及其同事开展的一项新研究提供了一种更聪明的方法，无需测量每一个部分，即可检查这些量子纠错系统的健康状况。

研究人员意识到，要验证量子计算机是否正常工作，并不需要了解每个粒子的精确状态。你只需要知道系统是否保持在纠错码设计的特定“安全区域”内。他们开发了一个名为“量子子空间验证”的新框架。可以将纠错码想象成一座大建筑中的一个特定房间。目标是确保计算机位于该房间内，而不一定是要绘制出其在房间内的每一寸位置。通过关注这一更广泛的区域，该团队创建了一种只需使用极少测量次数即可确认系统按预期运行的方法。

该团队在量子纠错领域使用的两种主要纠错码类型上测试了他们的想法：稳定器码（stabilizer codes）和量子低密度奇偶校验码（quantum low-density parity-check codes）。稳定器码就像是一套规则，告诉粒子如何共同协作；而另一种则是更复杂、更灵活的结构，旨在高效地处理错误。研究人员表明，通过使用他们的新方法，他们可以通过仅进行局部测量来验证这些纠错码。这意味着他们只需要一次检查一小组粒子，而不是同时检查整个系统。对于许多常见的纠错码，所需的不同测量设置的数量少得令人惊讶，有时甚至在计算机规模增长时仍保持不变。

一个关键发现是，对于某些先进的纠错码，验证系统所需的精力并不会随着所使用的物理粒子数量的增加而增加。在过去，检查更大的系统意味着指数级增长的工作量，很快就会变得无法管理。通过这种新方法，工作量保持在可控范围内，并且在某些情况下，验证工作量仅取决于被保护的逻辑信息的数量，而非持有它们的物理粒子的总数。这是一个重大的转变，因为这意味着科学家可以在不需要资源失控的情况下，验证大规模量子计算机。

研究人员还将这种新的验证方法与一种现有的技术相结合，该技术用于估算特定量子态与目标态的匹配程度。这种结合使得检查“魔术态”（magic states）的质量成为可能，魔术态是执行最强大计算所需的特殊且复杂的量子态。以往检查这些状态的方法资源消耗极大，以至于在大型系统中无法实际应用。新协议大幅减少了所需的测量次数，使得高效验证这些关键状态成为可能。

这项研究为随着规模增长的量子计算机测试提供了一条清晰的路径。通过利用已知的纠错码结构来指导测量，该团队已经证明，利用此前认为所需的极小部分资源，即可以高置信度完成验证。这项工作不仅仅是理论上的改进，它还提供了一个可以在当前及未来量子硬件上实现的实用工具。随着科学家们向构建容错量子计算机迈进，拥有可靠且高效的方法来检查其性能至关重要。这一新框架确保了当这些机器最终准备就绪时，我们能够确切地知道它们的运行状况如何。