Showing 1–50 of 106 results for author: Berry, D

Doubling Efficiency of Hamiltonian Simulation via Generalized Quantum Signal Processing

Authors: Dominic W. Berry, Danial Motlagh, Giacomo Pantaleoni, Nathan Wiebe

Abstract: Quantum signal processing provides an optimal procedure for simulating Hamiltonian evolution on a quantum computer using calls to a block encoding of the Hamiltonian. In many situations it is possible to control between forward and reverse steps with almost identical cost to a simple controlled operation. We show that it is then possible to reduce the cost of Hamiltonian simulation by a factor of… ▽ More Quantum signal processing provides an optimal procedure for simulating Hamiltonian evolution on a quantum computer using calls to a block encoding of the Hamiltonian. In many situations it is possible to control between forward and reverse steps with almost identical cost to a simple controlled operation. We show that it is then possible to reduce the cost of Hamiltonian simulation by a factor of 2 using the recent results of generalised quantum signal processing. △ Less

Submitted 18 January, 2024; originally announced January 2024.

Comments: 9 pages, no figures

Further improving quantum algorithms for nonlinear differential equations via higher-order methods and rescaling

Authors: Pedro C. S. Costa, Philipp Schleich, Mauro E. S. Morales, Dominic W. Berry

Abstract: The solution of large systems of nonlinear differential equations is needed for many applications in science and engineering. In this study, we present three main improvements to existing quantum algorithms based on the Carleman linearisation technique. First, by using a high-precision technique for the solution of the linearised differential equations, we achieve logarithmic dependence of the com… ▽ More The solution of large systems of nonlinear differential equations is needed for many applications in science and engineering. In this study, we present three main improvements to existing quantum algorithms based on the Carleman linearisation technique. First, by using a high-precision technique for the solution of the linearised differential equations, we achieve logarithmic dependence of the complexity on the error and near-linear dependence on time. Second, we demonstrate that a rescaling technique can considerably reduce the cost, which would otherwise be exponential in the Carleman order for a system of ODEs, preventing a quantum speedup for PDEs. Third, we provide improved, tighter bounds on the error of Carleman linearisation. We apply our results to a class of discretised reaction-diffusion equations using higher-order finite differences for spatial resolution. We show that providing a stability criterion independent of the discretisation can conflict with the use of the rescaling due to the difference between the max-norm and 2-norm. An efficient solution may still be provided if the number of discretisation points is limited, as is possible when using higher-order discretisations. △ Less

Submitted 14 December, 2023; originally announced December 2023.

Comments: 37 pages, 2 figures

The discrete adiabatic quantum linear system solver has lower constant factors than the randomized adiabatic solver

Authors: Pedro C. S. Costa, Dong An, Ryan Babbush, Dominic Berry

Abstract: The solution of linear systems of equations is the basis of many other quantum algorithms, and recent results provided an algorithm with optimal scaling in both the condition number $κ$ and the allowable error $ε$ [PRX Quantum \textbf{3}, 0403003 (2022)]. That work was based on the discrete adiabatic theorem, and worked out an explicit constant factor for an upper bound on the complexity. Here we… ▽ More The solution of linear systems of equations is the basis of many other quantum algorithms, and recent results provided an algorithm with optimal scaling in both the condition number $κ$ and the allowable error $ε$ [PRX Quantum \textbf{3}, 0403003 (2022)]. That work was based on the discrete adiabatic theorem, and worked out an explicit constant factor for an upper bound on the complexity. Here we show via numerical testing on random matrices that the constant factor is in practice about 1,500 times smaller than the upper bound found numerically in the previous results. That means that this approach is far more efficient than might naively be expected from the upper bound. In particular, it is over an order of magnitude more efficient than using a randomised approach from [arXiv:2305.11352] that claimed to be more efficient. △ Less

Submitted 23 April, 2024; v1 submitted 12 December, 2023; originally announced December 2023.

Comments: 12 pages, 33 figures

Quantum Simulation of Realistic Materials in First Quantization Using Non-local Pseudopotentials

Authors: Dominic W. Berry, Nicholas C. Rubin, Ahmed O. Elnabawy, Gabriele Ahlers, A. Eugene DePrince III, Joonho Lee, Christian Gogolin, Ryan Babbush

Abstract: This paper improves and demonstrates the usefulness of the first quantized plane-wave algorithms for the quantum simulation of electronic structure, developed by Babbush et al. and Su et al. We describe the first quantum algorithm for first quantized simulation that accurately includes pseudopotentials. We focus on the Goedecker-Tetter-Hutter (GTH) pseudopotential, which is among the most accurate… ▽ More This paper improves and demonstrates the usefulness of the first quantized plane-wave algorithms for the quantum simulation of electronic structure, developed by Babbush et al. and Su et al. We describe the first quantum algorithm for first quantized simulation that accurately includes pseudopotentials. We focus on the Goedecker-Tetter-Hutter (GTH) pseudopotential, which is among the most accurate and widely used norm-conserving pseudopotentials enabling the removal of core electrons from the simulation. The resultant screened nuclear potential regularizes cusps in the electronic wavefunction so that orders of magnitude fewer plane waves are required for a chemically accurate basis. Despite the complicated form of the GTH pseudopotential, we are able to block encode the associated operator without significantly increasing the overall cost of quantum simulation. This is surprising since simulating the nuclear potential is much simpler without pseudopotentials, yet is still the bottleneck. We also generalize prior methods to enable the simulation of materials with non-cubic unit cells, which requires nontrivial modifications. Finally, we combine these techniques to estimate the block-encoding costs for commercially relevant instances of heterogeneous catalysis (e.g. carbon monoxide adsorption on transition metals) and compare to the quantum resources needed to simulate materials in second quantization. We conclude that for computational cells with many particles, first quantization often requires meaningfully less spacetime volume. △ Less

Submitted 12 December, 2023; originally announced December 2023.

Comments: 45 pages, 5 figures, 16 tables

Quantum computation of stop** power for inertial fusion target design

Authors: Nicholas C. Rubin, Dominic W. Berry, Alina Kononov, Fionn D. Malone, Tanuj Khattar, Alec White, Joonho Lee, Hartmut Neven, Ryan Babbush, Andrew D. Baczewski

Abstract: Stop** power is the rate at which a material absorbs the kinetic energy of a charged particle passing through it -- one of many properties needed over a wide range of thermodynamic conditions in modeling inertial fusion implosions. First-principles stop** calculations are classically challenging because they involve the dynamics of large electronic systems far from equilibrium, with accuracies… ▽ More Stop** power is the rate at which a material absorbs the kinetic energy of a charged particle passing through it -- one of many properties needed over a wide range of thermodynamic conditions in modeling inertial fusion implosions. First-principles stop** calculations are classically challenging because they involve the dynamics of large electronic systems far from equilibrium, with accuracies that are particularly difficult to constrain and assess in the warm-dense conditions preceding ignition. Here, we describe a protocol for using a fault-tolerant quantum computer to calculate stop** power from a first-quantized representation of the electrons and projectile. Our approach builds upon the electronic structure block encodings of Su et al. [PRX Quantum 2, 040332 2021], adapting and optimizing those algorithms to estimate observables of interest from the non-Born-Oppenheimer dynamics of multiple particle species at finite temperature. Ultimately, we report logical qubit requirements and leading-order Toffoli costs for computing the stop** power of various projectile/target combinations relevant to interpreting and designing inertial fusion experiments. We estimate that scientifically interesting and classically intractable stop** power calculations can be quantum simulated with roughly the same number of logical qubits and about one hundred times more Toffoli gates than is required for state-of-the-art quantum simulations of industrially relevant molecules such as FeMoCo or P450. △ Less

Submitted 23 August, 2023; originally announced August 2023.

Journal ref: Proceedings of the National Academy of Sciences Volume 121, Issue 23, 2024

Exponential quantum speedup in simulating coupled classical oscillators

Authors: Ryan Babbush, Dominic W. Berry, Robin Kothari, Rolando D. Somma, Nathan Wiebe

Abstract: We present a quantum algorithm for simulating the classical dynamics of $2^n$ coupled oscillators (e.g., $2^n$ masses coupled by springs). Our approach leverages a map** between the Schrödinger equation and Newton's equation for harmonic potentials such that the amplitudes of the evolved quantum state encode the momenta and displacements of the classical oscillators. When individual masses and s… ▽ More We present a quantum algorithm for simulating the classical dynamics of $2^n$ coupled oscillators (e.g., $2^n$ masses coupled by springs). Our approach leverages a map** between the Schrödinger equation and Newton's equation for harmonic potentials such that the amplitudes of the evolved quantum state encode the momenta and displacements of the classical oscillators. When individual masses and spring constants can be efficiently queried, and when the initial state can be efficiently prepared, the complexity of our quantum algorithm is polynomial in $n$, almost linear in the evolution time, and sublinear in the sparsity. As an example application, we apply our quantum algorithm to efficiently estimate the kinetic energy of an oscillator at any time. We show that any classical algorithm solving this same problem is inefficient and must make $2^{Ω(n)}$ queries to the oracle and, when the oracles are instantiated by efficient quantum circuits, the problem is BQP-complete. Thus, our approach solves a potentially practical application with an exponential speedup over classical computers. Finally, we show that under similar conditions our approach can efficiently simulate more general classical harmonic systems with $2^n$ modes. △ Less

Submitted 19 September, 2023; v1 submitted 22 March, 2023; originally announced March 2023.

Comments: 43 pages, 4 figures. v3 changes include improved presentation, discussion of applications related to potential energies, and new appendix discussing relation to prior work

Journal ref: Phys. Rev. X 13, 041041 (2023)

Optimum phase estimation with two control qubits

Authors: Peyman Najafi, Pedro C. S. Costa, Dominic W. Berry

Abstract: Phase estimation is used in many quantum algorithms, particularly in order to estimate energy eigenvalues for quantum systems. When using a single qubit as the probe (used to control the unitary we wish to estimate the eigenvalue of), it is not possible to measure the phase with a minimum mean-square error. In standard methods, there would be a logarithmic (in error) number of control qubits neede… ▽ More Phase estimation is used in many quantum algorithms, particularly in order to estimate energy eigenvalues for quantum systems. When using a single qubit as the probe (used to control the unitary we wish to estimate the eigenvalue of), it is not possible to measure the phase with a minimum mean-square error. In standard methods, there would be a logarithmic (in error) number of control qubits needed in order to achieve this minimum error. Here show how to perform this measurement using only two control qubits, thereby reducing the qubit requirements of the quantum algorithm. Our method corresponds to preparing the optimal control state one qubit at a time, while it is simultaneously consumed by the measurement procedure. △ Less

