El Mahdi Khribch, Badr-Eddine Chérief-Abdellatif
Rigorous, sharp, and timely extension of a hot micro-topic (convex-order comparison) to the sub-Gamma/sub-exponential setting, but confined to a narrow subfield and one-dimensional in scope
Recent work has shown that sub-Gaussian random variables are dominated in convex order by a sharp multiple of a Gaussian. We study the analogous question for the sub-Gamma class underlying Bernstein's inequality, with the Laplace law as the majorant. Here the moment generating function is controlled by a Bernstein-type bound over a finite range of frequencies, rather than by a purely quadratic bound. We derive a variational formula for the optimal multiple, show that it is strictly larger than the natural scale , and prove that this value is sharp, being attained by an asymmetric two-point distribution. We then turn to the sub-exponential class, which has a quadratic bound as in the sub-Gaussian case, but only over a bounded range as in the sub-Gamma case. Interestingly, the sub-exponential class displays a different behavior: the optimal multiple is exactly , but is attained only when ; when , the constant remains sharp, but equality cannot hold for any non-affine convex function. Both results rely on a sharp finite-range variant of the Kearns-Saul inequality, which is of independent interest.
This paper extends the recently active line of work on convex-order comparison theorems (van Handel 2025; Zhang 2026; Davis & Power 2026) from the sub-Gaussian class to two heavier-tailed families: the sub-Gamma class SΓ(σ²,α) underlying Bernstein's inequality and the sub-exponential class SE(σ²,α). The central problem is: what is the smallest multiple of a natural reference law that dominates every member of the class in convex order? The authors identify the Laplace law as the correct majorant (justified by a careful MGF-domain argument), and produce three results: (1) a Sub-Gamma Comparison Theorem with a variational formula for the sharp constant cSΓ(σ,α), proving it is *strictly* larger than σ∨α and attained by an asymmetric two-point law with a hinge function; (2) a Sub-Exponential Comparison Theorem showing the sharp constant is exactly σ∨α, with an interesting attainment dichotomy (achieved for α≤σ, but no non-affine extremal pair exists for α>σ); and (3) a sharp finite-window variant of the Kearns–Saul inequality, of independent interest. The conceptual highlight is the "disentangling" argument: by comparing the sub-Gamma (relaxed ceiling + finite window) and sub-exponential (Gaussian ceiling + finite window) classes, the authors isolate which of the two departures from sub-Gaussianity causes the strict gap.
This is a pure-theory paper, and its rigor is its strongest asset. Proofs are complete, carefully organized, and structured around a reusable "spine" (hinge/stop-loss reduction → projection to two-point members → spread control → tangent bound). The two-branch closed form for the finite-window Kearns–Saul coefficient and the maximal-spread corollary are derived with explicit equality cases, and the authors are careful about subtle points (e.g., why the corollary does not follow from the proposition by substitution; why the window endpoint never binds in the sub-Gamma case because the envelope diverges). The strictness results are established via two explicit witnessing families and an interior-enlargement lemma. Claims are consistently matched to proofs, and limitations (sharpness for the class but not for fixed-n averages; one-dimensionality) are stated honestly. Numerical constants are cross-checked in a table.
Concentration inequalities and the sub-Gamma/sub-exponential formalism are foundational tools in high-dimensional statistics, learning theory, and empirical process theory. Convex-order domination is strictly stronger than tail comparison (it controls all convex functionals simultaneously), so a sharp Laplace comparison could feed into moment bounds, risk bounds, and expectation controls. That said, the immediate audience is fairly narrow — researchers working specifically on stochastic orders and sharp comparison constants. The finite-window Kearns–Saul inequality is the most likely component to be reused beyond this specific problem, as Kearns–Saul-type bounds appear in variational inference and sub-Gaussian norm computations. The impact is real but concentrated within a specialized probability subfield rather than broadly transformative.
Highly timely. The paper builds directly on results from 2025–2026 (van Handel's 2025 arXiv paper, two 2026 preprints), placing it at the frontier of a currently hot micro-topic. The convex-order comparison question was essentially opened by van Handel and this paper is among the first to systematically extend it to the Bernstein/sub-Gamma regime, which is arguably the more practically relevant class (bounded variables with true-variance parameterization).
Strengths: sharp (not just order-optimal) constants; complete attainment characterization including the elegant non-attainment result for α>σ; a genuinely new auxiliary inequality; clear conceptual framing (disentangling window vs. ceiling); exemplary proof organization with explicit reuse across the two classes.
Limitations: The results are strictly one-dimensional; the authors themselves flag the two most important open problems — the asymptotic rate of cSΓ(1,a)−a and, more significantly, dimension-free vector analogues (which van Handel/Zhang already show are obstructed for d≥2). No closed form exists for the sub-Gamma constant (only a variational formula plus bounds). The work is an extension of an existing framework rather than a paradigm shift, and its practical downstream consequences remain to be demonstrated. The audience is narrow.
Overall, this is a technically accomplished, rigorous, and timely contribution that meaningfully advances a specific active question, with one component (finite-window Kearns–Saul) having reuse potential beyond the immediate problem.
Generated Sep 3, 2026
Rigorous, sharp, and timely extension of a hot micro-topic (convex-order comparison) to the sub-Gamma/sub-exponential setting, but confined to a narrow subfield and one-dimensional in scope