この本の全体 目次と読む順
- 第 0 部 入口 — この本の読み方
- 0-01 この本の読み方
- 0-02 一枚の絵
- 0-03 問題文を一語ずつ読む
- 0-04 数学の四次元と物理の四次元
- 第 1 部 数学の準備
- 1-01 ベクトル空間と線形写像
- 1-02 群とは何か
- 1-03 リー群とリー環
- 1-04 SU(2) と SU(3)
- 1-05 多様体と接空間
- 1-06 微分形式と外微分
- 1-07 ベクトル束と接続
- 1-08 確率と測度
- 1-09 無限次元の確率
- 1-10 ヒルベルト空間と自己共役作用素
- 1-11 フーリエ解析と分布
- 1-12 寄り道
- 第 2 部 物理の準備
- 2-01 ラグランジアンと作用
- 2-02 場という考え
- 2-03 電磁気学はゲージ理論である
- 2-04 特殊相対論と時空
- 2-05 量子力学の骨
- 2-06 調和振動子と生成消滅
- 2-07 経路積分の考え方
- 2-08 統計力学と相転移
- 2-09 寄り道
- 2-10 緩和の時間と動的指数 z
- 第 3 部 ヤン–ミルズ理論(古典)
- 3-01 ゲージ原理
- 3-02 非可換ゲージ場
- 3-03 作用と方程式
- 3-04 幾何としてのゲージ理論
- 3-05 インスタントンと位相
- 3-06 寄り道
- 3-07 標準模型の中のヤン–ミルズ
- 第 4 部 量子化
- 4-01 正準量子化とハミルトニアン
- 4-02 経路積分とユークリッド化
- 4-03 摂動論と Feynman ダイアグラム
- 4-04 発散と繰り込み
- 4-05 発散の代数
- 4-06 漸近自由
- 4-07 次元転移と Λ
- 4-08 ゲージ固定と Faddeev–Popov
- 4-09 場の量子論の公理
- 4-10 Osterwalder–Schrader の公理と再構成
- 4-11 質量ギャップの定義
- 4-12 寄り道
- 第 5 部 格子ゲージ理論
- 5-01 Wilson の格子
- 5-02 強結合展開
- 5-03 反射正値性と転送行列
- 5-04 無限体積極限とクラスター展開
- 5-05 弱結合と連続極限
- 5-06 U(1) と非可換の違い
- 5-07 モンテカルロ法
- 5-08 グルーボールと弦張力の測定
- 5-09 何を固定して極限を取るか
- 5-10 有限群の格子ゲージ理論
- 5-11 寄り道
- 第 6 部 構成的場の理論
- 6-01 構成的場の理論とは
- 6-02 二次元の可解性とヤン–ミルズ測度
- 6-03 スカラー場の構成
- 6-04 クラスター展開
- 6-05 繰り込み群の段の列
- 6-06 三次元ヤン–ミルズの紫外安定性
- 6-07 四次元
- 6-08 四次元の φ⁴ の自明性
- 6-09 確率量子化と正則性構造
- 6-10 四次元で止まる場所
- 6-11 発散以外の障害
- 6-12 寄り道
- 第 7 部 物理の側から
- 7-01 物理はどう見ているか
- 7-02 閉じ込めの機構
- 7-03 弦の絵
- 7-04 大 N
- 7-05 ひも理論と余剰次元
- 7-06 余剰次元が見えなくなる仕組み
- 7-07 ゲージ場はどこから来るか
- 7-08 ホログラフィー
- 7-09 質量ギャップが幾何になる
- 7-10 四次元に戻す
- 7-11 超対称と Seiberg–Witten
- 7-12 等価原理に当たる一文
- 7-13 物理の掘り方が数学と離れる場所
- 第 8 部 二つの言葉の辞書 — 物理の視点と数学の視点
- 8-01 辞書の読み方
- 8-02 辞書 A
- 8-03 辞書 B
- 8-04 辞書 C
- 8-05 私たちの仮定の物理側の対応
- 第 9 部 現在地と課題
- 9-01 世界はどこまで来ているか
- 9-02 二つの掘り方の切れ目
- 9-03 新しい概念の候補
- 9-04 課題の一覧
- 9-05 よくある誤解
- 第 10 部 質量ギャップの厳密な証明へ — この端末の検討
- 10-00 第 10 部の入口 — 酔歩と定規と時計
- 10-01 理論の構成の筋
- 10-02 一段の記帳
- 10-03 仮定 H と三つの鎖
- 10-04 方向の地図
- 10-05 方向 12〜14
- 10-06 方向 15・15′
- 10-07 Lean で閉じた言明と既存の結果の対応表
- 10-08 壁の一覧
- 10-09 ひらめき帳から
- 10-10 主張しないこと
- 10-12 つじつま合わせ
- 10-11 定理までの距離
- 10-13 小さな問い — 卒業研究の大きさで決着のつく十〜二十問
- 付録
- A-01 記号表
- A-02 用語集
- A-03 文献案内
- A-04 Lean と機械検査
- A-05 この本の作り方
- A-06 仮定の索引
緩和の時間と動的指数 z — 平衡へ向かう速さは、相関長の何乗で遅くなるか
この章で分かること — 同じ平衡の分布を作る力学(Langevin・Glauber・熱浴)の緩和時間を Poincaré 定数 で測ること。ガウス鎖と一次元イジングでは緩和時間が相関長の二乗()になり、二次元イジングの臨界点ではそれより遅くなること。動的指数 と の定義と、 の型が破れる既知の例。
前提となる章 — 2-08(相関長・臨界点・ガウス鎖)と 2-09(イジング模型の転送行列)。Poincaré 不等式は 1-10 §07、ブラウン運動は 1-09 §06 を読んでいると楽です。
先に言うこと — 厳密なのはガウス鎖と一次元の鎖だけです。 の値(2.1665 など)は数値と物理の予言で、二次元イジングのこの端末の計算は一辺 5 までの小さな箱です。この章はヤン–ミルズの質量ギャップについて何も示していません。
- 時間を足す — 平衡の写真と、それを作る機械
- Langevin の力学 — 隙間の逆数が Poincaré 定数
- Glauber の力学(表 1)— 一次元では
- ガウス鎖の Langevin(図 1・表 2)— は連続極限で厳密
- 二次元イジングの小さな箱(表 3・図 2)— 臨界点で が伸びる
- 動的指数 z と η_dyn — をここで定める
- z ≠ 2 の既知の例(表 4・寄り道:保存する力学では z = 4)
- 熱浴と Langevin を同一視しない — 定数・単位・変数の取り方
- ヤン–ミルズへの橋 — 分かっていること、いないこと
時間を足す — 平衡の写真と、それを作る機械
2-08 と 2-09 で扱ったのは平衡の分布、つまり「どの配位がどれだけの確率で現れるか」でした。そこには時間がありません。ところが計算機で平衡の分布から見本を引くとき、あるいは物理の系が熱浴に触れて平衡に向かうとき、配位は時間とともに動きます。この章は、その動きの速さを測ります。
比喩で言うと、平衡の分布は一枚の写真で、力学はそれを作る機械です。同じ写真を作る機械は速いものも遅いものもあります。正確には、一つの確率測度 を不変にするマルコフ過程(先の動きが今の配位だけで決まる確率的な動き)は一つに決まらず、選び方で平衡への近づき方が変わります。
この章の時間 は、2-09 の虚時間とは別物です(対照は 8-03 §05)。
虚時間(2-07・2-09)
配位の中の一つの向き。相関 の減り方が相関長 を決め、 は転送行列のギャップ。力学の時間 (この章)
配位全体が動く外の時間。自己相関の減り方が緩和時間 を決め、 は生成作用素のギャップ。主題は関係 で、 を動的指数と呼びます。後の部の仮定(10-03 の H)は を冪の水準で置く型をしています。その型が成り立つ例と破れる例を、ここで先に並べます。
Langevin の力学 — 坂を下る動きに揺らぎを足す
一つの実数 が、確率密度 に従うようにしたいとします。坂 を下る向きに動かし、同時に乱数で揺らすと、二つの効果が釣り合ったところで分布が止まります。これが Langevin の力学です。
はブラウン運動(1-09 §06)で、 は時間 のあいだの平均 0・分散 のガウスの増分です。係数 は、止まる分布がちょうど になるように選んだものです。
関数 の期待値の時間変化を生む作用素を生成作用素と呼び、 と書きます。 を二次まで展開すると、 の一次の項からは坂の向きの が、二次の項からは の平均が なので が残ります( より高い次数は落とす)。こうして (1) では
です(。最後の等式は部分積分)。最後の等式から は で対称で、0 以上です。0 になるのは定数だけで、その次の固有値(隙間)を と書きます。
隙間の逆数が Poincaré 定数です(1-10 §07)。
平衡から走らせたとき、どの観測量の自己相関も より速く減り、ちょうどこの速さで減る観測量があります。つまり最も遅い緩和の時間 は に等しくなります 既知。この等号は連続時間で可逆な力学の性質で、離散時間の連鎖では三つの量に割れます(8-03 §06)。
例。 なら (1) は Ornstein–Uhlenbeck 過程で、 が固有関数、 です。よって :分散が大きい(裾が広い)ほど緩和は遅くなります。変数が多いときは、各点の場 ごとに (1) を立てて
とし( は点ごとに独立)、(3) の を勾配の長さの二乗 に替えます。止まる分布は です。場の理論ではこれを確率量子化と呼びます(6-09)。
Glauber の力学 — スピンを一つずつ裏返す
イジング模型のスピンは なので、坂を連続に下ることができません。代わりに、各スピンが独立な時計を持ち、時計が鳴るとスピンを条件つき分布から引き直します。これを熱浴の規則と呼び、連続時間でこれを行う力学を Glauber の力学と呼びます(Glauber 1963 は一次元の閉じた鎖でこの型の過程を詳しく解析した)既知。
逆温度を結合に含めた (2-09 と同じ)で とします。スピン を裏返した配位を 、隣の和を とすると、熱浴の反転の率は
です。右の式は詳細釣り合いで、「 から へ流れる確率」と逆向きの流れが等しいことを言います。これから が止まる分布で、力学は可逆です。揃っているスピン()ほど裏返りにくくなります。生成作用素は 、(3) の右辺の は に替わり、 は同じです。
一次元の鎖は解ける
一次元では なので 、 と書けます。スピンの期待値は一回の反転で だけ変わるので で、
と閉じます。全体の磁化 の平均は で減ります。一方、静的な相関は で(2-09 §03)、
です。極限は 、 から出ます。冷やすほど相関は長くなり、緩和はその二乗で遅くなります:この力学では です。
計算表 1 一次元の Glauber 力学。 点の輪の生成作用素を全状態( 個)で対角化し、隙間が のすべてで と 10 桁一致することを確かめた。この二つの輪では磁化の減衰が最も遅い緩和です。一般の では、磁化の減衰率 が隙間の上界を与えます(磁化が の固有関数なので)。
| 0.50 | 1.295 | 4.195 | 2.499 |
| 1.00 | 3.672 | 27.80 | 2.062 |
| 1.50 | 10.03 | 202.2 | 2.008 |
| 2.00 | 27.30 | 1491 | 2.001 |
| 3.00 | 201.7 | 81378 | 2.00002 |
ガウス鎖の Langevin — 長い波ほど遅く、緩和時間は相関長の二乗
2-08 の (7) のガウス鎖(あちらの 。ここでは作用として と書く) に (4) を使います。 は一次式なので、波数 のフーリエ成分 (1-11)ごとに方程式が分かれます。
どの成分も (1) の Ornstein–Uhlenbeck 過程で、減る速さは です。最も遅いのは一様な成分 で、速さは です。したがって です(1-10 §09 の「ガウス測度の は共分散の最大固有値」と同じ数)既知。
相関長は 2-08 の (8) で でした。 を使うと、二つは一つの式でつながります。
これは厳密な等式で、格子の上では は より少しだけ小さく、連続極限()で になります。連続の自由場では がちょうど成り立ちます 既知(初等的な導出。表 2 の数値は 計算)。
なぜ二乗か
なぜ二乗か。(8) の雑音を除いた平均の動きは質量の付いた熱方程式 です。拡散は長さ のでこぼこを均すのに 程度の時間をかけ(酔歩と同じ)、質量の項は より長い波を一律の速さ で消します。だから時間は です。正確には、(8) の が小さい で に近づき、 では で底を打つことが、この説明の中身です。
計算図の曲線は (8) の厳密な解 をその場で計算したもの(初期の形は種を固定した乱数で作った)。雑音を除いた平均の動きで、揺らぎの見本ではない。
計算表 2 ガウス鎖の ・。最後の二列は 08 節の熱浴の下界(線形の関数の上の減り方から決まる)
| 熱浴の下界 | 下界/Langevin | ||||
|---|---|---|---|---|---|
| 1.00 | 1.039 | 1 | 0.9263 | 3 | 3.000 |
| 0.50 | 2.020 | 4 | 0.9798 | 9 | 2.250 |
| 0.20 | 5.008 | 25 | 0.9967 | 51 | 2.040 |
| 0.10 | 10.004 | 100 | 0.99917 | 201 | 2.010 |
| 0.02 | 50.001 | 2500 | 0.999967 | 5001 | 2.000 |
転送行列のギャップと並べた表は 8-03 の表 1、市松模様の熱浴で測った表は 5-07 §07 にあります。
二次元イジングの小さな箱 — 臨界点では が伸びる
相互作用があると、式は閉じません。そこで二次元イジング模型の の箱(周期境界)で、Glauber の力学 (5) の生成作用素を数値で対角化し、 を求めます。状態は 個で、 では約 3,400 万個です。最も遅い緩和は磁化の向き(並進で不変、全反転で符号が変わる部分空間)にあると期待されます。 では全空間の隙間とこの部分空間の隙間が、下の七つの温度のすべてで 8 桁一致しました 計算。 では全空間を扱えないので、この部分空間(671,104 次元)に絞って隙間を求めました。その値は全空間の隙間以上なので、 の は真の の下界です。
臨界点 (2-08 §04)では無限の系の は無限大で、箱の中の相関の届く長さは箱の大きさ で頭打ちになります(2-09 §07)。そこで の代わりに を物差しにします。 が正しければ
です。 は隣り合う大きさから読む有効な指数で、 で に近づくと期待されます。
計算表 3 二次元イジング・連続時間の熱浴(各スピンが率 1 で引き直す)・ 周期境界の 。時間の単位は「一スピンあたり一回の試み」
| 図 2 へ | ||||||
|---|---|---|---|---|---|---|
| 0.6 | 5.759 | 6.267 | 6.474 | 0.29 | 0.15 | |
| 0.8 | 14.56 | 19.34 | 22.83 | 0.99 | 0.74 | |
| 0.9 | 24.56 | 38.47 | 52.26 | 1.56 | 1.37 | |
| 1.0 | 42.89 | 82.84 | 137.4 | 2.29 | 2.27 | |
| 1.1 | 77.18 | 191.0 | 408.0 | 3.15 | 3.40 | |
| 1.2 | 142.4 | 464.6 | 1324 | 4.11 | 4.69 | |
| 1.5 | 997.9 | 7906 | 56656 | 7.19 | 8.83 |
三つの振る舞い
三つの振る舞いが読めます。高温側()では は 6 あたりで頭打ちになり、 は 0 に向かいます: が有限なら緩和時間も有限です。低温側()では が とともにほぼ一定の差で増え(差は 2.07、1.97)、冪よりも指数関数に近い伸び方をします。「ほぼ全部 」から「ほぼ全部 」へ移るには箱を横切る壁を作る必要があり、その重みが壁の長さに比例する指数 で小さくなるためと考えられます 物理。周期境界の箱では壁が二枚要るので、 は界面張力 の 2 倍程度と期待されます。ただし の と の差 2 前後はまだ合わず、この箱で言えるのは「指数関数で伸びる傾向」までです。似た構図は 2-09 §08 の閉じる隙間にあります。
臨界点では が と増え続け、 は です。2 より大きい側にあります。より大きな箱( まで)の数値で知られている値は (Nightingale–Blöte 1996、熱浴)で 物理、この端末の小さな箱の値はその上から近づいていくようにも読めますが、二点では判断できません。言えるのは「 の範囲で は一定に落ち着かない」までです。
計算この図の数値はこの端末で計算した(表 3 の値を埋め込み)。L = 2 は隣が重なる特殊な箱なので除いた。
動的指数 と — 冪が 2 からずれる量に名前を付ける
物理では、 が伸びるとき緩和時間が の冪で伸びるという仮説を置きます。動的スケーリングの仮説と呼び、静的なスケーリング(2-08 §06)を時間を含む相関に広げたものとされます(Ferrell ほか 1967、Halperin–Hohenberg 1967、詳しい展開は 1969)物理。可逆な連続時間の力学について数学の言葉にすると
です。 は、比 が上下とも正の定数で挟まれることを表します。この本では をこの式で定めます。名前の由来は、自由場の からのずれを冪で測る量だという点にあります。
2-08 の (13) の とは別の量です。あちらは臨界点の静的な相関 の冪のずれで、動的な量と区別するときは と書きます。二つが一致するのは「緩和時間は帯磁率に比例する」とする従来の理論(van Hove の名で呼ばれる)の中だけで、二次元イジングでは なのに と符号まで違います(8-03 §07 の表 2)。
後の部の仮定 H(10-03 §02)は、格子ヤン–ミルズの Langevin 力学について、この左の型を冪の水準で置いた文 (、)です。帯の文 は 10-03 で と呼び、H とは別に扱います(10-03 の名前の約束)。それが成り立つかは証明されていない仮定で、物理の側の対応は 8-05 §03 で問いの形で並べます。この章で確認したいのは、型そのものは自明でなく、力学を一つ替えれば破れる、ということです。その例が次の節です。
の既知の例 — 型が破れる三つの道
表 4 は、 の型が破れる既知の例です。破れ方は三つの道に分かれます。
相互作用で冪がずれる。二次元・三次元のイジングの Glauber 力学では、数値で が 2 をわずかに超えます。局所的な規則のままでも、相互作用が冪を動かします。数学では、二次元の臨界イジングの Glauber 力学で隙間の逆数が の多項式で押さえられることが示されています(Lubetzky–Sly)既知。下からは、周期境界の臨界点(と低温側)で熱浴の隙間が 以下であること、つまり が示されています(Masaoka–Soejima–Watanabe 2025。局所的で可逆な一スピン反転の力学に広がる)既知。二次元の臨界点では が定理で、§06 の「速すぎる側」は局所的なイジングの力学では起きません。冪の値 そのものを決めた定理は見当たりません。
保存量で遅くなる。磁化の総和を変えない(隣どうしのスピンを交換する)力学では、一様な成分は動けず、長い波は拡散で運ばれるのでさらに遅くなります。物理の予言は とされます(Hohenberg–Halperin の分類で model B)物理。
更新の仕方で速くなる。Swendsen–Wang のクラスター法は塊ごと裏返す非局所な力学で、要旨は動的な普遍性を破り 'unusually small values of the dynamical critical exponent' を与えると書きます 物理。同じ平衡の分布でも、機械を替えれば が替わります。
物理表 4 の値の例(数値・予言の値は一次資料の要旨から。 はこの端末で計算)
| 模型・力学 | 水準 | ||
|---|---|---|---|
| ガウス鎖・Langevin((9))/一次元イジング・Glauber((7)) | 2 | 0 | 既知(厳密) |
| 二次元イジング・熱浴(Glauber) | 2.1665(12) | −0.1665 | 物理 数値 |
| 三次元イジング・Glauber | 2.032(3) | −0.032 | 物理 数値 |
| 保存する力学(model B)・三次元イジング類 | 3.972(2) | −1.972 | 物理 数値(予言 ) |
| 保存する力学・ガウス鎖(下の寄り道。波数 の成分の緩和時間で測る) | 4 | −2 | 計算(厳密) |
| 純ゲージの HMC・位相電荷の二乗 | 約 5 | 約 −3 | 物理 数値(8-03 §08) |
最後の行は格子ゲージ理論の計算で実際に現れる遅さです。HMC(ハイブリッド・モンテカルロ。仮の運動量を足して決定論的に動かす更新法。5-07 §08)は Langevin と別の力学で(次節)、同じ遅さが Langevin でも起きるかは 10-03 §07 で扱います。
寄り道:保存する力学では
熱浴と Langevin を同一視しない — 同じ写真、別の機械
「緩和時間」は、どの力学の時間かを言わないと決まりません。熱浴と Langevin は同じ分布に対して別の生成作用素を持ちます。
ガウス鎖で比べます。連続時間の熱浴(各点が率 1 で、隣を固定した条件つき分布 から引き直す)では、場の値の平均は
で動きます。線形の関数はこの生成作用素の固有関数で、一様な成分の減る速さは です。したがって熱浴の は 以上です 計算(64 点の輪の行列で確認)。この下界は の 2 倍ほどなので、熱浴では です。表 2 の右の二列のとおり、下界と Langevin の の比は で 2 に近づきます。冪が同じだとしても、定数は違います。
定数のほかの違い
違いは定数だけではありません。
- 変数の取り方。熱浴は各点の変数を付け替えても( など)同じ過程です。条件つき分布から引くという操作が座標に依らないからです。Langevin の は勾配の長さで測るので、 で測れば 倍になります。格子ゲージ理論で「リンクの角度 で測るか、場 で測るか」で が 倍変わるのはこのためです。 なので冪の文 H は変わりませんが、帯の文は変わります(1-10 §09・10-03 §01)。
- 時間の単位。熱浴の時間は「一点あたりの試みの回数」、Langevin の時間は (1) の です。離散時間で一掃ずつ進める熱浴(5-07 §07)はさらに別の量で、・緩和時間・ が割れます(8-03 §06)。
- 指数。保存量が同じ(どちらも model A 型:磁化を保存しない)局所的で可逆な二つの力学は同じ を持つ、と物理では期待されます(同じ動的普遍類)物理。§07 の保存する力学は保存量が違う(model B)ので、この期待の反例ではありません。ガウス鎖では Langevin が 、熱浴は線形の関数からの下界で までが式で言えます。熱浴の隙間が線形の関数で決まり等号になることは、この章では示していません。一般に二つの力学の が等しいことを示した定理を、この章は持っていません。
この本で と書くときは、断りのない限り Langevin (4) の生成作用素の隙間の逆数で、どの変数の勾配で測ったかを添えます。熱浴や HMC の数値を Langevin の に読み替えるのは、仮定です。
ヤン–ミルズへの橋 — どこで使い、何が分かっていないか
格子ヤン–ミルズでも、(4) の Langevin 力学は立てられます。変数がリンクの群の元なので、勾配は群の上の微分(1-03)で取ります。連続の場で同じことを行うのが確率量子化(6-09)、計算機で同じ分布から見本を引くのがモンテカルロ法(5-07)です。
強結合( が小さい側)では、格子ヤン–ミルズの Poincaré 不等式と log-Sobolev 不等式((3) より強い不等式で、エントロピーの減り方を押さえる)が示されています(Shen–Zhu–Zhu 2023)既知。これは が有限の側の結果です。四次元で の での冪を決めた定理はありません。
この章が言えている範囲
| 内容 | 状態 |
|---|---|
| Langevin (1)(4) の生成作用素 (2)、(連続時間で可逆な力学)、熱浴の詳細釣り合い (5) | 言えている 既知 |
| 一次元の Glauber 力学 (6)(7)、磁化の減衰率 、 | 言えている 既知((6) の導出はこの章で行った)。隙間 は の輪で 計算。一般の では磁化の減衰率が隙間の上界を与える |
| ガウス鎖の (8)(9)、、保存する力学の (12) と 、熱浴の (13) と下界 (熱浴は まで) | 言えている(式は厳密)既知(初等的な導出)。表 2 と (12) の数値は 計算 |
| 表 3:二次元イジングの の と | 計算(厳密な対角化。磁化の部分空間への制限は で全空間と照合、 は部分空間の値で真の の下界)。 を決めたものではなく、傾向の確認 |
| 動的スケーリング 、表 4 の の値、model B の 、局所的な二つの力学が同じ を持つこと | 物理(仮説・数値・予言)。二次元臨界イジングで (下から 、上は多項式)は 既知、冪の値は定理になっていない |
| この本の定義(以後の章で共通) | |
| ヤン–ミルズの の 依存 | 言えていない。四次元で決めた定理は無く、仮定 H(冪の水準の文、10-03 §02)も帯の文 も仮定のまま。この章は質量ギャップ・連続極限の構成について何も示していない |
出典と再現
| もの | 種別 | 出典・道具 |
|---|---|---|
| 表 1・表 2・表 3、(9)(12)(13) の数値、図 1・図 2 | 計算 | python3(NumPy・SciPy。表 3 は生成作用素を並進と全反転で約した部分空間の疎行列にし、Lanczos 法で最小固有値)。図はブラウザの JavaScript。スクリプトは計算の記録に残してある |
| Glauber の力学・一次元の鎖 | 既知 | R. J. Glauber, "Time-dependent statistics of the Ising model", J. Math. Phys. 4 (1963) 294–307。要旨を確認(熱浴に触れた閉じた N 点の鎖のマルコフ過程を解析し、スピンの期待値と相関を陽に求めた)。本文は未読で、(6) はこの章で導いたもの |
| Poincaré 定数・連続時間と離散時間の違い | 既知 | D. A. Levin, Y. Peres, E. L. Wilmer, Markov Chains and Mixing Times 2nd ed., §12.2(8-03 の出典表と同じ) |
| 動的スケーリングの仮説 | 物理 | R. A. Ferrell, N. Menyhárd, H. Schmidt, F. Schwabl, P. Szépfalusy, Phys. Rev. Lett. 18 (1967) 891–894。要旨を確認(ラムダ点に特性の長さが無いことから第二音波の分散 を導く)。B. I. Halperin, P. C. Hohenberg, Phys. Rev. Lett. 19 (1967) 700–703。要旨を確認(Widom–Kadanoff のスケーリング則を、時間を含む相関関数についての仮定のもとで動的現象に一般化)。詳しい展開は B. I. Halperin, P. C. Hohenberg, Phys. Rev. 177 (1969) 952(要旨のみ)。分類(model A・B)は P. C. Hohenberg, B. I. Halperin, Rev. Mod. Phys. 49 (1977) 435–479。要旨を確認(主要な動的普遍類を同定し特徴づける。model A・B の名は要旨には無く、本文は未読) |
| 二次元イジングの | 物理 | M. P. Nightingale, H. W. J. Blöte, Phys. Rev. Lett. 76 (1996) 4548。要旨を確認(熱浴・無作為な点の選択・ まで) |
| 三次元イジングの | 物理 | Z. Liu, E. Vatansever, G. T. Barkema, N. G. Fytas, Phys. Rev. E 108 (2023) 034118, arXiv:2307.01837。要旨を確認 |
| 保存する力学の と予言 | 物理 | C. Chattopadhyay, J. Ott, T. Schäfer, V. Skokov, Phys. Rev. D 108 (2023) 074004, arXiv:2304.07279(巻・論文番号は Crossref で確認)。本文を確認(予言は Hohenberg–Halperin 1977 に帰している) |
| クラスター法の小さな | 物理 | R. H. Swendsen, J.-S. Wang, Phys. Rev. Lett. 58 (1987) 86。要旨を確認 |
| 二次元臨界イジングの隙間の逆数が の多項式 | 既知 | E. Lubetzky, A. Sly, Commun. Math. Phys. 313 (2012) 815–836, arXiv:1001.1613。要旨を確認(任意の境界条件で隙間の逆数が多項式) |
| 二次元以上のイジングで (隙間 、周期境界・) | 既知 | R. Masaoka, T. Soejima, H. Watanabe, J. Stat. Phys. 192 (2025) 76, arXiv:2502.09908。要旨を確認 |
| 純ゲージの HMC の位相電荷の遅さ | 物理 | S. Schaefer, R. Sommer, F. Virotta, Nucl. Phys. B 845 (2011) 93(要旨のみ。8-03 §08 と同じ) |
| 強結合の格子ヤン–ミルズの Poincaré・log-Sobolev | 既知 | H. Shen, R. Zhu, X. Zhu, Commun. Math. Phys. 400 (2023) 805(要旨のみ。8-03 と同じ) |
次に読む章:3-01 ゲージ原理。この章の続きは 5-07 §07(モンテカルロ法の臨界減速)、8-03 §05〜§07(二つの時間の辞書)、10-03(仮定 H)。