One useful form of the <modified logarithmic Sobolev inequality> is the following. For a function $F$ of independent coordinates, let
$$
F_i(x^{(i)})=\inf_{z\in[0,1]}F(x_1,\ldots,x_{i-1},z,x_{i+1},\ldots,x_n)
$$
and $V^+(x)=\sum_i(F(x)-F_i(x^{(i)}))^2$. If $V^+\leq v$ and $\lambda\geq0$, the inequality gives
$$
\operatorname{Ent}(e^{\lambda F})
\leq\frac{\lambda^2v}{2}\mathbb Ee^{\lambda F},
$$
and the <Herbst argument> yields
$$
\mathbb P(F-\mathbb EF\geq t)\leq e^{-t^2/(2v)}.
$$

<Talagrand's one-sided bounded differences inequality> gives the complementary tail under the same one-sided bounded-difference condition:
$$
\mathbb P(F-\mathbb EF\leq-t)\leq e^{-t^2/(2v)}.
$$
Equivalent versions use an independent coordinate replacement and its conditional positive-part variance proxy.

Solution

Past exam of the mathematics course of the University of Cambridge / 2024 / iii / Paper 208 / 4 / a / Solution

 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-208/4/a/solution