量子笔记：量子计算祛魅

在日本就有科研人员，利用黏菌做了一个实验。黏菌是一种微生物，它们有种习性，能在不同位置的食物之间建立起食物网络。于是实验人员就在一个和日本关东地区形状相同的培养皿里放食物，用食物模拟车站。其中最大块的食物当做是东京站，其他小一些的食物当做是一些其他车站。而且还利用了黏菌不喜欢光照的特性，用光斑来模拟现实中的高山和湖泊。经过一段时间自由演化，黏菌形成的食物网络，竟然与现实中关东铁路网十分相似。

你看，黏菌、食物还有光斑的初始位置，就是计算的输入。黏菌的演化历程就是计算的过程。最后形成的食物网络，就是计算的结果。这是一个生物学实验没错，但它同样也是一台计算机。

1.2.3 计算的本质

风洞和黏菌的例子说明了计算的本质是比我们日常对于计算的理解更为基本的东西。计算必须要依托于一个物理系统来实现，黏菌虽然是生物但是本质上仍然是物理的。所以计算本质上就是这个物理系统的演化过程，输入就是这个物理系统在演化过程初始时的状态，输出则是演化结束的状态。

计算抽象地看是输入、运算和输出，对应到物理系统里，就是具体的初态、演化和末态了。我们能不能够利用某个系统进行计算，就要看我们有没有能力，利用相应的规则，去操控这个物理系统的初态、演化和末态。也就是说一个计算系统的能力，决定于它是什么样的物理系统，以及我们对它规则的掌控程度。

就比如风洞和黏菌，用来解决特定的问题会特别简单，但是要让它们去计算“1+1”那就太麻烦了。而电子计算机就不同了，电子计算机遵循的是经典电磁规律，通过控制电子来实现计算的输入、运算和输出。

1.3 经典计算的瓶颈和突破

经典计算的巅峰代表基于电子计算机的计算。

得益于算法理论以及微电子技术等各种理论和工程技术方面发展，经典计算机给人类文明带来了天翻地覆的发展。电子计算机遵循的是经典电磁规律，我们对电磁规律的掌控能力非常强，所以几乎所有的计算问题都可以被投射到电子计算机的物理系统里，而且处理速度还非常快。这也是为什么电子计算机如此成功。但是，成也萧何、败也萧何。因为我们对电磁规律的掌控已经几乎到了极限，这也代表了电子计算机的能力遭遇了瓶颈。电子计算机使得人类的计算能力得到了巨大的发展，但是，我们面对的问题并没有减少。2019年4月人类拍摄到的第一张黑洞照片，拍摄的数据用现在最好的电子计算机也要算两年，才能把照片“冲洗”出来。这样的计算机限制了我们探索更大的宇宙。同样的情况还发生在药物研发、生物技术、能源技术等很多领域。所以找到更好的计算机就是我们的刚需。

要想突破计算能力的瓶颈，必须从底层思考，还有什么规律是我们可以掌控，而且能够突破电子计算机瓶颈。其中有力的候补有量子计算、生物计算、类脑计算等等。其中，在目前最有希望更早取得突破的就是量子计算。人类对于量子力学原理的掌握已经为量子计算的实现打下了坚实的理论基础。从经典电磁原理像量子力学原理的切换是量子力学能够突破基于电子计算机的经典计算所遭遇的瓶颈的关键点。

所有的计算系统其实都是我们在操控一个物理系统去完成计算。而计算，并不一定是去计算数字，凡是按照需求完成输入、运算和输出的都是计算。量子计算也是一个有输入、运算和输出的物理系统，只不过它是利用了更底层的量子力学规律来进行操控。也正是因为利用了量子力学的规律，它的计算能力才会有“核武器”级的提高。
量子力学原理经过了一百年的发展（虽然在底层接近哲学层面上还有许多悬而未决的争论），在数学和物理学原理上已经得到了严格证明。而且在近些年已经实现了小规模的实验样机。各大科技公司纷纷投入这个领域，也说明了大家对量子计算技术的信心。

1.4. 量子计算（机） vs 经典计算（机）

如上所述，经典计算是基于基于经典物理学的；量子计算自然就是基于量子物理学，更具体一点，是基于量子力学原理所描述的物理状态的量子属性（量子态）来实现计算。

