わかる c·t=一定 第 11 回 / 光子ガスは、完全に静止している

光には、伸びる余地がそもそもありませんでした

光に、
入れてみる 数密度も、エネルギー密度も、温度も、波長も、全部が一定。
宇宙の歴史を通じて、光には何も起きていない。

必要な道具:ウェイトの足し算、指数の突き合わせ\(\Omega^{D-4}\) ── 4次元でだけ、ぴったり

ここまで「光は共形変換を素通りする」と何度も書いてきましたが、正面から扱ったことはありませんでした。今回やります。この絵で光子ガスを見ると ── 数密度も、エネルギー密度も、温度も、波長も、全部が一定完全に静止しています。 宇宙の歴史を通じて、光には何も起きていない。育っているのは物質のほうだけ。前シリーズ第7回の「4 次元のマクスウェル作用だけがぴったり共形不変」が、いちばん露骨な形で見えます。

01光子ガスを、片っ端から変換する

ウェイト表に従って、CMB の量を順に変換します。標準の絵での時間変化と、掛け合わせるだけです。

ウェイト標準の絵この絵
光子数密度 \(n_\gamma\)\(+3\)\(\propto a^{-3}\)一定
エネルギー密度 \(\rho_\gamma\)\(-4\)\(\propto a^{-4}\)一定
温度 \(T\)\(-1\)\(\propto a^{-1}\)一定
光子 1 個のエネルギー \(\hbar\omega\)\(-1\)\(\propto a^{-1}\)一定
波長 \(\lambda\)\(+1\)\(\propto a\)一定

01節の結論

光について、動くものが一つもありません。
今日の光子数密度 \(4.11\times10^{8}\ \mathrm{m^{-3}}\) が、宇宙の全歴史を通じて同じ値。
この絵の光子ガスは、完全に静止しています。

偶然ではありません。標準の絵で光子の量が \(a\) の何乗で変わるかと、その量のウェイトが、ぴったり同じ数だからです。だから掛けると必ず消える。光は、共形変換に対して過不足なくできている。

02それでも、観測は一つも変わらない

「光の量が全部一定」と聞くと、何かが壊れそうに思えます。壊れません ── CMB を決めている無次元数は、二つしかないからです。

CMB を決める二つの数

① 光子 1 個あたりのエントロピー

$$\frac{s_\gamma}{n_\gamma}=\frac{1.478\times10^{9}}{4.111\times10^{8}}=3.60\ k_B\qquad(\text{黒体の理論値 }3.602)$$

② バリオン光子比

$$\eta=\frac{n_b}{n_\gamma}=6.1\times10^{-10}$$

どちらも無次元なので、この絵でも標準の絵でもまったく同じ値です。そして黒体スペクトルの形も、\(\hbar\omega/k_BT\) という無次元の組み合わせだけで決まるので、不変プランク分布の形は一文字も変わりません。

元素合成が \(\eta\) だけで決まる、の意味 ビッグバン元素合成の予言は、突き詰めると \(\eta\) ただ一つの関数です。\(\eta\) は無次元なので、この絵でも動きません ── だからヘリウム量の予言も、絵の取り替えでは 1 ミリも動かない。前シリーズ番外編①が「三つの絵のどれで弁護しても判決は同じ」と書いたのは、突き詰めればこの一行でした。絵が変わっても \(\eta\) は変わらないので、判決も変わらない。

03赤方偏移が、まるごと裏返る

光が何も変わらないなら、赤方偏移はどこから来るのか。受け取る側です。

 標準の絵この絵
飛んでいる光空間が伸びるので、波長も伸びる何も起きない
実験室の水素原子ずっと同じ重くなっていく(\(\tilde m=am\))
基準のライマン αずっと同じ波長時代とともに短くなる
分光器の読み \(1+z\)\(\lambda_{\rm obs}/\lambda_{\rm lab}\)同じ値
同じ数字を、二通りに読む

\(z=7\) の銀河のライマン α

$$\text{標準:}\ \text{波長が }8\ \text{倍に伸びた}\qquad\text{この絵:}\ \text{実験室の基準が }8\ \text{倍細かくなった}$$

