[논문 리뷰] Hamiltonian Simulation by Uniform Spectral Amplification

Guang Hao Low, Isaac L. Chuang|arXiv (Cornell University)|2017. 07. 17.

Quantum Computing Algorithms and Architecture참고 문헌 23인용 수 40

한 줄 요약

이 논문은 양자 신호 처리와 확률 곱셈을 통한 균일 스펙트럼 확대를 이용한 새로운 양자 알고리즘을 제안하며, $d$-희소 해밀토니안에 대해 $\mathcal{O}\left(t(d\|\hat{H}\|_{\text{max}}\|\hat{H}\|_{1})^{1/2}\log{(t\|\hat{H}\|/\epsilon)}\right)$의 최적 쿼리 복잡도를 달성한다. 이 방법은 해밀토니안의 구조적 지식과 그 유니터리 인코딩을 활용하여 이전의 결과보다 희소성 및 노름 매개변수에서 다항식 정도로 향상되며, 상한과 일치하는 하한을 통해 최적성의 증명을 제공한다.

ABSTRACT

The exponential speedups promised by Hamiltonian simulation on a quantum computer depends crucially on structure in both the Hamiltonian $\hat{H}$, and the quantum circuit $\hat{U}$ that encodes its description. In the quest to better approximate time-evolution $e^{-i\hat{H}t}$ with error $ε$, we motivate a systematic approach to understanding and exploiting structure, in a setting where Hamiltonians are encoded as measurement operators of unitary circuits $\hat{U}$ for generalized measurement. This allows us to define a \emph{uniform spectral amplification} problem on this framework for expanding the spectrum of encoded Hamiltonian with exponentially small distortion. We present general solutions to uniform spectral amplification in a hierarchy where factoring $\hat{U}$ into $n=1,2,3$ unitary oracles represents increasing structural knowledge of the encoding. Combined with structural knowledge of the Hamiltonian, specializing these results allow us simulate time-evolution by $d$-sparse Hamiltonians using $\mathcal{O}\left(t(d \|\hat H\|_{ ext{max}}\|\hat H\|_{1})^{1/2}\log{(t\|\hat{H}\|/ε)} ight)$ queries, where $\|\hat H\|\le \|\hat H\|_1\le d\|\hat H\|_{ ext{max}}$. Up to logarithmic factors, this is a polynomial improvement upon prior art using $\mathcal{O}\left(td\|\hat H\|_{ ext{max}}+\frac{\log{(1/ε)}}{\log\log{(1/ε)}} ight)$ or $\mathcal{O}(t^{3/2}(d \|\hat H\|_{ ext{max}}\|\hat H\|_{1}\|\hat H\|/ε)^{1/2})$ queries. In the process, we also prove a matching lower bound of $Ω(t(d\|\hat H\|_{ ext{max}}\|\hat H\|_{1})^{1/2})$ queries, present a distortion-free generalization of spectral gap amplification, and an amplitude amplification algorithm that performs multiplication on unknown state amplitudes.

연구 동기 및 목표

• 해밀토니안과 그 유니터리 인코딩에서의 구조적 지식을 체계적으로 활용하여 양자 시뮬레이션 효율성을 향상시키는 프레임워크를 개발하는 것.
• 희소성과 최대노름 이외의 추가적인 구조적 지식이 해밀토니안 시뮬레이션의 쿼리 복잡도에 다항식 수준의 향상을 가져올 수 있는지 여부라는 열린 문제를 다루는 것.
• 양자 신호 처리와 확률 증폭의 기법을 통합하고 일반화하여 해밀토니안 시뮬레이션의 맥락에서 균일 스펙트럼 확대의 공통 프레임워크를 제시하는 것.
• 상한과 정확히 일치하는 날카운 하한을 설정하여 제안된 쿼리 복잡도의 최적성을 증명하는 것.

제안 방법

