[논문 리뷰] The Adjoint Is All You Need: Characterizing Barren Plateaus in Quantum Ansätze

Enrico Fontana, Dylan Herman외 6명|arXiv (Cornell University)|2023. 09. 14.

Quantum Mechanics and Applications참고 문헌 57인용 수 11

한 줄 요약

이 연구는 Lie Algebra Supported Ansatz (LASA) 프레임워크를 도입하고 그래디언트 분산이 동적 Lie 대수(DLA)의 차원에 반비례하도록 스케일한다는 것을 증명하여, 광범위한 매개변수화된 양자 회로에서의 바렌 플래토를 설명한다.

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.

연구 동기 및 목표

• 대칭성과 Lie algebra 구조를 도입하여 변분적 양자 알고리즘(VQAs)의 바렌 플래토(BP)를 동기부여하고 해결한다.
• 동적 Lie 대수(DLA) 차원이 학습 가능성을 지배하는 제어 불가능한 가정에서 BP 분석을 확장한다.
• LASA에 대한 그래디언트 분산 스케일링을 설명하는 이론적 프레임워크를 제공하고 HVA와 QAOA 같은 일반 PQC에 적용한다.
• 양자 복합 가정이 Haar 초기화 하에서도 분석될 수 있으며 표준 설정에서 BP를 피할 수 있음을 보인다.

제안 방법

• 생성자들의 동적 Lie 대수(DLA)를 사용하여 가변 회로를 프레이밍한다.
• 관찰량이 DLA에 위치하도록 Lie Algebra Supported Ansatz (LASA)를 도입한다.
• Adjoint 표현과 분할 Casimir 연산자를 통해 그래디언트 분산을 계산하고 정확한 표현식을 도출한다.
• 단순 Lie 군에 대해 GradVar가 DLA 차원의 역제곱에 비례하는 항과 상태의 투영에 의존하는 항으로 스케일링된다는 것을 보인다.
• 단순 아이디어들로의 분해를 통해 축소 Lie 대수로의 일반화를 확장하고, 중심 성분은 분산에 기여하지 않는다는 것을 보인다.

실험 결과

연구 질문

• RQ1 VQA의 그래디언트 분산이 DLA 차원에 반비례하도록 스케일링되는 조건은 무엇인가?
• RQ2 제어 불가능한 가정(예: 양자 복합 가정)에서는 바렌 플레이트를 특징짓고 예측할 수 있는가?
• RQ3 Adjoint 표현과 분할 Casimir 프레임워크가 명시적 그래디언트-분산 공식을 어떻게 도출하는가?
• RQ4 LASA(포함 HVA, QAOA, EQNN 포함)가 BP를 보이고, 이들의 DLA 차원이 학습 가능성에 어떤 영향을 주는가?

주요 결과

• 허가된 초기화(Haar 초기화)와 iO가 DLA에 위치할 때, 그래디언트 분산은 H, O, ρ의 DLA 성분으로 투영된 노름의 항들을 포함하는 공식을 따른다.
• 단순 군에 대해 GradVar는 DLA 차원의 제곱에 대한 역수로 나뉘는 H와 O의 제곱 노름 및 투영 상태의 Frobenius 노름의 제곱에 비례하는 항과 같아진다.
• 간단한 아이덴티티를 합하여 중심부가 분산에 기여하지 않는다는 점을 포함하여, 축소 가능 대수에 확장된다.
• LASA는 많은 일반 PQCs(HVA, QAOA 등)를 포착하고 모든 LASA는 EQNN이므로 광범위하고 통합된 BP 진단 도구를 제공한다.
• 이 프레임워크는 전형적인 설정에서 비자 본질적 제어 불가능한 PQC(양자 복합 가정)에 대한 최초의 그래디언트-분산 도출을 제공합니다.