Showing 1–50 of 59 results for author: Love, P J

Contextual Subspace Variational Quantum Eigensolver Calculation of the Dissociation Curve of Molecular Nitrogen on a Superconducting Quantum Computer

Authors: Tim Weaving, Alexis Ralli, Peter J. Love, Sauro Succi, Peter V. Coveney

Abstract: In this work we present an experimental demonstration of the Contextual Subspace Variational Quantum Eigensolver on superconducting quantum hardware. In particular, we compute the potential energy curve for molecular nitrogen, where a dominance of static correlation in the dissociation limit proves challenging for many conventional quantum chemistry techniques. Our quantum simulations retain good… ▽ More In this work we present an experimental demonstration of the Contextual Subspace Variational Quantum Eigensolver on superconducting quantum hardware. In particular, we compute the potential energy curve for molecular nitrogen, where a dominance of static correlation in the dissociation limit proves challenging for many conventional quantum chemistry techniques. Our quantum simulations retain good agreement with the full configuration interaction energy in the chosen STO-3G basis, outperforming coupled cluster singles doubles with perturbative triples as one stretches the triple bond past a separation of 1.73 Å. To achieve this result we deploy a quantum error mitigation strategy made up of measurement-error mitigation, dynamical decoupling and zero-noise extrapolation, in addition to circuit parallelization that not only provides passive noise averaging but improves the effective shot yield to reduce the measurement overhead. Furthermore, we introduce a modification to previous adaptive ansatz construction algorithms that incorporates hardware-awareness. △ Less

Submitted 7 December, 2023; originally announced December 2023.

Comments: 17 pages, 7 figures

Simulating Scattering of Composite Particles

Authors: Michael Kreshchuk, James P. Vary, Peter J. Love

Abstract: We develop a non-perturbative approach to simulating scattering on classical and quantum computers, in which the initial and final states contain a fixed number of composite particles. The construction is designed to mimic a particle collision, wherein two composite particles are brought in contact. The initial states are assembled via consecutive application of operators creating eigenstates of t… ▽ More We develop a non-perturbative approach to simulating scattering on classical and quantum computers, in which the initial and final states contain a fixed number of composite particles. The construction is designed to mimic a particle collision, wherein two composite particles are brought in contact. The initial states are assembled via consecutive application of operators creating eigenstates of the interacting theory from vacuum. These operators are defined with the aid of the Møller wave operator, which can be constructed using such methods as adiabatic state preparation or double commutator flow equation. The approach is well-suited for studying strongly coupled systems in both relativistic and non-relativistic settings. For relativistic systems, we employ the language of light-front quantization, which has been previously used for studying the properties of individual bound states, as well as for simulating their scattering in external fields, and is now adopted to the studies of scattering of bound state systems. For simulations on classical computers, we describe an algorithm for calculating exact (in the sense of a given discretized theory) scattering probabilities, which has cost (memory and time) exponential in momentum grid size. Such calculations may be interesting in their own right and can be used for benchmarking results of a quantum simulation algorithm, which is the main application of the developed framework. We illustrate our ideas with an application to the $φ^4$ theory in $1+1\rm D$. △ Less

Submitted 26 October, 2023; v1 submitted 20 October, 2023; originally announced October 2023.

Comments: 32 pages, 10 figures, 3 tables

Error mitigation, optimization, and extrapolation on a trapped ion testbed

Authors: Oliver G. Maupin, Ashlyn D. Burch, Brandon Ruzic, Christopher G. Yale, Antonio Russo, Daniel S. Lobser, Melissa C. Revelle, Matthew N. Chow, Susan M. Clark, Andrew J. Landahl, Peter J. Love

Abstract: Current noisy intermediate-scale quantum (NISQ) trapped-ion devices are subject to errors which can significantly impact the accuracy of calculations if left unchecked. A form of error mitigation called zero noise extrapolation (ZNE) can decrease an algorithm's sensitivity to these errors without increasing the number of required qubits. Here, we explore different methods for integrating this erro… ▽ More Current noisy intermediate-scale quantum (NISQ) trapped-ion devices are subject to errors which can significantly impact the accuracy of calculations if left unchecked. A form of error mitigation called zero noise extrapolation (ZNE) can decrease an algorithm's sensitivity to these errors without increasing the number of required qubits. Here, we explore different methods for integrating this error mitigation technique into the Variational Quantum Eigensolver (VQE) algorithm for calculating the ground state of the HeH+ molecule at 0.8 Angstrom in the presence of realistic noise. Using the Quantum Scientific Computing Open User Testbed (QSCOUT) trapped-ion device, we test three methods of scaling noise for extrapolation: time-stretching the two-qubit gates, scaling the sideband amplitude parameter, and inserting two-qubit gate identity operations into the ansatz circuit. We find time-stretching and sideband amplitude scaling fail to scale the noise on our particular hardware in a way that can be directly extrapolated to zero noise. Scaling our noise with global gate identity insertions and extrapolating after variational optimization, we achieve an estimate of the ground state energy within -0.004 +- 0.04 Hartree; outside chemical accuracy, but greatly improved over our non-error-mitigated estimate with error 0.127 +- 0.008 Hartree. Our results show that the efficacy of this error mitigation technique depends on choosing the correct implementation for a given device architecture. △ Less

Submitted 3 April, 2024; v1 submitted 13 July, 2023; originally announced July 2023.

Comments: 20 pages, 13 figures

Benchmarking Noisy Intermediate Scale Quantum Error Mitigation Strategies for Ground State Preparation of the HCl Molecule

Authors: Tim Weaving, Alexis Ralli, William M. Kirby, Peter J. Love, Sauro Succi, Peter V. Coveney

Abstract: Due to numerous limitations including restrictive qubit topologies, short coherence times and prohibitively high noise floors, few quantum chemistry experiments performed on existing noisy intermediate-scale quantum hardware have achieved the high bar of chemical precision, namely energy errors to within 1.6 mHa of full configuration interaction. To have any hope of doing so, we must layer contemp… ▽ More Due to numerous limitations including restrictive qubit topologies, short coherence times and prohibitively high noise floors, few quantum chemistry experiments performed on existing noisy intermediate-scale quantum hardware have achieved the high bar of chemical precision, namely energy errors to within 1.6 mHa of full configuration interaction. To have any hope of doing so, we must layer contemporary resource reduction techniques with best-in-class error mitigation methods; in particular, we combine the techniques of qubit tapering and the contextual subspace variational quantum eigensolver with several error mitigation strategies comprised of measurement-error mitigation, symmetry verification, zero-noise extrapolation and dual-state purification. We benchmark these strategies across a suite of eight 27-qubit IBM Falcon series quantum processors, taking preparation of the HCl molecule's ground state as our testbed. △ Less

Submitted 2 March, 2023; v1 submitted 1 March, 2023; originally announced March 2023.

Comments: 18 pages, 15 figures, 4 tables, supplementary GitHub repository: https://github.com/TimWeaving/quantum-error-mitigation

Unitary Partitioning and the Contextual Subspace Variational Quantum Eigensolver

Authors: Alexis Ralli, Tim Weaving, Andrew Tranter, William M. Kirby, Peter J. Love, Peter V. Coveney

Abstract: The contextual subspace variational quantum eigensolver (CS-VQE) is a hybrid quantum-classical algorithm that approximates the ground-state energy of a given qubit Hamiltonian. It achieves this by separating the Hamiltonian into contextual and noncontextual parts. The ground-state energy is approximated by classically solving the noncontextual problem, followed by solving the contextual problem us… ▽ More The contextual subspace variational quantum eigensolver (CS-VQE) is a hybrid quantum-classical algorithm that approximates the ground-state energy of a given qubit Hamiltonian. It achieves this by separating the Hamiltonian into contextual and noncontextual parts. The ground-state energy is approximated by classically solving the noncontextual problem, followed by solving the contextual problem using VQE, constrained by the noncontextual solution. In general, computation of the contextual correction needs fewer qubits and measurements compared with solving the full Hamiltonian via traditional VQE. We simulate CS-VQE on different tapered molecular Hamiltonians and apply the unitary partitioning measurement reduction strategy to further reduce the number of measurements required to obtain the contextual correction. Our results indicate that CS-VQE combined with measurement reduction is a promising approach to allow feasible eigenvalue computations on noisy intermediate-scale quantum devices. We also provide a modification to the CS-VQE algorithm; the CS-VQE algorithm previously could cause an exponential increase in Hamiltonian terms, but with this modification now at worst will scale quadratically. △ Less

Submitted 13 February, 2023; v1 submitted 7 July, 2022; originally announced July 2022.

Comments: updated to match online publication

A stabilizer framework for Contextual Subspace VQE and the noncontextual projection ansatz

Authors: Tim Weaving, Alexis Ralli, William M. Kirby, Andrew Tranter, Peter J. Love, Peter V. Coveney

