新的量子算法终于破解了非线性方程

有时，计算机很容易预测未来。简单的现象（例如树汁如何流到树干上）很简单，可以使用数学家称之为线性微分方程的几行代码来捕获。但是在非线性系统中，相互作用会影响自身：当气流经过喷气机的机翼时，气流会改变分子相互作用，从而改变气流，依此类推。这种反馈循环会造成混乱，在初始条件下的微小变化会导致后来的行为发生巨大变化，从而使预测几乎不可能—不管计算机的功能如何。

马里兰大学量子信息研究员安德鲁•柴尔德斯（Andrew Childs）说：“这就是为什么难以预测天气或难以理解复杂的流体流动的原因之一。” “如果可以[弄清楚]这些非线性动力学，则可以解决一些棘手的计算问题。”

这可能很快就会实现。在11月发布的单独研究中，有两个小组（其中一个小组由Childs领导，另一个小组位于麻省理工学院）描述了功能强大的工具，这些工具可以使量子计算机更好地对非线性动力学进行建模。

量子计算机利用量子现象比传统计算机更有效地执行某些计算。由于具有这些功能，与传统机器相比，它们可以使复杂的线性微分方程式快速地翻倒。长期以来，研究人员一直希望他们可以通过巧妙的量子算法来解决非线性问题。

新方法伪装成将非线性作为更易消化的线性近似集，尽管它们的精确方法差异很大。结果，研究人员现在有两种使用量子计算机解决非线性问题的单独方法。

悉尼科技大学量子计算研究员MáriaKieferová说：“这两篇论文的有趣之处在于，他们找到了一种可以有效运行的算法，” 。 “这真的很令人兴奋，[两项研究]都使用了非常好的技巧。”

量子信息研究人员十多年来一直尝试使用线性方程式作为解锁非线性微分方程式的关键。一个突破是在2010年，当时位于悉尼麦考瑞大学（Macquarie University）的多米尼克·贝里（Dominic Berry）建立了第一个算法，用于在量子计算机上而不是传统计算机上以指数方式更快地求解线性微分方程。很快，贝瑞的工作重点也转移到了非线性微分方程上。

贝里说：“我们之前已经做过一些工作。” “但是效率非常低下。”

问题是，量子计算机所基于的物理学本质上是线性的。 MIT研究的合著者Bobak Kiani说：“这就像在教汽车飞翔。”

因此，诀窍是找到一种将数学上的非线性系统转化为线性系统的方法。 Childs说：“我们希望拥有一些线性系统，因为这就是我们的工具箱所具有的功能。”各小组以两种不同方式做到了这一点。

Childs的小组使用了1930年代的一种过时的数学技术Carleman linearization，将非线性问题转化为线性方程组。

不幸的是，该等式列表是无限的。研究人员必须弄清楚他们可以从哪里删除清单，以获得足够好的近似值。 “我停止在等式10上吗？ 20号？”麻省理工学院的等离子体物理学家，马里兰研究的合著者努诺·洛雷罗（Nuno Loureiro）说。该团队证明，对于特定范围的非线性，他们的方法可以截断该无限列表并求解方程。

麻省理工学院领导的论文采用了不同的方法。它将任何非线性问题建模为Bose-Einstein冷凝物。这是一种物质状态，其中超冷粒子组内的相互作用导致每个单独的粒子行为相同。由于粒子都是相互连接的，因此每个粒子的行为都会影响其余粒子，并以非线性的循环特性反馈到该粒子。

MIT算法使用Bose-Einstein数学方法将非线性和线性联系起来，从而在量子计算机上模拟了这种非线性现象。因此，通过想象为每个非线性问题量身定制的伪Bose-Einstein冷凝物，该算法得出了有用的线性逼近。 “请给我您最喜欢的非线性微分方程，然后为您建立一个可以模拟它的玻色-爱因斯坦凝聚物，”汉诺威莱布尼兹大学量子信息科学家托比亚斯·奥斯本说。 “这是我真正喜欢的一个想法。”

贝瑞（Berry）认为这两篇论文都以不同的方式发挥了重要作用（他没有参与其中的任何一项）。他说：“但最终，它们的重要性表明，有可能利用[这些方法]获得非线性行为。”

尽管这些步骤很重要，但它们仍然是破解非线性系统的第一步。甚至在实现这些方法所需的硬件成为现实之前，更多的研究人员可能会分析和完善每种方法。 Kieferová说：“有了这两种算法，我们真的在展望未来。”使用它们来解决实际的非线性问题，需要具有数千个量子位的量子计算机来最大程度地减少误差和噪声，这远远超出了当今的可能性。

而且这两种算法实际上只能处理轻微的非线性问题。马里兰州的研究准确地量化了使用新参数R可以处理多少非线性，R代表问题的非线性与其线性的比率-趋于混乱的趋势与将系统保持在轨道上的摩擦。

“ [儿童学习]在数学上很严格。奥斯本说：“它什么时候可以用，什么时候不可以用。” “我认为这真的非常有趣。这就是核心贡献。”

由Kiani表示，由MIT领导的研究并未严格证明任何定理可以约束其算法。但是该小组计划通过在量子计算机上运行小规模测试来进一步了解算法的局限性，然后再处理更具挑战性的问题。

两种技术最重要的警告是，量子解决方案从根本上不同于经典解决方案。量子状态与概率相对应，而不是与绝对值相对应，因此，例如，您不提取喷气机机身每个部分周围的气流，而是提取平均速度或检测停滞的空气。 Kiani说：“输出是量子力学的这一事实意味着，之后仍然需要做很多工作来分析这种状态。”

奥斯本说，至关重要的是不要过度承诺量子计算机可以做什么。但是研究人员势必在未来五到十年内，针对实际问题测试许多成功的量子算法。他说：“我们将尝试各种事情。” “而且，如果我们考虑到限制，那可能会限制我们的创造力。”