物理好きの高校生・大学生のための読み物シリーズ姉妹シリーズ「わかる宇宙論」→

わかる質量

「重さって、そもそも何?」という一言から出発して、質量ゼロを守る対称性、ヒッグスと閉じ込め、最小の質量、そして最小と最大が出会う meV まで ── 同じ一つの背骨でたどる、質量の物語。姉妹シリーズ「わかる宇宙論」の合言葉 c・t=一定 のレンズを、"効く回だけ" 正直に使います。

全 14 話予定(導入+本編7+最終1+番外5) 各話:日常語 → 数式 → 種明かし → 練習問題 印刷・PDF化対応
このシリーズの背骨:質量とは「止まれること」=消せないエネルギーの床。ゼロの床は対称性が守り、有限の床は"走り"が生み、その最小は宇宙の大きさが決める。そして最小の質量は、いつも最大のスケールを指している。
公開済みの回を一括ダウンロード 下のボタンで、公開済みの回(導入+第1〜7回+最終回+番外①〜⑤+終章+技術補遺①〜⑮+式の地図)を1つの ZIP にまとめて保存できます。
本編(公開済み)
第 1 回動く図つき
止まれること、それが質量

光は止まれない、だから質量ゼロ。質量とは "運動量を全部抜いても残るエネルギーの床"。一本の式が光と物質を同時に説明する。E² = (mc²)² + (pc)²

第 2 回動く図つき
質量ゼロは、対称性が守っている

ゼロは自明ではなく、3人の見張り番(ゲージ・カイラル・ゴールドストン)の帰結。質量²は "ポテンシャルの底の曲がり" だった。質量² ∝ 底の曲がり

第 3 回動く図つき
質量は、二通りに湧く

電子はヒッグスから、陽子は閉じ込めから。あなたの体重の99%は、有名なヒッグスではなく閉じ込めのエネルギーだった。m = y·v/√2 / 陽子の99%

第 4 回動く図つきc・t が効く
スケールなき理論から、スケールが湧く

閉じ込め側の "99%" の正体を、走る結合と次元的移行で。古典的に目盛りのない世界(=c・t が効く土俵)が、量子効果で重さの尺度を生む。質量ギャップの正体。無次元の走り → Λ

第 5 回動く図つき
最小の質量・UV編:ニュートリノはなぜ軽い

シーソー機構。最小の質量が、最大のスケール(大統一)を指す。振動・宇宙論・KATRIN・0νββ ── 絶対値をどう測るか。m_ν ~ v² / M

第 6 回動く図つきc・t が効く
最小の質量・IR編:宇宙の大きさが決める床

質量に下の壁はあるか。ハッブル摩擦で "凍る/振動する" の境目が、宇宙が許す最小質量。R_h=ct が正当に入り、床は 1/t で下がる。m_min ~ ℏ / (c²t)

第 7 回動く図つき表現不変で読む
動く床と、動かない床

IRフロアは宇宙とともに 1/t で下がる"動く床"、ヤン=ミルズの質量ギャップは時間に乗らない"動かない床"。中性子が不動を証言し、最後に "二つの床" が連続でも離散でも同じ一枚の地図だと分かる ── 変わって見えたら、表現に溶ける言葉。m_min=ℏH/c² / 観測量か表現か

最終回
最終回動く図つき未踏の領域
最小と最大が、meV で握手する

最小の質量(宇宙の大きさ)と最大のスケール(プランク)が、meV という一点で出会う。重力が課す UV-IR 境界、暗黒次元、そして宇宙定数問題 ── 開いたままの最後の扉。ρ_Λ ≲ M_Pl²/L² ⇒ meV = √(UV·IR)

番外編
番外 ①動く図つき
質量ギャップは「丸め誤差」か

"有限計算機の丸め誤差=質量ギャップ" という惜しい説を、正直に診断する。何が魅力的で、どこで飛躍したか ── 正しい版は第4回の次元的移行。惜しい説の診断

番外 ②動く図つき
質量は保存しない

「速く動くと重くなる(相対論的質量)」という誤解を解く。増えるのはエネルギーで、質量そのものは速度によらない。E=mc² の正しい読み方。m は不変、E は増える

番外 ③動く図つき
世代とKoide公式

電子・ミュオン・タウの質量比が 2/3 に一致する不思議。数合わせの誘惑と、"なぜそれは予言ではないのか(循環)" を正直に。(Σm)/(Σ√m)² = 2/3 ?

番外 ④動く図つき本編級
4つの力を、一つの離散式で

