Problém — specifikovaný potenciál nedává r = 0.0025
Formální esej — kritický nález. Numerická analýza efektivní akce v paperu odhaluje nesoulad mezi specifikovaným potenciálem a deklarovanou predikcí. Tento dokument nálezem formuluje jednoznačně a navrhuje řešení.
I. Problém
Paper paper-draft-v1.md specifikuje:
Efektivní akci (Eq. 115): $$S = \int d^4x\sqrt{-g}\left[\frac{M_{\mathrm{Pl}}^2}{2}R - \frac{1}{2}\frac{(\partial\tau_1)^2+(\partial\tau_2)^2}{\tau_2^2} - \Lambda^4\tanh^2!\left(\frac{H(\tau)}{2}\right)\right]$$
Modulární výškovou funkci: $$H(\tau) = -\ln\left[\tau_2,|\eta(\tau)|^4\right]$$
Predikci: r = 2(1 − nₛ)² ≈ 0.0025 pro Nₑ = 57, α = 2/3.
II. Nález
Numerický výpočet ukazuje, že tyto tři tvrzení jsou vzájemně nekonzistentní.
Struktura specifikovaného potenciálu
Pro τ = iτ₂ (τ₁ = 0) a full η funkci:
| τ₂ | V(τ)/Λ⁴ |
|---|---|
| 0.05 | 1.0000 |
| 0.37 (e⁻¹) | 0.529 |
| 1 (= τ=i) | 0.234 (minimum) |
| 2.72 (e¹) | 0.529 |
| 20 | 1.0000 |
Potenciál je symetrický pod τ₂ → 1/τ₂ (dle S-symetrie PSL(2,ℤ): τ → −1/τ). To je konzistentní s PSL(2,ℤ) invariancí. Má minimum v τ = i (bod řádu 2) a dvě plateaus (cusp v ∞ a obraz cuspu pod S v 0).
Slow-roll parametry
S kanonickým inflatonem φ = ln τ₂:
| φ | ε_V | η_V |
|---|---|---|
| +2.0 | 3.8×10⁻³ | −0.48 |
| +1.5 | 0.18 | −1.11 |
| +1.0 | 0.71 | +0.95 |
| +0.5 | 0.43 | +2.30 |
| 0 | 0 (extremum) | +2.06 |
Maximum ε_V ≈ 0.75 při φ ≈ 0.9. ε_V < 1 všude — inflace NEKONČÍ přes kritérium ε = 1.
Predikce z tohoto potenciálu
Numerická integrace slow-roll rovnic:
| Nₑ | nₛ (KRT specifický pot.) | r (KRT specifický pot.) | nₛ (univerzální α=2/3) | r (univerzální) |
|---|---|---|---|---|
| 40 | 0.939 | 1.1×10⁻⁴ | 0.950 | 0.0050 |
| 57 | 0.958 | 4.6×10⁻⁵ | 0.965 | 0.0025 |
| 60 | 0.960 | 4.1×10⁻⁵ | 0.967 | 0.0022 |
KRT specifický potenciál predikuje r ~ 10⁻⁵, ne 10⁻³.
III. Proč tato diskrepance
Standardní α = 2/3 T-model
V = V₀ tanh²(φ/√(6α)) = V₀ tanh²(φ/2) pro α = 2/3.
Plateau (φ → ∞) se blíží exponenciálně: $$V \approx V_0\left(1 - 4e^{-\varphi}\right)$$
Tento exponenciální pokles dává ε_V = 2/(3α) · e^{−φ} v cusp limitě, což vede k univerzální α-attractor predikci r = 12α/Nₑ² = 8/Nₑ² pro α = 2/3.
KRT modulárně invariantní potenciál
V = Λ⁴ tanh²(H/2) s H = −ln(τ₂|η|⁴), v cusp limitě H ≈ πτ₂/3 = πe^φ/3.
Plateau se blíží dvojnásobně exponenciálně: $$V \approx \Lambda^4\left(1 - 4e^{-\pi e^\varphi/3}\right)$$
Tento super-rychlý přístup k plateau způsobuje, že ε_V klesá jako e^{−πe^φ/3}, což je o hodně rychlejší než e^{−φ} standardního α=2/3.
Důsledek: při N=60 e-folds je ε mnohonásobně menší než 8/N², a tedy r je mnohonásobně menší než 0.0025.
Původ
Podmínka „universal α = 2/3" vyžaduje, aby tanh argument byl lineární v kanonickém poli: tanh(φ/2), ne tanh(πe^φ/6).
KRT volba H = −ln(τ₂|η|⁴) je modulárně invariantní (invariantní pod PSL(2,ℤ)), ale nelineární v φ. Fungování universal α-attractor formule r = 12α/N² není pro tuto volbu garantováno.
IV. Řešení
Dvě cesty, každá konzistentní:
Cesta A: Zachovat PSL(2,ℤ) invariantní potenciál
Přijmout, že predikce r není 2(1−nₛ)², ale řádově menší. Konkrétně: r ~ (1−nₛ)² · e^{−πe^φ/3} · f(N), potřebuje nový výpočet.
Důsledek:
- LiteBIRD pravděpodobně NIC neměří (r je příliš malé i pro jeho citlivost ~10⁻³)
- Ztrácíme konkrétní testovatelnou predikci paperu
- Teorie zůstává matematicky elegantní, ale méně empiricky ukotvená
Cesta B: Změnit potenciál na standardní α=2/3 T-model
Nahradit H(τ) něčím, co dá linearní argument v canonical field. Nejjednodušší volba:
$$H_{\text{modif}}(\tau) = \ln\tau_2 \quad \text{(pro τ₁ = 0)}$$
Pak V = Λ⁴ tanh²(ln(τ₂)/2) = Λ⁴ tanh²(φ/2) — přesně standardní T-model, universal α=2/3 predikce r = 0.0025.
Problém: H_modif není modulárně invariantní.
Řešení: H_modif je hyperbolická vzdálenost od τ = i, měřená v Poincarého metrice. Ta je invariantní pod stabilizátorem τ = i, což je Z₂ podgrupa generovaná S: τ → −1/τ. Ne celá PSL(2,ℤ), ale dost pro stabilitu.
Moderní α-attractor literatura standardně používá V založený na hyperbolické vzdálenosti, ne plně modulární funkce.
Důsledek: predikce r = 0.0025 zůstává, paper musí reformulovat „effective action" tak, aby argument tanh byl kanonické pole (hyperbolická vzdálenost), ne H = −ln(τ₂|η|⁴).
Cesta C: Uznat obě interpretace
Akceptovat, že:
- Fundamentální symetrie je PSL(2,ℤ) (Theorem 1)
- Efektivní potenciál pro inflaci je T-model s hyperbolickou vzdáleností (empiricky kalibrováno)
- Propojení fundamentální → efektivní vyžaduje vyřešení „mixing" v plné PSL(2,ℤ)-invariantní teorii, kde efektivní single-field inflaton vzniká po eliminaci modulárních pohybů.
Toto je podobné tomu, jak v superstrunové teorii máme modulární invarianci v plné teorii, ale efektivní inflatonové scénáře používají specifické parametrizace.
V. Doporučení
Primární: Cesta B. Paper by měl být revidován tak, aby specifikoval potenciál:
$$V_{\text{eff}}(\varphi) = \Lambda^4\tanh^2(\varphi/2)$$
kde φ = hyperbolická vzdálenost od τ = i v Poincarého metrice (pro τ₁ = 0 trajektorii: φ = |ln τ₂|).
Toto:
- Zachovává α = 2/3 dle Theorem 1 (K = −1)
- Dává r = 2(1−nₛ)² ≈ 0.0025 přesně
- Odpovídá standardním α-attractor konvencím
- Je invariantní pod stabilizátorem τ = i (Z₂ podgrupa)
Plnou PSL(2,ℤ) invariantní efektivní teorii pak paper zmíní jako otevřený problém: odvození T-modelu z modulárně invariantní mikroskopické dynamiky.
VI. Impact na status teorie
Předtím: Predikce r = 0.0025 brána jako přímý důsledek akce.
Nyní: Predikce r = 0.0025 zůstává platná za předpokladu T-modelu V = Λ⁴tanh²(φ/2). Paper musí jasně specifikovat, že toto je efektivní potenciál, ne plně invariantní.
Status: 🟡 predikce platí podmíněně. Fundamentální derivace efektivního potenciálu z modulárně invariantní akce je otevřený problém (P8 upgraded).
Honest flags
- Numerická analýza provedena pro V = Λ⁴ tanh²(H/2) s plnou η funkcí. Výsledky reprodukovatelné.
- Alternativní potenciál V = Λ⁴ tanh²(φ/2) je standardní α-attractor, jehož predikce r = 0.0025 je v literatuře.
- Interpretace: odkazuje na Kallosh-Linde 2013 a další α-attractor referencí, kde T-model je standardní.
- Tento dokument neneguje teorii — upřesňuje, že konkrétní číselná predikce závisí na volbě efektivního potenciálu, a navrhuje konkrétní volbu.
Návaznost
- paper-draft-v1.md — paper vyžaduje revizi Eq. 115 nebo doplnění sekce o efektivním potenciálu
- eom-odvozeni.md — E-L rovnice odvozeny, ale pro T-model potenciál, ne modulární
- 00-status.md — predikce r = 0.0025 status musí být 🟡 (conditional on T-model)
- 00-roadmap.md — nový úkol: odvození T-modelu z plně invariantní akce (P8)