Freezing Gravity is a dark-energy model in which the expansion history, including a crossing of the phantom divide , can be prescribed freely, while the linear perturbations are controlled by separate effective-field-theory (EFT) parameters [YYS]: , the excess of the tensor speed; , a beyond-Horndeski coupling; , a detuning of the two terms; and , the coefficient of the lapse gradient energy. Its stability conditions were derived without matter, and we ask whether they survive once pressureless matter (dust) is added; they do not. For , small compared with the coefficient of (1) below, and wavenumbers , the scalar mode, once the dust’s equation has fixed the lapse, obeys an oscillator equation whose squared frequency does not depend on , with
Here and are the equation of state and density fraction of the dark energy, that of the dust, and a dot is a derivative in cosmic time. The -independence has a simple origin: the scalar’s kinetic term comes from the lapse gradient energy and so carries two spatial derivatives, like its potential term, and cancels in the ratio. Where the perturbations grow at the rate . This is derived at leading order in and and confirmed by exact numerical evolution of the linear equations; for small it holds in a band with , a statement supported numerically.
With constant EFT parameters and , every phantom phase () is unstable at . Any constant is unstable on a cosmological-constant background, and any constant is unstable during matter domination whenever the dark-energy fraction is negligible then. No constant removes the instability from the phantom phase of the four DESI DR2 fits; at the value used in [YYS], the leading-order growth between and the crossing is to e-folds. The instability is avoided if runs in time, if is negative around , if , or if is large enough to close the band; the last case leaves near-horizon scales unresolved.
Yao, Ye and Silvestri [YYS] introduced the model, derived its ghost and gradient conditions in vacuum, and noted that matter would modify them. Yao [Yao] added a minimally coupled perfect fluid, derived the no-ghost conditions at all wavenumbers and the gradient condition at high wavenumber, and concluded that the model can realise arbitrary background evolutions, including phantom crossing, while maintaining stable perturbation dynamics. That the scalar’s gradient energy is set by the dark-energy combination , and not by the total, is a familiar feature of the EFT of dark energy: in the Horndeski sound speed of Bellini and Sawicki [BS], eq. (3.13), the matter contribution to cancels against an explicit term, and Creminelli et al. [CDNV] showed that a stable phase needs operators beyond those of quintessence. De Felice, Frusciante and Papadomanolakis [DFP] classified the instabilities of modified gravity with matter, including tachyonic ones whose rate greatly exceeds . What is specific to Freezing Gravity with dust is the coefficient (1), in particular its terms and ; from it follow the consequences above and a set of parameters that satisfies the closed-form stability conditions of [Yao], its eqs. (3.24)–(3.26) and (3.39), and is nonetheless unstable (section 7).
Units are , as in [YYS], so that the Friedmann equation reads . We write for a comoving wavenumber in units of the comoving Hubble rate.
1. Freezing Gravity with dust
In the unitary gauge of the dark-energy scalar (the time slicing on which the scalar is uniform, so that its perturbation is absorbed into the metric), the model is the action [YYS], eq. (3.27),
where is the lapse, the spatial metric, its extrinsic curvature, its Ricci scalar and the acceleration of the normal to the slices. The coefficients (called in [YYS]) are functions of and ; and are functions of alone. The perturbations depend on the coefficients only through their values at and one derivative, which define the EFT parameters ([YYS], eq. (4.2)):
Here is the tensor speed excess, the beyond-Horndeski coupling of to , the detuning of the two terms, and the coefficient of the gradient energy of the lapse, in the basis of Gleyzes, Langlois and Vernizzi [GLV] and Langlois et al. [LMNV]. Throughout we take and .
We add dust in the form
where and are independent fields. Varying makes a unit timelike vector, so that is the proper time along geodesic worldlines; varying gives ; and on shell the stress tensor is , which is pressureless matter of density .
On a flat FRW background with and , varying the lapse and the scale factor gives
The dark energy therefore has and , as in vacuum ([YYS], eq. (3.25)), and
In vacuum , and [YYS], eq. (4.17), finds at and a kinetic coefficient and a gradient coefficient . At the gradient coefficient is , negative in any phantom phase. With dust the two derivatives differ, and the question is which of them replaces . For the DESI+CMB+DESY5 fit (posterior means of [DESI], Table V; section 5) at , on the phantom side of the crossing, , while . If the total entered, matter would stabilise the phantom phase; if enters, it would not. Section 3 shows that enters, together with a new term .
2. The quadratic action
We perturb in unitary gauge, , , , , and . The variable is the shift between the dust’s proper time and the dark-energy clock . For one Fourier mode of comoving wavenumber , a direct expansion gives the following.
Lemma 1 (quadratic Lagrangian). Up to total time derivatives, after use of (2), and up to an overall positive constant, the second-order Lagrangian of Freezing Gravity with dust is
It holds for time-dependent .
Proof. The combination is the square of the traceless part of , which vanishes on FRW; at second order it receives only the shift, , so enters only through the term and its -dependence not at all. Next, and vanish on FRW, so enters through and , and through ; higher -derivatives multiply terms of cubic order. Finally identically, so contributes , independent of the lapse. The dust term is expanded from . The remaining algebra is routine; we did it symbolically, starting from the full ADM expressions, and checked that the difference between that expansion and (3) has vanishing Euler–Lagrange derivative with respect to every field once (2) holds.
The normalisation and signs agree with the literature. Without dust and at , the equation gives , and substituting it and integrating the term by parts reproduces the kinetic and gradient coefficients of [YYS], eq. (4.17), including the term. With dust, the and equations of (3) coincide with the constraint equations (3.8) and (3.9) of [Yao] under the dictionary , , , , , .
3. The fast mode and the coefficient
The idea is that the dust equation and the momentum constraint remove all but one fast degree of freedom, and that both remaining terms of its Lagrangian carry two spatial derivatives. The dust fixes the lapse: appears only multiplying , so
At the shift appears linearly, and its equation, the momentum constraint, reads . It is natural to trade for
the curvature perturbation on the slices of constant dust proper time, since to first order. With (2) the momentum constraint becomes
On a cosmological-constant background and is conserved on all scales, as in general relativity with dust and . Otherwise is sourced by the dark energy’s , and this is where , not the total , enters.
The kinetic term of comes from the lapse gradient energy, . The terms in (3) without time derivatives on also carry once is inserted, and the term, after integration by parts, adds more of the same kind.
Lemma 2 (exact reduction). Let . After , and , the Lagrangian (3) equals, up to a total time derivative,
with , which is (1).
Proof. Solving the equation for and substituting is legitimate, and kills the last two terms of (3). In the bracket, . With the measure and , integration by parts gives
The term is by (2), and the last term above equals ; its first part is absorbed by . Collecting the terms, including from and , and using and :
The terms are from and from above. The terms without are rewritten with . We also verified (5) symbolically against (3), with , and arbitrary functions of time.
The step with content is the cancellation between the produced by integrating by parts and the produced by the momentum constraint: matter’s share of is traded for , leaving behind. At that remainder vanishes and the coefficient is the quintessence-type gradient energy .
In (5) the dynamics separates by time scale. The variable has kinetic coefficient and potential coefficient , so it oscillates or grows at a rate of order . The variable is slow: by (4) its rate of change is , of order .
Proposition 1 (fast mode, leading order). Let , and , and let the background and the EFT parameters vary on the Hubble time. Then the linear system (5) has a pair of fast solutions, with , and along them
Where they grow at the rate , independent of ; grows with them.
Proof. This is a leading-order (WKB) statement, and the proof consists of size estimates. Suppose varies at a rate . The constraint (4) gives . The equation of (5), , then gives ; the second piece comes from the terms of order , which are of order there. In the equation,
the two terms on the left are of order and the first two on the right of order . In the terms of order , the contributions from cancel identically in the Euler–Lagrange derivative, leaving terms of order , a fraction of the left side. Dividing by gives (6); the friction term is a relative correction .
In the language of the EFT of dark energy, is minus the Goldstone time shift of the dark energy, seen from the dust’s rest frame, and the part of (5) is . The kinetic term comes from and carries two spatial gradients, which is why the rate does not depend on . The instability belongs to the class that [DFP] call tachyonic: a negative squared frequency that is independent of and much larger than in magnitude, as opposed to a gradient instability, whose rate grows with . The derivation keeps , which enters through an integration by parts and would be lost in a frozen-coefficient treatment of the action. For constant parameters, (6) agrees with the roots of the frozen-coefficient dispersion relation computed in the variables at , with the equations of motion derived before the coefficients are frozen; for instance at , where , with the root is at and at (with it is at , the correction). A frozen-coefficient analysis is variable-dependent here, since it drops time derivatives of coefficients that differ between choices of variables; in other variables it need not reproduce (6).
4. Checks and the finite- band
Exact evolution
For the shift appears quadratically in (3) and can be integrated out, which gives a regular two-variable Lagrangian in with the penalty in place of the constraint (4). We integrate its Euler–Lagrange equations with full time dependence, no frozen coefficients, on (CPL) backgrounds with , and measure the amplitude and its local growth rate . Unless stated otherwise the initial data are (so ), and , which satisfy the constraint, imposed at . Integrated growth is always given in e-folds: over the stated interval, or, where stated, the logarithm of the maximum of over the interval divided by . Comoving wavenumbers are quoted in units of ; is .
| background, | measured | |||
|---|---|---|---|---|
| DESI+CMB+DESY5, | 1.5 | 10.6 | 26.1 | 29.3 |
| DESI+CMB+DESY5, | 1.0 | 11.1 | 32.2 | 34.1 |
| DESI+CMB+DESY5, | 0.8 | 11.2 | 32.0 | 33.7 |
| DESI+CMB+DESY5, | 0.5 | 11.1 | 22.0 | 21.9 |
| DESI+CMB+DESY5, | 1.2 | 10.9 | 53.5 | 54.2 |
| DESI+CMB+DESY5, | 0.6 | 11.1 | 28.5 | 29.5 |
| CDM, | 1.5 | 3.2 | 40.5 | 42.9 |
| CDM, | 0.2 | 2.2 | 44.3 | 46.3 |
The first four rows use and in one run started at ; the next two use and the last two , in runs started 0.3–0.5 earlier in redshift than the quoted . The rate is the slope of against over in . Apart from the row at , which is still affected by the initial transient of a run started at , the measured rates lie 0–7% below the prediction. The expected corrections are of the same size: the friction term lowers the rate by (about 2%), the terms of (6) are a few per cent at rates near , the finite lowers it through the term (7) of the next subsection (about 1% at , ), and changes within the fitting window of a few hundredths of an e-fold. The local growth rates do not depend on the initial data and are the direct test of Proposition 1. Integrated growth (sections 5–7) does depend on them, because the growing mode needs a fraction of an e-fold to dominate: for the first fit of section 5, imposing the initial data at instead of gives 19.6 instead of 23.0 e-folds between and the crossing. On the CDM background with , where , all modes decay.
The band edge
For the measured rates follow (6) with replaced by
The added term is at leading order in , where is the high- sound speed of the scalar ([Yao], eq. (3.38)), so the squared frequency interpolates as . A heuristic derivation produces exactly this term: at the term is no longer absorbed by a multiplier, and treating as an auxiliary variable with the penalty and eliminating it adds to (5). On CDM with at () and , the measured rates at are against from (7), and the mode at , just beyond the edge, grows at roughly (the value depends on the initial data and fitting window) instead of the leading-order . The instability therefore occupies the band
This statement is numerical; (7) is not derived to the standard of Proposition 1.
Radiation
Adding radiation as a fluid with changes by a -dependent amount: for and for . We obtained these from the frozen-coefficient dispersion relation of the system with dust and radiation at leading order in ; for example at the roots are and in the two regimes, against and from the formulae. The correction vanishes at and is below for at , so it is neglected below.
5. Constant parameters
With the following statements follow from (1) by inspection; each holds in the band of section 4, at leading order.
Corollary 1 (phantom phases). If , then , and there is no fast growth in the band exactly when ( is marginal at this order).
Corollary 2 (constant on CDM). If and , then . A constant is unstable while , which includes the whole matter era, and a constant is unstable while . For (the CDM DESI+CMB value, [DESI], eq. (21)) the transition is at .
The part concerning does not need : whenever and , (1) gives (at ). The vacuum condition of [YYS], eqs. (4.15)–(4.16), allows constant on a CDM background; with dust the matter era excludes every . The exact evolution confirms it. With , and the initial data of section 4 imposed at , the growth from (logarithm of the maximum of over divided by ) is , , and e-folds for , against , , and from , and there is no growth for . Starting instead from , gives , , and e-folds (initial-data dependence as in section 4; it is largest for , whose unstable epoch starts late).
For a general background, write with .
Corollary 3 (no constant ). Let . If at a redshift where , then for every constant .
We evaluate this on the DESI DR2 fits that combine BAO, CMB and supernovae, using the posterior means of in Table V of [DESI] and . In each, crosses at and is phantom above it.
| fit | min at (at ) | e-folds, | |||
|---|---|---|---|---|---|
| DESI+CMB+DESY5 | 0.405 | (0.93) | 0.61 | 24.2 (23.0) | |
| DESI+CMB+Union3 | 0.440 | (0.96) | 0.61 | 25.3 (24.2) | |
| DESI+CMB+Pantheon+ | 0.354 | (0.89) | 0.61 | 22.9 (21.6) | |
| DESI+CMB | 0.496 | (0.99) | 0.63 | 28.2 (27.3) |
The last column is at and , from , the effective redshift of the highest-redshift DESI BAO measurement, to the crossing; in parentheses the growth measured in the exact evolution at , , with the initial data of section 4 imposed at (initial-data dependence as in section 4). In all four fits lies on the phantom side, so Corollary 3 applies: no constant stabilises them. A constant below about to would make , but the speed of gravitational waves measured with GW170817 [GW170817] bounds a constant far below that. The growth scales as , so it is at and at for the first fit. Extending the CPL form beyond the data to raises the first entry to e-folds.
6. Ways out
The hypotheses of Corollaries 1–3 are constant parameters, and a band that exists. Relaxing each gives a way out; we list them with the conditions under which they work, all on the DESI+CMB+DESY5 background.
A running . The term in (1) can make positive throughout. For , which runs from at to today, the exact evolution (, , initial data of section 4 imposed at ; growth in e-folds is the logarithm of the maximum of over divided by ) gives
| min | growth from , measured (e-folds) | from (1) | from (1) without | |
|---|---|---|---|---|
| 0 | 25.1 | 27.4 | 27.4 | |
| 0.03 | 10.4 | 10.1 | 24.2 | |
| 0.06 | 0.7 | 0 | 21.4 | |
| 0.10 | 0.2 | 0 | 19.1 |
The comparison confirms the term. A rate satisfies the vacuum condition of [YYS], eq. (4.16). This route is closed if must vanish: the decay of gravitational waves into dark-energy fluctuations forces in the EFT of dark energy [CLTV]. Whether that argument carries over to Freezing Gravity, whose scalar has the additional operator , has not been examined. With , Corollary 1 leaves only the remaining routes.
A negative at intermediate redshift. A constant () reduces the growth (same measure and initial data) from 25.1 to 13.4 (1.8) e-folds. GW170817 constrains at only, so an that is about near and vanishes today is not excluded by it.
A large . For – the rate drops to order , Proposition 1 no longer applies, and the total growth is about a factor 3 at , even with the CPL form extended to . The vacuum condition of [YYS], eq. (4.15), still holds there.
A large . For –, falls below and the band closes. The near-horizon modes are then not described by Proposition 1, and they still grow in the exact evolution: at the amplitude at grows by 33.6 e-folds between and (initial data imposed at ), while at and it does not grow. Whether a large removes the instability therefore depends on the scales , which this note does not resolve.
7. Relation to the stability conditions with matter
For , Yao [Yao] states the closed-form conditions (its eq. (3.24)), (3.25), the no-ghost conditions (3.26), and the high- gradient condition (3.39), . The no-ghost conditions hold at all when , where is that paper’s matter parameter, equal to for dust in our units. Its abstract states that the background and perturbation sectors remain separated, in the sense that they are controlled by independent sets of parameters, allowing arbitrary background evolutions, including phantom crossing, while maintaining stable perturbation dynamics. The separation in that sense holds for Freezing Gravity with dust as well; the example below concerns the stability part of the statement.
Take the DESI+CMB+DESY5 background with , and . Then (3.24) and (3.25) hold, , so (3.26) holds at all , and (3.39) reads . The tensor condition holds, and since all parameters are constant the vacuum conditions (4.15)–(4.16) of [YYS] also hold if the total , which is negative, is inserted into them. At the exact evolution of section 4 grows by 22.5 e-folds between and the crossing, against at leading order from (1). At the amplitude grows by 21.5 e-folds over the same interval at , and by 27.2 e-folds from to at (initial data imposed at ). Initial-data dependence is as in section 4; with the data imposed at the first figure is 19.5 e-folds. The no-ghost results of [Yao] are not affected; the growth is a property of the gradient sector.
The closed-form conditions miss it because of the order of limits. The high- expansion of [Yao], eq. (3.34), is an expansion in inverse powers of at fixed , and its next-to-leading coefficients carry inverse powers of (its Appendix C). Its leading term is the of (7), which dominates only for , beyond . Inside the band, where the -independent term dominates, (3.39) does not constrain the growth; as the band extends to all sub-horizon . That paper also gives a general WKB condition, (3.43), which is not evaluated there on a phantom-crossing background. We have not evaluated it either. A frozen-coefficient evaluation would in any case depend on the choice of variables, as noted in section 3: in the variables at it reproduces (6), while other choices, such as with the shift integrated out at , need not. The example therefore shows that the closed-form conditions (3.24)–(3.26) and (3.39) are not sufficient for stability once dust is present.
8. Limitations and open questions
Proposition 1 is a leading-order statement in and , obtained by size estimates on the exact reduced Lagrangian (5), not a bound on solutions; the exact evolution supports it to a few per cent for and . The band edge (7) is established only numerically. The matter is pressureless and minimally coupled; the radiation correction is computed with frozen coefficients and constant parameters. The DESI numbers use CPL backgrounds with posterior means; they illustrate the size of the effect, while Corollaries 1–3 depend only on the sign structure of (1).
The scales are not resolved: the exact evolution shows growth there even when the band is closed, and [Yao] finds that the kinetic matrix degenerates as . The branch is not treated. It is not known whether the gravitational-wave decay bound applies to Freezing Gravity, which decides whether a running is available. The growth factors exceed , so in an unstable model linear theory fails at a time set by the initial amplitude of ; what happens after that is not addressed. Within the band, a Freezing Gravity realisation of the DESI phantom crossing requires one of the conditions of section 6, for instance , a running or an that departs from zero near ; which of them, if any, is compatible with large-scale-structure and lensing data has not been examined.
References
- Yao, Ye, Silvestri, “A general model for dark energy crossing the phantom divide,” JCAP 10 (2025) 078, arXiv:2508.01378.
- Yao, “Effective field theory for Freezing Gravity with minimally coupled matter,” arXiv:2608.20085.
- Bellini, Sawicki, “Maximal freedom at minimum cost: linear large-scale structure in general modifications of gravity,” JCAP 07 (2014) 050, arXiv:1404.3713.
- Creminelli, D’Amico, Noreña, Vernizzi, “The effective theory of quintessence: the w<−1 side unveiled,” JCAP 02 (2009) 018, arXiv:0811.0827.
- De Felice, Frusciante, Papadomanolakis, “On the stability conditions for theories of modified gravity in presence of matter fields,” JCAP 03 (2017) 027, arXiv:1609.03599.
- Gleyzes, Langlois, Vernizzi, “A unifying description of dark energy,” arXiv:1411.3712.
- Langlois, Mancarella, Noui, Vernizzi, “Effective description of higher-order scalar-tensor theories,” JCAP 05 (2017) 033, arXiv:1703.03797.
- DESI Collaboration, “DESI DR2 results II: measurements of baryon acoustic oscillations and cosmological constraints,” arXiv:2503.14738.
- LIGO Scientific Collaboration, Virgo Collaboration, Fermi GBM, INTEGRAL, “Gravitational waves and gamma-rays from a binary neutron star merger: GW170817 and GRB 170817A,” arXiv:1710.05834.
- Creminelli, Lewandowski, Tambalo, Vernizzi, “Gravitational wave decay into dark energy,” arXiv:1809.03484.