剑桥 Kirkwood-Dirac 负性:量子优势的「必要不充分」——'有用魔法'与'无用魔法'边界重画

量子计算领域有一句老话:「magic is all you need」。magic states(魔法态)被当作量子计算燃料——没有它,量子计算机和普通计算机没区别。8 月 19 日发表于《Physical Review Letters》的一项研究把这句话的边界画得更清楚了:剑桥大学卡文迪什实验室 J.J. Thio 和 David Arvidsson-Shukur 团队证明,魔法是必要条件,但不是充分条件——「有用魔法」与「无用魔法」之间,有一条硬边。

关键洞察:Kirkwood-Dirac 负性

柯克伍德-狄拉克(Kirkwood-Dirac, KD)分布诞生于 1945 年的剑桥:物理学家保罗·狄拉克在圣约翰学院借用了 MIT 的约翰·柯克伍德 1935 年提出的一种类似分布,扩展成完整的数学框架。这套框架里有个听起来悖论的概念——负概率。狄拉克当年坚持方程中的负数解应该被认真对待,这一坚持最终导向反物质的预言。

剑桥团队把这个 80 年前的数学工具翻出来,给了它新的用途:

• 当 KD 分布在某量子态的整个计算过程中始终保持正值或零,经典计算机可以轻松模拟。
• 当 KD 分布出现负值,经典模拟的难度呈指数级急剧攀升——这往往意味着真正的量子优势可能存在。

现场验证:笔记本上完成的「量子任务」

为了让理论落地,Thio 与博士生 Rishi Goel 合作,在普通笔记本电脑上编写了一套经典模拟程序。这套程序成功完成了此前被普遍认为必须依赖量子计算机才能完成的计算任务。

也就是说,经典计算的边界,实际上比此前设想的更宽。Arvidsson-Shukur 把这件事说得更直白:「如果没有这类基础性研究工作的支撑,我们将永远无法真正判断,一台量子设备究竟是否已经实现了某种真正超越经典计算能力范畴的突破。」

美国马里兰大学量子信息与计算机科学联合中心 Nicole Yunger Halpern 博士评论:业内一些学者多年来一直猜测 KD 负性或许能够助力识别真正有用的魔法态,如今这支团队终于给出了肯定答案,这让我感到十分振奋。

这件事为何重要

全球各国政府与私营企业正在向量子计算领域投入百亿英镑/美元级的资金。但量子计算机究竟何时才能在具备实际应用价值的任务上真正超越经典计算机,科学界依然存在相当程度的不确定性。这种不确定性,部分来自「量子优势」定义本身模糊。

剑桥团队的贡献不是给量子优势加一个判断标准,而是给「宣称量子优势」加了一个否定式测试——如果你拿不出一份「KD 负性存在」的证明,你的「量子优势」声明就缺少理论支撑。这给所有声称「我们做到了 quantum advantage」的论文和公司,套上了一道以前没有的工程检查项。

更深远的意义在于魔法态制备。魔法态是大规模量子计算机最关键的工程难题之一——能更精准地识别「有用的」魔法态,直接决定能否制造与应用这类资源。这是工程难题的「导航坐标」。

一个判断:量子优势的话语权重画

过去十年,「quantum supremacy / quantum advantage」已经变成了产业宣传词。谁能在 50 比特、100 比特、200 比特上跑出一个「经典模拟不来」的电路,谁就能上头条。问题是很多这种「优势」是脆弱的——经典算法的进步或某些数学结构的发现,会突然把优势抹平(参考 IBM 用张量网络改进击败 Google Sycamore 的「量子优势」案例)。

剑桥团队给出的不是「哪种算法可以跑赢经典」的清单,而是一套反向判据:先证明 KD 分布出现负值,才有资格讨论量子优势。这把话语权重画了:「魔法」不再是「声称」,而是「证明」。

谁会被改变

第一,所有量子计算公司——尤其是用「quantum advantage」做营销卖点的——需要补充一份「KD 负性证据」。第二,经典算法研究者——他们手里有一类此前被认为需要量子的任务,现在可以走「KD 正定 → 经典可模拟」的路径。第三,各国政府的科技政策——百亿级投入的去向,会跟着 KD 负性这把筛子重新审视。

「魔法」这个词,以后要写论文用,得先经过 KD 负性这关。

参考:Physical Review Letters 8/19 论文、量子线 QuantumWire 8/19、网易科技/163.com 8/23 编译、《The Qubit Report》Weekly Round-Up 8/22 列入「Verification」专栏、J.J. Thio(圣约翰学院博士)、David Arvidsson-Shukur(Hitachi Laboratory 卡文迪什)、Crispin Barnes 教授组、Nicole Yunger Halpern(JQI Maryland)