양자 해밀턴 시뮬레이션을 이용한 유리 변환의 효율적 구현

초록

본 논문은 해밀턴 시뮬레이션을 기반으로 한 선형 결합 유니터리(LCHS) 기법을 이용해 유리 함수 형태의 연산자를 효율적으로 구현한다. 이론적 근거로 적분 표현을 활용하고, 이산‑시간과 연속‑시간 두 가지 LCHS 방식을 제시한다. 특히 부호 함수(signum) 근사와 스펙트럼 필터링에 적용해, 다중 스핀 시스템의 저에너지 스펙트럼을 정확히 추정한다.

상세 분석

이 논문은 양자 컴퓨팅에서 비다항 함수, 특히 불연속성을 갖는 부호 함수와 같은 함수를 구현하기 위한 새로운 패러다임을 제시한다. 핵심 아이디어는 유리 함수가 부분분수 형태, 즉 여러 개의 resolvent (역연산)들의 합으로 전개될 수 있다는 점이다. 각 resolvent (R(z_k)=(z_k-H)^{-1}) 은 직접 구현하기 어렵지만, 저자들은 이를 실시간 해밀턴 시뮬레이션 (e^{-iHt}) 의 적분 표현으로 변환한다. 복소수 극점에 대해서는 라플라스 변환을 이용해 단일 적분으로 축소하고, 실수 극점에 대해서는 가우시안 커널을 도입해 빠르게 감소하는 가중치를 부여한다. 이렇게 얻어진 적분은 두 가지 방법으로 근사된다. 첫 번째는 이산적 접근으로, 최적의 쿼드라처 규칙(가우스‑레전드)에 따라 시간 샘플 (t_j)와 가중치 (w_j)를 선택해 (\sum_j w_j e^{-iHt_j}) 형태의 선형 결합을 만든다. 두 번째는 연속적 접근으로, 가우시안 기반 함수 집합을 사용해 가중 함수를 전개하고, 각 기저에 대한 적분을 미리 계산하거나 몬테카를로 샘플링으로 추정한다. 두 방식 모두 “선형 결합‑해밀턴‑시뮬레이션”(LCHS)이라는 프레임워크 안에서 구현되며, 쿼리 복잡도는 최대 시뮬레이션 시간과 전체 시뮬레이션 시간 모두에 대해 최적에 가깝게 유지된다. 특히, 보조 보손(조화 진동자) 모드를 이용해 시뮬레이션 시간을 일정하게 고정할 수 있다는 점은 아날로그 양자 시뮬레이션과의 연계 가능성을 열어준다. 논문은 이러한 LCHS 기법을 부호 함수 근사에 적용해, 스펙트럼 필터링을 구현한다. 부호 함수는 고유값을 양·음으로 구분하는 역할을 하므로, 이를 이용해 바닥 상태와 저에너지 들뜬 상태를 선택적으로 강조할 수 있다. 실험적으로는 1‑D 및 2‑D 스핀 체인 모델에 적용해, 기존 다항식 기반 QSP/QSVT 방식보다 적은 회로 깊이와 높은 정확도를 달성한다. 또한, ODMD(Observable Dynamic Mode Decomposition)와 결합해 실시간으로 스펙트럼을 추출하는 완전한 파이프라인을 제시한다. 전체적으로 이 연구는 해밀턴 시뮬레이션이라는 기본 연산을 활용해, 복잡한 비다항 함수 연산을 효율적으로 구현할 수 있음을 증명하고, 양자 알고리즘 설계에서 “부분분수‑적분‑선형결합”이라는 새로운 설계 원칙을 제시한다.