A Blog Entry on Bayesian Computation by an Applied Mathematician
$$
$$
1 統計力学概観
1.1 興りと運動論的方法
統計力学は,マクロ観測量をミクロ情報のみから予測することを最大の目的とする.その成果の1つとして,マクロ観測量の揺らぎについても,より細かい分析を可能とする.1 特に物理的過程を確率過程としてもモデリングする非平衡統計力学は,粗視化と確率化が対応していることを示唆する.2
The aim of statistical mechanics is to predict the relations between the observable macroscopic properties of the system, given only a knowledge of the microscopic forces between the components. (Baxter, 1982, p. 1)
(Boltzmann, 1872) による方程式
統計力学はこの1行から生まれたといってもよかろう. (戸田盛和 et al., 2011, p. vi)
これは希薄気体の熱力学を,ミクロの対象に関する密度関数の時間変化を記述することで基礎付けたもので,この接近を一般に 運動論的方法 (kinetic method) という.4
この手法がそのまま統計熱力学一般の基礎付けとはならず,その抽象的な枠組みは,後に (Gibbs, 1902) によって与えられた.5
なお,運動論的方法は,統計物理学の端緒であると同時に,現在でも十分に理解されているとは言い難く,機械学習などとも結びつきながら現在でも活発に研究が進められている分野である (Villani, 2002).
1.2 磁性体の物理
多くの物質は,外部磁場
一方で鉄などの強磁性体では,外部磁場を印加したのち,これを取り除いても磁性が残り,これを 自発磁化 という:
一方で,磁場を反転させたとき,逆向きに磁荷されるから,
強磁性体には (Weiss, 1907) が一定の理解を与え,これが理論が与えられた最初の秩序無秩序問題である.9 その後多くの模型が提案されているが,Ising 模型を初め,1次元の場合と2次元の特別な例のいくつかを除いて,相転移の厳密な理論は存在しない.10
しかし強磁性体も,一定の温度以上では自発磁化を失い,常磁性体と同じように振る舞う.すなわち,
理論的には,
物体の磁化
1.3 磁化率
磁化率を
磁化率
この臨界指数は,一部のモデルでは斉次になる:
また,臨界指数は具体的な Hamiltonian
1.4 最近傍 Ising モデル
Ising モデルは強磁性体の磁性体への相転移を記述するために (Lenz, 1920) によって導入された.命名は Lenz の指導の下で完成を見た Ising の博士論文 (Ising, 1925) から (Peieris, 1936) がつけたものであるが,Ising 本人は Lenz-Ising model としていた.14
Ising モデルは格子点
Ising 模型最大の単純化として,各頂点を2値変数と同一視する.すなわち,ミクロ状態の全体を
この上に Hamiltonian を
この Hamiltonian を 最近傍 Ising 模型 (nearest-neighbor Ising model) という.相互作用を表す偶関数
この最近傍 Ising 模型についても,3次元以上の場合と,2次元で
この Hamiltonian
この最も簡単とも思われる設定の下で,全磁化
Ising 模型は流体のモデルとしても用いられ,Ising 模型に従うと仮想される気体を 格子気体 (lattice gas) という.22
1.5 平衡統計力学の枠組み
このように,全ミクロ状態
こうして,平衡統計力学の議論の中心は,Gibbs 分布に関する平均の計算である.24 得られる平均は,絶対温度
同時に平衡統計力学の中心問題が明らかになる.それは分配関数
こうして,Isign 模型のような簡単な模型から議論するか,平均の値を近似する手法を考えることになるが,特に臨界点付近では後者の方法は行き詰まる.25
前者も,多くの正確に解かれた模型は,Ising 模型の例と見れる上に,殆どが2次元以下である.26
1.6 Curie-Weiss 模型
一方で,(Weiss, 1907) の理論は,Ising 模型の 平均場近似 に基づいていた.27
3次元以上では解けていない Ising 模型を,平均場近似で近似的に解くことが出来る.ただし,1次元の場合でも相転移が起こるという都合の悪い面も出てくる.28
この値を,大域的な磁化密度
こうして,次の Curie-Weiss Hamiltonian を得る:
最近傍 Ising 模型と違って,積
それ故,強相関電子系 など揺らぎの大きな系では,平均場近似では正確な結果は得られない.
1.7 バンド理論
バンド計算における 一電子近似 も平均場近似の例である.30
固体内の電子は,まず化学結合に寄与する価電子 (valence electron) と原子核に束縛された核電子 (core electron) に分けられる.第一近似として,原子核とその核電子と,価電子とを,固体の独立な2つの構成要素と考えることが多い.31
さらにはバンド理論では,電子と正孔の間の相互作用を捨象している.32
1.8 半導体
価電子帯と伝導帯の間の 禁制帯 (band gap) が十分に小さくて遷移を制御することが可能で,基底状態では価電子帯は完全に埋まっているものの伝導帯は空いているような物質を 半導体 という.33
このような半導体では,熱や光,また外部電磁場などにより価電子が励起され,伝導帯に移る.この電子に加えて,価電子帯に生じた正孔も導電性に寄与する.34 この 正孔 (hole) を擬似的に粒子と扱い,正孔の波動方程式を議論したのが (Heisenberg, 1931) である.
(Faraday, 1833) は,通常金属では温度の上昇と共に電気抵抗が増すが,硫化銀 Ag2S を初めとしたいくつかの物質では逆に電気抵抗が減少することを報告している.
(Braun, 1874) は 方鉛鉱 PbS に電流を流そうとしても,単一方向にしか電流が流れない整流作用を示すことを発見し,35 その後20世紀に入るとラジオに応用された.Braun はその後ブラウン管を発明し,こちらの業績により 1909 年にノーベル物理学賞を受賞する.
2 Markov 確率場
(Li, 2009) Chapter 2 も参照.
References
Footnotes
(Baxter, 1982, p. 1) の他に,(Friedli and Velenik, 2017, p. 18) にも同様の記述がある.↩︎
(戸田盛和 et al., 2011, p. ix) 「物理的過程を確立的に捉えるとき,根元的なミクロのレベルから出発して,マクロのレベルに到達するには,ものの見方の粗さ (coarse graining) のさまざまな段階がある.それぞれの段階でインフォメーションが失われ,それに応じた確率化が行われる.」↩︎
(戸田盛和 et al., 2011, p. vi), Eric Weisstein’s World of Physics.これは方程式というよりは,エントロピー(左辺)の数学的定義と読むべきである (Villani and Mouhot, 2015, p. 6).↩︎
(戸田盛和 et al., 2011, p. vi).「ミクロの対象」と言ったが,Maxwell がこの理論を展開した当時 (Maxwell, 1867), (Maxwell, 1878) は原子論もまだ仮説の一つに過ぎなかった (Villani and Mouhot, 2015, p. 3).↩︎
同様の例として Boyle-Charles の法則に従う気体も挙げられている (戸田盛和 et al., 2011, p. 129)↩︎
(Baxter, 1982, p. 2).「相転移を起こす系は一般に構成要素間に相互作用のある系であり,協力系 とも呼ばれ,相転移は 協力現象 と言われることもある」 (戸田盛和 et al., 2011, p. 129).↩︎
(Kittel, 2018, p. 323), (Huebener, 2019, pp. 176–177).よく
で表される.一方で反磁性体では Néel温度 という.↩︎(戸田盛和 et al., 2011, p. 170) も参照.↩︎
(Preston, 1974, p. 1) も参照.
の の場合などが,熱力学的極限の例である. (Friedli and Velenik, 2017, p. 43).↩︎(Friedli and Velenik, 2017, p. 42), (Baxter, 1982, p. 15) など参照.↩︎
(Baxter, 1982) の1.7節が一般 Ising 模型,1.8節が最近傍 Ising 模型.↩︎
(Friedli and Velenik, 2017, p. 42), (Baxter, 1982, p. 21) 参照.↩︎
(Baxter, 1982, p. 21), (Friedli and Velenik, 2017, p. 60).↩︎
上の分布は 状態 ともいう (Preston, 1974, p. 2).↩︎(Baxter, 1982, p. 17) も参照.↩︎
(Baxter, 1982, p. 24) 1.9節, (戸田盛和 et al., 2011, p. 131).↩︎
現在でこそ平均場近似と呼ばれるが,(Weiss, 1907) は分子場近似と呼んでいた.平均場近似の最初の例である.↩︎
(戸田盛和 et al., 2011, p. 162), (Friedli and Velenik, 2017, pp. 60–61) も参照.二元合金においては Bragg-Williams 近似ともいう.↩︎
(Böer and Pohl, 2018, p. 4), (Huebener, 2019, p. 73) Chapter 6.金属が電気を通すのは,伝導帯が部分的に電子によって占められているためである.半導体は,(例えば温度を上げることなどにより)価電子帯の電子を簡単に伝導帯に移すことができるため,思い通りに金属のような振る舞いも,絶縁体のような振る舞いも引き出すことができる.しかし,半導体の自由電子は,金属に比べて極めて少なく.Boltzmann 統計に従い,金属の自由電子は Fermi 統計に従う (Madelung, 1978, p. 17).一方で,金属の導電性は電子の密度とは関係がなく,金属内の電子密度は温度により一定である (Madelung, 1978, p. 211).↩︎
(Huebener, 2019, p. 73) 特に伝導体と半導体の境界部分で強く見られた.↩︎