わかる c·t=一定 第 48 回 ／ 第 VI 部・手続きを検査する
「不自然だ」は、事前分布の宣言でした
美しさは、
三つ目の通貨ではなかった
六つの部品に分けると、四つは短さと当てはまりに還元できます。
残ったのは事前分布の選択と、測れないもの。
第5回の天秤は、短さ（パラメータの値段）と当てはまり（\(\Delta\chi^2\)）の二つを測りました。ところが物理学者はしばしば三つ目のことを言います ── 「美しい」。今回はそれを正面から扱います：美しさは三つ目の通貨なのか、それとも前の二つの言い換えなのか。 そして測れなかったものが何かも、正直に書きます。
01「美しさ」を、部品に分解する
| 部品 | 中身 | どの通貨か |
|---|---|---|
| 対称性 | 独立なパラメータを減らす | 短さに還元できる |
| 統一 | 入力の個数を減らす | 短さに還元できる |
| 剛性（他に選びようがない） | 自由な選択を減らす | 短さに還元できる |
| 深さ（目的外まで当たる） | 合わせていないデータに当たる | 当てはまりに還元できる |
| 自然さ | 事前分布についての主張 | 還元できない |
| 感覚的な快 | 式を見たときの手応え | 測れない |
01節の結論
六つのうち四つは既存の二通貨に還元できます。
残るのは 自然さ（03節で測ります）と 感覚的な快（06節で扱います）。
02対称性は、いくら買うのか ── CKM 行列で数える
圧縮 2.25 倍、第5回の値段では 26.8 ビットの節約
対称性は、短さで測れます。 ここに謎はありません。
03核心 ── 「自然さ」は、事前分布についての主張だった
| 量 | 線形な事前なら | 対数一様な事前なら | 差 |
|---|---|---|---|
| \(v/M_{\rm Planck}\)（階層性問題） | \(55.5\) bit | \(6.3\) bit | \(49.1\) |
| \((v/M_{\rm Planck})^2\)（ヒッグスの微調整） | \(110.9\) bit | \(6.3\) bit | \(104.6\) |
| \(\rho_\Lambda/\rho_{\rm Planck}\)（第32回） | \(408.4\) bit | \(8.2\) bit | \(400.2\) |
今回いちばん言いたいこと
同じ数が、55 ビット驚きにも 6 ビット驚きにもなります。
「不自然だ」という言明は、事前分布を線形に取ると宣言しているのと同じです ──
第19回①で「事前範囲の取り方に依存する」と書いた、その場所そのもの。
── したがって：自然さは第三の通貨ではなく、事前分布の選択です。
図：同じ小さな数を、二つの事前分布で測ったときの驚き。線形な事前では桁がそのままビットになり、対数一様な事前では桁数の対数にしかなりません。ツマミで数の小ささを動かしてください ── 「不自然さ」は、どちらの物差しを当てるかで決まります
04ただし、線形な事前が正当な場合もある
\(\theta\) は角度なので、事前分布が \([0,2\pi)\) の一様分布であることに理由がある
$$-\log_2\frac{10^{-10}}{2\pi}=\mathbf{35.9\ \text{ビット}}$$04節の結論
これは本物の微調整です ── 対数一様に逃げられません。
── 「自然さ」を言うときは、事前分布に理由があるかどうかを見ればよい。
角度には理由がある。質量の比には、いまのところ無い。
05有名な「美しい理論」を、分解してみる
| 理論 | 美しさの中身 | 通貨 | 測れるか |
|---|---|---|---|
| 一般相対論 | 剛性（仮定を置くとほぼ一意） | 短さ | 測れる |
| ディラック方程式 | 陽電子を予言した（目的外） | 当てはまり | 測れる |
| 標準模型 | 32 個のパラメータ | 短くない | 美しいとは呼ばれない |
| 超対称性 | 階層性問題を解く（自然さ） | 事前分布 | 事前次第 |
| 弦理論 | 一意性の主張 → ランドスケープ | 短さの主張が崩れた | 未決着 |
「美しい」と呼ばれる理由は、たいてい短さか当てはまりに分解できます。 分解できないときは、事前分布を疑うとよい。
06測れなかったもの
06節の結論
正直に書いておきます：ここは測れません。
── 測れないことは、無いことではありません。ただ、本シリーズの通貨では扱えない。
そして「測れないものを判定に使わない」のが、第3回以来の作法でした。
07このシリーズ自身を、この物差しに当てる
| 通貨 | \(c\cdot t=\)一定 では | 判定 |
|---|---|---|
| 短さ | パラメータが 1 個減る（第25回） | 買っている |
| 当てはまり | \(q\)、\(w\) が桁で外れる（第46回） | 大きく払っている |
| 自然さ | 不自然な数を含まない | 事前分布の話 ── 効かない |
| 感覚的な快 | 「一定」という形の心地よさ | 測れない |
短さで買い、当てはまりで大きく払っている ── 判定は変わりません。そして「形が心地よい」ことは、判定に入れません ── それが手続きでした。
① 01節の「六つの部品」は、本シリーズの分解です。 美学の議論には長い歴史があり（Dirac、Weinberg、最近では Hossenfelder の批判的な整理まで）、「美しさ」の分け方に定説はありません ── 本稿の六分割はこの道具で扱えるかどうかを基準にした、便宜的な分け方です。
② 03節の「対数一様なら 6.3 ビット」の 80 桁という幅は、恣意的です。 どこからどこまでを事前範囲に取るかで値が動きます ── 要点は「線形か対数一様かで 50 ビット動く」という構造であって、6.3 という数字ではありません（第19回①と同じ注意）。
③ 04節の「角度だから線形な事前が正当」も、絶対ではありません。 高エネルギーの理論が \(\theta\) をどう生成するかによっては、一様でない事前がありうるという議論もあります（アクシオン模型では \(\theta\) は動的に緩和します）── 「線形な事前に理由があると言いやすい」程度に読んでください。
④ 05節の理論の評価は、要約です。 「一般相対論はほぼ一意」はロブロックの定理などの意味での言い方で、仮定の置き方に依存します。「弦理論の一意性の主張が崩れた」もランドスケープをどう評価するかで見方が分かれる論点です ── 本稿はどの理論も支持・否定しません。
⑤ 06節の「測れない」は、本シリーズの道具についての言明です。 他の枠組みで美的判断が扱えないという主張ではありません ── 認知科学や科学哲学には別の扱い方があります。ここで言えるのは「記述長・当てはまり・事前分布のどれでもない」ということだけです。
練習問題
- 「美しさ」の六つの部品のうち、既存の二通貨に還元できるのはいくつか。
答えを見る
四つ ── 対称性・統一・剛性は短さに、深さ（目的外まで当たる）は当てはまりに還元できます。残るのは自然さ（事前分布の話）と感覚的な快（測れない）です。 - CKM 行列で、対称性はいくら買っているか。
答えを見る
3×3 ユニタリ行列の 9 個から、位相の付け替えで 5 個が落ちて 4 個（3 角 ＋ 1 位相）。第5回の値段では 26.8 ビットの節約です ── 対称性は短さで測れ、ここに謎はありません。 - \(\rho_\Lambda/\rho_{\rm Planck}=1.13\times10^{-123}\) の驚きは何ビットか。
答えを見る
事前分布によります ── 線形なら 408.4 ビット（第32回の数）、対数一様（300 桁）なら 8.2 ビット。差は 400 ビット。「不自然だ」は、線形な事前を宣言しているのと同じです。 - 強い CP 問題が④の二つと違うのはなぜか。
答えを見る
\(\theta\) が角度だからです ── 事前分布が \([0,2\pi)\) の一様分布であることに理由があり、対数一様に逃げられません。だから 35.9 ビットは本物の微調整です。「自然さ」を言うときは、事前分布に理由があるかを見ればよい。 - （やや難）このシリーズの道具で測れなかったものは何か。
答えを見る
感覚的な快です ── 記述長でも当てはまりでも事前分布でも測れません。測れないことは無いことではありませんが、本シリーズの通貨では扱えません ── そして「測れないものを判定に使わない」のが第3回以来の作法でした。
まとめ 美しさは、三つ目の通貨ではなかった
「美しさ」を六つの部品に分けると、四つは既存の二通貨に還元できました ── 対称性・統一・剛性は短さへ、深さは当てはまりへ。対称性がいくら買うかは実際に数えられます：CKM 行列の 9 個は位相の付け替えで 4 個になり、26.8 ビットの節約です。
残るのが自然さでした。そしてこれは第三の通貨ではなく、事前分布の選択だと分かりました ── \(v/M_P=2\times10^{-17}\) は線形な事前なら 55.5 ビット驚きですが、対数一様なら 6.3 ビット。\(\rho_\Lambda/\rho_{\rm Planck}\) にいたっては 408.4 ビットと 8.2 ビット、差は 400 ビットです。「不自然だ」という言明は、事前分布を線形に取ると宣言しているのと同じ ── 第19回①で「事前範囲の取り方に依存する」と書いた、まさにその場所でした。
ただし線形な事前が正当な場合もあります ── 強い CP 問題の \(\theta_{\rm QCD}<10^{-10}\) は、\(\theta\) が角度なので \([0,2\pi)\) の一様分布に理由があり、対数一様に逃げられません。35.9 ビット、本物の微調整です。「自然さ」を言うときは、事前分布に理由があるかどうかを見ればよい ── 角度には理由があり、質量の比にはいまのところありません。
そして測れなかったものがあります ── 感覚的な快。記述長でも当てはまりでも事前分布でも測れません。正直に書いておきます：ここは測れません。 測れないことは無いことではありませんが、本シリーズの通貨では扱えない ── そして「測れないものを判定に使わない」のが、第3回以来の作法でした。
最後に自分に当てました。\(c\cdot t=\)一定 は短さで買い、当てはまりで大きく払っている ── 判定は変わりません。「一定」という形の心地よさは、判定に入れません。
この文書は「わかる c·t=一定」シリーズ第48回（第 VI 部の 3 回目）、物理好きの高校生・大学生向け読み物です。MDL、自然さと事前分布の関係、強い CP 問題はいずれも標準的な内容で、本稿に新しい主張はありません ── 数値は kenshou/calc52.py で計算しています。01節の「六つの部品」は本シリーズの分解で、美学の議論には長い歴史があり（Dirac、Weinberg、最近では Hossenfelder の批判的な整理まで）「美しさ」の分け方に定説はありません ── 本稿の六分割はこの道具で扱えるかどうかを基準にした便宜的な分け方です。03節の「対数一様なら 6.3 ビット」の 80 桁という幅は恣意的で、事前範囲の取り方で値が動きます ── 要点は「線形か対数一様かで 50 ビット動く」という構造であって数字ではありません。04節の「角度だから線形な事前が正当」も絶対ではなく、高エネルギーの理論が \(\theta\) をどう生成するかによっては一様でない事前もありえます（アクシオン模型では \(\theta\) は動的に緩和します）── 「線形な事前に理由があると言いやすい」程度に読んでください。05節の理論の評価は要約で、「一般相対論はほぼ一意」はロブロックの定理などの意味での言い方、「弦理論の一意性の主張が崩れた」もランドスケープの評価で見方が分かれる論点です ── 本稿はどの理論も支持・否定しません。06節の「測れない」は本シリーズの道具についての言明で、他の枠組みで美的判断が扱えないという主張ではありません。 ── 印刷する場合はブラウザの「印刷」から「PDF に保存」を（印刷版ではスライダーと解答は静止・非表示になります）。