Abstract

Recent work has deployed linear combinations of unitaries techniques to reduce the cost of fault-tolerant quantum simulations of correlated electron models. Here, we show that one can sometimes improve upon those results with optimized implementations of Trotter-Suzuki-based product formulas. We show that low-order Trotter methods perform surprisingly well when used with phase estimation to compute relative precision quantities (e.g. energies per unit cell), as is often the goal for condensed-phase systems. In this context, simulations of the Hubbard and plane-wave electronic structure models with N<105 fermionic modes can be performed with roughly O(1) and O(N2) T complexities. We perform numerics revealing tradeoffs between the error and gate complexity of a Trotter step; e.g., we show that split-operator techniques have less Trotter error than popular alternatives. By compiling to surface code fault-tolerant gates and assuming error rates of one part per thousand, we show that one can error-correct quantum simulations of interesting, classically intractable instances with a few hundred thousand physical qubits.

Highlights

  • The physics of interacting electrons in the presence of external fields predicts the properties of many materials as well as the dynamics of most chemical reactions

  • We show that practical simulations of the Hubbard model and plane wave electronic structure models can be performed with roughly O(1) and O(N 2) T complexities until the models are so large (e.g., N > 105 orbitals) that only one Trotter step is required to obtain target precision, or other assumptions of our analysis break down

  • We present an improved bound on the second-order Trotter error, and on the ground state energy shift, in Appendix E; this bound does not require the product of the evolution time and norm of the Hamiltonian to be small

Read more

Summary

Introduction

The physics of interacting electrons in the presence of external fields predicts the properties of many materials as well as the dynamics of most chemical reactions. Allowing the target error to grow with system size significantly ameliorates the poor scaling of low-order Trotter methods with respect to time and precision In this context, we show that practical simulations of the Hubbard model and plane wave electronic structure models can be performed with roughly O(1) and O(N 2) T complexities until the models are so large (e.g., N > 105 orbitals) that only one Trotter step is required to obtain target precision, or other assumptions of our analysis break down. Use split-operator or fermionic swap network Trotter step for evolution within phase estimation (Section 2); Optimize Trotter step circuits to maximize simultaneous rotations for Hamming weight phasing (Section 2.1); Bound Trotter errors and maximum shift in eigenphases (Section 3.1); Determine precision target—either relative to total energy, or absolute (Section 3.2); Numerically minimize number of costly fault-tolerant gates (Section 3.2); Estimate surface code resource requirements (Section 3.3); End Result: Fault-tolerant costs of estimating system ground state energy (Section 3.3, Section 4)

Hamiltonians and Trotter Steps
Gate costs per Trotter step
Trotter-Suzuki errors
T gate requirements for Trotterized phase estimation
64 Nqu1b2it8s
Surface code resource estimate analysis
32 Nqubits 64
Discussion
A Combining repeated rotations using Hamming weight phasing
Combining arbitrary parallelizable rotations by Hamming weight phasing
Hamming weight phasing with limited ancilla
B Trotter steps by fermionic swap network
C Trotter steps of the split-operator algorithm
Constructing the split-operator Trotter step
The fast fermionic Fourier transform
Changing basis in multiple dimensions
Rotation catalysis and the 2D FFFT
Diagonalizing the kinetic energy operator using Givens rotations
D Costs per Trotter step
The fermionic swap network
The split-operator Trotter step
Gate counts per Trotter step with Hamming weight phasing
E Improved second-order Trotter-Suzuki error bounds
F Phase estimation circuit primitives from a Trotter step
G Trotter error numerics
H T-count minimization
Findings
32 Nqub6i4ts

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.