【翻译】云原生量子是什么？

量子计算来了，而且是在云上。作为一个既喜欢量子计算又喜欢云的人，这让我非常高兴。我在20世纪90年代末获得了量子计算的博士学位。出于需要，我的研究是纯理论性的。我们知道量子计算机将是强大的，但没有人真正建立一个。我们茶水间辩论的大问题不是 "量子计算机什么时候能建成？"而是 "量子计算机会不会建成？"。

事情已经发生了变化。2016年，IBM率先在云端提供了一台量子计算机--供任何人免费使用。从那时起，进展一直在继续，现在开发者可以在一些不同的云上运行量子工作负载。他们可以使用各种开源或专有的量子库和编译器开发他们的云端量子应用。云是量子计算的自然选择，因为云在汇集资源、实现硬件访问和加速创新方面非常出色。实用的量子计算采取了一种混合方法，即量子和经典硬件协同工作。这两种不同类型的系统各自拿起它们最擅长的部分。云原生技术，如Kubernetes，将是这种协调的一个基本部分。

为什么有人想要一台量子计算机？

量子计算机之所以有趣，是因为经典计算机是有限的。有些问题在经典计算机上是很难解决的。我指的不是像设计一个不会做出奇怪变化的自动更正或教计算机讲笑话这样的事情。这些都很难，但那只是因为我们无法找出正确的算法。但是对于某些问题，我们确实知道算法，但它仍然太难了：即使是最有效的算法也需要大量的时间和内存，以至于它在物理上无法运行。根本的问题是，算法随着计算中事物数量的增加而呈指数级增长。

