Alphabeta Math
ExperimentStatement: Literature-sourcedProof: Not applicablePipeline-generatedprecheck pass‡ sources checked 2026-11-04
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

DESI DR2 BAO measurements and qualified dark-energy inference

Physical scope

Source-reported DESI DR2 baryon-acoustic-oscillation measurements and specified cosmological data/model comparisons. The results are not direct measurements of string theory.

Setup

The source reports baryon acoustic oscillation (BAO) distance measurements from more than 14 million DESI Data Release 2 galaxies and quasars observed over three years, together with the companion Lyman-α forest BAO results. DESI is the Dark Energy Spectroscopic Instrument on the 4-m Nicholas U. Mayall Telescope at Kitt Peak. Its robotic focal plane assigns 5000 fibers across a 7-square-degree field; ten spectrographs record target, calibration-star and sky spectra from 360 to 980 nm. The paper analyzes main-survey observations from 14 May 2021 through 9 April 2024. It reports wavelength and flux calibration from this setup; this item does not independently reprocess or recalibrate those spectra.

The paper's Table 2 reports 1,188,526 bright-galaxy-sample (BGS) entries in 0.1<z<0.4, 4,468,483 luminous-red-galaxy (LRG) entries in 0.4<z<1.1, 6,534,844 emission-line-galaxy (ELG) entries in 0.8<z<1.6, and 2,062,839 quasar (QSO) entries in 0.8<z<3.5. Their assignment completeness and redshift-success fractions are, respectively, BGS 75.5% and 98.8%, LRG 82.6% and 99.0%, ELG 53.7% and 73.9%, and QSO 93.6% and 68.0%. The paper states that the success rates and completeness are computed without additional redshift cuts; the sample ranges and footprints also differ by tracer. Table 3 gives the BAO fitting bins: BGS 0.1<z<0.4, LRG1 0.4<z<0.6, LRG2 0.6<z<0.8, the baseline combined LRG3+ELG1 sample 0.8<z<1.1, ELG2 1.1<z<1.6, and QSO 0.8<z<2.1. In the overlapping 0.8<z<1.1 interval, the baseline fit combines LRG3 and ELG1; Table 3 also reports their separate counts. The companion Lyman-α analysis uses forest spectra of quasars above z=2.09 and quasar positions above z=1.77 for the cross-correlation; its forest BAO sample covers 1.8<z<4.2. These are selected catalog entries, not a single complete sample with uniform redshift coverage. For this item, a spatially flat homogeneous and isotropic FLRW background means the spacetime I×R3 with metric ds2=−c2dt2+a(t)2δijdxidxj, where I is an open interval measured in seconds, t∈I, x∈R3 has coordinates in metres, a:I→(0,∞) is a smooth dimensionless scale factor, and c is the speed of light in metres per second. A comoving observer is the worldline t↦(t,x0) for fixed x0; the metric makes t its proper-time parameter. The fitted branch is expanding over the sampled redshift range: a˙>0. Normalize a(t0)=1 today, define redshift by 1+z=a(t0)/a(t), and set H(t)=a˙(t)/a(t) and H(z)=H(t(z)), with H in inverse seconds. For nonnegative redshifts in the fit, define the transverse comoving and radial Hubble distances by DM(z)=c∫0zdz′H(z′),DH(z)=cH(z), and the comoving sound horizon at baryon-drag redshift zd by rd=∫zd∞cs(z)H(z) dz, where zd is the redshift at which baryons cease to be efficiently dragged by photons in the adopted early-time model, and cs(z) is the propagation speed, in metres per second, of its coupled baryon-photon acoustic mode. Require H(z)>0 over the integration ranges and finite rd in each fit. The isotropic BAO distance is DV(z)=[zDH(z)DM(z)2]1/3. Here DM,DH,DV,rd have units of length, and the reported ratios DM/rd, DH/rd, and DV/rd are dimensionless. For the model-level galaxy/quasar correlation, let Ξ be a set of tracer realizations, let A be a sigma-algebra on Ξ, and let P be a countably additive probability measure on A with P(Ξ)=1. For tracer t, let Ωt⊆R3 be the measurable comoving survey window selected by its sky mask and redshift range. A model number-density field is a jointly measurable map nt:Ξ×Ωt→[0,∞) on the product of A and the Borel sigma-algebra of Ωt, with finite second moments at the pairs used. Its mean intensity is nˉt(x):=EP[nt(⋅,x)], assumed finite and strictly positive on Ωt; both fields have units of number per comoving volume. Define the dimensionless model overdensity δt(ω,x):=nt(ω,x)/nˉt(x)−1. The redshift-space model two-point function is ξt(x,r):=EP[δt(⋅,x)δt(⋅,x+r)] whenever both positions lie in Ωt. The observed catalogs are finite and discrete, not smooth density functions; this equation defines a model correlation and assumes no smoothness of catalog data. For a forest sightline q and selected spectral pixel λ, the dimensionless transmitted-flux contrast is δq(λ)=fα,q(λ)F‾(λ)Cq(λ)−1, where fα,q is the measured spectral flux density, F‾(λ)>0 is the dimensionless mean transmission, and Cq(λ)>0 is the unabsorbed quasar continuum in the same flux-density units as fα,q. On the retained pixels, the fitted expected flux is the product F‾(λ)Cq(λ); the continuum alone is not the denominator. The source's BAO feature is the acoustic-scale excess in its binned redshift-space galaxy/ quasar and forest correlations, fit against the paper's templates. The ratios are inferred fit parameters relative to the model sound horizon, not direct measurements of absolute distances. Distances are reported in Mpc, with factors of c and H converted consistently.

