BQP-completeness of Scattering in Scalar Quantum Field Theory

Abstract

Recent work has shown that quantum computers can compute scattering probabilities in massive quantum field theories, with a run time that is polynomial in the number of particles, their energy, and the desired precision. Here we study a closely related quantum field-theoretical problem: estimating the vacuum-to-vacuum transition amplitude, in the presence of spacetime-dependent classical sources, for a massive scalar field theory in (1+1) dimensions. We show that this problem is BQP-hard; in other words, its solution enables one to solve any problem that is solvable in polynomial time by a quantum computer. Hence, the vacuum-to-vacuum amplitude cannot be accurately estimated by any efficient classical algorithm, even if the field theory is very weakly coupled, unless BQP=BPP. Furthermore, the corresponding decision problem can be solved by a quantum computer in a time scaling polynomially with the number of bits needed to specify the classical source fields, and this problem is therefore BQP-complete. Our construction can be regarded as an idealized architecture for a universal quantum computer in a laboratory system described by massive phi^4 theory coupled to classical spacetime-dependent sources.

41 pages, 7 figures. Corrected typo in footer

References in corpus (4)

• Universal computation by quantum walk
• Universal computation by multi-particle quantum walk
• Bounds for the adiabatic approximation with applications to quantum computation
• Quantum Algorithms for Fermionic Quantum Field Theories

Cited by in corpus (76)

• Quantum-Classical Computation of Schwinger Model Dynamics using Quantum Computers
• Review on novel methods for lattice gauge theories
• Standard Model Physics and the Digital Quantum Revolution: Thoughts about the Interface
• Digitization of Scalar Fields for Quantum Computing
• Circuit complexity in interacting QFTs and RG flows
• Resource Efficient Zero Noise Extrapolation with Identity Insertions
• General Methods for Digital Quantum Simulation of Gauge Theories
• Time Evolution of Complexity: A Critique of Three Methods
• Quantum Simulation of Quantum Field Theory in the Light-Front Formulation
• Quantum simulation of non-equilibrium dynamics and thermalization in the Schwinger model
• Parton Physics on a Quantum Computer
• Quantum Machine Learning for Particle Physics using a Variational Quantum Classifier
• Minimally-Entangled State Preparation of Localized Wavefunctions on Quantum Computers
• Entanglement generation in $(1+1)D$ QED scattering processes
• Basic Elements for Simulations of Standard Model Physics with Quantum Annealers: Multigrid and Clock States
• Primitive Quantum Gates for an SU(2) Discrete Subgroup: BT
• Simulating 2D lattice gauge theories on a qudit quantum computer
• Quantum algorithms for transport coefficients in gauge theories
• Simulating Hadronic Physics on NISQ devices using Basis Light-Front Quantization
• Primitive Quantum Gates for Dihedral Gauge Theories
• High-Energy Collision of Quarks and Mesons in the Schwinger Model: From Tensor Networks to Circuit QED
• Improved Hamiltonians for Quantum Simulations
• Toward Quantum Simulations of ${\mathbb{Z}}_2$ Gauge Theory Without State Preparation
• Quantum Computing for Quantum Tunnelling
• Quantum simulation of quantum field theories as quantum chemistry
• Towards a Quantum Computing Algorithm for Helicity Amplitudes and Parton Showers
• Lattice Renormalization of Quantum Simulations
• Systematically Localizable Operators for Quantum Simulations of Quantum Field Theories
• Quantum Simulations in Effective Model Spaces (I): Hamiltonian Learning-VQE using Digital Quantum Computers and Application to the Lipkin-Meshkov-Glick Model
• The spectrum of qubitized QCD: glueballs in a $S(1080)$ gauge theory
• ${\mathbb{Z}}_N$ gauge theories coupled to topological fermions: QED${}_2$ with a quantum-mechanical $\theta$ angle
• Medium induced jet broadening in a quantum computer
• Readout Rebalancing for Near Term Quantum Computers
• Normalizing Flows and the Real-Time Sign Problem
• Quantum sensors for the generating functional of interacting quantum field theories
• Geometric Quantum Information Structure in Quantum Fields and their Lattice Simulation
• Complexity and entanglement in non-local computation and holography
• Toward simulating Superstring/M-theory on a quantum computer
• Fixed-Point Quantum Circuits for Quantum Field Theories
• Liouvillian Dynamics of the Open Schwinger Model: String Breaking and Kinetic Dissipation in a Thermal Medium
• Primitive Quantum Gates for an SU(3) Discrete Subgroup: $\Sigma (36\times 3)$
• Nearly-optimal state preparation for quantum simulations of lattice gauge theories
• Gauge Theory Couplings on Anisotropic Lattices
• Exponential improvements in the simulation of lattice gauge theories using near-optimal techniques
• Simulating quantum field theories on continuous-variable quantum computers
• Gluon Digitization via Character Expansion for Quantum Computers
• Efficient Simulation of Loop Quantum Gravity -- A Scalable Linear-Optical Approach
• Scalable Quantum Simulations of Scattering in Scalar Field Theory on 120 Qubits
• Nearly optimal quantum algorithm for generating the ground state of a free quantum field theory
• Efficient Quantum Simulation of QCD Jets on the Light Front
• Realizing and Probing Baryonic Excitations in Rydberg Atom Arrays
• Fermionic wave packet scattering: a quantum computing approach
• Synthetic ${\mathbb{Z}}_2$ gauge theories based on parametric excitations of trapped ions
• On Quantum Simulation Of Cosmic Inflation
• Partonic distribution functions and amplitudes using tensor network methods
• Toward hybrid quantum simulations with qubits and qumodes on trapped-ion platforms
• Unsupervised Event Classification with Graphs on Classical and Photonic Quantum Computers
• Block encoding bosons by signal processing
• Quantum mean estimation for lattice field theory
• End-to-end complexity for simulating the Schwinger model on quantum computers
• State preparation of lattice field theories using quantum optimal control
• Gate-based quantum simulation of Gaussian bosonic circuits on exponentially many modes
• Quantum algorithms for conformal bootstrap
• 3+1 Dimension Schwinger Pair Production with Quantum Computers
• Discretizing quantum field theories for quantum simulation
• Fault-tolerant simulation of Lattice Gauge Theories with gauge covariant codes
• A single-particle framework for unitary lattice gauge theory in discrete time
• Sequency Hierarchy Truncation (SeqHT) for Adiabatic State Preparation and Time Evolution in Quantum Simulations
• Quantum simulation of quantum mechanical system with spatial noncommutativity
• Universal Computation with Quantum Fields
• Quantum Simulation of QED in Coulomb Gauge
• Entanglement and magic on the light-front
• Error Interference in Quantum Simulation
• Simulating plasma wave propagation on a superconducting quantum chip
• Towards a Unified Quantum Protocol Framework: Classification, Implementation, and Use Cases
• Finite Gaussian assistance protocols and a conic metric for extremizing spacelike vacuum entanglement