Lower bound for the size of a Bohr set
ID: lower-bound-for-the-size-of-a-bohr-set
For a Bohr set in chord-distance convention, with rank and width ,Partition each character circle into arcs. One of the resulting boxes contains at least images. Subtract a fixed group element in that box from all the others. Their character differences have chord distance at most , giving that many distinct points in the Bohr set. Since in this width range, the displayed estimate follows.
New to topics? Read the docs here!