第一原理分子動力学法の基礎(AIMD)
第一原理分子動力学法(ab initio molecular dynamics, AIMD)は、原子核の運動を分子動力学で追いながら、各時刻の原子に働く力を第一原理電子状態計算からその都度求める方法である。経験的ポテンシャルの関数形を仮定せず、電子の量子力学を通じて化学結合の生成・切断や金属結合の集団的応答を同一の枠組みで扱える点に強みがある。
目次
- 位置づけ
- 古典分子動力学の出発点
- 電子と原子核の分離
- エネルギー地形と運動方程式
- 力の導出
- 応力とセル自由度
- Born–Oppenheimer分子動力学
- Car–Parrinello分子動力学
- 有限温度DFTと占有数
- 時間積分と時間刻み
- 温度制御
- 圧力制御
- 周期境界条件と電荷・表面
- 電子状態計算の設定がダイナミクスへ与える影響
- 初期条件と平衡化
- 観測量の計算
- 統計誤差と相関時間
- 計算規模と到達時間
- 機械学習ポテンシャルとの併用
- 手法の比較
- まとめと展望
- 参考文献
参考ドキュメント
- D. Marx and J. Hutter, Ab initio molecular dynamics: Theory and Implementation (NIC Series, 2000, PDF) https://www.theochem.rub.de/images/theochem/research/marx/marx.pdf
- R. Car and M. Parrinello, Unified Approach for Molecular Dynamics and Density-Functional Theory, Phys. Rev. Lett. 55, 2471 (1985) https://link.aps.org/doi/10.1103/PhysRevLett.55.2471
- 繁田秀哉, 第一原理ダイナミクスによる材料の物性・反応解析(HPCI講習資料, PDF) https://www.hpci-office.jp/invite2/documents2/ws_material_191018_shigeta.pdf
位置づけ
分子動力学(MD)は、原子核(原子)を質点とみなし、力学方程式を数値積分して原子配置の時間発展を得る方法である。古典MDでは力を経験的ポテンシャルから与えるが、AIMDでは力を電子の量子力学(多くは密度汎関数理論)で決めるため、力の根拠がより直接的に物理へ結び付く。
AIMDは、固体・液体・表面・界面などの凝縮系で、温度や圧力の下で原子が実際に動く様子を、電子構造を保ったまま追うために用いられる。静的な構造最適化が一つの安定構造を探すのに対し、AIMDは有限温度でのゆらぎや拡散、相転移の核形成など、時間方向の情報が本質となる現象へ踏み込む役割を持つ。
古典分子動力学の出発点
古典MDの核は、各原子
である。ここで
多くの場合、力はポテンシャル
と定義される。
古典MDで本質となるのは、力がどれだけ正確に
電子と原子核の分離
電子と原子核の運動を同時に量子力学で解くことは一般に困難であるため、原子核を古典的に、電子を量子的に扱う近似が導入される。原子核は電子よりはるかに重く、時間スケールが遅いので、原子核の配置
この考え方は断熱近似(Born–Oppenheimerの考え方)として知られる。AIMDでは、原子核配置
エネルギー地形と運動方程式
原子核配置
である。
この式は見た目が単純であるが、含意は重い。第一に、原子核の運動は多体かつ量子由来の相互作用を、単一のスカラー関数
力の導出
AIMDで用いられる力は、電子状態計算の全エネルギーを原子位置で微分したものである。概念的には
であるが、実際には電子密度やKohn–Sham軌道、擬ポテンシャル、基底の取り方に依存して具体形が分かれる。
Hellmann–Feynmanの見方
ハミルトニアン
の形(Hellmann–Feynman型)で書ける。ここでは波動関数の微分が見えなくなるため、力の計算が直感的になる。
ただし、この簡単な形がそのまま数値実装に落ちるとは限らない。基底が原子位置に依存する場合(局在基底など)には追加項(Pulay項)が現れ、平面波基底でも有限カットオフや数値近似により力の精度が揺らぐことがある。AIMDでは一回の誤差が次のステップへ伝搬するため、力の一貫性が静的計算以上に重要になる。
密度汎関数理論の立場での力
Kohn–Sham DFTでは、エネルギーは電子密度
AIMDで力が不安定なとき、原因はしばしば電子状態計算が十分収束していないこと、基底や離散化が粗いこと、占有数(スメアリング)の扱いが一貫していないことにある。力はエネルギーの微分であるため、エネルギー自体が見かけ上よく見えても、力の誤差が顕在化することがある。
応力とセル自由度
固体や高密度液体では、セル体積や形状が変化する状況(熱膨張、圧力下、ひずみ下)を扱いたくなる。そこで、原子位置だけでなくセルの自由度も変数として導入し、応力テンソル
応力は、エネルギーのひずみ微分として
(
Born–Oppenheimer分子動力学
Born–Oppenheimer分子動力学(BOMD)は、各時刻の原子配置
BOMDの反復構造
時刻
このとき、電子状態計算は前ステップの波動関数を初期値にすることで速く収束することが多い。AIMDが進むほど構造変化が小さくなり、電子の初期推定が良くなるため、計算が安定することがある一方、急激な相転移や反応が起こると電子状態が大きく変わり、収束が難しくなることがある。
エネルギー保存とドリフト
BOMDをNVE(外部から温度制御や圧力制御を入れない)で行えば、理想的には全エネルギーが保存される。しかし数値計算では、時間積分誤差に加えて電子の未収束が力の非保存性として現れ、全エネルギーがゆっくり変化することがある。
この現象は、力が厳密にあるスカラー関数の勾配になっていない、という意味である。したがって、時間刻み
Car–Parrinello分子動力学
Car–Parrinello分子動力学(CPMD)は、各ステップで電子を完全に収束させる代わりに、電子自由度にも仮想的な運動を与え、原子核と同時に連成して時間発展させる方法である。出発点は拡張ラグランジアンであり、代表的には
と書ける。
CPMDの物理像
CPMDでは、電子軌道が基底状態の近傍で小さく振動しながら原子核に追随するように、周波数分離を作ることが意図される。すなわち、電子自由度の固有振動が原子核の振動より十分高く、かつ混合(エネルギー移動)が抑えられるように
この設計が崩れると、仮想電子自由度が原子核自由度へ熱を渡し、見かけの温度が変化するなどの問題が生じる。したがってCPMDは、BOMDよりも設定依存性が強く現れやすい一方で、SCF反復を減らしやすいという計算上の利点を持つ。
BOMDとCPMDの関係
BOMDは各ステップで電子を基底状態へ戻すのに対し、CPMDは電子を基底状態近傍に束縛して同時に動かす。両者は同じ断熱的地形の上の運動を狙うが、数値誤差の構造が異なるため、同じ物理量でも得やすさが変わることがある。
例えば、熱力学平均(構造分布や
有限温度DFTと占有数
金属系や高温系では、電子占有がフェルミ準位近傍で急峻であり、自己無撞着計算が不安定になりやすい。そのため、占有数を滑らかにする目的で電子温度(スメアリング)を導入することが多い。ここで重要なのは、これは原子核温度とは異なる道具であり、数値安定化のための自由エネルギー最小化として位置付く点である。
Merminの有限温度DFT
有限温度DFTでは、内部エネルギーではなく自由エネルギー
を最小化する枠組みが導入される。
AIMDでは、原子核の運動方程式へ入る力が自由エネルギーの勾配になっているか、という点が本質である。占有数を変えると力の滑らかさが変わり、エネルギードリフトや相転移の見え方に影響することがあるため、温度条件に応じて占有の設定を一貫させる必要がある。
時間積分と時間刻み
原子核運動の時間積分には、エネルギー保存や位相体積保存の性質をなるべく壊しにくい方法が好まれる。速度Verlet法はその代表であり、加速度
と更新する。
時間刻みを決める要因
時間刻み
一方、
質量スケーリングと拘束
水素の運動が時間刻みを制約する場合、質量スケーリング(重水素化に相当)や結合長拘束を用いる発想がある。ただし第一原理MDでは、電子状態が同じでも核運動の慣性が変わるため、得たい物理量(拡散、反応速度、振動)によっては解釈が変わる。何を保存し、何を近似するかを意識して導入する必要がある。
温度制御
温度一定条件を実現するには、系を熱浴と結合させてカノニカル分布へ導く方法を用いる。温度制御は単に温度を一定値に固定する操作ではなく、運動エネルギーのゆらぎを許した上で、長時間平均として所望の分布を再現する仕組みである。
Nosé–Hoover法
Noséの考え方は、拡張自由度を導入してカノニカル分布を生成する点にある。Hooverの形式では、運動量
の形で表されることが多い。
Nosé–Hooverは決定論的であり、適切に設定すればカノニカル分布を与えるが、系によってはエルゴード性が弱く、温度が十分混合しないことがある。そのため、鎖型(Nosé–Hoover chain)を用いて熱浴自由度を増やし、混合を改善する考え方が広く用いられる。
Langevin法と確率的熱浴
Langevin法は、摩擦とランダム力を加えることで温度を制御する。運動方程式は
であり、
を満たす。確率的熱浴はエルゴード性を改善しやすい一方、時間相関を直接議論する量(粘性、振動線幅など)では、摩擦項の影響を意識した解釈が必要になる。
温度制御と観測量の関係
構造分布(
ただしAIMDでは到達時間が短く、平衡化と計測を分けると統計が不足しやすい。目的量が分布か時間相関かを先に定め、その目的に対して温度制御の入れ方を選ぶことが、短い計算時間で意味ある結論を得るために重要になる。
圧力制御
圧力一定条件(NPT)を実現するには、セル体積やセル形状を動的に変化させ、目標圧力へ緩和させる必要がある。固体では等方体積変化だけでなく、せん断を含むセル形状変化が物性へ直結することがあるため、可変セルMDが重要になる。
Parrinello–Rahmanの考え方
Parrinello–Rahman法は、セル行列
圧力制御では応力テンソルが直接関与するため、応力の収束が不十分だと、セルが不自然に振動したり、平均圧力がずれたりすることがある。AIMDで圧力制御を行う際は、力の収束だけでなく応力の収束を同時に満たす設定が必要になる。
周期境界条件と電荷・表面
凝縮系のAIMDでは周期境界条件が基本であり、有限サイズの超格子が無限系の近似になる。周期境界条件は計算効率を高める一方、系のサイズが小さいと周期像が相互作用し、拡散や欠陥の弾性場、界面の電場が人工的に強く見えることがある。
帯電系と補正
周期境界条件下で系が帯電すると、クーロン相互作用が発散するため、背景電荷で中和するなどの手続きが入ることが多い。これは物理的な境界条件を変更する操作でもあるため、帯電欠陥の形成エネルギーや電位整列などを議論する場合には、有限サイズ補正や電位基準の取り方が重要になる。
表面・スラブ系
表面を扱うスラブ模型では、真空層を入れ、法線方向に非対称な電荷分布が生じる場合がある。電気双極子補正を導入して人工的な電場を抑える手法が用いられることがあるが、AIMDでは温度ゆらぎで双極子が揺らぐため、平均電位や仕事関数を議論する際に時間平均の取り方が重要になる。
電子状態計算の設定がダイナミクスへ与える影響
AIMDの核は力であり、力の品質は電子状態計算の設定に支配される。ここでは、静的計算で許容できる粗さが、AIMDでは問題化する理由を、いくつかの軸で整理する。
基底(カットオフ)と力の滑らかさ
平面波基底ではカットオフエネルギーを上げるほど基底が増え、エネルギーと力が収束する。AIMDでは力が時系列として使われるため、基底が粗いと力のノイズが増え、温度ゆらぎやエネルギードリフトとして現れることがある。エネルギーの収束よりも力の収束が遅い場合がある点が、AIMDでは顕在化しやすい。
k点と金属系
金属系ではk点密度と占有数の扱いが重要である。k点が粗いとフェルミ面近傍の寄与が不正確になり、力や応力が振動したり、セル自由度の揺らぎが大きくなったりすることがある。スメアリングは数値安定化に有効だが、自由エネルギーを最小化する枠組みであることを踏まえ、温度条件や物性評価と整合する値に固定する必要がある。
スピンと磁性
磁性材料ではスピン分極を含めることが多いが、有限温度では局所磁気モーメントが時間的に揺らぐことがある。強磁性体であっても、短時間・小サイズのAIMDではスピン状態の初期条件や収束の道筋が系の平均磁化へ影響する場合がある。非共線スピンやスピン軌道相互作用まで入れると、計算コストだけでなく収束性も変化し、力のノイズ構造が変わるため、目的(構造・拡散・磁気ゆらぎのどれを主に見たいか)を先に定める必要がある。
DFT+Uやハイブリッド汎関数
強相関や局在電子を扱うためにDFT+Uやハイブリッド汎関数を用いる場合、エネルギー地形が変わり、力の計算コストも増える。AIMDでは各ステップでその重い計算を行うことになるため、到達時間が短くなる。したがって、どの相互作用が観測量に本質的かを見極め、必要な範囲で高精度手法を導入する設計が重要になる。
初期条件と平衡化
AIMDは初期条件に敏感であり、短い計算時間では初期構造の記憶が残りやすい。したがって、初期構造の準備と平衡化の設計が、結果の解釈と不可分になる。
初期構造の作り方
結晶では、まず0 Kの構造最適化で力が十分小さい状態を作り、その後に温度を導入することが多い。構造最適化が不十分なまま温度を上げると、単に残留応力が緩和しているだけの過程がダイナミクスとして見えてしまい、温度効果と区別しにくくなる。
液体・アモルファスでは、加熱して溶融させ、所望の温度へ冷却し、密度を整えるという手順が用いられる。ここでの加熱・冷却速度は実験と比べると非常に速く、得られる構造が準安定であることが多い。したがって、どの短距離秩序を再現したいか、どの温度域の性質を見たいかに応じて、複数の初期条件からの再現性を確認することが望ましい。
初速度と運動量の処理
初速度はMaxwell–Boltzmann分布から与えられることが多い。分布からのサンプリングは確率的であるため、短い計算では初速度のばらつきが観測量へ影響することがある。系全体の重心運動は内部自由度と独立であるため、全運動量をゼロにする処理が加えられることが多い。
平衡化時間と観測時間
温度制御を入れていても、分布がすぐに平衡へ達するとは限らない。拡散が遅い固体、ガラス状構造、界面の再配列などでは、原子が本質的に遅い自由度を持つため、数psから数十psでは十分に混合しないことがある。AIMDでは到達時間が限られるため、平衡化不足の可能性を前提に、観測量が時間窓に依存していないかを複数窓で確認する姿勢が重要になる。
観測量の計算
AIMDの出力は原子位置と速度の時系列であり、そこから構造・輸送・振動の情報を抽出する。以下では、AIMDの時間スケールでも比較的扱いやすい量から順に整理する。
動径分布関数と配位数
動径分布関数
であり、
で定義され、液体・アモルファスの局所構造の比較に直接用いられる。
角度分布と局所多面体
共有結合性や局所多面体を議論するには、結合角分布
AIMDでは構造ゆらぎが自然に含まれるため、0 K最適化での単一角度ではなく、分布として角度を議論できる点が大きい。特にアモルファスでは、平均値より分布の非対称性や多峰性が構造の本質を示すことがある。
構造因子
散乱実験と対応させるには構造因子
で定義される。等方系では
拡散係数
輸送の基本量として拡散係数
を計算し、十分長時間の拡散領域で
で定義される。短時間では振動やケージングでMSDが直線にならないため、どの時間窓が拡散領域かを見極める必要がある。
AIMDでは到達時間が短いことが多く、
振動スペクトル
振動状態密度の手掛かりは速度自己相関関数
から得られる。フーリエ変換
により周波数成分が得られ、固体ではフォノン的ピーク、液体では広がったバンドとして現れる。
温度制御が強いと速度相関が人工的に減衰することがあるため、振動線幅や寿命を議論する場合には、温度制御の入れ方と観測時間窓を慎重に選ぶ必要がある。ピーク位置(周波数)だけを議論するなら影響は比較的小さいが、線幅(散逸)まで含めると影響が顕在化しやすい。
粘性や熱伝導率
より進んだ輸送係数はGreen–Kubo関係で表される。例えばせん断粘性
で与えられる。AIMDでは応力計算が高価で統計も不足しがちであるため、粘性のような長時間相関を要する量は難度が高いが、短時間でも相対比較や温度依存の傾向が得られることがある。
統計誤差と相関時間
AIMDで得られる時系列データは互いに独立ではなく、相関時間を持つ。したがって、単にサンプル数(ステップ数)が多いことと、有効な独立サンプル数が多いことは一致しない。
ある観測量
計算規模と到達時間
AIMDの計算コストは、電子状態計算の支配的処理(行列対角化など)により、原子数
時間方向は、
機械学習ポテンシャルとの併用
AIMDの結果(エネルギーと力、応力)を教師データとして機械学習ポテンシャル(MLIP)を構築し、より大規模・長時間のMDへ拡張する流れが強い。AIMDはその際の基準器として働き、学習モデルが再現すべきエネルギー地形を与える。
さらに、MDの進行中に予測不確かさを評価し、不確かさが大きい配置だけ第一原理計算で追加学習するオンザフライ学習も広く用いられる。この方向では、AIMDの短時間性が弱点でなく、学習データの質を保証する長所として機能する。
手法の比較
| 手法 | 力の起源 | 主に得やすい情報 | 到達しやすい系サイズ・時間 | 設定が効きやすい点 |
|---|---|---|---|---|
| 古典MD | 経験的ポテンシャル | 大規模統計、長時間輸送 | 大・長 | ポテンシャルの適用範囲 |
| BOMD(AIMD) | DFTなどの基底状態エネルギー勾配 | 反応、相転移、有限温度構造 | 小〜中・短〜中 | 電子収束、基底、占有数 |
| CPMD(AIMD) | 拡張ラグランジアンの連成 | 構造ゆらぎ、液体構造 | 小〜中・短〜中 | 仮想質量、時間刻み、熱浴 |
| 非断熱第一原理MD | 電子の時間発展を含む | 励起・電荷移動・散逸 | 小・短 | 電子状態の混合、遷移の扱い |
| MLIP-MD | 学習した近似ポテンシャル | 大規模・長時間 + 反応も場合により | 大・長 | 学習データの網羅性 |
BOMDとCPMDは、同じ第一原理のエネルギー地形を目指しつつ、電子自由度の扱いが異なる。どちらを選ぶかは、時間相関をどれだけ厳密に扱いたいか、電子収束コストと設定依存性のどちらを許容するか、という観点で整理できる。
まとめと展望
第一原理分子動力学法は、原子核の運動方程式に必要な力を第一原理電子状態計算から逐次与え、経験的ポテンシャルに頼らずに有限温度ダイナミクスを扱う方法である。BOMDは電子を逐次収束させて地形上の運動を実現し、CPMDは拡張自由度で電子を基底状態近傍へ束縛して連成運動として進める。
今後は、有限温度DFTや占有数の扱いを含む力・応力の一貫性を高めつつ、機械学習ポテンシャルとの併用で系サイズと時間の制約を乗り越える方向がさらに進むと考えられる。加えて、非断熱効果や散逸をより直接に取り込む第一原理ダイナミクスが、励起下物性や極限条件材料へ接続され、AIMDの適用範囲は広がり続ける見込みである。
参考文献
- S. Nosé, A unified formulation of the constant temperature molecular dynamics methods, J. Chem. Phys. 81, 511 (1984) https://pubs.aip.org/aip/jcp/article/81/1/511/607222/A-unified-formulation-of-the-constant-temperature
- W. G. Hoover, Canonical dynamics: Equilibrium phase-space distributions, Phys. Rev. A 31, 1695 (1985) https://link.aps.org/doi/10.1103/PhysRevA.31.1695
- M. Parrinello and A. Rahman, Crystal Structure and Pair Potentials: A Molecular-Dynamics Study, Phys. Rev. Lett. 45, 1196 (1980) https://link.aps.org/doi/10.1103/PhysRevLett.45.1196
- N. D. Mermin, Thermal Properties of the Inhomogeneous Electron Gas, Phys. Rev. 137, A1441 (1965) https://link.aps.org/doi/10.1103/PhysRev.137.A1441
- VASP Wiki, Molecular-dynamics calculations(温度制御・圧力制御の実装整理) https://vasp.at/wiki/Molecular-dynamics_calculations
- VASP Wiki, Nosé-Hoover thermostat https://www.vasp.at/wiki/Nosé-Hoover_thermostat
- VASP Wiki, Nosé-Hoover chain thermostat https://www.vasp.at/wiki/Nosé-Hoover_chain_thermostat