Optimized Lie–Trotter–Suzuki decompositions for two and three noncommuting terms
Abstract
Lie–Trotter–Suzuki decompositions are an efficient way to approximate operator exponentials $exp\left(tH\right)$ when $H$ is a sum of $n$ (noncommuting) terms which, individually, can be exponentiated easily. They are employed in timeevolution algorithms for tensor network states, digital quantum simulation protocols, path integral methods like quantum Monte Carlo, and splitting methods for symplectic integrators in classical Hamiltonian systems. Here, we provide optimized decompositions up to order ${t}^{6}$. The leading error term is expanded in nested commutators (Hall bases) and we minimize the 1norm of the coefficients. For $n=2$ terms, several of the optima we find are close to those in McLachlan (1995). Generally, our results substantially improve over unoptimized decompositions by Forest, Ruth, Yoshida, and Suzuki. We explain why these decompositions are sufficient to efficiently simulate any one or twodimensional lattice model with finiterange interactions. This follows by solving a partitioning problem for the interaction graph.
 Authors:

 Duke Univ., Durham, NC (United States). Dept. of Physics
 Publication Date:
 Research Org.:
 Duke Univ., Durham, NC (United States)
 Sponsoring Org.:
 USDOE Office of Science (SC), Basic Energy Sciences (BES)
 OSTI Identifier:
 1646280
 Alternate Identifier(s):
 OSTI ID: 1617108
 Grant/Contract Number:
 SC0019449
 Resource Type:
 Accepted Manuscript
 Journal Name:
 Annals of Physics
 Additional Journal Information:
 Journal Volume: 418; Journal Issue: C; Journal ID: ISSN 00034916
 Publisher:
 Elsevier
 Country of Publication:
 United States
 Language:
 English
 Subject:
 71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSICS; Lie–Trotter–Suzuki decomposition; quantum Hamiltonian simulation; symplectic integrators; splitting methods; Hall basis; graph partitioning problem; LieTrotter product formula; operator exponential; tensor network states; quantum Monte Carlo; BakerCampbellHausdorff formula; Gröbner basis
Citation Formats
Barthel, Thomas, and Zhang, Yikang. Optimized Lie–Trotter–Suzuki decompositions for two and three noncommuting terms. United States: N. p., 2020.
Web. doi:10.1016/j.aop.2020.168165.
Barthel, Thomas, & Zhang, Yikang. Optimized Lie–Trotter–Suzuki decompositions for two and three noncommuting terms. United States. https://doi.org/10.1016/j.aop.2020.168165
Barthel, Thomas, and Zhang, Yikang. Thu .
"Optimized Lie–Trotter–Suzuki decompositions for two and three noncommuting terms". United States. https://doi.org/10.1016/j.aop.2020.168165. https://www.osti.gov/servlets/purl/1646280.
@article{osti_1646280,
title = {Optimized Lie–Trotter–Suzuki decompositions for two and three noncommuting terms},
author = {Barthel, Thomas and Zhang, Yikang},
abstractNote = {Lie–Trotter–Suzuki decompositions are an efficient way to approximate operator exponentials exp(tH) when H is a sum of n (noncommuting) terms which, individually, can be exponentiated easily. They are employed in timeevolution algorithms for tensor network states, digital quantum simulation protocols, path integral methods like quantum Monte Carlo, and splitting methods for symplectic integrators in classical Hamiltonian systems. Here, we provide optimized decompositions up to order t6. The leading error term is expanded in nested commutators (Hall bases) and we minimize the 1norm of the coefficients. For n=2 terms, several of the optima we find are close to those in McLachlan (1995). Generally, our results substantially improve over unoptimized decompositions by Forest, Ruth, Yoshida, and Suzuki. We explain why these decompositions are sufficient to efficiently simulate any one or twodimensional lattice model with finiterange interactions. This follows by solving a partitioning problem for the interaction graph.},
doi = {10.1016/j.aop.2020.168165},
journal = {Annals of Physics},
number = C,
volume = 418,
place = {United States},
year = {2020},
month = {4}
}
Web of Science
Works referenced in this record:
On the product of semigroups of operators
journal, April 1959
 Trotter, H. F.
 Proceedings of the American Mathematical Society, Vol. 10, Issue 4
Generalized Trotter's formula and systematic approximants of exponential operators and inner derivations with applications to manybody problems
journal, June 1976
 Suzuki, Masuo
 Communications in Mathematical Physics, Vol. 51, Issue 2
Efficient Simulation of OneDimensional Quantum ManyBody Systems
journal, July 2004
 Vidal, Guifré
 Physical Review Letters, Vol. 93, Issue 4
RealTime Evolution Using the Density Matrix Renormalization Group
journal, August 2004
 White, Steven R.; Feiguin, Adrian E.
 Physical Review Letters, Vol. 93, Issue 7
Infinite timeevolving block decimation algorithm beyond unitary evolution
journal, October 2008
 Orús, R.; Vidal, G.
 Physical Review B, Vol. 78, Issue 15
Criticality, the Area Law, and the Computational Power of Projected Entangled Pair States
journal, June 2006
 Verstraete, F.; Wolf, M. M.; PerezGarcia, D.
 Physical Review Letters, Vol. 96, Issue 22
Quantum phase transition in spin3/2 systems on the hexagonal lattice — optimum ground state approach
journal, January 1997
 Niggemann, H.; Klümper, A.; Zittartz, J.
 Zeitschrift für Physik B Condensed Matter, Vol. 104, Issue 1
Selfconsistent tensor product variational approximation for 3D classical models
journal, June 2000
 Nishino, T.; Okunishi, K.; Hieida, Y.
 Nuclear Physics B, Vol. 575, Issue 3
Stripe ansätze from exactly solved models
journal, July 2001
 MartínDelgado, M. A.; Roncaglia, M.; Sierra, G.
 Physical Review B, Vol. 64, Issue 7
Efficient Quantum Algorithms for Simulating Sparse Hamiltonians
journal, December 2006
 Berry, Dominic W.; Ahokas, Graeme; Cleve, Richard
 Communications in Mathematical Physics, Vol. 270, Issue 2
Universal Digital Quantum Simulation with Trapped Ions
journal, September 2011
 Lanyon, B. P.; Hempel, C.; Nigg, D.
 Science, Vol. 334, Issue 6052
Dissipative Quantum ChurchTuring Theorem
journal, September 2011
 Kliesch, M.; Barthel, T.; Gogolin, C.
 Physical Review Letters, Vol. 107, Issue 12
An opensystem quantum simulator with trapped ions
journal, February 2011
 Barreiro, Julio T.; Müller, Markus; Schindler, Philipp
 Nature, Vol. 470, Issue 7335
Toward the first quantum simulation with quantum speedup
journal, September 2018
 Childs, Andrew M.; Maslov, Dmitri; Nam, Yunseong
 Proceedings of the National Academy of Sciences, Vol. 115, Issue 38
Monte Carlo Simulation of Quantum Spin Systems. I
journal, November 1977
 Suzuki, M.; Miyashita, S.; Kuroda, A.
 Progress of Theoretical Physics, Vol. 58, Issue 5
Applications of quantum Monte Carlo methods in condensed systems
journal, January 2011
 Kolorenč, Jindřich; Mitas, Lubos
 Reports on Progress in Physics, Vol. 74, Issue 2
A Can0nical Integrati0n Technique
journal, August 1983
 Ruth, Ronald D.
 IEEE Transactions on Nuclear Science, Vol. 30, Issue 4
Construction of higher order symplectic integrators
journal, November 1990
 Yoshida, Haruo
 Physics Letters A, Vol. 150, Issue 57
On the Numerical Integration of Ordinary Differential Equations by Symmetric Composition Methods
journal, January 1995
 McLachlan, Robert I.
 SIAM Journal on Scientific Computing, Vol. 16, Issue 1
Fourthorder symplectic integration
journal, May 1990
 Forest, Etienne; Ruth, Ronald D.
 Physica D: Nonlinear Phenomena, Vol. 43, Issue 1
General theory of fractal path integrals with applications to many‐body theories and statistical physics
journal, February 1991
 Suzuki, Masuo
 Journal of Mathematical Physics, Vol. 32, Issue 2
Composition constants for raising the orders of unconventional
schemes for ordinary differential equations
journal, July 1997
 Kahan, William; Li, RenCang
 Mathematics of Computation, Vol. 66, Issue 219
Optimized Forest–Ruth and Suzukilike algorithms for integration of motion in manybody systems
journal, July 2002
 Omelyan, I. P.; Mryglod, I. M.; Folk, R.
 Computer Physics Communications, Vol. 146, Issue 2
On a Law of Combination of Operators (Second Paper) ^{*}
journal, November 1897
 Campbell, J. E.
 Proceedings of the London Mathematical Society, Vol. s129, Issue 1
Alternants and Continuous Groups
journal, January 1905
 Baker, H. F.
 Proceedings of the London Mathematical Society, Vol. s23, Issue 1
A basis for free Lie rings and higher commutators in free groups
journal, May 1950
 Hall, Marshall
 Proceedings of the American Mathematical Society, Vol. 1, Issue 5
Die Unterringe der freien Lieschen Ringe
journal, December 1956
 Witt, Ernst
 Mathematische Zeitschrift, Vol. 64, Issue 1
A new efficient algorithm for computing Gröbner bases (F4)
journal, June 1999
 Faugére, JeanCharles
 Journal of Pure and Applied Algebra, Vol. 139, Issue 13
The finite group velocity of quantum spin systems
journal, September 1972
 Lieb, Elliott H.; Robinson, Derek W.
 Communications in Mathematical Physics, Vol. 28, Issue 3
LiebRobinson Bound and Locality for General Markovian Quantum Dynamics
journal, May 2010
 Poulin, David
 Physical Review Letters, Vol. 104, Issue 19
The accuracy of symplectic integrators
journal, March 1992
 McLachlan, R. I.; Atela, P.
 Nonlinearity, Vol. 5, Issue 2
Precise evaluation of thermal response functions by optimized density matrix renormalization group schemes
journal, July 2013
 Barthel, Thomas
 New Journal of Physics, Vol. 15, Issue 7
Multispinon Continua at Zero and Finite Temperature in a NearIdeal Heisenberg Chain
journal, September 2013
 Lake, B.; Tennant, D. A.; Caux, J. S.
 Physical Review Letters, Vol. 111, Issue 13
Matrix product purifications for canonical ensembles and quantum number distributions
journal, September 2016
 Barthel, Thomas
 Physical Review B, Vol. 94, Issue 11
Infinite boundary conditions for response functions and limit cycles within the infinitesystem density matrix renormalization group approach demonstrated for bilinearbiquadratic spin1 chains
journal, December 2018
 Binder, Moritz; Barthel, Thomas
 Physical Review B, Vol. 98, Issue 23
Higherorder methods for simulations on quantum computers
journal, September 1999
 Sornborger, A. T.; Stewart, E. D.
 Physical Review A, Vol. 60, Issue 3
TimeDependent DensityMatrix Renormalization Group: A Systematic Method for the Study of Quantum ManyBody OutofEquilibrium Systems
journal, June 2002
 Cazalilla, M. A.; Marston, J. B.
 Physical Review Letters, Vol. 88, Issue 25
Nonequilibrium electron transport using the density matrix renormalization group method
journal, September 2004
 Schmitteckert, Peter
 Physical Review B, Vol. 70, Issue 12
Time evolution of Matrix Product States
journal, December 2006
 GarcíaRipoll, Juan José
 New Journal of Physics, Vol. 8, Issue 12
Lanczos algorithm with matrix product states for dynamical correlation functions
journal, May 2012
 Dargel, P. E.; Wöllert, A.; Honecker, A.
 Physical Review B, Vol. 85, Issue 20
Outofequilibrium dynamics with matrix product states
journal, December 2012
 Wall, M. L.; Carr, Lincoln D.
 New Journal of Physics, Vol. 14, Issue 12
TimeDependent Variational Principle for Quantum Lattices
journal, August 2011
 Haegeman, Jutho; Cirac, J. Ignacio; Osborne, Tobias J.
 Physical Review Letters, Vol. 107, Issue 7
Unifying time evolution and optimization with matrix product states
journal, October 2016
 Haegeman, Jutho; Lubich, Christian; Oseledets, Ivan
 Physical Review B, Vol. 94, Issue 16
The densitymatrix renormalization group in the age of matrix product states
journal, January 2011
 Schollwöck, Ulrich
 Annals of Physics, Vol. 326, Issue 1
Timeevolution methods for matrixproduct states
journal, December 2019
 Paeckel, Sebastian; Köhler, Thomas; Swoboda, Andreas
 Annals of Physics, Vol. 411
Simulating Hamiltonian Dynamics with a Truncated Taylor Series
journal, March 2015
 Berry, Dominic W.; Childs, Andrew M.; Cleve, Richard
 Physical Review Letters, Vol. 114, Issue 9
Optimal Hamiltonian Simulation by Quantum Signal Processing
journal, January 2017
 Low, Guang Hao; Chuang, Isaac L.
 Physical Review Letters, Vol. 118, Issue 1