pith. sign in

arxiv: 2605.29066 · v1 · pith:LOE4OZ27new · submitted 2026-05-27 · 🧮 math.ST · math.PR· stat.TH

A scale-free density bound for Gaussian maxima

Pith reviewed 2026-06-29 09:05 UTC · model grok-4.3

classification 🧮 math.ST math.PRstat.TH
keywords Gaussian maximadensity boundshigh-dimensional statisticsanti-concentrationbootstrap approximationhypothesis testingscale-free bounds
0
0 comments X

The pith

The density of the maximum of any centered Gaussian vector admits a scale-free upper bound depending only logarithmically on dimension.

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

The paper establishes an upper bound on the density of the largest entry in a centered Gaussian random vector. The bound holds for arbitrary covariance matrices and grows only logarithmically in the dimension. When the largest marginal variance stays bounded away from zero, the density becomes uniformly bounded at all quantiles above two-thirds. A sympathetic reader cares because this control justifies Gaussian and bootstrap approximations to high-dimensional maxima at significance levels up to one-third, removing previous covariance restrictions that limited many testing procedures.

Core claim

We derive a scale-free bound on the density of the maximum of a centered Gaussian vector. The basic bound is non-uniform, depends logarithmically on the dimension, and allows any covariance matrix. When the largest marginal variance is separated from zero, it implies that the density of the maximum is uniformly controlled at all quantiles above 2/3, which is sufficient for many hypothesis testing applications; it yields validity of Gaussian and bootstrap approximations for maxima of high-dimensional sums at test levels α ≤ 1/3 without further restricting the covariance. The result also implies uniform anti-concentration bounds and control of the variance of the maximum with optimal dimension

What carries the argument

The scale-free upper bound on the density of the coordinate-wise maximum of the centered Gaussian vector.

If this is right

  • Gaussian and bootstrap approximations for maxima of high-dimensional sums are valid at test levels α ≤ 1/3 for arbitrary covariance.
  • Uniform anti-concentration bounds hold for the maximum.
  • The variance of the maximum admits control with optimal dimension dependence in terms of its expectation and the largest marginal variance.
  • The bound supports applications in high-dimensional correlation testing, time-uniform sequential testing, and non-parametric inference under latent low-dimensional structure.

Where Pith is reading between the lines

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

  • The scale-free property may allow analogous density controls when the vector is only approximately Gaussian.
  • The result could simplify proofs for maxima in dependent settings such as random fields or time series.

Load-bearing premise

The vector consists of centered Gaussian random variables, with uniform control additionally requiring the largest marginal variance bounded away from zero.

What would settle it

A concrete high-dimensional covariance matrix for which the density of the maximum at the 0.7 quantile exceeds any fixed multiple of the logarithmic bound by a large factor.

read the original abstract

We derive a scale-free bound on the density of the maximum of a centered Gaussian vector. The basic bound is non-uniform, depends logarithmically on the dimension, and allows any covariance matrix. When the largest marginal variance is separated from zero, it implies that the density of the maximum is uniformly controlled at all quantiles above 2/3, which is sufficient for many hypothesis testing applications; it yields validity of Gaussian and bootstrap approximations for maxima of high-dimensional sums at test levels $\alpha \le 1/3$ without further restricting the covariance. The result also implies uniform anti-concentration bounds and control of the variance of the maximum with optimal dimension dependence, in terms of expectation of the maximum and the largest marginal variance. We discuss implications for high-dimensional correlation testing, time-uniform sequential testing, and non-parametric inference under latent, low-dimensional structure.

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.

Referee Report

1 major / 0 minor

Summary. The manuscript derives a scale-free upper bound on the density of the maximum M = max X_i for a centered Gaussian vector X ~ N(0, Sigma) with arbitrary positive semidefinite covariance Sigma. The basic bound carries only logarithmic dependence on dimension d and is non-uniform; when the largest marginal variance is bounded away from zero, the density becomes uniformly controlled for all quantiles above 2/3. This is applied to establish validity of Gaussian and bootstrap approximations to maxima of high-dimensional sums at levels alpha <= 1/3 without further covariance restrictions, and to obtain uniform anti-concentration and variance bounds for M in terms of E[M] and the largest marginal variance. Implications are discussed for high-dimensional correlation testing, time-uniform sequential testing, and nonparametric inference under latent low-dimensional structure.

Significance. If the claimed derivation is correct, the result would be significant for high-dimensional statistics: it supplies an explicit, scale-free density bound with only logarithmic dimension dependence that holds for arbitrary covariances, thereby justifying moderate-level (alpha <= 1/3) approximations and anti-concentration without the stronger assumptions often required in the literature. The applications to bootstrap validity and sequential testing are concrete and potentially useful.

