別々に書いた三つのシリーズが、じつは同じ一つの操作を三通りの言葉で書いていた ── 全集の連結回
この回は連結回です。新しい物理は出てきません。代わりに、別々に書いてきた三つのシリーズを一枚に重ねます ── 姉妹編「わかる宇宙論」の背骨 \(c\cdot t=\)一定、「宇宙は計算機」の背骨 \(F=1/(Cn)^D\)、そして本シリーズの繰り込み群。結論から言うと、後ろの二つはほぼ同一物で、最初の一つは同じ論法の別分野版です。「宇宙は計算機」の \(D\) は走る ── あれは比喩ではなく、文字どおり繰り込み群のフローでした。そして \(c\cdot t=\)一定 の「固定すべきは c でなく α」は、繰り込みのスキーム独立性とまったく同じ形をしています。しかも三本は、気づかないうちに同じ点を三度通っていました ── 中性子、ランダウアー、そして「連続極限は臨界点でしか立たない」。
| シリーズ | 背骨の一行 | 言っていること |
|---|---|---|
| わかる宇宙論 | \(c\cdot t=\) 一定 （固定すべきは c でなく α） | 単位つきの量は帳簿の付け方。記述を替えても観測量は動かない |
| 宇宙は計算機 | \(F=1/(Cn)^D\) （次元は読み値、\(D\) は走る） | スケールを変えると読み値が変わる。その走り方が現象の正体 |
| わかる繰り込み | 捨てても同じ／relevant と irrelevant | スケールを変えると理論が流れる。残るのは固定点の性質だけ |
三つとも、「スケールを動かしたとき何が変わり、何が変わらないか」を言っています。違うのは、どこに立って眺めているかだけ ── 宇宙論は帳簿の側から、計算機はものさしの側から、繰り込みは理論そのものの側から。
「宇宙は計算機」第10回では、\(D\) をこう定義しています。
どちらも「スケールの対数」で微分した量です。前者は力の落ち方の勾配、後者は結合定数の走り。同じ軸の上の、同じ種類の微分。だから第10回のタイトル「\(D\) は走る」は、繰り込み群の言葉に直訳できます。
| 宇宙は計算機 | わかる繰り込み |
|---|---|
| \(D\) は「持つ数」でなく読み値（第1回） | 演算子のスケーリング次元（第4回・第6回） |
| \(D\) が走る（第10回） | 繰り込み群フロー（第4回） |
| 弱い力：\(D:2\to\infty\)（W/Z が重いので指数打ち切り） | デカップリング定理 ── 重い粒子は低エネルギーから切り離される（第4回） |
| 強い力：\(D:2\to0\)（閉じ込め、距離で減らない） | IR へ向かって成長する方向（relevant 側の振る舞い） |
| 「一番楽な次元は現象ごと」＝上部臨界次元（第1回） | ガウス固定点が安定か、Wilson–Fisher 固定点へ移るかの境目（第4回・番外③） |
| UV でも 2、コズミックウェブは約 2（第14回） | スケールごとに別の固定点へ乗り換える＝クロスオーバー |
第1回ですでに「上部臨界次元」という語が出ているのが決定的です。あれは繰り込み群の語彙そのもの ── 「宇宙は計算機」の背骨のものさしは、名前を変えた繰り込み群だったということです。
第10回に「\(C\)（結合）と \(D\)（幾何）は別軸」とあります。おおむねそのとおりですが、繰り込み群の立場では自由場から離れると二軸は混ざります。結合が走ると、次元にもずれが乗る：
$$D_{\text{有効}}=D_{\text{古典}}+\gamma(g)$$この \(\gamma\) を異常次元といいます。\(D\) が走る原因の一部は、\(C\) が走ることなのです。第4回で臨界指数 \(\beta\approx0.326\) が \(1/2\) のような単純な値にならなかったのも、まさにこの \(\gamma\) のせい ── 平均場（＝\(\gamma=0\)）からのずれが、あの端数の正体です。二軸が本当に独立なのは、ガウス固定点のごく近くだけ。
「宇宙は計算機」第8回は、\(D\) を複素数に開きます ── \(D=a+i\beta\)、そして虚部が対数周期の振動を生み、お気に入りのズーム倍率 \(\lambda=e^{2\pi/\beta}\) が刻まれる。「連続スケール対称性が離散に壊れた印」と書かれています。
これは、番外編③でやった固定点まわりの固有値の話の、そのまま複素版です。
粗視化を 1 回すると、固定点からのずれは固有値 \(\Lambda\) 倍される（番外③の \(N^{1-k/2}\) がその実例）。この \(\Lambda\) が実数なら、ずれは単調に伸び縮みするだけ。ところが \(\Lambda\) が複素数になると ──
$$\Lambda^n = |\Lambda|^n e^{\,i n\theta}\quad\Longrightarrow\quad \underbrace{|\Lambda|^n}_{\text{ふつうの伸縮}}\times\underbrace{\cos(n\theta+\varphi)}_{\text{対数周期の振動}}$$粗視化の回数 \(n\) がスケールの対数なので、振動はスケールの対数について周期的になる。つまり「特定の倍率でだけ同じ景色が戻る」── 連続スケール不変性が、離散スケール不変性に落ちたということです。第8回の \(\lambda=e^{2\pi/\beta}\) は、この \(\theta\) の言い換えにほかなりません。
第4回で「臨界点ではどの倍率でも同じに見える」と書きました。複素次元の世界は、その一段弱い版 ── どの倍率でも、ではなく、決まった倍率ごとに同じに見える。カントール集合のような自己相似図形や、対数周期の前兆現象が住んでいるのはここです。
もう一本の背骨へ。「わかる宇宙論」の正直な線はこうでした ──「固定すべきは c でなく α」「固定できるのは3つまで」「無次元量だけが不変」。
繰り込み群には、これと論理構造が完全に同じ要求があります。理論を有限にするとき、どのエネルギー \(\mu\) で切るかは人間が決める帳簿の目盛りです。そして物理量はそれに依存してはいけない。式にすると：
驚くべきことに、繰り込み群方程式の正体はこれです。「記述の選び方に答えが依存してはならない」という一行を微分方程式にすると、結合の走り方（ベータ関数）が決まってしまう。ゲージを選ぶ自由があること自体が、物理を縛る。
\(c\cdot t=\)一定 が「時間の測り方はゲージの選択で、\(\alpha\) が不変なら観測に跡を残さない」と言うのと、これは同じ形です ── 帳簿は選べる、答えは選べない。
そして番外編⑦「細かさのツマミには、両端がある（床は 1/137、天井はプランクの縁）」── このツマミが、本シリーズ第7回で空間の一方向になります。AdS/CFT では動径座標 \(z\leftrightarrow 1/E\) なので、ツマミを回すことが、奥へ潜ることになる。両端はそれぞれ、バルクの深いところ（IR＝1/137 の床）と境界のきわ（UV＝プランクの縁）。宇宙論の番外⑦は、繰り込み第7回で幾何になります。
下の図は、横軸を一本だけにしてあります ── 距離 \(r\)、そしてその裏返しのエネルギー \(E\sim\hbar c/r\)。上段は「宇宙は計算機」第10回の図（四つの力の \(D\) が走る）、下段は「わかる宇宙論」第6回の図（\(\alpha\) が 1/137 から 1/128 へ走る）。別々のシリーズの二枚を、同じ軸に載せただけです。
スライダーでカーソルを動かすと、下の読み出しに三つの言葉での読みが同時に出ます。同じ一点を、三つのシリーズがどう言うか ── それがこの回の全部です。
連結回を書いていて驚いたのはここです。三本のシリーズは、意識せずに同じ三点を通過していました。これは類推ではなく、内容そのものの重なりです。
| 交差点 | わかる宇宙論 | 宇宙は計算機 | わかる繰り込み |
|---|---|---|---|
| 中性子 | 第7回：BBN が \(c\cdot t=\)一定 に判決（\(\Gamma\propto Q^5\)） | ── | 第2回：880 秒＝位相が追えなくなる時間、ボトル vs ビーム |
| ランダウアー | 第10回：崩壊とは情報が消去されること | 第6回：消すことだけがコストを持つ | 番外②：\(k_BT\ln2\)、観測者＝粗視化装置 |
| 連続極限 | ── | 第9回：連続極限は臨界点でしか立たない | 第4回：相関長発散とスケール不変性 |
「宇宙は計算機」第9回の但し書き ──「連続極限は臨界点でしか立たず、面積則は仮定」── は、繰り込み群の中心命題を計算側から独立に書き当てたものです。格子間隔をゼロに送れるのは相関長が発散しているときだけ（そうでなければ格子の目が答えに残る）。つまり連続の場の理論は、固定点の上にしか存在できない。
だから第9回の「格子は足場か土台か未決」という穴と、繰り込みの「その固定点は本当にあるか（漸近安全性）」という穴は、同じ穴を両側から覗いていることになります。
| スケールを動かすと… | わかる宇宙論 | 宇宙は計算機 | わかる繰り込み |
|---|---|---|---|
| 変わるもの | \(\alpha\) がエネルギーで走る | 読み値 \(D\) が走る | 結合が流れる（ベータ関数） |
| 変わらないもの | 無次元の観測量 | 不変量（表現を替えても動かない量） | 固定点の性質・臨界指数 |
| 選べるもの（帳簿） | どの定数を固定するか（3つまで） | どの表現で読むか（第3回の動物園） | くりこみスキーム・\(\mu\) |
| 捨てられるもの | 単位つきの数字 | 冗長性 | irrelevant 演算子 |
| 限界（両端） | 1/137 の床とプランクの壁（番外⑦） | \(10^{90}\) ビット・\(10^{120}\) 演算 | 粗視化が破れる場所（第5回） |
| 行き着く先 | 「不変なのは無次元量だけ」 | 「地図は描いた、旗は立てなかった」 | 「宇宙はサボっていない、我々がサボらざるを得ない」 |
確立していること：ベータ関数・異常次元 \(\gamma(g)\)・カラン–シマンジク方程式（物理量の \(\mu\) 非依存性が繰り込み群方程式を与えること）；デカップリング定理；電磁結合の走り（\(1/\alpha\approx137\to\)\(M_Z\) で約 128）；上部臨界次元；繰り込み固有値が複素になることと離散スケール不変性・対数周期振動の対応；連続極限が臨界点（固定点）を要すること；ランダウアー原理。いずれも標準的な物理です。
ここは区別してください（この回でいちばん大事な但し書き）：
① 「\(D\) ＝ スケーリング次元」は同一ではなく、同型です。「宇宙は計算機」の \(D\) は、いろいろな対象に当てた読み値の総称で、実際には少なくとも三種類の別物を含みます ── 力の落ち方の指数、コズミックウェブのフラクタル次元、量子重力のスペクトル次元。これらは「スケールの対数微分」という形を共有しますが、技術的には別の量で、互いに一致する保証はありません（第14回が「数は一つに集まらない」と書いているのは、まさにこのことです）。本文の対応表は形の対応であって、量の同一視ではありません。
② \(c\cdot t=\)一定 と \(\mu\) 独立性は、論理構造が同じだけです。片方は宇宙論での座標・単位の選択、もう片方は場の理論での正則化スキームの選択で、帳簿の中身は別物。「帳簿は選べる、答えは選べない」という形が共有されているにすぎません。
③ 一方で 第6節の三つの交差点は、形ではなく内容の重なりです（同じ中性子、同じランダウアー原理、同じ「臨界点でしか連続極限が立たない」）。ここだけは比喩ではありません。
④ この回は連結回であって、新しい主張を立てるものではありません。三本のシリーズを同じ用語系に翻訳して並べた、それだけです。
「宇宙は計算機」の \(D=-d\ln F/d\ln r\) と、繰り込みの \(\beta(g)=dg/d\ln\mu\) は、同じ「スケールの対数微分」。だから第10回の「\(D\) は走る」は繰り込み群フローに直訳でき、弱い力の \(2\to\infty\) はデカップリング定理、第1回の上部臨界次元はガウス固定点と Wilson–Fisher 固定点の境目、第8回の複素次元は繰り込み固有値が複素になった＝離散スケール不変性になります。こちらから足せる但し書きは一つ ── 異常次元 \(\gamma(g)\) のせいで、\(C\) と \(D\) は自由場から離れると混ざる。
「わかる宇宙論」の \(c\cdot t=\)一定 は、カラン–シマンジク方程式 \(\mu\,d/d\mu(\text{観測量})=0\) と同じ論法 ──〈帳簿は選べる、答えは選べない〉。番外⑥の「時間の軸（ゲージ）／エネルギーの軸（RG）」という切り分けはそのまま本シリーズの主題で、番外⑦の「細かさのツマミの両端」は、第7回でバルクの奥行きという幾何になります。
そして三本は、すでに三度同じ点を通っていました ── 中性子（宇宙論第7回／繰り込み第2回）、ランダウアー（三本すべて）、そして「連続極限は臨界点でしか立たない」（計算機第9回／繰り込み第4回）。最後のは、繰り込み群の中心命題を計算側から独立に書き当てたものです。「わかる宇宙論」最終回が「そこで繰り込めなくなる」で終わっていたことに、いま気づきました ── このシリーズは、あの扉の続きでした。
印刷 / PDF 化：⌘+P（Windows は Ctrl+P）。画面ではスライダーでカーソルを動かすと、同じ一点を三つのシリーズの言葉で同時に読めます。「答えを見る」で解答が開きます。