On the convergence of the variational quantum eigensolver and quantum optimal control

기술 요약: 변분 양자 고유치 계산기(VQE)와 양자 최적 제어의 수렴성

문제 정의
변분 양자 알고리즘(VQA), 특히 변분 양자 고유치 계산기(VQE)는 클래식 최적화 루틴이 전역 최적해(해밀토니안의 바닥 상태)로 수렴하는지, 아니면 차악의 국소 최적해(suboptimal local minima)에 갇히게 되는지를 결정하는 근본적인 문제에 직면해 있다. 수치적 증거는 과매개변수화(overparameterization)가 수렴성을 개선할 수 있음을 시사하지만, 매개변수화된 양자 회로가 전역 최적해로의 수렴을 보장하는 시점을 규정하는 엄밀한 기준은 여전히 모호하다. 비볼록(non-convex) 특성을 가진 최적화 지형과 회로 안사츠(ansatz) 및 문제 인스턴스 사이의 복잡한 상호작용은, 특히 문제 차원에 비해 매개변수의 수가 적을 때 "나쁜" 국소 최적해를 초래하곤 한다.

방법론
저자들은 양자 제어 지형(quantum control landscapes)의 용어와 수학적 프레임워크를 활용하여 VQE의 수렴 이론을 개발한다. 핵심 접근 방식은 VQE 안사츠로 사용되는 매개변수화된 유니터리 변환 $U(\theta)$의 기하학적 구조를 분석하는 것이다.

1. 미분 기하학적 관점: 비용 함수 $J(\theta) = \langle \psi_0 | U^\dagger(\theta) H U(\theta) | \psi_0 \rangle$를 매개변수화 사상(parameterization map)과 유니터리 군(unitary group) 상의 비용 함수의 합성으로 간주한다. 매개변수 $\theta$에 대한 비용 함수의 그래디언트는 유니터리 군 상의 리만 그래디언트와 탄젠트 벡터 $\Omega_j(\theta) = U^\dagger(\theta) \partial_{\theta_j} U(\theta)$ 사이의 힐베르트-슈미트트 내적을 통해 표현된다.
2. 국소 전사성(Local Surjectivity): 저자들은 국소 전사성(정의 1)이라는 개념을 도입한다. 매개변수화가 국소적으로 전사적이라는 것은, 모든 $\theta$ 지점에서 리 대수(Lie algebra) 원소들의 집합 $\{\Omega_j(\theta)\}$가 특수 유니터리 군 $SU(d)$(또는 해당 부분군 $\mathfrak{g}$의 리 대수)의 전체 탄젠트 공간을 생성함을 의미한다. 이 조건은 최적화 지형에 "누락된 방향"이 없음을 보장하며, 이는 제어 권한의 부족으로 인해 그래디언트가 소멸하는 현상(로보틱스의 짐벌 락(gimbal lock)과 유사함)을 방지한다.
3. 임계점 분석: 국소 전사성과 유계된 리 대수 원소라는 가정하에, 저자들은 비용 함수의 임계점이 오직 전역 최적해(바닥 상태) 또는 엄격한 안장점(strict saddle points)에만 대응함을 증명한다. 저자들은 비선형 안정성 이론의 결과를 활용하여, 그래디언트가 립시츠 연속(Lipschitz continuous)인 경우 그래디언트 경사 하강법 알고리즘이 르베그 측도(Lebesgue measure)에 대해 거의 확실하게(almost surely) 엄격한 안장점을 피한다는 것을 논증한다.
4. 안사츠 구축: 논문은 일반적인 안사츠 가문(SU(d)-gate 및 product-of-exponentials)을 분석하고, 이들이 과매개변수화에도 불구하고 본질적으로 국소 전사성이 깨지는 특이점(singular points)을 보유하고 있음을 보여준다. 이를 해결하기 위해 저자들은 새로운 매개변수화 방식을 구축한다:
   • 복합 안사츠(Composite Ansatz): 전역 도달 가능성(global reachability)과 국소 전사성을 보장하기 위해, 전사적 사상과 제한된 도메인 내의 국소 전사적 사상을 결합한 곱 형태의 구조이다.
   • 케일리 변환(Cayley Transform): $d^2$개의 매개변수를 사용하여 국소 전사성을 갖는 것으로 입증된 케일리 변환 기반의 매개변수화이다.

