わかる c·t=一定 第 36 回 / 第 IV 部・総括

済ませていなかったのは、一つだけでした

手術台の上に、
並べる 九つの理論に同じ手術を当てて、分かれ目を一覧にします。
そして「偶然の帯」という、並べてはじめて見えたものがありました。

必要な道具:第 IV 部の九回、第19回の目盛り、第5回の天秤4〜7 ビット ── 面白いが決定的でない場所

第 IV 部の九つを、一枚の手術台に並べます ── インフレーション、VSL、MOND、定数の測定、CCC、コスモン、ミルン、共形重力、漸近安全性。すべてに同じ手術を当てて、分かれ目がどこにあったかを一覧にします。 そして、この部で分かったいちばん大事なことを書きます ── 良い理論は、第3回の手術を最初から済ませてある。 済ませていなかったのは、一つだけでした。

01九つを、一枚の表に

理論(A) 記法(B) 観測にかかる主張手術
27インフレーション因果的に繋げる\(n_s\approx1-2/N\)
28VSL単位の取り替え\(\alpha\) が動く
29MOND\(a_0\) を置く力学が \(g/a_0\) で決まる
30定数の測定(記法ではない)\(\alpha\) の不変性(26 ビット)──
31CCC共形の貼り合わせ前の宇宙が続く
32コスモン膨張しない絵\(w(z)\ne-1\)
33ミルン座標変換(中身が空)──
34共形重力ゲージ対称性回転曲線、\(\alpha_g\)切るものが無い
35漸近安全性\(G\) の無次元化\(m_H\)、予言の個数

01節の結論

(A) と (B) を区別できていなかったのは、VSL ただ一つ。
── 良い理論は、第3回の手術を最初から済ませてあります。

02分かれ目は、名前ではなかった

「名前が (A) を指しているか」ではないコスモンの論文題は「膨張しない宇宙」で (A) 側。VSL も (A) 側。そこまでは同じ
「理論の側が (A) と (B) を区別できているか」だったヴェッテリヒは二つの絵が Weyl 変換で等価だと明示し、ペンローズは貼り合わせで物差しが無いと明言した
VSL だけが区別しなかった結果、「光速が変わる」が中身(\(\alpha\) が変わる)を隠し、26 ビットの制約が正面から見えなくなった

03予言は、例外なく無次元量に置かれていた

理論予言の置き場所次元
インフレーション\(n_s\)無次元
VSL\(\Delta\alpha/\alpha\)無次元
MOND\(g/a_0\)無次元
CCCホーキング点の統計無次元
コスモン\(w\)無次元
共形重力回転曲線の形無次元
漸近安全性\(m_H/v\)無次元

03節の結論

例外はありませんでした。 第3回の判定手続きの、いちばん強い確認です。
── 次元付きの量に主張を置いた理論は、そもそも判定の土俵に乗りません。

◇ ◇ ◇

04核心 ── 偶然の帯

もう一つ、並べてはじめて見えたことがあります。第19回で作った「驚きのビット数」で、この部に出てきた一致を全部並べます。

一致驚き分類
\(\rho_\Lambda^{1/4}\) と \(m_\nu\)(前・番外編⑤)4.7 bit偶然
インフレーションの \(N\) の一致(第27回)4.8 bit説明あり→物理
漸近安全性のヒッグス予言(第35回)5.3 bit説明あり→物理
共形重力の \(\gamma_0\simeq1/25R_H\)(第34回)5.4 bit偶然
MOND の \(a_0\simeq cH_0/2\pi\)(第29回)5.9 bit偶然
1 ビット ↔ 1.96 fm(第18回)7.4 bit偶然
小出の関係式(前・番外編④)15.7 bit経験式
CMB の一様性(第17回)\(1.6\times10^5\) bit本物の問題

今回いちばん言いたいこと

4〜7.5 ビットの帯に、6 件が集まっています(平均 5.6、幅 2.7 ビット)。
まったく独立な理論から出てきた一致が、なぜ同じ狭い帯に落ちるのか。

図:このシリーズが測ってきた「驚き」を、一本の軸に並べたもの。4〜7.5 ビットの帯に集中しています。ツマミで「気に留める閾値」を動かすと、何件が残るかが読めます ── 帯の正体は、たぶん選択効果です

4.0 bit
偶然と判定したもの 説明があるもの(物理) 閾値より下(気に留められない)
4 ビット未満(1/16 より緩い)誰も気に留めない ── 記録にすら残らない
4〜7 ビット論文にはなるが、合意にはならない ── 「面白いが決定的でない」が住む場所
15 ビット超(小出の関係式)有名になり、説明を要求される ── 40 年たっても導出が無いことが問題になる

04節の結論

