Quantinuum 补集采样实验：量子与经典策略出现指数级差距

量子计算的“优势”常被一句标题概括，但 Quantinuum 这项结果更值得从它究竟证明了什么、又没有证明什么来理解：在一个专门构造的补集采样（complement sampling）游戏中，量子处理器给出的统计结果超过了严格推导出的经典策略上限；对于源自 Bernstein–Vazirani 问题的一族实例，理想的量子—经典“违背比”按 2^(n−1) 增长。字符串长度为 37 位时，这一量级超过 1370 亿比 1。4

这是一种界定非常清楚的指数级量子优势证据，但并不表示 H2 处理器比经典计算机“快 1370 亿倍”，更不意味着量子计算已经在通用工作负载或商业应用上全面胜出。它证明的是：在这项有明确规则和指标的采样任务中，理想量子策略与允许的经典策略之间存在指数级分离。

补集采样游戏：用直白的话说

设裁判秘密选定一个集合 S，其中包含全部 n 位二进制字符串的一半，并制备一个量子态：它是集合 S 内所有字符串的等权叠加。玩家的任务是输出属于补集 S̄ 的某个字符串，也就是一个不在 S 中的字符串。34

经典玩家拿到的只是来自 S 的一个普通样本。它当然知道这个具体字符串不该输出，却几乎无法据此判断其余海量字符串中，哪些属于 S、哪些属于 S̄。因此，经典策略受到形式化上界的限制。47

量子玩家得到的则不是已被测量成单一结果的样本，而是保留相干性的集合叠加态。实验所采用的特殊结构化实例中，量子变换可以把与 S 对应的态映射为仅支持在其补集上的态；在理想无噪声条件下，对变换后的态进行测量，就能以确定性得到一个有效的补集字符串。34

这里被检验的核心资源是量子相干性：在不先把叠加态坍缩为一次经典观测的前提下，对同时承载许多可能字符串信息的量子态进行变换。它不是贝尔测试，也不是关于空间非定域性的演示。

为什么差距会指数增长？

关键比较不是单纯的成功概率。论文定义了超过经典基线的、针对该游戏的违背度量。对于 Bernstein–Vazirani 衍生实例，理想量子策略与经典策略的比值为 2^(n−1)。4

当 n = 37 时：

2^36 = 68,719,476,736

实验报告采用的违背度量约定使比较结果表述为超过 1370 亿比 1。无论采用哪种表述，重点都是其标度规律：理想量子信号保持完美，而经典策略被允许获得的优势会随着字符串长度增加而指数式缩小。4

这不等于 H2 处理器以快 1370 亿倍的速度完成了某项实用计算。该数字描述的是在这套游戏规则和这一指标下，两种理想策略之间的分离程度。

H2 硬件实际运行了什么？

研究团队在 Quantinuum 的 H2 囚禁离子处理器上执行了数千条量子线路，最多使用 55 个物理量子比特，测试的字符串长度最高为 37 位。48

真实硬件不可避免存在噪声。因此，实测量子表现低于理想情况下的完美成功率，而且线路越大，误差影响越明显。但报告结果依然在统计意义上高于适用的经典阈值，支持这些设备足以实现量子策略并违反经典上界这一结论。4

这一区别很重要：实验并非声称经典机器无法打印出相同的有限比特串；它表明，在规定的输入模型下，所测得的答案分布超过了被允许的经典策略所能达到的范围。4

与早期“量子优势”测试相比，改进在哪里？

许多较早的量子采样演示，依赖复杂性理论假设来论证经典模拟应当很困难。补集采样的设计则避开了这一特定依赖：其对经典策略的限制是直接针对游戏本身推导出来的，而非建立在尚未证明的计算困难性猜想之上。34

它的验证也较直接。裁判知道隐藏集合是如何构造的，因此可检查输出是否落在补集内。相比之下，随机线路采样在大规模下的验证，可能需要代价高昂的经典模拟，或极大量的样本。34

这些特点使补集采样成为近期量子硬件的一种基础性基准：它被专门设计为既能显露清晰的量子—经典分离，又能由经典计算进行验证。

标题背后的边界条件

这是一项专门的采样任务

该游戏是为展示样本式信息处理中的量子优势而构造的。它不等于已经证明量子计算可在化学、优化、密码学、人工智能或通用计算中实现实用加速。4

“无条件”不等于“设备无关”

经典上界在该数学游戏内部是无条件成立的，但实验协议仍要求信任裁判正确制备了输入量子态。这不同于完全设备无关的测试；后者无需信任装置的关键组成部分也能得出结论。4

裁判与玩家并非两台独立量子计算机

由于当时没有连接两台量子计算机的真实量子通信信道，实验将裁判和玩家的量子寄存器置于同一台量子处理器中，并借助量子隐形传态模拟量子信道。4

更强的后续演示，应当采用通过真实量子链路连接、彼此独立控制的系统，理想情况下还应建立在容错硬件之上。不过，构建这类分布式系统本身就很困难：量子态传输与维持相干性都可能成为瓶颈。14

指数级并不一定是终点

这项结果为该游戏家族建立了指数级分离，但没有证明这已是量子—经典差距的最大可能形式，也没有展示超指数级分离。基于现有证据，能否在既具物理意义、又可高效验证的任务中找到更强分离，仍是开放问题。

这项实验实际确立了什么？

更准确的表述是：当前的囚禁离子硬件在一项可高效检查的补集采样游戏中，跨越了严格的经典界限；而该游戏中理想量子策略相对于经典策略的分离会随问题规模指数增长。34

与含糊地宣称“量子霸权”相比，这一主张更具体：任务、度量、验证方式和信任前提都可以清楚说明。但也正是这些细节划定了它的适用范围。该实验有力表明，量子叠加能在这一精心设计的场景中提供指数级优势；它并不是量子计算机已在广泛现实工作负载上超越经典系统的证据。