[논문 리뷰] Showcasing a Barren Plateau Theory Beyond the Dynamical Lie Algebra

N. L. Diaz, Diego García-Martín외 3명|arXiv (Cornell University)|2023. 10. 17.

Neural Networks and Reservoir Computing인용 수 5

한 줄 요약

이 논문은 초기 상태 또는 관측량이 동적 리 대수(DLA)에 속해 있지 않더라도, 매개변수화된 매치게이트 회로에서 손실 함수의 분산에 대한 정확한 공식을 제시한다. 이는 비산 평원이 DLA 차원의 역수 스케일링이 아닌 일반화된 전역성에 기인함을 드러내며, 리 군 모듈 차원을 기반으로 한 일반화된 표현력 측도를 도입하고, 이를 페르미온 얽힘과 연결하여 일반화된 전역성 연산자 측정이 비산 평원을 유도함을 보여준다.

ABSTRACT

Barren plateaus have emerged as a pivotal challenge for variational quantum computing. Our understanding of this phenomenon underwent a transformative shift with the recent introduction of a Lie algebraic theory capable of explaining most sources of barren plateaus. However, this theory requires either initial states or observables that lie in the circuit's Lie algebra. Focusing on parametrized matchgate circuits, in this work we are able to go beyond this assumption and provide an exact formula for the loss function variance that is valid for arbitrary input states and measurements. Our results reveal that new phenomena emerge when the Lie algebra constraint is relaxed. For instance, we find that the variance does not necessarily vanish inversely with the Lie algebra's dimension. Instead, this measure of expressiveness is replaced by a generalized expressiveness quantity: The dimension of the Lie group modules. By characterizing the operators in these modules as products of Majorana operators, we can introduce a precise notion of generalized globality and show that measuring generalized-global operators leads to barren plateaus. Our work also provides operational meaning to the generalized entanglement as we connect it with known fermionic entanglement measures, and show that it satisfies a monogamy relation. Finally, while parameterized matchgate circuits are not efficiently simulable in general, our results suggest that the structure allowing for trainability may also lead to classical simulability.

연구 동기 및 목표

• 이전의 리 대수 기반 비산 평원 이론이 초기 상태 또는 관측량이 동적 리 대수(DLA) 내부에 있어야 한다는 제약를 극복하는 것.
• 임의의 입력 상태와 측정에 대해 유효한 매개변수화된 매치게이트 회로에서 손실 함수 분산에 대한 정확한 표현식을 유도하는 것.
• DLA 차원의 역수 스케일링을 초월한 새로운 비산 평원 메커니즘, 특히 일반화된 전역성과 얽힘을 규명하는 것.
• 일반화된 연산자 표현력과 기존의 페르미온 얽힘 측도(예: 단독성 관계 포함) 사이의 연결 고리를 설정하는 것.
• 고전적 시뮬레이션 가능성에 대한 영향을 탐색하여, 특정 설정에서는 학습 가능성과 시뮬레이션 가능성의 연관성을 제기하는 것.

제안 방법

• 매치게이트 회로와 관련된 리 군의 기하학적 구조를 기반으로 연산자 공간의 기약 표현(모듈)으로의 분해를 활용한다.
• 손실 분산을 서로 다른 리 군 모듈 기여도의 합으로 표현하여 상태와 관측량의 일반화된 순수성과 인코herence를 정량화한다.
• DLA 차원을 대체하여 분산 스케일링의 핵심 요소로 작용하는 리 군 모듈의 차원을 기반으로 한 일반화된 표현력 측도를 도입한다.
• 이러한 모듈 내의 연산자를 마요라나 연산자의 곱으로 특성화함으로써 일반화된 전역성의 정확한 정의를 가능하게 한다.
• 페르미온 가우시안 상태의 구조와 위크 정리를 활용하여 고전적 시뮬레이션 가능성을 분석하고, 얽힘 범위와 시뮬레이션 비용 간의 관계를 규명한다.
• 측정 연산자의 일반화된 전역성이 낮을 경우, 기대값을 효율적으로 추정하기 위해 $\mathfrak{g}$-sim 방법을 적용한다.

실험 결과

연구 질문

• RQ1 초기 상태 또는 관측량이 동적 리 대수 외부에 있을 경우 손실 함수 분산은 어떻게 되는가?
• RQ2 DLA 차원을 초월한 일반화된 표현력 측도가 매개변수화된 매치게이트 회로에서 비산 평원의 발생을 설명할 수 있는가?
• RQ3 리 군 모듈 구조에 기반한 일반화된 전역성은 비산 평원 발생과 어떻게 관련되는가?
• RQ4 유도된 공식 내 일반화된 얽힘은 기존의 페르미온 얽힘 측도와 일치하는가? 그리고 단독성 관계를 만족하는가?
• RQ5 비산 평원의 부재는 고전적 시뮬레이션 가능성과 연결되어 있으며, 이 회로 클래스에서는 학습 가능성과 시뮬레이션 가능성의 연관성이 존재하는가?

주요 결과

• 초기 상태 또는 관측량이 DLA 외부에 있을 경우 손실 함수 분산은 반드시 DLA 차원의 역수로 스케일링되지 않는다.
• 일반화된 표현력은 DLA 차원을 대체로 분산 스케일링의 핵심 요소로 작용하는 리 군 모듈의 차원에 의해 결정된다.
• 높은 리 군 모듈에 걸쳐 지지되는 일반화된 전역성 연산자 측정은 DLA 차원이 크더라도 비산 평원을 유도한다.
• 분산 공식 내 일반화된 얽힘은 기존의 페르미온 얽힘 측도와 일치하며 단독성 관계를 만족한다.
• 비산 평원의 부재는 낮은 일반화된 전역성과 낮은 페르미온 얽힘과 관련되어 있으며, 이는 이러한 영역가 $\mathfrak{g}$-sim 또는 위크 기반 방법을 통한 고전적 시뮬레이션 가능성을 시사한다.
• 결과적으로, 매치게이트 회로에서 학습 가능성을 가능하게 하는 구조적 특성가 동시에 고전적 시뮬레이션을 가능하게 할 수 있으며, 이 모델 클래스에서는 학습 가능성과 시뮬레이션 가능성의 연관성이 존재할 가능성이 제기된다.