帯の正体は、たぶん選択効果です ── 緩すぎれば誰も見ず、きつすぎれば説明されてしまう。
── 第19回で作った目盛りが、物理学の営みそのものを測っていたことになります。

05帳簿の総まとめ

理論パラメータ買うもの差し引き [bit]
インフレーション(第27回)\(+2\)\(n_s\) ほか多数\(-6.5\)(過小評価)
c·t=一定(第25回)\(-1\)地平線問題が消える\(-148.3\)
MOND(回転曲線のみ、第29回)\(+4\)バリオンから回転曲線\(+1971\)
共形重力(回転曲線のみ、第34回)\(+3\)同上 + \(\Lambda\) 項が禁じられる\(+1977\)
コスモン(第32回)\(+2\)\(\rho_\Lambda\) の大きさ(最大 408)大きく黒字
漸近安全性(第35回)\(+3\)\(m_H\)、紫外の有限性評価未確定

単位は第5回の天秤(パラメータ 1 個 = 5.37 ビット)です。ただしデータセットが違うので、直接比較はできません ── 第29回で見たとおり、どのデータセットで測るかで勝敗が変わります。この表は「同じ通貨で書けること」を示すものであって、順位表ではありません。

06種明かし ── 四つとも、一つの手続きの帰結だった

1
良い理論は、第3回の手術を最初から済ませてある済ませていなかったのは VSL だけ(01・02節)
2
予言は例外なく無次元量に置かれる次元付きに置いた主張は、判定の土俵に乗らない(03節)
3
面白い一致は 4〜7 ビットの帯に集まるそれは選択効果 ── 緩すぎれば見られず、きつすぎれば説明される(04節)
4
勝敗はデータセットに依存する「暗黒物質か MOND か」は一つの問いではなかった(05節、第29回)

06節の結論

四つとも、第3回で作った一つの手続きの帰結でした。
「次元付きは帳簿、無次元が物理。比較相手を言わなければ、まだ文になっていない」 ──
それだけで、九つの理論の分かれ目が全部説明できます。

第 I〜IV 部を、一行ずつ 第 I 部:\(c\cdot t=\)一定 は記法であって、モデルではない。
第 II 部:どこに入れても、動くのは一つだけ。触れるのは大きさだけ。
第 III 部:情報として測ると、同じ数を八つの言語で言い直していた。
第 IV 部:同じ手術を他の理論に当てると、良い理論は最初から済ませてあった
正直な線 ── 第 IV 部全体について

① 「手術が済んでいるか」の判定は、本シリーズの読み方です。 各理論の提唱者がどこまで意識していたかは、論文の書き方から推し量ったもので、本人の意図を確かめたわけではありません。VSL についても、名前が中身を隠したという指摘は Ellis & Uzan (2005) の整理に基づくものであって、VSL の研究者がその区別を理解していなかったという意味ではありません。

② 04節の「偶然の帯」は、8 件という小さな標本に基づく観察です。 しかもこのシリーズが取り上げた一致だけを集めたもので、選び方そのものにバイアスがあります ── 「選択効果だ」という説明自体が、選択効果を受けた標本から出ています。定量的な主張ではなく、目に付いたパターンの記録として読んでください。

③ 各回の驚きのビット数は、事前範囲の取り方に依存します(第19回①)。4.7〜7.4 という値は数ビット動きうるので、「帯」の幅もそのぶん曖昧です。

④ 05節の帳簿は、データセットが揃っていません。 第25回は超新星、第29回・第34回は銀河の回転曲線、第27回は CMB ── 同じ通貨で書けることを示すための表であって、順位表ではありません。パラメータ数の見積もりもそれぞれ粗いものです。

⑤ 本稿は第 IV 部で扱った理論のどれも支持・否定しません。 インフレーションを除いてすべて少数派の仮説であり、学術的な標準はインフレーションを含む \(\Lambda\)CDM モデルと、修正のない一般相対論です。

