この本の全体 目次と読む順
- 第 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 仮定の索引
弦の絵 — 閉じ込めの管を一本の弦とみなすと、揺らぎから普遍な補正と形が出てくる
この章で分かること — 管の横揺れの零点エネルギーから Lüscher 項 が出る筋道と、係数が理論の細部に依らない理由を追います。管の太さ、Nambu–Goto の準位、格子の弦の「硬い側」と「荒れた側」、向きに依る張力が選ぶ形(Wulff 形)を、式と動く図と計算で見ます。
前提となる章 — 7-01 物理はどう見ているか(Wilson ループ・面積則・弦張力 )。零点エネルギー(2-06)と強結合展開(5-02)は要る分をその場で書きます。
先に言うこと — 物理の水準の章です 物理。弦の絵は長い管が在ること(閉じ込め)を出発点に置き、四次元の非可換ヤン–ミルズでそれは定理ではありません。このサイトは閉じ込めも質量ギャップも連続極限の構成も示していません。
- 管を一本の弦とみなす — 面積の重み
- Nambu–Goto 作用 — 揺らぎの展開
- 零点エネルギーと Lüscher 項 — 開いた弦と閉じた弦
- 寄り道:1+2+3+⋯ と −1/12 — 切り方に依らない部分
- 管は対数で太る — 揺れる弦
- Nambu–Goto の準位と短い管 — 普遍な範囲
- 格子の弦は硬く、どこかで荒れる — 定理のある側
- Wulff 形 — 向きに依る張力と形
- 二次元イジング模型の滴 — 厳密に分かる張力と、正方形から円へ
- 弦の絵が数学に渡すもの・渡さないもの — 仮定の下で決まるものと、仮定そのもの
管を一本の弦とみなす
7-01 §05 の電束の管は、太さが対の距離 よりずっと小さければ、遠目には一本の線です。ユークリッド時間の方向に伸ばすと、線は面(世界面)を掃きます。弦の絵は、この面の揺らぎで長い距離を書く有効理論です 物理。Wilson ループの長方形 を縁とする面 に、面積 で決まる重みを与えます。
最小の面だけなら 、面積則です。問題は揺らぎで何が加わるかです。比喩で言えば張った膜の震えです。正確には、(1) はヤン–ミルズから導いた式ではなく、「長い管が在り、低い励起は横揺れだけ」という仮定の下での出発点です(Athenodorou–Bringoltz–Teper 2011 §2。以下 ABT)。
格子の強結合(5-02)では (1) に近い式が成り立ち、プラケット一枚の重み が の役をします 既知。ただし U(1) でも面積則が出るので、非可換の閉じ込めの証拠にはなりません(Chatterjee 2018 §4、5-06)。
Nambu–Goto 作用
面積に比例する作用を Nambu–Goto 作用と呼びます(名は Nambu と Goto にちなむとされます)。面を座標 と、垂直な変位 で表します(静的ゲージ。 は時空の次元)。曲面 の面積は、多変数の微積分で学ぶ曲面積の公式 (、)で与えられます。 を入れると次の式です。
揺らぎが緩やかなら で展開して
第二項は 成分の質量のない自由場で、2-02 の弦の振動と同じ形です(端では )。高次の項は長い弦では の冪で抑えられます(ABT §2.1)。
例:波打ち の長さの増分は、二次の近似で です。 fm、 fm で 0.099 fm(厳密には 0.092 fm)。 MeV/fm( MeV、7-01 §07)を掛けて約 110 MeV です 計算。
零点エネルギーと Lüscher 項
(3) の第二項は、ユークリッド化した自由場の作用です。 が長いとき なので、同じ場のハミルトニアンの基底エネルギーが を与えます(4-02)。この場のモードは ()です。各モードは振動数 の調和振動子で、最低の状態でも零点エネルギー を持ちます(2-06。)。 成分を足すと次の式です。
和は発散します。長さ より細かい揺れは有効理論の外なので、 で切ります。
(5) を (4) に入れると、第一項は で に比例し、張力に吸収されます。残りが静的ポテンシャルです。
は普遍でない定数です。 で 、7-01 式 (6) の Lüscher 項です(Lüscher–Symanzik–Weisz 1980、Lüscher 1981)。長い管の有効理論の中で導かれる係数で、数学の定理ではありません 物理。 の項は発散しない有限の部分なので、係数は に依りません。、 で残りは と に近づきます 計算。
閉じた弦と円筒の Casimir エネルギー
周期 の方向に巻きついた管(周期境界を回る電束)では が正負両向きにあり、同じ計算で次を得ます(ABT 式 (9))。
これは円筒の上の自由場の Casimir エネルギーです。Lucini–Teper 2001 は格子の を同論文の式 (4) で取り出し、'in using eqn(4) we are assuming that we have linear confinement' と断っています(5-08)。目安: fm で MeV は の 4.3%、(Lucini–Teper の下限。 MeV での換算で約 1.22 fm、Lucini–Teper 自身は ≃1.3 fm と書く)で (7) の補正は主項の 11.6% です 計算。
寄り道:1+2+3+⋯ と −1/12
飛ばしてよい節です。
標語「」の和は発散します。正確な中身は次の式です。滑らかな切り方 (、速く減る)について、 で
発散項の係数 は切り方で変わり、 は変わりません。理由は Euler–Maclaurin の公式です。和と積分の差を端の点での微分で書く式で、 とその微分が無限遠で速く減るときは次の形です( は Bernoulli 数)。
では 、、積分は なので、定数項は です。残りの項は 以上の冪です。ゼータ関数の解析接続 も同じ数です 既知。
| ε | 指数型 | ガウス型 |
|---|---|---|
| 0.1 | −0.0832917 | −0.0834169 |
| 0.01 | −0.0833329 | −0.0833342 |
| → 0 | −0.0833333 | −0.0833333 |
管は対数で太る
(3) のモード は質量 ・振動数 の振動子で、基底状態の分散は です。 の中点では奇数の だけが残り、 です。 まで足すと対数になります(Lüscher–Münster–Weisz 1981。Gliozzi–Pepe–Wiese 2010 式 (3))。長い管の有効理論の中で導かれる式です 物理。
普遍なのは の係数で、 は普遍ではありません。太さは際限なく増えますが で、遠目には細い線のままです。
計算この図の数値はこの端末で計算した。切断 、帯は 、横方向 1 成分。振動は古典的な絵で、量子の揺らぎそのものではない。
| R(格子間隔) | σ⟨h²⟩ | R を倍にしたときの増分 |
|---|---|---|
| 8 | 0.516070 | 0.111626 |
| 1024 | 1.288650 | 0.110318 |
| (9) の予言 | — | ln2/(2π) = 0.110318 |
計算モードごとの閉じた形 で厳密に足した。増分は (9) と 6 桁で一致する。
の係数 は 0.053 fm² で、 を倍にしても は 0.037 fm² 増えるだけです 計算。対数の増え方は (2+1) 次元の SU(2) の格子で確かめられています(Gliozzi–Pepe–Wiese 2010)物理。
Nambu–Goto の準位と短い管
縦の運動量のない閉じた弦の準位は、Nambu–Goto では閉じた形で書けます(左右に回る励起の和がともに 。ABT 式 (21))。素朴な光円錐量子化から来る式です(Aharony–Komargodski はこの方法の出典として、端を固定した弦を扱った Arvis 1983 を挙げます)。
展開すると で、 は (7) に戻ります。基底は で虚になり、 では です。周期方向を時間とみれば は温度です(4-02)。弦の状態の数はエネルギーとともに指数的に増えるので、ある温度より上では分配関数の和が収束しなくなります。この点を Hagedorn 転移と呼びます(状態の増え方は 7-05 の寄り道)物理。ABT は を 'the Hagedorn/deconfining transition in the Nambu-Goto model' とみなせると書き、続けて、大 の純ゲージ理論ではこの長さに届かないと述べます。縮めていくと、その手前の で一次の脱閉じ込め転移が起きるからです(表3 の下の )。
| L√σ | σL−π/(3L) | (10) の基底 | 近似のずれ | (10) の n=1 | E₁−E₀ |
|---|---|---|---|---|---|
| 1.6 | 0.9455 | 0.6824 | +38.6% | 5.0595 | 4.377 |
| 3.0 | 2.6509 | 2.6279 | +0.88% | 5.6602 | 3.032 |
| 6.0 | 5.8255 | 5.8229 | +0.04% | 7.6836 | 1.861 |
計算式 (10) による。格子で管が消える長さ は ABT 表 3 の と の積で、SU(3) 1.544・1.559、SU(5) 1.636、SU(6) 1.676。いずれも より少し長く、大きい の二つは ABT の 1.65 の前後にある。
どこまで普遍か。Aharony–Komargodski 2013 によれば 'all the terms up to (and including) order 1/L^5 are universal' で、基底は まで (10) と一致し、 の励起は で普遍にずれ、 から理論ごとの項が入ります。長い管の有効理論の中で導かれる結果です 物理。(10) の量子化には 'There is no rigorous derivation' とも書いています。ABT は四次元 SU(N) の格子で閉じた管の約 20 準位を測り、多くが 展開の収束しない短い長さまで (10) でよく記述されると報告しました。( は管の軸のまわりの角運動量、 は鏡映に対する符号)の一部の状態は大きくずれます 物理。
表3 の最後の列で、 の弦の最初の励起 は、SU(3) の グルーボール (7-01 表2)と同じ桁に来ます 計算(対応を意味するものではありません)。尺度が一つであることを数学の文にする話は 7-12 です。
格子の弦は硬く、どこかで荒れる
格子の強結合側では、面の一部を一格子ずらすとプラケットが増え、一枚ごとに小さな重み が掛かります。横揺れは指数的に抑えられ、面は硬い(平ら)ままです。(9) の世界では分散が対数で発散し、面は荒れています。
結晶の表面では、二つのあいだに荒れの転移(roughening)があります。Itzykson–Peskin–Zuber 1980 は、四次元の格子ゲージ理論でも、真空に相転移がないまま有限の結合で荒れが起き、 がそこで真性特異点を持つと論じました。ここで真性特異点とは、関数もすべての階の微分も有限のまま、テイラー展開がその点で関数を表さなくなる型の特異点です。例は で 、 で とおいた関数で、 でのテイラー級数は係数がすべて です。級数を何次まで延ばしても、この点は見えません。IPZ は 'The roughening transition is a natural barrier to the extrapolation of strong-coupling series for the string tension' と書いています。SU(2) の はおよそ 2(誤差大)で、著者は 4 次元の議論を 'for the most part, intuitive' と断っています 物理。
三次元の Z(2) ゲージ理論は、三次元のイジング模型と双対です。双対とは、変数の取り替えで二つの模型の分配関数が(簡単な因子を除いて)一致することです(2-09 の寄り道。IPZ は Wegner 1971 を引く)。この対応で Wilson ループの面はイジング模型の界面になります(IPZ 式 (8))既知。ゲージ結合を で測ると(双対なイジング模型の温度では 。IPZ 式 (7))、相転移は です。荒れの点は、IPZ が引く級数の見積もりで 、相転移の手前です 物理。有効弦理論が当てはまるのは荒れた側だけです(Gliozzi–Pepe–Wiese 2010)物理。
Wulff 形
§07 の硬い側では、張力は向きにも依ります。格子の軸と角 をなす Wilson ループの縁は階段になり、最小の面は 枚です。強結合の主項では次の式です。
で 倍です 計算。連続極限では回転対称が戻り、一定になると期待されます 物理。
張力が向きに依る線で囲まれた、面積一定の領域(二次元の滴)はどんな形をとるか。法線 ごとの張力 で、囲む面積を固定して を最小にします。答えは Wulff 1901 の作図で与えられます(作図が最小を与えることの証明の書誌は出典表)既知。
張力が一定なら円、(11) の なら の正方形です。面積 1 での総和は正方形で 4、円形なら です 計算。
二次元イジング模型の滴
向きに依る張力が厳密に分かっている例が、正方格子のイジング模型(結合 、2-09)です。この節の は逆温度です(。格子ゲージの とは別物)。低温相の少数派の島(滴)の平衡形は次の曲線です(最初の厳密な解析は Rottman–Wortis 1981 とされる)既知。
(13) は (12) の の縁そのものです。大きさも (12) のとおりで、向き への張り出し が張力 ( の単位)に等しくなります。したがって は位置ではなく、エネルギーの単位で測った座標です。 軸との交点(軸方向の張力)は、Onsager の厳密解の と 5 桁で一致します 計算。 で (13) は正方形になり、張力は (11) と同じ階段の数え上げです。 では右辺が 2 に近づき、、 について なので円になります。
| T/T_c | τ(45°)/τ(0°) | 等周比 | Wulff/円 |
|---|---|---|---|
| → 0 | 1.4142 | 0.7854 | 0.8862 |
| 0.2 | 1.1984 | 0.9406 | 0.9698 |
| 0.4 | 1.0690 | 0.9917 | 0.9958 |
| 0.8 | 1.0035 | 1.0000 | 1.0000 |
計算この図と表の数値はこの端末で計算した((13) を角度ごとに二分法で求めた)。
低温では対角の張力が先に下がります。階段の縁には並べ方の数(エントロピー)があり、角はそこから丸くなります。 に近づくと相関長が格子間隔よりずっと長くなり、格子の向きが忘れられて円になります。連続極限で回転対称が戻るという期待(5-05)の、厳密に扱える模型での姿です。
低温の二次元イジングで滴が Wulff 形をとることは、微視的な模型から示されています(Dobrushin–Kotecký–Shlosman 1992・1993)既知。
Wulff の問題が直接に当てはまるのは、このように面積の決まった二次元の相の滴です。ヤン–ミルズの閉じた電束の輪には面積を固定する拘束が無く、放っておけば縮みます。それでも格子の上の閉じた管は必ず角を曲がるので、そのエネルギーは を通して形に依ります 物理。この端末の記録での使い方は 10-06 にあります。
弦の絵が数学に渡すもの・渡さないもの
渡すもの
物理長い管が在ると仮定すれば、Lüscher の係数、太さの の係数、準位の までの形が、細部に依らずに決まります。
既知低温の二次元イジングでは、向きに依る張力と滴の形の関係が定理です。
渡さないもの
管が在ること(大きい の面積則)は、四次元の非可換理論で 'remains elusive' です(Chatterjee 2018)。格子の は弦の補正を引いて取り出され、Lucini–Teper は二点だけの当てはめで 'we cannot claim to have evidence for both the 1/L functional form and for its coefficient' と断っています。
弦の絵は質量のない横揺れの話で、グルーボールの質量は直接には出てきません。ABT は (10) からずれる の準位が 'the massive modes associated with the internal structure of the flux tube' を表す可能性を調べています 物理。長さの尺度が だけなので は自然に見えますが、導かれてはいません(7-01 §09・7-12)。面の和としての見方は、次の 7-04 で の展開として出てきます。
この章が言えている範囲
| 言えている | 言えていない |
|---|---|
| 物理長い管が在ると仮定した有効理論の中で導かれる、Lüscher の係数・太さの の係数・ までの準位の普遍性 | 四次元の非可換ヤン–ミルズに長い管が在ること(大きい の面積則) |
| 計算正則化の違いが に比例する項だけに入ること(表1)。格子の自由場の太さの増分(表2) | ヤン–ミルズの管の太さの定理 |
| 計算(10) と Lüscher 近似の差、、(表3) | (10) がヤン–ミルズで厳密であること |
| 既知Wulff の作図と低温の二次元イジングでの正当化。計算表4 | 四次元の連続極限で が一定になること |
既知強結合の面積則(Osterwalder–Seiler)。三次元の Z(2) ゲージ理論とイジング模型の双対性。Euler–Maclaurin による | 強結合級数を荒れの点より先へ延ばすこと |
物理四次元の格子ゲージ理論の荒れの転移(IPZ の議論)と、三次元 Z(2) の の級数による見積もり | 荒れの転移の存在と位置の証明 |
出典と再現
| もの | 種別 | 出典・道具 |
|---|---|---|
| §01・(7)(10)・・Hagedorn の文と ・ | 一次 | Athenodorou–Bringoltz–Teper, JHEP 1102 (2011) 030, arXiv:1007.4720(本文) |
| 普遍性の次数・(10) の注意・(10) が素朴な光円錐量子化から来ること | 一次 | Aharony–Komargodski, JHEP 05 (2013) 118, arXiv:1302.6257(本文) |
| Lüscher 項・(10) の原典 | 一次 | Lüscher–Symanzik–Weisz, NPB 173 (1980) 365(書誌のみ)。Lüscher, NPB 180 (1981) 317(書誌のみ)。Arvis, PLB 127 (1983) 106「The Exact q Anti-q Potential In Nambu String Theory」(書誌のみ。書誌は Aharony–Komargodski の文献表 [19] による)。Nambu–Goto の名の原典は未確認 |
| 式 (9)・有効弦理論が荒れた側で当てはまること | 一次 | Lüscher–Münster–Weisz, NPB 180 (1981) 1(書誌のみ)。Gliozzi–Pepe–Wiese, PRL 104 (2010) 232001, arXiv:1002.4888(本文) |
| 格子の σ の取り出し・ | 一次 | Lucini–Teper, JHEP 0106 (2001) 050, hep-lat/0103027 §4.1(本文)。原文は 'r ≥ 3/√σ ≃ 1.3 fm'。本文の 1.22 fm は MeV(7-01 と同じ)での換算 |
| 荒れの転移・・・・双対性 | 一次 | Itzykson–Peskin–Zuber, PLB 95 (1980) 259(本文)。 は同論文の式 (7)、 は同論文の本文。 は、IPZ が式 (13) で引く Weeks らの級数解析の値 (1980 年当時の見積もり。Weeks らの原典は IPZ の文献 [7][9] で、一つは未公刊の書簡。未確認)。IPZ 自身の量では式 (19) で 。双対性は Wegner, J. Math. Phys. 12 (1971) 2259(書誌のみ。IPZ の文献表による) |
| 面積則の現状 | 一次 | Chatterjee arXiv:1803.01950 §4(本文)。Osterwalder–Seiler, Ann. Phys. 110 (1978) 440(書誌のみ) |
| 式 (12)・Wulff 形の微視的な正当化 | 一次 | Wulff, Z. Kristallogr. 34 (1901) 449–530(書誌のみ。書誌は Fujimoto–Otsuka の文献表による)。作図が最小を与えることの証明の原典は未確認。作図の説明は Günther–Rikvold–Novotny, Physica A 212 (1994) 194, cond-mat/9406114(本文)と、そこに挙げられた総説 Rottman–Wortis, Phys. Rep. 103 (1984) 59(書誌のみ)。Dobrushin–Kotecký–Shlosman, Wulff Construction: A Global Shape from Local Interaction, AMS Transl. Math. Monographs 104 (1992)。同じ著者の短報 A microscopic justification of the Wulff construction, J. Stat. Phys. 72 (1993) 1–14(いずれも書誌のみ。書誌は Crossref で確認) |
| 式 (13) | 一次 | Rottman–Wortis, PRB 24 (1981) 6274(書誌のみ。「最初の厳密な解析」という帰属は Fujimoto–Otsuka arXiv:1906.01925 の序文)。あわせて Avron–van Beijeren–Schulman–Zia, J. Phys. A 15 (1982) L81、Zia–Avron, PRB 25 (1982) 2042(書誌のみ。同じ序文が 'see also' として挙げる)。形は Onsager の張力と照合 |
| 表1〜表4・図1・図2・本文の 計算 | 計算 | python3(標準ライブラリ):正則化した和/格子の自由場/(10) と ABT 表 3/(13) の二分法 |
次に読む章:7-04 大 N — 面の和を で整理する見方です。