Mid-circuit measurements and feedforward implement every unitary exactly in constant depth

在量子计算领域，最强大的机器并非仅仅由其容纳的粒子数量来定义，而是由其操纵这些粒子的速度来定义。想象一下，量子处理器是一个广袤而脆弱的信息景观，每一次计算都是一系列步骤的序列。在传统观点中，对一大组粒子进行复杂的变换需要一条漫长且曲折的操作路径，一个接一个地进行。完成这条路径所需的时间（被称为电路深度）会随着粒子数量的增加而增长。对于拥有大量粒子的机器而言，这种深度会成为瓶颈，迫使系统维持其状态的时间过长，从而导致误差侵入并破坏计算。科学家们长期以来一直在思考，是否存在一种方法可以缩短这一过程，即无论系统规模如何，都能几乎瞬间完成这些大规模变换。这种潜在捷径的关键在于一种被称为“中途测量”（mid-circuit measurement）的技术，即机器在运行过程中停下来观察自身的一部分状态，并利用该信息立即调整下一步操作，这一过程被称为“前馈”（feedforward）。

陈风飞（Chenfeng Cao，音译）在香港大学开展的一项新研究表明，这种捷径不仅是理论上的可能性，而且是精确合成（exact synthesis）在数学上的现实。研究证明，借助中途测量和即时经典调整，可以在常数时间内构建量子系统上的任何可能的变换，前提是允许系统使用大量的额外粒子。这意味着，无论系统涉及的是少量粒子还是海量粒子，执行计算所需的时间都保持不变，有效地抹平了长期制约量子设计的“时间曲线”。然而，这种速度伴随着显著的代价：对于几乎所有可能的变换，实现这种常数深度都需要随系统规模呈指数级增长的额外粒子数量。该研究通过使用一种称为“残差修复”（residual repair）的特定策略来实现这一点，该策略巧妙地将一个近似猜测与精确修正相结合，使得机器能够将猜测产生的精确误差“传送”到一个最终的、完美的计算结果中。

这一发现的核心在于量子电路中信息流动的基本限制。如果没有观察系统并实时调整的能力，任何单一操作的影响都会受到“因果锥”（causal cone）的限制——这是一个只能随着时间的推移而增长的电路区域。为了影响大型系统的每一个部分，操作必须堆叠成一个长序列，使得电路深度随粒子数量线性增长。曹的研究表明，通过引入测量和前馈，这个因果锥被打破了。经典计算机可以即时处理测量结果，并将修正应用于量子系统的远程部分，从而有效地绕过了长链操作的需求。其结果是构建出的结构仅需常数步即可完成，这比之前的最佳估计有了戏剧性的降低，尽管这是以牺牲大量的量子空间为条件的。

为了使这一过程奏效，研究人员必须解决一个难题：如何在不破坏脆弱量子态的情况下修复近似值。他们从一种可以非常接近目标变换但并不完全完美的方法开始。他们并没有试图从头开始构建完美版本（因为那会耗时太久），而是将近似值与真实值之间的差异视为一个独立的、较小的量子态。他们预先准备了这个“误差态”，然后使用一种称为“相干干涉”（coherent interference）的技术将其重新加回到近似值中。通过仔细平衡两者，他们创造了一个恰好等于目标变换的新状态。这个过程被称为“残差修复”，它依赖于一种特定类型的量子隐形传态，这种技术将误差移动到主计算中，而不会以一种会导致整个系统坍缩的方式对其进行测量。

该研究提供了一套构建这些电路的具体方案，详细说明了实现这一目标需要多少额外的粒子（即辅助比特/ancillas）。该构造所需的额外粒子数量随系统规模增长，但运行电路所需的时间却保持不变。研究人员展示了，对于一个粒子系统，该过程所需的额外粒子数量大约与粒子数的平方乘以一个对数因子成正比，但电路深度保持恒定。这种权衡至关重要：它表明可以用空间换取速度，但前提是必须以一种非常特定且智能的方式使用这些空间。论文还证实，这种速度并非偶然；对于通用的变换而言，这是最好的可能结果。如果没有使用测量和前馈的能力，所需的时间必然会增长，这证实了加速效应正是源于“观察并调整”的能力。

研究人员还探讨了如果机器受限于使用最基本的构建模块（例如仅影响一到两个粒子的简单门）会发生什么。在这种受限的环境下，这种常数深度的构造只有在机器利用扇出门（fanout gates）或基于测量的前馈装置时才成立。研究证明，如果机器仅限于使用没有这些前馈能力的单比特和双比特门，执行变换所需的时间必须随系统规模线性增长，达到 $O(n)$ 的深度。这种区别凸显了“测量与前馈”方法的独特威力，将其与仅靠增加硬件的方法区分开来。该工作还讨论了这种速度的极限，指出虽然时间可以是常数，但所需的粒子数量是巨大的，并且对于给定的速度，粒子使用量存在一个硬性的下限。

这项研究解决了一个关于量子电路设计基本极限的长期疑问。它证实了增长的时间壁垒并非绝对的自然法则，而是电路构建方式的结果。通过允许机器暂停、测量和修正，研究人员表明，只要系统能够获得大量的辅助空间，就可以完全消除时间壁垒，实现精确变换。这些发现不仅具有理论意义，还为未来如何设计量子计算机以处理复杂任务提供了蓝图，使其免于陷入困扰长时运行计算的误差之中。该研究并未声称已经制造出这样的机器，但它证明了该蓝图是有效的，且量子力学定律允许达到这种效率，尽管这需要显著的资源投入。

这项工作的影响延伸到了我们看待量子复杂性的方式上。几十年来，人们一直假设某些任务会随着系统的增长而耗时更长。本文推翻了针对精确变换的这一假设，表明通过正确的工具和充足的资源，时间可以保持恒定。研究人员使用了一种涉及准备大量额外粒子、编码近似误差并使用单步量子放大来修复结果的方法。这个过程是确定性的，意味着它每次都能奏效，无需重复试验，并且会将所有额外粒子返回到初始状态，以便重复使用。研究还阐明了如果机器仅限于在最后阶段观察系统，则这种加速是不可能的，这进一步强化了“在中途介入”是解锁常数时间性能之关键的观点。

在更广泛的量子计算格局中，这一结果为时间与空间之间的权衡提供了新的视角。它表明，如果我们愿意投入硬件来持有必要的额外粒子，我们就可以实现此前被认为不可能达到的速度水平。论文通过结合已知的技术（如振幅放大）和对如何处理近似残差误差的新见解，提供了实现这一目标的严谨证明。该工作也触及了使用更简单门电路的极限，表明即使使用最基本的运算，常数深度的目标也只有在具备测量和前馈能力的情况下才能实现。这种对“可能”与“不可能”的清晰界定，有助于指导未来量子技术的发展，引导研究人员转向优先考虑中途测量和经典控制的架构。

研究结论还讨论了实现的实际操作问题，指出虽然理论构造是完善的，但所需的粒子数量巨大。然而，论文强调电路深度保持恒定，这才是主要目标。研究人员还指出，这一结果适用于广泛的变换，涵盖了量子系统可能发生变化的几乎所有方式，尽管实现通用目标需要指数级的宽度。通过证明在这些特定资源条件下可以常数时间内完成这些变换，该研究消除了构建更强大、更高效量子计算机的一个主要理论障碍。这项工作对于“精确合成是否可以加速”这一问题给出了明确的回答，表明只要有正确的策略和足够的空间，答案是肯定的。