Bohr set ($B(\Gamma ,\rho )$)

For a finite abelian group $G$, frequencies $\Gamma \subseteq \hat{G}$, and $\rho >0$, the Bohr set isIts rank is $|\Gamma |$ and its width is $\rho$.

For a cyclic group $G$, a rank-$d$ phase-radius-$\rho$ Bohr set contains a symmetric proper generalized arithmetic progression of rank at most $d+1$ and cardinality at least $c(d,\rho )|G|$. The constant can be taken to depend only on $d$ and $\rho$. This geometry-of-numbers consequence follows by applying successive minima to the lattice recording the simultaneous character congruences; any cyclic subgroup factor can be represented by one additional progression coordinate. It is stronger than finding just one long ordinary progression.

A Bohr set defined by distance of each character phase to the nearest integer. For $0\le ϵ\le 1/2$, it corresponds to the chord-distance radius $2\sin (\pi ϵ)$. Numerical radius constants depend on the convention. In a group of prime order and with $d=|R|\ge 1$, simultaneous torus approximation yields a nonzero element when $ϵ>N^{-1/d}$ and an arithmetic progression of length at least $\min (N,\lceil ϵN^{1/d}\rceil )$.

If $B=B(\Gamma ,\rho )$ is a Bohr set, its $\delta$-dilate is $B_{\delta }=B(\Gamma ,\delta \rho )$. The triangle inequality on the unit circle gives $B_{\delta }+B_{\eta }\subseteq B_{\delta +\eta }$.

A rank-$d$ Bohr set $B$ is regular when small changes of its width produce proportionally small changes of its size: for $|\kappa |\le c/d$,Every Bohr set has a regular dilate $B_{\lambda }$ with $1/2\le \lambda \le 1$.

A Bohr set of rank $d$ and width $\rho$ satisfiesThe proof partitions each circle coordinate into arcs and applies translation averaging and the pigeonhole principle.

When $N$ is prime, simultaneous approximation of the frequencies shows that $B(\Gamma ,\rho )\subseteq \mathbb{Z}/N\mathbb{Z}$ contains a centered arithmetic progression of length at least

In a cyclic group of arbitrary order $q$, a Bohr set with $d$ frequencies, defined by $\Vert rx/q\Vert \le 1/16$, contains an arithmetic progression of distinct residues of length at least $q^{1/(d+1)}/32$. Partition the $d$-dimensional cube into $Q^d$ boxes, with $Q=\lfloor q^{1/(d+1)}\rfloor$. The pigeonhole principle supplies $1\le t\le Q^d$ with $\Vert rt/q\Vert \le 1/Q$ simultaneously. The residues $jt$, $0\le j\le \lfloor Q/16\rfloor$, remain in the Bohr set and do not wrap around the cyclic group. The weaker exponent permits composite moduli without assuming that every nonzero step has large order.