物理好きの高校生・大学生のための読み物シリーズ姉妹シリーズ「わかる宇宙論」→
「重さって、そもそも何?」という一言から出発して、質量ゼロを守る対称性、ヒッグスと閉じ込め、最小の質量、そして最小と最大が出会う meV まで ── 同じ一つの背骨でたどる、質量の物語。姉妹シリーズ「わかる宇宙論」の合言葉 c・t=一定 のレンズを、"効く回だけ" 正直に使います。
光は止まれない、だから質量ゼロ。質量とは "運動量を全部抜いても残るエネルギーの床"。一本の式が光と物質を同時に説明する。E² = (mc²)² + (pc)²
ゼロは自明ではなく、3人の見張り番(ゲージ・カイラル・ゴールドストン)の帰結。質量²は "ポテンシャルの底の曲がり" だった。質量² ∝ 底の曲がり
電子はヒッグスから、陽子は閉じ込めから。あなたの体重の99%は、有名なヒッグスではなく閉じ込めのエネルギーだった。m = y·v/√2 / 陽子の99%
閉じ込め側の "99%" の正体を、走る結合と次元的移行で。古典的に目盛りのない世界(=c・t が効く土俵)が、量子効果で重さの尺度を生む。質量ギャップの正体。無次元の走り → Λ
シーソー機構。最小の質量が、最大のスケール(大統一)を指す。振動・宇宙論・KATRIN・0νββ ── 絶対値をどう測るか。m_ν ~ v² / M
質量に下の壁はあるか。ハッブル摩擦で "凍る/振動する" の境目が、宇宙が許す最小質量。R_h=ct が正当に入り、床は 1/t で下がる。m_min ~ ℏ / (c²t)
IRフロアは宇宙とともに 1/t で下がる"動く床"、ヤン=ミルズの質量ギャップは時間に乗らない"動かない床"。中性子が不動を証言し、最後に "二つの床" が連続でも離散でも同じ一枚の地図だと分かる ── 変わって見えたら、表現に溶ける言葉。m_min=ℏH/c² / 観測量か表現か
"有限計算機の丸め誤差=質量ギャップ" という惜しい説を、正直に診断する。何が魅力的で、どこで飛躍したか ── 正しい版は第4回の次元的移行。惜しい説の診断
「速く動くと重くなる(相対論的質量)」という誤解を解く。増えるのはエネルギーで、質量そのものは速度によらない。E=mc² の正しい読み方。m は不変、E は増える
電子・ミュオン・タウの質量比が 2/3 に一致する不思議。数合わせの誘惑と、"なぜそれは予言ではないのか(循環)" を正直に。(Σm)/(Σ√m)² = 2/3 ?
数合わせの 1/(Cn)^D ではなく、群とループで。格子ゲージ理論=ウィルソン作用が、強・弱・電磁を一本に統一(群を差し替えるだけ)。重力は開いた扉。第4回・最終回・番外①を束ねる回。S = β Σ[1 − (1/N)ReTr U□]
質量ギャップ・IRフロア・凍結・モード間隔・離散・有限 ── 専門家も混ぜる六つを、「観測量か、表現に溶ける言葉か」の一本の線で仕分ける。五つのすり替えの診断と、連続⇄離散トグルの図つき。観測量か、表現に溶ける言葉か
証明でなく、名指しした賭けで締める。一本の離散式の "目標の形"、離散はコーザルセット的でなければならない理由、そして「チャットで"解けた"が出たら疑え」という掟。二つのシリーズの終わりに。Z = Σ_離散幾何 (振幅)×(ホロノミー物質)
「宇宙は離散」の賭けを、有限情報からGRまで一本に組む。ホログラフィックにΛをmeVへ→誘導重力でG→創発ローレンツを継承。四つの壁と、二つの反証可能な予言(極小LV/w≠−1)。ρ_Λ ≲ M_Pl²/L² ⇒ 有限情報が宇宙定数を抑える
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回復(等価原理継承)。核はWW定理→ホログラフィック創発(finaleに収束)。R²→スタロビンスキーがCMBの手がかり。1/G 〜 NΛ_cut² / ズレ 〜 (μ/M_Pl)²
これ全部を予言する一つの完成理論にできるか。正直な答え=まだ・チャットでは無理。だが "整合的で反証可能なプログラム" は完成(全QGと同じ最前線)。四つの壁のスコアカードで二シリーズを締める。組み立て(assembly) vs 導出(derivation)
「導けるでしょ」に本物で応える回。Jacobson(1995)=面積エントロピー+ウンルー温度+クラウジウスから完全なEinstein方程式を導出(あなたの賭けの文献上の実現)。ただし壁③は閉じない=面積エントロピーの微視的起源が残る、と正直に。δQ=TδS ⇒ R_ab−½Rg_ab+Λg_ab=8πG T_ab
残った壁を全力で押す回。もつれ+誘導重力+エッジモードで S=A/4G は robustly 出る(1/4がロックされる仕組みも)。だが残る三点=量子重力そのもの。"解けた"でなく"ここまで/ここが残る"を精密に。S_gen = A/4G + S_matter = 有限(cutoff非依存)
三点を根まで降りたら一本に凝縮した回。代数の型の梯子(III₁連続→II半古典→I離散)=離散仮説の三段。重力がIII→IIを架け S_gen が落ちる(2022本物)。残る一段=面積に離散+有界スペクトル。あなたの賭け=「基盤はtype I」。type II∞ →(離散+有界)→ type I, dim=e^(A/4G)
残った壁を「立たせるなら」の舞台を構想する回。de Sitter では Λ が三役(離散・上限・有限次元)を兼ねる。背骨の一箇所は厳密=II₁は有限I_NのΛ→0極限=連続極限こそがtype Iを壊す犯人。w=−1かw≠−1かで観測に割れる。提案する設計図であって建てた理論ではない。A_dS=12π/Λ, N=e^(S_dS), II₁=lim I_N
シリーズ二つの半分を融合する回。もつれ/誘導重力の「ロックされた1/4」(⑦⑧)とLQGの「γチューニングの1/4」(⑨)の食い違いは繰り込み前後。既に対数−3/2で一致。融合点=地平線の一つの境界CFT(Chern-Simons/WZW/Virasoro)。欠けた方程式=k↔cの一致。S=(γ₀/γ)(A/4G) vs Cardy: S=A/4G
「有限」はタダの仮定でなく双刃の予言、という回。有限次元⟹ユニタリ性を救う(良い刃)が離散スペクトル・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動力学)を掘り切る最深部の回。動力学の隅(有限Λ変形因果スピンフォーム)を半古典に落とすとエントロピーの隅と地平線で出会う。エッジモード=パンクチャー=地平線CS=背景独立な領域=一つの物で⑦⑧⑨⑩が統一。A/4Gは出る(γ依存)、S_out/type II・k↔cは開く。穴は地平線の一つの結び目に絞れた。地平線CS: dim~e^(A/4G)=type I, k↔c → Cardy A/4G
障害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整数)をする物理命題。表現に溶けないが今は観測の縁の外。剥ぐ → 溶けない核心 = 厳密な有限性の帰結