Showing 1–16 of 16 results for author: Temme, K

Scalable error mitigation for noisy quantum circuits produces competitive expectation values

Authors: Youngseok Kim, Christopher J. Wood, Theodore J. Yoder, Seth T. Merkel, Jay M. Gambetta, Kristan Temme, Abhinav Kandala

Abstract: Noise in existing quantum processors only enables an approximation to ideal quantum computation. However, these approximations can be vastly improved by error mitigation, for the computation of expectation values, as shown by small-scale experimental demonstrations. However, the practical scaling of these methods to larger system sizes remains unknown. Here, we demonstrate the utility of zero-nois… ▽ More Noise in existing quantum processors only enables an approximation to ideal quantum computation. However, these approximations can be vastly improved by error mitigation, for the computation of expectation values, as shown by small-scale experimental demonstrations. However, the practical scaling of these methods to larger system sizes remains unknown. Here, we demonstrate the utility of zero-noise extrapolation for relevant quantum circuits using up to 26 qubits, circuit depths of 60, and 1080 CNOT gates. We study the scaling of the method for canonical examples of product states and entangling Clifford circuits of increasing size, and extend it to the quench dynamics of 2-D Ising spin lattices with varying couplings. We show that the efficacy of the error mitigation is greatly enhanced by additional error suppression techniques and native gate decomposition that reduce the circuit time. By combining these methods, we demonstrate an accuracy in the approximate quantum simulation of the quench dynamics that surpasses the classical approximations obtained from a state-of-the-art 2-D tensor network method. These results reveal a path to a relevant quantum advantage with noisy, digital, quantum processors. △ Less

Submitted 20 August, 2021; originally announced August 2021.

Comments: 7 pages, 3 figures

Journal ref: Nat. Phys. (2023)

Szegedy Walk Unitaries for Quantum Maps

Authors: Pawel Wocjan, Kristan Temme

Abstract: Szegedy developed a generic method for quantizing classical algorithms based on random walks [Proceedings of FOCS, 2004, pp. 32-41]. A major contribution of his work was the construction of a walk unitary for any reversible random walk. Such unitary posses two crucial properties: its eigenvector with eigenphase $0$ is a quantum sample of the limiting distribution of the random walk and its eigenph… ▽ More Szegedy developed a generic method for quantizing classical algorithms based on random walks [Proceedings of FOCS, 2004, pp. 32-41]. A major contribution of his work was the construction of a walk unitary for any reversible random walk. Such unitary posses two crucial properties: its eigenvector with eigenphase $0$ is a quantum sample of the limiting distribution of the random walk and its eigenphase gap is quadratically larger than the spectral gap of the random walk. It was an open question if it is possible to generalize Szegedy's quantization method for stochastic maps to quantum maps. We answer this in the affirmative by presenting an explicit construction of a Szegedy walk unitary for detailed balanced Lindbladians -- generators of quantum Markov semigroups -- and detailed balanced quantum channels. We prove that our Szegedy walk unitary has a purification of the fixed point of the Lindbladian as eigenvector with eigenphase $0$ and that its eigenphase gap is quadratically larger than the spectral gap of the Lindbladian. To construct the walk unitary we leverage a canonical form for detailed balanced Lindbladians showing that they are structurally related to Davies generators. We also explain how the quantization method for Lindbladians can be applied to quantum channels. We give an efficient quantum algorithm for quantizing Davies generators that describe many important open-system dynamics, for instance, the relaxation of a quantum system coupled to a bath. Our algorithm extends known techniques for simulating quantum systems on a quantum computer. △ Less

Submitted 15 July, 2021; originally announced July 2021.

Journal ref: Commun. Math. Phys. (2023)

Quantum Simulators: Architectures and Opportunities

Authors: Ehud Altman, Kenneth R. Brown, Giuseppe Carleo, Lincoln D. Carr, Eugene Demler, Cheng Chin, Brian DeMarco, Sophia E. Economou, Mark A. Eriksson, Kai-Mei C. Fu, Markus Greiner, Kaden R. A. Hazzard, Randall G. Hulet, Alicia J. Kollar, Benjamin L. Lev, Mikhail D. Lukin, Ruichao Ma, Xiao Mi, Shashank Misra, Christopher Monroe, Kater Murch, Zaira Nazario, Kang-Kuen Ni, Andrew C. Potter, Pedram Roushan , et al. (12 additional authors not shown)

Abstract: Quantum simulators are a promising technology on the spectrum of quantum devices from specialized quantum experiments to universal quantum computers. These quantum devices utilize entanglement and many-particle behaviors to explore and solve hard scientific, engineering, and computational problems. Rapid development over the last two decades has produced more than 300 quantum simulators in operati… ▽ More Quantum simulators are a promising technology on the spectrum of quantum devices from specialized quantum experiments to universal quantum computers. These quantum devices utilize entanglement and many-particle behaviors to explore and solve hard scientific, engineering, and computational problems. Rapid development over the last two decades has produced more than 300 quantum simulators in operation worldwide using a wide variety of experimental platforms. Recent advances in several physical architectures promise a golden age of quantum simulators ranging from highly optimized special purpose simulators to flexible programmable devices. These developments have enabled a convergence of ideas drawn from fundamental physics, computer science, and device engineering. They have strong potential to address problems of societal importance, ranging from understanding vital chemical processes, to enabling the design of new materials with enhanced performance, to solving complex computational problems. It is the position of the community, as represented by participants of the NSF workshop on "Programmable Quantum Simulators," that investment in a national quantum simulator program is a high priority in order to accelerate the progress in this field and to result in the first practical applications of quantum machines. Such a program should address two areas of emphasis: (1) support for creating quantum simulator prototypes usable by the broader scientific community, complementary to the present universal quantum computer effort in industry; and (2) support for fundamental research carried out by a blend of multi-investigator, multi-disciplinary collaborations with resources for quantum simulator software, hardware, and education. △ Less

Submitted 20 December, 2019; v1 submitted 14 December, 2019; originally announced December 2019.

Comments: 41 pages -- references and acknowledgments added in v2

Journal ref: PRX Quantum 2, 017003 (2021)

Hardware-efficient Variational Quantum Eigensolver for Small Molecules and Quantum Magnets

Authors: Abhinav Kandala, Antonio Mezzacapo, Kristan Temme, Maika Takita, Markus Brink, Jerry M. Chow, Jay M. Gambetta

Abstract: Quantum computers can be used to address molecular structure, materials science and condensed matter physics problems, which currently stretch the limits of existing high-performance computing resources. Finding exact numerical solutions to these interacting fermion problems has exponential cost, while Monte Carlo methods are plagued by the fermionic sign problem. These limitations of classical co… ▽ More Quantum computers can be used to address molecular structure, materials science and condensed matter physics problems, which currently stretch the limits of existing high-performance computing resources. Finding exact numerical solutions to these interacting fermion problems has exponential cost, while Monte Carlo methods are plagued by the fermionic sign problem. These limitations of classical computational methods have made even few-atom molecular structures problems of practical interest for medium-sized quantum computers. Yet, thus far experimental implementations have been restricted to molecules involving only Period I elements. Here, we demonstrate the experimental optimization of up to six-qubit Hamiltonian problems with over a hundred Pauli terms, determining the ground state energy for molecules of increasing size, up to BeH2. This is enabled by a hardware-efficient variational quantum eigensolver with trial states specifically tailored to the available interactions in our quantum processor, combined with a compact encoding of fermionic Hamiltonians and a robust stochastic optimization routine. We further demonstrate the flexibility of our approach by applying the technique to a problem of quantum magnetism. Across all studied problems, we find agreement between experiment and numerical simulations with a noisy model of the device. These results help elucidate the requirements for scaling the method to larger systems, and aim at bridging the gap between problems at the forefront of high-performance computing and their implementation on quantum hardware. △ Less

Submitted 13 October, 2017; v1 submitted 17 April, 2017; originally announced April 2017.

Comments: 6 pages, 4 figures in main text. 18 pages, 9 figures in supplementary information

Journal ref: Nature 549, 242 (2017)

Error mitigation for short-depth quantum circuits

Authors: Kristan Temme, Sergey Bravyi, Jay M. Gambetta

Abstract: Two schemes are presented that mitigate the effect of errors and decoherence in short depth quantum circuits. The size of the circuits for which these techniques can be applied is limited by the rate at which the errors in the computation are introduced. Near-term applications of early quantum devices, such as quantum simulations, rely on accurate estimates of expectation values to become relevant… ▽ More Two schemes are presented that mitigate the effect of errors and decoherence in short depth quantum circuits. The size of the circuits for which these techniques can be applied is limited by the rate at which the errors in the computation are introduced. Near-term applications of early quantum devices, such as quantum simulations, rely on accurate estimates of expectation values to become relevant. Decoherence and gate errors lead to wrong estimates of the expectation values of observables used to evaluate the noisy circuit. The two schemes we discuss are deliberately simple and don't require additional qubit resources, so to be as practically relevant in current experiments as possible. The first method, extrapolation to the zero noise limit, subsequently cancels powers of the noise perturbations by an application of Richardson's deferred approach to the limit. The second method cancels errors by resampling randomized circuits according to a quasi-probability distribution. △ Less

Submitted 6 November, 2017; v1 submitted 6 December, 2016; originally announced December 2016.

Comments: new journal reference and updated figure

Journal ref: Phys. Rev. Lett. 119, 180509 (2017)

Self correction requires Energy Barrier for Abelian quantum doubles

Authors: Anna Komar, Olivier Landon-Cardinal, Kristan Temme

Abstract: We rigorously establish an Arrhenius law for the mixing time of quantum doubles based on any Abelian group $\mathbb{Z}_d$. We have made the concept of the energy barrier therein mathematically well-defined, it is related to the minimum energy cost the environment has to provide to the system in order to produce a generalized Pauli error, maximized for any generalized Pauli errors, not only logical… ▽ More We rigorously establish an Arrhenius law for the mixing time of quantum doubles based on any Abelian group $\mathbb{Z}_d$. We have made the concept of the energy barrier therein mathematically well-defined, it is related to the minimum energy cost the environment has to provide to the system in order to produce a generalized Pauli error, maximized for any generalized Pauli errors, not only logical operators. We evaluate this generalized energy barrier in Abelian quantum double models and find it to be a constant independent of system size. Thus, we rule out the possibility of entropic protection for this broad group of models. △ Less

Submitted 6 January, 2016; originally announced January 2016.

Comments: 18 pages, 6 figures

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

How fast do stabilizer Hamiltonians thermalize?

Authors: Kristan Temme, Michael J. Kastoryano

Abstract: We present rigorous bounds on the thermalization time of the family of quantum mechanical spin systems known as stabilizer Hamiltonians. The thermalizing dynamics are modeled by a Davies master equation that arises from a weak local coupling of the system to a large thermal bath. Two temperature regimes are considered. First we clarify how in the low temperature regime, the thermalization time is… ▽ More We present rigorous bounds on the thermalization time of the family of quantum mechanical spin systems known as stabilizer Hamiltonians. The thermalizing dynamics are modeled by a Davies master equation that arises from a weak local coupling of the system to a large thermal bath. Two temperature regimes are considered. First we clarify how in the low temperature regime, the thermalization time is governed by a generalization of the energy barrier between orthogonal ground states. When no energy barrier is present the Hamiltonian thermalizes in a time that is at most quadratic in the system size. Secondly, we show that above a universal critical temperature, every stabilizer Hamiltonian relaxes to its unique thermal state in a time which scales at most linearly in the size of the system. We provide an explicit lower bound on the critical temperature. Finally, we discuss the implications of these result for the problem of self-correcting quantum memories with stabilizer Hamiltonians. △ Less

Submitted 28 May, 2015; originally announced May 2015.

Thermalization time bounds for Pauli stabilizer Hamiltonians

Authors: Kristan Temme

Abstract: We prove a general lower bound to the spectral gap of the Davies generator for Hamiltonians that can be written as the sum of commuting Pauli operators. These Hamiltonians, defined on the Hilbert space of $N$-qubits, serve as one of the most frequently considered candidates for a self-correcting quantum memory. A spectral gap bound on the Davies generator establishes an upper limit on the life tim… ▽ More We prove a general lower bound to the spectral gap of the Davies generator for Hamiltonians that can be written as the sum of commuting Pauli operators. These Hamiltonians, defined on the Hilbert space of $N$-qubits, serve as one of the most frequently considered candidates for a self-correcting quantum memory. A spectral gap bound on the Davies generator establishes an upper limit on the life time of such a quantum memory and can be used to estimate the time until the system relaxes to thermal equilibrium when brought into contact with a thermal heat bath. The bound can be shown to behave as $λ\geq {\cal O}(N^{-1}\exp(-2β\, \overlineε))$, where $\overlineε$ is a generalization of the well known energy barrier for logical operators. Particularly in the low temperature regime we expect this bound to provide the correct asymptotic scaling of the gap with the system size up to a factor of $N^{-1}$. Furthermore, we discuss conditions and provide scenarios where this factor can be removed and a constant lower bound can be proven △ Less

Submitted 17 January, 2016; v1 submitted 9 December, 2014; originally announced December 2014.

Comments: Removed minor mistakes and included conditions on the Hamiltonian for which a constant lower bound to the spectral gap of the Davies generator can be proven

Hypercontractivity of quasi-free quantum semigroups

Authors: Kristan Temme, Fernando Pastawski, Michael J. Kastoryano

Abstract: Hypercontractivity of a quantum dynamical semigroup has strong implications for its convergence behavior and entropy decay rate. A logarithmic Sobolev inequality and the corresponding logarithmic Sobolev constant can be inferred from the semigroup's hypercontractive norm bound. We consider completely-positive quantum mechanical semigroups described by a Lindblad master equation. To prove the norm… ▽ More Hypercontractivity of a quantum dynamical semigroup has strong implications for its convergence behavior and entropy decay rate. A logarithmic Sobolev inequality and the corresponding logarithmic Sobolev constant can be inferred from the semigroup's hypercontractive norm bound. We consider completely-positive quantum mechanical semigroups described by a Lindblad master equation. To prove the norm bound, we follow an approach which has its roots in the study of classical rate equations. We use interpolation theorems for non-commutative $L_p$ spaces to obtain a general hypercontractive inequality from a particular $p \rightarrow q$-norm bound. Then, we derive a bound on the $2 \rightarrow 4$-norm from an analysis of the block diagonal structure of the semigroup's spectrum. We show that the dynamics of an $N$-qubit graph state Hamiltonian weakly coupled to a thermal environment is hypercontractive. As a consequence this allows for the efficient preparation of graph states in time ${\rm poly}(\log(N))$ by coupling at sufficiently low temperature. Furthermore, we extend our results to gapped Liouvillians arising from a weak linear coupling of a free-fermion systems. △ Less

Submitted 9 December, 2014; v1 submitted 20 March, 2014; originally announced March 2014.

Journal ref: J. Phys. A: Math. Theor. 47 (2014) 405303

Lower bounds to the spectral gap of Davies generators

Authors: Kristan Temme

Abstract: We construct lower bounds to the spectral gap of a family of Lindblad generators known as Davies maps. These maps describe the thermalization of quantum systems weakly coupled to a heat bath. The steady state of these systems is given by the Gibbs distribution with respect to the system Hamiltonian. The bounds can be evaluated explicitly, when the eigenbasis and the spectrum of the Hamiltonian is… ▽ More We construct lower bounds to the spectral gap of a family of Lindblad generators known as Davies maps. These maps describe the thermalization of quantum systems weakly coupled to a heat bath. The steady state of these systems is given by the Gibbs distribution with respect to the system Hamiltonian. The bounds can be evaluated explicitly, when the eigenbasis and the spectrum of the Hamiltonian is known. A crucial assumption is that the spectrum of the Hamiltonian is non-degenerate. Furthermore, we provide a counterexample to the conjecture, that the convergence rate is always determined by the gap of the associated Pauli master equation. We conclude, that the full dynamics of the Lindblad generator has to be considered. Finally, we present several physical example systems for which the bound to the spectral gap is evaluated. △ Less

