In additive combinatorics, a discipline within mathematics, Freiman's theorem is a central result which indicates the approximate structure of sets whose sumset is small. It roughly states that if | A + A | / | A | {\displaystyle |A+A|/|A|} is small, then A {\displaystyle A} can be contained in a small generalized arithmetic progression.
If A {\displaystyle A} is a finite subset of Z {\displaystyle \mathbb {Z} } with | A + A | ≤ ≤ --> K | A | {\displaystyle |A+A|\leq K|A|} , then A {\displaystyle A} is contained in a generalized arithmetic progression of dimension at most d ( K ) {\displaystyle d(K)} and size at most f ( K ) | A | {\displaystyle f(K)|A|} , where d ( K ) {\displaystyle d(K)} and f ( K ) {\displaystyle f(K)} are constants depending only on K {\displaystyle K} .
For a finite set A {\displaystyle A} of integers, it is always true that
with equality precisely when A {\displaystyle A} is an arithmetic progression.
More generally, suppose A {\displaystyle A} is a subset of a finite proper generalized arithmetic progression P {\displaystyle P} of dimension d {\displaystyle d} such that | P | ≤ ≤ --> C | A | {\displaystyle |P|\leq C|A|} for some real C ≥ ≥ --> 1 {\displaystyle C\geq 1} . Then | P + P | ≤ ≤ --> 2 d | P | {\displaystyle |P+P|\leq 2^{d}|P|} , so that
This result is due to Gregory Freiman (1964, 1966).[1][2][3] Much interest in it, and applications, stemmed from a new proof by Imre Z. Ruzsa (1992,1994).[4][5] Mei-Chu Chang proved new polynomial estimates for the size of arithmetic progressions arising in the theorem in 2002.[6] The current best bounds were provided by Tom Sanders.[7]
The proof presented here follows the proof in Yufei Zhao's lecture notes.[8]
The Ruzsa covering lemma states the following:
This lemma provides a bound on how many copies of S − − --> S {\displaystyle S-S} one needs to cover A {\displaystyle A} , hence the name. The proof is essentially a greedy algorithm:
Proof: Let T {\displaystyle T} be a maximal subset of A {\displaystyle A} such that the sets t + S {\displaystyle t+S} for A {\displaystyle A} are all disjoint. Then | T + S | = | T | ⋅ ⋅ --> | S | {\displaystyle |T+S|=|T|\cdot |S|} , and also | T + S | ≤ ≤ --> | A + S | ≤ ≤ --> K | S | {\displaystyle |T+S|\leq |A+S|\leq K|S|} , so | T | ≤ ≤ --> K {\displaystyle |T|\leq K} . Furthermore, for any a ∈ ∈ --> A {\displaystyle a\in A} , there is some t ∈ ∈ --> T {\displaystyle t\in T} such that t + S {\displaystyle t+S} intersects a + S {\displaystyle a+S} , as otherwise adding a {\displaystyle a} to T {\displaystyle T} contradicts the maximality of T {\displaystyle T} . Thus a ∈ ∈ --> T + S − − --> S {\displaystyle a\in T+S-S} , so A ⊆ ⊆ --> T + S − − --> S {\displaystyle A\subseteq T+S-S} .
Let s ≥ ≥ --> 2 {\displaystyle s\geq 2} be a positive integer, and Γ Γ --> {\displaystyle \Gamma } and Γ Γ --> ′ {\displaystyle \Gamma '} be abelian groups. Let A ⊆ ⊆ --> Γ Γ --> {\displaystyle A\subseteq \Gamma } and B ⊆ ⊆ --> Γ Γ --> ′ {\displaystyle B\subseteq \Gamma '} . A map φ φ --> : : --> A → → --> B {\displaystyle \varphi \colon A\to B} is a Freiman s {\displaystyle s} -homomorphism if
whenever a 1 + ⋯ ⋯ --> + a s = a 1 ′ + ⋯ ⋯ --> + a s ′ {\displaystyle a_{1}+\cdots +a_{s}=a_{1}'+\cdots +a_{s}'} for any a 1 , … … --> , a s , a 1 ′ , … … --> , a s ′ ∈ ∈ --> A {\displaystyle a_{1},\ldots ,a_{s},a_{1}',\ldots ,a_{s}'\in A} .
If in addition φ φ --> {\displaystyle \varphi } is a bijection and φ φ --> − − --> 1 : : --> B → → --> A {\displaystyle \varphi ^{-1}\colon B\to A} is a Freiman s {\displaystyle s} -homomorphism, then φ φ --> {\displaystyle \varphi } is a Freiman s {\displaystyle s} -isomorphism.
If φ φ --> {\displaystyle \varphi } is a Freiman s {\displaystyle s} -homomorphism, then φ φ --> {\displaystyle \varphi } is a Freiman t {\displaystyle t} -homomorphism for any positive integer t {\displaystyle t} such that 2 ≤ ≤ --> t ≤ ≤ --> s {\displaystyle 2\leq t\leq s} .
Then the Ruzsa modeling lemma states the following:
The last statement means there exists some Freiman s {\displaystyle s} -homomorphism between the two subsets.
Proof sketch: Choose a prime q {\displaystyle q} sufficiently large such that the modulo- q {\displaystyle q} reduction map π π --> q : : --> Z → → --> Z / q Z {\displaystyle \pi _{q}\colon \mathbb {Z} \to \mathbb {Z} /q\mathbb {Z} } is a Freiman s {\displaystyle s} -isomorphism from A {\displaystyle A} to its image in Z / q Z {\displaystyle \mathbb {Z} /q\mathbb {Z} } . Let ψ ψ --> q : : --> Z / q Z → → --> Z {\displaystyle \psi _{q}\colon \mathbb {Z} /q\mathbb {Z} \to \mathbb {Z} } be the lifting map that takes each member of Z / q Z {\displaystyle \mathbb {Z} /q\mathbb {Z} } to its unique representative in { 1 , … … --> , q } ⊆ ⊆ --> Z {\displaystyle \{1,\ldots ,q\}\subseteq \mathbb {Z} } . For nonzero λ λ --> ∈ ∈ --> Z / q Z {\displaystyle \lambda \in \mathbb {Z} /q\mathbb {Z} } , let ⋅ ⋅ --> λ λ --> : : --> Z / q Z → → --> Z / q Z {\displaystyle \cdot \lambda \colon \mathbb {Z} /q\mathbb {Z} \to \mathbb {Z} /q\mathbb {Z} } be the multiplication by λ λ --> {\displaystyle \lambda } map, which is a Freiman s {\displaystyle s} -isomorphism. Let B {\displaystyle B} be the image ( ⋅ ⋅ --> λ λ --> ∘ ∘ --> π π --> q ) ( A ) {\displaystyle (\cdot \lambda \circ \pi _{q})(A)} . Choose a suitable subset B ′ {\displaystyle B'} of B {\displaystyle B} with cardinality at least | B | / s {\displaystyle |B|/s} such that the restriction of ψ ψ --> q {\displaystyle \psi _{q}} to B ′ {\displaystyle B'} is a Freiman s {\displaystyle s} -isomorphism onto its image, and let A ′ ⊆ ⊆ --> A {\displaystyle A'\subseteq A} be the preimage of B ′ {\displaystyle B'} under ⋅ ⋅ --> λ λ --> ∘ ∘ --> π π --> q {\displaystyle \cdot \lambda \circ \pi _{q}} . Then the restriction of ψ ψ --> q ∘ ∘ --> ⋅ ⋅ --> λ λ --> ∘ ∘ --> π π --> q {\displaystyle \psi _{q}\circ \cdot \lambda \circ \pi _{q}} to A ′ {\displaystyle A'} is a Freiman s {\displaystyle s} -isomorphism onto its image ψ ψ --> q ( B ′ ) {\displaystyle \psi _{q}(B')} . Lastly, there exists some choice of nonzero λ λ --> {\displaystyle \lambda } such that the restriction of the modulo- N {\displaystyle N} reduction Z → → --> Z / N Z {\displaystyle \mathbb {Z} \to \mathbb {Z} /N\mathbb {Z} } to ψ ψ --> q ( B ′ ) {\displaystyle \psi _{q}(B')} is a Freiman s {\displaystyle s} -isomorphism onto its image. The result follows after composing this map with the earlier Freiman s {\displaystyle s} -isomorphism.
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:
Generalizing this lemma to arbitrary cyclic groups requires an analogous notion to “subspace”: that of the Bohr set. Let R {\displaystyle R} be a subset of Z / N Z {\displaystyle \mathbb {Z} /N\mathbb {Z} } where N {\displaystyle N} is a prime. The Bohr set of dimension | R | {\displaystyle |R|} and width ε ε --> {\displaystyle \varepsilon } is
where | r x / N | {\displaystyle |rx/N|} is the distance from r x / N {\displaystyle rx/N} to the nearest integer. The following lemma generalizes Bogolyubov's lemma:
Here the dimension of a Bohr set is analogous to the codimension of a set in F 2 n {\displaystyle \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.
The proof of this proposition uses Minkowski's theorem, a fundamental result in geometry of numbers.
By the Plünnecke–Ruzsa inequality, | 8 A − − --> 8 A | ≤ ≤ --> K 16 | A | {\displaystyle |8A-8A|\leq K^{16}|A|} . By Bertrand's postulate, there exists a prime N {\displaystyle N} such that | 8 A − − --> 8 A | ≤ ≤ --> N ≤ ≤ --> 2 K 16 | A | {\displaystyle |8A-8A|\leq N\leq 2K^{16}|A|} . By the Ruzsa modeling lemma, there exists a subset A ′ {\displaystyle A'} of A {\displaystyle A} of cardinality at least | A | / 8 {\displaystyle |A|/8} such that A ′ {\displaystyle A'} is Freiman 8-isomorphic to a subset B ⊆ ⊆ --> Z / N Z {\displaystyle B\subseteq \mathbb {Z} /N\mathbb {Z} } .
By the generalization of Bogolyubov's lemma, 2 B − − --> 2 B {\displaystyle 2B-2B} contains a proper generalized arithmetic progression of dimension d {\displaystyle d} at most ( 1 / ( 8 ⋅ ⋅ --> 2 K 16 ) ) − − --> 2 = 256 K 32 {\displaystyle (1/(8\cdot 2K^{16}))^{-2}=256K^{32}} and size at least ( 1 / ( 4 d ) ) d N {\displaystyle (1/(4d))^{d}N} . Because A ′ {\displaystyle A'} and B {\displaystyle B} are Freiman 8-isomorphic, 2 A ′ − − --> 2 A ′ {\displaystyle 2A'-2A'} and 2 B − − --> 2 B {\displaystyle 2B-2B} are Freiman 2-isomorphic. Then the image under the 2-isomorphism of the proper generalized arithmetic progression in 2 B − − --> 2 B {\displaystyle 2B-2B} is a proper generalized arithmetic progression in 2 A ′ − − --> 2 A ′ ⊆ ⊆ --> 2 A − − --> 2 A {\displaystyle 2A'-2A'\subseteq 2A-2A} called P {\displaystyle P} .
But P + A ⊆ ⊆ --> 3 A − − --> 2 A {\displaystyle P+A\subseteq 3A-2A} , since P ⊆ ⊆ --> 2 A − − --> 2 A {\displaystyle P\subseteq 2A-2A} . Thus
so by the Ruzsa covering lemma A ⊆ ⊆ --> X + P − − --> P {\displaystyle A\subseteq X+P-P} for some X ⊆ ⊆ --> A {\displaystyle X\subseteq A} of cardinality at most ( 4 d ) d {\displaystyle (4d)^{d}} . Then X + P − − --> P {\displaystyle X+P-P} is contained in a generalized arithmetic progression of dimension | X | + d {\displaystyle |X|+d} and size at most 2 | X | 2 d | P | ≤ ≤ --> 2 | X | + d | 2 A − − --> 2 A | ≤ ≤ --> 2 | X | + d K 4 | A | {\displaystyle 2^{|X|}2^{d}|P|\leq 2^{|X|+d}|2A-2A|\leq 2^{|X|+d}K^{4}|A|} , completing the proof.
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 G {\displaystyle G} is a set P + H {\displaystyle P+H} for a proper generalized arithmetic progression P {\displaystyle P} and a subgroup H {\displaystyle H} of G {\displaystyle G} . The dimension of this coset progression is defined to be the dimension of P {\displaystyle P} , and its size is defined to be the cardinality of the whole set. Green and Ruzsa showed the following:
Green and Ruzsa provided upper bounds of d ( K ) = C K 4 log --> ( K + 2 ) {\displaystyle d(K)=CK^{4}\log(K+2)} and f ( K ) = e C K 4 log 2 --> ( K + 2 ) {\displaystyle f(K)=e^{CK^{4}\log ^{2}(K+2)}} for some absolute constant C {\displaystyle C} .[9]
Terence Tao (2010) also generalized Freiman's theorem to solvable groups of bounded derived length.[10]
Extending Freiman’s theorem to an arbitrary nonabelian group is still open. Results for K < 2 {\displaystyle K<2} , when a set has very small doubling, are referred to as Kneser theorems.[11]
The polynomial Freiman–Ruzsa conjecture,[12] is a generalization published in a paper[13] by Imre Ruzsa but credited by him to Katalin Marton. It states that if a subset of a group (a power of a cyclic group) A ⊂ ⊂ --> G {\displaystyle A\subset G} has doubling constant such that | A + A | ≤ ≤ --> K | A | {\displaystyle |A+A|\leq K|A|} then it is covered by a bounded number K C {\displaystyle K^{C}} of cosets of some subgroup H ⊂ ⊂ --> G {\displaystyle H\subset G} with | H | ≤ ≤ --> | A | {\displaystyle |H|\leq |A|} . In 2012 Toms Sanders gave an almost polynomial bound of the conjecture for abelian groups.[14][15] In 2023 a solution over G = F 2 n {\displaystyle G=\mathbb {F} _{2}^{n}} a field of characteristic 2 has been posted as a preprint by Tim Gowers, Ben Green, Freddie Manners and Terry Tao.[16][17][18]
This article incorporates material from Freiman's theorem on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.
This article is about a settlement in the City Municipality of Ljubljana. For the village in Lower Carniola, see Šentpavel na Dolenjskem. For settlement in the Municipality of Domžale, see Šentpavel pri Domžalah. Place in Lower Carniola, SloveniaŠentpavelŠentpavelŠentpavelLocation in SloveniaCoordinates: 46°0′44.99″N 14°37′0.65″E / 46.0124972°N 14.6168472°E / 46.0124972; 14.6168472Country SloveniaTraditional regionLower CarniolaStatistical regionCentral…
Ini adalah daftar katedral di Rusia. Katedral Moskwa Katolik Katedral Gereja Katolik di Rusia:[1] Katedral Hati Maria Tak Bernoda, Irkutsk Katedral Bunda Allah, Moskow Katedral Transfigurasi, Novosibirsk Katedral Santo Petrus dan Santo Paulus, Saratov Katedral Santo Yakobus, Yuzhno-Sakhalinsk Lihat juga Gereja Katolik Roma Gereja Katolik di Rusia Daftar katedral Referensi ^ Cathedrals Russia. GCatholic.org. Diakses tanggal 2013-05-08. lbsDaftar katedral di EropaNegaraberdaulat Alba…
دونالد ترامب اثناء انسحاب بلاده عام 2017 أعلن دونالد ترامب عندما كان رئيسًا للولايات المتحدة في 1 يونيو 2017، أن الولايات المتحدة ستتوقف عن المشاركة في اتفاقية باريس لعام 2015 بشأن التخفيف من آثار التغير المناخي، معتبرًا أن من شأن الاتفاقية «تقويض» الاقتصاد الأمريكي،[1][2]…
Air dari tempat ini ialah air asin. Air asin lebih sering berarti air dari laut dan samudra. Air ini juga disebut air laut. Air asin ialah lawan air tawar. Air asin mengandung garam. Kita tidak bisa meminum air asin karena garam dalam air membuat kita dehidrasi - badan kita akan kehilangan lebih banyak air yang diminum, dan nanti bisa sakit. Namun, banyak jenis ikan, hewan, dan tanaman yang berbeda tinggal di air asin. Garam laut dibuat dengan mengeringkan air asin. Air asin digunakan untuk memb…
5271 КайламайяВідкриттяВідкривач Е. Гелін,Ш. Дж. БасМісце відкриття Обсерваторія Сайдинг-СпрінгДата відкриття 25 червня 1979ПозначенняТимчасові позначення (5271) 1979 MH7 1982 BH10 1991 DZКатегорія малої планети Астероїд головного поясуОрбітальні характеристики[1] Епоха 23 травня 20…
Artikel ini bukan mengenai Miranda Lambert. Miranda CosgroveCosgrove pada karpet merah premier film Despicable Me 2 di Event Cinemas, Bondi Junction, Sydney, Australia, pada Juni 2013Informasi latar belakangNama lahirMiranda Taylor CosgroveLahir14 Mei 1993 (umur 30)AsalLos Angeles, California, Amerika SerikatGenreDance-pop, teen pop, pop rock[1]PekerjaanAktris, Penyanyi, Pengisi suaraInstrumenVokal, gitarTahun aktif2001–sekarangLabelColumbia, EpicArtis terkaitDrake Bell, Josh Peck…
Este artículo o sección necesita referencias que aparezcan en una publicación acreditada.Este aviso fue puesto el 9 de marzo de 2022. Un PRT en el Aeropuerto de Londres. El sistema de Transporte Rápido Personal, (Personal Rapit Transit en inglés, PRT), también llamado Sistema automatizado de transporte, o Podcar, es un medio de transporte público con pequeños vehículos automáticos que funcionan en una red de medios de guía especialmente construidos. Este nuevo tipo de sistema es un ti…
此條目翻譯品質不佳,原文在ja:檀れい。翻譯者可能不熟悉中文或原文語言,也可能使用了機器翻譯。請協助翻譯本條目或重新編寫,并注意避免翻译腔的问题。明顯拙劣的翻譯請改掛{{d|G13}}提交刪除。此條目需要补充更多来源。 (2014年4月9日)请协助補充多方面可靠来源以改善这篇条目,无法查证的内容可能會因為异议提出而被移除。致使用者:请搜索一下条目的标题(来…
Contoh satu ruas garis Tiga garis — garis merah dan biru memiliki kemiringan yang sama, sementara garis merah dan hijau memiliki persilangan y yang sama. Garis (bahasa Inggris: line), dalam geometri Euklides, adalah sebuah lengkungan lurus. Ketika geometri digunakan untuk memodel dunia nyata, garis digunakan untuk menggambarkan objek lurus dengan lebar dan tinggi yang berbeda. Garis adalah idealisasi dari objek semacam itu dan tidak punya lebar atau tinggi dan panjangnya dianggap tak hingg…
مايكل ليمبيك معلومات شخصية الميلاد 25 يونيو 1948 (75 سنة) بروكلين مواطنة الولايات المتحدة الزوجة لورنا باترسون الأب هارفي ليمبيك [لغات أخرى] الحياة العملية المهنة ممثل، ومخرج تلفزيوني، ومخرج أفلام، وممثل تلفزيوني، ومخرج اللغة الأم …
село Дем'янівка Країна Україна Область Одеська область Район Подільський район Громада Окнянська селищна громада Код КАТОТТГ UA51120150130083053 Основні дані Засноване 1840 Населення 78 Площа 0,37 км² Густота населення 210,81 осіб/км² Поштовий індекс 67940 Телефонний код +380 4861
Invasión de Bahía de Cochinos Parte de Historia de la Guerra Fría 1. Tanque del ejército cubano comandado por Fidel Castro 2. Tanque y carros de combate del ejército cubano hacia la Costa Sur 3. Soldados del ejército cubano dirigiéndose a Playa Girón 4. Aviones de la Fuerza Aérea estadounidense en camino hacia Bahía de Cochinos, Cuba5. Derribo de un Lockheed T-33 cubano 6. Ofensiva lanzada cerca de Playa Girón 7. Soldados del ejército cubano 8. Barcos de la Fuerza Naval estadounidens…
وزارة النفط (العراق) تفاصيل الوكالة الحكومية البلد العراق المركز بغداد الإحداثيات 33°20′27″N 44°26′01″E / 33.340915197206°N 44.433592116998°E / 33.340915197206; 44.433592116998 الإدارة منصب المدير وزير النفط موقع الويب الموقع الرسمي تعديل مصدري - تعديل لمعانٍ أخرى، طال
Standing committee of the House of Representatives of the Philippines Committee on Economic Affairs18th CongressHistoryNew session startedJuly 22, 2019 (2019-07-22)LeadershipChairmanTeodorico Haresco Jr. (Nacionalista) since October 6, 2020 Minority LeaderStella Luz Quimbo (Liberal) since 2019 StructureSeats34 membersPolitical groupsMajority (31) PDP–Laban (8) Party-lists (7) Nacionalista (4) NUP (4) NPC (2) Bileg Ti Ilokano (1) …
French footballer François Bourbotte Bourbotte in 1938Personal informationDate of birth 24 February 1913Place of birth Loison-sous-Lens, FranceDate of death 15 December 1972(1972-12-15) (aged 59)Position(s) Defender, midfielderSenior career*Years Team Apps (Gls)1932–1934 Bully 1934–1939 SC Fives 1939–1940 Excelsior AC Roubaix 1940–1943 SC Fives 1943–1944 Lille-Flandres [fr] 1944–1947 Lille 1947–1949 Armentières International career1937–1942 France 17 (0)Manage…
Израильско-суринамские отношения Израиль Суринам Медиафайлы на Викискладе Израильско-суринамские отношения — настоящие и исторические международные дипломатические, политические, экономические, военные, культурные и прочие отношения между Государством Израиль…
Class of massive star with a spectral type of A to K Intrinsic variable types in the Hertzsprung–Russell diagram showing the Yellow Hypergiants above (i.e. more luminous than) the Cepheid instability strip A yellow hypergiant (YHG) is a massive star with an extended atmosphere, a spectral class from A to K, and, starting with an initial mass of about 20–60 solar masses, has lost as much as half that mass. They are amongst the most visually luminous stars, with absolute magnitude (MV) around …
Railway station in Shima, Mie Prefecture, Japan Shima-Yokoyama Station志摩横山駅Shima-Yokoyama StationGeneral informationLocationAgo-cho Ugata 1243-4, Shima-shi, Mie-kenJapanCoordinates34°20′04″N 136°49′06″E / 34.3344°N 136.8182°E / 34.3344; 136.8182Operated by Kintetsu RailwayLine(s) Shima LineDistance61.9 km from Ise-NakagawaPlatforms2 side platformsConnections Bus terminal Other informationStation codeM90WebsiteOfficial websiteHistoryOpenedJuly…
CRL Jalur MRT Lintas PulauLaluan MRT Rentas Pulau跨岛地铁线குறுக்கு தீவு மெட்ரோ வரிRute dan warna Jalur Lintas Pulau tidak dikonfirmasi.IkhtisarJenisAngkutan cepatSistemMRT SingapuraStatusDirencanakanStasiun30 (diperkirakan)[1]Penumpang harian600,000 (expected)OperasiDibuka2030PemilikLand Transport AuthorityOperatorAkan diumumkanData teknisPanjang lintas50 km (31 mi)Lebar sepur4 ft 8+1⁄2 in (1.435…
Cinema in Glasgow, Scotland Cineworld Glasgow Renfrew StreetCineworld's Renfrew Street buildingFormer namesUGC Glasgow Renfrew Street (2001–2005)General informationTypeCinemaLocationGlasgow, ScotlandAddress7 Renfrew StreetCoordinates55°51′54″N 4°15′19″W / 55.86489°N 4.25517°W / 55.86489; -4.25517Opened2001 (as UGC) 2005 (as Cineworld)Inaugurated2000OwnerCineworldHeight62 m (203 ft)Technical detailsStructural systemSteel frameOther informationSeatin…
Lokasi Pengunjung: 3.17.78.254