A step beyond Freiman's theorem for set addition modulo a prime

DOI10.5802/JTNB.1122MaRDI QIDQ2199684zbMATH OpenOpenAlexFDO

Authors Pablo Candela, Oriol Serra, Christoph Spiegel

Publication date 14 September 2020

Published in Journal de Théorie des Nombres de Bordeaux (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NoDerivs 4.0 International

Full work available at URL https://arxiv.org/abs/1805.12374

zbMATH Keywords

additive combinatoricsinverse resultsmall doublingsumset

Mathematics Subject Classification ID

Combinatorial aspects of difference sets (number-theoretic, group-theoretic, etc.) (05B10) Additive bases, including sumsets (11B13) Inverse problems of additive number theory, including sumsets (11P70)

Abstract: Freiman's 2.4-Theorem states that any set $Asubsetmathbb{Z}_p$ satisfying $|2A|leq2.4|A|-3$ and $|A|<p/35$ can be covered by an arithmetic progression of length at most $|2A|-|A|+1$. A more general result of Green and Ruzsa implies that this covering property holds for any set satisfying $|2A|leq3|A|-4$ as long as the rather strong density requirement $|A|<p/10^{215}$ is satisfied. We present a version of this statement that allows for sets satisfying $|2A|leq2.48|A|-7$ with the more modest density requirement of $|A|<p/10^{10}$.

Review text

A well-known \(3k-4\) theorem of \textit{G. A. Freĭman} [Izv. Vyssh. Uchebn. Zaved., Mat. 1964, No. 6(43), 168--178 (1964; Zbl 0201.37504)] says that any finite subset of integers \(A\) with \(|A+A| \le 3|A|-4\) is contained in an arithmetic progression of length at most \(|A+A|-|A|+1\). This is an optimal result in the sense that the constants \(3\) and \(4\) cannot be changed but the question is open in the case of the group \(\mathbb{Z}/p\mathbb{Z}\), where \(p\) is a prime. Namely, Freiman showed the same for \(A \subseteq \mathbb{Z}/p\mathbb{Z}\) with \(|A+A| \le 2.4|A|-3\) but the constant \(2.4\) is believed to be increased. The main result of this paper is Theorem. Let \(p\) be a prime number and let \(A\subset \mathbb{Z}/p\mathbb{Z}\) be a set with \(|A+A| \le 2.48|A|-7\) and \(|A| <p/10^{10}\). Then there is an arithmetic progression \(P \subset \mathbb{Z}/p\mathbb{Z}\) such that \(A \subseteq P\) and \(|P| \le |A+A|-|A|+1\).

Recommendations

• On Freiman's 2.4-Theorem
• scientific article; zbMATH DE number 2124067
• Large sets with small doubling modulo \(p\) are well covered by an arithmetic progression
• Small doubling in prime-order groups: from 2.4 to 2.6
• Near optimal bounds in Freiman's theorem

Cites work

• A polynomial bound in Freiman's theorem.
• A STEP BEYOND KNESER'S THEOREM FOR ABELIAN FINITE GROUPS
• Appendix to `Roth's theorem on progressions revisited' by J. Bourgain
• Freiman's inverse problem with small doubling property
• Freiman's theorem in an arbitrary abelian group
• Generalized arithmetical progressions and sumsets
• scientific article; zbMATH DE number 3425719 (Why is no real title available?)
• scientific article; zbMATH DE number 5014485 (Why is no real title available?)
• scientific article; zbMATH DE number 3178749 (Why is no real title available?)
• Large sets with small doubling modulo \(p\) are well covered by an arithmetic progression
• Near optimal bounds in Freiman's theorem
• On addition of two distinct sets of integers
• On doubling and volume: chains
• On Freiman's 2.4-Theorem
• On sets with small sumset in the circle
• On small sumsets in an abelian group
• On the critical pair theory in Z/pZ
• SETS WITH SMALL SUMSET AND RECTIFICATION
• Structural additive theory. Based on courses given at Karl-Franzens-Universität Graz, Austria, 2008--2012
• The Critical Pairs of Subsets of a Group of Prime Order

Cited in

(10)

• A Freiman's 2.4 theorem-type result for different subsets
• Small doubling in prime-order groups: from 2.4 to 2.6
• A STEP BEYOND KNESER'S THEOREM FOR ABELIAN FINITE GROUPS
• scientific article; zbMATH DE number 2124067 (Why is no real title available?)
• On sets with small sumset and \(m\)-sum-free sets in \(\mathbb{Z}/p\mathbb{Z}\)
• Semicontinuity of structure for small sumsets in compact abelian groups
• On Freiman's 2.4-Theorem
• Towards \(3n-4\) in groups of prime order
• Small sum sets, subcriticality structure
• Locality in sumsets (extended abstract)

This page was built for publication: A step beyond Freiman's theorem for set addition modulo a prime

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2199684)