Submitted 22 March, 2023; originally announced March 2023.

Comments: 11 pages, 7 figures. Paper sent for Jonathan P. Dowling Memorial Special Issue

Fault-tolerant quantum simulation of materials using Bloch orbitals

Authors: Nicholas C. Rubin, Dominic W. Berry, Fionn D. Malone, Alec F. White, Tanuj Khattar, A. Eugene DePrince III, Sabrina Sicolo, Michael Kühn, Michael Kaicher, Joonho Lee, Ryan Babbush

Abstract: The simulation of chemistry is among the most promising applications of quantum computing. However, most prior work exploring algorithms for block-encoding, time-evolving, and sampling in the eigenbasis of electronic structure Hamiltonians has either focused on modeling finite-sized systems, or has required a large number of plane wave basis functions. In this work, we extend methods for quantum s… ▽ More The simulation of chemistry is among the most promising applications of quantum computing. However, most prior work exploring algorithms for block-encoding, time-evolving, and sampling in the eigenbasis of electronic structure Hamiltonians has either focused on modeling finite-sized systems, or has required a large number of plane wave basis functions. In this work, we extend methods for quantum simulation with Bloch orbitals constructed from symmetry-adapted atom-centered orbitals so that one can model periodic \textit{ab initio} Hamiltonians using only a modest number of basis functions. We focus on adapting existing algorithms based on combining qubitization with tensor factorizations of the Coulomb operator. Significant modifications of those algorithms are required to obtain an asymptotic speedup leveraging translational (or, more broadly, Abelian) symmetries. We implement block encodings using known tensor factorizations and a new Bloch orbital form of tensor hypercontraction. Finally, we estimate the resources required to deploy our algorithms to classically challenging model materials relevant to the chemistry of Lithium Nickel Oxide battery cathodes within the surface code. △ Less

Submitted 10 February, 2023; originally announced February 2023.

Journal ref: PRX Quantum 4, 040303 (2023)

Quantum simulation of exact electron dynamics can be more efficient than classical mean-field methods

Authors: Ryan Babbush, William J. Huggins, Dominic W. Berry, Shu Fay Ung, Andrew Zhao, David R. Reichman, Hartmut Neven, Andrew D. Baczewski, Joonho Lee

Abstract: Quantum algorithms for simulating electronic ground states are slower than popular classical mean-field algorithms such as Hartree-Fock and density functional theory, but offer higher accuracy. Accordingly, quantum computers have been predominantly regarded as competitors to only the most accurate and costly classical methods for treating electron correlation. However, here we tighten bounds showi… ▽ More Quantum algorithms for simulating electronic ground states are slower than popular classical mean-field algorithms such as Hartree-Fock and density functional theory, but offer higher accuracy. Accordingly, quantum computers have been predominantly regarded as competitors to only the most accurate and costly classical methods for treating electron correlation. However, here we tighten bounds showing that certain first quantized quantum algorithms enable exact time evolution of electronic systems with exponentially less space and polynomially fewer operations in basis set size than conventional real-time time-dependent Hartree-Fock and density functional theory. Although the need to sample observables in the quantum algorithm reduces the speedup, we show that one can estimate all elements of the $k$-particle reduced density matrix with a number of samples scaling only polylogarithmically in basis set size. We also introduce a more efficient quantum algorithm for first quantized mean-field state preparation that is likely cheaper than the cost of time evolution. We conclude that quantum speedup is most pronounced for finite temperature simulations and suggest several practically important electron dynamics problems with potential quantum advantage. △ Less

Submitted 3 January, 2023; originally announced January 2023.

Comments: 31 pages, 2 tables, 1 figure

Journal ref: Nat. Comms 14: 4058 (2023)

Quantum algorithm for time-dependent differential equations using Dyson series

Authors: Dominic W. Berry, Pedro C. S. Costa

Abstract: Time-dependent linear differential equations are a common type of problem that needs to be solved in classical physics. Here we provide a quantum algorithm for solving time-dependent linear differential equations with logarithmic dependence of the complexity on the error and derivative. As usual, there is an exponential improvement over classical approaches in the scaling of the complexity with th… ▽ More Time-dependent linear differential equations are a common type of problem that needs to be solved in classical physics. Here we provide a quantum algorithm for solving time-dependent linear differential equations with logarithmic dependence of the complexity on the error and derivative. As usual, there is an exponential improvement over classical approaches in the scaling of the complexity with the dimension, with the caveat that the solution is encoded in the amplitudes of a quantum state. Our method is to encode the Dyson series in a system of linear equations, then solve via the optimal quantum linear equation solver. Our method also provides a simplified approach in the case of time-independent differential equations. △ Less

Submitted 4 June, 2024; v1 submitted 7 December, 2022; originally announced December 2022.

Comments: 19 pages

Journal ref: Quantum 8, 1369 (2024)

Greatly improved higher-order product formulae for quantum simulation

Authors: Mauro E. S. Morales, Pedro C. S. Costa, Daniel K. Burgarth, Yuval R. Sanders, Dominic W. Berry

Abstract: Quantum algorithms for simulation of Hamiltonian evolution are often based on product formulae like Trotter. The fractal method of Suzuki gives a systematic way to find arbitrarily high-order product formulae, but results in a large number of exponentials. On the other hand, an alternative way, with a minimum number of exponentials, for 6th and 8th order product formulae is given by Yoshida. In th… ▽ More Quantum algorithms for simulation of Hamiltonian evolution are often based on product formulae like Trotter. The fractal method of Suzuki gives a systematic way to find arbitrarily high-order product formulae, but results in a large number of exponentials. On the other hand, an alternative way, with a minimum number of exponentials, for 6th and 8th order product formulae is given by Yoshida. In this work, we not only extended Yoshida's method to 10th order, but we also found hundreds of new 8th order product formulae. Moreover, we found an 8th order product formula that is over $1000$ times more accurate than the best product formula of Yoshida. △ Less

Submitted 27 October, 2022; originally announced October 2022.

Comments: 20 pages, 8 figures, 3 tables

Doubling the order of approximation via the randomized product formula

Authors: Chien Hung Cho, Dominic W. Berry, Min-Hsiu Hsieh

