EFTofDE: Effective Field Theory of Dark Energy

• EFTofDE is an effective framework that parametrizes dark energy by trading model Lagrangians for time-dependent operator coefficients, unifying diverse scalar-tensor theories.
• It employs a unitary gauge action and the Bellini–Sawicki alpha-parameterization to connect theoretical modifications with observable quantities like growth and lensing.
• The framework ensures stability and incorporates nonlinear screening effects to accurately test dark energy and modified gravity models against cosmological data.

The effective field theory of dark energy (EFTofDE) provides a systematic, model-independent parametrization for the low-energy phenomenology of cosmological acceleration, encompassing both canonical quintessence, general Horndeski, and beyond-Horndeski single-scalar extensions of general relativity. The EFTofDE trades explicit model Lagrangians for a finite set of time-dependent operator coefficients in the action, encoding all allowed departures from ΛCDM (at the level of background evolution and perturbations) consistent with symmetries and stability.

1. Unitary-Gauge Action and Background Evolution

In the EFTofDE, the extra scalar field (e.g., a dark energy or modified gravity scalar) is “gauge-fixed” such that perturbations coincide with the metric time slicing (unitary gauge). The most general local action up to quadratic order in metric perturbations and two derivatives can be written as: $$S = \int d^4x \sqrt{-g} \Bigg[ \frac{M_*^2(t)}{2} R - \Lambda(t) - c(t) g^{00} + \frac{M_2^4(t)}{2} (\delta g^{00})^2 - \frac{\bar{m}_1^3(t)}{2} \delta g^{00}\delta K - \frac{\bar{M}_2^2(t)}{2} (\delta K)^2 - \frac{\bar{M}_3^2(t)}{2} (\delta K^{\mu}_{\;\;\nu}\delta K^{\nu}_{\;\;\mu}) + \frac{\mu_1^2(t)}{2} \delta g^{00} \delta R^{(3)} + ... \Bigg] + S_m$$ with definitions:

• $M_*^2(t)$: effective (possibly time-varying) Planck mass,
• $\Lambda(t)$: time-dependent vacuum (cosmological constant) energy,
• $c(t)$: controls the kinetic mixing between gravity and the scalar,
• $M_2^4$, $\bar{m}_1^3$, $\bar{M}_{2,3}^2$, $\mu_1^2$, ...: perturbative operators,
• $S_m$: minimally coupled matter sector ($\rho_m$, $M_*^2(t)$0, ...).

The background evolution, for spatially flat FRW, is governed by modified Friedmann equations,

$M_*^2(t)$1

where the matter stress energy evolves separately.

The entire homogeneous sector is thus specified by $M_*^2(t)$2, reducing a large landscape of DE/MG models to only three free functions controlling $M_*^2(t)$3 for a fixed matter content (Frusciante et al., 2013, Bloomfield et al., 2012, Frusciante et al., 2019).

2. Operator Basis and the $M_*^2(t)$4-Parameterization

For linear perturbations, the Bellini–Sawicki $M_*^2(t)$5-basis renders the observable content transparent: $M_*^2(t)$6 In pure Horndeski, only four $M_*^2(t)$7-functions are independent; general beyond-Horndeski extensions have up to seven (Linder et al., 2015, Frusciante et al., 2019). The mapping between the original operator coefficients and $M_*^2(t)$8 is invertible.

For canonical scalar-tensor models, e.g., quintessence,

• $M_*^2(t)$9,
• $\Lambda(t)$0.

Screening classes (e.g., DGP, Galileon) activate more operators (Piazza et al., 2013, Frusciante et al., 2017).

3. Stability, Causality, and Continuity Structure

Ghost and gradient stability require:

• positive-definite kinetic matrix for the scalar sector,
• $\Lambda(t)$1 for the scalar sound speed (no gradient instability), typically,

$\Lambda(t)$2

with explicit forms in (Frusciante et al., 2019, Linder et al., 2015, Lombriser et al., 2018).

The choice of parameterization can impact both stability and the physical interpretability of the background sector. The continuity-equation-compatible (CEC) basis (Armato et al., 24 Jul 2025) eliminates spurious non-conservation by directly matching the dark energy density and pressure to combinations of the original $\Lambda(t)$3, enforcing

$\Lambda(t)$4

This basis is advantageous for numerical implementation and connecting to observational quantities (e.g., input into EFTCAMB).

4. Linear Perturbations and Phenomenological Functions

On linear, subhorizon scales, two metric potentials $\Lambda(t)$5 and $\Lambda(t)$6 obey modified Poisson and anisotropy equations: $\Lambda(t)$7 where $\Lambda(t)$8 (effective Newton constant), $\Lambda(t)$9 (lensing response), and $c(t)$0 (metric slip) are algebraic functions of the $c(t)$1-coefficients (Perenon et al., 2019, Frusciante et al., 2019, Okamatsu et al., 2 Dec 2025).

The growth of structure probes $c(t)$2 via redshift-space distortions and $c(t)$3, while weak lensing constrains $c(t)$4.

