Construction of a thin set with small Fourier coefficients. (English) Zbl 0733.11005
For a natural number m and a set T of residues modulo m, \(| T| =n\), the discrete Fourier transform of T is defined by \(f(k)=\sum_{t\in T}e(tk/m)\). Standard probabilistic arguments show that a random set satisfies \(\| f\| =\max | f(k)| =O(\sqrt{n \log m})\), hence \(\| f\| =o(n)\) can be achieved if n/log \(m\to \infty\) arbitrary slowly (while \(\| f\| \gg n\) can be shown for \(n\ll \log m)\). In the paper, a set is constructed with slightly weaker properties, but still with \(\| f\| =o(n)\) and \(n\ll (\log m)^{1+\epsilon}\). This is applied to construct an essential component with \(\ll (\log x)^{3+\epsilon}\) elements up to x; the optimal result here is (log x)\({}^{1+\epsilon}\), due to the reviewer [Proc. Lond. Math. Soc., III. Ser. 54, 38-56 (1987; Zbl 0609.10042)].
Reviewer: I.Z.Ruzsa (Budapest)
MSC:
11B05 | Density, gaps, topology |
11P99 | Additive number theory; partitions |
43A46 | Special sets (thin sets, Kronecker sets, Helson sets, Ditkin sets, Sidon sets, etc.) |
05B10 | Combinatorial aspects of difference sets (number-theoretic, group-theoretic, etc.) |