\(z=1100\) の CMB

$$1101\ \text{倍}\qquad\text{どちらの読み方でも、分光器の目盛りは同じ}$$

「光が伸びた」のではなく「物差しが育った」 ── 前シリーズ第2回・第3回で言葉として出したことが、今回の 01節の表で完全に裏づけられました。光の側には、伸びる余地がそもそも無い。

図:ツマミで語り方を切り替えます。左端(標準の絵)では光子の量が全部あちこちへ動き、右端(この絵)では四本とも完全に水平になります。無次元の比(\(s/n\) と \(\eta\))は、どこでも動きません

s = 1.00
光子数密度 \(n_\gamma\) エネルギー密度 \(\rho_\gamma\) 温度 \(T\) 波長 \(\lambda\) 無次元比(\(s/n\)、\(\eta\))
◇ ◇ ◇

04種明かし ── 4 次元でだけ、ぴったり釣り合う

なぜ光だけがこうなるのか。前シリーズ第7回の二行の計算を、もう一度。

マクスウェル作用の、数え上げ $$S_{\rm EM}=-\frac{1}{4\mu_0}\int\!\sqrt{-g}\;F_{\mu\nu}F_{\alpha\beta}\,g^{\mu\alpha}g^{\nu\beta}\;d^Dx$$

体積の測り方が \(\Omega\) を \(D\) 個産み、逆計量が二つで 4 個食う

$$S_{\rm EM}\ \longrightarrow\ \Omega^{\,D-4}\,S_{\rm EM}$$
次元 \(D\)23456
残る因子\(\Omega^{-2}\)\(\Omega^{-1}\)\(\Omega^{0}=1\)\(\Omega^{+1}\)\(\Omega^{+2}\)

産んだ数と食った数が釣り合うのは \(D=4\) だけ。私たちが 4 次元に住んでいることが、光子ガスが静止して見える理由です。 もし 5 次元なら、この絵でも光の量が動いてしまい、「膨張は全部質量に押し込める」という話が成り立ちません。

05もっと素朴な言い方 ── 光には、比べる相手がない

物差しを持たないコンプトン波長 \(\hbar/mc\) は \(m\to0\) で無限大 ── どんな長さも指定しない
時計も持たない光の世界線に沿った固有時間はゼロ ── どんな時間も指定しない
だから、気づけない物差しを取り替えられても、比べる相手がいないので変化を検出できない

第3回で「\(c\cdot t\) を一定と言うには比較相手が要る」、第9回で「原子が縮んでいると言うには比較相手が要る」と書きました。光は、そもそも比較相手を一つも持っていません ── だから共形変換に対して、言うことが何もない。これが「共形不変」の日常語訳です。

06ただし、量子では壊れる

ここまでは古典の話です。量子にすると、質量ゼロの理論でも共形対称性は破れます ── 場の理論を定義するのに「細かさの基準 \(\mu\)」が要るからです(前シリーズ第8回)。

破れの大きさ $$T^\mu{}_\mu=\frac{\beta(g)}{2g}F_{\mu\nu}F^{\mu\nu}$$

実験で測れている

$$\frac{1}{\alpha}:\ 137.036\ \longrightarrow\ 127.95\quad(\text{電子質量から }M_Z\text{ まで})$$

つまり「光には何も起きていない」は、古典の範囲での話。量子論は、光にも無理やり物差しを持たせてしまう。この破れは第 V 部(第37回)で正面から扱います ── シリーズの道具が壊れる場所の一つ目です。

正直な線 ── この回が置いている前提

① 「光子ガスが静止している」は、共形変換したあとの座標での話です。 局所的に測る光速はどの絵でも \(c_0\)、CMB の温度計はどの絵でも 2.7255 K を示します。絵の取り替えで観測が変わることは、一つもありません。

② \(n_\gamma\propto a^{-3}\)、\(T\propto a^{-1}\) は断熱膨張の結果です。 粒子の対消滅でエントロピーが放出される時期には \(g_{*s}\) の変化ぶんの補正が入ります(第2回で 1.10 nat と計算しました)。表は「補正を除いた素直な依存性」を示しています。

