Digesting the proof of the sharp thin-shell inequality

Abstract

We present a proof that determines the optimal value of the universal constant in the thin-shell theorem for log-concave distributions in high dimensions. We prove that for any log-concave random vector $X = (X_1,\ldots,X_n)$ in $\mathbb{R}^n$ with mean zero and identity covariance, $$ {\rm Var}( |X|^2 ) \leq 8 n. $$ The constant $8$ is optimal: equality is attained when $X_1,\ldots,X_n$ are independent, identically distributed, standard, centered exponential random variables. Moreover, among isotropic random vectors distributed uniformly on convex bodies in $\mathbb{R}^n$, the quantity ${\rm Var}(|X|^2)$ is maximized by the uniform distribution on a regular simplex. We also provide a corresponding sharp bound on the Hilbert-Schmidt norm of the tensor of $3^{rd}$-moments of isotropic, log-concave distributions. The argument relies on the analysis of a weighted Riemannian manifold associated with log-concave moment measures and the Monge-Ampère equation. This manifold was studied in this context in \cite{lc_moment}. The main improvement over \cite{lc_moment} comes from a concise yet effective analysis of the $3^{rd}$-derivatives tensor of the potential. The proof was found by GPT-5.6 Pro in response to prompts supplied by the first-named author, following general discussions between the two authors concerning log-concave moment measures. The prompts referred to the paper ``Logarithmically-concave moment measures I'' and suggested bootstrapping a bound on the second trace moment.

Disclosure

“he second-named author to the ETH Institute for Theoretical Studies, and he is grateful to the Institute for its hospitality. The second- named author is supported by a grant from the Israel Science Foundation (ISF). AI use statement. GPT-5.6 Pro produced the initial proof in response to prompts from the first-named author. Both authors verified and revised the argument, and rewrote it to make it more accessible. GPT-5.6 was then used to polish the writing. 2 Background on”

PDF page 5

Classification

Drafting a complete proof for author revision

Multiplier

9

Verified

2026-08-23T19:06:51.134443Z

Structural counts