• 논문은 해밀토니안을 인코딩하는 데 사용되는 유니터리 오라클의 계층적 구조(구조 지식 수준 $n=1,2,3$)에서 균일 스펙트럼 확대 문제를 수립하여 구조의 점진적 활용을 가능하게 한다.
• 균일 스펙트럼 확대에 특화된 양자 신호 처리 기법을 도입하여, 인코딩된 해밀토니안의 스펙트럼에 대해 지수적으로 작은 왜곡을 갖는 정밀한 제어를 가능하게 한다.
• 알 수 없는 상태 확률의 곱셈을 수행하는 새로운 확률 곱셈 알고리즘을 개발하여, 확률의 사전 지식 없이도 효율적인 스펙트럼 형상 조절이 가능하게 한다.
• 이 방법은 $d$-희소 해밀토니안의 시뮬레이션을 낮은 에너지 스펙트럼 성분의 균일한 확대 문제로 환원하며, 잘린 선형 함수와 갭이 있는 함수에 대한 다항식 근사법을 사용한다.
• Chebyshev 다항식 근사법을 Bernstein 타원 위에서 활용하여 오차가 제어된 차수 $n$의 다항식을 구성함으로써, 유계 연산자 노름과 스펙트럼 충실도를 보장한다.
• 표준형 변환을 통해 프레임워크의 보편성을 증명하여, 어떤 해밀토니안 인코딩도 제안된 확대 기법과 호환되는 형태로 재정의될 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 희소성과 최대노름 이외의 해밀토니안에 대한 추가적인 구조적 지식을 체계적으로 활용하여 해밀토니안 시뮬레이션의 쿼리 복잡도를 감소시킬 수 있는가?
• RQ2 양자 신호 처리와 확률 증폭을 통합하는 일반적인 프레임워크로서 해밀토니안 시뮬레이션 맥락에서 균일 스펙트럼 확대를 가능하게 하는가?
• RQ3 스펙트럼 노름 $\|\hat{H}\|$와 1-노름 $\|\hat{H}\|_1$ 이 알려져 있을 때, $d$-희소 해밀토니안을 시뮬레이션하는 데 가능한 최적의 쿼리 복잡도는 무엇인가?
• RQ4 표준 확률 증폭을 초월하여 왜곡 없는 스펙트럼 갭 확대를 일반화하여 더 넓은 응용 가능성을 확보할 수 있는가?
• RQ5 제안된 쿼리 복잡도 $\mathcal{O}\left(t(d\|\hat{H}\|_{\text{max}}\|\hat{H}\|_{1})^{1/2}\right)$ 는 최적이며, 해당하는 하한은 무엇인가?

주요 결과

• 논문은 $d$-희소 해밀토니안의 시뮬레이션에 대해 $\mathcal{O}\left(t(d\|\hat{H}\|_{\text{max}}\|\hat{H}\|_{1})^{1/2}\log{(t\|\hat{H}\|/\epsilon)}\right)$ 의 쿼리 복잡도를 달성하였으며, 이는 이전 결과의 $\mathcal{O}(td\|\hat{H}\|_{\text{max}})$ 또는 $\mathcal{O}(t^{3/2}(d\|\hat{H}\|_{\text{max}}\|\hat{H}\|_{1}\|\hat{H}\|/\epsilon)^{1/2})$ 와 비교해 향상된 결과이다.
• 상한과 일치하는 하한 $\Omega(t(d\|\hat{H}\|_{\text{max}}\|\hat{H}\|_{1})^{1/2})$ 이 증명되어, 쿼리 복잡도의 최적성(로그 인자 외에는)을 입증한다.
• 왜곡 없는 스펙트럼 갭 확대의 일반화된 버전이 도입되어, 증폭 과정에서 오차를 유발하지 않고 스펙트럼 성분을 정밀하게 제어할 수 있게 되었다.
• 알 수 없는 상태 확률의 곱셈을 수행하는 확률 곱셈 알고리즘이 개발되어, 양자 알고리즘에서 새로운 형태의 스펙트럼 형상 조절이 가능해졌다.
• Chebyshev 전개를 이용한 Bernstein 타원 위에서 잘린 선형 함수와 갭이 있는 함수에 대한 다항식 근사를 구성하여, 오차 범위 $\mathcal{O}(\epsilon)$ 를 달성하고 차수 $n = \mathcal{O}(\Delta^{-1/2}\log^{3/2}(1/(\Delta\epsilon)))$ 를 확보하였다.
• 프레임워크는 보편적임을 입증하였으며, 어떤 해밀토니안 인코딩도 제안된 스펙트럼 확대 기법과 호환되는 표준형으로 변환될 수 있음을 보여, 광범위한 적용 가능성을 확보하였다.