Optimizing Unitary Coupled Cluster Wave Functions on Quantum Hardware: Error Bound and Resource-Efficient Optimizer

기술 요약: 양자 하드웨어 상에서의 유니터리 결합 클러스터 파동 함수의 최적화

문제 정의
본 논문은 다체계(many-body systems)의 바닥 상태를 계산하기 위해 근미래 양자 하드웨어에서 유니터리 결합 클러스터(Unitary Coupled Cluster, UCC) 파동 함수를 최적화할 때 발생하는 도전 과제들을 다룹니다. 변분 양자 고유값 솔버(Variational Quantum Eigensolver, VQE)는 표준적인 하이브리드 접근 방식이지만, 다음과 같은 세 가지 주요 한계를 가집니다:

1. 결맞음(Decoherence): 회로 깊이와 표현력(expressivity)을 제한합니다.
2. 측정 오버헤드(Measurement Overhead): 변분 에너지를 추정하기 위해서는 통계적 오차 $\epsilon$에 대해 $1/\epsilon^2$로 스케일링되는 수의 샷(shots)이 필요합니다.
3. 최적화의 어려움(Optimization Hardness): VQE의 경관(landscapes)은 종종 "바렌 플래토(barren plateaus)"(지수적으로 평탄한 비용 함수)와 지역 최솟값을 나타내어 전역 수렴을 어렵게 만듭니다. 또한, VQE에서 작은 에너지 기울기(gradient)가 반드시 진정한 바닥 상태 에너지에 근접했음을 보장하지는 않습니다.

이러한 문제를 해결하기 위해, 저자들은 이전 연구(참조 1)에서 도입된 **투영 양자 고유값 솔버(Projective Quantum Eigensolver, PQE)**를 조사합니다. PQE는 바닥 상태 탐색을 에너지 최소화 문제가 아닌 근 찾기(root-finding) 문제로 정식화합니다. PQE는 매개변수를 최적화하여 에너지를 직접 최소화하는 대신, "잔차(residues)"(들뜬 상태로의 섀딩거 방정식 투영)를 0으로 유도합니다.

방법론
본 논문은 PQE 알고리즘에 대한 엄밀한 수학적 분석을 제공하고 새로운 최적화 전략을 제안합니다.

1. 수학적 프레임워크:

   • 알고리즘은 모든 들뜬 결정항 $\nu \neq 0$에 대하여 $r_\nu(t) = \langle \Phi_\nu | \hat{U}^\dagger(t) \hat{H} \hat{U}(t) | \Phi_0 \rangle = 0$을 해결하고자 합니다.
   • 저자들은 카토(Kato)의 부등식과 템플(Temple)의 부등식을 사용하여 알고리즘에 대한 일반적인 오차 범위를 도출합니다. 이들은 잔차의 제곱 합($\sum r_\mu^2$)과 에너지 오차($|E(t) - E_{gs}|$) 및 파동 함수의 중첩(overlap) 사이의 관계를 확립합니다.
   • 작은 기울기 노름(gradient norm)이 작은 에너지 오차를 의미하지 않는 VQE와 달리, 저자들은 작은 잔차 노름이 에너지 정확도와 파동 함수 중첩의 품질에 대해 공식적인 보증을 제공함을 증명합니다.

2. 최적화 전략:

   • 표준 PQE 업데이트(참조 1)는 묄러-플레셋(Møller-Plesset) 섭동 이론($\Delta_\mu$)에 기반한 고정된 분모를 사용하는 수정된 뉴턴-랩슨슨(Newton-Raphson) 단계를 근사합니다.
   • 저자들은 뉴턴-칸토로비치(Newton-Kantorovich) 정리를 사용하여 준-뉴턴 방법(quasi-Newton methods)의 수렴 특성을 분석합니다. 저자들은 초기 하트리-포크(Hartree-Fock) 지점에서의 자코비안(Jacobian)에 기반한 표준 업데이트 규칙이 해가 초기 추측값에서 멀리 떨어져 있을 때(예: 강한 상관 관계가 있는 영역) 실패할 수 있음을 식별했습니다.
   • 저자들은 동적으로 업데이트 규칙을 전환하는 하이브리드 최적화 도구를 제안합니다:
     • 해로부터 멀리 있을 때: 안정성과 초기 상태로부터의 진행을 보장하기 위해 경사 하강법과 유사한 업데이트(또는 단순화된 자코비안 근사)를 사용합니다.
     • 해에 가까울 때: 더 빠른 이차적(quadratic-like) 수렴을 달야하기 위해 정교한 자코비안 근사를 사용하는 근사 뉴턴-랩슨슨 업데이트로 전환합니다.

