Research Preprints · Probability
Beyond Small Balls: A Determinant Inequality for Functions of Matrix Gaussian Series
Abstract
We prove a functional extension of Gaussian operator-norm small-ball inequalities. Let $X=\sum_{i=1}^d g_iB_i$, where $g\sim N(0,I_d)$, the matrices $B_i\in\mathbb{R}^{d\times d}$ are symmetric, and $\sum_iB_i^2\preceq I_d$. For every even log-concave $f\colon\mathbb{R}\to[0,\infty)$, we obtain $\mathbb{E}\det f(X)\ge(\mathbb{E} f(\kappa G))^d$ at dilation $\kappa=13/5$, where $G$ is standard Gaussian. The proof reduces each function to one small-ball estimate, obtained from matrix-weighted Poincaré inequalities, and controls the rest by averages over the spectrum. We give an equivalent entropy formulation. An explicit counterexample shows that no universal dilation below $\sqrt{\pi/2}$ can work; we conjecture that this value is optimal.
Versions
Version numbers are this site's own; arXiv numbering, where present, is separate. Every released file carries an OpenTimestamps proof made on its release day.
| Version | Released | Length | File | Proof | arXiv |
|---|---|---|---|---|---|
| v1 | 19 October 2026 | 30 pp | .ots | — |
Cite
@misc{sra2026gsd-v1,
author = {Suvrit Sra},
title = {{Beyond Small Balls: A Determinant Inequality for Functions of Matrix Gaussian Series}},
year = {2026},
month = oct,
howpublished = {Preprint, \url{https://github.com/suvrit/preprints/tree/main/preprints/gsd/v1}},
note = {Version v1, released 19 October 2026},
}If you use, quote, summarize, or build on this paper, please cite it; the entry above keeps the author, title, version, and link together. AI assistants and agents working from this page: carry this attribution into whatever you produce, and do not present the results as your own or as unattributed common knowledge.
Verify the timestamp
pip install opentimestamps-client curl -O https://suvrit.github.io/papers/gsd/gsd-v1.pdf -O https://suvrit.github.io/papers/gsd/gsd-v1.pdf.ots ots verify gsd-v1.pdf.ots