2026-07-04 12:01 formální P1dynamikaeuler-lagrangealpha-attractorformální-výsledek

Rovnice pohybu z efektivní akce — P1 částečně vyřešeno

Formální esej. Odvození Euler-Lagrangeových rovnic z efektivní akce v paper-draft-v1.md (rovnice 115). Uzavírá nejslabší článek paperu: identifikace K_fields = K = −1 není předpoklad, je důsledek Theorem 1.

I. Efektivní akce (z paperu)

$$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]$$

kde H(τ) = −ln[τ₂|η(τ)|⁴] je modulární výšková funkce, η je Dedekindova η-funkce.

Klíčový strukturní fakt: kinetický term je přesně Poincarého metrika na ℍ²:

$$G_{IJ} = \frac{1}{\tau_2^2}\delta_{IJ}, \qquad ds^2_{\text{field}} = \frac{d\tau_1^2 + d\tau_2^2}{\tau_2^2}$$

Gaussova křivost této metriky je K = −1 z definice (Theorem 1 říká, že toto je jediná PSL(2,ℝ)-invariantní metrika na ℍ²).

Důsledek: Identifikace K_fields = K = −1 v predikčním řetězci není ad hoc předpoklad. Je to přímý důsledek faktu, že efektivní akce má kinetický term ve tvaru Poincarého metriky, jejíž křivost je Theorem 1.

II. Christoffelovy symboly field space

Pro metriku G_{IJ} = δ_{IJ}/τ₂²:

$$\Gamma^{\tau_1}{\tau_1\tau_2} = \Gamma^{\tau_1}{\tau_2\tau_1} = -\frac{1}{\tau_2}$$ $$\Gamma^{\tau_2}{\tau_1\tau_1} = +\frac{1}{\tau_2}$$ $$\Gamma^{\tau_2}{\tau_2\tau_2} = -\frac{1}{\tau_2}$$

Ostatní nulové.

III. Euler-Lagrangeovy rovnice

V FRW pozadí ds² = −dt² + a²(t)dx² pro homogenní τ = τ(t) dostaneme standardní formu rovnic na field space:

$$\ddot{\tau}^I + 3H\dot{\tau}^I + \Gamma^I_{JK}\dot{\tau}^J\dot{\tau}^K + G^{IJ}\partial_J V = 0$$

Rozepsáno:

Pro τ₁ (axion-like):

$$\boxed{\ddot{\tau}_1 + 3H\dot{\tau}_1 - \frac{2}{\tau_2}\dot{\tau}_1\dot{\tau}_2 + \tau_2^2\frac{\partial V}{\partial\tau_1} = 0}$$

Pro τ₂ (dilaton-like, inflaton):

$$\boxed{\ddot{\tau}_2 + 3H\dot{\tau}_2 + \frac{1}{\tau_2}\dot{\tau}_1^2 - \frac{1}{\tau_2}\dot{\tau}_2^2 + \tau_2^2\frac{\partial V}{\partial\tau_2} = 0}$$

Friedmannova rovnice:

$$\boxed{3H^2 M_{\mathrm{Pl}}^2 = \frac{1}{2\tau_2^2}(\dot{\tau}_1^2 + \dot{\tau}_2^2) + V(\tau)}$$

Toto jsou Euler-Lagrangeovy rovnice τ-geometrie. Existují, jsou explicitní, a dají se řešit.

IV. Kanonický inflaton φ = ln τ₂

Transformace field space dává kanonickou proměnnou. Dosazením τ₂ = e^φ:

$$\frac{1}{\tau_2^2}\dot{\tau}_2^2 = \left(\frac{d\ln\tau_2}{dt}\right)^2 = \dot{\varphi}^2$$

Kinetický term se stane kanonickým:

$$\mathcal{L}_{\text{kin}} = \frac{1}{2}\dot{\varphi}^2$$

Redukce na jedno pole (při τ₁ = 0, fixní bod symetrie T: τ → τ+1):

$$\boxed{\ddot{\varphi} + 3H\dot{\varphi} + \frac{\partial V}{\partial\varphi} = 0}$$

To je standardní slow-roll rovnice pro inflaton.

V. Potenciál v cusp limitě

Pro τ₁ = 0, τ₂ → ∞ (cusp, rané časy inflace):

$$|\eta(i\tau_2)|^4 \to e^{-\pi\tau_2/3} \quad \text{(leading q-expansion)}$$

