A programming language combining quantum and classical control
本文提出了一种统一的编程语言，通过一种新颖的语法模态、一种量子配置的操作性适配，以及一种结合了希尔伯特空间与冯·诺依曼代数的指称语义，成功地将传统上分离的量子控制（基于叠加）与经典控制（基于测量）范式进行了整合。
原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
量子计算机承诺解决经典机器需要数千年才能解决的问题，但为它们编写运行软件却是一项独特的挑战。不同于处理 0 或 1 的标准计算机，量子机器操纵的是量子比特（qubits），它们可以同时存在于两种状态的微妙叠加态中。这实现了强大的并行处理能力，但也为我们如何为这些机器编写程序引入了一种根本性的张力。控制量子计算机有两种截然不同的方式。一种方法依赖于经典逻辑：程序运行、进行测量，然后根据结果决定下一步操作，就像传统计算机对传感器做出反应一样。另一种被称为量子控制的方法，则让整个过程保持在叠加态中，允许程序自身的逻辑同时存在于多种状态中，从而在不使脆弱的量子态坍缩的情况下引导计算。几十年来，这两种方法一直被视为两个独立的领域，迫使程序员必须在其中一种范式或另一种范式之间做出选择，这往往导致代码要么过于僵化，要么难以编写。
一组研究人员现在通过创造一种新的编程语言，将经典控制与量子控制无缝结合在同一个系统中，从而弥合了这一鸿接收。他们的工作证明，编写能够处理现实世界量子测量中那种混乱、概率性本质的高层指令，同时又能利用叠加态那纯粹、抽象力量的方法是可行的。在此突破之前，如果程序员想要使用一个受叠加态控制的量子门，必须手动将该操作分解为由基础门组成的漫长且复杂的电路，这个过程类似于通过手工焊接每一根导线来组装一台复杂的机器。这种新语言允许程序员直接描述这些操作，使用简单的语法来抽象掉底层的电路细节。例如，一个通常需要大量小型组件组成的复杂逻辑门，现在可以用一行代码来定义，这使得软件的可读性和易管理性显著提高。
这一成就的核心在于研究人员如何构建语言以同时处理两种不同类型的数据。他们引入了一种机制，将纯量子态视为一种特殊的对象，它可以被包裹在一个能够处理混合态（包括测量带来的随机性）的更广泛系统中。这使得语言能够在两种控制模式之间流畅切换。当程序需要根据测量结果做出决策时，它使用经典控制流；当它需要执行依赖于量子波干涉的计算时，它则使用量子控制。研究人员证明了这种结合不仅在理论上可行，而且是一个在数学上严谨的系统。他们开发了一套规则，确保程序行为正确，并证明了该语言是“可靠的”（sound），意味着它永远不会产生无效结果，并且是“完备的”（complete），意味着它可以在其范围内表达任何有效的量子操作。
为了验证他们的工作，该团队将他们的语言应用于几种著名的量子算法，包括量子隐形传态（quantum teleportation），即利用经典通信将粒子的状态从一个位置移动到另一个位置。他们展示了该语言在表达这些算法时，比以往的方法具有更高的清晰度。在一个涉及量子行走（quantum walk）的例子中——这是一个粒子通过在节点间跳跃来探索图结构的物理过程——研究人员能够使用单个变量来代表大量的可能位置，而不是为每一位信息都设置一个单独的变量。这种抽象使得代码能够更高效地扩展，在处理复杂场景时，不会出现通常伴随量子编程而来的复杂度爆炸。
这项工作的意义不仅在于编写更简洁的代码，它还为思考量子力学的数学基础提供了一种新途径。研究人员使用一种称为海森堡绘景（Heisenberg picture）的框架对他们的语言进行了建模，该框架侧重于观察规则如何随时间变化，而非仅仅关注系统状态如何演化。这一视角使他们能够严谨地证明，他们的语言正确地模拟了量子系统的物理现实，包括概率的保持和信息的守恒。通过统一这两个此前相互分离的方法，研究人员提供了一个工具，可以使量子编程对开发者更加易用，并使其在应对未来复杂算法时更加稳健。他们已经证明，经典决策与量子叠加之间的障碍不是一堵墙，而是一扇门，可以被打开，从而为更灵活、更强大地利用量子计算潜力提供了一种可能的方式。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。