宇宙は計算機第 8 回(延長)/ 虚数の次元

終回のあとに ── 「\(D\) を虚数にしたらどうなるの?」という一つの問いから

虚数の次元 ── ズームが刻まれるとき 第1回で \(D\) は「読み値」だと分かった。ではその読み値を 複素数に開くと何が起きる?
虚部は「大きさ」を測らない。ズームでどう繰り返すかを測る ── 直交した別の軸だ。

芯:虚部=お気に入りのズーム倍率/実数側だから流れは閉じない フック式:\(D=a+i\beta\)

第1回の結論は「次元 \(D\) は世界が持つ数でなく、\(D=-d\ln F/d\ln n\) で読む計器の目盛り」でした。目盛りなら ── 実数とはかぎらない。この回は \(D\) を素直に複素数へ開きます。答えは驚くほどきれい:実部は減衰(ふつうの次元)、虚部は振動(ズームの刻み)。そして最後に、なぜ我々の世界は虚部ゼロの側にいて、そのせいで質量の流れが「閉じない」のか ── 姉妹シリーズ「わかる質量」の最終回まで一本で繋がります。

01おさらい ── 純実数の \(D\) は「まっすぐな傾き」

\(x=Cn\)(解像度で測ったサイズ)と置くと、ものさしの式は指数関数一本になります:

対数で開く $$F=\frac{1}{(Cn)^{D}}=(Cn)^{-D}=e^{-D\,\ln(Cn)}$$

\(D\) が実数なら、両対数プロット(\(\ln F\) 対 \(\ln n\))はまっすぐな直線で、傾きが \(-D\)。第1回のスライダーで見たあれです。面なら \(D=2\)、波(線)なら \(D=1\)、立体なら \(3\)。整数は特別な目盛りにすぎず、非整数も走って取れた ── でも全部実数でした。

ここで一歩踏み込む。\(D\) が「読み値」なら、複素数を入れて計算しても式は文句を言わない。やってみましょう。

02\(D\) を複素数に開く ── 実部は減衰、虚部は回転

\(D=a+i\beta\)(実部 \(a\)、虚部 \(\beta\))を指数に入れる。指数法則で二つに割れます:

種明かし ── 一行で役割が分かれる $$F=(Cn)^{-a}\cdot e^{-i\beta\ln(Cn)} =\underbrace{(Cn)^{-a}}_{\text{減衰}}\cdot\underbrace{\big[\cos(\beta\ln Cn)-i\,\sin(\beta\ln Cn)\big]}_{\text{回転(振動)}}$$

オイラーの公式 \(e^{-i\theta}=\cos\theta-i\sin\theta\) を使っただけ。\(\theta=\beta\ln(Cn)\)。

いちばん純粋な場合 ── \(a=0\) の純虚数 \(D=i\beta\) ── を見ると、正体がむき出しになります。\(|F|=1\) が常に成り立つ。増えも減りもしない。 \(n\) をスケールさせると \(F\) は単位円をぐるぐる回るだけ ── 純粋な対数周期振動です。

図1:複素次元 \(D=a+i\beta\)。横軸は \(n\)(対数)。実部 \(a\) のスライダーで包絡線 \(\pm(Cn)^{-a}\) の減衰=ふつうの次元が決まり、虚部 \(\beta\) のスライダーで その中に走るさざ波の細かさが決まる。\(\beta=0\) にすると波が消え、第1回のただの直線(べき則)に戻る。
スライダーを動かすと、包絡線(減衰=実部)とさざ波(振動=虚部)が別々に変わります。
\(\mathrm{Re}\,F=(Cn)^{-a}\cos(\beta\ln Cn)\) 包絡線 \(\pm(Cn)^{-a}\)(実部 a) お気に入りズーム λ の刻み

03意味 ── 虚数次元は「ズームが刻まれた印」

一周する条件を出します。位相 \(\beta\ln(Cn)\) が \(2\pi\) 増えるたびに \(F\) は元に戻る。これは \(n\) がある決まった倍率だけ変わったとき:

お気に入りのズーム倍率 $$n\to n\cdot\lambda \ \text{で } F \text{ が元に戻る},\qquad \lambda=e^{2\pi/\beta},\qquad \beta=\frac{2\pi}{\ln\lambda}$$

ここが核心です。純粋なべき則 \(n^{-D}\) は \(n\to\lambda n\) をどんな \(\lambda\) でも許す ── 連続なスケール対称性を持つ。ところが世界に特別な拡大率があると(枝分かれ比、繰り込み1ステップ、入れ子の比)、対称性は \(n\to\lambda^k n\)(整数 \(k\))だけの離散スケール対称性に落ちる。そのお気に入り倍率がまさに \(D\) の虚部として顔を出す:

この回の一行

虚数次元 =「連続なズーム」が「刻んだズーム」に壊れた印。 虚部 \(\beta\) はその刻み幅(お気に入り倍率 \(\lambda\) の対数)そのもの。実部が大きさを測るのに対し、虚部はズームでどう繰り返すかを測る ── 直交した別の軸だ。

第3回とつながる 第3回「表現の動物園」で、連続と離散は読む向きの違う一つの不変量だと見ました。虚数次元はその橋の数式版です ── スケールの離散性(お気に入りのズーム)が、連続に見える次元の虚部として現れる。離散か連続かは表現、でも「刻みがあるか」は \(\beta\ne0\) か \(\beta=0\) かという読み取れる差になる。
◇ ◇ ◇

04これは遊びではない ── カントール集合の複素次元

虚数次元は数式のいたずらではなく、本物の数学です。自己相似なフラクタルは、実は複素数の次元を持ちます。中央3等分カントール集合(3等分して真ん中を捨てる、を無限に繰り返す)を例に取ると、素朴な次元は \(\ln2/\ln3\approx0.63\) ですが、完全な次元の集合は:

カントール集合の複素次元(Lapidus) $$D_k=\underbrace{\frac{\ln 2}{\ln 3}}_{\text{実部=大きさの次元}}+\;i\,\underbrace{\frac{2\pi k}{\ln 3}}_{\text{虚部=ズーム比3の刻印}},\qquad k=0,\pm1,\pm2,\dots$$

実部はおなじみのフラクタル次元。虚部の間隔 \(2\pi/\ln3\) は、この集合が3倍ズームで自分に戻ること(\(\lambda=3\))の直接の刻印。だから \(\beta=2\pi/\ln\lambda\) の一般式そのままです。

結果として、カントール集合の「体積」(正しくは Minkowski 内容)を測ると、べき則の上に周期 \(\ln3\) の対数周期の脈動が乗る。これは観測できる本物の現象で、名前もついています ── 離散スケール不変性(DSI)。地震前の岩石の破壊、金融クラッシュ前の価格、地震の余震系列などで、対数周期の前兆振動として観測・研究されてきました(Sornette ら)。

図2:複素平面に並ぶ次元。横軸=実部(大きさの次元)、縦軸=虚部。分割数 b残す数 k のスライダーで、自己相似なフラクタルの複素次元が点として並ぶ。実部は \(\ln k/\ln b\) の一点に固定、虚部は間隔 \(2\pi/\ln b\) で梯子状に刻まれる ── その刻みがズーム比 \(b\) の指紋。(\(b=3,\,k=2\) がカントール集合)
スライダーで、実部(大きさの次元)と虚部の刻み(ズーム比)が別々に動きます。
複素次元 \(D_k\) 実部 \(=\ln k/\ln b\)(大きさの次元) 虚部の刻み \(2\pi/\ln b\)
◇ ◇ ◇

05ではなぜ我々は「実数側」か ── そして質量が終わらない理由

ここで質量の話に着地します。我々が観測している次元は(空間なら3、時空なら4)純粋な実数、虚部ゼロ。図1で \(\beta=0\) にした状態です。ということは:

実数側にいることの帰結

