わかる c·t=一定 第 19 回 ／ 仕分けの手続きそのものを、作る
驚きをビットで測ると、三つの層がはっきり分かれます
恒等式は、本当に
物理ではないのか
このシリーズは「一致」を何度も仕分けてきました。
その基準を、情報理論の言葉で明示します。
このシリーズは「一致」を何度も仕分けてきました ── ディラックの大数は恒等式、ランダウアー限界ぴったりも恒等式、\(\alpha+2\beta+\gamma=2\) も恒等式。前回の 1.96 fm は偶然。そして \(\Omega/N=\ln2/3\pi^2(1+w)\) は物理。──この仕分け、手続きになっているのでしょうか。 今回は、そこを正面から作ります。答えは情報理論の側にありました ── 驚きを、ビットで測ればいい。
01これまで仕分けてきたもの
| 一致 | 出どころ | 下した判定 |
|---|---|---|
| \(M/m_P=R_H/2\ell_P\)（ディラックの大数） | 前・番外編③ | 恒等式 |
| \(E/N=k_BT_H\ln2\)（ランダウアー） | 第10回 | 恒等式 |
| \(\alpha+2\beta+\gamma=2\)（臨界指数） | 第14回 | 恒等式 |
| \(\rho_\Lambda^{1/4}\) と \(m_\nu\) が 22 倍以内 | 前・番外編⑤ | 偶然 |
| 1 ビットの体積の一辺 ≈ 核子 | 第18回 | 偶然 |
| 小出の関係式 \(Q=2/3\) | 前・番外編④ | 説明のない経験式 |
| \(\Omega/N=\ln2/3\pi^2(1+w)\) | 第1回 | 物理 |
毎回それらしく判定してきましたが、基準を明示したことは一度もありません。今回作ります。
02驚きを、ビットで測る
ある一致が「どれだけ驚きか」は、こう測れます ── 事前に許されていた範囲のうち、どれだけ狭いところに落ちたか。
意味
$$1\ \text{ビット}=\text{コイン 1 回ぶん},\qquad 20\ \text{ビット}=\text{百万分の 1}$$これは情報理論の「サプライザル」そのものです。そして恒等式は、この定義でぴったり 0 ビットになります ── 定義から従うので、落ちる先が最初から一点に決まっていたからです。
03実際に測ってみる
| 一致 | 驚き | 実感 | 分類 |
|---|---|---|---|
| ディラックの大数 | 0 bit | ── | 恒等式 |
| ランダウアー限界ぴったり | 0 bit | ── | 恒等式 |
| \(\alpha+2\beta+\gamma=2\) | 0 bit | ── | 恒等式 |
| \(\rho_\Lambda^{1/4}\) と \(m_\nu\) | 4.7 bit | コイン 5 回 | 偶然 |
| 1 ビットの体積 ≈ 核子 | 7.4 bit | コイン 7 回 | 偶然 |
| 小出の関係式 \(Q=2/3\) | 15.7 bit | 3 万分の 1 | 経験式 |
| CMB が 9600 パッチで一様 | \(1.6\times10^{5}\) bit | 桁が違う | 本物の問題 |
03節の結論
数字にすると、層がはっきり分かれます ── 恒等式は 0、偶然は数ビット、本物の問題は \(10^5\) ビット。
「宇宙定数とニュートリノ質量が 22 倍以内」は、コインを 5 回投げて全部表が出た程度の驚きでしかない。
この結果は、たぶん直観に反します。\(10^{-31}\) と \(10^{-30}\) という途方もなく小さい数が近いと聞くと大事件に思えますが、対数で数えれば 35 桁のうち 1.3 桁ぶんの一致にすぎません。前回の 1.96 fm も同じで、61 桁のうち 0.36 桁 ── 7.4 ビット。
図：これまで扱った「一致」の驚きを、ビットで並べたもの。ツマミは事前範囲の取り方を変えます ── 驚きの大きさは、どれだけの範囲を「あり得た」と考えるかに依存します。これが、この測り方のいちばん弱いところです
ツマミを動かすと、上二本だけが伸び縮みします ── 「偶然の驚き」は、事前範囲の取り方しだいで数ビット動く。一方、恒等式（0 ビット）、小出（\(Q\) の範囲が数学的に決まっている）、CMB（パッチ数と精度が観測で決まっている）は動きません。だから前者は「弱い」一致で、後者は「強い」一致です。
04仕分けの手続き ── 入力と出力を数える
ビットで測るのとは別に、もっと構造的な仕分けもできます。その関係式は、何を入力して何を出力するか。
| 分類 | 入力 | 出力 | 反証 | 驚き |
|---|---|---|---|---|
| 恒等式 | 0 個（定義から従う） | 0 個 | 不可能 | 0 bit |
| 偶然 | 2 個以上の独立な測定値 | 0 個 | 不可能 | 数 bit |
| 物理 | \(n\) 個の測定値 | \(m\) 個の予言 | 可能 | 大きい |
第1回の \(\Omega/N=\ln2/3\pi^2(1+w)\) を当ててみます ── 入力は膨張則 \(w\) ひとつ、出力は「1 ビットあたりの演算回数」。別の測定にかかる量を出しているので、物理です。一方 \(E/N=k_BT_H\ln2\) は、地平面のエネルギーを地平面の温度と地平面のエントロピーで割っただけ ── 入力も出力も無い。
05記述長で書き直すと、第5回に戻る
この仕分けは、じつは第5回でやったことと同じです。あそこでは記述長を数えました ── モデルの良さは「データをどれだけ短く書けるか」。
05節の結論
良い関係式とは、データの記述長を減らすもの。
恒等式は 0 ビットしか減らさない。偶然は数ビットしか減らさず、しかも減らす手段（機構）がない。
物理は桁違いに減らす ── \(\Lambda\)CDM は 6 個のパラメータで、\(\ell\le2500\) の \(6.3\times10^6\) 個の多重極を説明します。
第5回では「短さは \(\log N\) しか買えず、当てはまりの損は \(N\) に比例する」と見ました。今回はその同じ天秤を、モデルではなく「一致」に対して使っています。一致が説明を要求するのは、それが記述長を大きく減らせるときだけです。
06では、恒等式には何も残らないのか
ここは丁寧に言う必要があります。「恒等式は物理ではない」は、「恒等式は無意味だ」という意味ではありません。
だから正確な言い方はこうです ── 恒等式は「予言」ではなく「検算」。このシリーズが恒等式を見つけるたびに「物理ではない」と書いてきたのは、それを謎として扱うなという意味であって、捨てろという意味ではありません。
① 「驚きのビット数」は、事前範囲をどう取るかで数ビット動きます。 図のツマミがまさにそれで、\(\rho_\Lambda^{1/4}\) と \(m_\nu\) の 4.7 ビットは「35 桁の範囲を仮定した」場合の値です。20 桁なら 3.9 ビット、60 桁なら 5.5 ビット。この手続きは順序をつけるには使えますが、絶対的な数値ではありません ── ベイズ的に言えば、事前分布の選び方の問題です。
② 「一様分布を対数で取る」という仮定を置いています。 スケールの事前分布としては自然な選択（ジェフリーズ事前分布）ですが、唯一の選択ではありません。
③ 03節の表の CMB の値（\(1.6\times10^5\) ビット）は、第17回と同じく「独立な 17 ビットが 9600 個」という素朴な数え方です。 実際のゆらぎは音響振動という構造を持つので、正確な情報量ではありません（第17回②）。桁の比較のための数字と読んでください。
④ 小出の関係式の 15.7 ビットは、\(Q\in[1/3,1]\) を事前範囲としたものです。 三つの正の質量から作れる \(Q\) の数学的な範囲がこれなので、事前範囲の恣意性が小さい ── それがこの一致の「強さ」でもあります。ただし前シリーズ番外編④のとおり、この関係式は極質量でのみ成立し、\(M_Z\) まで走らせるとずれが 205 倍に膨らむという深刻な弱点を抱えています。驚きが大きいことと、正しいことは別です。
⑤ 「入力 \(n\) 個 → 出力 \(m\) 個」という仕分けは、本シリーズによる整理です。 科学哲学には反証可能性・予測力・統一力など多数の基準があり、これはそのうち情報量で書けるものを取り出したものにすぎません。
練習問題（今回の式だけで解けます）
- 恒等式の驚きが 0 ビットになるのはなぜか。
答えを見る
定義から従うので、落ちる先が最初から一点に決まっていたから。「事前に許された範囲」が最初から一点しかないので、\(-\log_2(1)=0\)。驚きようがないのです。 - \(\rho_\Lambda^{1/4}\) と \(m_\nu\) が 22 倍以内である驚きを、35 桁の事前範囲で求めよ。
答えを見る
\(\log_{10}22.3=1.35\) 桁。確率 \(1.35/35=0.0385\)。\(-\log_2 0.0385=\) 4.7 ビット ── コイン 5 回ぶん。途方もなく小さい数どうしの一致に見えても、対数で数えれば大した驚きではありません。 - 小出の関係式だけ驚きが大きいのはなぜか。
答えを見る
\(Q\) の取りうる範囲が \([1/3,1]\) と数学的に決まっているのに、実測が \(2/3\) から \(6.2\times10^{-6}\) しか外れていないから。確率 \(1.85\times10^{-5}\)、15.7 ビット ＝ 3 万分の 1。事前範囲の恣意性が小さいぶん、この一致は「強い」── だから導出が無くても真剣に扱われます。 - 「恒等式は物理ではない」は「恒等式は無意味」と同じか。
答えを見る
違います。恒等式は予言ではないが、整合性の検算です。\(E=T_HS\) が成り立つのはホログラフィーと熱力学が矛盾していないからで、破れたら前提のどれかが間違っていることになります。「物理ではない」は謎として扱うなという意味で、捨てろという意味ではありません。 - （やや難）この測り方のいちばんの弱点は何か。
答えを見る
事前範囲の取り方に依存すること。図のツマミで見たとおり、\(\rho_\Lambda\) と \(m_\nu\) の驚きは 20 桁なら 3.9 ビット、60 桁なら 5.5 ビットと動きます。ベイズ的には事前分布の選択の問題で、順序をつけるには使えるが、絶対的な数値ではありません。逆に、小出や CMB のように事前範囲が数学や観測で決まっている場合は、この弱点が小さくなります。
まとめ 驚きをビットで測ると、三つの層に分かれる
このシリーズが繰り返してきた「恒等式か、偶然か、物理か」という仕分けを、手続きにしました。使ったのは情報理論のサプライザル ── \(-\log_2(\text{落ちた幅}/\text{事前範囲})\)。
測ってみると層がはっきり分かれます。恒等式は 0 ビット（ディラックの大数、ランダウアー限界、\(\alpha+2\beta+\gamma=2\)、そして第18回の \(N/(R/\ell_P)^3\)）。偶然は数ビット ── \(\rho_\Lambda^{1/4}\) と \(m_\nu\) の 22 倍一致は コイン 5 回ぶん（4.7 ビット）、前回の 1.96 fm は 7.4 ビット。途方もなく小さい数どうしの一致に見えても、対数で数えれば大した驚きではないのです。そして本物の問題は \(10^5\) ビット（CMB の一様性）。表で唯一 15.7 ビットあるのが小出の関係式で、だから導出が無くても真剣に扱われてきました。
構造的な仕分けも作りました ── 恒等式は入力 0・出力 0、偶然は入力 2 以上・出力 0、物理は入力 \(n\)・出力 \(m\)（予言）。そしてこれは第5回の記述長の話と同じ天秤です。良い関係式とはデータの記述長を減らすもので、\(\Lambda\)CDM は 6 個のパラメータで \(6.3\times10^6\) 個の多重極を説明します。
最後に一つ、丁寧に。「恒等式は物理ではない」は「無意味」という意味ではありません ── 恒等式は予言ではなく検算で、破れれば前提のどれかが崩れたことを意味します。1937 年のディラックはフリードマン方程式を知らなかったので、あれは当時の知識では本物の謎に見えた。恒等式だと判明すること自体が、謎を一つ減らす進歩です。
この文書は「わかる c·t=一定」シリーズ第19回、物理好きの高校生・大学生向け読み物です。サプライザル \(-\log_2 p\) は情報理論の標準的な量です。本稿の各「驚き」の値（\(\rho_\Lambda^{1/4}\) と \(m_\nu\) が 4.7 ビット、1 ビットの体積 ≈ 核子が 7.4 ビット、小出の関係式が 15.7 ビット、CMB の一様性が \(1.6\times10^5\) ビット）は本稿での計算です（kenshou/calc23.py）。これらの値は事前範囲の取り方に依存します ── \(\rho_\Lambda\) と \(m_\nu\) の 4.7 ビットは 35 桁の対数一様な事前分布（ジェフリーズ事前分布）を仮定した値で、20 桁なら 3.9、60 桁なら 5.5 ビットです。この手続きは順序をつけるには使えますが、絶対的な数値ではありません。 CMB の \(1.6\times10^5\) ビットは第17回と同じく「独立な 17 ビットが 9600 個」という素朴な数え方で、実際のゆらぎは音響振動という構造を持つため正確な情報量ではありません。小出の関係式の 15.7 ビットは \(Q\in[1/3,1]\)（三つの正の質量から作れる数学的な範囲）を事前範囲としたもので、\(Q=0.66666051\) と \(2/3\) のずれ \(6.2\times10^{-6}\) によります ── ただし同関係式は理論的導出を持たず、極質量でのみ成立し \(M_Z\) まで走らせるとずれが 205 倍に拡大するという弱点を抱えています（前シリーズ番外編④）。驚きが大きいことと正しいことは別です。 「入力 \(n\) 個 → 出力 \(m\) 個」という仕分けは本シリーズによる整理であり、科学哲学における反証可能性・予測力・統一力などの基準のうち、情報量で書けるものを取り出したものにすぎません。Dirac (1937) が \(M/m_P=R_H/2\ell_P\) をフリードマン方程式の帰結と知らなかったという点は、時代背景としての指摘です。\(\Lambda\)CDM の 6 パラメータと \(\ell\le2500\) の \(a_{\ell m}\) の個数 \(6.3\times10^6\) は目安です。線形膨張（\(c\cdot t=\)一定、\(R_h=ct\)）は検証途上の少数派モデルです。学術的な標準はインフレーションを含む \(\Lambda\)CDM モデルです。 ── 印刷する場合はブラウザの「印刷」から「PDF に保存」を（印刷版ではスライダーと解答は静止・非表示になります）。