×

The analogue of Erdős-Turán conjecture in \(\mathbb Z_m\). (English) Zbl 1191.11006

The particular conjecture of Erdős and Turán to which the title of the paper refers is that if \(A \subset \mathbb N\) is such that the support of \(1_A \ast 1_A\) contains every sufficiently large integer then it must be unbounded. Although the conjecture itself is far from resolution some interesting partial results are know. Of special interest is the result of Ruzsa that the modular analogue is false: writing \(R_m\) for the smallest number such that there is a set \(A \subset \mathbb Z/m\mathbb Z\) with \(A+A=\mathbb Z/m\mathbb Z\) and \(\| 1_A \ast 1_A\| _\infty \leq R_m\), Ruzsa showed that \(R_m = O(1)\).
It is the purpose of the paper under review to show that \(R_m \leq 288\). The argument itself rests on two key facts. First, the author provides a careful analysis of the case when \(m=2p^2\) for some prime \(p\). In this instance he is able to give examples of sets \(A\) with \(A+A=\mathbb Z/m\mathbb Z\) and \(\| 1_A \ast 1_A\| _\infty \leq 48\). This is then combined with the fact that if \(m_1 < m_2 \leq 3m_1/2\) then \(R_{m_1} \leq 6R_{m_2}\) to complete the proof. The approach is combinatorial and the paper also includes a clutch of related open questions, although perhaps its most novel selling point is the video summary which may be found on youtube.

MSC:

11B13 Additive bases, including sumsets
11B34 Representation functions
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Erdős, P., On the multiplicative representation of integers, Israel J. Math., 2, 251-261 (1964) · Zbl 0146.05304
[2] Erdős, P.; Turán, P., On a problem of Sidon in additive number theory, and on some related problems, J. London Math. Soc., 16, 212-215 (1941) · Zbl 0061.07301
[3] Halberstam, H.; Roth, K. F., Sequences (1966), Clarendon Press: Clarendon Press Oxford · Zbl 0141.04405
[4] Nathanson, M. B., Unique representation bases for integers, Acta Arith., 108, 1-8 (2003) · Zbl 1154.11306
[5] Nathanson, M. B., Representation functions of additive bases for abelian semigroups, Int. J. Math. Math. Sci., 2004, 30, 1589-1597 (2004) · Zbl 1122.11006
[6] Panaitopol, L., Inequalities concerning the function \(\pi(x)\): Applications, Acta Arith., 94, 4, 373-381 (2000) · Zbl 0963.11050
[7] Puˇs, V., On multiplicative bases in abelian groups, Czechoslovak Math. J., 41, 282-287 (1991) · Zbl 0745.11010
[8] Ruzsa, I. Z., A just basis, Monatsh. Math., 109, 145-151 (1990) · Zbl 0713.11009
[9] Tang, M.; Chen, Y. G., A basis of \(Z_m\), Colloq. Math., 104, 1, 99-103 (2006) · Zbl 1138.11003
[10] Tang, M.; Chen, Y. G., A basis of \(Z_m\), II, Colloq. Math., 108, 1, 141-145 (2007) · Zbl 1187.11006
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.