|
1 Abelian Groups and Character Sums |
|
|
1 | (12) |
|
1.1 Basic Notation and Terminology |
|
|
1 | (1) |
|
1.2 Abelian Groups and Independence |
|
|
2 | (3) |
|
1.3 Character Theory and Dual Groups |
|
|
5 | (4) |
|
|
9 | (4) |
|
|
|
2 Introduction to Sumsets |
|
|
13 | (12) |
|
|
13 | (1) |
|
|
14 | (1) |
|
2.3 Multiplicity of Representation in a Sumset |
|
|
15 | (1) |
|
2.4 X-Component Decompositions |
|
|
16 | (1) |
|
2.5 Arithmetic Progressions |
|
|
16 | (1) |
|
2.6 H-Coset Decompositions |
|
|
17 | (1) |
|
2.7 Induction on Well-Ordered Sets |
|
|
17 | (1) |
|
2.8 Freiman Homomorphisms |
|
|
18 | (3) |
|
|
21 | (4) |
|
3 Simple Results for Torsion-Free Abelian Groups |
|
|
25 | (4) |
|
3.1 Freiman Isomorphisms into Z |
|
|
25 | (1) |
|
3.2 A Basic Lower Bound for Torsion-Free Sumsets |
|
|
26 | (1) |
|
|
27 | (2) |
|
4 Basic Results for Sumsets with an Infinite Summand |
|
|
29 | (28) |
|
|
29 | (2) |
|
4.2 Cofinite and Semi-cofinite Subsets |
|
|
31 | (6) |
|
|
37 | (2) |
|
4.4 Sumsets with Multiple Infinite Summands |
|
|
39 | (3) |
|
4.5 More General Notions of Isomorphism |
|
|
42 | (13) |
|
|
55 | (2) |
|
5 The Pigeonhole and Multiplicity Bounds |
|
|
57 | (4) |
|
5.1 The Pigeonhole and Multiplicity Bounds |
|
|
57 | (3) |
|
|
60 | (1) |
|
6 Periodic Sets and Kneser's Theorem |
|
|
61 | (10) |
|
6.1 Kneser's Theorem: Statement and Consequences |
|
|
61 | (2) |
|
6.2 Kneser's Theorem: The Proof |
|
|
63 | (4) |
|
|
67 | (4) |
|
7 Compression, Complements and the 3k --- 4 Theorem |
|
|
71 | (28) |
|
7.1 The 3k - 4 Theorem: Statement and Overview |
|
|
71 | (2) |
|
7.2 Relative Complements, Saturated Subsets and Dual Pairs |
|
|
73 | (6) |
|
7.3 A Brief Aside: The Discrete Brunn-Minkowski Theorem in Dimension 2 |
|
|
79 | (2) |
|
|
81 | (5) |
|
7.5 Towards the 3k --- 4 Theorem: Containment by Arithmetic Progressions |
|
|
86 | (4) |
|
7.6 Towards the 3k --- 4 Theorem: Long Arithmetic Progressions in the Sumset |
|
|
90 | (5) |
|
|
95 | (4) |
|
|
99 | (12) |
|
|
99 | (6) |
|
|
105 | (2) |
|
|
107 | (1) |
|
|
108 | (3) |
|
9 Kemperman's Critical Pair Theory |
|
|
111 | (24) |
|
9.1 Reduction to the Aperiodic Case |
|
|
111 | (1) |
|
|
111 | (1) |
|
9.3 Quasi-periodic Decompositions and the Recursive Construction |
|
|
112 | (2) |
|
9.4 Special Considerations for Unique Expression Elements |
|
|
114 | (1) |
|
9.5 Saturability of Critical Pairs |
|
|
114 | (1) |
|
9.6 Partial Converses to Quasi-periodic Lifting |
|
|
115 | (3) |
|
9.7 The Kemperman Structure Theorem (KST) |
|
|
118 | (12) |
|
|
130 | (5) |
|
|
|
10 Zero-Sums, Setpartitions and Subsequence Sums |
|
|
135 | (10) |
|
|
135 | (4) |
|
10.2 Existence of Setpartitions |
|
|
139 | (2) |
|
10.3 The Erdos-Ginzburg-Ziv Theorem and a Basic Bound for the Davenport Constant |
|
|
141 | (1) |
|
|
142 | (3) |
|
11 Long Zero-Sum Free Sequences over Cyclic Groups |
|
|
145 | (10) |
|
11.1 Additive Isomorphisms for Subsequence Sums |
|
|
145 | (1) |
|
|
146 | (4) |
|
11.3 The Savchev-Chen Structure Theorem |
|
|
150 | (2) |
|
|
152 | (3) |
|
12 Pollard's Theorem for General Abelian Groups |
|
|
155 | (26) |
|
12.1 General Lower Bounds for t-Representable Sums |
|
|
155 | (1) |
|
12.2 Structural Results for t-Representable Sums |
|
|
156 | (18) |
|
12.3 Less Restricted Bounds for t-Representable Sums |
|
|
174 | (3) |
|
|
177 | (4) |
|
13 The DeVos-Goddyn-Mohar Theorem |
|
|
181 | (16) |
|
|
181 | (1) |
|
13.2 Proof of the DeVos-Goddyn-Mohar Theorem |
|
|
182 | (10) |
|
|
192 | (5) |
|
14 The Partition Theorem I |
|
|
197 | (32) |
|
14.1 Weighted Subsequence Sums |
|
|
197 | (1) |
|
14.2 The Partition Theorem Versus DeVos-Goddyn-Mohar |
|
|
198 | (1) |
|
14.3 The Partition Theorem |
|
|
199 | (2) |
|
14.4 Proof of the Unweighted Version |
|
|
201 | (4) |
|
14.5 Proof of the Weighted Version |
|
|
205 | (20) |
|
|
225 | (4) |
|
15 The Partition Theorem II |
|
|
229 | (16) |
|
15.1 Two Corollaries of the Partition Theorem |
|
|
229 | (1) |
|
15.2 A Group Theoretic Lemma About d*(G) |
|
|
230 | (1) |
|
15.3 Proof of the Partition Corollaries |
|
|
231 | (10) |
|
|
241 | (4) |
|
16 The Ω-Weighted Gao Theorem |
|
|
245 | (20) |
|
|
245 | (3) |
|
|
248 | (2) |
|
16.3 The Derivation of the Global Version from the Local |
|
|
250 | (4) |
|
16.4 The Proof of the Local Version |
|
|
254 | (6) |
|
|
260 | (5) |
|
Part III Advanced Methods |
|
|
|
17 Group Algebras: An Upper Bound for the Davenport Constant |
|
|
265 | (6) |
|
|
265 | (2) |
|
17.2 A Generic Upper Bound for the Davenport Constant |
|
|
267 | (2) |
|
|
269 | (2) |
|
18 Character and Linear Algebraic Methods: Snevily's Conjecture |
|
|
271 | (8) |
|
18.1 A Problem Regarding Matrix Determinants |
|
|
271 | (4) |
|
18.2 The Proof of Snevily's Conjecture |
|
|
275 | (2) |
|
|
277 | (2) |
|
19 Character Sum and Fourier Analytic Methods: r-Critical Pairs I |
|
|
279 | (20) |
|
|
279 | (7) |
|
19.2 A Partial 3K --- 4 Theorem for Prime Order Groups: The Symmetric Case |
|
|
286 | (5) |
|
19.3 A Partial 3k --- 4 Theorem for Prime Order Groups: Near Equal Sized Summands |
|
|
291 | (6) |
|
|
297 | (2) |
|
20 Freiman Homomorphisms Revisited |
|
|
299 | (68) |
|
20.1 Universal Ambient Groups |
|
|
299 | (6) |
|
20.2 Basic Results for the Universal Ambient Group |
|
|
305 | (9) |
|
20.3 The Universal Ambient Group Below the 3k --- 4 Bound |
|
|
314 | (2) |
|
20.4 An Upper Bound for Universal Ambient Torsion |
|
|
316 | (5) |
|
20.5 Consequences of the Universal Ambient Torsion Bound I |
|
|
321 | (1) |
|
20.6 A Quick Review of Lattice Theory and the Geometry of Numbers |
|
|
322 | (4) |
|
20.7 Consequences of the Universal Ambient Torsion Bound II |
|
|
326 | (7) |
|
20.8 The Universal Ambient Group of a Quotient |
|
|
333 | (4) |
|
20.9 A Semigroup-Algorithmic Approach to Freiman Homomorphisms |
|
|
337 | (9) |
|
20.10 The Universal Ambient Group Below the Cauchy-Davenport Bound |
|
|
346 | (12) |
|
20.11 Abstract Isomorphisms |
|
|
358 | (3) |
|
20.12 Rectification in Prime Order Groups |
|
|
361 | (1) |
|
|
362 | (5) |
|
21 The Isoperimetric Method: Sidon Sets and r-Critical Pairs II |
|
|
367 | (34) |
|
21.1 The Isoperimetric Method: Basic Notions and Properties |
|
|
367 | (6) |
|
|
373 | (2) |
|
|
375 | (11) |
|
21.4 The Number of Components in a Subset with Small Sumset |
|
|
386 | (6) |
|
|
392 | (7) |
|
|
399 | (2) |
|
22 The Polynomial Method: The Erdos-Heilbronn Conjecture |
|
|
401 | (14) |
|
22.1 Alon's Combinatorial Nullstellensatz |
|
|
401 | (7) |
|
22.2 The Chevalley-Warning Theorem |
|
|
408 | (2) |
|
22.3 Restricted Sumsets and the Erdos-Heilbronn Conjecture |
|
|
410 | (2) |
|
|
412 | (3) |
References |
|
415 | (8) |
Index |
|
423 | |