Quantum Chemistry in the Age of Quantum Computing , , , Yudong Cao,y z Jonathan Romero,y z Jonathan P. Olson,y z Matthias , , , , , #, Degroote,y { x Peter D. Johnson,y z M´aria Kieferov´a,k ? z Ian D. Kivlichan, y #,@, , Tim Menke, 4 Borja Peropadre,z Nicolas P. D. Sawaya,r Sukin Sim,y z Libor , , , , , , Veis,yy and Al´anAspuru-Guzik∗ y z { x zz {{ Department of Chemistry and Chemical Biology, Harvard University, Cambridge, MA 02138, y USA Zapata Computing Inc., Cambridge, MA 02139, USA z Department of Chemistry, University of Toronto, Toronto, Ontario M5G 1Z8, Canada { Department of Computer Science, University of Toronto, Toronto, Ontario M5G 1Z8, Canada x Department of Physics and Astronomy, Macquarie University, Sydney, NSW, 2109, Australia k Institute for Quantum Computing and Department of Physics and Astronomy, University of ? Waterloo, Waterloo, Ontario N2L 3G1, Canada #Department of Physics, Harvard University, Cambridge, MA 02138, USA @Research Laboratory of Electronics, Massachusetts Institute of Technology, Cambridge, MA 02139, USA Department of Physics, Massachusetts Institute of Technology, Cambridge, MA 02139, USA 4 Intel Labs, Intel Corporation, Santa Clara, CA 95054 USA arXiv:1812.09976v2 [quant-ph] 28 Dec 2018 r J. Heyrovsk´yInstitute of Physical Chemistry, Academy of Sciences of the Czech Republic v.v.i., yy Dolejˇskova3, 18223 Prague 8, Czech Republic Canadian Institute for Advanced Research, Toronto, Ontario M5G 1Z8, Canada zz Vector Institute for Artificial Intelligence, Toronto, Ontario M5S 1M1, Canada {{ E-mail: [email protected] 1 Abstract Practical challenges in simulating quantum systems on classical computers have been widely recognized in the quantum physics and quantum chemistry communities over the past century. Although many approximation methods have been introduced, the complexity of quantum mechanics remains hard to appease. The advent of quan- tum computation brings new pathways to navigate this challenging complexity land- scape. By manipulating quantum states of matter and taking advantage of their unique features such as superposition and entanglement, quantum computers promise to ef- ficiently deliver accurate results for many important problems in quantum chemistry such as the electronic structure of molecules. In the past two decades significant advances have been made in developing al- gorithms and physical hardware for quantum computing, heralding a revolution in simulation of quantum systems. This article is an overview of the algorithms and re- sults that are relevant for quantum chemistry. The intended audience is both quantum chemists who seek to learn more about quantum computing, and quantum computing researchers who would like to explore applications in quantum chemistry. Table of Contents 1 Introduction and historical overview 5 2 Quantum chemistry in the age of quantum computing 11 2.1 Basics and challenges of classical quantum chemistry . 13 2.2 Classical approximation techniques and their limitations . 16 2.2.1 Static properties: wave functions and energy spectra . 16 2.2.2 Dynamical properties: time evolution of the wave function . 21 2.3 Going beyond classical limitations using quantum computers . 26 2.3.1 Statics: phase estimation and variational quantum eigensolvers . 29 2.3.2 Dynamics: Hamiltonian simulation and hybrid methods . 31 2 2.4 Chapter 2 Glossary . 34 3 Computational complexity 35 3.1 Complexity classes . 36 3.2 Complexity theory of the electronic structure problem . 39 3.3 Complexity theory in molecular vibronics . 41 3.4 Chapter 3 Glossary . 45 4 Quantum simulation algorithms for fault-tolerant quantum computers 46 4.1 Quantum algorithms for energy estimation . 49 4.1.1 General Hamiltonian simulation . 50 4.1.2 Quantum phase estimation . 57 4.1.3 Quantum Fourier transform . 60 4.2 Determining the ground states energies of quantum chemistry Hamiltonians 62 4.2.1 State preparation . 63 4.2.2 Hamiltonian simulation for quantum chemistry . 65 4.2.3 Measuring properties of many-body systems . 70 4.3 Chapter 4 Glossary . 73 5 Quantum algorithms for noisy intermediate-scale quantum devices 74 5.1 Variational quantum eigensolver (VQE) algorithm . 76 5.1.1 Ansatze for state preparation . 78 5.1.2 Energy estimation in VQE . 100 5.1.3 Optimization methods . 107 5.1.4 Physical realizations of VQE . 112 5.1.5 VQE for excited states . 113 5.1.6 Calculation of molecular properties with VQE . 116 5.2 Other hybrid quantum-classical algorithms for chemistry . 117 5.2.1 Variational quantum simulator . 117 3 5.2.2 Imaginary-time variational quantum simulator . 118 5.2.3 Imaginary-time variational quantum simulator for excited states . 119 5.3 Non-gate-based methods for quantum chemistry . 120 5.3.1 Adiabatic . 120 5.3.2 Linear optics . 122 5.4 Chapter 5 Glossary . 125 6 Summary and outlook 127 Acknowledgements 131 A Quantum chemistry basis sets 132 B Mappings to qubits 137 B.1 Jordan-Wigner mapping . 138 B.2 Bravyi-Kitaev mapping . 139 C From quantum chemistry to quantum computation: example of molecular hydrogen 141 C.1 Introduction . 141 C.2 Defining the chemistry problem . 141 C.3 Mapping the problem . 143 C.4 A brief introduction to quantum computation . 145 C.5 Variational quantum eigensolver for quantum chemistry . 146 C.6 Appendix Glossary . 150 References 153 4 1 Introduction and historical overview Since the advent of electronic computers in the last century, computation has played a fundamental role in the development of chemistry. Numerical methods for computing the static and dynamic properties of chemicals have revolutionized chemistry as a discipline. With the recent emergence of quantum computing, there is potential for a similarly disruptive progress. This review provides a comprehensive picture of the current landscape of quantum computation for chemistry to help establish a perspective for future progress. Where can quantum computers help chemistry? As our understanding of quantum com- puters continues to mature, so too will the development of new methods and techniques which can benefit chemistry. For now, at least, we are confident that quantum computers can aid those quantum chemistry computations that require an explicit representation of the wave function, either because of a high accuracy requirement of simulated properties or be- cause of a high degree of entanglement in the system. In these cases, the exponential growth of the dimension of the wave function makes manipulation and storage very inefficient on a classical computer. Indeed, for even moderately large systems it is already intractable to explicitly maintain the full wave function. As both the quantum hardware and software communities continue to make rapid progress, the immediate role of quantum computing for quantum chemistry becomes clearer. While it seems that there will be no shortage in the demand for new classical methods, the replacement of specific classical subroutines with quantum computations can improve the accuracy and tractability of chemical predictions. This also brings up a new challenge: advancing quantum algorithms for quantum chemistry requires the synergy of quantum information theory and classical quantum chemistry techniques. While these two areas are closely related, they have evolved following different disciplines|the former from physics and computer science, and the latter from chemistry. In this review, our aim is to be pedagogical to scientists from each background in order to bridge this gap and stimulate new developments. We will describe how quantum computing methods can be used to replace or augment classical quantum 5 chemistry methods and survey an array of state-of-the-art quantum computing techniques that may, one day, become as common-place as density functional theory. Quantum computers are quantum systems which can be initialized, sufficiently controlled, and measured, in order to perform a computational task1. There are many candidate physical realizations of quantum computers2. Leading proposals include ion traps3{7, superconduct- ing architectures8{12, quantum optics13{16, nitrogen vacancy centers17{19, nuclear magnetic resonance20{22 and topological qubits23,24. As will be done in this review, it is convenient to abstract the description of the computation away from the particular physical implemen- tation. However, for a concrete example in the case of ion trap quantum computing, one approach is to use trapped Ca+ ions as qubits25. The quantum computation consists of trapping the ions in an array, altering the valence-electron collective quantum state of the ions with a series of precise laser pulses, and measuring the occupation of two Zeeman states of the s and d orbital manifolds in each ion. Instead of referring to the energy levels of trapped ions, we refer to the parts of an abstract quantum computer; namely, interactions between two-level quantum systems called quantum bits or qubits. Instead of laser pulses, the operations on an abstract quantum computer are unitary transformations. After a sequence of unitary transformations, each qubit is measured, returning a binary outcome which is labeled \0" or \1". A classical computation process can be broken down to elementary logical operations, such as AND, on a few bits at a time. Similarly, controlled local unitary operations, called quantum gates, can be used as elementary operations to be applied on quantum bits. The novelty of quantum computing is derived from processes which \entangle" the qubits. Just as atomic orbitals fail to appropriately describe molecular electronic wave functions, entangled qubits cannot be independently assigned definite quantum states. In designing a sequence of quantum gates (called a quantum circuit) to output the solution to a problem, entangling quantum gates can afford shortcuts. A process for constructing a quantum circuit designed to solve a particular problem is called a quantum algorithm. Just like a classical algorithm, the 6 performance of a quantum algorithm is characterized by the number of elementary operations and the run time as a function of the problem instance size (e.g. the number of basis set functions used in the calculation). A number of quantum algorithms have been invented which stand to outperform their classical counterparts.