@article {3130, title = {Provably accurate simulation of gauge theories and bosonic systems}, journal = {Quantum}, volume = {6}, year = {2022}, month = {9/20/2022}, pages = {816}, abstract = {

Quantum many-body systems involving bosonic modes or gauge fields have infinite-dimensional local Hilbert spaces which must be truncated to perform simulations of real-time dynamics on classical or quantum computers. To analyze the truncation error, we develop methods for bounding the rate of growth of local quantum numbers such as the occupation number of a mode at a lattice site, or the electric field at a lattice link. Our approach applies to various models of bosons interacting with spins or fermions, and also to both abelian and non-abelian gauge theories. We show that if states in these models are truncated by imposing an upper limit Λ on each local quantum number, and if the initial state has low local quantum numbers, then an error at most ϵ can be achieved by choosing Λ to scale polylogarithmically with ϵ\−1, an exponential improvement over previous bounds based on energy conservation. For the Hubbard-Holstein model, we numerically compute a bound on Λ that achieves accuracy ϵ, obtaining significantly improved estimates in various parameter regimes. We also establish a criterion for truncating the Hamiltonian with a provable guarantee on the accuracy of time evolution. Building on that result, we formulate quantum algorithms for dynamical simulation of lattice gauge theories and of models with bosonic modes; the gate complexity depends almost linearly on spacetime volume in the former case, and almost quadratically on time in the latter case. We establish a lower bound showing that there are systems involving bosons for which this quadratic scaling with time cannot be improved. By applying our result on the truncation error in time evolution, we also prove that spectrally isolated energy eigenstates can be approximated with accuracy ϵ by truncating local quantum numbers at Λ=polylog(ϵ\−1).

}, doi = {https://doi.org/10.22331\%2Fq-2022-09-22-816}, url = {https://arxiv.org/abs/2110.06942}, author = {Yu Tong and Victor V. Albert and Jarrod R. McClean and John Preskill and Yuan Su} } @article {3131, title = {Provably efficient machine learning for quantum many-body problems}, journal = {Science}, volume = {377}, year = {2022}, month = {9/26/2022}, abstract = {

Classical machine learning (ML) provides a potentially powerful approach to solving challenging quantum many-body problems in physics and chemistry. However, the advantages of ML over more traditional methods have not been firmly established. In this work, we prove that classical ML algorithms can efficiently predict ground state properties of gapped Hamiltonians in finite spatial dimensions, after learning from data obtained by measuring other Hamiltonians in the same quantum phase of matter. In contrast, under widely accepted complexity theory assumptions, classical algorithms that do not learn from data cannot achieve the same guarantee. We also prove that classical ML algorithms can efficiently classify a wide range of quantum phases of matter. Our arguments are based on the concept of a classical shadow, a succinct classical description of a many-body quantum state that can be constructed in feasible quantum experiments and be used to predict many properties of the state. Extensive numerical experiments corroborate our theoretical results in a variety of scenarios, including Rydberg atom systems, 2D random Heisenberg models, symmetry-protected topological phases, and topologically ordered phases.

}, doi = {10.1126/science.abk3333}, url = {https://arxiv.org/abs/2106.12627}, author = {Hsin-Yuan Huang and Richard Kueng and Giacomo Torlai and Victor V. Albert and John Preskill} } @article {2911, title = {Spin chains, defects, and quantum wires for the quantum-double edge}, year = {2021}, month = {11/23/2021}, abstract = {

Non-Abelian defects that bind Majorana or parafermion zero modes are prominent in several topological quantum computation schemes. Underpinning their established understanding is the quantum Ising spin chain, which can be recast as a fermionic model or viewed as a standalone effective theory for the surface-code edge -- both of which harbor non-Abelian defects. We generalize these notions by deriving an effective Ising-like spin chain describing the edge of quantum-double topological order. Relating Majorana and parafermion modes to anyonic strings, we introduce quantum-double generalizations of non-Abelian defects. We develop a way to embed finite-group valued qunits into those valued in continuous groups. Using this embedding, we provide a continuum description of the spin chain and recast its non-interacting part as a quantum wire via addition of a Wess-Zumino-Novikov-Witten term and non-Abelian bosonization.

}, url = {https://arxiv.org/abs/2111.12096}, author = {Victor V. Albert and David Aasen and Wenqing Xu and Wenjie Ji and Jason Alicea and John Preskill} } @article {2719, title = {Continuous symmetries and approximate quantum error correction}, journal = {Phys. Rev. X}, volume = {10}, year = {2020}, month = {10/26/2020}, abstract = {

Quantum error correction and symmetry arise in many areas of physics, including many-body systems, metrology in the presence of noise, fault-tolerant computation, and holographic quantum gravity. Here we study the compatibility of these two important principles. If a logical quantum system is encoded into n physical subsystems, we say that the code is covariant with respect to a symmetry group G if a G transformation on the logical system can be realized by performing transformations on the individual subsystems. For a G-covariant code with G a continuous group, we derive a lower bound on the error correction infidelity following erasure of a subsystem. This bound approaches zero when the number of subsystems n or the dimension d of each subsystem is large. We exhibit codes achieving approximately the same scaling of infidelity with n or d as the lower bound. Leveraging tools from representation theory, we prove an approximate version of the Eastin-Knill theorem: If a code admits a universal set of transversal gates and corrects erasure with fixed accuracy, then, for each logical qubit, we need a number of physical qubits per subsystem that is inversely proportional to the error parameter. We construct codes covariant with respect to the full logical unitary group, achieving good accuracy for large d (using random codes) or n (using codes based on W-states). We systematically construct codes covariant with respect to general groups, obtaining natural generalizations of qubit codes to, for instance, oscillators and rotors. In the context of the AdS/CFT correspondence, our approach provides insight into how time evolution in the bulk corresponds to time evolution on the boundary without violating the Eastin-Knill theorem, and our five-rotor code can be stacked to form a covariant holographic code.

}, doi = {https://journals.aps.org/prx/abstract/10.1103/PhysRevX.10.041018}, url = {https://arxiv.org/abs/1902.07714}, author = {Philippe Faist and Sepehr Nezami and Victor V. Albert and Grant Salton and Fernando Pastawski and Patrick Hayden and John Preskill} } @article {2718, title = {Robust Encoding of a Qubit in a Molecule}, journal = {Phys. Rev. X}, volume = {10}, year = {2020}, month = {9/1/2020}, abstract = {

We construct quantum error-correcting codes that embed a finite-dimensional code space in the infinite-dimensional Hilbert space of rotational states of a rigid body. These codes, which protect against both drift in the body\’s orientation and small changes in its angular momentum, may be well suited for robust storage and coherent processing of quantum information using rotational states of a polyatomic molecule. Extensions of such codes to rigid bodies with a symmetry axis are compatible with rotational states of diatomic molecules as well as nuclear states of molecules and atoms. We also describe codes associated with general non-Abelian groups and develop orthogonality relations for coset spaces, laying the groundwork for quantum information processing with exotic configuration spaces.

}, doi = {https://journals.aps.org/prx/abstract/10.1103/PhysRevX.10.031050}, url = {https://arxiv.org/abs/1911.00099}, author = {Victor V. Albert and Jacob P. Covey and John Preskill} } @article {2530, title = {Quantum Computer Systems for Scientific Discovery}, year = {2019}, month = {12/16/2019}, abstract = {

The great promise of quantum computers comes with the dual challenges of building them and finding their useful applications. We argue that these two challenges should be considered together, by co-designing full stack quantum computer systems along with their applications in order to hasten their development and potential for scientific discovery. In this context, we identify scientific and community needs, opportunities, and significant challenges for the development of quantum computers for science over the next 2-10 years. This document is written by a community of university, national laboratory, and industrial researchers in the field of Quantum Information Science and Technology, and is based on a summary from a U.S. National Science Foundation workshop on Quantum Computing held on October 21-22, 2019 in Alexandria, VA.

}, url = {https://arxiv.org/abs/1912.07577}, author = {Yuri Alexeev and Dave Bacon and Kenneth R. Brown and Robert Calderbank and Lincoln D. Carr and Frederic T. Chong and Brian DeMarco and Dirk Englund and Edward Farhi and Bill Fefferman and Alexey V. Gorshkov and Andrew Houck and Jungsang Kim and Shelby Kimmel and Michael Lange and Seth Lloyd and Mikhail D. Lukin and Dmitri Maslov and Peter Maunz and Christopher Monroe and John Preskill and Martin Roetteler and Martin Savage and Jeff Thompson and Umesh Vazirani} } @article {1949, title = {BQP-completeness of Scattering in Scalar Quantum Field Theory}, journal = {Quantum}, volume = {2}, year = {2018}, month = {2018/01/08}, pages = {44}, 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.

}, doi = {10.22331/q-2018-01-08-44}, url = {https://quantum-journal.org/papers/q-2018-01-08-44/}, author = {Stephen P. Jordan and Hari Krovi and Keith S. M. Lee and John Preskill} } @article {1403, title = {Quantum Algorithms for Fermionic Quantum Field Theories}, year = {2014}, month = {2014/04/28}, abstract = { Extending previous work on scalar field theories, we develop a quantum algorithm to compute relativistic scattering amplitudes in fermionic field theories, exemplified by the massive Gross-Neveu model, a theory in two spacetime dimensions with quartic interactions. The algorithm introduces new techniques to meet the additional challenges posed by the characteristics of fermionic fields, and its run time is polynomial in the desired precision and the energy. Thus, it constitutes further progress towards an efficient quantum algorithm for simulating the Standard Model of particle physics. }, url = {http://arxiv.org/abs/1404.7115v1}, author = {Stephen P. Jordan and Keith S. M. Lee and John Preskill} } @article {1395, title = {Quantum Computation of Scattering in Scalar Quantum Field Theories}, journal = {Quantum Information and Computation}, volume = {14}, year = {2014}, month = {2014/09/01}, pages = {1014-1080}, abstract = { Quantum field theory provides the framework for the most fundamental physical theories to be confirmed experimentally, and has enabled predictions of unprecedented precision. However, calculations of physical observables often require great computational complexity and can generally be performed only when the interaction strength is weak. A full understanding of the foundations and rich consequences of quantum field theory remains an outstanding challenge. We develop a quantum algorithm to compute relativistic scattering amplitudes in massive phi-fourth theory in spacetime of four and fewer dimensions. The algorithm runs in a time that is polynomial in the number of particles, their energy, and the desired precision, and applies at both weak and strong coupling. Thus, it offers exponential speedup over existing classical methods at high precision or strong coupling. }, url = {http://arxiv.org/abs/1112.4833v1}, author = {Stephen P. Jordan and Keith S. M. Lee and John Preskill} } @article {1397, title = {Quantum Algorithms for Quantum Field Theories}, journal = {Science}, volume = {336}, year = {2012}, month = {2012/05/31}, pages = {1130 - 1133}, abstract = { Quantum field theory reconciles quantum mechanics and special relativity, and plays a central role in many areas of physics. We develop a quantum algorithm to compute relativistic scattering probabilities in a massive quantum field theory with quartic self-interactions (phi-fourth theory) in spacetime of four and fewer dimensions. Its run time is polynomial in the number of particles, their energy, and the desired precision, and applies at both weak and strong coupling. In the strong-coupling and high-precision regimes, our quantum algorithm achieves exponential speedup over the fastest known classical algorithm. }, doi = {10.1126/science.1217069}, url = {http://arxiv.org/abs/1111.3633v2}, author = {Stephen P. Jordan and Keith S. M. Lee and John Preskill} } @article {1209, title = {Robustness of adiabatic quantum computation}, journal = {Physical Review A}, volume = {65}, year = {2001}, month = {2001/12/14}, abstract = { We study the fault tolerance of quantum computation by adiabatic evolution, a quantum algorithm for solving various combinatorial search problems. We describe an inherent robustness of adiabatic computation against two kinds of errors, unitary control errors and decoherence, and we study this robustness using numerical simulations of the algorithm. }, doi = {10.1103/PhysRevA.65.012322}, url = {http://arxiv.org/abs/quant-ph/0108048v1}, author = {Andrew M. Childs and Edward Farhi and John Preskill} } @article {1236, title = {Quantum information and precision measurement}, journal = {Journal of Modern Optics}, volume = {47}, year = {2000}, month = {1999/04/07}, pages = {155 - 176}, abstract = { We describe some applications of quantum information theory to the analysis of quantum limits on measurement sensitivity. A measurement of a weak force acting on a quantum system is a determination of a classical parameter appearing in the master equation that governs the evolution of the system; limitations on measurement accuracy arise because it is not possible to distinguish perfectly among the different possible values of this parameter. Tools developed in the study of quantum information and computation can be exploited to improve the precision of physics experiments; examples include superdense coding, fast database search, and the quantum Fourier transform. }, doi = {10.1080/09500340008244034}, url = {http://arxiv.org/abs/quant-ph/9904021v2}, author = {Andrew M. Childs and John Preskill and Joseph Renes} }