Abstract:Quantum simulation is a promising application of future quantum computers. Product formulas, or Trotterization, are the oldest and still remain an appealing method to simulate quantum systems. For an accurate product formula approximation, the state-of-the-art gate complexity depends on the number of terms in the Hamiltonian and a local energy estimate. In this work, we give evidence that product formulas, in practice, may work much better than expected. We prove that the Trotter error exhibits a qualitatively better scaling for the vast majority of input states, while the existing estimate is for the worst states. For general k -local Hamiltonians and higher-order product formulas, we obtain gate count estimates for input states drawn from any orthogonal basis. The gate complexity significantly improves over the worst case for systems with large connectivity. Our typical-case results generalize to Hamiltonians with Fermionic terms, with input states drawn from a fixed-particle number subspace, and with Gaussian coefficients (e.g., the SYK models). Technically, we employ a family of simple but versatile inequalities from non-commutative martingales called uniform smoothness , which leads to Hypercontractivity , namely p -norm estimates for k -local operators. This delivers concentration bounds via Markov's inequality. For optimality, we give analytic and numerical examples that simultaneously match our typical-case estimates and the existing worst-case estimates. Therefore, our improvement is due to asking a qualitatively different question, and our results open doors to the study of quantum algorithms in the average case.

Some improvements to product formula circuits for Hamiltonian simulation

Efficient and practical Hamiltonian simulation from time-dependent product formulas

Trotter error bounds and dynamic multi-product formulas for Hamiltonian simulation

Average-Case Speedup for Product Formulas

Exponentially Reduced Circuit Depths Using Trotter Error Mitigation

Multi-product Hamiltonian simulation with explicit commutator scaling

Simple and high-precision Hamiltonian simulation by compensating Trotter error with linear combination of unitary operations

Simulating Hamiltonian dynamics in a programmable photonic quantum processor using linear combinations of unitary operations

Better bounds for low-energy product formulas

Mitigating Algorithmic Errors in a Hamiltonian Simulation

Estimating Trotter Approximation Errors to Optimize Hamiltonian Partitioning for Lower Eigenvalue Errors

Faster Algorithmic Quantum and Classical Simulations by Corrected Product Formulas

Classically optimized Hamiltonian simulation

Riemannian quantum circuit optimization for Hamiltonian simulation

Well-conditioned multi-product formulas for hardware-friendly Hamiltonian simulation

Non-Hermitian ground-state-searching algorithm enhanced by a variational toolbox

Improved Time-independent Hamiltonian Simulation

Low-depth Hamiltonian Simulation by Adaptive Product Formula

Practical circuit optimization algorithm for quantum simulation based on template matching

Low-Depth Hamiltonian Simulation by an Adaptive Product Formula