[论文解读] The Adjoint Is All You Need: Characterizing Barren Plateaus in Quantum Ansätze

Enrico Fontana, Dylan Herman+6 more|arXiv (Cornell University)|Sep 14, 2023

Quantum Mechanics and Applications参考文献 57被引用 11

一句话总结

本工作引入 Lie Algebra Supported Ansatz (LASA) 框架，并证明梯度方差与 dynamical Lie algebra 的维度成反比，从而解释了在广义参数化量子电路中出现的 barren plateaus。

ABSTRACT

Using tools from the representation theory of compact Lie groups, we formulate a theory of Barren Plateaus (BPs) for parameterized quantum circuits whose observables lie in their dynamical Lie algebra (DLA), a setting that we term Lie algebra Supported Ansatz (LASA). A large variety of commonly used ansätze such as the Hamiltonian Variational Ansatz, Quantum Alternating Operator Ansatz, and many equivariant quantum neural networks are LASAs. In particular, our theory provides, for the first time, the ability to compute the variance of the gradient of the cost function of the quantum compound ansatz. We rigorously prove that, for LASA, the variance of the gradient of the cost function, for a 2-design of the dynamical Lie group, scales inversely with the dimension of the DLA, which agrees with existing numerical observations. In addition, to motivate the applicability of our results for 2-designs to practical settings, we show that rapid mixing occurs for LASAs with polynomial DLA. Lastly, we include potential extensions for handling cases when the observable lies outside of the DLA and the implications of our results.

研究动机与目标

• 通过结合对称性和李代数结构，激励并解决变分量子算法（VQAs）中的 barren plateaus。
• 将 BP 分析扩展到不可控的 Ansatz，其中动态李代数（DLA）维度决定可训练性。
• 提供一个理论框架，解释 LASA 的梯度方差尺度，并将其应用于常见的 PQCs，如 HVA 和 QAOA。
• 表明量子复合 Ansatz 在 Haar 初始化下可以被分析，并且在标准设定下可能避免 BP。

提出的方法

• 利用生成元的动态李代数 (DLA) 构建变分电路。
• 引入 Lie Algebra Supported Ansatz (LASA)，其中观测量落在 DLA 中。
• 通过伴随表示计算梯度方差，并将分裂的 Casimir 算子用于推导精确表达式。
• 证明对于简单李群，GradVar 与 DLA 维度的平方倒数成比例，并且取决于态密度 ρ 与算子在投影上的分量。
• 通过将其分解为简单理想和中心分量，将结果推广到约简李代数。

实验结果

研究问题

• RQ1 在何种条件下，VQA 的梯度方差与 DLA 维度成反比地缩放？
• RQ2 是否可以对不可控的 Ansatz（如量子复合 Ansatz）进行 barren plateaus 的表征和预测？
• RQ3 伴随表示与分裂 Casimir 框架如何给出明确的梯度方差公式？
• RQ4 LASA（包括 HVA、QAOA 和 EQNNs）是否表现出 BP 行为，以及它们的 DLA 维度如何影响可训练性？

主要发现

• 在 Haar 初始化且 iO 位于 DLA 时，梯度方差遵循一个涉及 H、O 和 ρ 在 DLA 成分上的投影范数的公式。
• 对于简单群，GradVar 等于一个与 H 和 O 的范数平方以及投影态的 Frobenius 范数平方成正比的项，再除以 DLA 维度的平方。
• 该结果通过从简单理想求和贡献扩展到可约代数，其中中心部件不对方差产生贡献。
• LASA 捕捉了许多常见的 PQC（例如 HVA、QAOA），并且所有 LASA 都是 EQNNs，提供一个广泛、统一的 BP 诊断工具。
• 该框架在典型设定下给出非平凡不可控 PQC（量子复合 Ansatz）的首个梯度方差推导。