③ 「元素合成は \(\eta\) だけの関数」は簡略化です。 正確には有効相対論的自由度 \(g_*\)、中性子寿命、膨張率も効きます ── そして膨張率こそが前シリーズ番外編①で \(a\propto t\) を落とした当のものでした。ここで言っているのは「絵を取り替えても \(\eta\) は動かないので、絵のせいで判決は変わらない」ということだけです。

④ \(s_\gamma/n_\gamma=3.60\) は本稿で数値から出した値で、 黒体の厳密値は \(4\pi^4/(45\zeta(3))=3.6017\)。使った \(n_\gamma=4.11\times10^8\ \mathrm{m^{-3}}\)、\(s_\gamma=1.478\times10^9\ k_B\,\mathrm{m^{-3}}\) は \(T_0=2.7255\) K での標準値です。

⑤ マクスウェル作用の \(\Omega^{D-4}\) は、\(A_\mu\)(添字が下)のウェイトが 0 であることを使っています。 これは標準的な取り方ですが、\(A^\mu\) で書けば当然ウェイトが変わります ── 作用が不変かどうかは書き方に依りませんが、途中の数え上げは規約に依ります。

練習問題(今回の式だけで解けます)

  1. この絵で光子数密度が一定になる理由を、ウェイトで説明せよ。
    答えを見る
    \(n_\gamma\) はウェイト \(+3\)(体積の逆数)なので \(\tilde n=a^3n\)。標準の絵では \(n\propto a^{-3}\)。掛けると \(a^3\cdot a^{-3}=1\) で、完全に相殺します。エネルギー密度(\(-4\) と \(a^{-4}\))、温度(\(-1\) と \(a^{-1}\))、波長(\(+1\) と \(a\))も同じ構造です。
  2. CMB を決める無次元数を二つ挙げ、この絵でどうなるか答えよ。
    答えを見る
    光子 1 個あたりのエントロピー \(s/n=3.60\,k_B\) と、バリオン光子比 \(\eta=6.1\times10^{-10}\)。どちらも無次元なのでまったく動きません。黒体スペクトルの形も \(\hbar\omega/k_BT\) だけで決まるので不変です。
  3. マクスウェル作用が共形不変になる次元は。理由も。
    答えを見る
    \(D=4\) のみ。\(\sqrt{-g}\) が \(\Omega\) を \(D\) 個産み、逆計量二つが 4 個食うので \(\Omega^{D-4}\) が残ります。私たちが 4 次元にいることが、この絵で光子ガスが静止して見える理由です。
  4. \(z=7\) の銀河のライマン α を、二つの絵で説明せよ。
    答えを見る
    標準:空間が 8 倍に伸びたので、飛んでいる光の波長も 8 倍になった。この絵:光は何も変わらず届き、実験室の水素が重くなって基準のライマン α が 8 倍細かくなった。分光器の読み \(\lambda_{\rm obs}/\lambda_{\rm lab}=8\) は、どちらでも同じ。
  5. (やや難)「光には何も起きていない」は、どこまで正しいか。
    答えを見る
    古典の範囲まで。量子化には細かさの基準 \(\mu\) が要るので、質量ゼロの理論でも共形対称性は破れます(トレースアノマリー \(T^\mu{}_\mu=(\beta/2g)F^2\))。その破れは実験で測れていて、\(1/\alpha\) が 137.036 から 127.95 へ走ることがそれです。量子論は、光にも無理やり物差しを持たせてしまう。

まとめ 光には、伸びる余地がなかった

ウェイト表に従って CMB の量を変換すると、数密度も、エネルギー密度も、温度も、光子 1 個のエネルギーも、波長も、全部が一定になります。標準の絵での \(a\) の指数と、その量のウェイトが、ぴったり同じ数だからです。この絵の光子ガスは、完全に静止している ── 今日の \(4.11\times10^8\ \mathrm{m^{-3}}\) が、宇宙の全歴史を通じて同じ値。