練習問題(第 IV 部の総まとめ)

  1. 九つの理論のうち、手術が済んでいなかったのはどれか。
    答えを見る
    VSL(第28回)ただ一つ。(B)「\(\alpha\) が動く」を主張しながら (A)「単位の取り替え」の名前を残したので、\(\alpha\) の 26 ビットの制約が正面から見えなくなりました
  2. 分かれ目は「名前が (A) を指しているか」だったか。
    答えを見る
    違います。コスモンの論文題「膨張しない宇宙」も VSL も、名前は (A) 側です。分かれ目は「理論の側が (A) と (B) を区別できているか」でした ── ヴェッテリヒは二つの絵が Weyl 変換で等価だと明示しています。
  3. 七つの理論の予言に共通する性質は何か。
    答えを見る
    例外なく無次元量に置かれていること ── \(n_s\)、\(\Delta\alpha/\alpha\)、\(g/a_0\)、\(w\)、\(m_H/v\) など。第3回の判定手続きのいちばん強い確認で、次元付きに置いた主張は判定の土俵に乗りません
  4. 「偶然の帯」とは何か。その説明は。
    答えを見る
    このシリーズが扱った一致のうち 6 件が 4〜7.5 ビットに集まっていること(平均 5.6)。説明はたぶん選択効果 ── 4 ビット未満は誰も気に留めず、15 ビット超は有名になって説明を要求される。4〜7 ビットは「論文にはなるが合意にはならない」場所です。ただし②のとおり、標本が小さくバイアスもあります。
  5. (やや難)第 IV 部の四つの発見は、何から出てきたか。
    答えを見る
    第3回で作った一つの手続きです ── 「次元付きは帳簿、無次元が物理。比較相手を言わなければ、まだ文になっていない」。①手術が済んでいるか、②予言がどこに置かれるか、③一致の驚きをどう測るか、④勝敗がデータセットに依存すること ── 四つとも、この一つの手続きの帰結でした

まとめ 良い理論は、手術を済ませてある

第 IV 部の九つを一枚の表に並べました。(A) 記法と (B) 観測にかかる主張を区別できていなかったのは、VSL ただ一つです。そして分かれ目は「名前が (A) を指しているか」ではありませんでした ── コスモンの論文題も VSL も (A) 側で、そこまでは同じ。分かれ目は「理論の側が区別できているか」でした。

予言の置き場所も並べました ── \(n_s\)、\(\Delta\alpha/\alpha\)、\(g/a_0\)、ホーキング点の統計、\(w\)、回転曲線の形、\(m_H/v\)。例外なく無次元量です。第3回の判定手続きの、いちばん強い確認でした ── 次元付きに主張を置いた理論は、そもそも判定の土俵に乗りません

並べてはじめて見えたこともありました。第19回の「驚きのビット数」で一致を全部並べると、4〜7.5 ビットの帯に 6 件が集まっています(平均 5.6)。まったく独立な理論から出てきた一致が、同じ狭い帯に落ちる ── 正体はたぶん選択効果です。4 ビット未満は誰も気に留めず、15 ビット超(小出の関係式)は有名になって説明を要求される。4〜7 ビットは「論文にはなるが、合意にはならない」場所第19回で作った目盛りが、物理学の営みそのものを測っていたことになります。

そして種明かし ── ①手術が済んでいるか、②予言がどこに置かれるか、③一致がどの帯に落ちるか、④勝敗がデータセットに依存すること。四つとも、第3回で作った一つの手続きの帰結でした「次元付きは帳簿、無次元が物理。比較相手を言わなければ、まだ文になっていない」 ── それだけで、九つの理論の分かれ目が全部説明できます。

この文書は「わかる c·t=一定」シリーズ第36回(第 IV 部・総括)、物理好きの高校生・大学生向け読み物です。本回は第27〜35回の結果をまとめたもので、新しい計算は 04節の集計のみです(kenshou/calc40.py)── 各回の数値と出典は、それぞれの回の巻末を参照してください。「手術が済んでいるか」の判定は本シリーズの読み方であり、各理論の提唱者がどこまで意識していたかは論文の書き方から推し量ったもので、本人の意図を確かめたものではありません ── VSL について「名前が中身を隠した」という指摘は Ellis & Uzan (2005) の整理に基づくもので、VSL の研究者がその区別を理解していなかったという意味ではありません。04節の「偶然の帯」は 8 件という小さな標本に基づく観察であり、しかもこのシリーズが取り上げた一致だけを集めたものです ── 「選択効果だ」という説明自体が選択効果を受けた標本から出ており、定量的な主張ではなく、目に付いたパターンの記録として読んでください。各回の驚きのビット数は事前範囲の取り方に依存します(第19回①)。05節の帳簿はデータセットが揃っておらず(第25回は超新星、第29回・第34回は銀河の回転曲線、第27回は CMB)、同じ通貨で書けることを示すための表であって順位表ではありません本稿は第 IV 部で扱った理論のどれも支持・否定しません ── インフレーションを除いてすべて少数派の仮説であり、学術的な標準はインフレーションを含む \(\Lambda\)CDM モデルと、修正のない一般相対論です。 ── 印刷する場合はブラウザの「印刷」から「PDF に保存」を(印刷版ではスライダーと解答は静止・非表示になります)。

印刷 / PDF 化:⌘+P(Windows は Ctrl+P)。画面ではスライダーで閾値を動かし、帯の下が空いている様子が見えます。「答えを見る」で解答が開きます。