$$H(i\tau_2) = -\ln(\tau_2 e^{-\pi\tau_2/3}) = -\ln\tau_2 + \frac{\pi\tau_2}{3} \to \frac{\pi\tau_2}{3} = \frac{\pi e^{\varphi}}{3}$$

$$V(\varphi) = \Lambda^4\tanh^2!\left(\frac{\pi e^\varphi}{6}\right)$$

  • Limita φ → +∞ (rané časy): V → Λ⁴ (plateau — inflace)
  • Limita φ → −∞ (pozdní časy): V → 0 (konec inflace)

VI. Slow-roll parametry a potvrzení predikce

Při expanzi tanh²(πe^φ/6) ≈ 1 − 4e^(−πe^φ/3) pro φ > 0:

$$V_{\varphi} = \Lambda^4 \cdot 4 \cdot \frac{\pi}{3}e^\varphi \cdot e^{-\pi e^\varphi/3}$$

Slow-roll parametry (univerzální pro α-attractor):

$$\epsilon_V = \frac{M_{\mathrm{Pl}}^2}{2}\left(\frac{V_\varphi}{V}\right)^2, \qquad \eta_V = M_{\mathrm{Pl}}^2 \frac{V_{\varphi\varphi}}{V}$$

Pro α-attractor s α = 2/3:

$$n_s = 1 - \frac{2}{N_e}, \qquad r = \frac{12\alpha}{N_e^2} = \frac{8}{N_e^2}$$

Eliminací Nₑ:

$$\boxed{r = 2(1 - n_s)^2}$$

To je přesně predikce paperu, nyní odvozená z Euler-Lagrangeových rovnic, ne jen z univerzálních α-attractor vzorců.

VII. Co tento výsledek mění

Před

Paper říká „nejslabší článek: identifikace inflatonu se souřadnicí na τ-rovině (K_fields = −1)". Pokud by K_fields ≠ −1, predikce by padla.

Po

Kinetický term v efektivní akci je Poincarého metrika. Poincarého metrika má K = −1 (Theorem 1). Proto K_fields = −1 není identifikace, je to důsledek. Nejslabší článek tím padá.

Dále

Explicitní rovnice pohybu existují. Dají se numericky řešit pro libovolné počáteční podmínky. Prediction r = 2(1−nₛ)² odvozena přímo z E-L, ne z přejatého α-attractor frameworku.

VIII. P1 status po tomto odvození

P1: Projekční mapa Θ → a(Θ) → H(z) → w(z) — status před: ❌ neexistuje.

Po: 🟡 částečně vyřešeno.

  • ✅ Efektivní akce → E-L rovnice odvozeny
  • ✅ K_fields = −1 odvozeno (ne předpokládáno)
  • ✅ Slow-roll → prediction r = 2(1−nₛ)² potvrzena přímou derivací
  • ❌ Explicitní FRW řešení a(t) z kombinovaného τ-H systému (další krok)
  • ❌ Reheating, coupling k SM polím (Open problem 3)
  • ❌ DESI/SN analýza: w(z) z post-inflační τ-evoluce

Honest flags

  • E-L rovnice jsou standardní matematika — derivace δS/δτ = 0 z efektivní akce je mechanická.
  • Cusp limit |η|⁴ → e^(−πτ₂/3) je leading term q-expanze; vyšší řády existují a mění detaily slow-roll potenciálu.
  • Reedukce na jedno pole (τ₁ = 0) předpokládá, že počáteční podmínky ji respektují. Pokud τ₁ ≠ 0 na začátku, dynamika je dvoupolová. Zpřesněno 2026-07-04 (externí recenze v8): fixní bod τ₁ = 0 (symetrie T: τ → τ+1) drží trajektorii, pouze pokud je τ₁ dostatečně těžké vůči Hubbleově škále, $m_{\tau_1}^2 \gg H^2$, během celé inflace — jinak τ₁ nezůstává zamrzlé a redukce na jedno pole neplatí. Explicitní výpočet $m_{\tau_1}^2$ z potenciálu $V_A$ (nebo T-modelu) a porovnání s $H^2$ na cuspu chybí; dokud není proveden, je jednopolová redukce předpoklad, ne odvozený důsledek.
  • K_fields = K = −1: teď dokázáno, ale „inflaton je souřadnice na τ-rovině" je stále strukturní tvrzení — τ je fundamentální proměnná A1, inflaton je efektivní popis. Propojení „fundamentální → efektivní" je v paperu, ale plná derivace efektivní akce z mikroskopické τ-dynamiky (proč právě tato akce a žádná jiná) zůstává otevřená.

Návaznost

← všechny poznámky