▲ 图1 1927索尔维会议

你肯定见过上面这张著名的照片，在29人中有17位诺奖得主，包括爱因斯坦、玻尔、居里夫人等，被称为是科学史上最牛的合照，照片中的大多数人物对量子力学做出了重要贡献。但你可能不知道，在“量子计算”领域的历史上，也有一张汇聚了众多精英的 “明星照”：

▲ 图2 1981年MIT会议

01

第一张“明星照”

我们再回头看看这张汇聚如此多的精英在同一张相框内的会议明星照。这时候，距离第一张照片的1927年，已经过去了整整54年。不用仔细对照名字就能知道，两张照片中不太可能有重叠的人物。大半个世纪过去了，照片1中的量子力学第一代创始人，大都已经驾鹤西去，少数仅存者也到了耄耋之年：德布罗意将近90岁，狄拉克也在准备过80大寿。他们都不在MIT的照片里！我能找到的，对量子理论发展作出过重要贡献的知名人物，是弗里曼·戴森和约翰·惠勒，分别在照片中标号为1和12。这两位都可以算作是诺贝尔物理奖的“漏网之鱼”！戴森是生活在美国的英国人，著名的数学物理学家，戴森为量子电动力学的建立做出了决定性的贡献，以他命名的物理术语很多，如：戴森球、戴森树、戴森变换等。他后来一直是普林斯顿高等研究院的教授，直到2020年96岁高龄去世。惠勒是费曼（#38）的老师。也是曼哈顿计划参与者和核反应堆设计师。现代物理学中有许多他创造的术语：量子泡沫、黑洞、虫洞等。我1980年到美国读博时，惠勒刚从普林斯顿到奥斯丁大学，因此和这位大师有不少交往，正值他提出“延迟选择双缝思想实验” 之时，该实验巧妙地体现了量子力学与传统实在观之间的巨大分歧，因而我对此印象深刻，不过从不知道他也关注过量子计算，只知道他后来有一句名言：“万物皆比特”！

▲ 图3 几位科学前辈

照片中居然有一位大名鼎鼎的早期德国机械计算机发明家：康拉德·楚泽（#15）。但他生不逢时，在创造力最旺盛的年纪，碰到了第二次世界大战。他制造出了Z-1、Z-2、Z-3、Z-4等一系列计算机，他1941年研制的Z-3，使用二进制和继电器，是世界上第一个有图灵完全功能的，可编程的通用图灵机。战争时代的科学家难免悲剧命运，在一次空袭中，楚泽的住宅和包括Z-3在内的计算机统统被炸毁。楚泽辛苦的研究和设计工作，被埋没于战火硝烟中。楚泽生于1910年，时年71岁，估计是照片中最年长者。此外还有诸多量子界的、计算机领域的专家和后起之秀：列昂尼德·莱文（43）、诺曼·帕卡德（4）、 阿瑟·伯克斯（35）、大卫·莱因韦伯（14）、 卡尔·亚当·佩特里（17）、爱德华·弗雷德金（9）、汤姆·托弗里（10）、罗尔夫·兰道尔（11）、保罗·贝尼奥夫（30）、丹尼·希利斯（34） ……还有查尔斯·贝内特，是拍照片的人，所以不在框内。

▲ 图4 “照片拍摄者”费曼提出的问题

那么，费曼到底提出了什么问题呢？也许你会感到奇怪，计算机的能力已经如此强大，为什么还要研发量子计算机呢？是科学家们别出心裁多此一举吧？其实是因为经典计算技术中，有一个难以解决的“复杂度”问题。我们经常说到保密通讯的密码，什么样的密码才是最安全的？当然应该是计算机破译不了的，或者是说得更准确一些：是计算机在有效的时间内破译不了的。所谓有效的时间，也就是足够短的时间。你想想，在战争中，总不能花上几年的时间来破解一条敌军传递的信息吧。不要说几年，几天也太慢了啊。这就是说，这类问题的时间“复杂度”太大了。“复杂度”表征的是所需计算量与问题涉及系统变量数N之间的关系。复杂度分时间和空间，时间复杂度指的是所需计算时间T与系统变量数N之间的关系；空间复杂度指所需比特数B与N之间的关系。两者实际上互相关联，我们以时间复杂度为例。一般来说，计算时间将随着系统增大而增加。但T的增大因问题而异，T与N可以成线性关系，也可能成平方关系，也有可能是随着N指数增长。可以用函数 O(1)、O(N)等等来表示复杂度，即表示T随N增加的快慢。时间复杂度包括：线性关系O(N)、平方关系O(N2)、立方关系O(N3)等等，最困难的是指数关系：例如O(2N)[2]，见图5。

▲ 图5 不同问题的不同复杂度