Post-GW170817, $c(t)$5 is enforced for luminal gravitational wave propagation, ruling out large sections of the quartic/quintic Horndeski parameter space unless dynamically suppressed (Perenon et al., 2019). In this regime, $c(t)$6 and only $c(t)$7 remain active for scalar phenomenology.

5. Nonlinear Extensions and Screening

To extend EFTofDE to mildly non-linear scales, all higher-order operators in the action must be included, e.g., $c(t)$8, $c(t)$9, and terms mixing the lapse, curvature, and extrinsic curvature (see full enumeration in (Frusciante et al., 2017)). Screening mechanisms such as Vainshtein arise from such non-linear operators and are critical for viable modified gravity models. The action up to quartic order can be written in ADM language and mapped to covariant Horndeski or beyond-Horndeski Lagrangians.

N-body implementations of these nonlinear extensions—e.g., ECOSMOG-EFT and PySCo-EFT—solve the full coupled system for the metric potentials and scalar, including nonlinear screening terms, and allow for robust predictions for the matter power spectrum boost, matching analytic theory to sub-percent accuracy for $M_2^4$0Mpc in the parameter regime allowed by current data (Ganjoo et al., 16 Apr 2026).

6. Quantum-Kinetic Dark Energy (QKDE): Minimal Conservative Realization

Quantum-Kinetic Dark Energy (Brown, 16 Mar 2026) realizes the most conservative sector of EFTofDE: the only deviation from ΛCDM is a time-dependent scalar kinetic normalization $M_2^4$1, with

• $M_2^4$2 (ensuring scalar stability),
• $M_2^4$3 (no braiding, Planck-mass running, or tensor speed shift).

In this case,

• $M_2^4$4, tensors always propagate at the speed of light,
• All linear response functions $M_2^4$5, $M_2^4$6: scalar and tensor cosmological phenomenology is unmodified,
• The only observable effect is via the background $M_2^4$7 and growth $M_2^4$8: all growth/lensing is as in general relativity for a given expansion history.

Any deviation from these signatures in large-scale structure/growth or gravitational wave propagation would immediately falsify the QKDE scenario.

The action is

$M_2^4$9

where $\bar{m}_1^3$0, $\bar{m}_1^3$1 is a covariant "clock" field, and $\bar{m}_1^3$2. The background evolution and perturbative sector reduce exactly to GR plus a minimally coupled scalar with a time-dependent kinetic normalization.

Explicit forms for $\bar{m}_1^3$3, including curvature-coupled or phenomenological running, provide UV- or phenomenologically-motivated models that can be tested against $\bar{m}_1^3$4 and $\bar{m}_1^3$5 data.

7. Model-Independent Reconstruction and Observational Tests

Reconstruction of the three background EFT functions from cosmic chronometer, SNe, BAO, or CMB data allows model-independent testing of large classes of DE/MG models (Okamatsu et al., 2 Dec 2025). Gaussian-process-based pipelines infer $\bar{m}_1^3$6, and thereby reconstruct $\bar{m}_1^3$7, $\bar{m}_1^3$8, $\bar{m}_1^3$9, mapping directly onto $\bar{M}_{2,3}^2$0-functions and then to observable signatures in the growth and lensing data.

The most recent constraints from next-generation surveys (DESI, Planck, BOSS, DES, ACT, etc.) indicate broad consistency with $\bar{M}_{2,3}^2$1CDM and general relativity—with present bounds $\bar{M}_{2,3}^2$2, $\bar{M}_{2,3}^2$3, no detectable deviation in $\bar{M}_{2,3}^2$4 or $\bar{M}_{2,3}^2$5 within uncertainties, and the full suite of perturbation observables favoring canonical gravity (Zheng et al., 17 Sep 2025).

The EFTofDE further allows for nonparametric reconstruction approaches, where the background and perturbations can be inferred and mapped back onto covariant Lagrangians (quintessence, k-essence, generalized Galileon) using explicit inversion protocols (Gao et al., 2 Jul 2025).

• Quantum-Kinetic Dark Energy (QKDE): (Brown, 16 Mar 2026)
• General EFTofDE formalism and dynamical analysis: (Frusciante et al., 2013, Bloomfield et al., 2012)
• Operator basis and $\bar{M}_{2,3}^2$6-parameterization: (Linder et al., 2015, Frusciante et al., 2019)
• Large-scale structure phenomenology and constraints: (Piazza et al., 2013, Perenon et al., 2019, Zheng et al., 17 Sep 2025)
• CEC basis and numerical implementation: (Armato et al., 24 Jul 2025)
• Nonlinear regime and N-body codes: (Frusciante et al., 2017, Ganjoo et al., 16 Apr 2026)
• Model-independent reconstruction: (Okamatsu et al., 2 Dec 2025, Gao et al., 2 Jul 2025)

---

The EFTofDE serves as a unifying, stability-prioritized, and model-agnostic approach for testing both dynamical dark energy and modified gravity, providing a framework wherein all viable single-scalar extensions to GR are systematically classified and mapped onto observable cosmological signatures. Its internal consistency, connection to observations, and null-test structure make it an indispensable formalism for exploiting current and upcoming cosmological survey data.