Plünnecke–Ruzsa inequality explained

In additive combinatorics, the Plünnecke–Ruzsa inequality is an inequality that bounds the size of various sumsets of a set

B

, given that there is another set

A

so that

A+B

is not much larger than

A

. A slightly weaker version of this inequality was originally proven and published by Helmut Plünnecke (1970).[1] Imre Ruzsa (1989)[2] later published a simpler proof of the current, more general, version of the inequality.The inequality forms a crucial step in the proof of Freiman's theorem.

Statement

The following sumset notation is standard in additive combinatorics. For subsets

A

and

B

of an abelian group and a natural number

k

, the following are defined:

A+B=\{a+b:a\inA,b\inB\}

A-B=\{a-b:a\inA,b\inB\}

kA=\underbrace{A+A+ … +A}ktimes

The set

A+B

is known as the sumset of

A

and

B

.

Plünnecke-Ruzsa inequality

The most commonly cited version of the statement of the Plünnecke–Ruzsa inequality is the following.[3]

This is often used when

A=B

, in which case the constant

K=|2A|/|A|

is known as the doubling constant of

A

. In this case, the Plünnecke–Ruzsa inequality states that sumsets formed from a set with small doubling constant must also be small.

Plünnecke's inequality

The version of this inequality that was originally proven by Plünnecke (1970) is slightly weaker.

Proof

Ruzsa triangle inequality

The Ruzsa triangle inequality is an important tool which is used to generalize Plünnecke's inequality to the Plünnecke–Ruzsa inequality. Its statement is:

Proof of Plünnecke-Ruzsa inequality

The following simple proof of the Plünnecke–Ruzsa inequality is due to Petridis (2014).[4]

Lemma: Let

A

and

B

be finite subsets of an abelian group

G

. If

X\subseteqA

is a nonempty subset that minimizes the value of

K'=|X+B|/|X|

, then for all finite subsets

C\subsetG

,

|X+B+C|\leK'|X+C|.

Proof: This is demonstrated by induction on the size of

|C|

. For the base case of

|C|=1

, note that

S+C

is simply a translation of

S

for any

S\subseteqG

, so

|X+B+C|=|X+B|=K'|X|=K'|X+C|.

For the inductive step, assume the inequality holds for all

C\subseteqG

with

|C|\len

for some positive integer

n

. Let

C

be a subset of

G

with

|C|=n+1

, and let

C=C'\sqcup\{\gamma\}

for some

\gamma\inC

. (In particular, the inequality holds for

C'

.) Finally, let

