Classical simulation of short-time quantum dynamics

Dominik S. Wild,Álvaro M. Alhambra
DOI: https://doi.org/10.1103/PRXQuantum.4.020340
2023-07-11
Abstract:Recent progress in the development of quantum technologies has enabled the direct investigation of dynamics of increasingly complex quantum many-body systems. This motivates the study of the complexity of classical algorithms for this problem in order to benchmark quantum simulators and to delineate the regime of quantum advantage. Here we present classical algorithms for approximating the dynamics of local observables and nonlocal quantities such as the Loschmidt echo, where the evolution is governed by a local Hamiltonian. For short times, their computational cost scales polynomially with the system size and the inverse of the approximation error. In the case of local observables, the proposed algorithm has a better dependence on the approximation error than algorithms based on the Lieb-Robinson bound. Our results use cluster expansion techniques adapted to the dynamical setting, for which we give a novel proof of their convergence. This has important physical consequences besides our efficient algorithms. In particular, we establish a novel quantum speed limit, a bound on dynamical phase transitions, and a concentration bound for product states evolved for short times.
Quantum Physics,Statistical Mechanics
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is to study the classical simulation complexity of the short - time dynamics of quantum many - body systems under the action of local Hamiltonians. Specifically, the authors aim to develop effective classical algorithms to approximate the dynamic evolution of local observables and non - local quantities (such as Loschmidt echo), and determine the computational costs of these algorithms in different situations. ### Main problems and goals 1. **Understanding the limitations of classical algorithms**: With the development of quantum technology, one can directly study the dynamic behaviors of increasingly complex quantum many - body systems. In order to evaluate the performance of quantum simulators and bound the scope of quantum advantage, it is necessary to understand the complexity of classical algorithms in this problem. 2. **Developing efficient classical algorithms**: For the short - time evolution driven by local Hamiltonians, a classical algorithm is proposed to approximate the dynamics of local observables and Loschmidt echo. This algorithm has a polynomial - level computational cost in a short time and depends on the system size and the reciprocal of the approximation error. 3. **Exploring physical consequences**: Through the cluster expansion technique, the authors not only proposed an efficient algorithm but also established a new quantum speed limit, boundaries of dynamic phase transitions, and concentration boundaries of product states in short - time evolution. ### Key formulas and conclusions - **Dynamics of local observables**: \[ \mathrm{tr}(e^{iHt}Ae^{-iHt}\rho) \] In a short time, its computational complexity is: \[ \mathrm{poly}\left(\frac{1}{\epsilon} e^{\pi |t|/t^*}\right) \exp\left(\pi |t|/t^*\right) \] where \(t^*\) is a positive constant. - **Dynamics of Loschmidt echo**: \[ \log \mathrm{tr}(e^{-iHt}\rho) \] In a short time, its computational complexity is: \[ n\times \mathrm{poly}\left(\frac{n}{1 - |t|/t_L^*} \frac{1}{\epsilon}\right)^{1/\log(t_L^*/|t|)} \] where \(t_L^*\) is a positive constant. ### Physical significance - **Quantum speed limit**: The results show that for local Hamiltonians and product initial states, no dynamic phase transition occurs when \(t\leq t_L^*\), and a new quantum speed limit independent of the system size is established. - **Dynamic phase transition**: For local Hamiltonians and product initial states, the dynamic phase transition does not occur within the time of \(t\leq t_L^*\). - **Concentration boundary**: For the product states in short - time evolution, the Gaussian concentration boundary of local observables can be proved. Through these studies, the authors not only provided classical algorithms for effectively simulating the short - time dynamics of quantum many - body systems but also revealed some important physical properties of the dynamics of quantum systems.