想象一下，你正试图在一片广袤、大雾弥漫的山脉中寻找最低点。这就是“优化”这一数学问题的日常挣扎，它驱动着从研发新药到训练人工智能的一切事物。在量子计算的世界里，科学家们使用一种名为**量子退火（Quantum Annealing）**的技术来解决这些问题。你可以把它想象成一位神奇的徒步旅行者，他不仅能走下山坡，还能“隧穿”墙壁，或者神奇地瞬间移动到另一个地方，希望能找到那个绝对最深的谷底（全局最小值），而不是困在一个小而浅的凹陷处（局部最小值）。
然而，这里有一个陷阱。有时，地形如此崎岖，山谷之间的墙壁又如此高耸，以至于徒步旅行者会被困住，而量子力学的“魔力”也无法帮助他们脱困。这种情况的发生是因为一种被称为“一阶相变”的现象，即通往解决方案的路径突然被一个微小到几乎看不见的能量间隙所阻挡。如果这个间隙太小，计算机就必须极其缓慢地移动才能跨越它，这使得整个过程对于大型复杂问题来说变得毫无意义。多年来，研究人员一直试图构建更好的“驱动器”（driver）——即推动系统运行的量子力量——来帮助徒步旅行者跳过这些墙壁。
现在，由杨伟科（Yang Wei Koh）提出的一项全新的理论构想登场了。这项研究建议，与其使用量子计算机通常依赖的标准、熟悉的工具，不如使用一种更复杂的数学结构，称为 SU(3)。要理解这一点，可以想象标准的量子比特（qubits）就像简单的硬币，只有正面或反面；而这种新方法使用的是“三进制量子比特”（qutrits），它们就像三面硬币，可以是正面、反面或侧立状态。通过利用这些三面硬币以及 SU(3) 代数的特定规则来构建量子计算机的“引擎”，研究人员发现了一些令人惊讶的事情：我们所使用的量子力量可以是“非局域”的（nonlocal）。用通俗的话说，这意味着徒步旅行者不需要一步步跨越墙壁，而是可以突然出现在遥远谷底的另一侧，有效地通过“瞬间移动”绕过那些困住传统方法的障碍。
这篇论文本身是一项详细的模拟研究，它在三种不同类型的“崎岖地形”上测试了这个想法。研究人员并没有制造一台物理量子计算机；相反，他们运行了复杂的计算机模拟，以观察他们新的 SU(3) 驱动器与旧的标准驱动器相比表现如何。他们发现，当只使用一个驱动器（传统方式）时，系统经常会陷入局部极小值，无法找到真正的最优解。然而，当他们引入第二个驱动器，并精心引导系统通过“参数空间”（一个描述徒步旅行者所选特定路线的专业术语）中的特定路径时，那些通常阻碍进展的能量间隙消失了。
模拟结果表明，SU(3) 框架在应对这些棘手的、凹凸不平的能量景观方面明显更加有效。SU(3) 驱动器的“非局域”特性使得波函数（徒步旅行者的位置）能够直接跳转到遥远且更好的解，而不会被困住。当传统方法在试图逃离局部陷阱时挣扎时，新方法却能一致地找到全局最小值。作者认为，这种方法为克服目前限制量子退火的瓶颈提供了一种极具前景的新途径，尽管他们指出，这目前是基于理论模型和数值模拟，而非在真实的物理机器上进行的实验。
本质上，这篇论文提出，通过将我们的量子工具箱从简单的两态硬币升级为更复杂的三态系统，并使用特定的数学“地图”（SU(3) 代数），我们可以赋予量子计算机一种超能力：跨越能量障碍进行“瞬间移动”的能力。这可能是解决那些目前即使是最先进的量子机器也难以处理的极难优化问题的关键一步。
技术摘要：具有非局部驱动器的 $su(3)$ 多重态空间中的量子退火
问题陈述
量子退火（QA）面临着克服一阶相变的重要挑战，特别是在具有崎岖能量景观的系统中。在这种场景下，基态与第一激发态之间的能隙通常随系统规模呈指数级缩小，从而产生了一个瓶颈，需要极长的退火时间才能跨越。传统的基于 spin-1/2 系统（$su(2)$ 代数）的方法往往难以应对此类问题，因为它们的驱动器（通常是横向场）是“局部的”，仅连接希尔伯特空间中的相邻状态。此外，为了研究这些效应而模拟完整的自旋玻璃系统在计算上是非常昂贵的，因为其希尔伯特空间呈指数级增长。本文寻求一种理论框架，既能提供可控的希尔伯特空间大小，又能保留优化问题所特有的复杂、崎岖的能量景观，并研究非局部量子驱动器是否能规避能隙闭合。
方法论
作者提出了一个基于 $su(3)李代数的理论框架，将标准的su(2)$ 角动量算符进行了推广。
- 代数结构： 该框架不再使用泡利矩阵 (σ)，而是利用盖尔曼矩阵 (λ) 作为生成元。哈密顿量通过总生成元 Λα=∑λαi 构建。至关重要的是，这些哈密顿量与 $su(3)$ 的二次卡西米尔不变量（quadratic Casimir invariant）对易，这使得系统可以被限制在由整数 (p,q) 标记的不可约表示（多重态）中。这避免了全自旋玻璃系统的指数级希尔伯特空间增长，同时提供了比 $su(2)更大但对于数值模拟仍可控的维度（d_m \propto p^3$）。
- 非局部驱动器： 研究引入了由 $su(3)升降算符（T_\pm, U_\pm, V_\pm）衍生的量子驱动器。与su(2)横向场（J_x，其为三对角且局部的）不同，某些su(3)驱动器（特别是U_x和V_x$）表现出非局部特性。它们的矩阵表示包含远离主对角的非零元素，直接连接了构型空间中相距较远的态。
- 数值模拟： 作者在三个不同的能量景观（景观 I、II 和 III）内对量子退火进行了数值模拟，这些景观定义在 (12,0) 和 (2,2) 多重态内。他们将单驱动器退火（使用 Tx,Ux 或 Vx）与双驱动器退火进行对比，其中引入第二个驱动器来导航参数空间。性能评估通过能隙分析、波函数动力学和残余能量衰减来进行。
核心贡献与结果
通过双驱动器路径规避能隙闭合：
- 在景观 I（一个具有崎岖内部的凸盆地）中，使用 Tx 的单驱动器退火路径遇到了四个明显不同的能隙闭合，对应于波函数在局部极小值之间跳转的一阶相变。
- 通过引入第二个驱动器（Ux），作者证明了系统可以沿着二维参数空间（τ,s）中的特定路径，绕过能隙闭合区域。沿着这条优化的路径，能隙保持开启，系统成功到达全局最小值。
- 景观 II（一个由高垒障分隔的深盆地组成的凹包络）呈现了类似的挑战。由 Vx 驱动的单驱动器路径遇到了能隙闭合。然而，利用 Ux 作为第二驱动器的双驱动器路径提升了能隙闭合，使系统能够逃离局部盆地。
非局部传输机制：
- 研究表明，$su(3)驱动器的成功不仅仅是因为绝热性或隧穿效应。相反，U_x和V_x$ 等驱动器的非局部矩阵元允许波函数直接“传输”到遥远的极小值点，而无需经过经典的禁区障碍。这可以通过波函数在多重态图中的远端六边形区域出现，而中间态的振幅却并不显著来直观体现。
与传统驱动器的比较：
- 本文将 $su(3)驱动器与传统的su(2)驱动器（横向场J_x）以及反铁磁相互作用进行了对比。虽然在J_x中加入反铁磁驱动器可以软化相变，但su(3)$ 框架仅通过两个驱动器就实现了这一点，且无需引入非定态项（nonstoquastic terms，这类项会增加量子蒙特卡洛模拟的复杂度）。研究表明，在测试的崎岖景观中，与单驱动器 $su(2)方法相比，su(3)$ 驱动器在达到全局最小值方面更为有效。
意义与主张
本文声称，$su(3)$ 框架为研究具有崎岖能量景观的量子退火提供了一种新颖且有效的方法。其主要意义在于：
- 可扩展性： 它在简单的 $su(2)$ 模型和难以处理的自旋玻璃之间提供了一个中间地带，提供了一个可控的希尔伯特空间，同时仍能捕捉到玻璃态能量表面的“多谷”结构。
- 非局部性作为一种资源： 研究确定了特定 $su(3)$ 生成器的非局部性质是克服一阶相变的机制，提供了一种逃离传统局部驱动器无法实现的局部极小值的方法。
- 路径优化： 研究表明，存在于 $su(3)$ 代数中的多个独立驱动器，使得选择能够避开能隙闭合的参数空间退火路径成为可能，从而提高了寻找全局最小值的效率。
作者总结道，虽然 $su(3)$ 模型不像全自旋玻璃那样复杂，但它们作为理解量子退火在玻璃态情景下基本机制（特别是非局部驱动器在克服优化瓶颈方面的作用）的宝贵理论试验场。
每周获取最佳 quantum physics 论文。
受到斯坦福、剑桥和法国科学院研究人员的信赖。
请查收邮箱确认订阅。
出了点问题，再试一次？
无垃圾邮件，随时退订。