閉じる周期がない。 スケールを上げても \(F\) は二度と同じ値に戻らない。ただ滑らかに流れ続ける ── これが「質量の流れが永遠に終わらない」の正体。

これは姉妹シリーズ「わかる質量」第4回そのものです。時空 \(D=4\) は結合が対数でしか走らない特別な次元(周辺的=marginal)。対数の流れは一番遅く、決して自分では止まらない。止まらない流れに積分定数として一個スケールが忍び込む ── これが次元的移行:

終わらない流れから質量が湧く $$\Lambda = E\,e^{-1/(b\,\alpha)}\qquad(\text{対数走行の積分定数が質量スケールを生む})$$

虚部=自前の刻みがあれば流れは \(\lambda\) 倍ごとに閉じて自己完結する。でも実数の世界にはそれがない。だから流れは端まで走り続け、止め(カットオフ)は外から与えるしかない ── 上は \(M_{\text{Pl}}\)(プランク)、下は \(\hbar H_0/c^2\)(宇宙の大きさが決める最小質量の床)。

払い出し ── 閉じないから「幾何平均」が出る

そして最後がきれいに繋がる。流れにお気に入りのスケールがない(純実数・対数対称)とき、二つの端 \(m_{\text{IR}}\) と \(M_{\text{Pl}}\) の間で作れる唯一の自然なスケールは ── 対数軸で真ん中、つまり幾何平均

最小はつねに最大を指す
$$m\sim\sqrt{m_{\text{IR}}\cdot M_{\text{Pl}}}\quad(\approx\mathrm{meV})$$

「特別な倍率がない = 対数軸で左右対称 = 中点」だから幾何平均になる。虚部がゼロで流れが閉じないことが、逆に端と端を幾何平均で結ぶ理由になっている。閉じないからこそ、両端が互いを指す。

言い直すとこうです ── 我々は虚部ゼロの \(D\) で観測している。だから質量は閉じた周期ではなく、対数で走り続ける流れに乗り、そのスケールは両端の幾何平均に落ちる。 虚数次元の話が、質量の最終回まで一本で繋がりました。

正直な線

虚数次元を入れると \(F\) は複素数になります。\(F\) が力・個数・確率のような実の観測量なら、そのままでは意味を持てない ── 読めるのは \(\mathrm{Re}\,F\) か \(|F|\)、あるいは \(F\) を「振幅」と読み替えたとき。物理的に観測されるのは、べき則の上に乗る対数周期のさざ波であって、\(D\) の虚部そのものではありません。

離散スケール不変性・複素次元・Lapidus の理論・対数周期の前兆はいずれも確立した数学/現象論です。ただし、素粒子の基本法則の走りに対数周期が観測されたわけではない(あればそれは離散スケール対称性=時空が刻まれている証拠になる)。そして「なぜ空間はちょうど実数の3次元で、虚部を持たないのか」は、この枠組み固有の謎ではなく物理全体の未解決。ここは埋めません ──「解けた」とは言わない、が全体の掟。虚数次元は「面と波の間の何か」ではなく、大きさとは直交した別の軸だ、という一点だけは確かです。

練習問題(この一枚で解けます)
  1. 純虚数 \(D=i\beta\) のとき、\(|F|\) はどうなる?
    答えを見る
    \(|F|=|(Cn)^{-i\beta}|=|e^{-i\beta\ln Cn}|=1\)。常に1。増えも減りもせず、\(n\) をスケールさせると単位円を回るだけ=純粋な対数周期振動。減衰(大きさ)は実部だけが担い、虚部は位相=振動しか動かさない。
  2. 虚部 \(\beta\) と「お気に入りのズーム倍率 \(\lambda\)」の関係は? カントール集合(3倍ズーム)ではいくつ?
    答えを見る
    \(\lambda=e^{2\pi/\beta}\)、逆に \(\beta=2\pi/\ln\lambda\)。位相が \(2\pi\) 進むと元に戻るから。3倍ズーム(\(\lambda=3\))なら \(\beta=2\pi/\ln3\approx5.71\)。連続スケール対称性が、倍率3の離散スケール対称性に落ちた印。
  3. 「我々は実数の次元で観測しているから質量の流れが終わらない」──これは何を意味し、何を意味しない?
    答えを見る
    意味する:虚部=閉じる周期がないので、スケールを横断する結合の走りは自分では止まらず、対数で流れ続ける。だから止め(\(M_{\text{Pl}}\)・\(\hbar H_0/c^2\))は外から与え、間のスケールは対数中点=幾何平均 \(\sqrt{m_{\text{IR}}M_{\text{Pl}}}\) に落ちる。意味しない:質量の値が無限、ではない(値は有限・確定)。終わらないのは流れであってではない。また「空間が3次元だから」と直結もしない ── 効くのは時空4次元が対数走行の臨界次元だという別の筋。

