= Solution
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.
Back to article page
