Symmetries and overparametrization properties of Hamiltonian variational ansatzes for the $(1+1)$d $\mathbb{Z}_2$ lattice gauge theory

本文通过对动力学李代数和量子费舍尔信息矩阵的数值分析，研究了 (1+1)d $\mathbb{Z}_2$ 格点规范理论中的五种保持对称性的哈密顿变分拟设，证明了过参数化消除了局部极小值并加速了变分量子特征值求解器（VQE）的收敛，从而推进了对可扩展量子电路设计的理论理解。

要点

想象一下，你正试图在一片广袤且雾气缭绕的山脉中寻找最低点。这就是科学家们所称的“优化问题”。在量子计算的世界里，他们使用一种特殊的工具，叫做变分量子算法（Variational Quantum Algorithm, VQA）。你可以把 VQA 想象成一名带着带有可调节旋钮地图的登山者。每当登山者转动一个旋钮，地图就会发生微小的变化，然后他们会检查自己是否走到了更低的地方。如果确实更低了，他们就会继续前进；如果没有，他们就会尝试另一个方向。

这篇论文中的“地图”被称为 Ansatz（拟设）。它是量子计算机构建其状态的一种特定配方。作者研究了五种不同的配方（分别标记为 A 到 E），这些配方是专为一种特定的物理问题——**一维 Z2 格点规范场论（1D Z2 Lattice Gauge Theory）**而设计的。你可以把这种理论看作是一个由微小磁铁和粒子组成的网格，它们相互作用，并遵循自然界所遵循的严格规则（对称性）。

以下是本文的研究发现，以通俗易懂的方式进行了解释：

1. “过度参数化”的魔力

通常情况下，当你面对一个拥有许多旋钮的山脉时，登山者会被困在一个小山谷（“局部极小值”）中，并误以为那里就是底部，尽管附近其实存在一个更深的谷底。这是量子计算中的一个常见问题。

论文发现，如果你给登山者足够的旋钮（参数），那些小山谷就会消失。地形变得平滑，登山者可以顺着坡度直接滑向真正的底部（“全局最小值”）。这种状态被称为过度参数化（overparameterization）。

• 类比： 想象尝试将一张纸折叠成特定的形状。如果你只有几次折叠机会，你可能会得到一个乱七八糟的褶皱。但如果你有足够的折叠次数来做出每一个细微的褶皱，你就能完美地实现那个形状，而不会被卡住。

2. “李代数”与“搜索空间”

作者想要确切知道，需要多少个旋钮才能让那些小山谷消失。为了弄清楚这一点，他们使用了两个数学工具：

• 动力学李代数（Dynamical Lie Algebra, DLA）： 你可以把它看作是登山者所有可能移动方向的清单。如果清单很短，登山者就被困在一个小房间里；如果清单很长，登山者就可以探索整座大山。
• 量子费舍尔信息矩阵（Quantum Fisher Information Matrix, QFIM）： 它衡量了地图的“灵活性”。当这个矩阵的秩（rank）“饱和”（停止增长）时，意味着地图已经达到了其最大灵活性。

论文表明，对于他们设计的这些特定配方，一旦旋钮的数量超过了某个临界值，QFIM 就会停止增长，且“局部山谷”也会随之消失。登山者终于可以找到真正的底部。

3. “三体”转折

以往的大多数研究都关注简单的相互作用（比如两个磁铁接触）。而这篇论文研究了一种更复杂的相互作用，即三个物体同时进行相互作用（比如三个磁铁同时影响彼此）。

• 研究发现： 即便是在这种复杂的“三方相互作用”下，“过度参数化”法则依然成立。只要你增加足够的旋ло钮，优化问题就会重新变得简单。

4. 登山者的速度

作者还观察了随着旋钮数量的增加，登山者向山底移动的速度如何。

• 发现： 他们发现，随着旋钮数量的增加，误差下降的速度（“衰减率”）呈线性增长。
• 类比： 这就像是给汽车增加引擎。你增加的引擎越多，车速就越快，而且这种提升是稳定且可预测的直线增长。它不会突然跳跃到超高速，而是稳步变快。