Abstract: Quantum chemistry is a promising application for noisy intermediate-scale quantum (NISQ) devices. However, quantum computers have thus far not succeeded in providing solutions to problems of real scientific significance, with algorithmic advances being necessary to fully utilise even the modest NISQ machines available today. We discuss a method of ground state energy estimation predicated on a par… ▽ More Quantum chemistry is a promising application for noisy intermediate-scale quantum (NISQ) devices. However, quantum computers have thus far not succeeded in providing solutions to problems of real scientific significance, with algorithmic advances being necessary to fully utilise even the modest NISQ machines available today. We discuss a method of ground state energy estimation predicated on a partitioning the molecular Hamiltonian into two parts: one that is noncontextual and can be solved classically, supplemented by a contextual component that yields quantum corrections obtained via a Variational Quantum Eigensolver (VQE) routine. This approach has been termed Contextual Subspace VQE (CS-VQE), but there are obstacles to overcome before it can be deployed on NISQ devices. The problem we address here is that of the ansatz - a parametrized quantum state over which we optimize during VQE. It is not initially clear how a splitting of the Hamiltonian should be reflected in our CS-VQE ansätze. We propose a 'noncontextual projection' approach that is illuminated by a reformulation of CS-VQE in the stabilizer formalism. This defines an ansatz restriction from the full electronic structure problem to the contextual subspace and facilitates an implementation of CS-VQE that may be deployed on NISQ devices. We validate the noncontextual projection ansatz using a quantum simulator, with results obtained herein for a suite of trial molecules. △ Less

Submitted 30 August, 2022; v1 submitted 5 April, 2022; originally announced April 2022.

Comments: 37 pages, 3 figures; supporting information available in addition to ancillary data files for reproducibility

CAFQA: A classical simulation bootstrap for variational quantum algorithms

Authors: Gokul Subramanian Ravi, Pranav Gokhale, Yi Ding, William M. Kirby, Kaitlin N. Smith, Jonathan M. Baker, Peter J. Love, Henry Hoffmann, Kenneth R. Brown, Frederic T. Chong

Abstract: This work tackles the problem of finding a good ansatz initialization for Variational Quantum Algorithms (VQAs), by proposing CAFQA, a Clifford Ansatz For Quantum Accuracy. The CAFQA ansatz is a hardware-efficient circuit built with only Clifford gates. In this ansatz, the parameters for the tunable gates are chosen by searching efficiently through the Clifford parameter space via classical simula… ▽ More This work tackles the problem of finding a good ansatz initialization for Variational Quantum Algorithms (VQAs), by proposing CAFQA, a Clifford Ansatz For Quantum Accuracy. The CAFQA ansatz is a hardware-efficient circuit built with only Clifford gates. In this ansatz, the parameters for the tunable gates are chosen by searching efficiently through the Clifford parameter space via classical simulation. The resulting initial states always equal or outperform traditional classical initialization (e.g., Hartree-Fock), and enable high-accuracy VQA estimations. CAFQA is well-suited to classical computation because: a) Clifford-only quantum circuits can be exactly simulated classically in polynomial time, and b) the discrete Clifford space is searched efficiently via Bayesian Optimization. For the Variational Quantum Eigensolver (VQE) task of molecular ground state energy estimation (up to 18 qubits), CAFQA's Clifford Ansatz achieves a mean accuracy of nearly 99% and recovers as much as 99.99% of the molecular correlation energy that is lost in Hartree-Fock initialization. CAFQA achieves mean accuracy improvements of 6.4x and 56.8x, over the state-of-the-art, on different metrics. The scalability of the approach allows for preliminary ground state energy estimation of the challenging chromium dimer (Cr$_2$) molecule. With CAFQA's high-accuracy initialization, the convergence of VQAs is shown to accelerate by 2.5x, even for small molecules. Furthermore, preliminary exploration of allowing a limited number of non-Clifford (T) gates in the CAFQA framework, shows that as much as 99.9% of the correlation energy can be recovered at bond lengths for which Clifford-only CAFQA accuracy is relatively limited, while remaining classically simulable. △ Less

Submitted 29 September, 2023; v1 submitted 25 February, 2022; originally announced February 2022.

Comments: Appears at the 28th Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2023). Previous title - CAFQA: Clifford Ansatz For Quantum Accuracy. Paper revised to ASPLOS requirements, added additional improvements to the CAFQA framework / evaluation. Added preliminary exploration on CAFQA with T gates

Limitations of Local Quantum Algorithms on Random Max-k-XOR and Beyond

Authors: Chi-Ning Chou, Peter J. Love, Juspreet Singh Sandhu, Jonathan Shi

Abstract: We introduce a notion of \emph{generic local algorithm} which strictly generalizes existing frameworks of local algorithms such as \emph{factors of i.i.d.} by capturing local \emph{quantum} algorithms such as the Quantum Approximate Optimization Algorithm (QAOA). Motivated by a question of Farhi et al. [arXiv:1910.08187, 2019] we then show limitations of generic local algorithms including QAOA o… ▽ More We introduce a notion of \emph{generic local algorithm} which strictly generalizes existing frameworks of local algorithms such as \emph{factors of i.i.d.} by capturing local \emph{quantum} algorithms such as the Quantum Approximate Optimization Algorithm (QAOA). Motivated by a question of Farhi et al. [arXiv:1910.08187, 2019] we then show limitations of generic local algorithms including QAOA on random instances of constraint satisfaction problems (CSPs). Specifically, we show that any generic local algorithm whose assignment to a vertex depends only on a local neighborhood with $o(n)$ other vertices (such as the QAOA at depth less than $ε\log(n)$) cannot arbitrarily-well approximate boolean CSPs if the problem satisfies a geometric property from statistical physics called the coupled overlap-gap property (OGP) [Chen et al., Annals of Probability, 47(3), 2019]. We show that the random MAX-k-XOR problem has this property when $k\geq4$ is even by extending the corresponding result for diluted $k$-spin glasses. Our concentration lemmas confirm a conjecture of Brandao et al. [arXiv:1812.04170, 2018] asserting that the landscape independence of QAOA extends to logarithmic depth -- in other words, for every fixed choice of QAOA angle parameters, the algorithm at logarithmic depth performs almost equally well on almost all instances. One of these concentration lemmas is a strengthening of McDiarmid's inequality, applicable when the random variables have a highly biased distribution, and may be of independent interest. △ Less

Submitted 21 February, 2022; v1 submitted 12 August, 2021; originally announced August 2021.

Comments: 59 pages, 2 figures. Third version has an updated abstract, an introduction with a more complete literature review, and open questions, as well as a fix to some typos in Section-5 and Section-6. The second version was updated with a new proof that demonstrated a coupled OGP for Random Max-k-XOR (signed)

Counterdiabaticity and the quantum approximate optimization algorithm

Authors: Jonathan Wurtz, Peter J. Love

Abstract: The quantum approximate optimization algorithm (QAOA) is a near-term hybrid algorithm intended to solve combinatorial optimization problems, such as MaxCut. QAOA can be made to mimic an adiabatic schedule, and in the $p\to\infty$ limit the final state is an exact maximal eigenstate in accordance with the adiabatic theorem. In this work, the connection between QAOA and adiabaticity is made explicit… ▽ More The quantum approximate optimization algorithm (QAOA) is a near-term hybrid algorithm intended to solve combinatorial optimization problems, such as MaxCut. QAOA can be made to mimic an adiabatic schedule, and in the $p\to\infty$ limit the final state is an exact maximal eigenstate in accordance with the adiabatic theorem. In this work, the connection between QAOA and adiabaticity is made explicit by inspecting the regime of $p$ large but finite. By connecting QAOA to counterdiabatic (CD) evolution, we construct CD-QAOA angles which mimic a counterdiabatic schedule by matching Trotter "error" terms to approximate adiabatic gauge potentials which suppress diabatic excitations arising from finite ramp speed. In our construction, these "error" terms are helpful, not detrimental, to QAOA. Using this matching to link QAOA with quantum adiabatic algorithms (QAA), we show that the approximation ratio converges to one at least as $1-C(p)\sim 1/p^μ$. We show that transfer of parameters between graphs, and interpolating angles for $p+1$ given $p$ are both natural byproducts of CD-QAOA matching. Optimization of CD-QAOA angles is equivalent to optimizing a continuous adiabatic schedule. Finally, we show that, using a property of variational adiabatic gauge potentials, QAOA is at least counterdiabatic, not just adiabatic, and has better performance than finite time adiabatic evolution. We demonstrate the method on three examples: a 2 level system, an Ising chain, and the MaxCut problem. △ Less

Submitted 22 January, 2022; v1 submitted 29 June, 2021; originally announced June 2021.

Comments: 27 pages, 6 figures

Journal ref: Quantum 6, 635 (2022)

Quantum and Classical Bayesian Agents

Authors: John B. DeBrota, Peter J. Love

Abstract: We describe a general approach to modeling rational decision-making agents who adopt either quantum or classical mechanics based on the Quantum Bayesian (QBist) approach to quantum theory. With the additional ingredient of a scheme by which the properties of one agent may influence another, we arrive at a flexible framework for treating multiple interacting quantum and classical Bayesian agents. W… ▽ More We describe a general approach to modeling rational decision-making agents who adopt either quantum or classical mechanics based on the Quantum Bayesian (QBist) approach to quantum theory. With the additional ingredient of a scheme by which the properties of one agent may influence another, we arrive at a flexible framework for treating multiple interacting quantum and classical Bayesian agents. We present simulations in several settings to illustrate our construction: quantum and classical agents receiving signals from an exogenous source, two interacting classical agents, two interacting quantum agents, and interactions between classical and quantum agents. A consistent treatment of multiple interacting users of quantum theory may allow us to properly interpret existing multi-agent protocols and could suggest new approaches in other areas such as quantum algorithm design. △ Less

