マテリアルズインフォマティクス・材料
第一原理計算の主力DFTは密度で解く——正確だが遅い理由
目次
新しい材料が「使えるか」を、作る前にコンピュータで見積もりたい。この願いをかなえる土台が、実験データに合わせ込まず量子力学の原理から解く第一原理計算だ。そのやり方はいくつかあり、Hartree-Fockを出発点とする波動関数ベースの手法や量子モンテカルロもそこに含まれる。そのうち材料の分野で実際に主力となっているのが DFT(密度汎関数理論, Density Functional Theory)で、この記事が辿るのもこの手法である。材料の記事を読んでいると、この名前は当たり前のように出てくる。だが、それが実際に何を計算していて、なぜ「速いモデルが欲しい」という話にいつも行き着くのかは、あまり説明されない。この記事は、そこを最初から辿る。
なぜ、原子はそのままでは計算できないのか
材料の性質——硬いか、電気を通すか、熱で溶けるか——は、突きつめれば原子どうしがどう引き合い、どう反発するかで決まる。そしてその引力・斥力を本当に決めているのは、原子核のまわりを動く電子だ。だから材料を第一原理から予測するとは、煎じつめれば「電子がどう振る舞うか」を解くことにほかならない。
電子の振る舞いを支配するのは、量子力学のシュレーディンガー方程式だ。原理はわかっている。ならば解けばいい——と言いたいところだが、ここに壁がある。
電子が 個あると、その状態を表す波動関数は 個の座標をもつ関数になる。電子1個で3次元、10個で30次元、100個なら300次元——座標の数は電子数に比例して増える。壁になるのは、その先だ。関数を計算機で扱うには各座標を刻んで値を並べる必要があり、必要な値の数は「1座標あたりの刻み数」の 乗——座標が1本増えるたびに掛け算で効いてくる。仮に1座標を10点で刻む粗い近似でも、電子100個なら 個の値が要る。Kohn自身がノーベル賞講演で、この膨れ上がり方を「指数の壁」と呼んだ1。数個の電子ならともかく、材料をなす何十・何百という電子の波動関数を厳密に解くのは、事実上不可能なのだ。
波動関数の指数の壁——数式と具体例で追う(クリックで展開)
なぜ「乗」が壁になるのか、実際に数を当てはめて確かめてみよう。
波動関数 は、個の電子それぞれの位置 (3次元空間の座標)をすべて詰め込んだ、たった1つの関数だ。電子が個なら、引数は個の実数——つまりこの関数は次元空間の上で定義されている。
これをコンピュータで扱うには、関数の値を有限個の点でしか持てない。各座標軸を点で刻む(粗い近似でも程度)とすると、次元空間には格子点が
個できる。波動関数の値を保持するには、この格子点の数だけの実数が要る。次元が1つ増えるごとに、必要な値の数は掛け算で倍になる——足し算では済まない。
具体的に当てはめてみる(として)。
- 電子1個(次元):個。ノートパソコンでも余裕。
- 電子2個(次元):万個。まだ問題ない。
- 電子10個(次元):個。地球上のすべてのストレージを束ねても遠く及ばない桁だ。
- 電子100個(次元):個。観測可能な宇宙に存在する原子の総数(概算でおよそ個程度と見積もられている)と比べても、比較にならないほど巨大な数だ。
この「次元が1つ増えるたびに、必要な資源が掛け算で膨れ上がる」現象は、高次元のデータを格子で表現しようとする際に分野を問わず現れる一般的な壁だ。Kohnがノーベル賞講演で「指数の壁」と呼んだのは、この一般的な壁が波動関数という具体的な対象に現れた姿である1。
DFTの発想——「密度」で解き直す
DFTの核心は、この壁を問題の立て方を変えて回避したことにある。
1964年、HohenbergとKohnは驚くべき定理を証明した。系の基底状態(最も安定な状態)のエネルギーは、 次元の波動関数をすべて知らなくても、電子の密度——空間の各点に電子が平均どれだけいるか——だけで一意に決まる、というものだ2。電子密度は、電子が何個あろうと、たった3次元の関数である。解くべき対象が 次元から3次元に落ちる。指数の壁が、消える。
翌1965年、KohnとShamはこれを実際に計算できる形にした。相互作用する多数の電子を、「ある有効な場の中を動く、互いに独立な電子」の問題に置き換える方程式——Kohn-Sham方程式だ3。この功績によりWalter Kohnは1998年のノーベル化学賞を受けている(量子化学の計算手法を築いたJohn Popleとの同時受賞)4。今日「第一原理計算」と言えば、多くはこのKohn-Sham DFTを指す。
DFTが3次元に落ちる仕組み——数式で追う(クリックで展開)
Hohenberg-Kohnの定理は、系の基底状態エネルギー が、次元の波動関数 ではなく、電子密度 ——空間の1点 (3次元のベクトル)における電子の平均密度——だけの汎関数として書けることを保証する2。
右辺の各項は、すべてという3次元関数だけの汎関数だ(は運動エネルギー、は原子核などが作る外部ポテンシャル、は電子どうしの相互作用エネルギー)。次元の波動関数を経由しなくても、原理的には3次元の密度だけからエネルギーが決まる——これが「指数の壁が消える」ことの数式上の中身だ。
とはいえ、の中の運動エネルギー項 を密度だけから正確に書き下す式は分かっていない。そこでKohn-Shamは、本物の相互作用する電子系と同じ密度を再現する、架空の「互いに独立な電子」の系を考えた3。この架空の系では、電子1個ずつが次の1電子方程式(Kohn-Sham方程式)に従う。
密度は、占有されている軌道から次のように組み立てる。
ここで(Kohn-Sham軌道)は、それぞれがたった3次元の関数だ。個の電子に対して、3次元の方程式を個解けばよい——次元の波動関数を1個扱うのではなく、3次元の関数を個扱う。有効ポテンシャルは密度から決まり、その密度は軌道から決まるので、両者が釣り合うまで繰り返し解き直す(自己無撞着計算、後述)。(交換相関ポテンシャル)だけは正確な形が分からず近似が必要になる——この点は後の節で扱う。
「次元の関数1個」から「3次元の関数個」への置き換えによって、必要な格子点の数は から、せいぜい (各軌道を3次元格子で表す手間の倍)程度まで落ちる。、なら、個から個へ——桁違いどころではない縮小だ。もちろん実際の計算コストは、軌道どうしを直交させる処理などが効いてO()で増える(次の節で扱う)が、それでもという指数的な壁からは完全に抜け出している。
DFTが「第一原理(ab initio)」の計算に数えられるのは、目当ての材料の実験値に合わせ込むのではなく、量子力学の原理そのものから出発して計算するからだ。特定の材料の実測データを覚えさせて当てているわけではない——だからこそ、まだ作っていない材料にも使える。ただし交換相関汎関数の側には、パラメータを物理定数だけから定める流儀(PBE5)と、実験値へのフィットを含む流儀の両方があり、後者は「実験に合わせない」とは言い切れない。
それでも、なぜ遅いのか
密度で解けるようになった。では速いのかというと、そうはいかない。DFTが「重い」と言われるのには、はっきりした理由が二つある。
一つ目は、計算量の増え方だ。 Kohn-Sham方程式は一度で解けない。有効な場は電子密度から決まり、その密度は方程式を解いて初めて分かる——つまり「仮の密度で解く→新しい密度が出る→それでまた解く」を、答えが動かなくなるまで繰り返す(自己無撞着計算)。しかも各回で、多数の電子軌道を互いに直交させる処理が要る。この直交化のために、計算量はおよそ原子数の3乗()で増える6。ここでの は原子数だが、電子数は原子数にほぼ比例するため、電子数で数えても3乗則は変わらない。原子を2倍にすると手間は約8倍、10倍にすれば約1000倍だ。この「3乗の壁」が、DFTの規模をきつく縛る。
二つ目は、扱える大きさと時間の限界だ。 3乗で効いてくるため、通常のDFTで現実的に扱えるのはせいぜい数百原子、原子を動かしながら追う計算(第一原理分子動力学)でもピコ秒(1兆分の1秒)級の時間までが目安とされる7。桁の話であって固い上限ではないが、「もっと大きな系を、もっと長く」見たい実務からすると、この制約は重い。
正確さにも、但し書きがある
もう一つ、正直に触れておくべき点がある。DFTは原理から出発する計算だが、完全に厳密ではない。
Kohn-Shamの枠組みには、電子どうしの複雑な効果をまとめて押し込めた「交換相関エネルギー」という項がある。この項の正確な形は、誰も知らない。だから実際の計算では近似式を使う——単純なLDAから、より精密なGGA(代表格がPBE5)、さらに高価な混成汎関数へと、精度と計算コストを引き換えにする階段がある。どの近似を選ぶかで答えは変わりうる。DFTは「原理から出発する」が「常に正解を出す」わけではない、という但し書きは、この先の話でも効いてくる。だから計算の確からしさは、計算の内側だけでは決まらない——最後は実験との突き合わせという外部の物差しに照らすことになる。
DFTの近似が具体的にどこでズレるか(クリックで展開)
「交換相関エネルギーが近似である」という一文だけでは、実務でどこが危ういのかが見えてこない。よく知られていて、複数の一次資料で裏づけられている代表的なズレ方を3つ挙げる。
① バンドギャップを系統的に低く見積もる。 交換相関エネルギーは、電子数が整数を跨ぐところで、その汎関数微分である交換相関ポテンシャルが不連続に飛ぶ(導関数の不連続性)。LDAやGGAのような、密度そのもの(や密度の勾配まで)から交換相関を決める近似は、この不連続性を持たない。ただし、話はそれだけではない。厳密なKohn-Shamポテンシャルを使ったとしても、この導関数の不連続性ゆえに半導体・絶縁体のバンドギャップの幅は過小に出ると予想されており、LDAでの過小評価は目安としておよそ40%程度と見積もられている8。実測のギャップ中心の位置はKohn-Sham計算でもおおむね正しく出るが、ギャップの幅そのものは狭く出る、という限定的なズレだ。
② 分散力(ファンデルワールス力)を取りこぼす。 LDAやGGAのような局所的・準局所的な交換相関汎関数は、原子・分子間にはたらく長距離の分散力(ファンデルワールス力、本来は距離の6乗に反比例して弱まる引力)を正しく再現できない。層状物質や分子結晶、吸着現象など分散力が効く系では、これを経験的な補正項(DFT-Dなど)で後から足し込む必要があると報告されている9。
③ 強く相関した電子系で定性的に間違える。 NiOのような遷移金属酸化物は、実験ではおよそ4 eV程度のギャップを持つ絶縁体(バンド理論では金属になるはずが電子相関で絶縁体になる型の代表格)だが、標準的なLDA/GGAではしばしば金属や小さなギャップの半導体として予測されてしまう——絶縁体か金属かという定性的な結論そのものを外す例だ。同じ軌道に2個の電子を置くことの大きなエネルギー損(クーロン反発)をLDA/GGAが十分に表現できていないことが原因とされ、この反発を明示的に加えるLDA+U(DFT+U)法で補正できると報告されている10。
3つに共通するのは、いずれも「近似の選び方によって結論が変わりうる」という同じ構造だ。DFTは原理から出発するが、交換相関という1つの未知の項を経由する以上、その近似の質が答えの信頼性を直接左右する。
だから、「速くて正確な代わり」が欲しくなる
まとめよう。DFTは、解けないはずの量子力学の問題を「密度で解く」ことで実用にした、材料計算の土台だ。だが、原子数の3乗で増える計算量ゆえに、扱えるのは数百原子・ピコ秒級にとどまる。精度も交換相関の近似に左右される。
ここから、一つの願いが自然に出てくる——DFT並みの正確さを保ったまま、桁違いに速く原子の力を求められないか。その答えとして近年台頭したのが、DFTの計算結果を学習し、それを高速に再現する「機械学習ポテンシャル(MLIP)」だ。古典力場とほぼ変わらないコストで動くとされる11この道具が、何を可能にし、どこでつまずくのか。このシリーズは、そこへ入っていく。
出典
-
[支持] W. Kohn, “Nobel Lecture: Electronic structure of matter—wave functions and density functionals,” Reviews of Modern Physics 71, 1253–1266 (1999). 多電子の波動関数が電子数とともに指数的に扱いにくくなる「指数の壁(exponential wall)」と、その代わりに密度を用いる発想を、受賞者自身が解説している。 https://link.aps.org/doi/10.1103/RevModPhys.71.1253 ↩ ↩2
-
[支持] P. Hohenberg & W. Kohn, “Inhomogeneous Electron Gas,” Physical Review 136, B864–B871 (1964). 基底状態の性質が電子密度の汎関数として一意に決まることを示した、DFTの土台となる定理。(誌名は分割前の Physical Review。B864 の “B” はページ区分の記号で、現在の Physical Review B ではない。) https://link.aps.org/doi/10.1103/PhysRev.136.B864 ↩ ↩2
-
[支持] W. Kohn & L. J. Sham, “Self-Consistent Equations Including Exchange and Correlation Effects,” Physical Review 140, A1133–A1138 (1965). 相互作用する多電子系を、有効ポテンシャル中の独立な1電子問題へ写し替え、自己無撞着に解く方程式を与えた。 https://link.aps.org/doi/10.1103/PhysRev.140.A1133 ↩ ↩2
-
[支持] The Nobel Prize in Chemistry 1998. Walter Kohn「密度汎関数理論の発展」とJohn A. Pople「量子化学における計算手法の発展」への同時授与(等分)。DFTが計算材料科学の標準的土台として認知されていることを示す。 https://www.nobelprize.org/prizes/chemistry/1998/summary/ ↩
-
[留保] J. P. Perdew, K. Burke & M. Ernzerhof, “Generalized Gradient Approximation Made Simple,” Physical Review Letters 77, 3865–3868 (1996); 正誤表 Phys. Rev. Lett. 78, 1396 (1997). GGA交換相関汎関数PBE。交換相関の厳密な形は未知で近似に頼らざるを得ないこと(DFTが原理から出発しても厳密ではない根拠)を示す。そのパラメータは実験値への当てはめでなく物理的な定数から定めた、とも述べている。 https://link.aps.org/doi/10.1103/PhysRevLett.77.3865 ↩ ↩2
-
[留保] 標準的なKohn-Sham DFTが、Kohn-Sham軌道に課される直交規格化に由来して系のサイズのおよそ3乗(O(N³))で計算量が増えることは、線形スケーリング法の文献が出発点として明示している。例: S. Mohr ら, “Accurate and efficient linear scaling DFT calculations with universal applicability,” arXiv:1501.05884(Phys. Chem. Chem. Phys. 2015)。O(N³) は広く引かれる漸近的スケーリングで、これを破る線形スケーリング法も存在する。 https://arxiv.org/abs/1501.05884 ↩
-
[留保] 従来の第一原理分子動力学(AIMD)が計算コストゆえに扱えるのは、デスクトップ計算機でおよそ100原子・10ピコ秒程度、スーパーコンピュータを使っても高々数千原子規模とされることは、大規模化を目指す研究が前提として述べている。例: W. Jia ら, “Pushing the limit of molecular dynamics with ab initio accuracy to 100 million atoms with machine learning,” arXiv:2005.00223(2020, Gordon Bell賞)。「数百原子・ピコ秒級」は桁の目安であり、汎関数・基底・計算機に依存する。 https://arxiv.org/abs/2005.00223 ↩
-
[留保] J. P. Perdew & M. Levy, “Physical Content of the Exact Kohn-Sham Orbital Energies: Band Gaps and Derivative Discontinuities,” Physical Review Letters 51, 1884–1887 (1983)。半導体・絶縁体のバンドギャップがLDAでおよそ40%程度過小評価されることと、厳密な交換相関ポテンシャルが持つ「導関数の不連続性」がLDA/GGAには欠けていることが、この過小評価の理論的な理由になりうると論じる。ギャップの中心位置はKohn-Sham計算でもおおむね正しいとも述べる。 https://doi.org/10.1103/PhysRevLett.51.1884 ↩
-
[留保] S. Grimme, J. Antony, S. Ehrlich & H. Krieg, “A Consistent and Accurate ab Initio Parametrization of Density Functional Dispersion Correction (DFT-D) for the 94 Elements H-Pu,” The Journal of Chemical Physics 132, 154104 (2010)。局所的・準局所的な交換相関汎関数だけでは長距離のファンデルワールス分散力を再現できず、経験的な補正項(DFT-D)を後から加える必要があると報告——標準的なDFTが分散力の効く系を苦手とすることの裏づけ。 https://doi.org/10.1063/1.3382344 ↩
-
[留保] V. I. Anisimov, J. Zaanen & O. K. Andersen, “Band Theory and Mott Insulators: Hubbard U instead of Stoner I,” Physical Review B 44, 943–954 (1991)。NiOなどの遷移金属酸化物は実験では絶縁体だが、標準的なLDA/GGAでは金属や小さなギャップの半導体として誤って予測されることがあり、同一軌道に電子2個を置く際の大きなクーロン反発(U)を明示的に加えるLDA+U法で補正できると報告。強く相関した電子系でDFTが定性的に間違いうることの裏づけ。 https://doi.org/10.1103/PhysRevB.44.943 ↩
-
[留保] 機械学習ポテンシャル(MLIP)が古典力場に近い計算コストで動く——すなわちDFTより概ね3桁以上速い——ことは、実務比較のレビューが報告している。例: “Machine-learning interatomic potentials from a user’s perspective: a comparison of accuracy, speed and data efficiency,” Modelling Simul. Mater. Sci. Eng.(2025, DOI 10.1088/1361-651X/adf56d)。DFTの速度が実務では律速になりうること(=代替が求められる根拠)を示す。上限側(10⁶倍級)はモデルや扱う系の規模に依存する到達点で、単一の評価あたり速度比ではない。 https://arxiv.org/abs/2505.02503 ↩
この記事はAIが執筆しています。内容には誤りが含まれる可能性があります。ご注意ください。