주요 기여 및 결과

• 정리 1 (SU(d) 상의 수렴): 저자들은 VQE 안사츠 $U(\theta)$가 국소 전사성을 만족하고 리 대수 원소들이 균등하게 유계되어 있다면, 충분히 작은 스텝 사이즈와 거의 모든 초기 매개변수에 대해, 그래디언트 경사 하강법 알고리즘이 무한대로 발산하거나 해밀토니안의 바닥 상태로 수렴함을 확립한다. 결정적으로, 알고리즘은 차악의 국소 최적해로 거의 수렴하지 않는다.
• 정리 2 (부분군 상의 수렴): 수렴 보장은 닫힌 리 부분군 $G \subset SU(d)$ 상의 최적화로 확장된다. 안사츠가 국소적으로 $\mathfrak{g}$-전사적이고 해밀토니안(또는 초기 상태 투영체)이 적절한 대수적 구조 내에 있다면, 알고리즘은 해당 부분군 상의 전역 최적해로 수렴한다.
• 정리 3 (표현론을 통한 도달 가능성): 준 최소 표현(quasi-minuscule representations) 이론을 사용하여, 특정 초기 상태(무게 벡터)로부터 특정 부분군 $G$를 사용하여 바닥 상태에 도달하는 것이 보장되는 충분 조건을 제공한다.
• 자유 페르미온에 대한 적용: 이 이론을 자유 페르미온 해밀토니안에 적용하여, 국소적으로 $so(2n)$-전사적인 매개변수화를 사용하는 VQE가 초기 상태가 표현의 무게 벡터인 경우 거의 모든 초기 지점에 대해 바닥 상태로 수렴함을 보여준다.
• 일반적 안사츠 분석: 본 논문은 SU(d)-gate 및 product-of-exponentials와 같은 표준 안사츠들이 과매개변수화되더라도 국소 전사성이 붕괴되는 특이점을 항상 포함하고 있음을 증명한다. 구체적으로, SU(d)-gate 안사츠의 경우 과매개변수화를 통해서도 특이점을 제거할 수 없다.
• 강건한 안사츠 구축: 저자들은 국소 전사성을 만족함으로써 이론적으로 특이 제어(singular controls)로 인한 차악의 국소 최적해에 빠질 위험을 제거하는 명시적인 구축법으로서 복합 안사츠(식 15)와 케일리 변환(식 24)을 제안한다.

의의 및 주장
본 논문은 VQA에 대한 엄밀한 솔루션 보장을 확립하기 위한 "첫 걸음"을 제공한다고 주장한다. 주요 의의는 과매개변수화에 대한 경험적 관찰에서 벗어나, 최적화 지형에서 차악의 국소 최적해의 부재를 보장하는 기하학적 조건인 '국소 전사성'으로 초점을 전환했다는 점에 있다.

저자들은 국소 전사성을 만족시키는 것이 국소 최적해의 존재를 방지할 수는 있지만, 그래디언트 경사 하강법 알고리즘이 반드시 종료됨을 보장하는 것은 아니라는 점(즉, 무한대로 탈출할 수 있음)을 강조한다. 즉, 종료와 전역 최적해로의 수렴을 동시에 보장하는 것은 특정 VQE 인스턴스에 대한 정지 문제(halting problem)와 연결될 수 있는 비자명한 문제임을 인정한다. 따라서 본 논문은 수렴 문제 전체를 해결한다고 주장하는 것이 아니라, 알고리즘이 수렴한다는 가정하에 해의 품질(차악의 국소 최적해를 피함)이 보장되는 충분한 기준(국소 전사성)을 제공하는 것이다. 또한, 이 연구는 일반적인 회로 아키텍처의 한계를 지적하고, 이러한 함정을 피할 수 있는 매개변수화된 유니터리를 구성하기 위한 구체적이고 수학적으로 엄밀한 대안을 제시한다.