arXiv:2604.18846quant-phcs.LG2026-04

提出量子目标函数的可训练性边界,揭示非仿射损失的梯度增强潜力。

Trainability Beyond Linearity in Variational Quantum Objectives

论文配图:Trainability Beyond Linearity in Variational Quantum Objectives
图 1 · 摘自论文原文
  • 基于可观测量表示,确定仿射损失的可训练性边界
  • 发现非仿射损失中存在梯度放大机制,可突破指数抑制
  • 在多项式宽度设计下,显著提升梯度幅度,适合小样本场景

空白高原现象已将梯度指数抑制视为变分量子算法可扩展性的普遍障碍。现有研究通过针对具体损失函数的论证探讨其适用性,但缺乏通用结构刻画。本文证明:仅当损失函数对测量统计量为仿射时,目标函数才具有固定可观测量表示,从而明确界定经典浓度论证模板的有效范围。对于非仿射损失,现有转移结果需附加假设才能实现该简化;而本研究表明,此类简化在一类非仿射目标中在结构上不可行,使其超出现有证明框架的自动覆盖范围。超越仿射区域后,链式法则分解揭示三个决定因素——模型响应性、损失侧信号与传输效率——并引发损失类二分:有界梯度损失继承抑制,而具备放大能力的损失理论上可抵消抑制。在指数宽情形下,两类均失效,但结构原因不同。若接口设计为多项式宽度,暴露粗粒度统计而非单个比特串概率,则指数维障碍被缓解,二分现象真正发挥作用。数值实验在电荷守恒量子系统上验证:具备放大能力的目标函数在相同采样预算下,梯度比仿射及继承基线大数个数量级;在测试区间内,其缩放趋势与另两者呈现统计显著差异。边界在仿射处,边界之外是表征设计问题。

原文摘要 · Abstract (English)

Barren-plateau results have established exponential gradient suppression as a widely cited obstacle to the scalability of variational quantum algorithms. When and whether these results extend to a given objective has been addressed through loss-specific arguments, but a general structural characterization has remained open. We show that the objective itself admits a fixed-observable representation if and only if the loss is affine in the measured statistics, thereby identifying the exact boundary of the standard concentration-based proof template. Existing transfer results for non-affine losses achieve this reduction under additional assumptions; our characterization implies that such a reduction is not structurally available for a class of non-affine objectives, placing them outside the automatic reach of the existing proof template. Beyond the affine regime, a chain-rule decomposition reveals three governing factors -- model responsivity, loss-side signal, and transmittance -- and induces a loss-class dichotomy: bounded-gradient losses inherit suppression, while amplification-capable losses can in principle counteract it. In the exponentially wide setting, both classes fail, but for different structural reasons. When the interface is instead designed at polynomial width -- exposing coarse-grained statistics rather than individual bitstring probabilities -- the exponential-dimensional obstruction is relaxed and the dichotomy plays a genuine role. In a numerical demonstration on a charge-conserving quantum system, the amplification-capable objective produces resolved gradients several orders of magnitude larger than affine and inheriting baselines at comparable shot budgets. Over the tested interval, its scaling trend is statistically distinguished from the exponential trend of both alternatives. The boundary is affine; what lies beyond it is a representation-design problem.

量子计算变分量子算法梯度分析可训练性

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