わかる c·t=一定 番外編 ④ ／ 本編完結後の深掘り
4.1 ビットの予言が、15.7 ビットの発見に勝つ
理論が先とは、
測度を先に固定すること
137 に近いこと、定数どうしの縮退、そして「関係を探す」ことの値段。
三つとも、同じ一つの問いに潰れました。
「\(1/\alpha\) がちょうど 137 だったら何がずれるのか」── そして「こっちの無次元量を変えるのは、あっちを変えるのと同じ、ということはないか」。この二つは同じ一つの問いでした ── 定数のあいだに、隠れた構造はあるか。 掘ったら、4.1 ビットの予言が 15.7 ビットの発見に勝つところまで行きました。
01まず 137 ── 排除は巨大、物理的な差はほぼゼロ
ところが \(\alpha\) としては 0.026 パーセントしか違わない
| 何が | ずれ | 何 \(\sigma\) |
|---|---|---|
| 電子の g−2 | \(3.05\times10^{-7}\) | \(2.3\times10^{6}\) |
| 水素 1S-2S | 1.3 THz | \(1.3\times10^{11}\) |
| 中性子寿命 | \(+1.53\) s | \(3.1\) |
| 元素合成の \(Y_p\) | \(7.4\times10^{-5}\) | \(0.025\)（見えない） |
| ホイル状態 | ── | 破綻には 4 パーセント要る（1/152） |
世界の側で効くのは中性子寿命だけ（陽子・中性子質量差の電磁寄与 \(-1.04\) MeV が \(0.27\) keV 動き、\(\tau\propto Q^{-5}\) で 1.5 秒）。それも 3\(\sigma\)。排除が巨大なのは測定が精密だからであって、物理が微妙に釣り合っているからではありません。
02では、なぜ 137 が気になるのか ── 整数だから
01–02節の結論
エディントンの誤りは、3.8 ビットの偶然を 0 ビットの恒等式として扱ったことでした。
そしてもっと効く反論があります ── \(\alpha\) は走る（第37回、\(M_Z\) で 128）。
どのスケールで整数なのかを言わないと、その主張は文になっていません。
── エディントンの時代には走りが知られていなかったので、当時は文になっていて、いまは文になっていない。
03もう一つの問い ── 縮退は三種類ある
| 型 | 中身 | 正体 | 見つけたら何が分かるか |
|---|---|---|---|
| A | 原理的に区別できない | 記法の冗長性 | 記法についての発見 |
| B | いまの装置では分けられない | 道具の限界 | 道具についての発見 |
| C | 独立だと思っていたら関係があった | 自然の構造 | 物理の発見 |
04型 A ── 質問そのものが、実在する
\(\theta\) を動かして、同時にクォーク場の位相を回せば ── 何も起きない
CKM も同じです。3×3 ユニタリ行列の 9 個のうち位相の付け替えで 5 方向が消える ── その 5 方向は原理的に観測にかかりません（\(26.8\) ビットぶんが記法でした）。
04節の結論
ただし第47回の 19 個は、これらを消したあとの数です。
「完全な縮退はもう残っていない」が答えで、それは構成上そうしただけ。
── 型 A を見つけることは、自然についてではなく、自分の記法について知ることでした。
── 19 個は完全に独立ではありません。湯川がひとつ消えれば、\(\bar\theta\) も一緒に消える。「定数の個数」そのものが、定数の値に依存しています。
05型 B ── そして、幻だったもの
06核心 ── 型 C を「探す」ことには、値段がつく
型 C（隠れた関係）が見つかれば物理の発見です。では総当たりで探してもいいのか。直感的には「それは数秘術だ」と言いたくなりますが ── では、どこが違うのか。
| 読み方 | 探索空間 \(M\) | 閾値 | 小出（15.7 ビット）は |
|---|---|---|---|
| 狭い（小出の形だけ） | \(126\) | \(7.0\) bit | 通る |
| 広い（12 質量の部分集合など） | \(1.4\times10^{8}\) | \(27.1\) bit | 11.4 ビット足りない |
今回いちばん言いたいこと
b–τ 統一は SU(5) が先に予言したので、候補は 1 個 ── 閾値はゼロビット。
素の驚きでは小出（15.7）が b–τ（4.1）より 11.6 ビット上なのに、
探索の値段を引くと逆転します。
── 「理論が先か、数字が先か」の差が、ちょうど \(\log_2M\) ビットとして出る。
これは社会的な慣習ではなく、引き算の結果でした。
図：素の驚きから探索の値段を引くと、順位が入れ替わります。ツマミで「どれだけ広く探したか」を動かしてください ── \(M\) を上げると小出だけが沈み、先に予言された b–τ は動きません
07そして、これは自然さと同じ病気だった
| 場面 | 必要な「空間」 | その後 |
|---|---|---|
| 第19回：驚き | 量の事前範囲 | 第19回①で依存性を明記 |
| 第48回：自然さ | パラメータの事前分布 | 番外編③で定理になった |
| 今回：数値の一致 | 探索空間 | 申告しだいで判定が反転 |
07節の結論 ── 六度目の圧縮
三つとも同じ問いでした：「正準な測度はあるか」。
確率を計算するには測度が要り、測度が無ければ確率は決まりません。
── 探索空間は上限を宣言すれば有限。先に宣言することが、well-posed にする唯一の方法。
「理論が先」とは、社会的な作法ではなく、測度を先に固定することでした。
08おまけ ── 第36回の「偶然の帯」に、閾値がついた
第36回は「帯（4〜7.5 ビット）は選択効果」と観察しました。いま閾値が計算できます（7〜27 ビット）── 帯は閾値のはるか下、だから一つも意味を持たない。小出だけが帯を抜けましたが、広い読みには 11.4 ビット足りません。
08節の結論
観察が、引き算になりました。
① いちばん弱いのは 06節の探索空間の見積もりです。 狭い読みと広い読みで 20 ビット違い、どちらが正しいかを決める方法はありません ── それ自体が 07節の主張そのものです。
② 小出の 15.7 ビットは第19回・第36回から引き継いだ値で、事前範囲の取り方に依存します。b–τ の 4.1 ビットも同じです。
③ b–τ の「探索空間ゼロ」は理想化です。 SU(5) 以外にも大統一の候補はあり、どの模型を試したかを数えれば、こちらにも数ビットは付きます ── ゼロではなく「小さい」が正しい。
④ 01節の中性子寿命の見積もりは粗いものです。 \(n\)–\(p\) 質量差への電磁的寄与（\(\approx-1.04\) MeV）は格子計算で幅があり、\(\tau\propto Q^{-5}\) も位相空間の近似です ── 「3\(\sigma\) 級」以上の精度で読まないでください。
⑤ 07節の統一は本シリーズの読み方であって、統計学の標準的な定式化ではありません ── 多重比較補正、ベイズ因子など、既存のより精緻な枠組みがあります。
練習問題
- \(1/\alpha=137\) ちょうどなら、世界で何がずれるか。
答えを見る
中性子寿命だけ（\(+1.53\) s、3.1\(\sigma\)）。実験室では g−2 が \(2.3\times10^6\sigma\)、1S-2S が \(1.3\times10^{11}\sigma\) で見えますが、元素合成は 0.025\(\sigma\) で見えず、ホイル状態には 1/152 で届きません。排除が巨大なのは測定が精密だからです。 - エディントンの誤りは何だったか。
答えを見る
3.8 ビットの偶然を、0 ビットの恒等式として扱ったことです。さらにいまは \(\alpha\) が走るので（\(M_Z\) で 128）、どのスケールで整数かを言わないと文になっていません ── 当時は文になっていて、いまはなっていない。 - 縮退の三つの型と、それぞれ何が分かるか。
答えを見る
A（完全）＝記法についての発見、B（観測上）＝道具についての発見、C（隠れた関係）＝物理の発見。見分け方は「観測で破れうるか」 ── A は破れず、C は破れます（b–τ が外れれば SU(5) が死ぬ）。 - なぜ 4.1 ビットの予言が 15.7 ビットの発見に勝つのか。
答えを見る
探索の値段 \(\log_2M\) を引くからです。b–τ は先に予言されたので候補 1 個＝閾値ゼロ。小出は探して見つけたので閾値 7〜27 ビット ── 広い読みでは 11.4 ビット足りません。「理論が先」の差が、ちょうど \(\log_2M\) ビットとして出ます。 - （やや難）驚き・自然さ・数値の一致に共通するものは。
答えを見る
どれも「空間」を必要とすること ── 事前範囲／事前分布／探索空間。三つとも「正準な測度はあるか」という一つの問いでした（六度目の圧縮）。そして「理論が先」とは、測度を先に固定することです。
まとめ 理論が先とは、測度を先に固定することだった
\(1/\alpha=137\) ちょうどは \(1.7\times10^6\sigma\) で排除されますが、物理的な差は 0.026 パーセントしかありません ── 世界の側で効くのは中性子寿命の 3\(\sigma\) だけ。気になる理由は整数だからで、その「近さ」の驚きは 3.8 ビット、偶然の帯の下端でした。エディントンの誤りは、3.8 ビットの偶然を 0 ビットの恒等式として扱ったこと。しかも \(\alpha\) は走るので、いまではその主張は文にすらなっていません。
「こっちを変えるのはあっちを変えるのと同じ」は三種類ありました。型 A（完全な縮退）は実在します ── \(\bar\theta=\theta+\arg\det M_q\)、CKM の 5 方向。ただし 19 個はそれらを消したあとの数なので、型 A を見つけることは自分の記法について知ることでした。型 B（観測上）は番外編①の \(m_q\) 方向として残っていますが、原子物理の \(\alpha\)–\(m_e\) は次元付きで書いたせいの幻でした。
そして型 C を探すことには値段がつきます。\(M\) 個の候補を試せば閾値は \(\log_2M\) ── 小出の 15.7 ビットは狭い読み（7.0）なら通り、広い読み（27.1）なら 11.4 ビット足りない。一方 b–τ 統一は先に予言されたので候補 1 個、閾値ゼロ。4.1 ビットの予言が、15.7 ビットの発見に勝ちます。
最後に ── 驚き（事前範囲）、自然さ（事前分布）、数値の一致（探索空間）は、三つとも「正準な測度はあるか」という一つの問いでした（六度目の圧縮）。「理論が先」とは、社会的な作法ではなく、測度を先に固定することだったのです。そして第36回の「偶然の帯」にも閾値がつきました ── 観察が、引き算になりました。
この文書は「わかる c·t=一定」シリーズの番外編④（本編全50話の完結後に書いた深掘り）、物理好きの高校生・大学生向け読み物です。数値は kenshou/calc60.py、calc61.py、calc62.py で計算しています。エディントンの数秘術、CKM の位相の付け替え、\(\bar\theta\) の組み合わせ、b–τ 統一、look-elsewhere 効果はいずれも標準的な内容です。いちばん弱いのは 06節の探索空間の見積もり ── 狭い読みと広い読みで 20 ビット違い、どちらが正しいかを決める方法はありません（それ自体が 07節の主張そのもの）。小出の 15.7 ビットと b–τ の 4.1 ビットは事前範囲の取り方に依存し、b–τ の「探索空間ゼロ」も理想化です（SU(5) 以外の大統一候補を数えれば数ビット付きます）。01節の中性子寿命の見積もりは粗く、\(n\)–\(p\) 質量差への電磁的寄与は格子計算で幅があり \(\tau\propto Q^{-5}\) も位相空間の近似です ── 「3\(\sigma\) 級」以上の精度で読まないでください。07節の統一は本シリーズの読み方であって統計学の標準的な定式化ではなく、多重比較補正やベイズ因子など既存のより精緻な枠組みがあります。 ── 印刷する場合はブラウザの「印刷」から「PDF に保存」を（印刷版ではスライダーと解答は静止・非表示になります）。