# Freiman's theorem

Freiman's theorem In additive combinatorics, Freiman's theorem is a central result which indicates the approximate structure of sets whose sumset is small. It roughly states that if {Anzeigestil |A+A|/|EIN|} is small, dann {Anzeigestil A} can be contained in a small generalized arithmetic progression.

Inhalt 1 Aussage 2 Beispiele 3 History of Freiman's theorem 4 Tools used in the proof 4.1 Plünnecke-Ruzsa inequality 4.2 Ruzsa covering lemma 4.3 Freiman homomorphisms and the Ruzsa modeling lemma 4.4 Bohr sets and Bogolyubov's lemma 5 Nachweisen 6 Verallgemeinerungen 7 Siehe auch 8 Verweise 9 Further reading Statement If {Anzeigestil A} ist eine endliche Teilmenge von {Anzeigestil mathbb {Z} } mit {Anzeigestil |A+A|leq K|EIN|} , dann {Anzeigestil A} is contained in a generalized arithmetic progression of dimension at most {Anzeigestil d(K)} and size at most {Anzeigestil f(K)|EIN|} , wo {Anzeigestil d(K)} und {Anzeigestil f(K)} are constants depending only on {Anzeigestil K} .

Examples For a finite set {Anzeigestil A} of integers, it is always true that {Anzeigestil |A+A|geq 2|EIN|-1,} with equality precisely when {Anzeigestil A} is an arithmetic progression.

Allgemeiner, vermuten {Anzeigestil A} is a subset of a finite proper generalized arithmetic progression {Anzeigestil P} of dimension {Anzeigestil d} so dass {Anzeigestil |P|leq C|EIN|} for some real {displaystyle Cgeq 1} . Dann {Anzeigestil |P+P|leq 2^{d}|P|} , so dass {Anzeigestil |A+A|leq |P+P|leq 2^{d}|P|leq C2^{d}|EIN|.} History of Freiman's theorem This result is due to Gregory Freiman (1964, 1966).[1][2][3] Much interest in it, und Anwendungen, stemmed from a new proof by Imre Z. Ruzsa (1994).[4] Mei-Chu Chang proved new polynomial estimates for the size of arithmetic progressions arising in the theorem in 2002.[5] The current best bounds were provided by Tom Sanders.[6] Tools used in the proof The proof presented here follows the proof in Yufei Zhao's lecture notes.[7] Plünnecke-Ruzsa inequality Main article: Plünnecke-Ruzsa inequality Ruzsa covering lemma The Ruzsa covering lemma states the following: Lassen {Anzeigestil A} und {Anzeigestil S} be finite subsets of an abelian group with {Anzeigestil S} nonempty, und lass {Anzeigestil K} be a positive real number. Dann wenn {Anzeigestil |A+S|leq K|S|} , there is a subset {Anzeigestil T} von {Anzeigestil A} with at most {Anzeigestil K} elements such that {displaystyle Asubseteq T+S-S} .

This lemma provides a bound on how many copies of {displaystyle S-S} one needs to cover {Anzeigestil A} , hence the name. The proof is essentially a greedy algorithm: Nachweisen: Lassen {Anzeigestil T} be a maximal subset of {Anzeigestil A} such that the sets {displaystyle t+S} zum {Anzeigestil A} are all disjoint. Dann {Anzeigestil |T+S|=|T|cdot |S|} , and also {Anzeigestil |T+S|leq |A+S|leq K|S|} , Also {Anzeigestil |T|leq K} . Außerdem, für alle {Anzeigestil ist A} , there is some {displaystyle tin T} so dass {displaystyle t+S} intersects {displaystyle a+S} , as otherwise adding {Anzeigestil a} zu {Anzeigestil T} contradicts the maximality of {Anzeigestil T} . Daher {displaystyle ain T+S-S} , Also {displaystyle Asubseteq T+S-S} .

Freiman homomorphisms and the Ruzsa modeling lemma Let {displaystyle sgeq 2} be a positive integer, und {Anzeigestil Gamma } und {displaystyle Gamma '} be abelian groups. Lassen {displaystyle Asubseteq Gamma } und {displaystyle Bsubseteq Gamma '} . A map {displaystyle varphi colon Ato B} is a Freiman {Anzeigestil s} -homomorphism if {Anzeigestil Varphi (a_{1})+cdots +varphi (a_{s})=varphi (a_{1}')+cdots +varphi (a_{s}')} wann immer {Anzeigestil a_{1}+cdots +a_{s}=a_{1}'+cdots +a_{s}'} für alle {Anzeigestil a_{1},Punkte ,a_{s},a_{1}',Punkte ,a_{s}'in A} .

