Indexed metadata

Sharp Gaussian divergence and Bernstein-Markov inequalities

Fan Chen, Sinho Chewi, Jianfeng Lu, Matthew S. Zhang

Source record

Source: arXiv

Published: Sep 26, 2026

arXiv: 2609.32851

Open original source ↗

Source abstract

We prove two dimension-free estimates in Gaussian space. The first is an optimal Meyer-type inequality for the Gaussian divergence: for p≥2p\geq2, ∥δV∥Lp(γd)≤p ∣EV∣+Cp ∥DV∥Lp(γd;HSd) . \|δV\|_{L^p(γ_d)} \leq \sqrt p\,|\mathbb E V| +Cp\,\|DV\|_{L^p(γ_d;\mathrm{HS}_d)}\, . Here HSd\mathrm{HS}_d is the space of d×dd\times d matrices with its Hilbert-Schmidt norm. Its main ingredient is a dimension-free weak-type (1,1)(1,1) bound for the second-order transform D2N−1D^2\mathcal N^{-1}, where N:=−Δ+x⋅D\mathcal N := -Δ+x\cdot D 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 PP is a polynomial, p≥2p\geq2, and mp:=(E∣g∣p)1/pm_p := (\mathbb E|g|^p)^{1/p} for a standard Gaussian gg, then ∥DP∥Lp(γd;Rd)≤22e deg(P)mp ∥P∥Lp(γd) . \|DP\|_{L^p(γ_d;\mathbb R^d)} \leq\frac{2\sqrt{2e\, \mathrm{deg}(P)}}{m_p}\,\|P\|_{L^p(γ_d)}\, . The factor 22 is unnecessary when pp is even, or PP is even or odd. Thus, the constant is of order deg(P)/p\sqrt{\mathrm{deg}(P)/p} throughout the range p≥2p\geq2.

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.