需要注意的是，复杂度指的是，计算时间随着参数大小变化的规律，并不是具体计算的实际时间。所以复杂度对应于计算机的“计算方式”，即计算机的类型，而非“速度快慢”。举例来说吧，要破解某条指数关系密码，1944年的机器计算时间是30年，1980年的机器只需10年，2020年需9年，但它们都是经典计算机，复杂度是一样的，有限的方式提高速度，改变不了复杂度。这也就是费曼说的，经典计算机无法模拟量子力学的原因。那么，既然经典的计算机不行，是否有其他的计算模式可以模拟量子世界呢？费曼的想法别出一格，却又合情合理：他认为微观世界的本质是量子的，想要模拟它，就得用和自然界的工作原理一样的方式，也就是量子的方式才行。对此，费曼风趣地表示，既然这个该死的大自然不是经典的，你最好是“模拟它的方法来模拟它”，以其人之道，还治其人之身嘛！我们得做到和大自然做的一模一样。那就是说，我们要想模拟这个量子行为的世界，就得研究微观世界的量子是如何工作的，然后，建造一个按照量子力学的规律来运行的计算机，最后才能模拟它。不过，费曼最后又感叹地说：“天哪，这是一个非常精彩的问题，但却不是那么容易解决的！”

04

量子比特vs经典比特

量子计算的方法与经典计算是完全不同的，两类计算机速度差异的原因是来自于量子现象和经典现象物理规律的不同。量子计算基于量子规律。量子规律的精髓是什么？其实可以用一句话来概括：种种奇怪的量子现象都是来自于量子“叠加态”[3]。你也许听过最奇怪的量子现象是“纠缠态”和双缝实验，不过实际上，纠缠态也是一种叠加态，是多粒子体系状态叠加产生的效应，而各类“诡异”的双缝实验均可用叠加态解释。什么是叠加态呢？根据我们的日常经验，一个物体在某一时刻总会处于某个固定的状态。状态可以用位置、速度、相位、能量等物理参数表示。比如我说，我现在在客厅里，或者说，我现在在房间里。要么在客厅要么在房间，这两种位置状态必居其一。然而，在微观的量子世界中，情况却有所不同！微观粒子可以处于一种不确定的状态中。例如电子可以同时位于两个（甚至多个）不同的地点。也就是说，电子既在A又在B，电子的状态是“A”和“B”两种状态按一定概率的叠加，物理学家们把电子的这种混合状态叫做叠加态。经典世界中的“波”可以是叠加态，但经典“粒子”（宏观物体）不存在叠加态。比如说，我此时此刻不可能既在客厅又在房间；一只猫要么是死猫要么是活猫，不存在“既死又活”的猫！微观量子世界的粒子一般都处于“叠加态”，但是我们却观测不到叠加态！原因是因为“观察测量”的宏观行为将引起所谓“波函数塌缩”或者被诠释为“退相干效应”，即观测之前是叠加态，观测之后叠加态不复存在，“坍缩” 成了一个确定的状态！因此，我们只能“以某种概率“观测到叠加的多个本征态之一。例如，如果盒子中的”薛定谔猫“化身微观粒子，它的状态可以被表示成“死猫”与“活猫”的叠加态（如图6）。

▲ 图6 叠加态和坍缩

然而，只要你打开盒子观测，叠加态就塌缩了！你有50%的可能性看到“活猫”，50%的可能性看到“死猫”，但你看不到“既死又活”的猫，换言之，你观测不到它们的叠加态！有时稍微加点数学抽象，更能理解叠加态。因为事实上经典的宏观物体（比如猫）是没有叠加态的，完全不用数学便只想到宏观的直观经验，总是试图用经典概念来理解“叠加态”，这种经典现象又是不可能的。因此可以说，不放弃经典，永远不可能真懂叠加态！所以，我们最好记住图6左上角那个叠加态波函数的公式，也就是：|y> = a|0> + b|1>。叠加态通常用2分量量子系统来表示，上面公式中的|0>和|1>是系统的两个本征态。费曼正是因为对量子理论，对叠加态的深入理解，才能提出量子计算技术的设想。费曼又是一个善于学习的人，他向各种不同的人物学习。例如，他对计算技术的深入了解，就是从爱德华·弗雷德金那儿得到的，弗雷德金在图2照片中的标号是9，下一次我们介绍这位离经叛道科学家的传奇人生。

【参考文献】

[1] Keynote talk, 1st conference on Physics and Computation, MIT, 1981。(International Journal of Theoretical Physics, 21: 467–488, 1982)

[2] Thomas H. Cormen; Charles E. Leiserson; Ronald L. Rivest; Clifford Stein; 殷建平等译. 第1章 算法在计算机中的作用. 算法导论 原书第3版. 北京: 机械工业出版社. 2013年1月

[3] 张天蓉. 世纪幽灵-走近量子纠缠（第二版）[M].合肥：中国科技大学出版社，2020年5月。

（本文于2/19/2024首次发布于微信公众号“量子沙龙”）