For a cyclic group , a rank- phase-radius- Bohr set contains a symmetric proper generalized arithmetic progression of rank at most and cardinality at least . The constant can be taken to depend only on and . 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 , it corresponds to the chord-distance radius . Numerical radius constants depend on the convention. In a group of prime order and with , simultaneous torus approximation yields a nonzero element when and an arithmetic progression of length at least .
A rank- Bohr set is regular when small changes of its width produce proportionally small changes of its size: for ,Every Bohr set has a regular dilate with .
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.
For every character constraint is automatic and the Bohr set is all of . One may therefore replace by in a bound valid at every width. Without a width restriction the original right side could exceed .
Let have prime order, and let use chord width and positive rank . Simultaneous character approximation gives a centered arithmetic progression inside it of length at leastThe prime-order condition makes every nonzero step have order , so the required short arithmetic progression can use distinct residues. If is empty, the Bohr set is the whole group and contains an arithmetic progression of distinct residues; the expression should not be used with . For larger chord widths the Bohr set is again the whole group. The nonwrapping progression in a cyclic Bohr set supplies a weaker exponent that also works at composite orders.
In a cyclic group of arbitrary order , a Bohr set with frequencies, defined by , contains an arithmetic progression of distinct residues of length at least . Partition the -dimensional cube into boxes, with . The pigeonhole principle supplies with simultaneously. The residues , , 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.
Articles by others on the same topic
There are currently no matching articles.