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 Addenda about the General Formula of Normal Product Calculation for Boson Exponential Quadratic Operators

Linear Quantum Transformation and Normal Product Calculation of Boson Exponential Quadratic Operators

Analytic Calculation of Arbitrary Matrix Elements for the Boson Exponential Quadratic Operator

Two Theorems for General N -Mode Boson Exponential Quadratic Operators

Various Re-ordering Expressions of General Exponential Quadratic Operators in Mutli-Mode Boson System

General Approach to Antinormally Ordering Boson Exponential Quadratic Operators and Its Applications

General Approach to Functional Forms for the Exponential Quadratic Operators in Coordinate-Momentum Space

On Strong Bounds for Trotter and Zeno Product Formulas with Bosonic Applications

Better bounds for low-energy product formulas

Expression of Rotation Operators in Form of Normal Products: the General Theory and Its Applications

NONPERTURBATIVE EFFECTS IN OPERATOR PRODUCT EXPANSION AS THE ORIGIN OF THE ENHANCEMENT FACTORS IN THE Ρ-Meson QCD SUM RULE

Product Formulas for Exponentials of Commutators

A new boson expansion theory utilizing a norm operator

Linear Quantum Transformation Theory of Multimode Bosons and Its Application to Calculation of Partition-Function

Exponential Quadratic Operators and Evolution of Bosonic Systems Coupled to A Heat Bath

Average-Case Speedup for Product Formulas

General theory of linear quantum transformation of Bargmann-Fock space

An advance in the arithmetic of the Lie groups as an alternative to the forms of the Campbell-Baker-Hausdorff-Dynkin theorem

Generalization of Balian-Brezin decomposition for exponentials with linear fermionic part

Prescribed Mass Solutions to Schrödinger Systems with Critical Sobolev Exponent