[논문 리뷰] Exponential improvement in precision for Hamiltonian-evolution simulation

Dominic W. Berry, Richard Cleve외 1명|arXiv (Cornell University)|2013. 08. 25.

Quantum Computing Algorithms and Architecture참고 문헌 3인용 수 7

한 줄 요약

이 논문은 정밀도 스케일링에서 이전 방법에 비해 지수적 향상을 이룬다. 복잡도는 log(1/ε)의 다항식에 비례하며, 희박한 하미르토니안의 시간 evolution을 시뮬레이션하기 위한 양자 알고리즘을 제시한다. 희박한 하미르토니안을 자기역행 연산자의 합으로 분해하고, 오차 보정을 통한 압축된 리-트로터 시뮬레이션을 사용함으로써, 시간에 대해 거의 선형 스케일링을 달성하고, 시간 도함수 노름에 대해 로그 스케일링을 확보하여, 오차, 시간, 도함수 민감도 측면에서 이전 방법보다 크게 승승을 거두었다.

ABSTRACT

We provide a quantum method for simulating Hamiltonian evolution with complexity polynomial in the logarithm of the inverse error. This is an exponential improvement over existing methods for Hamiltonian simulation. In addition, its scaling with respect to time is close to linear, and its scaling with respect to the time derivative of the Hamiltonian is logarithmic. These scalings improve upon most existing methods. Our method is to use a compressed Lie-Trotter formula, based on recent ideas for efficient discrete-time simulations of continuous-time quantum query algorithms.

연구 동기 및 목표

• 이전의 양자 하미르토니안 시뮬레이션 알고리즘에서 오차 복잡도가 1/ε에 대해 다항식으로 증가하는 것에 비해, log(1/ε)에 대해 다항식으로 증가하는 복잡도를 달성함으로써 오차 스케일링의 지수적 증가 문제를 해결한다.
• 이전 방법에서 시간 도함수 노름 ∥H′∥에 대해 다항식 스케일링이었음을 감안할 때, 이를 로그 스케일링으로 줄여 시뮬레이션 비용에서의 의존도를 감소시킨다.
• 시뮬레이션 시간에 대해 거의 선형 스케일링을 달성하면서도 높은 정밀도와 낮은 자원 오버헤드를 유지함으로써 진화 시간 스케일링을 향상시킨다.
• 효율적인 양자 쿼리 기법을 희박한 하미르토니안 시뮬레이션에 확장하여, 시간에 따라 변하는 또는 급격히 변화하는 하미르토니안에 대해 더 나은 성능을 달성한다.

제안 방법

• 희박한 하미르토니안 H를 1-희박하고 실수 또는 허수의 자기역행 하미르토니안 Hj의 합으로 분해하여 효율적인 시뮬레이션을 가능하게 한다.
• 분해된 Hj 성분에 대해 리-트로터 곱 공식을 적용하여 전체 시간 진동을 근사한다.
• 각 Hj를 교환 가능한 자기역행 연산자 Ul의 합으로 추가로 분해하여, 앤실라 큐비트와 사영 측정을 통해 제어 가능한 구현을 가능하게 한다.
• 각 Ul 하에서의 짧은 시간 진동을 제어 큐비트와 제어-UL 연산을 사용하여 구현하며, 실패 확률은 앰플리튜드 강화를 통해 관리한다.
• Berry12의 기법을 활용하여 다중 시간 세그먼트에 걸쳐 앤실라 레지스터 상태를 압축함으로써 큐비트 오버헤드를 줄이고 오차 범위를 유지한다.
• 총 복잡도를 상한으로 제한하기 위해 체르노프 불등식을 적용하여, 1/ε 요소를 도입하지 않고도 log(1/ε)에 대해 다항식 스케일링이 유지되도록 보장한다.

실험 결과

연구 질문

• RQ1 이전 방법에서 1/ε에 대해 다항식 스케일링이었던 것과 달리, 복잡도가 log(1/ε)에 대해 다항식 스케일링되는 하미르토니안 시뮬레이션은 가능할 수 있는가?
• RQ2 이전 방법에서 시간 도함수 노름 ∥H′∥에 대해 다항식 스케일링이었던 것을, 시뮬레이션 비용에서 로그 스케일링으로 줄일 수 있는가?
• RQ3 시뮬레이션 시간 t에 대해 거의 선형 스케일링을 달성하면서도 높은 정밀도와 낮은 자원 오버헤드를 유지하는 것이 가능한가?
• RQ4 압축된 양자 시뮬레이션 기법을 증명 가능하고 오차 범위가 보장되며 스케일링이 향상된 희박한 하미르토니안 진동에 적응시킬 수 있는가?

주요 결과

• 알고리즘은 O(d²τ + log(1/ε)) log³[d(τ + τ′)/ε] n^c의 복잡도 스케일링을 달성하며, τ = ∥H∥t 및 τ′ = ∥H′∥t로 정의되며, log(1/ε)에 대해 다항식 의존도와 ∥H′∥에 대해 로그 의존도를 보인다.
• 오рак루 호출 수와 추가 게이트 수는 d²∥H∥t에 대해 선형으로 증가하며, 시스템 파라미터에 대해 로그 인자로 증가하여, 이전의 리-트로터 기반 방법보다 크게 향상되었다.
• 시뮬레이션 시간 t에 대해 거의 선형 스케일링을 달성하며, 오차 범위에서 로그 인자 외에는 거의 선형에 가깝게 작동하여 대부분의 이전 방법보다 뛰어난 성능을 보였다.
• 압축과 실패 확률에 대한 정교한 상한을 통해 오차 분석을 향상시켜, 마르코프 불등식 대신 체르노프 불등식을 사용함으로써 1/ε 요소를 피할 수 있었다.
• 시간 세그먼트에 걸쳐 앤실라 큐비트를 압축함으로써 자원 오버헤드를 낮추고 정확도를 유지함으로써, 알고리즘이 낮은 자원 오버헤드를 유지한다.
• 결과는 희박한 하미르토니안과 국소 상호작용 하미르토니안의 합 모두에 대해 성립하여, 물리적 양자 시스템에 광범위하게 적용 가능함을 보여준다.