奇怪的是，这些难以解决的问题往往看起来很容易。例如，想象一下，试图为一些功能失调的同事制定一个最佳座位计划。如果你让他们坐在他们不喜欢的人附近，他们会互相踢对方的小腿或把回形针扔到桌子上。如果真的有仇恨，他们会把茶水倒进对方的键盘。(如果这真的是你的团队，请停止阅读这篇文章，转而去阅读心理安全知识。）你的目标是通过制定一个座位计划，以某种方式保持和平，从而最大限度地减少干扰。

如果会议上有两个人，计算就很容易了--只有两种组合可以尝试。鲍勃可以在爱丽丝的左边，或者鲍勃可以在爱丽丝的右边。如果是五个人，我们必须尝试120种组合。鲍勃应该在爱丽丝的右边，夏娃在中间，克莱夫在最后，达西在鲍勃对面？或者鲍勃和夏娃的组合很糟糕，我们把克莱夫放在他们中间，夏娃放在最后，或者......？

有二十个同事，我们需要尝试五亿个组合来找到最佳组合。这很难。

愤怒的联盟选择计划（希望）有点不切实际，但许多实际重要的问题以类似的方式进行扩展。例如，即使是最大的超级计算机也只能准确模拟有几十个原子的分子。这个问题变得很快，因为分子中的每个原子都会与其他每个原子相互作用。准确模拟一个相对简单的分子，如咖啡因，需要10^48比特的内存。这听起来很大，而且确实如此--它大约是地球上原子数量的10%。

这类问题无处不在，几乎在每个领域都有。平衡投资组合中的风险有点像愤怒的同事问题，只不过是用投资而不是暴躁的人。交易系统中的交易结算或为物流公司制定城市间的最佳路线也是计算上的复杂问题。对于少量的城市或贸易伙伴来说，这些问题很容易解决，但当数量变多时就难以解决了。

现在我们进入量子领域。量子计算机是有趣的，因为它们可以更有效地解决其中一些问题。困难不是以指数形式扩展，而是与参与者的数量呈线性或四级扩展。这一变化使基本不可能的问题变成了 "可能的，如果我们能建立一个大的量子计算机"。

有些问题，如两个巨大数字的相乘或流媒体视频，在经典计算机上可以很快完成（白色区域）。其他问题，如寻找一个巨大数字的因子或模拟一个复杂的分子，在经典计算机上很难做到，无论计算机有多大（浅蓝色区域）。一些--但不是全部--这些困难的问题可以在大型量子计算机上迅速解决。量子计算机甚至可能能够解决我们现在所知之外的未来问题。

值得注意的是，量子计算机只对某些类型的问题有较快的速度。量子计算机不仅仅是一台真正快速的计算机，也不是一台什么都好的神奇计算机。它是一种按不同规则运行的计算机，这些规则有时--但不总是--有帮助。

Qubits, bits, and entanglement

所有的计算机都存储和操纵信息。今天的经典计算机操纵单个比特，它以二进制0和1的状态存储信息。一旦你有了数以百万计的比特，你就可以做一些有用的事情，比如在社交媒体上分享猫咪备忘录或给社区提供地震预警。

量子计算机是不同的--除了猫的部分，但我们会回来讨论这个问题。量子计算机存储信息的方式与经典计算机不同，它们对信息的操作也不同。量子计算机依赖于量子比特，或称量子比特，而不是普通的比特。一个经典比特只能是0或1，但一个量子比特可以是多种状态的组合，被称为叠加。

如果我们把比特表示为矢量，那么一个经典比特只有两种可能：直接指向上方（0）或直接指向下方（1）。一个量子比特有任何数量的可能组合，即|0⟩和|1⟩。这种组合有一个相位，这就是为什么我们把它表示为一个球体而不是一个圆。

当我们测量一个量子比特时会发生什么？测量是一个经典的操作，所以量子比特会坍缩为0或1，从而使我们能够读出一个我们和我们的经典计算机能够理解的答案。如果在我们测量时，该量子比特是0和1的组合状态，那么我们得到的是0还是1就有一定的偶然性。如果该量子位是0和1各占一半的混合状态，那么我们的测量结果就是完全随机的。另一方面，如果状态主要是|1⟩，我们就很可能读出一个1。

此外，经典比特在物理上是相互独立的，但量子比特可以相互纠缠。纠缠意味着量子比特的状态以一种不能被经典复制的方式相关联。例如，想象一下两个量子位之间的逻辑门，只有当第一个控制位是|1⟩时，第二个位才会翻转。如果控制位是一个虚无的|0⟩，那么第二位就不会被翻转。如果是虚数|1⟩，第二位会被翻转。但如果控制位是0⟩和1⟩的混合物呢？第二位现在也是|0⟩和|1⟩的混合，但这不是一个任意的混合。

视觉化的纠缠是很难的。这部分是因为我们没有一个很好的经典类比来说明发生了什么。

当爱因斯坦、薛定谔和玻尔在上世纪初与新的量子理论的影响进行搏斗时，我想他们在科学上说的是 "WTF？"。薛定谔设计了他的猫的悖论，以显示一些新的量子理论是多么的荒谬。如果一个混合了0和1的粒子与一个更大的系统相互作用，那么这个系统本身会不会成为一个混合状态，直到它被测量？例如，如果一只猫被关在一个盒子里，杀死猫的毒药的释放是由一个单一的量子比特的状态触发的，而这个量子比特处于|0⟩和|1⟩的叠加状态，在有人打开盒子并测量猫之前，猫是否处于活着和死亡的叠加状态？你会松一口气的，因为答案是 "不"--当量子比特与更大的系统相互作用时，它就失去了它的 "量子性"。这个过程被称为退相干。

这就是事情变得特别有趣的地方。如果两个量子比特是纠缠在一起的，测量一个量子比特会预先决定我们测量另一个量子比特时得到的答案。即使这两个量子比特距离太远，无法相互影响，这种情况也会发生。每个量子比特，单独地，将随机地表现，但当我们测量它们时，我们得到的答案是强烈相关的。回到我们的两个量子比特，如果第一个量子比特被测量并得到一个|0⟩，我们知道第二个量子比特将是一个|0⟩。如果第一个量子位产生的结果是|1⟩，那么第二个量子位就必须是|1⟩。即使每个量子比特的测量结果都是随机的，我们也不会出现测量到|1⟩和|0⟩或者|0⟩和|1⟩的情况。这意味着如果不包括第一个量子比特，我们就不能表示第二个量子比特的状态。

对量子纠缠最有名的比喻是观察不匹配的袜子。我们在这里讨论的是计算机，而不是袜子的哲学，所以我不会去讨论细节，除了观察领先的量子物理学家已经得出结论，纠缠比奇异的袜子更神秘。

算法

测量一个量子比特，得到一个随机数，这有用吗？除非你想做一个非常棒的随机数发生器，否则没有。大多数量子算法所做的是试图操纵系统进入一种状态，在这种状态下，每个量子比特大部分是0或大部分是1，这样，当所有的东西被测量时，就有很大的可能得到正确的答案。

大多数算法的工作原理是创造许多不同的可能解决方案的叠加，然后将不同的量子状态干扰在一起，这样正确的答案就会被放大，错误的答案就会相互抵消。干扰答案 "对经典计算机来说是没有意义的，但量子系统的行为有点像波。这被称为波粒二象性，而且，即使是物理学家也同意，这是反直觉的。

将不同的答案干扰在一起，使一些答案消失，这有点像降噪耳机使用不同相位的噪音来消除不需要的噪音，只不过被消除的东西是一个不是2971215073的系数的数字，而不是飞机噪音。如果你认为这听起来很容易实现，你没有错。有相对较少的量子原生算法--也就是充分利用量子计算机的量子特性的算法。

这些算法有可能比最快的同等经典算法快得多。对于小规模的问题，量子速度的提高可能并不明显，甚至可能被量子处理器执行操作的较慢速度所抵消。但当问题变大时，扩展行为就非常重要了。

最好的问题是

量子计算机在哪里会最有用？量子应用一般分为三类。

• 模拟量子系统
• 人工智能
• 优化和蒙特卡洛

化学模拟是第一个提出的量子计算机的用例，它有潜在的价值。量子系统（如分子）太复杂了，无法准确地建立经典模型，但量子计算机具有相同的量子性，所以它可以应对这种复杂性。例如，在量子计算机上探索可能的材料可能让我们发现新的电池技术或药物。

量子人工智能是一个不断增长的领域。量子计算机将对更好的模型训练、模式识别和欺诈检测有帮助。

最后，优化问题很适合于量子算法。例如，已知蒙特卡洛模拟在量子计算机上的速度更快。这些类型的算法被广泛用于金融应用，如投资组合优化、风险分析和信用评分。

薛定谔的猫的未来

我的雇主IBM在他们的量子教程中没有出现一只猫，其他量子供应商也没有。在某种程度上，这并不令人惊讶--量子计算的未来是作为解决困难的、有价值的、商业问题的工具，而不是以猫为主题的智力好奇心。我们还没到那一步吗？还没有。

目前，量子计算机是真实的，但它们很小。我们目前在量子计算机上能解决的每一个问题，在经典计算机上也能解决。我们正在努力实现量子优势，也就是当量子计算机能够回答经典计算机无法回答的问题时。

通往量子优势的道路是有希望的。例如，IBM的量子路线图包括在2023年将1,121个量子比特的量子计算机上线。那是足够的量子比特来实现量子优势。量子比特的数量很重要，但同样重要的是量子比特的稳健性。"量子量 "是一个重要的指标，它结合了量子比特的数量和它们的质量。量子计算机的许多硬件研究都集中在减少错误率和增加系统解聚的时间上，以增加系统的量子体积。研究人员还在努力减少芯片的物理尺寸，将更多的系统连接在一起的集成单元，并且，由于量子计算机需要保持令人难以置信的低温，所以要制造真正伟大的冰箱。

除了减少物理错误外，软件纠错也是可能的。古典计算机通过将物理位归入逻辑位并采取多数票的方式在位级上进行纠错。在量子情况下，做一个简单的多数投票是行不通的；在计算过程中投票将意味着在计算过程中测量量子比特，这将使一切都崩溃为|0⟩或|1⟩。尽管如此，确实存在聪明的算法，可以将物理量子比特分组为纠错的 "逻辑 "量子比特，并在没有实际投票的情况下进行多数投票。1,121个物理量子比特足以实现纠错，并产生足够的逻辑量子比特来进行有用的计算。

抽象

目前，如果你学习量子计算，你通常从量子力学原理开始，然后转到量子门上。你可能还会学习超导体和冰箱以及其他物理实现细节。一旦你掌握了门的知识，你可能会读到像Shor和Grover这样的著名算法的工作原理。

我们大多数人不是这样学习经典计算机编程的。普通计算机并不因为里面有比特和算法而让我们兴奋，它们让我们兴奋是因为我们可以用它们来编写游戏和销售东西，并将无聊的任务自动化。作为程序员，我们可能从hello world开始，但我们很快就会转向为我们自己的热狗识别服务或自主船舶编程。我认为我们将在量子计算机方面达到同样的境界，而且我认为这将很快发生。

目前，量子库已经在往上走。例如，qiskit的一些部分允许你在单个量子比特和门的水平上工作，但也有越来越多的金融、机器学习、化学、物理和优化的特定领域库。这些库将变得越来越无摩擦。最终，用户甚至可能不知道（或不关心）一个程序是以量子方式还是以经典方式在运行。

无摩擦。对猫不好，对开发者有利。

混合云

量子计算机（到目前为止）非常大，而且非常非常冷。它们对某些类别的问题来说是非常好的，但不是对所有的问题。即使量子算法是解决一个问题的最佳方式，它也会与经典的 "支持算法 "协同工作，以存储大的数值，保持中间结果，并对算法的不同阶段进行管道处理。

随着量子计算机功率的增加，支持计算机的作用可能会变小，但它不会消失。因为它们是如此的专业化，把经典的操作提升和转移到量子计算机上并不是一个好主意。相反，混合系统将使用协调来把问题的不同部分送到最佳硬件上。至少有一些协调将被植入熟悉的平台，如Kubernetes。

为什么是云？

量子计算是云计算的自然选择。虽然芯片很小，但计算机本身却很大。一些额外的空间是支持电子和控制电路的，但大部分的体积是一个巨大的冰箱。

这是因为，为了保持稳定和减少对外界环境的干扰，量子计算机需要保持低温。非常冷。大多数量子计算机在绝对零度以上几千度的条件下运行。IBM的计算机被保持在-273.1℃，比恒星之间的空间还要冷。

就目前而言，随着他们获得更多的量子比特，量子计算机在物理上也越来越大。IBM正计划制造一个10英尺高、6英尺直径的 "超级冰箱"，以保持其1,121个量子比特计算机的低温。此后的一代计算机可能涉及多个超级冰箱连接在一起。这就是那种伟大的事情......在别人的数据中心里。

量子计算机代表了工程上的一个非凡的壮举，既包括制冷，也包括电子、材料设计和控制逻辑。建造一台量子计算机并不容易，也不便宜，目前，世界上只有少量的量子计算机。这有点像早期的经典计算，但有一个很大的区别--访问。云是汇集资源的好地方，所以在量子计算机上执行过程序的人的数量要比在经典计算机进化的类似阶段多得多。

在软件方面，这种对基础设施的轻松访问得到了一个繁荣的开源社区的补充。在开源生态系统的支持下，广泛的、基于云的对这些奇妙机器的访问正在创造下一代的计算。