Submitted 9 December, 2014; v1 submitted 23 May, 2013; originally announced May 2013.

Comments: 24 pages, 5 figures

Journal ref: Journal of Mathematical Physics 54.12 (2013): 122110

Preparing projected entangled pair states on a quantum computer

Authors: Martin Schwarz, Kristan Temme, Frank Verstraete

Abstract: We present a quantum algorithm to prepare injective PEPS on a quantum computer, a class of open tensor networks representing quantum states. The run-time of our algorithm scales polynomially with the inverse of the minimum condition number of the PEPS projectors and, essentially, with the inverse of the spectral gap of the PEPS' parent Hamiltonian. We present a quantum algorithm to prepare injective PEPS on a quantum computer, a class of open tensor networks representing quantum states. The run-time of our algorithm scales polynomially with the inverse of the minimum condition number of the PEPS projectors and, essentially, with the inverse of the spectral gap of the PEPS' parent Hamiltonian. △ Less

Submitted 21 February, 2012; v1 submitted 7 April, 2011; originally announced April 2011.

Comments: 5 pages, 1 figure. To be published in Physical Review Letters. Removed heuristics, refined run-time bound

Journal ref: Phys. Rev. Lett. 108, 110502 (2012)

Stochastic Matrix Product States

Authors: Kristan Temme, Frank Verstraete

Abstract: The concept of stochastic matrix product states is introduced and a natural form for the states is derived. This allows to define the analogue of Schmidt coefficients for steady states of non-equilibrium stochastic processes. We discuss a new measure for correlations which is analogous to the entanglement entropy, the entropy cost $S_C$, and show that this measure quantifies the bond dimension nee… ▽ More The concept of stochastic matrix product states is introduced and a natural form for the states is derived. This allows to define the analogue of Schmidt coefficients for steady states of non-equilibrium stochastic processes. We discuss a new measure for correlations which is analogous to the entanglement entropy, the entropy cost $S_C$, and show that this measure quantifies the bond dimension needed to represent a steady state as a matrix product state. We illustrate these concepts on the hand of the asymmetric exclusion process. △ Less

Submitted 20 June, 2010; v1 submitted 12 March, 2010; originally announced March 2010.

Journal ref: Phys. Rev. Lett. 104, 210502 (2010)

Stochastic exclusion processes versus coherent transport

Authors: Kristan Temme, Michael M. Wolf, Frank Verstraete

Abstract: Stochastic exclusion processes play an integral role in the physics of non-equilibrium statistical mechanics. These models are Markovian processes, described by a classical master equation. In this paper a quantum mechanical version of a stochastic hopping process in one dimension is formulated in terms of a quantum master equation. This allows the investigation of coherent and stochastic evolut… ▽ More Stochastic exclusion processes play an integral role in the physics of non-equilibrium statistical mechanics. These models are Markovian processes, described by a classical master equation. In this paper a quantum mechanical version of a stochastic hopping process in one dimension is formulated in terms of a quantum master equation. This allows the investigation of coherent and stochastic evolution in the same formal framework. The focus lies on the non-equilibrium steady state. Two stochastic model systems are considered, the totally asymmetric exclusion process and the fully symmetric exclusion process. The steady state transport properties of these models is compared to the case with additional coherent evolution, generated by the $XX$-Hamiltonian. △ Less

Submitted 1 April, 2010; v1 submitted 4 December, 2009; originally announced December 2009.

Journal ref: New J. Phys. 14 075004 (2012)

Quantum Metropolis Sampling

Authors: K. Temme, T. J. Osborne, K. G. Vollbrecht, D. Poulin, F. Verstraete