Quantum computing is the use of quantum-mechanical phenomena such as superposition and entanglement to perform computation. A quantum computer is used to perform such computation, which can be implemented theoretically or physically. -- Wikipedia.

量子计算所依赖的物理状态的量子属性的几个关键方面：

(1) 叠加，superposition

(2) 测量，测量将导致量子态坍缩（collapse）

(3) 纠缠，entanglement

顾名思义，执行经典计算的设备称为经典计算机，执行量子计算的设备称为量子计算机。

经典计算的基本单位是比特；量子计算的基本单位是量子比特。

经典计算与量子计算并不是两种截然不同的学科。正如经典力学处理的现象（原则上）都可以由量子力学处理（即经典物理学是量子力学的近似）一样，经典计算也可以看作是量子计算的近似。经典计算能做的事情都能够通过量子计算实现，量子计算是计算的一种更基本的形式。可以说，从本质上讲，计算就是量子计算。量子计算向下兼容经典计算。

2. 量子计算机会取代经典计算机吗？

简而言之，不会或者不太可能会。

一方面，比如说，量子计算机的实现需要非常精密的保持量子相干性的控制，这些控制需要非常精密的经典设备，如电子设备、光学设备、测量设备等等。这些经典设备都需要经典计算机进行控制。从这个意义上来说，量子计算机的实现离不开经典计算机。

另一方面，（至少目前来说）人们对于量子计算机的定位是用于执行特殊运算（经典计算机难以完成或者不可能完成的）任务的专用机器。在可预见的未来，量子计算机之于经典计算机更可能是类似于GPU之于CPU一样的硬件加速器，人机接口通过经典计算机实现，常规任务由经典计算机完成，特殊的适合于量子计算机执行的任务则分发给量子计算机进行计算。。。

3. 量子计算模型

可以分为两类。

第一类是通用量子计算模型，其中最典型也是最主流的就是量子电路模型（绝大多数量子计算相关文献讨论的都是量子电路模型），量子电路模型基于量子电路和量子门（分别对应并取代经典计算中的电路和逻辑门）进行计算。除此以外，还有比如说基于测量的量子计算、绝热量子计算、拓扑量子计算等等。

专用型计算模型是专门面向特定的计算而设计的。其中一个例子就是专门面向计算伊辛模型基态而开法的量子退火计算模型。

4. 经典比特 vs 量子比特

经典比特（Bit）只有两种取值：0和1。每个经典比特在任意特定时刻，要么是0，要么是1，没有其它可能（实际电路仿真中可能出现的所谓“不确定态（X）”并不是一种本征的状态）。

量子比特（QuBit）的状态不是只有两种可能的取值，而是以叠加态（两个基态的线性组合： $gif.latex?a%20%7C0%5Crangle%20+%20b%20%7C1%5Crangle%2C%20a%2Cb%5Cin%5Cmathbb%7BC%7D$ ）的形式出现，它可能为 $gif.latex?%7C0%5Crangle$ 也可能为 $gif.latex?%7C1%5Crangle$ 。只有在观测的时候才会揭开神秘的面纱，随机地坍缩到基态 $gif.latex?%7C0%5Crangle$ 或者 $gif.latex?%7C1%5Crangle$ （概率由 $gif.latex?%7Ca%7C%5E2$ 、 $gif.latex?%7Cb%7C%5E2$ 决定）。

进一步，多个量子比特可以形成纠缠状态。可以利用量子纠缠来完成一些特殊的任务，比如说量子密钥分发等等。

5. 量子计算为何强大？

归根结底，量子计算的强大源于量子比特的基于叠加态的表示能力。

由于每个经典比特可以表示或0或1的两种状态之一，2个经典比特可以表示4种可能状态之一，n个经典比特可以表示 $gif.latex?2%5En$ 种可能状态之一。但是，要表达全部 $gif.latex?2%5En$ 种可能状态则总共需要 $gif.latex?n%202%5En$ 个比特。

但是，由n个量子比特构成的量子叠加态可以表示为 $gif.latex?%5Csum%5Climits_%7Bk%3D1%7D%5Climits%5E%7Bn%7Da_n%20%7Ce_k%5Crangle$ ，它同时表达了全部 $gif.latex?2%5En$ 种可能状态的叠加。在被观测时，以不同的概率可以坍缩为 $gif.latex?2%5En$ 种可能状态之一。但是在被观测前，保留了所有 $gif.latex?2%5En$ 种可能状态。

