[논문 리뷰] Adaptive Trotterization for time-dependent Hamiltonian quantum dynamics using piecewise conservation laws
이 논문은 시간에 따라 변화하는 양자 해밀토니안을 위한 적응형 트로터화 알고리즘인 tADA-Trotter를 소개한다. 이 알고리즘은 효과적인 시간에 의존하지 않는 해밀토니안의 순순간 보존 법칙을 사용하여 국소적이고 전반적인 오차를 제한한다. 에너지와 에너지 분산의 측정된 편차에 기반해 시간 단계를 동적으로 조정함으로써, 트로터에 의한 가열 현상을 억제하고 고정된 단계의 트로터화에 비해 더 높은 시뮬레이션 정확도를 달성하면서 회로 깊이를 감소시킨다.
Digital quantum simulation relies on Trotterization to discretize time evolution into elementary quantum gates. On current quantum processors with notable gate imperfections, there is a critical tradeoff between improved accuracy for finer timesteps, and increased error rate on account of the larger circuit depth. We present an adaptive Trotterization algorithm to cope with time-dependent Hamiltonians, where we propose a concept of piecewise "conserved" quantities to estimate errors in the time evolution between two (nearby) points in time; these allow us to bound the errors accumulated over the full simulation period. They reduce to standard conservation laws in the case of time-independent Hamiltonians, for which we first developed an adaptive Trotterization scheme [PRX Quantum 4, 030319]. We validate the algorithm for a time-dependent quantum spin chain, demonstrating that it can outperform the conventional Trotter algorithm with a fixed step size at a controlled error.
연구 동기 및 목표
- 노이즈가 많은 중간 규모 양자(NISQ) 장치에서 시간에 따라 변화하는 해밀토니안의 디지털 양자 시뮬레이션 동안 시뮬레이션 정확도와 회로 깊이를 균형 있게 유지하는 데 도전하는 데 목적을 두며.
- 이전에 시간에 의존하지 않는 시스템에 국한되어 있던 적응형 트로터화를 시간에 따라 변화하는 설정으로 확장하기 위해 단계 크기 조정을 위한 기준을 도입하는 데 목적을 두며.
- 전반적인 오차 제어를 통해 트로터에 의한 가열 효과를 억제함으로써 신뢰할 수 있는 장시간 시뮬레이션을 가능하게 하는 데 목적을 두며.
- 측정 가능한 양(에너지 및 에너지 분산)을 사용해 실시간으로 단계 크기 조정을 이끄는 피드백 기반 알고리즘을 제공하는 데 목적을 두며.
- 구동되는 양자 스핀 체인에서 이 방법을 검증하여 고정된 단계의 트로터화에 비해 뛰어난 성능을 보여주는 데 목적을 두며.
제안 방법
- 이 방법은 시간 진동을 [t, t+δt] 간격으로 이산화하며, 이 간격 내에서 δt에 대한 페르투르바티브 마그누스 전개를 통해 효과적인 시간에 의존하지 않는 해밀토니안 H_{[∞]}^{t,δt}를 정의한다.
- 각 간격 내에서 알고리즘은 순순간 보존 법칙을 강제한다: H_{[∞]}^{t,δt}의 기대값과 그 분산의 기대값은 진동 후에도 그대로 유지되어야 한다.
- 적응형 단계 크기 δt는 트로터화된 진동 전후의 이러한 기대값의 편차를 측정함으로써 결정되며, 오차가 제한 범위 내에 유지되는 한 δt를 최대화한다.
- 전반적인 오차는 순순간 보존 법칙에서의 국소적 오차의 누적합으로 정의되며, 오차 축적을 방지하기 위해 피드백을 통해 제약을 둔다.
- H_{[∞]}^{t,δt}를 근사하기 위해 잘라낸 마그누스 전개 H_{[k]}^{t,δt}를 사용하고, 시간 진동을 위해 트로터 분해 U_{[λ]}(t+δt,t)를 적용한다.
- 피드백 루프는 국소적 오차가 임계값을 초과할 경우 δt를 줄이고, 오차가 작을 경우 증가시킴으로써 동적으로 δt를 조정하며, 특히 느린 진동 영역에서 특히 효과적이다.
![Figure 1: Schematics of tADA-Trotter for a time-dependent Hamiltonian. (a) The expectation values of the instantaneous conserved Hamiltonian $H_{[\infty]}^{t,\delta t}$ coincide at times $t$ and $t+\delta t$ . We maximize $\delta t$ as long as errors in this conservation law are bounded, i.e., devia](https://ar5iv.labs.arxiv.org/html/2307.10327/assets/x1.png)
실험 결과
연구 질문
- RQ1효과적인 시간에 의존하지 않는 해밀토니안의 순순간 보존 법칙을 사용하여 시간에 따라 변화하는 시스템에서 적응형 트로터화를 위한 신뢰할 수 있는 오차 지표를 정의할 수 있는가?
- RQ2국소적 트로터 오차에서 비롯된 전반적 오차 축적이 장시간 시뮬레이션에서 트로터에 의한 가열을 억제하기 위해 어떻게 제어할 수 있는가?
- RQ3측정된 에너지 및 에너지 분산을 기반으로 한 적응형 단계 크기 조정이 고정된 단계의 트로터화에 비해 정확도와 회로 깊이 측면에서 뛰어나게 성능을 발휘할 수 있는가?
- RQ4강한 시간에 따라 변화하는 구동과 복잡한 다체 동역학 조건 하에서도 알고리즘이 정확성을 유지할 수 있는가?
- RQ5이 프레임워크는 열린 양자 시스템이나 고차 트로터 계획으로 일반화될 수 있는가?
주요 결과
- tADA-Trotter는 순순간 보존 법칙에서 오차의 축적을 제약함으로써 트로터에 의한 가열을 성공적으로 억제하여 장시간에 걸친 신뢰할 수 있는 시뮬레이션을 가능하게 한다.
- 고정된 단계의 트로터화에 비해 유의미하게 더 높은 정확도를 달성하였으며, 시뮬레이션 오차는 t > 11일 때에야 비로소 나타나는 반면, 고정된 단계의 오차는 훨씬 이르게(t > 5) 나타난다.
- 적응형 단계 크기 δt는 [0.1, 0.7] 범위에서 동적으로 변하며, 빠르게 변화하는 동역학에서는 0.1로 감소하고, 안정된 영역에서는 0.7로 증가함으로써 유연성을 보여준다.
- 대부분의 시뮬레이션 기간 동안 H_{[k]}의 기대값과 그 분산에서의 누적 오차는 지정된 임계값 이하로 제한되어 있으며, 특히 초기 시간대의 엄격한 허용 오차로 인해 일부 초과가 발생한다.
- 정확도를 유지하면서도 회로 깊이를 줄였으며, 이는 빨간색(전반적으로 제약된) 데이터가 정확한 해를 거의 정확히 따라가는 데서 확인되며, 파란색(고정된 단계) 데이터는 조기에 이미 발산하는 것으로 나타났다.
- ω = 0.8 및 τ = 30인 구동 스핀 체인에 대해 tADA-Trotter는 N = 100개의 트로터 단계를 사용해 총 시뮬레이션 시간 t ~ 20를 달성하였으며, 실용적인 가능성을 입증하였다.
더 나은 연구,지금 바로 시작하세요
논문 읽기부터 검토까지, 연구 시간을 획기적으로 줄여보세요.
카드 등록 없음 · 무료 플랜 제공
이 리뷰는 AI가 만들고, 인간 에디터가 검토했습니다.