1: \begin{proof}[Proof of Lemma \ref{t:s_chisquaredbound}]

2: $ $\\

3: Using Talagrand's inequality and the fact that $U(x)$ is strongly

4: convex, we can upper bound $W_2^2(q, p^*)$ by $\chi^2(q,p^*)$ for any

5: distribution $q$ which has density wrt $p^*$, i.e.:

6: \begin{align*}

7: W_2^2(p^*,p_\delta) 

8: \leq& \frac{2}{m} \int \lrp{\frac{p_\delta (x)}{p^*(x)} - 1}^2 p^*(x)

9: \,dx.

10: \numberthis \label{e:s_rc:1}

11: \end{align*}

12: 

13: See Lemma \ref{l:s_upperboundw2bychisquared} in Appendix \ref{s:appendix:inhomogeneous} for a rigorous proof of \eqref{e:s_rc:1}.

14: 

15: 

16: Under our assumptions on $\delta$, we can apply

17: Lemma~\ref{l:s_pdeltaoverpstariscloseto1} below, giving

18: \begin{align*}

19: &\int_{B_R} \lrp{\frac{p_\delta(x)}{p^*(x)}-1}^2 p^*(x)\, dx\\

20: \leq& 2^{23}\delta^{3} d^2 \lrp{L+1}^{9} 

21: \int \exp\lrp{\frac{m}{32}\|x\|_2^2} \lrp{\|x\|_2^{12} + 1} p^*(x)\, dx\\

22: \leq& 2^{24}\delta^{3} d^2 \lrp{L+1}^{9} 

23: \lrp{\int \exp\lrp{\frac{m}{16}\|x\|_2^2} p^*(x) dx + \int

24: \lrp{\|x\|_2^{24} + 1} p^*(x)\, dx}\\

25: \leq& 2^{24}\delta^{3} d^2 \lrp{L+1}^{9} 

26: \lrp{8d + \max\lrbb{\lrp{2^{11} \frac{1}{m} \log \lrp{2^8/m}}^{11}, 2^{11} \frac{1}{m} }}\\

27: \leq& 2^{156}\delta^{3} d^3 \lrp{L+1}^{9} 

28: \max\lrbb{ \frac{1}{m}\log \lrp{\frac{1}{m}},1}^{11},

29: \end{align*}

30: where the first inequality is by Lemma \ref{l:s_pdeltaoverpstariscloseto1}, the second inequality is by Young's inequality, the third inequality is by Lemma \ref{l:p^*hasboundedexponent} and Lemma \ref{l:kthmomentbound}, with $c_\sigma=1$.

31: Plugging the above into \eqref{e:s_rc:1},

32: \begin{align*}

33: W_2^2(p^*,p_\delta) 

34: \leq& 2^{156}\delta^3d^3 \lrp{L+1}^{9} 

35: \max\lrbb{ \frac{1}{m}\log \lrp{\frac{1}{m}},1}^{12} .

36: \end{align*}

37: \end{proof}

38: