Skip to main content

Thank you for visiting nature.com. You are using a browser version with limited support for CSS. To obtain the best experience, we recommend you use a more up to date browser (or turn off compatibility mode in Internet Explorer). In the meantime, to ensure continued support, we are displaying the site without styles and JavaScript.

  • Letter
  • Published:

Computational complexity of interacting electrons and fundamental limitations of density functional theory

Abstract

One of the central problems in quantum mechanics is to determine the ground-state properties of a system of electrons interacting through the Coulomb potential. Since its introduction1,2, density functional theory has become the most widely used and successful method for simulating systems of interacting electrons. Here, we show that the field of computational complexity imposes fundamental limitations on density functional theory. In particular, if the associated ‘universal functional’ could be found efficiently, this would imply that any problem in the computational complexity class Quantum Merlin Arthur could be solved efficiently. Quantum Merlin Arthur is the quantum version of the class NP and thus any problem in NP could be solved in polynomial time. This is considered highly unlikely. Our result follows from the fact that finding the ground-state energy of the Hubbard model in an external magnetic field is a hard problem even for a quantum computer, but, given the universal functional, it can be computed efficiently using density functional theory. This work illustrates how the field of quantum computing could be useful even if quantum computers were never built.

This is a preview of subscription content, access via your institution

Access options

Buy this article

Prices may be subject to local taxes which are calculated during checkout

Figure 1: The relevant complexity classes and their relationships.
Figure 2: Gadgets to reduce Pauli couplings to Heisenberg couplings.
Figure 3: The sparse Heisenberg lattice as obtained from H2D, equation (5), using a sequence of gadgets.

Similar content being viewed by others

References

  1. Hohenberg, P. & Kohn, W. Inhomogeneous electron gas. Phys. Rev. 136, B864–B871 (1964).

    Article  ADS  MathSciNet  Google Scholar 

  2. Kohn, W. & Sham, L. J. Self-consistent equations including exchange and correlation effects. Phys. Rev. 140, A1133–A1138 (1965).

    Article  ADS  MathSciNet  Google Scholar 

  3. Slater, J. C. A simplification of the Hartree–Fock method. Phys. Rev. 81, 385–390 (1951).

    Article  ADS  Google Scholar 

  4. Hubbard, J. Electron correlations in narrow energy bands. Proc. R. Soc. Lond. A 276, 238–257 (1963).

    Article  ADS  Google Scholar 

  5. Hubbard, J. Electron correlations in narrow energy bands. II. The degenerate band case. Proc. R. Soc. Lond. A 277, 237–259 (1964).

    Article  ADS  Google Scholar 

  6. Auerbach, A. Interacting Electrons and Quantum Magnetism (Springer, 1994).

    Book  Google Scholar 

  7. Kitaev, A. Y., Shen, A. H. & Vyalyi, M. N. Classical and Quantum Computation (American Mathematical Society, 2002).

    Book  Google Scholar 

  8. Aharonov, D. & Naveh, T. Quantum NP—a survey. Preprint at <http://arxiv.org/abs/quant-ph/0210077> (2002).

  9. Liu, Y.-K., Christandl, M. & Verstraete, F. Quantum computational complexity of the n-representability problem: QMA complete. Phys. Rev. Lett. 98, 110503 (2007).

    Article  ADS  Google Scholar 

  10. Oliveira, R. & Terhal, B. M. The complexity of quantum spin systems on a two-dimensional square lattice. Quant. Inf. Comput. 8, 900–924 (2008).

    MathSciNet  MATH  Google Scholar 

  11. Parr, R. G. & Yang, W. Density-Functional Theory of Atoms and Molecules (Oxford Univ. Press, 1989).

    Google Scholar 

  12. Dreizler, R. M. & Gross, E. K. U. Density Functional Theory (Springer, 1990).

    Book  Google Scholar 

  13. Kempe, J., Kitaev, A. & Regev, O. The complexity of the local Hamiltonian problem. SIAM J. Comp. 35, 1070–1097 (2006).

    Article  MathSciNet  Google Scholar 

  14. Bravyi, S., DiVincenzo, D. P., Loss, D. & Terhal, B. M. Simulation of many-body Hamiltonians using perturbation theory with bounded-strength interactions. Phys. Rev. Lett. 101, 070503 (2008).

    Article  ADS  Google Scholar 

  15. Biamonte, J. D. & Love, P. J. Realizable Hamiltonians for universal adiabatic quantum computers. Phys. Rev. A 78, 012352 (2008).

    Article  ADS  MathSciNet  Google Scholar 

  16. Grötschel, M., Lovász, L. & Schrijver, A. Geometric Algorithms and Combinatorial Optimization (Springer, 1988).

    Book  Google Scholar 

Download references

Acknowledgements

We thank H. Buhrman, G. Burkard, I. Cirac, G. Giedke, J. Kempe, G. Refael, R. Schmied, B. Toner, and the referees for discussions and comments. This work was supported by the EU projects QUEVADIS and SCALA, the FWF (SFB project FoQuS) and the Munich Center for Advanced Photonics (MAP). N.S. thanks the Erwin Schrödinger Institute in Vienna, where parts of this work were carried out, for their hospitality.

Author information

Authors and Affiliations

Authors

Contributions

All authors have contributed equally to this paper.

Corresponding authors

Correspondence to Norbert Schuch or Frank Verstraete.

Supplementary information

Supplementary Information

Supplementary Information (PDF 265 kb)

Rights and permissions

Reprints and permissions

About this article

Cite this article

Schuch, N., Verstraete, F. Computational complexity of interacting electrons and fundamental limitations of density functional theory. Nature Phys 5, 732–735 (2009). https://doi.org/10.1038/nphys1370

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1038/nphys1370

Search

Quick links

Nature Briefing

Sign up for the Nature Briefing newsletter — what matters in science, free to your inbox daily.

Get the most important science stories of the day, free in your inbox. Sign up for Nature Briefing