因此，n个量子比特的表达能力是n个经典比特的表达能力的 $gif.latex?2%5En$ 倍！这是非常惊人的事情。

当然，话虽如此，以上只是量子比特表达能力的理论上限，如何从实用的意义上充分利用量子比特的表达能力还有巨大的工程技术、算法问题需要解决。

6. 何谓NISQ？

Noisy Intermidiate Scale Quantum (computer)：中型规模带噪声量子计算机。

是加州理工学院量子计算专家约翰.普瑞斯基尔（John Preskill）于2017年12月的演讲中提出的概念。

因为目前在研的量子计算机很容易受到噪声的干扰，噪声强调的是我们并不能完美控制这些量子比特，因为它将严重限制量子器件在短期内实现可用的大规模量子比特这一目标。中型是量子比特数在50~数百个左右的规模。50个量子比特是一个重要的里程碑，因为具备这么多的量子比特的量子计算机开始具备了超出了现存使用功能最强大的超级数字计算机的模拟计算能力（亦即量子霸权quantum supremacy，同为Preskill提出）的可能性。

NISQ作为迈向通用量子计算机的一个重要阶梯受到关注。

Ref: arXiv:1801.00862, arXiv:2101.08448

[arXiv:2101.08448 abstract]A universal fault-tolerant quantum computer that can solve efficiently problems such as integer factorization and unstructured database search requires millions of qubits with low error rates and long coherence times. While the experimental advancement towards realizing such devices will potentially take decades of research, noisy intermediate-scale quantum (NISQ) computers already exist. These computers are composed of hundreds of noisy qubits, i.e. qubits that are not error-corrected, and therefore perform imperfect operations in a limited coherence time. In the search for quantum advantage with these devices, algorithms have been proposed for applications in various disciplines spanning physics, machine learning, quantum chemistry and combinatorial optimization. The goal of such algorithms is to leverage the limited available resources to perform classically challenging tasks. In this review, we provide a thorough summary of NISQ computational paradigms and algorithms. We discuss the key structure of these algorithms, their limitations, and advantages. We additionally provide a comprehensive overview of various benchmarking and software tools useful for programming and testing NISQ devices.

7. 逻辑量子比特 vs 物理量子比特

由于噪声的影响使得量子比特非常容易出错，考虑到容错性（检错、纠错），需要多个物理量子比特才能等价地实现一个逻辑量子比特。

当前的技术水平大概需要1000个左右非常好的物理量子比特才能打造一个逻辑量子比特。

8. 哪些问题可以让量子计算机大显身手？

组合优化问题

机器学习

量子化学计算

加密安全应用

。。。

9. 量子计算的可逆性

除了测量以外，量子计算中的所有运算都必须可逆[2]，why?

10. 量子霸权？量子优越性？

在 2019 年Google实现了有53个量子比特的量子处理器（Google and NASA Achieve Quantum Supremacy | NASA）。它是用超导金属实现的，两个能级代表 0 和 1，用芯片连接在一起。为了保持超导特性和量子相干性，这个芯片要放在一个低温恒温器（叫 cryostat）里，保持一个接近绝对零度的温度。整套设备的体积，能占据一个小房间。根据原始论文中所举的一个最极端的例子是，对一个53比特20个cycle的电路采样一百万次，在世界第一超算 Summit 需要计算 1 万年的实验中，谷歌的量子计算机只用了 3 分 20 秒）。

这是一个里程碑式的成果，被称为“quantum supremacy” —— 在中文世界中通常被翻译成“量子霸权”，好像 Google 在量子计算领域可以制霸全世界一样，其实不是那个意思，不是什么国家对国家, 公司对公司的霸权之类的意思。所以，用“霸权”这个词其实有标题党、博眼球的恶俗趣味。这个成果准确来说应该叫“量子优越性”，是量子计算（机）相对于经典计算（机）的优越性（或者说优势，advantage）。更具体一点说，是终于在某个特定的计算问题上，量子计算机做的比传统计算机好或者做到了经典计算机做不到的事情。注意，只是某个特定的计算问题，不是大部分的计算问题，更不是所有的计算问题。

因此，从某种意义上来说，所谓的“量子霸权”其实只是学术意义上证明了量子计算相比经典计算的优越性。从实用价值角度体现量子计算的优越性还有漫长的路要走。