Abstract: The original motivation to build a quantum computer came from Feynman who envisaged a machine capable of simulating generic quantum mechanical systems, a task that is believed to be intractable for classical computers. Such a machine would have a wide range of applications in the simulation of many-body quantum physics, including condensed matter physics, chemistry, and high energy physics. Part o… ▽ More The original motivation to build a quantum computer came from Feynman who envisaged a machine capable of simulating generic quantum mechanical systems, a task that is believed to be intractable for classical computers. Such a machine would have a wide range of applications in the simulation of many-body quantum physics, including condensed matter physics, chemistry, and high energy physics. Part of Feynman's challenge was met by Lloyd who showed how to approximately decompose the time-evolution operator of interacting quantum particles into a short sequence of elementary gates, suitable for operation on a quantum computer. However, this left open the problem of how to simulate the equilibrium and static properties of quantum systems. This requires the preparation of ground and Gibbs states on a quantum computer. For classical systems, this problem is solved by the ubiquitous Metropolis algorithm, a method that basically acquired a monopoly for the simulation of interacting particles. Here, we demonstrate how to implement a quantum version of the Metropolis algorithm on a quantum computer. This algorithm permits to sample directly from the eigenstates of the Hamiltonian and thus evades the sign problem present in classical simulations. A small scale implementation of this algorithm can already be achieved with today's technology △ Less

Submitted 4 October, 2010; v1 submitted 18 November, 2009; originally announced November 2009.

Comments: revised version

Journal ref: Nature 471:87,2011

Graphene with geometrically induced vorticity

Authors: Jiannis K. Pachos, Michael Stone, Kristan Temme

Abstract: At half filling, the electronic structure of graphene can be modelled by a pair of free two-dimensional Dirac fermions. We explicitly demonstrate that in the presence of a geometrically induced gauge field, an everywhere-real Kekule modulation of the hopping matrix elements can correspond to a non-real Higgs field with non-trivial vorticity. This provides a natural setting for fractionally charg… ▽ More At half filling, the electronic structure of graphene can be modelled by a pair of free two-dimensional Dirac fermions. We explicitly demonstrate that in the presence of a geometrically induced gauge field, an everywhere-real Kekule modulation of the hopping matrix elements can correspond to a non-real Higgs field with non-trivial vorticity. This provides a natural setting for fractionally charged vortices with localized zero modes. For fullerene-like molecules we employ the index theorem to demonstrate the existence of six low-lying states that do not depend strongly on the Kekule-induced mass gap. △ Less

Submitted 26 March, 2008; v1 submitted 3 October, 2007; originally announced October 2007.

Comments: 4 pages, 3 figures, to appear in PRL

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

Non-equilibrium dynamics of a Bose-Einstein condensate in an optical lattice

Authors: Kristan Temme, Thomas Gasenzer

Abstract: The dynamical evolution of a Bose-Einstein condensate trapped in a one-dimensional lattice potential is investigated theoretically in the framework of the Bose-Hubbard model. The emphasis is set on the far-from-equilibrium evolution in a case where the gas is strongly interacting. This is realized by an appropriate choice of the parameters in the Hamiltonian, and by starting with an initial stat… ▽ More The dynamical evolution of a Bose-Einstein condensate trapped in a one-dimensional lattice potential is investigated theoretically in the framework of the Bose-Hubbard model. The emphasis is set on the far-from-equilibrium evolution in a case where the gas is strongly interacting. This is realized by an appropriate choice of the parameters in the Hamiltonian, and by starting with an initial state, where one lattice well contains a Bose-Einstein condensate while all other wells are empty. Oscillations of the condensate as well as non-condensate fractions of the gas between the different sites of the lattice are found to be damped as a consequence of the collisional interactions between the atoms. Functional integral techniques involving self-consistently determined mean fields as well as two-point correlation functions are used to derive the two-particle-irreducible (2PI) effective action. The action is expanded in inverse powers of the number of field components N, and the dynamic equations are derived from it to next-to-leading order in this expansion. This approach reaches considerably beyond the Hartree-Fock-Bogoliubov mean-field theory, and its results are compared to the exact quantum dynamics obtained by A.M. Rey et al., Phys. Rev. A 69, 033610 (2004) for small atom numbers. △ Less

Submitted 5 July, 2006; originally announced July 2006.

Comments: 9 pages RevTeX, 3 figures

Report number: HD-THEP-06-11

Journal ref: Phys. Rev. A 74: 053603, 2006