## §5.4: Degree-1 weight

In this section we prove two theorems about the degree-$1$ Fourier weight of boolean functions: $\mathbf{W}^{1}[f] = \sum_{i=1}^n \widehat{f}(i)^2.$

[...]