{"id":"e947bd14-deeb-46a8-a95e-6ae28fdd73f3","arxiv_id":"2412.13894","paper_version":3,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":3,"one_line_summary":"Under the null energy condition, BAO distances can deviate from Lambda-CDM only in one direction, and DESI's main apparent tensions sit on the forbidden side.","lead":"This paper derives strict, one-sided inequalities on BAO distances that any ordinary dark energy model must obey. It then shows that current DESI BAO tensions mostly point into the forbidden region, so acoustic data still favor Lambda-CDM unless the null energy condition fails.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Central inequalities are sound, but the DESI conclusion hinges on the early-universe assumption; if EDE or modified recombination changes r_*, the one-sided constraints and the 'unless NEC violated' interpretation fail.","rationale":"The paper is an internally consistent derivation with explicit assumptions. The early-universe assumption is the weakest link, but it is clearly stated and standard in the literature. The reader correctly identifies it. However, the paper does not overclaim: the abstract and conclusion qualify the result to standard early-universe physics. The derivation of Eq. (2.6) and Table I checks out, the crossing argument is sound, and the DESI application is transparent about using Planck early-Lambda-CDM constraints. The concern about early-time changes is real but it delimits the domain of validity rather than invalidating the stated theorem. Therefore the concern does not undermine the central claim as stated; it only emphasizes the conditionality that the paper already declares. No change to the reader's ACCEPT verdict is needed.","tokens_in":15789,"tokens_out":17856,"duration_ms":163919,"concrete_test":"Run a Markov chain over Planck PR4 early-Lambda-CDM parameters plus a simple early dark energy model (e.g., one extra parameter Omega_EDE with z_c about 10^3.5), recompute r_drag for each sample, and re-plot the DESI DR2 points in the D_M/D_LambdaM versus D_H/D_LambdaH plane at fixed theta*. If the four excluded points shift into the NEC-allowed region for Omega_EDE <= 0.02, the conclusion that DESI disfavors NEC-consistent models relies on the assumption of no early DE; if they remain excluded, the conclusion is robust to small early-time changes.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's no-go inequalities follow rigorously from Friedmann + NEC + fixed theta* and fixed non-dark-energy parameters. The single load-bearing assumption is that dark energy is negligible at recombination, so r_* and r_drag are fixed and D_M(z*) is pinned by theta*. This is stated in Sec. II, but the DESI application in Sec. IV depends on it: the excluded DESI points (LRG2, LRG3+ELG1, ELG2, Lya) deviate from Lambda-CDM at the 1-2% level, and even a small early dark energy component (Omega_EDE of order a few percent) or a shift in recombination physics can change r_drag by a comparable amount. If r_drag shifts, the ratio D_M/r_drag moves relative to the Lambda-CDM prediction, and the points can leave the excluded region without any NEC violation. The paper does not quantify how large an early-time modification is required to rescue the data; it only asserts the standard-early-physics assumption. Thus the central claim 'acoustic data favor Lambda-CDM unless NEC is violated' should be read as conditional on standard early-time physics, and its applicability to the real universe depends on the degree to which that assumption is enforced by current data.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper derives one-sided inequalities for BAO observables relative to Lambda-CDM under the assumptions of flat FRW, non-interacting dark energy satisfying the null energy condition (NEC), fixed theta_* and fixed non-dark-energy parameters (Omega_m h^2, Omega_b h^2, neutrino masses, curvature), and negligible dark energy at recombination. Starting from the Friedmann equation and d rho_de/dz >= 0, the authors prove Eq. (2.6) and then a chain of results: DH(0) > D^Lambda_H(0), a single crossing of DH/D^Lambda_H, DM(z) >= D^Lambda_M(z) for all z, DH/D^Lambda_H <= DM/D^Lambda_M, F_AP >= F^Lambda_AP, and corresponding bounds on DV. The inequalities are applied to the CPL parameterization, producing consistency lines in the (w0, wa) plane, and to DESI DR2 BAO data, where several central data points lie in the NEC-forbidden region. The paper concludes that acoustic-scale data favour Lambda-CDM over NEC-consistent alternatives unless the NEC is violated, conditional on standard early-universe physics.","tokens_in":16015,"tokens_out":15912,"duration_ms":150189,"significance":"The central theoretical contribution is valuable and clean: it converts the NEC into directly testable, model-independent one-sided constraints on distance observables, with no fitted constants entering the inequalities. The crossing argument, the l'Hopital limit at z=0, and the derived DM, F_AP, and DV bounds are internally consistent and clearly presented. The application to DESI DR2 is transparent, and the authors are explicit that the results depend on dark energy being negligible at recombination and on non-interacting dark energy; they also list early-universe modifications, interacting dark energy, and modified gravity as possible escape routes. The CPL consistency lines provide a practical diagnostic for interpreting apparent deviations from Lambda-CDM. The paper is a useful addition to the literature even though some of its broad conclusions overlap with earlier work.","major_comments":[],"minor_comments":[{"comment":"The abstract's final phrase '... unless the null-energy condition is violated' should be qualified by 'assuming standard early-universe physics and non-interacting dark energy, as assumed in Sec. II.' The paper itself notes in Sec. III and the Conclusions that changes around recombination (e.g., early dark energy or modified recombination) could also move the data out of the forbidden region without any NEC violation; carrying that qualifier into the abstract would prevent the advertised conclusion from being read as stronger than the theorem.","section":"Abstract / Sec. V"},{"comment":"The displayed equality is a typo: d(DM^3)/d(D^Lambda_M^3) equals (DV/D^Lambda_V)^3, not DV/D^Lambda_V. The correct relation is DV/D^Lambda_V = [d(DM^3)/d(D^Lambda_M^3)]^{1/3}. The subsequent crossing argument is unaffected once the exponent is corrected, but the equation should be fixed.","section":"Sec. II.D, Eq. (2.22)"},{"comment":"The data-interpretation claim that acoustic data 'favour Lambda-CDM' is qualitative. A quantitative statement, such as the posterior probability mass in the NEC-forbidden region from the chains used for Fig. 4 or an effective significance for the preference, would make the conclusion more precise and easier to compare with future analyses.","section":"Sec. IV / Fig. 3"},{"comment":"The approximate consistency line wa = -4(1+w0) is presented without derivation. A brief derivation or a comment on its domain of validity would help readers apply the CPL consistency criterion to other fixed values of theta_* and matter densities.","section":"Sec. III / Fig. 2"}],"recommendation":"minor_revision","confidential_remarks":"The manuscript fits the journal's scope and is appropriately generous in citing related work. My concerns are limited to presentation and wording; the central theorem and its proof are sound."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper's real contribution is Table I: a complete set of one-sided inequalities on D_H, D_M, D_V and F_AP relative to LambdaCDM, derived from the Friedmann equation, the null energy condition, and a fixed CMB acoustic scale. That systematic statement is new as a package, even though individual results for specific models exist. The derivations are clean; the crossing argument, the monotonicity of R(z), and the l'Hopital step at z=0 all check out. I looked for a gap and found none.\n\nThe DESI application is also fairly handled. They use Planck early-LambdaCDM constraints, show how parameter shifts move the reference predictions in Fig. 7, and openly say the broad conclusion is not new. The max(w,-1) CPL model is a nice way to show how much of the apparent w0-wa signal lives in the NEC-violating part of the parameter space.\n\nThe soft spot is the one everyone sees: standard early-universe physics. The inequalities fix r* and r_drag, so if early dark energy or modified recombination shifts r_drag by even ~1%, the DESI points in the excluded region can move back to allowed territory without any NEC violation. The authors state the assumption and list early-universe changes among possible alternatives, but they never quantify the required shift. Because the DESI deviations are at the 1-2% level, that omission matters for the headline claim. The abstract's 'unless the NEC is violated' is too categorical; it should say 'unless the NEC is violated or early-universe physics changes.' That is a wording issue more than a mathematical one.\n\nA smaller point: the Gaussian CMB likelihood approximation is fine for illustration, and the CPL consistency lines are clearly labeled as model-dependent. Nothing there bothers me.\n\nOverall, the analytical core is solid and the interpretation is useful for anyone reading DESI DR2 contours. I'd value this on the record. Send it to a referee, ask them to press on the EDE rescue amount, and the paper will be in good shape.","headline":"A clean, useful systematization of NEC-based one-sided BAO inequalities, with a caveat about early-universe physics that should be made explicit.","tokens_in":16570,"tokens_out":2386,"would_cite":true,"duration_ms":23023,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["98.80.-k","98.80.Es","95.36.+x"],"model":"deepseek-v4-flash","headline":"This paper claims that with fixed $\\theta_*$ and standard early-universe physics, the null energy condition forces BAO distances to stay on the $\\Lambda$CDM side of one-sided inequalities, so current acoustic data favor $\\Lambda$CDM…","keywords":["null energy condition","baryon acoustic oscillations","cosmic microwave background acoustic scale","dark energy","Lambda-CDM","CPL parameterization","DESI DR2 BAO","comoving distances"],"falsifier":"Measure $D_M(z)$ and $D_H(z)$ from a future high-precision BAO survey at a redshift where the central value of $D_M(z)$ falls below the $\\Lambda$CDM prediction by more than the combined statistical and systematic uncertainty, after marginalising over the allowed shifts in $\\Lambda$CDM parameters from CMB data. That observation would sit inside the excluded region and, within the paper's assumptions, would falsify the claim that every NEC-respecting non-interacting dark energy model has $D_M \\ge D_M^\\Lambda$.","tokens_in":15561,"feed_emoji":"🌌","tokens_out":11076,"duration_ms":89172,"temperature":0.7,"pith_summary":"This paper argues that the null energy condition (NEC) turns the cosmic microwave background angular scale $\\theta_*$ into a one-sided constraint on low-redshift BAO measurements. For any non-interacting dark energy model that respects the NEC and has the same early-universe physics as $\\Lambda$CDM, the comoving distance $D_M(z)$ must be at least as large as the $\\Lambda$CDM prediction at every redshift, the Alcock-Paczynski parameter $F_{\\rm AP}(z)$ must be at least as large, and $D_H(z)$ can cross the $\\Lambda$CDM curve only once. Because current DESI DR2 BAO points with $D_M$ below the $\\Lambda$CDM prediction lie exactly where no NEC-respecting model can go, the acoustic data do not prefer dynamical dark energy: they prefer $\\Lambda$CDM, or else require a violation of the NEC or a change in early-universe physics. The same logic gives a map of which regions of the $(w_0,w_a)$ CPL parameterization are physically allowed.","feed_headline":"Acoustic data favor ΛCDM once the null energy condition is enforced","feed_subtitle":"For a fixed CMB scale, NEC-consistent dark energy must keep D_M above ΛCDM; current BAO points fall below.","key_machinery":"The machinery is the Friedmann equation plus the null energy condition applied to a non-interacting dark energy fluid. For fixed $\\theta_*$, the comoving distance to last scattering is the same in every model, giving the integral constraint $\\int_0^{z_*} D_H\\,dz = \\int_0^{z_*} D_H^\\Lambda\\,dz$. The NEC implies $d\\rho_{\\rm de}/dz \\ge 0$, which turns into the differential bound $dD_H/dz \\le (D_H/D_H^\\Lambda)^3\\, dD_H^\\Lambda/dz$. Integrating this bound yields the one-sided inequalities; the key derived object is the ratio $D_H/D_H^\\Lambda$, which starts above 1 at $z=0$, decreases monotonically, crosses once at $z=z_c$, and asymptotes to 1 at high $z$. The paper also uses the CPL parameterization $w(a) = w_0 + w_a(1-a)$ to map consistency lines, notably $w_a \\approx -4(1+w_0)$, below which the predicted sign of the deviation from $\\Lambda$CDM is NEC-inconsistent at all redshifts.","core_discovery":"The central claim is a set of exact inequalities. Fix the non-dark-energy parameters (matter densities, neutrino masses, curvature) and the CMB scale $\\theta_*$, and assume dark energy is negligible at recombination; then for any homogeneous non-interacting dark energy fluid with $\\rho_{\\rm de} \\ge 0$ and the NEC, the following hold for all relevant $z$: $D_M(z) \\ge D_M^\\Lambda(z)$; $F_{\\rm AP}(z) \\ge F_{\\rm AP}^\\Lambda(z)$; $D_H(z)/D_H^\\Lambda(z) \\le D_M(z)/D_M^\\Lambda(z)$; $D_H(0) \\ge D_H^\\Lambda(0)$; and $D_H(z)$ crosses the $\\Lambda$CDM curve exactly once, from above at low $z$ to below at high $z$. The paper then shows that the region $D_M < D_M^\\Lambda$, which several DESI DR2 BAO central values fall into, is excluded by these inequalities, and that the best-fit CPL dark energy model ($w_0 = -0.50$, $w_a = -1.47$) requires phantom-like behaviour to fit those points. It concludes that, under the stated assumptions, current acoustic-scale data favour $\\Lambda$CDM over any NEC-consistent non-interacting dark energy model, and that apparent tension in the $(w_0,w_a)$ plane is a sign of NEC inconsistency rather than evidence for dynamical dark energy.","pith_inferences":["If future data robustly occupy the excluded region, the most economical ways out are early dark energy, extra radiation, or interacting dark energy — models that change the sound horizon $r_*$ — rather than a simple late-time quintessence field.","The one-sided inequalities suggest a simple model-independent statistic for acoustic data: the count of independent BAO redshift bins with $D_M$ more than $1\\sigma$ below the $\\Lambda$CDM prediction, which should be near zero under the NEC.","The same $\\theta_*$-anchored reasoning could be applied to high-redshift distance measurements from other standard rulers, such as gravitational-wave standard sirens, to test whether the excluded region is populated.","Because the CPL best-fit lies in the NEC-violating region, CPL contours from BAO data are not a reliable guide to physical dark energy behaviour until the NEC is imposed."],"forward_implications":["The Hubble parameter today must satisfy $H_0 < H_0^\\Lambda$ at fixed $\\theta_*$, so NEC-consistent dark energy cannot resolve the distance-ladder Hubble tension; it can only make it worse.","Any future BAO point with $D_M/D_M^\\Lambda < 1$, if robust, is either a NEC violation, a systematics error, or evidence for non-standard early-universe physics rather than evidence for ordinary quintessence.","The excluded region in the $(w_0,w_a)$ plane gives a direct test of whether a CPL fit to BAO data is physically interpretable; contours centred below the $w_a \\approx -4(1+w_0)$ line are NEC-inconsistent.","Uncalibrated supernova distance ratios inherit the monotonicity of $D_M/D_M^\\Lambda$, so a measured ratio increase at low $z$ consistent with thawing-like behaviour is allowed by the NEC but still worsens the absolute-distance tension.","The inequalities apply to $F_{\\rm AP}$ and $D_V$ as well, so a measured Alcock-Paczynski parameter below the $\\Lambda$CDM value at any $z$ would be forbidden under the same assumptions."],"supporting_citations":[{"why":"supplies the precise CMB angular scale measurement that anchors the fixed acoustic scale.","marker":"[1]"},{"why":"shows how to constrain early-universe parameters almost independently of late-time cosmology, providing the fixed-parameter basis.","marker":"[2]"},{"why":"provides the DESI DR1 BAO distance measurements that the analysis extends.","marker":"[3]"},{"why":"provides the DESI DR2 BAO measurements whose central values are compared with the exclusion regions.","marker":"[4]"},{"why":"discusses interpreting dark energy constraints away from $\\Lambda$ and motivates the NEC-consistency checks generalised here.","marker":"[8]"},{"why":"establishes that the weak energy condition restricts the expansion history through non-decreasing density.","marker":"[11]"},{"why":"defines the CPL equation-of-state parameterization used to map consistency regions.","marker":"[12]"},{"why":"introduces the $w(a)=w_0+w_a(1-a)$ form of the CPL parameterization used throughout.","marker":"[13]"},{"why":"provides a thawing-model reference point and assesses how close observable predictions can get to the consistency line.","marker":"[14]"}],"fun_headline_variants":["NEC rules out non-Λ dark energy in BAO data","Acoustic data favor ΛCDM when NEC holds","BAO tensions vanish under null energy condition","Physical DE can't beat ΛCDM in acoustic data"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole argument assumes the comoving sound horizon and the distance to last scattering are the same in every model, so anything that changes early-universe physics — early dark energy, extra relativistic species, modified recombination, interacting dark energy, or a different curvature parameter — takes the conclusion outside the theorem.","fun_headline_variants_meta":{"raw":{"variants":["NEC rules out non-Λ dark energy in BAO data","Acoustic data favor ΛCDM when NEC holds","BAO tensions vanish under null energy condition","Physical DE can't beat ΛCDM in acoustic data"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000181,"raw_usage":{"total_tokens":1399,"prompt_tokens":1127,"completion_tokens":272,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":743,"completion_tokens_details":{"reasoning_tokens":207}},"tokens_in":743,"tokens_out":272,"duration_ms":3493,"temperature":1.0,"reasoning_tokens":207,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T12:41:09.523477+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Measure $D_M(z)$ and $D_H(z)$ from a future high-precision BAO survey at a redshift where the central value of $D_M(z)$ falls below the $\\Lambda$CDM prediction by more than the combined statistical and systematic uncertainty, after marginalising over the allowed shifts in $\\Lambda$CDM parameters from CMB data. That observation would sit inside the excluded region and, within the paper's assumptions, would falsify the claim that every NEC-respecting non-interacting dark energy model has $D_M \\ge D_M^\\Lambda$.","supporting_citations":[{"cited_title":"(2.3) combined with the Friedmann equation implies: Z z∗ 0 dzp ρm(z) + ρde(z) = Z z∗ 0 dzp ρm(z) + ρΛ","cited_arxiv_id":null,"evidence_quote":"supplies the precise CMB angular scale measurement that anchors the fixed acoustic scale."},{"cited_title":"2.3) implies that DH (z) and DΛ H (z) must cross at some redshift zc: DH (zc) = DΛ H (zc) for some 0 < zc < z∗","cited_arxiv_id":null,"evidence_quote":"shows how to constrain early-universe parameters almost independently of late-time cosmology, providing the fixed-parameter basis."},{"cited_title":"(2.12) At low redshift before the crossing point, z < zc, we have DH (z) > DΛ H (z), which implies that DM (z) = Z z 0 DH (z′) dz′ > Z z 0 DΛ H (z′) dz′ = DΛ M (z)","cited_arxiv_id":null,"evidence_quote":"provides the DESI DR1 BAO distance measurements that the analysis extends."},{"cited_title":"(2.11) that DH /DΛ H ≤ 1","cited_arxiv_id":null,"evidence_quote":"provides the DESI DR2 BAO measurements whose central values are compared with the exclusion regions."}],"review_version":1}