Submitted 11 May, 2022; v1 submitted 16 June, 2021; originally announced June 2021.

Comments: 51 pages, 17 figures

Journal ref: Quantum 6, 713 (2022)

Quantum Simulation of Second-Quantized Hamiltonians in Compact Encoding

Authors: William M. Kirby, Sultana Hadi, Michael Kreshchuk, Peter J. Love

Abstract: We describe methods for simulating general second-quantized Hamiltonians using the compact encoding, in which qubit states encode only the occupied modes in physical occupation number basis states. These methods apply to second-quantized Hamiltonians composed of a constant number of interactions, i.e., linear combinations of ladder operator monomials of fixed form. Compact encoding leads to qubit… ▽ More We describe methods for simulating general second-quantized Hamiltonians using the compact encoding, in which qubit states encode only the occupied modes in physical occupation number basis states. These methods apply to second-quantized Hamiltonians composed of a constant number of interactions, i.e., linear combinations of ladder operator monomials of fixed form. Compact encoding leads to qubit requirements that are optimal up to logarithmic factors. We show how to use sparse Hamiltonian simulation methods for second-quantized Hamiltonians in compact encoding, give explicit implementations for the required oracles, and analyze the methods. We also describe several example applications including the free boson and fermion theories, the $φ^4$-theory, and the massive Yukawa model, all in both equal-time and light-front quantization. Our methods provide a general-purpose tool for simulating second-quantized Hamiltonians, with optimal or near-optimal scaling with error and model parameters. △ Less

Submitted 28 June, 2022; v1 submitted 23 May, 2021; originally announced May 2021.

Comments: published version with some corrections; 27 pages, 4 figures

Journal ref: Phys. Rev. A 104, 042607 (2021)

Benchmarking near-term quantum devices with the Variational Quantum Eigensolver and the Lipkin-Meshkov-Glick model

Authors: Kenneth Robbins, Peter J. Love

Abstract: The Variational Quantum Eigensolver (VQE) is a promising algorithm for Noisy Intermediate Scale Quantum (NISQ) computation. Verification and validation of NISQ algorithms' performance on NISQ devices is an important task. We consider the exactly-diagonalizable Lipkin-Meshkov-Glick (LMG) model as a candidate for benchmarking NISQ computers. We use the Bethe ansatz to construct eigenstates of the tr… ▽ More The Variational Quantum Eigensolver (VQE) is a promising algorithm for Noisy Intermediate Scale Quantum (NISQ) computation. Verification and validation of NISQ algorithms' performance on NISQ devices is an important task. We consider the exactly-diagonalizable Lipkin-Meshkov-Glick (LMG) model as a candidate for benchmarking NISQ computers. We use the Bethe ansatz to construct eigenstates of the trigonometric LMG model using quantum circuits inspired by the LMG's underlying algebraic structure. We construct circuits with depth $\mathcal{O}(N)$ and $\mathcal{O}(\log_2N)$ that can prepare any trigonometric LMG eigenstate of $N$ particles. The number of gates required for both circuits is $\mathcal{O}(N)$. The energies of the eigenstates can then be measured and compared to the exactly-known answers. △ Less

Submitted 2 August, 2021; v1 submitted 14 May, 2021; originally announced May 2021.

Comments: 15 pages, 4 figures, 1 table

Journal ref: Phys. Rev. A 104, 022412 (2021)

Variational quantum eigensolvers for sparse Hamiltonians

Authors: William M. Kirby, Peter J. Love

Abstract: Hybrid quantum-classical variational algorithms such as the variational quantum eigensolver (VQE) and the quantum approximate optimization algorithm (QAOA) are promising applications for noisy, intermediate-scale quantum (NISQ) computers. Both VQE and QAOA variationally extremize the expectation value of a Hamiltonian. All work to date on VQE and QAOA has been limited to Pauli representations of H… ▽ More Hybrid quantum-classical variational algorithms such as the variational quantum eigensolver (VQE) and the quantum approximate optimization algorithm (QAOA) are promising applications for noisy, intermediate-scale quantum (NISQ) computers. Both VQE and QAOA variationally extremize the expectation value of a Hamiltonian. All work to date on VQE and QAOA has been limited to Pauli representations of Hamiltonians. However, many cases exist in which a sparse representation of the Hamiltonian is known but there is no efficient Pauli representation. We extend VQE to general sparse Hamiltonians. We provide a decomposition of a fermionic second-quantized Hamiltonian into a number of one-sparse, self-inverse, Hermitian terms linear in the number of ladder operator monomials in the second-quantized representation. We provide a decomposition of a general $d$-sparse Hamiltonian into $O(d^2)$ such terms. In both cases a single sample of any term can be obtained using two ansatz state preparations and at most six oracle queries. The number of samples required to estimate the expectation value to precision $ε$ scales as $ε^{-2}$ as for Pauli-based VQE. This widens the domain of applicability of VQE to systems whose Hamiltonian and other observables are most efficiently described in terms of sparse matrices. △ Less

Submitted 9 September, 2021; v1 submitted 13 December, 2020; originally announced December 2020.

Comments: published version; 12 pages, 5 figures

Journal ref: Phys. Rev. Lett. 127, 110503 (2021)

Simulating Hadronic Physics on NISQ devices using Basis Light-Front Quantization

Authors: Michael Kreshchuk, Shaoyang Jia, William M. Kirby, Gary Goldstein, James P. Vary, Peter J. Love

Abstract: The analogy between quantum chemistry and light-front quantum field theory, first noted by Kenneth G. Wilson, serves as motivation to develop light-front quantum simulation of quantum field theory. We demonstrate how calculations of hadron structure can be performed on Noisy Intermediate-Scale Quantum devices within the Basis Light-Front Quantization framework. We calculate the light-front wave fu… ▽ More The analogy between quantum chemistry and light-front quantum field theory, first noted by Kenneth G. Wilson, serves as motivation to develop light-front quantum simulation of quantum field theory. We demonstrate how calculations of hadron structure can be performed on Noisy Intermediate-Scale Quantum devices within the Basis Light-Front Quantization framework. We calculate the light-front wave functions of pions using an effective light-front Hamiltonian in a basis representation on a current quantum processor. We use the Variational Quantum Eigensolver to find the ground state energy and wave function, which is subsequently used to calculate pion mass radius, decay constant, elastic form factor, and charge radius. △ Less

Submitted 26 November, 2020; originally announced November 2020.

Comments: 25 pages, 8 figures, 5 tables

Journal ref: Phys. Rev. A 103, 062601 (2021)

Contextual Subspace Variational Quantum Eigensolver

Authors: William M. Kirby, Andrew Tranter, Peter J. Love

Abstract: We describe the contextual subspace variational quantum eigensolver (CS-VQE), a hybrid quantum-classical algorithm for approximating the ground state energy of a Hamiltonian. The approximation to the ground state energy is obtained as the sum of two contributions. The first contribution comes from a noncontextual approximation to the Hamiltonian, and is computed classically. The second contributio… ▽ More We describe the contextual subspace variational quantum eigensolver (CS-VQE), a hybrid quantum-classical algorithm for approximating the ground state energy of a Hamiltonian. The approximation to the ground state energy is obtained as the sum of two contributions. The first contribution comes from a noncontextual approximation to the Hamiltonian, and is computed classically. The second contribution is obtained by using the variational quantum eigensolver (VQE) technique to compute a contextual correction on a quantum processor. In general the VQE computation of the contextual correction uses fewer qubits and measurements than the VQE computation of the original problem. Varying the number of qubits used for the contextual correction adjusts the quality of the approximation. We simulate CS-VQE on tapered Hamiltonians for small molecules, and find that the number of qubits required to reach chemical accuracy can be reduced by more than a factor of two. The number of terms required to compute the contextual correction can be reduced by more than a factor of ten, without the use of other measurement reduction schemes. This indicates that CS-VQE is a promising approach for eigenvalue computations on noisy intermediate-scale quantum devices. △ Less

Submitted 12 May, 2021; v1 submitted 19 November, 2020; originally announced November 2020.

Comments: 18 pages, 5 figures

Journal ref: Quantum 5, 456 (2021)

Lipkin model on a quantum computer

Authors: Michael J. Cervia, A. B. Balantekin, S. N. Coppersmith, Calvin W. Johnson, Peter J. Love, C. Poole, K. Robbins, M. Saffman

