Translated Bohr neighborhood in a triple sumset

ID: translated-bohr-neighborhood-in-a-triple-sumset

For a subset of density in a finite cyclic group, put using normalized convolution on a finite group. Its average is , so choose with . Retain the large spectrum where . The Parseval identity on a finite group gives at most frequencies. Their phases change by at most on the associated Bohr set, contributing at most to the change of . The discarded frequencies contribute at most another , since . Therefore on the Bohr set, proving the containment.

New to topics? Read the docs here!