A scale-free density bound for Gaussian maxima
Pith reviewed 2026-06-29 09:05 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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)
- [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
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
-
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
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
axioms (1)
- domain assumption The random vector is centered multivariate Gaussian.
Reference graph
Works this paper leans on
-
[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
2005
-
[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
2013
-
[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
2081
-
[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]
Springer, 2014
Sourav Chatterjee.Superconcentration and related topics, volume 15. Springer, 2014
2014
-
[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
2014
-
[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
2015
-
[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
2016
-
[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
2017
-
[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
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[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
2022
-
[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
2023
-
[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
2020
-
[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
2020
-
[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
2015
-
[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
2016
-
[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
1983
-
[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
2018
-
[19]
Springer, 2014
Herbert Federer.Geometric measure theory. Springer, 2014
2014
-
[20]
arXiv preprint arXiv:2310.12119, 2023
AlexanderGiessing.Anti-concentrationofsupremaofGaussianprocessesandGaussianorder statistics. arXiv preprint arXiv:2310.12119, 2023
-
[21]
Anewandflexibleclassofsharpasymptotictime-uniform confidence sequences.Statistics & Probability Letters, 226:110462, 2025
FelixGnettnerandClaudiaKirch. Anewandflexibleclassofsharpasymptotictime-uniform confidence sequences.Statistics & Probability Letters, 226:110462, 2025
2025
-
[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
2021
-
[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
2021
-
[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
2019
-
[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
2008
-
[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
2021
-
[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]
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
1922
-
[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
2001
-
[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
2020
-
[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
2001
-
[32]
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]
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]
Kernel ridge regression inference
Rahul Singh and Suhas Vijaykumar. Kernel ridge regression inference. arXiv preprint arXiv:2302.06578, 2023
-
[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
2019
-
[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...
2024
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.