Definition.Fourier weight [boolean/def/weight]

The (Fourier) weight of a Boolean function $𝑓$ on the set $𝑆\subseteq \left[𝑛\right]$ is the squared Fourier coefficient, $\widehat{𝑓}{\left(𝑆\right)}^2$.