それでも観測は一つも変わりません。CMB を決めている無次元数は二つだけ ── 光子 1 個あたりのエントロピー \(3.60\,k_B\) と、バリオン光子比 \(\eta=6.1\times10^{-10}\)。どちらも動かず、黒体スペクトルの形も \(\hbar\omega/k_BT\) で決まるので不変。元素合成の予言が \(\eta\) の関数である以上、絵を取り替えても判決は動きません ── 前シリーズ番外編①の「三つの絵のどれで弁護しても同じ」は、突き詰めればこの一行でした。

そして赤方偏移が、まるごと裏返ります。光の側に伸びる余地がないので、変わったのは受け取る側。\(z=7\) なら「波長が 8 倍に伸びた」ではなく「実験室の基準が 8 倍細かくなった」。分光器の読みは同じ 8 です。

種明かしは次元でした ── マクスウェル作用は \(\Omega^{D-4}\) 倍になるので、ぴったり共形不変なのは \(D=4\) だけ。私たちが 4 次元に住んでいることが、この絵が成立する理由です。もっと素朴に言えば、光は物差しも時計も持たない(コンプトン波長は無限大、固有時間はゼロ)── だから物差しを取り替えられても、比べる相手がいないので気づけない。ただしこれは古典の話で、量子にすると細かさの基準 \(\mu\) が持ち込まれ、\(1/137\to1/128\) という形で破れが実験にかかります。道具が壊れる場所の一つ目です。

この文書は「わかる c·t=一定」シリーズ第11回、物理好きの高校生・大学生向け読み物です。断熱膨張のもとで \(n_\gamma\propto a^{-3}\)、\(\rho_\gamma\propto a^{-4}\)、\(T\propto a^{-1}\)、\(\lambda\propto a\) となること、共形変換のもとでそれぞれのウェイトが \(+3,-4,-1,+1\) であること、およびマクスウェル作用が \(\Omega^{D-4}\) 倍になり \(D=4\) でのみ共形不変となることは、いずれも標準的な結果です(前シリーズ第7回)。今日の CMB の値 \(T_0=2.7255\) K、\(n_\gamma=4.11\times10^8\ \mathrm{m^{-3}}\)、\(s_\gamma=1.478\times10^9\,k_B\,\mathrm{m^{-3}}\)、\(\eta=6.1\times10^{-10}\) は標準値で、\(s_\gamma/n_\gamma=3.60\,k_B\)(黒体の厳密値 \(4\pi^4/45\zeta(3)=3.6017\))は本稿での計算です。粒子の対消滅によるエントロピー放出期には \(g_{*s}\) の変化ぶんの補正が入ります(第2回で 1.10 nat と計算)。「元素合成は \(\eta\) だけの関数」は簡略化で、正確には \(g_*\)・中性子寿命・膨張率も効きます ── そして膨張率こそが前シリーズ番外編①で \(a\propto t\) を棄却した当のものです。本稿が主張しているのは「絵を取り替えても \(\eta\) は動かないので、絵のせいで判決は変わらない」という点のみです。\(A_\mu\)(添字が下)のウェイトを 0 と取るのは標準的な規約で、途中の数え上げは規約に依存しますが作用の不変性そのものは依りません。量子化により共形対称性が破れること(トレースアノマリー \(T^\mu{}_\mu=(\beta/2g)F_{\mu\nu}F^{\mu\nu}\))、\(\alpha^{-1}\) が 137.036 から \(M_Z\) で 127.95 へ走ることも標準的です(前シリーズ第8回)。局所的に測る光速および CMB 温度計の読みは、どの絵でも同じです。線形膨張(\(c\cdot t=\)一定、\(R_h=ct\))は検証途上の少数派モデルで、初期宇宙まで外挿した場合は元素合成と矛盾します(Lewis, Barnes & Kaushik 2016)。学術的な標準はインフレーションを含む \(\Lambda\)CDM モデルです。 ── 印刷する場合はブラウザの「印刷」から「PDF に保存」を(印刷版ではスライダーと解答は静止・非表示になります)。

印刷 / PDF 化:⌘+P(Windows は Ctrl+P)。画面ではスライダーで語り方を切り替え、右端で光子の四本が全部水平になる様子が見えます。「答えを見る」で解答が開きます。