Abstract: Atomic nuclei are important laboratories for exploring and testing new insights into the universe, such as experiments to directly detect dark matter or explore properties of neutrinos. The targets of interest are often heavy, complex nuclei that challenge our ability to reliably model them (as well as quantify the uncertainty of those models) with classical computers. Hence there is great interes… ▽ More Atomic nuclei are important laboratories for exploring and testing new insights into the universe, such as experiments to directly detect dark matter or explore properties of neutrinos. The targets of interest are often heavy, complex nuclei that challenge our ability to reliably model them (as well as quantify the uncertainty of those models) with classical computers. Hence there is great interest in applying quantum computation to nuclear structure for these applications. As an early step in this direction, especially with regards to the uncertainties in the relevant quantum calculations, we develop circuits to implement variational quantum eigensolver (VQE) algorithms for the Lipkin-Meshkov-Glick model, which is often used in the nuclear physics community as a testbed for many-body methods. We present quantum circuits for VQE for two and three particles and discuss the construction of circuits for more particles. Implementing the VQE for a two-particle system on the IBM Quantum Experience, we identify initialization and two-qubit gates as the largest sources of error. We find that error mitigation procedures reduce the errors in the results significantly, but additional quantum hardware improvements are needed for quantum calculations to be sufficiently accurate to be competitive with the best current classical methods. △ Less

Submitted 18 September, 2021; v1 submitted 8 November, 2020; originally announced November 2020.

Comments: 11 pages of RevTeX, 8 figures

Journal ref: Phys. Rev. C 104, 024305 (2021)

MAXCUT QAOA performance guarantees for p >1

Authors: Jonathan Wurtz, Peter J. Love

Abstract: We obtain worst case performance guarantees for $p=2$ and $3$ QAOA for MAXCUT on uniform 3-regular graphs. Previous work by Farhi et al obtained a lower bound on the approximation ratio of $0.692$ for $p=1$. We find a lower bound of $0.7559$ for $p=2$, where worst case graphs are those with no cycles $\leq 5$. This bound holds for any 3 regular graph evaluated at particular fixed parameters. We co… ▽ More We obtain worst case performance guarantees for $p=2$ and $3$ QAOA for MAXCUT on uniform 3-regular graphs. Previous work by Farhi et al obtained a lower bound on the approximation ratio of $0.692$ for $p=1$. We find a lower bound of $0.7559$ for $p=2$, where worst case graphs are those with no cycles $\leq 5$. This bound holds for any 3 regular graph evaluated at particular fixed parameters. We conjecture a hierarchy for all $p$, where worst case graphs have with no cycles $\leq 2p+1$. Under this conjecture, the approximation ratio is at least $0.7924$ for all 3 regular graphs and $p=3$. In addition, using a simple indistinguishability argument we find an upper bound on the worst case approximation ratio for all $p$, which indicates classes of graphs for which there can be no quantum advantage for at least $p<6$. △ Less

Submitted 2 February, 2021; v1 submitted 21 October, 2020; originally announced October 2020.

Comments: 17 pages, 13 figures

Journal ref: Phys. Rev. A 103, 042612 (2021)

Light-Front Field Theory on Current Quantum Computers

Authors: Michael Kreshchuk, Shaoyang Jia, William M. Kirby, Gary Goldstein, James P. Vary, Peter J. Love

Abstract: We present a quantum algorithm for simulation of quantum field theory in the light-front formulation and demonstrate how existing quantum devices can be used to study the structure of bound states in relativistic nuclear physics. Specifically, we apply the Variational Quantum Eigensolver algorithm to find the ground state of the light-front Hamiltonian obtained within the Basis Light-Front Quantiz… ▽ More We present a quantum algorithm for simulation of quantum field theory in the light-front formulation and demonstrate how existing quantum devices can be used to study the structure of bound states in relativistic nuclear physics. Specifically, we apply the Variational Quantum Eigensolver algorithm to find the ground state of the light-front Hamiltonian obtained within the Basis Light-Front Quantization framework. As a demonstration, we calculate the mass, mass radius, decay constant, electromagnetic form factor, and charge radius of the pion on the IBMQ Vigo chip. We consider two implementations based on different encodings of physical states, and propose a development that may lead to quantum advantage. This is the first time that the light-front approach to quantum field theory has been used to enable simulation of a real physical system on a quantum computer. △ Less

Submitted 16 September, 2020; originally announced September 2020.

Comments: 5 pages, 4 figures, 2 tables

Journal ref: Entropy 2021, 23, 597

Classical Simulation of Noncontextual Pauli Hamiltonians

Authors: William M. Kirby, Peter J. Love

Abstract: Noncontextual Pauli Hamiltonians decompose into sets of Pauli terms to which joint values may be assigned without contradiction. We construct a quasi-quantized model for noncontextual Pauli Hamiltonians. Using this model, we give an algorithm to classically simulate noncontextual VQE. We also use the model to show that the noncontextual Hamiltonian problem is NP-complete. Finally, we explore the a… ▽ More Noncontextual Pauli Hamiltonians decompose into sets of Pauli terms to which joint values may be assigned without contradiction. We construct a quasi-quantized model for noncontextual Pauli Hamiltonians. Using this model, we give an algorithm to classically simulate noncontextual VQE. We also use the model to show that the noncontextual Hamiltonian problem is NP-complete. Finally, we explore the applicability of our quasi-quantized model as an approximate simulation tool for contextual Hamiltonians. These results support the notion of noncontextuality as classicality in near-term quantum algorithms. △ Less

Submitted 24 September, 2020; v1 submitted 13 February, 2020; originally announced February 2020.

Comments: 15 pages

Journal ref: Phys. Rev. A 102, 032418 (2020)

Quantum Simulation of Quantum Field Theory in the Light-Front Formulation

Authors: Michael Kreshchuk, William M. Kirby, Gary Goldstein, Hugo Beauchemin, Peter J. Love

Abstract: Quantum chromodynamics (QCD) describes the structure of hadrons such as the proton at a fundamental level. The precision of calculations in QCD limits the precision of the values of many physical parameters extracted from collider data. For example, uncertainty in the parton distribution function (PDF) is the dominant source of error in the $W$ mass measurement at the LHC. Improving the precision… ▽ More Quantum chromodynamics (QCD) describes the structure of hadrons such as the proton at a fundamental level. The precision of calculations in QCD limits the precision of the values of many physical parameters extracted from collider data. For example, uncertainty in the parton distribution function (PDF) is the dominant source of error in the $W$ mass measurement at the LHC. Improving the precision of such measurements is essential in the search for new physics. Quantum simulation offers an efficient way of studying quantum field theories (QFTs) such as QCD non-perturbatively. Previous quantum algorithms for simulating QFTs have qubit requirements that are well beyond the most ambitious experimental proposals for large-scale quantum computers. Can the qubit requirements for such algorithms be brought into range of quantum computation with several thousand logical qubits? We show how this can be achieved by using the light-front formulation of quantum field theory. This work was inspired by the similarity of the light-front formulation to quantum chemistry, first noted by Kenneth Wilson. △ Less

Submitted 26 August, 2020; v1 submitted 10 February, 2020; originally announced February 2020.

Comments: 58 pages, 3 figures, 1 table

Journal ref: Phys. Rev. A 105, 032418 (2022)

Ordering of Trotterization: Impact on Errors in Quantum Simulation of Electronic Structure

Authors: Andrew Tranter, Peter J. Love, Florian Mintert, Nathan Wiebe, Peter V. Coveney

Abstract: Trotter-Suzuki decompositions are frequently used in the quantum simulation of quantum chemistry. They transform the evolution operator into a form implementable on a quantum device, while incurring an error---the Trotter error. The Trotter error can be made arbitrarily small by increasing the Trotter number. However, this increases the length of the quantum circuits required, which may be impract… ▽ More Trotter-Suzuki decompositions are frequently used in the quantum simulation of quantum chemistry. They transform the evolution operator into a form implementable on a quantum device, while incurring an error---the Trotter error. The Trotter error can be made arbitrarily small by increasing the Trotter number. However, this increases the length of the quantum circuits required, which may be impractical. It is therefore desirable to find methods of reducing the Trotter error through alternate means. The Trotter error is dependent on the order in which individual term unitaries are applied. Due to the factorial growth in the number of possible orderings with respect to the number of terms, finding an optimal strategy for ordering Trotter sequences is difficult. In this paper, we propose three ordering strategies, and assess their impact on the Trotter error incurred. Initially, we exhaustively examine the possible orderings for molecular hydrogen in a STO-3G basis. We demonstrate how the optimal ordering scheme depends on the compatibility graph of the Hamiltonian, and show how it varies with increasing bond length. We then use 44 molecular Hamiltonians to evaluate two strategies based on coloring their incompatibility graphs, while considering the properties of the obtained colorings. We find that the Trotter error for most systems involving heavy atoms, using a reference magnitude ordering, is less than 1 kcal/mol. Relative to this, the difference between ordering schemes can be substantial, being approximately on the order of millihartrees. The coloring-based ordering schemes are reasonably promising, however further work is required. Finally, we consider ordering strategies based on the norm of the Trotter error operator, including an iterative method for generating the new error operator terms added upon insertion of a term into an ordered Hamiltonian. △ Less

Submitted 16 December, 2019; originally announced December 2019.

Comments: 36 pages, 11 figures

Journal ref: Entropy 2019, 21(12), 1218

Contextuality Test of the Nonclassicality of Variational Quantum Eigensolvers

