Cyclic Bogolyubov lemma

ID: cyclic-bogolyubov-lemma

For of subset density , contains a Bohr set of rank at most and a fixed positive width, including for composite . With normalized Fourier coefficients on a finite abelian group, retain the frequencies where . Parseval identity on a finite group bounds their number and the discarded fourth moment. Their nearly constant phases make positive on the Bohr set.

New to topics? Read the docs here!