ワン・ランダウ法

提供: testwiki
ナビゲーションに移動 検索に移動

ワン・ランダウ法(ワン・ランダウほう、テンプレート:Lang-en-short)は、Fugao Wangとテンプレート:仮リンクにより発案された[1]、系の状態密度を計算するために用いられるモンテカルロ法のひとつである。このアルゴリズムでは状態密度の計算に必要な、系の取り得る全ての状態のエネルギーを迅速に計算するため、非マルコフ連鎖ランダムウォークを行う。マルチカノニカル法の実行に必要となる、状態密度を計算するために重要である。

ワンランダウ法はコスト(エネルギー)関数により特徴づけられるどのような系にも応用可能である。たとえば、数値積分[2]タンパク質フォールディング[3][4]への応用が知られている。ワン・ランダウサンプリングはメタダイナミクス法とも関連する[5]

概要

ワン・ランダウ法により、コスト関数で特徴づけられる系の状態密度を得ることができる。非マルコフ連鎖確率過程を用いて、漸近的にマルチカノニカルアンサンブルを得る(サンプル分布が状態密度の逆数となるようなメトロポリス・ヘイスティングス法に漸近する)[1]。このことの帰結として、エネルギー障壁を無視したシミュレーションを行うことができる。つまり、このアルゴリズムは(コスト関数的に良いものも悪いものも含めた)系の取り得る全ての状態をメトロポリス法よりも非常に速く網羅することができるのである[6]

アルゴリズム

位相空間 Ω 上に定義される系と、そのコスト関数(例えばエネルギー) テンプレート:Mvar を考える。 テンプレート:Mvar のスペクトルは EΓ=[Emin,Emax] の範囲に限定されるものとし、付随する状態密度 ρ(E)exp(S(E)) を計算する。 ワン・ランダウ法は離散スペクトルを扱うため[1]、スペクトル Γ をそれぞれ Δ だけ異なる テンプレート:Mvar 個の離散値で分割する。

N=EmaxEminΔ

このような離散スペクトルに対し、まず次の初期化を行う。

  • 全ての区間のミクロカノニカルエントロピーをゼロとする。
    S(Ei)=0  i=1,2,...,N
  • テンプレート:Math とする。
  • 系の初期配置 𝒓Ω をランダムに選ぶ。

次に、マルチカノニカルアンサンブルシミュレーションを行う[1]。つまり、位相空間上でランダムウォークを行い、確率分布

P(𝒓)=1/ρ(E(𝒓))=exp(S(E(𝒓)))

を再現するような遷移確率 g(𝒓𝒓)メトロポリスシミューレーションを行う。このとき、訪れた状態のエネルギーをヒストグラム H(E) に記録する。そしてメトロポリス法と同様に新たな配置の生成と採択/棄却プロセスを実行する。

  1. 新たな配置 𝒓Ω を任意の遷移確率分布 g(𝒓𝒓) に従って生成する。
  2. 新たな配置を次の確率で採択/棄却する。
    A(𝒓𝒓)=min(1,eSSg(𝒓𝒓)g(𝒓𝒓))
    ここで、 S=S(E(𝒓)) および S=S(E(𝒓)) とする。

このステップを終えたとき、系の遷移先が Ei だったとすると H(Ei) を 1 だけ増やし、エントロピーを以下のように更新する。

S(Ei)S(Ei)+f

このステップが本アルゴリズムの中心である。また、このステップが存在するため確率過程が過程の履歴に依存し、ワン・ランダウ法は非マルコフ連鎖となる。したがって、このエネルギー Ei を持つ状態が次に生成された際にはより棄却されやすくなる。このようにして、本アルゴリズムはスペクトル全域を等しく訪れるよう強制する[1]。この帰結として、ヒストグラム H(E) はシミュレーションを進めるにつれてより平坦となる。しかし、この平坦さは計算されたエントロピーがどれだけ実際のエントロピーを近似できているかに依存する。そして、近似の良さは テンプレート:Mvar に依存する[7]。実際のエントロピーに近づくため(すなわちヒストグラムを平坦にするため)に、 テンプレート:Mvarテンプレート:Mvar ステップごとに次のように減らす。

ff/2

後に、 テンプレート:Mvar を常に半分にし続けると飽和誤差を招くことが明らかとなった[7]。この問題を避けるため、テンプレート:Mvar をシミュレーションの総ステップ数として、 テンプレート:Mvarテンプレート:Math にする変更がアルゴリズムに加えられた[7]

アルゴリズムのテスト

今、次のような調和振動子ポテンシャルの DOS を求めたいとする。

E(x)=x2

解析的には DOS は次のように与えられる。

g(E)=δ(E(x)E)dx=δ(x2E)dx

最後の積分を解くと位相空間の次元によって次のような結果が得られる。

g(E){E1/2,for x1const,for x2E1/2,for x3

一般的に、多次元調和振動子の DOS は テンプレート:Mvar のべき乗で与えられ、その指数は系の次元の関数となる。

このように単純な調和振動子ポテンシャルに対する状態密度は既に分かっているので、このポテンシャルに対してワン・ランダウ法を行い、 得られた状態密度 ρ(E)g(E) を比べることによりワン・ランダウ法の精度を確かめることができる。

サンプルコード

次に示すのはPythonで実装されたワン・ランダウ法のサンプルコードである。遷移確率密度は対称であることを仮定している。

g(𝒙𝒙)=g(𝒙𝒙)

このコードにおいて、対象となる系は "system" により表されるものとしている。

currentEnergy = system.randomConfiguration() # a random initial configuration

while (f > epsilon):
    system.proposeConfiguration() # a proposed configuration is proposed
    proposedEnergy = system.proposedEnergy() # the energy of the proposed configuration computed

    if (random() < exp(entropy[currentEnergy]-entropy[proposedEnergy])):
        # if accepted, update the energy and the system:
        currentEnergy = proposedEnergy
        system.acceptProposedConfiguration()
    else:
        # if rejected
        system.rejectProposedConfiguration()
    
    H[currentEnergy] += 1
    entropy[currentEnergy] += f
    
    if (isFlat(H)): # isFlat tests whether the histogram is flat (e.g. 95% flatness)
        H[:] = 0
        f *= 0.5 # refine the f parameter

ワン・ランダウ分子動力学法

ワン・ランダウ法はモンテカルロ法のみならず分子動力学法にも適用することができる。そのためには、系の温度を次のように制御する。

T(E)(S(E)E)T(E)

ここで テンプレート:Math は系のエントロピー、 テンプレート:Mathミクロカノニカル温度、 テンプレート:Math は分子動力学シミュレーションに実際用いられる「スケールされた」温度である。

出典

テンプレート:Reflist

  1. 1.0 1.1 1.2 1.3 1.4 引用エラー: 無効な <ref> タグです。「WangLandau」という名前の注釈に対するテキストが指定されていません
  2. 引用エラー: 無効な <ref> タグです。「Belardinelli_Integrals」という名前の注釈に対するテキストが指定されていません
  3. 引用エラー: 無効な <ref> タグです。「Ojeda1」という名前の注釈に対するテキストが指定されていません
  4. 引用エラー: 無効な <ref> タグです。「Ojeda2」という名前の注釈に対するテキストが指定されていません
  5. Junghans, Christoph, Danny Perez, and Thomas Vogel.
  6. 引用エラー: 無効な <ref> タグです。「Berg」という名前の注釈に対するテキストが指定されていません
  7. 7.0 7.1 7.2 引用エラー: 無効な <ref> タグです。「Belardinelli_Saturation」という名前の注釈に対するテキストが指定されていません