数合わせの 1/(Cn)^D ではなく、群とループで。格子ゲージ理論=ウィルソン作用が、強・弱・電磁を一本に統一(群を差し替えるだけ)。重力は開いた扉。第4回・最終回・番外①を束ねる回。S = β Σ[1 − (1/N)ReTr U□]

番外 ⑤動く図つき本編級
「最小の質量」は一語で六つ

質量ギャップ・IRフロア・凍結・モード間隔・離散・有限 ── 専門家も混ぜる六つを、「観測量か、表現に溶ける言葉か」の一本の線で仕分ける。五つのすり替えの診断と、連続⇄離散トグルの図つき。観測量か、表現に溶ける言葉か

終章(エピローグ)
終章動く図つき最後の仮説
宇宙は離散である

証明でなく、名指しした賭けで締める。一本の離散式の "目標の形"、離散はコーザルセット的でなければならない理由、そして「チャットで"解けた"が出たら疑え」という掟。二つのシリーズの終わりに。Z = Σ_離散幾何 (振幅)×(ホロノミー物質)

終章・技術補遺動く図つき最前線の地図
離散宇宙の一枚

「宇宙は離散」の賭けを、有限情報からGRまで一本に組む。ホログラフィックにΛをmeVへ→誘導重力でG→創発ローレンツを継承。四つの壁と、二つの反証可能な予言(極小LV/w≠−1)。ρ_Λ ≲ M_Pl²/L² ⇒ 有限情報が宇宙定数を抑える

終章・技術補遺②動く図つき観測で決着
壁①の決着:w(a)

c·t(共形時間)カットオフの w(a) を書き下し、加速膨張データと対決。w₀≈−0.8 は DESI と一致、だが進化 w_a の符号は逆 ── 反証可能な予言に凝縮。w(a) = −1 + (2/3n)·√Ω_de / a

終章・技術補遺③動く図つき観測で決着
壁②の決着:なぜ今か

一致問題(why-now)。有限情報は ρ_Λ〜ρ_crit で "大きさ" を自然に緩和(ΛCDMより有利)。だが "なぜ今" は壁①と連結 ── 相互作用DEが両立の本命、構造成長 fσ8 で反証可能。ρ_Λ/ρ_m ∝ a³ / ρ_Λ〜M_Pl²H²〜ρ_crit

終章・技術補遺④動く図つき理論整合の壁
壁③の決着:誘導重力→GR

誘導重力は本物のGRを出すか。観測スケールではスケール分離でGR回復(等価原理継承)。核はWW定理→ホログラフィック創発(finaleに収束)。R²→スタロビンスキーがCMBの手がかり。1/G 〜 NΛ_cut² / ズレ 〜 (μ/M_Pl)²

終章・技術補遺⑤動く図つき二シリーズ最終
壁④+四つの壁のスコアカード

これ全部を予言する一つの完成理論にできるか。正直な答え=まだ・チャットでは無理。だが "整合的で反証可能なプログラム" は完成(全QGと同じ最前線)。四つの壁のスコアカードで二シリーズを締める。組み立て(assembly) vs 導出(derivation)

終章・技術補遺⑥動く図つき賭けの実現
有限情報からEinstein方程式

「導けるでしょ」に本物で応える回。Jacobson(1995)=面積エントロピー+ウンルー温度+クラウジウスから完全なEinstein方程式を導出(あなたの賭けの文献上の実現)。ただし壁③は閉じない=面積エントロピーの微視的起源が残る、と正直に。δQ=TδS ⇒ R_ab−½Rg_ab+Λg_ab=8πG T_ab

終章・技術補遺⑦動く図つき残った壁の最前線
S=A/4 にどこまで迫れるか

残った壁を全力で押す回。もつれ+誘導重力+エッジモードで S=A/4G は robustly 出る(1/4がロックされる仕組みも)。だが残る三点=量子重力そのもの。"解けた"でなく"ここまで/ここが残る"を精密に。S_gen = A/4G + S_matter = 有限(cutoff非依存)

終章・技術補遺⑧動く図つき理論的到達点
残った壁を一本に:宇宙は type I か

三点を根まで降りたら一本に凝縮した回。代数の型の梯子(III₁連続→II半古典→I離散)=離散仮説の三段。重力がIII→IIを架け S_gen が落ちる(2022本物)。残る一段=面積に離散+有界スペクトル。あなたの賭け=「基盤はtype I」。type II∞ →(離散+有界)→ type I, dim=e^(A/4G)

終章・技術補遺⑨動く図つき構想篇
4D・dS の舞台:Λ という一本のツマミ

