Local-dimension-invariant low-density parity-check stabilizer codes

量子计算机有望解决普通机器需要数千年才能破解的问题，但它们是出了名的脆弱。它们所承载的信息极易被微弱的热量或振动所扰乱。为了保护这些脆弱的数据，科学家们使用了一种称为纠错的策略，其原理是将单条信息分散到许多物理部件中，这样即使其中一个部件失效，整个信息仍能得以保存。多年来，这种策略几乎完全建立在二态系统之上，即被称为“量子比特”（qubits）的系统，它们的功能就像微小的开关，要么是开，要么是关。然而，自然界提供的不仅仅是两种状态。许多物理系统，例如光波或振动的原子，可以同时存在于许多不同的状态中。这些被称为“量子多比特”（quudits）。使用这些更丰富的系统可以使量子计算机变得更强大、更高效，但将为二态开关设计的成熟安全网转化为这些多态系统的过程，一直是一个难以逾越的障碍。

核心难点在于一个数学上的安全性要求。当研究人员试图将一种编码从二态系统适配到多态系统时，必须确保无论有多少个状态可用，该编码都能保持稳定。以前确实有一种方法可以做到这一点，但它有一个严重的缺陷：为了保证代码确实能保护数据，系统中的状态数量必须是一个大于某个巨大的、通常是不切实际的截断值的质数。这意味着对于许多极具前景的物理系统而言，该方法在理论上是成立的，但在实践中却毫无用处，因为所需的状态数量太高，以至于无法构建或控制。

在这项工作中，研究人员致力于降低这一不可能的门槛。他们专注于一种特定且高效的编码类型，即低密度奇偶校验码（low-density parity-check code）。这些代码之所以特殊，是因为它们是“稀疏”的，这意味着每条信息仅由少数几条规则进行检查，而不是由复杂的网络进行检查。通过专注于这些稀疏结构，团队发现那个巨大的截断值并非自然界的根本法则，而是由于以往构建代码方式所导致的产物。他们发现，通过仔细重新排列代码结构中的符号和连接，可以大幅度减少所需的状态数量。在某些情况下，所需的状态数量被减少到了代码设计的初始数值，或者减少到了一个增长极其缓慢、与计算机规模无关的数值。

研究人员不仅找到了一个更小的数字，还解释了这个数字在现实世界中究竟意味着什么。他们表明，这个截断值直接关系到物理实验所需的精度。对于使用连续波（如光波或声波）来存储数据的系统，这个数字代表了这些波必须被聚焦或“挤压”（squeezed）到多么精确的程度，以避免误差。他们较低的新数值意味着，运行这些代码所需的物理设备不需要像之前认为的那样完美或极端。这使得利用多态系统进行量子计算的梦想变得显著更加可行。

为了实现这一点，团队开发了一种新的构建代码的方法，这种方法依赖于各部分之间连接的具体几何结构。他们证明了对于许多常见的代码类型，特别是那些源自较简单的二态系统的代码，可以通过排列组件的方式，使那些危险的高数值根本不会出现。他们论证了，如果部件之间的连接足够稀疏，即使在状态数较少的情况下，代码依然能够保持安全。这一发现为使用更多样化的物理材料和设计来构建量子计算机打开了大门，推动该领域向着能够充分利用量子世界潜力、而不受限于不可能实现的数学约束的机器迈进。

该研究还探讨了这些代码在不同形状上的表现，例如球面或更复杂的曲面几何结构。他们发现，即使在这些不寻常的形状上，新方法也能创建出具有极低要求的稳定代码。这表明该方法是稳健且灵活的，能够适应自然界中各种不同的利用方式。通过消除对过量状态数量的需求，研究人员实际上清除了一个主要的障碍，将一个理论上的可能性转变为一个现在已触手可及的实际工程挑战。这项工作证实了通往强大量子计算机之路并非被一堵不可逾越的高墙所阻挡，而是被一扇此前因钥匙过大而无法开启的门所阻隔；而他们现在已经锻造出了一把合适的钥匙。