Research Preprints · Probability

Beyond Small Balls: A Determinant Inequality for Functions of Matrix Gaussian Series

Version v1 · released 19 October 2026 · 30 pages · A determinant inequality for matrix Gaussian series

PDFGitHubTimestamp

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.

VersionReleasedLengthFileProofarXiv
v119 October 202630 ppPDF.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