残った壁を「立たせるなら」の舞台を構想する回。de Sitter では Λ が三役(離散・上限・有限次元)を兼ねる。背骨の一箇所は厳密=II₁は有限I_NのΛ→0極限=連続極限こそがtype Iを壊す犯人。w=−1かw≠−1かで観測に割れる。提案する設計図であって建てた理論ではない。A_dS=12π/Λ, N=e^(S_dS), II₁=lim I_N

終章・技術補遺⑩動く図つき最鋭の問い
地平線の CFT:二つの 1/4 を一つに

シリーズ二つの半分を融合する回。もつれ/誘導重力の「ロックされた1/4」(⑦⑧)とLQGの「γチューニングの1/4」(⑨)の食い違いは繰り込み前後。既に対数−3/2で一致。融合点=地平線の一つの境界CFT(Chern-Simons/WZW/Virasoro)。欠けた方程式=k↔cの一致。S=(γ₀/γ)(A/4G) vs Cardy: S=A/4G

終章・技術補遺⑪動く図つき有限性の代償と予言
Boltzmann brain と w の緩和

「有限」はタダの仮定でなく双刃の予言、という回。有限次元⟹ユニタリ性を救う(良い刃)が離散スペクトル・Poincaré再帰・Boltzmann brainを強制(悪い刃)。だが代償を避ける論理がw>−1の緩和を要求=c·t・DESIと一本に。弱点が反証可能な予言に昇格。t_rec~e^(S_dS) BB回避 → w>−1

終章・技術補遺⑫動く図つき旅の俯瞰・締め
残る穴の地図:確かめた/試せる/鋭く開いた/ただ一つの穴

25本の登攀を四段に仕分ける締めの回。確かめた(II₁=lim I_N,S=A/4G)/試せる(w≠−1,離散スペクトル)/鋭く開いた(地平線CFT k↔c)/ただ一つの穴(背景独立な有限動力学=QG動力学)。残る亀裂①③④+観測者は全部この一つの穴に落ちる。信念を論文粒度の地図に変えた。settled / testable / sharp open / the one hole

終章・技術補遺⑬動く図つき最深部・全糸の収束
地平線でひとつに:QG動力学の穴が結ぶ最後の点

「ただ一つの穴」(QG動力学)を掘り切る最深部の回。動力学の隅(有限Λ変形因果スピンフォーム)を半古典に落とすとエントロピーの隅と地平線で出会う。エッジモード=パンクチャー=地平線CS=背景独立な領域=一つの物で⑦⑧⑨⑩が統一。A/4Gは出る(γ依存)、S_out/type II・k↔cは開く。穴は地平線の一つの結び目に絞れた。地平線CS: dim~e^(A/4G)=type I, k↔c → Cardy A/4G

終章・技術補遺⑭動く図つき最深の結節点
面積はブースト:地平線コーナーの SL(2,R)

障害B(エントロピーはどこに住むか)を掘り切る回。面積=地平線コーナーの SL(2,R) のブースト生成子=Casimir(Wieland)、離散系列表現が境界から離散面積を出す。この SL(2,R) がモジュラー流=type II(⑧⑩)・自己双対の1/4(⑩)・Λ切り詰めのtype I(⑨)を一点に束ねる。LQG=コーナー対称性の量子化。{A,η}∝8πG 面積=ブースト=モジュラー流 SL(2,R)⋉Diff(S²)

終章・技術補遺⑮動く図つきシリーズの締め
剥ぎきった核心:表現に溶けないもの

飾りを一枚ずつ剥ぐ締めの回。c·t=const(座標)・連続/離散(表現)・面積スペクトルの離散性(Dirac観測量論争)・type I(枠組み語)は剥ぐと表現に溶ける。最後に溶けない核心=「領域は厳密に有限整数個の状態を含む」=違う予言(再帰・ユニタリ性・S=log整数)をする物理命題。表現に溶けないが今は観測の縁の外。剥ぐ → 溶けない核心 = 厳密な有限性の帰結

式の地図(ポスター・まとめ)
式の地図1枚ポスター
旅で出た "本物の式" 一枚まとめ

万物の一本は無い(=疑うべき)。でも数合わせを捨てて得た本物の式が、これだけある ── 床・対称性・ヒッグス・次元的移行・格子・シーソー・IRフロア・CKN・誘導重力・w(a)、そして繋ぎの一行。meV 〜 √(最小 × 最大)

導入版(一般向け・数式ひかえめ)
導入版
重さって、そもそも何?(やさしい版)

数式を使わず、語りと種明かしだけで「重さの正体」をつかむ版。まず全体の地図を見たい人・人に見せたい人向け。