An improved bound on $\ell_q$ norms of noisy functions

Abstract: Let $T_{\epsilon}$, $0 \le \epsilon \le 1/2$, be the noise operator acting on functions on the boolean cube ${0,1}^n$. Let $f$ be a nonnegative function on ${0,1}^n$ and let $q \ge 1$. In arXiv:1809.09696 the $\ell_q$ norm of $T_{\epsilon} f$ was upperbounded by the average $\ell_q$ norm of conditional expectations of $f$, given sets whose elements are chosen at random with probability $\lambda$, depending on $q$ and on $\epsilon$. In this note we prove this inequality for integer $q \ge 2$ with a better (smaller) parameter $\lambda$. The new inequality is tight for characteristic functions of subcubes. As an application, following arXiv:2008.07236, we show that a Reed-Muller code $C$ of rate $R$ decodes errors on $\mathrm{BSC}(p)$ with high probability if [ R ~<~ 1 - \log_2\left(1 + \sqrt{4p(1-p)}\right). ] This is a (minor) improvement on the estimate in arXiv:2008.07236.