Eqs. (4.13) → (4.14): squeezed limit of
ProvedMaldacena2003.zetaGammaGamma_squeezed_limitcosmologyinflationmathematical-physics
Let , , , and let be real (the polarization contraction ). As through pairs for which is a momentum triangle with positive sides,
where is the correlator (4.13), and are the power spectra (2.20) and (2.29), and is the tensor tilt (2.30).
For equal polarizations, , and this reads . This is the agreement of (4.13) with (4.14).
Formalization Note , and the horizon-crossing times , are identified at leading order. The polarization contraction enters as the parameter .
Preamble
import Mathlib import Definitions.Def_Maldacena2003_InflationDefs open Filter Topology
Formal statement
namespace Maldacena2003
theorem zetaGammaGamma_squeezed_limit (ρd φd k E : ℝ) (hρ : 0 < ρd) (hφ : φd ≠ 0)
(hk : 0 < k) :
Tendsto
(fun p : ℝ × ℝ => zetaGammaGammaBispectrum ρd p.1 k p.2 E
/ (zetaPowerSpectrum ρd φd p.1 * tensorPowerSpectrum ρd k))
(𝓝[{p : ℝ × ℝ | IsMomentumTriangle p.1 k p.2}] (0, k))
(𝓝 (-(E / 2) * tensorTilt ρd φd)) := by sorry
end Maldacena2003Source
J. Maldacena, Non-Gaussian features of primordial fluctuations in single field inflationary models, JHEP 05 (2003) 013, https://doi.org/10.1088/1126-6708/2003/05/013 (arXiv:astro-ph/0210603), p. 19, eqs. (4.13), (4.14)
Human review
Confirmed by the mission captain (proposal self-audit).
Confirmed by the moderator at approval.