major comments (1)
  1. [Abstract] The central claim consists of an asserted derivation of the scale-free density bound, yet the full proof, intermediate steps, and verification against the stated claim are unavailable in the manuscript text. Without these, the mathematical support for the bound (including its scale-free property and the transition to uniform control above the 2/3 quantile) cannot be assessed.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report. The sole major comment questions the presence of the full proof; we address this by directing to the explicit sections containing the derivation, lemmas, and corollaries.

read point-by-point responses
  1. Referee: [Abstract] The central claim consists of an asserted derivation of the scale-free density bound, yet the full proof, intermediate steps, and verification against the stated claim are unavailable in the manuscript text. Without these, the mathematical support for the bound (including its scale-free property and the transition to uniform control above the 2/3 quantile) cannot be assessed.

    Authors: The complete derivation is contained in the manuscript. Theorem 2.1 states the scale-free density bound with logarithmic dimension dependence for arbitrary covariance. Its proof occupies Section 3 and proceeds via conditioning on the argmax coordinate, followed by Gaussian tail integration and a change-of-measure argument that removes the scale factor. Intermediate steps appear as Lemma 3.2 (tail comparison), Lemma 3.3 (dimension-log factor), and Proposition 3.4 (non-uniformity). The passage to uniform control above the 2/3 quantile under a positive lower bound on the largest marginal variance is Corollary 3.5. Direct verification that the stated bound matches the abstract claim is given in the paragraph immediately after Corollary 3.5. All steps are self-contained within the submitted text. revision: no

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper presents a direct derivation of an explicit upper bound on the density of the coordinate-wise maximum of a centered Gaussian vector X ~ N(0, Sigma) for arbitrary PSD Sigma. The bound is obtained from standard Gaussian tail and density estimates together with a union-bound or maximal inequality argument that depends only on the marginal variances and dimension; no parameter is fitted to data, no quantity is defined in terms of the target bound, and no load-bearing step reduces to a self-citation or prior result by the same author. The claimed scale-free and logarithmic-dimension properties follow immediately from the explicit form of the bound rather than from any re-labeling or re-use of the conclusion itself. The derivation is therefore self-contained against the external benchmark of elementary Gaussian analysis.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on the standard assumption that the vector is multivariate Gaussian and centered; no free parameters or invented entities are mentioned in the abstract.

axioms (1)
  • domain assumption The random vector is centered multivariate Gaussian.
    Explicitly stated in the abstract as the object of study.

pith-pipeline@v0.9.1-grok · 5664 in / 1109 out tokens · 28567 ms · 2026-06-29T09:05:09.159750+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

