Equivalence of maximal and generic reachability for non-universal Variational Quantum Circuits

기술 요약: 비범용 변분 양자 회로의 최대 도달 가능성과 일반적 도달 가능성의 동등성

문제 정의
$n$-큐비트 시스템에 대한 임의의 특수 유니터리 변환을 표현할 수 있는 범용 변분 양자 회로(VQC)를 훈련하는 것은 배런 플래토(barren plateaus)와 같은 문제들로 인해 어려움을 겪고 있다. 결과적으로, 분야의 관심은 특수 유니터리 군의 적절한 부분군 내의 유니터리를 표현하는 비범용 VQC 설계로 이동하고 있다. 그러나 이러한 안사트(ansätze)의 비범용성은 그 도달 가능성(특정 양자 상태에 접근하는 능력)과 훈련 가능성을 진단하는 데 있어 본질적인 과제를 제기하는데, 이는 참조 상태(reference state)에 따라 결과가 달라지기 때문이다. 유니터리 군 작용의 비이행성(non-transitive nature)으로 인해, 표준적인 분석들은 종종 동적 리 대수(Dynamical Lie Algebra, DLA)의 불변 부분 공간으로 제한된다. 따라서 비범용 VQC가 달성할 수 있는 "최대" 도달 가능성이 "일반적"(무작위로 샘플링된) 참조 상태를 통해 접근 가능한지 여부를 확립하고, 0이 아닌 확률로 솔루션 매니폴드(solution manifold)에 도달할 수 있는 조건을 도출할 필요가 있다.

방법론
저자들은 VQC의 DLA에 의해 생성되는 압축 리 군(compact Lie group) $G$의 작용 하에서 순수 상태 매니폴드($M_N \cong \mathbb{C}P^{N-1}$)의 구조를 분석하기 위해 미분 기하학과 리 군 이론을 채택한다.

1. 주 궤도 유형 정리(Principal Orbit-Type Theorem): 핵심적인 이론적 도구는 순수 상태 매니폴드가 궤도 유형들로 층화(stratification)된다는 것을 입증하는 주 궤도 유형 정리이다. 저자들은 이를 활용하여 "주 궤도"(가장 작은 이소트로피 부분군을 갖는 궤도)의 합집합이 상태 매니폴드의 전형적인 부분집합(open, dense subset)이며 풀 메저(full measure)를 가짐을 보여준다.
2. 매끄럽고 해석적인 사상(Smooth and Analytic Maps): 솔루션 집합(타겟 상태)은 매끄러운 사상 $f: M^* \to M_N$의 이미지로 모델링된다. 저자들은 군 작용 $A$와 결합된 사상 $\Sigma = A \circ (\text{id}_G \times f)$를 연구함으로써 도달 가능성 확률을 분석한다.
3. 차원 분석: 저자들은 푸시포워드(push-forward) 사상 $\Sigma$의 계수(rank)를 조사하여 0이 아닌 도달 가능성 확률에 대한 필요충분조건을 도출한다. 이는 솔루션 매니폴드의 차원($M^*$), 주 궤도의 차원($O_0$), 그리고 전체 상태 공간의 차원($M_N$)을 비교하는 차원 기준을 이끌어낸다.
4. 섹터-추이적 작용(Sector-Transitive Actions): 생성자가 파울리 문자열(Pauli strings)인 특정 사례의 경우, 저자들은 힐베르트 공간을 불변 부분 공간으로 분해하여 거의 확실한(almost sure) 도달 가능성에 대한 충분조건을 도출한다.
5. 수치 시뮬레이션: 이론적 결과는 소규모 큐비트 수($n=4$에서 $7$)에 대한 수치 시뮬레이션을 통해 뒷받침된다. 연구는 네 가지 뚜렷한 DLA 클래스($g(XY), g(XX,YY), g(X,YY), g(Z,YY)$)에 대해 양자 피셔 정보 행렬(QFIM)의 계수와 미분 사상$d\Sigma$의 계수를 평가하고, 특정 해밀토니안 바닥 상태 문제에 대한 수렴성을 테스트한다.

핵심 기여

