[논문 리뷰] Computational Complexity in Electronic Structure

James Whitfield, Peter J. Love외 1명|PubMed|2012. 08. 16.

Machine Learning in Materials Science참고 문헌 72인용 수 17

한 줄 요약

이 논문은 양자 화학의 전자 구조 계산에 계산 복잡도 이론을 적용하여, 허트리-폭, N-대표성 문제, 밀도-functional 이론의 보편 함수와 같은 핵심 방법들이 QMA-완전하다는 것을 입증한다. 이는 양자 컴퓨터가 해결할 수 있는 문제들 중에서 가장 어려운 문제들임을 시사한다. 결과적으로, 양자 다체 물리학에 뿌리를 두고 있는 본질적 복잡도 탓에, 양자 컴퓨터를 사용하더라도 양자 시스템을 시뮬레이션하는 데 근본적인 한계가 존재한다.

ABSTRACT

In quantum chemistry, the price paid by all known efficient model chemistries is either the truncation of the Hilbert space or uncontrolled approximations. Theoretical computer science suggests that these restrictions are not mere shortcomings of the algorithm designers and programmers but could stem from the inherent difficulty of simulating quantum systems. Extensions of computer science and information processing exploiting quantum mechanics has led to new ways of understanding the ultimate limitations of computational power. Interestingly, this perspective helps us understand widely used model chemistries in a new light. In this article, the fundamentals of computational complexity will be reviewed and motivated from the vantage point of chemistry. Then recent results from the computational complexity literature regarding common model chemistries including Hartree-Fock and density functional theory are discussed.

연구 동기 및 목표

• 이론적 컴퓨터 과학적 시각에서 복잡도를 분석함으로써 전자 구조 계산이 왜 계산적으로 어려운지 이해하고자 한다.
• 허트리-폭과 밀도-functional 이론과 같은 널리 쓰이는 양자 화학 방법의 본질적 어려움을 명확히 하고자 한다.
• 핵심 양자 화학 문제의 복잡도 클래스를 평가하여, 양자 컴퓨터가 이러한 제약을 극복할 수 있는지 조사하고자 한다.
• 복잡도 이론적 도구를 활용해 전자 구조 문제의 정량적 어려움에 대한 향후 연구를 이끌고자 한다.

제안 방법

• 논문은 시간 복잡도와 최악의 경우 스케일링에 중점을 두어, 양자 화학 문제를 분석하기 위해 계산 복잡도 개념을 검토한다.
• 전자 구조 문제를 표준 복잡도 클래스, 특히 QMA(양자 멜린-아서)로 매핑하여 그 어려움을 평가한다.
• 기존에 알려진 QMA-완전 문제인 k-Local-Spin 해밀토니안 문제에서의 축소를 통해, 허트리-폭, N-대표성 문제, 보편 함수의 복잡도 한계를 확립한다.
• 해밀토니안 항의 수에 따라 오차 허용 범위를 정규화하여, 복잡도 분류의 강건성(robustness)을 평가한다.
• 특히 PCP 정리와 그 양자 일반화와 관련하여, 다양한 오차 허용 범위 하에서도 프ом프스 문제의 역할을 논의한다.
• 양자 정보 이론과 양자 계산을 활용하여, 양자 다체 시스템을 시뮬레이션하는 데의 어려움을 체계화한다.

실험 결과

연구 질문

• RQ1 허트리-폭과 DFT와 같은 표준 전자 구조 방법들이 널리 쓰이는데도 불구하고, 왜 계산적으로 어려운가?
• RQ2 조금도 극복할 수 없는, 양자 컴퓨터로도 해결할 수 없는 양자 시스템 시뮬레이션의 근본적 한계가 존재하는가?
• RQ3 전자 구조 문제의 어려움이 양자 다체 시스템의 본질적 복잡도에서 얼마나 뿌리내리고 있는가?
• RQ4 양자 계산 복잡도 이론은 근사적 양자 화학 방법의 신뢰성과 제약을 체계화하는 데 도움이 될 수 있는가?
• RQ5 오차 허용 범위가 유한하거나 천천히 증가하는 경우에도, 전자 구조 문제의 QMA-완전성은 시스템 크기가 증가함에 따라 유지되는가?

주요 결과

• 허트리-폭 에너지 계산은 QMA-완전하다. 이는 양자 컴퓨터가 해결할 수 있는 문제들 중에서 가장 어려운 문제들임을 시사한다.
• 두 전자 감소 밀도 행렬에 대한 N-대표성 문제도 QMA-완전하다. 이는 그 문제가 본질적으로 계산적으로 비가역적임을 보여준다.
• 밀도-functional 이론의 보편 함수 역시 QMA-완전하다. 이는 정확한 DFT가 QMA 복잡도 클래스에서 가장 어려운 문제들과 동등하다는 것을 의미한다.
• 고정되거나 천천히 증가하는 오차 허용 범위가 존재하더라도, k-Local-Spin 해밀토니안 문제의 QMA-완전성은 유지됨을 보여주며, 복잡도 분류의 강건성을 시사한다.
• 결과적으로, 양자 컴퓨터가 전자 구조 문제의 모든 경우를 해결할 수 있을 것이라기보다는, BQP가 NP를 포함하지 않는 것으로 여겨지며, QMA는 NP보다 엄밀히 더 크다고 여겨지기 때문에, 이는 가능성이 낮다는 것을 암시한다.
• 이 연구는 양자 몬테카를로의 부호 문제(sign problem)가 NP-난해하다고 밝혀내며, 양자 시뮬레이션에 내재된 계산적 장벽이 존재한다는 아이디어를 강화한다.