[논문 리뷰] Error Bounds for Variational Quantum Time Evolution

Christa Zoufal, David Sutter외 1명|arXiv (Cornell University)|2021. 07. 30.

Quantum Computing Algorithms and Architecture참고 문헌 30인용 수 9

한 줄 요약

이 논문은 Bures 거리 기반의 단일 위상에 민감하지 않은 오차 한계를 도입하여 변분 양자 시간 진화(VarQTE)에 대한 더 날카운 오차 추정을 제공한다. 이는 이전의 추적 거리 또는 ℓ2-노름 기반의 추정보다 더 날카운 후행적 오차 추정을 가능하게 하며, 최소한의 추가 자원 비용으로도 효율적으로 평가할 수 있다. 잔차 기반의 상미분방정식(ODE)을 활용하여, 최소한의 오버헤드로도 효율적인 평가가 가능하며, 4 큐비트 및 10 큐비트 시스템에서의 수치 실험에서 더 나은 허용도 추정 성능을 입증하였다.

ABSTRACT

Variational quantum time evolution allows us to simulate the time dynamics of quantum systems with near-term compatible quantum circuits. Due to the variational nature of this method the accuracy of the simulation is a priori unknown. We derive global phase agnostic error bounds for the state simulation accuracy with variational quantum time evolution that improve the tightness of fidelity estimates over existing error bounds. These analysis tools are practically crucial for assessing the quality of the simulation and making informed choices about simulation hyper-parameters. The efficient, a posteriori evaluation of the bounds can be tightly integrated with the variational time simulation and, hence, results in a minor resource overhead which is governed by the system's energy variance. The performance of the novel error bounds is demonstrated on numerical examples.

연구 동기 및 목표

• 변분 양자 시간 진화(VarQTE)에서 변분 근사로 인해 사전에 정확도를 알 수 없음에도 불구하고 신뢰할 수 있고 실용적인 오차 정량화의 부족을 해결하기 위해.
• 전역 위상 불일치에 민감하지 않은 오차 한계를 개발하여 양자 시뮬레이션에서 물리적 상태 비교 기준과 일치시키기 위해.
• 계산적으로 가벼운 후행적 오차 추정을 제공하여 변분 시간 진화 워크플로우에 밀접하게 통합하기 위해.
• 기존의 추적 거리 또는 ℓ2-노름 접근 방식보다 더 날카운 오차 추정을 제공하여 근접한 양자 시뮬레이션에서 허용도 추정 및 하이퍼파rameter 선택을 향상시키기 위해.

제안 방법

• McLachlan의 변분 원리를 기반으로 하여 전역 위상에 대해 불변인 Bures 거리 기반의 알고리즘 오차 한계를 유도한다.
• 정확한 시간 진화에서의 편차를 코딩하는 잔차 기반 상미분방정식(ODE)을 설정하여 후행적 오차 평가를 효율적으로 수행할 수 있도록 한다.
• 변분 시간 진화 과정에서 이미 확보된 자료를 활용하여 ODE의 수치적 적분을 통해 오차 한계 ϵ을 계산한다.
• 변분 원리에서 발생하는 선형방정식계(SLE)를 해결하기 위해 릿지 회귀와 최소 제곱법 솔버를 사용하여 ODE 적분의 안정성을 확보한다.
• 오차 한계 계산을 변분 시간 진화 파이프라인에 직접 통합하여 추가적인 양자 회로 깊이나 측정 오버헤드를 최소화한다.
• RK32 및 기타 ODE 솔버를 사용하여 4 및 10 큐비트의 양자 이징 모델에서 이 방법을 적용하고, 실시간 및 허구적 시간 진화에서의 성능을 검증한다.

실험 결과

연구 질문

• RQ1 변분 양자 시간 진화에 대해 기존의 추적 거리 또는 ℓ2-노름 기반의 추정보다 더 날카운 위상에 민감하지 않은 오차 한계를 도출할 수 있는가?
• RQ2 이러한 오차 한계는 시뮬레이션 중 또는 이후에 추가 자원 비용을 최소화하면서 효율적으로 계산될 수 있는가?
• RQ3 실제 양자 시뮬레이션에서 새로운 Bures 기반 오차 한계가 진짜 시뮬레이션 오차를 얼마나 정확히 반영하는가?
• RQ4 근접한 양자 하드웨어에서 실시간과 허구적 시간 진화 시나리오에서 오차 한계는 어떻게 행동하는가?
• RQ5 이러한 오차 한계는 변분 양자 알고리즘에서 하이퍼파rameter 선택과 시뮬레이션 품질 검증을 신뢰할 수 있게 도울 수 있는가?

주요 결과

• 제안된 Bures 기반 오차 한계 ϵ은 이전 연구에서의 ℓ2-노름 기반 오차 한계 ϵPD보다 더 날카우며, 준비된 상태와 목표 상태 간의 허용도에 하한을 제공한다.
• 4 큐비트 시스템에서, Bures 거리가 약 0.8에 도달할 때까지 오차 한계는 실제 Bures 거리의 약 10−1 배 수준으로 잘 추적된다. 이는 허용도 0.68에 해당한다.
• 10 큐비트 이징 모델의 실시간 진화에서, Bures 거리가 0.8에 도달할 때까지 오차 한계는 실제 오차와 약 10−1 배 수준으로 일치한다.
• 10 큐비트 시스템에서의 허구적 시간 진화에서는 Bures 거리가 0.35에 도달할 때 오차 한계가 10−1 배 이상으로 발산한다. 이는 허용도 0.94에 해당한다.
• 대부분의 필요한 자료가 이미 변분 시간 진화 과정에서 계산되고 있으므로 자원 오버헤드가 거의 없다.
• ODE 기반 오차 평가는 안정적이고 확장 가능하며, 다양한 시뮬레이션 설정과 ODE 솔버에서 일관된 성능을 보여주었다.