Notes on constants for maxima of Rademacher averages
Pith reviewed 2026-06-30 04:55 UTC · model grok-4.3
The pith
The expected maximum of absolute Rademacher averages is bounded below by the minimum of 255/256 and (1/sqrt(2 log 2)) times sqrt(log(2p)/n).
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For independent Rademacher variables ε_ij the expectation E[max_{1≤j≤p} |(1/n) ∑_{i=1}^n ε_ij|] is at least min{255/256, (1/sqrt(2 log 2)) sqrt(log(2p)/n)}, and this lower bound is attained for the pairs (n,p) = (2,1) and (2,8).
What carries the argument
The min expression that switches between the universal constant 255/256 and the scaled logarithmic term derived from the distribution of the maximum of p independent Rademacher averages.
If this is right
- The lower bound applies uniformly to every pair of positive integers n and p.
- For n=2 the bound is achieved exactly when p=1 and when p=8.
- Any improvement to the constant 255/256 or to the factor 1/sqrt(2 log 2) would have to respect these two equality cases.
- The bound supplies a concrete floor on the expected size of the largest coordinate deviation in an n-by-p Rademacher matrix.
Where Pith is reading between the lines
- The same lower-bound technique could be applied to other symmetric random signs or to bounded random variables with mean zero.
- The explicit equality cases for small n suggest that the bound may be useful when analyzing algorithms that operate on very short sequences of random signs.
- If the numerical constants prove optimal, then further sharpening would require replacing the min construction with a more refined function of n and p.
Load-bearing premise
The Rademacher variables are independent.
What would settle it
An exact computation or Monte Carlo estimate of the expectation for some n and p that falls strictly below the stated min expression.
read the original abstract
Let $\epsilon_{ij}, i,j\geq 1$ be independent Rademacher variables. We prove \begin{equation*} \mathbb{E} \max_{1\leq j\leq p}\left|\frac{1}{n}\sum_{i=1}^n\epsilon_{ij}\right| \geq \min\left\{\frac{255}{256},\frac{1}{\sqrt{2\log 2}}\sqrt{\frac{\log(2p)}{n}}\right\}. \end{equation*} The equality is attained, for instance, by $(n,p)=(2,1)$ and $(n,p)=(2,8).$ We also discuss the optimality of the numerical constants.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves that for independent Rademacher variables ε_ij, the expectation E[max_{1≤j≤p} |(1/n) ∑_{i=1}^n ε_ij|] is at least min{255/256, (1/√(2 log 2)) √(log(2p)/n)}, with equality attained for the pairs (n,p)=(2,1) and (2,8). It further discusses optimality of the numerical constants appearing in the bound.
Significance. The result supplies an explicit, two-piece lower bound with verified equality cases for the expected maximum of coordinate-wise Rademacher averages. Such bounds appear in the analysis of empirical processes and high-dimensional concentration; the explicit constants and the direct verification for small (n,p) make the statement immediately usable for comparison with upper bounds or for small-sample regimes.
minor comments (1)
- The abstract states the main inequality and the equality cases but does not indicate the proof strategy; a one-sentence outline of the argument (direct computation for the equality cases plus a standard comparison for the logarithmic term) would improve readability.
Simulated Author's Rebuttal
We thank the referee for the positive summary, significance assessment, and recommendation to accept the manuscript. There are no major comments requiring a response.
Circularity Check
No significant circularity identified
full rationale
The manuscript states a direct lower bound on the expectation for independent Rademacher variables and verifies equality cases by explicit computation for the pairs (n,p)=(2,1) and (2,8). The min construction simply caps the logarithmic term at its small-n value; all steps rely only on the stated independence and symmetry. No fitted parameters, self-citations, or quantities defined in terms of the target result appear in the derivation chain.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Rademacher variables ε_ij are independent for all i,j
Reference graph
Works this paper leans on
-
[1]
2011 , PAGES =
Ledoux, Michel and Talagrand, Michel , TITLE =. 2011 , PAGES =
2011
-
[2]
Boucheron, St\'ephane and Lugosi, G\'abor and Massart, Pascal , TITLE =. 2013 , PAGES =. doi:10.1093/acprof:oso/9780199535255.001.0001 , URL =
work page doi:10.1093/acprof:oso/9780199535255.001.0001 2013
-
[3]
Szarek, S. J. , TITLE =. Studia Math. , FJOURNAL =. 1976 , NUMBER =. doi:10.4064/sm-58-2-197-208 , URL =
-
[4]
Khintchine, A. , TITLE =. Math. Z. , FJOURNAL =. 1923 , NUMBER =. doi:10.1007/BF01192399 , URL =
-
[5]
A full proof of universal inequalities for the distribution function of the binomial law
A full proof of universal inequalities for the distribution function of the binomial law , author=. arXiv preprint arXiv:1207.3838 , year=
work page internal anchor Pith review Pith/arXiv arXiv
-
[6]
Wiley Series in Probabil- ity and Statistics
Billingsley, Patrick , TITLE =. 1999 , PAGES =. doi:10.1002/9780470316962 , URL =
-
[7]
Yang, Zhen-Hang and Chu, Yu-Ming , TITLE =. J. Inequal. Appl. , FJOURNAL =. 2015 , PAGES =. doi:10.1186/s13660-015-0792-3 , URL =
-
[8]
The Annals of Mathematical Statistics 16, 117–186
Gordon, Robert D. , TITLE =. Ann. Math. Statistics , FJOURNAL =. 1941 , PAGES =. doi:10.1214/aoms/1177731721 , URL =
-
[9]
Haagerup, Uffe , TITLE =. Studia Math. , FJOURNAL =. 1981 , NUMBER =. doi:10.4064/sm-70-3-231-283 , URL =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.