Sharp Gaussian divergence and Bernstein-Markov inequalities
arXiv:2609.32851
Abstract
We prove two dimension-free estimates in Gaussian space. The first is an optimal Meyer-type inequality for the Gaussian divergence: for , \[ \|δV\|_{L^p(γ_d)} \leq \sqrt p\,|\mathbb E V| +Cp\,\|DV\|_{L^p(γ_d;\mathrm{HS}_d)}\, . \] Here is the space of matrices with its Hilbert-Schmidt norm. Its main ingredient is a dimension-free weak-type bound for the second-order transform , where is the Ornstein-Uhlenbeck operator. We also include a direct change-of-variables proof of the weaker bounded derivative divergence inequality in the appendix. The second result is a Gaussian Bernstein-Markov inequality. If is a polynomial, , and for a standard Gaussian , then \[ \|DP\|_{L^p(γ_d;\mathbb R^d)} \leq\frac{2\sqrt{2e\, \mathrm{deg}(P)}}{m_p}\,\|P\|_{L^p(γ_d)}\, . \] The factor is unnecessary when is even, or is even or odd. Thus, the constant is of order throughout the range .