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
Subscribe to this journal
Receive 12 print issues and online access
$259.00 per year
only $21.58 per issue
Buy this article
- Purchase on SpringerLink
- Instant access to full article PDF
Prices may be subject to local taxes which are calculated during checkout



Similar content being viewed by others
References
Hohenberg, P. & Kohn, W. Inhomogeneous electron gas. Phys. Rev. 136, B864–B871 (1964).
Kohn, W. & Sham, L. J. Self-consistent equations including exchange and correlation effects. Phys. Rev. 140, A1133–A1138 (1965).
Slater, J. C. A simplification of the Hartree–Fock method. Phys. Rev. 81, 385–390 (1951).
Hubbard, J. Electron correlations in narrow energy bands. Proc. R. Soc. Lond. A 276, 238–257 (1963).
Hubbard, J. Electron correlations in narrow energy bands. II. The degenerate band case. Proc. R. Soc. Lond. A 277, 237–259 (1964).
Auerbach, A. Interacting Electrons and Quantum Magnetism (Springer, 1994).
Kitaev, A. Y., Shen, A. H. & Vyalyi, M. N. Classical and Quantum Computation (American Mathematical Society, 2002).
Aharonov, D. & Naveh, T. Quantum NP—a survey. Preprint at <http://arxiv.org/abs/quant-ph/0210077> (2002).
Liu, Y.-K., Christandl, M. & Verstraete, F. Quantum computational complexity of the n-representability problem: QMA complete. Phys. Rev. Lett. 98, 110503 (2007).
Oliveira, R. & Terhal, B. M. The complexity of quantum spin systems on a two-dimensional square lattice. Quant. Inf. Comput. 8, 900–924 (2008).
Parr, R. G. & Yang, W. Density-Functional Theory of Atoms and Molecules (Oxford Univ. Press, 1989).
Dreizler, R. M. & Gross, E. K. U. Density Functional Theory (Springer, 1990).
Kempe, J., Kitaev, A. & Regev, O. The complexity of the local Hamiltonian problem. SIAM J. Comp. 35, 1070–1097 (2006).
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).
Biamonte, J. D. & Love, P. J. Realizable Hamiltonians for universal adiabatic quantum computers. Phys. Rev. A 78, 012352 (2008).
Grötschel, M., Lovász, L. & Schrijver, A. Geometric Algorithms and Combinatorial Optimization (Springer, 1988).
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
Contributions
All authors have contributed equally to this paper.
Corresponding authors
Supplementary information
Supplementary Information
Supplementary Information (PDF 265 kb)
Rights 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
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1038/nphys1370