The baseline flat ΛCDM comparison is the paper's spatially flat Friedmann–Lemaître–Robertson–Walker cosmology in general relativity with a cosmological-constant component whose pressure equals minus its energy density, pressureless cold dark matter and baryons at late times, photons, and the standard baseline neutrino sector (Neff=3.044 and fixed ∑mν=0.06 eV in the source's baseline model). Here Neff is its effective relativistic-species parameter and ∑mν is the total neutrino rest mass; both are fixed inputs in this analysis, not fitted parameters. Their homogeneous components use perfect-fluid stress tensors Tμν=diag⁡(−ρ,p,p,p) in the stated comoving frame; pressureless matter has p=0 and the cosmological-constant component has pΛ=−ρΛ. Their densities and the likelihoods are inputs to the fit, not results of this item. The cosmological interpretation combines the BAO estimates with stated cosmic-microwave-background (CMB) likelihoods and, in separate fits, Type Ia supernova samples.

The dynamical-dark-energy extension replaces the cosmological-constant equation of state with that of a homogeneous effective component, w(a)=w0+wa(1−a), where w(a)=pde(a)/ρde(a), with pde and ρde the model pressure and energy density. Since a(t0)=1, w0 is the present equation-of-state parameter; wa controls its linear dependence on 1−a. The fits remain spatially flat. The authors use broad uniform priors w0∈[−3,1], wa∈[−3,2], and impose w0+wa<0 to enforce early matter domination. These choices are part of the reported analysis.

Procedure

The spectra are reduced and redshifts estimated through the DESI pipelines. The paper reports an original homogeneous reduction (Kibo) and a corrected rerun (Loa) after a co-addition error between separate exposures was found; about 0.1% of redshifts changed significantly between them, and both catalog versions are released. The analysis constructs large-scale-structure catalogs, blinds the BAO peak position until analysis choices are fixed, and applies IterativeFFT density-field reconstruction to galaxy/quasar catalogs. It then estimates the binned redshift-space two-point correlation with the post-reconstruction Landy–Szalay estimator ξ^rec=(DD−2DS+SS)/RR, where D is the displaced data catalog, S is the shifted random catalog, and R is an unshifted random catalog sampling the source-defined survey selection function. Here DD, DS, SS, and RR are the respective source-normalized weighted pair counts in a bin, with RR>0. The numerator uses displaced data and shifted randoms; its normalization uses unshifted randoms. The estimator retains the source's reconstruction convention, pair weights and normalizations. The bin coordinates are s, the redshift-space pair separation, and μ=cos⁡θ, where θ is the angle between the pair and the line of sight; the source decomposes the binned correlation into Legendre multipoles, focusing on the monopole and quadrupole. These are estimates from finite catalogs, not pointwise evaluations of the model fields. For the Lyman-α forest, the companion source's picca analysis fits the expected-flux product F‾Cq using a universal rest-frame template and two diversity parameters per quasar. It forms four correlations: region A (1040–1205 A˚) with A, A with region B (920–1020 A˚), and each region with quasars. The analysis uses line-of-sight and transverse comoving separations and fits these correlations with the source's stated covariance. For a fixed fiducial cosmology, whose distances and sound horizon carry the superscript fid, define the dimensionless template dilations at positive fitted redshift by α∥(z)=DH(z)rdfidDHfid(z)rd,α⊥(z)=DM(z)rdfidDMfid(z)rd,αiso=(α∥α⊥2)1/3,αAP=α∥/α⊥. The fit marginalizes over broadband and tracer nuisance parameters and includes tracer-specific systematic-error budgets. The companion Lyman-α analysis fits forest auto-correlations and forest--quasar cross-correlations. Cosmological posteriors are sampled with Cobaya using Metropolis--Hastings Markov-chain Monte Carlo, with theoretical predictions from CAMB and the stated likelihoods. The source's convergence criterion is R−1<0.01 for the Gelman--Rubin statistic or effective sample size at least 103, whichever requires longer chains. This item records the source's published analysis and does not rerun the pipeline, chains or likelihoods.