Z=\{x\inX:x+B+\{\gamma\}\subseteqX+B+C'\}

. The definition of

Z

implies that

Z+B+\{\gamma\}\subseteqX+B+C'

. Thus, by the definition of these sets,

X+B+C=(X+B+C')\cup((X+B+\{\gamma\})\backslash(Z+B+\{\gamma\})).

Hence, considering the sizes of the sets,

\begin{align}|X+B+C|&\le|X+B+C'|+|(X+B+\{\gamma\})\backslash(Z+B+\{\gamma\})|\\&=|X+B+C'|+|X+B+\{\gamma\}|-|Z+B+\{\gamma\}|\\&=|X+B+C'|+|X+B|-|Z+B|.\end{align}

The definition of

Z

implies that

Z\subseteqX\subseteqA

, so by the definition of

X

,

|Z+B|\geK'|Z|

. Thus, applying the inductive hypothesis on

C'

and using the definition of

X

,

\begin{align}|X+B+C|&\le|X+B+C'|+|X+B|-|Z+B|\\&\leK'|X+C'|+|X+B|-|Z+B|\\&\leK'|X+C'|+K'|X|-|Z+B|\\&\leK'|X+C'|+K'|X|-K'|Z|\\&=K'(|X+C'|+|X|-|Z|).\end{align}

To bound the right side of this inequality, let

W=\{x\inX:x+\gamma\inX+C'\}

. Suppose

y\inX+C'

and

y\inX+\{\gamma\}

, then there exists

x\inX

such that

x+\gamma=y\inX+C'

. Thus, by definition,

x\inW

, so

y\inW+\{\gamma\}

. Hence, the sets

X+C'

and

(X+\{\gamma\})\backslash(W+\{\gamma\})

are disjoint. The definitions of

W

and

C'

thus imply that

X+C=(X+C')\sqcup((X+\{\gamma\})\backslash(W+\{\gamma\})).

Again by definition,

W\subseteqZ

, so

|W|\le|Z|

. Hence,

\begin{align}|X+C|&=|X+C'|+|(X+\{\gamma\})\backslash(W+\{\gamma\})|\\&=|X+C'|+|X+\{\gamma\}|-|W+\{\gamma\}|\\&=|X+C'|+|X|-|W|\\&\ge|X+C'|+|X|-|Z|.\end{align}

Putting the above two inequalities together gives

|X+B+C|\leK'(|X+C'|+|X|-|Z|)\leK'|X+C|.

This completes the proof of the lemma.

To prove the Plünnecke–Ruzsa inequality, take

X

and

K'

as in the statement of the lemma. It is first necessary to show that

|X+nB|\leKn|X|.

This can be proved by induction. For the base case, the definitions of

K

and

K'

imply that

K'\leK

. Thus, the definition of

X

implies that

|X+B|\leK|X|

. For inductive step, suppose this is true for

n=j

. Applying the lemma with

C=jB

and the inductive hypothesis gives

|X+(j+1)B|\leK'|X+jB|\leK|X+jB|\leKj+1|X|.

This completes the induction. Finally, the Ruzsa triangle inequality gives
|mB-nB|\le|X+mB||X+nB|\le
|X|
Km|X|Kn|X|
|X|

=Km+n|X|.

Because

X\subseteqA

, it must be the case that

|X|\le|A|

. Therefore,

|mB-nB|\leKm+n|A|.

This completes the proof of the Plünnecke–Ruzsa inequality.

Plünnecke graphs

Both Plünnecke's proof of Plünnecke's inequality and Ruzsa's original proof of the Plünnecke–Ruzsa inequality use the method of Plünnecke graphs. Plünnecke graphs are a way to capture the additive structure of the sets

A,A+B,A+2B,...

in a graph theoretic manner[5] [6]

To define a Plünnecke graph we first define commutative graphs and layered graphs:

G

is called semicommutative if, whenever there exist distinct

x,y,z1,z2,...,zk

such that

(x,y)

and

(y,zi)

are edges in

G

for each

i

, then there also exist distinct

y1,y2,...,yk

so that

(x,yi)

and

(yi,zi)

are edges in

G

for each

i

.

G

is called commutative if it is semicommutative and the graph formed by reversing all its edges is also semicommutative.

Definition. A layered graph is a (directed) graph

G

whose vertex set can be partitioned

V0\cupV1\cup...\cupVm

so that all edges in

G

are from

Vi

to

Vi+1

, for some

i

.

Definition. A Plünnecke graph is a layered graph which is commutative.

The canonical example of a Plünnecke graph is the following, which shows how the structure of the sets

A,A+B,A+2B,...,A+mB

form a Plünnecke graph.

Example. Let

A,B

be subsets of an abelian group. Then, let

G

be the layered graph so that each layer

Vj

is a copy of

A+jB

, so that

V0=A

,

V1=A+B

, ...,

Vm=A+mB

. Create the edge

(x,y)

(where

x\inVi

and

y\inVi+1

) whenever there exists

b\inB

such that

y=x+b

. (In particular, if

x\inVi

, then

x+b\inVi+1

by definition, so every vertex has outdegree equal to the size of

B

.) Then

G

is a Plünnecke graph. For example, to check that

G

is semicommutative, if

(x,y)

and

(y,zi)

are edges in

G

for each

i

, then

y-x,zi-y\inB

. Then, let

yi=x+zi-y

, so that

yi-x=zi-y\inB

and

zi-yi=y-x\inB

. Thus,

G

is semicommutative. It can be similarly checked that the graph formed by reversing all edges of

G

is also semicommutative, so

G

is a Plünnecke graph.

In a Plünnecke graph, the image of a set

X\subseteqV0

in

Vj

, written

im(X,Vj)

, is defined to be the set of vertices in

Vj

which can be reached by a path starting from some vertex in

X

. In particular, in the aforementioned example,

im(X,Vj)

is just

X+jB

.

The magnification ratio between

V0

and

Vj

, denoted

\muj(G)

, is then defined as the minimum factor by which the image of a set must exceed the size of the original set. Formally,

\muj(G)=

min
X\subseteqV0,X ≠ \emptyset
|im(X,Vj)|
|X|

.

Plünnecke's theorem is the following statement about Plünnecke graphs.

The proof of Plünnecke's theorem involves a technique known as the "tensor product trick", in addition to an application of Menger's theorem.[5]

The Plünnecke–Ruzsa inequality is a fairly direct consequence of Plünnecke's theorem and the Ruzsa triangle inequality. Applying Plünnecke's theorem to the graph given in the example, at

j=m

and

j=1

, yields that if

|A+B|/|A|=K

, then there exists

X\subseteqA

so that

|X+mB|/|X|\leKm

. Applying this result once again with

X

instead of

A

, there exists

X'\subseteqX

so that

|X'+nB|/|X'|\leKn

. Then, by Ruzsa's triangle inequality (on

-X',mB,nB

),

|mB-nB|\le|X'+mB||X'+nB|/|X'|\leKm|X|Kn=Km+n|X|,

thus proving the Plünnecke–Ruzsa inequality.

See also

Notes and References

  1. Plünnecke. Helmut. Eine zahlentheoretische Anwendung der Graphtheorie. Journal für die reine und angewandte Mathematik. 243. 1970. 171–183. 10.1515/crll.1970.243.171.
  2. Ruzsa. Imre. An application of graph theory to additive number theory. Scientia, Series A. 3. 1989. 97–109.
  3. Candela. Pablo. González-Sánchez. Diego. de Roton. Anne. 1712.07615. A Plünnecke-Ruzsa inequality in compact abelian groups. Revista Matemática Iberoamericana. 35. 7. 2019. 2169–2186. 10.4171/rmi/1116.
  4. Book: Petridis, Giorgis. Combinatorial and Additive Number Theory. The Plünnecke–Ruzsa Inequality: An Overview. 101. 2014. 229–241. 10.1007/978-1-4939-1601-6_16. free. Springer Proceedings in Mathematics & Statistics. 978-1-4939-1600-9.
  5. Book: Tao. T.. Vu. V.. 2006. Additive Combinatorics. Cambridge. Cambridge University Press. 978-0-521-85386-6.
  6. .

This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Plünnecke–Ruzsa inequality".

Except where otherwise indicated, Everything.Explained.Today is © Copyright 2009-2024, A B Cryer, All Rights Reserved. Cookie policy.