破解量子算法梯度消失难题,发现可实现非平凡优势的潜在路径
Gradient Scalability and Taylor Surrogation of Quantum Cost Landscapes
- 提出泰勒近似法,高效模拟近克里福区域的量子线路演化
- 证明在部分区域计算复杂度至少为超多项式,超越经典可模拟范围
- 设计线性克里福编码器,使梯度保持恒定,适合研究量子优势边界
变分量子算法是近期量子计算的有力候选,但面临梯度消失问题,其梯度随系统规模指数衰减。已有猜想认为避免梯度消失可能隐含经典可模拟性,从而限制量子优势。本文深化了对初始梯度可扩展性与算法计算复杂性关系的理论理解。首先提出泰勒近似(Taylor surrogate),在近克里福区域匹配保罗路径运行时间保证,并在特定情形下提供更优性能。利用该近似,证明在先前已知的经典可模拟区域之外,计算复杂度至少为超多项式。接着引入线性克里福编码器(Linear Clifford Encoder),一种经典高效的波函数修饰方法,可在接近克里福电路的区域保持梯度恒定。数值实验显示,在修改后的景观中存在过渡区,恒定梯度可能在超多项式复杂区域以多项式速度衰减而非指数衰减。这些结果提示:非消失梯度与超多项式复杂性可能存在共存实例,支持未来形式化证明的必要性。
原文摘要 · Abstract (English)
Variational Quantum Algorithms are promising candidates for near-term quantum computing, yet they face scalability challenges due to barren plateaus, where gradients vanish exponentially relative to system size. Recent conjectures suggest that avoiding these plateaus might inherently lead to classical simulability, thereby limiting the opportunities for quantum advantage. In this work, we advance the theoretical understanding of the relationship between gradient scalability at initialization and the computational complexity of variational quantum algorithms. We first present the Taylor surrogate, a classical simulation technique that matches Pauli path runtime guarantees on near-Clifford regions while offering runtime advantages in specific regimes. Leveraging this surrogate, we prove that beyond previously established classically simulable regions, the computational complexity is at least super-polynomial. Next, we introduce the Linear Clifford Encoder, a classically efficient ansatz modifier that ensures constant-scaling gradients within landscape regions close to Clifford circuits. Finally, numerical experiments on these modified landscapes provide preliminary empirical evidence of a transition zone where constant-scaling gradients may decay polynomially in super-polynomially complex regions rather than exponentially. These findings suggest speculative instances where non-vanishing gradients and super-polynomial complexity could potentially coexist, vindicating the need for future formal proofs.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。