5. 并非所有配方都一样

论文测试了五种不同的配方（A、B、C、D、E）。

• 配方 A、B 和 C： 它们具有“最大表达能力”。它们可以探索每一处可能的角落。
• 配方 D： 这个配方受到了限制。即使拥有许多旋钮，它也无法到达绝对的底部，因为它的“地图”缺少某些方向。
• 配方 E： 这是一个特例。它具有非常简单的结构，且能够高效扩展，这表明它可能是未来处理更大、更复杂问题的有力竞争者。

总结

简而言之，这篇论文是为量子计算机设计者编写的一本指南。它证明了，如果你构建的量子“地图”（ansatz）拥有足够的调节旋钮，你就可以避免陷入糟糕的解。它还表明，随着你增加旋钮，寻找解决方案的速度会变得更快，而且即使在涉及三体相互作用的复杂物理问题中也是如此。核心结论是：更多的旋钮（参数）= 更平滑的通往解决方案之路。

技术摘要

技术摘要：(1 + 1)d $Z_2$ 格点规范场论中哈密顿变分拟设的对称性与过参数化特性

问题陈述
变分量子算法（VQAs），特别是变分量子本征求解器（VQE），面临着显著的可扩展性挑战，例如“贫瘠高原”（barren plateau）现象（即梯度随系统规模呈指数级消失），以及阻碍收敛至全局最优解的伪局部极小值问题。近期文献表明，“过参数化”（即可训练参数的数量超过临界阈值）可以消除局部极小值并确保收敛。然而，关于过参数化的理论机制——特别是涉及高阶泡利算符（权重 > 2）和复杂对称性结构的拟设中，动态李代数（DLA）、量子费舍尔信息矩阵（QFIM）与损失函数曲面之间的关系——仍有待深入研究。这对于哈密顿量自然包含多体相互作用并拥有分割希尔伯特空间的局部（高斯定律）和全局对称性的格点规范场论（LGT）而言尤为重要。

方法论
本文研究了五种不同的、源自一维 $Z_2$ 格点规范场论（含无自旋物质）哈密顿量的哈密顿变分拟设（HVA）族。研究过程如下：

1. 模型定义： 系统定义在具有周期性边界条件的 $N_s$ 个格点链上。哈密顿量包括跳跃（$H_{hop}$）、质量（$H_m$）和规范（$H_g$）项，涉及二体和三体泡利相互作用。该模型具有局部规范对称性（高斯定律）以及包括宇称（$P$）、电荷共轭（$C$）和总电荷（$Q$）在内的全局对称性。
2. 拟设构建： 构建了五种 HVA 家族（标记为 A 至 E）。每种家族使用哈密顿量项的不同子集作为幺正电路层的生成元。这些拟设旨在尊重特定的全局对称性子集，从而将演化限制在希尔伯特空间的特定不变子空间内。
   • 家族 A、D 和 E 保留 $P$ 和 $C$。
   • 家族 B 和 C 打破 $P$ 和 $C$，但保留组合对称性 $CP$。
   • 家族 E 额外保留规范场反转对称性 $Z$。
3. 不变子空间分析： 初始态 $|\psi_0\rangle$ 被选为对称算符的本征态。研究重点关注每个 HVA 家族 $X$ 可达的不变子空间 $S_X$。通过数值方法计算这些子空间的维度 $d_X$。
4. DLA 与 QFIM 特征化：
   • 通过对投影生成元取李闭包来计算动态李代数（DLA）$\mathfrak{g}_{S_X}$。确定该代数的维度 $\dim(\mathfrak{g}_{S_X})$。
   • 针对不同电路深度 $L$，数值评估量子费舍尔信息矩阵（QFIM）的秩 $R^{(L)}_X$。识别饱和值 $R_X$ 为可实现的最高秩。
