終回のあとに ── 「\(D\) を虚数にしたらどうなるの?」という一つの問いから
第1回の結論は「次元 \(D\) は世界が持つ数でなく、\(D=-d\ln F/d\ln n\) で読む計器の目盛り」でした。目盛りなら ── 実数とはかぎらない。この回は \(D\) を素直に複素数へ開きます。答えは驚くほどきれい:実部は減衰(ふつうの次元)、虚部は振動(ズームの刻み)。そして最後に、なぜ我々の世界は虚部ゼロの側にいて、そのせいで質量の流れが「閉じない」のか ── 姉妹シリーズ「わかる質量」の最終回まで一本で繋がります。
\(x=Cn\)(解像度で測ったサイズ)と置くと、ものさしの式は指数関数一本になります:
\(D\) が実数なら、両対数プロット(\(\ln F\) 対 \(\ln n\))はまっすぐな直線で、傾きが \(-D\)。第1回のスライダーで見たあれです。面なら \(D=2\)、波(線)なら \(D=1\)、立体なら \(3\)。整数は特別な目盛りにすぎず、非整数も走って取れた ── でも全部実数でした。
ここで一歩踏み込む。\(D\) が「読み値」なら、複素数を入れて計算しても式は文句を言わない。やってみましょう。
\(D=a+i\beta\)(実部 \(a\)、虚部 \(\beta\))を指数に入れる。指数法則で二つに割れます:
オイラーの公式 \(e^{-i\theta}=\cos\theta-i\sin\theta\) を使っただけ。\(\theta=\beta\ln(Cn)\)。
いちばん純粋な場合 ── \(a=0\) の純虚数 \(D=i\beta\) ── を見ると、正体がむき出しになります。\(|F|=1\) が常に成り立つ。増えも減りもしない。 \(n\) をスケールさせると \(F\) は単位円をぐるぐる回るだけ ── 純粋な対数周期振動です。
一周する条件を出します。位相 \(\beta\ln(Cn)\) が \(2\pi\) 増えるたびに \(F\) は元に戻る。これは \(n\) がある決まった倍率だけ変わったとき:
ここが核心です。純粋なべき則 \(n^{-D}\) は \(n\to\lambda n\) をどんな \(\lambda\) でも許す ── 連続なスケール対称性を持つ。ところが世界に特別な拡大率があると(枝分かれ比、繰り込み1ステップ、入れ子の比)、対称性は \(n\to\lambda^k n\)(整数 \(k\))だけの離散スケール対称性に落ちる。そのお気に入り倍率がまさに \(D\) の虚部として顔を出す:
虚数次元 =「連続なズーム」が「刻んだズーム」に壊れた印。 虚部 \(\beta\) はその刻み幅(お気に入り倍率 \(\lambda\) の対数)そのもの。実部が大きさを測るのに対し、虚部はズームでどう繰り返すかを測る ── 直交した別の軸だ。
虚数次元は数式のいたずらではなく、本物の数学です。自己相似なフラクタルは、実は複素数の次元を持ちます。中央3等分カントール集合(3等分して真ん中を捨てる、を無限に繰り返す)を例に取ると、素朴な次元は \(\ln2/\ln3\approx0.63\) ですが、完全な次元の集合は:
実部はおなじみのフラクタル次元。虚部の間隔 \(2\pi/\ln3\) は、この集合が3倍ズームで自分に戻ること(\(\lambda=3\))の直接の刻印。だから \(\beta=2\pi/\ln\lambda\) の一般式そのままです。
結果として、カントール集合の「体積」(正しくは Minkowski 内容)を測ると、べき則の上に周期 \(\ln3\) の対数周期の脈動が乗る。これは観測できる本物の現象で、名前もついています ── 離散スケール不変性(DSI)。地震前の岩石の破壊、金融クラッシュ前の価格、地震の余震系列などで、対数周期の前兆振動として観測・研究されてきました(Sornette ら)。
ここで質量の話に着地します。我々が観測している次元は(空間なら3、時空なら4)純粋な実数、虚部ゼロ。図1で \(\beta=0\) にした状態です。ということは:
閉じる周期がない。 スケールを上げても \(F\) は二度と同じ値に戻らない。ただ滑らかに流れ続ける ── これが「質量の流れが永遠に終わらない」の正体。
これは姉妹シリーズ「わかる質量」第4回そのものです。時空 \(D=4\) は結合が対数でしか走らない特別な次元(周辺的=marginal)。対数の流れは一番遅く、決して自分では止まらない。止まらない流れに積分定数として一個スケールが忍び込む ── これが次元的移行:
虚部=自前の刻みがあれば流れは \(\lambda\) 倍ごとに閉じて自己完結する。でも実数の世界にはそれがない。だから流れは端まで走り続け、止め(カットオフ)は外から与えるしかない ── 上は \(M_{\text{Pl}}\)(プランク)、下は \(\hbar H_0/c^2\)(宇宙の大きさが決める最小質量の床)。
そして最後がきれいに繋がる。流れにお気に入りのスケールがない(純実数・対数対称)とき、二つの端 \(m_{\text{IR}}\) と \(M_{\text{Pl}}\) の間で作れる唯一の自然なスケールは ── 対数軸で真ん中、つまり幾何平均:
「特別な倍率がない = 対数軸で左右対称 = 中点」だから幾何平均になる。虚部がゼロで流れが閉じないことが、逆に端と端を幾何平均で結ぶ理由になっている。閉じないからこそ、両端が互いを指す。
言い直すとこうです ── 我々は虚部ゼロの \(D\) で観測している。だから質量は閉じた周期ではなく、対数で走り続ける流れに乗り、そのスケールは両端の幾何平均に落ちる。 虚数次元の話が、質量の最終回まで一本で繋がりました。
虚数次元を入れると \(F\) は複素数になります。\(F\) が力・個数・確率のような実の観測量なら、そのままでは意味を持てない ── 読めるのは \(\mathrm{Re}\,F\) か \(|F|\)、あるいは \(F\) を「振幅」と読み替えたとき。物理的に観測されるのは、べき則の上に乗る対数周期のさざ波であって、\(D\) の虚部そのものではありません。
離散スケール不変性・複素次元・Lapidus の理論・対数周期の前兆はいずれも確立した数学/現象論です。ただし、素粒子の基本法則の走りに対数周期が観測されたわけではない(あればそれは離散スケール対称性=時空が刻まれている証拠になる)。そして「なぜ空間はちょうど実数の3次元で、虚部を持たないのか」は、この枠組み固有の謎ではなく物理全体の未解決。ここは埋めません ──「解けた」とは言わない、が全体の掟。虚数次元は「面と波の間の何か」ではなく、大きさとは直交した別の軸だ、という一点だけは確かです。
次元 \(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次元か」は物理全体の穴 ── 正直に開けたまま置く。
印刷 / PDF 化:Ctrl+P(Mac は ⌘+P)。画面では、図1で実部=減衰・虚部=さざ波が別々に動き、図2で複素次元が梯子状に並ぶのが見えます。「答えを見る」で解答が開きます。