[논문 리뷰] Interacting electrons, Density Functional Theory, and Quantum Merlin Arthur

Norbert Schuch, Frank Verstraete|arXiv (Cornell University)|2007. 12. 04.

Quantum Computing Algorithms and Architecture참고 문헌 3인용 수 1

한 줄 요약

이 논문은 밀도-functional 이론(DFT)에서 효율적인 보편 functional이 존재할 경우, QMA 복잡도 클래스에 속하는 모든 문제를 해결할 수 있음을 보여준다. 이는 양자 컴퓨터가 NP 문제를 다항 시간 내에 해결할 수 있을 경우를 제외하고는 그러한 functional이 효율적으로 존재할 수 없다는 것을 의미한다. 이 결과는 양자 many-body 물리학에서 보편 functional 개발에 대한 기초적인 복잡도 이론적 장벽을 제기하며, 양자 계산 복잡도를 이론적 시각으로 활용한다.

ABSTRACT

One of the central problems in quantum mechanics is to determine the ground state properties of a system of electrons interacting via the Coulomb potential. Since its introduction by Hohenberg, Kohn, and Sham, Density Functional Theory (DFT) has become the most widely used and successful method for simulating systems of interacting electrons, making their original work one of the most cited in physics. In this letter, we show that the field of computational complexity imposes fundamental limitations on DFT, as an efficient description of the associated universal functional would allow to solve any problem in the class QMA (the quantum version of NP) and thus particularly any problem in NP in polynomial time. This 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, while given the universal functional it can be computed efficiently using DFT. This provides a clear illustration how the field of quantum computing is useful even if quantum computers would never be built.

연구 동기 및 목표

• 외부 필드에 있는 상호작용 전자의 기초 상태 에너지 계산의 계산 복잡도를 조사하는 것.
• DFT에서 효율적인 보편 functional이 본질적인 양자 many-body 복잡도를 극복할 수 있는지 평가하는 것.
• DFT의 가능성과 양자 계산의 능력, 특히 QMA와의 연결 고리를 설정하는 것.
• 자기장이 존재하는 허버드 모형을 해결하는 것이 양자 컴퓨터로도 QMA-어려움임을 보여주는 것.
• 효율적인 DFT 기술이 존재할 경우 양자 복잡도 계열이 붕괴됨을 보여주며, 이는 그 존재의 비가능성을 암시한다.

제안 방법

• 논문은 외부 자기장이 존재하는 허버드 모형을 상호작용 전자의 대표적 모형으로 분석한다.
• 이 모형의 기초 상태 에너지 계산이 QMA-완전 문제임을 확인하여, 양자 복잡도 클래스 QMA에 속하는 가장 어려운 문제들 중 하나임을 밝힌다.
• 저자들은 DFT가 보편 functional이 알려져 있으면 기초 상태 에너지를 효율적으로 계산할 수 있다는 사실을 활용한다.
• 허버드 모형의 QMA-어려움과 보편 functional 하에 DFT의 효율성의 조합을 통해, 그러한 functional이 효율적으로 계산 가능할 경우 복잡도 이론적 모순이 발생함을 유도한다.
• 이 유추는 QMA가 BQP에 포함되지 않는다는 가정에 기반하며, 이는 양자 복잡도 이론에서 널리 믿어지는 추측이다.
• 결론은 귀류법을 통해 도출된다: 만약 효율적인 보편 functional이 존재한다면, QMA 문제를 다항 시간 내에 해결할 수 있으며, 이는 알려진 복잡도 한계와 모순된다.

실험 결과

연구 질문

• RQ1 보편 functional이 알려져 있을 경우, 외부 자기장이 존재하는 허버드 모형의 기초 상태 에너지를 DFT로 효율적으로 계산할 수 있는가?
• RQ2 쿠론트 포텐셜에 있는 상호작용 전자의 기초 상태 에너지를 결정하는 계산 복잡도는 무엇인가?
• RQ3 DFT에서 효율적인 보편 functional이 존재하면 QMA에 속하는 모든 문제를 다항 시간 내에 해결할 수 있는가?
• RQ4 허버드 모형의 기초 상태 에너지를 찾는 문제는 QMA-완전한가?
• RQ5 QMA-어려움은 DFT의 실용적이고 이론적 발전에 어떤 영향을 미치는가?

주요 결과

• 외부 자기장이 존재하는 허버드 모형의 기초 상태 에너지 계산은 QMA-완전하며, 양자 컴퓨터로 해결할 수 있는 가장 어려운 문제들 중 하나이다.
• DFT에서 효율적인 보편 functional이 존재할 경우, QMA에 속하는 어떤 문제라도 다항 시간 내에 해결할 수 있다.
• 이는 효율적인 보편 functional의 존재가 양자 복잡도 계열을 붕괴시킬 것이며, 널리 수용된 복잡도 이론적 가정과 모순됨을 의미한다.
• 따라서 QMA가 BQP에 포함되지 않는 한, 효율적인 보편 functional은 존재할 수 없다.
• 이 결과는 양자 계산 복잡도에 뿌리를 두고 있는 DFT에 대한 기초적인 이론적 제약을 설정한다.
• 이러한 발견은 실제 양자 컴퓨터를 구축하지 않더라도, 양자 복잡도 이론이 전자 구조 이론의 한계를 이해하는 데 어떻게 기여할 수 있는지 보여준다.