arxiv: 2603.06805 · v1 · submitted 2026-03-06 · 🌌 astro-ph.CO

Recognition: 2 theorem links

· Lean Theorem

Signatures of Extended Dark Energy Parametrisations in Structure Formation under Background Constraints

Greco A. Pe\~na , Mario H. Amante , Javier Chagoya , Cristian Barrera-Hinojosa , C. Ortiz , Graeme Candlish

Authors on Pith no claims yet

Pith reviewed 2026-05-15 14:36 UTC · model grok-4.3

classification 🌌 astro-ph.CO

keywords dark energy equation of statestructure formationN-body simulationsmatter power spectrumhalo mass functionbackground constraintsnon-linear evolutioncosmological models

0 comments

The pith

Even modest background variations in the dark energy equation of state lead to distinct non-linear signatures in the matter power spectrum and halo abundances.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper tries to establish that different parametrizations of the dark energy equation of state, when fitted only to background data, still produce different histories of structure growth that become visible once non-linear effects take hold. N-body simulations initialized with the best-fit parameters for LambdaCDM, wCDM, CPL and Chebyshev models reveal a clear ordering in which the Chebyshev and CPL cases show boosted small-scale power, earlier halo formation and a shift of excess power toward higher masses by the present day. A sympathetic reader would care because these results indicate that large-scale structure observables carry additional information capable of distinguishing models that remain consistent with one another at the level of expansion history alone.

Core claim

Although all models remain broadly consistent with LambdaCDM at the background level, differences in the physical matter density Omega_0m h^2 and in the expansion history H(z) lead to distinct growth histories that are amplified by non-linear evolution, producing a clear hierarchy in the power spectrum amplitude and in sigma_8, with the Chebyshev and CPL models exhibiting enhanced small-scale power, earlier halo formation at z greater than or equal to 2 and a migration of excess toward higher masses at late times.

What carries the argument

N-body simulations initialized with cosmology-dependent initial conditions taken from best-fit background parameters, which convert small differences in Omega_0m h^2 and H(z) into amplified non-linear growth signatures.

If this is right

The power spectrum amplitude follows a hierarchy with Chebyshev and CPL models above LambdaCDM and wCDM in between.
Halo formation occurs earlier at redshifts greater than or equal to 2 in the Chebyshev and CPL cases.
Excess power migrates toward higher-mass halos by the present day in the extended models.
Halo density profiles remain largely universal when expressed in the scaled radius r over R_200c across all cosmologies.
Large-scale structure observables acquire additional constraining power on extended dark energy parametrizations beyond what background data alone supply.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Adding baryonic feedback to the simulations could reduce or alter the size of the reported hierarchy in small-scale power.
Weak-lensing or galaxy-clustering surveys that reach higher wavenumbers could provide an independent check of the predicted growth differences.
The universality of scaled halo profiles suggests that the dark energy parametrization mainly influences the background expansion and linear growth rather than the internal gravitational collapse inside halos.

Load-bearing premise

That the best-fit background parameters fully capture the relevant physics for growth and that standard N-body simulations without baryonic feedback or other effects are sufficient to reveal the reported hierarchy in power spectrum and halo abundance.

What would settle it

A high-precision measurement of the matter power spectrum at wavenumbers around 1 h per Mpc showing no excess amplitude in the Chebyshev or CPL models relative to LambdaCDM at redshift zero would falsify the claim that background-level w(z) variations produce coherent non-linear signatures.

read the original abstract

We study structure formation in alternative cosmological models constrained by background observations, including $\Lambda$CDM, wCDM, the Chevallier-Polarski-Linder parametrisation and a flexible Chebyshev expansion of the dark energy equation of state. The models are constrained using baryon acoustic oscillations, cosmic microwave background, cosmic chronometers and strong lensing measurements. Using the best-fitting parameters, we generate cosmology-dependent initial conditions and perform N-body simulations to analyse the matter power spectrum, halo mass function and halo density profiles. Although all models remain broadly consistent with $\Lambda$CDM at the background level, differences in the physical matter density $\Omega_{0m}h^2$ and in the expansion history $H(z)$ lead to distinct growth histories that are amplified by non-linear evolution. We find a clear hierarchy in the power spectrum amplitude and in $\sigma_8$, with the Chebyshev and CPL models exhibiting enhanced small-scale power, earlier halo formation at $z\gtrsim2$ and a migration of excess toward higher masses at late times. The wCDM model displays milder and partially compensating effects driven by its different expansion history. When expressed in terms of the scaled radius $r/R_{200c}$, halo density profiles show a high degree of universality across cosmologies, indicating that internal halo structure is largely governed by the same gravitational dynamics. These results demonstrate that even modest background-level variations in $w(z)$ can translate into coherent non-linear signatures, highlighting the constraining power of large-scale structure observables in extended dark energy models.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Background-constrained flexible w(z) models produce a hierarchy in non-linear power and halo formation in DM-only runs, but baryonic feedback could erase the differences.

read the letter

