The Lagrangian-space Effective Field Theory of Large Scale Structures
Rafael A. Porto, Leonardo Senatore, Matias Zaldarriaga
TL;DR
The paper introduces LEFT, a Lagrangian-space EFT for large-scale structure that treats long-wavelength dynamics as an EFT of extended objects described by center-of-mass motion and multipole moments. Finite-size effects are encoded via a controlled multipole expansion and renormalized through UV counter-terms, enabling a finite, systematic $k/k_{\rm NL}$ perturbative expansion with resummation of large IR displacements. A detailed one-loop calculation in a power-law EdS universe demonstrates that divergences are absorbed by LEFT's counter-terms, with a minimal set of renormalized parameters (e.g., $l_{s,\rm comb}$, $l_{\delta_m,\rm comb}$) governing displacement and density correlations. The work also presents an effective action formulation and discusses resummation techniques, showing LEFT’s potential to improve BAO modeling and extend to broader cosmological applications, including biased tracers and redshift-space distortions.
Abstract
We introduce a Lagrangian-space Effective Field Theory (LEFT) formalism for the study of cosmological large scale structures. Unlike the previous Eulerian-space construction, it is naturally formulated as an effective field theory of extended objects in Lagrangian space. In LEFT the resulting finite size effects are described using a multipole expansion parameterized by a set of time dependent coefficients and organized in powers of the ratio of the wavenumber of interest $k$ over the non-linear scale $k_{\rm NL}$. The multipoles encode the effects of the short distance modes on the long-wavelength universe and absorb UV divergences when present. There are no IR divergences in LEFT. Some of the parameters that control the perturbative approach are not assumed to be small and can be automatically resummed. We present an illustrative one-loop calculation for a power law universe. We describe the dynamics both at the level of the equations of motion and through an action formalism.
