[논문 리뷰] Universal Functionals in Density Functional Theory

Mathieu Lewin, Élliott H. Lieb외 1명|arXiv (Cornell University)|2019. 12. 22.

Graph theory and applications참고 문헌 150인용 수 12

한 줄 요약

이 논문은 밀도-functional 이론(DFT)에서 보편 함수열에 대한 종합적인 검토를 제공하며, 특히 Levy-Lieb, Lieb 및 광역함수열에 중점을 둔다. 큰 입자 수의 극한에서 캐논리컬 및 광역함수열의 수식이 동치임을 증명하고, Levy-Lieb 함수열이 캐논리컬 함수열의 점별 극한임을 보이며, DFT 근사에서 혼합 상태의 사용을 정당화한다.

ABSTRACT

In this chapter we first review the Levy-Lieb functional, which gives the lowest kinetic and interaction energy that can be reached with all possible quantum states having a given density. We discuss two possible convex generalizations of this functional, corresponding to using mixed canonical and grand-canonical states, respectively. We present some recent works about the local density approximation, in which the functionals get replaced by purely local functionals constructed using the uniform electron gas energy per unit volume. We then review the known upper and lower bounds on the Levy-Lieb functionals. We start with the kinetic energy alone, then turn to the classical interaction alone, before we are able to put everything together. An appendix is devoted to the Hohenberg-Kohn theorem and the role of many-body unique continuation in its proof.

연구 동기 및 목표

• DFT에서 다양한 보편 함수열, 즉 Levy-Lieb, Lieb 및 광역함수열의 수학적 구조와 상호 동치성을 명확히 하기.
• 큰 입자 수의 극한에서 캐논리컬 Levy-Lieb 함수열이 광역함수열로 수렴하는지 조사하기.
• Lieb-Thirring 및 Lieb-Oxford 부등식을 이용해 운동에너지 및 상호작용에너지 함수열에 엄밀한 하한을 설정하기.
• 보편 함수열의 맥락에서 국소 밀도 근사(LDA)의 타당성과 한계를 분석하기.
• Hohenberg-Kohn 정리에서 유일계속성의 역할과 DFT 기초에 대한 영향을 고찰하기.

제안 방법

• 주어진 밀도를 갖는 모든 N-입자 파동함수에 대한 운동에너지 및 상호작용에너지의 하한으로서 Levy-Lieb 보편 함수열을 수학적으로 정의하기.
• 두 가지 볼록 일반화를 도입하고 분석하기: 혼합 상태를 사용하는 Lieb 함수열과 평균 입자 수가 고정된 상태를 사용하는 광역함수열.
• 국소 밀도 근사(LDA)를 적용하여 비국소 함수열을 균일한 전자 기체의 단위 부피 에너지로부터 유도된 국소 함수열로 대체하기.
• Lieb-Thirring 및 Lieb-Oxford 부등식을 사용하여 운동에너지 및 상호작용에너지 함수열에 엄밀한 하한을 도출하기.
• 주어진 광역함수열 상태를 근사하기 위해 입자 수와 공간에서 컴act 지지가 있는 캐논리컬 상태의 수열을 구성하기.
• 공간 국소화와 입자 수 절단을 포함하는 극한 절차를 통해 캐논리컬 함수열이 광역함수열로 수렴함을 증명하기.

실험 결과

연구 질문

• RQ1 DFT에서 보편 함수열의 캐논리컬, 혼합 상태, 광역함수열 수식은 상호 어떻게 관련되어 있는가?
• RQ2 캐논리컬 Levy-Lieb 함수열이 광역함수열로 수렴하는 조건은 무엇인가?
• RQ3 운동에너지 및 상호작용에너지 함수열에 대한 엄밀한 하한은 무엇이며, 알려진 부등식과 어떻게 관련되어 있는가?
• RQ4 보편 함수열의 맥락에서 국소 밀도 근사(LDA)가 어떤 범위에서 정확해지는가?
• RQ5 다체 유일계속성은 Hohenberg-Kohn 정리의 증명에서 어떤 역할을 하는가?

주요 결과

• 큰 입자 수의 극한에서 캐논리컬 Levy-Lieb 함수열이 점별로 광역함수열로 수렴함을 보이며, 이는 열역학적 극한에서 두 수식이 동치임을 입증한다.
• 광역함수열에 대한 국소 밀도 근사(LDA)는 큰 공간 영역에서 평탄한 밀도를 갖는 경우 정확해진다.
• 운동에너지 함수열은 Lieb-Thirring 및 Hoffmann-Ostenhof 하한을 모두 만족하며, 일부 영역에서는 Lieb-Thirring 하한이 최적임을 보인다.
• 고전적 상호작용에너지 함수열은 Lieb-Oxford 부등식을 만족하며, 밀도에 대한 보편 하한을 제공한다.
• 공간 국소화와 입자 수 절단을 포함하는 근사 수열을 통해 캐논리컬 함수열이 광역함수열로 수렴함을 증명하였다.
• Hohenberg-Kohn 정리는 다체 유일계속성 성질에 의존하며, 이는 일반적인 N-입자 시스템에서 아직 미해결 문제로 남아 있다.