Authors: William M. Kirby, Peter J. Love

Abstract: Contextuality is an indicator of non-classicality, and a resource for various quantum procedures. In this paper, we use contextuality to evaluate the variational quantum eigensolver (VQE), one of the most promising tools for near-term quantum simulation. We present an efficiently computable test to determine whether or not the objective function for a VQE procedure is contextual. We apply this tes… ▽ More Contextuality is an indicator of non-classicality, and a resource for various quantum procedures. In this paper, we use contextuality to evaluate the variational quantum eigensolver (VQE), one of the most promising tools for near-term quantum simulation. We present an efficiently computable test to determine whether or not the objective function for a VQE procedure is contextual. We apply this test to evaluate the contextuality of experimental implementations of VQE, and determine that several, but not all, fail this test of quantumness. △ Less

Submitted 6 February, 2020; v1 submitted 3 April, 2019; originally announced April 2019.

Comments: 14 pages, 8 figures

Journal ref: Phys. Rev. Lett. 123, 200501 (2019)

A comparison of the Bravyi-Kitaev and Jordan-Wigner transformations for the quantum simulation of quantum chemistry

Authors: Andrew Tranter, Peter J. Love, Florian Mintert, Peter V. Coveney

Abstract: The ability to perform classically intractable electronic structure calculations is often cited as one of the principal applications of quantum computing. A great deal of theoretical algorithmic development has been performed in support of this goal. Most techniques require a scheme for map** electronic states and operations to states of and operations upon qubits. The two most commonly used tec… ▽ More The ability to perform classically intractable electronic structure calculations is often cited as one of the principal applications of quantum computing. A great deal of theoretical algorithmic development has been performed in support of this goal. Most techniques require a scheme for map** electronic states and operations to states of and operations upon qubits. The two most commonly used techniques for this are the Jordan-Wigner transformation and the Bravyi-Kitaev transformation. However, comparisons of these schemes have previously been limited to individual small molecules. In this paper we discuss resource implications for the use of the Bravyi-Kitaev map** scheme, specifically with regard to the number of quantum gates required for simulation. We consider both small systems which may be simulatable on near-future quantum devices, and systems sufficiently large for classical simulation to be intractable. We use 86 molecular systems to demonstrate that the use of the Bravyi-Kitaev transformation is typically at least approximately as efficient as the canonical Jordan-Wigner transformation, and results in substantially reduced gate count estimates when performing limited circuit optimisations. △ Less

Submitted 5 December, 2018; originally announced December 2018.

Comments: 46 pages, 11 figures

Journal ref: J. Chem. Theory Comput., 2018, 14 (11), pp 5617-5630

Scalable Quantum Simulation of Molecular Energies

Authors: P. J. J. O'Malley, R. Babbush, I. D. Kivlichan, J. Romero, J. R. McClean, R. Barends, J. Kelly, P. Roushan, A. Tranter, N. Ding, B. Campbell, Y. Chen, Z. Chen, B. Chiaro, A. Dunsworth, A. G. Fowler, E. Jeffrey, A. Megrant, J. Y. Mutus, C. Neill, C. Quintana, D. Sank, A. Vainsencher, J. Wenner, T. C. White , et al. (5 additional authors not shown)

Abstract: We report the first electronic structure calculation performed on a quantum computer without exponentially costly precompilation. We use a programmable array of superconducting qubits to compute the energy surface of molecular hydrogen using two distinct quantum algorithms. First, we experimentally execute the unitary coupled cluster method using the variational quantum eigensolver. Our efficient… ▽ More We report the first electronic structure calculation performed on a quantum computer without exponentially costly precompilation. We use a programmable array of superconducting qubits to compute the energy surface of molecular hydrogen using two distinct quantum algorithms. First, we experimentally execute the unitary coupled cluster method using the variational quantum eigensolver. Our efficient implementation predicts the correct dissociation energy to within chemical accuracy of the numerically exact result. Second, we experimentally demonstrate the canonical quantum algorithm for chemistry, which consists of Trotterization and quantum phase estimation. We compare the experimental performance of these approaches to show clear evidence that the variational quantum eigensolver is robust to certain errors. This error tolerance inspires hope that variational quantum simulations of classically intractable molecules may be viable in the near future. △ Less

Submitted 3 February, 2017; v1 submitted 21 December, 2015; originally announced December 2015.

Comments: 13 pages, 7 figures. This revision is to correct an error in the coefficients of identity in Table 1

