165 - Additive Number Theory 2 PDF
165 - Additive Number Theory 2 PDF
165 - Additive Number Theory 2 PDF
ate Texts
iitirc
ut
Melvyn B. Nathanson
Additive
Number Theory
Inverse Problems and
the Geometry of Sumsets
y Springer
165
Editorial Board
S. Axler
Springer
New York
Berlin
Heidelberg
Barcelona
Budapest
Hong Kong
London
Milan
Paris
Santa Clara
Singapore
Tokyo
4
5
6
7
Hornological Algebra.
MAC LANE. Categories for the Working
Mathematician.
HUGHES/PIPER. Projective Planes.
SERRE. A Course in Arithmetic.
TAKEtrf/ZAJUNG. Axiomatic Set Theory.
HuMPHREYS. Introduction to Lie Algebras
33
34
2nd ed.
35 WERMER. Banach Algebras and Several
Complex Variables. 2nd ed.
36 KELLEY/NAMIOKA et al. Linear
37
38
II
12
13
43
Groups.
GILLMAN/JERISON. Rings of Continuous
44
45
46
47
Functions.
KENDIG. Elementary Algebraic Geometry.
Lo vE. Probability Theory 1. 4th ed.
LOEvE. Probability Theory II. 4th ed.
Mo1SE. Geometric Topology in
GOLUBrrSKY/GuILLEMIN.
Stable Mappings
16
18
19
20
21
22
15
17
2nd ed.
Topological Spaces.
MONK. Mathematical Logic.
Dimensions 2 and 3.
SACHS/WU. General Relativity for
Mathematicians.
GRUENBERG/WEIR. Linear Geometry.
48
49
51
to Mathematical Logic.
2nd ed.
50 EDWARDS. Fermat's Last Theorem.
52
23
53
27
56
Vol.l.
57
Introduction.
CROWELL/FOx. Introduction to Knot
58
Theory.
KoBLr z p-adic Numbers, p-adic
28
29
Melvyn B. Nathanson
Springer
Melvyn B. Nathanson
Department of Mathematics
Lehman College of the
City University of New York
250 Bedford Park Boulevard West
Bronx, NY 10468-1589 USA
Editorial Board
S. Axler
F.W. Gehring
Department of
Mathematics
Department of
Mathematics
University of Michigan
Ann Arbor, MI 48109
USA
USA
P.R. Halmos
Department of
Mathematics
Santa Clara University
Santa Clara, CA 95053
USA
York, NY 10010, USA), except for brief excerpts in connection with reviews or scholarly
analysis. Use in connection with any form of information storage and retrieval, electronic
adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed is forbidden.
The use of general descriptive names, trade names, trademarks, etc., in this publication, even
if the former are not especially identified, is not to be taken as a sign that such names, as
understood by the Trade Marks and Merchandise Marks Act, may accordingly be used freely
by anyone.
987654321
ISBN 0-387-94655-1 Springer-Verlag New York Berlin Heidelberg SPIN 10490825
Preface
Il est vrai que M. Fourier avait l'opinion que le but principal des
mathematiques etait l'uilite publique et 1'explication des phdnomCnes
viii
Preface
I had originally planned to write one short and comprehensive book on additive
problems, but the project has become a long and complex enterprise. I am grateful
to my publisher, Springer-Verlag, for its interest in and understanding of this work.
I wish to thank Antal Balog, Gregory Freiman, Yahya Ould Hamidoune, Vsevolod F. Lev, Oystein Rodseth, Imre Z. Ruzsa, and Endre Szemeredi, who provided
me with preprints of their papers on additive number theory and made helpful
comments on preliminary versions of this book. I also benefited greatly from a
conference on Freiman's work that was organized by Jean-Marc Deshouillers at
CIRM Marseille in June, 1993, and from a workshop on combinatorial number
theory that was held at the Center for Discrete Mathematics and Theoretical Computer Science (DIMACS) of Rutgers University in February, 1996. Much of this
book was written while I was on leave at the School of Mathematics of The Institute for Advanced Study, and at DIMACS. I am especially grateful to Henryk
Iwaniec and the late Daniel Gorenstein for making it possible for me to work at
Rutgers.
I have taught additive number theory at Southern Illinois University at Carbondale, Rutgers University-New Brunswick, and the Graduate Center of the
City University of New York. I am grateful to the students and colleagues who
participated in my graduate courses and seminars.
This work was supported in part by grants from the PSC-CUNY Research Award
Program and the National Security Agency Mathematical Sciences Program.
I would very much like to receive comments or corrections from readers of this
book. My e-mail addresses are nathansn@alpha.lehman.cuny.edu and
nathanson@worldnet.att.net. A list of errata will be available on my homepage at
http://www.lehman.cuny.edu or http://math.lehman.cuny.edu/nathanson.
Melvyn B. Nathanson
Maplewood, New Jersey
June 18, 1996
Contents
Preface
vii
Notation
xiii
1.2
1.3
1.4
1.5
1.6
1.7
1.8
1.9
..
13
18
21
29
. ..........
.
31
33
35
2.2
2.3
2.4
2.5
2.6
2.7
2.8
Addition in groups . . . . . . . . . . . .
The e-transform . . . . . . . . . . . . .
The Cauchy-Davenport theorem . . . . .
The Erd6s-Ginzburg-Ziv theorem . . . .
Vosper's theorem . . . . . . . . . . . . .
Application: The range of a diagonal form
Exponential sums . . . . . . . . . . . .
The Freiman-Vosper theorem . . . . . .
41
.
. .
41
42
. .
43
48
52
57
62
67
Contents
. ...................
....... ........
73
3.1
3.2
3.3
77
77
78
2.9
Notes ........... .
Alternating products . . . . . . .
Erdos-Heilbronn, concluded . . .
The polynomial method . . . . .
Erd6s-Heilbronn via polynomials
Notes . . . . . . . . . . . . . . .
3.10 Exercises .
4
. .
. .
. .
. .
. .
81
. .
. .
. . .
89
. . .
. .
92
. . .
. .
. . .
95
98
. .
. . .
. .
. .
. .
. . .
. .
. .
. .
. . .
109
110
117
127
130
. .
. . .
131
133
133
. .
. .
. .
. . . .
. . . .
Geometry of numbers
6.1
6.2
6.3
6.4
6.5
6.6
6.7
6.8
6.9
7-
7.2
7.3
106
107
167
167
174
177
180
185
190
194
196
1 96
. .................. ...
Plunnecke graphs . . . . . . . . . . .
Examples of Plunnecke graphs . . . . .
Multiplicativity of magnification ratios .
135
142
152
163
163
Pliinnecke's inequality
7.1
101
109
Periodic subsets . . . . . . . . . . . . . . . . .
4.2 The addition theorem . . . . . . . . . . . . . .
4.3 Application: The sum of two sets of integers . . .
4.4 Application: Bases for finite and a-finite groups .
4.5 Notes . . . . . . . . . . . . . . . . . . . . . . .
4.6 Exercises . . . . . . . . . . . . . . . . . . . . .
4.1
5.1
74
201
.
201
203
205
Contents
7.4
7.5
7.6
7.7
7.8
7.9
8
209
212
221
. .
. . .
. . .
. . . .
. . . .
231
231
233
238
244
251
252
..
. .
.......... 217
Freiman's theorem
8.1
8.2
8.3
8.4
8.5
8.6
Menger's theorem . . . . . . . . . . . . .
Plunnecke's inequality . . . . . . . . . . .
Application: Estimates for sumsets in groups
Application: Essential components . . . . .
Notes . . . . . . . . . . . . . . . . . . . .
Exercises . . . . . . . . . . . . . . . . . .
9.2
9.3
9.4
9.5
9.6
9.7
9.8
xi
. . .
. .
. .
. .
. . .
. .
. . .
. . .
226
227
255
255
255
257
270
277
278
279
280
References
283
Index
292
Notation
N
No
Z
R
R"
Z"
C
IzI
9tz
Zz
[x]
{x }
IIx II
hA
h^A
A-B
hA - kA
A*A
xiv
Notation
f << g
f <<a.b.... g
1.1
Additive number theory is the study of sums of sets of integers. Let h > 2, and let
A,, A2, .... Ah be sets of integers. The sumset
Z/mZ of congruence classes modulo m, and in the group Z" of integer lattice
points in R".
A direct problem in additive number theory is a problem in which we try to
determine the structure and properties of the h-fold sumset hA when the set A
is known. An example of a direct theorem, indeed, the archetypical theorem in
additive number theory, is Lagrange's theorem that every nonnegative integer can
be written as the sum of four squares. Thus, if A is the set of all nonnegative
squares, then the sumset 4A is the set of all nonnegative integers.
A-B={a-b:aEAandbEB}.
For any integers c and q, we define the sets
c+A-(c) +A,
c-A-{c}-A,
and
q*A-{gaIaEA).
Then q*(A+B)-q*A+q*B.
Denote by (aI, ... , ak) the greatest common divisor of the integers a1, ... , ak.
If A - (ao, aI, ... , ak_i } is a finite set of integers such that ao < ai <
<
we define
d(A(N))
< ak_i,
ak_,) - 1,
A - ao + d * A(x)
and
(1.1)
Let [a, b] denote the interval of integers n such that a < n < b.
For example, if A - 18, 29, 71, 92) and h - 2, then d(A) - 21, A(N)
(0, 1, 3, 41, 2A (N) - [0, 8], and 2A - {16+21n : n E [0, 8]).
(a,,..-,ak-I) - I.
if
k-2
(ak_I - 1)
a;
n -uia, +. ..+uk_jak-1
and
<h.
n -x1a1 +- +xk_,a&_,.
For i - 1, ... , k - 2, let u; be the least nonnegative residue of x1 modulo ak _ 1.
Then
n
(modak_,)
ulal +
+uk_2ak_2
(mod ak_I),
n - ulal +
+uk_2ak_2 +uk_1ak_1.
uk_,ak_1-n-(ula,+ +uk_2ak_2)>n-(ak_1-1)a,>0,
r-i
and
Theorem 1.1 (Nathanson) Let k > 2 and let A - {ao, a,, ... , ak _ 1) be a finite
set of integers such that
0 = ao < a, <
< ak_,
and
(a,,...,ak-,) - 1.
Then there exist integers c and d and sets C S [0, c - 2] and D C [0, d - 2] such
that
hA-CU[c,haL_I-d]U(hak_1-D)
for all h > max(l, (k - 2)(aA - 1 - I )aA _, ).
(1.2)
Proof. If k - 2, then ai = I, A - {0, 1), hA - [0, h), and the theorem holds
with c-d-0forallh> 1.
Let k > 3. Then ak -I > 2. We define
ho - (k - 2)(ak_, - 1)ak_I.
(1.3)
Then
k-2
I + E a;
ho > (ak_, - 1)
(1.4)
r-
and
hoak_1
2ho
(k - 2)(ak_1 - 1)ak-I + ak_i - 1
k-2
+(ak_1
(1.5)
a;.
The theorem is proved by induction on h > ho. Choose integers c and d such
that [c, hoak_I - d] is the largest interval of integers satisfying
k-2
[(ak_I - 1) T a;,hoak_i - (k - 2)(ak_I - 1)ak-1
[c,hoak_I - d]
c h0A.
Lemma 1.1 implies that this maximal interval exists. It follows that c - I h0A
and hoak_i - (d - 1) hoA. Moreover,
k-2
(1.6)
(1.7)
and
It follows that
k-2
c+d
<
(ak_i - 1)
a; + (k - 2)(ak_i - 1)ak-i
i-i
<
hoak_, - ak_1 +
and so
C=hoAf [0,c-2]
(1.8)
and
c hA
c (h + l)A.
Since ak-1 E A, it follows that ak-1 + hA c (h + 1)A and
ak-1 +hA
C (h+1)A.
Similarly,
(h + 1)ak_1 - D
ak_i +(hak_i - D)
(h + 1)A.
Therefore, B c (h + 1)A.
Let b E (h + 1)A. If b < c, then (1.6) implies that b cannot be the sum of h + 1
(1.9)
(1.10)
Proof. Let
A - {ao, a,, a2_., ak_, ],
where
ao < a, < a2 < ... < ak-1.
Then the sumset 2A contains the k integers 2a; for i - 0, 1, ... , k - 1, and the
k - I integers a; _, + a; fori - 1, ... , k - 1. Since
2a;_, < a,_, +a; <2a;
or, equivalently,
Z/pZ.
A finite n -dimensional arithmetic progression is a set of the form
{qo+xiq, +.
In 1964, Freiman [53] discovered a deep and beautiful fact (Theorem 8.10) about
the structure of finite sets of integers with small sumsets. Let c > 2. If A is a finite
set of integers such that I A I - k and
12A1 < ck,
12A1 <cklogk.
Nor is anything known about the structure of A if, for some h > 3,
1.2
{ao,ao+q,a+2q,....ao+(k-1)q}-ao+q*[0.k-1].
Let A1, ... , Ah be nonempty, finite sets of integers, and let IAi 1 - ki for i
1, ... , k. We shall prove that
-(h - 1)
and that this lower bound is attained if the sets Ai are arithmetic progressions with
the same common difference. This is a direct theorem. The corresponding inverse
theorem, Theorem 1.5, states that the lower bound is attained only for arithmetic
progressions with the same common difference. The proof is easy, but much of
the rest of this book will be devoted to proving an inverse theorem of Freiman
(Theorem 8.10) that generalizes this result.
The following are simple lower and upper bounds for the cardinality of sums of
finite sets of integers.
Theorem 1.3 Let h > 2. Let A be a finite set of integers with I A I - k. Then
hk-(h-1)<IhAI<(k+h-1/-hi+O(kh-')
Proof. Let A - {ao, a, , ... , ak_ 1 }, where ao < a, < . . . < ak_ I . Then
k-1
1)
h!
Theorem 1.4 Let h > 2, and let A,, A2, ... , A,, be finite sets of integers. Then
Proof. We shall prove the lower bound by induction on h. Let h - 2, and let
<ak-1
<b,_1.Suppose that IA,I-k <1 -IAz1.ThesumsetA,+A2
<
<
<
and so
IAA+...+Ah-1+Ahl
>
I(A,+...+A),-1)+Ahl
IAI+...+Ah-iI+IAhI-I
IA11+...+IAh-il-(h-2)+IAhI- 1
IA1I+...+IAh_,I+IA1,I - (h - I).
The upper bound is a consequence of the fact that the number of expressions of
+ah with a; a A; for i - 1, 2, ..., h is exactly I A, I
the form a, +
I A n I. This
completes the proof.
Lemma 1.2 Let A and B be finite sets of integers with I A I - I BI - k. If I A + B I I A I + I B I - 1, then A and B are arithmetic progressions with the same common
difference.
Proof. Let A - {ao, a, , ... , ak_ 1 } and B - {bo, b1 , ... , bk _, ), where ao
< a, <
< ak_1 and bo < b, < . . . < bt_,. The sumset A + B contains the following
strictly increasing sequence of 2k - I integers:
ao+bo
or, equivalently,
ai - a,_ 1 - bi+, - bi
for i - 1, ... , k - 2. Similarly, the inequalities
(1.11)
10
imply that
(1.12)
f o r i - 1, ... , k - 1. Equations (1.11) and (1.12) imply that the positive integer
q - al - ao satisfies
Proof. Let A - {ao, a,, ..., ak_1) and B - {bo, bi, ..., bt_ 1), where ao <
< ak_ I and bo < ... < b _ . Suppose that k < e, and let 0 < t < f - k. Let
B - Bo`) U B,') U BZ`), where
Bo`)
{b0, b1,
BI(`)
BZ')
. b,_1 },
{b,+k, b,+k+l,...,b1_1}.
Then
A + B 2 (ao+Bo)) U
U (ak_1 +BZ')).
The three sumsets on the right side of (1.13) are pairwise disjoint, since
[ao + bo, ao + b, -1 1,
Jak
Iao+BO)I
t,
IA + B10I
>
JAI + IB(,')I - I = 2k - 1,
1 + B2("I
C - t - k.
It follows that
k+e-1 >
IA+BI
Iao+Bo')I+IA+B,(')I+Iak-1 +BZ')I
t+(2k-1)+(e-t-k)
k+e - 1,
(1.13)
II
and so
IA+B'I-2k-I
fort = 0, 1, ... , f - k. By Lemma 1.2, there exists a positive integer q such that the
set A is an arithmetic progression with difference q and the sets B"'1 are arithmetic
progressions with difference q for t - 0, 1, ... , f - k. Therefore, B is an arithmetic
progression with difference q.
Theorem 1.5 Let h > 2, and let A 1, A2, ... , Ah be h nonempty finite sets of
integers. Then
IAI+...+Ahl-IAII+...+IAhI-(h-1)
(1.14)
if and only if the sets A,__ Ah are arithmetic progressions with the same common
difference.
Proof. Let IA, I - k, for i - 1, ... , h. We can assume without loss of generality
that k1 > 2 for all i. If A, - [0, k1 - 1 ] for i - 1, ... , h, then
and so
IAII+...+IAhI - (h - 1).
Let the sets A, be arithmetic progressions with the same common difference q.
Then there exist integers a0.; such that
A,-ao.1+q*[0,k1-1].
It follows that
case h - 2 is Lemma 1.3 with A - AI and B - A2. Now let h > 3, and assume
that the theorem holds in the case of h - 1 sets. For j = I, ... h, consider the
sumset
Then
IB;I?A;I-(h-2).
.I,
12
Since
IA,I-(h-1)
IA,+B11
>
IA1I+IB l-I
r-i
> FIArI-(h-1),
i-I
it follows that
IB11IA,1-(h-2),
and so the h - I sets A,, ... , A1_1, Al+, , ... , Ah are arithmetic progressions with
the same common difference for j =, 1, ... , h. This completes the proof.
Theorem 1.6 Let h > 2. Let A be a finite set of integers with I A I = k. Then
IhAI = hk - (h - 1) if and only if A is a k-term arithmetic progression.
Proof. This follows from Theorem 1.5 by letting Ai = A for i = 1, ... , h.
Theorem 1.7 LetA be afinite set ofintegers with JAI
I h A I = hk - (h - 1) + o(h)
for infinitely many h, then A is a k-term arithmetic progression.
Proof. Let A(') be the normal form of A. Then A(') = {ao, a...... a,,-,), where
0 = ao < a, <
< a;.
and
(a,,...,ax._,)= 1.
Also,
k - I <a' _l.
IhA(,v)l=ha,_,+I - r
for some integer r = r(A) > 0 and all h > ho. If
13
aA_1-k-1+
r + o(h)
h
=k - l,
and soA(N)=(0,k-1}.
Theorem 1.6 is a simple example of an inverse theorem in additive number
theory: If A is a finite set of integers and if, for some h > 2, the cardinality of
the sumset hA is as small as possible, then A must be an arithmetic progression.
By Theorem 1.7, the normal form AM must be an interval, and so A is the affine
image of an interval of consecutive integers. The set A(N) can also be described
as the set of lattice points contained inside some convex subset of the real line.
This geometrical point of view is important in connection with Freiman's inverse
theorem.
An important and general inverse problem in additive number theory can be
stated as follows: Let A be a finite set of integers. Suppose that the sumset hA is
"small." What does this imply about the arithmetic or geometric structure of A? In
Section 1.5, we shall prove that if IAI - k and 12A1 < 3k - 4, then A is a "large"
subset of a "small" arithmetic progression.
1.3
For h > 1, let h^A denote the set of all sums of h distinct elements of A. If h > k,
then h^A = 0. We define 0^A - (0).
The direct problem for h^A is to find a lower bound for Ih^A1. The inverse
problem for h^A is determine the structure of the finite sets A of integers for
is minimal. In this section, we solve these two problems.
Let A' be a subset of A. We define the subset sum
which I h ^ A I
s(A) = E a.
aEA'
14
c:h^A-+(k-h)^A
defined by
(1.15)
forh=0, 1,...,k.
Theorem 1.9 Let A be a set of k integers, and let 1 < h < k. Then
1h^AI>hk-h2+1-h(k-h)+1.
(1.16)
Proof. Let A - (ao, a1, ..., ak_I) be a finite set of integers, where
ao < aI <
< ak_I.
Fori-0,1,...,k-h-landj-0,1,...,h,wedefine
so Let
ai+l
(1.17)
h-1
sk-h.0 - E ak-h+l
(1.18)
/-0
h-1
1-0
and so
15
h^A-I( /I,hk-(h+111-()+[0,hk_h2].
2
2
it follows that the lower bound in Theorem 1.9 is best possible.
An inverse problem for h^ A is to determine the extremal sets A such that
Ih^AI - hk - h2 + 1 - h(k - h) + 1.
(1.19)
(1.20)
This means that the function Ih^A I is an affine invariant of the set A. Since every
interval A of length k satisfies condition (1.19), it follows from (1.20) that every
k-term arithmetic progression also satisfies (1.19). Let IA I - k and h e [0, k]. The
symmetry (1.15) implies that if A is an arithmetic progression whenever Ih ^ A I
10-Al - Ih^AI - 1.
(ii) Let A be any set of k integers. If h - 1 or h - k - 1, then h(k - h) + 1 - k
and
a,-ao-a3-a2.
Thus, (ao, a,, a2, a2 + a, - ao} is an extremal set for all ao < a, < a2.
16
We shall prove that these three examples are the only examples of extremal sets
that are not arithmetic progessions.
Theorem 1.10 Let k > 5, and let 2 < h < k - 2. If A is a set of k integers such
that
IhAAI - hk - h2 + 1,
then A is an arithmetic progression.
It follows from the proof of Theorem 1.9 that the set h^A consists precisely of
the numbers s,. j defined in (1.17) and (1.18). Let i - 0, 1, ... , k - h - 2 and
j - 2, 3, . .., h. Then
h-1
si. j (ai+:)
-E
+ai+h
1-0
rahand
ui.j
ai+i
+ai+h+l E Sh(A)
1-0
si. j - Ui. j
(1.21)
17
ai-1+(h+I) - ai-,+h
ai-1+(h-1) - ai-1+(h-2)
ai+h-2 - ai+h-3
ai+l - ai
If i - 0, then
ah - ah-1
al+(h-l) - al+(h-2)
al+(h-2) - al+(h-3)
ah-1 - ah-2
al - ao.
Therefore,
ai+1 - ai - al - ao
for all i - 1, ... , k - 2, and so A is an arithmetic progression.
Suppose that h - 2 and 12^A1 - 2k - 3. It follows from equation (1.21) that
ai+1 - ai - ai+3 - ai+2
al -ao-a4-a3.
(1.22)
ao+a3-al+a2
and
a l + a4 - a2 + a3,
it follows that
ao+a4-a1+a3.
This proves (1.22).
Finally, if h - k - 2, then
12^AI-1(k-2)^A1-2(k-2)+1 -2k-3
by (1.15), and so A is again an arithmetic progression. This completes the proof.
It would be interesting to prove a more general inverse theorem for distinct
summands: Let A be a set of k integers such that Ih^ A 1 is "small." Is A a "large"
subset of some arithmetic progression?
18
ak_I = k - 1 + b.
We shall consider the finite set
h-3
13AI
6k - 8
5k-612A1
h=2
3k - 3
4k-4-
2k -
3k -
k-2
k-2
b - ak_i -(k - I)
b - ak_i -(k - I)
A=[0,k-2]U{k-l+b}
2(k-2)
19
and
b-q(k-2)+r,
where q>Oand0<r < k -3. If b < (h - 1)(k -2), then
-hk-(h-1)+q(2h-g21)(k-2)+(h-q-1)r.
IhAI
lhAl-hk-(h-1)+h(h-1)(k-2)
2
andlhAl-hk-h+l-hk-(h-1).
Ult.
t-0
where
1e
and
Iltl-(h-t)(k-2)+1.
Notice that the intervals It "move to the right" in the sense that, as a increases
from 0 to h, the sequence of right-hand endpoints of the intervals It is strictly
increasing, and the sequence of left-hand endpoints of the intervals It is strictly
increasing.
20
which is equivalent to
J-UIt-[0,h(k-2)+t(b+1)].
t-o
- U It
h
IJI + U Ilrl
t-t+1
h
h(k-2)+t(b+1)+1+E((h-e)(k-2)+1)
t-r+1
h(k-2)+t(b+l)+(h-t+l)+(k-2)
h-t-1
e
t-0
(h - t)(h - t - 1)(k - 2)
h(k - 2) + tb + h + 1 +
hk-(h-l)+rb+(h-t)(h-t-l)(k-2)
2
hk - (h - 1) + (h - q)q(k - 2) +
q(q - 1)(k - 2)
2
hk-(h-1)+q(2h-q-1)(k-2)
2
If r > 1, then
soq-h-t- land
IhAI
1)(q(k-2)+r)+q(q+1)(k-2)
- hk - (h - 1)+(h-q-
hk - (h - 1) + (h - q - 1)r +
q(2h
-q2
1)(k - 2)
21
IhAl
- U/cUllcl
r-0
t-0
h
- E((h - )(k - 2) + 1)
r-0
h(h + 1)(k - 2)
- hk - (h -
1)+
+h+1
h(h - 1)(k - 2)
2
A-[0,k-2]U(k-I+b).
1f0<b<k-3,then
I2AI-2k-I+b<3k-4.
Ifb>k-2, then
12AI-3k-3.
1.5
22
<
a, < a2 <
<2ak_,.
[0,2ak_I]-SU U S(w).
WEW
Therefore,
2A - S U U (S(w) n 2A).
WE W
I
Y
- [w+1,w+ak_i-1]
Z-
InS-{a,,a,*i,...,ak_I,ak_]+ai,..,ak_I+a,_,}
{w+ak_i-ajlj-1,2,...,k-2}.
III-ak_I-1 <2k-4<2k-3-(k-1)+(k-2)-IYI+IZI,
it follows that Y n z f O. Therefore, there exist i E [1, k - 1] and j E [1, k - 2]
such that either
a; - w+ak_I - aj
or
w -a;+aj E 2A.
In both cases, 1 S(w) n 2AI > 1. This completes the proof.
23
Theorem 1.14 Let k > 3. Let A - {ao, ai, ... , ak_, } be a finite set of integers in
normal form, that is,
0-ao<a,<...<ak_1
and
d(A)-(at,...,ak-1)- 1.
If ak_ i > 2k - 3, then
12AI>3k-3.
ILet
ak_, > 2k - 2.
I -(a,,a2)-(a,,2a,)-a,
and so a2 - 2a, - 2. This is impossible since a2 > 4. Therefore, 12A I - 6.
Let k > 4, and assume that the theorem holds for sets of cardinality k - 1. Let
A'-A\{ak_,}-(0,a,,....ak_2)
and
d'-d(A')-(a,,a2,...,ak_2).
If d' - d(A') > 2, then d' divides all elements of the sumset 2A'. Since d(A) - 1,
it follows that (ak_,, d') - I and so (ak_, + a;, d') - I for i - 0, I-_ , k - 2.
Therefore, 2A' fl (A' + ak _,) - 0. Also,
l2A'l>2(k-1)-1-2k-3.
Since
24
it follows that
soar 1. Let
C - [0,2k-4]\A'.
Then
ICI-(2k-3)-(k- 1)-k-2.
D,-{ai:1E[I,t]}
and
D2-(c-ai: jC
Then 1Di1-ID21-land
D,UD2c[1,c-1].
Ift <k-2, then
c<a,+, <2(t+l)-2t+2
c - I <2k-5<2k-4-2t.
D,nD2'0,
- c -a,.
A'UC-[0,2k-4]c2A'c2A.
Since
A'UCU(ak_,+A)-[0,2k-41U(ak_,+A)C2A
25
and
12A1>(2k-3)+k-3k-3.
Case 2. Supposethatak_2 < 2(k-2),buta;_I > 2(i-1)forsomei E [2,k-2].
Chooses E [2, k - 2] such that aj < 2j for j - s, s + 1, ... , k - 2, and a,_, >
2(s - 1). Then
AI - (ao,a,,...,as-1, as}
and
k1-IAII-s+1.
Then
3<k,<k-I
and
ak,_I-a,-2s-1-2k1-3-(k1-1)+(kl-2).
It follows from Theorem 1.13 that
k2-IA2*1-IA21-k-s+I.
Then
3<k2<k-1.
2A1 U 2A2 C 2A
26
and
ak_2>2k-4-2(k-2).
It follows from the induction hypothesis that 12A'1 > 3(k - 1) - 3 - 3k - 6. To
complete the proof the theorem, it suffices to show that 12A \ 2A'1 > 3. The two
largest elements of 2A' are ak_2 + ak_3 and 2ak_2. Since
{ak_1 +ak-3, ak_1 +ak_2, 2ak-1} C 2A,
it follows that 12A \ 2A'1 > 3 unless ak_1 + ak_3 - 2ak_2. Therefore, we can
assume that the numbers ak_3, ak_2, and ak_1 are in arithmetic progression.
ak-1 = ak-i
(mod m)
ak-1 = ak-i
(mod m)
for all i - 1, 2, ... , k. It follows that ak_1 =- ao - 0 (mod m), and so m divides
each ai, which contradicts the condition that d(A) - 1. Therefore, there exists an
integer t such that 4 < t < k and
ak_1 = ak_i
(mod m)
ak_I $ ak_,
(mod m).
fori-1,...,t-l,but
Moreover, ak _, + ak _, E 2A. If ak
27
A'
- {ak_1-ai:i E[0,k-l]}
- (0, 1,2,ak_1 -ak_4,...,ak_I -a2,ak_I -a1,ak_I}.
Then 2A' - 12ak_1 - b : b E 2A}, and so 12A'1 - 12A1. It follows from the
preceding analysis that if 12A'I < 3k - 3, then a1 - 1 and a2 - 2. Therefore, we
can assume that ao - 0, a1 - 1, a2 - 2, ak_3 - ak_I - 2, and ak_2 - ak_1 - 1.
Since ak_ I > 2k - 2 - 2(k - 1), it follows that ai > 2i for i - k - 1, k - 2, k - 3.
Let P be the least positive integer such that
at > U.
Then
3<e<k-3
and
ai < 2i
fori - 1,2,...,1 - 1.
Al -{ao,a,,...,at-l, at}
and
A2-{at-I,at,...,ak_2,ak_1}.
Then d(A1) - 1. Moreover,
4<k1-IA1I-t+1 <k-2
and
4<k2-IA21-IA2*I-k-e+l <k-2
28
and
2A1 U 2A2 C 2A
and
Theorem 1.15 Let k > 3. Let A - (ao, a, .... , ak _ I ) be a finite set of integers in
normal form. Then
12A I > min(3k - 3, k + ak _ 0-
Proof. If ak _ i < 2k - 3, then 12A I > k+ak _ i by Theorem 1.13. If ak _ 1 > 2k-3,
then 12A I > 3k - 3 by Theorem 1.14.
12A1-2k-I+b<3k-4,
then A is a subset of an arithmetic progression of length k + b < 2k - 3.
Proof. Let A(N) - (ao, a1 , ... , ak_i } be the normal form of A. Since
1.6
29
2A-(a+a'I a, a' E A)
denote the twofold sumset of A, and let
A2-(aa'Ia,a'EA)
denote the twofold product set of A. We let
E2(A) - 2A U A2
denote the set of all integers that can be written as the sum or product of two
elements of A. If I A I - k, then
12A1 <
and
2
IA
k+I
I_<(2
'
1E2(A)I <k2+k.
Erdos and Szemer6di [38, 44] made the beautiful conjecture that a finite set of
positive integers cannot have simultaneously few sums and few products. More
precisely, they conjectured that for every e > 0 there exists an integer ko(e) such
that, if A is a finite set of positive integers and
JAI - k > ko(c),
then
IE2(A)I F k2-`.
We shall use Theorem 1.16 to prove this conjecture in the special case that the
number of sums of two elements of the set A is small in the sense that 12A I < 3k - 4.
This is the only case in which the conjecture has been proven.
For any set A of positive integers, let PA(n) denote the number of representations
of n in the form n - aa', where a. a' E A, and let dA(n) denote the number of
positive divisors of n that belong to the set A. Clearly, for every integer n,
PA(n) < dA(n)
30
and
Let d(n) denote the usual divisor function, that is, the number of positive divisors
of n. We shall use the estimate
By Exercise 18, we have {x, y} - (u, v} if and only if x+y - u +v and xy - uv.
If n has at least two essentially distinct representations, then there exist integers
0<x,y,u,v<Isuch that
(x, y} f (u, v)
(1.24)
and
(x+y)r+xyq -(u+v)r+uvq,
and so x + y - u + v if and only if xy - u v. It follows from (1.24) that
x+yfu+V
and
xy f uv.
Since (r, q) - 1, it follows from (1.25) that
x+y=-u+v (modq)
and
xy=-uv (modr).
Therefore,
q<I(x+y)-(u+v)l <21
and
1.25)
31
Consequently,
1 <r+xq,r+yq <12+212-312
and so
1 <n <91.
It follows that
12A1 <3k-4,
and let e > 0. Then
IA21 >> k2-e.
- E Pa(n)
nEA2
< E pQ(n)
nEA2
<<,
JA 211E
<<
IA21k
Therefore,
IA21 >> k2-F.
1.7
Let n > 1, and let B' be the set of all multiples of 3 contained in the interval [ 1, n).
Then I B I < n/3, and every sum of elements of B' is divisible by 3. Certainly, no
such sum is a power of 2. This set B' is the extremal case: We shall prove that if
B is any subset of [1, n] such that I BI > n13, then some power of 2 can be written
as the sum of at most four (not necessarily distinct) elements of B.
Lemma 1.5 Let m > 1, and let C be a subset of [0, m] such that
m
ICI
2+1.
Then some power of 2 is either an element of C or the sum of two distinct elements
of C.
32
Proof. The proof is by induction on m. It is easy to check that the result is true
for m - 1, 2, 3, and 4. Let m > 4, and assume that the result holds for all positive
integers m' < m. Choose s > 2 such that
2'<m<2'+I
and let
r-m-2'E[O,2'-1].
Let
C'-Cfl[0,2'-r-1]
and
C"-Cfl[2'-r,2'+r].
Then C is the disjoint union of C' and C", and
2' C" and, f o r each i - 1, ... , r, the set C" contains at most one of the two
integers 2' - i, 2' + i. Therefore,
IC"I<r.
If m - 2` - 1, then r - 2' - I and C' c (0); thus
IC'I<1.
It follows that
2+1<ICI<1+r-2'-m21
which is impossible.
r
IC'I< 2+1-2-2-1+1
m +1<
2''-r-1
m+l
2
+1+r--2
Theorem 1.18 Let n > 1, and let B be a set of integers contained in the interval
[ 1, n J. If I B I > n /3, then there is a power of 2 that can be written as the sum of at
most four elements of B.
1.8 Notes
33
Proof. Since B C [1, n], we have I B I > n/3 > max(B)/3. Thus, we can
assume that max(B) - n. Let d be the greatest common divisor of the elements of
B. The number of multiples of d in the interval [1, n] is [n/d], so
n
3<IBI<d
Therefore, d = I or2.
B'a{b/2:EB}c[1,2].
The greatest common divisor of the elements of B' is 1. The set B' also satisfies
the hypotheses of the theorem. If the theorem holds in the case d = 1, then there
+ bh = 2S.
exists h < 4 and there exist integers b,, ... , bh E B' such that b, +
+ 2bh = 2'+'. Therefore, we can
It follows that 2b,, ..., 2b' E B and 2b, +
assume that d = 1.
Let A = {0} U B. Then d(A) - 1, max(A) = max(B) = n, and
n
k=IAI=CBI+l> 3+1.
It follows from Theorem 1.15 that
Since 2A C [0. 2n], we can apply Lemma 1.5 with C = 2A and m = 2n. Since
2C = 4A, it follows that some power of 2 can be written as the sum of at most four
elements of A. This completes the proof.
In Exercise 19, we construct examples of finite sets B C [ 1, n ] such that I B I >
n/3, but no power of 2 can be written as the sum of three elements of B. This
shows that Theorem 1.18 is best possible.
1.8
Notes
The principal result in this chapter is Theorem 1.16, which was proved by Freiman [49, 54, 55]. Freiman [52] has extended this to sumsets of the form A + B.
Steinig [1211 has an expanded version of Freiman's proof. In Chapter 4 1 give
a different proof, discovered by Lev and Smeliansky [81], that uses a theorem
of Kneser on sumsets in abelian groups. Freiman's monograph Foundations of a
Structural Theory of Set Addition [54] is devoted to Freiman's work on inverse
theorems.
Theorem 1.1 is due to Nathanson [91 J. For some related results, see Lev [80].
The simple inverse theorem for hA (Theorem 1.5) is probably ancient, but I have
not seen it in print. The inverse theorems for the sets h ^ A are due to Nathanson (951.
34
Very little is known about Erdos's conjecture that IE2(A)I E k2-`. Erd6s and
Szemeredi [44] have shown that there exists a real number S > 0 such that
IE2(A)I >> k'+a
where c - 0.00028.... Ford [47] has improved the exponent to 16/15. The proof
of Lemma 1.4 is due to Erd6s and Pomerance (personal communication). Using a theorem of Vinogradov and Linnik [125], Nathanson and Tenenbaum [99]
strengthened this result: They proved that if Q is an arithmetic progression of
length 1, then dQ(m) << 12(logl)3 for all m E Q2. This implies that if IAI = k and
12A1 < 3k - 4, then IA21 >> k2/(logk)3
Erd6s and Freud had conjectured that if A C [ 1, n] and I A I > n/3, then some
power of 2 can be written as the sum of distinct elements of A. This was proved by
Erdos and Freiman [39] (with an unbounded nun]ber of summands), and Nathanson
and Sarkozy [98] (with a bounded number of summands). Theorem 1.18, due to
Lev [79], improves results of Nathanson and Sark6zy [98] and of Freiman [58].
Closely related to the "structural" inverse problems is another class of inverse
problems in additive number theory that we can call recognition problems or decomposition problems. We write A
B if A and B are sets of integers that coincide
from some point on. If we are given a finite or infinite set B of integers, can we
determine whether B is a sumset or even asymptotically a sumset? This means
the following: Let h > 2. Does there exist a set A such that hA
B? More
generally, do there exist sets A,, ... , Ah such that IAi I > 2 for i = 1, 2, ... , h
and A, +
+ Ah @ B? Do there exist sets At , ... , Ah such that IA; I > 2 for
i - 1, 2, ... , h and A, +
+ Ah ^- B? Ostmann [ 100] introduced this class of
inverse problems.
Sets of integers that decompose into sumsets are rare. Let us associate to each
set A of nonnegative integers the real number
E2-a-' E [0, 1].
aeA
Wirsing [128] proved that the Lebesgue measure of the set of real numbers that
correspond to sets A such that A B + C for some B and C is zero.
An important decomposition problem is the following: Do there exist infinite
sets A and B of nonnegative integers such that the sumset A + B and the set P of
odd prime numbers eventually coincide, that is,
P^-A+B.
(1.26)
The answer is almost surely no, but there is no proof. Hornfeck [69, 70] proved
that (1.26) is impossible if the set A is finite and I A I > 2.
There are other kinds of recognition problems: Does the set B contain a sumset?
Given sets A and B, does there exist a set C such that B + C C A? The twin prime
1.9 Exercises
35
conjecture is a special case of this inverse problem: Let P be the set of odd prime
numbers. Does there exist an infinite set A such that
A + {0, 2} c P?
Practically nothing is known about these questions.
We do not consider "partition problems" in this book. A partition of a positive integer N is a representation of N as the sum of an unrestricted number of
elements taken from a fixed set of positive integers. A good reference for the classical approach to partitions is Andrews's monograph The Theory of Partitions [4].
For interesting examples of inverse theorems for partitions, see the papers of Cassels [15], Erdos [35], Erdos, Gordon, Rubel, and Straus [41], and Folkman [46].
An early version of this chapter appeared in Nathanson [92].
1.9
Exercises
ifak_I -ak_2 = 1.
4. Let A = {ao, a,, ... , ak_, } be a finite set of integers such that
0 - ao < a, <
at_,
and
(a1....,ak-1)= 1.
36
).
k - 1. Prove that Ih A I - (k+1-1
l
n
7. Let ao, I ,..- . , ak_1 be a strictly increasing sequence of integers, and let
1 <s <k-2.Let
Al - {ao,a,,...,as_I,a.)
and
A2 - {a,-I,as,...,ak_I}.
Prove that
2A f12A2 - {gas-1, a:-I +as, 2as}.
1
8. Letk>3and
A-[0,k-2]U(k-1+r).
Show that
12^AI -2k-3+r
for0<r<k-4,and
12^AI-3k-6
forr>k-3.
9. Let k > 4 and A - (ao. a 1, ... , ak _ 1), where
I2AAI-2k-3+r.
10. Let k > 4, and let A - {ao, al , --
0-ao <a,
ak_ 1 }, where
<ak_2 <ak_1.
Let A' - A \ (ak _ I }. Suppose that d' - d(A') > 1 and (ak_ I , d') - 1. Prove
that
12AAI>3k-6.
1.9 Exercises
37
s(A) _ >2 a.
aEA'
k+1 1
/J
A-m*[1,k]-{m,2m,3m,.. ,km}.
13. For k > 3, let fk(n) denote the number of sets A c [0, n - 1] such that
Al I- k and 12A1 < (k21). Prove that
lim fk(n) - 0.
11-00
(1k1)
14. Let 0 be a positive real number, and let fo(n) denote the number of sets
A C [0, n - 1 ] such that I A I = [no ] and 12A 1 < (" i+i) Prove that there
exists 0 > 0 such that
lim fe(n)
11
-0.
17. Let h > 2 and k > 3. Let A - {ao, a1..... ak _ I } be a set of integers such
that
38
4'-31:-2.
Letn-3e+1,andlet
B-{3, 6,9,...,3Z,3e+1} C [1,n].
Then
IBI-P+I>n/3.
Show that if t < 2r, then 2' is not the sum of any number of elements of B.
Show that if t > 2r + 2, then 2' is not the sum of three elements of B. Use
the congruence
22t - 2 (mod 3)
to show that 21*1 is not the sum of three elements of B.
Q-
Q(qo;gi,g2;11,12)
I2QI-(21, -1)(212-1).
22. Construct a 2-dimensional arithmetic progression Q - Q(qo; q>, q2;1,,12)
such that
IQI =1,12
and
I2QI < (211 - 1)(212 - 023. Let k, , k2 be positive integers, and let k - k, +k2. For the nonnegative integer
r, consider the set
A, - [0, k, - 1 ] U [r + k, , r + k, + k2 - 1 ].
1.9 Exercises
39
24. Let A be a finite subset of the abelian group G, and let B be a finite subset of
the abelian group H. The map 0 : A -> B is a Freiman isomorphism if 0 is a
one-to-one correspondence between A and B and if the map (D : 2A -). 2B
defined by
tegers. For r > 0, let A, be the set of integers defined in the preceding
exercise. Let B be the subset of the group Z2 defined by
A-(0, 1,2,r,r+1,2r) C Z.
Show that 12A1-31AI-3- 15. Let
B - ((0, 0), (1, 0), (2, 0), (0, 1), (1, 1), (2, 0)} c Z2.
AandB.
26. Let A - ((i, j) E Z2 1 0 < i < 11, 0 < j < 12}. Then A is the set of
lattice points inside the 2-dimensional parallelepiped ((x, y) E R2 10 <
x < 11, 0 < y < 12). Contruct a 2-dimensional arithmetic progression Q in
Z such that A and Q are Freiman isomorphic.
2
Sums of congruence classes
2.1
Addition in groups
Let G be an abelian group, and let A and B be finite subsets of G. The sumset
A + B is the set of all elements of G that can be written in the form a + b, where
a e A and b e B. Forge G, let rA,a(g) denote the number of representations of
gas the sum of an element of A and an element of B, that is, rA.B(g) is the number
Lemma 2.1 Let G be a finite abelian group, and let A and B be subsets of G such
that
IAI+IBI? IGI+t.
Then
rA.8(g) > t
for all g E G.
iA U (g - B)I
IAI+Ig-BI-IAn(g-B)I
IAI+IBI - IAn(g - B)I.
it follows that
42
and so there exist t distinct elements a,, .-a, a, E A and t distinct elements
b, , ... , b, E B such that
ai - g - bi,
that is,
g - a,+bi
for i - 1, ... , t. Therefore, rA,8(g) > t.
Lemma 2.2 Let G be a finite abelian group, and let A and B be subsets of G such
that J A I +IBI > I G I. Then A+ B- G.
Proof. Applying Lemma 2.1 with t - 1, we see that rA.B(g) > 1 for all g E G,
and so A + B - G. This completes the proof.
It follows from Lemma 2.2 that to study the direct problem for addition in
groups, it is enough to examine only subsets A, B c G such that JAI +IBI
IG I
In this chapter, we shall consider addition in the group Z/mZ of congruence classes
modulo m.
2.2
The e-transform
A fundamental tool to prove many results in additive number theory is the etransform of an ordered pair (A, B) of nonempty subsets of an abelian group G.
Let e E G. The e-transform of (A, B) is the pair (A(e), B(e)) of subsets of G
defined by
A(e) - A U (B + e),
B(e)
- B fl (A - e).
Lemma 23 Let A and B be nonempty subsets of the abelian group G, and let e
be any element of G. Let (A(e), B(e)) be the e-transform of the pair (A, B). Then
A(e) + B(e) c A + B
(2.1)
and
A(e) \ A - e + (B \ B(e)).
(2.2)
(2.3)
43
Proof. The set inclusion (2.1) follows immediately from the definition of the
e-transform of the pair (A, B). To prove (2.2), we observe that
A(e)\A
- (B+e)\A
- (b+e:bEB,b+e 'A}
- e+{bE B:b'A-e)
- e+{bE B:bB(e)}
e + (B \ B(e)).
IA(e)I -IAI
IA(e) \ AI
le+(B\B(e))I
I B \ B(e)I
IBI - IB(e)l.
2.3
In this section we study the direct problem for addition in the group Z/mZ of
congruence classes modulo m. A basic result is the Cauchy-Davenport theorem,
which gives a lower bound for the cardinality of the sum of two sets of congruence classes modulo a prime p. This is a consequence of the following result for
composite moduli.
Theorem 2.1 (I. Chowla) Let m >_ 2, and let A and B be nonempty subsets of
Z/mZ. /f0 E B and (b, m) - 1 for all b E B \ (0}, then
IA + BI > min (m, IAI + IBI - 1).
Proof. By Lemma 2.2, the result is true if Al I+ IBI > m. Therefore, we can
assume that I A I+ I B I< m, and so
The theorem also holds if IAI - I or IBI - 1, since in these cases I A + B I I A I +IBI - 1. If the theorem is false, then there exist sets A, B C Z/mZ such that
IAI>2,IBI>2,and
44
all a E A, then a + jb' E A for all j = 0, 1, 2, .... Since (b', m) = 1, this would
imply that
JA(e)
JAI
b'VBfl(A-e)=B(e).
Therefore, I B(e)I < IBI, which contradicts the minimality of IBI. This completes
the proof.
IA+BI
IA+B'I
>
Theorem 2.3 Let h > 2. Let p be a prime number, and let A I , A2, ... , Ah be
nonempty subsets of Z/pZ. Then
IAI+A2+...+AhI>min (p.tlA;I-h+I).
Proof. By induction on h. The case h - 2 is the Cauchy-Davenport theorem.
Let h > 3, and suppose that the result holds for any h - I subsets of Z/pZ. Let
A 1, A2, ..., Ah be nonempty subsets of Z/pZ, and let B = A I + . + Ah_ 1. By
the induction hypothesis,
r,
IBI-JAI+...+Ah-II>min
pIt IA,I-h+2
1
45
and so
IAI+A2+...+Ahl
I(AI+...+Ah-I)+AhI
IB+AhI
min(p,IBI+IAhI-1)
2 min (p,
(h_I
min
p.EIA+l-h+11.
p+h- 1.
Let A; - (0, 1, ... , k; - 1) c Z/pZ. Then IAi I - k; and
cZ/pZ
and
h
IAI+A2+...+AhI->IAil-h+1.
i_
Theorem 2.4 (Pollard) Let p be a prime number, and let A and B be nonempty
subsets of Z/pZ. Let
min(tp,t(k+t -t)).
N,
S(A, B, t) - N, + N2 +
+ N, - F,
min(t, rA.B(x)).
XEZ/pZ
For t - f, we have
S(A, B, e)
E min(f, rA.B(x))
XEZ/ pZ
E7
.[Eli/ pZ
k.
rA.B(x)
46
l < t < e.
(2.4)
If e - 1, then t - l and
I <t<p-k+t<e<p.
Let e' - p - k +t. Choose B' e B such that I Y J - t'. By the induction hypothesis,
the theorem holds for the sets A and B', so
S(A, B, t)
>
>
S(A, B', t)
min(tp, t(k + e' - t))
tP
min(tp, t(k + e - t)).
k+e-t<p.
(2.5)
e - IBI 5 IAI - k.
where k, e, and t satisfy inequalities (2.4) and (2.5). These inequalities imply that
0 E B. Since e > 2, there exists b' E B with b' ' 0. If a +b' E A for every a e A,
then a + jb' E A for all j > 0, and so A - Z/pZ, which is impossible. Therefore,
there exists a E A such that a' +b' A, or, equivalently, b' A - a*. Replacing
U-AUB
and
I-AnB
Then
IUI+III - k+e
and
A'-A\I
and
B'-B\1.
47
S(A, B, t)
min(t, rA.B(x))
XEZ/pzi
1: mint, ru.1(x))
.FEZ/pZ
S(U, I, t)
min(tp, t(I UI + III - t))
min(tp, t(k + I - t)).
min(t, rA.B(x))
Let k'-IA'landl'-IB'I.Then
k'+e'-t' - (k-III)+(e-III)-(t-Ill)
IUI - t
<
<
Jul
p.
48
It follows from the induction hypothesis that the theorem holds for the pair of sets
A', B'. Therefore,
ru.,(x) +
XEZ/pZ
XEZ/pZ
min(t',
.XEZ/pZ
IUIIII+t'(k'+e'-t')
- IUII/I + (t - I/I)(IUI - t)
- t(IUI+III-t)
- t(k+e-t).
This completes the proof.
Theorem 2.5 (Erd&s-Ginzburg-Ziv) Let n >_ 1. If a0, a1, ... , a2,,_2 is a sequence of 2n - I not necessarily distinct integers, then there exists a subsequence
a,, , a,, , ... , a,,, such that
a,, +a,, +
. + a,, =_ 0
(mod n).
Proof. We shall prove the theorem first in the case that n - p is a prime number.
integers a, so that
0 < ao < a, < ... < a'2p-2
<p-
1.
ai+p-1
(mod p)
and
a,+a,+,
If a' 71 a,' 1,_1 for alli E [1,p- 1], let
49
and so
(mod p),
that is,
(mod p).
Suppose that n > I and that the theorem holds for all positive integers less than
n. If n is prime, we are done. If n is composite, then
1,-0
(mod v).
There are 2n - 1 - v - (2u - 1)v - 1 integers in the original sequence that are
not in this subsequence. Since 2u - 1 > 2, we can find a disjoint subsequence
a2., of length v such that
aj_;, +
+ bj - 0
bj, +
(mod u),
that is,
r-I c-I
r-I
(mod n).
50
fi(x),....xn)-0
for all i - 1,...,m.If
m
E di < n,
ithen
N - 0 (mod p).
Proof. The multiplicative group of the nonzero elements of a finite field is cyclic,
and so, for any x E Fq,
if x/ 0
i 0 if x-0.
(2.6)
ifO<r<q-1.
Ex, -0
xEFF
fl(1-fi(XI,...,Xn)q-1)
i-I
and so
foralli
if
otherwise,
- fi(xl,...,xn)q-1).
N- xi..... x.EF,fl(I
i-I
Since the degree of fi (x1.... , x,,) is di, it follows that
no
i-I
r. ...xr
ar,.....r.xl
(1 - fi(XI.....X)q-1 ) -
N=
n,
F1 (1 - fi(xl..... X .)q-1)
E
A...... x.EF i-I
r
(mod p)
(mod p)
... xrn
(mod p)
.,i._....EF r,.....r.
xr"
a.. .....r.
ri ..... r,
ar
r,....,r.
x, .....x.EFq
xr)
r.
j-I ,,EF,
(mod p),
51
where the summation runs over all n-tuples r1, ... , r of nonnegative integers such
that
ri :5 (q-1)di <n(q-1).
i-1
i-1
f E x, _= 0 (mod p).
j-1 r1EFa
Therefore,
N - 0 (mod p).
This completes the proof.
f1(xl,...,x2p-1) - E
i-1
and
2p-1
E aix-1.
1
i-1
d1+d2-2p-2<2p-1,
it follows from Theorem 2.6 that N =- 0
and
2p-1
f2(XI,...,x2p-1) - E aixp-1 - 0.
i-1
For X E Z/pZ, we have xp-1 - I if and only if x 0. It follows from the first
equation that xi f 0 for exactly p variables xi...... xip . Then the second equation
implies that
ai, +
aio =- 0 (mod p).
This completes the proof.
52
2.5
Vosper's theorem
The inverse problem for addition in groups is to describe the structure of the pairs
of subsets (A, B) for which the cardinality of the sumset A + B is small. For most
pairs (A, B) in an abelian group G, the sumset A + B will contain at least JAI + I BI
elements. The simplest inverse problem is to classify the pairs (A, B) of finite
subsets of G such that A + B G and IA + BI < I A I + IBI. Such pairs are called
critical. This is an open problem for arbitrary groups. However, Vosper completely
solved the problem of classifying the critical pairs for the groups Z/pZ, where p
is a prime number. He proved that if A, B C_ Z/pZ and IA + BI = I A I + I B I - 1,
then, except for two special cases, the sets A and B are arithmetic progressions
with the same common difference, where an arithmetic progression in an abelian
group G is a set of the form
(a+id:i=O,1,...,k-1).
The group element d is called the common difference of the progression, and k is
called the length of the progression. The order of the group element d in G must
be at least k.
Using exponential sums and analytic methods, Freiman generalized Vosper's
theorem for sumsets of the form 2A = A + A in Z/pZ. In particular, he proved
that if A C Z/pZ, IAI = k < p135, and 12A I - 2k - 1 + r < 12k/5 - 3, then A
is contained in an arithmetic progression of length k + r.
In this section, we shall denote the complement of the set S in G by S.
Theorem 2.7 (Vosper) Let p be a prime number, and let A and B be nonempty
subsets of the group G = Z/pZ such that A + B G. Then
IA+BI=IAI+IBI - I
if and only if at least one of the following three conditions holds:
(i)
min(IA1. IBI) = 1,
(ii)
(iii)
53
B={b+id:i=0,1,...,1-1}.
Since d E G \ {0}, the order of d is p. Then
IA+BI=IAI+IBI- 1.
If J A I = 1 or IBI - 1, the pair is of the form (i).
BCc - A.
Then
Since
IBI <Ic-AI=p-Ic-AI=p-IAI.
p-I=IA+BI=IAI+IBI-1 <p-1,
IA+BI<p-1.
We shall show that A and B are arithmetic progressions with the same common
difference. This will require several lemmas.
IA+BI=IAI+IBI-1 <p-1.
If A is an arithmetic progression, then B is an arithmetic progression with the
same common difference.
54
A-{ao+id:i-0,1,...,k-1}.
Then
B'-((b-bo)d-t IbEB}.
Then
0 E B',
IA'I-IAI-k>-2,
IB'I-IBI-t>2,
A'+B'-((c-ao-bo)d-t IcEA+B),
and so
IA'+B'I-IA+BI-IA'I+IB'I-I <p - 1.
Therefore, we can assume without loss of generality that A - A' and B - B'. We
shall prove that B - (b, b + 1, b + 2, ... , b + t - 1) for some b r= B.
<p.
k+t-1 -
IA+BI
e-t
(1+min(k-l,ri+,-ri-1))
i-0
t+
r-t
55
which is false. Therefore, r1041 - r1. - I > k - I for some jo E [0, e - I], and so
k+P-1 =
-
IA+BI
f-I
IA+BI-IAI+IBI-1 <p-1.
Then A and B are arithmetic progressions with the same common difference.
Proof. This follows immediately from Lemma 2.4 since a set with two elements
is an arithmetic progression.
Proof. Let IAI - k and IBI -f. Since k + e - 1 < p -2, it follows that
ID-Al
min(p,IDI+I-AI-1)
min(p, (p - k - e + 1) +k - 1)
p-e.
Since (A+B)f1D-0, it follows that Bfl(D-A)-0andsoD-A C B.
Therefore,
56
IAI-k>2,
IBI-e>>3,
0 E B,
and
IA+BI-IAI+IBI-1 <p-1.
Then there exists a congruence class e E A with the property that the e-transform
(A(e), B(e)) is a critical pair such that A(e)+B(e) - A+ B and 2 < I B(e)I < IBI
Proof. If (A(e), B(e)) is any e-transform of the critical pair (A, B), then it
follows from Lemma 2.3 and the Cauchy-Davenport theorem that
IAI + IBI - I
IA(e)I + I B(e)I - 1
JA(e) + B(e)I
IA + BI
IAI+IBI - 1.
Therefore,
and so (A(e), B(e)) is also a critical pair. Since A(e) + B(e) c A + B, it follows
that A(e) + B(e) - A + B.
Let
X - {eEA: B(e)B).
Since B(e) c R for all e E G, it follows that I B(e)I < IBI for all e E X.
We shall show that I X I > 2. Let
Y-A\X-leEA:B(e)-B).
57
JAI
>
IY+BJ
>
min(p,IYJ+e-1)
- IYI+e-1
k - IXI +e - 1,
andsolXl>e-1>2.
We shall show that I B(e)l > 2 for some e E X. Since e E X C A and 0 E B,
X+B'C(A+B)\A
and so, again by the Cauchy-Davenport theorem,
Let I > 3, and assume that the theorem holds for all critical pairs (A, B) with
I BI < 1. By Lemma 2.8, there exists e E A such that (A(e), B(e)) is a critical pair
with A(e) + B(e) - A + B and 2 < I B(e)I < 1. The induction assumption implies
that A(e) and B(e) are arithmetic progressions with the same common difference.
Therefore, A(e)+B(e) - A+B is an arithmetic progression, and Lemma 2.7 implies
that A and B are arithmetic progressions with the same common difference. This
completes the proof of Vosper's theorem.
2.6
f(XI,...,X,)-c1x
$1
with coefficients in the field Z/pZ is called a diagonal form of degree k. We shall
58
Lemma 2.9 Let p = 1 (mod k), and let f be a diagonal form of degree k over
the field Z/pZ. If p - ks + 1. then
for some x1, ... , xa E Z/pZ, and so, for any yk E Ak,
11
zyk
- Eai(xiy)k E R(f)'.
i-i
Therefore,
zAk C R(f)*.
This implies that R(f )* is a union of cosecs of Ak, hence
IR(f)*I = 0 (mod s)
and
IR(f)I - IR(f)'1 + I as I
(mod s).
Lemma 2.10 Let p > 3 be a prime number, let I < s < p - 1, and let A be a set
of s distinct elements from the field Z/pZ. If
`a-J:aZ-0,
aEA
aEA
A-(ao+id:i-0,I,....s-1).
Then
I
Ea - 1:(ao+id)
si-0
aEA
sao +
0,
s(s - 1)d
59
and so
a0 -
(s - 1)d
It follows that
s-I
1:
OEA
a2
>(ao + i d)2
i-0
s-I
6
s(s - 1)2d2
(s - 1)s(s + 1)d2
12
0,
I - t. - p-1
2
Ea aEA&
s-I
E gik
i-0
9A-1
- 0
and
-I
EEA a2
OEA,
- E g2ik
;-0
60
0.
Lemma 2.12 Fork > 1, let Ak - {xk : x E Z/pZ}. If d - (k, p - 1), then
Ak - Ad.
Proof. There exist integers u and v such that d - uk + v(p - 1). Let X E Z/ pZ.
If x f 0, then
xd - xuktv(P-I)
and so Ad S Ak.
E Ad.
Therefore, Ak C Ad.
Theorem 2.8 Let p > 3 be q prime number, and let k be a positive integer such
that
1<(k,p-1)<p-2
Let c1, ... , c,, be nonzero elements of the field Z/ pZ, and let
J(XI.....x)-c1X
Let R(f) be the range of the diagonal form f . Then
IR(f)I>min(p
\\
(2n-1)(p-1)+1 \
I.
(k, p - 1)
III
Let R(g) be the range of the diagonal form g. Let Ak - {xk : x E Z/pZ}
and Ad - (xd : x E Z/pZ). Since AA - Ad by Lemma 2.12, it follows that
R(f) - R(g), and so we can assume that k - (k, p - 1). Then
p - ks + 1,
where s > 3, and I Ak I - s + 1. We must prove that
61
Let n > 2, and assume that the theorem holds for n - 1. Let
and
x E Z/pZ}.
B=
Then
IBI-IA*I-s+1.
Since the set A is the range of a diagonal form in n - 1 variables, the induction
hypothesis implies that
R(f)=A+B,
it follows from the Cauchy-Davenport theorem that
IR(f)I
>
IA+BI
min(p, IAI+IBI - 1)
min (p, (2n - 2)s + 1).
IR(f)l=IA+BI>IAI+IBI-1>(2n-2)s+I.
If IR(f)I - (2n - 2)s + 1, then it follows from Vosper's inverse theorem (Theorem 2.7) that
(ii) or
IR(f)I = IA + BI = p - I = ks,
which is also false since R(f) = I (mod s) by Lemma 2.9,
(iii) or, finally, A and B are arithmetic progressions with the same common
difference, which is false, since by Lemma 2.11 the sets Ak and B are not
arithmetic progressions.
Therefore,
JR(f)J
(2n - 2)s + 2.
Since
(R(f )I = 1
(mod s),
it follows that
62
2.7
Exponential sums
Let m and x be integers such that m > 2, and let a - r + mZ be an element of the
group Z/mZ of congruence classes modulo m. We define
ebriax/m
- ebrirx/m
This function on Z/mZ is well defined, since if r, r' E Z and r - r' (mod m),
then
e2rirx/m - e2rrir'x/m
for every x E Z.
Let A - lao, a1.... , ak-1 } be a sequence of k not necessarily distinct congruence classes in the group Z/mZ. We define the exponential sum
k-I
Ee2niaix1m.
SAW -
(2.7)
jj-o
For all x E Z,
ISA(x)I -< ISA(0)I - k.
e2aiax m
- ( m ifa-0
!II
X-0
(2 . 8)
ifa '0.
m-1
[, e2mirx/m
- E 1 - M.
X-0
xx.O
e2air-1
m-I
e7nirx/m
1-I
2air/m - 1 - e2air/m - 1
- 0.
X-0
Let z denote the complex conjugate of the complex number z, and let -A -
(-alaEA}.Then
k-1
j-0
j-0
- S-A(x)
-A(X)-
63
Lemma 2.14 Let A1. , A,, BI...., Ba1 be nonempty subsets of Z/mZ, and
let N be the number of solutions of the equation
N - - >2 SA, (x) ... SA., (X )SB, (x) ... Se,, WIn x-0
x-0 a,EA,
e2yri(al+...+a.,-
a.,EA., b,EB,
...-b'2)XIM
b.,EB.,
W-1
>e2"',+...4
- >a,EA,... >2
> ... >2
a.,EA., b,EB,
b,,EB,, x-0
-bi-..._b,,)x/n,
Nm.
ISA(x)12
- km
x-0
and
m-1
SA(X)2S2A(x)
-k 2M.
x-0
Proof. These identities follow from Theorem 2.14. The first comes from the fact
that
ISA(x)I2 - > SA(X)SA(X)
X-0
x-0
64
ama' (mod1)
if a - a' E Z. If r - r' (mod m), then
rn
r'n
m
(mod 1)
a E U (mod 1)
if there exists a' E U such that a = a' (mod 1). This means that there exists
an integer n E Z such that a - n E U. For example, let U - [fl, $ + 1/2) be the
interval of all real numbers t such that P < t < 6 + 1/2. Then
<a-n<f+1/2.
ak_, be real numbers such that
a<ao<al <...<ak_I<b.
Let ak - b, and let n(t) : [a, b] -+ R be any function such that
n(t) -
f f(t)dt - J n(t)f(t)dt.
a<a1<b
The function n(t) is a counting function for the sequence ao, a,, ... , ak_,.
Proof. Since n(t) - 0 for a < t < ao, and n(t) =1 + 1 for at, < t < a,+, and
1 - 0, 1, ... , k - 1, it follows by a simple interchange of summation that
b
f(t)dt
a <a, <b
U,
k-1
f f(t)dt
'
b
k-I k-,
EEf
j-0 1-/
k-1
a,.,
f(t)dt
a,
f(t)dt
a,
k-
/gar.,
JJ
65
(1+l)f(t)dt
a,
1-0
k-I /ar.t
n(t)f(t)dt
i-0
a,
a4
n(t) f(t)dt
LU
n(t)f(t)dt.
Theorem 2.9 Let ao, al, ... , ak-I E R, and let N(fl) denote the number of aj
such that
If
k-I
e2niai
I j-0
> Ok
(2.9)
k-I
S-
`e2nia, - ISIe2><iY.
j-0
Then
k-I
Y)
ISI
jL-0
(mod 1).
Then N'(fi - y) - N(14) for all 0 E R, and so N()4) > (1 + 0)k/2 for P E R
if and only if N'(i8') > (I +8)k/2 for f' - rg - y E R. Therefore, without loss
of generality, we can replace aj with aj - y and assume that ISI - S. Since the
exponential function e2ii' has period 1, we can also replace each real number aj
by its fractional part and assume that 0 < aj < I f o r j - 0, 1, ... , k - I.
Suppose that N(fl) < (1 + 0)k/2 for all $ E R. Let I X I denote the cardinality
of the set X. For 0 < t < 1/4, we define the counting functions ni(t) by
n1(t)
n2(t)
66
1{jE[0,k-1110<1/2-aj <t}I
- 1{fE[0,k-1]I1/2<aj<1/2+t}I
1{jE[0,k-1]10<aj-1/2<t}I
- I{iE[0,k-1111-t<aj <1}I
n3(t)
n4(t)
I{jE[0,k-1]10<I-aj<t}I.
Then
ni(t)+n4(t)
n2(t)+n3(t)
Therefore,
k-n2(t)-n3(t)
1{iE[0,k-111ajE(0,1/2-t)U[1/2+t, 1)}I
I{ j E [0, k - 1] 1 aj E [1, 3/2 - t) U [1/2+t, 1)
(mod 1)}l
and so
(mod 1)}I
11
[1/2
(mod l)}I
N(1 -t)+N(1/2+t)
<
(I + 9)k.
Thus,
E
j-O
k-1
e2niaj
k-1
E cos(27ra j) + i E sin(27ra j )
j-0
j-0
67
k-1
E cos(2n a j )
j-0
E cos 2na j
E cos 2na j +
0<a, < 1 /4
1/4<a) < 1 /2
cos 2naj +
cos 2,raj
3/4<a,<I
1/2<a1 <3/4
E cos2naj -
E cos2n(1/2-aj)
0<a,<1/4
1/4<a,<1/2
cos27r(aj - 1/2)+
2n
0<a1<1/4
cos2n(1 - c j)
3/4<a1 <1
1 /2<a1 <3/4
1/4
sin2ntdt-2n E
1/4<a1<1/2
-2n E f
1/2<a1<3/4
1/4
sin2ntdt
/2-a1
1/4
1/4
sin2ntdt+2n
3/4<a,<l
1-1/2
sin2ntdt
-a1
rI/4
(n1(t) - n2(t) - n3(t) + n4(t)) sin 2ntdt
2,r
0
<
27r
I0
9k,
Ok sin 2ntdt
which contradicts condition (2.9). Therefore, N(AB) > (I +9)k/2 for some,6 E R.
This completes the proof.
2.8
0<C <
O
cl > 2,
12'
(2 . 10)
(2.11)
68
and
2c, - 3
3
<
1 - coci
(2.12)
c1/2
i
Let p be an odd prime number, and let A be a nonempty set of congruence classes
modulo p such that
3<k-IAl:5 cop
(2.13)
12AI <c,k-3.
(2.14)
and
IAI-k<35
and
12A1 <
lsk
- 3.
1 - coc,
c,12
Proof of Theorem 2.10. Inequalities (2.10), (2.11), and (2.12) imply that
cl < 2.5.
(2.15)
2k-I<2cop<6
and so, by the Cauchy-Davenport theorem,
C-12AI-2k-1+b>mir(p,2k-1)-2k-1
and b > 0. Moreover, by inequality (2.14),
(2.16)
69
1-cocl
(2 17 )
cI/2
3
3
Then
3(1 +9)
2
cI <
(2.18)
and
coc1 +9ci/2 < 1.
(2.19)
Let A - {ao, al, ... , ak_I } c Z/pZ. Choose rj E 10, 1, ... , p - 1) such that
aj - rj + pZ for j -0,1 , ... , k - 1, and let R - {ro, rI, ... , rk_I } c Z. We
consider the exponential sums SA(x) and S2A(x) defined by
k-I
e2niri.r/p
E
j-0
and
e2nibxlP
S2A(x) bE2A
If not, thenISA(x)I <9kforallx 00 (mod p). Using Lemma 2.15, the CauchySchwartz inequality, and inequalities (2.17) and (2.16), we obtain
k2P
p-1
SA(X)2S2A(X)
.r-0
P-1
SA(0)2S2A(0)+ E SA(X)2S2A(X)
.r-1
P-1
k2e +
SA(X)2S2A(X)
X-1
P-1
<
k2e+EISA(X)121S2A(X)I
X-1
P-1
<
k2e+tOk E ISA(X)IIS2A(X)1
.r-1
P-I
<
k 21 + 0k
ISA(X)I IS2A(X)I
-0
P-I
<
k
2t + 9k(kp)1 /2(ep)1 /2
11/2
P-1
1/2
70
k2f+9k3/2fij2p
<
coclk2p+9c1l2k2P
<
k2p,
ISA(Z)I -
e2 riazlP
aEA
e2aii)zlP
> Ok
j-0
(mod p).
k'-IR'I>
and
rjz
(2
>2
+2
(mod 1)
P
for all rj E R'. Since p is odd, the interval [)fi,18+ 1/2) contains (p 1)/2 fractions
E
with denominator p, and these fractions are consecutive. This means that there is
an integer uo such that the fractions in the interval can be written in the form
(uo + s)/p with
S E
0,1,..., P
Therefore, for each rj E R' there exist integers mj and sj such that
sjE 0,1,...,P2
and
rjz
P
- mj -
UO + sj
</3+2
Then
rjz uo + sj
(mod p).
P-1
2
(mod p).
71
Let
tj
Sj - So
d
P2
and
(ti,...,tk--i)- I.
The set
rj, + rj,
(mod p)
if and only if
(mod p)
if and only if
(2.20)
where 2T' is a set of integers and 2A' and 2A are sets of congruence classes modulo
P.
If tk,-i > 2k' - 3, then Theorem 1.14 and inequality (2.18) imply that
12T'I>3k'-3>
3(l + O)k
2
-3>cik-3,
72
and
4k'-7<t'<p-2k'+3,
then
T'+{r'}c[4k'-7,p-1]
and
2T'n(T'+{t'})-0.
Let r' as u2 + V2t'
t'>4k'-7>2k'-2,
it follows that r` E R\R'-{rk',rk'_i,...,rk_,}anda*-r'+pZ E A \ A'. Let
0$JI,J2.J3<k'-I.Since
r;, + rh as 2u2 + v2(tj, + t;,)
(mod p)
and
R'+{r'}-{rj,+r':0<j3<k'-1}.
Since 2R' U (R' + {r'}) is a complete set of representatives of the congruence
classes in
>
(2k' - l)+k'
3k'-I
>
3(1 +B)k
>
clk - 1
> cik-3
>
12A1,
-l
2.9 Notes
73
TC[0,4k'-8]U[p-(2k'-4),p-1].
The set [0, 4k' - 8] U [p - (2k' - 4), p - I] and the interval
a = u2 + vet = u2 + v2(-(2k' - 4) + w)
u3 + v2w
(mod p),
W-{wE[0,6k'-12]:u3+v2w=a (modp)forsomeaEA).
Since k < co p < p/12 by inequality (2.10), it follows that
6k'-12<6k< 2
Since ci < 2.5 by inequality (2.15), it follows that
12W1=12A1-2k-I +r<cik-3<3k-3,
where 2W is a sumset of integers and 2A is a sumset of congruence classes modulo
p. By Theorem 1.16, the set W is contained in an arithmetic progression of length
k + b, and so A is contained in an arithmetic progression of length k + b in Z/pZ.
This completes the proof.
2.9
Notes
The Cauchy-Davenport theorem was proved by Cauchy [16] in 1813. Davenport [22] rediscovered the result in 1935.1. Chowla [18) immediately extended the
Cauchy-Davenport theorem to composite moduli. Other generalizations have been
obtained by Pillai [ 101 ], Shatrovskii [ 117], Brakemaier [ 13], and Hamidoune [611.
Pollard [ 106, 107) also extended Theorem 2.4 to the case of sums of It subsets of
Z/mZ forcomposite m. Davenport [25] discovered in 1947 that Cauchy had proved
the Cauchy-Davenport theorem first.
The Erdos-Ginzburg-Ziv theorem appears in [40). See Alon and Dubiner (I],
Bialostocki and Lotspeich [8), and Hamidoune, Ordaz, and Ortunio [67] for refinements of this important result. There is a different proof of the Erdos-Ginzburg-Ziv
theorem in Bailey and Richter [5].
Vosper's inverse theorem [ 1261 was published in 1956. The application to diagonal forms (Theorem 2.8) is due to Chowla, Mann, and Straus [ 19].
The Freiman-Vosper theorem (Theorem 2.10) and Theorem 2.9 appear in Freiman (50, 511. The proof of Theorem 2.9 is due to Postnikova (108]. This result
has been generalized by Moran and Pollington [88].
74
2.10 Exercises
1. Let G be a finite group, not necessarily abelian, with a multiplicative operation. For nonempty subsets A, B of G, let
AB-{ab:aEA,bEB}.
Show that Lemmas 2.1 and 2.2 are also true in the nonabelian case.
3. Let h > 2, and let A be a nonempty subset of Z/pZ such that I A I - k and
I h A I - hk - h + 1 < p. Prove that A is an arithmetic progression.
a; = u (mod m)
and exactly m - 1 integers a; satisfy
a; = v (mod m).
Prove that there does not exist a sequence 1 < i 1 < .
such that
a;, + a;, +
a;,, - 0
(mod m).
6. Let p be a prime number, and let (ab, p) - 1. Let f (x, y) - ax2 + by2.
Use the Cauchy-Davenport Theorem to prove that f (x, y) = n (mod p)
is solvable for all n.
7. Let p be a prime number, and let k > 3. Let cI, c2, ... , ck be nonzero
elements of G - Z/pZ. Let
f(xi,x2,...,xk)-CIX
Prove that the congruence f (xi , x2.... , xk) - n
all n.
8. Let pbe a prime number, and let 1 <k <l < p. Let
2.10 Exercises
75
and
Nr-
if1 <t<k+l-p
p
k + 1 + 1 -2t
9. Let p > 3 be a prime number, and let k be a positive integer such that
n>
(k,p-1)+1
and
f(xl.....X.)-CIXI +...+Cnxk,
where c 1 . . . . . c,, E (Z/ pZ)'. Prove that R(f) - Z/pZ.
10. Let ao, a 1, ... , ak _ 1 E R. Prove that if
k-1
E e2nia)
- k,
1-0
then
aj - ao
(mod 1)
forj-1,...,k-1.
11. Let h, m, and t be positive integers such that h > 2 and m + I is divisible by
h. Let k - mt, and let A be the sequence of k real numbers ao, a1, ... , ak_1
defined by
aj-1+ti-1w" - m +
for j - 1, ... , m and l - 1, ... , t. Let N;, (p) denote the number of a j such
that
aj E [#,f+1/h)
(mod 1),
and let
k-1
SA A -
j-0
(I + O)k
h
In the case h - 2, this example shows that Theorem 2.9 is best possible.
3
Sums of distinct congruence classes
3.1
for all h > 2. We shall give two proofs of this statement. The first uses the
combinatorics of the h-dimensional ballot numbers and some facts from exterior
algebra. These prerequisites are developed in the following sections. The second
proof uses only the simplest properties of polynomials.
78
3.2
Vandermonde determinants
(aP)(xo,X1,...,xh-1)-P(xo(o),xap>....,Xa(h-4).
(3.1)
a(rp) - (ar)P
(3.2)
Then
A(XO,X1...... h-1)-
F1
Osi<j<h-I
(xj -xf)
(aA)(Xo,X1,...,xh-1)
1I
o<i<j<h-I
sign(a)
(x,(j) - Xa(i))
fl
(x j - xi )
O<i<j<h-1
sign(a)A(Xo,... , Xh-1),
and so
sign(a) - 1.
It follows from (3.2) that
sign(ar) - sign(a)sign(r)
for all a, r E Sh, and so
sign:Sh1}
A-
a0.o
ao.l
ao.:
a1.0
a1.1
a1.3
ah-I.o
ah-1,1
ah-I.2
a0.h-I
a1.n-I
"'
ah-I.h-i
79
CESh
Lemma 3.1 Let h > 2, and let xo, x1, ... , xh_I be variables. Then
1
xO
X2
XI
x2
x2
x2
. ..
Xh_1
xh_I
. ..
. ..
xh-'
X%-'
XZ_1
-A(xo,x',...,xh_I).
(3.3)
xh-
xo
x1
-XI -xo=A(xo,x1)-
Assume that the Lemma is true for some h -I > 2. Let A be the h x h determinant
in (3.3). Subtracting xo times the first column from the second column, we obtain
1
x2
0
x1 - xo
x2
...
x2 - XO
x2
...
Xh_1 - XO
Xh-1
...
xh-'
0
xi-'
x2_1
Xh_
In this new determinant, we subtract xo times the first column from the third column
and obtain
1
xo
x1 - XO
X - X02
...
X3
...
X2 - XO
X2 - X02
X h_1 - X0
X1i_1 - XO
Xphh-'
X1-I
Xh-1
h-I
Xh-1
Xh_I
After subtracting xo -' times the first column from the j th column for j - 2, 3, ..., h,
we obtain the determinant
1
x1 - xo
X2
0
Xo
Xh _1 - Xo
I-0
X22- X2
0
...
X2
h-1 - X2
0
...
X2
X2
Xh-1
1
...
Xh-1
Xh-1
-o
- Xh-I
o
xh-1 - Xh-1
h-I
80
which is equal to
X - Xo
2 - 20
X2 - XO
x2 - x2
Xh_I - XO
Xh_I - X0
xh-1 _ xh-I
1
0
...
h-I
h-1
- XO
..
xh_1 - x0-I
X +X0
X2 + X0
x2+XX0 +20
2+xX
2
2 0+X2
0
Xy_1 +xO
2
Xy_1
+Xh_lxo+xO2
II(xj -xo)
j-
xh-2+Xh-3x
o
I
xh-2+xh-3X
0
2
2
...
h-2
h-3
xh_1
0
0
h-2
h-1
J(Xj
xh-2
x 2
X2
x Z
...
Xh_I
Xh _I
...
x2-2
h-2
Xh-1
- XO)
I-1
h-I
II(xj
h-1
- XO)
(xj - xi)
1<i<j<h-I
j-1
h-1
fl
(xj - Xi)
0<i<j<h-I
r,(xo,xl,...,Xh_I).
This completes the proof.
Let [x]o - 1. For r > 1, let [x]r be the polynomial of degree r defined by
[x]r-x(xLemma 3.2 Let h > 2, and let xo, x1, ... , xh_1 be variables. Then
I
IXoll
[xo12
...
[x0]h-1
[x1]1
[x112
(XI ]h-I
[xh-Il1
[Xh-112
- 0(XO.X1,...,Xh_1).
[Xh-Ilh-1
Proof. By elementary row and column operations, the determinant can be transformed into the Vandermonde determinant, and the result follows.
81
Lemma 3.3 Let A be a nonempty, finite subset of a field F, and let I A I - k. For
every m > 0 there exists a polynomial gm(x) E F[x] of degree at most k - 1 such
that
gm(a) - am
for all a E A.
Proof. Let A - lao, a,, ... , ak_ 1). We must show that there exists a polynomial
E F[x) such that
u(ai)-uO+ulai+U2a2+...+u&_Iak-1 -a"
ao
a2
...
ak-I
al
ai
..
a?-1
3.3
ak_I
...
ak_I
fl
O<i<j<k-I
akk-I
-1
The standard basis for Rh is the set of vectors [e1, ... , eh), where
e2
- (1,0,0,0,.. ,0)
- (0, 1,0,0,...,0)
eh
el
(0,0,0..... 0, 1).
The lattice Zh is the subgroup of Rh generated by the set {e1, ... , eh), so Zh is the
set of vectors in Rh with integral coordinates. Let
a-(ao,a,,...,ah_1) E Zh
and
b-(bo,bl,...,bh_1) E Zh.
A path in Zh is a finite sequence of lattice points
a-vo,vl,....v.,-b
such that
vj - vj_i E lei,..., eh)
82
for j = 1, ... , m. Let vj_ 1, vl be successive points on a path. We call this a step
in the direction e, if
vj = vj-1 + e1.
a<b
if b - a is a nonnegative vector.
Let P(a, b) denote the number of paths from a to b. The path function P(a, b)
is translation invariant in the sense that
P(a + c, b + c) - P(a, b)
for all a, b, c E Zh. In particular,
P(a,a)- 1,
and
for some i = 1, ..., h, and there is a unique path from b - e; to b. It follows that
the path counting function P(a, b) also satisfies the difference equation
h
P(a, b)
P(a, b - e1).
m = E(b1 - a;).
r-o
Every path from a to b has exactly m steps, and the number of different paths is
the multinomial coefficient
P(a, b) =
1:
h-1
(b1 - ai)
-1
R, -0 (b,
- ai )!
m,
h-1
-0 (b;
i r[,
- a,)!
(3.4)
83
Let h > 2. Suppose that there are h candidates in an election. The candidates
will be labeled by the integers 0, 1, ..., h - 1. If mo votes have already been cast,
and if candidate i has received a; votes, then
mo - ao+al + +ah_l.
We shall call
vo-a-(ao,a,,...,ah-I)
the initial ballot vector. Suppose that there are m remaining voters, each of whom
has one vote, and these votes will be cast sequentially. Let Va.k denote the number
of votes that candidate i has received after k additional votes have been cast. We
represent the distribution of votes at step k by the ballot vector
Vk - (VO.k, V1.k, ... , Vh-l.k)
Then
vo.k + V1.k +...+vh-I.k - k+mo
fork-0,1,...,m. Let
vm -b-(bo,bl,...,bh-1)
be the final ballot vector. It follows immediately from the definition of the ballot
vectors that
vk - vk-I E (el,.... eh)
\E-0
(b; -a,))!
fl o f (b1 -
a;)l
m!
nh of (bi - a,)'
< Vh
a-(0,0,0,...,0)
84
Let
m =bo+b, +...+bh_,.
Let B(bo, b, , ..., bh_ I) denote the number of ways that m votes can be cast so that
all of the kth ballot vectors are nonnegative and increasing. This is the classical
h-dimensional ballot number. Observe that
B(0,0,...,0)= 1,
and that
B(bo,b,,...,bh_,)>0
if and only if (bo, b, , ... , bh_ i) is a nonnegative, increasing vector. These boundary
conditions and the difference equation
h- I
a'=(0,1,2,...,h-1)
and that the final ballot vector is
b=(bo,bi,....b,_1).
Let
h
m=J(bi-i)=Ebi- (2)
Let B(bo, b, , ..., bh_,) denote the number of ways that m votes can be cast so
that all of the ballot vectors vA are nonnegative and strictly increasing. We shall
call this the strict h-dimensional ballot number.
A path vo, vi, .... vin Z" will be called a strictly increasing path if every
lattice point vk on the path is strictly increasing. Then B(bo, b,, ... , bh_i) is the
number of strictly increasing paths from a* to b = ( b 0 . . . . . b,, _ i ).
The strict h-dimensional ballot numbers satisfy the boundary conditions
8(0,1,...,h-1)=1
and
85
if and only if (bo, b1, ... , bh_ I) is a nonnegative, strictly increasing vector. These
boundary conditions and the difference equation
h-1
B(bo,b1,...,bh-1)-EB(bo,...,bi-1,bi - l,bi+l,...,bh-I)
i-o
v-(vo,VI,...,vh-I)
is nonnegative and strictly increasing if and only if the lattice point
a' -v0,v1,v2,...,um -b
is a path of strictly increasing vectors from a* to b if and only if
0, V1 -a",v2-a
..,b-a'
a-vo,v1,v2,...,vm-b
will be called intersecting if there exists at least one vector vk on the path such that
vk E Hij for some hyperplane H1 1.
The symmetric group Sh acts on Rh as follows. For a E Sh and v = (vo, vI, .. .
uh_1) E Rh, let
av - (vo(0), un(I), ... , vo(h-I))
Lemma 3.4 Let a be a lattice point in Zh, and let b - (b0..... bh_I) be a strictly
increasing lattice point in Z'. A path from a to b is strictly increasing if and only
if it intersects none of the hyperplanes H1 , and
B(bo,...,bh_1)-J(a',b).
86
Proof. Let
f o r k - 0, 1, ... , m. If the path is strictly increasing, then every vector on the path
is strictly increasing, and so the path does not intersect any of the hyperplanes Hi, j.
Conversely, if the path is not strictly increasing, then there exists a greatest integer
k such that the lattice point vk_I is not strictly increasing. Then I < k < m, and
Vj.k-1 < Vj-I,k-I
Vj-1.k : Vj.k - 1.
Since vk_I and vk are successive vectors in a path, we have
Vj-I.k-I : Vj-l.k
and
Vj.k-1 - Vj-l.k-I
and so the vector vk_I lies on the hyperplane Hj_1.j. Therefore, if b is a strictly
P(aa, b) - I(aa, b)
for every a E Sh, a ' id.
E sign(a)l(aa, b) - 0.
oESA
87
Proof. Since a is strictly increasing, it follows that there are h! distinct lattice
points of the form aa, where a E Sh, and none of these lattice points lies on a
hyperplane H1 j. Let 2 be the set of all intersecting paths that start at any one of
the h! lattice points as and end at b. We shall construct an involution from the set
12 to itself.
Let a E Sh, and let
aa-v0,v1,...,v.-b
be a path that intersects at least one of the hyperplanes. Let k be the least integer
such that Vk E Hi,j for some i < j. Then k > I since a is strictly increasing, and
the hyperplane Hi. j is uniquely determined since Vk lies on a path. Consider the
transposition r - (i, j) E Sh. Then
TVk - Vk E Hi, j
and
raa (an.
Moreover,
oesh
sign(..,
sign(.,,
(b, -aWY
if a(i) < bi
if a(i) > bi.
Theorem 3.1 Let h > 2, and let bo, b1..... bh_1 be integers such that
0<bo<bl<...<bh_1.
88
Then
B(bo,bl,...,bh-1) -
fl
borb,l...bh_,1
(bj - b1)
0<i<j<h-1
ProoL Let a' _ (0, 1, 2, ..., h - 1) and b - (bo, bl, ..., bh-1) E Zh. Applying
the preceding lemmas, we obtain
B(bo,bl,...,bh-1)
J(a', b)
P(a*, b) - 1(a*, b)
sign(a)1(aa-, b)
P(a', b) +
..Sb
eyed
P(a', b) + E sign(a)P(aa*, b)
..Sb
ayid
1: sign(a)P(aa', b)
aES,
sign(a)(b+ti_;
+bh-1
- (i))!
.:.
a '<b
(bo+...+bh_1 - (?))!
bo!b,!...bh_1!
sign(a)[bolaco>[bl]ap)
.15
h
h-I - ())1
(b0
b0 lb l...bh-1
sign(a)[bola(o,[bl]oc,,
(bo +
+ bh_I - (Z))!
[bh-Mah-,,
aES,
[bo]h-1
[boll
[bolt
[bill
[b112
...
[bllh-1
(bh-111
[bh-112
...
[bh-llh-1
bo!b,!...bh_,!
(bo+...+bh_1 - (z))!
0<i<j<h-1
The following result will be used later in the proof of the Erdo"s-Heilbronn
conjecture.
Theorem 3.2 Let h > 2, let p be a prime number, and let io, il, ... , ih_) be
integers such that
and
89
Then
B(io,ii,...,ih-1)00
(mod p).
T' (v)
1(v) - v,
p(T) -cAT"
+...+c1T +col.
The set of all polynomials p(x) such that p(T) - 0 forms a nonzero, proper ideal
J in the polynomial ring F[x]. Since every ideal in F[x] is principal, there exists
a unique monic polynomial pT(x) - pT.v(x) E J such that PT (x) divides every
other polynomial in J. This polynomial is called the minimal polynomial of T over
the vector space V.
A subspace W of V is called invariant with respect to T if T(W) C W, that
is, if T(w) E W for all w E W. Then T restricted to the subspace W is a linear
operator on W with minimal polynomial PT,w(X). Since pT,v(T)(w) - 0 for all
w E W, it follows that pr.w(x) divides PT, v (x), and so
deg(pT.w) < deg(PT.v),
(3.6)
dim(CT(v)) -1,
90
where l is the smallest integer such that the vectors vo, v1, ... , v1 are linearly
dependent. This means that there exist scalars co, c1, ..., c1_1 in the field F such
that
V1 +c/_JVJ_J +---+C1V1 +COVO -0.
Let
p(x)-x,+ci_ix1-1
Then
p(T)(vo)
T1(vo)+c1-1T'-'(vo)+...+cjT(vo)+col(vo)
and so
Pr.c(v) - 0,
it follows that the vectors vo, v 1 . . . . . v,. are linearly dependent, and so
I < M.
This implies that ! - m and so, by inequality (3.6),
dim(Cr(v)) - deg (PT.c) < deg (PT. V)
for all v E V.
(3.7)
91
fl (x -a)
aEO(T)
fl
(T -aI)(f;)-0
aEa(T)
PT.v(x) - f j (x - a).
aEa(T)
In particular, the degree of pT. v(x) is equal to the number of distinct eigenvalues
of T. It follows that if T is a diagonal operator on a finite-dimensional vector space
V, then
Lemma 3.8 Let T : V -+ V be a linear operator on the vector space V, and let
{fo, fi , ... , fk_ 1) be eigenvectors of T with distinct eigenvalues. Let
Proof. We first show that the vectors fo, f), ... , fk_1 are linearly independent.
If they are linearly dependent, then there is a minimal subset of the vectors
fo, ... , fk_) that is linearly dependent, say, t o ,. .. , fr_). Moreover, I > 2 since
f;
0 for i - 0, 1, ... , k - 1. There exist nonzero scalars co, c) , ... , cr _) such that
;-0 c;f, - 0. Let a; E a(T) be the eigenvalue corresponding to the eigenvector
f; . Then
(cf1) i-o
c;T(f;) i-o
c;aifr - 0.
r-o
Since
r-0
92
it follows that
I-2
i-1
i-0
vo=fo+...+fk-Ik E W,
it follows that
CT(vo) S W
and so
. . .
. fk_I } is
1
ao
a2
0
a2
...
0
ak--1
...
ak-1
a2
a2
ak_I
ak_
ak-1
ak
I
(a) - ail T 0.
o<i- j<k- I
3.5
Alternating products
Let A" V denote the hth alternating product of the vector space V. Then A' V is a
vector space whose elements are linear combinations of expressions of the form
Vo A V1 A
A V1i-1,
93
where vo, V1 , ... , vh_I E V. These wedge products have the property that
e,0Aei A...Aei,
where
dim(Ah V)
().
DT:AV-).AV
that acts on wedge products according to the rule
DT(VO A ... A Vh-I)
h-1
EVon...AVJ_I A T(VJ)AVJ+I...AVh_I.
(3.8)
j-0
Lemma 3.9 Let T be a diagonal linear operator on V, and let a(T) be the spectrum of T. Let It > 2, and let DT : Ah V - Ah V be the derivative of T. If T
has distinct eigenvalues, that is, if la(T)I - dim(V), then
a(DT) - h^a(T)
and
for every w E Ah V.
Proof. Let a(T) - {ao, al, ..., ak_I }, and let {fo, f1,
, ft-1 } be a basis of
eigenvectors of V such that T (fi) - ai fi for i - 0, 1, ... , k - 1. Then (3.8) implies
that
DT(fio A ... A fi,_,) = (a10 +... +ai,-,)(fi0 ,^ ... A fi_,).
94
a(DT) - h^a(T).
Applying inequality (3.7) to the vector space Ah V and the operator DT, we obtain
(DT)r(w) -
(h)+
and where B(io, i1, ... , ih_1) is the strict h-dimensional ballot number corresponding to the lattice point (io, i 1, ... , i,_ 1).
(DT)(w) - w
- VOAV1A...AVh_1
B(0, 1, 2, ... , h - 1) - 1. Suppose the result holds for some integer r > 0.
Then
(DT)r+1 (w)
- DT ((DT)r(w))
- DT (
95
8(io, i...... ih_i) E (Vi, A ... A V,,_, A Vii+i A Vi,., n ... A Viw ,)
j-0
where the last sum is overall integer lattice points (io, it, ... , i,,_1) E Z" such that
0:5
and
and the integer C(io, it, ... , ih _ i) satisfies the difference equation
h-1
This difference equation determines the strict h-dimensional ballot numbers, and
so
C(io, i t ,-- . , ih-1) - B(io, il, ..., ih_i).
Therefore, the result holds in the case r + 1. This completes the induction.
3.6
Erd6s-Heilbronn, concluded
T(fi) - aifi
for i - 0, 1, ... , k - 1. The spectrum of T is
a(T) - A.
Let
vo-fo+fl+...+fk_1,
96
and define
where
<k-1.
0<io<il
Let
h
W-VOAV1A...AVk_I EAV.
By Lemma (3.9),
w, (DT)(w), (DT)2(w)....,
are linearly independent in the alternating product
Ah V. where
n-min(p,hk-h2+1)-1-min(p- 1,hk-h2).
Let 0 < r < n. By Theorem 3.3, the vector (DT)'(w) is a linear combination
of vectors of the form
Vi0AV1, A...A Vi,,_,,
where
5 r+h-1
0<io<il
(3.9)
and
2+
(h)
io+il
(3.10)
h^I - [(h2), hk -
(h
2 1cIl
(2h)
+ [0, hk - h2J,
(3.11)
io+i1 +...+ir,-I -
\ +r <
(h2)
(h2)
+n <
97
2)+p
By Theorem 3.3, the coefficient of this basis vector is the strict h-dimensional
ballot number B(io, i 1, ... , i_1). By Theorem 3.2,
(mod P)
.1o+11+...+.%h-I <
+r.
and either
(2)+r
or
(2h)
Moreover, in the second case the basis vector appears with a coefficient B(io, i 1 , ... ,
ih-1), and this number is nonzero modulo p. If the vectors w, (DT)(w), ... ,
(DT)"(w) are linearly dependent in the cyclic subspace CDT(w), then there exists a positive integer m < n such that
m-1
(DT)"'(w) - 1: Cr(DT)r(w)
r-0
for some Co, ... , c",_1 E Z/pZ. The right side of this dependence relation is a
linear combination of basis vectors v;o A V, A
(h) +m2
while the left side is a linear combination of basis vectors satisfying (3.11) and
\2/
+m,
98
2}+m.
Then we have, in fact, proved that if A e K and JAI - k < p, then IhAAI
min(p,hk-h2+1)forallh > 1.
3.7
f(ao,a,,...,ah-I)-0
for all
f(xo,xi,...,xh-I)- E fi(z1,...,xh_1)x
j-0
where fj(x1,... , xh_ 1) is a polynomial in the h - I variables x1, ... , xh_ I and is
ko-I
fj (a I , ... , ah- IN
j-0
99
fi(al,...,ah-t)-0
for all
(a1,...,ah_1)EAl
It follows from the induction hypothesis that the polynomial f1 (xi , ... , xh _ I) is
identically zero, and so f (xo, xt , ... , xh _ 1) is the zero polynomial.
Theorem 3.5 Let p be a prime member, and let A and B be nonempty subsets of
A+B-(a+b:aEA,bEB,a'b).
Then
min(p, 2k - 3).
Proof of Theorem 3.5. Let I A I - k and IBI -1. We can assume that
1I<k<p.
Ifk+l-2> p, letl'- p - k+2. Then
2<1'<1<k
and
k+l'-2-p.
Choose B' C B such that I B'I -1'. If the theorem holds for the sets A and B', then
k+l-2<p.
Let C - A+B. We must prove that I C l > k + 1 - 2. If
r+ICI - k+l - 3.
100
f(a,b)-0foralla E A,bE B.
There exist coefficients
nc4N-3
(x-y)(x+ y)'fl(x+y-c)
(-EC
Since I < I < k < p and I < k+1- 3 < p, it follows that the coefficient uk_1.i_i
of the monomial xk' i y'-' in f (x, y) is
k+1-3
k+l-3
(k-1)(k+l-3)!
k-2
k-1
(k - 1)!(l - 1)!
(mod p).
n < 1-2, andsog(.c)y" is a sum ofmonomials x'yJ withi < k- I and j < 1-2.
Similarly, if x"'y" is a monomial in f (x, y) with n > 1, then we replace xy" with
If n > 1, then m < k - 2, and so
is a sum of monomials x'yj
101
f*(a,b)- f(a,b)-0
for all a E A and b E B. It follows immediately from Lemma 3.10 that the
polynomial f'(x, y) is identically zero. This contradicts the fact that the coefficient
of xk-Iyl-I in f *(x, y) is nonzero. This completes the proof.
3.8
Then
h-I
where the summation runs over all h-tuples (bo, bI , ... , bh_ I) of nonnegative integers such that
bo+b,+...+bh-.I -m
and the coefficients are the strict ballot numbers
B(bo,b,,...,bh-I)-
(bo+b,
bo
+bh_l - (z))!
(bl - b;).
h -I
0<i<j<h-I
lbl... b
I
Proof. Recall that Sh is the symmetric group of all permutations of (0, I , ... .
h - I), and sign(a) - 1 is the sign of the permutation Or E Sh. Using the
Vandermonde determinant (Lemmas 3.1 and 3.2), we obtain the formula for the
coefficients of the polynomial by the following computation:
(xo + ... + xh- I )' A(xo, X I .... , xh- I )
102
jj
(xj - xi )
0<i<j<h-I
h -I
x0
x0
xI
x2
X2
x22
xh-I
xh-I
...
xo
xh-I
...
xh-I
(x0+...+xh_I)'
h-I
xh-I
h-I
(x0+...+xh_I)' E sign(a)j]xa(;>
1-0
oESh
'n
tI
h-I
10.11..6-1.
h-I
--I
1 lx
t li-0 t1 ! i-0
aeS
h-I
t! E sign(a)
r-0
aESh
aESh
-t!
t! E sign(a) "20
E
'o....Hh -, y
(t, +a(i))!
i-0
'" ftbilo(i)
t! Y' sign(s)
1-0
h,>.0)
aESh
b1.
x h,
j-j [blla(i>xb
sign(a)
b,O
aESh
bit
1-0
h-1
E t! Esign(a)H [blla(1)xh,
bi!
br'eb
E
h, >n
aESh
i-0
- F1
IT-0 b. ! 0<i<j<l,-1
h-I
ht-I
x1b,
(bj - b1)
(bO+b1 +...+bh_I
h-I
i-0
- (z))!
a) ... xh-I
(bj - b1)xo
bh- I
ni-0 b1'
o<i<j<h-I
103
for i f j. Let
C-
:a; EA;fori-0,1,...,h-I
and a; f ai fori ' j).
Then
h-1
1)
1.0
+ 1}.
and
t-
h1
-1
((h+lll
h-1
We shall show that is the theorem holds for t < p, then it also holds fort > p. If
h-1
t-1:l;> p,
r-0
0<e0,
and
h-I
El;-p-1.
1-o
Let
k;-l;+i+I
rkr-\((h+ Ill
h-I
h--1`
J-u(k`-i-1)-h-I-P-1.
for
and a; f ai fori f j }.
....,h - I
104
>
ICI
h-1
p, E k; -
min
r-o
1-0
)
2J
2
1-o
r+ICI - Ek;
1-o
(h + ll
2
f(xo,x1,...,xh-1)
_ &(XO,x1,...,Xh_I)(Xo+...+Xh_,)`fl(XO+...+xh_1 -C).
cEC
m=
=
();r+icI
t+
(2h)
k'h1)+(h)
i-O
h-1
Ek; -h
,-o
h-1
E(k; - 1).
1-0
105
Moreover,
f(ao,a,,...,an-i)-0
for all
x Ah_, .
Since
f(xo,xi.....xn-i)
_
4h-1-1
...xh-I
is
B(ko - 1, k, - 1,...,kh_I - 1)
- k
(k
-k
),
By Lemma 3.3, for i = 0, 1, ... , h - I and for every m > ki there exists a
polynomial g;.,,, (xi) of degree at most ki - I such that gi.,,, (ai) = a,"' for all ai E A; .
W e use the polynomials gi,",(xi) to construct a new polynomial f'(xo, ... , xh_, )
Since deg(f) _ yho (ki - 1), it follows that if bi > ki for some i in a given
monomial, then b, < k, - 1 for some j i in the same monomial. It follows that
the coefficient of the monomial x0A"-1 . xh" I -I in f' is exactly the same as the
coefficient of this monomial in f, and this coefficient is
B(ko - 1 , k , - I__ k,-, - 1) 0.
On the other hand, the polynomial f ` has degree exactly ki - I in the variable xi,
and
f'(ao, ... , ah - i) = f (ao, ... , ah-i) = 0
for all (ao, ... , ah_,) E A0 x x Ah_, . By Lemma 3. 10, the polynomial f ` must
be identically zero. This is a contradiction, and so ICI > t + 1. This completes the
proof.
Theorem 3.8 Let K be a field, let p denote the characteristic of K if the characteristic is a prime, and let p - oo if the characteristic is zero. Let h > 2, and let
A be a subset of K such that I A I - k > h. Then
106
IAiI - ki - k - i.
Then
h-1
-hk-i-O
().
Let
C
Then
C c h^A.
It follows from Theorem 3.7 than
IhAAI
ICI
h-i
io
min(p, hk -2
min(p,Fk,-(h+i)+1}
11
min(p, hk - h2 + 1).
This completes the polynomial proof of the Erd6s-Heilbronn conjecture.
3.9
Notes
3.10 Exercises
107
of the formula in Theorem 3.1 for the strict ballot number B(bo, ..., b, I) follows
a paper of Zeilberger [ 129). There is a vast literature on ballot numbers and other
lattice path counting problems (see, for example, Mohanty [87] and Narayana [891).
The polynomial proof of the Erd6s-Heilbronn conjecture is due to Alon, Nathanson, and Ruzsa [2, 3].
3.10
Exercises
1 . Let a, r E Sh, let f , g E F[xo, x), ... , xh_11, and let c E F. Prove that
(ar)f -a(rf),
a(f +g)-a(f)+a(g),
a(cf)-ca(f),
and
that if u(x), v(x) E F(x) and v(x) f 0, then there exist g(x), h(x) E F[x]
such that deg(g) < deg(v) and
u(x) - h(x)v(x)+g(x).
Use the division algorithm to prove Lemma 3.3.
4
Kneser's theorem for groups
4.1
Periodic subsets
The principal goal of this chapter is to prove a beautiful theorem of Kneser about
sums of finite subsets of an abelian group G. We need the following definitions.
Let S be a nonempty subset of the abelian group G. The stabilizer of S is the set
H(S) - {g E G I g+ S- S}.
Then 0 E H(S), and H(S) is the largest subgroup of G such that
H(S) + S - S.
1 10
4.2
We begin by proving a special case of the main theorem. This simple result is
sufficient in many applications.
Theorem 4.1 (Kneser) Let G be an abelian group, G f {0}, and let A and B
be nonempty, finite subsets of G. If I A I + IBI < I G I, then there exists a proper
subgroup H of G such that
a, + b2 - b, E A
for all at E A and b,, b2 E B. Then
A+b2-b,-A
for all b, , b2 E B. Let H be the subgroup of G generated by all elements of the
form b2 - b, , where b, , b2 E B. Then
A+H - A 'G.
Therefore, H is a proper subgroup of G. and
a, + b2 - b, ff A.
Let
e- a, -b,.
Then
b2 gA - (a, - b,)-A-e,
4.1)
b, E A - (a, -b,) -A -e
(4.2)
but
III
since 0 E A - a,. Applying the e-transform (Section 2.2) to the pair (A, B), we
obtain a new pair (A(e), B(e)) of subsets of G defined by
A(e)
- A U (B + e)
B(e)
- B n (A - e).
It follows from (4.1) that b2 1f B(e), and so B(e) is a proper subset of B. Also,
b, E B(e) by (4.2), so B(e) is a nonempty subset of B. Therefore, the induction
hypothesis applies to the pair (A(e), B(e)). Using properties (2.1) and (2.3) of the
e-transform, we conclude that there exists a proper subgroup H of G such that
IA+BI >
IA(e)+B(e)I
IA(e)I + IB(e)l - I HI
Al I+ IBI - IHI
fori-Iori-2.
Proof. If ICi I + IH(Ci)1 < ICI for i - 1 or i - 2, then we are done. Therefore,
we can assume that
ICI < IC,I +IH(C,)I
(4.3)
for i - 1 and i - 2. Let H(C,) - Hi, and let m; denote the index of the subgroup
Hi in H, + H2. Let H - H, n H2 and I H I - h. By a standard isomorphism theorem
of group theory,
0<ICI\C21-IC\C21-ICI-IC21<IH21-m1h,
112
and so
h<ICI \C21<(m,-l)h.
(4.4)
(4.5)
Similarly,
D-c'+H,+ H2.
Then D is a union of H,-cosets of the form
D, -c'+h2+ H,,
4.6)
D2-c'+h,+H2,
(4.7)
where h, E H1. Let D, bean H, -coset of the form (4.6), and let D2 bean H2-coset
of the form (4.7). Since h2 + H C H2 and h, + H C H,, it follows that
c'+h,+h2+Hc D,nD2.
Conversely, if g E D, n D2, then there exist h, E H, and h2 E H2 such that
g-c'+h,+h2-c'+h,+h2.
This implies that
g - (c' + h, + h2) - h, - h, E H,
and
g-(c'+h,+h2)-h'2-h2 E H2,
and so
g-(c'+h,+h2)E H, nH2-H.
It follows that
gEc'+h,+h2+H
and so
D,nD2cc'+h,+h2+H.
Thus,
D,nD2=c'+h,+h2+H,
and the intersection of an H,-coset in D with an H2-coset in D is an H-coset.
Since the index of H; in H, + H2 is m;, the subgroup H, + H2 is the union of
m; pairwise disjoint H; -cosets, and so D - c' + H, + H2 is also the union of m;
pairwise disjoint H;-cosecs. Since H; +C; - C; is a union of H;-cosets, it follows
that C, n D is the union of, say, u, pairwise disjoint H; -cosets, and so C; n D is the
113
(C2\C,)nD-(C2nD)n(C, nD)
is the union of u2(m, - u 1) pairwise disjoint H-cosets. and so
1(C2 \ Cl) n DI - u2(m1 - u, )h.
Similarly,
(4.8)
(Cl\C2)nD-(C,nD)n(C2nD)
4.9)
Since
c'E(C,\C2)nDSC1\C2,
it follows that
0 < 1(Ct \ C2) n DI - ui(m2 - u2)h < IC, \ C21 < (mi - 1)h.
1<u,<m,-1
and
1<u2<m2-1.
It follows from (4.4), (4.5), (4.8), and (4.9) that
IC2\C11-(m2-1)h-I(C2\Ci)nDt
+IC1 \C21-(m, - 1)h-I(C1 \C2)nDi
<
0,
IC \ C21
ICI \C21
m,h - h
IH21 - IHI
IH21 - I H(C)I.
114
Similarly,
ICrI + I H(Cl)1
ICI + IH(C)I
Lemma 4.2 Let n > 2, and let G be an abelian group. Let C be a finite subset of
G such that
C-CiUC2U...UCn,
where C1..... Cn are nonempty, proper subsets of C. Then
ICrI+IH(C,)I <ICI+IH(C)I
for some i - 1, ... , n.
C'-C1U...UCn_i.
Then the sets C1.... , Cn_1 are proper subsets of C', and C' is a proper subset of
C. It follows from the case n - I of the lemma that
(4.10)
C - C'UC,,
Lemma 4.1 implies that either
Lemma 4.3 Let C1..... C,, be finite, nonempty subsets of the abelian group G,
and let
C-C1U...UC,.
Then
min(IC,I+IH(Ca)I
115
Proof. If Ci - C for some i, we are done. If not, then each set Ci is a proper,
nonempty subset of C, and Lemma 4.2 implies that
IC1I+IH(C1)I <- ICI +IH(C)I
H - H(A + B) - (g E G I g+A+B-A+B)
be the stabilizer of A + B. If
(4.11)
(4.12)
then
Proof. Let C - A + B satisfy inequality (4.11). Let B - {bi, ... , b,,). For each
bi E B, we consider the collection of all pairs of finite subsets (Ai, Bi) of G such
that
ACAi,
bi E Bi,
Ai+Bi c A + B,
IA1I+IBrI - IA+HI+IB+HI.
This collection is nonempty since the sets Ai - A + H and Bi - B + H satisfy these
conditions. Fix a pair (Ai, B,) for which IAdI is maximal, and let Ci - Ai + Bi.
Then I Ai 15 ICr I, and
A+b, cAi+Bi - Ci c C.
(4.13)
Let a E Ai and e - a - bi. Applying the e-transform to the sets Ar, Bi, we obtain
the sets
Ai (e) + Bi (e) c Ai + Bi c C - A + B
and
aea+Bi - b,cAi
116
AicAi+Bi - b, - Ci - bicAi
and soAi-Ci-bi.Then IA1I-ICi1.H(A1)-H(C1),and
B, - b, c H(A1) - H(C,);
hence IBiI < IH(Ci)I. We obtain
I A + H I + I B + H I - IAiI+IBAI <- ICiI+IH(C1)I
IA+HI+IB+HI <
min(IC,I+IH(C1)I)
<-
ICI+IH(C)I
IA+BI+IHI.
Theorem 4.3 Let G be an abelian group, and let A and B be finite, nonempty
subsets of G. Let H - H(A + B). Then
(4.14)
IA+BI
I(A+H)+(B+H)I
> IA+HI+IB+HI
> IA+HI+IB+HI-IHI
or
117
Theorem 4.4 Let h > 2, let A,, A2, .... A,, be finite, nonempty subsets of an
abelian group G, and let H = H(AI + + A,,). Then
At +...+A,,I >
Let h > 3, and suppose that the theorem holds for some h - 1. Let H'
H (A i +
IAi+...+A,I
>
A,+...+A,,-ll+IAhI-IHI
>
>
Theorem 4.5 Let G be an abelian group, and let A be a finite, nonempty subset
of G. Let h A be the h fold sumset of A, and let
B=A+H,,.
Then
hB=h(A+H,,)=hA
and so H(hB) = H(hA) = H,,. Therefore,
4.3
Let A and B be nonempty, finite sets of integers. Then IA + BI > IA; + IBI - 1.
By Theorem 1.3, I A + B I - J A I + IBI - I if and only A and B are arithmetic
progressions with the same common difference. Our goal in this section is to show
that if 1 A+BI is "small," then A and B are "large" subsets of arithmetic progressions
with the same common difference. This inverse theorem for the sumset A + B is
a generalization of Theorem 1.16.
118
Theorem 4.6 Let k, 8 > 2, and let A - {ao, al, ... , ak_I } and B - {bo, b1, ... ,
bt_1 } be nonempty, finite sets of integers such that
and
(a1,
a2,...,ak-1)-l.
Let
d-
if
if
bt_1 - ak_1.
Then
IA+BI <k+2t-S-3.
(4.15)
r:Z -* G
be the canonical homomorphism onto the cyclic group G. Then
Itr(A)I -k - 1
since n (ao) - tr (ak _ 1) - 0, and
I,r(B)I-f-8
since n(bt_ 1) - 0 if and only if bt_1 - ak_1. We can rewrite (4.15) in the form
(4.16)
We shall show that there are at least e integers in A + B that lie in the same
congruence classes modulo ak-1 as other integers in A + B. If bt_1 < ak_1, then
119
(4.17)
We can apply Kneser's theorem to the sunset 7r (A) + rr(B) in the group G. Let
H - H(n(A)+rr(B) be the stabilizer of n(A)+n(B)). By Theorem 4.2, we have
(4.18)
Since every subgroup of a cyclic group is cyclic, there is a divisor d of ak_ 1 such
that H - d G - d Z/ak_ i Z. We shall prove that d - 1.
Let a : G --> G/H be the canonical homomorphism from G onto the quotient
group G/H. We partition A + B as follows:
A+B-C,UC2,
where
Ci
{c E A + B : an(C) E a7r(B)}
{c E A + B : 7r(c) E 7r(B) + H}
and
C2
IA+BI-IC1I+IC21
We shall estimate the cardinalities of the sets C1 and C2. Since
120
for i - 0, 1, ... , t- I, it follows (by the same argument used to derive (4.17)) that
ICiI
I{cEA+B:lr(c)EJr(B)+H}I
> +I{7r(c)E7r(A+B):7r(c)E7r(B)+H}I
= Z+I,r(B)+HI
t+Ia,r(B)IIHI
r - Ia r(A+ B) \ a7r(B)I.
It follows from (4.18) that
a,r(A+B)I - Ia7r(A)I+Ia7r(B)I - I
and so
r - Ia r(A)I - 1.
Choose ci , ... , Cr E C2 such that
I(7r(ai)+H)n,r(A)I
17r(ai)+HI+17r(A)I - I(7r(ai)+H)Uir(A)I
IHI+17r(A)I-I,r(A)+HI
and
121
and so
- E I{c E
IC21
A + B : a7r(c) - o7r(c,)}I
i-I
r(IHI +17r(A)I+17r(B)I -17r(A+B)l - 1).
IA+BI
ICII+IC21
< IA+BI
<
I71(A)I + 171(B)I + e - 2,
and so
(r - 1)(17C(A)I + I7r(B)I - 17r(A + B)I) -< r - 2.
By (4.17), we have
17r(A + B)I <- 17r(A)I + 17r(B)I - 2,
and so
2(r-1)<r-2.
Therefore,
r - Io7r(A)I - I - 0.
Then o7r(A) - H in Gill since 0 E A, and so 7r(A) C H, that is,
a, =0 (modd)
for every a, E A. Since (a1....,ak_I) - 1, we must have d - 1, hence H Z/ak -1 Z - G and
7r(A+B)-7r(A+B)+H-Z/ak_IZ.
122
Suppose that S = 0. Then the congruence classes tr(ao + b,) are pairwise distinct
it follows that there are at least two distinct integers in A + B that belong to each of
the e - 2 congruence classes n (ao + bi) f o r i - 1, ... , e - 2, that there are at least
and there is at least
three distinct integers in A + B in the congruence class
one integer in A + B in each of the remaining ak_I - e + I congruence classes.
Therefore,
Theorem 4.7 Let k, e > 2, and let A - {ao, a, , ... , ak_ I } and B - {bo, b, , ... ,
bt_, } be nonempty, finite sets of integers such that
0 - ao < a, <
< ak_,
be-, 5 ak-1,
and
(a,,...,ak-I,bi,...,bt_,)= 1.
Let
S=
(0
t
if
if
(4.19)
and let
m = min(k, e - S).
Then
(4.20)
Proof. If (a, , ... , ak _,) - 1, then inequality (4.20) follows immediately form
Theorem 4.6.
Let
d = (a,,...,ak-,) > 2.
123
B,-{beB:b-i (modd)}
and let
ei-IB,I-I[0,ak_1-1]nB;I+S;,
where Si - 0 for i 0 and So - S. Then Bo f 0 since 0 E B. Let s denote the
number of nonempty sets B,, or, equivalently, the number of congruence classes
modulo d that contain at least one element of B. Then (4.19) implies that Bi 0
for some i f 0, and so 2 < s < d. If C E A + Bi, then c - i (mod d), and so
the sumsets A + B; are pairwise disjoint. Moreover,
d-1
A+B - U(A+B;).
e, R
It follows that
IA+BI
d-1
IA+Bil
e, R
d-1
>
(k + ti - 1)
e, R
s(k-1)+e
> 2k+e-2
> k+e+m-2
>
min(ak _ 1 + e, k + e + m - 2).
IA+BI-k+e-I+b<k+e+m-3,
then A and B are subsets of arithmetic progressions of length at most k + b with
the same common difference.
124
Proof. Let A - {ao, a, , ... , ak_) } and B - {bo, b1, ... , bi_, }, where
< bt_,,
and let
d - (at - ao, a2 - ao,...,ak_, - ao,b, - bo,...,bk_, - bo).
Let
fori-0,1,...,k-I
'
and
forj-0,1,...,t-l.
Let
A(N) - f a(iN): i
-Q, I,...,k- I}
and
Then
min(A(N)) - min(B(N)) - 0
and
(a(N),
.. I t-1) - 1.
l-1 - k-1
The sets A(N) and B(N) are constructed from A and B, respectively, by affine
transformations, and
or, equivalently.
br_ <a,((Ni <JA(N)+B(N)j
-e-k-1+b.
Ac {ao+xd:x-0,...,a,Ni} c {ao+xd:x-0,...,k-I+b}.
Similarly,
Bc{bo+yd:y-0,...,b(N)}c{bo+yd:y-0,...,k-I+b}.
This completes the proof.
125
Theorem 4.9 Let k, t > 2, and let A - {ao, a, , ... , ak_, } and B = {bo, b, , ... ,
b_1 } be nonempty, finite sets of integers such that
<
0 - ao < a, <
ak_,,
0-bo<b,
ak-1,
be-,
d-(a,,...,ak_,)> 1,
and
(a,,...,ak-1,b,,...,be_,) - 1.
Let
8- (0
I
If
if
if
ak_, <k+Z-S-2,
(4.21)
then
IA+BI>ak_,+P.
Proof. Since d divides a; f o r all i - 1, ... , k - 1, we have
(4.22)
BC[0,ak-,-1+31,
it follows that
C -IBI <
sak_I
+S.
< k+e-8-2
< k+ sak-1 - 2,
d
and so
d(k - 1)(d - s) < ak_,(d - s) < d(k - 2).
It follows that
s -d,
that is, B intersects every congruence class modulo d. Let
B;-{bEB:b-i (modd)}
126
and let
I[O,ak_) - l]nBiI+Si
ak-1
1[0,ak-1-1]\BI+Si
Therefore,
(4.23)
min(adl,k+ei-1,
fori-O,1,...,d-1.
A(N)-(a aEA}
ld
and let
B'(N)- (b-b1.0
:bE B}.
d
Since the elements of A(N) are relatively prime, and since
JJJJJJ
B,N))
max (A(N) U
- ak-1
d '
IA(N)+ Bi(N)I
>
+ L.
Since the sets A + Bi are pairwise disjoint for i - 0, 1, ... , d - 1, and A U B Ud-0 (A + Bi ), we have
d-I
IA+BI
- EIA+BiI
i-0
d-1
> E 1 a I +ei
1.0
ak_I +e.
4.4
127
Let G be an abelian group, written additively, and let A c G. The set A is a basis
of order h for G if hA - G.
Theorem 4.10 Let G be a finite abelian group, and let A be a nonempty subset of
G. Let G' be the subgroup of G generated by A. Then A is a basis for G' of order
at most
max 2,
21 G" 1
1
IAI
Proof Without loss of generality we can assume that G' - G. Since h(A (go)) - hA - {hgo} for any go E G, it follows that hA - G if and only if
h(A - (go)) - G, and so we can assume that 0 E A.
Since A generates G and G is finite and abelian, it follows that A is a basis for
G of some finite order. Let h be the smallest positive integer such that hA - G. If
h - I or 2, we are done. Suppose that
h>3.
Then
Let Hh_2 - H((h - 2)A) be the stabilizer of (h - 2)A. Then Hh_2 is the largest
subgroup of G such that
Ifr-1,then
A + Hh_2 - Hh_2.
Since Hh_2 is a subgroup, it follows that
G-hAcHh_29G,
(4.24)
128
and so Hh-2 - G. This implies that (h - 2)A - G, which contradicts the minimality
of h. Therefore,
r>2.
By Theorem 4.5 and (4.24), we have
1(h - 2)AI
>
((h - 2) -
h-3
r
r iHh-z
((h_2)___)lAI
((h_2)___)AI
-
h-1
JAI,
and so
(--)
IAI.
G -UG
n-1
Let A be a subset of G, and define A - A f1 G,,. Then A - U00I An. The set A is
called a a-basis of order h for G with respect to the sequence {Gn} if hA - Gn
for n - 1, 2, .... Clearly, every a-basis of order h for G is a basis of order h for
G. The converse is not true (see Exercise 11.)
Let G - U,'I Gn be a a-finite abelian group, and let A be a subset of G. Let
A - A f1 G,,. The upper asymptotic density of the set A is defined by
du(A) = lim su p
IGnl
129
dv(A)
Proof. Let A - A n G,,, and let G;, be the subgroup generated by An for
n - 1, 2, .. .. Then
and
AnG,,-An(G;,nG,,)-(AnG,,)nG,,-AnnG,,-An.
If g E G', then g is generated by some finite subset of A. Since this finite subset
belongs to An for some n, it follows that g E G and so
00
G-U G;,.
R-1
Thus, the group G' is a or -finite with respect to the sequence {G,,
G,,). Let
and
Ic>(A) - lim su p
dU
n-.oo
1& 1
IGnI
A
IGnI
0<e<d"(A).
It follows from the definition of upper asymptotic density that there exists an
infinite sequence n 1 < n2 < .
IA An,
II
G;,,
G,
R"
gEhit,,, ChA
130
G
2I
IA,,,I
l<
max 2,
I
( d1(A)-s
Therefore,
hA - G'
for some
2
Since this is true for all sufficiently small positive e, it follows that A is a basis of
order h for G, where
h < max (2.
du (A)
< max 2,
du
)(A)
1l
4.5
Notes
The proof of Kneser's theorem (76) for abelian groups in Section 4.2 follows
Kemperman [74]. Mann [84) gives a condensed proof of this result.
If A and B be nonempty, finite subsets of an abelian group such that IA + B I <
A I + J BI, then (A, B) is called a critical pair. Vosper (Theorem 2.7) classified the
critical pairs in the finite cyclic groups Z/pZ, where p is a prime number. It is an
open problem to classify the critical pairs of subsets of an arbitrary abelian group.
Important partial results are due to Kemperman [74], who used Kneser's addition
theorem for abelian groups to study this problem, and to Hamidoune [65, 661, who
used graph theory.
There are a few results about critical pairs in nonabelian groups. Diderrich [30]
extended Kneser's theorem to certain special pairs of subsets of nonabelian groups.
Hamidoune [621 showed that Diderrich's result followed from Kneser's theorem.
Brailovsky and Freiman [12] completely classified the critical pairs in arbitrary
torsion-free groups. Hamidoune [63) found a short proof of a theorem that includes
the Brailovsky-Freiman result as a special case.
The results in Section 4.3 on inverse theorem for sumsets of the form A + B
were originally obtained by Freiman [52]. Another version of Freiman's proof is
due to Steinig [ 1211. The proofs in this chapter use Kneser's theorem and are due
to Lev and Smeliansky [81]. Similar proofs were obtained by Hamidoune [64].
Theorem 4.9 has been applied recently to different problems in number theory,
for example, the structure theory of sum-free sets (see Deshouillers, Freiman, S6s,
and Temkin [26] and Freiman [57]).
4.6 Exercises
131
Lev [80] also used Kneser's theorem to prove that if A e (ao, a,.....a1 } is a
finite set of integers in normal form, then
case of the a-finite group Fq[x] of polynomials over a finite field. Hamidoune
and Rodseth [68] prove their theorem for a-finite groups that are not necessarily
abelian.
4.6
Exercises
3. Let G be an abelian group, and let A,, A2, ..., Ar, be finite, nonempty
subsets of G. Prove that if A I +
S/H-{s+HIsES}cG/H.
Let A and B be subsets of G. and let H - H(A + B). Prove that either
IA+BI > IAI+IBI or
I(A+B)/HI -IA/HI+IB/HI - I.
5. Prove that Theorem 4.1 implies the Cauchy-Davenport theorem.
6. Prove that Kneser's theorem (Theorem 4.2) implies Chowla's theorem (Theorem 2.1).
holds for all finite, nonempty subsets A, B of G. Show that this implies
Kneser's theorem (Theorem 4.2).
132
IA+BI <k+f+min(k,f)-4,
then A and B are subsets of arithmetic progressions of length at most IA +
BI - min(k, l)+ I and with the same common difference.
IAI
This example shows that the upper bound in Theorem 4.10 is best possible.
11. Let q be a power of the prime p, and let G - Fq[x] denote the ring of
polynomials with coefficients in the finite field Fq. Let G,, be the subgroup
of Fq[x] consisting of all polynomials f of degree at most n. Then Fq[x] U,_, G,,. Choose N > 2, and let
h-m-i-
-1.
du(A)
This example shows that the upper bound in Theorem 4.11 is best possible.
13. Prove that there exists a basis A of order 2 for Z such that every integer has
a unique representation as the sum of two elements of A.
for 1 < i < j < k. Choose n so that n a; + aj and Inl is minimal. Let
ak+, - n + b and ak+2 - -b. Then n - (n + b) - b - ak,, + ak+2. Show that
it is possible to choose b so large that the (k + 2)(k + 3)/2 sums a; + aj are
5
Sums of vectors in Euclidean space
5.1
The "philosophy" of inverse problems is that if a finite set A has a small sumset
2A, then A must have "structure." We have already obtained simple results of this
kind, for example, Theorems 1.16 and 2.7. In Chapter 8, we shall prove Freiman's
theorem, which states that if a finite set A satisfies 12A 1 < C I A . then A must have
an arithmetical structure in the sense that A is a large subset of a multi-dimensional
where I < c < 2", then a positive proportion of the elements of A must lie
on a hyperplane, or, equivalently, A is a subset of a bounded number of parallel
hyperplanes. This result is independent of Freiman's theorem and, indeed, played
an essential role in the original proof of that theorem.
Let n > 2, and let V be an n-dimensional Euclidean space with inner product
, ). Let h be a nonzero vector in V, and let y E R. The hyperplane H defined
by h and y is the set
H- {V E V I (h, v) - y}.
The vector h is called a normal vector to the hyperplane H. Let A be a finite subset
of V. Denote the cardinality of A by IA1. The h fold sumset hA is the set
I <c<2".
134
There exist constants ko - ko(n, c) and so* - eo(n, c) > 0 such that, if A is a finite
subset of an n-dimensional Euclidean space V and if A satisfies
IAI->ko
and
12A1 <cIAI,
Theorem 5.2 Let n > 2, and let V be an n-dimensional Euclidean space. Let
h > 2. For any numbers ko and so > 0, there exists a finite subset A of V such that
IAI>>-ko
and
IA n HI -< eolAI
u - F j u,ei and v -
t>maxIk,eo'1
Let
n
A- EvieiEVlviE{0,1,...,t-1}fori-1,2,...,n
iThen
hA-I>vieiEVIviE{0,1,...,ht-h}fori-1,2,...,n
Therefore,
135
Let h - !,_1 hiei 710 and let y E R. Let H be the hyperplane defined by h and y.
Then h; 7t 0 for some j. If v - F,".1 vie; E A fl H, then Li.1 hi v1 - y, and the
integer v; is uniquely determined by the n - 1 integers v i , . . . , vJ_ 1, vJ+1.... , v,,.
5.2
Let n > 2, and let V be an n-dimensional Euclidean space with inner product
( , ). Let h be a nonzero vector in V. and let y E R. Define H, H(+'), and H(-')
as follows:
HH(+')
H(-')
IV EV I (h,v)-y}
IV E V I (h, v) > y)
IV EV I (h,v)<y}.
The sets H(+') and H(-') are, respectively, the upper and lower open half-spaces
determined by H. The vector h is called a normal vector to the hyperplane H. If
0 E H. then H is an (n - 1)-dimensional subspace of V. Note that 0 E H if and
only if y - 0.
The set K in R" is convex if a, b E K implies that to + (1 - t)b E K for all
t E [0, 1 ]. The sets H, H("), and H(-') are convex. For any subset Sofa Euclidean
space V, the convex hull of S, denoted conv(S), is the smallest convex subset of V
that contains S. Since the intersection of convex sets is convex, it follows that the
convex hull of S is the intersection of all convex sets containing S. This intersection
is nonempty since the Euclidean space V is convex and contains S.
Let H1, ... , H. be hyperplanes, and let H' - U 1 Hi. Let (1, -1 }m denote
the set of all m-tuples ( 1 , ... , m) such that i E ( 1 , -1 ) f o r i - 1, ... , m. For
E (1, -1 }m, let
(Iz1,...
-n (w
Hi
m
m)
i-
V \ H' -
136
Hi-IVEVI(hi,v)-0}
for i - I, ... , m. Suppose that H1, ... , Hm are linearly independent hyperplanes.
Then the vectors h 1, ... , hm are independent, and there exists a dual set of vectors
(hr,hi)-s,.
l if i - j
- 0ifi7(j
v - Eih! E V.
I-1
Then
(hi, v)->i(hi.hi)-tLi
i-1
and so
VE
E_1a;h;-0. Define
( +1
-1
if ai > 0
if ai < 0.
ai(hi, v) > 0
It follows that
m
0- (0, v)-
(aaht.v -Eai(hi,v)>0,
r-1
.-1
137
dim
(flH);
-n-r.
In particular, if r - n, then
n
n Hi - (0).
Proof. Let h, , ... , hr be normal vectors for the hyperplanes Hl, ... H, respectively. Then the set of vectors (h, , ... , hr ) is linearly independent, and (hi, v) - 0
dim(W)
>
dim(W' n HH)
> (n-r+I)+(n-1)-n
= n-r.
Therefore, dim(W)-n-r.Ifr-n, then dim(f =, H;)-0,andsof;_i Hi =(0}.
Lemma 5.3 Let V be an n-dimensional Euclidean space and let HI, .. H,,, be
hyperplanes in V such that 0 E H; for i - 1, ... , m. Let S be a subset of V such
that
SnH(,,...,k,,,)-/ 0
(5.1)
forall(tl,,...,,,,)E (1,-1)m.Then
conv(S) n
,'0.
such that
(h1,s,)-oil > 0
138
and
S-1
I S2 E conv(S).
a)
+a2
Since
a2(hI,s))
(h" S) -
a ,+a2
ac(h1,s2)
- a ,a2
a,+a2
- (11 C12
- 0,
a ,+a2
Let m > 2, and suppose that the lemma holds for m - 1. Define S(+)) and S(-))
by
S n H,(.-
m-I
s(- 1) n
H(N,))
f o r all (JAI,
m-1
H;
n,-I
m-)
con(s) n
(n H; I ,
is convex.
139
ands(-') E
Let T - {s(''), s(-0). Then
m-I
T c con(s) n n Hit ,
and so
m-i
conv(T) c con(s) n n Hi
i-i
Since T n
s c- conv(T) n H. c con(s) n
(Hi).
Lemma 5.4 Let V be an n-dimensional Euclidean space and let H1, ..., H be
hyperplanes in V such that 0 E H, for all i - 1, ... , n. Let S be a subset of V
such that
//
SnH(i,...,n)-SnlnH,ci)
i-
for all
Proof. It follows from Lemma 5.1 that the hyperplanes H1, ..., H,, are linearly
independent and so, by Lemmas 5.2 and 5.3,
n
(n Hil
f
0.
Lemma 5.5 Let V be an n-dimensional vector space, and let H1..... H be linearly independent hyperplanes in V with normal vectors h 1 , ... , h,,, respectively,
Lj -nHi
;ri
forj-l....,n.Then
V - HjLj
for j - 1, ... , n. Moreover, there exists a dual basis {h,, ... , h,, } for V such that
0I
ifi-j
if i 7Q
and Hj is the (n - 1)-dimensional subspace spanned by h,,...,hj_t, h!+,, ... ,
hn and L j is the one-dimensional subspace spanned by h*.
140
Proof. It follows from Lemma 5.2 that dim(Lj) = 1. Let fj* be a basis vector
for L. Then fi* E Lj implies that ff E H, for all i j, and so (hi, f'.) = 0 for
i
j. Moreover,
(hj,fj)=0
if and only if
fj* EHjnLj=nH,=(0},
i_1
h'
0. Therefore, (hj,
fi
0 and
ELj\Hj.
(h,, f;*)
Then (hi, h*) = Si,j for i, j = 1, ..., n, and Lj is spanned by h*. The vectors
/t" are linearly independent, since _, xjh* = 0 implies that
It
0=(h,,0)=(hi,xjhf)xj(hi,h*)=xi
l-1
j-1
for i = 1, ..., n. Moreover, (hi, h*) = 0 for all i j implies that h, E Hj for
i f j. Since Hj is a vector subspace of dimension n - 1, it follows that the set
{hi,...,h*_i,h,...... h) is a basis for H,, and V H L. This completes
the proof.
Lemma 5.6 Let V be an n -dimensional vector space, and let H1, ... , H be linearly independent hyperplanes in V with 0 E H i f o r i = 1, ... , n. Let Qi = Hi n H,,
-i
L,, =nH1,
i_1
V = H,, L,.
Let (tt 1, ... ,
E (1, - I
and let V E V. If
,1
uEnHi')
then
,r(u) E n Qlu,)
i_i
141
H,")
Sn
for all (,. ....
-l, then
E (1,
0 E Conv(ir(S)).
then
ah, E Conv(S)
for some a > 0.
(h,, , h; )
h,
(h,
Since 1:1, ... , h,, are linearly independent vectors, it follows that the vectors
are linearly independent. Moreover, (h,,, qi) - 0, and so qi E H,,
q,, ... ,
fori-1,...,n-1.
By Lemma 5.5, there is a basis vector h, for L,, such that (hi, h,) - 8i,,,. If
v E V, then
v - 7r (v) +rp(v)hn*,
(hi,'r(v))
(hi, 7r(v))
(hi, v) - rp(v)(h;, h,*)
(hi, v)
VEnN(`')
i-i
if and only if
7r (V) E
Q0.,).
i
142
If
n
-i
Sn nHw,>
710
i-1
E ( 1, -1)"-', then
for all ( i ,
n -1
7r (s) n
for a11(
QcUO
) f gg
J
E (1,
0 E convOr(S)).
This means that there exist vectors sl, ... , sk E S with the property that
a - E amsi )iThen
k
aisi If S c
then
(h
for all i - 1, ..., k, and so a > 0 and ahn E conv(S). This completes the proof.
5.3
Blocks
B(eo;ei,....en)-
{eo+t xiei
A subset B of V is a blockI
if B
-1 <xi < 1
for
- 1,...,n}.
5.3 Blocks
143
vert(B)-{eo+;e; I
(1-t
ll
i-1
eo+jej+
xie;
xiERfor i1j
x;>I
-1 <x; < l
x; < -I
ifx;-+1
if X; -0
if A; --1.
Let F* - U,_, Uf,,_1 Fj,N,. Then V\F' is the disjoint union of the 3" open
convex sets D(,11, ... ,
In particular,
For example, in the vector space V - R2, let el - (4, 1), e2 - (2, -2), and
B - B(0; ei, e2). Then
Fi.-i
D(-1, 1)
D(0, 1)
144
a=f+(a-f).
The reflection of a through f is the vector
2f - a = f - (a - f).
For example, if f = (3, 2) and a = (4, 1), then the reflection of a through f is the
vector 2f - a = (2, 3), as shown in the following diagram:
(2, 3) = 2f - a
(3,2)= f
(4, 1)=a
{2f}-S={2f-sISES}.
Let fo, f,, ... ,
S = {f},
S
,+f,},
and so on. For example, in the vector space V - R2, let fo = (0, 0), f, = (4, 1),
and f2 = (6, -1). Then
S2
S1
So
{i6, -1)),
((2,3),(6, -1)},
{f(2, 3), f(6, -1)},
5.3 Blocks
145
Sn9Sn_1C...CSo
be the sequence of sets constructed inductively by setting Sn - {f,, } and
E {1,i.1
Let B - conv(So). I f the vectors fl, ... , fn are linearly independent, then
Sk
- {fk}+{ E /Lief i E
ll
-k+1,k+2,...,n}
-1)
i-k+1
- {fk_l}+{ek}+
JJJ
Itt1Liei tciE{1,-1}fori-k+1,k+2,...,n
i-k+I
(2fk_i) - Sk
- {2fk-I-fk}-
iieiliE{1,-1}fori-k+1,...,n
irk+I
n
{fk_I}+{-ek}+{
1111
1Liei
-k+1....,n}.
/L.iE11,
k+I
It follows that
Sk-1
Sk U ({2fk_1} - Sk)
{fk_1}+ ElLiei I
i-k
E11,
for
-k,...,n
146
Etiei I(ul,...,uE
So-
i-1
JJJ
If {f,..., f,,} is a basis for V, then {e1..... e } is also a basis for V, and
Ski -
2,.-k
conv(S0)- B(0;el,...,e")- B
and
vert(B) - So.
Lemma 5.8 Let V be an n-dimensional Euclidean space, let Hl,..., H" be hyperplanes in V, and let { fo, f, , ... , f,,) c V, with fo - 0. If
fi E H1
forl<j<i<n,
then the vectors fl, ... in are linearly independent. Let S,, c S"_ 1 C ... c So be
the sequence o f finite subsets o f V constructed inductively fr o m { fo, fl, ... , f }
Sk c n H(+')
j-1
SoflH(ti1,...,")f0
for all ( 1, ... , ") E (1, -1)", and the hyperplanes H1, ... , If,, are linearly
independent. Lets E So fl H(1, ... ,
and
S E Sk\Sk+1 if and
fk->2X,f
for some k > I and x1, ... , xk_, E R. Since {f), ... fk_, } c Hk and the
hyperplane Hk is a subspace (since 0 - fo E Hk), it follows that fk E Hk, which
5.3 Blocks
147
2"-k
fork-0,1,...,n.
We shall show by induction on k that
SknH(1,...,1,k+l,...,,,) 7/0
(5.2)
S,, nH(l....,1)10.
Suppose that (5.2) holds f o r some k E (I , ... , n). For every (k+1..... ") E
{ 1, _1)"-k, there exists
it
sESknH(+') n n
W``'>).
I
j-k+I
it follows that
l
((2fk-I)-Sk)nH,-'>nn
-k+I
nk-'
it follows that
Sk _, n H(1, .
1, k , uk+1,
1..k,
f0
, !fin )
(j1
sonH(1..... n)-/ 0
for all (, , ... , A,,) E ( 1, -1)" , and so, by Lemma 5.1, the hyperplanes H, , ... , H,,
are linearly independent in V.
1 0 for every k -
0, 1 , ... , n and every (k+I, ... , U,,) E (1, -1)", it follows that
148
E { 1,
Since each of the 2"
for every k - 0, t, ... , n and (k+1,
.
contains exactly one element of So, it follows that if
sets H(1, ... ,
s E So n H(121, ..., n)
and i -I for i - I..... k, then s r= Sk. If k+1 --I, then s It Sk+I. Thus
son 11(1..... 1,
Sk\Sk+l
2"-k-1
it follows that
Son H(1.....
This completes the proof.
Lemma 5.9 Let the n-dimensional vector space V, the hyperplanes H1, ... , Hn
and the set F - (fo, fl, ... , !n_1) satisfy the conditions of Lemma 5.8. For a E
11(1,..., 1), let (Sk (a) ) k,-0 be the sequence of subsets of V constructed inductively
Proof. Let a f a'. Then Sn(a) - {a), Sn(a') - (a'), and so S"(a) n Sn(a) - 0.
Suppose that so(a) n So(a') f 0. Let k be the greatest integer such that Sk(a) n
Sk(a') f 0. Then 0 < k < n - 1. Choose
S E S*(a) n Sk(a').
Then
s
If s if Sk+I(a), then
S E H(l,...,
and so, again by Lemma 5.8,
S E Sk(a')\S*+l(a') - (2fk) - Sk+1(a').
Therefore, there exist vectors V E Sk+1(a) and V' E Sk+1(a) such that
s-2fk-v-2fk-v',
and so
5.3 Blocks
149
Lemma 5.10 Let (e1, ... e } be a basis for the n-dimensional vector space V.
Consider the block B - B(0; ei, ... ,
Let u, V E V. If
0 E B(u;el,...,en) - B + Jul,
then
0 E B+{tu}
for all t E [0, 11. If
(B+{u})n(B+(v)) f0,
then
u;+x; -v;+y;
for i - I, ..., n. Then
to
i-1
150
Theorem 5.3 Let V be an n-dimensional vector space, let Hl,..., Hn be hyperplanes in V, and let { fo, fl, ... , f,,-,) g V. Suppose that fo - 0 and
for0<i<j<n
f EHj
forl<j<i<n-1.
f EH(+1)
Let A be a finite subset of H(1, ... , 1). To each a E A,,, let So(a) be the set
constructed inductively from { fo, f1, ... , fn-1, a} by letting Sn(a) - (a) and
Sk-I(a) - Sk(a) U
({2fk_1} - Sk(a))
Sk(a) c n H;+,)
j-1
for k - I, ..., n and all a E A. Then there exists a vector a' E An such that
So(a) fl B(a') 7ts
U So(a)) fl B(a')
\aEA
? IA,,I-
it follows that the set {e1, ... , en_I } is a basis for Hn. Moreover,
B - B(0;e1,...,en_1)
and
en(a)) - U (B + te,(a))
/E1-1.1)
vert(B(a)) -
It
+A .e,,(a)I (p
....,")E11,-1}"}-So(a)
5.3 Blocks
151
and
So ")(a)
E {1,
i-
Then
Sa+')(a) - vert(B) + (en(a)},
and so
Similarly,
cony (S,
Let h. , ... , h be normal vectors to the hyperplanes H1, ... , Hn, respectively.
Let L - n,,--,, Hi, and let h, be the dual basis vector for Ln such that (hi, h,*,) - 0
if i f n and (h,,, h') - 1. Let 7r : V -> H be the projection corresponding to the
direct sum decomposition
V - HnLn.
Let a E An S H,(,+'). Since fn_1 E Hn, it follows that en(a) - a - f,,_1 E
and so en(a) can be written uniquely in the form
By Lemma 5.8,
1,+1)-So+')(a)n
-II
y10
7r(conv(SS+')(a)))
7r(B+en(a))
- B +7r(en(a))
for all a E An. Since the set An is finite, we can choose a* E An such that
rp(a') - max{rp(a) I a E An I.
152
B + 7r
(ten(a*)).
Then
0 E (B+7r(en(a))) n (B+ttr(en(a'))) f 0
and so, by Lemma 5.10,
,'0.
such that
n-i
E B +7r(ten(a')).
IL;e;
Then
n-I
n-1
and
n-1
c B(a').
;e; +en(a) E
This proves that for all a E An
S7')(a) n B(a`) f 0
and so
So(a) n B(a') 1 0.
By Lemma 5.9, if a, a' E An and a f a', then So(a) n So(a') - 0. This implies that
U So(a))
\aEA
a, +a2
mid(A1,A2)-
Iai EA1,a2EA21.
153
mid(A)-ta2a Ia,a'EA}
and
I2A I - Imid(A)I.
wJ -eo+Exijei E W c int(B)
and
giiei E vert(B).
bi - eo +
i-1
wl+bl
w2+b2
2
then
'
II
(xi2 + Ai2)ei,
i-I
i-I
and so
xil -X2=12i2-Ail
for i = 1, ..., n. Since
-2<xil-xi2<2
and
xil-xi2=hi2-Ail=0
for i = 1, ... , n, and so wl = w2 and bl - b2. Therefore,
I mid(W, vert(B)) I = I W I Ivert(B)I = 2" I W I.
154
Lemma 5.12 Let n > 2 and 1 < c < 2". Define so - eo(n, c) > 0 and k' k'(n, c) by
2" - c
60-
4n(3"c+2nc+ 1)(4c)2"-'
and
k' - k*(n, c) -
(4c)2-1.
JAI>k',
12A1 <-cIAJ,
and
IA n HI < soIAI
12W1 <(c-so)IWI.
Proof. We defined
for any set W C V. and so Imid(W) l - 12W1. Let rw (u) denote the number of sets
(WI - W2) C W such that (w, + w2)/2 - v. Then
1W1(I21+1)
1212
rw(v)
vEmid(w)
<
Let A C V satisfy the three conditions of the lemma. We shall prove by induction
(4)
E V with
155
Then
k02
<
r,4o(v)
vemid(Ao)
<
rAo(fo)jmid(Ao)I
rAo(fo)I2AoI
<
rAo(fo)Cko,
and so
rAo(f0) > ko
I(w,, w2) n
w,, w2) n
H(_,)I
- 1.
Let
A,-{wEAoIwEH(+i)
and 2fo-wEAo}.
Then
A, c Ao n H(+') C H(+')
and
Al U (12fo) - A,) S A.
Since IAo n H, I < eoko and
1
EO <
4c,
it follows that
k, -IAAI
rA0(fo)-IAonH,I
> 2 - coko
ko
4c
156
m
H`+I)
mid(Am) C n
i-
Choose
Then
((4C)2"_1)2
< 2
< rA_(fm)Imid(Am)I
5 rA.(fm)I
rA., (fm )CkO,
and so
2ko
rA..(fm) >
)2
{fo.fl,...,fm}C Hm+1.
Let
Am+l - 1W E Am I W E Hm+1 and 2 fm - W E Am }.
Then
m+1
nH'(+1)
Am+1 C A. n Hm+1, C
i-
and
EO <
(4c)2'+'- 1
it follows that
km+1
IAm+1 l
>
(4c)2 "_1
2k0
ko
EOkO
157
Thus, the hyperplanes HI,..., H..,,, the vectors fo, fl,..., fm, and the sets
A,_., Am+1 satisfy conditions (i) -(vi) . This completes the induction.
Let a E An. Construct sets
S.(a)CSn-1(a)C...CSo(a)CA
by setting S. (a) - (a) and
Sm(a) C A. C n Hi(+
i-1
S.(a)-{a}C
AnCnH(+1)
i-I
Suppose that
m+I
Sm+1(a) C Am+l C
Hi
+n
and so
Sm(a) - Sm+1(a) U (12f.) - Sm+1(a)) C A. C n H(+
.fo, fl,..., f.-I, the set A. C H(1, ... , 1), and the sets
IAnB(a')j
IA,I
k
>
ko
(4c)2'_I.
158
The block B(a') determines the 2n facial hyperplanes F1,,,,. where j - 1, ... , n
and tLj E It, -1j. Let
"
F' - U U
!-1
so < 4n(4C)21-1'
it follows that
IAnF'I <2neoko,
and so
I Wol
IA n int(B(a'))I
> IAnB(a')I-IAnF'I
ko
- 2nsoko
(4c)2"-1
ko
2(4c)2"-1
Since
vert(B(a')) - So(a') a A,
it follows from Lemma 5.11 that
mid(Wo, So(a')) -{ w2 s
I W E Wo, S E So(a*))
int(B(a')) n mid(A)
and
Imid(Wo, So(a' )) I
- 2" I Wo I .
The 2n facial hyperplanes Fj.,,, partition V \ F' into 3" pairwise disjoint open
where (A1.... , A,,) E (0, 1, -1)" and
convex sets
D(0..... 0) - int(B(a')).
Then
Wo-Anint(B(a'))-AnD(0,...,0)
and
A n D(A1,...,An),
159
where (11, ... , )") E 10, 1, -1)" and (A 1, ... , A,,) 71 (0, ... , 0). Since the sets
D(,11...... L") are convex, it follows that
mid(Wi) n mid(WW) - 0
,3"-1.
fori-1,
We shall prove that there exists i E 11, 2, ..., 3" - 1) such that the set W1
satisfies the conditions
IWiI?EOIAI - sko
and
cko
>_
12A1
Imid(A)I
Y-I
>
Y-I
> 2"IWoI+cEIW;I-3"csoko-EOko
i-I
3"-1
i-O
(2" - c)ko
2(4c)2^-1
and so
2" - c
80
> 2(3"c+2nc+
160
2" - c
eo - eo(n,c)
4n(3"c+2nc+ 1)(4c)2"-l
be the positive real number defined in Lemma 5.12. Let t = t(n, c) be the unique
positive integer such that
<t.
t-1 < c-I
eo
Let
r
e0r = E0,
k' - k*(n, c) =
ko = ko(n,c) = eo'k'.
eo(n, c) < eo(n, c')
k*(n, c) > k*(n, c').
Let A be a subset of V such that
Al I> ko > ko
and
Suppose that
IWI?eoIAl?eoku=eo"
i)k.>k*
and
12W1 <(c-Eo)IWI.
Moreover, for every hyperplane H in V,
j-1A, 9Ao-A
Ai-C: A'
such that
I A ''
k >k
and
IAj n HI
5
-<
<
IA n Hl
a Al
r-j IA'I
co
5 EoIA,I
eo(n, c)IA' I
< eo(n,c')IAj1.
Since
12A'I 5 (c-jco)IA'I-cIA'I,
it follows from Lemma 5.12 that there exists a set A'+i a A` such that
IAj+11
Eo(n,c')IAiI
> eo(n,c)IA'I
> so*'IAI
so
ko
>
k'
and
12A'.11
-<
(c - (j + I)eo)IA'+il
1A;1>k'> 1
and
161
162
I <c<2".
There exist constants ko - k0* (n, c) and Z - (n, c) such that if A is a finite subset
of an n-dimensional Euclidean space V and if A satisfies
IAI?ko
and
A C U Hi.
Proof. By Theorem 5.1, there exists a hyperplane H in V and a number eo r,(n, c) > 0 such that IA n HI > e0* 1A1. Then H - {v E V I (h, v) = y}, where
h is a nonzero vector in V and Y E R. If a' E A, then a' lies in the hyperplane
H' = {v E V (h, v) - y'}, where (h, a') = y', and this hyperplane is parallel
to H. Let H H1, H2, ... , He be a set of pairwise disjoint hyperplanes, each
parallel to H, such that A n Hi 0 for i - 1, ... , f and
t
AcUH;.
Let
H ; - (v E V I (h, v) = y; ).
IfbEai+(AnH),then (h,b)-y;+y,andso
(a; +(AnH))n(af+(A11H))=0
5.6 Exercises
163
PeoIAI <
and so
e<C
eo
5.5
Notes
It is not known if there exists a S > 0 such that Theorem 5.1 remains true if the
condition 2J A I < c I A J is replaced by the condition 21A1 < cj A I'*a. Nor is it known
5.6 Exercises
1. Let H be a hyperplane, and let v E H. Prove that H - v is a subspace of
dimension n - 1.
2. Let h, and h2 be normal vectors to a hyperplane H. Prove that h, = Oh2 for
some 8 0.
some 0ER,0f0.
4. Let H - {v E V I (h, v) - y} be a hyperplane with normal vector h. Prove
that h is perpendicular to every vector lying in H.
164
9. In the vector space V - R2, let h - (3, 1) and h2 - (1, 2). Let HI - {v E
V I (h,, v) - 5) and H2 - {v E V (h2, v) = 4}. Graph the hyperplanes Ht
and H2, and label the four convex sets H(1, 1).
10. In the vector space V - R2, let fo - (0, 0), f, - (1, 2), and f2 - (3, 1). Let
S2
(.f2),
S1
So
- S1U({2fo}-SI).
Graph the block B - conv(S0), indicate the points in vert(B), draw the four
facial hyperplanes F1 f, and F2.t,, and label the nine regions D(;L,, )L2) for
(11, A2) E {0, 1}2.
11.
In the vector space V - R3, let e, - (4, 0, 0), e2 - (0, 3, 0), and e3 (1, 1, 1). Sketch the block B(0; el, e2, e3). Find (XI, A2. A3) E (0, 1)3 such
that (3, 4, -2) E D(41, A2, 43)-
12. In the vector space V - R3, let h, - (1, 0, 0), h2 - (-1, 1, 0), and h3 (1, 2, 0). Consider the three hyperplanes
Ht
H2
H3
{v E V I (hl, v) - 1},
{v E V (h2, v) - 2),
{v E V I (h3, v) - -2).
Prove that H,, H2, and H3 are not linearly independent, and find all triples
(A I, 2, 3) E 11)3 such that H( l, {b2, k3) - 0-
16. Let A be a finite subset of the vector space V. Prove that if Al I> 1, then
12AI > JAI.
5.6 Exercises
165
17. Let A be a finite subset of the vector space V. Prove that 12AI > 21A1 - 1.
k*A-{kaIaEA}.
Prove that h(k*A)-k*(hA)and
conv(hA) - h * conv(A) - hconv(A).
19. Let A be a finite subset of a real vector space, and let IAI - k. Prove that
JhAj - i + 0(h'-).
r.
21. Let V be the set of integer lattice points in R", and let A be a finite subset
of Z" with 0 E A. Prove that there exists a constant c - c(A) such that
IhAI<ch"+O(h"-I)
22. Let A be a finite subset of Z" such that 0 E A and A contains n linearly
independent vectors. Prove that there exist constants cl - cl (A) > 0 and
c2 = c2(A) > 0 such that
c,h" +
+ 0(h')-').
23. Let A - (ao, a,_., ak _ I } be a finite subset of a vector space. The afne
dimension of A is the maximum number of linearly independent vectors in
the set (a I -ao, ... , ak _ I -ao }. Prove that if A c Z" and the affine dimension
of A is r, then there exist constants cl - cl (A) > 0 and c2 - c2(A) > 0 such
that
6
Geometry of numbers
6.1
= (1,0,0,0,...,0)
168
6. Geometry of numbers
e2
e"
- (0,0,0.0,1).
(0, 1,0,0,...,0)
The integer lattice Z" is the lattice with basis {e1..... e" I. The elements of Z" are
The closure of the set X in R" will be denoted X. For X E R", let B(x, e) denote
the open ball with center x and radius s > 0. A group G in R" is discrete if there
vectors contained in A. Then there exists a basis (a1, ... , an }for A such that each
of the vectors bi is of the form
bi -
i
vi.iai,
be a basis for the lattice A, and let T : R" -> R" be the linear transformation
defined by T (ai) - e; fori - 1, ... , n. Then T is an isomorphism, and T (A) - V.
Let U - T-'(B(0, 1)). Since T is continuous, U is an open set in R", and so there
exists s > 0 such that
0EB(O,s)cU.
If u B(O, e) n A, then
T(u) E B(0, 1) n Z",
which implies that T (u) - 0; hence u - 0. Therefore, B(0, e) n A - (0).
u-u'EB(O,e)nA-(0)
and so u - u' - 0. Thus,
B(u, e) n A - (u)
for all u E A. This proves that the group A is discrete.
Conversely, let A (0) be a discrete subgroup of R" and let (bi, ... , b,} be a
maximal set of linearly independent vectors contained in A. Then I < r < n. Fix
k E (l, r}, and let Ak be the set of all vectors u E A of the form
u-xibi+-+xkbk,
169
where xk > 0 and 0 < x, < I for i - I , ... , k - 1. Note that bk E Ak, and so
At f 0. Let Ck be the set of all of the kth coordinates xk of vectors in Ak, and let
Ck,k - inf Ck. Then there exists a sequence of vectors
such that lim,.,,. xk., - ck.k. Since 0 < xi., < I for i - 1, ... , k - I and
s - 1, 2, ..., there exists a subsequence {u,) g At that converges to a vector
ak - CI.kb1 +... +Ck-l.kbk-I+ q.jbk E R".
Since A is a discrete subset of R", the sequence {u,, } is eventually constant, and
so at E Ak and Ck.k > 0. Since the vectors b1, ..., b, are linearly independent, it
follows that the vectors a1, ... , a, are also linearly independent.
Suppose that uj 1 Z for some j E [1, r]. Let k be the greatest integer such that
Uk ' Z. and let Uk - gk +Xk, where gk E Z and 0 < xk < 1. The vector
gkak + Uk+Iak+l + " + Urar
. . . .
. a,.
also belongs to A. Since aj - E; _I c;. b; for j = 1, ..., k, it follows that u' can
be written as a linear combination of the vectors b1, ... , bk in the form
u' -ujbl+...+u'k_Ibk_I+XkcL.kbk
For i - I..... k - 1, let u; - g' + xi, where g' E Z and 0 < xi < 1. Then
E A, and so
g',b1
u"
A.
Since 0 < xi < I and xkck.k > 0, it follows that u" E At, which is impossible,
because the inequality
0 < XkCk.k < Ck.k
170
6. Geometry of numbers
aj - Lci.jbi,
i-1
where c1,1 E R for j - 1..... n , i - 1..... j, and cj.j > 0. Solving these
equations for b1..... b, we obtain real numbers vi.j such that
bj -
vi,ja;
(-1
j - 1,...,n and i - 1,..., j. Also, vj_j - 1/cj,j > I for j - I,...,n. This
completes the proof.
The basis of a lattice is not uniquely determined by the lattice. For example, let
A be the lattice in Z2 generated by the vectors a, - (7, 5) and a2 - (4, 3). Since
a1, a2 E Z2, it follows that A c Z2. Conversely, since
e,-3a,-5a2EA
and
e2 - -4a1 + 7a2 E A
it follows that Z2 c A. Thus, Z2 - A, and the sets ((1, 0), (0, 1)} and ((7, 5), (4, 3)}
are distinct bases for Z2. Observe that a, - 7e, + 5e2 , a2 - 4e, + 3e2, and the
determinant
7
matrix U-1 - V - (vij) also has integer entries and det(V) - det(U) - 1. Since
UV - V U - I, where I is then x n identity matrix,
n
k-1
ifi-j
if i f j.
Let a, .... , an be a basis for the lattice A in R". We shall use the matrix U to
construct another basis for A. For j - 1, ... , n, let
a' -
uijai E A.
i-I
171
Let A' be the group in R" generated by then vectors (a,, ..., a;, }. Since a'. E A
for j - 1, ... , n, it follows that A' C A. Since V is the inverse of the matrix U,
n
uk;ak
- E vki
ujkaj
j-I
k-I
k-I
jk Vki aj
(E)u
k-I
j-1
n
E
Sjiaj
j-I
ai E A',
and so A C A'. Thus, A - A', and the vectors a,_., an and a' 1, ... , a',, are both
bases for the lattice A.
Conversely, let (a,, ... , an } and (a, , ... , a,,) be two bases for the lattice A. For
i, j - 1, ..., n, there exist integers u; j and v; j such that
/I
aj - Eu;jai
i-I
and
aj
E
k-I
n
E uikukj -aij
k-I
f o r i, j - 1, ... , n. Similarly,
n
E vikukj - sij
k-1
for i, j - 1, ... , n. Let U and V be the matrices U - (u,1) and V - (v1). Then V U-I and, since the matrix elements u,1 and v;1 are integers, det(U) - det(V) - f 1.
Thus, any two bases for a lattice A in R" are related by a unimodular matrix.
172
6. Geometry of numbers
a, = E a j e;
for j = 1, ... , n, where aid are the coordinates of at with respect to the standard
basis vectors e,, ..., e,,. The n x n matrix A = (aid) is called the matrix of the
vectors a,, ..., a,,. The vectors a,, ..., a,, are linearly independent if and only if
det(A) O.
The determinant of the lattice A, denoted det(A), plays a fundamental role in
the geometry of numbers. This determinant is defined by
det(A) _ I det(A)I,
where A is the matrix of a basis Jai, ..., a,,) for A. Then det(A) ,' 0, since a basis
for a lattice is a set of n linearly independent vectors in R". We shall prove that
det(A) is independent of the choice of basis for the lattice A.
Let (a,, ..., a } and {a'1 , ... , a',) be two bases for the lattice A, and let U - (u,1)
be the unimodular matrix such that
a' =
ui
i-i
Let
aj _
wife;
and
rr
aj =
aid e; ,
;-t
where a,f and a' f are the coordinates of a; and a1 with respect to the standard ba
(e,,
aifei
of
rr
uk f ak
k-1
,r
rr
a;ke;
ukj
k-1
;-1
(Ea'u) e,,
kf
i-I
k-I
and so
173
E aikukj
k-1
A' - AU.
It follows that
I det(A') I - I det(AU)I - I det(A) I I det(U) I - I det(A)I.
(6.1)
F(A) -
I.xia1:0<x1
<lfori-1,...,n. cR".
li-1
If aj -
vol(F(A;al,...,an))
dV
F(A:a,, ... , an)
I
J0
..
I det(a1j)I
det(A).
Thus, while the fundamental parallelepiped of a lattice is a set in R" that depends
on the choice of basis for the lattice, the volume of a fundamental parallelepiped
is independent of the choice of basis.
Theorem 63 Let A be a lattice in R", and let F(A) be the fundamental parallelepiped of A with respect to the basis (a,, ..., an ). Then every vector in R" has
a unique representation as the sum of an element in the lattice and an element in
the fundamental parallelepiped.
Proof. Let v be any vector in R". Since (a,, ... , a") is a basis for R", there exist
real numbers v, , ... , vn such that
n
v-v1a1.
!-1
u1a1
A,
1-1
n
xja1 E
i-1
F(A),
174
6. Geometry of numbers
and so
,1
v-
viai -ru1a1+1:
x1ai E A + F(A).
i-1
i-1
V-
i-1
xi ai -
ui ai +
i-1
u' ai +
i-1
X' ai
i-1
with ui, u; E Z and xi, x; E (0, 1), then the linear independence of the vectors
6.2
If a and b are vectors in R", the line segment from a to b is the set of all vectors
of the form (1 - t )a + t b, where t E (0, 1 ]. The set K in R" is convex if, for every
pair of points a, b E K, the line segment from a to b also belongs to K. A body
in R" is a bounded open set. We shall consider only nonempty convex bodies K
with finite Jordan volume, denoted vol(K). For A E R, A > 0, we define
A*K-(Aa :aEK).
Then vol(A * K) - A" vol(K).
Let r, r1, .... r,, be positive real numbers. The following are simple examples
of convex bodies in R":
(i) The ball B(0, r) consisting of all vectors (x1, ... , x,,) such that
<r2.
(ii) The ellipsoid consisting of all vectors (x1 , ... , xn) such that
2
2
x2+...+X,
r1
r"
<
(iii) The cube consisting of all vectors (x1, ... , xn) such that
max(Ix11....,
r.
(iv) The box consisting of all vectors (x1..... xn) such that
IxiI < ri
fori - 1...
n.
175
(v) The interior of the block B, denoted int(B), where a,, ... , a,, are linearly
independent vectors and
(vii) The simplex consisting of all vectors (x,, ..., x,,) such that 0 < x; < r for
i-I....,nand
x, + .. + x" < r.
The set K is symmetric if a E K implies that -a E K. If K is a symmetric convex
body and a E K, then -a E K, and so 0 - (1 /2)a + (1 /2)(-a) E K. The simplex
is not symmetric. Examples (i)-(vi) are symmetric convex bodies.
a-bEA\(0).
Proof. Fix a basis for the lattice A, and let F - F(A) be the fundamental
parallelepiped of the lattice A with respect to this basis. Then vol(F) - det(A).
Since K is bounded and A is discrete, there exist only finitely many lattice points
u E A such that K n (u + F) f 0. Since
it follows that
K - U(K n (u + F))
uEA
and
vol(K)
E vol((K - u) n F)
uEA
>
vol(F).
Theorem 6.4 (Minkowski's first theorem) Let A be a lattice in R", and let K
be a symmetric convex body in R" with volume greater than 2" det(A). Then K
contains a nonzero element of the lattice A.
176
6. Geometry of numbers
Proof. Let K' - (1/2)K. Then K' is a symmetric convex body with
vol(K') -
v2> det(A).
It follows from Lemma 6.1 that there exist vectors a', b' E K' such that a' - b' is
a nonzero element of A, and a' - a/2 and b' = b/2, where a, b E K. Since K is
symmetric, -b E K, and since K is convex,
(1 /2)a + (1 /2)(-b) - a' - b' E K.
Thus, K contains the nonzero lattice point a' - W.
Corollary 6.1 Let K be a symmetric convex body in R" with volume greater than
2". Then K contains a nonzero element of the lattice Z".
(6.3)
Proof. Since the lattice A is discrete, there exists e > 0 such that the ball B(0, e)
contains no nonzero lattice point. Since the convex body K is bounded, there exists
x -x+6'x-(1+S')xE K.
This implies that
u - A,x -
(:L;')
1SYeE 11
1+'a,
1*Kln(A\{0}),
0<
+'6' <A,.
1+31
Therefore,
(A) * K) n (A \ {0}) - 0,
177
6.3
We shall use Minkowski's First Theorem to give a simple proof of the famous
theorem of Lagrange that every nonnegative integer can be represented as the sum
of four squares. We need three simple lemmas.
Lemma 6.2 Let m be an odd, positive integer. There exist integers a and b such
that
a2 + b2 + 1 = 0 (mod m).
Proof. The proof is in three steps.
Step 1. Let m - p be an odd prime, and let
a2--b2-l+spi.
Since (2a, p) - 1, there exists an integer t such that
178
6. Geometry of numbers
(a+tpk)2
a 2 + 2atpk + t2p2k
(mod pk+t )
-b2 - I
(mod pk+1)
(mod pk+i ).
m-f ki
P;
i-i
where pi, ..., p, are distinct odd primes and ki > 1 for i - 1, ..., r. For each of
the r prime powers pk', there are integers ai, b, such that
a? + bi + 1 - 0
(mod
p,k' )
a = ai
(mod p;t' )
b = bi
(mod p )
and
Lemma 6.3 If every odd, positive integer is the sum of four squares, then every
positive integer is the sum of four squares.
Proof. If n is the sum of four squares, say,
n-a2+b2+c2+ d2,
then
179
2-r1-r2-x2
r2-.ci-.rZ
r2 -.fi
J rJ r2-.C2 -
r2-x1-.[2
- r22-xl dx4dx3dx2dxl.
Theorem 6.5 (Lagrange) Every positive integer is the sum of four squares.
Proof. By Lemma 6.3, it suffices to prove the theorem for odd integers. Let m
be an odd positive integer. By Lemma 6.2, there exist integers a and b such that
a2 + b2 + I = 0 (mod m). Let A be the lattice in R4 with basis vectors
(m, 0, 0, 0),
al
(0, m, 0, 0),
a2
a3
a4
(a, b, 1, 0),
Then A C Z4, det(A) - m2, and the lattice consists of all vectors of the form
U-
UIal +u2a2+u3a3+u4a4
(u m + u3a + u4b, u2m + u3b - u4a, u3, u4),
(uI m+u3a+u4b)2+(u2m+U3b-u4a)2+u3+u2
(u3 + u4)(a2 + b2 + I)
0
(mod m)
(mod m)
It follows from Minkowski's first theorem (Theorem 6.4) that the ball K contains
a nonzero lattice point
U - Ulal +u2a2+u3a3+u4a4
vie, + v2ee + v3e3 + v4e4,
where UI, u2, U3, U4, V1, V2, V3, V4 E Z. Since
Iu12
- v1 + u2 + v3 + v4 = 0
(mod m)
and
0<IU12-v2+v2+v3+u4<( 2m)2-2m,
it follows that
v +v2+v3+v4-m.
This completes the proof.
180
6. Geometry of numbers
6.4
For vectors x, y E R", we let d(x, y) = Ix - yJ denote the usual Euclidean distance
from x toy. For any nonempty compact set L in R" and vector x E R", the distance
from x to L is defined by
(6.4)
Let X be a fixed compact set in R", and let S2(X) be the set of all nonempty
compact subsets of X. For L1, L2 E 2(X), we define the distance between LI and
L2 by (6.4). Then S2(X) is a metric space (Exercise 22). A sequence (Li)_1 of
compact sets in 2(X) converges to L E 2(X) if and only if lim, ., d(L;, L) = 0.
The metric topology of 2(X) is used to construct some continuous functions that
will be used in the proof of Minkowski's second theorem. Let R" = V W, where
V and W are vector spaces, dim V - r, and dim W = n - r. Let 7r : R" -+ W be
the canonical projection onto W. Let X be any nonempty compact set in R", and
let X' = 7r(X) e W. The map from X' to 2(X) defined by
x'-+7r-'(x)nx
is continuous, and so the map
a:X-+Q(X)
defined by
A*K={Au:ueK}.
Then A*K=A*K.If0E KandA<A,then A*KC_*K.
Let A be a lattice in R", and let (at, .... a,,) be a basis for A. Since K is open
and 0 E K, there exists e > 0 such that
OEB(0,e)CK
181
and so
B(O,As)eA*K
for all A > 0. In particular, {a, , ... , a } C X* K for A sufficiently large. Since K is
bounded and A is discrete, there exists A > 0 sufficiently small that (A * K) fl A =
(0).
The successive minima of the convex body K with respect to the lattice A are
the real numbers X1, A2, ... , A defined as follows:
It is easy to see that 0 < A, < A2 < ... < A,,, and that the definition of A, is
equivalent to (6.2).
Because K is an open set, it follows that Ak * K contains at most k - I linearly
independent vectors in A and that Ak * K contains at least k linearly independent
vectors.
There is an equivalent way to define the successive minima and at the same time
identify a linearly independent set {b, , ... , b } of vectors in the lattice A such that
every vector u E (Ak * K) fl A is a linear combination of b,, ... , bk_,. Let
K = {(x,,
where 0 < r,, < r"_, _< ... < r2 < r, _< 1. Then ((1/r,) * K) fl v - {0} and
e, E (A * K) fl Z" for all A > l/r,; hence A, - I/r,. Similarly, Ai = 11ri for
i=2,...,n.Since
anddet(A)=1,weseethat
A, . . . A" vol(K) = 2" det(A).
This simple example shows that the following theorem is best possible.
{b1....,bk}cAk*K.
182
6. Geometry of numbers
We shall use the basis {b, , b2, ... , b } to construct a continuous map
rp : K
such that
v(K) C X,, * K.
For j = 1, ..., n, let Vj be the subspace of R" spanned by {b, , b2, ... , b_ , } and
let Wj be the subspace of R" spanned by (bj , bj+, , ..., b,,}. Then
R"=VjWj.
Let
irj:R"--W1
be the projection onto Wj. For every vector y e Wj,
it (Y)=Vj+{y}
is an affine subspace (or plane) of dimension j - 1. Let K' - 7rj (K). Then K' is
a convex body in Wj, and K1 = trj(K) is a compact convex set in Wj.
Let cj : K -> K be the continuous function that maps x E K to the center of
mass of of (x) = r 1 (trj (x)) fl K. We define the coordinate functions cij (x) by
it
cj(x) _
Ifx=Ell
c;j(x)b;.
x;b;,then
cij(x)=x; for i
= j, j+I....,n
Let tj - (,lj -
+ t,, - 1.
11
183
It
_ E(Aj -Xj-I)ECi.j(x)bi
j-I
i-1
E (Ei
j-I
i-1
I,
(x1+
(x)bi
(j-1
i-I
Let
It
(P(x)
bi + A,,xnbr,.
(6.5)
i-1
'-I
(xix;
bi +)L,,X11 At.
i-1
i = 1,...,n,andsox=x'.
The second consequence is
vol(ip(K)) - Al
A,1 vol(K).
In the special case when the functions B p i (x;, ... , x,,) are identically equal to zero
!p(x1....,xn)=A1x1b1 +...+Anxnb,,,
184
6. Geometry of numbers
and
(6.6)
Since the functions B p i (x;+1, ... , x,,) are continuous f o r i - 1, ... , no this formula
for the volume of V(K) holds in general.
The set V(K) is not necessarily convex, but it is a bounded open subset of R"
to which we can apply Lemma 6.1 of Blichfeldt. Let K' - rp(K). If
EA\(0).
Since K' - V (K), there exist vectors x1, X2 E K such that rp(xl) - x, and V(x2) -
x. Let
x1 -
Ex;.1bi
and
xi.2bi
x2 1_1
Since x, f x2, there exists k > 1 such that Xk.1 f xk.2 and xi. I - X;,2 for i - k +
1, ... , n. Recall that if x- E"_, x; b; , then the center of mass cj (xj , ... , x") E K
f o r j - 1, ... , n. Since K is a symmetric convex body,
Cj(Xj+1.I,...,X,.l)-Cj(Xj+1.2,...,Xn.2) E K,
2
and so
Zk (C j (X j+1.1, ... , x,1 1) - Cj (X j+1.2, ... , X,,.2))
EAk*K
(P(xl)-(P(x2)
2
Cj(xl) - Cj(x2)
j-1
E(Aj - A1_1)
/C1(XI) 2- Cj(x2)
j-1
1: tj Xk
2
(CJ(X')_Cj(X2)\
(ilk * K) n (A \ (0)).
j-1
185
xI - x)
2
(P(x1) - (P(x2)
2
a,
(xi.1 - xf.2)
2
+1k
(rPf(xl)
) ))
(Pi(x2))
2
bi
b;
xk.2) bk,
(xk.1
2
and
Xk.2)
(xk.1
Ak
Since
"''-2
E(kk*K)nA,
it follows from the definition of the successive minima),,,..., X. that (x, - x'2)/2
can be represented as a linear combination of the vectors b1,..., bk_1. On the
other hand, we have just shown that (x1 - x'2)/2 is also a linear combination with
real coefficients of the vectors b1, ... , b_1, bk and that the coefficient of bk in
this representation is xk(xk,1 - xk.2)/2 f 0. This implies that bk is a linear combination of the vectors b1..... bk_1, which contradicts the linear independence of
the vectors b1, ... , b,,. This completes the proof of Minkowski's second theorem.
6.5
Let A and M be lattices in R" with bases (a,_., a,,) and {b1 , ... , b"J, respectively. If M C A, then M is called a sublattice of A, and bj E A for j - 1, ... , n.
Therefore, there exist integers vij such that
it
bj -
vijai.
Let
aj -
aijei
(-1
and
bj -
bijei.
186
6. Geometry of numbers
Then
bj
if
1: Vk.j 1: ai.kei
k-1
i-I
a1.iviJ)
ei
bij ei ,
i-I
and so
bij = 1: aikukj.
k-1
det(M)
det(A)
Then d is an integer, since Vik E Z for all i, k = 1, ..., n. Also, d is nonzero, since
both det(M) and det(A) are nonzero. Moreover, d is independent of the choice of
bases for the lattices A and M. The number d, called the geometrical index of the
lattice M in A, is the ratio of the volumes of the fundamental parallelepipeds of
the lattices M and A.
has an
Since det(vi.j) - d, it follows that the matrix V - (vi.j) E
d = I det(uik)I =
(vijl)=(wi.j/d),
k-1
Wk.jbk
Vi.kai
Wk.j
k-I
i-1
k-1
d8,,ai
i-1
da1EM
ai
forj-1,...,n, and so
d*AcMCA.
187
(6.7)
Theorem 6.7 Let M be a sublattice of the lattice A in R", and let (b1.....
of A such that
be a basis for M. There exists a basis {al, ... ,
bl
v1.1a1
v1.2a1 + V2.2a2
b2
b3
bn
v1.1a1
b2
v1.2a1 + V2.2a2
b3
where v,
d*AcM.
Thus, d * A is a sublattice of M, and {dal , ..., da,,} is a basis ford * A. It follows
from Theorem 6.7 that there exists a basis (bl, ..., b,,) for M such that
da; -
ui,lbi
for j - 1, ... , n, where the coefficients u,.j are integers. Solving these equations
for the vectors b 1 . . . . b,,, we obtain expressions of the form
.
i
b;
r-1
where the coefficients vi.; are integers because (b1.... , b,, } e A and the vectors
188
6. Geometry of numbers
Corollary 6.3 Let M be a sublattice of the lattice A, and let (a .... , a" } and
(b1.... , b,,) be bases for A and M. respectively, such that bi - E;_ vi.jai. Let
d be the geometric index of M in A. Then
d-
Proof. This follows immediately from the fact that d - det(vi,i ), and the matrix
(vi,i) is upper triangular.
Corollary 6.4 Let A be a sublattice of the integer lattice Z". Then there exists a
basis( a , ,. . . , a" )for A such that
aa2
+a2.2e2
an
Proof. The standard basis e1, .... e,, for R" is a basis for the integer lattice Z",
and A is a sublattice of Z". The result follows immediately from Theorem 6.8.
Let M be a sublattice of the lattice A. Then M is a subgroup of the abelian group
A. The quotient group A/M is the set of all cosecs
a+M-(a+b(bEM),
where a E A, and the addition of two cosets is defined by (a + M) + (a2 + M) -
[A MJ det(A) '
that is, the algebraic index of M in A is equal to the geometric index of M in A.
Proof. Let ( a , , .... a,, } be a basis f o r A, and let (b , ... , b,,) be a basis for the
sublattice M of the form
i
det(M)
det(A)
189
giai =giai,
b=
IgkI
= Ehjbj
j-I
n
j-1
i-1
_ Ehj 5
Vi.jai
(1:
it
nn
j-i
i-1
vi.jhj a,,
and so
giEvi.jhj
j-i
for i = 1 , ... ,- / 0
n,
it follows that hi = 0 for i = k + 1, ... , n and gk - vk.khk 0. Therefore, hk 0
and
I$kl = Ivk.khkl - Vk.klhkl
VA-.k-
S= E
gi EZ,0<g, <v,.i
,(gi - gj)ai E M.
i-1
Ifs s', there exists a largest integer k > 1 such that gk ' gk. Then
k
and so Igk - 9k'1 >- vk.k. But 0 < 8k, 941. < vk.k implies that Igk - gA I < vk.k, which
190
6. Geometry of numbers
U-giai E A,
where gk
0. Let
gk - Qkvk.k + rk,
U -
giai + gkak
k-1
k-1
gEgiai+qk
bk L-r
rVi.kai
+rkak
i-l
i-1
k-1
F,(gi
- Qk Vi,k)si - S + b,
i-l
where b E M and
k-1
S' -
g' ai E S.
[A: MI-ISI-v1.1
6.6
det(M)
det(A)
The abelian group G is torsion free if every nonzero element of G has infinite
order, that is, if g E G, g 0 implies that mg 0 for all m r= Z, m 0. The set
191
g - Emigi,
iEt
where mi E Z and mi - 0 for all but finitely many i E 1. The abelian group G
is finitely generated if it contains a finite set of generators. The abelian group G
is free if it contains a subset {gi }iE, such that every element g E G has a unique
representation in the form
g - E migi,
iE/
where mi E Z and mi - 0 for all but finitely many i E 1. In this case, the set
{gi }iE1 is called a basis for G. Every free abelian group is torsion-free. The group
G - (0) is the free abelian group whose basis is the empty set.
Let G be an abelian group, and let
m*G-{mg :gEG}.
Since G is abelian, rn * G is a subgroup of G for every m >_ 2. Let [G : m * G]
denote the index of m * G in G.
log[G : 2 * G]
log 2
Proof. Let {gi lie, be a basis for G. The map V : G -+ iE/ Z/2Z given by
tP
G/(2 * G) Z/2Z.
iE/
If the quotient group G/(2 * G) is infinite, then I must be infinite, and so every
basis for G is infinite. If the quotient group G/(2 * G) is finite, then I is finite and
hence every basis for G is has cardinality log[G : 2 * G]/ log 2. This completes
the proof.
Let G {0} be a free abelian group with a finite basis. The rank of G is the
cardinality of a basis for G. By the preceding lemma, the rank of a free abelian
group is well-defined. If G - {0}, we say that G has rank 0. If G, is a free abelian
group of rank n, and G2 is a free abelian group of rank n2, then G, G2 is a free
abelian group of rank n, + n2.
192
6. Geometry of numbers
Lemma 6.6 Let G f (0) be a free abelian group of finite rank. Then G = Zn for
some n > 1.
Proof. Let (g1, ... , gn) be a basis for G. The map (p : G -+ V given by
n
rD migi
(M],
M")
i-i
Lemma 6.7 Let G be an abelian group, and let A be a free abelian group. Let
rp : G -> A be a surjective homomorphism. Then G - K H, where K is the
kernel of rp and H is a subgroup G such that rp : H -+ A is an isomorphism.
Proof. Let Jai }iE, be a basis for the free abelian group A. Since the map rp is
onto, there exist elements hi E G such that rp(hi) - ai. Let H be the subgroup of
G generated by (hi )iEI. The homomorphism rp restricted to H maps H onto A. It
follows that for every g E G there exists h E H such that V(g) - rp(h), and so
g-h E K.Therefore,G-K+H.
Let h - L;E! mihi E H. Then
iEl
193
(Emi&)
has kernel K. Let : G' -+ Zg,, be the restriction of the homomorphism W to G'.
The condition G' K implies that *(G') - Zdg" for some d E Z, d > 1. Let K'
be the kernel of > -. Since
K'-Kf1G'CK
and K is free of rank n - 1, it follows from the induction hypothesis that K' is a
free abelian group of rank at most n - 1. The map's maps G' onto the free abelian
group Zdg,,. By Lemma 6.7,
of rank at most (n - 1) + I - n.
Theorem 6.10 Let G (0) be a finitely generated torsion free abelian group.
Then G is a free abelian group of finite rank, and so G is isomorphic to the integer
lattice Z" for some n > 1.
Proof. Let r _ (gl, ... , gk) be a finite set of generators for G, and let r" _
(g',, ... , g;) be a maximal subset of r such that
only if mi - 0 for all i - 1, ..., r. Let G' be the subgroup of G generated by I".
Then G' is a free abelian group of rank r. Let gi E F. By the maximality of I",
there exist integers ui, mi.,. ... , mi., not all zero such that
uigi
+mi.rb'r = 0.
m*G=(mg:gEG) CG'.
Since G' is a free abelian group of finite rank, it follows from Lemma 6.8 that the
subgroup m * G is also a free abelian group of finite rank. Since G is torsion-free,
the map rp : G -+ m * G defined by p(g) - mg is an isomorphism, and so G is a
free abelian group of finite rank. The theorem follows from Lemma 6.6.
Theorem 6.11 Let M be a lattice in R", and let A be a subgroup of R" such that
M C A and [A : M] < oo. Then A is a lattice.
Proof. The group A is torsion-free and abelian because R" is torsion-free and
abelian. Also, A (0) because M C A. Let (b, , ... , b,, } be a basis for M. Let
194
6. Geometry of numbers
r*ACM.
Lemma 6.8 implies that m < n. Thus, m = n and A is a free abelian group of rank
n.
6.7
An important example
The results in this section will be applied in Chapter 8 to prove Theorem 8.7, which
is part of the proof of Freiman's theorem.
,v,,)EZ". We write
u - v (modm)
if u; __ v;
Theorem 6.12 Let m > 2 and let r, , ..., r be integers such that
(r,,.. ,r,,,m)=1.
(6.8)
Let
r=(r1.
,r,,)EZ",
and let
...
4!'m"- i
and there exist linearly independent vectors b,, ... , b,, E A such that
bf =(b,j,....b,,.j)
and
Ibr.;I<
fori, j = I,...,n.
195
Proof. Let
(q')r;
-0
d
(modm/d),
and so
r, - 0 (mod m/d)
for i - 1, .... n. It follows from (6.8) that d - m and q =_ q'
implies that
,n-I
A - U(qr+M),
q`0
and so [A : M] - m < oo. Theorem 6.11 implies that A is a lattice. By Theorem 6.9,
det(A) -
det(M) - m _
[A : M]
Let
K - ((x,,...,x,,) E R"
and so there exist linearly independent vectors b, .... , b,, E A such that
b1-(bl.,,b2.;,...,b,, )E,l;*K-A;*K
for j - 1.... , n. Therefore,
Ib,.;I < 4
6. Geometry of numbers
196
6.8
Notes
The material in this chapter is classical. Standard references for the geometry
of numbers are Cassels [14], Gruber and Lekkerkerker [60], and Siegel [119].
An excellent book on convexity is Eggleston [32]. The proof of Minkowski's
second theorem follows Siegel [ 119]. Alternate proofs have been given by Bambah,
Woods, and Zassenhaus [7], Danicic [21], Davenport [23], and Weyl [127]. The
6.9
Exercises
1. Let A be the lattice in R2 with basis a, = (1, 2) and a2 = (2, 1). Draw the
lattice in the plane, and identify its fundamental parallelepiped F(A). Show
that A consists of all vectors of the form (u + 2v, 2u + v), where u, v E Z.
Express the vector (8, 7) as the sum of a vector in A and a vector in F(A).
What is the volume of the fundamental parallelepiped of A?
3. Let A be the subgroup of R2 generated by the vectors (1, 0), (0, 1), and
(1/2, 1/2). Prove that A is a lattice, and find a basis for A.
4. Let A be a lattice in R", and let a,, ..., a, be a basis for A, where aj
E;'_I a;je;. Let A = (a,.j) be the matrix of the basis a,, ... , a,,. Prove that
A consists of all vectors of the form Au, where u is a column vector in V.
5. Let A be a lattice in R" such that A C V. Prove that A - Z" if and only if
det(A) = 1.
6. Construct a lattice A C R" such that det(A) = 1 but A V.
7. Let K be a convex set, and let ti , .. tr be nonnegative real numbers such
that t , +
+t, = 1. Prove that if u, , ... , U. E K, then t, u, + + t, ur E K.
9. Let K be a convex set in R", and let K be the closure of K. Prove that K is
convex.
6.9 Exercises
197
11. Let K be a convex body in R"with 0 E K. If A, > A2 > A3 > . . . > 0 and
n).; *K-A*K.
i-1
to - inf{tER : tuEK}.
Show that to > 0, to E K fort < to, and tou E 3K, where 3 K - K \ K is
the boundary of K.
14. Let A be a lattice in R", and let K be a symmetric convex body in R" such
that vol(K) - 2" det(A). Prove that k contains a nonzero element of A.
15. Prove that the volume of the 4-dimensional ball of radius r is r2rs/2.
16. Let K be a convex body containing 0. For A E R, A > 0, let
(a) A*K-A*K
(b) 3(A*K)-A*3(K),where 3(K)-K\K.
17. Let K be a convex body in R" with 0 E K. The gauge function f of the
convex body K is defined by
f(x)-inf{AER :A>O,xEAK}
for all x E R". Prove that
198
6. Geometry of numbers
21. Prove that the gauge function of the convex body K in R" is convex in the
sense that
d(L1,L2)-S,+52.
Prove that this definition of the distance function d(LI, L2) is equivalent
to (6.4).
24. Let X be a compact subset of R" and let (L; } be a sequence of compact convex subsets of X that converges to the compact set L, that is,
lim;- , d(L;, L) = 0. Prove that L is convex.
25. Let fl(X) be the metric space of all compact subsets of a compact set X
in R", and let L E Q(X). Let vol(L) denote the volume of L. Prove that
vol(L) is a continuous function on S2(X).
6.9 Exercises
199
26. Prove that the center of mass of a convex body lies in the convex body.
Construct a nonconvex set X such that the center of mass of X does not lie
inside X.
27. Let S2(X) be the metric space of all compact subsets of a compact set X in
R", and let L E S2(X). Let c(L) denote the center of mass of L. Prove that
c(L) is a continuous function on Q(X).
7
Plunnecke's inequality
7.1
Plunnecke graphs
A directed graph G - (V (G), E(G)) consists of a finite set V (G) of vertices and a
set E(G) of edges, where each edge e E E(G) is an ordered pair (v, v') of distinct
that (u, vj) E E(G) and (vi, w;) E E(G) for j - I, ... , k. This can be
represented by the following diagram:
202
7. PIUnnecke's inequality
wI
W3
W2
W4
W2
wi
W3
W4
V4
(ii) Let 1 < i < h - l and k > 2. Let u l , ... , uk E Vi-1, v E Vi, and w E V;+1
be k + 2 distinct vertices of G such t h a t (u1, v) E E(G) f o r j - 1, ... , k,
and (v, w) E E(G). Then there exist distinct vertices V 1 ,.. . , vk E V; such
that (u1, vi) E E(G) and (vj, w) E E(G) f o r j - 1, ... , k. This can be
represented by the following diagram:
V4
U4
D(X, Y) - min {
1km
lZi
Y)I
:0 i z 9 X I .
Di-D1(G)-D(Vo,V,)
-01111
203
> D.
Let h > 1, and let A and B be finite, nonempty subsets of an abelian group.
The addition graph G of level h constructed from the pair A, B is the graph whose
vertex set V (G) and edge set E(G) are defined as follows:
h
V(G) = U V,.
i-O
where
V, -(A+iB) x (1)
and
h
((v, i), (v', i')) E E(G) if and only if i' = i + I and u' - v E B. Thus, the
addition graph is a directed graph of level h.
We shall prove that the addition graph is a Plunnecke graph. Let I < i < h - 1,
204
7. Plunnecke's inequality
and so ((u, i - 1), (v1, i)) E E(G) for j - 1, ..., k. Since A and B are subsets of
an abelian group, it follows that
Truncated addition graphs. Let n > 1, and let A and B be nonempty sets of
nonnegative integers such that A fl [l, nJ 710 and 0 E B. Let
Vi -(A+iB)fl[1,n]
for i - 0, 1, 2, .... The truncated addition graph G of level h constructed from
the pair of sets A and B is the graph with vertex set V (G) - Uh
I < j, < ... < jh < n are distinct. Let 1,.h denote the addition graph of level h
constructed from the sets A - (0) and B. Then Vo - {0), V; - i B, and
II -
n+i-1
V;
n(n+1)...(n+i - 1)
i!
i!
ince
n(n + 1)...(n +i - l)
i!
l(
\I+ n/ \l
+n)...(I+
l ( l/
n \n
l
i!n'
P
n.
'
and B - (b1,..., b,,) be a set of n positive integers such that bi > hb;_1 for
r - 2, ... , n. Then the h-fold sums of elements of B U {0) are distinct, and the
h + I sets { V,,-0)are pairwise disjoint.
205
V(X,Y)-UVi(X,Y).
i-0
Since there exists a path from the vertex a E X to the vertex b E Y, it follows
that Vi(X, Y) f 0 for i - 0, 1, ... , k - j. Let G(X, Y) be the graph with vertex
set V (X, Y) and edge set E(X, Y) consisting of all edges (v, v') E E(G) with
v, v' E V (X, Y). Then the contracted graph G(X, Y) is a Plunnecke graph of level
k- j.
Product graphs. Let h > 1, r > 2, and let GI, ... , Gr be Pliinnecke graphs
x G. as follows: Let
of level h. We construct the product graph G - GI x
such that (vi _ I, j, vi, j) E E(G j) for j - 1, ... , r. It is easy to check that the product
graph G is a Plunnecke graph of level h.
Inverse graphs. Let G be a Plinnecke graph of level h with vertex set V(G) -
u, o Vi and edge set E(G). Let V ' - Vh_i for i - 0, 1, ... , h. The inverse
graph G-' is the graph whose vertex set is V(G-1) - Uh O Vi-' and whose edge
set E(G-1) is determined by the condition that (v, v') E E(G-1) if and only if
(v', v) E E(G). Then G-' is a Plunnecke graph of level h.
7.3
In this section, we shall prove that the magnification ratios of graphs of level h are
multiplicative.
Theorem 7.1 Let G' and G" be directed graphs of level h. Then
Di (G' x G") - Di
fori - I,...,h.
(G') Di (G")
206
7. PlOnnecke's inequality
Proof. Let V (G') - U, o V; and V (G") - U,-0 V;'. Let Z' and Z" be nonempty
subsets of Vo and Vo , respectively, such that
Dj(G) - lim(Z', V; )l
IZ ' I
and
Then
Z'xZ"CVoxVo -Vo(G'xG")
and
V;)Ilim(Z
V,")l,
it follows that
D; (G' x G")
<
IZ'xZ"I
lim(Z', V; )I lim(Z" V,")I
IZ'I
IZ"I
D;(G')D;(G").
To complete the proof of the theorem, we must prove the reverse inequality
Di(G") - 1.
(Note: Since the vertex sets VV' and V,' of a graph of level I must be disjoint,
we should, just as in the construction of the addition graph, formally define the
vertex sets Vo - ((t, 0) t E T) and V,' - ((t, 1) : t E T) and the edge set
E(G") - {((t, 0), (t, 1)) : t E T).)
Let G - G' x G", and let Z be a nonempty subset of V0(G) - Vox Vo - Vox T.
:
Let
Z,'-{v'E VV:(v',t)EZ}.
Then
Z - U(Z; x {t})
ZET
207
and
lim(Zf', VI)I
fET
DI(G')EIZ;I
fET
and so
D1
(G') <
D1(G')IZI,
WI
Wo
V X Vo
V, x Vo = Vo(G' x G").
The edges from WO to W1 will consist of all pairs ((a, c), (b, c)) such that
aEV,,bEV,CEVo,
and there exists a path in G' from a E Vo to b E V; . The edges from W1 to W2
will consist of all pairs ((a, c), (a, d)) such that
208
7. PIunnecke's inequality
Z;- {v'EVV:(v',t)EZ).
Then
Z - U (Zr' x {t})
rE V,
and
Therefore,
- E lim(Z;, V; )I
lim(Z, Wi)I
rEV;
>
Di(G') E IZrI
(EVO
Di(G')I ZI
Therefore,
lim(
Zc
Wo}
> D;(G').
D(W1, W2) ?
D;(G' x G")
min
min
min
>
min
D2(H)
D(Wo, W2)
Iim(Z, W2)I
IZI
: 0 ,i z S; W
lim(Z, Wl)I
: 0,Z c WO
IZI
Irm(im(Z, WO, W2)I
x min
{
:0fZcW
lim(Z, Wi)I
lim(Z, Wi)I
:0
C W
>
Itm(Z, W)I
min
209
: 0 7(Z C Wo
IZI
x min
Itm(Z', W2)I
: 0 f Z' C W1
I Z11
Corollary 7.1 Let h > 1 and r > 2, and let G1, ..., Gr be graphs of level h. Let
G be the product graph G1 x
x Gr. Then
Di (G) - Di (G 1) ... Di (Gr )
fori-1,...,h.
7.4 Menger's theorem
Let G - (V(G), E(G)) be a directed graph. Let a - vo, v1, ..., vk - b and
a - wo, w1 , ... , wi - b be two paths in G from vertex a to vertex b. These paths
are disjoint if vi
separates vertex a from vertex b if every path from a to b contains at least one
element of S. Let S be a set that separates vertex a from vertex b, but contains
neither a nor b. Let m be the maximum number of pairwise disjoint paths from a
to b. Since S contains at least one vertex from each of these paths, it follows that
ISI > m. Menger's theorem states that there exists a separating set S such that
ISI - M.
Notation. Let G - (V(G), E(G)) be a directed graph. The directed graph G' -
set S of vertices that separates the vertex a from the vertex b and that contains
neither a nor b. Then e - m.
Proof. The proof will be by induction on 8. If t - 0, then S is empty, so there are
no paths from a to b and m - 0. If C - 1, then S - Iv}, and there exists at least one
210
7. Plunnecke's inequality
path from a to b. Moreover, every path from a to b must contain the intermediate
vertex v. It follows that there cannot exist two pairwise disjoint paths from a to b,
and so m = 1.
Let e > 2. Suppose that the theorem is true for any two vertices a, b of a directed
graph G such that (a, b) V E(G) and there exists a separating set of cardinality at
most C - I that does not contain a or b. If the theorem is false for e, then there
is a graph G with vertices a, b such that (a, b) ' E(G), there are at most e - I
pairwise disjoint paths from a to b, but f is the cardinality of the smallest set that
separates a and b and contains neither a nor b.
Consider such graphs in which the number of vertices is minimal, and from this
set of graphs choose one for which the number of edges is minimal. Call this graph
IS(e)I=e-1.
(7.1)
shall prove that either (a, s) E E(G) for all s E S or (s, b) E E(G) for all s E S.
Let P(a, S) denote the set of all paths in G that start at the vertex a and end at
some vertex s E S, with no intermediate vertex in S. Let P(S, b) denote the set of
all paths in G that start at some vertex s E S and end at b and have no intermediate
be the set of intermediate vertices of paths in P(S, b). If there exists c E 1(a, s) n
I (S, b), then there is a path in G from a to c that contains no vertex of S, and there
is a path in G from c to b that contains no vertex of S. Concatenating these two
211
I(a,S)nI(S,b)-0.
We shall prove that either 1(a, S) - 0 or 1(S, b) - 0. Suppose that both sets 1(a, S)
and I(S, b) are nonempty. Let H - (V(hf), E(H)) be the graph with vertex set
V(H)
E(H) -
((a, s) : s E S)
Since 1(a, S) n I(S, b) - 0 and 1(a, S) 710, it follows that 1(a, S) n V(H) - 0,
and so IV(H)I < IV(G)I
Let T be a set that separates a from b in the graph H, and suppose that a, b ' T.
Let r be a path from a to b in G, and let n' be the terminal segment of this path
that belongs to P(S, b). Then n' is a path from some s E S to b. Since (a, s) is an
edge in H, it follows that a, s concatenated with the path jr' is a path in H from a
to b. Since T separates a from b in H, it follows that T contains an intermediate
vertex of this path, and so either s E T or some intermediate vertex of tr' belongs
to T. Thus, T also separates a from b in G. Therefore, ITI > . Since the graph
H contains strictly fewer vertices than the graph G, it follows from the induction
hypothesis that there are pairwise disjoint paths in H from a to b. In particular,
for each s E S there exists a path 7r2(s) E P(S, b) from s to b such that the paths
n2(s) are pairwise disjoint.
Similarly, for each s E S there exists a path ,r,(s) E P(a, S) from a to s such
that the paths n, (s) are pairwise disjoint. Concatenating the path n, (s) from a to
s with the path n2(s) from s to b produces a path 7r (s) from a to b, and these I SI -
paths are pairwise disjoint. This is impossible in the graph G. Therefore, either
1(a, S) - 0 and (a, s) E E(G) for all s E S, or 1(S, b) - 0 and (s, b) E E(G) for
all s E S. Moreover, since G contains no path of the form a, s, b, it follows that
these two possibilities are mutually exclusive.
Let a, v, v' be the initial segment of a shortest path in G from a to b. Then v' 7( b
and e - (v, v') E E(G). Let S(e) be a minimal separating set for the graph G \ {e}.
By (7.1), we have IS(e)I - - I > 1, and so S(e) U ( v) is a separating set for G
of minimum cardinality . Since (a, v) E E(G), it follows that (a, s) E E(G) for
all s E S(e). Similarly, S(e) U {v'} is a separating set for G. If (a, v') E E(G),
then there is a shorter path from a to b than the one that starts a, v, v', which
is impossible. Therefore, (a, v') ' E(G). It follows that (v', b) E E(H), and
so (s, b) E E(G) for all s E S(e). Thus, if s E S(e), then (a, s) E E(G) and
(s, b) E E(G), and so a, s, b is a path in G, which is impossible. This completes
the proof of Menger's theorem.
Let G - (V (G), E(G)) be a directed graph, and let X and Y be nonempty, disjoint
sets of vertices of G. A path in G from the set X to the set Y is a finite sequence
212
7. Plunnecke's inequality
of vertices Vo, vi , ... , uk_ I , Vk such that vo E X, Vk E Y, and (vi-1, vi) E E(G)
for i - 1 , ... , k. Let vo, vi , ... , Vk and wo, wl, ... , w1 be two paths in the graph
a = vo, vi, ... , vk_I, vk = b and a = wo, w l, ... , we_i, wi - b are disjoint
paths from a to bin G` if and only if v1, ..., vk_ I and wi, ..., w1-1 are totally
disjoint paths from X to Y in G. It follows that m is also the maximum number of
pairwise disjoint paths from a to b in the graph G. By Theorem 7.2, there exists
a set S C V(G*) such that S separates a from b, a, b ' S, and ISO - m. Then
S C V(G), and S separates X from Y in G. This completes the proof.
7.5
? d*(v)
and
213
Lemma 7.2 Let G be a Pliinnecke graph of level h, and let V(G) - U,..0 Vi. If
Dh > 1, then there are I Vo I totally disjoint paths from Vo to Vh.
Proof. Let m be the maximum number of pairwise totally disjoint paths from
Vo to Vh. By Theorem 7.3, there exists a set S of cardinality m that separates Vo
from Vh. We shall prove that ISI - I Vol.
For V E V(G), let i(v) denote the unique integer i such that v E Vi. Choose a
separating set S such that ISI - m and
i(s)
SES
SC VoUVh.
SnVjis,,.-sq},
where q - IS n V, I > 1. Let irl, .... n, be m pairwise totally disjoint paths
from Vo to Vh, and suppose that si is a vertex on path ,ri for i - 1, ..., q. Since
0 < j < h, it follows that, for each i E [1, q], the vertex si has a predecessor
r; E V j _ I on the path ni and a successor t; E V11 on the path ni. It follows from
the minimality of E,Es i(s) that the set
,...,rq,sq+l,...,sm
S*
does not separate Vo from Vh, and so there exists a path n' from Vo to Vh that does
not intersect S'. However, since n' cannot avoid the separating set S, it follows
that si lies on n' for some i E [1, q], say, i - 1. Let r' be the predecessor of s1 on
the path n'. Then r` if Irl, ... , rq }.
We shall consider the following sets of vertices:
Sq
Sq'
Sq
SQ
{ri,...,rq} C Vj_i,
(T' , r, , ... , rq } C vi-1,
(Si,...,Sq} C Vj,
(tl,...,tq} C Vj+l.
G' - G(Sq, Sq )
is a Pliinnecke graph of level 2. Let
V(G')-Vo UV1'UV2.
214
7. Plunnecke's inequality
Since ri, s;, t; are successive vertices on the path n; for i - 1, ... , q and r*, s,, tj
are successive vertices on the path Ire, it follows that
V2
Sq
V1*
Vo
Sq
Sq.
We shall prove that V, - Sq. If there exists a vertex s' E Vj* \ Sq, then (r', s') E
E(G) and (s', t') E E(G) for some r' E Sy - jr*) U S9 and t' E Sq. Therefore,
t' - t, for some 1 E [1, q]. The path tp has a terminal segment that starts at y, ends
in Vh, and does not intersect S. If r' - r, E S,-, then the path tq- has an initial
segment that starts in V0, ends at r', and does not intersect S. Combining this initial
segment with the path r', s', t', and then with the terminal segment of n, from r,
into Vh, we obtain a path from Vo into Vh that does not intersect the separating set
S, which is impossible.
s,,,
If r' - r', then the path tr' passes through r' and does not intersect is..],
which are the elements of the separating set S that do not belong to Vj. The initial
segment of the path tr' from Vo to r', followed by the segment r', s', t' and then
the terminal segment of the path 7r,, is again a path from Vo into Vh that does not
intersect the separating set S, which is impossible. Therefore,
V1 - Sq.
Since (r;, r) and (s,, t;) are edges in the contracted graph G', it follows from
Lemma 7.1 that
Ed+(ri,G') ? Fd+(si,G')
i-i
i-1
d-(1j, G')
>
d-(s;, G')
q
d+(r', G')+
d+(r;, G*)
+d+(rG*),
IIf
7.5 Plunnecke's inequality
215
I<Dh _
lim(Vo\S,Vh)l<IVhnSI
IVo\Sl
- IVo\Sl'
and so
IVo\sl<Ivhnsl.
Therefore,
Isl
- Ivonsl+Ivhnsl
Ivonsl+IVo\SI
- IN
I
Lemma 7.3 Let G be a Pliinnecke graph of level h > 2. If Dh > I, then Di > I
fori - 1,...,h.
Proof. Since Dh > 1, it follows from the previous lemma that there are I Vol
totally pairwise disjoint paths from Vo to Vh, and each of these paths contains a
vertex from the set V. The vertices in V; belonging to different totally disjoint
paths are distinct. Let Z be a nonempty subset of Vo. Since there are I Z I pairwise
totally disjoint paths emanating from Z, it follows that
IZI < lim(Z, V1)I,
and so
D,-D(Vo,V;)-min
lim(Z, Vr)I
I
>
Theorem 7.4 (Plannecke) Let G be a Plilnnecke graph of level h > 2, and let
D1, ... , Dh be the magnification ratios of G. Then
D1>D2 >...>Dnlh.
Proof. It suffices to prove that Di > Dh/h for i - 1, ... , h. If Dh - 1, then
Lemma 7.3 implies that Di > I - Dh/h. If Dh - 0, the result is obvious.
216
7. Plunnecke's inequality
Let A - {0}, and let B be a set of n integers such that the addition graph of level
h constructed from A and B is the independent addition graph In.h, as defined in
Section 7.2. Then
fori-1,...,h.
Suppose that 0 < Dh < 1. Let r be any positive integer, and let
n - [I +(h!Dh(G)-r)hIh].
Then
Di,(G)rnh > W.
Let GI be the product of r copies of the graph G, and consider the product graph
Gr x In.h. This is a Plunnecke graph of level h and, because of the multiplicativity
of magnification ratios,
Dh(Gr
Dh(GGynh
> 1.
< 2(h!Dh(G)-r)hth.
Therefore,
>
D,(G)
n-i'r
(2(h!Dh(G)_r)h/h) -ilr
(2(h !)1/h)-'1r Dh(G)i"h.
cc
Finally, we consider the case Dh > 1. Let r be a positive integer such that
n - {Di,(G)"h] > 1.
217
Then
Dh(G)'n-h > 1.
Let
be the inverse of the independent addition graph. Its magnification ratios
satisfy the conditions
i
Dh(l,,.h) -
IhBI_
>n
h-1
_h
and
Di(l,,.h)
nh-'
J(h - i)BI
IhBI
- nh/h!
h!n
Consider the (r + 1)-fold product graph G' x l,,.h. It follows from the multiplicativity of magnification ratios that
Dh(Gr x
'I
I<
D,(Gr
Di(G)'h!n-'
x l,,.h)
>
(h!)-"'n'l'
>
( h!YI1
Dh(G)r/h
/r
Since this inequality holds for all r > 1, it follows that D,(G) > Dh(G)'dh for
i = 1, ... , h. This completes the proof of Plunnecke's inequality.
7.6
fori - 1,...,h.
Proof. Let G be the addition graph of level h constructed from the sets A = {0}
218
7. Plunnecke's inequality
Theorem 7.6 Let A and B be finite subsets of an abelian group, and let 1 < i < h.
If I AI - n and IA + i B I < cn, then there is a nonempty subset A' C A such that
IA'+hBI <chl'IA'I.
Proof. Let G be the addition graph of level h constructed from the sets A and
B. There exists a nonempty set A' C A such that
Dh -
IA'+hBI
IA'I
IA'+hBI
IA'IDh
IA'IDih1i
<
IA'I
<
ch/'IA'I.
IA+iB1 h/i
IAI
IUIIV - WI :5 IU+VIIU+WI.
Proof. For each d e V - W, we choose elements v(d) e V and w(d) E W such
that d - v(d) - w(d). Define the function
0:Ux(V-W)--'(U+V)x(U+W)
by
219
and so
u, + v(d,) - u2 + v(d2)
and
u,+w(d,)-u2+w(d2).
Therefore,
d, - v(d,) - w(d,) - v(d2) - w(d2) - d2.
IUIIV - WI
Ux(V - W)I
(U+V)x(U+W)I
U+VIIU+WI.
<
Theorem 7.8 Let A and B be finite subsets of an abelian group such that I A I - n
and I A + BI < cn. Let k > 1 and 1 > 1. Then
<c'kIA'I-cn',
IA'+kBI
(7.2)
where c' - c- and n' - IA'I. Applying Theorem 7.6 with A, i, h, n, and c replaced
by A', k, 1, n', and c', respectively, we obtain from inequality (7.2) a nonempty
subset A" C A' such that
IA"+IBI
<(c')i/"IA"I-c'IA"I.
(7.3)
It follows from Lemma 7.4 with U - A", V - kB, and W - 1B and from
inequalities (7.2) and (7.3) that
IA"IIkB-IBI
IA"+kBIIA"+IBI
IA'+kBIIA"+IBI
<
<
cklA'lciIA"I
ck+rnlA"I.
Theorem 7.9 Let G be an abelian group such that every element of G has order
at most r. Let B be a finite subset of G, and let H(B) be the subgroup generated
by B. If there exists a subset A of G such that I A I - IBI - n and
IA + BI < cn,
220
7. PlOnnecke's inequality
then
I H(B) 1 << f (r, c)n,
where
f (r, c) -
rc4c2
IB - BI < czn
and
U(w1-B)C2B-2B
and
k
1B-BC(I-1)W+B-B
(7.4)
for all 1 > 1. The proof will be by induction on 1. This is clear for I - 1, since
0 W - {0}. Let W E 2B - B. Since the set W is maximal, there exists w, E W
such that
(w-B)n(w; - B) f0.
Therefore, there exist group elements b, b' E B such that
w - b - w; - b',
and so
w-w,+b-b'EW+B-B.
Thus,
2B-BCW+B-B.
221
This proves (7.4) in the case ! - 2. Suppose that (7.4) holds for some I > 2. Then
(I+1)B-B
W+IB - B
W +(l-1)W+B-B
lW+B - B.
This completes the induction.
Let H(W) be the subgroup of G generated by W. Since I W I - k < c4 and every
element of the abelian group G has order at most r, it follows that
I H(W )I S rk < r`4.
Then
IB-Bc(!-1)W+B-Bc H(W)+B-B
for all ! > 1. Since B is finite and every element of B has order at most r, it follows
that every element in H(B) is contained in 1 B - B for some 1 > 1. Therefore,
and so
IH(B)I
7.7
For any set A of integers, let A(m, n) denote the number of elements a E A such
that m < a _< n, and let A(n) - A(0, n). The function A(n) counts the number of
positive elements of A not exceeding n. The Shnirel'man density of the set A is
defined by
I
111111
Then 0 < a(A) < 1 for every set A. and I E A if a(A) > 0.
The set B is called an essential component if o(A + B) > a(A) for every set
A with 0 < a(A) < 1. Let A and B be sets of integers with I E A and 0 E B.
Shnirel'man [118] proved the fundamental inequality
If 0 < a(A) < 1 and a(B) > 0, then o(A + B) > o(A). Thus, any set B with
0 E B and positive Shnirel'man density is an essential component.
222
7. Plunnecke's inequality
There exist sets of density zero that are also essential components. Khinchin [75]
proved that the set of squares forms an essential component. By Lagrange's theorem, the squares are a basis of order 4. Erd5s [34] generalized Khinchin's result
by proving that if B is any basis of order h and if A is any set of integers such that
Pliinnecke applied his graph-theoretic method to obtain a considerable improvement of Erdo"s's theorem. Pliinnecke's proof relies heavily on properties of the
impact function, or Wirkungsfunktion, defined for 0 <_ 1; < 1 and for any set B of
nonnegative integers by
($ B) -
: A c No, a(A)
A(n)
and
-< A(m)
n
m
form -1,...,n
(A + B)(n)
n
It suffices to show that for any e > 0 there exist a set A and an integer n satisfying
the conditions of the lemma such that
B) <
(A + B)(n)
n
< ($, B) + e.
It follows from the definition of the impact function that there exists a set A of
nonnegative integers such that or (A) > and
E
It follows from the definition of Shnirel'man density that there exists an integer
0(t,
(A + B)(n)
n
B) < (A + B)(n)
n
< a(A + B) +
< 0(, B) + C.
(7.5)
223
Let n be the smallest positive integer such that inequality (7.5) is satisfied for some
set A with a(A) > l; . For these choices of n and A. we have
(A + B)(n)
n
B) +e <
<
(A + B)(1)
1
(A + B)(n) - (A + B)(1)
<
(n-1)(O(1;,B)+e).
< A(m)
for m - 1, ... , n. If not, there exists an integer I such that 1 < I < n - I and
--mintAmm):m-1,...,n-11 <
I
A(1,I +i)
>
(1 +i)A(1) - A(1)
Ann).
iA(I)
Let
(n-I)i;+i-n+1
- ig+(1-)(i-n+1)
>
it;.
224
7. Plunnecke's inequality
It follows that
a(A*) > .
Moreover,
(A`+B)(n -1)
(A + B)(1, n)
<
(n -1)(4(i;, B)+e).
Therefore,
B) <
(A*+B)(n -1)
n-l
B)
Comparing this with (7.5), we see that this contradicts the minimality of n (since
1 < n - l < n), and so A(n)/n < A(m)/m for all m - 1, ..., n. This completes
the proof.
Lemma 7.6 Let 0 < i; < 1, and let h > 1. If B is a set of nonnegative integers
with 0 E B, then
0(l;,iB)> l;1-`lha(hB+1)'1h
fori-1,...,h.
Proof. Let A be a set of nonnegative integers such that
a(A) >
> 0.
-<
A(n)
A(m)
form
n.
V, -(A+iB)fl[1,n].
Since 1 E A and 0 E B. it follows that I E V; for i - 0, 1, ..., h. Let Z be a
nonempty subset of V o - A n [ 1 , n]. For m - 0, 1, ... , n, we have
A(m,n)
A(n) - A(m)
yn - A(m)
y(n - m),
225
and
({z} +hB)(n)
(Z +hB)(n)
{b'EhB:z<_z+b'<n}I
(b'EhB: I <l+b'<n-z+l }
(hB+ 1)(n -z+l)
(n-z+1)a(hB+l)
Y-1 Z(z - 1, n)a(hB + 1)
y-'IZIa(hB+1).
Thus,
lim(Z, Vh)I
(Z + hB)(n)
IZI
IZI
> y-la(hB+1)
Dh(G)? y-'a(hB+1).
Pliinnecke's inequality implies that f o r i - 1, ... , h,
y-la(hB + 1) <
(A + i B)(n) )h1i,
A(n)
and so
226
7. Plunnecke's inequality
O($, B) >
for all l; E (0, 1). Let
= a(A). Then
a(A + B)
B) > ?
a(A)1-lIh
1
Corollary 7.2 (Erd6s) Let A be a set of nonnegative integers with 0 < a(A) < 1,
and let B be a basis of order h > 2. Then
a(A)(1 - a(A))
h
(Erd6s obtained a slightly weaker result in which the constant I / h was replaced
by 1/2h.)
Proof. It suffices to prove that
x+
x(1 - x)
h
f(x)-x11hfl+Ihxl<I
for 0 < x < 1. Since f (0) = 0 and f (1) = 1, it is enough to show that f (x) is
increasing on the unit interval, and this follows immediately by differentiation:
f'(x)
x (1/h)-1
h
>
(I + I h-x\)
x(11h)-1 (
x11h
I+h)(I -x)
7.8
Notes
Pliinnecke's work appeared in the monograph [104] and the papers [102, 103,
105]. These papers were ignored for many years, until Ruzsa rediscovered them
and simplified Plunnecke's original proofs. In particular, the proof of Plunnecke's
inequality (Theorem 7.4) comes from Ruzsa [ 1121.
7.9 Exercises
227
There are many proofs of Menger's theorem. The one is this chapter is due to
Dirac [31]. McCuaig [86] has a very short proof.
The Wirkungsfunktion appears in St6hr and Wirsing [122] and was studied by
Plunnecke in great detail in [104]. The applications of Pliinnecke's inequality
in Section 7.6 are all due to Ruzsa [112, 114, 1161. The proof of Plunnecke's
theorem on essential components (Theorem 7.10) is a simplified version, due to
Malouf [83], of Pliinnecke's original proof.
Exercises
7.9
V(G) - {a, b, x, y, z}
and edge set
E(G) - ((a, x), (x, y), (x, z), (y, b), (z, b)}.
Show that S, - (x) and S2 - {y, z} are minimal sets of vertices that separate
a and b. Why does this not contradict Menger's theorem?
I,
for
,h.
7. Let B be a finite subset of an abelian group, and let 2 < i < h. If CBI - n
and Ii B I < cn, prove that
228
7. Pliinnecke's inequality
Euim',
;-o
(b) Let h > 2. For j - 0, 1, ... , h - 1, let Bj be the set of all nonnegative
integers of the form
C*
u;m',
w Imalhl
B=BoUB1
Prove that B is a basis of order h.
(d) Let
A= {nENo:n==-I
(mod m")).
A+Bj={l+umi:u-0,1....,m-1}+m"*No
and
A+B
_
7.9 Exercises
229
a(A + B) <
hm-h+1
mh
<
ha(A)'
byl-1/h-s foranye>0.
Freiman's theorem
8.1
A simple inverse theorem (Theorem 1.16) in additive number theory states that
if A is a finite set of integers whose two-fold sumset is small in the sense that
12A1 < 31A1 - 4, then A is a large subset of an ordinary arithmetic progression.
Freiman discovered a deep generalization of this result. His theorem asserts that
if A is a finite set of integers such that the sumset 2A is small, then A is a large
subset of a multidimensional arithmetic progression. Freiman's inverse theorem
can be stated as follows.
Theorem 8.1 (Freiman) Let A be a finite set of integers such that 12A1 < cIAI.
There e x i s t integers a, q 1 , ... ,
l1, ... ,1,, such that
<l;fori=1,...,n},
where I QI < c'IAI and n and c' depend only on c.
The object of this chapter is to present a beautiful proof due to I. Z. Ruzsa of a
generalization of Freiman's theorem.
<l;fori-1,...,n}
is called an n-dimensional arithmetic progression in the group G. The length of
Q is 1(Q) =11
Clearly, IQI < 11 . .1,,, and Q is called proper if IQI =1(Q).
232
8. Freiman's theorem
Theorem 8.2 Let G be an abelian group, and let Q and Q' be multidimensional
arithmetic progressions in G of dimensions n and n' and lengths I and 1', respectively. Then
Proof. Let Q be the progression Q(a; qt, ... , q,;11,..., 1.), and let Q' be the
Then
progression
Q+Q' -
i-1,...,n)
Q-Q where
b - - >(l; - 1)qi
i-t
and
mi-211-1,
and so Q - Q is an arithmetic progression of dimension n and length
hQ - Q(ha;qi,
1) + 1,...,h(l - 1) + 1).
233
<
fl(h(li - 1) + 1)
i-1
fl hli
i-1
h"IQI
If F is a finite set of cardinality I F I = n, say, F = { Iff, , ,.
f,), then
Fc
<2fori=1,...,n)
- Q(0;f.,.. ,f,;2,.. ,2)=Q,
8.2
Freiman isomorphisms
theory. Let G and H be abelian groups, and let A C_ G and B c H. Let h > 2.
The map 0 : A --> B is called a Freiman homomorphism of order h if
is well defined.
if and only if
Cal) +...+O(ah)
_0(a,)+...+O(a'),
Here are two examples. Let A - [0, k - 1 ] = 10, 1, ... , k - 1), and let B =
{a + xq, 10 < x < k}. Then the map (x) = a + xq, is a Freiman isomorphism
of order h for alI h > 2.
234
8. Freiman's theorem
Let A = {(0, 0), (1, 0), (0, 1)) c Z2, and let B-10, 1, 3) c Z. Define 0: A-+
B by 0(0, 0) - 0, O(l, 0) - 1, and 0(0, 1) = 3. Then is a Freiman isomorphism
of order 2 but not of order 3.
If 0 : A -+ B is a Freiman homomorphism (resp. isomorphism) of order h and
if 1G : B -+ C is a Freiman homomorphism (resp. isomorphism) of order h, then
C is a Freiman homomorphism (resp. isomorphism) of order h.
*0 : A
Let 0 : A -+ B be a Freiman isomorphism of order h. Then 0 is also a Freiman
isomorphism of order h' for every h' < h. If A' C_ A and B' - (A'), then the map
for allh 2.
For example, let q, f 0, and let Q - (a + xq, 10 < x < 1) be a 1-dimensional
arithmetic progression (that is, an ordinary arithmetic progression) in the group
G. Define 0 : [0,1 - I) -# Q by O(x) - a +xQ1. Then 46 is the restriction of an
affine map from Z into G and a Freiman isomorphism of order h for all h > 2.
Let e1, ... , e,, be the standard basis vectors in the Euclidean space R", let
l1, ... , l" be positive integers, and let P be the fundamental parallelepiped of the
lattice generated by the vectors 11e1, ... ,1,,e,,. The integer parallelepiped 1(P) is
defined by
I(P)-PnZ" a
Then I1(P)I = I1
Let a, q 1, ... , q,, E Z, and let Q = Q(a; q , , ... , q,,;I,_., 1,,) bean n-dimensional
integer arithmetic progression. Define the map 0 : I(P) -+ Q by
+...+x,,q
(8.1)
Since 0 is the restriction of an affine map from Z" into Z, it follows that 0 is a
Freiman homomorphism of order h for all h > 2.
Theorem 8.3 Let h > 2. and let 1(P) be the integer parallelepiped of dimension n
determined by the integers 1, , ... ,1,,. Then there exists an n-dimensional arithmetic
progression Q such that 1(P) and Q are Freiman isomorphic of order h.
235
Proof. Let a be any integer, and choose positive integers q1, ... , q,, so that
k-1
E h (! j - l )qj < qk
(8.2)
j-1
j-1
i-I
i-1
Let
h
wi -
Xij -
Yij.
Then
Iwj1 <h(Ij-1)
and
E wjgj = 0.
j-
Suppose that wj 0 for some j, and let k be the greatest integer for which wk. f 0.
Then
k-1
-wkgk = E wjgj
j-1
and so
k-I
k-1
Y' h(Ij-l)gj<gk,
j-1
8. Freiman's theorem
236
Corollary 8.1 Let h > 2, and let A be a finite set of lattice points. Then A is
Freiman isomorphic of order h to a set of integers.
Proof. The set A is a subset of some n-dimensional integer parallelepiped 1(P),
and 1(P) is Freiman isomorphic of order h to an n-dimensional arithmetic progression Q. Then A is Freiman isomorphic to its image under this isomorphism.
Corollary 8.2 Let h > 2, and let A be a finite subset of a torsion free abelian
group. Then A is Freiman isomorphic of order h to a set of integers.
Proof. Let Q=
a' _ O(a),
q1'
for i - ]__n. The set Q' _ {a'; qi,... , q,,; ll, ...
is an n-dimensional
arithmetic progression in H. We shall show that Q' - (Q) and
x1 =m+1.
E Qwith
Choose j such that xj > 1, and let r' = r - qj. By the induction hypothesis for
m, we have
r + a =r'+(a+qj),
and since a Freiman homomorphism of order h is also a Freiman homomorphism
of order 2, it follows that
O(r)+0(a)=O(r')+0(a+qj).
237
Therefore,
O(r)
- O(r')+4i
- a'+XIQI +...+x qn
Thus, the statement holds for all m > 0, and (Q) - Q'. If 0 is a Freiman
isomorphism of order h, then IQI - IO(Q)I, and so O(Q) is proper if and only if
Q is proper.
Theorem 85 Let h' - h(k +1), where h, k, and ! are positive integers. Let G and
H be abelian groups, and let A C G and B c H be nonempty, finite sets that are
Freiman isomorphic of order h'. Then the difference sets kA - IA and kB -1B
are Freiman isomorphic of order h.
d-u-v-u'-v',
where u, u' E kA and v, v' E IA, then
u+v'-u'+v c- (k+l)A.
Since 0 is a Freiman isomorphism of order h' > k + 1, it follows that
O(k)(u) + 0(l)(v)
0(k+1)(u
+ v')
0(k+1)(u' + v)
O(k)(u') + O)(v),
and so
O(k)(u)
kA-IAandd'-u'-v'EkA-IA.If*(d)-*(d'),then
O(k)(u) - 0(')(v) - O(k)(u') - 0(')(v ),
238
8. Freiman's theorem
and so
o(k+1)(u
This implies that u + v' - u' + v, and sod - d'. Thus, I/r is a one-to-one correspondence.
W e shall prove that >i is a Freiman isomorphism of order h. For i - 1, ... , h,
let dl, d; E kA - IA and let dl - ul - vi and d,' - u'1 - v;, where u1, u' E kA and
V. V' E 1A. Then
if and only if
Eh(k+1)A
if and only if
0(h(k+4))(u + ... + uh + VI + ... + Vh )
if and only if
0(k)(u 1) + ... + O(k)(uh) + O(1)(v'1) + ... + (1)(vh)
if and only if
00,)+...+*(dh')-
*(d))+...+*(dh) -
8.3
Bogolyubov's method
Let m > 2. If x1 == y1
Ilxll < 1 /4 if and only if cos 27rx > 0 if and only if 9l(e2"") > 0. If x, y E Z
and x = y (mod m), then llx/muI - IIY/mll It follows that this "distance to
the nearest integer" function is well defined on congruence classes modulo m.
Similarly, the exponential function e2"'I is well defined on congruence classes
modulo m. If g E Z/mZ and x is an integer in the congruence class g, we define
Ilg/mll - Ilx/mll and e2"'g/'n - e2j'O"'. For r1, ... , rk E Z/mZ and e > 0, we
define the Bohr neighborhood
M
efori-1,...,n
239
Theorem 8.6 (Bogolyubov) Let m > 2, and let A be a nonempty subset ofZ/mZ.
Define X E (0, 11 by Al I- Am. For some positive integer n < 1-2, there exist
pairwise distinct congruence classes ri, r2, ... , r,, E Z/mZ such that r1 - 0 and
X,(8) - e2rr,rg/m,
This function is well defined on congruence classes r and g modulo m, and Xo(8) -
SA(r) - J Xr(a)
e2nira/m
aEA
aEA
Then
E ISA(r)12 -
rEG
rEG a.a'EA
Let g E G. Then
e22rir(g-a,-a2+a)+a')/m,
E IS., (r)14Xr(g)
rEG
rELG
a,.n2.a).a,EA
and this sum is nonzero if and only if g has at least one representation in the form
g - a1 + a2 - a3 - a4, that is, if and only if g is in the difference set 2A - 2A. Let
<JIAI}.
: E ISA(r) 14
rER2
rER2
<
AIA12 E ISA(r)12
rER2
<
XIA12 E ISA(r)I2
rEG
AIAI2.l-11A12
IAl4.
240
8. Freiman's theorem
(xr(g)) -
- cos(2nrig/m) > 0.
It follows that
`.R (reG
ISA(r)14Xr(g)
ISA(r)14Xr(g))
IA14+1R
\rER2
>
1A14 - E ISA(r)14Xr(g)
>
0.
rER2
Therefore,
E ISA(r)14Xr(g) 7(0
rEG
rER,
In
V. We write u - v
(mod m) if u, - v;
241
For i - 1, ... , n, let r, also denote a fixed integer in the congruence class
ri E Z/mZ.Let
E Z" fori - I__ n. Then
(ri,...,r,,,m)- 1.
(8.3)
Let A be the set of all vectors u E Z" such that u = qr (mod m) for some
q-0,1,...,m-l. Then
",-i
A - U(qr+M).
9-0
det(A) -
det(M) - m"-1
[A: M)
Let K c R" be the cube consisting of all vectors (xi, ... , x,,) such that Ixi I < 1 /4
f o r i - 1, ... , n. Then K is a convex body symmetric with respect to the origin,
and vol(K) - 1/2". Let A,...... ,, be the successive minima of K with respect
to the lattice A, and let b1, ... , b be a corresponding set of linearly independent
vectors in A. Then
bi -(bi,,...,b;,,) E A,K n A
for i - 1, ..., n. It follows from Minkowski's second theorem (Theorem 6.6) that
X, ...,X,+ <
2" det(A)
vol(K)
Since
biE)liK(xi,...,x,,)ER":Ixi1 <4fori-1,...,n}.
it follows that
242
8. Freiman's theorem
b,j _- Q1rj
fori, j = 1,...,n.Let
and
Then
xrj _
xjqjrj
x/b,1
(mod m),
and so
l'I m
bijI
4n
1
where -1; < x; , y, < 1,' fori = 1, ... , n. Let z1 = x, - y1. Then Iz; I < 21; and
if
243
It follows that
n
gjrjzi - rbitzi = 0
(mod m)
E b;; z;
<_ E IbijIIz,I
i-,
i-I
(-4 ) (21i')
n
- 2n
< m,
it follows that E", bid z; - 0 for j - 1. ... , n, and so
Ezibi -0.
i-,
Since the vectors b, are linearly independent, we conclude that z; - 0 for all i, and
so
,gn;11,. ,ln).
Q(a;gl,
Moreover,
IQI
!, ..ln
In
lnI
(
(fl
/li-,
l n n (4W-')-'
m
(4n)n
244
8. Freiman's theorem
Theorem 8.8 Let p be a prime, and let R be a nonempry set of congruence classes
modulo p with I RI = Xp. For some positive integer n < ,L-2 there exists a proper
n-dimensional arithmetic progression Q such that
Qc2R-2R
and
4
Proof. If Z/pZ - 2R - 2R, let n = I and Q be the 1-dimensional arithmetic
/X:
4-(4)
f o r every x E (0, 1 ].
B=B(r,,...,r,,;1/4)c 2R-2R.
Since B(0; 1/4) = Z/pZ, we must have n > 2, and so
(ri,..-,r,,,p)=1.
By Theorem 8.7, there exists a proper n-dimensional arithmetic progression Q
such that Q c B and IQI > Sp, where
(X2)1/;12
=(4n) -
8.4
Theorem 8.9 (Ruzsa) Let W be a finite nonempry set of integers. Let h > 2 and
D - Dh.r,(W) - hW - hW.
For every
245
Proof. Let m > 4h I DI, and let p be a prime number such that
Let 1 < q < p - 1. We shall construct a map Wq : Z -. Z/mZ, and then prove
that for some q there is a subset W' of W such that I W ' I ? I W I / h and oq restricted
to W' is a Freiman isomorphism of order h. The map cbq will be the composition
of four maps:
where a, fiq, y, and 8 are defined below.
Let a : Z -> Z/pZ be the natural map that sends w to w + pZ. Since a is a
group homomorphism, it is also a Freiman homomorphism of order h. Although
a is not a group isomorphism, we can show that a restricted to W is a Freiman
isomorphism of order h. Let w,, ... , wh, wi, ... , wti E W, and suppose that
Then
and so
(mod p).
Since
<2hmaxIwI <p,
V,E W
it follows that
h.Fori-1,...,h,let
U'-Y-ir(i-1)(p-1) i(Ph 1)cZ/pZ.
246
8. Freiman's theorem
Since
[O,p-
1],Ur(i1)(P-1)
it follows that
i(p
-1)l
h
JI
Z/pZ-UUi.
i-1
in Z/pZ, then
(mod p)
in Z. Since
Y (u i + PZ) + ... + Y (uh + PZ) E [(i - 1)(P - 1), i (P - 1)]
and
it follows that
p-1,
and so
y(u]
Thus, y is a Freiman homomorphism of order h. Conversely, if
y(u I + pZ) +
+ y (uh + pZ)
in Z, then
fori -
h. Then
W - Uh Wi.q,
and so
IW;.gI>IWI
1q(w)-wq-[
IP E [0, P - 11
247
Freiman homomorphism of order h. We shall prove that there exists at least one
q E [ 1, p - 1 ] such that b restricted to V. is a Freiman isomorphism of order h.
isomorphism of order h. Then there exist integers VI , .... Vh, vi , ... , u6' E Vq
[0, p - 1 ] such that
f V'
but
S(vi +
+ uh)
- WO +
+ S(vh)
Define
Iv'I<h(p-1)<hp <mp
(8.4)
(8.5)
and
but
v'
0.
(8.6)
w'-(w)
Then W* E D - hW -hW.Fori - 1,...,h,
vi = wiq
(mod p)
w;q
(mod p);
and
v;
hence
(8.7)
248
8. Freiman's theorem
v* - 0 (mod p).
(8.8)
Since p is prime and 1 < m < p, we have (m, p) - 1. Then congruences (8.5)
and (8.8) imply that
v* - 0 (mod mp).
Since Iv* I < mp by (8.4), it follows that v* = 0, which contradicts (8.6). Therefore,
w* $ 0 (mod p).
Recall that y(w*q + pZ) is the least nonnegative integer in the congruence class
w*q + pZ. By (8.5) and (8.7),
-h<x<h-1.
Thus, if q E [ 1, p - I] and S : V, --> Z/mZ is not a Freiman isomorphism of
order h, then there exist integers w* E D and X E [-h, h - 1] such that w* # 0
(mod p) and
y(w*q + pZ) +xp 0 (mod m).
(8.9)
Let us count the number of triples
(q, w*, x)
that satisfy these conditions. Choose an integer x E [-h, h - I). There are 2h
such choices. Since p > m, the congruence
y+xp =- 0 (mod m)
has at most
(;_i.) +l 2(p1)
m
-p-
249
Therefore, at least one integer q E [ 1, p - 1 ] occurs in none of the triples, and for
this q the map
8:Vq=8,,(W)-.Z/mZ
is a Freiman isomorphism of order h. Let W' = W,. Since
Bq:W'-*Vq, CV,,CZ
is also a Freiman isomorphism of order h, it follows that there is a Freiman isomorphism of order h from W' into Z/mZ. Moreover, I W'I > I W11 h. This completes
the proof.
Theorem 8.10 Let c, cl, and c2 be positive real numbers. Let k > 1, and let A
and B be finite subsets of a torsion free abelian group such that
clk < JAI, IBI < c2k
and
IA+BI <ck.
Then A is a subset of an n-dimensional arithmetic progression of length at most
lk, where n and 1 depend only on c, c1, and c2.
cj6IWI.
Bertrand's postulate in elementary number theory states that for every positive
integer n there exists a prime number between n and 2n. Let n - 32ID8.g(W)I.
Then there is a prime number p such that
I W I < 321 W I < 321 D8.8 (W) I < p < 641 Dg.s(W) I < 64c361 W 1.
By Theorem 8.9 with h - 8, there exists a set W' c W such that I W'I ? I W I/8
and W' is Freiman isomorphic of order 8 to a set R of congruence classes modulo
p. Define A E (0, 1 ] by Ap - I R 1. Then
8 64c36'
250
8. Freiman's theorem
and so
n, <
and
Since 8 - 2(2 + 2), it follows from Theorem 8.5 that the difference sets 2R - 2R
and 2W' - 2W' are Freiman isomorphic of order 2.
The sets W and A are Freiman isomorphic of order 32 and thus also of order 8.
Let A' be the image of W' under this isomorphism. By Theorem 8.5, the difference
sets 2W'- 2W' and 2A' - 2A' are Freiman isomorphic of order 2, and so 2R - 2R
and 2A' - 2A' are Freiman isomorphic. Let Q, be the image of Q' under this
isomorphism. By Theorem 8.4, the set Q, is a proper n,-dimensional arithmetic
progression such that
Q, C2A'-2A'C2A-2ACG
and
n21Q1l
Ja;+Q,I
M2
U(a; + Q0)
IA*+Qll
<
13A-2AI
:5
C;IAI.
<
c31Al
Then
n2
IQJI
8.5 Notes
251
C3IAI
SIAI
=
c3(4n1)"'.
<2fori=1,...,n2}
of length 1(Q2) = 2"2. Since the set A* is maximal, for every a E A there is an
a, E A* such that
(a+Q1)n(a;+Ql) 1o,
and so there exist integers q, q' E Q 1 such that a + q - a, + q'. Then
n=n1+n2
whose length satisfies
11(Q)
1(Q2)1(QI-QI)<222, ()4c2k
=2(-_)4C2k.
cl
where n and 1 depend only on c, c1, and c2. This completes the proof.
Freiman's Theorem 8.1 is the special case of the preceding result, when A is a
finite set of integers and B = A.
8.5
Notes
8. Freiman's theorem
252
Let h > 3. It is not known how to extend Freiman's theorem to the h-fold sum
hA. We would like to find a condition of the form JhAJ < cIAJ" that implies
something about the structure of A. If u = 1, then IhAJ < clAJ and 12AI < IhAl
imply that 12A I < cl A J, so Freiman's theorem applies directly. On the other hand,
the condition JhAt _< clAl"-1 is not sufficient to restrict the structure of the set
A (see Exercise 12). We can formulate many open problems of this kind. For
example, does there exist S > I such that if 13AI < clAI''s then the structure of
A is in some sense determined?
Freiman's theorem first appeared in a short paper [53] in 1964 and in a 1966
monograph [54]. Freiman published a revised proof in the proceedings of the New
York Number Theory Seminar [56]. Bilu [9] has a different version of Freiman's
original proof. Ruzsa's proof appears in [113] and (115]. Bogolyubov's theorem is
part of his "arithmetic" proof (I I ] that every almost periodic function can be uniformly approximated by trigonometric polynomials. Expositions of Bogolyubov's
method appear in Jessen [72] and Maak [82].
8.6
Exercises
4. (Freiman (54]) Let A = (0, 1, It + 1) and B = (0, 1, h + 2). Prove that A and
B are Freiman isomorphic of order h but not of order h + 1.
8. Let A be a finite subset of an abelian group, and let k - JAI. Suppose that
8.6 Exercises
253
Show that A is not a large subset of a multidimensional arithmetic progression, that is, show that there do not exist numbers n = n(ci, c2) and
I = 1(ci , C2) such that A C Q, where Q is an n-dimensional arithmetic
progression and I Q I< I I A I.
9. Let 0 : Z/mZ --> Z be the map that sends each congruence class to its least
nonnegative residue. Show that 0 is not a Freiman homomorphism of order
2.
10. Let A be a finite set of lattice points in the plane whose elements do not all
lie on a line. Prove that there does not exist a set B of integers such that A
and B are Freiman isomorphic of order h for all h > 2.
11. Let A be a set of integers. Let h > 2, and let D = hA - hA. Prove that there
exists a set A" C A such that IA"I > IAI/h2 and A" is Freiman isomorphic
of order h to a subset of [1, 21DI].
(Hint: Use Theorem 8.9.)
12. Let the set B of nonnegative integers be a basis of order 2, and let A B fl [0, n]. Prove that
13A1
cj1A12,
9
Applications of Freiman's theorem
9.1
Many theorems and conjectures in combinatorial number theory are about sets of
integers that contain finite arithmetic progressions. In this chapter we use Freiman's
theorem to solve two such problems. The first is to prove that if A is a sufficiently
large set of integers such that 12AI < cIAI, then A contains a long arithmetic
progression. This is done in the next section. The second problem is to prove that a
set of integers that contains many three-term arithmetic progressions must contain
a long arithmetic progression. The proof uses a beautiful theorem of Balog and
Szemeredi that is a kind of "density" version of Freiman's theorem.
9.2
The most famous result about arithmetic progressions is the following theorem
of Szemeredi. Let S > 0 and t > 3. There exists an integer l0(8, t) such that if
1 > l0(8, t) and A is a subset of [0,1 - 1J with Al I> 81, then A contains an
arithmetic progression of length t The following lemma is a simple consequence
of this result.
Lemma 9.1 Let 6 > 0 and t > 3. There exists an integer l0(8, t) such that if
Q is an arithmetic progression of length I in a torsion free abelian group and B
is a subset of Q with I BI > 81 and l > lo(8, t), then B contains an arithmetic
progression of length t.
256
Q-(a+xq:0<x <l).
Let
a+(a'+Yq')q -a"+Yq" E B
for 0 < y < t. Thus, B contains an arithmetic progression of length t.
Theorem 9.1 Let c > 2 and t > 3. There exists an integer ko(c, t) such that if A
is a subset of a torsion free abelian group, I A I > ko(c, 1), and I2A 1 < cI A 1. then
A contains an arithmetic progression of length at least t.
Proof Let IAI - k. By Freiman's theorem (Theorem 8.10), there exist integers
<lifori-1,...,n}.
Then
<1(Q)-1112...1 <1,;,
and so
1 > kIIn .
Let Y be the set of all lattice points
0<y' <li
fori-1,....n-1. Then
IYI
-1112...1-I
257
ACQ=UL(y),
yEY
it follows that
A- U(L(y)nA)
yEY
and so
k- JAI <EIL(y)nAl.
yEY
We compute a lower bound for the average cardinality of the intersections of the
arithmetic progressions L(y) with the set A as follows:
ryEY IL(y) n AI
IYl
- li ... ,,-I - l -
kll"
1
ki
IL(y)nAl> 1 .
Let
where l0(l/1, t) is the integer constructed in Lemma 9.1. If IAI - k > ko(c, t),
then L(y) is an arithmetic progression of length
9.3
Let A and B be nonempty subsets of a torsion-free abelian group, and let IAI
! B I= k. For W C A x B, let
S(W) _ (a + b : (a, b) E W).
In particular,
S(A x B) - A + B.
258
Freiman's theorem states that if IS(A x B)I < ck, then A is contained in an
n-dimensional arithmetic progression Q whose length 1(Q) satisfies 1(Q) < lk,
where n and 1 are parameters that depend only on c.
Balog and Szemeredi [6] proved a Freiman-type result for large subsets of
A x B. They showed that if W C A x B, I W I > c1k2, and IS(W)I < c2k, then
there exists a set A' C A such that IA'I > c,k and I2A'I < c2k, where c, and c2
are positive constants that depend only on cl and c2. It follows that
12A'I < cZIkI -
of the vertex set of a graph. Let G - (V, E) be a graph, or, more precisely,
an undirected graph with loops but with no multiple edges. Then V is a finite
set of vertices and E is the set of edges, where each edge is a set {v, v'} of not
necessarily distinct elements of V. The vertices v, v' are called the endpoints of
the edge e - {v, v'), and an edge e is adjacent to a vertex v if v E e. The degree of
a vertex v is the number of edges adjacent to v. There is at most one edge between
any two vertices of the graph.
Let A and B be subsets of V. We denote by e(A, B) the number of edges with
one endpoint in A and the other endpoint in B. If A and B are disjoint nonempty
sets, we define the density of edges between A and B by
d(A, B) =
e(A, B)
IAIIBI '
Lemma 9.2 Let G - (V, E) be a graph, and let A and B be disjoint nonempty
subsets of V. If A' C A and B' C B satisfy
IA'I
IB'I
>
>
(1 - 8)IAI,
(1 - s)IBI,
<
<
28
43
(1
8)
259
IB"I
8IBI, and
e(A, B)
<
e(A',B')+IAIIB"1+IA"IIBI
<
e(A', B')+28IAIIB1.
It follows that
d(A, B)
e(A, B)
<
IAIIBI
e(A', B')
+ 2S
IAIIBI
<
e(A', B')
IA'IIB'I
+2S
d(A', B')+26
<
d(A' , B') +
23
(1 -8)2'
and so
26
- 8)2'
Similarly,
e(A', B')
d(A', B')
IA'IIB'I
e(A, B)
IA'IIB'I
e(A, B)
(1 - 8)21AIIBI
d(A, B)
(I
- 8)2
and so
<
d(A, B) (
(1 - 8)2
-1
260
(1-8)2-1
28
(1- 8)2
Therefore,
I
288)2
(1
and
If 0 < 8 < 1/2, then 1/(1 - 8)2 < 4. This completes the proof.
x
n
;-
X3 >
(9.1)
;-t
Form-1,...,n-1, let
m
m x; n Fx;
Then
:ti 2 >
Proof. Let Si (n) -
mnA2
(9.2)
;-1
n - m
(i_i
(x,
(X2
;-I
S,(n))2
n
SI(n)2 1
+
J
- 2x;Si(n)
n2
n
nS2
S2(n) n
S1(n)2
S2(n) -
it follows that
S2(n) ? S, (n)2
n
n2
S2(n) - S2(m)
xz
> x;
i-,"+i
"
n-m
n-m
and so
S2(n)
(Si(n) - S, (M))2
n-m
M
S, (n)2
nS, (m)2
n-m
n-m
m(n - m)
S, (n)2
mS, (n)2
n(n - m)
n-m
nS, (m)2
m(n - m)
S,(!)2 + mn
n
n-m
$,(n)2
mn&2
n-m
(S,(n)
A - UA; S V
i-I
B-UBj CV,
i.,
where
IA1I-a> I
fori = 1,...,q,
IB;I - b> I
forj-1,...,r,and
A, fl B - - 0
S, (m)
m
261
262
(9.3)
qr ;-, j-,
Let 0 < 0 < 1, and let q' and r' be integers such that 0 < Oq < q' < q and
1 r,c,e(A;,Bj)
E E
qr ;-, j-t d(A;, Bj)
9r ;_, j_,
IA,11B;1
t te(A,,Bj)
garb
-, j-1
e(A, B)
IAIIBI
d(A, B).
Similarly,
q,
r'
qr,
Bj)-d(A', B').
-1
j-1
Then
A-
9'
r'
-EEd(A,.Bj)-q-r,EEd(A,,Bj)
-, j-,
d(A, B) - d(A', B').
;-i j-1
!
qr
/1 )
>d(A;. Bj)2
j_,
i-1 j-1
d(A, B)2.
This proves the first inequality.
q'r'
>
gr02
> ez
qr - q'r' - qr - q'r' -
d(A;.B1)\11/
(9.4)
263
To obtain the second inequality, we apply (9.2) of Lemma 9.3 with n - qr and
m - q'r'. This gives
1
n %2
dAB
qr
i-I j-1
q'r'i2
qr - q'r'
d(A, B)2+92A2
d(A, B)2 +92(d(A, B) - d(A', B'))2.
>
Let G - (V, E) be a graph, and let P be a partition of the vertex set V into
m + I sets Co, C1..... Cm. The partition P will be called equitable if ICs I - IC, I
for I < s < t < m. The set Co is called the exceptional set of the partition. The
partition density of the equitable partition P is defined by
d(P) - 12
d(C,, C,)2.
I <s <I Cm
0<d(P)<2.
Let A and B be disjoint nonempty subsets of the vertex set V, and let e > 0.
The pair (A, B) will be called E-regular if the conditions
YcB,IYI>EIBI
imply that
and if the pair (C.,, C,) is E-regular for all but at most Em2 pairs (C C,) with
1<<s<t<m.
The following result is the heart of the proof of the regularity lemma.
Lemma 9.5 Let 0 < e < 1, and let the integer m satisfy
4m > 210E-5.
264
for s - 1, ... , m. If the number of e-irregular pairs (C,, C,) with 1 < s < t < m
is greater than em2, then there is an equitable partition P' of V into m4"' + I
classes such that the exceptional class has cardinality less than
k
ICol+4"',
and the partition density of P satisfies
q2-42n' <IC,I-eq+r<(e+1)q,
where
q - [I eSI].
Let 1 < s < t < m. If the pair (C C,) is e-irregular, then we choose sets
X,(t) c C. and X,(s) C C, such that
IX,(t)I
elC,l,
(9.5)
IX,(s)I
eIC,I.
(9.6)
and
(9.7)
Id(C C,) - d(X,(t), X,(s)) I ? e.
If the pair (C C,) is s-regular, let X,(t) - X,(s) - 0. Thus, for each s - 1, ... , in,
we have constructed m - I sets
X,(1),...,X,(s- 1),X,(s+1),...,X,(m)
contained in C,. These sets determine a partition of C, into 2"-' pairwise disjoint
sets (some of which may be empty) in the following way. Let A - 10, 1"'-' bethe
set of all (m- I)-tuplesof 0s and Is. Then J A I - 2"'-' . For A - (11 .... , A,_, , )L,+, ,
... , k") E A, let Y,().) consist of all v E C, such that u E X,(j) if Aj - I and
uX,(j)ifkj -0.
265
We shall use the 2ni-1 sets Y, ()) to construct an equitable partition P' that will
consist of m4"' sets of cardinality e and an exceptional set of cardinality less than
IC01 +k/4"'
In each set Y,(X), we choose
qa-IIY.(A)Il
HI
LL
pairwise disjoint sets, each of cardinality exactly e. Let YT(A) be the union of these
qa sets. Then
IY5(A)\Y,(A)I <e.
Since the set
C., \ UREA Yt(A)
;LEA
kEA
c C'.
Cs =
Then
Co - V\U"- ICS
V \U":IC0
and
q
hence
fit
ICOI
ICOI+EICs\CsI
s_l
I"
I
<
ICoI+-EIC.5I
q s_I
IV\Col
<
IC01+
_<
k
ICoI + q,ll
q
.
266
Let P' be the partition of V that consists of the mq + 1 = m4" + I sets C(i)
for I < s < m and 1 _< i < q, together with the exceptional set C,'. It remains to
prove the partition density inequality
d(P') > d(P) + 32.
Since
IC.,\Csl-r<e<ICI
q
`I-q)IcSI,
ES
27 < 4
and
16
64
for 1 < s < t < m. Applying inequality (9.3) of Lemma 9.4 with q - r, Ai - C ' (i ),
and Bj - C,'(j ), we obtain
q2
> d (C- C, )2
- 64
ES
the sets in the partition P that are contained in YS (A) for some Y, (A) c X., , and let
q
X, - U C (i ).
Let E denote the sum over all X E A with A, - 1. Then
267
Since
IXI\X,I
IY,(A)I - IX:I
(-
[IY.c(A)I])
< Ee
2",-2e
2m-21Cs I
q
2-'n-2IC sI
<
2-m-2e-' IX tI
q -' X22-2e -' I Xs I
<
(e52-10)1/22-2e-'IX.sI
<
2-7EIX.cI,
it follows that
Ix I
>
(1 - 2-7e)
e
IX.I I
(1 -2 -7E)e
e
ICI I
>
(1 -2 -7)eq
eq
2
Similarly, let X; be the union of the r' sets C;(1), ..., C,(r') of the partition P'
that are contained in X,. Then
-.
r > eq
2
Therefore,
16 < 4'
268
<
4+Id(C,,C,)-d(X,,X,)I+4
<
and so
C,,(j))2
d(C,(i),
>
>
>
For I < s < t < m, let X(s, t) - I if the pair (C,, CI) is e-irregular, and let
X(s, t) - 0 if the pair (C,. C,) is s-regular. Then
E X(s, t) > 6m2
1<s<,<m
and
q
q-2
i. j-I
d(C;(i).C,(j))2+
(mq)-2
I<s<,<n,,.j-1
m-2
Eq
I<,<t<m
d(C,(i),Cs(j))2
1<i<j<q
i.j-I
d(C'(i), C,(j))2
m-2
> m2
s-1
(')65/64+(5m2)(54/l6))
\ I<s<<m
m-2 E (d(C.,,C,)2-m-2(2)61/64)+m-2m2e1/16
1<,<,<n,
>
d(P)+61/32.
269
Theorem 9.2 (the regularity lemma) Let 0 < s < 1 and m' > 1. There exist
numbers K - K(e, m') and M - M(e, m') such that, if G - (V, E) is a graph
with I VI > K vertices, then there exists an e-regular partition of V into m + I sets,
and
41'tl >
max(210e-5
2,'+2e-I},
and let
m,+1 - m,4m'
M - WE, m) - m,'
and
Let G - (V, E) be a graph with IVI - k > K. Let T be the set of nonnegative
integers t with the property that there exists an equitable partition P of V into
m, + I sets such that
(9.8)
(9.9)
ICI
IVI - ICoI
M,
270
fors=l,...,m,and
411" >4"'">2'0E-5.
Since the exceptional set of the partition P satisfies ICoI < ek, it follows that, if
the partition P is not E-regular, then the number of c-irregular pairs (C.,, C,) is
greater that Em2. Lemma 9.5 implies that there exists an equitable partition P' of
V into m, 4"', + 1 - m,+i + 1 sets such that
d(P') > d(P)+E5/32 > (t + 1)ES/32
and the exceptional set Co of P' satisfies
ICoI
<
ICoI+k/4`1
<
<
<
<
<
This implies that t + I satisfies conditions (9.8) and (9.9), which contradicts the
maximality oft. Therefore, P is E-regular. This completes the proof.
Let k > K, and let A and B be finite subsets of an abelian group such that
Ak<IAI<k
and
Ak<IBI</.tk.
Let W be a subset of A x B such that
! W I > Sk2
271
and
S=S(W)={a+b:(a,b)EW}
satisfies
(9.10)
In particular,
12A'I < cIA'I,
where c = c2/c',.
Proof. Let
0<e<min11,
and
m'
S2
62
1614a(122+2tca)' 6 43a}
- (11
IL- +1>
s
(9.11)
Let M(e, m') and K(e, m') be the numbers constructed in the regularity lemma.
Let M - M(e, m') and K - K(e, m')/,L. Then M and K depend only on S, a,),
and .
For S E S, let r(s) denote the number of representations of s in the form a + b,
where (a, b) E W, that is,
r(s)-I{(a,b)E W :a+b=s}1.
For each a E A there is at most one b E B such that a + b - s, and so
1 <r(s)<IAI<Ak
for alI s E S. Let
C3->0
2a
S
and
S'={sES:r(s)>c3k}.
Then
Sk2
<
WI
E r(s)
'ES
r(s)
r(s) +
sES\S'
<
AES'
<
<
ac3k2+kJS'J,
272
and so
(S - ac3)k
Sk
Let
W'=((a,b)EW :a+bES').
Then
S23k2
= cake,
,ES'
where
c'a =
S2
SC3
2
4a
Let G = (V, E) be the graph with vertex set
V=AUB
and edge set
E={(a,b):(a,b)EW'}.
The sets A and B are not necessarily disjoint, and
22
cake
<
I W'I
Since IVI > Ak > AK = K(E, m'), the regularity lemma implies that there exists
a partition of V into m + I pairwise disjoint sets Co, C1, ... , C,,,, where
m'<m<M,
ICoI <EIVI <E2k,
and
(1 -E)Ak
<
(1 -e)IVI
<
IC, I
nt
IVI - ICol
m
IVI
m
2k
m
for i = 1, ..., m. Moreover, there are at most Em2 pairs (C;, C1) with I < i <
j < m that fail to be E-regular.
We shall construct a subset E' of the edge set E by deleting the following four
classes of edges from E:
273
1. Delete all edges with at least one endpoint in Co. Since the degree of a vertex
is at most I V 1, it follows that the number of edges removed from E is at most
ICoilV1 s elVI2
2. For i - 1, ... , m, delete all edges with both endpoints in the same set C; .
The number of edges removed from E is at most
1C;1z <m(m)
I vl
Iv12
= m
<
Iv12
m'
<e1V12.
3. Let I < i < j < m. If (C;, Cj) is not an s-regular pair, delete all edges
between C; and C. Since e(C1, Cj) < IC, I ICj I s I V I2/m2 and there are at
most em2 irregular pairs, the number of edges removed from E in this way
does not exceed
CM 21V12
-sIV12.
m2
4. We use the set S' to "color" the edges of E by assigning to the edge (a, b) E E
the color s - a + b E S'. For each i - 1, ... , m and for each colors E S',
we consider the number of edges of color s with at least one endpoint in the
set C. If this number is less than eIC;1, then we delete all these edges. The
total number of edges of all colors deleted from the sets C1, ..., Cm is at
most
IS'I
i-I
Let E' be the set of edges remaining after the four deletions just described. Then
IEI - IE \ E'I
>
CA'
2
-(l2 2+2 a ) e k2
(C4
-02 A2 +2a)e) k2
- (_
- (122 + 2a)e) k2
8a
_
82k2
I6a
c5k2,
since
e<
S2
161ta (l 22 + 2a)
274
by (9.11), and
C5 -
82
16a
>0.
All of the edges in E' are edges between e-regular pairs (C5, C,), where 1 <
s < t < m. Let e'(C,, C,) (resp. e(CS, C,)) denote the number of edges in E' (resp.
in E) with one endpoint in CS and the other endpoint in C,. Since there are at most
(Z) c-regular pairs, there must exist some e-regular pair, say, (C,, C2), such that
the number of edges in E' between C, and C2 is
c5k2
IE'I
csk2
Therefore, by (9.11),
e(C,, C2)
d(C1, C2)
ICI I IC21
e'(C1, C2)
IC1IIC211
(c,k
(2M4k)-2
m22)
Cs
442
V
643a
>
C.
Let S" be the set of colors of edges in E' between C, and C2:
m2 - M2
We shall prove that the sumset 2S" - S" + S" is small. Lets' E 2S". We fix some
representation s' - s, +s2 E 2S", where s, E S" and S2 E S". Since s, is the color
of an edge that has "survived" step 4 of the deletion process just described, there
are at least eIC, I edges in E' of color s, with exactly one endpoint in the set C1.
Let X, be the set of these endpoints. Then
X,cC,
and
275
Similarly, there are at least a IC21 edges in E' of color S2 with exactly one endpoint
in the set C2. Let X2 be the set of these endpoints. Then
X25 C2
and
//
14 3a / -E-c7 >0.
Therefore,
e(XI, X2)
d(Xi, X2)IX1IIX21
c7c2ICI l IC21
c7s2(1 - s)2A2k2
m2
c7e2(1 - e)2k2k2
M2
cgk2.
Let (v,, v2) E E be an edge between the sets X, and X2, where v, E X, and
V2 E X2. Then there exist vertices v, E V and vZ E V such that (vI, V,) E E' with
Observe that
276
it follows that
4azk
l2S"I<-cZk.
C8
For b E B, let R(b) denote the number of s E S" such that s - a + b for some
a E A. Choose b' E B such that R(b') - max(R(b) : b E B}. Since S E S" c S',
we have r(s) > c3k and
C3C6k2
<
c3klS"I
< z r(s)
SES"
<
{(a,b)E W:a+bES"}l
l{(a,b)EAxB:a+bES"}l
E R(b)
be B
BIR(b)
fzkR(b').
Therefore,
R(b) >
c3c6k
- c', k.
Let
A'-{aEA: a +b'ES"}.
Then
A'+{b'}cS",
IA'I - R(b) > c,k,
and
Theorem 9.4 Let S, a, A, and s be positive real numbers. There exist positive
numbers c", c2, n, and K that depend only on S, a, A, and with the following
property. Let k > K, and let A and B be finite subsets of a torsion free abelian
group such that
Ak < JAI < pk
and
S(W) - {a + b :(a, b) E W)
277
satisfies
IAnQI>_c;IAI
and
IA n QI > c2IQI
Proof. This follows immediately from the preceding result and Freiman's theorem.
9.5
A conjecture of Erd6s
Erd6s conjectured that a set of integers that contains "many" three-term arithmetic
progressions must contain a "long" arithmetic progression. In this section, we shall
apply Theorems 9.1 and 9.3 to prove a quantitative version of this statement.
An arithmetic progression of length three is a set (a, b, c) such that b - a c - b 0. Two such arithmetic progressions (a, b, c) and (a', b', c') are distinct
if (a. b, c) ( (a', b', c'). A set of k integers contains at most k2 pairwise distinct
arithmetic progressions of length three.
Theorem 9.5 Let 8 > 0 and t > 3. There exists an integer k, (8, t) such that if
A is a set of k > k1 (5, t) integers that contains at least 8k2 distinct arithmetic
progressions of length three, then A contains an arithmetic progression of length
t.
Proof. Let A be a set of k integers, and let
(jai, b1,c,}:iE1)
be a family of
bi-a,-ci-bi>0.
a, + ci - 2bi
W-((ai,ci):iE1)CAxA.
IWI=I>8k2
278
and
S(W)={2b;:iE1}c{ 2b:bEA}=2*A.
It follows that
IS(W)I<12*AI=k.
We apply Theorem 9.3 with A - B and,l - - a = 1. If k > K = K (8), then there
exists a set A' C A such that IA'I > c,k and 12A'I < cIA'I, where c depends only
on S. By Theorem 9.1, if c, k > ko(c, t), then A' contains an arithmetic progression
of length t. This completes the proof.
9.6
<l;fori=l,...,n}
is called proper if I QI =1i ... 1 =1(Q). This means that every element of Q has
a unique representation. If Q is proper, then
It
and so I hQI < h"!1 .1, = h" I QI. Let {et, ... , e,,} be the standard basis for R",
let 11 , ..
1 be positive integers, and consider the parallelepiped
<l;fori=1,...,n}.
For every h > 2 there is a Freiman isomorphism of order h between the set of
lattice points Z" fl P and a proper n-dimensional arithmetic progression.
Every 1-dimensional arithmetic progression is proper, but it is easy, for every
n > 2, to construct examples of n-dimensional arithmetic progressions that fail to
be proper.
By Freiman's theorem, every finite set A of integers with a small sumset 2A is
a large subset of a multidimensional arithmetic progression, but it is not known
if A must be a large subset of a proper multidimensional arithmetic progression.
This can be called the "proper conjecture."
Conjecture 9.1 Let c, c1, and c2 be positive real numbers. Let k > 1, and let A
and B he finite subsets of a torsion free abelian group such that
IA+BI <ck.
Then A is a subset of a proper n-dimensional arithmetic progression of length at
most l k, where n and I depend only on c, ci , and c2, and n and I are both "small."
9.7 Notes
9.7
279
Notes
Let c > 2 and e > 0. Is it true that if A is a finite set of integers with Al I- k
sufficiently large and I2AI > ck, then A contains an arithmetic progression of
length kF? This would significantly strengthen Theorem 9.1.
Freiman [54, 55] and Ruzsa [113] studied sets with small sumsets that contain
three-term arithmetic progressions.
It is not known whether Theorem 9.3 remains true if inequality (9.10) is replaced
with the weaker condition
ISI <
ak2-d
for some 3 > 0. Nor is it known whether the theorem can be generalized to the
sum of h > 3 finite subsets of the integers or of h > 3 finite subsets of an arbitrary
abelian group.
The regularity lemma for e-regular partitions of the vertices of a graph is due
to Szemerddi [124]. He used a variant of this result in his proof [123] that every
infinite set of integers of positive upper density contains arbitrarily long finite
arithmetic progressions. Chung [20] and Frankl and R6dl [48] have generalized
the regularity lemma to hypergraphs. The version of Freiman's theorem for large
subsets of A x B was proved by Balog and Szemerddi [6] in the case that A - B
is a finite set of integers. The somewhat more general result given in this chapter
requires only minor modifications of their proof.
Laczkovich and Ruzsa [77] have applied Freiman's theorem to combinatorial
geometry. Let a, b, c, and d be four distinct points in the plane. Their cross ratio
is
-a
(a, b, c, d) - d-a
`-b
d-b
X -aP+B
for some a, b E C. Let
280
9.8
Exercises
1. Let S > 0 and let n and t be integers such that n > I and t > 3. Let
Q be an n-dimensional arithmetic progression in an abelian group. Prove
that there exists an integer m, (S, n, t) such that if the length of Q satisfies
I(Q) > m,(3, n, t) and if B is a subset of Q such that CBI > 31(Q), then B
contains an arithmetic progression of length t.
2. Let A and B be finite subsets of an abelian group such that I A I - B I - k.
Let S - A + B. Let r(s) denote the number of ordered pairs (a. b) E A x B
such that a + b - s. Suppose that
(a) Prove that there exist constants d, > 0 and d2 > 0 such that, if
S' - IS E 5 : r(s) > d,kr/z), then IS'I > d2k.
(b) Suppose that ISI < ak. Prove that there exist constants d3 > 0 and
d4 > 0 such that, if S' - IS E S : r(s) > d3k), then I S'I > d4k.
3. Let h > 2, and let A,, ..., Ah be finite subsets of an abelian group such that
1 A; I - k for i - 1, 2, ... , h. Let S - A, + +A". Let r(s) denote the number
x Ah such that a, +
of ordered pairs (a,, ... , a") E A, x
+ ah - s.
Prove the following:
(a) k < I51 < k".
and
. .
..;,
such that p, +
a - (h - 1) m.
+ p - 1. Prove that
2
2
p'x >
p'x'
9.8 Exercises
281
6. Let xi, ..., x,, be real numbers, and let p, , ..., p be positive real numbers
=1.Form =1,...,n-1, let P(m) pi and
such that
R,
I
P(m)
p;x;
Prove that
P(m)i
p; x?
P; x;
I - P(m)
7. Let S > 0. Let A be a set of k integers that contains at least Skz arithmetic
progressions of length 3. Prove that A contains a subset A' such that IA'I
c', k and 12A I < c' k, where c, and cz depend only on S.
References
[1] N. Alon and M. Dubiner. Zero-sum sets of prescribed size. In Combinatorics: Paul Erdo"s is Eighty, Colloq. Math. Soc. ]3nos Bolyai, pages 33-50.
North-Holland Publishing Co., Amsterdam, 1993.
[5] C. Bailey and R. B. Richter. Sum zero, mod n, size n subsets of integers.
Am. Math. Monthly, 96:240-242, 1989.
[6] A. Balog and E. Szemeredi. A statistical theorem of set addition. Combinatorica, 14:263-268, 1994.
[7] R. P. Bambah, A. Woods, and H. Zassenhaus. Three proofs of Minkowski's
second inequality in the geometry of numbers. J. Austral. Math. Soc., 5:453-
462,1965.
284
References
[111 N. N. Bogolyubov. Sur quelques proprietes arithmetiques des presqueperiodes. Ann. Chaire Math. Phys. Kiev, 4:185-194, 1939.
References
285
[28) J. A. Dias da Silva and Y. O. Hamidoune. A note on the minimal polynomial of the Kronecker sum of two linear operators. Linear Algebra and its
Applications, 141:283-287, 1990.
[34] P. Erd6s. On the arithmetical density of the sum of two sequences, one of
which forms a basis for the integers. Acta Arith., 1:197-200, 1936.
[351 P. Erd6s. On an elementary proof of some asymptotic formulas in the theory
of partitions. Annals Math., 43:437-450, 1942.
286
References
[42] P. Erdos and R. L. Graham. Old and New Problems and Results in Combinatorial Number Theory. L'Enseignement Mathematique. Geneva, 1980.
[43] P. Erdos and H. Heilbronn. On the addition of residue classes mod p. Acta
Arith., 9:149-159, 1964.
[44] P. Erd6s and E. Szemeredi. On sums and products of integers. In P. Erdos,
L. Alpar, G. Halasz, and A. Sarkozy, editors, Studies in Pure Mathematics,
To the Memory of Paul Turan, pages 213-218. Birkhauser Verlag, Basel,
1983.
[47] K. B. Ford. Sums and products from a finite set. Preprint, 1996.
[48] P. Frank] and V. Rodl. The uniformity lemmas for hypergraphs. Graphs
and Combinatorics, 8:309-312, 1992.
[49] G. A. Freiman. On the addition of finite sets. I. Izv. Vysh. Zaved. Matematika, 13(6):202-213, 1959.
[50] G. A. Freiman. Inverse problems of additive number theory. On the addition
of sets of residues with respect to a prime modulus. Doklady Akad. Nauk
SSSR, 141:571-573, 1961.
[51 ] G. A. Freiman. Inverse problems of additive number theory. On the addition
of sets of residues with respect to a prime modulus. Soviet Math.-Doklady,
2:1520-1522, 1961.
[53] G. A. Freiman.
158:1038-1041, 1964.
[55] G. A. Freiman. Foundations of a Structural Theory of Set Addition, volume 37 of Translations of Mathematical Monographs. American Mathematical Society, Providence, R.I., 1973.
[56] G. A. Freiman. What is the structure of K if K + K is small? In D. V. Chudnovsky, G. V. Chudnovsky, H. Cohn, and M. B. Nathanson, editors, Number
Theory, New York 1984-85, volume 1240 of Lecture Notes in Mathematics,
pages 109-134, New York, 1987. Springer-Verlag.
References
287
[57] G. A. Freiman. On the structure and number of sum-free sets. In Proceedings of the Journees Arithmetiques de Geneve, volume 209, pages 195-201.
Astdrique, 1992.
Theory of Set Addition, 7-11 June 1993, pages 99-108, Marseille, 1993.
CIRM.
[601
[651
[661 Y. O. Hamidoune. Subsets with small sums in abelian groups [I. The critical
pair problem. Preprint, 1994.
[70] B. Hornfeck. Berichtigung zur Arbeit: Ein Satz fiber Primzahlmenge. Mat.
Annalen, 62:502, 1955.
288
References
[73] X.-D. Jia and M. B. Nathanson. Addition theorems for or-finite groups. In
Proceedings of the Hans Rademacher Centenary Conference, volume 166 of
Contemporary Mathematics, pages 275-284, Providence, 1994. American
Mathematical Society.
[76] M. Kneser. Abschatzungen der asymptotischen Dichte von Summenmengen. Math. Z., 58:459-484, 1953.
[79] V. F. Lev. Representing powers of 2 by a sum of four integers. Combinatorica, 16:1-4, 1996.
[80] V. F. Lev. Structure theorem for multiple addition and the Frobenius problem. J. Number Theory, 58:79-88, 1996.
[81 ]
References
289
[93] M. B. Nathanson. Ballot numbers, alternating products, and the Erd6sHeilbronn conjecture. In R. L. Graham and J. Nesetril, editors, The Mathematics of Paul Erd5s. Springer-Verlag, Heidelberg, 1994.
[94] M. B. Nathanson. An inverse theorem for sums of sets of lattice points. J.
Number Theory, 46:29-59, 1994.
[95] M. B. Nathanson. Inverse theorems for subset sums. Trans. Am. Math. Soc.,
347:1409-1418, 1995.
290
References
M. B. Nathanson, editors, Number Theory: New York Seminar. SpringerVerlag, New York, 1996.
References
291
[125] A. 1. Vinogradov and Yu. V. Linnik. Estimate of the sum of the number
of divisors in a short segment of an arithmetic progression. Uspekhi Mat.
Nauk (N.S.), 12:277-280, 1957.
Index
cyclic subspace, 94
affine invariant, 16
alternating product, 97
arithmetic progression, 8
2-dimensional, 41
length, 243
multidimensional, 243
proper, 243, 292
ballot numbers, 85
Balog-SzemerEdi theorem, 283
basis for a group, 134
basis for a lattice, 122
Blichfeldt's lemma, 186
block, 151
e-transform, 44
equitable partition, 275
Erdos-Heilbronn conjecture, 81
exceptional set, 275
exponential sums, 65
body, 185
Cauchy-Davenport theorem, 46
Chowla's theorem, 45
convex, L43
convex body, 185
convex set, 184
critical pair, 55
Index
subgraph,222
magnification ratio, 215
minimal polynomial, 94
Minkowski's first theorem, 186
Minkowski's second theorem, L93
Nathanson's theorem, 3
nonnegative vector, 86
normal form, 2
normal vector, L41
parallelepiped, 246
partition, 31
partition density, 225
sublattice, L92
successive minima, 192
sumset, 1
symmetric group, 82
symmetric set, 185
Szemeredi's theorem, 267
wedge sum, 14
293
92
93
DUBROVIN/FOMENKO/NOvIKOv. Modem
Group Schemes.
SERRE. Local Fields.
Teichmtller Spaces.
III
2nd ed.
BROWN. Cohomology of Groups.
PIERCE. Associative Algebras.
Curves.
88
87
84
Theory.
83
78 BURRIS/SANKAPPANAVAR. A Course in
Universal Algebra.
79 WALTERS. An Introduction to Ergodic
81
82
95
76
77
73 HUNGERFORD. Algebra.
74 DAVENPORT. Multiplicative Number
75
Polytopes.
BEARDON. On the Geometry of Discrete
Groups.
Integral. Vol. 1.
117 SERRE. Algebraic Groups and Class
Fields.
118 PEDERSEN. Analysis Now.
121
122
Readings in Mathematics
123 EBBINGHAUS/HERMES et al. Numbers.
Readings in Mathematics
124 DUBROvIN/FOMENKO/NOVIKOV. Modern
A First Course.
Readings in Mathematics
130 DUDSON/POsTON. Tensor Geometry.
Course.
ADKtNS/WEINTRAUB. Algebra: An
Function Theory.
BECKER/WEISPFENNING/KREDEL. Gr6bner
145
Polynomial Inequalities.
162 ALPERINIBELL. Groups and
Representations.
163 DIXON/MORTIMER. Permutation
Groups.
164 NATHANSON. Additive Number Theory:
Programme.
167 MORANDI. Field and Galois Theory.
Many classical problems in additive number theory are direct problems, in which one starts with a set A of natural numbers and an
integer h>_2 and tries to describe the structure of the sumset hA
consisting of all sums of h elements of A. In contrast, in an inverse
problem, one starts with a sumset hA and attempts to describe
the structure of the underlying set A. In recent years, there has
been remarkable progress in the study of inverse problems for
finite sets of integers. In particular, there are important and beautiful inverse theorems due to Freiman, Kneser, Plunnecke, Vosper,
and others. This volume includes their results and culminates with
an elegant proof by Rusza of the deep theorem of Freiman that a
ISBN 0-387-94655.1
780387 +x6559