If in addition {Anzeigestil Varphi } is a bijection and {displaystyle varphi ^{-1}colon Bto A} is a Freiman {Anzeigestil s} -homomorphism, dann {Anzeigestil Varphi } is a Freiman {Anzeigestil s} -isomorphism.

Wenn {Anzeigestil Varphi } is a Freiman {Anzeigestil s} -homomorphism, dann {Anzeigestil Varphi } is a Freiman {Anzeigestil t} -homomorphism for any positive integer {Anzeigestil t} so dass {displaystyle 2leq tleq s} .

Then the Ruzsa modeling lemma states the following: Lassen {Anzeigestil A} be a finite set of integers, und lass {displaystyle sgeq 2} be a positive integer. Lassen {Anzeigestil N} be a positive integer such that {displaystyle Ngeq |sA-sA|} . Then there exists a subset {Anzeigestil A'} von {Anzeigestil A} with cardinality at least {Anzeigestil |EIN|/s} so dass {Anzeigestil A'} is Freiman {Anzeigestil s} -isomorphic to a subset of {Anzeigestil mathbb {Z} /Nmathbb {Z} } .

The last statement means there exists some Freiman {Anzeigestil s} -homomorphism between the two subsets.

Beweisskizze: Choose a prime {Anzeigestil q} sufficiently large such that the modulo- {Anzeigestil q} reduction map {Anzeigestil pi _{q}colon mathbb {Z} zu mathbb {Z} /qmathbb {Z} } is a Freiman {Anzeigestil s} -isomorphism from {Anzeigestil A} to its image in {Anzeigestil mathbb {Z} /qmathbb {Z} } . Lassen {Anzeigestil psi _{q}colon mathbb {Z} /qmathbb {Z} zu mathbb {Z} } be the lifting map that takes each member of {Anzeigestil mathbb {Z} /qmathbb {Z} } to its unique representative in {Anzeigestil {1,Punkte ,q}subseteq mathbb {Z} } . For nonzero {Anzeigestil Lambda in mathbb {Z} /qmathbb {Z} } , Lassen {displaystyle cdot lambda colon mathbb {Z} /qmathbb {Z} zu mathbb {Z} /qmathbb {Z} } be the multiplication by {Display-Lambda } map, which is a Freiman {Anzeigestil s} -isomorphism. Lassen {Anzeigestil B} be the image {Anzeigestil (cdot lambda circ pi _{q})(EIN)} . Choose a suitable subset {Anzeigestil B'} von {Anzeigestil B} with cardinality at least {Anzeigestil |B|/s} such that the restriction of {Anzeigestil psi _{q}} zu {Anzeigestil B'} is a Freiman {Anzeigestil s} -isomorphism onto its image, und lass {displaystyle A'subseteq A} be the preimage of {Anzeigestil B'} under {displaystyle cdot lambda circ pi _{q}} . Then the restriction of {Anzeigestil psi _{q}circ cdot lambda circ pi _{q}} zu {Anzeigestil A'} is a Freiman {Anzeigestil s} -isomorphism onto its image {Anzeigestil psi _{q}(B')} . Lastly, there exists some choice of nonzero {Display-Lambda } such that the restriction of the modulo- {Anzeigestil N} reduction {Anzeigestil mathbb {Z} zu mathbb {Z} /Nmathbb {Z} } zu {Anzeigestil psi _{q}(B')} is a Freiman {Anzeigestil s} -isomorphism onto its image. The result follows after composing this map with the earlier Freiman {Anzeigestil s} -isomorphism.

Bohr sets and Bogolyubov's lemma Though Freiman's theorem applies to sets of integers, the Ruzsa modeling lemma allows one to model sets of integers as subsets of finite cyclic groups. So it is useful to first work in the setting of a finite field, and then generalize results to the integers. The following lemma was proved by Bogolyubov: Lassen {displaystyle Ain mathbb {F} _{2}^{n}} und lass {displaystyle alpha =|EIN|/2^{n}} . Dann {displaystyle 4A} contains a subspace of {Anzeigestil mathbb {F} _{2}^{n}} of dimension at least {displaystyle n-alpha ^{-2}} .

Generalizing this lemma to arbitrary cyclic groups requires an analogous notion to “subspace”: that of the Bohr set. Lassen {Anzeigestil R} be a subset of {Anzeigestil mathbb {Z} /Nmathbb {Z} } wo {Anzeigestil N} is a prime. The Bohr set of dimension {Anzeigestil |R|} and width {Anzeigestil epsilon } ist {Anzeigestil Betreibername {Bohr} (R,Epsilon )={xin mathbb {Z} /Nmathbb {Z} :forall rin R,|rx/N|leq epsilon },} wo {Anzeigestil |rx/N|} is the distance from {displaystyle rx/N} to the nearest integer. The following lemma generalizes Bogolyubov's lemma: Lassen {displaystyle Ain mathbb {Z} /Nmathbb {Z} } und {displaystyle alpha =|EIN|/N} . Dann {displaystyle 2A-2A} contains a Bohr set of dimension at most {displaystyle alpha ^{-2}} and width {Anzeigestil 1/4} .

Here the dimension of a Bohr set is analogous to the codimension of a set in {Anzeigestil mathbb {F} _{2}^{n}} . The proof of the lemma involves Fourier-analytic methods. The following proposition relates Bohr sets back to generalized arithmetic progressions, eventually leading to the proof of Freiman's theorem.

Lassen {Anzeigestil X} be a Bohr set in {Anzeigestil mathbb {Z} /Nmathbb {Z} } of dimension {Anzeigestil d} and width {Anzeigestil epsilon } . Dann {Anzeigestil X} contains a proper generalized arithmetic progression of dimension at most {Anzeigestil d} and size at least {Anzeigestil (epsilon /d)^{d}N} .

The proof of this proposition uses Minkowski's theorem, a fundamental result in geometry of numbers.

Proof By the Plünnecke-Ruzsa inequality, {Anzeigestil |8A-8A|leq K^{16}|EIN|} . By Bertrand's postulate, there exists a prime {Anzeigestil N} so dass {Anzeigestil |8A-8A|leq Nleq 2K^{16}|EIN|} . By the Ruzsa modeling lemma, there exists a subset {Anzeigestil A'} von {Anzeigestil A} of cardinality at least {Anzeigestil |EIN|/8} so dass {Anzeigestil A'} is Freiman 8-isomorphic to a subset {displaystyle Bsubseteq mathbb {Z} /Nmathbb {Z} } .

By the generalization of Bogolyubov's lemma, {displaystyle 2B-2B} contains a proper generalized arithmetic progression of dimension {Anzeigestil d} at most {Anzeigestil (1/(8cdot 2K^{16}))^{-2}=256K^{32}} and size at least {Anzeigestil (1/(4d))^{d}N} . Da {Anzeigestil A'} und {Anzeigestil B} are Freiman 8-isomorphic, {displaystyle 2A'-2A'} und {displaystyle 2B-2B} are Freiman 2-isomorphic. Then the image under the 2-isomorphism of the proper generalized arithmetic progression in {displaystyle 2B-2B} is a proper generalized arithmetic progression in {displaystyle 2A'-2A'subseteq 2A-2A} genannt {Anzeigestil P} .

Aber {displaystyle P+Asubseteq 3A-2A} , seit {displaystyle Psubseteq 2A-2A} . Daher {Anzeigestil |P+A|leq |3A-2A|leq |8A-8A|leq Nleq (4d)^{d}|P|} so by the Ruzsa covering lemma {displaystyle Asubseteq X+P-P} für einige {displaystyle Xsubseteq A} of cardinality at most {Anzeigestil (4d)^{d}} . Dann {displaystyle X+P-P} is contained in a generalized arithmetic progression of dimension {Anzeigestil |X|+d} and size at most {Anzeigestil 2 ^{|X|}2^{d}|P|leq 2^{|X|+d}|2A-2A|leq 2^{|X|+d}K^{4}|EIN|} , Vervollständigung des Beweises.

Generalizations A result due to Ben Green and Imre Ruzsa generalized Freiman's theorem to arbitrary abelian groups. They used an analogous notion to generalized arithmetic progressions, which they called coset progressions. A coset progression of an abelian group {Anzeigestil G} is a set {displaystyle P+H} for a proper generalized arithmetic progression {Anzeigestil P} and a subgroup {Anzeigestil H} von {Anzeigestil G} . The dimension of this coset progression is defined to be the dimension of {Anzeigestil P} , and its size is defined to be the cardinality of the whole set. Green and Ruzsa showed the following: Lassen {Anzeigestil A} be a finite set in an abelian group {Anzeigestil G} so dass {Anzeigestil |A+A|leq K|EIN|} . Dann {Anzeigestil A} is contained in a coset progression of dimension at most {Anzeigestil d(K)} and size at most {Anzeigestil f(K)|EIN|} , wo {Anzeigestil f(K)} und {Anzeigestil d(K)} are functions of {Anzeigestil K} that are independent of {Anzeigestil G} .