[論文レビュー] Universal Functionals in Density Functional Theory

Mathieu Lewin, Élliott H. Lieb+1 more|arXiv (Cornell University)|Dec 22, 2019

Graph theory and applications参考文献 150被引用数 12

ひとこと要約

この論文は、密度汎関数理論（DFT）における普遍的汎関数について包括的なレビューを提供し、Levy-Lieb汎関数、Lieb汎関数、およびグランドカノニカル汎関数に焦点を当てる。大粒子数の極限において、カノニカル形式とグランドカノニカル形式が等価であることを確立し、Levy-Lieb汎関数がカノニカル汎関数の点ewise極限であることを証明することで、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普遍的汎関数を定式化する。
• 2つの凸一般化を導入・分析する：混合状態を用いるLieb汎関数と、平均粒子数が固定された状態を用いるグランドカノニカル汎関数。
• 局所密度近似（LDA）を適用し、均一な電子ガスの単位体積あたりエネルギーから導かれる局所的汎関数に非局所的汎関数を置き換える。
• Lieb-ThirringおよびLieb-Oxford不等式を用いて、運動エネルギーおよび相互作用エネルギー汎関数の厳密な下界を導出する。
• 与えられたグランドカノニカル状態を、粒子数および空間でコンパクトな台を持つカノニカル状態の系列によって近似するための構成を行う。
• 空間局在化と粒子数の切断を含む極限手続きを用いて、カノニカル汎関数がグランドカノニカル汎関数に収束することを証明する。

実験結果

リサーチクエスチョン

• RQ1 DFTにおける普遍的汎関数のカノニカル形式、混合状態形式、グランドカノニカル形式の間にはどのような関係があるか？
• RQ2 カノニカル形式のLevy-Lieb汎関数が、どのような条件下でグランドカノニカル汎関数に収束するか？
• RQ3 運動エネルギーおよび相互作用エネルギー汎関数の厳密な下界は何か？それらは既知の不等式とどのように関係しているか？
• RQ4 局所密度近似（LDA）が、どのような状況で普遍的汎関数に対して正確になるか？
• RQ5 多体一意拡張性は、Hohenberg-Kohn定理の証明において果たす役割は何か？

主な発見

• 大粒子数の極限において、カノニカル形式のLevy-Lieb汎関数は点wiseにグランドカノニカル汎関数に収束し、熱力学的極限において両者の等価性が確立される。
• グランドカノニカル汎関数に対する局所密度近似（LDA）は、大きな空間領域にわたる平坦な密度の極限において正確になる。
• 運動エネルギー汎関数は、Lieb-ThirringおよびHoffmann-Ostenhofの両下界を満たし、特定の領域ではLieb-Thirringの下界が鋭い。
• 古典的相互作用エネルギー汎関数はLieb-Oxford不等式を満たし、密度を用いた普遍的下界を提供する。
• 空間局在化と粒子数の切断を含む近似列を用いることで、カノニカル汎関数がグランドカノニカル汎関数に収束することが証明された。
• Hohenberg-Kohn定理は、多体一意拡張性に依存しており、一般のN粒子系においては、この性質が未解決の問題のまま残っている。