高斯二次型的Gamma包络与锐利矩不等式
A Gamma envelope and sharp moment inequalities for Gaussian quadratic forms
浏览论文内容
中文总结 AI 辅助
本文针对固定Frobenius范数下的高斯二次型，构造Gamma变量差分以给出绝对中心矩的显式上界，并证明该上界由单变量中心化平方达到最大，从而得到锐利矩不等式。
中文摘要 AI 辅助
我们研究了在固定Frobenius范数下高斯二次型的极值绝对中心矩。对于非零实对称矩阵$M$和$G\sim N(0,I_n)$，我们构造了一个显式的Gamma变量中心差分，其均值、方差和三阶中心矩与$G^{\mathsf T}MG-\operatorname{tr}M$相同。归一化后，用该Gamma差分替换二次型不会降低$\mathbb{E} f$，其中$f$是任意满足$f''$为凸函数且$f$、$f'$、$f''$具有多项式增长的$C^2$检验函数。特别地，这为所有阶数$p\ge3$的绝对矩提供了显式上界。随后我们证明，对于每个$p\ge4$，该上界由单个标准高斯变量$g$的中心化平方$g^2-1$达到最大。由此得到的锐利不等式为\\[ \bigl\\|G^{\mathsf T}MG-\operatorname{tr}M\bigr\\|_p \le \\|g^2-1\\|_p\\,\\|M\\|_{\mathrm F}, \\] 当且仅当$M$的秩为1时等号成立。
英文摘要
We study extremal absolute central moments of Gaussian quadratic forms under a fixed Frobenius norm. For a nonzero real symmetric matrix $M$ and $G\sim N(0,I_n)$, we construct an explicit centered difference of Gamma variables with the same mean, variance, and third centered moment as $G^{\mathsf T}MG-\operatorname{tr}M$. After normalization, replacing the quadratic form by this Gamma difference does not decrease $\mathbb{E} f$ for every $C^2$ test function $f$ such that $f''$ is convex and $f$, $f'$, and $f''$ have polynomial growth. In particular, it gives an explicit upper bound for every absolute moment of order $p\ge3$. We then prove that, for every $p\ge4$, this bound is maximized by the centered square $g^2-1$ of a single standard Gaussian variable $g$. The resulting sharp inequality is \[ \bigl\|G^{\mathsf T}MG-\operatorname{tr}M\bigr\|_p \le \|g^2-1\|_p\,\|M\|_{\mathrm F}, \] with equality if and only if $M$ has rank one.
发表机构
- Universitat Pompeu Fabra（庞培法布拉大学）
机构由 AI 辅助整理，请以论文原文为准。