まとめ虚部は「ズームの刻み」、実部ゼロでないから流れは閉じない

次元 \(D\) は読み値だから、複素数に開ける。\(D=a+i\beta\) を入れると \(F=(Cn)^{-a}[\cos(\beta\ln Cn)-i\sin(\beta\ln Cn)]\) ── 実部 \(a\) は減衰(ふつうの大きさの次元)、虚部 \(\beta\) は対数周期の振動。虚部は「面と波の間」ではなくズームでどう繰り返すかを測る直交軸で、\(\beta=2\pi/\ln\lambda\) =お気に入り倍率 \(\lambda\) の刻み。連続スケール対称性が離散に壊れた印であり、カントール集合の複素次元・対数周期前兆(DSI)として実在する。

我々は虚部ゼロの実数側にいる ── だから閉じる周期がなく、質量は対数で走り続け(次元的移行 \(\Lambda=Ee^{-1/b\alpha}\))、止めは外から(\(M_{\text{Pl}}\)・\(\hbar H_0/c^2\))、間のスケールは対数中点=幾何平均 \(\sqrt{m_{\text{IR}}M_{\text{Pl}}}\approx\mathrm{meV}\) に落ちる。閉じないからこそ最小が最大を指す。残る「なぜ実数の3次元か」は物理全体の穴 ── 正直に開けたまま置く。

← 終回:旗でなく標識を 第9回:情報の式と物理の式 →
この文書は「宇宙は計算機」シリーズ第8回(延長・会話のまとめ・正直版)です。オイラーの公式 \(e^{-i\theta}=\cos\theta-i\sin\theta\)、複素指数 \((Cn)^{-(a+i\beta)}\) の分解、離散スケール不変性(DSI)と対数周期振動、フラクタルの複素次元(M. Lapidus の複素次元理論、幾何ゼータ関数の極として \(D_k=\ln2/\ln3+i\,2\pi k/\ln3\))、対数周期前兆の現象論(D. Sornette らによる破壊・地震・金融の研究)、時空4次元での結合の対数走行と次元的移行 \(\Lambda=Ee^{-1/b\alpha}\)、CKN 境界に基づく \(\mathrm{meV}\sim\sqrt{m_{\text{IR}}M_{\text{Pl}}}\) の幾何平均は、いずれも確立した数学/物理、または姉妹シリーズ「わかる質量」で正直に線引きした内容です。\(F=1/(Cn)^D\) は次元の定義関係 \(D=-d\ln F/d\ln n\) の言い換えで、\(D\) を複素数に開くのは数学的に整合しますが、基本法則の走りに対数周期(虚部)が観測されたわけではありません。「空間はなぜ実数の3次元で虚部を持たないか」は現行の未解決問題です。 ── 印刷する場合はブラウザの「印刷」から「PDF に保存」を(印刷版ではスライダーと解答は静止・非表示になります)。

印刷 / PDF 化:Ctrl+P(Mac は ⌘+P)。画面では、図1で実部=減衰・虚部=さざ波が別々に動き、図2で複素次元が梯子状に並ぶのが見えます。「答えを見る」で解答が開きます。