Letter | Published:

Quantum Metropolis sampling

Nature volume 471, pages 8790 (03 March 2011) | Download Citation

Abstract

The original motivation to build a quantum computer came from Feynman1, who imagined a machine capable of simulating generic quantum mechanical systems—a task that is believed to be intractable for classical computers. Such a machine could have far-reaching applications in the simulation of many-body quantum physics in condensed-matter, chemical and high-energy systems. Part of Feynman’s challenge was met by Lloyd2, 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 algorithm3, a method that has basically acquired a monopoly on the simulation of interacting particles. Here we demonstrate how to implement a quantum version of the Metropolis algorithm. This algorithm permits sampling directly from the eigenstates of the Hamiltonian, and thus evades the sign problem present in classical simulations. A small-scale implementation of this algorithm should be achievable with today’s technology.

Access optionsAccess options

Rent or Buy article

Get time limited or full article access on ReadCube.

from$8.99

All prices are NET prices.

References

  1. 1.

    Simulating physics with computers. Int. J. Theor. Phys. 21, 467–488 (1982)

  2. 2.

    Universal quantum simulators. Science 273, 1073–1078 (1996)

  3. 3.

    , , , & Equation of state calculation by fast computing machines. J. Chem. Phys. 21, 1087 (1953)

  4. 4.

    et al. Ab initio determination of light hadron masses. Science 322, 1224–1227 (2008)

  5. 5.

    & Stochastic relaxation, Gibbs distributions, and the Bayesian restoration of images. IEEE Trans. Pattern Anal. Mach. Intell. 6, 721–741 (1984)

  6. 6.

    , & Optimization by simulated annealing. Science 220, 671–680 (1983)

  7. 7.

    (ed.) Quantum Monte Carlo Methods in Equilibrium and Nonequilibrium Systems (Springer Ser. Solid-State Sci. 74, Springer, 1987)

  8. 8.

    & Quantum algorithm providing exponential speed increase for finding eigenvalues and eigenvectors. Phys. Rev. Lett. 83, 5162–5165 (1999)

  9. 9.

    , , & Simulated quantum computation of molecular energies. Science 309, 1704–1707 (2005)

  10. 10.

    , & Quantum computation and quantum-state engineering driven by dissipation. Nature Phys. 5, 633–636 (2009)

  11. 11.

    et al. A quantum adiabatic evolution algorithm applied to random instances of an NP-complete problem. Science 292, 472–475 (2001)

  12. 12.

    & Problem of equilibration and the computation of correlation functions on a quantum computer. Phys. Rev. A 61, 022301 (2000)

  13. 13.

    Monte Carlo and Molecular Dynamics Simulations in Polymer Science (Oxford Univ. Press, 1995)

  14. 14.

    & Rejection-free geometric cluster algorithm for complex fluids. Phys. Rev. Lett. 92, 035504 (2004)

  15. 15.

    & Nonuniversal critical dynamics in Monte Carlo simulations. Phys. Rev. Lett. 58, 86–88 (1987)

  16. 16.

    The loop algorithm. Adv. Phys. 52, 1–66 (2003)

  17. 17.

    , & Classical and Quantum Computation (American Mathematical Society, 2002)

  18. 18.

    & Quantum NP - a survey. Preprint at 〈〉 (2002)

  19. 19.

    Quantum computations: algorithms and error correction. Russ. Math. Surv. 52, 1191–1249 (1997)

  20. 20.

    , , & Quantum algorithms revisited. Proc. R. Soc. Lond. A 454, 339–354 (1998)

  21. 21.

    & A single quantum cannot be cloned. Nature 299, 802–803 (1982)

  22. 22.

    & Quantum Arthur-Merlin games. Comput. Complex. 14, 122–152 (2005)

  23. 23.

    & The complexity of quantum spin systems on a two-dimensional square lattice. Quant. Inf. Comp. 8, 900–924 (2008)

  24. 24.

    , , & The power of quantum systems on a line. Commun. Math. Phys. 287, 41–65 (2009)

  25. 25.

    & Computational complexity of interacting electrons and fundamental limitations of density functional theory. Nature Phys. 5, 732–735 (2009)

  26. 26.

    & Über das Paulische Äquivalenzverbot. Zeit. Phys. A 47, 631–651 (1928)

  27. 27.

    & Simulation of many-body Fermi systems on a universal quantum computer. Phys. Rev. Lett. 79, 2586–2589 (1997)

  28. 28.

    in Proc. Annu. IEEE Symp. Found. Comput. Sci. 32–41 (IEEE, 2004)

  29. 29.

    , , & Quantum simulations of classical annealing processes. Phys. Rev. Lett. 101, 130504 (2008)

  30. 30.

    & Sampling from the thermal quantum Gibbs state and evaluating partition functions with a quantum computer. Phys. Rev. Lett. 103, 220502 (2009)

Download references

Acknowledgements

We would like to thank S. Bravyi, C. Dellago, J. Kempe and H. Verschelde for discussions. Part of this work was done during a workshop at the Erwin Schrödinger Institute for Mathematical Physics. K.T. was supported by the FWF programme CoQuS. T.J.O. was supported, in part, by EPSRC. K.G.V. is supported by DFG FG 635. D.P. is partly funded by NSERC, MITACS and FQRNT. F.V. is supported by the FWF grants FoQuS and ViCoM, by the European grant QUEVADIS and by the ERC grant QUERG.

Author information

Affiliations

  1. Vienna Center for Quantum Science & Technology, Fakultät für Physik, Universität Wien, 1090 Wien, Austria

    • K. Temme
    •  & F. Verstraete
  2. Institute of Theoretical Physics, Gottfried Wilhelm Leibniz Universität Hannover, 30167 Hannover, Germany

    • T. J. Osborne
  3. Max Planck Institut für Quantenoptik, 85748 Garching, Germany

    • K. G. Vollbrecht
  4. Département de Physique, Université de Sherbrooke, Sherbrooke, Québec J1K 2R1, Canada

    • D. Poulin

Authors

  1. Search for K. Temme in:

  2. Search for T. J. Osborne in:

  3. Search for K. G. Vollbrecht in:

  4. Search for D. Poulin in:

  5. Search for F. Verstraete in:

Contributions

This project was started by T.J.O. and F.V. five years ago and rejuvenated by an inspiring visit of K.G.V. with K.T. and F.V. in 2009. The connection to the QMA amplification scheme of Marriott and Watrous was made by D.P. at the Erwin Schrödinger Institute, and the project was finalized by K.T. and F.V. by proving quantum detailed balance.

Competing interests

The authors declare no competing financial interests.

Corresponding author

Correspondence to F. Verstraete.

Supplementary information

PDF files

  1. 1.

    Supplementary Information

    The file contains Supplementary Text, additional references and Supplementary Figures 1-5 with legends.

About this article

Publication history

Received

Accepted

Published

DOI

https://doi.org/10.1038/nature09770

Comments

By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.