5. VQE 优化： 使用带有梯度下降（GD）优化的 VQE 来寻找原始哈密顿量的基态能量。研究追踪渐近损失（最终能量）以及损失函数随参数数量变化的衰减率（$\kappa$）。

核心贡献与结果

• DLA 结构与表达能力：

  • 家族 A、B 和 C： 这些家族展示了同构于 $\mathfrak{u}(d_X)$ 或 $\mathfrak{su}(d_X)$ 的 DLA 子表示（其中 $d_X$ 是不变子空间的维度）。这表明它们具有最大可表达性，即在足够深度下能够生成其各自子空间内的任何幺正操作。
  • 家族 D： 其 DLA 同构于 $\mathfrak{so}(d_D)$。该代数是 $\mathfrak{su}(d_D)$ 的真子代数，意味着该拟设不是最大可表达的。因此，即使在过参数化的情况下，物理模型的基态也可能不在初始态的轨道内，从而导致无法找到真实的基态。
  • 家族 E： 该家族呈现出独特的案例，其 DLA 同构于多个 $\mathfrak{su}(2)$ 的直和。其维度随系统规模 $N_s$ 呈线性缩放，这与其他家族的指数级缩放形成对比。

• 过参数化与 QFIM 饱和：

  • 研究证实了 QFIM 秩在临界层数 $L_c$ 处发生饱和。
  • 对于最大可表达家族（A、B、C），饱和秩 $R_X$ 等于 $2d_X - 2$，这与状态矢量的实自由度一致。
  • 对于家族 D，$R_D = d_D - 1$。
  • 对于家族 E，饱和秩受到 $\dim(\mathfrak{g}_{S_E})$ 的严格限制，且该值显著小于 $2d_E - 2$。
  • 结果支持了以下理论界限：QFIM 秩受限于 DLA 子表示的维度。

• 损失函数曲面与收敛性：

  • 局部极小值的消失： 当参数数量超过临界阈值（$M > M_c$ 或 $L > L_c$）时，不同随机初始化下的渐近损失值的方差趋于零。这与 QFIM 秩的饱和相吻合，证实了过参数化消除了损失函数曲面中的局部极小值。
  • 基态恢复： 虽然过参数化消除了局部极小值，但如果拟设的表达能力不足（例如家族 D），它并不能保证找到真实的基态（家族 D 尽管过参数化，仍无法达到真实的基态能量）。
  • 衰减率缩放： 梯度下降下的损失函数衰减率 $\bar{\kappa}$ 与参数数量（以及层数 $L$）呈线性缩放关系。与渐近损失不同，衰减率在过参数化阈值处不会表现出突变；它在欠参数化和过参数化机制中均稳步增加。

意义与主张
本文声称通过将分析扩展到涉及三体相互作用（权重为三的泡利算符）和典型于格点规范理论的复杂对称性扇区的哈密顿量拟设，丰富了量子电路过参数化的理论。

作者断言，其研究结果为设计可扩展的 VQA 提供了关键见解：

1. 对称性与 DLA： 生成元的选择及其产生的对称性直接决定了 DLA 的结构，进而限制了 QFIM 秩以及拟设的表达能力。
2. 过参数化准则： 过参数化由 QFIM 秩的饱和来定义，而该秩受限于 DLA 维度。然而，对于具有高表达能力的系统，由状态矢量实自由度（$2d-2$）导出的界限可能比 DLA 维度界限更紧凑。
3. 可扩展性启示： 家族 E 中 DLA 维度的线性缩放表明，有可能构建出在保持能够收敛至基态的同时，仍能以多项式电路深度实现过参数化的拟设。这为模拟 LGT 的可扩展 VQE 算法提供了一条潜在路径。

作者对目前的规模性保持了审慎态度，指出目前的基于随机初始化的 VQE 设置适用于玩具模型。他们认为，其结果为设计更先进、可能具备可扩展性的算法（如 ADAPT-VQE 和 SC-ADAPT-VQE）提供了参考，并指出了未来在解析理解生成元选择以及将框架扩展到更高维度和非阿贝尔 LGT 方面的研究方向。