1979年的夏天,大西洋波多黎各海岸,两个浑身湿透的男人在海水里泡了几个小时。没人想到,这场被迫"困在原地"的闲聊,会在45年后被图灵奖追认——计算机界的诺贝尔奖,第一次颁给了量子信息领域。
Charles Bennett和Gilles Brassard。一个IBM研究员,一个刚写完公钥密码学论文的密码学家。他们的相遇像极了两条本不该交汇的河流:Bennett痴迷于大学室友Steven Weisner的狂想——用量子力学造无法伪造的数字货币(没错,1960年代末就有人设想加密货币了);Brassard则对物理学毫无兴趣,只想搞他的密码学。
「如果我当时站在陆地上,肯定会拔腿就跑。」Brassard后来回忆。但海水困住了他,他只好礼貌地听完这个陌生人的奇谈怪论。这场被迫的倾听,成了量子信息理论的起点。
要理解他们做了什么,得先回到那个年代的认知盲区。1950年代到1980年代,量子力学在计算机科学家眼里就是个麻烦——晶体管太小,电子行为飘忽,得懂点量子理论才能造芯片。「人们把量子力学当成一种噪声。」Bennett说。它是需要被屏蔽的干扰,是工程上的绊脚石,唯独不是资源。
Bennett和Brassard的翻转在于:他们把量子世界的"缺陷"变成了武器。量子态不可克隆、测量即坍缩、纠缠粒子隔空关联——这些曾被视为怪癖的特性,被重新编码为通信协议。1984年,BB84协议诞生,世界上第一个量子密钥分发方案。经典公钥加密依赖数学难题(比如大数分解),量子加密则依赖物理定律本身。
从"噪声"到"协议":一次认知框架的迁移
BB84的核心设计像一场精心编排的猜谜游戏。发送方随机选择两种偏振基(直线或对角)来编码光子,接收方也随机选择基来测量。只有双方碰巧用了同一套基,比特才能被正确读取。窃听者若想截获,必须测量光子,而测量行为本身会扰动量子态——留下可追溯的痕迹。
这背后的理论地基,是Bennett更早与Stephen Wiesner合作提出的"量子货币"构想。Wiesner在1960年代末还是哥伦比亚大学本科生时,就意识到量子态不可克隆的特性可以防伪:每张量子钞票对应一组秘密偏振态,银行持有副本验证,复制则必失真。这个超前时代太多的想法,当时被期刊拒稿,只能以手稿形式流传。
Brassard的加入带来了密码学的严谨框架。他把Bennett的物理直觉形式化,将量子通信纳入信息论的语言体系。两人的合作模式很有意思:Bennett提供物理图景,Brassard翻译成数学证明。这种跨学科的张力,恰恰是量子信息学科诞生的缩影。
图灵奖官方对BB84的评价是「量子密码学的奠基性协议」。但更值得玩味的是时间线——从1979年的海水对话,到1984年论文发表,再到2025年获奖,中间隔了整整41年。科学史家喜欢谈"延迟认可",但这个案例的特殊在于:量子计算的商业化浪潮,反而让基础理论的价值被重新发现。
IBM的"放养"策略:一个研究机构的耐心
Bennett的职业生涯有个细节常被忽略。他1972年加入IBM,却在1979年会议前经历了漫长的学术沉默期——几乎没有发表论文。换成今天的科技公司,这种"产出空白"大概率触发绩效警报。但IBM研究院给了他游荡的空间。
这种耐心在 corporate research lab 的历史上并不罕见,但正在消失。贝尔实验室的鼎盛期、施乐帕洛阿尔托研究中心的辉煌,都建立在"允许聪明人做无用之事"的共识上。Bennett在IBM的轨迹是这种文化的尾声:他可以花数年追踪一个大学室友的古怪想法,可以在会议上随机搭讪陌生人,可以把量子力学从"工程噪声"重新定义为"计算资源"。
Brassard的路径则体现了学术体系的灵活性。他在蒙特利尔大学建立了量子信息研究组,持续将BB84扩展为完整的学科分支——量子密钥分发、量子隐形传态、量子纠缠蒸馏。当Google、IBM、微软在2010年代后疯狂投入量子硬件时,他们依赖的理论工具箱,很大程度上是Brassard这一代人在没有商业压力时搭建的。
一个对比数据:2023年全球量子技术投资超过30亿美元,但量子通信的协议层创新,仍然主要引用1984-1993年间的理论成果。BB84及其变体(如E91协议)至今是量子密钥分发的标准参照。硬件迭代了几十代,基础协议却几乎没变——这既是理论前瞻性的证明,也暗示了工程落地的瓶颈。
量子计算的"信用危机"与理论锚定
图灵奖这次选择的时机颇有意味。过去五年,量子计算领域经历了从狂热到质疑的摆动。Google的"量子霸权"声明被IBM质疑定义边界,各大公司的路线图频繁推迟,"NISQ时代"(含噪声中等规模量子)的实际应用至今模糊。投资者开始区分"真正的量子优势"和"可以用经典计算机模拟的量子演示"。
在这种背景下,回归基础理论是一种纠偏。Bennett和Brassard的工作有一个特质:它不依赖特定硬件实现。BB84可以用单光子、纠缠光子对,甚至后来的连续变量系统来实现;它的安全性证明基于量子力学的公理,而非工程参数。这种"硬件无关性"在商业化喧嚣中显得尤为珍贵。
量子信息学科的另一个奠基人、2022年诺贝尔物理学奖得主Anton Zeilinger,曾在采访中区分过两种研究风格:一种是"为了理解量子力学而做实验",一种是"为了建造量子计算机而做工程"。Bennett和Brassard属于前者,但他们的理论意外催生了后者的产业生态。这种"无用之用"的辩证法,在基础科学史上反复出现。
一个容易被忽略的事实是:量子密钥分发(QKD)是目前唯一被严格证明安全的通信方式——前提是物理实现没有漏洞。这里的张力在于,理论安全性与工程安全性之间存在鸿沟。BB84证明了窃听必然扰动系统,但没有证明某个具体的光子探测器不会被黑客攻击。这种"协议安全vs实现安全"的区分,是量子密码学从论文走向产品的核心挑战。
从数字货币幻想到后量子密码学
回到那个海水里的对话起点,有个循环值得注意。Wiesner的量子货币构想——不可伪造的数字货币——在2025年听起来像比特币的技术前身,但逻辑完全不同。量子货币依赖中心化的银行验证,比特币依赖去中心化的共识机制;前者防复制,后者防双花。两种路径,解决的是"数字稀缺性"的不同侧面。
更具现实关联的是后量子密码学(PQC)。当量子计算机真正威胁到RSA和椭圆曲线加密时,BB84所开创的"基于物理定律而非计算假设"的安全范式,提供了替代思路。不过实际部署中,PQC更倾向使用格密码等抗量子数学难题,而非量子通信——因为后者需要专用硬件,成本高昂。
这种"理论优雅vs工程可行"的权衡,贯穿量子信息技术的整个历史。Bennett和Brassard的获奖,某种程度上是对"优雅"一方的迟来认可。但图灵奖的委员会也清楚,他们表彰的不是应用成功,而是范式开创:把两个分离的领域(计算机科学与量子物理)焊接成新的学科。
Brassard在获奖后的采访中提到一个细节:1979年会议后,他和Bennett的合作并非一帆风顺。BB84论文最初投稿时,审稿人抱怨"这更像是物理学的论文",物理学界则觉得"这是计算机科学家的玩具模型"。跨学科的模糊地带,既是创新的空间,也是认可的障碍。
这种边缘位置持续了大约十五年。直到1994年Peter Shor提出量子因数分解算法,证明量子计算机可以破解RSA,量子信息才获得主流关注。Shor的算法是"杀手级应用",但BB84提供了更早的"存在性证明"——量子力学可以被主动利用,而非仅仅被动规避。
获奖名单里的学科版图
梳理图灵奖的历史,能读出计算机科学的重心迁移。1960-70年代表彰算法与语言(Dijkstra、Knuth、Hoare),1980-90年代转向网络与系统(Cerf、Kahn、Berners-Lee),2000年后人工智能占据主导(Hinton、Bengio、LeCun)。量子信息是第一次以基础理论形态获奖,而非具体系统或应用。
这与诺贝尔物理学奖形成有趣对照。2022年,Zeilinger、Aspect、Clauser因量子纠缠实验获奖,表彰的是"验证量子力学非定域性"的物理工作。图灵奖2025年的选择,则强调同一批物理现象的计算意义。两个奖项从不同方向逼近同一主题,暗示量子信息作为交叉学科的成熟。
热门跟贴