변분 양자 알고리즘의 미분 방정식 해결을 위한 런지‑쿠타 방법 오류 및 자원 추정

초록

본 논문은 변분 양자 알고리즘(VQA)과 고전적인 런지‑쿠타(RK) 방법을 결합하여 미분 방정식을 풀 때 발생하는 두 주요 오류, 즉 런지‑쿠타의 절단 오차와 양자 측정의 샷 노이즈를 정량적으로 분석한다. 오류 상한을 이용해 목표 정확도에 필요한 최소 양자 회로 실행 횟수와 측정 수를 추정하고, 1차 ODE와 블랙‑숄즈 옵션 가격 PDE 두 사례에 적용해 최적의 RK 차수를 제시한다. 결과적으로 4차 RK가 ODE, 2차 RK가 PDE에 가장 효율적임을 확인한다.

상세 분석

논문은 먼저 변분 양자 알고리즘이 시간‑진화 파라미터를 ODE 형태로 만든다는 점을 강조한다. 이 파라미터의 시간‑진화는 전통적인 런지‑쿠타(RK) 방법으로 수치화되며, RK의 차수 p에 따라 로컬 트렁케이션 오차(LTE)가 O(Δτ^{p+1})로 감소한다. 그러나 차수가 높아질수록 단계 수 s가 늘어나고, 각 단계마다 양자 회로를 여러 번 실행해야 하므로 총 샷 수가 급증한다. 저자들은 이 두 오류원을 독립적으로 모델링한다. 첫째, LTE에 대한 엄격한 상한을 정리(정리 1)로 제시하고, 상수 K, M, L_f를 문제별로 추정한다. 둘째, 양자 측정의 샷 노이즈는 평균값 추정 오차가 O(1/√N_meas)임을 이용해 전체 트레이스 거리 오류에 기여하는 항을 도출한다. 이를 통해 목표 트레이스 거리 ε에 대해 필요한 측정 횟수 N_meas와 시간 단계 수 N_τ의 관계식을 얻는다. 특히, 총 회로 실행 횟수는 O( s·N_τ·N_meas )로 표현되며, 차수 p가 커질수록 s·N_τ는 감소하지만 N_meas는 오차 요구에 따라 급격히 늘어날 수 있다. 저자들은 두 극한(샷 노이즈 무시, 샷 노이즈 포함)을 각각 분석하고, 최적의 p를 찾기 위해 비용 함수 C(p)=s(p)·N_τ(p)·N_meas(p) 를 최소화한다. 실험적 검증으로 1차 ODE와 블랙‑숄즈 PDE에 대해 p=4와 p=2가 각각 최소 비용을 보이며, 이는 기존에 무조건 높은 차수를 선호하던 관행을 정량적으로 반박한다. 또한, 오류 상한이 보수적이므로 실제 구현에서는 더 적은 자원으로도 목표 정확도를 달성할 가능성을 제시한다.