考える波 第 53 回 ／ 第 XVIII 部・誤差棒をつける
第 51・52 回の壁は、同じ壁だったのか
なぜ「測れる範囲」は
いつも対数で効くのか
シリーズ中に対数が 10 か所出てきました ── 桁数、\(e\) 倍の回数、\(q^*\)、情報量、固有距離。
★ 根は一つでした ── \(f(xy)=f(x)+f(y)\)。連続な解は \(c\ln x\) しかありません（数値でも確認）。
★★ そして対になる事実 ── 「範囲」は \(\log N\)、「精度」は \(N^{-1/2}\)。データを 100 万倍 にすると、精度は 1000 倍 よくなるのに、範囲は 3 倍 にしかなりません。
第 51 回で桁数、第 52 回で\(q^*\) ── どちらも上限が「データの対数」でした。
★ 偶然なのか、同じ根から来ているのか。この回はそれを調べます。
01シリーズ中の「対数」を並べる
| 出た所 | 量 | 中身 |
|---|---|---|
| 第 5 回 | 宇宙年齢との比 | \(\ln(T_{\rm universe}/T_{\rm signal})\) |
| 第 20 回 | \(c\cdot t=\)一定 の座標 | 位相が \(\ln t\) に比例 |
| 第 21 回 | 情報量 | \(\log_2(\text{状態の数})\) |
| 第 22 回 | ウェーブレット平面 | \(\ln\omega\) の軸で等分解能 |
| 第 39 回 | AdS の固有距離 | \(|\ln(z_2/z_1)|\) |
| 第 45 回 | リンドラー時間 | \(at=e^{a\eta}\) |
| 第 46 回 | 測定帯域を出るまで | \(e\) 倍 74.5 回 |
| 第 47 回 | 地平線問題 | \(e\) 倍 63.6 回 |
| ★ 第 51 回 | 冪則の桁数 | \(\log_{10}(f_{\rm hi}/f_{\rm lo})\) |
| ★ 第 52 回 | 到達できる \(q^*\) | \(\log_2(\text{箱の数})\) に比例 |
★ 10 か所。偶然にしては多すぎます。
02掛け算に対して不変な測度は \(dx/x\) だけ
区間 \([a,b]\) を \([\lambda a,\lambda b]\) に伸ばしたとき、\(\int w(x)dx\) が変わらない \(w\) はどれか ── 数値で確かめます。
| \(\lambda\) | \(w=1\) | ★ \(w=1/x\) | \(w=1/x^2\) |
|---|---|---|---|
| 1 | 2.00000000 | 1.09861229 | 0.66666667 |
| 10 | 20.00000000 | 1.09861229 | 0.06666667 |
| 100 | 200.00000000 | ★ 1.09861229 | 0.00666667 |
02節の中心
★★★ \(1/x\) だけが変わりません（いつでも \(\ln3=1.098612\)）。
★★ これが「掛け算の群（スケール変換）の不変測度」です。
★ 不変測度が \(dx/x\) なら、自然な座標は \(\int dx/x=\ln x\) ── だから対数。
★ 第 39 回で「AdS の固有距離が \(|\ln(z_2/z_1)|\)」だったのも、第 22 回でウェーブレットが \(\ln\omega\) 軸だったのも、同じ理由でした。
03相対分解能が一定なら、区別できる目盛りの数は対数
| \(Q\) | 意味 | 2 桁 | 3 桁 | 6 桁 | 12 桁 |
|---|---|---|---|---|---|
| 1 | 1 オクターブごと | 6.6 | 10.0 | 19.9 | 39.9 |
| 16.8 | ★ 半音（第 22 回） | 79.6 | 119.5 | 238.9 | 477.9 |
| 100 | 1 % 分解能 | 462.8 | 694.2 | 1388.4 | 2776.9 |
03節の中心
★★ 「区別できる目盛りの数」が、桁数にきれいに比例します。
★★★ だから「何桁」が、そのまま「いくつ区別できたか」になる。
★ 第 51 回の桁数も、第 52 回の \(q^*\) も、この数え方の上に乗っていました。
04★★★ 全部、同じ関数方程式から来ている
数値で確かめます ── \(f(2)=a,\ f(3)=b\) と置くと、\(2^p\approx3^q\) のとき \(pa\approx qb\) でなければ連続になりません。したがって \(b/a=p/q\to\ln3/\ln2\)。
| \(p\) | \(q\) | \(2^p/3^q\) | \(p/q\) | \(\ln3/\ln2\) | 差 |
|---|---|---|---|---|---|
| 8 | 5 | 1.053498 | 1.60000000 | 1.58496250 | 1.5e−2 |
| 84 | 53 | 0.997914 | 1.58490566 | 1.58496250 | 5.7e−5 |
| 1054 | 665 | 1.000000 | 1.58496241 | 1.58496250 | ★ 9.5e−8 |
04節の中心 ── ★★★ 本回の要
「掛け算を足し算にしたい」と決めた瞬間に、対数が一意に決まる。
★ 良い近似ほど \(p/q\) が \(\ln3/\ln2\) に近づきます ── 他の（連続な）解はありません。
★★★ 第 28 回で「指数関数が出る源のひとつは、足し算が掛け算になること」と整理しました。本回はその裏返しです ── 掛け算を足し算に戻すと対数。
★ だから「数える」という操作をした瞬間に、必ず対数が出てきます。
05それぞれの対数を、この観点で読み直す
| 出た所 | 何が掛け算か | 何を足したいか |
|---|---|---|
| 第 5 回 | 時間スケールの比 | 「何桁 離れているか」 |
| 第 21 回 | 独立な系を並べる | ★ 情報量（加法的にしたい） |
| 第 22 回 | 周波数を定 Q で刻む | 目盛りの数 |
| 第 39 回 | 動径方向のスケール変換 | 固有距離 |
| 第 45 回 | 加速で時間が伸び縮み | 固有時 |
| ★ 第 51 回 | 周波数の比 | ★ 冪則の桁数 |
| ★ 第 52 回 | 箱の数が 2 倍 ずつ | ★ 到達できる \(q^*\) |
05節の中心
★★ どれも「掛け算で増えるものを、足し算で数えたい」という形でした。
★ 情報量（第 21 回）だけは少し違って見えますが ── 「独立な系を並べると、状態数は掛け算、情報量は足し算」なので、まったく同じ形です。
★★ シャノンが \(\log\) を選んだ理由と、本シリーズが「桁数」で語ってきた理由は、同じものでした。
06★ 素朴な判定は、どれくらい甘いか
第 52 回の \(q^*\) には、教科書的な素朴な判定があります ── 「その \(q\) を支配する \(\alpha\) の集合が空でない（\(f(\alpha)\ge0\)）なら、標本に入るはず」。
| \(q\) | \(f(\alpha(q))\) | 判定 |
|---|---|---|
| 2 | 0.62263432 | 素朴にも実測にも OK |
| 4 | 0.20743868 | ★ 第 52 回の実測はここまで |
| 10 | 0.00285631 | 素朴には OK、実測では届かない |
| 25.9 | 0（ここで \(f=0\)） | ★ 素朴な判定の上限 |
06節の中心
★★★ 素朴な判定は \(q\approx25.9\) まで許しますが、実測は \(q^*\approx4\) ── 6 倍 以上 甘い。
★★ 理由：\(f(\alpha)\ge0\) は「平均すれば 1 個は入る」という条件であって、実際にはその 1 個のゆらぎが傾きを壊します。
★ 「平均して 1 個」は「毎回 1 個」ではない ── 第 52 回の実測のほうを使うべきです。
07★★ 対数にならないもの ── 精度は冪
| 問い | \(N\) への依存 | 出た回 |
|---|---|---|
| どこまで広い範囲を見られるか | ★ \(\log N\) | 第 51・52 回 |
| どこまで精密に測れるか | ★ \(N^{-1/2}\) | 第 51 回 |
| いくつ目盛りを区別できるか | \(\log N\) | 第 22 回・本回 03 節 |
| 雑音をどこまで減らせるか | \(N^{-1/2}\) | 第 51 回 01 節 |
| どこまで深い極値に届くか | \(\log N\) | 第 52 回 |
| データを増やすと | 範囲 | 精度 |
|---|---|---|
| \(\times10^2\) | ×1.00 | ×1.0 |
| \(\times10^4\) | ×2.00 | ×10.0 |
| \(\times10^6\) | ★ ×3.00 | ★ ×100.0 |
| \(\times10^8\) | ×4.00 | ×1000.0 |
07節の中心 ── ★★★ 二つめの要
データを 100 万倍 にすると、精度は 100 倍 よくなるのに、
範囲は 3 倍 にしかならない。
★★ 「細かく測る」は努力で届き、「広く測る」はほとんど届かない。
★ これが第 51・52 回で出会った壁の正体でした ── どちらも「範囲」の問題だったから、対数に阻まれた。
★★ 裏を返すと ── 「範囲が足りない」問題は、測定を増やしても解けません。系そのものを選び直すしかない（第 51 回 05 節の「広い慣性領域を持つ系を選ぶ」）。
08波として言えること・言えないこと
| 項目 | 判定 | 根拠 |
|---|---|---|
| シリーズ中の対数は 10 か所 | ◎ 整理 | 偶然にしては多い |
| ★ 掛け算の不変測度は \(dx/x\) | ◎ 数値 | ★ \(1/x\) だけがスケール不変 |
| 相対分解能一定 → 目盛りは対数 | ◎ 数値 | 第 22 回の定 Q |
| ★★ 根は \(f(xy)=f(x)+f(y)\) | ◎ 数値 | ★ 連続解は \(c\ln x\) だけ |
| 第 28 回の裏返し | ◎ 対応 | 足し算 ↔ 掛け算 |
| ★ 素朴な \(q^*\) の判定は甘い | ◎ 数値 | ★ \(f\ge0\) は \(q\approx26\)、実測は 4 |
| ★★ 範囲は \(\log N\)、精度は \(N^{-1/2}\) | ◎ 数値 | ★ 100 万倍 で範囲 3 倍 |
| ★ なぜ物理がスケール不変なのか | × 扱えない | ★ 本稿は結果から遡っただけ |
練習問題
- 04 節で「連続な解は \(c\ln x\) だけ」と書いた。「連続な」という条件を外すとどうなるか。
答えを見る
病的な解が無数に現れます。\(f(xy)=f(x)+f(y)\) は \(g(u)=f(e^u)\) と置くと \(g(u+v)=g(u)+g(v)\) ── コーシーの加法方程式です。
★ 連続性（あるいは可測性、局所有界性のいずれか一つ）を課せば解は \(g(u)=cu\)、つまり \(f=c\ln x\) だけ。
★★ 外すと、\(\mathbb{R}\) を \(\mathbb{Q}\) 上のベクトル空間と見た基底を使って、至る所 不連続な解が構成できます（選択公理が要ります）。グラフは平面で稠密になる。
★ 物理では連続性は当然の要請なので、実質「対数だけ」です ── ただし「当然」と書くときは、何を仮定したかを書くべきでした。 - 07 節の「範囲は \(\log N\)、精度は \(N^{-1/2}\)」から、実験計画にどう活かすか。
答えを見る
「範囲が足りない」と「精度が足りない」を、まず区別することです。
★ 精度が足りないなら、測定時間を増やせば \(N^{-1/2}\) で改善します ── 4 倍 の時間で 2 倍。努力が報われる。
★★ 範囲が足りないなら、測定時間を増やしても \(\log N\) でしか伸びません ── 1000 倍 の時間で 1.3 倍。ほぼ無駄。
★★★ そのときは装置ではなく対象を変えます ── 第 51 回の「広い慣性領域を持つ流れを選ぶ」、第 47 回の「慣性領域が 6 桁 あれば 0.059 dB/oct」。実験計画としては、そちらが先です。 - 02 節で「不変測度が \(dx/x\) だから対数」と言った。これは説明になっているか。
答えを見る
半分だけです。「スケール変換に対して不変な量を使いたい」という前提を置けば、対数が出ることは説明できます。
★ しかし「なぜ物理はスケール変換に対して不変なのか」は説明していません ── 本稿は結果から遡っただけです。
★★ 第 48 回の結論と同じ形です ── 「軸が使える条件はスケール不変性」と分かったが、スケール不変性そのものの由来は分からない。
★ 臨界点では説明がつきます（相関距離が発散して特徴的な長さが消える）。しかし「なぜ臨界点の近くの現象が多いのか」は、また別の問いです。
まとめ 同じ壁の、二つの顔だった
シリーズ中に対数が 10 か所出てきました ── 第 5 回の宇宙年齢との比、第 21 回の情報量、第 22 回のウェーブレット平面、第 39 回の固有距離、第 45 回のリンドラー時間、第 46・47 回の \(e\) 倍の回数、そして第 51 回の桁数と第 52 回の \(q^*\)。
★ 掛け算に対して不変な測度は \(dx/x\) だけです（数値で確認 ── \(\lambda\) を 100 倍 しても \(\ln3\) のまま）。不変測度が \(dx/x\) なら、自然な座標は \(\ln x\)。
★ そして相対分解能が一定なら、区別できる目盛りの数は桁数に比例します（定 Q、第 22 回）── だから「何桁」が、そのまま「いくつ区別できたか」になる。
★★★ 本回の要 ── 根は一つ、\(f(xy)=f(x)+f(y)\)。
連続な解は \(c\ln x\) だけです（\(p/q\to\ln3/\ln2\) を \(10^{-8}\) で確認）。
「掛け算を足し算にしたい」と決めた瞬間に、対数が一意に決まる。
★ 第 28 回で「指数関数が出る源のひとつは、足し算が掛け算になること」と整理しました。本回はその裏返しです。情報量（第 21 回）も同じ形 ── 独立な系を並べると、状態数は掛け算、情報量は足し算。
★ ついでに分かったこと ── 第 52 回の \(q^*\) について、教科書的な素朴な判定（\(f(\alpha)\ge0\)）は \(q\approx25.9\) まで許しますが、実測は \(q^*\approx4\)。6 倍 以上 甘い。「平均して 1 個」は「毎回 1 個」ではないからです。
★★ そして二つめの要 ──
「範囲」は \(\log N\)、「精度」は \(N^{-1/2}\)。
データを 100 万倍 にすると、精度は 100 倍 よくなるのに、範囲は 3 倍 にしかならない。
★ 「細かく測る」は努力で届き、「広く測る」はほとんど届かない ── これが第 51・52 回で出会った壁の正体でした。★ 正直に：「なぜ物理がスケール不変なのか」は説明していません。本稿は結果から遡っただけです。
★ 次回はその抜け道を探します ── 範囲を「買う」方法はあるのか。
★★ 複数の測定を貼り合わせる、別の物理量を使う、系そのものを変える ── 実験家が実際にやっていることを、本シリーズの言葉で数えます。★ 第 51 回の「慣性領域を選ぶ」が、その一つでした。
この文書は「考える波」シリーズ第 53 回です。計算は kenshou/taisuu2.js で行っています。本回の数値について：不変測度の数値検証、定 Q での目盛りの数、\(p/q\to\ln3/\ln2\) の収束、素朴な \(q^*\) 判定との比較、範囲と精度の \(N\) 依存は、すべて本稿で計算したものです。スケール変換群の不変（ハール）測度が \(dx/x\) であること、コーシーの関数方程式 \(f(xy)=f(x)+f(y)\) の連続解が \(c\ln x\) に限ること、シャノン情報量が加法性から対数になること、そして有限標本におけるマルチフラクタルの \(f(\alpha)\ge0\) 判定 ── これらはいずれもよく知られた結果で本稿の発見ではありません ── 本稿がしたのは、本シリーズに現れた 10 か所の対数を並べ、同じ関数方程式に帰着することを示し、「範囲は \(\log N\)、精度は \(N^{-1/2}\)」という対比を数字にしたことです。04 節の「解は \(c\ln x\) だけ」は連続性（または可測性・局所有界性のいずれか）を仮定した場合の話で、仮定を外せば至る所 不連続な解が存在します（練習問題 1）。06 節の比較は第 52 回の測定条件（\(|\Delta\tau|\le0.1\)、5 つの種の中央値）に依存し、基準を緩めれば \(q^*\) は伸びます。07 節の \(N^{-1/2}\) は独立な推定値を仮定した場合で、相関があれば改善は遅くなります。「なぜ物理にスケール不変性が現れるのか」は本稿では扱えていません。 ── 印刷する場合はブラウザの「印刷」から「PDF に保存」を。