From Simple Sources to Quantum Advantage: Homomorphic Polynomial Transduction via Relative Decoding
本文介绍了一种用于同构多项式换能的模块化框架,该框架利用相对解码在哈密顿量之间高效传输易于制备的多项式态,从而将解码量子干涉技术扩展到更广泛的系统中,并证明了在非线性优化任务中相对于经典启发式算法的量子优势。
原始论文采用 CC BY 4.0 许可(http://creativecommons.org/licenses/by/4.0/)。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性,请参阅原始论文。 阅读完整免责声明
在追求让量子计算机解决经典机器无法处理的问题的过程中,研究人员经常面临一个艰难的权衡。他们需要引导量子系统走向一个特定的、有用的结果——例如寻找复杂分子的最低能量状态或困难谜题的最佳解。为此,他们必须准备一种特殊的量子态,作为一种向正确答案倾斜的起点。多年来,一种被称为解码量子干涉术(decoded quantum interferometry)的方法提供了一种通过使用数学模式来偏置系统的方法。然而,这种方法是僵化的;它仅在问题的规则简单且不包含隐藏捷径或重叠约束时才有效。如果规则过于复杂,该方法就会失效,迫使科学家只能接受较弱的解,或者完全放弃这种方法。挑战在于如何既保留这些量子捷径的力量,又允许现实世界问题中那种杂乱且相互关联的规则存在。
哥本哈根大学的一个研究小组开发了一个灵活的新框架,克服了这一局限性。他们将准备这些量子态的过程重新定义为一种翻译过程,即将信息从一个简单、易于控制的系统转移到一个复杂、难以控制的系统中。想象一位翻译员,他可以将一个用简单语言编写的故事完美地转换成一种复杂的方言,即使新方言有很多更多的语法规则,也能保留原意。研究人员称这个过程为“多项式转导”(polynomial transduction)。他们不是试图从头开始构建复杂的量子态,而是首先在一个规则已知且易于处理的源系统中构建一个更简单的版本。然后,他们使用一种被称为“同态”(homomorphism)的数学桥梁,将那个简单状态的结构传输到目标系统中。其核心创新是一种称为“相对解码”(relative decoding)的技术。在以往的方法中,计算机必须弄清楚究竟是哪种具体的成分组合创造了最终的状态,如果这些成分具有过多的重叠关系,这项任务就会变得不可能。新方法则忽略了源系统中预先存在的那些关系,只关注目标系统引入的新关系。这使得量子计算机能够处理比以前复杂得多的结构。
研究人员证明,只要多项式滤波器的复杂度保持在由系统的“相对距离”定义的特定限制内,这种方法就能保持计算所需的精细量子关系。这种距离衡量了目标系统的规则偏离源系统规则所需的步骤。通过设计我们的源系统来吸收尽可能多的目标规则,我们可以进一步推高这个距离,从而允许使用更强大的滤波器。在一个涉及非线性约束链的具体测试案例中,其中的规则以复杂的方式耦合了相邻的值,新方法允许使用 50 次方的滤波器。而旧的、僵化的方法对于同一个问题只能处理 1 次方的滤波器。当他们运行数据时,使用这种新的相对解码方法的量子算法达到了 0.643 的平均得分。相比之下,测试过的最先进的经典计算机启发式算法(包括复杂的搜索和优化技术)的中位得分仅为 0.606。这超过三个百分点的差距表明,该新框架可以触及目前经典计算机无法触及的解决方案。
这项工作的意义不仅限于解决一类谜题。该框架建立在相关系统的代数结构之上,这意味着它并不局限于目前大多数量子计算机所使用的标准量子比特(qubits)。研究人员展示了该方法对于费米子(即构成物质的电子等粒子)和玻色子(即用于光系统的光子等粒子)同样有效。他们还证明了其在具有两个以上能级的系统(即量子比特/qudits)中的适用性。这种普适性非常重要,因为这意味着相同的底层逻辑可以应用于广泛的物理系统,从模拟化学反应到为统计物理学准备热态。通过将准备最终状态的困难任务与设计算法的任务分离,研究人员将一个复杂的、个案化的工程问题变成了一个更具模块化的问题。科学家现在可以专注于使用现有工具准备一个简单的源态,然后依靠转导框架将该状态带入复杂的目标系统。
在数值实验中,团队不仅依赖理论,还构建了一个具体的例子来测试该方法的极限。他们创建了一个场景,其中多项式的值被测试是否符合一组非线性条件。如果没有新方法,约束条件会非常紧,导致量子计算机只能应用一个非常简单的线性滤波器,这本质上是一个直线近似。新的相对解码技术允许他们应用一个更复杂的、曲线型的滤波器,从而更好地在复杂的解空间中导航。结果显示,在十个不同的随机问题实例中,量子方法始终优于经典尝试。虽然研究人员指出,这是对理想量子计算机的模拟,尚未考虑当前硬件中的噪声和误差,但其理论优势是显而易见的。这项工作表明,通过改变我们思考准备量子态的方式——从直接构建转向代数翻译——我们可以解锁量子优化和采样的新能力。
该研究还阐明了这些量子算法的能力边界。研究人员表明,虽然该方法可以生成高质量的解样本,但仅仅计算这些解的平均得分并不需要完整的量子机制;这个平均值通常可以直接从更简单的源态中计算出来。真正的力量在于产生实际样本的能力,这些样本随后可以被用来寻找那些仅靠观察平均值可能会错过的、高分值的特定解。这种区别对于理解量子优势究竟在哪里至关重要。该框架还解决了热态的准备问题,而热态对于理解材料在不同温度下的行为至关重要。通过将准备好的热态从源系统转移到目标系统,该方法为高效模拟这些状态提供了新路径,前提是温度和系统的复杂度处于相对距离所设定的范围内。
最终,这项工作为量子算法设计师提供了一个全新的工具箱。它取代了为每个新问题构建复杂的、定制化电路的需求,转而采用一种基于代数翻译的通用策略。研究人员已经证明,通过精心选择一个与目标系统共享许多规则的源系统,我们可以绕过以往限制量子计算机处理复杂问题能力的障碍。在他们的测试案例中,量子得分与经典得分之间的差距虽然在绝对数值上看似不大,但代表了可能性的根本转变。它表明,解决复杂问题的障碍不仅仅在于拥有更多的量子比特,还在于找到处理信息的正确方式。随着领域的推进,设计能够吸收关系的源系统以及开发这些新结构的有效解码器,很可能将决定这些理论优势转化为实际科学与工业工具的速度。
您所在领域的论文太多了?
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要,使用您的语言。