11. 量子不可克隆定理（no-cloning theorem）

简而言之，如果你要要复制一个量子态，就必须破坏这个量子态。

在经典世界中，有一种叫做中继攻击的通信安全破坏方式，攻击者收听到发送方发出的信号后，篡改其中的信息或者仅仅是将信号放大再重新发出，依此来欺骗接收方。这种方式在量子通信领域不再可行，由于量子不可克隆定理决定了量子通信信号被侦听并复制不可避免会破坏原信号（因为量子信号一经观测便会发生坍缩，无法再重建原信号）。

12. EPR佯谬、量子纠缠的来历

EPR佯谬是爱因斯坦联合波多尔斯基和罗森一起发表的一篇论文，论文中描述了这样一个思想实验，假设我们有一对总自旋为零的电子对，然后把它们同时向相反方向发射出去。

根据角动量守恒定律，只要两个电子在运动过程中没有撞到其他物体，就一定是其中一个电子的自旋为正，另一个为负。在我们没测量前，根据量子叠加效应，它们的自旋都是处于正负叠加态，但当我们测量其中的一个电子时，该电子会瞬间坍缩成确定态，例如自旋为正，那么另外一个电子也会同时坍缩成自旋为负。

如果两个电子分开的距离非常远，那么我们对其中一个电子进行测量，那另外一个电子同样会瞬间坍缩，这不是意味着瞬间超距作用吗？根据狭义相对论，任何物体的运动速度，包括信息的传输速度都不能超过光速。这个瞬间超距作用是不是违背了狭义相对论？

EPR佯谬可以说是“爱波论战”中爱因斯坦对玻尔最致命的反击，玻尔足足思考了三个月，才给出一个非常勉强的回答。

首先，玻尔认可爱因斯坦思想实验的结果，但并不同意其超光速的结论。

玻尔认为，电子A和B因为总自旋为零，所以可以把它们看作一个整体，既然是整体，那么测量其中的一部分A，另一部分B相应的也就会响应，并不存在超光速！

玻尔的答案肯定是无法令爱因斯坦满意，但限于当时的实验条件，两人只能各说各的，却无法通过实验验证。

后来，薛定谔在1935年的论文中提出了量子纠缠态的概念：

“两个已知状态的量子系统（已知它们的波函数在各自基底下的表达式），在某种已知外力的作用下发生 相互作用，经过一段时间的 相互作用以后两个系统又被分离开来，这时它们便无法再像先前那样各自用独立的表达式（即基于各自的基底描述其量子叠加态）来描述。我认为这不仅仅是量子力学的一个典型特征，而应该说是量子力学的根本特征之所在。通过相互作用，两个波函数相互纠缠在一起了”。

“When two systems, of which we know the states by their respective representatives, enter into temporary physical interaction due to known forces between them, and when after a time of mutual influence the systems separate again, then they can no longer be described in the same way as before, viz. by endowing each of them with a representative of its own. I would not call that ‘one’ but rather ‘the’ characteristic trait of quantum mechanics, the one that enforces its entire departure from classical lines of thought. By the interaction the two representatives (or psi-functions) have become entangled.”

-E. Schrödinger

13. 量子纠缠能用于超光速通信吗？

参加《量子纠缠祛魅》一文。

14. 退相干

根据叠加原理，量子系统的任何两个状态|A〉和|B〉都可以通过线性组合的方式，生成一个新的叠加态。但是叠加态非常脆弱，很难控制。任何与外在环境的交互都可能导致叠加态消除某些相干，从而阻止相关状态相互干扰。这会有效地破坏叠加，系统会随机地坍塌成构成叠加态的状态之一。这个过程被称为退相干。
退相干在量子系统中是一种不良效应。它破坏了量子系统相对于经典系统的许多可能的优势。例如，在量子计算和量子密码学中有潜在应用价值的量子纠缠可能会由于退相干而丢失。另一个例子是，允许并行处理量子信息的状态的叠加，最容易受到退相干的影响。因此，量子比特（或者说量子寄存器）的设计需要消除环境相互作用的影响，以使得量子叠加特性维持尽可能长的时间。这是量子计算系统中的一个必要的要求。退相干是当前量子信息处理系统发展的主要障碍。人们普遍认为，只有通过加入某种形式的量子误差校正，才有可能在退相干存在的情况下仍能进行可靠的计算。