量子成本景观的梯度可扩展性与泰勒代理

变分量子算法是面向近期量子计算的有前景的候选人，但由于梯度随系统规模指数衰减的平坦台（barren plateaus）而面临可扩展性挑战。最近的猜想表明，避免这些平坦台可能本质上导致经典可模拟性，从而限制了量子优势的机会。本文在变分量子算法初始化梯度可扩展性与计算复杂度之间关系的理论理解方面取得了进展。我们首先提出了泰勒代理（Taylor surrogate），一种经典仿真技术，在接近 Cliff 区域匹配 Pauli 路径运行时保证，同时在特定情境中提供运行时优势。借助该代理，我们证明了在此之前已建立的可经典模拟的区域之外，计算复杂度至少为超多项式。接着，我们引入了线性 Cliff 编码器（Linear Clifford Encoder），一种在接近 Cliff 电路的景观区域内确保梯度常规模的经典高效 ansatz 修改器。最后，数值实验在这些修改后的景观上提供了常规梯度在超多项式复杂区域衰减为多项式的过渡区的初步经验证据。这些发现表明， Speculative 的实例中，非消失梯度与超多项式复杂度可能潜在共存，vindicating 对未来形式证明的必要性。