The main thing to know is that this paper fits LambdaCDM, wCDM, CPL, and a Chebyshev expansion of w(z) to background data from BAO, CMB, chronometers, and strong lensing, then runs N-body simulations and finds that the Chebyshev and CPL cases end up with higher small-scale power, larger sigma8, and earlier halo formation at z greater than 2 compared to the others. The differences trace back to variations in Omega_m h^2 and H(z) that get boosted by non-linear growth, while scaled halo profiles stay roughly universal across models. That part is straightforward and follows from standard methods applied to these specific parametrizations. The work is clear on the pipeline and reports a plausible ordering that is not already standard in the cited literature. The soft spot is the dark-matter-only simulations. Baryonic feedback suppresses power at k greater than or equal to 1 h/Mpc by amounts that can match or exceed the reported cosmological hierarchy, so the claimed signatures need checking against more realistic runs before they can be treated as robust observables. The paper sticks to best-fit background parameters without sampling the full posterior, which leaves open whether the hierarchy holds across the allowed range. This is useful for people planning non-linear analyses in next-generation surveys, where the question of how background variations translate to structure is directly relevant. The methods are established and the results are internally consistent, so it deserves a serious referee to tighten the systematics and test the feedback robustness.

Referee Report

1 major / 2 minor

Summary. The paper constrains extended dark energy models (wCDM, CPL, Chebyshev expansion of w(z)) to background data (BAO, CMB, cosmic chronometers, strong lensing) and then runs N-body simulations with the best-fit parameters to study the matter power spectrum, halo mass function, and halo density profiles. It reports that modest background differences in Ω₀m h² and H(z) are amplified by non-linear evolution, producing a hierarchy in P(k) amplitude and σ₈ (with Chebyshev and CPL showing enhanced small-scale power and earlier halo formation), while halo profiles remain universal when scaled by r/R_{200c}.

Significance. If the results hold, the work shows that background-level variations in w(z) produce observable non-linear signatures in large-scale structure, underscoring the constraining power of P(k) and halo statistics beyond background observables alone. The pipeline of independent background fitting followed by gravitational evolution in simulations is a strength, as it avoids circularity and isolates the growth effects.

major comments (1)

[N-body Simulations and Results sections] N-body Simulations and Results sections: the reported hierarchy in P(k) at k ≳ 1 h Mpc^{-1} and in halo abundance relies on dark-matter-only simulations. Baryonic feedback is known to suppress small-scale power by amounts comparable to or exceeding the cosmological differences shown; without including feedback or quantifying its differential impact across models, the robustness of the non-linear amplification claim cannot be assessed.

minor comments (2)

[Abstract and Results] Abstract and §4: specify the precise k-range and redshift bins over which the power-spectrum hierarchy is quantified to facilitate comparison with observations.
[Methods] Methods: state the exact number of realizations and box sizes used for the initial conditions and simulations to allow reproducibility assessment.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their thorough review and constructive feedback. We address the single major comment below.

read point-by-point responses

Referee: [N-body Simulations and Results sections] N-body Simulations and Results sections: the reported hierarchy in P(k) at k ≳ 1 h Mpc^{-1} and in halo abundance relies on dark-matter-only simulations. Baryonic feedback is known to suppress small-scale power by amounts comparable to or exceeding the cosmological differences shown; without including feedback or quantifying its differential impact across models, the robustness of the non-linear amplification claim cannot be assessed.

Authors: We agree that the simulations are dark-matter-only and that baryonic feedback can suppress small-scale power at levels comparable to or larger than the reported model differences. This is a genuine limitation for absolute amplitudes at k ≳ 1 h Mpc^{-1}. The relative hierarchy we report originates from differences in the linear growth factor and expansion history that are fixed by the background constraints; these gravitational effects are expected to persist, but differential baryonic impacts across models cannot be quantified without hydrodynamical runs. In the revised manuscript we will add an explicit discussion subsection (in Results and Conclusions) that (i) states the DM-only nature of the simulations, (ii) cites the relevant baryonic-feedback literature, and (iii) clarifies that the reported signatures should be interpreted as the purely gravitational imprint of the background-constrained w(z) models. We will also note that full hydrodynamical follow-up is planned for future work. This constitutes a partial revision that improves transparency without altering the core results. revision: partial

Circularity Check

0 steps flagged

No significant circularity; structure-formation results follow from independent N-body evolution

full rationale

The paper first constrains the dark-energy models (ΛCDM, wCDM, CPL, Chebyshev) exclusively against background data (BAO, CMB, cosmic chronometers, strong lensing) to obtain best-fit values of Ω₀m h² and H(z). These fixed parameters are then used only to set the initial conditions and expansion history for standard N-body simulations. The reported hierarchy in P(k), σ₈, halo mass function and density profiles is generated by the subsequent gravitational evolution inside those simulations. No equation or step equates the non-linear outputs to the background fit by construction, no self-citation supplies a load-bearing uniqueness theorem, and no ansatz is smuggled in. The derivation chain therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

1 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard cosmological assumptions plus parameters fitted to background observations; no new entities are postulated.

free parameters (1)

dark energy equation-of-state parameters
Coefficients for wCDM, CPL and Chebyshev expansions are determined by fitting to BAO, CMB, chronometers and lensing data.

axioms (1)

domain assumption General relativity governs gravitational collapse on the scales simulated
Standard assumption underlying all N-body cosmological simulations.

pith-pipeline@v0.9.0 · 5606 in / 1284 out tokens · 53779 ms · 2026-05-15T14:36:48.275423+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We study structure formation in alternative cosmological models... Chevallier-Polarski-Linder parametrisation and a flexible Chebyshev expansion of the dark energy equation of state... N-body simulations to analyse the matter power spectrum, halo mass function and halo density profiles.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

differences in the physical matter density Ω0mh² and in the expansion history H(z) lead to distinct growth histories

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.