Low-degree Fourier mass of a sparse Boolean set
ID: low-degree-fourier-mass-of-a-sparse-boolean-set
For a subset of the unbiased Boolean hypercube of density , use normalized Fourier-Walsh transform coefficients. Applying Beckner's inequality with gives . On levels at most two the weights are at least , giving the displayed bound. Parseval's identity gives total Fourier mass , so when the higher levels contain strictly more than the lower levels.
New to topics? Read the docs here!