Sub-Riemannian geometry of measurement based quantum computation

기술 요약: 측정 기반 양자 계산의 부분 리만 기하학 (Sub-Riemannian Geometry)

문제 정의
측정 기반 양자 계산(MBQC)은 회로 모델의 연속적인 유니터리 진화와 대조적으로, 국소적 투영 측정(local projective measurements)에 의해 구동되는 이산적 패러다임을 따릅니다. 대칭성이 보호된 상(symmetry-protected phases)에서 MBQC 자원 상태의 계산 능력은 잘 확립되어 있으나, 효율성—구체적으로, 목표 논리 유니터리를 구현하기 위해 운영 자원(큐비트/측정 사이트의 수)을 어떻게 최소화할 것인가의 문제—에 대해서는 엄밀한 연속적 프레임워크가 부족했습니다.

계산적 양자 물질의 계산 상(computational phases)에서, 논리 연산은 대칭 축으로부터 각도 $\alpha$만큼 회전된 기저에서 측정함으로써 구현됩니다. 이상적인 자원 상태에서 벗어날 경우, 이러한 연산은 완벽한 유니터리가 아니라 노이즈 채널로 작나게 됩니다. 유한한 각도 $\alpha$의 고충실도 유니터리 회전을 달로 하기 위해, 표준적인 전략은 회전을 $N$개의 작은 회전(각도 $\alpha/N$)으로 나누는 것입니다. 이는 $N$개의 입자를 소모하는 대가로 오차 스케일링을 $O(\alpha^2)$에서 $O(\alpha^2/N)$으로 줄여줍니다. 핵심 과제는 실행 가능한 생성자(generators) 집합이 시스템의 대칭에 의해 제한될 때, 이러한 작은 회전들의 최적의 시퀀스를 결정하여 자원 소비($N$)를 최소화하는 것입니다.

방법론
저자들은 MBQC의 이산적 구조와 미분 기하학 사이의 간극을 메우기 위해, 논리 연산의 최적화를 **부분 리만 측지선 문제(sub-Riemannian geodesic problem)**로 모델링합니다.

1. 노이즈 모델 및 오차 스케일링: 본 논문은 질서 매개변수(order parameter) $\sigma$를 가진 자원 상태에 대한 각도 $\beta_i$를 가진 국소 측정 $M_i$의 효과가 양자 채널 $C_i(\beta_i)$가 되는 계산 상의 노이즈 모델을 활용합니다. 작은 각도에 대해, 이상적인 유니터리 $U_i(\alpha_i)$로부터의 편차는 회전 각도의 제곱에 비례합니다. 구체적으로, 작은 각도에 대해 국소 오차 $\epsilon_i$는 $\epsilon_i \approx (\frac{1}{\sigma^2} - 1)\alpha_i^2$로 스케일링됩니다.
2. 부분 리만 기하학 (Sub-Riemannian Geometry): 실행 가능한 생성자 $\mathcal{G}$의 집합(상태의 대칭에 의해 결정됨)은 유니터리 군 $SU(2^n)$ 상의 수평 분포(horizontal distribution)를 정의합니다. "수평 곡선(horizontal curve)"은 허용된 생성자들에 의해서만 생성되는 경로입니다. 저자들은 항등원(identity)과 타겟 유니터리 $U$를 연결하는 최소 부분 리만 호 길이(minimal sub-Riemannian arclength)를 **카르노-카로테오도리 거리(Carnot-Carathéodory distance, $d_{CC}$)**로 정의합니다.
3. Lie-Trotter-Suzuki를 통한 근사: 연속적인 측지선 $C(t)$를 이산적인 MBQC 측정을 통해 구현하기 위해, 저자들은 Lie-Trotter-Suzuki 곱 공식을 사용합니다. 이는 연속적인 제어 경로를 $N$개의 작은 회전 시퀀스로 이산화합니다. 저자들은 이 이산화에 의해 도입되는 근사 오차가 $O(N^{-2})$ 차수이며, 이는 $O(N^{-1})$ 차수인 구현 오차보다 하위 지배적(sub-dominant)임을 입증합니다.

주요 기여 및 결과
본 논문의 주요 기여는 단일 회전에 국한되었던 기존의 오차 스케일링 관계를 임의의 유니터리 회로로 일반화한 **정리 1(Theorem 1)**입니다.