The paper fits the resulting distance-redshift constraints under flat ΛCDM and w0waCDM. It compares best-fit likelihoods using ΔχMAP2, and also reports the Deviance Information Criterion (DIC).

Under the Spiegelhalter et al. convention, for observed data y, parameter vector θ, the article's likelihood L(y∣θ) and posterior p(θ∣y) under its stated prior, define the deviance d(θ):=−2log⁡L(y∣θ), dˉ:=Eθ∣y[d(θ)], θˉ:=Eθ∣y[θ], pD:=dˉ−d(θˉ), and DIC:=dˉ+pD. The DESI paper reports DIC differences; this item does not reproduce or rely on those values.

For the reported 3.1σ DESI+CMB comparison, the paper has ΔχMAP2=−12.5. It maps this improvement to a two-degree-of-freedom χ2 tail using Wilks' theorem, under the stated assumptions that ΛCDM is the null model and errors are Gaussian and correctly estimated. The quoted one-dimensional Gaussian-equivalent significance is therefore conditional on that calibration; it is not a probability that either cosmological model is true.

Separately, for its flat-ΛCDM BAO–CMB consistency comparison, set H0:=H(z=0), let Ωm be the present matter energy density divided by the critical energy density ρcrit:=3H02c2/(8πG), where c is the fixed SI speed-of-light constant and G is the positive Newton gravitational coupling in the Einstein equations; neither is estimated by this analysis. Define h:=H0/(100 km s−1 Mpc−1). In this expression ρcrit and the matter density have units of energy per volume, H0 has units of inverse time, G has units of m3 kg−1 s−2, and h,Ωm are dimensionless. The paper forms χrel2=(pBAO−pCMB)T(CBAO+CCMB)−1(pBAO−pCMB),p=(Ωm,hrd), where CBAO and CCMB are the corresponding two-parameter posterior covariance matrices. The stated sum uses no cross-covariance term, so the discrepancy calculation treats the BAO and CMB parameter estimates as independent for this comparison. It converts this statistic to a probability-to-exceed (the calibrated tail probability) and reports the equivalent Gaussian significance as 2.3σ with CMB lensing and 2.0σ when CMB lensing is excluded. This is a separate covariance-based discrepancy calculation, not the Wilks-calibrated ΔχMAP2 comparison above.

Observations

In the flat ΛCDM fit, the DESI DR2 BAO parameters are reported in 2.3σ tension with CMB-derived parameters (2.0σ without CMB lensing). The paper also states that flat ΛCDM gives a good fit to the DESI BAO data themselves.

For the w0waCDM extension, the authors report a 3.1σ preference over ΛCDM for DESI+CMB. Adding Type Ia supernova samples gives 2.8σ with Pantheon+, 3.8σ with Union3, and 4.2σ with DESY5. These are different dataset combinations and are reported model-comparison results, not direct measurements of a fundamental dark-energy law.

Uncertainty

The source's tracer table reports assignment completeness and redshift success rates. Its BAO systematic-error budget increases the total uncertainty in αiso by 1--9% and in αAP by 0.1--2%, while stating that statistical errors from finite survey volume and sampling density dominate. The paper identifies the ΔχMAP2-to-significance mapping as a Wilks/Gaussian approximation with two additional degrees of freedom. The reported result depends on the cosmological models, CMB likelihood, supernova sample and adopted priors. The authors report that the DESI+CMB preference falls from 3.1σ to 2.7σ without CMB lensing and to 2.4σ when only an early-Universe CMB prior is imposed. The supernova combinations span 2.8–4.2σ; this spread is retained rather than summarized as a single significance. The analysis is recorded from the publication and is not independently rerun here.

Interpretation

The observations support the stated cosmological distance constraints and conditional model comparisons. They do not prove that dark energy evolves, exclude ΛCDM, or establish a string-theory prediction. The significances are statistical inferences for the specified data combinations, model parameterizations and calibrations; they are not probabilities that a theory is true.

Dependency tree · 0 levels

Nothing. This result depends on no other item in the library.

Sources