Quantum simulation of time-dependent Hamiltonians via commutator-free quasi-Magnus operators
arXiv:2403.13889 · doi:10.22331/q-2024-12-17-1567
Abstract
Hamiltonian simulation is arguably the most fundamental application of quantum computers. The Magnus operator is a popular method for time-dependent Hamiltonian simulation in computational mathematics, yet its usage requires the implementation of exponentials of commutators, which has previously made it unappealing for quantum computing. The development of commutator-free quasi-Magnus operators (CFQMs) circumvents this obstacle, at the expense of a lack of provable global numeric error bounds. In this work, we establish one such error bound for CFQM-based time-dependent quantum Hamiltonian simulation by carefully estimating the error of each step involved in their definition. This allows us to compare its cost with the alternatives, and show that CFQMs are often the most efficient product-formula technique available by more than an order of magnitude. As a result, we find that CFQMs may be particularly useful to simulate time-dependent Hamiltonians on early fault-tolerant quantum computers.
32 pages, 7 figures
References in corpus (17)
- The Magnus expansion and some of its applications
- Simulating Hamiltonian dynamics with a truncated Taylor series
- Quantum simulation of time-dependent Hamiltonians and the convenient illusion of Hilbert space
- Optimal control, geometry, and quantum computing
- Time-dependent Hamiltonian Simulation of Highly Oscillatory Dynamics and Superconvergence for Schrödinger Equation
- Systematic Magnus-based approach for suppressing leakage and non-adiabatic errors in quantum dynamics
- Linear and logarithmic time compositions of quantum many-body operators
- Efficient Product Formulas for Commutators and Applications to Quantum Simulation
- Numerical time propagation of quantum systems in radiation fields
- Optimal Hamiltonian simulation for time-periodic systems
- Minimum Trotterization Formulas for a Time-Dependent Hamiltonian
- Adaptive Trotterization for time-dependent Hamiltonian quantum dynamics using piecewise conservation laws
- Measuring Trotter error and its application to precision-guaranteed Hamiltonian simulations
- Approximating exponentials of commutators by optimized product formulas
- Hamiltonian Simulation in the Interaction Picture Using the Magnus Expansion
- The hardness of quantum spin dynamics
- Quantum simulation of highly-oscillatory many-body Hamiltonians for near-term devices