Noise stability (source code)

= Noise stability
{title2=$\operatorname{Stab}_\rho(f)$}
{wiki}

The noise stability is
$$
\operatorname{Stab}_\rho(f)=\langle f,T_\rho f\rangle
=\sum_S\rho^{|S|}\widehat f(S)^2.
$$