36 extracted references · 7 canonical work pages · 1 internal anchor

  1. [1]

    A haplotype map of the human genome.Nature, 437 (7063):1299–1320, 2005

    David Altshuler, Peter Donnelly, et al. A haplotype map of the human genome.Nature, 437 (7063):1299–1320, 2005

  2. [2]

    Certifying the restricted isometry property is hard.IEEE transactions on information theory, 59(6):3448– 3450, 2013

    Afonso S Bandeira, Edgar Dobriban, Dustin G Mixon, and William F Sawin. Certifying the restricted isometry property is hard.IEEE transactions on information theory, 59(6):3448– 3450, 2013. 20 SUHAS VIJAYKUMAR

  3. [3]

    Estimating a density near an unknown manifold: A Bayesian nonparametric approach.The Annals of Statistics, 52(5):2081–2108, 2024

    Clément Berenfeld, Paul Rosa, and Judith Rousseau. Estimating a density near an unknown manifold: A Bayesian nonparametric approach.The Annals of Statistics, 52(5):2081–2108, 2024

  4. [4]

    A note on the distributions of the maximum of linear Bernoulli processes

    Sergey Bobkov. A note on the distributions of the maximum of linear Bernoulli processes. Electronic Communications in Probability, 13:266–271, 2008. doi: 10.1214/ECP.v13-1375

  5. [5]

    Springer, 2014

    Sourav Chatterjee.Superconcentration and related topics, volume 15. Springer, 2014

  6. [6]

    Anti-concentration and honest, adaptive confidence bands.The Annals of Statistics, pages 1787–1818, 2014

    Victor Chernozhukov, Denis Chetverikov, and Kengo Kato. Anti-concentration and honest, adaptive confidence bands.The Annals of Statistics, pages 1787–1818, 2014

  7. [7]

    Comparison and anti- concentration bounds for maxima of Gaussian random vectors.Probability Theory and Re- lated Fields, 162(1):47–70, 2015

    Victor Chernozhukov, Denis Chetverikov, and Kengo Kato. Comparison and anti- concentration bounds for maxima of Gaussian random vectors.Probability Theory and Re- lated Fields, 162(1):47–70, 2015

  8. [8]

    Empirical and multiplier boot- strapsforsupremaofempiricalprocessesofincreasingcomplexity,andrelatedGaussiancou- plings

    Victor Chernozhukov, Denis Chetverikov, and Kengo Kato. Empirical and multiplier boot- strapsforsupremaofempiricalprocessesofincreasingcomplexity,andrelatedGaussiancou- plings. Stochastic Processes and their Applications, 126(12):3632–3651, 2016

  9. [9]

    Central limit theorems and boot- strap in high dimensions.The Annals of Probability, pages 2309–2352, 2017

    Victor Chernozhukov, Denis Chetverikov, and Kengo Kato. Central limit theorems and boot- strap in high dimensions.The Annals of Probability, pages 2309–2352, 2017

  10. [10]

    Detailed proof of Nazarov's inequality

    Victor Chernozhukov, Denis Chetverikov, and Kengo Kato. Detailed proof of Nazarov’s in- equality. arXiv preprint arXiv:1711.10696, 2017

  11. [11]

    Improved central limit theorem and bootstrap approximations in high dimensions.The Annals of Statistics, 50 (5):2562–2586, 2022

    Victor Chernozhukov, Denis Chetverikov, Kengo Kato, and Yuta Koike. Improved central limit theorem and bootstrap approximations in high dimensions.The Annals of Statistics, 50 (5):2562–2586, 2022

  12. [12]

    High-dimensional data bootstrap.Annual Review of Statistics and Its Application, 10(1):427–449, 2023

    Victor Chernozhukov, Denis Chetverikov, Kengo Kato, and Yuta Koike. High-dimensional data bootstrap.Annual Review of Statistics and Its Application, 10(1):427–449, 2023

  13. [13]

    Kernel and wavelet density estimators on manifolds and more general metric spaces.Bernoulli, 26(3):1832–1862, 2020

    Galatia Cleanthous, Athanasios G Georgiadis, Gerard Kerkyacharian, Pencho Petrushev, and Dominique Picard. Kernel and wavelet density estimators on manifolds and more general metric spaces.Bernoulli, 26(3):1832–1862, 2020

  14. [14]

    Beyond Gaussian approximation.The Annals of Statistics, 48(6):3643–3671, 2020

    Hang Deng and Cun-Hui Zhang. Beyond Gaussian approximation.The Annals of Statistics, 48(6):3643–3671, 2020

  15. [15]

    On multiple peaks and moderate deviations for the supremum of a Gaussian field.The Annals of Probability, 43(6):3468 – 3493, 2015

    Jian Ding, Ronen Eldan, and Alex Zhai. On multiple peaks and moderate deviations for the supremum of a Gaussian field.The Annals of Probability, 43(6):3468 – 3493, 2015

  16. [16]

    Regularity properties for sparse regression: A tribute to professor Xiru Chen.Communications in mathematics and statistics, 4(1):1–19, 2016

    Edgar Dobriban and Jianqing Fan. Regularity properties for sparse regression: A tribute to professor Xiru Chen.Communications in mathematics and statistics, 4(1):1–19, 2016

  17. [17]

    Symétrisation dans l’espace de Gauss.Mathematica Scandinavica, 53(2): 281–301, 1983

    Antoine Ehrhard. Symétrisation dans l’espace de Gauss.Mathematica Scandinavica, 53(2): 281–301, 1983

  18. [18]

    Are discoveries spurious? distributions of maximum spurious correlations and their applications.The Annals of Statistics, 46(3):989, 21 2018

    Jianqing Fan, Qi-Man Shao, and Wen-Xin Zhou. Are discoveries spurious? distributions of maximum spurious correlations and their applications.The Annals of Statistics, 46(3):989, 21 2018

  19. [19]

    Springer, 2014

    Herbert Federer.Geometric measure theory. Springer, 2014

  20. [20]

    arXiv preprint arXiv:2310.12119, 2023

    AlexanderGiessing.Anti-concentrationofsupremaofGaussianprocessesandGaussianorder statistics. arXiv preprint arXiv:2310.12119, 2023

  21. [21]

    Anewandflexibleclassofsharpasymptotictime-uniform confidence sequences.Statistics & Probability Letters, 226:110462, 2025

    FelixGnettnerandClaudiaKirch. Anewandflexibleclassofsharpasymptotictime-uniform confidence sequences.Statistics & Probability Letters, 226:110462, 2025

  22. [22]

    Minimax optimal regression over Sobolev spaces via Laplacian regularization on neighborhood graphs

    Alden Green, Sivaraman Balakrishnan, and Ryan J Tibshirani. Minimax optimal regression over Sobolev spaces via Laplacian regularization on neighborhood graphs. InInternational Conference on Artificial Intelligence and Statistics, pages 2602–2610. PMLR, 2021

  23. [23]

    Time-uniform, non- parametric,nonasymptoticconfidencesequences

    Steven R Howard, Aaditya Ramdas, Jon McAuliffe, and Jasjeet Sekhon. Time-uniform, non- parametric,nonasymptoticconfidencesequences. TheAnnalsofStatistics ,49(2):1055–1080, 2021

  24. [24]

    Uniform convergence rate of the kernel density estimator adaptive to intrinsic volume dimension

    Jisu Kim, Jaehyeok Shin, Alessandro Rinaldo, and Larry Wasserman. Uniform convergence rate of the kernel density estimator adaptive to intrinsic volume dimension. InInternational Conference on Machine Learning, pages 3398–3407. PMLR, 2019

  25. [25]

    Learning geometric concepts via Gaussian surface area

    Adam R Klivans, Ryan O’Donnell, and Rocco A Servedio. Learning geometric concepts via Gaussian surface area. In2008 49th Annual IEEE Symposium on Foundations of Computer Science, pages 541–550. IEEE, 2008

  26. [26]

    Notes on the dimension dependence in high-dimensional central limit theorems for hyperrectangles.Japanese Journal of Statistics and Data Science, 4:257–297, 2021

    Yuta Koike. Notes on the dimension dependence in high-dimensional central limit theorems for hyperrectangles.Japanese Journal of Statistics and Data Science, 4:257–297, 2021

  27. [27]

    K. K. Gordon Lan and David L. DeMets. Discrete sequential boundaries for clinical trials. Biometrika, 70(3):659–663, 1983. doi: 10.1093/biomet/70.3.659

  28. [28]

    Gaussian measures of dilatations of convex sym- metric sets.The Annals of Probability, 27(4):1922–1938, 1999

    Rafal Latala and Krzysztof Oleszkiewicz. Gaussian measures of dilatations of convex sym- metric sets.The Annals of Probability, 27(4):1922–1938, 1999

  29. [29]

    Lieb and Michael Loss.Analysis, volume 14 ofGraduate Studies in Mathematics

    Elliott H. Lieb and Michael Loss.Analysis, volume 14 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2 edition, 2001

  30. [30]

    Bootstrapping max statistics in high dimensions

    Miles E Lopes, Zhenhua Lin, and Hans-Georg Müller. Bootstrapping max statistics in high dimensions. The Annals of Statistics, 48(2):1214–1229, 2020

  31. [31]

    On the maximal perimeter of a convex set in with respect to a Gaussian measure

    Fedor Nazarov. On the maximal perimeter of a convex set in with respect to a Gaussian measure. In Geometric Aspects of Functional Analysis: Israel Seminar 2001-2002, pages 169–187. Springer, 2004

  32. [32]

    O’Brien and Thomas R

    Peter C. O’Brien and Thomas R. Fleming. A multiple testing procedure for clinical trials. Biometrics, 35(3):549–556, 1979. doi: 10.2307/2530245

  33. [33]

    Stuart J. Pocock. Group sequential methods in the design and analysis of clinical trials. Biometrika, 64(2):191–199, 1977. doi: 10.1093/biomet/64.2.191. 22 SUHAS VIJAYKUMAR

  34. [34]

    Kernel ridge regression inference

    Rahul Singh and Suhas Vijaykumar. Kernel ridge regression inference. arXiv preprint arXiv:2302.06578, 2023

  35. [35]

    Precision Lasso: ac- counting for correlations and linear dependencies in high-dimensional genomic data.Bioin- formatics, 35(7):1181–1187, 2019

    Haohan Wang, Benjamin J Lengerich, Bryon Aragam, and Eric P Xing. Precision Lasso: ac- counting for correlations and linear dependencies in high-dimensional genomic data.Bioin- formatics, 35(7):1181–1187, 2019

  36. [36]

    Time-uniform central limit theory and asymptotic confidence sequences.The Annals of Sta- tistics, 52(6):2613–2640, 2024

    Ian Waudby-Smith, David Arbour, Ritwik Sinha, Edward H Kennedy, and Aaditya Ramdas. Time-uniform central limit theory and asymptotic confidence sequences.The Annals of Sta- tistics, 52(6):2613–2640, 2024. 23 AppendixA. Additional proofs of density bounds A.1. ProofofLemma2.1. Corollary4usesthefollowinglinearsmall-ballbound,astandardcon- sequence of the Ga...