Bounds on adiabatic path geometry from the width class of the gap profile

技术摘要：基于能隙剖面宽度类的绝热路径几何性质界限

问题陈述
在绝热量子演化中，系统从 $H(0)$ 的基态初始化，随着参数 $s$ 从 0 调节至 1，演化到 $H(1)$ 的基态。这一过程的效率受制于“绝热路径”的几何结构，即基态（或基子空间）在希尔伯特空间中描绘出的曲线。两个关键的几何量是路径长度 $L$ 和总曲率 $K$。

传统的分析仅利用区间 $s \in [0, 1]$ 上的最小能隙 $\Delta_*$ 来对这些量进行限制。这种方法得出 $L = O(\Delta_*^{-1/2})$ 且 $K = O(\Delta_*^{-1})$。然而，作者观察到这些界限在实践中往往过于悲观。传统方法将能隙函数 $\Delta(s)$ 视为等于其最小值的常数，忽略了能隙剖面的函数形式。因此，决定路径几何的积分被高估了，导致产生的界限过松，无法反映许多物理系统（如避免交叉现象）的实际行为。

方法论
为了解决这一差异，作者引入了能隙剖面的**宽度类（width class）**概念。他们不再仅仅依赖于能隙最小值（深度）$\Delta_*$，而是通过表征能隙较小区域的“狭窄程度”来描述能隙。

1. 宽度类定义： 令 $\mu_<(\gamma)$ 为参数 $s$ 满足 $\Delta(s) < \gamma$ 的集合的测度（宽度）。若当 $\gamma \to 0$ 时，$\mu_<(\gamma)$ 至少以 $\gamma^{1/p}$ 的速度消失，则称该能隙剖面属于宽度类 $p \ge 1$。具体而言，$\mu_<(\gamma) \le C_W (\gamma/\Gamma)^{1/p}$。

   • $p=1$： 对应于宽度的线性消失，这在避免交叉（avoided crossings）中很典型，此时能隙表现为 $\sqrt{\Delta_*^2 + \omega^2(s-s_*)^2}$。
   • $p>1$： 对应于消失速度更慢的宽度，产生幂律行为。

2. 理论框架：

   • 作者分析了形式为 $H(s) = H_0 + sH'$ 的仿射哈密顿量，并将其推广到二阶连续可微的非仿射哈密顿量。
   • 他们定义了秩为 $g$ 的基子空间的路径长度 $L_P$ 和总曲率 $K_P$。
   • 利用谱投影算子 $P(s)$ 及其导数，他们推导出了关于 $1/\Delta(s)$ 积分的 $L_P$ 和 $K_P$ 的界限。
   • 通过积分宽度类条件，他们比传统的 $1/\Delta_*$ 界限更精确地评估了能隙积分 $\int_0^1 ds/\Delta(s)$。

3. 演化时间分析：

   • 所得的几何界限被应用于两种调度策略：标准的线性调度（linear schedule）和恒定几何速度（CGS）调度。
   • 分析结合了能隙宽度类，以优化绝热定理的运行时间界限。

核心贡献与结果

• 改进后的路径长度 ($L$) 与曲率 ($K$) 界限：

  • 对于宽度类 $p=1$（典型的避免交叉）：

    • $L = O(\sqrt{\log \Delta_*^{-1}})$
    • $K = O(\log \Delta_*^{-1})$
    • 这取代了传统的幂律缩放，变为对数缩放。

  • 对于宽度类 $p > 1$：

    • $L = O(\Delta_*^{-(p-1)/(2p)})$
    • $K = O(\Delta_*^{-(p-1)/p})$
    • 这些指数严格小于传统的 $1/2$ 和 $1$。

  • 作者通过构建达到这些缩放比例的特定哈密顿量族，证明了所有整数 $p \ge 1$ 时 $L$ 的缩放律以及 $p=1$ 时 $K$ 的缩放律的紧致性。

• 非仿射哈密顿量的界限：

  • 通过限制能量的二阶导数，将结果扩展到非仿射哈密顿量。只要哈密顿量族满足其导数的特定有界条件，其相对于 $\Delta_*$ 的缩放行为保持不变。

• 固定子空间中的有界性：

  • 论文证明，如果基态始终保持在一个固定的二维子空间内（与 $s$ 无关），则无论能隙大小如何，$L$ 和 $K$ 都会被常数限制（$L \le \pi/2, K=0$）。这解释了为什么某些系统（如 Grover 搜索）尽管能隙消失，却仍表现出有界的几何性质。

• 运行时间改进：

  • 线性调度： 对于宽度类 $p$，演化时间缩放为 $T = O(\Delta_*^{-(3-1/p)})$。在 $p=1$ 时，这把最坏情况下的 $O(\Delta_*^{-3})$ 改进到了 $O(\Delta_*^{-2})$。
  • 恒定几何速度 (CGS) 调度：
    • 如果 $L$ 独立于 $\Delta_*$ 有界，则 CGS 调度实现 $T = O(\Delta_*^{-(2-1/p)})$。在 $p=1$ 时，这产生了 $T = O(\Delta_*^{-1})$（至多带有对数修正），比线性调度提升了一个数量级。
    • 即使在 $L$ 无界的情况下，CGS 调度对于所有 $p$ 均比线性调度提供更好的缩放性能。

应用的验证
作者在三个特定的系统中验证了其理论界限，这些系统均属于宽度类 $p=1$：

1. 绝热 Grover 搜索： 基态保持在固定的二维子空间内。计算出的路径长度趋近于 $\pi/2$，这与常数界限一致，而新的理论界限（$O(\sqrt{\log \Delta_*^{-1}})$）比传统的 $O(\Delta_*^{-1/2})$ 要紧凑得多。
2. XXZ 自旋链： 基态主要保持在由两个 Néel 序构成的平面内。计算出的 $L$ 保持有界（接近 $\pi/4$），新界限比传统估计值低了数个数量级。
3. 分子电子哈密顿量： 应用于氮分子 ($N_2$) 和 [2Fe-2S] 簇。计算出的路径长度和曲率分别仅为新界限的 2–7 倍和 5–95 倍，而传统界限超过计算值的倍数高达 $10^3$ 到 $10^4$。

意义
作者认为，传统的绝热路径几何界限过于保守，因为它们将整个能隙剖面简化为一个单一的数值 ($\Delta_*$)。通过引入宽度类，作者提供了一种更细致的能隙剖面表征，能够捕捉到小能隙区域的行为特征。

其意义在于：

1. 更紧致的理论保证： 新的界限被证明是更紧致的，通常是逻辑级的而非多项式级的，从而为绝热演化所需的资源提供了更准确的预测。
2. 实际相关性： 这些结果解释了为什么数值实验的表现往往优于最坏情况下的理论预测。
3. 算法设计： 研究结果支持使用恒定几何速度调度，该调度仅需能隙的下界（而非完整的能隙函数）即可实现最优缩放，从而降低了设计高效绝热算法时对先验谱知识的需求。

作者总结道，虽然宽度类将典型避免交叉的界限改进到了对数水平，但在许多物理系统中，实际的路径几何似乎是由常数限制的，他们将此归因于几何约束（固定子空间）而非谱约束。他们确定了实现这种常数有界性的机制，并将 $p>1$ 时曲率缩放的紧致性作为未来的研究方向。