• 정리 1 (구현된 오차): 번역 불변 질서 매개변수 $\sigma$와 실행 가능한 생성자 \mathcal{ \mathcal{G}$가 있는 자원 상태에 대해,$N$개의 측정 사이트를 사용하여 타겟 유니터리$U \in \mathcal{G}$를 구현할 때 발생하는 오차$\epsilon$은 다음과 같이 제한됩니다:
  $$\epsilon \leq \frac{1}{N} \left( \frac{1}{\sigma^2} - 1 \right) d_{CC}^2(e, U) + O(N^{-2})$$
  여기서 $d_{CC}(e, U)$는 항별원 $e$와 타겟 유니터리 $U$ 사이의 부분 리만 거리입니다.

• 최적화 전략: 이 정리는 자원 소비를 최소화하는 것(고정된 오차에 대해 $N$을 최대화하거나, 고정된 $N$에 대해 오차를 최소화하는 것)이 실행 가능한 연산들의 매니폴드 내에서 항등원과 타겟 유니터리 사이의 부분 리만 측지선(최소 호 길이를 갖는 경로)을 찾는 것과 동일함을 시사합니다.

• 표준 방법과의 비교: 저자들은 오일러 각 분해(Euler angle decompositions)와 같은 표준적인 분해 방법들이 부분 리만 측지선에 비해 더 긴 경로(더 큰 호 길이)를 생성하는 경우가 많음을 보여줍니다. 결과적으로, 측지선 기반 전략은 타겟 유니터리가 항등원에 가까울수록 더 우수한 효율성을 제공합니다.

• 수치적 검증: 이론적 경계는 $SU(2)$(Pauli 생성자 사용)에 대한 수치 시뮬레이션을 통해 검증되었습니다. 결과는 부분 리만 거리에 의해 예측된 오차 스케일링이 타이트(tight)하며, 측지선 접근 방식이 오일러 각 시퀀스보다 우수함을 확인해 줍니다.

의의 및 주장
본 논문은 양자 물질의 계산 상에서 MBQC를 최적화하기 위한 엄밀한 기하학적 프레임워크를 구축했다고 주장합니다.

• 이산과 연속의 통합: 해밀토니안 제어에 적용되었던 미분 기하학적 개념인 계산 효율성이 MBEC에 직접 적용될 수 있음을 입증합니다. MBQC에서는 "생성자"가 대칭에 의해 엄격하게 고정되어 있으므로, 부분 리만 구조(특정 방향만이 허용되는 구조)는 근사가 아닌 자연스럽고 필수적인 묘사가 됩니다.
• 원칙적인 최적화: 이 연구는 양자 프로세싱을 최적화하는 원칙적인 경로를 제공합니다. MBQC를 단순히 이산 게이트의 시퀀스로 취급하는 대신, 이를 제약된 기하학 내에서의 최단 경로를 찾는 문제로 프레임화합니다. 이를 통해 표준적인 회로 모델 시뮬레이션보다 더 효율적인 네이티브 게이트 세트를 식이어낼 수 있습니다.
• 범위: 본 방법론은 부체계 대칭(subsystem symmetries)을 가진 1D 및 2D 시스템에 적용 가능하며, 광범위한 계산 상(이전 문헌에서 확인된 2600개의 상 포함)을 포괄합니다.
• 한 한계 및 향-의 과제: 저자들은 상한(upper bound)은 확립되었으나, 다이아몬드 노름(diamond norm) 오차에 대한 일치하는 하한(lower bound)은 아직 엄밀하게 증명되지 않았음을 언급했습니다(수치적 증거는 경계가 타이트함을 시사함). 또한, 현재 프레임워크는 상관관계가 없는 측정을 가정하고 있으며, 이를 상관관계가 있는 영역으로 확장하는 것은 향후 과제로 남아 있습니다. 본 논문은 특정 실험적 구현을 제안하기보다는, 이러한 상 내에서 기존 또는 미래의 자원 상태를 분석하고 최적화하기 위한 이론적 도구를 제공하는 데 목적이 있습니다.

요약하자면, 본 논문은 대칭적인 자원 상태에서 MBQC를 수행하는 가장 효율적인 방법은 타겟 유니터리를 부분 리만 매니폴드의 한 점으로 취급하고, 항등원에서 그 점까지 연결하는 측지선을 따라 계산을 실행함으로써 특정 논리적 정확도를 달성하는 데 필요한 물리적 자원을 최소화하는 것이라고 주장합니다.