考える波 第 39 回 ／ 第 XIII 部・最先端を波として見る
第 22 回で引いた軸が、次元になる
ホログラフィーを波として見る ──
余分な次元は、対数スケールの軸だった
AdS の \(\Delta=\frac d2\pm\sqrt{\frac{d^2}4+m^2L^2}\) は、★ 第 13 回の \(s=\frac12\pm\sqrt{\frac14-\lambda}\) と同じ二次方程式です。
★★ そして境界の階数は平方根そのもの ── \(\alpha=2\sqrt{\frac{d^2}4+m^2L^2}\)。BF 境界とはそれがゼロになる点で、その下では虚数になります。
★ さらに ── ウェーブレット平面の計量は、文字どおり AdS の計量でした。
第 13 回で「虚数階 ＝ スケール変換の生成子」と見ました。第 22 回ではウェーブレットが \(\ln\omega\) の軸を引くと見ました。
★ この回は、その軸が物理で「余分な次元」と呼ばれている、という話です。
01同じ二次方程式が、二回出てくる
01節の中心
\(d\to1\)、\(m^2L^2\to-\lambda\) と置くと ── ★ 文字どおり同じ式です。
どちらも \(1/(\text{距離})^2\) というポテンシャルで、どちらも「冪が二つ」出て、判別式が符号を変える所に臨界がある。
| \(m^2L^2\)（\(d=4\)） | \(\nu=\sqrt{d^2/4+m^2L^2}\) | \(\Delta_+\) | \(\Delta_-\) | 判定 |
|---|---|---|---|---|
| 0 | 2.000000 | 4 | 0 | 安定 |
| −1 | 1.732051 | 3.7321 | 0.2679 | 安定 |
| −3.75 | 0.500000 | 2.5 | 1.5 | 安定 |
| −4 | 0 | 2 | 2 | ★ BF 境界（重根） |
| −4.25 | 0.5 i | 複素 | 複素 | ★ BF 違反 → 不安定 |
★ BF 境界 \(m^2L^2=-d^2/4\) は、第 13 回の臨界 \(\lambda=1/4\) そのものです。負の質量二乗が許されるのは、\(1/r^2\) ポテンシャルが「臨界までは落ち込まない」のと同じ理由。
02実際に解いて、境界の二点関数を測る
言葉だけでは怪しいので、波動方程式を数値で解きます。境界方向の運動量 \(k\) を入れた式
奥（\(z\) 大）から減衰する解で始めて境界（\(z\to0\)）まで積分し、そこで \(\varphi=A z^{\Delta_-}+B z^{\Delta_+}\) と分解します。
\(d=4,\ m^2L^2=-3.75\)（\(\nu=1/2\)）で ── 解析解は \(B/A=\frac{\Gamma(-\nu)}{\Gamma(\nu)}(k/2)^{2\nu}=-k\)。
| \(k\) | \(B/A\)（数値） | \(B/A\)（解析） | 比 |
|---|---|---|---|
| 0.25 | −0.24999750 | −0.25 | 0.999990 |
| 1 | −0.99999000 | −1.00 | 0.999990 |
| 4 | −3.99996000 | −4.00 | 0.999990 |
| 8 | −7.99992000 | −8.00 | 0.999990 |
02節の中心
\(\ln|B/A|\) 対 \(\ln k\) の傾き ＝ 1.000000（予言 \(2\nu=1\)）。
★ この \(B/A\) が、境界の二点関数です ── \(\langle OO\rangle(k)\propto k^{2\nu}\)。
★★ 「奥から手前へ波を積分しただけ」で、境界の相関関数の冪が出てきました。
03★★ 階数は、平方根そのものだった
| \(m^2L^2\)（\(d=4\)） | \(\nu\) | ★ 階数 \(\alpha=2\nu\) | dB/oct | 位相［度］ |
|---|---|---|---|---|
| +4 | 2.828427 | 5.656854 | 33.941 | 509.12 |
| 0 | 2 | 4 | 24.000 | 360.00 |
| −3 | 1 | 2 | 12.000 | 180.00 |
| −3.75 | 0.5 | 1 | 6.000 | 90.00 |
| −4（BF） | 0 | ★ 0 | 0.000 | 0.00 |
| −4.25 | 0.5 i | ★ 虚数 | ★ 虚数 | ★ 虚数 |
03節の中心 ── ★★★ 本回の要
バルクの質量が、境界の階数を決めている。
\(\alpha=2\sqrt{d^2/4+m^2L^2}\)
★ BF 境界は「階数がゼロになる点」です ── 冪が消えて対数になる点。
★★ そしてその下では階数が虚数 ── 第 13 回とまったく同じ構図。
★ 第 14 回の「整数から外れる理由は三つ」に、四つめ ── バルクの質量が加わりました。
04BF 境界を越えると、対数周期が出る
\(d=4,\ m^2L^2=-4.25\)（\(\nu=0.5i\)）で解くと \(\varphi=z^{d/2}\cos(\nu\ln z+\delta)\) ── 零点が \(\ln z\) で等間隔になるはずです。
| 零点 # | \(\ln z\) | 前との差 | \(z\) の比 |
|---|---|---|---|
| 1 | −5.793228 | — | — |
| 2 | −12.076413 | 6.283185 | 535.4917 |
| 3 | −18.359599 | 6.283185 | 535.4917 |
| 4 | −24.642784 | 6.283185 | 535.4917 |
04節の中心
測定した間隔 6.283185、予言 \(\pi/|\nu|=6.283185\) ── 差 \(1.7\times10^{-9}\)。
★ これは第 13 回のエフィモフ状態とまったく同じ仕組みです。あちらの比 22.7 に対して、こちらは 535.49 ── 比の値が違うだけで、「対数周期」という現象は同一。
★★ 物理的には、BF 違反は「境界の理論に不安定な演算子がある」ことを意味します ── 第 32 回のヒッグスの \(m^2<0\) と同じく、真空が違う所にあるという合図。
05★★ 余分な次元は、ウェーブレット平面そのものだった
05節の中心 ── ★★★
同じ計量です。
動径 \(z\) ＝ スケール \(a\) ＝ \(1/\omega\)。
★ ウェーブレット平面の自然な計量はアフィン群（平行移動＋拡大縮小）の不変計量で、それが双曲上半平面── つまり \(\mathrm{AdS}_2\) です。
★★ スケール変換 \((b,a)\to(\lambda b+c,\ \lambda a)\) が「等長変換」── 数値でも \(ds^2\) が \(\lambda\) を \(10^6\) 倍してもまったく変わりません（比 1.00000000）。
★ だから「対数スケールの軸」に距離が入り、次元として振る舞える。
| \(z_1\to z_2\) | 固有距離（数値） | \(|\ln(z_2/z_1)|\) |
|---|---|---|
| 1 → 10 | 2.302585 | 2.302585 |
| 1 → \(10^3\) | 6.907755 | 6.907755 |
| 1 → \(10^{17}\) | 39.143947 | 39.143947 |
★ 第 38 回との接続
1 桁（10 倍）＝ \(\ln10=2.302585\) 倍の \(L\)。
★★ 第 38 回で見た「電弱からプランクまで 17 桁」は、固有距離 39.14 \(L\) ── 階層問題が、ホログラフィーでは余分な次元の「長さ」になります。
★ これが第 15 回で「階層問題を幾何にする」と言われていたものの正体です。
06もつれのエントロピーが対数になる ── 階数ゼロ
\(\mathrm{AdS}_3\) で境界の 2 点（間隔 \(\ell\)）を結ぶ測地線は半円です。長さを数値で測ります。
| \(\ell\) | \(\varepsilon\) | 測地線長（数値） | \(2\ln(\ell/\varepsilon)\) | 差 |
|---|---|---|---|---|
| 1 | \(10^{-2}\) | 9.21014034 | 9.21034037 | 2.0e−4 |
| 1 | \(10^{-4}\) | 18.42068072 | 18.42068074 | 2.0e−8 |
| 1 | \(10^{-6}\) | 27.63102112 | 27.63102112 | 1.0e−11 |
06節の中心
\(S=\dfrac{\text{測地線長}}{4G}=\dfrac c3\ln\dfrac{\ell}{\varepsilon}\) ── 対数です。
★ 本シリーズの言葉では、対数は「階数ゼロ」の印（第 2 回の 1/f、第 37 回の弱局在、そして 03 節の BF 境界）。冪でなく対数になるのが、1+1 次元の臨界の印でした。
★★ そして \(\varepsilon\) は動径の切断── つまり周波数の切断（第 22 回の窓）。「エントロピーが \(\varepsilon\) に依る」は「どこまで細かく見たか」に依るということです。
07自由度の数え上げと、くりこみ群
| \(d\) | \(\varepsilon\) | \((L/\varepsilon)^{d-1}\) | 意味 |
|---|---|---|---|
| 2 | \(10^{-3}\) | \(10^{3}\) | 格子のセル数 |
| 4 | \(10^{-3}\) | \(10^{9}\) | 格子のセル数 |
| 4 | \(10^{-6}\) | \(10^{18}\) | ★ 面積で数える |
★ 第 6 回のホログラフィック限界（情報は体積でなく面積で数える）と同じ数え方です。動径を切ることが、周波数を切ることでした。
07節の中心 ── くりこみ群 ＝ 動径方向の運動
\(\ln\mu=-\ln z\) なので ── 第 5 回で見た「走る結合定数」は、余分な次元ではただの移動でした。
★ 「エネルギースケールを上げる」＝「境界に近づく」。第 25 回の次元転移（無次元から次元が生まれる）も、この軸の上では「どこまで歩いたか」の話になります。
08波として言えること・言えないこと
| 項目 | 判定 | 根拠 |
|---|---|---|
| \(\Delta\) の式 ＝ 第 13 回の式 | ◎ 解析 | \(d\to1,\ m^2L^2\to-\lambda\) |
| BF 境界 ＝ 臨界 \(\lambda=1/4\) | ◎ 解析 | 階数がゼロになる点 |
| \(\langle OO\rangle\propto k^{2\nu}\) | ◎ 数値 | 傾き 1.000000（予言 1） |
| ★ 階数 \(\alpha=2\nu\) | ◎ 対応 | ★ 階数は平方根そのもの |
| BF 違反 → 対数周期 | ◎ 数値 | 間隔 \(\pi/|\nu|\) を実測 |
| ★ 余分な次元 ＝ ウェーブレット平面 | ◎ 解析 | ★ 計量が文字どおり同じ |
| もつれ ＝ 測地線長 ＝ 対数 | ◎ 数値 | \(2\ln(\ell/\varepsilon)\) と一致 |
| ★ 対応そのものが正しいか | × できない | 本稿は仮定して使っただけ |
| ★ 現実の世界に使えるか | × できない | AdS は我々の宇宙ではない |
08節の中心 ── ★ 正直に
「重力の理論 ＝ 境界の場の理論」という対応そのものは、本稿では検証していません。仮定して、その内側の計算をしただけです。
★ そしてAdS（負の曲率）は我々の宇宙（正の宇宙定数）ではありません ── この回で出た数値は、どれも現実の測定と比べられるものではない。
★★ 本稿が言えるのは「もし対応が正しいなら、余分な次元とは対数スケールの軸である」という言い換えだけです。第 38 回と同じく ── 新しい予言は出ていません。
練習問題
- 05 節で「ウェーブレット平面と AdS の計量が同じ」と言った。これは偶然か。
答えを見る
偶然ではありません。どちらも同じ対称性から出ています ── 平行移動と拡大縮小（アフィン群）。
★ 双曲上半平面はアフィン群の等質空間そのもので、\(\mathrm{AdS}_2\) はその別名。「スケール不変な理論」は自動的にこの幾何を持ちます。
★★ ただし「同じ計量だから同じ物理」ではありません ── ウェーブレット平面には動力学（アインシュタイン方程式）がありません。舞台の形が同じでも、舞台の上で何が起きるかは別の話です。第 29・30 回の作法どおり、ここは「対称性が同じ」までにとどめます。 - 03 節で「階数は平方根そのもの」と分かった。第 14 回の「整数から外れる理由」に何を足すか。
答えを見る
第 14 回の三つは ①多数の時定数の重ね合わせ（第 2 回）②次元（第 30 回）③臨界点での連続変化（第 13 回）でした。
★ 四つめは 「バルクの質量」── \(\alpha=2\sqrt{d^2/4+m^2L^2}\)。質量という連続に変えられる量が階数を連続に動かします。
★★ そして面白いのは ── これが ② と ③ を両方含んでいることです。\(d\) が入っているので次元の話でもあり、平方根の中身が符号を変えるので臨界の話でもある。ホログラフィーは、階数が外れる理由を一本の式にまとめた形になっています。 - 06 節でエントロピーが \(\varepsilon\) に依存した。これは理論の欠陥か。
答えを見る
欠陥ではなく、当たり前です。「どこまで細かく見るか」を決めないと自由度の数が決まらないから ── 第 22 回の窓と同じ話。
★ 物理的に意味があるのは差です ── \(S(\ell_2)-S(\ell_1)=\frac c3\ln(\ell_2/\ell_1)\) には \(\varepsilon\) が入りません。第 7・15 回の「無次元量だけが物理」がここでも効いています。
★★ そしてこの「\(\varepsilon\) を含む項と含まない項」の分離が、くりこみそのものです ── 07 節で見たとおり、くりこみ群は動径方向の運動でした。
まとめ 余分な次元は、対数スケールの軸だった
AdS のスカラー場が満たす \(\Delta=\frac d2\pm\sqrt{\frac{d^2}4+m^2L^2}\) は、第 13 回の \(s=\frac12\pm\sqrt{\frac14-\lambda}\) と同じ二次方程式です（\(d\to1,\ m^2L^2\to-\lambda\)）。したがって BF 境界 \(m^2L^2=-d^2/4\) は、第 13 回の臨界 \(\lambda=1/4\) そのもの。
波動方程式を実際に数値で解いて、境界の二点関数を測りました ── \(\ln|B/A|\) 対 \(\ln k\) の傾きは 1.000000（予言 \(2\nu=1\)）、解析解 \(B/A=-k\) と 5 桁一致。「奥から手前へ波を積分しただけ」で相関関数の冪が出ます。
★★★ 本回の要 ── バルクの質量が、境界の階数を決めている。
\(\alpha=2\sqrt{d^2/4+m^2L^2}\)
BF 境界はそれがゼロになる点（対数）で、その下では虚数になる。
実際、BF を越えた \(m^2L^2=-4.25\) では零点が \(\ln z\) で等間隔（間隔 6.283185、予言 \(\pi/|\nu|\) と \(1.7\times10^{-9}\) 一致、\(z\) の比 535.49）── 第 13 回のエフィモフ状態と同じ「対数周期」です。
★★ そして ── ウェーブレット平面の計量 \((db^2+da^2)/a^2\) は、文字どおり AdS の計量でした。動径 \(z\) ＝ スケール \(a\) ＝ \(1/\omega\)。スケール変換が等長変換になるので、対数スケールの軸に「距離」が入り、次元として振る舞える。第 38 回の「電弱からプランクまで 17 桁」は、この軸では固有距離 39.14 \(L\) ── 階層問題が長さになります。
もつれのエントロピーは測地線長 \(2\ln(\ell/\varepsilon)\)（数値と \(10^{-11}\) 一致）── 対数 ＝ 階数ゼロで、第 2 回の 1/f と同じ場所です。自由度は \((L/\varepsilon)^{d-1}\) ── 第 6 回のホログラフィック限界の数え方。そしてくりこみ群は、余分な次元では ただの移動でした（第 5 回）。
★ 正直に：対応そのものは仮定して使っただけで、検証していません。AdS は我々の宇宙でもありません。★ 本回もまた ── 翻訳であって、新しい予言ではありません。
★ 次回は、その揺すり方に対して半分の周期で答える波の話です ── 時間結晶。
★★ 分数調波は第 23 回の非線形でも出ましたが、今度は「破れる対称性が時間の並進」。第 32 回で「対称性の破れには散逸が要る」と分かった話が、時間方向で繰り返されます。
この文書は「考える波」シリーズ第 39 回です。計算は kenshou/horo.js で行っています。本回の数値について：AdS 波動方程式の数値解と \(B/A\) の測定、BF 違反時の零点間隔、測地線長、固有距離、計量の不変性の確認は、すべて本稿で計算したものです。AdS/CFT 対応、\(\Delta=\frac d2\pm\sqrt{\frac{d^2}4+m^2L^2}\)、ブライテンローナー＝フリードマン境界、\(\langle OO\rangle\propto k^{2\nu}\)、笠＝高柳公式によるもつれエントロピー \(\frac c3\ln(\ell/\varepsilon)\)、くりこみ群と動径方向の対応、そして上半平面がアフィン群の等質空間であることは、いずれもよく知られた結果で本稿の発見ではありません ── 本稿がしたのは、これらを「階数」という一本の軸に載せ、第 13 回・第 22 回と同じものだと示したことだけです。新しい予言は出していません。とくに 05 節の「ウェーブレット平面 ＝ \(\mathrm{AdS}_2\)」は、計量と対称性が一致するという意味であり、ウェーブレット変換に重力の動力学があるという主張ではありません。また 02 節の数値は \(\nu=1/2\) という整数でない場合に限った計算で、\(\nu\) が整数のときは対数項が現れて分解の仕方が変わります。AdS は負の宇宙定数を持つ時空で、我々の宇宙（正の宇宙定数）ではありません。 ── 印刷する場合はブラウザの「印刷」から「PDF に保存」を。