Abstract: Randomization has been applied to Hamiltonian simulation in a number of ways to improve the accuracy or efficiency of product formulas. Deterministic product formulas are often constructed in a symmetric way to provide accuracy of even order 2k. We show that by applying randomized corrections, it is possible to more than double the order to 4k + 1 (corresponding to a doubling of the order of the e… ▽ More Randomization has been applied to Hamiltonian simulation in a number of ways to improve the accuracy or efficiency of product formulas. Deterministic product formulas are often constructed in a symmetric way to provide accuracy of even order 2k. We show that by applying randomized corrections, it is possible to more than double the order to 4k + 1 (corresponding to a doubling of the order of the error). In practice, applying the corrections in a quantum algorithm requires some structure to the Hamiltonian, for example the Pauli strings as are used in the simulation of quantum chemistry. △ Less

Submitted 20 October, 2022; originally announced October 2022.

Comments: 12 pages, no figure. Comments are welcome

Analyzing Prospects for Quantum Advantage in Topological Data Analysis

Authors: Dominic W. Berry, Yuan Su, Casper Gyurik, Robbie King, Joao Basso, Alexander Del Toro Barba, Abhishek Rajput, Nathan Wiebe, Vedran Dunjko, Ryan Babbush

Abstract: Lloyd et al. were first to demonstrate the promise of quantum algorithms for computing Betti numbers, a way to characterize topological features of data sets. Here, we propose, analyze, and optimize an improved quantum algorithm for topological data analysis (TDA) with reduced scaling, including a method for preparing Dicke states based on inequality testing, a more efficient amplitude estimation… ▽ More Lloyd et al. were first to demonstrate the promise of quantum algorithms for computing Betti numbers, a way to characterize topological features of data sets. Here, we propose, analyze, and optimize an improved quantum algorithm for topological data analysis (TDA) with reduced scaling, including a method for preparing Dicke states based on inequality testing, a more efficient amplitude estimation algorithm using Kaiser windows, and an optimal implementation of eigenvalue projectors based on Chebyshev polynomials. We compile our approach to a fault-tolerant gate set and estimate constant factors in the Toffoli complexity. Our analysis reveals that super-quadratic quantum speedups are only possible for this problem when targeting a multiplicative error approximation and the Betti number grows asymptotically. Further, we propose a dequantization of the quantum TDA algorithm that shows that having exponentially large dimension and Betti number are necessary, but insufficient conditions, for super-polynomial advantage. We then introduce and analyze specific problem examples which have parameters in the regime where super-polynomial advantages may be achieved, and argue that quantum circuits with tens of billions of Toffoli gates can solve seemingly classically intractable instances. △ Less

Submitted 27 September, 2023; v1 submitted 27 September, 2022; originally announced September 2022.

Comments: 54 pages, 7 figures. Added a number of theorems and lemmas to clarify findings and also a discussion in the main text and new appendix about variants of our problems with high Betti numbers that are challenging for recent classical algorithms

Journal ref: PRX Quantum 5, 010319 (2024)

Approaching optimal entangling collective measurements on quantum computing platforms

Authors: Lorcan O. Conlon, Tobias Vogl, Christian D. Marciniak, Ivan Pogorelov, Simon K. Yung, Falk Eilenberger, Dominic W. Berry, Fabiana S. Santana, Rainer Blatt, Thomas Monz, ** Koy Lam, Syed M. Assad

Abstract: Entanglement is a fundamental feature of quantum mechanics and holds great promise for enhancing metrology and communications. Much of the focus of quantum metrology so far has been on generating highly entangled quantum states that offer better sensitivity, per resource, than what can be achieved classically. However, to reach the ultimate limits in multi-parameter quantum metrology and quantum i… ▽ More Entanglement is a fundamental feature of quantum mechanics and holds great promise for enhancing metrology and communications. Much of the focus of quantum metrology so far has been on generating highly entangled quantum states that offer better sensitivity, per resource, than what can be achieved classically. However, to reach the ultimate limits in multi-parameter quantum metrology and quantum information processing tasks, collective measurements, which generate entanglement between multiple copies of the quantum state, are necessary. Here, we experimentally demonstrate theoretically optimal single- and two-copy collective measurements for simultaneously estimating two non-commuting qubit rotations. This allows us to implement quantum-enhanced sensing, for which the metrological gain persists for high levels of decoherence, and to draw fundamental insights about the interpretation of the uncertainty principle. We implement our optimal measurements on superconducting, trapped-ion and photonic systems, providing an indication of how future quantum-enhanced sensing networks may look. △ Less

Submitted 12 July, 2023; v1 submitted 30 May, 2022; originally announced May 2022.

Comments: 6.5 pages, published version

Journal ref: Nature. Physics. 19, 351 to 357 (2023)

Efficient quantum computation of molecular forces and other energy gradients

Authors: Thomas E. O'Brien, Michael Streif, Nicholas C. Rubin, Raffaele Santagati, Yuan Su, William J. Huggins, Joshua J. Goings, Nikolaj Moll, Elica Kyoseva, Matthias Degroote, Christofer S. Tautermann, Joonho Lee, Dominic W. Berry, Nathan Wiebe, Ryan Babbush

Abstract: While most work on the quantum simulation of chemistry has focused on computing energy surfaces, a similarly important application requiring subtly different algorithms is the computation of energy derivatives. Almost all molecular properties can be expressed an energy derivative, including molecular forces, which are essential for applications such as molecular dynamics simulations. Here, we intr… ▽ More While most work on the quantum simulation of chemistry has focused on computing energy surfaces, a similarly important application requiring subtly different algorithms is the computation of energy derivatives. Almost all molecular properties can be expressed an energy derivative, including molecular forces, which are essential for applications such as molecular dynamics simulations. Here, we introduce new quantum algorithms for computing molecular energy derivatives with significantly lower complexity than prior methods. Under cost models appropriate for noisy-intermediate scale quantum devices we demonstrate how low rank factorizations and other tomography schemes can be optimized for energy derivative calculations. We perform numerics revealing that our techniques reduce the number of circuit repetitions required by many orders of magnitude for even modest systems. In the context of fault-tolerant algorithms, we develop new methods of estimating energy derivatives with Heisenberg limited scaling incorporating state-of-the-art techniques for block encoding fermionic operators. Our results suggest that the calculation of forces on a single nucleus may be of similar cost to estimating energies of chemical systems, but that further developments are needed for quantum computers to meaningfully assist with molecular dynamics simulations. △ Less

Submitted 16 December, 2021; v1 submitted 24 November, 2021; originally announced November 2021.

Comments: 48 pages, 14 page appendix, 10 figures. v2 contains updated lambdas (rescaling factors) for sparse FT encodings and some NISQ methods, obtained by localizing orbitals

Journal ref: Phys. Rev. Research 4, 043210 (2022)

Optimal scaling quantum linear systems solver via discrete adiabatic theorem

Authors: Pedro C. S. Costa, Dong An, Yuval R. Sanders, Yuan Su, Ryan Babbush, Dominic W. Berry

Abstract: Recently, several approaches to solving linear systems on a quantum computer have been formulated in terms of the quantum adiabatic theorem for a continuously varying Hamiltonian. Such approaches enabled near-linear scaling in the condition number $κ$ of the linear system, without requiring a complicated variable-time amplitude amplification procedure. However, the most efficient of those procedur… ▽ More Recently, several approaches to solving linear systems on a quantum computer have been formulated in terms of the quantum adiabatic theorem for a continuously varying Hamiltonian. Such approaches enabled near-linear scaling in the condition number $κ$ of the linear system, without requiring a complicated variable-time amplitude amplification procedure. However, the most efficient of those procedures is still asymptotically sub-optimal by a factor of $\log(κ)$. Here, we prove a rigorous form of the adiabatic theorem that bounds the error in terms of the spectral gap for intrinsically discrete time evolutions. We use this discrete adiabatic theorem to develop a quantum algorithm for solving linear systems that is asymptotically optimal, in the sense that the complexity is strictly linear in $κ$, matching a known lower bound on the complexity. Our $\mathcal{O}(κ\log(1/ε))$ complexity is also optimal in terms of the combined scaling in $κ$ and the precision $ε$. Compared to existing suboptimal methods, our algorithm is simpler and easier to implement. Moreover, we determine the constant factors in the algorithm, which would be suitable for determining the complexity in terms of gate counts for specific applications. △ Less

Submitted 15 November, 2021; originally announced November 2021.

Comments: 56 pages, 8 figures

Nearly optimal quantum algorithm for generating the ground state of a free quantum field theory

Authors: Mohsen Bagherimehrab, Yuval R. Sanders, Dominic W. Berry, Gavin K. Brennen, Barry C. Sanders

Abstract: We devise a quasilinear quantum algorithm for generating an approximation for the ground state of a quantum field theory (QFT). Our quantum algorithm delivers a super-quadratic speedup over the state-of-the-art quantum algorithm for ground-state generation, overcomes the ground-state-generation bottleneck of the prior approach and is optimal up to a polylogarithmic factor. Specifically, we establi… ▽ More We devise a quasilinear quantum algorithm for generating an approximation for the ground state of a quantum field theory (QFT). Our quantum algorithm delivers a super-quadratic speedup over the state-of-the-art quantum algorithm for ground-state generation, overcomes the ground-state-generation bottleneck of the prior approach and is optimal up to a polylogarithmic factor. Specifically, we establish two quantum algorithms -- Fourier-based and wavelet-based -- to generate the ground state of a free massive scalar bosonic QFT with gate complexity quasilinear in the number of discretized-QFT modes. The Fourier-based algorithm is limited to translationally invariant QFTs. Numerical simulations show that the wavelet-based algorithm successfully yields the ground state for a QFT with broken translational invariance. Furthermore, the cost of preparing particle excitations in the wavelet approach is independent of the energy scale. Our algorithms require a routine for generating one-dimensional Gaussian (1DG) states. We replace the standard method for 1DG-state generation, which requires the quantum computer to perform lots of costly arithmetic, with a novel method based on inequality testing that significantly reduces the need for arithmetic. Our method for 1DG-state generation is generic and could be extended to preparing states whose amplitudes can be computed on the fly by a quantum computer. △ Less

Submitted 29 June, 2022; v1 submitted 11 October, 2021; originally announced October 2021.

Comments: This version is identical in content to the published version. Presentation improved and figure 11 added. ( 73 pages, 15 figures, 2 tables)

Journal ref: PRX QUANTUM 3, 020364 (2022)

Fault-Tolerant Quantum Simulations of Chemistry in First Quantization

Authors: Yuan Su, Dominic W. Berry, Nathan Wiebe, Nicholas Rubin, Ryan Babbush

Abstract: Quantum simulations of chemistry in first quantization offer important advantages over approaches in second quantization including faster convergence to the continuum limit and the opportunity for practical simulations outside the Born-Oppenheimer approximation. However, as all prior work on quantum simulation in first quantization has been limited to asymptotic analysis, it has been impossible to… ▽ More Quantum simulations of chemistry in first quantization offer important advantages over approaches in second quantization including faster convergence to the continuum limit and the opportunity for practical simulations outside the Born-Oppenheimer approximation. However, as all prior work on quantum simulation in first quantization has been limited to asymptotic analysis, it has been impossible to compare the resources required for these approaches to those for more commonly studied algorithms in second quantization. Here, we analyze and optimize the resources required to implement two first quantized quantum algorithms for chemistry from Babbush et al that realize block encodings for the qubitization and interaction picture frameworks of Low et al. The two algorithms we study enable simulation with gate complexities $\tilde{\cal O}(η^{8/3}N^{1/3}t+η^{4/3}N^{2/3}t)$ and $\tilde{\cal O}(η^{8/3} N^{1/3} t)$ where $η$ is the number of electrons, $N$ is the number of plane wave basis functions, and $t$ is the duration of time-evolution ($t$ is inverse to target precision when the goal is to estimate energies). In addition to providing the first explicit circuits and constant factors for any first quantized simulation and introducing improvements which reduce circuit complexity by about a thousandfold over naive implementations for modest sized systems, we also describe new algorithms that asymptotically achieve the same scaling in a real space representation. We assess the resources required to simulate various molecules and materials and conclude that the qubitized algorithm will often be more practical than the interaction picture algorithm. We demonstrate that our qubitized algorithm often requires much less surface code spacetime volume for simulating millions of plane waves than the best second quantized algorithms require for simulating hundreds of Gaussian orbitals. △ Less

Submitted 11 October, 2021; v1 submitted 26 May, 2021; originally announced May 2021.

Comments: 96 pages, 9 figures, 8 tables

Journal ref: PRX Quantum 2, 040332 (2021)

Even more efficient quantum computations of chemistry through tensor hypercontraction

Authors: Joonho Lee, Dominic W. Berry, Craig Gidney, William J. Huggins, Jarrod R. McClean, Nathan Wiebe, Ryan Babbush

Abstract: We describe quantum circuits with only $\widetilde{\cal O}(N)$ Toffoli complexity that block encode the spectra of quantum chemistry Hamiltonians in a basis of $N$ arbitrary (e.g., molecular) orbitals. With ${\cal O}(λ/ ε)$ repetitions of these circuits one can use phase estimation to sample in the molecular eigenbasis, where $λ$ is the 1-norm of Hamiltonian coefficients and $ε$ is the target prec… ▽ More We describe quantum circuits with only $\widetilde{\cal O}(N)$ Toffoli complexity that block encode the spectra of quantum chemistry Hamiltonians in a basis of $N$ arbitrary (e.g., molecular) orbitals. With ${\cal O}(λ/ ε)$ repetitions of these circuits one can use phase estimation to sample in the molecular eigenbasis, where $λ$ is the 1-norm of Hamiltonian coefficients and $ε$ is the target precision. This is the lowest complexity that has been shown for quantum computations of chemistry within an arbitrary basis. Furthermore, up to logarithmic factors, this matches the scaling of the most efficient prior block encodings that can only work with orthogonal basis functions diagonalizing the Coloumb operator (e.g., the plane wave dual basis). Our key insight is to factorize the Hamiltonian using a method known as tensor hypercontraction (THC) and then to transform the Coulomb operator into an isospectral diagonal form with a non-orthogonal basis defined by the THC factors. We then use qubitization to simulate the non-orthogonal THC Hamiltonian, in a fashion that avoids most complications of the non-orthogonal basis. We also reanalyze and reduce the cost of several of the best prior algorithms for these simulations in order to facilitate a clear comparison to the present work. In addition to having lower asymptotic scaling spacetime volume, compilation of our algorithm for challenging finite-sized molecules such as FeMoCo reveals that our method requires the least fault-tolerant resources of any known approach. By laying out and optimizing the surface code resources required of our approach we show that FeMoCo can be simulated using about four million physical qubits and under four days of runtime, assuming $1\,μ$s cycle times and physical gate error rates no worse than $0.1\%$. △ Less

Submitted 15 December, 2021; v1 submitted 6 November, 2020; originally announced November 2020.

Comments: 73 pages, fixed typos

Journal ref: PRX Quantum 2, 030305 (2021)

The Heisenberg limit for laser coherence

Authors: Travis J. Baker, S. N. Saadatmand, Dominic W. Berry, Howard M. Wiseman

Abstract: To quantify quantum optical coherence requires both the particle- and wave-natures of light. For an ideal laser beam [1,2,3], it can be thought of roughly as the number of photons emitted consecutively into the beam with the same phase. This number, $\mathfrak{C}$, can be much larger than $μ$, the number of photons in the laser itself. The limit on $\mathfrak{C}$ for an ideal laser was thought to… ▽ More To quantify quantum optical coherence requires both the particle- and wave-natures of light. For an ideal laser beam [1,2,3], it can be thought of roughly as the number of photons emitted consecutively into the beam with the same phase. This number, $\mathfrak{C}$, can be much larger than $μ$, the number of photons in the laser itself. The limit on $\mathfrak{C}$ for an ideal laser was thought to be of order $μ^2$ [4,5]. Here, assuming nothing about the laser operation, only that it produces a beam with certain properties close to those of an ideal laser beam, and that it does not have external sources of coherence, we derive an upper bound: $\mathfrak{C} = O(μ^4)$. Moreover, using the matrix product states (MPSs) method [6,7,8,9], we find a model that achieves this scaling, and show that it could in principle be realised using circuit quantum electrodynamics (QED) [10]. Thus $\mathfrak{C} = O(μ^2)$ is only a standard quantum limit (SQL); the ultimate quantum limit, or Heisenberg limit, is quadratically better. △ Less

Submitted 5 November, 2020; v1 submitted 11 September, 2020; originally announced September 2020.

Comments: 6 pages, 4 figures, and 31 pages of supplemental information. v2: This paper is now published [Nature Physics DOI:10.1038/s41567-020-01049-3 (26 October 2020)]. For copyright reasons, this arxiv paper is based on a version of the paper prior to the accepted (21 August 2020) version

Journal ref: Nat. Phys. (2020)

Compilation of Fault-Tolerant Quantum Heuristics for Combinatorial Optimization

Authors: Yuval R. Sanders, Dominic W. Berry, Pedro C. S. Costa, Louis W. Tessler, Nathan Wiebe, Craig Gidney, Hartmut Neven, Ryan Babbush

Abstract: Here we explore which heuristic quantum algorithms for combinatorial optimization might be most practical to try out on a small fault-tolerant quantum computer. We compile circuits for several variants of quantum accelerated simulated annealing including those using qubitization or Szegedy walks to quantize classical Markov chains and those simulating spectral gap amplified Hamiltonians encoding a… ▽ More Here we explore which heuristic quantum algorithms for combinatorial optimization might be most practical to try out on a small fault-tolerant quantum computer. We compile circuits for several variants of quantum accelerated simulated annealing including those using qubitization or Szegedy walks to quantize classical Markov chains and those simulating spectral gap amplified Hamiltonians encoding a Gibbs state. We also optimize fault-tolerant realizations of the adiabatic algorithm, quantum enhanced population transfer, the quantum approximate optimization algorithm, and other approaches. Many of these methods are bottlenecked by calls to the same subroutines; thus, optimized circuits for those primitives should be of interest regardless of which heuristic is most effective in practice. We compile these bottlenecks for several families of optimization problems and report for how long and for what size systems one can perform these heuristics in the surface code given a range of resource budgets. Our results discourage the notion that any quantum optimization heuristic realizing only a quadratic speedup will achieve an advantage over classical algorithms on modest superconducting qubit surface code processors without significant improvements in the implementation of the surface code. For instance, under quantum-favorable assumptions (e.g., that the quantum algorithm requires exactly quadratically fewer steps), our analysis suggests that quantum accelerated simulated annealing would require roughly a day and a million physical qubits to optimize spin glasses that could be solved by classical simulated annealing in about four CPU-minutes. △ Less

Submitted 5 August, 2020; v1 submitted 14 July, 2020; originally announced July 2020.

Comments: 77 pages, 19 figures, 9 tables. v2 contains new appendix on in-place binary to unary conversion

Journal ref: PRX Quantum 1, 020312 (2020)

$π$-Corrected Heisenberg Limit

Authors: Wojciech Gorecki, Rafal Demkowicz-Dobrzanski, Howard M. Wiseman, Dominic W. Berry

Abstract: We consider the precision $Δ\varphi$ with which the parameter $\varphi$, appearing in the unitary map $U_\varphi = e^{ i \varphi Λ}$ acting on some type of probe system, can be estimated when there is a finite amount of prior information about $\varphi$. We show that, if $U_\varphi$ acts $n$ times in total, then, asymptotically in $n$, there is a tight lower bound… ▽ More We consider the precision $Δ\varphi$ with which the parameter $\varphi$, appearing in the unitary map $U_\varphi = e^{ i \varphi Λ}$ acting on some type of probe system, can be estimated when there is a finite amount of prior information about $\varphi$. We show that, if $U_\varphi$ acts $n$ times in total, then, asymptotically in $n$, there is a tight lower bound $Δ\varphi \geq \fracπ{n (λ_+ - λ_-)}$, where $λ_+$, $λ_-$ are the extreme eigenvalues of the generator $Λ$. This is greater by a factor of $π$ than the conventional Heisenberg limit, derived from the properties of the quantum Fisher information. That is, the conventional bound is never saturable. Our result makes no assumptions on the measurement protocol, and is relevant not only in the noiseless case but also if noise can be eliminated using quantum error correction techniques. △ Less

Submitted 23 January, 2020; v1 submitted 11 July, 2019; originally announced July 2019.

Comments: 5 + 6 pages

Journal ref: Phys. Rev. Lett. 124, 030501 (2020)

Time-dependent Hamiltonian simulation with $L^1$-norm scaling

Authors: Dominic W. Berry, Andrew M. Childs, Yuan Su, Xin Wang, Nathan Wiebe

Abstract: The difficulty of simulating quantum dynamics depends on the norm of the Hamiltonian. When the Hamiltonian varies with time, the simulation complexity should only depend on this quantity instantaneously. We develop quantum simulation algorithms that exploit this intuition. For sparse Hamiltonian simulation, the gate complexity scales with the $L^1$ norm… ▽ More The difficulty of simulating quantum dynamics depends on the norm of the Hamiltonian. When the Hamiltonian varies with time, the simulation complexity should only depend on this quantity instantaneously. We develop quantum simulation algorithms that exploit this intuition. For sparse Hamiltonian simulation, the gate complexity scales with the $L^1$ norm $\int_{0}^{t}\mathrm{d}τ\left\lVert H(τ)\right\lVert_{\max}$, whereas the best previous results scale with $t\max_{τ\in[0,t]}\left\lVert H(τ)\right\lVert_{\max}$. We also show analogous results for Hamiltonians that are linear combinations of unitaries. Our approaches thus provide an improvement over previous simulation algorithms that can be substantial when the Hamiltonian varies significantly. We introduce two new techniques: a classical sampler of time-dependent Hamiltonians and a rescaling principle for the Schrödinger equation. The rescaled Dyson-series algorithm is nearly optimal with respect to all parameters of interest, whereas the sampling-based approach is easier to realize for near-term simulation. These algorithms could potentially be applied to semi-classical simulations of scattering processes in quantum chemistry. △ Less

Submitted 15 April, 2020; v1 submitted 17 June, 2019; originally announced June 2019.

Comments: 40 pages, 1 figure

Journal ref: Quantum 4, 254 (2020)

Photonic quantum data locking

Authors: Zixin Huang, Peter P. Rohde, Dominic W. Berry, Pieter Kok, Jonathan P. Dowling, Cosmo Lupo

Abstract: Quantum data locking is a quantum phenomenon that allows us to encrypt a long message with a small secret key with information-theoretic security. This is in sharp contrast with classical information theory where, according to Shannon, the secret key needs to be at least as long as the message. Here we explore photonic architectures for quantum data locking, where information is encoded in multi-p… ▽ More Quantum data locking is a quantum phenomenon that allows us to encrypt a long message with a small secret key with information-theoretic security. This is in sharp contrast with classical information theory where, according to Shannon, the secret key needs to be at least as long as the message. Here we explore photonic architectures for quantum data locking, where information is encoded in multi-photon states and processed using multi-mode linear optics and photo-detection, with the goal of extending an initial secret key into a longer one. % The secret key consumption depends on the number of modes and photons employed. In the no-collision limit, where the likelihood of photon bunching is suppressed, the key consumption is shown to be logarithmic in the dimensions of the system. Our protocol can be viewed as an application of the physics of Boson Sampling to quantum cryptography. Experimental realisations are challenging but feasible with state-of-the-art technology, as techniques recently used to demonstrate Boson Sampling can be adapted to our scheme (e.g., Phys. Rev. Lett. 123, 250503, 2019). △ Less

Submitted 24 April, 2021; v1 submitted 8 May, 2019; originally announced May 2019.

Journal ref: Quantum 5, 447 (2021)

Improved Fault-Tolerant Quantum Simulation of Condensed-Phase Correlated Electrons via Trotterization

Authors: Ian D. Kivlichan, Craig Gidney, Dominic W. Berry, Nathan Wiebe, Jarrod McClean, Wei Sun, Zhang Jiang, Nicholas Rubin, Austin Fowler, Alán Aspuru-Guzik, Hartmut Neven, Ryan Babbush

Abstract: Recent work has deployed linear combinations of unitaries techniques to reduce the cost of fault-tolerant quantum simulations of correlated electron models. Here, we show that one can sometimes improve upon those results with optimized implementations of Trotter-Suzuki-based product formulas. We show that low-order Trotter methods perform surprisingly well when used with phase estimation to comput… ▽ More Recent work has deployed linear combinations of unitaries techniques to reduce the cost of fault-tolerant quantum simulations of correlated electron models. Here, we show that one can sometimes improve upon those results with optimized implementations of Trotter-Suzuki-based product formulas. We show that low-order Trotter methods perform surprisingly well when used with phase estimation to compute relative precision quantities (e.g. energies per unit cell), as is often the goal for condensed-phase systems. In this context, simulations of the Hubbard and plane-wave electronic structure models with $N < 10^5$ fermionic modes can be performed with roughly $O(1)$ and $O(N^2)$ T complexities. We perform numerics revealing tradeoffs between the error and gate complexity of a Trotter step; e.g., we show that split-operator techniques have less Trotter error than popular alternatives. By compiling to surface code fault-tolerant gates and assuming error rates of one part per thousand, we show that one can error-correct quantum simulations of interesting, classically intractable instances with a few hundred thousand physical qubits. △ Less

Submitted 13 July, 2020; v1 submitted 27 February, 2019; originally announced February 2019.

Comments: 45 pages, 15 figures. Only difference from v3 is change to CC BY 4.0 license

Journal ref: Quantum 4, 296 (2020)

Qubitization of Arbitrary Basis Quantum Chemistry Leveraging Sparsity and Low Rank Factorization

Authors: Dominic W. Berry, Craig Gidney, Mario Motta, Jarrod R. McClean, Ryan Babbush

Abstract: Recent work has dramatically reduced the gate complexity required to quantum simulate chemistry by using linear combinations of unitaries based methods to exploit structure in the plane wave basis Coulomb operator. Here, we show that one can achieve similar scaling even for arbitrary basis sets (which can be hundreds of times more compact than plane waves) by using qubitized quantum walks in a fas… ▽ More Recent work has dramatically reduced the gate complexity required to quantum simulate chemistry by using linear combinations of unitaries based methods to exploit structure in the plane wave basis Coulomb operator. Here, we show that one can achieve similar scaling even for arbitrary basis sets (which can be hundreds of times more compact than plane waves) by using qubitized quantum walks in a fashion that takes advantage of structure in the Coulomb operator, either by directly exploiting sparseness, or via a low rank tensor factorization. We provide circuits for several variants of our algorithm (which all improve over the scaling of prior methods) including one with $\widetilde{\cal O}(N^{3/2} λ)$ T complexity, where $N$ is number of orbitals and $λ$ is the 1-norm of the chemistry Hamiltonian. We deploy our algorithms to simulate the FeMoco molecule (relevant to Nitrogen fixation) and obtain circuits requiring about seven hundred times less surface code spacetime volume than prior quantum algorithms for this system, despite us using a larger and more accurate active space. △ Less

Submitted 27 November, 2019; v1 submitted 6 February, 2019; originally announced February 2019.

Comments: 44 pages, 17 figures, formatted for Quantum

Journal ref: Quantum 3, 208 (2019)

Quantum Simulation of Chemistry with Sublinear Scaling in Basis Size

Authors: Ryan Babbush, Dominic W. Berry, Jarrod R. McClean, Hartmut Neven

Abstract: We present a quantum algorithm for simulating quantum chemistry with gate complexity $\tilde{O}(N^{1/3} η^{8/3})$ where $η$ is the number of electrons and $N$ is the number of plane wave orbitals. In comparison, the most efficient prior algorithms for simulating electronic structure using plane waves (which are at least as efficient as algorithms using any other basis) have complexity… ▽ More We present a quantum algorithm for simulating quantum chemistry with gate complexity $\tilde{O}(N^{1/3} η^{8/3})$ where $η$ is the number of electrons and $N$ is the number of plane wave orbitals. In comparison, the most efficient prior algorithms for simulating electronic structure using plane waves (which are at least as efficient as algorithms using any other basis) have complexity $\tilde{O}(N^{8/3} /η^{2/3})$. We achieve our scaling in first quantization by performing simulation in the rotating frame of the kinetic operator using interaction picture techniques. Our algorithm is far more efficient than all prior approaches when $N \gg η$, as is needed to suppress discretization error when representing molecules in the plane wave basis, or when simulating without the Born-Oppenheimer approximation. △ Less

Submitted 19 August, 2019; v1 submitted 25 July, 2018; originally announced July 2018.

Comments: 8 pages, 1 figure

Journal ref: npj Quantum Information 5, 92 (2019)

Black-box quantum state preparation without arithmetic

Authors: Yuval R. Sanders, Guang Hao Low, Artur Scherer, Dominic W. Berry

Abstract: Black-box quantum state preparation is an important subroutine in many quantum algorithms. The standard approach requires the quantum computer to do arithmetic, which is a key contributor to the complexity. Here we present a new algorithm that avoids arithmetic. We thereby reduce the number of gates by a factor of 286-374 over the best prior work for realistic precision; the improvement factor inc… ▽ More Black-box quantum state preparation is an important subroutine in many quantum algorithms. The standard approach requires the quantum computer to do arithmetic, which is a key contributor to the complexity. Here we present a new algorithm that avoids arithmetic. We thereby reduce the number of gates by a factor of 286-374 over the best prior work for realistic precision; the improvement factor increases with the precision. As quantum state preparation is a crucial subroutine in many approaches to simulating physics on a quantum computer, our new method brings useful quantum simulation closer to reality. △ Less

Submitted 30 January, 2019; v1 submitted 9 July, 2018; originally announced July 2018.

Comments: This version is identical in content to the published version. Presentation much improved and Table I added

Journal ref: Phys. Rev. Lett. 122, 020502 (2019)

Quantum Simulation of the Sachdev-Ye-Kitaev Model by Asymmetric Qubitization

Authors: Ryan Babbush, Dominic Berry, Hartmut Neven

Abstract: We show that one can quantum simulate the dynamics of a Sachdev-Ye-Kitaev model with $N$ Majorana modes for time $t$ to precision $ε$ with gate complexity $O(N^{7/2} t + N^{5/2} t \,{\rm polylog}(N/ ε))$. In addition to scaling sublinearly in the number of Hamiltonian terms, this gate complexity represents an exponential improvement in $1/ε$ and large polynomial improvement in $N$ and $t$ over pri… ▽ More We show that one can quantum simulate the dynamics of a Sachdev-Ye-Kitaev model with $N$ Majorana modes for time $t$ to precision $ε$ with gate complexity $O(N^{7/2} t + N^{5/2} t \,{\rm polylog}(N/ ε))$. In addition to scaling sublinearly in the number of Hamiltonian terms, this gate complexity represents an exponential improvement in $1/ε$ and large polynomial improvement in $N$ and $t$ over prior state-of-the-art algorithms which scale as $O(N^{10} t^2 / ε)$. Our approach involves a variant of the qubitization technique in which we encode the Hamiltonian $H$ as an asymmetric projection of a signal oracle $U$ onto two different signal states prepared by state oracles, $A\left\vert{0}\right\rangle \mapsto \left\vert{A}\right\rangle$ and $B \left\vert{0}\right\rangle \mapsto \left\vert{B}\right\rangle$, such that $H = \left\langle{B}\right\vert U\left\vert{A}\right\rangle$. Our strategy for applying this method to the Sachdev-Ye-Kitaev model involves realizing $B$ using only Hadamard gates and realizing $A$ as a random quantum circuit. △ Less

Submitted 13 March, 2019; v1 submitted 7 June, 2018; originally announced June 2018.

Comments: 8 pages, 1 figure. This version adds a more complete analysis in appendix

Journal ref: Phys. Rev. A 99, 040301 (2019)

Bayesian estimation for quantum sensing in the absence of single-shot detection

Authors: Hossein T. Dinani, Dominic W. Berry, Raul Gonzalez, Jeronimo R. Maze, Cristian Bonato

Abstract: Quantum information protocols, such as quantum error correction and quantum phase estimation, have been widely used to enhance the performance of quantum sensors. While these protocols have relied on single-shot detection, in most practical applications only an averaged readout is available, as in the case of room-temperature sensing with the electron spin associated with a nitrogen-vacancy center… ▽ More Quantum information protocols, such as quantum error correction and quantum phase estimation, have been widely used to enhance the performance of quantum sensors. While these protocols have relied on single-shot detection, in most practical applications only an averaged readout is available, as in the case of room-temperature sensing with the electron spin associated with a nitrogen-vacancy center in diamond. Here, we theoretically investigate the application of the quantum phase estimation algorithm for high dynamic-range magnetometry, in the case where single-shot readout is not available. We show that, even in this case, Bayesian estimation provides a natural way to use the available information in an efficient way. We apply Bayesian analysis to achieve an optimized sensing protocol for estimating a time-independent magnetic field with a single electron spin associated to a nitrogen-vacancy center at room temperature and show that this protocol improves the sensitivity over previous protocols by more than a factor of 3. Moreover, we show that an extra enhancement can be achieved by considering the timing information in the detector clicks. △ Less

Submitted 11 March, 2019; v1 submitted 4 June, 2018; originally announced June 2018.

Comments: 7 pages + 2 pages supplementary, 5 figures, In the updated version we have added updating the probability after every single measurement. Comments are welcome

Journal ref: Phys. Rev. B 99, 125413 (2019)

Encoding Electronic Spectra in Quantum Circuits with Linear T Complexity

Authors: Ryan Babbush, Craig Gidney, Dominic W. Berry, Nathan Wiebe, Jarrod McClean, Alexandru Paler, Austin Fowler, Hartmut Neven

Abstract: We construct quantum circuits which exactly encode the spectra of correlated electron models up to errors from rotation synthesis. By invoking these circuits as oracles within the recently introduced "qubitization" framework, one can use quantum phase estimation to sample states in the Hamiltonian eigenbasis with optimal query complexity $O(λ/ ε)$ where $λ$ is an absolute sum of Hamiltonian coeffi… ▽ More We construct quantum circuits which exactly encode the spectra of correlated electron models up to errors from rotation synthesis. By invoking these circuits as oracles within the recently introduced "qubitization" framework, one can use quantum phase estimation to sample states in the Hamiltonian eigenbasis with optimal query complexity $O(λ/ ε)$ where $λ$ is an absolute sum of Hamiltonian coefficients and $ε$ is target precision. For both the Hubbard model and electronic structure Hamiltonian in a second quantized basis diagonalizing the Coulomb operator, our circuits have T gate complexity $O({N + \log (1/ε}))$ where $N$ is number of orbitals in the basis. This enables sampling in the eigenbasis of electronic structure Hamiltonians with T complexity $O(N^3 /ε+ N^2 \log(1/ε)/ε)$. Compared to prior approaches, our algorithms are asymptotically more efficient in gate complexity and require fewer T gates near the classically intractable regime. Compiling to surface code fault-tolerant gates and assuming per gate error rates of one part in a thousand reveals that one can error correct phase estimation on interesting instances of these problems beyond the current capabilities of classical methods using only about a million superconducting qubits in a matter of hours. △ Less

Submitted 18 September, 2018; v1 submitted 9 May, 2018; originally announced May 2018.

Comments: 39 pages, 25 figures, 9 tables; fixed minor errors from v1

Journal ref: Phys. Rev. X 8, 041015 (2018)

Simulating the dynamics of time-dependent Hamiltonians with a truncated Dyson series

Authors: Maria Kieferova, Artur Scherer, Dominic Berry

Abstract: We provide a general method for efficiently simulating time-dependent Hamiltonian dynamics on a circuit-model based quantum computer. Our approach is based on approximating the truncated Dyson series of the evolution operator, extending the earlier proposal by Berry to evolution generated by explicitly time-dependent Hamiltonians. Two alternative strategies are proposed to implement time ordering… ▽ More We provide a general method for efficiently simulating time-dependent Hamiltonian dynamics on a circuit-model based quantum computer. Our approach is based on approximating the truncated Dyson series of the evolution operator, extending the earlier proposal by Berry to evolution generated by explicitly time-dependent Hamiltonians. Two alternative strategies are proposed to implement time ordering while exploiting the superposition principle for sampling the Hamiltonian at different times. The resource cost of our simulation algorithm retains the optimal logarithmic dependence on the inverse of the desired precision. △ Less

Submitted 1 May, 2018; originally announced May 2018.

Journal ref: Phys. Rev. A 99, 042314 (2019)

Experimental optical phase measurement approaching the exact Heisenberg limit

Authors: Shakib Daryanoosh, Sergei Slussarenko, Dominic W. Berry, Howard M. Wiseman, Geoff J. Pryde

Abstract: The use of quantum resources can provide measurement precision beyond the shot-noise limit (SNL). The task of ab initio optical phase measurement---the estimation of a completely unknown phase---has been experimentally demonstrated with precision beyond the SNL, and even scaling like the ultimate bound, the Heisenberg limit (HL), but with an overhead factor. However, existing approaches have not b… ▽ More The use of quantum resources can provide measurement precision beyond the shot-noise limit (SNL). The task of ab initio optical phase measurement---the estimation of a completely unknown phase---has been experimentally demonstrated with precision beyond the SNL, and even scaling like the ultimate bound, the Heisenberg limit (HL), but with an overhead factor. However, existing approaches have not been able---even in principle---to achieve the best possible precision, saturating the HL exactly. Here we demonstrate a scheme to achieve true HL phase measurement, using a combination of three techniques: entanglement, multiple samplings of the phase shift, and adaptive measurement. Our experimental demonstration of the scheme uses two photonic qubits, one double passed, so that, for a successful coincidence detection, the number of photon-passes is $N=3$. We achieve a precision that is within $4\%$ of the HL, surpassing the best precision theoretically achievable with simpler techniques with $N=3$. This work represents a fundamental achievement of the ultimate limits of metrology, and the scheme can be extended to higher $N$ and other physical systems. △ Less

Submitted 1 May, 2019; v1 submitted 18 December, 2017; originally announced December 2017.

Comments: (12 pages, 6 figures), typos corrected

Journal ref: Nature Communications 9, 4606 (2018)

Improved Techniques for Preparing Eigenstates of Fermionic Hamiltonians

Authors: Dominic W. Berry, Mária Kieferová, Artur Scherer, Yuval R. Sanders, Guang Hao Low, Nathan Wiebe, Craig Gidney, Ryan Babbush

Abstract: Modeling low energy eigenstates of fermionic systems can provide insight into chemical reactions and material properties and is one of the most anticipated applications of quantum computing. We present three techniques for reducing the cost of preparing fermionic Hamiltonian eigenstates using phase estimation. First, we report a polylogarithmic-depth quantum algorithm for antisymmetrizing the init… ▽ More Modeling low energy eigenstates of fermionic systems can provide insight into chemical reactions and material properties and is one of the most anticipated applications of quantum computing. We present three techniques for reducing the cost of preparing fermionic Hamiltonian eigenstates using phase estimation. First, we report a polylogarithmic-depth quantum algorithm for antisymmetrizing the initial states required for simulation of fermions in first quantization. This is an exponential improvement over the previous state-of-the-art. Next, we show how to reduce the overhead due to repeated state preparation in phase estimation when the goal is to prepare the ground state to high precision and one has knowledge of an upper bound on the ground state energy that is less than the excited state energy (often the case in quantum chemistry). Finally, we explain how one can perform the time evolution necessary for the phase estimation based preparation of Hamiltonian eigenstates with exactly zero error by using the recently introduced qubitization procedure. △ Less

Submitted 23 March, 2018; v1 submitted 28 November, 2017; originally announced November 2017.

Comments: 16 pages, 11 figures

Journal ref: npj Quantum Information 4: 1, 22 (2018)

Adaptive estimation of a time-varying phase with coherent states: smoothing can give an unbounded improvement over filtering

Authors: Kiarn T. Laverick, Howard M. Wiseman, Hossien T. Dinani, Dominic W. Berry

Abstract: The problem of measuring a time-varying phase, even when the statistics of the variation is known, is considerably harder than that of measuring a constant phase. In particular, the usual bounds on accuracy - such as the $1/(4\bar{n})$ standard quantum limit with coherent states - do not apply. Here, restricting to coherent states, we are able to analytically obtain the achievable accuracy - the e… ▽ More The problem of measuring a time-varying phase, even when the statistics of the variation is known, is considerably harder than that of measuring a constant phase. In particular, the usual bounds on accuracy - such as the $1/(4\bar{n})$ standard quantum limit with coherent states - do not apply. Here, restricting to coherent states, we are able to analytically obtain the achievable accuracy - the equivalent of the standard quantum limit - for a wide class of phase variation. In particular, we consider the case where the phase has Gaussian statistics and a power-law spectrum equal to $κ^{p-1}/|ω|^p$ for large $ω$, for some $p>1$. For coherent states with mean photon flux ${\cal N}$, we give the Quantum Cramér-Rao Bound on the mean-square phase error as $[p \sin (π/p)]^{-1}(4{\cal N}/κ)^{-(p-1)/p}$. Next, we consider whether the bound can be achieved by an adaptive homodyne measurement, in the limit ${\cal N}/κ\gg 1$ which allows the photocurrent to be linearized. Applying the optimal filtering for the resultant linear Gaussian system, we find the same scaling with ${\cal N}$, but with a prefactor larger by a factor of $p$. By contrast, if we employ optimal smoothing we can exactly obtain the Quantum Cram{é}r-Rao Bound. That is, contrary to previously considered ($p=2$) cases of phase estimation, here the improvement offered by smoothing over filtering is not limited to a factor of 2 but rather can be unbounded by a factor of $p$. We also study numerically the performance of these estimators for an adaptive measurement in the limit where ${\cal N}/κ$ is not large, and find a more complicated picture. △ Less

Submitted 23 October, 2017; originally announced October 2017.

Comments: 12 pages, 3 figures

Journal ref: Phys. Rev. A 97, 042334 (2018)

Adaptive tracking of a time-varying field with a quantum sensor

Authors: Cristian Bonato, Dominic W. Berry

Abstract: Sensors based on single spins can enable magnetic field detection with very high sensitivity and spatial resolution. Previous work has concentrated on sensing of a constant magnetic field or a periodic signal. Here, we instead investigate the problem of estimating a field with non-periodic variation described by a Wiener process. We propose and study, by numerical simulations, an adaptive tracking… ▽ More Sensors based on single spins can enable magnetic field detection with very high sensitivity and spatial resolution. Previous work has concentrated on sensing of a constant magnetic field or a periodic signal. Here, we instead investigate the problem of estimating a field with non-periodic variation described by a Wiener process. We propose and study, by numerical simulations, an adaptive tracking protocol based on Bayesian estimation. The tracking protocol updates the probability distribution for the magnetic field, based on measurement outcomes, and adapts the choice of sensing time and phase in real time. By taking the statistical properties of the signal into account, our protocol strongly reduces the required measurement time. This leads to a reduction of the error in the estimation of a time-varying signal by up to a factor 4 compared to protocols that do not take this information into account. △ Less

Submitted 5 May, 2017; v1 submitted 27 March, 2017; originally announced March 2017.

Comments: 10 pages, 6 figures

Journal ref: Phys. Rev. A 95, 052348 (2017)

Quantum algorithm for linear differential equations with exponentially improved dependence on precision

Authors: Dominic W. Berry, Andrew M. Childs, Aaron Ostrander, Guoming Wang

Abstract: We present a quantum algorithm for systems of (possibly inhomogeneous) linear ordinary differential equations with constant coefficients. The algorithm produces a quantum state that is proportional to the solution at a desired final time. The complexity of the algorithm is polynomial in the logarithm of the inverse error, an exponential improvement over previous quantum algorithms for this problem… ▽ More We present a quantum algorithm for systems of (possibly inhomogeneous) linear ordinary differential equations with constant coefficients. The algorithm produces a quantum state that is proportional to the solution at a desired final time. The complexity of the algorithm is polynomial in the logarithm of the inverse error, an exponential improvement over previous quantum algorithms for this problem. Our result builds upon recent advances in quantum linear systems algorithms by encoding the simulation into a sparse, well-conditioned linear system that approximates evolution according to the propagator using a Taylor series. Unlike with finite difference methods, our approach does not require additional hypotheses to ensure numerical stability. △ Less

Submitted 17 February, 2017; v1 submitted 13 January, 2017; originally announced January 2017.

Comments: 20 pages, no figure; v2: minor revision

Journal ref: Communications in Mathematical Physics 356, 1057-1081 (2017)

Robust Guaranteed-Cost Adaptive Quantum Phase Estimation

Authors: Shibdas Roy, Dominic W. Berry, Ian R. Petersen, Elanor H. Huntington

Abstract: Quantum parameter estimation plays a key role in many fields like quantum computation, communication and metrology. Optimal estimation allows one to achieve the most precise parameter estimates, but requires accurate knowledge of the model. Any inevitable uncertainty in the model parameters may heavily degrade the quality of the estimate. It is therefore desired to make the estimation process robu… ▽ More Quantum parameter estimation plays a key role in many fields like quantum computation, communication and metrology. Optimal estimation allows one to achieve the most precise parameter estimates, but requires accurate knowledge of the model. Any inevitable uncertainty in the model parameters may heavily degrade the quality of the estimate. It is therefore desired to make the estimation process robust to such uncertainties. Robust estimation was previously studied for a varying phase, where the goal was to estimate the phase at some time in the past, using the measurement results from both before and after that time within a fixed time interval up to current time. Here, we consider a robust guaranteed-cost filter yielding robust estimates of a varying phase in real time, where the current phase is estimated using only past measurements. Our filter minimizes the largest (worst-case) variance in the allowable range of the uncertain model parameter(s) and this determines its guaranteed cost. It outperforms in the worst case the optimal Kalman filter designed for the model with no uncertainty, that corresponds to the center of the possible range of the uncertain parameter(s). Moreover, unlike the Kalman filter, our filter in the worst case always performs better than the best achievable variance for heterodyne measurements, that we consider as the tolerable threshold for our system. Furthermore, we consider effective quantum efficiency and effective noise power, and show that our filter provides the best results by these measures in the worst case. △ Less

Submitted 5 April, 2017; v1 submitted 11 January, 2017; originally announced January 2017.

Comments: Minor corrections; 18 pages, 9 figures, 5 appendices

Journal ref: Phys. Rev. A 95, 052322 (2017)

Adaptive estimation of a time-varying phase with a power-law spectrum via continuous squeezed states

Authors: Hossein T. Dinani, Dominic W. Berry

Abstract: When measuring a time-varying phase, the standard quantum limit and Heisenberg limit as usually defined, for a constant phase, do not apply. If the phase has Gaussian statistics and a power-law spectrum $1/|ω|^p$ with $p>1$, then the generalized standard quantum limit and Heisenberg limit have recently been found to have scalings of $1/{\cal N}^{(p-1)/p}$ and $1/{\cal N}^{2(p-1)/(p+1)}$, respectiv… ▽ More When measuring a time-varying phase, the standard quantum limit and Heisenberg limit as usually defined, for a constant phase, do not apply. If the phase has Gaussian statistics and a power-law spectrum $1/|ω|^p$ with $p>1$, then the generalized standard quantum limit and Heisenberg limit have recently been found to have scalings of $1/{\cal N}^{(p-1)/p}$ and $1/{\cal N}^{2(p-1)/(p+1)}$, respectively, where ${\cal N}$ is the mean photon flux. We show that this Heisenberg scaling can be achieved via adaptive measurements on squeezed states. We predict the experimental parameters analytically, and test them with numerical simulations. Previous work had considered the special case of $p=2$. △ Less

Submitted 15 June, 2017; v1 submitted 2 December, 2016; originally announced December 2016.

Comments: 11 pages, comments welcome

Journal ref: Phys. Rev. A 95, 063821 (2017)

Improved Hamiltonian simulation via a truncated Taylor series and corrections

Authors: Leonardo Novo, Dominic W. Berry

Abstract: We describe an improved version of the quantum simulation method based on the implementation of a truncated Taylor series of the evolution operator. The idea is to add an extra step to the previously known algorithm which implements an operator that corrects the weightings of the Taylor series. This way, the desired accuracy is achieved with an improvement in the overall complexity of the algorith… ▽ More We describe an improved version of the quantum simulation method based on the implementation of a truncated Taylor series of the evolution operator. The idea is to add an extra step to the previously known algorithm which implements an operator that corrects the weightings of the Taylor series. This way, the desired accuracy is achieved with an improvement in the overall complexity of the algorithm. This quantum simulation method is applicable to a wide range of Hamiltonians of interest, including to quantum chemistry problems. △ Less

Submitted 30 November, 2016; originally announced November 2016.

Comments: 10 pages, comments welcome

Journal ref: Quantum Information and Computation 17, 0623 (2017)

Adaptive phase estimation with two-mode squeezed-vacuum and parity measurement

Authors: Zixin Huang, Keith R. Motes, Petr M. Anisimov, Jonathan P. Dowling, Dominic W. Berry

Abstract: A proposed phase-estimation protocol based on measuring the parity of a two-mode squeezed-vacuum state at the output of a Mach-Zehnder interferometer shows that the Cramér-Rao sensitivity is sub-Heisenberg [Phys.\ Rev.\ Lett.\ {\bf104}, 103602 (2010)]. However, these measurements are problematic, making it unclear if this sensitivity can be obtained with a finite number of measurements. This sensi… ▽ More A proposed phase-estimation protocol based on measuring the parity of a two-mode squeezed-vacuum state at the output of a Mach-Zehnder interferometer shows that the Cramér-Rao sensitivity is sub-Heisenberg [Phys.\ Rev.\ Lett.\ {\bf104}, 103602 (2010)]. However, these measurements are problematic, making it unclear if this sensitivity can be obtained with a finite number of measurements. This sensitivity is only for phase near zero, and in this region there is a problem with ambiguity because measurements cannot distinguish the sign of the phase. Here, we consider a finite number of parity measurements, and show that an adaptive technique gives a highly accurate phase estimate regardless of the phase. We show that the Heisenberg limit is reachable, where the number of trials needed for mean photon number $\bar{n}=1$ is approximately one hundred. We show that the Cramér-Rao sensitivity can be achieved approximately, and the estimation is unambiguous in the interval ($-π/2, π/2$). △ Less

Submitted 15 September, 2016; originally announced September 2016.

Comments: 7 pages, 8 figures

Journal ref: Phys. Rev. A 95, 053837 (2017)

A Quantum Optics Argument for the #P-hardness of a Class of Multidimensional Integrals

Authors: Peter P. Rohde, Dominic W. Berry, Keith R. Motes, Jonathan P. Dowling

Abstract: Matrix permanents arise naturally in the context of linear optical networks fed with nonclassical states of light. In this letter we tie the computational complexity of a class of multi-dimensional integrals to the permanents of large matrices using a simple quantum optics argument. In this way we prove that evaluating integrals in this class is \textbf{\#P}-hard. Our work provides a new approach… ▽ More Matrix permanents arise naturally in the context of linear optical networks fed with nonclassical states of light. In this letter we tie the computational complexity of a class of multi-dimensional integrals to the permanents of large matrices using a simple quantum optics argument. In this way we prove that evaluating integrals in this class is \textbf{\#P}-hard. Our work provides a new approach for using methods from quantum physics to prove statements in computer science. △ Less

Submitted 18 July, 2016; originally announced July 2016.

Comments: 6 pages

Corrected quantum walk for optimal Hamiltonian simulation

Authors: Dominic W. Berry, Leonardo Novo

Abstract: We describe a method to simulate Hamiltonian evolution on a quantum computer by repeatedly using a superposition of steps of a quantum walk, then applying a correction to the weightings for the numbers of steps of the quantum walk. This correction enables us to obtain complexity which is the same as the lower bound up to double-logarithmic factors for all parameter regimes. The scaling of the quer… ▽ More We describe a method to simulate Hamiltonian evolution on a quantum computer by repeatedly using a superposition of steps of a quantum walk, then applying a correction to the weightings for the numbers of steps of the quantum walk. This correction enables us to obtain complexity which is the same as the lower bound up to double-logarithmic factors for all parameter regimes. The scaling of the query complexity is $O\left( τ\frac{\log\logτ}{\log\log\logτ} + \log(1/ε) \right)$ where $τ:= t\|H\|_{\max}d$, for $ε$ the allowable error, $t$ the time, $\|H\|_{\max}$ the max-norm of the Hamiltonian, and $d$ the sparseness. This technique should also be useful for improving the scaling of the Taylor series approach to simulation, which is relevant to applications such as quantum chemistry. △ Less

Submitted 14 February, 2017; v1 submitted 10 June, 2016; originally announced June 2016.

Comments: 18 pages, published version

Journal ref: Quantum Information and Computation Vol. 16, No. 15&16, pp. 1295-1317 (2016)

Quantum enhanced spectroscopy with entangled multi-photon states

Authors: Hossein T. Dinani, Manish K. Gupta, Jonathan P. Dowling, Dominic W. Berry

Abstract: Traditionally, spectroscopy is performed by examining the position of absorption lines. However, at frequencies near the transition frequency, additional information can be obtained from the phase shift. In this work we consider the information about the transition frequency obtained from both the absorption and the phase shift, as quantified by the Fisher information in an interferometric measure… ▽ More Traditionally, spectroscopy is performed by examining the position of absorption lines. However, at frequencies near the transition frequency, additional information can be obtained from the phase shift. In this work we consider the information about the transition frequency obtained from both the absorption and the phase shift, as quantified by the Fisher information in an interferometric measurement. We examine the use of multiple single-photon states, NOON states, and numerically optimized states that are entangled and have multiple photons. We find the optimized states that improve over the standard quantum limit set by independent single photons for some atom number densities. △ Less

Submitted 14 March, 2016; originally announced March 2016.

Comments: 6 pages, 8 figures, comments are welcome

Journal ref: Phys. Rev. A 93, 063804 (2016)

Efficient recycling strategies for preparing large Fock states from single-photon sources --- Applications to quantum metrology

Authors: Keith R. Motes, Ryan L. Mann, Jonathan P. Olson, Nicholas M. Studer, E. Annelise Bergeron, Alexei Gilchrist, Jonathan P. Dowling, Dominic W. Berry, Peter P. Rohde

Abstract: Fock states are a fundamental resource for many quantum technologies such as quantum metrology. While much progress has been made in single-photon source technologies, preparing Fock states with large photon number remains challenging. We present and analyze a bootstrapped approach for non-deterministically preparing large photon-number Fock states by iteratively fusing smaller Fock states on a be… ▽ More Fock states are a fundamental resource for many quantum technologies such as quantum metrology. While much progress has been made in single-photon source technologies, preparing Fock states with large photon number remains challenging. We present and analyze a bootstrapped approach for non-deterministically preparing large photon-number Fock states by iteratively fusing smaller Fock states on a beamsplitter. We show that by employing state recycling we are able to exponentially improve the preparation rate over conventional schemes, allowing the efficient preparation of large Fock states. The scheme requires single-photon sources, beamsplitters, number-resolved photo-detectors, fast-feedforward, and an optical quantum memory. △ Less

Submitted 13 March, 2018; v1 submitted 1 March, 2016; originally announced March 2016.

Comments: 10 pages, 11 figures

Journal ref: Phys. Rev. A 94, 012344 (2016)

Optimized quantum sensing with a single electron spin using real-time adaptive measurements

Authors: Cristian Bonato, Machiel S. Blok, Hossein T. Dinani, Dominic W. Berry, Matthew L. Markham, Daniel J. Twitchen, Ronald Hanson

Abstract: Quantum sensors based on single solid-state spins promise a unique combination of sensitivity and spatial resolution. The key challenge in sensing is to achieve minimum estimation uncertainty within a given time and with a high dynamic range. Adaptive strategies have been proposed to achieve optimal performance but their implementation in solid-state systems has been hindered by the demanding expe… ▽ More Quantum sensors based on single solid-state spins promise a unique combination of sensitivity and spatial resolution. The key challenge in sensing is to achieve minimum estimation uncertainty within a given time and with a high dynamic range. Adaptive strategies have been proposed to achieve optimal performance but their implementation in solid-state systems has been hindered by the demanding experimental requirements. Here we realize adaptive d.c. sensing by combining single-shot readout of an electron spin in diamond with fast feedback. By adapting the spin readout basis in real time based on previous outcomes we demonstrate a sensitivity in Ramsey interferometry surpassing the standard measurement limit. Furthermore, we find by simulations and experiments that adaptive protocols offer a distinctive advantage over the best-known non-adaptive protocols when overhead and limited estimation time are taken into account. Using an optimized adaptive protocol we achieve a magnetic field sensitivity of $6.1 \pm 1.7$ nT *Hz$^{-1/2}$ over a wide range of 1.78 mT. These results open up a new class of experiments for solid-state sensors in which real-time knowledge of the measurement history is exploited to obtain optimal performance. △ Less

Submitted 18 August, 2015; v1 submitted 17 August, 2015; originally announced August 2015.

Comments: typos corrected

Journal ref: Nature Nanotechnology 11, 247-252 (2016)

Exponentially More Precise Quantum Simulation of Fermions in the Configuration Interaction Representation

Authors: Ryan Babbush, Dominic W. Berry, Yuval R. Sanders, Ian D. Kivlichan, Artur Scherer, Annie Y. Wei, Peter J. Love, Alán Aspuru-Guzik

Abstract: We present a quantum algorithm for the simulation of molecular systems that is asymptotically more efficient than all previous algorithms in the literature in terms of the main problem parameters. As in previous work [Babbush et al., New Journal of Physics 18, 033032 (2016)], we employ a recently developed technique for simulating Hamiltonian evolution, using a truncated Taylor series to obtain lo… ▽ More We present a quantum algorithm for the simulation of molecular systems that is asymptotically more efficient than all previous algorithms in the literature in terms of the main problem parameters. As in previous work [Babbush et al., New Journal of Physics 18, 033032 (2016)], we employ a recently developed technique for simulating Hamiltonian evolution, using a truncated Taylor series to obtain logarithmic scaling with the inverse of the desired precision. The algorithm of this paper involves simulation under an oracle for the sparse, first-quantized representation of the molecular Hamiltonian known as the configuration interaction (CI) matrix. We construct and query the CI matrix oracle to allow for on-the-fly computation of molecular integrals in a way that is exponentially more efficient than classical numerical methods. Whereas second-quantized representations of the wavefunction require $\widetilde{\cal O}(N)$ qubits, where $N$ is the number of single-particle spin-orbitals, the CI matrix representation requires $\widetilde{\cal O}(η)$ qubits where $η\ll N$ is the number of electrons in the molecule of interest. We show that the gate count of our algorithm scales at most as $\widetilde{\cal O}(η^2 N^3 t)$. △ Less

Submitted 25 May, 2017; v1 submitted 2 June, 2015; originally announced June 2015.

Comments: Complete rewrite (extended from 12 pages to 41 pages): results are now presented as formal proofs with clear assumptions

Journal ref: Quantum Science and Technology 3, 015006 (2018)

Exponentially more precise quantum simulation of fermions I: Quantum chemistry in second quantization

Authors: Ryan Babbush, Dominic W. Berry, Ian D. Kivlichan, Annie Y. Wei, Peter J. Love, Alán Aspuru-Guzik

Abstract: We introduce novel algorithms for the quantum simulation of molecular systems which are asymptotically more efficient than those based on the Trotter-Suzuki decomposition. We present the first application of a recently developed technique for simulating Hamiltonian evolution using a truncated Taylor series to obtain logarithmic scaling with the inverse of the desired precision, an exponential impr… ▽ More We introduce novel algorithms for the quantum simulation of molecular systems which are asymptotically more efficient than those based on the Trotter-Suzuki decomposition. We present the first application of a recently developed technique for simulating Hamiltonian evolution using a truncated Taylor series to obtain logarithmic scaling with the inverse of the desired precision, an exponential improvement over all prior methods. The two algorithms developed in this work rely on a second quantized encoding of the wavefunction in which the state of an $N$ spin-orbital system is encoded in ${\cal O}(N)$ qubits. Our first algorithm requires at most $\widetilde{\cal O}(N^8 t)$ gates. Our second algorithm involves on-the-fly computation of molecular integrals, in a way that is exponentially more precise than classical sampling methods, by using the truncated Taylor series simulation technique. Our second algorithm has the lowest gate count of any approach to second quantized quantum chemistry simulation in the literature, scaling as $\widetilde{\cal O}(N^{5} t)$. The approaches presented here are readily applicable to a wide class of fermionic models, many of which are defined by simplified versions of the chemistry Hamiltonian. △ Less

Submitted 28 September, 2015; v1 submitted 2 June, 2015; originally announced June 2015.

Comments: 13 pages, 1 figure. Part I of a two-paper series. For Part II see arXiv:1506.01029

Journal ref: New J. Phys. 18 (2016) 033032

Hamiltonian simulation with nearly optimal dependence on all parameters

Authors: Dominic W. Berry, Andrew M. Childs, Robin Kothari

Abstract: We present an algorithm for sparse Hamiltonian simulation whose complexity is optimal (up to log factors) as a function of all parameters of interest. Previous algorithms had optimal or near-optimal scaling in some parameters at the cost of poor scaling in others. Hamiltonian simulation via a quantum walk has optimal dependence on the sparsity at the expense of poor scaling in the allowed error. I… ▽ More We present an algorithm for sparse Hamiltonian simulation whose complexity is optimal (up to log factors) as a function of all parameters of interest. Previous algorithms had optimal or near-optimal scaling in some parameters at the cost of poor scaling in others. Hamiltonian simulation via a quantum walk has optimal dependence on the sparsity at the expense of poor scaling in the allowed error. In contrast, an approach based on fractional-query simulation provides optimal scaling in the error at the expense of poor scaling in the sparsity. Here we combine the two approaches, achieving the best features of both. By implementing a linear combination of quantum walk steps with coefficients given by Bessel functions, our algorithm's complexity (as measured by the number of queries and 2-qubit gates) is logarithmic in the inverse error, and nearly linear in the product $τ$ of the evolution time, the sparsity, and the magnitude of the largest entry of the Hamiltonian. Our dependence on the error is optimal, and we prove a new lower bound showing that no algorithm can have sublinear dependence on $τ$. △ Less

Submitted 6 December, 2015; v1 submitted 7 January, 2015; originally announced January 2015.

Comments: 21 pages, corrects minor error in Lemma 7 in FOCS version

Report number: MIT-CTP-4631

Journal ref: Proceedings of the 56th IEEE Symposium on Foundations of Computer Science (FOCS 2015), pp. 792-809 (2015)

Simulating Hamiltonian dynamics with a truncated Taylor series

Authors: Dominic W. Berry, Andrew M. Childs, Richard Cleve, Robin Kothari, Rolando D. Somma

Abstract: We describe a simple, efficient method for simulating Hamiltonian dynamics on a quantum computer by approximating the truncated Taylor series of the evolution operator. Our method can simulate the time evolution of a wide variety of physical systems. As in another recent algorithm, the cost of our method depends only logarithmically on the inverse of the desired precision, which is optimal. Howeve… ▽ More We describe a simple, efficient method for simulating Hamiltonian dynamics on a quantum computer by approximating the truncated Taylor series of the evolution operator. Our method can simulate the time evolution of a wide variety of physical systems. As in another recent algorithm, the cost of our method depends only logarithmically on the inverse of the desired precision, which is optimal. However, we simplify the algorithm and its analysis by using a method for implementing linear combinations of unitary operations to directly apply the truncated Taylor series. △ Less

Submitted 15 December, 2014; originally announced December 2014.

Comments: 5 pages

Report number: LA-UR-14-22745, MIT-CTP #4618

Journal ref: Phys. Rev. Lett. 114, 090502 (2015)