TY - JOUR

T1 - Quantum simulation in the semi-classical regime

AU - Jin, Shi

AU - Li, Xiantao

AU - Liu, Nana

N1 - Publisher Copyright:
© 2022 Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften

PY - 2022

Y1 - 2022

N2 - Solving the time-dependent Schrödinger equation is an important application area for quantum algorithms. We consider Schrödinger’s equation in the semi-classical regime where ~ 1 and the solutions exhibit strong multiple-scale behavior due to a small parameter, in the sense that the dynamics of the quantum states and the induced observables can occur on different spatial and temporal scales. Such a Schrödinger equation finds applications in many fundamental problems in quantum chemistry, including those from Born-Oppenheimer molecular dynamics and Ehrenfest dynamics. However, the presence of the small parameter ~ in these applications compromises both the spatial resolution and the time integration accuracy. Therefore, to assess a Hamiltonian simulation algorithm in this regime, it is important to quantify the complexity in terms of both ~ and an error tolerance ε. This paper considers quantum analogues of pseudo-spectral (PS) methods on classical computers. Estimates on the gate counts in terms of ~ and the precision ε are obtained. It is found that the number of required qubits, m, scales only logarithmically with respect to ~. When the solution has bounded derivatives up to order `, the symmetric Trottering method has gate complexity (Formula presented), provided that the diagonal unitary operators in the pseudo-spectral methods can be implemented with poly(m) operations. When physical observables are the desired outcomes, however, the step size in the time integration can be chosen independently of ~. The gate complexity in this case is reduced to (Formula presented), with ` again indicating the smoothness of the solution.

AB - Solving the time-dependent Schrödinger equation is an important application area for quantum algorithms. We consider Schrödinger’s equation in the semi-classical regime where ~ 1 and the solutions exhibit strong multiple-scale behavior due to a small parameter, in the sense that the dynamics of the quantum states and the induced observables can occur on different spatial and temporal scales. Such a Schrödinger equation finds applications in many fundamental problems in quantum chemistry, including those from Born-Oppenheimer molecular dynamics and Ehrenfest dynamics. However, the presence of the small parameter ~ in these applications compromises both the spatial resolution and the time integration accuracy. Therefore, to assess a Hamiltonian simulation algorithm in this regime, it is important to quantify the complexity in terms of both ~ and an error tolerance ε. This paper considers quantum analogues of pseudo-spectral (PS) methods on classical computers. Estimates on the gate counts in terms of ~ and the precision ε are obtained. It is found that the number of required qubits, m, scales only logarithmically with respect to ~. When the solution has bounded derivatives up to order `, the symmetric Trottering method has gate complexity (Formula presented), provided that the diagonal unitary operators in the pseudo-spectral methods can be implemented with poly(m) operations. When physical observables are the desired outcomes, however, the step size in the time integration can be chosen independently of ~. The gate complexity in this case is reduced to (Formula presented), with ` again indicating the smoothness of the solution.

UR - http://www.scopus.com/inward/record.url?scp=85134303978&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85134303978&partnerID=8YFLogxK

U2 - 10.22331/Q-2022-06-17-739

DO - 10.22331/Q-2022-06-17-739

M3 - Article

AN - SCOPUS:85134303978

SN - 2521-327X

VL - 6

JO - Quantum

JF - Quantum

M1 - 739

ER -