주요 기여

1. 엄밀한 오차 범위: 본 논문은 해밀토니안의 비대각 성분(잔차)과 에너지 오차 및 파동 함수 중첩 사이의 긴밀한 수학적 경계를 도출합니다. 이는 VQE에는 없는 공식적인 수렴 보증을 제공합니다.
2. 수렴 기준: 도출된 경계를 바탕으로, 저자들은 사용자가 정확한 바닥 상태를 알지 못하더라도 에너지 오차를 추정할 수 있게 하는 잘 설계된 정지 기준($\epsilon_T$)을 공식화합니다.
3. 새로운 최적화 도구: 해와의 거리에 따라 업데이트 규칙을 적응시키는 새로운 잔차 기반 최적화 도구가 도입되었으며, 이는 뉴턴-칸토로비치 정리를 활용하여 강한 상관 관계 시스템에서 표준 선형 근사가 실패하는 비선형성을 처리할 수 있는 견고함을 보장합니다.
4. 수치적 벤치마크: $H_4, H_6, BeH_2, LiH$ 해리 곡선에 대한 광범 \text{범위한 시뮬레이션}.

결과

• 오차 경계의 긴밀성: $H_4$ 분자에 대한 수치 테스트 결과, 도출된 오차 경계가 기존의 잔차 1-노름 기반 경계보다 훨씬 더 긴밀하게 실제 에너지 오차를 추적함을 보여주었습니다.
• 최적화 도구 성능:
  • 새로운 하이브리드 최적화 도구는 특히 정적 상관 관계가 높은 큰 결합 거리에서 표준 PQE 업데이트(참조 1)보다 우수한 견고성을 보여줍니다.
  • 자원 효율성 측면에서, 새 방법은 BFGS(Broyden–Fletcher–Goldfarb–Shanno)로 최적화된 VQE 및 표준 PQE와 비교하여 목표 정확도에 도달하기 위해 필요한 측정 횟수(및 실행 시간)를 크게 줄입니다.
• 수렴: 이 방법은 에너지 최소화와 관련된 바렌 플래토 문제를 피하면서 VQE보다 적은 최적화 단계로 바닥 상태 에너지에 성공적으로 수렴합니다.

의의
본 논문은 에너지 최소화에서 투영 근 찾기로 전환함으로써, PQE가 근미래 하드웨어에서 바닥 상태 준비를 위한 더 신뢰할 수 있는 경로를 제공한다고 주장합니다. 주요 의의는 다음과 같습니다:

• 작은 잔차가 작은 에너지 오차를 의미한다는 공식적인 보증을 제공하여 VQE 최적화에 내재된 불확실성을 해결합니다.
• 화학적 정확도에 도달하기 위해 필요한 측정 오버헤드와 최적화 단계를 줄이는 자원 효율적인 대안을 제시합니다.
• 표준 선형 근사가 실패하는 강한 상관 관계 시스템을 처리할 수 있는 견고한 최적화 도구를 설계하기 위한 수학적 토대(뉴턴-칸토로비치 분석을 통해)를 구축합니다.

저자들은 이 연구가 VQE의 특정 최적화 병리 현상에 덜 취약하면서도 현재의 하드웨어 제약 내에서 실행 가능한 방법을 제공함으로써, 근미래의 실질적인 양자 우위를 향한 단계라고 위치시킵니다.