Heilbronn set explained

In mathematics, a Heilbronn set is an infinite set S of natural numbers for which every real number can be arbitrarily closely approximated by a fraction whose denominator is in S. For any given real number

\theta and natural number h , it is easy to find the integer g such that g/h is closest to \theta . For example, for the real number \pi and h =100 we have g =314 . If we call the closeness of \theta to g/h the difference between h\theta and g , the closeness is always less than 1/2 (in our example it is 0.15926...). A collection of numbers is a Heilbronn set if for any \theta we can always find a sequence of values for h in the set where the closeness tends to zero.

More mathematically let

\|\alpha\| denote the distance from \alpha to the nearest integer then l H is a Heilbronn set if and only if for every real number \theta and every \varepsilon> 0 there exists h\in l H such that \|h\theta\|<\varepsilon .^[1]

Examples

The natural numbers are a Heilbronn set as Dirichlet's approximation theorem shows that there exists

q<[ 1 /\varepsilon] with \|q\theta\|<\varepsilon .

The

k th powers of integers are a Heilbronn set. This follows from a result of I. M. Vinogradov who showed that for every N and k there exists an exponent η _{k>0} and q<N such that \|q ^{k\theta\|\ll} N ^{-η _{k}} .^[2] In the case k =2 Hans Heilbronn was able to show that η _{2} may be taken arbitrarily close to 1/2.^[3] Alexandru Zaharescu has improved Heilbronn's result to show that η _{2} may be taken arbitrarily close to 4/7.^[4]

Any Van der Corput set is also a Heilbronn set.

Example of a non-Heilbronn set

The powers of 10 are not a Heilbronn set. Take

\varepsilon =0 . 001 then the statement that \| 10 ^{k\theta\|<\varepsilon} for some k is equivalent to saying that the decimal expansion of \theta has run of three zeros or three nines somewhere. This is not true for all real numbers.

Notes and References

1. Book: Montgomery, Hugh Lowell . Hugh Lowell Montgomery

   . Hugh Lowell Montgomery . Ten lectures on the Interface Between Analytic Number Theory and Harmonic Analysis. 84 . CBMS Regional Conference Series in Mathematics . 1994 . American Mathematical Society . Providence Rhode Island . 0-8218-0737-4 .

2. I. M. . Vinogradov . I. M. Vinogradov . Analytischer Beweis des Satzes uber die Verteilung der Bruchteile eines ganzen Polynoms . 1927. 21. 6 . 567–578 . Bull. Acad. Sci. USSR.
3. Hans. Heilbronn. Hans Heilbronn . On the distribution of the sequence n ^{2\theta\pmod} 1 . 1948. 19 . 249–256 . Q. J. Math. . First Series . 0027294 . 10.1093/qmath/os-19.1.249.
4. Alexandru . Zaharescu. Alexandru Zaharescu. Small values of n ^{2\alpha\pmod} 1 . 1995. 121. 2 . 379–388 . Invent. Math.. 1346212 . 10.1007/BF01884304. 120435242 .