양자 근사 최적화 알고리즘의 동역학적 리 대수와 소실 고원 현상 분석

초록

본 논문은 QAOA‑MaxCut에 대한 동역학적 리 대수(DLA)를 일반 그래프와 특수 그래프(사이클 Cₙ, 완전 그래프 Kₙ)에서 분석한다. 일반 그래프에 대해 DLA 차원과 중심 차원의 상한을 제시하고, Cₙ에서는 DLA가 2차원 중심과 n‑1개의 su(2) 복사본으로 분해됨을 보이며, 손실 함수 분산이 n에 대해 감소하지 않아 소실 고원(BP)이 없음을 증명한다. Kₙ에 대해서는 차원이 Θ(n³)임을 정확히 구하고 명시적 기저를 제공한다. 이러한 결과는 DLA와 BP 사이의 정량적 연결을 활용해 QAOA의 표현력과 학습 가능성을 이론적으로 평가한다.

상세 분석

본 연구는 파라미터화된 양자 회로의 동역학적 리 대수(DLA)가 변분 양자 알고리즘(VQA)의 학습 난이도, 특히 소실 고원(Barren Plateau, BP) 현상과 어떻게 연결되는지를 구체적으로 탐구한다. 기존 문헌에서는 두 개의 무작위 생성자를 갖는 DLA가 거의 확률적으로 su(2ⁿ) 전체가 된다는 사실을 이용해, 완전 보편성을 갖는 회로는 분산이 지수적으로 감소해 BP가 발생한다는 일반적 결론을 도출했다. 그러나 QAOA‑MaxCut은 각 레이어의 생성자가 개별 파울리 문자열이 아니라 그래프의 에지 집합에 대한 파울리 문자열들의 합이라는 특성을 가진다. 이는 파라미터 공유(parameter sharing)와 유사한 구조를 만들며, DLA 분석을 훨씬 복잡하게 만든다.

논문은 먼저 임의의 그래프 G에 대해 DLA g_G = ⟨{iX_j, iZ_jZ_k | j∈V, (j,k)∈E}⟩_Lie,R의 차원과 중심 차원을 대칭성(그래프 자동동형군)과 연관시켜 상한을 제시한다. 여기서 중심 c는 g_G와 교환하는 원소들의 집합이며, 차원은 그래프의 대칭성에 의해 제한된다. 그런 다음 두 대표적인 그래프군을 상세히 분석한다.

1. 사이클 그래프 Cₙ (자동동형군 = 이디아드 그룹)

   • DLA는 2차원 중심과 3(n‑1) 차원의 반단순 성분으로 분해된다.
   • 반단순 성분은 n‑1개의 서로 독립적인 su(2) 복사본과 동형이며, 각 su(2)는 특정 파울리 연산자 조합으로 구성된다.
   • 저자들은 이 동형사상의 명시적 기저를 제공하고, 이를 이용해 손실 함수 ℓ(ρ,O;θ)의 분산을 정확히 계산한다. 결과적으로 분산은 n에 대해 상수 수준을 유지하므로, BP가 존재하지 않음이 증명된다. 이는 DLA 차원이 작아도 충분히 큰 분산을 확보할 수 있음을 보여준다.

2. 완전 그래프 Kₙ (자동동형군 = 대칭군 Sₙ)

   • DLA 차원을 Θ(n³)으로 정확히 구한다. 이는 이전에 알려진 O(n³) 상한보다 더 정밀한 결과이며, 구체적인 기저를 제시한다.
   • 완전 그래프의 경우 DLA는 전체 su(2ⁿ)보다 훨씬 작지만, 여전히 다항 차원을 갖기 때문에 고전 시뮬레이션이 어려운 영역에 해당한다.
   • 그러나 중심 차원은 사이클에 비해 더 크게 나타나며, 이는 그래프 대칭이 DLA 구조에 미치는 영향을 강조한다.

논문은 또한 DLA와 BP 사이의 정량적 관계식 V ar_θ