arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~

消化尖锐薄壳不等式的证明

Digesting the proof of the sharp thin-shell inequality

Yuansi Chen, Boaz Klartag

arXiv 2607.23307首次发表:更新:

AI 中文总结

研究高维对数凹分布薄壳定理中通用常数最优值,通过分析加权黎曼流形和蒙日 - 安培方程给出证明,确定\({\rm Var}( |X|^2 ) \leq 8 n\)且常数\(8\)最优,还给出相关张量范数界。

AI 中文摘要

我们给出了一个证明,确定了高维对数凹分布薄壳定理中通用常数的最优值。我们证明,对于\(\mathbb{R}^n\)中任何均值为零且协方差为单位矩阵的对数凹随机向量\(X = (X_1,\ldots,X_n)\),有\({\rm Var}( |X|^2 ) \leq 8 n\)。常数\(8\)是最优的,当\(X_1,\ldots,X_n\)是独立同分布的标准中心指数随机变量时取等号。此外,在\(\mathbb{R}^n\)中凸体上均匀分布的各向同性随机向量中,\({\rm Var}(|X|^2)\)在正则单纯形上的均匀分布时取最大值。我们还给出了各向同性对数凹分布三阶矩张量的希尔伯特 - 施密特范数的相应尖锐界。该论证依赖于对与对数凹矩测度相关的加权黎曼流形和蒙日 - 安培方程的分析。主要改进来自对势的三阶导数张量的简洁而有效的分析。该证明由GPT - 5.6 Pro根据第一作者提供的提示找到,此前两位作者就对数凹矩测度进行了一般性讨论。提示参考了论文“对数凹矩测度I”并建议自举二阶迹矩的界

英文摘要

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.

Comments23 pages. Statement of AI use included. Chat log is in the ancillary files as a pdf

论文原文

arXiv 摘要页 · PDF 原文 · HTML 原文

↑