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
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 , 4,468,483 luminous-red-galaxy (LRG) entries in , 6,534,844 emission-line-galaxy (ELG) entries in , and 2,062,839 quasar (QSO) entries in . Their assignment completeness and redshift-success fractions are, respectively, BGS and , LRG and , ELG and , and QSO and . 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 , LRG1 , LRG2 , the baseline combined LRG3+ELG1 sample , ELG2 , and QSO . In the overlapping 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 and quasar positions above for the cross-correlation; its forest BAO sample covers . 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 with metric where is an open interval measured in seconds, , has coordinates in metres, is a smooth dimensionless scale factor, and is the speed of light in metres per second. A comoving observer is the worldline for fixed ; the metric makes its proper-time parameter. The fitted branch is expanding over the sampled redshift range: . Normalize today, define redshift by , and set and , with in inverse seconds. For nonnegative redshifts in the fit, define the transverse comoving and radial Hubble distances by and the comoving sound horizon at baryon-drag redshift by where is the redshift at which baryons cease to be efficiently dragged by photons in the adopted early-time model, and is the propagation speed, in metres per second, of its coupled baryon-photon acoustic mode. Require over the integration ranges and finite in each fit. The isotropic BAO distance is . Here have units of length, and the reported ratios , , and are dimensionless. For the model-level galaxy/quasar correlation, let be a set of tracer realizations, let be a sigma-algebra on , and let be a countably additive probability measure on with . For tracer , let be the measurable comoving survey window selected by its sky mask and redshift range. A model number-density field is a jointly measurable map on the product of and the Borel sigma-algebra of , with finite second moments at the pairs used. Its mean intensity is , assumed finite and strictly positive on ; both fields have units of number per comoving volume. Define the dimensionless model overdensity . The redshift-space model two-point function is whenever both positions lie in . 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 and selected spectral pixel , the dimensionless transmitted-flux contrast is where is the measured spectral flux density, is the dimensionless mean transmission, and is the unabsorbed quasar continuum in the same flux-density units as . On the retained pixels, the fitted expected flux is the product ; 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 and 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 ( and fixed in the source's baseline model). Here is its effective relativistic-species parameter and is the total neutrino rest mass; both are fixed inputs in this analysis, not fitted parameters. Their homogeneous components use perfect-fluid stress tensors in the stated comoving frame; pressureless matter has and the cosmological-constant component has . 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, where , with and the model pressure and energy density. Since , is the present equation-of-state parameter; controls its linear dependence on . The fits remain spatially flat. The authors use broad uniform priors , , and impose 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 where is the displaced data catalog, is the shifted random catalog, and is an unshifted random catalog sampling the source-defined survey selection function. Here , , , and are the respective source-normalized weighted pair counts in a bin, with . 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 , the redshift-space pair separation, and , 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 using a universal rest-frame template and two diversity parameters per quasar. It forms four correlations: region A (–) with A, A with region B (–), 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 , define the dimensionless template dilations at positive fitted redshift by 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 for the Gelman--Rubin statistic or effective sample size at least , 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 CDM. It compares best-fit likelihoods using , and also reports the Deviance Information Criterion (DIC).
Under the Spiegelhalter et al. convention, for observed data , parameter vector , the article's likelihood and posterior under its stated prior, define the deviance , , , , and . The DESI paper reports DIC differences; this item does not reproduce or rely on those values.
For the reported DESI+CMB comparison, the paper has . It maps this improvement to a two-degree-of-freedom 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 , let be the present matter energy density divided by the critical energy density , where is the fixed SI speed-of-light constant and is the positive Newton gravitational coupling in the Einstein equations; neither is estimated by this analysis. Define . In this expression and the matter density have units of energy per volume, has units of inverse time, has units of , and are dimensionless. The paper forms where and 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 with CMB lensing and when CMB lensing is excluded. This is a separate covariance-based discrepancy calculation, not the Wilks-calibrated comparison above.
Procedure references
Observations
In the flat CDM fit, the DESI DR2 BAO parameters are reported in tension with CMB-derived parameters ( without CMB lensing). The paper also states that flat CDM gives a good fit to the DESI BAO data themselves.
For the CDM extension, the authors report a preference over CDM for DESI+CMB. Adding Type Ia supernova samples gives with Pantheon+, with Union3, and with DESY5. These are different dataset combinations and are reported model-comparison results, not direct measurements of a fundamental dark-energy law.
Observations references
Uncertainty
The source's tracer table reports assignment completeness and redshift success rates. Its BAO systematic-error budget increases the total uncertainty in by 1--9% and in by 0.1--2%, while stating that statistical errors from finite survey volume and sampling density dominate. The paper identifies the -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 to without CMB lensing and to when only an early-Universe CMB prior is imposed. The supernova combinations span –; this spread is retained rather than summarized as a single significance. The analysis is recorded from the publication and is not independently rerun here.
Uncertainty references
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.
Interpretation references
Dependency tree · 0 levels
Nothing. This result depends on no other item in the library.
Sources
- DESI Collaboration, DESI DR2 Results II: Measurements of baryon acoustic oscillations and cosmological constraints, arXiv:2503.14738v3
- S. D. Landy and A. S. Szalay, Bias and variance of angular correlation functions, Astrophysical Journal 412(1), 64–71 (1993)
- D. J. Spiegelhalter, N. G. Best, B. P. Carlin, and A. van der Linde, Bayesian measures of model complexity and fit, Journal of the Royal Statistical Society: Series B 64(4), 583–639 (2002)
- DESI Collaboration, DESI DR2 Results I: Baryon Acoustic Oscillations from the Lyman Alpha Forest, arXiv:2503.14739v2
- N. Padmanabhan et al., A 2% Distance to z=0.35 by Reconstructing Baryon Acoustic Oscillations — I: Methods and Application to the Sloan Digital Sky Survey, arXiv:1202.0090v1