ba220e3a6555cece.tex
1: \begin{abstract}
2: 	Consider an empirical measure $\PP_n$ induced by $n$ iid samples from a $d$-dimensional
3: 	$K$-subgaussian distribution $\PP$ and let $\gamma = \mathcal{N}(0,\sigma^2 I_d)$ be the
4: 	isotropic Gaussian measure.
5: 	We study the speed of convergence of the smoothed Wasserstein distance $W_2(\PP_n *
6: 	\gamma, \PP*\gamma) = n^{-\alpha + o(1)}$ with $*$ being the convolution of measures. For $K<\sigma$ and in any dimension $d\ge 1$ we show
7: 	that $\alpha = {1\over2}$. For $K>\sigma$ in dimension $d=1$ we
8: 	show that the rate is slower and is given by $\alpha = {(\sigma^2 + K^2)^2\over 4 (\sigma^4 + K^4)} <
9: 	1/2$. 
10: 	This resolves several open problems in~\cite{goldfeld2020convergence}, and in particular
11: 	precisely identifies the amount of smoothing $\sigma$ needed to obtain a parametric rate. 
12: 	In addition, we also establish that $D_{KL}(\PP_n * \gamma \|\PP*\gamma)$ has rate
13: 	$O(1/n)$ for $K<\sigma$ but only slows
14: 	down to $O({(\log n)^{d+1}\over n})$ for $K>\sigma$. The surprising difference of the
15: 	behavior of $W_2^2$ and KL implies the failure of $T_{2}$-transportation inequality when
16: 	$\sigma < K$. Consequently, it follows that for $K>\sigma$ the log-Sobolev inequality (LSI) for the Gaussian mixture $\mathbb{P} *
17: 	\mathcal{N}(0, \sigma^{2})$ cannot hold. This closes an open problem in~\cite{wang2016functional}, who
18: 	established the LSI under the condition $K<\sigma$ and asked if their bound can be
19: 	improved.
20: \end{abstract}
21: