arXiv:2502.07889quant-phcs.LG2025-02被引 31

揭示量子优化中梯度消失的局部区域,为算法初始化提供理论依据

A unifying account of warm start guarantees for patches of quantum landscapes

  • 建立统一的梯度方差下界,适用于多种量子线路结构
  • 证明在非指数窄区域内梯度不会指数级衰减
  • 指出初始化策略必须随问题规模逼近吸引区域才有效

退化平原本质上是量子损失曲面的平均性质,但实际中可能存在梯度显著的局部区域。以往研究仅针对特定参数化量子电路,发现某些区域梯度最坏仅多项式衰减。本文提出一个统一的通用下界,涵盖此前所有情形,并可分析此前无法处理的物理驱动型变分量子线路。具体而言,我们解析证明:在曲率点附近非指数狭窄区域内,损失方差不会指数级下降。数值实验和上界分析进一步表明,任何具有退化平原特性的损失函数,在任意常数半径子区域内梯度都将指数衰减。因此,尽管存在温启动变分量子算法的希望,但任何无法随问题规模不断逼近吸引区域的初始化策略可能都不可行。

原文摘要 · Abstract (English)

Barren plateaus are fundamentally a statement about quantum loss landscapes on average but there can, and generally will, exist patches of barren plateau landscapes with substantial gradients. Previous work has studied certain classes of parameterized quantum circuits and found example regions where gradients vanish at worst polynomially in system size. Here we present a general bound that unifies all these previous cases and that can tackle physically-motivated ansätze that could not be analyzed previously. Concretely, we analytically prove a lower-bound on the variance of the loss that can be used to show that in a non-exponentially narrow region around a point with curvature the loss variance cannot decay exponentially fast. This result is complemented by numerics and an upper-bound that suggest that any loss function with a barren plateau will have exponentially vanishing gradients in any constant radius subregion. Our work thus suggests that while there are hopes to be able to warm-start variational quantum algorithms, any initialization strategy that cannot get increasingly close to the region of attraction with increasing problem size is likely inadequate.

量子计算优化梯度消失变分算法

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。