Simulating Effective QED on Quantum Computers

Abstract

In recent years simulations of chemistry and condensed materials has emerged as one of the preeminent applications of quantum computing, offering an exponential speedup for the solution of the electronic structure for certain strongly correlated electronic systems. To date, most treatments have ignored the question of whether relativistic effects, which are described most generally by quantum electrodynamics (QED), can also be simulated on a quantum computer in polynomial time. Here we show that effective QED, which is equivalent to QED to second order in perturbation theory, can be simulated in polynomial time under reasonable assumptions while properly treating all four components of the wavefunction of the fermionic field. In particular, we provide a detailed analysis of such simulations in position and momentum basis using Trotter-Suzuki formulas. We find that the number of $T$-gates needed to perform such simulations on a $3D$ lattice of $n_s$ sites scales at worst as $O(n_s^3/\epsilon {)}^{1+o(1)}$ in the thermodynamic limit for position basis simulations and $O(n_s^{4+2/3}/\epsilon {)}^{1+o(1)}$ in momentum basis. We also find that qubitization scales slightly better with a worst case scaling of $\tilde{O}(n_s^{2+2/3}/\epsilon )$ for lattice eQED and complications in the prepare circuit leads to a slightly worse scaling in momentum basis of $\tilde{O}(n_s^{5+2/3}/\epsilon )$. We further provide concrete gate counts for simulating a relativistic version of the uniform electron gas that show challenging problems can be simulated using fewer than $10^{13}$ non-Clifford operations and also provide a detailed discussion of how to prepare multi-reference configuration interaction states in effective QED which can provide a reasonable initial guess for the ground state. Finally, we estimate the planewave cutoffs needed to accurately simulate heavy elements such as gold.

44 pages, 11 figures; Adds more citations and additional clarification throughout the manuscript, format changes for Quantum journal, typos fixed and equations reformatted

References in corpus (33)

• Entanglement-free Heisenberg-limited phase estimation
• Atomic Quantum Simulation of U(N) and SU(N) Non-Abelian Lattice Gauge Theories
• Even more efficient quantum computations of chemistry through tensor hypercontraction
• A cold-atom quantum simulator for SU(2) Yang-Mills lattice gauge theory
• Quantum computing enhanced computational catalysis
• A Trailhead for Quantum Simulation of SU(3) Yang-Mills Lattice Gauge Theory in the Local Multiplet Basis
• A Formulation of Lattice Gauge Theories for Quantum Simulations
• Chemical Basis of Trotter-Suzuki Errors in Quantum Chemistry Simulation
• Optical Abelian Lattice Gauge Theories
• Quantum circuits for strongly correlated quantum systems
• Wilson Fermions and Axion Electrodynamics in Optical Lattices
• Digital lattice gauge theories
• Quantum Algorithms for Simulating the Lattice Schwinger Model
• Efficient synthesis of universal Repeat-Until-Success circuits
• Towards simulating 2D effects in lattice gauge theories on a quantum computer
• Search for Efficient Formulations for Hamiltonian Simulation of non-Abelian Lattice Gauge Theories
• SU(2) hadrons on a quantum computer
• A resource efficient approach for quantum and classical simulations of gauge theories in particle physics
• Quantum Simulation of Lattice Gauge Theories in more than One Space Dimension -- Requirements, Challenges, Methods
• Efficient Basis Formulation for (1+1)-Dimensional SU(2) Lattice Gauge Theory: Spectral calculations with matrix product states
• Gluon Field Digitization via Group Space Decimation for Quantum Computers
• Toward scalable simulations of Lattice Gauge Theories on quantum computers
• Single-particle digitization strategy for quantum computation of a ${\varphi }^4$ scalar field theory
• Nearly tight Trotterization of interacting electrons
• Qubit regularization of asymptotic freedom
• Quantum simulation of gauge theory via orbifold lattice
• Light-Front Field Theory on Current Quantum Computers
• Photon-mediated Stroboscopic Quantum Simulation of a ${\mathbb{Z}}_2$ Lattice Gauge Theory
• An Algorithm for Quantum Computation of Particle Decays
• Theoretical methods to design and test quantum simulators for the compact Abelian Higgs model
• Toward simulating Superstring/M-theory on a quantum computer
• Clock model interpolation and symmetry breaking in O(2) models
• Hierarchical Qubit Maps and Hierarchical Quantum Error Correction

Cited by in corpus (9)

• Digital Quantum Simulation of the Schwinger Model and Symmetry Protection with Trapped Ions
• Preparations for Quantum Simulations of Quantum Chromodynamics in 1+1 Dimensions: (I) Axial Gauge
• General quantum algorithms for Hamiltonian simulation with applications to a non-Abelian lattice gauge theory
• Quantum Information Scrambling: From Holography to Quantum Simulators
• Exactly solving the Kitaev chain and generating Majorana-zero-modes out of noisy qubits
• QED as a many-body theory of worldlines: I. General formalism and infrared structure
• Bayesian phase difference estimation algorithm for direct calculation of fine structure splitting: accelerated simulation of relativistic and quantum many-body effects
• 3+1 Dimension Schwinger Pair Production with Quantum Computers
• Quantum simulation of quantum mechanical system with spatial noncommutativity