拡散モンテカルロ法

拡散モンテカルロ法（かくさんモンテカルロほう）または拡散量子モンテカルロ法（かくさんりょうしモンテカルロほう、, DMC）は、シュレディンガー方程式を解く際にグリーン関数を使用する量子モンテカルロ法の1つ。DMCは理論的には数値厳密解を得ることが可能なアルゴリズムである。すなわち、所与の許容誤差の下で任意の量子系の正確な基底状態エネルギーを見つけることが理論的には可能である。実際には、ボソンについては系のサイズに対して多項式スケールの計算量が必要とされる一方、フェルミオンについては、DMCは系のサイズに対して指数関数スケールの計算量が必要となる。したがって、原子や分子などの複数のフェルミオンからなる系について大規模DMCシミュレーションを行い厳密解を得ることは現実的には不可能である。ただし、固定ノード近似として知られる巧妙な近似を用いれば、非常に正確な結果を計算できる。
プロジェクター法.
このアルゴリズムの開発動機を見るため、まず1次元ポテンシャル下の粒子のシュレディンガー方程式を考える。
方程式の表記を簡略化するため、下式で定義される演算子を導入する。
すると、前式は以下のように書ける。
ここで、formula_4は演算子であり、単純な数値や関数とは異なることに注意が必要である。を数値として、を満たす、固有関数と呼ばれる特別な関数があり、これらの関数は定常状態と呼ばれる状態を表わしている。 すなわち、任意の点において、波動関数の振幅が時間経過により変化しない。波動関数全体にかかる位相は測定できないため、系は時間経過により変化しない。
通常、最も関心があるのはエネルギー固有値が最も低い波動関数、すなわち基底状態である。次式はシュレーディンガー方程式と同じエネルギー固有値を持つが、シュレーディンガー方程式の解関数が振動するのに対しこの方程式の関数は収束する。
シュレーディンガー方程式と上式の差は、時間微分の係数が虚数単位ではなくであることと、基底状態エネルギーだけエネルギーオフセットが追加されている点である。 基底状態エネルギーは実際には方程式を解く前には未知だが、後述するように自己無撞着的に基底状態エネルギーを決定する方法がある。修正された方程式（虚時間シュレディンガー方程式とも呼ばれる) には、いくつかの優れた特性がある。まず、基底状態波動関数の推測が成功すれば、formula_6により時間導関数はゼロとなる。ここで、基底状態とは一致しないが基底状態と直交もしていない別の波動関数( formula_7 )は、次のように固有関数の線形和として書ける。
これは線型微分方程式であるから、各要素のふるまいを個別に見ることができる。既に述べたとおり、formula_9は定常である。formula_10を考えると、formula_9が最低エネルギー固有関数であることから、formula_10に対応する固有値はformula_13を満たす。したがって、formula_14についての時間微分は負であり、最終的にはゼロに収束するので、基底状態のみが残る。このことから、formula_15を決定する方法も考えることができる。時間発展にともなう波動関数の振幅の変化を見守り、増加している場合にはエネルギーオフセットの推定値を減少させ、振幅が減少する場合は、エネルギーオフセット推定値を増加させればよい。
確率論的実装.
このように、適切にformula_15を調整しながら時間発展させると任意のハミルトニアンの基底状態を得ることができる方程式が得られた。しかし、これを解くことは古典力学系を解くよりも依然難しい。なぜなら、単一粒子の一を時間発展させるだけでなく、波動関数全体を時間発展させなければならないからである。古典力学では、幅formula_17の時間間隔にわたり力が一定であると仮定すると、formula_18のようにして運動する粒子の軌跡をシミュレートすることができる。ひるがえって、虚時間シュレディンガー方程式では、グリーン関数と呼ばれる特殊関数を使用した畳み込み積分を使用して、formula_19のようにして波動関数を時間発展させる。古典力学の場合と同様、時間間隔は微小にしなければグリーン関数が不正確になってしまう。粒子の数が増えると、すべての粒子のすべての座標を積分する必要があるため、積分の次元も増加してしまう。このような積分は、により評価することができる。