-
Unified Architecture for a Quantum Lookup Table
Authors:
Shuchen Zhu,
Aarthi Sundaram,
Guang Hao Low
Abstract:
Quantum access to arbitrary classical data encoded in unitary black-box oracles underlies interesting data-intensive quantum algorithms, such as machine learning or electronic structure simulation. The feasibility of these applications depends crucially on gate-efficient implementations of these oracles, which are commonly some reversible versions of the boolean circuit for a classical lookup tabl…
▽ More
Quantum access to arbitrary classical data encoded in unitary black-box oracles underlies interesting data-intensive quantum algorithms, such as machine learning or electronic structure simulation. The feasibility of these applications depends crucially on gate-efficient implementations of these oracles, which are commonly some reversible versions of the boolean circuit for a classical lookup table. We present a general parameterized architecture for quantum circuits implementing a lookup table that encompasses all prior work in realizing a continuum of optimal tradeoffs between qubits, non-Clifford gates, and error resilience, up to logarithmic factors. Our architecture assumes only local 2D connectivity, yet recovers results that previously required all-to-all connectivity, particularly, with the appropriate parameters, poly-logarithmic error scaling. We also identify novel regimes, such as simultaneous sublinear scaling in all parameters. These results enable tailoring implementations of the commonly used lookup table primitive to any given quantum device with constrained resources.
△ Less
Submitted 25 June, 2024;
originally announced June 2024.
-
An efficient quantum algorithm for generation of ab initio n-th order susceptibilities for non-linear spectroscopies
Authors:
Tyler Kharazi,
Torin F. Stetina,
Liwen Ko,
Guang Hao Low,
K. Birgitta Whaley
Abstract:
We develop and analyze a fault-tolerant quantum algorithm for computing $n$-th order response properties necessary for analysis of non-linear spectroscopies of molecular and condensed phase systems. We use a semi-classical description in which the electronic degrees of freedom are treated quantum mechanically and the light is treated as a classical field. The algorithm we present can be viewed as…
▽ More
We develop and analyze a fault-tolerant quantum algorithm for computing $n$-th order response properties necessary for analysis of non-linear spectroscopies of molecular and condensed phase systems. We use a semi-classical description in which the electronic degrees of freedom are treated quantum mechanically and the light is treated as a classical field. The algorithm we present can be viewed as an implementation of standard perturbation theory techniques, focused on {\it ab initio} calculation of $n$-th order response functions. We provide cost estimates in terms of the number of queries to the block encoding of the unperturbed Hamiltonian, as well as the block encodings of the perturbing dipole operators. Using the technique of eigenstate filtering, we provide an algorithm to extract excitation energies to resolution $γ$, and the corresponding linear response amplitude to accuracy $ε$ using ${O}\left(N^{6}η^2{γ^{-1}ε^{-1}}\log(1/ε)\right)$ queries to the block encoding of the unperturbed Hamiltonian $H_0$, in double factorized representation. Thus, our approach saturates the Heisenberg $O(γ^{-1})$ limit for energy estimation and allows for the approximation of relevant transition dipole moments. These quantities, combined with sum-over-states formulation of polarizabilities, can be used to compute the $n$-th order susceptibilities and response functions for non-linear spectroscopies under limited assumptions using $\widetilde{O}\left({N^{5n+1}η^{n+1}}/{γ^nε}\right)$ queries to the block encoding of $H_0$.
△ Less
Submitted 1 April, 2024;
originally announced April 2024.
-
Capturing many-body correlation effects with quantum and classical computing
Authors:
Karol Kowalski,
Nicholas P. Bauman,
Guang Hao Low,
Martin Roetteler,
John J. Rehr,
Fernando D. Vila
Abstract:
Theoretical descriptions of excited states of molecular systems in high-energy regimes are crucial for supporting and driving many experimental efforts at light source facilities. However, capturing their complicated correlation effects requires formalisms that provide a hierarchical infrastructure of approximations. These approximations lead to an increased overhead in classical computing methods…
▽ More
Theoretical descriptions of excited states of molecular systems in high-energy regimes are crucial for supporting and driving many experimental efforts at light source facilities. However, capturing their complicated correlation effects requires formalisms that provide a hierarchical infrastructure of approximations. These approximations lead to an increased overhead in classical computing methods, and therefore, decisions regarding the ranking of approximations and the quality of results must be made on purely numerical grounds. The emergence of quantum computing methods has the potential to change this situation. In this study, we demonstrate the efficiency of Quantum Phase Estimator (QPE) in identifying core-level states relevant to x-ray photoelectron spectroscopy. We compare and validate the QPE predictions with exact diagonalization and real-time equation-of-motion coupled cluster formulations, which are some of the most accurate methods for states dominated by collective correlation effects.
△ Less
Submitted 17 February, 2024;
originally announced February 2024.
-
Quantum eigenvalue processing
Authors:
Guang Hao Low,
Yuan Su
Abstract:
Many problems in linear algebra -- such as those arising from non-Hermitian physics and differential equations -- can be solved on a quantum computer by processing eigenvalues of the non-normal input matrices. However, the existing Quantum Singular Value Transformation (QSVT) framework is ill-suited to this task, as eigenvalues and singular values are different in general. We present a Quantum Eig…
▽ More
Many problems in linear algebra -- such as those arising from non-Hermitian physics and differential equations -- can be solved on a quantum computer by processing eigenvalues of the non-normal input matrices. However, the existing Quantum Singular Value Transformation (QSVT) framework is ill-suited to this task, as eigenvalues and singular values are different in general. We present a Quantum EigenValue Transformation (QEVT) framework for applying arbitrary polynomial transformations on eigenvalues of block-encoded non-normal operators, and a related Quantum EigenValue Estimation (QEVE) algorithm for operators with real spectra. QEVT has query complexity to the block encoding nearly recovering that of the QSVT for a Hermitian input, and QEVE achieves the Heisenberg-limited scaling for diagonalizable input matrices. As applications, we develop a linear differential equation solver with strictly linear time query complexity for average-case diagonalizable operators, as well as a ground state preparation algorithm that upgrades previous nearly optimal results for Hermitian Hamiltonians to diagonalizable matrices with real spectra. Underpinning our algorithms is an efficient method to prepare a quantum superposition of Faber polynomials, which generalize the nearly-best uniform approximation properties of Chebyshev polynomials to the complex plane. Of independent interest, we also develop techniques to generate $n$ Fourier coefficients with $\mathbf{O}(\mathrm{polylog}(n))$ gates compared to prior approaches with linear cost.
△ Less
Submitted 11 January, 2024;
originally announced January 2024.
-
Quantum Simulation of Boson-Related Hamiltonians: Techniques, Effective Hamiltonian Construction, and Error Analysis
Authors:
Bo Peng,
Yuan Su,
Daniel Claudino,
Karol Kowalski,
Guang Hao Low,
Martin Roetteler
Abstract:
Elementary quantum mechanics proposes that a closed physical system consistently evolves in a reversible manner. However, control and readout necessitate the coupling of the quantum system to the external environment, subjecting it to relaxation and decoherence. Consequently, system-environment interactions are indispensable for simulating physically significant theories. A broad spectrum of physi…
▽ More
Elementary quantum mechanics proposes that a closed physical system consistently evolves in a reversible manner. However, control and readout necessitate the coupling of the quantum system to the external environment, subjecting it to relaxation and decoherence. Consequently, system-environment interactions are indispensable for simulating physically significant theories. A broad spectrum of physical systems in condensed-matter and high-energy physics, vibrational spectroscopy, and circuit and cavity QED necessitates the incorporation of bosonic degrees of freedom, such as phonons, photons, and gluons, into optimized fermion algorithms for near-future quantum simulations. In particular, when a quantum system is surrounded by an external environment, its basic physics can usually be simplified to a spin or fermionic system interacting with bosonic modes. Nevertheless, troublesome factors such as the magnitude of the bosonic degrees of freedom typically complicate the direct quantum simulation of these interacting models, necessitating the consideration of a comprehensive plan. This strategy should specifically include a suitable fermion/boson-to-qubit map** scheme to encode sufficiently large yet manageable bosonic modes, and a method for truncating and/or downfolding the Hamiltonian to the defined subspace for performing an approximate but highly accurate simulation, guided by rigorous error analysis. In this paper, we aim to provide such an exhaustive strategy. Specifically, we emphasize two aspects: (1) the discussion of recently developed quantum algorithms for these interacting models and the construction of effective Hamiltonians, and (2) a detailed analysis regarding a tightened error bound for truncating the bosonic modes for a class of fermion-boson interacting Hamiltonians.
△ Less
Submitted 13 July, 2023;
originally announced July 2023.
-
On the complexity of implementing Trotter steps
Authors:
Guang Hao Low,
Yuan Su,
Yu Tong,
Minh C. Tran
Abstract:
Quantum dynamics can be simulated on a quantum computer by exponentiating elementary terms from the Hamiltonian in a sequential manner. However, such an implementation of Trotter steps has gate complexity depending on the total Hamiltonian term number, comparing unfavorably to algorithms using more advanced techniques. We develop methods to perform faster Trotter steps with complexity sublinear in…
▽ More
Quantum dynamics can be simulated on a quantum computer by exponentiating elementary terms from the Hamiltonian in a sequential manner. However, such an implementation of Trotter steps has gate complexity depending on the total Hamiltonian term number, comparing unfavorably to algorithms using more advanced techniques. We develop methods to perform faster Trotter steps with complexity sublinear in the number of terms. We achieve this for a class of Hamiltonians whose interaction strength decays with distance according to power law. Our methods include one based on a recursive block encoding and one based on an average-cost simulation, overcoming the normalization-factor barrier of these advanced quantum simulation techniques. We also realize faster Trotter steps when certain blocks of Hamiltonian coefficients have low rank. Combining with a tighter error analysis, we show that it suffices to use $\left(η^{1/3}n^{1/3}+\frac{n^{2/3}}{η^{2/3}}\right)n^{1+o(1)}$ gates to simulate uniform electron gas with $n$ spin orbitals and $η$ electrons in second quantization in real space, asymptotically improving over the best previous work. We obtain an analogous result when the external potential of nuclei is introduced under the Born-Oppenheimer approximation. We prove a circuit lower bound when the Hamiltonian coefficients take a continuum range of values, showing that generic $n$-qubit $2$-local Hamiltonians with commuting terms require at least $Ω(n^2)$ gates to evolve with accuracy $ε=Ω(1/poly(n))$ for time $t=Ω(ε)$. Our proof is based on a gate-efficient reduction from the approximate synthesis of diagonal unitaries within the Hamming weight-$2$ subspace, which may be of independent interest. Our result thus suggests the use of Hamiltonian structural properties as both necessary and sufficient to implement Trotter steps with lower gate complexity.
△ Less
Submitted 11 May, 2023; v1 submitted 16 November, 2022;
originally announced November 2022.
-
Assessing requirements to scale to practical quantum advantage
Authors:
Michael E. Beverland,
Prakash Murali,
Matthias Troyer,
Krysta M. Svore,
Torsten Hoefler,
Vadym Kliuchnikov,
Guang Hao Low,
Mathias Soeken,
Aarthi Sundaram,
Alexander Vaschillo
Abstract:
While quantum computers promise to solve some scientifically and commercially valuable problems thought intractable for classical machines, delivering on this promise will require a large-scale quantum machine. Understanding the impact of architecture design choices for a scaled quantum stack for specific applications, prior to full realization of the quantum system, is an important open challenge…
▽ More
While quantum computers promise to solve some scientifically and commercially valuable problems thought intractable for classical machines, delivering on this promise will require a large-scale quantum machine. Understanding the impact of architecture design choices for a scaled quantum stack for specific applications, prior to full realization of the quantum system, is an important open challenge. To this end, we develop a framework for quantum resource estimation, abstracting the layers of the stack, to estimate resources required across these layers for large-scale quantum applications. Using a tool that implements this framework, we assess three scaled quantum applications and find that hundreds of thousands to millions of physical qubits are needed to achieve practical quantum advantage. We identify three qubit parameters, namely size, speed, and controllability, that are critical at scale to rendering these applications practical. A goal of our work is to accelerate progress towards practical quantum advantage by enabling the broader community to explore design choices across the stack, from algorithms to qubits.
△ Less
Submitted 14 November, 2022;
originally announced November 2022.
-
Classical shadows of fermions with particle number symmetry
Authors:
Guang Hao Low
Abstract:
We consider classical shadows of fermion wavefunctions with $η$ particles occupying $n$ modes. We prove that of all $k$-reduced density matrices may be simultaneously estimated to an average variance of $ε^{2}$ using at most $\binomη{k}\big(1-\frac{η-k}{n}\big)^{k}\frac{1+n}{1+n-k}/ε^{2}$ measurements in random single-particle bases that conserve particle number, and provide an estimator that is c…
▽ More
We consider classical shadows of fermion wavefunctions with $η$ particles occupying $n$ modes. We prove that of all $k$-reduced density matrices may be simultaneously estimated to an average variance of $ε^{2}$ using at most $\binomη{k}\big(1-\frac{η-k}{n}\big)^{k}\frac{1+n}{1+n-k}/ε^{2}$ measurements in random single-particle bases that conserve particle number, and provide an estimator that is computationally efficient. This is a super-exponential improvement over the $\binom{n}{k}\sqrt{πk}/ε^{2}$ scaling of prior approaches as $n$ can be arbitrarily larger than $η$ in natural problems. Our method, in the worst-case of half-filling, still provides a factor of $4^{k}$ advantage in sample complexity, and also estimates all $η$-reduced density matrices, applicable to estimating overlaps with all single Slater determinants, with at most $\frac{4}{3}/ε^{2}$ samples, which is additionally independent of $η$.
△ Less
Submitted 18 August, 2022;
originally announced August 2022.
-
Periodic Plane-Wave Electronic Structure Calculations on Quantum Computers
Authors:
Duo Song,
Nicholas P. Bauman,
Guen Prawiroatmodjo,
Bo Peng,
Cassandra Granade,
Kevin M. Rosso,
Guang Hao Low,
Martin Roetteler,
Karol Kowalski,
Eric J. Bylaska
Abstract:
A procedure for defining virtual spaces, and the periodic one-electron and two-electron integrals, for plane-wave second quantized Hamiltonians has been developed and demonstrated using full configuration interaction (FCI) simulations and variational quantum eigensolver (VQE) circuits on Quantinuum's ion trap quantum computers accessed through Microsoft's Azure Quantum service. This work is an ext…
▽ More
A procedure for defining virtual spaces, and the periodic one-electron and two-electron integrals, for plane-wave second quantized Hamiltonians has been developed and demonstrated using full configuration interaction (FCI) simulations and variational quantum eigensolver (VQE) circuits on Quantinuum's ion trap quantum computers accessed through Microsoft's Azure Quantum service. This work is an extension to periodic systems of a new class of algorithms in which the virtual spaces were generated by optimizing orbitals from small pairwise CI Hamiltonians, which we term as correlation optimized virtual orbitals with the abbreviation COVOs. In this extension, the integration of the first Brillouin zone is automatically incorporated into the two-electron integrals. With these procedures we have been able to derive virtual spaces, containing only a few orbitals, that were able to capture a significant amount of correlation. The focus in this manuscript is on comparing the simulations of small molecules calculated with plane-wave basis sets with large periodic unit cells at the $Γ$-point, including images, to results for plane-wave basis sets with aperiodic unit cells. The results for this approach were promising as we were able to obtain good agreement between periodic and aperiodic results for an LiH molecule. Simulations performed on the Quantinuum H1-1 quantum computer were able to produce surprisingly good energies, reproducing the FCI values for the 1 COVO Hamiltonian to within 11 milliHartree (6.9 kcal/mol), when corrected for noise.
△ Less
Submitted 17 October, 2022; v1 submitted 8 August, 2022;
originally announced August 2022.
-
Efficient quantum algorithm for nonlinear reaction-diffusion equations and energy estimation
Authors:
Dong An,
Di Fang,
Stephen Jordan,
**-Peng Liu,
Guang Hao Low,
Jiasu Wang
Abstract:
Nonlinear differential equations exhibit rich phenomena in many fields but are notoriously challenging to solve. Recently, Liu et al. [1] demonstrated the first efficient quantum algorithm for dissipative quadratic differential equations under the condition $R < 1$, where $R$ measures the ratio of nonlinearity to dissipation using the $\ell_2$ norm. Here we develop an efficient quantum algorithm b…
▽ More
Nonlinear differential equations exhibit rich phenomena in many fields but are notoriously challenging to solve. Recently, Liu et al. [1] demonstrated the first efficient quantum algorithm for dissipative quadratic differential equations under the condition $R < 1$, where $R$ measures the ratio of nonlinearity to dissipation using the $\ell_2$ norm. Here we develop an efficient quantum algorithm based on [1] for reaction-diffusion equations, a class of nonlinear partial differential equations (PDEs). To achieve this, we improve upon the Carleman linearization approach introduced in [1] to obtain a faster convergence rate under the condition $R_D < 1$, where $R_D$ measures the ratio of nonlinearity to dissipation using the $\ell_{\infty}$ norm. Since $R_D$ is independent of the number of spatial grid points $n$ while $R$ increases with $n$, the criterion $R_D<1$ is significantly milder than $R<1$ for high-dimensional systems and can stay convergent under grid refinement for approximating PDEs. As applications of our quantum algorithm we consider the Fisher-KPP and Allen-Cahn equations, which have interpretations in classical physics. In particular, we show how to estimate the mean square kinetic energy in the solution by postprocessing the quantum state that encodes it to extract derivative information.
△ Less
Submitted 6 November, 2023; v1 submitted 2 May, 2022;
originally announced May 2022.
-
Propagation of errors and quantitative quantum simulation with quantum advantage
Authors:
S. Flannigan,
N. Pearson,
G. H. Low,
A. Buyskikh,
I. Bloch,
P. Zoller,
M. Troyer,
A. J. Daley
Abstract:
The rapid development in hardware for quantum computing and simulation has led to much interest in problems where these devices can exceed the capabilities of existing classical computers and known methods. Approaching this for problems that go beyond testing the performance of a quantum device is an important step, and quantum simulation of many-body quench dynamics is one of the most promising c…
▽ More
The rapid development in hardware for quantum computing and simulation has led to much interest in problems where these devices can exceed the capabilities of existing classical computers and known methods. Approaching this for problems that go beyond testing the performance of a quantum device is an important step, and quantum simulation of many-body quench dynamics is one of the most promising candidates for early practical quantum advantage. We analyse the requirements for quantitatively reliable quantum simulation beyond the capabilities of existing classical methods for analogue quantum simulators with neutral atoms in optical lattices and trapped ions. Considering the primary sources of error in analogue devices and how they propagate after a quench in studies of the Hubbard or long-range transverse field Ising model, we identify the level of error expected in quantities we extract from experiments. We conclude for models that are directly implementable that regimes of practical quantum advantage are attained in current experiments with analogue simulators. We also identify the hardware requirements to reach the same level of accuracy with future fault-tolerant digital quantum simulation. Verification techniques are already available to test the assumptions we make here, and demonstrating these in experiments will be an important next step.
△ Less
Submitted 28 April, 2022;
originally announced April 2022.
-
Halving the cost of quantum multiplexed rotations
Authors:
Guang Hao Low
Abstract:
We improve the number of $T$ gates needed for a $b$-bit approximation of a multiplexed quantum gate with $c$ controls applying $n$ single-qubit arbitrary phase rotations from $4n b+\mathcal{O}(\sqrt{cn b})$ to $2n b+\mathcal{O}(\sqrt{cn b})$, and reduce the number of qubits needed by up to a factor of two. This generic quantum circuit primitive is found in many quantum algorithms, and our results…
▽ More
We improve the number of $T$ gates needed for a $b$-bit approximation of a multiplexed quantum gate with $c$ controls applying $n$ single-qubit arbitrary phase rotations from $4n b+\mathcal{O}(\sqrt{cn b})$ to $2n b+\mathcal{O}(\sqrt{cn b})$, and reduce the number of qubits needed by up to a factor of two. This generic quantum circuit primitive is found in many quantum algorithms, and our results roughly halve the cost of state-of-art electronic structure simulations based on qubitization of double-factorized or tensor-hypercontracted representations. We achieve this by extending recent ideas on stochastic compilation of quantum circuits to classical data and discuss space-time trade-offs and concentration of measure in its implementation.
△ Less
Submitted 26 October, 2021;
originally announced October 2021.
-
Prospects of Quantum Computing for Molecular Sciences
Authors:
Hongbin Liu,
Guang Hao Low,
Damian S. Steiger,
Thomas Häner,
Markus Reiher,
Matthias Troyer
Abstract:
Molecular science is governed by the dynamics of electrons, atomic nuclei, and their interaction with electromagnetic fields. A reliable physicochemical understanding of these processes is crucial for the design and synthesis of chemicals and materials of economic value. Although some problems in this field are adequately addressed by classical mechanics, many require an explicit quantum mechanica…
▽ More
Molecular science is governed by the dynamics of electrons, atomic nuclei, and their interaction with electromagnetic fields. A reliable physicochemical understanding of these processes is crucial for the design and synthesis of chemicals and materials of economic value. Although some problems in this field are adequately addressed by classical mechanics, many require an explicit quantum mechanical description. Such quantum problems represented by exponentially large wave function should naturally benefit from quantum computation on a number of logical qubits that scales only linearly with system size. In this perspective, we focus on the potential of quantum computing for solving relevant problems in the molecular sciences -- molecular physics, chemistry, biochemistry, and materials science.
△ Less
Submitted 17 May, 2021; v1 submitted 19 February, 2021;
originally announced February 2021.
-
Quantum computing enhanced computational catalysis
Authors:
Vera von Burg,
Guang Hao Low,
Thomas Häner,
Damian S. Steiger,
Markus Reiher,
Martin Roetteler,
Matthias Troyer
Abstract:
The quantum computation of electronic energies can break the curse of dimensionality that plagues many-particle quantum mechanics. It is for this reason that a universal quantum computer has the potential to fundamentally change computational chemistry and materials science, areas in which strong electron correlations present severe hurdles for traditional electronic structure methods. Here, we pr…
▽ More
The quantum computation of electronic energies can break the curse of dimensionality that plagues many-particle quantum mechanics. It is for this reason that a universal quantum computer has the potential to fundamentally change computational chemistry and materials science, areas in which strong electron correlations present severe hurdles for traditional electronic structure methods. Here, we present a state-of-the-art analysis of accurate energy measurements on a quantum computer for computational catalysis, using improved quantum algorithms with more than an order of magnitude improvement over the best previous algorithms. As a prototypical example of local catalytic chemical reactivity we consider the case of a ruthenium catalyst that can bind, activate, and transform carbon dioxide to the high-value chemical methanol. We aim at accurate resource estimates for the quantum computing steps required for assessing the electronic energy of key intermediates and transition states of its catalytic cycle. In particular, we present new quantum algorithms for double-factorized representations of the four-index integrals that can significantly reduce the computational cost over previous algorithms, and we discuss the challenges of increasing active space sizes to accurately deal with dynamical correlations. We address the requirements for future quantum hardware in order to make a universal quantum computer a successful and reliable tool for quantum computing enhanced computational materials science and chemistry, and identify open questions for further research.
△ Less
Submitted 3 March, 2021; v1 submitted 28 July, 2020;
originally announced July 2020.
-
Towards quantum computing for high-energy excited states in molecular systems: quantum phase estimations of core-level states
Authors:
Nicholas P. Bauman,
Hongbin Liu,
Eric J. Bylaska,
S. Krishnamoorthy,
Guang Hao Low,
Christopher E. Granade,
N. Wiebe,
Nathan A. Baker,
B. Peng,
M. Roetteler,
M. Troyer,
K. Kowalski
Abstract:
This paper explores the utility of the quantum phase estimation (QPE) in calculating high-energy excited states characterized by promotions of electrons occupying inner energy shells. These states have been intensively studied over the last few decades especially in supporting the experimental effort at light sources. Results obtained with the QPE are compared with various high-accuracy many-body…
▽ More
This paper explores the utility of the quantum phase estimation (QPE) in calculating high-energy excited states characterized by promotions of electrons occupying inner energy shells. These states have been intensively studied over the last few decades especially in supporting the experimental effort at light sources. Results obtained with the QPE are compared with various high-accuracy many-body techniques developed to describe core-level states. The feasibility of the quantum phase estimator in identifying classes of challenging shake-up states characterized by the presence of higher-order excitation effects is also discussed.
△ Less
Submitted 13 July, 2020;
originally announced July 2020.
-
A Variational Quantum Algorithm for Preparing Quantum Gibbs States
Authors:
Anirban N. Chowdhury,
Guang Hao Low,
Nathan Wiebe
Abstract:
Preparation of Gibbs distributions is an important task for quantum computation. It is a necessary first step in some types of quantum simulations and further is essential for quantum algorithms such as quantum Boltzmann training. Despite this, most methods for preparing thermal states are impractical to implement on near-term quantum computers because of the memory overheads required. Here we pre…
▽ More
Preparation of Gibbs distributions is an important task for quantum computation. It is a necessary first step in some types of quantum simulations and further is essential for quantum algorithms such as quantum Boltzmann training. Despite this, most methods for preparing thermal states are impractical to implement on near-term quantum computers because of the memory overheads required. Here we present a variational approach to preparing Gibbs states that is based on minimizing the free energy of a quantum system. The key insight that makes this practical is the use of Fourier series approximations to the logarithm that allows the entropy component of the free-energy to be estimated through a sequence of simpler measurements that can be combined together using classical post processing. We further show that this approach is efficient for generating high-temperature Gibbs states, within constant error, if the initial guess for the variational parameters for the programmable quantum circuit are sufficiently close to a global optima. Finally, we examine the procedure numerically and show the viability of our approach for five-qubit Hamiltonians using Trotterized adiabatic state preparation as an ansatz.
△ Less
Submitted 31 January, 2020;
originally announced February 2020.
-
Quantum simulations of excited states with active-space downfolded Hamiltonians
Authors:
Nicholas P. Bauman,
Guang Hao Low,
Karol Kowalski
Abstract:
Many-body techniques based on the double unitary coupled cluster ansatz (DUCC) can be used to downfold electronic Hamiltonians into low-dimensional active spaces. It can be shown that the resulting dimensionality reduced Hamiltonians are amenable for quantum computing. Recent studies performed for several benchmark systems using quantum phase estimation (QPE) algorithms demonstrated that these for…
▽ More
Many-body techniques based on the double unitary coupled cluster ansatz (DUCC) can be used to downfold electronic Hamiltonians into low-dimensional active spaces. It can be shown that the resulting dimensionality reduced Hamiltonians are amenable for quantum computing. Recent studies performed for several benchmark systems using quantum phase estimation (QPE) algorithms demonstrated that these formulations can recover a significant portion of ground-state dynamical correlation effects that stem from the electron excitations outside of the active space. These results have also been confirmed in studies of ground-state potential energy surfaces using quantum simulators. In this letter, we study the effectiveness of the DUCC formalism in describing excited states. We also emphasize the role of the QPE formalism and its stochastic nature in discovering/identifying excited states or excited-state processes in situations when the knowledge about the true configurational structure of a sought after excited state is limited or postulated (due to the specific physics driving excited-state processes of interest). In this context, we can view the QPE algorithm as an engine for verifying various hypotheses for excited-state processes and providing statistically meaningful results that correspond to the electronic state(s) with the largest overlap with a postulated configurational structure. We illustrate these ideas on examples of strongly correlated molecular systems, characterized by small energy gaps and high density of quasi-degenerate states around the Fermi level.
△ Less
Submitted 13 September, 2019;
originally announced September 2019.
-
Well-conditioned multiproduct Hamiltonian simulation
Authors:
Guang Hao Low,
Vadym Kliuchnikov,
Nathan Wiebe
Abstract:
Product formula approximations of the time-evolution operator on quantum computers are of great interest due to their simplicity, and good scaling with system size by exploiting commutativity between Hamiltonian terms. However, product formulas exhibit poor scaling with the time $t$ and error $ε$ of simulation as the gate cost of a single step scales exponentially with the order $m$ of accuracy. W…
▽ More
Product formula approximations of the time-evolution operator on quantum computers are of great interest due to their simplicity, and good scaling with system size by exploiting commutativity between Hamiltonian terms. However, product formulas exhibit poor scaling with the time $t$ and error $ε$ of simulation as the gate cost of a single step scales exponentially with the order $m$ of accuracy. We introduce well-conditioned multiproduct formulas, which are a linear combination of product formulas, where a single step has polynomial cost $\mathcal{O}(m^2\log{(m)})$ and succeeds with probability $Ω(1/\operatorname{log}^2{(m)})$. Our multiproduct formulas imply a simple and generic simulation algorithm that simultaneously exploits commutativity in arbitrary systems and has a worst-case cost $\mathcal{O}(t\log^{2}{(t/ε)})$ which is optimal up to poly-logarithmic factors. In contrast, prior Trotter and post-Trotter Hamiltonian simulation algorithms realize only one of these two desirable features. A key technical result of independent interest is our solution to a conditioning problem in previous multiproduct formulas that amplified numerical errors by $e^{Ω(m)}$ in the classical setting, and led to a vanishing success probability $e^{-Ω(m)}$ in the quantum setting.
△ Less
Submitted 20 September, 2019; v1 submitted 26 July, 2019;
originally announced July 2019.
-
Q# and NWChem: Tools for Scalable Quantum Chemistry on Quantum Computers
Authors:
Guang Hao Low,
Nicholas P. Bauman,
Christopher E. Granade,
Bo Peng,
Nathan Wiebe,
Eric J. Bylaska,
Dave Wecker,
Sriram Krishnamoorthy,
Martin Roetteler,
Karol Kowalski,
Matthias Troyer,
Nathan A. Baker
Abstract:
Fault-tolerant quantum computation promises to solve outstanding problems in quantum chemistry within the next decade. Realizing this promise requires scalable tools that allow users to translate descriptions of electronic structure problems to optimized quantum gate sequences executed on physical hardware, without requiring specialized quantum computing knowledge. To this end, we present a quantu…
▽ More
Fault-tolerant quantum computation promises to solve outstanding problems in quantum chemistry within the next decade. Realizing this promise requires scalable tools that allow users to translate descriptions of electronic structure problems to optimized quantum gate sequences executed on physical hardware, without requiring specialized quantum computing knowledge. To this end, we present a quantum chemistry library, under the open-source MIT license, that implements and enables straightforward use of state-of-art quantum simulation algorithms. The library is implemented in Q#, a language designed to express quantum algorithms at scale, and interfaces with NWChem, a leading electronic structure package. We define a standardized schema for this interface, Broombridge, that describes second-quantized Hamiltonians, along with metadata required for effective quantum simulation, such as trial wavefunction ansatzes. This schema is generated for arbitrary molecules by NWChem, conveniently accessible, for instance, through Docker containers and a recently developed web interface EMSL Arrows. We illustrate use of the library with various examples, including ground- and excited-state calculations for LiH, H$_{10}$, and C$_{20}$ with an active-space simplification, and automatically obtain resource estimates for classically intractable examples.
△ Less
Submitted 1 April, 2019;
originally announced April 2019.
-
Downfolding of many-body Hamiltonians using active-space models: extension of the sub-system embedding sub-algebras approach to unitary coupled cluster formalisms
Authors:
Nicholas P. Bauman,
Eric J. Bylaska,
Sriram Krishnamoorthy,
Guang Hao Low,
Nathan Wiebe,
Karol Kowalski
Abstract:
In this paper we outline the extension of recently introduced the sub-system embedding sub-algebras coupled cluster (SES-CC) formalism to the unitary CC formalism. In analogy to the standard single-reference SES-CC formalism, its unitary CC extension allows one to include the dynamical (outside the active space) correlation effects in an SES induced complete active space (CAS) effective Hamiltonia…
▽ More
In this paper we outline the extension of recently introduced the sub-system embedding sub-algebras coupled cluster (SES-CC) formalism to the unitary CC formalism. In analogy to the standard single-reference SES-CC formalism, its unitary CC extension allows one to include the dynamical (outside the active space) correlation effects in an SES induced complete active space (CAS) effective Hamiltonian. In contrast to the standard single-reference SES-CC theory, the unitary CC approach results in a Hermitian form of the effective Hamiltonian. Additionally, for the double unitary CC formalis (DUCC) the corresponding CAS eigenvalue problem provides a rigorous separation of external cluster amplitudes that describe dynamical correlation effects - used to define the effective Hamiltonian - from those corresponding to the internal (inside the active space) excitations that define the components of eigenvectors associated with the energy of the entire system. The proposed formalism can be viewed as an efficient way of downfolding many-electron Hamiltonian to the low-energy model represented by a particular choice of CAS. In principle, this technique can be extended to any type of complete active space representing an arbitrary energy window of a quantum system. The Hermitian character of low-dimensional effective Hamiltonians makes them an ideal target for several types of full configuration interaction (FCI) type eigensolvers. As an example, we also discuss the algebraic form of the perturbative expansions of the effective DUCC Hamiltonians corresponding to composite unitary CC theories and discuss possible algorithms for hybrid classical and quantum computing.
△ Less
Submitted 5 February, 2019; v1 submitted 5 February, 2019;
originally announced February 2019.
-
Trading T gates for dirty qubits in state preparation and unitary synthesis
Authors:
Guang Hao Low,
Vadym Kliuchnikov,
Luke Schaeffer
Abstract:
Efficient synthesis of arbitrary quantum states and unitaries from a universal fault-tolerant gate-set e.g. Clifford+T is a key subroutine in quantum computation. As large quantum algorithms feature many qubits that encode coherent quantum information but remain idle for parts of the computation, these should be used if it minimizes overall gate counts, especially that of the expensive T-gates. We…
▽ More
Efficient synthesis of arbitrary quantum states and unitaries from a universal fault-tolerant gate-set e.g. Clifford+T is a key subroutine in quantum computation. As large quantum algorithms feature many qubits that encode coherent quantum information but remain idle for parts of the computation, these should be used if it minimizes overall gate counts, especially that of the expensive T-gates. We present a quantum algorithm for preparing any dimension-$N$ pure quantum state specified by a list of $N$ classical numbers, that realizes a trade-off between space and T-gates. Our scheme uses $\mathcal{O}(\log{(N/ε)})$ clean qubits and a tunable number of $\sim(λ\log{(\frac{\log{N}}ε)})$ dirty qubits, to reduce the T-gate cost to $\mathcal{O}(\frac{N}λ+λ\log{\frac{N}ε}\log{\frac{\log{N}}ε})$. This trade-off is optimal up to logarithmic factors, proven through an unconditional gate counting lower bound, and is, in the best case, a quadratic improvement in T-count over prior ancillary-free approaches. We prove similar statements for unitary synthesis by reduction to state preparation. Underlying our constructions is a T-efficient circuit implementation of a quantum oracle for arbitrary classical data.
△ Less
Submitted 11 June, 2024; v1 submitted 3 December, 2018;
originally announced December 2018.
-
Hamiltonian simulation with nearly optimal dependence on spectral norm
Authors:
Guang Hao Low
Abstract:
We present a quantum algorithm for approximating the real time evolution $e^{-iHt}$ of an arbitrary $d$-sparse Hamiltonian to error $ε$, given black-box access to the positions and $b$-bit values of its non-zero matrix entries. The complexity of our algorithm is $\mathcal{O}((t\sqrt{d}\|H\|_{1 \rightarrow 2})^{1+o(1)}/ε^{o(1)})$ queries and a factor $\mathcal{O}(b)$ more gates, which is shown to b…
▽ More
We present a quantum algorithm for approximating the real time evolution $e^{-iHt}$ of an arbitrary $d$-sparse Hamiltonian to error $ε$, given black-box access to the positions and $b$-bit values of its non-zero matrix entries. The complexity of our algorithm is $\mathcal{O}((t\sqrt{d}\|H\|_{1 \rightarrow 2})^{1+o(1)}/ε^{o(1)})$ queries and a factor $\mathcal{O}(b)$ more gates, which is shown to be optimal up to subpolynomial factors through a matching query lower bound. This provides a polynomial speedup in sparsity for the common case where the spectral norm $\|H\|\ge\|H\|_{1 \rightarrow 2}$ is known, and generalizes previous approaches which achieve optimal scaling, but with respect to more restrictive parameters. By exploiting knowledge of the spectral norm, our algorithm solves the black-box unitary implementation problem -- $\mathcal{O}(d^{1/2+o(1)})$ queries suffice to approximate any $d$-sparse unitary in the black-box setting, which matches the quantum search lower bound of $Ω(\sqrt{d})$ queries and improves upon prior art [Berry and Childs, QIP 2010] of $\tilde{\mathcal{O}}(d^{2/3})$ queries. Combined with known techniques, we also solve systems of sparse linear equations with condition number $κ$ using $\mathcal{O}((κ\sqrt{d})^{1+o(1)}/ε^{o(1)})$ queries, which is a quadratic improvement in sparsity.
△ Less
Submitted 11 July, 2018;
originally announced July 2018.
-
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.
-
Quantum singular value transformation and beyond: exponential improvements for quantum matrix arithmetics
Authors:
András Gilyén,
Yuan Su,
Guang Hao Low,
Nathan Wiebe
Abstract:
Quantum computing is powerful because unitary operators describing the time-evolution of a quantum system have exponential size in terms of the number of qubits present in the system. We develop a new "Singular value transformation" algorithm capable of harnessing this exponential advantage, that can apply polynomial transformations to the singular values of a block of a unitary, generalizing the…
▽ More
Quantum computing is powerful because unitary operators describing the time-evolution of a quantum system have exponential size in terms of the number of qubits present in the system. We develop a new "Singular value transformation" algorithm capable of harnessing this exponential advantage, that can apply polynomial transformations to the singular values of a block of a unitary, generalizing the optimal Hamiltonian simulation results of Low and Chuang. The proposed quantum circuits have a very simple structure, often give rise to optimal algorithms and have appealing constant factors, while usually only use a constant number of ancilla qubits. We show that singular value transformation leads to novel algorithms. We give an efficient solution to a certain "non-commutative" measurement problem and propose a new method for singular value estimation. We also show how to exponentially improve the complexity of implementing fractional queries to unitaries with a gapped spectrum. Finally, as a quantum machine learning application we show how to efficiently implement principal component regression. "Singular value transformation" is conceptually simple and efficient, and leads to a unified framework of quantum algorithms incorporating a variety of quantum speed-ups. We illustrate this by showing how it generalizes a number of prominent quantum algorithms, including: optimal Hamiltonian simulation, implementing the Moore-Penrose pseudoinverse with exponential precision, fixed-point amplitude amplification, robust oblivious amplitude amplification, fast QMA amplification, fast quantum OR lemma, certain quantum walk results and several quantum machine learning algorithms. In order to exploit the strengths of the presented method it is useful to know its limitations too, therefore we also prove a lower bound on the efficiency of singular value transformation, which often gives optimal bounds.
△ Less
Submitted 5 June, 2018;
originally announced June 2018.
-
Hamiltonian Simulation in the Interaction Picture
Authors:
Guang Hao Low,
Nathan Wiebe
Abstract:
We present a low-space overhead simulation algorithm based on the truncated Dyson series for time-dependent quantum dynamics. This algorithm is applied to simulating time-independent Hamiltonians by transitioning to the interaction picture, where some portions are made time-dependent. This can provide a favorable complexity trade-off as the algorithm scales exponentially better with derivatives of…
▽ More
We present a low-space overhead simulation algorithm based on the truncated Dyson series for time-dependent quantum dynamics. This algorithm is applied to simulating time-independent Hamiltonians by transitioning to the interaction picture, where some portions are made time-dependent. This can provide a favorable complexity trade-off as the algorithm scales exponentially better with derivatives of the time-dependent component than the original Hamiltonian. We show that this leads to an exponential improvement in gate complexity for simulating some classes of diagonally dominant Hamiltonian. Additionally we show that this can reduce the gate-complexity scaling for simulating $N$-site Hubbard models for time $t$ with arbitrary long-range interactions as well as reduce the cost of quantum chemistry simulations within a similar-sized plane-wave basis to $\widetilde{\mathcal{O}}(N^2t)$ from $\widetilde{\mathcal{O}}(N^{11/3}t)$. We also show a quadratic improvement in query complexity for simulating sparse time-dependent Hamiltonians, which may be of independent interest.
△ Less
Submitted 6 June, 2019; v1 submitted 2 May, 2018;
originally announced May 2018.
-
Quantum algorithm for simulating real time evolution of lattice Hamiltonians
Authors:
Jeongwan Haah,
Matthew B. Hastings,
Robin Kothari,
Guang Hao Low
Abstract:
We study the problem of simulating the time evolution of a lattice Hamiltonian, where the qubits are laid out on a lattice and the Hamiltonian only includes geometrically local interactions (i.e., a qubit may only interact with qubits in its vicinity). This class of Hamiltonians is very general and is believed to capture fundamental interactions of physics. Our algorithm simulates the time evoluti…
▽ More
We study the problem of simulating the time evolution of a lattice Hamiltonian, where the qubits are laid out on a lattice and the Hamiltonian only includes geometrically local interactions (i.e., a qubit may only interact with qubits in its vicinity). This class of Hamiltonians is very general and is believed to capture fundamental interactions of physics. Our algorithm simulates the time evolution of such a Hamiltonian on $n$ qubits for time $T$ up to error $ε$ using $\mathcal O( nT \mathrm{polylog} (nT/ε))$ gates with depth $\mathcal O(T \mathrm{polylog} (nT/ε))$. Our algorithm is the first simulation algorithm that achieves gate cost quasilinear in $nT$ and polylogarithmic in $1/ε$. Our algorithm also readily generalizes to time-dependent Hamiltonians and yields an algorithm with similar gate count for any piecewise slowly varying time-dependent bounded local Hamiltonian. We also prove a matching lower bound on the gate count of such a simulation, showing that any quantum algorithm that can simulate a piecewise constant bounded local Hamiltonian in one dimension to constant error requires $\tilde Ω(nT)$ gates in the worst case. The lower bound holds even if we only require the output state to be correct on local measurements. To our best knowledge, this is the first nontrivial lower bound on the gate complexity of the simulation problem. Our algorithm is based on a decomposition of the time-evolution unitary into a product of small unitaries using Lieb-Robinson bounds. In the appendix, we prove a Lieb-Robinson bound tailored to Hamiltonians with small commutators between local terms, giving zero Lieb-Robinson velocity in the limit of commuting Hamiltonians. This improves the performance of our algorithm when the Hamiltonian is close to commuting.
△ Less
Submitted 7 October, 2020; v1 submitted 11 January, 2018;
originally announced January 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.
-
Hamiltonian Simulation by Uniform Spectral Amplification
Authors:
Guang Hao Low,
Isaac L. Chuang
Abstract:
The exponential speedups promised by Hamiltonian simulation on a quantum computer depends crucially on structure in both the Hamiltonian $\hat{H}$, and the quantum circuit $\hat{U}$ that encodes its description. In the quest to better approximate time-evolution $e^{-i\hat{H}t}$ with error $ε$, we motivate a systematic approach to understanding and exploiting structure, in a setting where Hamiltoni…
▽ More
The exponential speedups promised by Hamiltonian simulation on a quantum computer depends crucially on structure in both the Hamiltonian $\hat{H}$, and the quantum circuit $\hat{U}$ that encodes its description. In the quest to better approximate time-evolution $e^{-i\hat{H}t}$ with error $ε$, we motivate a systematic approach to understanding and exploiting structure, in a setting where Hamiltonians are encoded as measurement operators of unitary circuits $\hat{U}$ for generalized measurement. This allows us to define a \emph{uniform spectral amplification} problem on this framework for expanding the spectrum of encoded Hamiltonian with exponentially small distortion. We present general solutions to uniform spectral amplification in a hierarchy where factoring $\hat{U}$ into $n=1,2,3$ unitary oracles represents increasing structural knowledge of the encoding. Combined with structural knowledge of the Hamiltonian, specializing these results allow us simulate time-evolution by $d$-sparse Hamiltonians using $\mathcal{O}\left(t(d \|\hat H\|_{\text{max}}\|\hat H\|_{1})^{1/2}\log{(t\|\hat{H}\|/ε)}\right)$ queries, where $\|\hat H\|\le \|\hat H\|_1\le d\|\hat H\|_{\text{max}}$. Up to logarithmic factors, this is a polynomial improvement upon prior art using $\mathcal{O}\left(td\|\hat H\|_{\text{max}}+\frac{\log{(1/ε)}}{\log\log{(1/ε)}}\right)$ or $\mathcal{O}(t^{3/2}(d \|\hat H\|_{\text{max}}\|\hat H\|_{1}\|\hat H\|/ε)^{1/2})$ queries. In the process, we also prove a matching lower bound of $Ω(t(d\|\hat H\|_{\text{max}}\|\hat H\|_{1})^{1/2})$ queries, present a distortion-free generalization of spectral gap amplification, and an amplitude amplification algorithm that performs multiplication on unknown state amplitudes.
△ Less
Submitted 17 July, 2017;
originally announced July 2017.
-
Parallel Position-Controlled Composite Quantum Logic Gates with Trapped Ions
Authors:
Michael S. Gutierrez,
Guang Hao Low,
Richard Rines,
Helena Zhang
Abstract:
We demonstrate parallel composite quantum logic gates with phases implemented locally through nanoscale movement of ions within a global laser beam of fixed pulse duration. We show that a simple four-pulse sequence suffices for constructing ideal arbitrary single-qubit rotations in the presence of large intensity inhomogeneities across the ion trap due to laser beam-pointing or beam-focusing. Usin…
▽ More
We demonstrate parallel composite quantum logic gates with phases implemented locally through nanoscale movement of ions within a global laser beam of fixed pulse duration. We show that a simple four-pulse sequence suffices for constructing ideal arbitrary single-qubit rotations in the presence of large intensity inhomogeneities across the ion trap due to laser beam-pointing or beam-focusing. Using such sequences, we perform parallel arbitrary rotations on ions in two trap** zones separated by 700 $μ$m with fidelities comparable to those of our standard laser-controlled gates. Our scheme improves on current transport or zone-dependent quantum gates to include phase modulation with local control of the ion's confinement potential. This enables a scalable implementation of an arbitrary number of parallel operations on densely packed qubits with a single laser modulator and beam path.
△ Less
Submitted 12 February, 2017;
originally announced February 2017.
-
Hamiltonian Simulation by Qubitization
Authors:
Guang Hao Low,
Isaac L. Chuang
Abstract:
We present the problem of approximating the time-evolution operator $e^{-i\hat{H}t}$ to error $ε$, where the Hamiltonian $\hat{H}=(\langle G|\otimes\hat{\mathcal{I}})\hat{U}(|G\rangle\otimes\hat{\mathcal{I}})$ is the projection of a unitary oracle $\hat{U}$ onto the state $|G\rangle$ created by another unitary oracle. Our algorithm solves this with a query complexity…
▽ More
We present the problem of approximating the time-evolution operator $e^{-i\hat{H}t}$ to error $ε$, where the Hamiltonian $\hat{H}=(\langle G|\otimes\hat{\mathcal{I}})\hat{U}(|G\rangle\otimes\hat{\mathcal{I}})$ is the projection of a unitary oracle $\hat{U}$ onto the state $|G\rangle$ created by another unitary oracle. Our algorithm solves this with a query complexity $\mathcal{O}\big(t+\log({1/ε})\big)$ to both oracles that is optimal with respect to all parameters in both the asymptotic and non-asymptotic regime, and also with low overhead, using at most two additional ancilla qubits. This approach to Hamiltonian simulation subsumes important prior art considering Hamiltonians which are $d$-sparse or a linear combination of unitaries, leading to significant improvements in space and gate complexity, such as a quadratic speed-up for precision simulations. It also motivates useful new instances, such as where $\hat{H}$ is a density matrix. A key technical result is `qubitization', which uses the controlled version of these oracles to embed any $\hat{H}$ in an invariant $\text{SU}(2)$ subspace. A large class of operator functions of $\hat{H}$ can then be computed with optimal query complexity, of which $e^{-i\hat{H}t}$ is a special case.
△ Less
Submitted 10 July, 2019; v1 submitted 20 October, 2016;
originally announced October 2016.
-
Hamiltonian Simulation with Optimal Sample Complexity
Authors:
Shelby Kimmel,
Cedric Yen-Yu Lin,
Guang Hao Low,
Maris Ozols,
Theodore J. Yoder
Abstract:
We investigate the sample complexity of Hamiltonian simulation: how many copies of an unknown quantum state are required to simulate a Hamiltonian encoded by the density matrix of that state? We show that the procedure proposed by Lloyd, Mohseni, and Rebentrost [Nat. Phys., 10(9):631--633, 2014] is optimal for this task. We further extend their method to the case of multiple input states, showing…
▽ More
We investigate the sample complexity of Hamiltonian simulation: how many copies of an unknown quantum state are required to simulate a Hamiltonian encoded by the density matrix of that state? We show that the procedure proposed by Lloyd, Mohseni, and Rebentrost [Nat. Phys., 10(9):631--633, 2014] is optimal for this task. We further extend their method to the case of multiple input states, showing how to simulate any Hermitian polynomial of the states provided. As applications, we derive optimal algorithms for commutator simulation and orthogonality testing, and we give a protocol for creating a coherent superposition of pure states, when given sample access to those states. We also show that this sample-based Hamiltonian simulation can be used as the basis of a universal model of quantum computation that requires only partial swap operations and simple single-qubit states.
△ Less
Submitted 31 July, 2016;
originally announced August 2016.
-
Optimal Hamiltonian Simulation by Quantum Signal Processing
Authors:
Guang Hao Low,
Isaac L. Chuang
Abstract:
The physics of quantum mechanics is the inspiration for, and underlies, quantum computation. As such, one expects physical intuition to be highly influential in the understanding and design of many quantum algorithms, particularly simulation of physical systems. Surprisingly, this has been challenging, with current Hamiltonian simulation algorithms remaining abstract and often the result of sophis…
▽ More
The physics of quantum mechanics is the inspiration for, and underlies, quantum computation. As such, one expects physical intuition to be highly influential in the understanding and design of many quantum algorithms, particularly simulation of physical systems. Surprisingly, this has been challenging, with current Hamiltonian simulation algorithms remaining abstract and often the result of sophisticated but unintuitive constructions. We contend that physical intuition can lead to optimal simulation methods by showing that a focus on simple single-qubit rotations elegantly furnishes an optimal algorithm for Hamiltonian simulation, a universal problem that encapsulates all the power of quantum computation. Specifically, we show that the query complexity of implementing time evolution by a $d$-sparse Hamiltonian $\hat{H}$ for time-interval $t$ with error $ε$ is $\mathcal{O}(td\|\hat{H}\|_{\text{max}}+\frac{\log{(1/ε)}}{\log{\log{(1/ε)}}})$, which matches lower bounds in all parameters. This connection is made through general three-step "quantum signal processing" methodology, comprised of (1) transducing eigenvalues of $\hat{H}$ into a single ancilla qubit, (2) transforming these eigenvalues through an optimal-length sequence of single-qubit rotations, and (3) projecting this ancilla with near unity success probability.
△ Less
Submitted 20 December, 2016; v1 submitted 8 June, 2016;
originally announced June 2016.
-
Heisenberg scaling of imaging resolution by coherent enhancement
Authors:
Robert McConnell,
Guang Hao Low,
Theodore J. Yoder,
Colin D. Bruzewicz,
Isaac L. Chuang,
John Chiaverini,
Jeremy M. Sage
Abstract:
Classical imaging works by scattering photons from an object to be imaged, and achieves resolution scaling as $1/\sqrt{t}$, with $t$ the imaging time. By contrast, the laws of quantum mechanics allow one to utilize quantum coherence to obtain imaging resolution that can scale as quickly as $1/t$ -- the so-called "Heisenberg limit." However, ambiguities in the obtained signal often preclude taking…
▽ More
Classical imaging works by scattering photons from an object to be imaged, and achieves resolution scaling as $1/\sqrt{t}$, with $t$ the imaging time. By contrast, the laws of quantum mechanics allow one to utilize quantum coherence to obtain imaging resolution that can scale as quickly as $1/t$ -- the so-called "Heisenberg limit." However, ambiguities in the obtained signal often preclude taking full advantage of this quantum enhancement, while imaging techniques designed to be unambiguous often lose this optimal Heisenberg scaling. Here, we demonstrate an imaging technique which combines unambiguous detection of the target with Heisenberg scaling of the resolution. We also demonstrate a binary search algorithm which can efficiently locate a coherent target using the technique, resolving a target trapped ion to within 0.3% of the $1/e^2$ diameter of the excitation beam.
△ Less
Submitted 13 November, 2017; v1 submitted 7 June, 2016;
originally announced June 2016.
-
Iterative Precision Measurement of Branching Ratios Applied to 5P states in 88Sr+
Authors:
Helena Zhang,
Michael Gutierrez,
Guang Hao Low,
Richard Rines,
Jules Stuart,
Tailin Wu,
Isaac Chuang
Abstract:
We report on a method for measuring the branching ratios of dipole transitions of trapped atomic ions by performing nested sequences of population inversions. This scheme is broadly applicable and does not use ultrafast pulsed or narrow linewidth lasers. It is simple to perform and insensitive to experimental variables such as laser and magnetic field noise as well as ion heating. To demonstrate i…
▽ More
We report on a method for measuring the branching ratios of dipole transitions of trapped atomic ions by performing nested sequences of population inversions. This scheme is broadly applicable and does not use ultrafast pulsed or narrow linewidth lasers. It is simple to perform and insensitive to experimental variables such as laser and magnetic field noise as well as ion heating. To demonstrate its effectiveness, we make the most accurate measurements thus far of the branching ratios of both 5P1/2 and 5P3/2 states in 88Sr+ with sub-1% uncertainties. We measure 17.175(27) for the branching ratio of 5P1/2-5S1/2, 15.845(71) for 5P3/2-5S1/2, and 0.05609(21) for 5P3/2-4D5/2, ten- fold and thirty-fold improvements in precision for 5P1/2 and 5P3/2 branching ratios respectively over the best previous experimental values.
△ Less
Submitted 13 May, 2016;
originally announced May 2016.
-
Effects of electrode surface roughness on motional heating of trapped ions
Authors:
Kuan-Yu Lin,
Guang Hao Low,
Issac L. Chuang
Abstract:
Electric field noise is a major source of motional heating in trapped ion quantum computation. While the influence of trap electrode geometries on electric field noise has been studied in patch potential and surface adsorbate models, only smooth surfaces are accounted for by current theory. The effects of roughness, a ubiquitous feature of surface electrodes, are poorly understood. We investigate…
▽ More
Electric field noise is a major source of motional heating in trapped ion quantum computation. While the influence of trap electrode geometries on electric field noise has been studied in patch potential and surface adsorbate models, only smooth surfaces are accounted for by current theory. The effects of roughness, a ubiquitous feature of surface electrodes, are poorly understood. We investigate its impact on electric field noise by deriving a rough-surface Green's function and evaluating its effects on adsorbate-surface binding energies. At cryogenic temperatures, heating rate contributions from adsorbates are predicted to exhibit an exponential sensitivity to local surface curvature, leading to either a large net enhancement or suppression over smooth surfaces. For typical experimental parameters, orders-of-magnitude variations in total heating rates can occur depending on the spatial distribution of absorbates. Through careful engineering of electrode surface profiles, our results suggests that heating rates can be tuned over orders of magnitudes.
△ Less
Submitted 9 May, 2016;
originally announced May 2016.
-
The methodology of resonant equiangular composite quantum gates
Authors:
Guang Hao Low,
Theodore J. Yoder,
Isaac L. Chuang
Abstract:
The creation of composite quantum gates that implement quantum response functions $\hat{U}(θ)$ dependent on some parameter of interest $θ$ is often more of an art than a science. Through inspired design, a sequence of $L$ primitive gates also depending on $θ$ can engineer a highly nontrivial $\hat{U}(θ)$ that enables myriad precision metrology, spectroscopy, and control techniques. However, discov…
▽ More
The creation of composite quantum gates that implement quantum response functions $\hat{U}(θ)$ dependent on some parameter of interest $θ$ is often more of an art than a science. Through inspired design, a sequence of $L$ primitive gates also depending on $θ$ can engineer a highly nontrivial $\hat{U}(θ)$ that enables myriad precision metrology, spectroscopy, and control techniques. However, discovering new, useful examples of $\hat{U}(θ)$ requires great intuition to perceive the possibilities, and often brute-force to find optimal implementations. We present a systematic and efficient methodology for composite gate design of arbitrary length, where phase-controlled primitive gates all rotating by $θ$ act on a single spin. We fully characterize the realizable family of $\hat{U}(θ)$, provide an efficient algorithm that decomposes a choice of $\hat{U}(θ)$ into its shortest sequence of gates, and show how to efficiently choose an achievable $\hat{U}(θ)$ that for fixed $L$, is an optimal approximation to objective functions on its quadratures. A strong connection is forged with \emph{classical} discrete-time signal processing, allowing us to swiftly construct, as examples, compensated gates with optimal bandwidth that implement arbitrary single spin rotations with sub-wavelength spatial selectivity.
△ Less
Submitted 1 February, 2018; v1 submitted 12 March, 2016;
originally announced March 2016.
-
Robust Calibration of a Universal Single-Qubit Gate-Set via Robust Phase Estimation
Authors:
Shelby Kimmel,
Guang Hao Low,
Theodore J. Yoder
Abstract:
An important step in building a quantum computer is calibrating experimentally implemented quantum gates to produce operations that are close to ideal unitaries. The calibration step involves estimating the systematic errors in gates and then using controls to correct the implementation. Quantum process tomography is a standard technique for estimating these errors, but is both time consuming, (wh…
▽ More
An important step in building a quantum computer is calibrating experimentally implemented quantum gates to produce operations that are close to ideal unitaries. The calibration step involves estimating the systematic errors in gates and then using controls to correct the implementation. Quantum process tomography is a standard technique for estimating these errors, but is both time consuming, (when one only wants to learn a few key parameters), and is usually inaccurate without resources like perfect state preparation and measurement, which might not be available. With the goal of efficiently and accurately estimating specific errors using minimal resources, we develop a parameter estimation technique, which can gauge key systematic parameters (specifically, amplitude and off-resonance errors) in a universal single-qubit gate-set with provable robustness and efficiency. In particular, our estimates achieve the optimal efficiency, Heisenberg scaling, and do so without entanglement and entirely within a single-qubit Hilbert space. Our main theorem making this possible is a robust version of the phase estimation procedure of Higgins et al. [B. L. Higgins, New J. Phys. 11, 073023 (2009)].
△ Less
Submitted 21 October, 2021; v1 submitted 9 February, 2015;
originally announced February 2015.
-
Quantum imaging by coherent enhancement
Authors:
Guang Hao Low,
Theodore J. Yoder,
Isaac L. Chuang
Abstract:
Conventional wisdom dictates that to image the position of fluorescent atoms or molecules, one should stimulate as much emission and collect as many photons as possible. That is, in this classical case, it has always been assumed that the coherence time of the system should be made short, and that the statistical scaling $\sim1/\sqrt{t}$ defines the resolution limit for imaging time $t$. However,…
▽ More
Conventional wisdom dictates that to image the position of fluorescent atoms or molecules, one should stimulate as much emission and collect as many photons as possible. That is, in this classical case, it has always been assumed that the coherence time of the system should be made short, and that the statistical scaling $\sim1/\sqrt{t}$ defines the resolution limit for imaging time $t$. However, here we show in contrast that given the same resources, a long coherence time permits a higher resolution image. In this quantum regime, we give a procedure for determining the position of a single two-level system, and demonstrate that the standard errors of our position estimates scale at the Heisenberg limit as $\sim 1/t$, a quadratic, and notably optimal, improvement over the classical case.
△ Less
Submitted 29 September, 2014;
originally announced September 2014.
-
Fixed-point quantum search with an optimal number of queries
Authors:
Theodore J. Yoder,
Guang Hao Low,
Isaac L. Chuang
Abstract:
Grover's quantum search and its generalization, quantum amplitude amplification, provide quadratic advantage over classical algorithms for a diverse set of tasks, but are tricky to use without knowing beforehand what fraction $λ$ of the initial state is comprised of the target states. In contrast, fixed-point search algorithms need only a reliable lower bound on this fraction, but, as a consequenc…
▽ More
Grover's quantum search and its generalization, quantum amplitude amplification, provide quadratic advantage over classical algorithms for a diverse set of tasks, but are tricky to use without knowing beforehand what fraction $λ$ of the initial state is comprised of the target states. In contrast, fixed-point search algorithms need only a reliable lower bound on this fraction, but, as a consequence, lose the very quadratic advantage that makes Grover's algorithm so appealing. Here we provide the first version of amplitude amplification that achieves fixed-point behavior without sacrificing the quantum speedup. Our result incorporates an adjustable bound on the failure probability, and, for a given number of oracle queries, guarantees that this bound is satisfied over the broadest possible range of $λ$.
△ Less
Submitted 24 November, 2014; v1 submitted 10 September, 2014;
originally announced September 2014.
-
Quantum Inference on Bayesian Networks
Authors:
Guang Hao Low,
Theodore J. Yoder,
Isaac L. Chuang
Abstract:
Performing exact inference on Bayesian networks is known to be #P-hard. Typically approximate inference techniques are used instead to sample from the distribution on query variables given the values $e$ of evidence variables. Classically, a single unbiased sample is obtained from a Bayesian network on $n$ variables with at most $m$ parents per node in time $\mathcal{O}(nmP(e)^{-1})$, depending cr…
▽ More
Performing exact inference on Bayesian networks is known to be #P-hard. Typically approximate inference techniques are used instead to sample from the distribution on query variables given the values $e$ of evidence variables. Classically, a single unbiased sample is obtained from a Bayesian network on $n$ variables with at most $m$ parents per node in time $\mathcal{O}(nmP(e)^{-1})$, depending critically on $P(e)$, the probability the evidence might occur in the first place. By implementing a quantum version of rejection sampling, we obtain a square-root speedup, taking $\mathcal{O}(n2^mP(e)^{-\frac12})$ time per sample. We exploit the Bayesian network's graph structure to efficiently construct a quantum state, a q-sample, representing the intended classical distribution, and also to efficiently apply amplitude amplification, the source of our speedup. Thus, our speedup is notable as it is unrelativized -- we count primitive operations and require no blackbox oracle queries.
△ Less
Submitted 28 February, 2014;
originally announced February 2014.
-
Optimal arbitrarily accurate composite pulse sequences
Authors:
Guang Hao Low,
Theodore J. Yoder,
Isaac L. Chuang
Abstract:
Implementing a single qubit unitary is often hampered by imperfect control. Systematic amplitude errors $ε$, caused by incorrect duration or strength of a pulse, are an especially common problem. But a sequence of imperfect pulses can provide a better implementation of a desired operation, as compared to a single primitive pulse. We find optimal pulse sequences consisting of $L$ primitive $π$ or…
▽ More
Implementing a single qubit unitary is often hampered by imperfect control. Systematic amplitude errors $ε$, caused by incorrect duration or strength of a pulse, are an especially common problem. But a sequence of imperfect pulses can provide a better implementation of a desired operation, as compared to a single primitive pulse. We find optimal pulse sequences consisting of $L$ primitive $π$ or $2π$ rotations that suppress such errors to arbitrary order $\mathcal{O}(ε^{n})$ on arbitrary initial states. Optimality is demonstrated by proving an $L=\mathcal{O}(n)$ lower bound and saturating it with $L=2n$ solutions. Closed-form solutions for arbitrary rotation angles are given for $n=1,2,3,4$. Perturbative solutions for any $n$ are proven for small angles, while arbitrary angle solutions are obtained by analytic continuation up to $n=12$. The derivation proceeds by a novel algebraic and non-recursive approach, in which finding amplitude error correcting sequences can be reduced to solving polynomial equations.
△ Less
Submitted 15 January, 2014; v1 submitted 8 July, 2013;
originally announced July 2013.
-
Finite geometry models of electric field noise from patch potentials in ion traps
Authors:
Guang Hao Low,
Peter F. Herskind,
Isaac L. Chuang
Abstract:
We model electric field noise from fluctuating patch potentials on conducting surfaces by taking into account the finite geometry of the ion trap electrodes to gain insight into the origin of anomalous heating in ion traps. The scaling of anomalous heating rates with surface distance, $d$, is obtained for several generic geometries of relevance to current ion trap designs, ranging from planar to s…
▽ More
We model electric field noise from fluctuating patch potentials on conducting surfaces by taking into account the finite geometry of the ion trap electrodes to gain insight into the origin of anomalous heating in ion traps. The scaling of anomalous heating rates with surface distance, $d$, is obtained for several generic geometries of relevance to current ion trap designs, ranging from planar to spheroidal electrodes. The influence of patch size is studied both by solving Laplace's equation in terms of the appropriate Green's function as well as through an eigenfunction expansion. Scaling with surface distance is found to be highly dependent on the choice of geometry and the relative scale between the spatial extent of the electrode, the ion-electrode distance, and the patch size. Our model generally supports the $d^{-4}$ dependence currently found by most experiments and models, but also predicts geometry-driven deviations from this trend.
△ Less
Submitted 14 September, 2011;
originally announced September 2011.