• 최대 도달 가능성과 일반적 도달 가능성의 동등성: 본 논문은 비범용 VQC의 경우, 최대 도달 가능성(가장 큰 궤도 유형)이 일반적으로 준비된 참조 상태를 통해 달성됨을 입증한다. 이는 주 궤도 유형 정리에 따른 결과이며, "최악의" 참조 상태(특이 궤도)는 측도(measure)가 0인 집합임을 의미한다.
• 도달 가능성을 위한 필요충분조건: 솔루션 집합이 매끄러운 함수의 이미지라고 가정할 때, 저자들은 주 성분에 대한 제한된 사상이 국소적으로 전사(locally surjective)될 때만 일반적인 상태 준비 하에서 솔루션 매니폴드에 도달할 확률이 0이 아니라는 것을 도출한다.
• 차원 장애 기준(Dimensional Obstruction Criterion): 실용적인 필요 조건이 도출된다: 도달 가능성이 0이 아닌 확률로 존재하려면, 타겟 집합의 위상적 차원이 일반 궤도의 여차원(co-dimension)보다 크거나 같아야 한다. 구체적으로, $\Delta D \equiv \dim M^* - (\dim M_N - \dim O_0) \geq 0$이다. 만약 $\Delta D < 0$이면, 솔루션 매니폴드는 차원적으로 장애를 겪게 되며, 일반적인 참조 상태는 거의 확실하게 도달에 실패할 것이다.
• 해석적 임베딩 결과: 솔루션 매니폴드가 실해석적 임베딩으로 구현되는 경우, 저자들은 단 하나의 점에서 국소적 전사가 달성되면 그것이 전체 솔루션 매니폴드 상에서 일반적으로 얻어진다는 것을 보여준다. 이는 솔루션 매니폴드가 일반적인 상태 매니폴드의 정규 성분(regular component)과 교차하거나, 혹은 완전히 특이 성분(singular component) 내에 포함되어 있음을 의미한다.
• 수치적 검증: 시뮬레이션은 유한 깊이 최적화가 차원 장애($\Delta D < 0$)가 적용될 때 일관되게 실패함을 보여준다. 장애가 없는 경우, 대부분의 샘플링된 참조 상태는 개선된 수렴성을 보였으나, $n=7$인 DLA $g(XX,YY)$의 경우는 예외적으로 수렴에 실패했다.

결과

• 이론적: 본 연구는 리 대수의 차원 자체가 아니라 최대 궤도 차원이 비범용 VQC의 점근적 도달 가능성을 결정한다는 것을 증명한다. 이는 오버파라미터화(회로 깊이 측면에서)가 도달 가능성을 위한 필요조건이지만 충분조건은 아님을 명확히 하며, 주 궤도와 솔루션 매니폴드 사이의 기하학적 정렬이 결정적인 요인임을 밝힌다.
• 수치적: 다양한 바닥 상태 퇴화도를 가진 해밀토니안을 포함하는 시뮬레이션에서 결과는 이론적 예측과 일치한다. $\Delta D < 0$인 경우(예: 낮은 차원의 솔루션 매니폴드를 가진 특정 DLA 구성)는 바닥 상태에 도달하는 데 실패한 반면, 차원 기준을 만족하는 경우는 $n=7$인 DLA $g(XX,YY)$의 특정 사례를 제외하고 대부분의 샘플링된 참조 상태에 대해 성공적인 수렴을 보였다.

의의
본 논문은 참조 상태별 분석을 넘어 비범용 VQC의 훈련 가능성과 도달 가능성을 진단하기 위한 엄격한 기하학적 프레임워크를 제공한다. 최대 도달 가능성과 일반적 도달 가능성 사이의 동등성을 확립함으로써, 저자들은 설계 규칙을 제시한다: 솔루션을 찾을 확률이 0이 아님을 보장하려면, 타겟 집합의 차원이 유도된 차원 기준에 따라 주 궤도의 여차원과 관계를 맺어야 한다. 이 연구는 대수적 제어 가능성(algebraic controllability)과 기하학적 도달 가능성(geometric reachability) 사이의 간극을 메우며, 특정 문제를 해결하기 위해 최적화를 시도하기 전에 특정 VQC 안사트가 이론적으로 역량이 있는지 평가할 수 있는 실용적인 도구를 제공한다. 연구 결과는 비범용 회로의 경우, 병목 현상이 단순히 회로의 깊이나 리 대리의 크기가 아니라 기하학적 차원의 불일치에서 발생하는 경우가 많음을 시사한다.