Certification failure in variational-principle observables

技术摘要：变分原理可观量的认证失效

问题陈述
变分算法广泛应用于经典计算和量子计算中，用于近似基态。这些算法基于一个基本假设：即一个能量收敛至距离真实基态能量 $E_0$ 在极小分辨率 $\epsilon$ 以内的状态，必然意味着该状态本身是一个良好的近似，因此其可观量的期望值也是良好收敛的。本文对这一假设提出了挑战，证明了良好的能量收敛并不能“认证”可观量的正确性。作者指出，在具有准简并低能谱或小能隙的系统中，可观量的误差可能比能量误差大几个数量级。这种被称为“非线性误差放大”的现象，是因为变分能量是状态误差的二阶函数，而大多数可观量的期望值则是其一阶函数。因此，仅凭能量无法保证可观量的保真度，尤其是在键断裂、相变和开壳层分子系统等物理感兴趣的机制中。

方法论与理论框架
本文通过定义认证半径 $\delta_O(M_\epsilon)$ 来形式化认证失效的条件。该半径被定义为满足能量约束 $\text{Tr}(H\rho) \ge E_0$ 且 $\text{Tr}(H\rho) \le E_0 + \epsilon$ 的所有密度矩阵 $M_\epsilon$ 中，可观量 $O$ 的期望值误差的上确界。

作者利用谱分解和线性响应理论推导出了该半径的严格上下界，改进了以往仅依赖于算符范数 $\|O\|_\infty$ 的弱界限：

1. 误差分解： 可观量的误差被分解为两个项：一个“布居”（population）项（随 $\epsilon$ 线性缩放）和一个“相干”（coherence）项（随 $\sqrt{\epsilon}$ 缩放）。
2. 敏感度（Susceptibility）的作用： 对于较小的 $\epsilon$，主导项是相干项，它取决于可观量的静态敏感度 $\chi_O$。作者表明，在领先阶项中，认证半径按 $\sqrt{2\epsilon\chi_O}$ 缩放。
3. 定理 1 与定理 2：
   • 定理 1 提供了一个认证半径的上界，表明它受能隙、低能级能隙以及跃迁矩阵元（编码在 $\chi_O$ 中）的控制。
   • 定理 2 提供了一个匹配的下界，证明当敏感度不为零时，该半径确实与 $\sqrt{2\epsilon\chi_O}$ 成正比。
4. 对称性考量： 本文分析了对称性如何恢复可认证性。如果一个可观量是守恒量，或者拟设（ansatz）被限制在特定的对称性扇区内（例如宇称或自旋），相干项可能会消失或有效能隙会增加，从而减小认证半径。

数值研究
为了证明这种失效机制的普遍性，作者将其框架应用于三个不同的系统和算法：

1. 横场伊辛链上的变分量子本征求解器 (VQE)：

   • 系统： 一个 $L=12$ 位点的开链。横场 $h$ 被降低以使基态与第一激发态（宇称双重态）之间的能隙闭合。
   • 观察结果： 一个不守恒宇称的硬件高效拟设（hardware-efficient ansatz）在能量高度精确的同时，在能隙较小时表现出巨大的磁化强度误差（$|M| \approx 0.98$）。相反，一个保持宇称的拟设由于对称性保护，其 $M=0$ 且认证半径为零。
   • 机制： 失效是由由于宇称能隙消失导致的相干项驱动的。

2. 弱耦合氢链上的密度矩阵重整化群 (DMRG)：

   • 系统： 由距离 $d$ 分隔的两条 $H_5$ 链。随着 $d$ 的增加，单线态-三线态能隙呈指数级减小。
   • 观察结果： 标准的 $S_z$ 保守型 DMRG（允许三线态混合）未能捕捉到总自旋 $\langle S^2 \rangle$，尽管达到了化学精度水平的能量，却陷入了一个破缺对称的状态，其 $\langle S^2 \rangle = 1$。而自旋适配（$SU(2)$）DMRG 保持在单线态扇区，正确地得出 $\langle S^2 \rangle = 0$。
   • 机制： 失效是由布居项（随 $\epsilon$ 线性变化）驱动的，因为该可观量与哈密顿量对易，但拟设所感受到的有效能隙是微小的单线态-三线态分裂。

3. 氟化锂 (LiF) 上的 Krylov 量子对角化 (KQD)：

   • 系统： 在离子-共价避免交叉点处的 LiF。使用电场来调节两个最低能态之间的能隙。
   • 观察结果： 在能隙闭合的共振线上，偶极矩 $\mu$ 变得不可认证；一个具有高保真度（0.995）的状态其偶极矩误差可达 1.7 Debye。在能隙保持开启的失谐线上，偶极矩是准确的。
   • 机制： 失效是由由于近简并态之间存在大的跃迁偶极矩导致的相干项驱动的。

主要贡献与结果

• 形式化认证失效： 本文提供了严谨的数学界限，通过引入静态敏感度和跃迁矩阵元，紧致化了以往的结果，并明确推导出了 $\sqrt{2\epsilon\chi_O}$ 的缩放关系。
• 识别非线性放大： 研究确定了微小的能量误差如何被非线性地放大为巨大的可观量误差，这一机制取决于静态敏感度和低能谱的结构。
• 对称性作为补救措施： 该工作阐明了对称性约束（宇称、自旋扇区）如何起到“保护”作用，通过有效地增加相关的能隙或消除相干项，从而恢复可认证性。
• 渐近意义： 作者讨论了渐近极限，指出对于那些有效误差 $\epsilon_{eff}$ 不比闭合能隙缩减得更快（例如 $\epsilon_{eff} \lesssim L^{-z}$）的算法，在热力学极限下，认证失效是不可避免的。

意义与主张
本文声称，变分结果的可认证性并非算法或系统能量的普遍属性，而是本质上取决于所测量的特定可观量及其敏感度。作者断言，在具有小能隙的系统中，实现“化学精度”的能量并不足以保证可观量的准确预测。

其意义在于转移了验证的重心：从业者不应再依赖能量收敛作为状态质量的代理指标，而必须显式地考虑能隙及其可观量的敏感度。本文结论指出，如果没有额外的约束（如对称性适配）或对能隙结构的特定了解，良好的能量收敛无法保证可观量期望值的正确性。这挑战了分子模拟中的标准做法，即通常将能量收敛视为计算成功的唯一指标。