Journal ref: Phys. Rev. X 6, 031007 (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

An efficient quantum algorithm for the Moebius function

Authors: Peter J. Love

Abstract: We give an efficient quantum algorithm for the Moebius function $μ(n)$ from the natural numbers to $\{-1,0,1\}$. The cost of the algorithm is asymptotically quadratic in $\log n$ and does not require the computation of the prime factorization of $n$ as an intermediate step. We give an efficient quantum algorithm for the Moebius function $μ(n)$ from the natural numbers to $\{-1,0,1\}$. The cost of the algorithm is asymptotically quadratic in $\log n$ and does not require the computation of the prime factorization of $n$ as an intermediate step. △ Less

Submitted 18 March, 2016; v1 submitted 11 December, 2014; originally announced December 2014.

Comments: On further consideration it appears that the algorithm as described here has an exponentially small probability of success

Exploiting locality in quantum computation for quantum chemistry

Authors: Jarrod R. McClean, Ryan Babbush, Peter J. Love, Alán Aspuru-Guzik

Abstract: Accurate prediction of chemical and material properties from first principles quantum chemistry is a challenging task on traditional computers. Recent developments in quantum computation offer a route towards highly accurate solutions with polynomial cost, however this solution still carries a large overhead. In this perspective, we aim to bring together known results about the locality of physica… ▽ More Accurate prediction of chemical and material properties from first principles quantum chemistry is a challenging task on traditional computers. Recent developments in quantum computation offer a route towards highly accurate solutions with polynomial cost, however this solution still carries a large overhead. In this perspective, we aim to bring together known results about the locality of physical interactions from quantum chemistry with ideas from quantum computation. We show that the utilization of spatial locality combined with the Bravyi-Kitaev transformation offers an improvement in the scaling of known quantum algorithms for quantum chemistry and provide numerical examples to help illustrate this point. We combine these developments to improve the outlook for the future of quantum chemistry on quantum computers. △ Less

Submitted 29 July, 2014; originally announced July 2014.

Journal ref: J. Phys. Chem. Lett. 5, 4368 (2014)

History Dependent Quantum Random Walks as Quantum Lattice Gas Automata

Authors: Asif Shakeel, David A. Meyer, Peter J. Love

Abstract: Quantum Random Walks (QRW) were first defined as one-particle sectors of Quantum Lattice Gas Automata (QLGA). Recently, they have been generalized to include history dependence, either on previous coin (internal, i.e., spin or velocity) states or on previous position states. These models have the goal of studying the transition to classicality, or more generally, changes in the performance of quan… ▽ More Quantum Random Walks (QRW) were first defined as one-particle sectors of Quantum Lattice Gas Automata (QLGA). Recently, they have been generalized to include history dependence, either on previous coin (internal, i.e., spin or velocity) states or on previous position states. These models have the goal of studying the transition to classicality, or more generally, changes in the performance of quantum walks in algorithmic applications. We show that several history dependent QRW can be identified as one-particle sectors of QLGA. This provides a unifying conceptual framework for these models in which the extra degrees of freedom required to store the history information arise naturally as geometrical degrees of freedom on the lattice. △ Less

Submitted 5 May, 2014; originally announced May 2014.

Comments: 18 pages, 3 figures

MSC Class: 81P68 (Primary) 68Q80 (Secondary)

Quantum Algorithms for Quantum Chemistry based on the sparsity of the CI-matrix

Authors: Borzu Toloui, Peter J. Love

Abstract: Quantum chemistry provides a target for quantum simulation of considerable scientific interest and industrial importance. The majority of algorithms to date have been based on a second-quantized representation of the electronic structure Hamiltonian - necessitating qubit requirements that scale linearly with the number of orbitals. The scaling of the number of gates for such methods, while polynom… ▽ More Quantum chemistry provides a target for quantum simulation of considerable scientific interest and industrial importance. The majority of algorithms to date have been based on a second-quantized representation of the electronic structure Hamiltonian - necessitating qubit requirements that scale linearly with the number of orbitals. The scaling of the number of gates for such methods, while polynomial, presents some serious experimental challenges. However, because the number of electrons is a good quantum number for the electronic structure problem it is unnecessary to store the full Fock space of the orbitals. Representation of the wave function in a basis of Slater determinants for fixed electron number suffices. However, to date techniques for the quantum simulation of the Hamiltonian represented in this basis - the CI-matrix - have been lacking. We show how to apply techniques developed for the simulation of sparse Hamiltonians to the CI-matrix. We prove a number of results exploiting the structure of the CI-matrix, arising from the Slater rules which define it, to improve the application of sparse Hamiltonian simulation techniques in this case. We show that it is possible to use the minimal number of qubits to represent the wavefunction, and that these methods can offer improved scaling in the number of gates required in the limit of fixed electron number and increasing basis set size relevant for high-accuracy calculations. We hope these results open the door to further investigation of sparse Hamiltonian simulation techniques in the context of the quantum simulation of quantum chemistry. △ Less

Submitted 15 December, 2013; v1 submitted 9 December, 2013; originally announced December 2013.

Comments: Discussion of scaling in text corrected. Typos fixed. Complete proof provided in appendix for graph coloring method

Adiabatic Quantum Simulation of Quantum Chemistry

Authors: Ryan Babbush, Peter J. Love, Alán Aspuru-Guzik

Abstract: We show how to apply the quantum adiabatic algorithm directly to the quantum computation of molecular properties. We describe a procedure to map electronic structure Hamiltonians to 2-local qubit Hamiltonians with a small set of physically realizable couplings. By combining the Bravyi-Kitaev construction to map fermions to qubits with perturbative gadgets to reduce the Hamiltonian to 2-local, we o… ▽ More We show how to apply the quantum adiabatic algorithm directly to the quantum computation of molecular properties. We describe a procedure to map electronic structure Hamiltonians to 2-local qubit Hamiltonians with a small set of physically realizable couplings. By combining the Bravyi-Kitaev construction to map fermions to qubits with perturbative gadgets to reduce the Hamiltonian to 2-local, we obtain precision requirements on the coupling strengths and a number of ancilla qubits that scale polynomially in the problem size. Hence our map** is efficient. The required set of controllable interactions includes only two types of interaction beyond the Ising interactions required to apply the quantum adiabatic algorithm to combinatorial optimization problems. Our map** may also be of interest to chemists directly as it defines a dictionary from electronic structure to spin Hamiltonians with physical interactions. △ Less

Submitted 18 December, 2013; v1 submitted 15 November, 2013; originally announced November 2013.

Comments: 31 pages, 7 figures

Journal ref: Sci. Rep., 4, 1 (2014)

Bounding Polynomial Entanglement Measures for Mixed States

Authors: Samuel Rodriques, Nilanjana Datta, Peter J. Love

Abstract: We generalize the notion of the best separable approximation (BSA) and best W-class approximation (BWA) to arbitrary pure state entanglement measures, defining the best zero-$E$ approximation (BEA). We show that for any polynomial entanglement measure $E$, any mixed state $ρ$ admits at least one "$S$-decomposition," i.e., a decomposition in terms of a mixed state on which $E$ is equal to zero, and… ▽ More We generalize the notion of the best separable approximation (BSA) and best W-class approximation (BWA) to arbitrary pure state entanglement measures, defining the best zero-$E$ approximation (BEA). We show that for any polynomial entanglement measure $E$, any mixed state $ρ$ admits at least one "$S$-decomposition," i.e., a decomposition in terms of a mixed state on which $E$ is equal to zero, and a single additional pure state with (possibly) non-zero $E$. We show that the BEA is not in general the optimal $S$-decomposition from the point of view of bounding the entanglement of $ρ$, and describe an algorithm to construct the entanglement-minimizing $S$-decomposition for $ρ$ and place an upper bound on $E(ρ)$. When applied to the three-tangle, the cost of the algorithm is linear in the rank $d$ of the density matrix and has accuracy comparable to a steepest descent algorithm whose cost scales as $d^8 \log d$. We compare the upper bound to a lower bound algorithm given by Eltschka and Siewert for the three-tangle, and find that on random rank-two three-qubit density matrices, the difference between the upper and lower bounds is $0.14$ on average. We also find that the three-tangle of random full-rank three qubit density matrices is less than $0.023$ on average. △ Less

Submitted 14 January, 2014; v1 submitted 8 July, 2013; originally announced July 2013.

Comments: Generalized results in previous version to polynomial entanglement monotones beyond the three-tangle

Journal ref: Phys. Rev. A 90, 012340 (2014)

A variational eigenvalue solver on a quantum processor

Authors: Alberto Peruzzo, Jarrod McClean, Peter Shadbolt, Man-Hong Yung, Xiao-Qi Zhou, Peter J. Love, Alán Aspuru-Guzik, Jeremy L. O'Brien

Abstract: Quantum computers promise to efficiently solve important problems that are intractable on a conventional computer. For quantum systems, where the dimension of the problem space grows exponentially, finding the eigenvalues of certain operators is one such intractable problem and remains a fundamental challenge. The quantum phase estimation algorithm can efficiently find the eigenvalue of a given ei… ▽ More Quantum computers promise to efficiently solve important problems that are intractable on a conventional computer. For quantum systems, where the dimension of the problem space grows exponentially, finding the eigenvalues of certain operators is one such intractable problem and remains a fundamental challenge. The quantum phase estimation algorithm can efficiently find the eigenvalue of a given eigenvector but requires fully coherent evolution. We present an alternative approach that greatly reduces the requirements for coherent evolution and we combine this method with a new approach to state preparation based on ansätze and classical optimization. We have implemented the algorithm by combining a small-scale photonic quantum processor with a conventional computer. We experimentally demonstrate the feasibility of this approach with an example from quantum chemistry: calculating the ground state molecular energy for He-H+, to within chemical accuracy. The proposed approach, by drastically reducing the coherence time requirements, enhances the potential of the quantum resources available today and in the near future. △ Less

Submitted 10 April, 2013; originally announced April 2013.

Journal ref: Nature Communications, 5:4213, (2014)

When is a Quantum Cellular Automaton (QCA) a Quantum Lattice Gas Automaton (QLGA)?

Authors: Asif Shakeel, Peter J. Love

Abstract: Quantum cellular automata (QCA) are models of quantum computation of particular interest from the point of view of quantum simulation. Quantum lattice gas automata (QLGA - equivalently partitioned quantum cellular automata) represent an interesting subclass of QCA. QLGA have been more deeply analyzed than QCA, whereas general QCA are likely to capture a wider range of quantum behavior. Discriminat… ▽ More Quantum cellular automata (QCA) are models of quantum computation of particular interest from the point of view of quantum simulation. Quantum lattice gas automata (QLGA - equivalently partitioned quantum cellular automata) represent an interesting subclass of QCA. QLGA have been more deeply analyzed than QCA, whereas general QCA are likely to capture a wider range of quantum behavior. Discriminating between QLGA and QCA is therefore an important question. In spite of much prior work, classifying which QCA are QLGA has remained an open problem. In the present paper we establish necessary and sufficient conditions for unbounded, finite Quantum Cellular Automata (QCA) (finitely many active cells in a quiescent background) to be Quantum Lattice Gas Automata (QLGA). We define a local condition that classifies those QCA that are QLGA, and we show that there are QCA that are not QLGA. We use a number of tools from functional analysis of separable Hilbert spaces and representation theory of associative algebras that enable us to treat QCA on finite but unbounded configurations in full detail. △ Less

Submitted 15 January, 2014; v1 submitted 24 September, 2012; originally announced September 2012.

Comments: 37 pages, 7 figures, with changes to explanatory text and updated figures, J. Math. Phys. version

Journal ref: J. Math. Phys. 54(9), 092203-1 (2013)

The Bravyi-Kitaev transformation for quantum computation of electronic structure

Authors: Jacob T. Seeley, Martin J. Richard, Peter J. Love

Abstract: Quantum simulation is an important application of future quantum computers with applications in quantum chemistry, condensed matter, and beyond. Quantum simulation of fermionic systems presents a specific challenge. The Jordan-Wigner transformation allows for representation of a fermionic operator by O(n) qubit operations. Here we develop an alternative method of simulating fermions with qubits, f… ▽ More Quantum simulation is an important application of future quantum computers with applications in quantum chemistry, condensed matter, and beyond. Quantum simulation of fermionic systems presents a specific challenge. The Jordan-Wigner transformation allows for representation of a fermionic operator by O(n) qubit operations. Here we develop an alternative method of simulating fermions with qubits, first proposed by Bravyi and Kitaev [S. B. Bravyi, A.Yu. Kitaev, Annals of Physics 298, 210-226 (2002)], that reduces the simulation cost to O(log n) qubit operations for one fermionic operation. We apply this new Bravyi-Kitaev transformation to the task of simulating quantum chemical Hamiltonians, and give a detailed example for the simplest possible case of molecular hydrogen in a minimal basis. We show that the quantum circuit for simulating a single Trotter time-step of the Bravyi-Kitaev derived Hamiltonian for H2 requires fewer gate applications than the equivalent circuit derived from the Jordan-Wigner transformation. Since the scaling of the Bravyi-Kitaev method is asymptotically better than the Jordan-Wigner method, this result for molecular hydrogen in a minimal basis demonstrates the superior efficiency of the Bravyi-Kitaev method for all quantum computations of electronic structure. △ Less

Submitted 29 August, 2012; originally announced August 2012.

Back to the Future: A roadmap for quantum simulation from vintage quantum chemistry

Authors: Peter J. Love

Abstract: A discussion of the prospects for quantum computation for quantum chemistry from the point of view of the history of classical calculations of electronic structure. A discussion of the prospects for quantum computation for quantum chemistry from the point of view of the history of classical calculations of electronic structure. △ Less

Submitted 27 August, 2012; originally announced August 2012.

Comments: To Appear in Advances in Chemical Physics

From the Boltzmann equation to fluid mechanics on a manifold

Authors: Peter J. Love, Donato Cianci

Abstract: We apply the Chapman-Enskog procedure to derive hydrodynamic equations on an arbitrary surface from the Boltzmann equation on the surface. We apply the Chapman-Enskog procedure to derive hydrodynamic equations on an arbitrary surface from the Boltzmann equation on the surface. △ Less

Submitted 27 August, 2012; originally announced August 2012.

Journal ref: Phil. Trans. R. Soc. A 2011 369, 2362-2370

Computational Complexity in Electronic Structure

Authors: James D. Whitfield, Peter J. Love, Alan Aspuru-Guzik

Abstract: In quantum chemistry, the price paid by all known efficient model chemistries is either the truncation of the Hilbert space or uncontrolled approximations. Theoretical computer science suggests that these restrictions are not mere shortcomings of the algorithm designers and programmers but could stem from the inherent difficulty of simulating quantum systems. Extensions of computer science and inf… ▽ More In quantum chemistry, the price paid by all known efficient model chemistries is either the truncation of the Hilbert space or uncontrolled approximations. Theoretical computer science suggests that these restrictions are not mere shortcomings of the algorithm designers and programmers but could stem from the inherent difficulty of simulating quantum systems. Extensions of computer science and information processing exploiting quantum mechanics has led to new ways of understanding the ultimate limitations of computational power. Interestingly, this perspective helps us understand widely used model chemistries in a new light. In this article, the fundamentals of computational complexity will be reviewed and motivated from the vantage point of chemistry. Then recent results from the computational complexity literature regarding common model chemistries including Hartree-Fock and density functional theory are discussed. △ Less

Submitted 16 August, 2012; originally announced August 2012.

Comments: 14 pages, 2 figures, 1 table. Comments welcome

Multipartite Quantum Entanglement Evolution in Photosynthetic Complexes

Authors: **g Zhu, Sabre Kais, Alán Aspuru-Guzik, Sam Rodriques, Ben Brock, Peter J. Love

Abstract: We investigate the evolution of entanglement in the Fenna-Matthew-Olson (FMO) complex based on simulations using the scaled hierarchy equation of motion (HEOM) approach. We examine the role of multipartite entanglement in the FMO complex by direct computation of the convex roof optimization for a number of measures, including some that have not been previously evaluated. We also consider the role… ▽ More We investigate the evolution of entanglement in the Fenna-Matthew-Olson (FMO) complex based on simulations using the scaled hierarchy equation of motion (HEOM) approach. We examine the role of multipartite entanglement in the FMO complex by direct computation of the convex roof optimization for a number of measures, including some that have not been previously evaluated. We also consider the role of monogamy of entanglement in these simulations. We utilize the fact that the monogamy bounds are saturated in the single exciton subspace. This enables us to compute more measures of entanglement exactly and also to validate the evaluation of the convex roof. We then use direct computation of the convex roof to evaluate measures that are not determined by monogamy. This approach provides a more complete account of the entanglement in these systems than has been available to date. Our results support the hypothesis that multipartite entanglement is maximum primary along the two distinct electronic energy transfer pathways. △ Less

Submitted 12 July, 2012; v1 submitted 20 February, 2012; originally announced February 2012.

Comments: 37 pages, 19 figures

Journal ref: J. Chem. Phys. 137, 074112 (2012)

Lattice gas simulations of dynamical geometry in two dimensions

Authors: Anna Klales, Donato Cianci, Zachary Needell, David A. Meyer, Peter J. Love

Abstract: We present a hydrodynamic lattice gas model for two-dimensional flows on curved surfaces with dynamical geometry. This model is an extension to two dimensions of the dynamical geometry lattice gas model previously studied in one-dimension. We expand upon a variation of the two-dimensional flat space FHP model created by Frisch, Hasslacher and Pomeau, and independently by Wolfram, and modified by… ▽ More We present a hydrodynamic lattice gas model for two-dimensional flows on curved surfaces with dynamical geometry. This model is an extension to two dimensions of the dynamical geometry lattice gas model previously studied in one-dimension. We expand upon a variation of the two-dimensional flat space FHP model created by Frisch, Hasslacher and Pomeau, and independently by Wolfram, and modified by Boghosian, Love, and Meyer. We define a hydrodynamic lattice gas model on an arbitrary triangulation, whose flat space limit is the FHP model. Rules that change the geometry are constructed using the Pachner moves, which alter the triangulation but not the topology. We present results on the growth of the number of triangles as a function of time. Simulations show that the number of triangles lattice grows with time as the cube root of the number of time steps, in agreement a mean field prediction. We also present preliminary results on the distribution of curvature over a typical triangulation for these simulations. △ Less

Submitted 25 February, 2010; originally announced February 2010.

QMA-complete problems for stoquastic Hamiltonians and Markov matrices

Authors: Stephen P. Jordan, David Gosset, Peter J. Love

Abstract: We show that finding the lowest eigenvalue of a 3-local symmetric stochastic matrix is QMA-complete. We also show that finding the highest energy of a stoquastic Hamiltonian is QMA-complete and that adiabatic quantum computation using certain excited states of a stoquastic Hamiltonian is universal. We also show that adiabatic evolution in the ground state of a stochastic frustration free Hamiltoni… ▽ More We show that finding the lowest eigenvalue of a 3-local symmetric stochastic matrix is QMA-complete. We also show that finding the highest energy of a stoquastic Hamiltonian is QMA-complete and that adiabatic quantum computation using certain excited states of a stoquastic Hamiltonian is universal. We also show that adiabatic evolution in the ground state of a stochastic frustration free Hamiltonian is universal. Our results give a new QMA-complete problem arising in the classical setting of Markov chains, and new adiabatically universal Hamiltonians that arise in many physical systems. △ Less

Submitted 29 March, 2010; v1 submitted 28 May, 2009; originally announced May 2009.

Comments: 11 pages. Contains several new results not present in version 1.

Report number: MIT-CTP 4134

Journal ref: Phys. Rev. A 81(3), 032331 (2010)

Constructive Quantum Shannon Decomposition from Cartan Involutions

Authors: Byron Drury, Peter J. Love

Abstract: The work presented here extends upon the best known universal quantum circuit, the Quantum Shannon Decomposition proposed in [Vivek V. Shende, Stephen S. Bullock and Igor Markov, Synthesis of Quantum Logic Circuits, IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 25 (6): 1000-1010 (2006)]. We obtain the basis of the circuit's design in a pair of Cartan decompositions. This insight gives a… ▽ More The work presented here extends upon the best known universal quantum circuit, the Quantum Shannon Decomposition proposed in [Vivek V. Shende, Stephen S. Bullock and Igor Markov, Synthesis of Quantum Logic Circuits, IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 25 (6): 1000-1010 (2006)]. We obtain the basis of the circuit's design in a pair of Cartan decompositions. This insight gives a simple constructive algorithm for obtaining the Quantum Shannon Decomposition of a given unitary matrix in terms of the corresponding Cartan involutions. △ Less

Submitted 24 June, 2008; originally announced June 2008.

Polynomial-time quantum algorithm for the simulation of chemical dynamics

Authors: Ivan Kassal, Stephen P. Jordan, Peter J. Love, Masoud Mohseni, Alán Aspuru-Guzik

Abstract: The computational cost of exact methods for quantum simulation using classical computers grows exponentially with system size. As a consequence, these techniques can only be applied to small systems. By contrast, we demonstrate that quantum computers could exactly simulate chemical reactions in polynomial time. Our algorithm uses the split-operator approach and explicitly simulates all electron-… ▽ More The computational cost of exact methods for quantum simulation using classical computers grows exponentially with system size. As a consequence, these techniques can only be applied to small systems. By contrast, we demonstrate that quantum computers could exactly simulate chemical reactions in polynomial time. Our algorithm uses the split-operator approach and explicitly simulates all electron-nuclear and inter-electronic interactions in quadratic time. Surprisingly, this treatment is not only more accurate than the Born-Oppenheimer approximation, but faster and more efficient as well, for all reactions with more than about four atoms. This is the case even though the entire electronic wavefunction is propagated on a grid with appropriately short timesteps. Although the preparation and measurement of arbitrary states on a quantum computer is inefficient, here we demonstrate how to prepare states of chemical interest efficiently. We also show how to efficiently obtain chemically relevant observables, such as state-to-state transition probabilities and thermal reaction rates. Quantum computers using these techniques could outperform current classical computers with one hundred qubits. △ Less

Submitted 17 December, 2008; v1 submitted 18 January, 2008; originally announced January 2008.

Comments: 9 pages, 3 figures. Updated version as appears in PNAS

Journal ref: Proc. Natl. Acad. Sci. 105, 18681(2008)

Realizable Hamiltonians for Universal Adiabatic Quantum Computers

Authors: Jacob D. Biamonte, Peter J. Love

Abstract: It has been established that local lattice spin Hamiltonians can be used for universal adiabatic quantum computation. However, the 2-local model Hamiltonians used in these proofs are general and hence do not limit the types of interactions required between spins. To address this concern, the present paper provides two simple model Hamiltonians that are of practical interest to experimentalists w… ▽ More It has been established that local lattice spin Hamiltonians can be used for universal adiabatic quantum computation. However, the 2-local model Hamiltonians used in these proofs are general and hence do not limit the types of interactions required between spins. To address this concern, the present paper provides two simple model Hamiltonians that are of practical interest to experimentalists working towards the realization of a universal adiabatic quantum computer. The model Hamiltonians presented are the simplest known QMA-complete 2-local Hamiltonians. The 2-local Ising model with 1-local transverse field which has been realized using an array of technologies, is perhaps the simplest quantum spin model but is unlikely to be universal for adiabatic quantum computation. We demonstrate that this model can be rendered universal and QMA-complete by adding a tunable 2-local transverse XX coupling. We also show the universality and QMA-completeness of spin models with only 1-local Z and X fields and 2-local ZX interactions. △ Less

Submitted 17 June, 2008; v1 submitted 10 April, 2007; originally announced April 2007.

Comments: Paper revised and extended to improve clarity; to appear in Physical Review A

Journal ref: Phys. Rev. A 78, 012352 (2008).

Thermally assisted adiabatic quantum computation

Authors: M. H. S. Amin, Peter J. Love, C. J. S. Truncik

Abstract: We study the effect of a thermal environment on adiabatic quantum computation using the Bloch-Redfield formalism. We show that in certain cases the environment can enhance the performance in two different ways: (i) by introducing a time scale for thermal mixing near the anticrossing that is smaller than the adiabatic time scale, and (ii) by relaxation after the anticrossing. The former can enhan… ▽ More We study the effect of a thermal environment on adiabatic quantum computation using the Bloch-Redfield formalism. We show that in certain cases the environment can enhance the performance in two different ways: (i) by introducing a time scale for thermal mixing near the anticrossing that is smaller than the adiabatic time scale, and (ii) by relaxation after the anticrossing. The former can enhance the scaling of computation when the environment is superohmic, while the latter can only provide a prefactor enhancement. We apply our method to the case of adiabatic Grover search and show that performance better than classical is possible with a superohmic environment, with no a priori knowledge of the energy spectrum. △ Less

Submitted 31 January, 2008; v1 submitted 13 September, 2006; originally announced September 2006.

Comments: 4 pages, 2 figures, Final version to appear in PRL

Journal ref: Phys. Rev. Lett. 100, 060503 (2008)

Simulated Quantum Computation of Molecular Energies

Authors: Alán Aspuru-Guzik, Anthony D. Dutoi, Peter J. Love, Martin Head-Gordon

Abstract: The calculation time for the energy of atoms and molecules scales exponentially with system size on a classical computer but polynomially using quantum algorithms. We demonstrate that such algorithms can be applied to problems of chemical interest using modest numbers of quantum bits. Calculations of the water and lithium hydride molecular ground-state energies have been carried out on a quantum… ▽ More The calculation time for the energy of atoms and molecules scales exponentially with system size on a classical computer but polynomially using quantum algorithms. We demonstrate that such algorithms can be applied to problems of chemical interest using modest numbers of quantum bits. Calculations of the water and lithium hydride molecular ground-state energies have been carried out on a quantum computer simulator using a recursive phase-estimation algorithm. The recursive algorithm reduces the number of quantum bits required for the readout register from about 20 to 4. Map**s of the molecular wave function to the quantum bits are described. An adiabatic method for the preparation of a good approximate ground-state wave function is described and demonstrated for a stretched hydrogen molecule. The number of quantum bits required scales linearly with the number of basis functions, and the number of gates required grows polynomially with the number of quantum bits. △ Less

Submitted 26 April, 2006; originally announced April 2006.

Comments: 20 pages, 3 figures

Journal ref: Science 309 p. 1704, 2005

A characterization of global entanglement

Authors: Peter J. Love, Alec Maassen van den Brink, A. Yu. Smirnov, M. H. S. Amin, M. Grajcar, E. Il'ichev, A. Izmalkov, A. M. Zagoskin

Abstract: We define a set of $2^{n-1}-1$ entanglement monotones for $n$ qubits and give a single measure of entanglement in terms of these. This measure is zero except on globally entangled (fully inseparable) states. This measure is compared to the Meyer-Wallach measure for two, three, and four qubits. We determine the four-qubit state, symmetric under exchange of qubit labels, which maximizes this measu… ▽ More We define a set of $2^{n-1}-1$ entanglement monotones for $n$ qubits and give a single measure of entanglement in terms of these. This measure is zero except on globally entangled (fully inseparable) states. This measure is compared to the Meyer-Wallach measure for two, three, and four qubits. We determine the four-qubit state, symmetric under exchange of qubit labels, which maximizes this measure. It is also shown how the elementary monotones may be computed as a function of observable quantities. We compute the magnitude of our measure for the ground state of the four-qubit superconducting experimental system investigated in [M. Grajcar et al., Phys. Rev. Lett._96_, 047006 (2006)], and thus confirm the presence of global entanglement in the ground state. △ Less

Submitted 22 March, 2006; v1 submitted 16 February, 2006; originally announced February 2006.

Comments: 4 pages, 1 figure, REVTeX 4, v2 Minor errors corrected, three new references, expanded discussion of extension to mixed states

Four-qubit device with mixed couplings

Authors: M. Grajcar, A. Izmalkov, S. H. W. van der Ploeg, S. Linzen, T. Plecenik, Th. Wagner, U. Huebner, E. Il'ichev, H. -G. Meyer, A. Yu. Smirnov, Peter J. Love, Alec Maassen van den Brink, M. H. S. Amin, S. Uchaikin, A. M. Zagoskin

Abstract: We present the first experimental results on a device with more than two superconducting qubits. The circuit consists of four three-junction flux qubits, with simultaneous ferro- and antiferromagnetic coupling implemented using shared Josephson junctions. Its response, which is dominated by the ground state, is characterized using low-frequency impedance measurement with a superconducting tank c… ▽ More We present the first experimental results on a device with more than two superconducting qubits. The circuit consists of four three-junction flux qubits, with simultaneous ferro- and antiferromagnetic coupling implemented using shared Josephson junctions. Its response, which is dominated by the ground state, is characterized using low-frequency impedance measurement with a superconducting tank circuit coupled to the qubits. The results are found to be in excellent agreement with the quantum-mechanical predictions. △ Less

Submitted 2 February, 2006; v1 submitted 21 September, 2005; originally announced September 2005.

Comments: REVTeX 4, 5pp., 7 EPS figure files. N.B.: "Alec" is my first, and "Maassen van den Brink" my family name. v2: final published version, with changed title, different sample micrograph, and several clarifications

Journal ref: Phys. Rev. Lett._96_, 047006 (2006)

From Dirac to Diffusion: Decoherence in Quantum Lattice Gases

Authors: Peter J. Love, Bruce M. Boghosian

Abstract: We describe a model for the interaction of the internal (spin) degree of freedom of a quantum lattice-gas particle with an environmental bath. We impose the constraints that the particle-bath interaction be fixed, while the state of the bath is random, and that the effect of the particle-bath interaction be parity invariant. The condition of parity invariance defines a subgroup of the unitary gr… ▽ More We describe a model for the interaction of the internal (spin) degree of freedom of a quantum lattice-gas particle with an environmental bath. We impose the constraints that the particle-bath interaction be fixed, while the state of the bath is random, and that the effect of the particle-bath interaction be parity invariant. The condition of parity invariance defines a subgroup of the unitary group of actions on the spin degree of freedom and the bath. We derive a general constraint on the Lie algebra of the unitary group which defines this subgroup, and hence guarantees parity invariance of the particle-bath interaction. We show that generalizing the quantum lattice gas in this way produces a model having both classical and quantum discrete random walks as different limits. We present preliminary simulation results illustrating the intermediate behavior in the presence of weak quantum noise. △ Less

Submitted 3 July, 2005; originally announced July 2005.

Comments: To appear in QIP

Type-II Quantum Algorithms

Authors: Peter J. Love, Bruce M. Boghosian

Abstract: We review and analyze the hybrid quantum-classical NMR computing methodology referred to as Type-II quantum computing. We show that all such algorithms considered so far within this paradigm are equivalent to some classical lattice-Boltzmann scheme. We derive a sufficient and necessary constraint on the unitary operator representing the quantum mechanical part of the computation which ensures th… ▽ More We review and analyze the hybrid quantum-classical NMR computing methodology referred to as Type-II quantum computing. We show that all such algorithms considered so far within this paradigm are equivalent to some classical lattice-Boltzmann scheme. We derive a sufficient and necessary constraint on the unitary operator representing the quantum mechanical part of the computation which ensures that the model reproduces the Boltzmann approximation of a lattice-gas model satisfying semi-detailed balance. Models which do not satisfy this constraint represent new lattice-Boltzmann schemes which cannot be formulated as the average over some underlying lattice gas. We close the paper with some discussion of the strengths, weaknesses and possible future direction of Type-II quantum computing. △ Less

Submitted 1 September, 2005; v1 submitted 28 June, 2005; originally announced June 2005.

Comments: To appear in Physica A