-
Chemistry Beyond Exact Solutions on a Quantum-Centric Supercomputer
Authors:
Javier Robledo-Moreno,
Mario Motta,
Holger Haas,
Ali Javadi-Abhari,
Petar Jurcevic,
William Kirby,
Simon Martiel,
Kunal Sharma,
Sandeep Sharma,
Tomonori Shirakawa,
Iskandar Sitdikov,
Rong-Yang Sun,
Kevin J. Sung,
Maika Takita,
Minh C. Tran,
Seiji Yunoki,
Antonio Mezzacapo
Abstract:
A universal quantum computer can be used as a simulator capable of predicting properties of diverse quantum systems. Electronic structure problems in chemistry offer practical use cases around the hundred-qubit mark. This appears promising since current quantum processors have reached these sizes. However, map** these use cases onto quantum computers yields deep circuits, and for for pre-fault-t…
▽ More
A universal quantum computer can be used as a simulator capable of predicting properties of diverse quantum systems. Electronic structure problems in chemistry offer practical use cases around the hundred-qubit mark. This appears promising since current quantum processors have reached these sizes. However, map** these use cases onto quantum computers yields deep circuits, and for for pre-fault-tolerant quantum processors, the large number of measurements to estimate molecular energies leads to prohibitive runtimes. As a result, realistic chemistry is out of reach of current quantum computers in isolation. A natural question is whether classical distributed computation can relieve quantum processors from parsing all but a core, intrinsically quantum component of a chemistry workflow. Here, we incorporate quantum computations of chemistry in a quantum-centric supercomputing architecture, using up to 6400 nodes of the supercomputer Fugaku to assist a Heron superconducting quantum processor. We simulate the N$_2$ triple bond breaking in a correlation-consistent cc-pVDZ basis set, and the active-space electronic structure of [2Fe-2S] and [4Fe-4S] clusters, using 58, 45 and 77 qubits respectively, with quantum circuits of up to 10570 (3590 2-qubit) quantum gates. We obtain our results using a class of quantum circuits that approximates molecular eigenstates, and a hybrid estimator. The estimator processes quantum samples, produces upper bounds to the ground-state energy and wavefunctions supported on a polynomial number of states. This guarantees an unconditional quality metric for quantum advantage, certifiable by classical computers at polynomial cost. For current error rates, our results show that classical distributed computing coupled to quantum processors can produce good approximate solutions for practical problems beyond sizes amenable to exact diagonalization.
△ Less
Submitted 8 May, 2024;
originally announced May 2024.
-
Robust Error Accumulation Suppression
Authors:
Tatsuki Odake,
Philip Taranto,
Nobuyuki Yoshioka,
Toshinari Itoko,
Kunal Sharma,
Antonio Mezzacapo,
Mio Murao
Abstract:
We present an advanced quantum error suppression technique, which we dub robust error accumulation suppression (REAS). Our method reduces the accumulation of errors in any circuit composed of single- or two-qubit gates expressed as $e^{-i σθ}$ for Pauli operators $σ$ and $θ\in [0,π)$; since such gates form a universal gate set, our results apply to a strictly larger class of circuits than those co…
▽ More
We present an advanced quantum error suppression technique, which we dub robust error accumulation suppression (REAS). Our method reduces the accumulation of errors in any circuit composed of single- or two-qubit gates expressed as $e^{-i σθ}$ for Pauli operators $σ$ and $θ\in [0,π)$; since such gates form a universal gate set, our results apply to a strictly larger class of circuits than those comprising only Clifford gates, thereby generalizing previous results. In the case of coherent errors -- which include crosstalk -- we demonstrate a reduction of the error scaling in an $L$-depth circuit from $O(L)$ to $O(\sqrt{L})$. Crucially, REAS makes no assumption on the cleanness of the error-suppressing protocol itself and is, therefore, truly robust, applying to situations in which the newly inserted gates have non-negligible coherent noise. Furthermore, we show that REAS can also suppress certain types of decoherence noise by transforming some gates to be robust against such noise, which is verified by the demonstration of the quadratic suppression of error scaling in the numerical simulation. Our results, therefore, present an advanced, robust method of error suppression that can be used in conjunction with error correction as a viable path toward fault-tolerant quantum computation.
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
Quantum-centric Supercomputing for Materials Science: A Perspective on Challenges and Future Directions
Authors:
Yuri Alexeev,
Maximilian Amsler,
Paul Baity,
Marco Antonio Barroca,
Sanzio Bassini,
Torey Battelle,
Daan Camps,
David Casanova,
Young jai Choi,
Frederic T. Chong,
Charles Chung,
Chris Codella,
Antonio D. Corcoles,
James Cruise,
Alberto Di Meglio,
Jonathan Dubois,
Ivan Duran,
Thomas Eckl,
Sophia Economou,
Stephan Eidenbenz,
Bruce Elmegreen,
Clyde Fare,
Ismael Faro,
Cristina Sanz Fernández,
Rodrigo Neumann Barros Ferreira
, et al. (102 additional authors not shown)
Abstract:
Computational models are an essential tool for the design, characterization, and discovery of novel materials. Hard computational tasks in materials science stretch the limits of existing high-performance supercomputing centers, consuming much of their simulation, analysis, and data resources. Quantum computing, on the other hand, is an emerging technology with the potential to accelerate many of…
▽ More
Computational models are an essential tool for the design, characterization, and discovery of novel materials. Hard computational tasks in materials science stretch the limits of existing high-performance supercomputing centers, consuming much of their simulation, analysis, and data resources. Quantum computing, on the other hand, is an emerging technology with the potential to accelerate many of the computational tasks needed for materials science. In order to do that, the quantum technology must interact with conventional high-performance computing in several ways: approximate results validation, identification of hard problems, and synergies in quantum-centric supercomputing. In this paper, we provide a perspective on how quantum-centric supercomputing can help address critical computational problems in materials science, the challenges to face in order to solve representative use cases, and new suggested directions.
△ Less
Submitted 14 December, 2023;
originally announced December 2023.
-
Practical Benchmarking of Randomized Measurement Methods for Quantum Chemistry Hamiltonians
Authors:
Arkopal Dutt,
William Kirby,
Rudy Raymond,
Charles Hadfield,
Sarah Sheldon,
Isaac L. Chuang,
Antonio Mezzacapo
Abstract:
Many hybrid quantum-classical algorithms for the application of ground state energy estimation in quantum chemistry involve estimating the expectation value of a molecular Hamiltonian with respect to a quantum state through measurements on a quantum device. To guide the selection of measurement methods designed for this observable estimation problem, we propose a benchmark called CSHOREBench (Comm…
▽ More
Many hybrid quantum-classical algorithms for the application of ground state energy estimation in quantum chemistry involve estimating the expectation value of a molecular Hamiltonian with respect to a quantum state through measurements on a quantum device. To guide the selection of measurement methods designed for this observable estimation problem, we propose a benchmark called CSHOREBench (Common States and Hamiltonians for ObseRvable Estimation Benchmark) that assesses the performance of these methods against a set of common molecular Hamiltonians and common states encountered during the runtime of hybrid quantum-classical algorithms. In CSHOREBench, we account for resource utilization of a quantum computer through measurements of a prepared state, and a classical computer through computational runtime spent in proposing measurements and classical post-processing of acquired measurement outcomes. We apply CSHOREBench considering a variety of measurement methods on Hamiltonians of size up to 16 qubits. Our discussion is aided by using the framework of decision diagrams which provides an efficient data structure for various randomized methods and illustrate how to derandomize distributions on decision diagrams. In numerical simulations, we find that the methods of decision diagrams and derandomization are the most preferable. In experiments on IBM quantum devices against small molecules, we observe that decision diagrams reduces the number of measurements made by classical shadows by more than 80%, that made by locally biased classical shadows by around 57%, and consistently require fewer quantum measurements along with lower classical computational runtime than derandomization. Furthermore, CSHOREBench is empirically efficient to run when considering states of random quantum ansatz with fixed depth.
△ Less
Submitted 12 December, 2023;
originally announced December 2023.
-
Subspace methods for electronic structure simulations on quantum computers
Authors:
Mario Motta,
William Kirby,
Ieva Liepuoniute,
Kevin J. Sung,
Jeffrey Cohn,
Antonio Mezzacapo,
Katherine Klymko,
Nam Nguyen,
Nobuyuki Yoshioka,
Julia E. Rice
Abstract:
Quantum subspace methods (QSMs) are a class of quantum computing algorithms where the time-independent Schrodinger equation for a quantum system is projected onto a subspace of the underlying Hilbert space. This projection transforms the Schrodinger equation into an eigenvalue problem determined by measurements carried out on a quantum device. The eigenvalue problem is then solved on a classical c…
▽ More
Quantum subspace methods (QSMs) are a class of quantum computing algorithms where the time-independent Schrodinger equation for a quantum system is projected onto a subspace of the underlying Hilbert space. This projection transforms the Schrodinger equation into an eigenvalue problem determined by measurements carried out on a quantum device. The eigenvalue problem is then solved on a classical computer, yielding approximations to ground- and excited-state energies and wavefunctions. QSMs are examples of hybrid quantum-classical methods, where a quantum device supported by classical computational resources is employed to tackle a problem. QSMs are rapidly gaining traction as a strategy to simulate electronic wavefunctions on quantum computers, and thus their design, development, and application is a key research field at the interface between quantum computation and electronic structure. In this review, we provide a self-contained introduction to QSMs, with emphasis on their application to the electronic structure of molecules. We present the theoretical foundations and applications of QSMs, and we discuss their implementation on quantum hardware, illustrating the impact of noise on their performance.
△ Less
Submitted 30 November, 2023;
originally announced December 2023.
-
Refining resource estimation for the quantum computation of vibrational molecular spectra through Trotter error analysis
Authors:
Dimitar Trenev,
Pauline J Ollitrault,
Stuart M. Harwood,
Tanvi P. Gujarati,
Sumathy Raman,
Antonio Mezzacapo,
Sarah Mostame
Abstract:
Accurate simulations of vibrational molecular spectra are expensive on conventional computers. Compared to the electronic structure problem, the vibrational structure problem with quantum computers is less investigated. In this work we accurately estimate quantum resources, such as number of qubits and quantum gates, required for vibrational structure calculations on a programmable quantum compute…
▽ More
Accurate simulations of vibrational molecular spectra are expensive on conventional computers. Compared to the electronic structure problem, the vibrational structure problem with quantum computers is less investigated. In this work we accurately estimate quantum resources, such as number of qubits and quantum gates, required for vibrational structure calculations on a programmable quantum computer. Our approach is based on quantum phase estimation and focuses on fault-tolerant quantum devices. In addition to asymptotic estimates for generic chemical compounds, we present a more detailed analysis of the quantum resources needed for the simulation of the Hamiltonian arising in the vibrational structure calculation of acetylene-like polyynes of interest. Leveraging nested commutators, we provide an in-depth quantitative analysis of trotter errors compared to the prior investigations. Ultimately, this work serves as a guide for analyzing the potential quantum advantage within vibrational structure simulations.
△ Less
Submitted 6 November, 2023;
originally announced November 2023.
-
Quantum Computing for High-Energy Physics: State of the Art and Challenges. Summary of the QC4HEP Working Group
Authors:
Alberto Di Meglio,
Karl Jansen,
Ivano Tavernelli,
Constantia Alexandrou,
Srinivasan Arunachalam,
Christian W. Bauer,
Kerstin Borras,
Stefano Carrazza,
Arianna Crippa,
Vincent Croft,
Roland de Putter,
Andrea Delgado,
Vedran Dunjko,
Daniel J. Egger,
Elias Fernandez-Combarro,
Elina Fuchs,
Lena Funcke,
Daniel Gonzalez-Cuadra,
Michele Grossi,
Jad C. Halimeh,
Zoe Holmes,
Stefan Kuhn,
Denis Lacroix,
Randy Lewis,
Donatella Lucchesi
, et al. (21 additional authors not shown)
Abstract:
Quantum computers offer an intriguing path for a paradigmatic change of computing in the natural sciences and beyond, with the potential for achieving a so-called quantum advantage, namely a significant (in some cases exponential) speed-up of numerical simulations. The rapid development of hardware devices with various realizations of qubits enables the execution of small scale but representative…
▽ More
Quantum computers offer an intriguing path for a paradigmatic change of computing in the natural sciences and beyond, with the potential for achieving a so-called quantum advantage, namely a significant (in some cases exponential) speed-up of numerical simulations. The rapid development of hardware devices with various realizations of qubits enables the execution of small scale but representative applications on quantum computers. In particular, the high-energy physics community plays a pivotal role in accessing the power of quantum computing, since the field is a driving source for challenging computational problems. This concerns, on the theoretical side, the exploration of models which are very hard or even impossible to address with classical techniques and, on the experimental side, the enormous data challenge of newly emerging experiments, such as the upgrade of the Large Hadron Collider. In this roadmap paper, led by CERN, DESY and IBM, we provide the status of high-energy physics quantum computations and give examples for theoretical and experimental target benchmark applications, which can be addressed in the near future. Having the IBM 100 x 100 challenge in mind, where possible, we also provide resource estimates for the examples given using error mitigated quantum computing.
△ Less
Submitted 6 July, 2023;
originally announced July 2023.
-
Quadratic quantum speedup in evaluating bilinear risk functions
Authors:
Gabriele Agliardi,
Corey O'Meara,
Kavitha Yogaraj,
Kumar Ghosh,
Piergiacomo Sabino,
Marina Fernández-Campoamor,
Giorgio Cortiana,
Juan Bernabé-Moreno,
Francesco Tacchino,
Antonio Mezzacapo,
Omar Shehab
Abstract:
Computing nonlinear functions over multilinear forms is a general problem with applications in risk analysis. For instance in the domain of energy economics, accurate and timely risk management demands for efficient simulation of millions of scenarios, largely benefiting from computational speedups. We develop a novel hybrid quantum-classical algorithm based on polynomial approximation of nonlinea…
▽ More
Computing nonlinear functions over multilinear forms is a general problem with applications in risk analysis. For instance in the domain of energy economics, accurate and timely risk management demands for efficient simulation of millions of scenarios, largely benefiting from computational speedups. We develop a novel hybrid quantum-classical algorithm based on polynomial approximation of nonlinear functions and compare different implementation variants. We prove a quadratic quantum speedup, up to polylogarithmic factors, when forms are bilinear and approximating polynomials have second degree, if efficient loading unitaries are available for the input data sets. We also enhance the bidirectional encoding, that allows tuning the balance between circuit depth and width, proposing an improved version that can be exploited for the calculation of inner products. Lastly, we exploit the dynamic circuit capabilities, recently introduced on IBM Quantum devices, to reduce the average depth of the Quantum Hadamard Product circuit. A proof of principle is implemented and validated on IBM Quantum systems.
△ Less
Submitted 20 April, 2023; v1 submitted 20 April, 2023;
originally announced April 2023.
-
Variational Benchmarks for Quantum Many-Body Problems
Authors:
Dian Wu,
Riccardo Rossi,
Filippo Vicentini,
Nikita Astrakhantsev,
Federico Becca,
Xiaodong Cao,
Juan Carrasquilla,
Francesco Ferrari,
Antoine Georges,
Mohamed Hibat-Allah,
Masatoshi Imada,
Andreas M. Läuchli,
Guglielmo Mazzola,
Antonio Mezzacapo,
Andrew Millis,
Javier Robledo Moreno,
Titus Neupert,
Yusuke Nomura,
Jannes Nys,
Olivier Parcollet,
Rico Pohle,
Imelda Romero,
Michael Schmid,
J. Maxwell Silvester,
Sandro Sorella
, et al. (8 additional authors not shown)
Abstract:
The continued development of novel many-body approaches to ground-state problems in physics and chemistry calls for a consistent way to assess its overall progress. Here we introduce a metric of variational accuracy, the V-score, obtained from the variational energy and its variance. We provide the most extensive curated dataset of variational calculations of many-body quantum systems to date, ide…
▽ More
The continued development of novel many-body approaches to ground-state problems in physics and chemistry calls for a consistent way to assess its overall progress. Here we introduce a metric of variational accuracy, the V-score, obtained from the variational energy and its variance. We provide the most extensive curated dataset of variational calculations of many-body quantum systems to date, identifying cases where state-of-the-art numerical approaches show limited accuracy, and novel algorithms or computational platforms, such as quantum computing, could provide improved accuracy. The V-score can be used as a metric to assess the progress of quantum variational methods towards quantum advantage for ground-state problems, especially in regimes where classical verifiability is impossible.
△ Less
Submitted 9 February, 2023;
originally announced February 2023.
-
Hierarchical Clifford transformations to reduce entanglement in quantum chemistry wavefunctions
Authors:
Ryan V. Mishmash,
Tanvi P. Gujarati,
Mario Motta,
Huanchen Zhai,
Garnet Kin-Lic Chan,
Antonio Mezzacapo
Abstract:
The performance of computational methods for many-body physics and chemistry is strongly dependent on the choice of basis used to cast the problem; hence, the search for better bases and similarity transformations is important for progress in the field. So far, tools from theoretical quantum information have been not thoroughly explored for this task. Here we take a step in this direction by prese…
▽ More
The performance of computational methods for many-body physics and chemistry is strongly dependent on the choice of basis used to cast the problem; hence, the search for better bases and similarity transformations is important for progress in the field. So far, tools from theoretical quantum information have been not thoroughly explored for this task. Here we take a step in this direction by presenting efficiently computable Clifford similarity transformations for quantum chemistry Hamiltonians, which expose bases with reduced entanglement in the corresponding molecular ground states. These transformations are constructed via block diagonalization of a hierarchy of truncated molecular Hamiltonians, preserving the full spectrum of the original problem. We show that the bases introduced here allow for more efficient classical and quantum computation of ground state properties. First, we find a systematic reduction of bipartite entanglement in molecular ground states as compared to standard problem representations. This entanglement reduction has implications in classical numerical methods such as ones based on the density matrix renormalization group. Then, we develop variational quantum algorithms that exploit the structure in the new bases, showing again improved results when the hierarchical Clifford transformations are used.
△ Less
Submitted 18 January, 2023;
originally announced January 2023.
-
Ab-initio quantum chemistry with neural-network wavefunctions
Authors:
Jan Hermann,
James Spencer,
Kenny Choo,
Antonio Mezzacapo,
W. M. C. Foulkes,
David Pfau,
Giuseppe Carleo,
Frank Noé
Abstract:
Machine learning and specifically deep-learning methods have outperformed human capabilities in many pattern recognition and data processing problems, in game playing, and now also play an increasingly important role in scientific discovery. A key application of machine learning in the molecular sciences is to learn potential energy surfaces or force fields from ab-initio solutions of the electron…
▽ More
Machine learning and specifically deep-learning methods have outperformed human capabilities in many pattern recognition and data processing problems, in game playing, and now also play an increasingly important role in scientific discovery. A key application of machine learning in the molecular sciences is to learn potential energy surfaces or force fields from ab-initio solutions of the electronic Schrödinger equation using datasets obtained with density functional theory, coupled cluster, or other quantum chemistry methods. Here we review a recent and complementary approach: using machine learning to aid the direct solution of quantum chemistry problems from first principles. Specifically, we focus on quantum Monte Carlo (QMC) methods that use neural network ansatz functions in order to solve the electronic Schrödinger equation, both in first and second quantization, computing ground and excited states, and generalizing over multiple nuclear configurations. Compared to existing quantum chemistry methods, these new deep QMC methods have the potential to generate highly accurate solutions of the Schrödinger equation at relatively modest computational cost.
△ Less
Submitted 26 August, 2022;
originally announced August 2022.
-
Exact and efficient Lanczos method on a quantum computer
Authors:
William Kirby,
Mario Motta,
Antonio Mezzacapo
Abstract:
We present an algorithm that uses block encoding on a quantum computer to exactly construct a Krylov space, which can be used as the basis for the Lanczos method to estimate extremal eigenvalues of Hamiltonians. While the classical Lanczos method has exponential cost in the system size to represent the Krylov states for quantum systems, our efficient quantum algorithm achieves this in polynomial t…
▽ More
We present an algorithm that uses block encoding on a quantum computer to exactly construct a Krylov space, which can be used as the basis for the Lanczos method to estimate extremal eigenvalues of Hamiltonians. While the classical Lanczos method has exponential cost in the system size to represent the Krylov states for quantum systems, our efficient quantum algorithm achieves this in polynomial time and memory. The construction presented is exact in the sense that the resulting Krylov space is identical to that of the Lanczos method, so the only approximation with respect to the exact method is due to finite sample noise. This is possible because, unlike previous quantum Krylov methods, our algorithm does not require simulating real or imaginary time evolution. We provide an explicit error bound for the resulting ground state energy estimate in the presence of noise. For our method to be successful efficiently, the only requirement on the input problem is that the overlap of the initial state with the true ground state must be $Ω(1/\text{poly}(n))$ for $n$ qubits.
△ Less
Submitted 19 May, 2023; v1 submitted 31 July, 2022;
originally announced August 2022.
-
Entanglement Forging with generative neural network models
Authors:
Patrick Huembeli,
Giuseppe Carleo,
Antonio Mezzacapo
Abstract:
The optimal use of quantum and classical computational techniques together is important to address problems that cannot be easily solved by quantum computations alone. This is the case of the ground state problem for quantum many-body systems. We show here that probabilistic generative models can work in conjunction with quantum algorithms to design hybrid quantum-classical variational ansätze tha…
▽ More
The optimal use of quantum and classical computational techniques together is important to address problems that cannot be easily solved by quantum computations alone. This is the case of the ground state problem for quantum many-body systems. We show here that probabilistic generative models can work in conjunction with quantum algorithms to design hybrid quantum-classical variational ansätze that forge entanglement to lower quantum resource overhead. The variational ansätze comprise parametrized quantum circuits on two separate quantum registers, and a classical generative neural network that can entangle them by learning a Schmidt decomposition of the whole system. The method presented is efficient in terms of the number of measurements required to achieve fixed precision on expected values of observables. To demonstrate its effectiveness, we perform numerical experiments on the transverse field Ising model in one and two dimensions, and fermionic systems such as the t-V Hamiltonian of spinless fermions on a lattice.
△ Less
Submitted 2 May, 2022;
originally announced May 2022.
-
Expressivity of Variational Quantum Machine Learning on the Boolean Cube
Authors:
Dylan Herman,
Rudy Raymond,
Muyuan Li,
Nicolas Robles,
Antonio Mezzacapo,
Marco Pistoia
Abstract:
Categorical data plays an important part in machine learning research and appears in a variety of applications. Models that can express large classes of real-valued functions on the Boolean cube are useful for problems involving discrete-valued data types, including those which are not Boolean. To this date, the commonly used schemes for embedding classical data into variational quantum machine le…
▽ More
Categorical data plays an important part in machine learning research and appears in a variety of applications. Models that can express large classes of real-valued functions on the Boolean cube are useful for problems involving discrete-valued data types, including those which are not Boolean. To this date, the commonly used schemes for embedding classical data into variational quantum machine learning models encode continuous values. Here we investigate quantum embeddings for encoding Boolean-valued data into parameterized quantum circuits used for machine learning tasks. We narrow down representability conditions for functions on the $n$-dimensional Boolean cube with respect to previously known results, using two quantum embeddings: a phase embedding and an embedding based on quantum random access codes. We show that for any real-valued function on the $n$-dimensional Boolean cube, there exists a variational linear quantum model based on a phase embedding using $n$ qubits that can represent it and an ensemble of such models using $d < n$ qubits that can express any function with degree at most $d$. Additionally, we prove that variational linear quantum models that use the quantum random access code embedding can express functions on the Boolean cube with degree $ d\leq \lceil\frac{n}{3}\rceil$ using $\lceil\frac{n}{3}\rceil$ qubits, and that an ensemble of such models can represent any function on the Boolean cube with degree $ d\leq \lceil\frac{n}{3}\rceil$. Furthermore, we discuss the potential benefits of each embedding and the impact of serial repetitions. Lastly, we demonstrate the use of the embeddings presented by performing numerical simulations and experiments on IBM quantum processors using the Qiskit machine learning framework.
△ Less
Submitted 21 April, 2023; v1 submitted 11 April, 2022;
originally announced April 2022.
-
Analytic theory for the dynamics of wide quantum neural networks
Authors:
Junyu Liu,
Khadijeh Najafi,
Kunal Sharma,
Francesco Tacchino,
Liang Jiang,
Antonio Mezzacapo
Abstract:
Parameterized quantum circuits can be used as quantum neural networks and have the potential to outperform their classical counterparts when trained for addressing learning problems. To date, much of the results on their performance on practical problems are heuristic in nature. In particular, the convergence rate for the training of quantum neural networks is not fully understood. Here, we analyz…
▽ More
Parameterized quantum circuits can be used as quantum neural networks and have the potential to outperform their classical counterparts when trained for addressing learning problems. To date, much of the results on their performance on practical problems are heuristic in nature. In particular, the convergence rate for the training of quantum neural networks is not fully understood. Here, we analyze the dynamics of gradient descent for the training error of a class of variational quantum machine learning models. We define wide quantum neural networks as parameterized quantum circuits in the limit of a large number of qubits and variational parameters. We then find a simple analytic formula that captures the average behavior of their loss function and discuss the consequences of our findings. For example, for random quantum circuits, we predict and characterize an exponential decay of the residual training error as a function of the parameters of the system. We finally validate our analytic results with numerical experiments.
△ Less
Submitted 11 April, 2023; v1 submitted 30 March, 2022;
originally announced March 2022.
-
Quantum approximation algorithms for many-body and electronic structure problems
Authors:
Karen J. Morenz Korol,
Kenny Choo,
Antonio Mezzacapo
Abstract:
Computing many-body ground state energies and resolving electronic structure calculations are fundamental problems for fields such as quantum chemistry or condensed matter. Several quantum computing algorithms that address these problems exist, although it is often challenging to establish rigorous bounds on their performances. Here we detail three algorithms that produce approximate ground states…
▽ More
Computing many-body ground state energies and resolving electronic structure calculations are fundamental problems for fields such as quantum chemistry or condensed matter. Several quantum computing algorithms that address these problems exist, although it is often challenging to establish rigorous bounds on their performances. Here we detail three algorithms that produce approximate ground states for many-body and electronic structure problems, generalizing some previously known results for 2-local Hamiltonians. Each method comes with asymptotic bounds on the energies produced. The first one produces a separable state which improves on random product states. We test it on a spinless Hubbard model, validating numerically the theoretical result. The other two algorithms produce entangled states via shallow or deep circuits, improving on the energies of given initial states. We demonstrate their performance via numerical experiments on a 2-dimensional Hubbard model, starting from a checkerboard product state, as well as on some chemistry Hamiltonians, using the Hartree-Fock state as reference. In both cases, we show that the approximate energies produced are close to the exact ones. These algorithms provide a way to systematically improve the estimation of ground state energies and can be used stand-alone or in conjunction with existing quantum algorithms for ground states.
△ Less
Submitted 11 January, 2023; v1 submitted 15 November, 2021;
originally announced November 2021.
-
Representation Learning via Quantum Neural Tangent Kernels
Authors:
Junyu Liu,
Francesco Tacchino,
Jennifer R. Glick,
Liang Jiang,
Antonio Mezzacapo
Abstract:
Variational quantum circuits are used in quantum machine learning and variational quantum simulation tasks. Designing good variational circuits or predicting how well they perform for given learning or optimization tasks is still unclear. Here we discuss these problems, analyzing variational quantum circuits using the theory of neural tangent kernels. We define quantum neural tangent kernels, and…
▽ More
Variational quantum circuits are used in quantum machine learning and variational quantum simulation tasks. Designing good variational circuits or predicting how well they perform for given learning or optimization tasks is still unclear. Here we discuss these problems, analyzing variational quantum circuits using the theory of neural tangent kernels. We define quantum neural tangent kernels, and derive dynamical equations for their associated loss function in optimization and learning tasks. We analytically solve the dynamics in the frozen limit, or lazy training regime, where variational angles change slowly and a linear perturbation is good enough. We extend the analysis to a dynamical setting, including quadratic corrections in the variational angles. We then consider hybrid quantum-classical architecture and define a large-width limit for hybrid kernels, showing that a hybrid quantum-classical neural network can be approximately Gaussian. The results presented here show limits for which analytical understandings of the training dynamics for variational quantum circuits, used for quantum machine learning and optimization problems, are possible. These analytical results are supported by numerical simulations of quantum machine learning experiments.
△ Less
Submitted 13 November, 2021; v1 submitted 7 November, 2021;
originally announced November 2021.
-
Approximate Solutions of Combinatorial Problems via Quantum Relaxations
Authors:
Bryce Fuller,
Charles Hadfield,
Jennifer R. Glick,
Takashi Imamichi,
Toshinari Itoko,
Richard J. Thompson,
Yang Jiao,
Marna M. Kagele,
Adriana W. Blom-Schieber,
Rudy Raymond,
Antonio Mezzacapo
Abstract:
Combinatorial problems are formulated to find optimal designs within a fixed set of constraints. They are commonly found across diverse engineering and scientific domains. Understanding how to best use quantum computers for combinatorial optimization is to date an open problem. Here we propose new methods for producing approximate solutions for the maximum cut problem and its weighted version, whi…
▽ More
Combinatorial problems are formulated to find optimal designs within a fixed set of constraints. They are commonly found across diverse engineering and scientific domains. Understanding how to best use quantum computers for combinatorial optimization is to date an open problem. Here we propose new methods for producing approximate solutions for the maximum cut problem and its weighted version, which are based on relaxations to local quantum Hamiltonians. These relaxations are defined through commutative maps, which in turn are constructed borrowing ideas from quantum random access codes. We establish relations between the spectra of the relaxed Hamiltonians and optimal cuts of the original problems, via two quantum rounding protocols. The first one is based on projections to random magic states. It produces average cuts that approximate the optimal one by a factor of least 0.555 or 0.625, depending on the relaxation chosen, if given access to a quantum state with energy between the optimal classical cut and the maximal relaxed energy. The second rounding protocol is deterministic and it is based on estimation of Pauli observables. The proposed quantum relaxations inherit memory compression from quantum random access codes, which allowed us to test the performances of the methods presented for 3-regular random graphs and a design problem motivated by industry for sizes up to 40 nodes, on superconducting quantum processors.
△ Less
Submitted 8 November, 2021; v1 submitted 4 November, 2021;
originally announced November 2021.
-
Second-quantized fermionic operators with polylogarithmic qubit and gate complexity
Authors:
William Kirby,
Bryce Fuller,
Charles Hadfield,
Antonio Mezzacapo
Abstract:
We present a method for encoding second-quantized fermionic systems in qubits when the number of fermions is conserved, as in the electronic structure problem. When the number $F$ of fermions is much smaller than the number $M$ of modes, this symmetry reduces the number of information-theoretically required qubits from $Θ(M)$ to $O(F\log M)$. In this limit, our encoding requires $O(F^2\log^4 M)$ q…
▽ More
We present a method for encoding second-quantized fermionic systems in qubits when the number of fermions is conserved, as in the electronic structure problem. When the number $F$ of fermions is much smaller than the number $M$ of modes, this symmetry reduces the number of information-theoretically required qubits from $Θ(M)$ to $O(F\log M)$. In this limit, our encoding requires $O(F^2\log^4 M)$ qubits, while encoded fermionic creation and annihilation operators have cost $O(F^2\log^5 M)$ in two-qubit gates. When incorporated into randomized simulation methods, this permits simulating time-evolution with only polylogarithmic explicit dependence on $M$. This is the first second-quantized encoding of fermions in qubits whose costs in qubits and gates are both polylogarithmic in $M$, which permits studying fermionic systems in the high-accuracy regime of many modes.
△ Less
Submitted 6 June, 2022; v1 submitted 29 September, 2021;
originally announced September 2021.
-
Optimal parent Hamiltonians for time-dependent states
Authors:
Davide Rattacaso,
Gianluca Passarelli,
Antonio Mezzacapo,
Procolo Lucignano,
Rosario Fazio
Abstract:
Given a generic time-dependent many-body quantum state, we determine the associated parent Hamiltonian. This procedure may require, in general, interactions of any sort. Enforcing the requirement of a fixed set of engineerable Hamiltonians, we find the optimal Hamiltonian once a set of realistic elementary interactions is defined. We provide three examples of this approach. We first apply the opti…
▽ More
Given a generic time-dependent many-body quantum state, we determine the associated parent Hamiltonian. This procedure may require, in general, interactions of any sort. Enforcing the requirement of a fixed set of engineerable Hamiltonians, we find the optimal Hamiltonian once a set of realistic elementary interactions is defined. We provide three examples of this approach. We first apply the optimization protocol to the ground states of the one-dimensional Ising model and a ferromagnetic $p$-spin model but with time-dependent coefficients. We also consider a time-dependent state that interpolates between a product state and the ground state of a $p$-spin model. We determine the time-dependent optimal parent Hamiltonian for these states and analyze the capability of this Hamiltonian of generating the state evolution. Finally, we discuss the connections of our approach to shortcuts to adiabaticity.
△ Less
Submitted 21 May, 2021;
originally announced May 2021.
-
Decision Diagrams for Quantum Measurements with Shallow Circuits
Authors:
Stefan Hillmich,
Charles Hadfield,
Rudy Raymond,
Antonio Mezzacapo,
Robert Wille
Abstract:
We consider the problem of estimating quantum observables on a collection of qubits, given as a linear combination of Pauli operators, with shallow quantum circuits consisting of single-qubit rotations. We introduce estimators based on randomised measurements, which use decision diagrams to sample from probability distributions on measurement bases. This approach generalises previously known unifo…
▽ More
We consider the problem of estimating quantum observables on a collection of qubits, given as a linear combination of Pauli operators, with shallow quantum circuits consisting of single-qubit rotations. We introduce estimators based on randomised measurements, which use decision diagrams to sample from probability distributions on measurement bases. This approach generalises previously known uniform and locally-biased randomised estimators. The decision diagrams are constructed given target quantum operators and can be optimised considering different strategies. We show numerically that the estimators introduced here can produce more precise estimates on some quantum chemistry Hamiltonians, compared to previously known randomised protocols and Pauli grou** methods.
△ Less
Submitted 16 May, 2021; v1 submitted 14 May, 2021;
originally announced May 2021.
-
Doubling the size of quantum simulators by entanglement forging
Authors:
Andrew Eddins,
Mario Motta,
Tanvi P. Gujarati,
Sergey Bravyi,
Antonio Mezzacapo,
Charles Hadfield,
Sarah Sheldon
Abstract:
Quantum computers are promising for simulations of chemical and physical systems, but the limited capabilities of today's quantum processors permit only small, and often approximate, simulations. Here we present a method, classical entanglement forging, that harnesses classical resources to capture quantum correlations and double the size of the system that can be simulated on quantum hardware. Sh…
▽ More
Quantum computers are promising for simulations of chemical and physical systems, but the limited capabilities of today's quantum processors permit only small, and often approximate, simulations. Here we present a method, classical entanglement forging, that harnesses classical resources to capture quantum correlations and double the size of the system that can be simulated on quantum hardware. Shifting some of the computation to classical post-processing allows us to represent ten spin-orbitals on five qubits of an IBM Quantum processor to compute the ground state energy of the water molecule in the most accurate simulation to date. We discuss conditions for applicability of classical entanglement forging and present a roadmap for scaling to larger problems.
△ Less
Submitted 20 April, 2021;
originally announced April 2021.
-
Measurements of Quantum Hamiltonians with Locally-Biased Classical Shadows
Authors:
Charles Hadfield,
Sergey Bravyi,
Rudy Raymond,
Antonio Mezzacapo
Abstract:
Obtaining precise estimates of quantum observables is a crucial step of variational quantum algorithms. We consider the problem of estimating expectation values of molecular Hamiltonians, obtained on states prepared on a quantum computer. We propose a novel estimator for this task, which is locally optimised with knowledge of the Hamiltonian and a classical approximation to the underlying quantum…
▽ More
Obtaining precise estimates of quantum observables is a crucial step of variational quantum algorithms. We consider the problem of estimating expectation values of molecular Hamiltonians, obtained on states prepared on a quantum computer. We propose a novel estimator for this task, which is locally optimised with knowledge of the Hamiltonian and a classical approximation to the underlying quantum state. Our estimator is based on the concept of classical shadows of a quantum state, and has the important property of not adding to the circuit depth for the state preparation. We test its performance numerically for molecular Hamiltonians of increasing size, finding a sizable reduction in variance with respect to current measurement protocols that do not increase circuit depths.
△ Less
Submitted 28 June, 2020;
originally announced June 2020.
-
Reducing qubit requirements for quantum simulation using molecular point group symmetries
Authors:
Kanav Setia,
Richard Chen,
Julia E. Rice,
Antonio Mezzacapo,
Marco Pistoia,
James Whitfield
Abstract:
Simulating molecules is believed to be one of the early-stage applications for quantum computers. Current state-of-the-art quantum computers are limited in size and coherence, therefore optimizing resources to execute quantum algorithms is crucial. In this work, we develop the second quantization representation of the spatial-symmetries which are then transformed to their qubit operator representa…
▽ More
Simulating molecules is believed to be one of the early-stage applications for quantum computers. Current state-of-the-art quantum computers are limited in size and coherence, therefore optimizing resources to execute quantum algorithms is crucial. In this work, we develop the second quantization representation of the spatial-symmetries which are then transformed to their qubit operator representation. These qubit operator representations are used to reduce the number of qubits required for simulating molecules. We present our results for various molecules and elucidate a formal connection of this work with a previous technique that analyzed generic $Z_2$ Pauli symmetries.
△ Less
Submitted 26 June, 2020; v1 submitted 31 October, 2019;
originally announced October 2019.
-
Quantum equation of motion for computing molecular excitation energies on a noisy quantum processor
Authors:
Pauline J Ollitrault,
Abhinav Kandala,
Chun-Fu Chen,
Panagiotis Kl Barkoutsos,
Antonio Mezzacapo,
Marco Pistoia,
Sarah Sheldon,
Stefan Woerner,
Jay Gambetta,
Ivano Tavernelli
Abstract:
The computation of molecular excitation energies is essential for predicting photo-induced reactions of chemical and technological interest. While the classical computing resources needed for this task scale poorly, quantum algorithms emerge as promising alternatives. In particular, the extension of the variational quantum eigensolver algorithm to the computation of the excitation energies is an a…
▽ More
The computation of molecular excitation energies is essential for predicting photo-induced reactions of chemical and technological interest. While the classical computing resources needed for this task scale poorly, quantum algorithms emerge as promising alternatives. In particular, the extension of the variational quantum eigensolver algorithm to the computation of the excitation energies is an attractive option. However, there is currently a lack of such algorithms for correlated molecular systems that is amenable to near-term, noisy hardware. In this work, we propose an extension of the well-established classical equation of motion approach to a quantum algorithm for the calculation of molecular excitation energies on noisy quantum computers. In particular, we demonstrate the efficiency of this approach in the calculation of the excitation energies of the LiH molecule on an IBM Quantum computer.
△ Less
Submitted 17 August, 2020; v1 submitted 28 October, 2019;
originally announced October 2019.
-
Precise measurement of quantum observables with neural-network estimators
Authors:
Giacomo Torlai,
Guglielmo Mazzola,
Giuseppe Carleo,
Antonio Mezzacapo
Abstract:
The measurement precision of modern quantum simulators is intrinsically constrained by the limited set of measurements that can be efficiently implemented on hardware. This fundamental limitation is particularly severe for quantum algorithms where complex quantum observables are to be precisely evaluated. To achieve precise estimates with current methods, prohibitively large amounts of sample stat…
▽ More
The measurement precision of modern quantum simulators is intrinsically constrained by the limited set of measurements that can be efficiently implemented on hardware. This fundamental limitation is particularly severe for quantum algorithms where complex quantum observables are to be precisely evaluated. To achieve precise estimates with current methods, prohibitively large amounts of sample statistics are required in experiments. Here, we propose to reduce the measurement overhead by integrating artificial neural networks with quantum simulation platforms. We show that unsupervised learning of single-qubit data allows the trained networks to accommodate measurements of complex observables, otherwise costly using traditional post-processing techniques. The effectiveness of this hybrid measurement protocol is demonstrated for quantum chemistry Hamiltonians using both synthetic and experimental data. Neural-network estimators attain high-precision measurements with a drastic reduction in the amount of sample statistics, without requiring additional quantum resources.
△ Less
Submitted 16 October, 2019;
originally announced October 2019.
-
Fermionic neural-network states for ab-initio electronic structure
Authors:
Kenny Choo,
Antonio Mezzacapo,
Giuseppe Carleo
Abstract:
Neural-network quantum states have been successfully used to study a variety of lattice and continuous-space problems. Despite a great deal of general methodological developments, representing fermionic matter is however still early research activity. Here we present an extension of neural-network quantum states to model interacting fermionic problems. Borrowing techniques from quantum simulation,…
▽ More
Neural-network quantum states have been successfully used to study a variety of lattice and continuous-space problems. Despite a great deal of general methodological developments, representing fermionic matter is however still early research activity. Here we present an extension of neural-network quantum states to model interacting fermionic problems. Borrowing techniques from quantum simulation, we directly map fermionic degrees of freedom to spin ones, and then use neural-network quantum states to perform electronic structure calculations. For several diatomic molecules in a minimal basis set, we benchmark our approach against widely used coupled cluster methods, as well as many-body variational states. On the test molecules, we recover almost the entirety of the correlation energy. We systematically improve upon coupled cluster methods and Jastrow wave functions, reaching levels of chemical accuracy or better. Finally, we discuss routes for future developments and improvements of the methods presented.
△ Less
Submitted 27 September, 2019;
originally announced September 2019.
-
Superfast encodings for fermionic quantum simulation
Authors:
Kanav Setia,
Sergey Bravyi,
Antonio Mezzacapo,
James D. Whitfield
Abstract:
Simulation of fermionic many-body systems on a quantum computer requires a suitable encoding of fermionic degrees of freedom into qubits. Here we revisit the Superfast Encoding introduced by Kitaev and one of the authors. This encoding maps a target fermionic Hamiltonian with two-body interactions on a graph of degree $d$ to a qubit simulator Hamiltonian composed of Pauli operators of weight…
▽ More
Simulation of fermionic many-body systems on a quantum computer requires a suitable encoding of fermionic degrees of freedom into qubits. Here we revisit the Superfast Encoding introduced by Kitaev and one of the authors. This encoding maps a target fermionic Hamiltonian with two-body interactions on a graph of degree $d$ to a qubit simulator Hamiltonian composed of Pauli operators of weight $O(d)$. A system of $m$ fermi modes gets mapped to $n=O(md)$ qubits. We propose Generalized Superfast Encodings (GSE) which require the same number of qubits as the original one but have more favorable properties. First, we describe a GSE such that the corresponding quantum code corrects any single-qubit error provided that the interaction graph has degree $d\ge 6$. In contrast, we prove that the original Superfast Encoding lacks the error correction property for $d\le 6$. Secondly, we describe a GSE that reduces the Pauli weight of the simulator Hamiltonian from $O(d)$ to $O(\log{d})$. The robustness against errors and a simplified structure of the simulator Hamiltonian offered by GSEs can make simulation of fermionic systems within the reach of near-term quantum devices. As an example, we apply the new encoding to the fermionic Hubbard model on a 2D lattice.
△ Less
Submitted 18 December, 2018; v1 submitted 11 October, 2018;
originally announced October 2018.
-
Extending the computational reach of a noisy superconducting quantum processor
Authors:
Abhinav Kandala,
Kristan Temme,
Antonio D. Corcoles,
Antonio Mezzacapo,
Jerry M. Chow,
Jay M. Gambetta
Abstract:
Quantum computation, a completely different paradigm of computing, benefits from theoretically proven speed-ups for certain problems and opens up the possibility of exactly studying the properties of quantum systems. Yet, because of the inherent fragile nature of the physical computing elements, qubits, achieving quantum advantages over classical computation requires extremely low error rates for…
▽ More
Quantum computation, a completely different paradigm of computing, benefits from theoretically proven speed-ups for certain problems and opens up the possibility of exactly studying the properties of quantum systems. Yet, because of the inherent fragile nature of the physical computing elements, qubits, achieving quantum advantages over classical computation requires extremely low error rates for qubit operations as well as a significant overhead of physical qubits, in order to realize fault-tolerance via quantum error correction. However, recent theoretical work has shown that the accuracy of computation based off expectation values of quantum observables can be enhanced through an extrapolation of results from a collection of varying noisy experiments. Here, we demonstrate this error mitigation protocol on a superconducting quantum processor, enhancing its computational capability, with no additional hardware modifications. We apply the protocol to mitigate errors on canonical single- and two-qubit experiments and then extend its application to the variational optimization of Hamiltonians for quantum chemistry and magnetism. We effectively demonstrate that the suppression of incoherent errors helps unearth otherwise inaccessible accuracies to the variational solutions using our noisy processor. These results demonstrate that error mitigation techniques will be critical to significantly enhance the capabilities of near-term quantum computing hardware.
△ Less
Submitted 11 May, 2018;
originally announced May 2018.
-
Quantum algorithms for electronic structure calculations: particle/hole Hamiltonian and optimized wavefunction expansions
Authors:
Panagiotis Kl. Barkoutsos,
Jerome F. Gonthier,
Igor Sokolov,
Nikolaj Moll,
Gian Salis,
Andreas Fuhrer,
Marc Ganzhorn,
Daniel J. Egger,
Matthias Troyer,
Antonio Mezzacapo,
Stefan Filipp,
Ivano Tavernelli
Abstract:
In this work we investigate methods to improve the efficiency and scalability of quantum algorithms for quantum chemistry applications. We propose a transformation of the electronic structure Hamiltonian in the second quantization framework into the particle-hole (p/h) picture, which offers a better starting point for the expansion of the trial wavefunction. The state of the molecular system at st…
▽ More
In this work we investigate methods to improve the efficiency and scalability of quantum algorithms for quantum chemistry applications. We propose a transformation of the electronic structure Hamiltonian in the second quantization framework into the particle-hole (p/h) picture, which offers a better starting point for the expansion of the trial wavefunction. The state of the molecular system at study is parametrized in a way to efficiently explore the sector of the molecular Fock space that contains the desired solution. To this end, we explore several trial wavefunctions to identify the most efficient parameterization of the molecular ground state. Taking advantage of known post-Hartree Fock quantum chemistry approaches and heuristic Hilbert space search quantum algorithms, we propose a new family of quantum circuits based on exchange-type gates that enable accurate calculations while kee** the gate count (i.e., the circuit depth) low. The particle-hole implementation of the Unitary Coupled Cluster (UCC) method within the Variational Quantum Eigensolver approach gives rise to an efficient quantum algorithm, named q-UCC , with important advantages compared to the straightforward 'translation' of the classical Coupled Cluster counterpart. In particular, we show how a single Trotter step can accurately and efficiently reproduce the ground state energies of simple molecular systems.
△ Less
Submitted 11 May, 2018;
originally announced May 2018.
-
Quantum optimization using variational algorithms on near-term quantum devices
Authors:
Nikolaj Moll,
Panagiotis Barkoutsos,
Lev S. Bishop,
Jerry M. Chow,
Andrew Cross,
Daniel J. Egger,
Stefan Filipp,
Andreas Fuhrer,
Jay M. Gambetta,
Marc Ganzhorn,
Abhinav Kandala,
Antonio Mezzacapo,
Peter Müller,
Walter Riess,
Gian Salis,
John Smolin,
Ivano Tavernelli,
Kristan Temme
Abstract:
Universal fault-tolerant quantum computers will require error-free execution of long sequences of quantum gate operations, which is expected to involve millions of physical qubits. Before the full power of such machines will be available, near-term quantum devices will provide several hundred qubits and limited error correction. Still, there is a realistic prospect to run useful algorithms within…
▽ More
Universal fault-tolerant quantum computers will require error-free execution of long sequences of quantum gate operations, which is expected to involve millions of physical qubits. Before the full power of such machines will be available, near-term quantum devices will provide several hundred qubits and limited error correction. Still, there is a realistic prospect to run useful algorithms within the limited circuit depth of such devices. Particularly promising are optimization algorithms that follow a hybrid approach: the aim is to steer a highly entangled state on a quantum system to a target state that minimizes a cost function via variation of some gate parameters. This variational approach can be used both for classical optimization problems as well as for problems in quantum chemistry. The challenge is to converge to the target state given the limited coherence time and connectivity of the qubits. In this context, the quantum volume as a metric to compare the power of near-term quantum devices is discussed.
With focus on chemistry applications, a general description of variational algorithms is provided and the map** from fermions to qubits is explained. Coupled-cluster and heuristic trial wave-functions are considered for efficiently finding molecular ground states. Furthermore, simple error-mitigation schemes are introduced that could improve the accuracy of determining ground-state energies. Advancing these techniques may lead to near-term demonstrations of useful quantum computation with systems containing several hundred qubits.
△ Less
Submitted 9 October, 2017; v1 submitted 3 October, 2017;
originally announced October 2017.
-
Hardware-efficient Variational Quantum Eigensolver for Small Molecules and Quantum Magnets
Authors:
Abhinav Kandala,
Antonio Mezzacapo,
Kristan Temme,
Maika Takita,
Markus Brink,
Jerry M. Chow,
Jay M. Gambetta
Abstract:
Quantum computers can be used to address molecular structure, materials science and condensed matter physics problems, which currently stretch the limits of existing high-performance computing resources. Finding exact numerical solutions to these interacting fermion problems has exponential cost, while Monte Carlo methods are plagued by the fermionic sign problem. These limitations of classical co…
▽ More
Quantum computers can be used to address molecular structure, materials science and condensed matter physics problems, which currently stretch the limits of existing high-performance computing resources. Finding exact numerical solutions to these interacting fermion problems has exponential cost, while Monte Carlo methods are plagued by the fermionic sign problem. These limitations of classical computational methods have made even few-atom molecular structures problems of practical interest for medium-sized quantum computers. Yet, thus far experimental implementations have been restricted to molecules involving only Period I elements. Here, we demonstrate the experimental optimization of up to six-qubit Hamiltonian problems with over a hundred Pauli terms, determining the ground state energy for molecules of increasing size, up to BeH2. This is enabled by a hardware-efficient variational quantum eigensolver with trial states specifically tailored to the available interactions in our quantum processor, combined with a compact encoding of fermionic Hamiltonians and a robust stochastic optimization routine. We further demonstrate the flexibility of our approach by applying the technique to a problem of quantum magnetism. Across all studied problems, we find agreement between experiment and numerical simulations with a noisy model of the device. These results help elucidate the requirements for scaling the method to larger systems, and aim at bridging the gap between problems at the forefront of high-performance computing and their implementation on quantum hardware.
△ Less
Submitted 13 October, 2017; v1 submitted 17 April, 2017;
originally announced April 2017.
-
Tapering off qubits to simulate fermionic Hamiltonians
Authors:
Sergey Bravyi,
Jay M. Gambetta,
Antonio Mezzacapo,
Kristan Temme
Abstract:
We discuss encodings of fermionic many-body systems by qubits in the presence of symmetries. Such encodings eliminate redundant degrees of freedom in a way that preserves a simple structure of the system Hamiltonian enabling quantum simulations with fewer qubits. First we consider $U(1)$ symmetry describing the particle number conservation. Using a previously known encoding based on the first quan…
▽ More
We discuss encodings of fermionic many-body systems by qubits in the presence of symmetries. Such encodings eliminate redundant degrees of freedom in a way that preserves a simple structure of the system Hamiltonian enabling quantum simulations with fewer qubits. First we consider $U(1)$ symmetry describing the particle number conservation. Using a previously known encoding based on the first quantization method a system of $M$ fermi modes with $N$ particles can be simulated on a quantum computer with $Q=N\log{(M)}$ qubits. We propose a new version of this encoding tailored to variational quantum algorithms. Also we show how to improve sparsity of the simulator Hamiltonian using orthogonal arrays. Next we consider encodings based on the second quantization method. It is shown that encodings with a given filling fraction $ν=N/M$ and a qubit-per-mode ratio $η=Q/M<1$ can be constructed from efficiently decodable classical LDPC codes with the relative distance $2ν$ and the encoding rate $1-η$. A family of codes based on high-girth bipartite graphs is discussed. Graph-based encodings eliminate roughly $M/N$ qubits. Finally we consider discrete symmetries, and show how to eliminate qubits using previously known encodings, illustrating the technique for simple molecular-type Hamiltonians.
△ Less
Submitted 27 January, 2017;
originally announced January 2017.
-
Experimental demonstration of a resonator-induced phase gate in a multi-qubit circuit QED system
Authors:
Hanhee Paik,
A. Mezzacapo,
Martin Sandberg,
D. T. McClure,
B. Abdo,
A. D. Corcoles,
O. Dial,
D. F. Bogorin,
B. L. T. Plourde,
M. Steffen,
A. W. Cross,
J. M. Gambetta,
Jerry M. Chow
Abstract:
The resonator-induced phase (RIP) gate is a multi-qubit entangling gate that allows a high degree of flexibility in qubit frequencies, making it attractive for quantum operations in large-scale architectures. We experimentally realize the RIP gate with four superconducting qubits in a three-dimensional (3D) circuit-quantum electrodynamics architecture, demonstrating high-fidelity controlled-Z (CZ)…
▽ More
The resonator-induced phase (RIP) gate is a multi-qubit entangling gate that allows a high degree of flexibility in qubit frequencies, making it attractive for quantum operations in large-scale architectures. We experimentally realize the RIP gate with four superconducting qubits in a three-dimensional (3D) circuit-quantum electrodynamics architecture, demonstrating high-fidelity controlled-Z (CZ) gates between all possible pairs of qubits from two different 4-qubit devices in pair subspaces. These qubits are arranged within a wide range of frequency detunings, up to as large as 1.8 GHz. We further show a dynamical multi-qubit refocusing scheme in order to isolate out 2-qubit interactions, and combine them to generate a four-qubit Greenberger-Horne-Zeilinger state.
△ Less
Submitted 2 June, 2016;
originally announced June 2016.
-
A universal gate for fixed-frequency qubits via a tunable bus
Authors:
David C. McKay,
Stefan Filipp,
Antonio Mezzacapo,
Easwar Magesan,
Jerry M. Chow,
Jay M. Gambetta
Abstract:
A challenge for constructing large circuits of superconducting qubits is to balance addressability, coherence and coupling strength. High coherence can be attained by building circuits from fixed-frequency qubits, however, leading techniques cannot couple qubits that are far detuned. Here we introduce a method based on a tunable bus which allows for the coupling of two fixed-frequency qubits even…
▽ More
A challenge for constructing large circuits of superconducting qubits is to balance addressability, coherence and coupling strength. High coherence can be attained by building circuits from fixed-frequency qubits, however, leading techniques cannot couple qubits that are far detuned. Here we introduce a method based on a tunable bus which allows for the coupling of two fixed-frequency qubits even at large detunings. By parametrically oscillating the bus at the qubit-qubit detuning we enable a resonant exchange (XX+YY) interaction. We use this interaction to implement a 183ns two-qubit iSWAP gate between qubits separated in frequency by 854MHz with a measured average fidelity of 0.9823(4) from interleaved randomized benchmarking. This gate may be an enabling technology for surface code circuits and for analog quantum simulation.
△ Less
Submitted 19 December, 2016; v1 submitted 11 April, 2016;
originally announced April 2016.
-
Quantum chemistry and charge transport in biomolecules with superconducting circuits
Authors:
L. García-Álvarez,
U. Las Heras,
A. Mezzacapo,
M. Sanz,
E. Solano,
L. Lamata
Abstract:
We propose an efficient protocol for digital quantum simulation of quantum chemistry problems and enhanced digital-analog quantum simulation of transport phenomena in biomolecules with superconducting circuits. Along these lines, we optimally digitize fermionic models of molecular structure with single-qubit and two-qubit gates, by means of Trotter-Suzuki decomposition and Jordan-Wigner transforma…
▽ More
We propose an efficient protocol for digital quantum simulation of quantum chemistry problems and enhanced digital-analog quantum simulation of transport phenomena in biomolecules with superconducting circuits. Along these lines, we optimally digitize fermionic models of molecular structure with single-qubit and two-qubit gates, by means of Trotter-Suzuki decomposition and Jordan-Wigner transformation. Furthermore, we address the modelling of system-environment interactions of biomolecules involving bosonic degrees of freedom with a digital-analog approach. Finally, we consider gate-truncated quantum algorithms to allow the study of environmental effects.
△ Less
Submitted 22 June, 2016; v1 submitted 30 November, 2015;
originally announced November 2015.
-
Digitized adiabatic quantum computing with a superconducting circuit
Authors:
R. Barends,
A. Shabani,
L. Lamata,
J. Kelly,
A. Mezzacapo,
U. Las Heras,
R. Babbush,
A. G. Fowler,
B. Campbell,
Yu Chen,
Z. Chen,
B. Chiaro,
A. Dunsworth,
E. Jeffrey,
E. Lucero,
A. Megrant,
J. Y. Mutus,
M. Neeley,
C. Neill,
P. J. J. O'Malley,
C. Quintana,
P. Roushan,
D. Sank,
A. Vainsencher,
J. Wenner
, et al. (4 additional authors not shown)
Abstract:
A major challenge in quantum computing is to solve general problems with limited physical hardware. Here, we implement digitized adiabatic quantum computing, combining the generality of the adiabatic algorithm with the universality of the digital approach, using a superconducting circuit with nine qubits. We probe the adiabatic evolutions, and quantify the success of the algorithm for random spin…
▽ More
A major challenge in quantum computing is to solve general problems with limited physical hardware. Here, we implement digitized adiabatic quantum computing, combining the generality of the adiabatic algorithm with the universality of the digital approach, using a superconducting circuit with nine qubits. We probe the adiabatic evolutions, and quantify the success of the algorithm for random spin problems. We find that the system can approximate the solutions to both frustrated Ising problems and problems with more complex interactions, with a performance that is comparable. The presented approach is compatible with small-scale systems as well as future error-corrected quantum computers.
△ Less
Submitted 10 November, 2015;
originally announced November 2015.
-
Quantum Simulation of Spin Chains Coupled to Bosonic Modes with Superconducting Circuits
Authors:
U. Las Heras,
L. García-Álvarez,
A. Mezzacapo,
E. Solano,
L. Lamata
Abstract:
We propose the implementation of a digital quantum simulation of spin chains coupled to bosonic field modes in superconducting circuits. Gates with high fidelities allows one to simulate a variety of Ising magnetic pairing interactions with transverse field, Tavis-Cummings interaction between spins and a bosonic mode, and a spin model with three-body terms. We analyze the feasibility of the implem…
▽ More
We propose the implementation of a digital quantum simulation of spin chains coupled to bosonic field modes in superconducting circuits. Gates with high fidelities allows one to simulate a variety of Ising magnetic pairing interactions with transverse field, Tavis-Cummings interaction between spins and a bosonic mode, and a spin model with three-body terms. We analyze the feasibility of the implementation in realistic circuit quantum electrodynamics setups, where the interactions are either realized via capacitive couplings or mediated by microwave resonators.
△ Less
Submitted 1 October, 2015; v1 submitted 9 July, 2015;
originally announced July 2015.
-
Non-Abelian $SU(2)$ Lattice Gauge Theories in Superconducting Circuits
Authors:
A. Mezzacapo,
E. Rico,
C. Sabín,
I. L. Egusquiza,
L. Lamata,
E. Solano
Abstract:
We propose a digital quantum simulator of non-Abelian pure-gauge models with a superconducting circuit setup. Within the framework of quantum link models, we build a minimal instance of a pure $SU(2)$ gauge theory, using triangular plaquettes involving geometric frustration. This realization is the least demanding, in terms of quantum simulation resources, of a non-Abelian gauge dynamics. We prese…
▽ More
We propose a digital quantum simulator of non-Abelian pure-gauge models with a superconducting circuit setup. Within the framework of quantum link models, we build a minimal instance of a pure $SU(2)$ gauge theory, using triangular plaquettes involving geometric frustration. This realization is the least demanding, in terms of quantum simulation resources, of a non-Abelian gauge dynamics. We present two superconducting architectures that can host the quantum simulation, estimating the requirements needed to run possible experiments. The proposal establishes a path to the experimental simulation of non-Abelian physics with solid-state quantum platforms.
△ Less
Submitted 11 December, 2015; v1 submitted 18 May, 2015;
originally announced May 2015.
-
Digital quantum simulation of spin models with circuit quantum electrodynamics
Authors:
Y. Salathé,
M. Mondal,
M. Oppliger,
J. Heinsoo,
P. Kurpiers,
A. Potočnik,
A. Mezzacapo,
U. Las Heras,
L. Lamata,
E. Solano,
S. Filipp,
A. Wallraff
Abstract:
Systems of interacting quantum spins show a rich spectrum of quantum phases and display interesting many-body dynamics. Computing characteristics of even small systems on conventional computers poses significant challenges. A quantum simulator has the potential to outperform standard computers in calculating the evolution of complex quantum systems. Here, we perform a digital quantum simulation of…
▽ More
Systems of interacting quantum spins show a rich spectrum of quantum phases and display interesting many-body dynamics. Computing characteristics of even small systems on conventional computers poses significant challenges. A quantum simulator has the potential to outperform standard computers in calculating the evolution of complex quantum systems. Here, we perform a digital quantum simulation of the paradigmatic Heisenberg and Ising interacting spin models using a two transmon-qubit circuit quantum electrodynamics setup. We make use of the exchange interaction naturally present in the simulator to construct a digital decomposition of the model-specific evolution and extract its full dynamics. This approach is universal and efficient, employing only resources which are polynomial in the number of spins and indicates a path towards the controlled simulation of general spin dynamics in superconducting qubit platforms.
△ Less
Submitted 24 February, 2015;
originally announced February 2015.
-
Quantum Simulator for Transport Phenomena in Fluid Flows
Authors:
A. Mezzacapo,
M. Sanz,
L. Lamata,
I. L. Egusquiza,
S. Succi,
E. Solano
Abstract:
Transport phenomena still stand as one of the most challenging problems in computational physics. By exploiting the analogies between Dirac and lattice Boltzmann equations, we develop a quantum simulator based on pseudospin-boson quantum systems, which is suitable for encoding fluid dynamics transport phenomena within a lattice kinetic formalism. It is shown that both the streaming and collision p…
▽ More
Transport phenomena still stand as one of the most challenging problems in computational physics. By exploiting the analogies between Dirac and lattice Boltzmann equations, we develop a quantum simulator based on pseudospin-boson quantum systems, which is suitable for encoding fluid dynamics transport phenomena within a lattice kinetic formalism. It is shown that both the streaming and collision processes of lattice Boltzmann dynamics can be implemented with controlled quantum operations, using a heralded quantum protocol to encode non-unitary scattering processes. The proposed simulator is amenable to realization in controlled quantum platforms, such as ion-trap quantum computers or circuit quantum electrodynamics processors.
△ Less
Submitted 19 August, 2015; v1 submitted 2 February, 2015;
originally announced February 2015.
-
Fermionic Models with Superconducting Circuits
Authors:
U. Las Heras,
L. García-Álvarez,
A. Mezzacapo,
E. Solano,
L. Lamata
Abstract:
We propose a method for the efficient quantum simulation of fermionic systems with superconducting circuits. It consists in the suitable use of Jordan-Wigner map**, Trotter decomposition, and multiqubit gates, be with the use of a quantum bus or direct capacitive couplings. We apply our method to the paradigmatic cases of 1D and 2D Fermi-Hubbard models, involving couplings with nearest and next-…
▽ More
We propose a method for the efficient quantum simulation of fermionic systems with superconducting circuits. It consists in the suitable use of Jordan-Wigner map**, Trotter decomposition, and multiqubit gates, be with the use of a quantum bus or direct capacitive couplings. We apply our method to the paradigmatic cases of 1D and 2D Fermi-Hubbard models, involving couplings with nearest and next-nearest neighbours. Furthermore, we propose an optimal architecture for this model and discuss the benchmarking of the simulations in realistic circuit quantum electrodynamics setups.
△ Less
Submitted 31 March, 2015; v1 submitted 10 November, 2014;
originally announced November 2014.
-
Digital Quantum Rabi and Dicke Models in Superconducting Circuits
Authors:
A. Mezzacapo,
U. Las Heras,
J. S. Pedernales,
L. DiCarlo,
E. Solano,
L. Lamata
Abstract:
We propose the analog-digital quantum simulation of the quantum Rabi and Dicke models using circuit quantum electrodynamics (QED). We find that all physical regimes, in particular those which are impossible to realize in typical cavity QED setups, can be simulated via unitary decomposition into digital steps. Furthermore, we show the emergence of the Dirac equation dynamics from the quantum Rabi m…
▽ More
We propose the analog-digital quantum simulation of the quantum Rabi and Dicke models using circuit quantum electrodynamics (QED). We find that all physical regimes, in particular those which are impossible to realize in typical cavity QED setups, can be simulated via unitary decomposition into digital steps. Furthermore, we show the emergence of the Dirac equation dynamics from the quantum Rabi model when the mode frequency vanishes. Finally, we analyze the feasibility of this proposal under realistic superconducting circuit scenarios.
△ Less
Submitted 15 December, 2014; v1 submitted 22 May, 2014;
originally announced May 2014.
-
Fermion-Fermion Scattering in Quantum Field Theory with Superconducting Circuits
Authors:
L. García-Álvarez,
J. Casanova,
A. Mezzacapo,
I. L. Egusquiza,
L. Lamata,
G. Romero,
E. Solano
Abstract:
We propose an analog-digital quantum simulation of fermion-fermion scattering mediated by a continuum of bosonic modes within a circuit quantum electrodynamics scenario. This quantum technology naturally provides strong coupling of superconducting qubits with a continuum of electromagnetic modes in an open transmission line. In this way, we propose qubits to efficiently simulate fermionic modes vi…
▽ More
We propose an analog-digital quantum simulation of fermion-fermion scattering mediated by a continuum of bosonic modes within a circuit quantum electrodynamics scenario. This quantum technology naturally provides strong coupling of superconducting qubits with a continuum of electromagnetic modes in an open transmission line. In this way, we propose qubits to efficiently simulate fermionic modes via digital techniques, while we consider the continuum complexity of an open transmission line to simulate the continuum complexity of bosonic modes in quantum field theories. Therefore, we believe that the complexity-simulating-complexity concept should become a leading paradigm in any effort towards scalable quantum simulations.
△ Less
Submitted 20 February, 2015; v1 submitted 10 April, 2014;
originally announced April 2014.
-
Many-Body Interactions with Tunable-Coupling Transmon Qubits
Authors:
A. Mezzacapo,
L. Lamata,
S. Filipp,
E. Solano
Abstract:
The efficient implementation of many-body interactions in superconducting circuits allows for the realization of multipartite entanglement and topological codes, as well as the efficient simulation of highly correlated fermionic systems. We propose the engineering of fast multiqubit interactions with tunable transmon-resonator couplings. This dynamics is obtained by the modulation of magnetic flux…
▽ More
The efficient implementation of many-body interactions in superconducting circuits allows for the realization of multipartite entanglement and topological codes, as well as the efficient simulation of highly correlated fermionic systems. We propose the engineering of fast multiqubit interactions with tunable transmon-resonator couplings. This dynamics is obtained by the modulation of magnetic fluxes threading superconducting quantum interference device loops embedded in the transmon devices. We consider the feasibility of the proposed implementation in a realistic scenario and discuss potential applications.
△ Less
Submitted 31 July, 2014; v1 submitted 14 March, 2014;
originally announced March 2014.
-
Efficient quantum simulation of fermionic and bosonic models in trapped ions
Authors:
L. Lamata,
A. Mezzacapo,
J. Casanova,
E. Solano
Abstract:
We analyze the efficiency of quantum simulations of fermionic and bosonic models in trapped ions. In particular, we study the optimal time of entangling gates and the required number of total elementary gates. Furthermore, we exemplify these estimations in the light of quantum simulations of quantum field theories, condensed-matter physics, and quantum chemistry. Finally, we show that trapped-ion…
▽ More
We analyze the efficiency of quantum simulations of fermionic and bosonic models in trapped ions. In particular, we study the optimal time of entangling gates and the required number of total elementary gates. Furthermore, we exemplify these estimations in the light of quantum simulations of quantum field theories, condensed-matter physics, and quantum chemistry. Finally, we show that trapped-ion technologies are a suitable platform for implementing quantum simulations involving interacting fermionic and bosonic modes, paving the way for overcoming classical computers in the near future.
△ Less
Submitted 18 June, 2014; v1 submitted 10 December, 2013;
originally announced December 2013.
-
Digital Quantum Simulation of Spin Systems in Superconducting Circuits
Authors:
U. Las Heras,
A. Mezzacapo,
L. Lamata,
S. Filipp,
A. Wallraff,
E. Solano
Abstract:
We propose the implementation of a digital quantum simulator for prototypical spin models in a circuit quantum electrodynamics architecture. We consider the feasibility of the quantum simulation of Heisenberg and frustrated Ising models in transmon qubits coupled to coplanar waveguide microwave resonators. Furthermore, we analyze the time evolution of these models and compare the ideal spin dynami…
▽ More
We propose the implementation of a digital quantum simulator for prototypical spin models in a circuit quantum electrodynamics architecture. We consider the feasibility of the quantum simulation of Heisenberg and frustrated Ising models in transmon qubits coupled to coplanar waveguide microwave resonators. Furthermore, we analyze the time evolution of these models and compare the ideal spin dynamics with a realistic version of the proposed quantum simulator. Finally, we discuss the key steps for develo** the toolbox of digital quantum simulators in superconducting circuits.
△ Less
Submitted 12 May, 2014; v1 submitted 29 November, 2013;
originally announced November 2013.
-
From transistor to trapped-ion computers for quantum chemistry
Authors:
M. -H. Yung,
J. Casanova,
A. Mezzacapo,
J. McClean,
L. Lamata,
A. Aspuru-Guzik,
E. Solano
Abstract:
Over the last few decades, quantum chemistry has progressed through the development of computational methods based on modern digital computers. However, these methods can hardly fulfill the exponentially-growing resource requirements when applied to large quantum systems. As pointed out by Feynman, this restriction is intrinsic to all computational models based on classical physics. Recently, the…
▽ More
Over the last few decades, quantum chemistry has progressed through the development of computational methods based on modern digital computers. However, these methods can hardly fulfill the exponentially-growing resource requirements when applied to large quantum systems. As pointed out by Feynman, this restriction is intrinsic to all computational models based on classical physics. Recently, the rapid advancement of trapped-ion technologies has opened new possibilities for quantum control and quantum simulations. Here, we present an efficient toolkit that exploits both the internal and motional degrees of freedom of trapped ions for solving problems in quantum chemistry, including molecular electronic structure, molecular dynamics, and vibronic coupling. We focus on applications that go beyond the capacity of classical computers, but may be realizable on state-of-the-art trapped-ion systems. These results allow us to envision a new paradigm of quantum chemistry that shifts from the current transistor to a near-future trapped-ion-based technology.
△ Less
Submitted 16 July, 2013;
originally announced July 2013.
-
Advantages of using YBCO-Nanowire-YBCO heterostructures in the search for Majorana Fermions
Authors:
P. Lucignano,
A. Mezzacapo,
F. Tafuri,
A. Tagliacozzo
Abstract:
We propose an alternative platform to observe Majorana bound states in solid state systems. High critical temperature cuprate superconductors can induce superconductivity, by proximity effect, in quasi one dimensional nanowires with strong spin orbit coupling. They favor a wider and more robust range of conditions to stabilize Majorana fermions due to the large gap values, and offer novel function…
▽ More
We propose an alternative platform to observe Majorana bound states in solid state systems. High critical temperature cuprate superconductors can induce superconductivity, by proximity effect, in quasi one dimensional nanowires with strong spin orbit coupling. They favor a wider and more robust range of conditions to stabilize Majorana fermions due to the large gap values, and offer novel functionalities in the design of the experiments determined by different dispersion for Andreev bound states as a function of the phase difference.
△ Less
Submitted 25 September, 2012;
originally announced September 2012.
-
Digital Quantum Simulation of the Holstein Model in Trapped Ions
Authors:
A. Mezzacapo,
J. Casanova,
L. Lamata,
E. Solano
Abstract:
We propose the implementation of the Holstein model by means of digital methods in a linear chain of trapped ions. We show how the simulation fidelity scales with the generation of phononic excitations. We propose a decomposition and a stepwise trapped-ion implementation of the Holstein Hamiltonian. Via numerical simulations, we study how the protocol is affected by realistic gates. Finally, we sh…
▽ More
We propose the implementation of the Holstein model by means of digital methods in a linear chain of trapped ions. We show how the simulation fidelity scales with the generation of phononic excitations. We propose a decomposition and a stepwise trapped-ion implementation of the Holstein Hamiltonian. Via numerical simulations, we study how the protocol is affected by realistic gates. Finally, we show how measurements of the size of the simulated polaron can be performed.
△ Less
Submitted 8 October, 2012; v1 submitted 11 July, 2012;
originally announced July 2012.