Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ

È. Ä. Øêðåäîâ

È. Ä. Øêðåäîâ Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ 1 / 30

Ïðîñòðàíñòâî àääèòèâíûõ ìíîæåñòâ

G = (G, +)  (àáåëåâà) ãðóïïà.

Ñóììà è ðàçíîñòü ìíîæåñòâ A, B ⊆ G

A + B = {a + b : a ∈ A, b ∈ B} .

A − B = {a − b : a ∈ A, b ∈ B} .

Åñëè A  ñëó÷àéíî, òî

|A + A| ≫ min{|G|, |A|2} .

Ñòðóêòóðà = "ìàëàÿ ñóììà".

È. Ä. Øêðåäîâ Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ 2 / 30

Íåðàâåíñòâî òðåóãîëüíèêà óæè
Ïóñòü A, B, C ⊆ G  ïðîèçâîëüíûå ìíîæåñòâà. Òîãäà

|C ||A − B| ≤ |A − C ||B − C | .

Èíûìè ñëîâàìè, îðìóëà

|A − B|
d (A, B) = log
|A|1/2 |B|1/2
çàäàåò ïñåâäîìåòðèêó íà ïðîñòðàíñòâå àääèòèâíûõ ìíîæåñòâ

d (A, B) ≤ d (A, C ) + d (C , B) .

Áëèçîñòü ìíîæåñòâ A è B îçíà÷àåò, ÷òî |A − B| ìàëî ïî

ñðàâíåíèþ ñ |A| è |B|.

È. Ä. Øêðåäîâ Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ 3 / 30

⊳ Äëÿ êàæäîãî ýëåìåíòà x ∈ A − B âûáåðåì óíèêàëüíóþ ïàðó
a = a(x) ∈ A, b = b(x) ∈ B òàêóþ, ÷òî x = a − b .

àññìîòðèì îòîáðàæåíèå

ϕ : C × (A − B) → (A − C ) × (B − C ) ,

çàäàâàåìîå îðìóëîé ϕ(c, a − b) = (a − c, b − c). Íàì íàäî

óáåäèòüñÿ â òîì, ÷òî îòîáðàæåíèå ϕ  èíúåêòèâíî. Íî åñëè

ϕ(c, a − b) = (a − c, b − c) = (a′ − c ′ , b − c ′ ) = ϕ(c ′ , a − b′ ) ,

òî a − b = a′ − b ′ , ÷òî ïðîòèâîðå÷èò óíèêàëüíîñòè ïàðû (a, b).

Çíà÷èò, a′ = a, b ′ = b è, îòñþäà, c ′ = c . Òåîðåìà äîêàçàíà. 

È. Ä. Øêðåäîâ Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ 4 / 30

Ïîëàãàÿ â
|C ||A − B| ≤ |A − C ||B − C |
A = A, B = A, C = −A, ìû ïîëó÷èì

|A + A|2
|A − A| ≤
|A|
è, çíà÷èò, ðàçíîñòü ìíîæåñòâà êîíòðîëèðóþòñÿ ñóììîé.

Àíàëîãè÷íîå íåðàâåíñòâî

|A − A|2
|A + A| ≤
|A|
ïîëó÷èòü ãîðàçäî ñëîæíåå.

È. Ä. Øêðåäîâ Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ 5 / 30

Íåðàâåíñòâî Ïëþííåêåóæè

Êîýèöèåíò ðàñòÿæåíèÿ
Äëÿ A, B ⊆ G ïîëîæèì

|B + X |
RB [A] := min .
∅6=X ⊆A |X |

Ñìûñë êîýèöèåíòà: äëÿ âñÿêîãî íåïóñòîãî ìíîæåñòâà Y èç A

ñóììà |B + Y | áóäåò áîëüøå |Y | íå ìåíåå, ÷åì â RB [A] ðàç.

Ëåììà ÏëþííåêåóæèÏåòðèäèñà
Äëÿ ïðîèçâîëüíîãî ìíîæåñòâà C ⊆ G âûïîëíåíî

|B + X + C | ≤ RB [A]|X + C | .

Çäåñü ∅ =
6 X ⊆ A  ìíîæåñòâî, ãäå äîñòèãàåòñÿ RB [A].
È. Ä. Øêðåäîâ Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ 6 / 30
Ëåììà ÏëþííåêåóæèÏåòðèäèñà
Äëÿ ïðîèçâîëüíîãî ìíîæåñòâà C ⊆ G âûïîëíåíî

|B + X + C | ≤ RB [A]|X + C | .

⊳ Èíäóêöèÿ ïî |C |. Äëÿ |C | = 1 èìååì

|B + X + C | = |B + X | = RB [A]|X | = RB [A]|X + C | .

Ïóñòü òåïåðü C = C ′ ⊔ {c} è

Y = {x ∈ X : x + c ⊆ X + C ′ } ⊆ X .
Òîãäà ïî îïðåäåëåíèþ ìíîæåñòâà Y , èìååì
[
B + X + C = (B + X + C ′ ) ((B + X + c) \ (B + Y + c)) .
Çíà÷èò,
|B + X + C | ≤ |B + X + C ′ | + |B + X | − |B + Y | .
È. Ä. Øêðåäîâ Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ 7 / 30
 |B + X + C | ≤ |B + X + C ′ | + |B + X | − |B + Y | ≤
≤ RB [A]|X + C ′ | + RB [A]|X | − |B + Y | .

Ïîñêîëüêó Y ⊆ X , òî |B + Y | ≥ RB [A]|Y |. Îòñþäà

|B + X + C | ≤ RB [A]|X + C ′ | + RB [A](|X | − |Y |) =

= RB [A](|X + C ′ | + |X \ Y |) = RB [A]|X + C | .
Ëåììà äîêàçàíà. 

È. Ä. Øêðåäîâ Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ 8 / 30

Ñëåäñòâèÿ èç ëåììû Ïåòðèäèñà
Âûâåäåì èç ëåììû Ïåòðèäèñà íåðàâåíñòâî òðåóãîëüíèêà ñ
ïëþñàìè
|C ||A + B| ≤ |A + C ||B + C | . (1)
Òîãäà, ïîëàãàÿ B = A, C = −A è A = A, ïîëó÷àåì
|A − A|2
|A + A| ≤ .
|A|
Äëÿ äîêàçàòåëüñòâà (1) âîçüìåì ìíîæåñòâî X ⊆ C òàêîå, ÷òî
|A + X | = |X |RA [C ]. Òîãäà ïî ëåììå Ïåòðèäèñà
|A + X |
|A + B| ≤ |A + B + X | ≤ RA [C ]|B + X | = |B + X | ≤
|X |
|A + C |
≤ |B + C | .
|C |
È. Ä. Øêðåäîâ Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ 9 / 30
Òåîðåìà (Ïëþííåêåóæà)
Ïóñòü K ≥ 1  äåéñòâèòåëüíîå ÷èñëî, A ⊆ G  ïðîèçâîëüíîå
ìíîæåñòâî, |A + A| ≤ K |A|. Òîãäà äëÿ ëþáûõ íàòóðàëüíûõ ÷èñåë
n, m âûïîëíåíî
|nA − mA| ≤ K n+m |A| .
Âîçüìåì X ⊆ A òàêîå, ÷òî |A + X | = |X |RA [A]. Ïî Ïåòðèäèñó
|nA + X | = |A + (n − 1)A + X | ≤ RA [A]|(n − 1)A + X | ≤ . . .
· · · ≤ RAn [A]|X | ≤ K n |X |
è, àíàëîãè÷íî, |mA + X | ≤ K m |X |. Ñîåäèíÿÿ ýòè äâà íåðàâåíñòâà
è ïîëüçóÿñü íåðàâåíñòâîì òðåóãîëüíèêà, ïîëó÷àåì
|nA + X ||mA + X |
|nA − mA| ≤ ≤ K n+m |X | ≤ K n+m |A| .
|X |
Òåîðåìà äîêàçàíà. 
 ÷àñòíîñòè, ó ìíîæåñòâà ñ ìàëûì óäâîåíèåì åãî ñóììà èëè
ðàçíîñòü òàêæå áóäóò ìíîæåñòâàìè ñ ìàëûì óäâîåíèåì.
È. Ä. Øêðåäîâ Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ 10 / 30
Ëåììà óæè î ïîêðûòèè
Ëåììà (óæà)
Ïóñòü A, B ⊆ G  ïðîèçâîëüíûå ìíîæåñòâà. Òîãäà íàéäåòñÿ
ìíîæåñòâî X , |X | ≤ |A + B|/|A| òàêîå, ÷òî

B ⊆ A−A+X .
Åñëè äâà ìíîæåñòâà A è B àääèòèâíî áëèçêè, òî èõ ñòðóêòóðà
äîëæíà áûòü ñõîæåé, à èìåííî êàæäîå èç ìíîæåñòâ áóäåò
ïîêðûâàåòñÿ íåáîëüøèì ÷èñëîì òðàíñëÿöèé ðàçíîñòè äðóãîãî.
⊳ Âîçüìåì ìàêñèìàëüíóþ ïî âêëþ÷åíèþ ñèñòåìó ìíîæåñòâ
A + x ⊆ A + B , x ∈ X ⊆ B . Òîãäà |A| ≤ |A + B|/|A| è äëÿ ëþáîãî
b ∈ B ñóùåñòâóåò x ∈ X òàê, ÷òî
A + b ∩ A + x 6= ∅ =⇒ B ⊆A−A+X .

È. Ä. Øêðåäîâ Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ 11 / 30
Ïî ëåììå óæè î ïîêðûòèè
B ⊆A−A+X , |X | ≤ |A + B|/|A| .
Ïóñòü B = G è |A| ≥ δ|G|. Òîãäà
G ⊆ (A − A) + X , |X | ≤ δ −1 .
Äëÿ ïðîèçâîëüíîãî ìíîæåñòâà A
G⊆ A+X , |X | ≤ δ −1 log |G| .

Òåîðåìà (Òàéäåìàí, Ôþðñòåíáåðã, 1979)

Åñëè äëÿ A ⊆ N âûïîëíåíî D ∗ (A) > 0, òî ðàññòîÿíèÿ ìåæäó
ñîñåäíèìè ýëåìåíòàìè ìíîæåñòâà A − A  îãðàíè÷åíû.

Âûòåêàåò èç òîãî, ÷òî

N ⊆A−A+X , |X | ≤ 1/D ∗ (A) .
È. Ä. Øêðåäîâ Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ 12 / 30
Òåîðåìà Ôðåéìàíà (ïðîñòåéøèé âàðèàíò)
Fnp  ìíîæåñòâî 0, 1 äëèíû n è ñî ñëîæåíèåì ïî ìîäóëþ p .

Òåîðåìà
Ïóñòü A ⊆ Fn2  ïðîèçâîëüíîå ìíîæåñòâî, |A + A| ≤ K |A|. Òîãäà
íàéäåòñÿ ïîäïðîñòðàíñòâî H ⊆ Fn2 , ñîäåðæàùåå ìíîæåñòâî A è
òàêîå, ÷òî
5
|H| ≤ K 2K |A| .

Êîíÿãèí: |H| = 22K +O(log K ) |A|

Çîõàð : íàéäåíî òî÷íîå çíà÷åíèå äëÿ ìîùíîñòè (ìèíèìàëüíîãî)
H èç òåîðåìû âûøå.

Ïðèìåð. Ïóñòü A = {e1 , . . . , ek }. Òîãäà |A + A| = + 1,

k


2
K = k/2 + O(1) è ëþáîå ïîäïðîñòðàíñòâî H ⊇ A èìååò
ðàçìåðíîñòü íå ìåíåå k , îòêóäà |H| ≥ 2k = 22K +O(log K ) |A|.
È. Ä. Øêðåäîâ Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ 13 / 30
Áåç îãðàíè÷åíèÿ îáùíîñòè ñ÷èòàåì, ÷òî 0 ∈ A. Ïðèìåíèì ëåììó
î ïîêðûòèè äëÿ ìíîæåñòâ A = A è B = D + D , ãäå D = A − A.
Òîãäà
D +D ⊆D +X ,
ãäå, ïî òåîðåìå Ïëþííåêåóæè

|D + D + A|
|X | ≤ ≤ K5
|A|

Èç âêëþ÷åíèÿ âûøå âûòåêàåò, ÷òî ìèíèìàëüíîå ïîäïðîñòðàíñòâî

H(D), ñîäåðæàùåå D , ïðèíàäëåæèò D + H(X ) :

d1 + · · · + dk = d1 + · · · + dk−2 + d ′ + x1 = · · · = d + x1 + · · · + xk .
5
Îòñþäà A ⊆ D ⊆ H(D) è |H(D)| ≤ |D|2|X | ≤ K 2K |A|. Òåîðåìà
äîêàçàíà. 

È. Ä. Øêðåäîâ Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ 14 / 30

Ìíîæåñòâà ñ ìàëûì óäâîåíèåì

Êîíñòàíòîé óäâîåíèÿ êîíå÷íîãî ìíîæåñòâà A ⊆ G íàçûâàåòñÿ

|A + A|
D = D[A] := , 1 ≤ D[A] ≤ |A| .
|A|

Ïðèìåðû. Àðèìåòè÷åñêèå ïðîãðåññèè

A = {a, a + d , . . . , a + (k − 1)d } ⊆ Z ,

|A + A| = 2|A| − 1 , D[A] = 2 − 1/|A| < 2 ,

ñëó÷àéíîå ìíîæåñòâî

|A + A| ≫ |A|2 , D[A] ≫ |A| .

È. Ä. Øêðåäîâ Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ 15 / 30

Îñíîâíàÿ êîíöåïöèÿ

1 ≤ D[A] ≤ |A| .
Ñëó÷àéíîñòü ⇒ áîëüøîå óäâîåíèå
Ìàëîå óäâîåíèå ⇒ "ñòðóêòóðà"?

Ñëó÷àéíîñòü ñîîòâåòñòâóåò îöåíêàì òðèãîíîìåòðè÷åñêèõ ñóìì â

òåîðèè ÷èñåë.

Èãðà ìåæäó ñòðóêòóðîé è ñëó÷àéíîñòüþ = äèõîòîìèÿ.

Òî ÷òî èìåííî óäâîåíèå ìàëîå íå òàê óæ è âàæíî.

È. Ä. Øêðåäîâ Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ 16 / 30

Î÷åíü ìàëîå óäâîåíèå
D[A] = 1 ò. è ò.ò., êîãäà A åñòü ñìåæíûé êëàññ ïî íåêîòîðîé
ïîäãðóïïå.
Òåîðåìà (ìíîæåñòâà ñ D[A] < 3/2)
Ïóñòü A ⊆ G òàêîå, ÷òî

D[A] < 3/2 .

Òîãäà íàéäåòñÿ ïîäãðóïïà Γ, |Γ| ≤ D[A]|A| è x ∈ G

A⊆Γ+x.

Ýòî êðèòåðèé (!)

ΓF= Fn4 , A =
FH (H + x), H  ïîäïðîñòðàíñòâî. Òîãäà
F
Ïðèìåð.
A + A = H (H + x) (H + 2x) è D[A] = 3/2.
È. Ä. Øêðåäîâ Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ 17 / 30
Òåîðåìà (ìíîæåñòâà ñ D[A] < 2)
Ïóñòü A ⊆ G òàêîå, ÷òî

D[A] < 2 − ε .

Òîãäà íàéäåòñÿ ïîäãðóïïà Γ, |Γ| ≤ D[A]|A| è x1 , . . . , xk ∈ G

k
G
A⊆ (Γ + xj ) .
j=1

Ýòî  íå êðèòåðèé, êîíñòàíòà 2  íåóëó÷øàåìà:

G = Z, A  àðèìåòè÷åñêàÿ ïðîãðåññèÿ, D[A] = 2 − 1/|A| < 2.

È. Ä. Øêðåäîâ Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ 18 / 30

Ïðèìåðû ìíîæåñòâ ñ ìàëûì óäâîåíèåì
G  àáåëåâà ãðóïïà, A ⊆ G  êîíå÷íîå ìíîæåñòâî.
(Íåîðìàëüíî) A èìååò ìàëîå óäâîåíèå, åñëè

|A + A| ≤ K |A| .

åæèì: K  êîíñòàíòà èëè óíêöèÿ îò |A| ìåäëåííî

ñòðåìÿùàÿñÿ ê ∞ ïðè |A| → ∞ (íàïðèìåð, An = P ∩ {1, . . . , n},
K ∼ log n).
Ïðèìåðû ìíîæåñòâ ñ ìàëûì óäâîåíèåì
A ñìåæíûé êëàññ,
A = P = {a, a + d , . . . , a + d (k − 1)} ,
A = P1 + · · · + Pd (îáîáùåííàÿ àðèìåòè÷åñêàÿ ïðîãðåññèÿ).

È. Ä. Øêðåäîâ Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ 19 / 30

 òî÷íàÿ, òî åñòü |P1 + · · · + Pd | =
Qd
Ïóñòü P1 + · · · + Pd  j=1 |Pj |.
Òîãäà
d
Y
|(P1 + · · · + Pd ) + (P1 + · · · + Pd )| ≤ |Pj + Pj | ≤
j=1

d
Y
d
≤2 |Pj | = 2d |P1 + · · · + Pd | .
j=1

Òî÷íàÿ îáîáùåííàÿ ïðîãðåññèÿ P åñòü "ïðÿìàÿ ñóììà"

ïðîãðåññèé P1 , . . . , Pd .

È. Ä. Øêðåäîâ Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ 20 / 30

Îïåðàöèè, ñîõðàíÿþùèå ìàëîå óäâîåíèå

Ïóñòü A  ìíîæåñòâî ñ ìàëûì óäâîåíèåì. Òîãäà

◦ Ëþáîå åãî "áîëüøîå" ïîäìíîæåñòâî B ⊆ A, |B| ≥ ε|A| òîæå

ìíîæåñòâî ñ ìàëûì óäâîåíèåì

|B + B| ≤ |A + A| ≤ D[A]|A| ≤ (D[A]/ε)|B| .

◦ "Ïðÿìàÿ" ñóììà ìíîæåñòâ ñ ìàëûì óäâîåíèåì  ìíîæåñòâî ñ

ìàëûì óäâîåíèåì

|(A1 + A2 ) + (A1 + A2 )| ≤ |A1 + A1 ||A2 + A2 | ≤

≤ D[A1 ]|A1 | · D[A2 ]|A2 | = D[A1 ]D[A2 ]|A1 + A2 | .

È. Ä. Øêðåäîâ Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ 21 / 30

Âûïóêëûå ïðîãðåññèè

Ïóñòü Q = P1 + · · · + Pk . àññìîòðèì k ìåðíûé ïàðàëëåëåïèïåä

P = P1 × · · · × Pk ⊆ Zk
è ïðîåêöèþ ϕ : Zk → Z,
ϕ(x1 , . . . , xk ) = x1 + · · · + xk .
Òîãäà
ϕ(P) = P1 + · · · + Pk = Q .
Âìåñòî ïàðàëëåëèïåïåäîâ ðàññìîòðèì ïðîèçâîëüíîå âûïóêëîå
öåíòðàëüíîñèììåòðè÷íîå òåëî T ⊂ Rk  ïîëó÷èì âûïóêëûå
ïðîãðåññèè, òî åñòü ìíîæåñòâà Q = φ(T ∩ Zk ), φ  ëþáîé
ãîìîìîðèçì. Èìååì
Vol(T + T )
D[T ] = = 2k è D[φ(T ∩ Zk )] = exp(O(k)) .
Vol(T )
È. Ä. Øêðåäîâ Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ 22 / 30
Òåîðåìû Ôðåéìàíà â ðàçëè÷íûõ ãðóïïàõ

Òåîðåìà (Ôðåéìàí â Fn2 )

Ïóñòü A ⊆ Fn2 èìååò óäâîåíèå D = D[A]. Òîãäà íàéäåòñÿ
ïîäïðîñòðàíñòâî Q ðàçìåðíîñòè d òàêîå, ÷òî

A⊆Q è |Q| ≤ C |A| ,

ãäå d , C çàâèñÿò òîëüêî îò D.

Ìû çíàåì, ÷òî d (K ) ∼ 2K è C (K ) ∼ 22K .

È. Ä. Øêðåäîâ Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ 23 / 30

Òåîðåìà (Ôðåéìàí, 1973)
Ïóñòü A ⊆ Z èìååò óäâîåíèå D = D[A]. Òîãäà íàéäåòñÿ
ìíîãîìåðíàÿ àðèìåòè÷åñêàÿ ïðîãðåññèÿ Q = P1 + · · · + Pd
òàêàÿ, ÷òî
A⊆Q
è
|Q| ≤ C |A| ,
ãäå d , C çàâèñÿò òîëüêî îò D.

Òàêèì îáðàçîì, A ÿâëÿåòñÿ áîëüøèì ïîäìíîæåñòâîì

ìíîãîìåðíîé àðèìåòè÷åñêîé ïðîãðåññèè (êîíå÷íûõ ïîäãðóïï â
Z íåò).

È. Ä. Øêðåäîâ Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ 24 / 30

Íîâàÿ ïåðåîðìóëèðîâêà

Òåîðåìà (ðèíóæà, 2007)

Ïóñòü G  ïðîèçâîëüíàÿ àáåëåâà ãðóïïà. Ñóùåñòâóåò
ïîëîæèòåëüíàÿ óíêöèÿ f òàêàÿ, ÷òî äëÿ ëþáîãî A ⊆ G ñ
óäâîåíèåì D = D[A] íàéäåòñÿ Q = P1 + · · · + Pd , ïîäãðóïïà Γ è
ìíîæåñòâî |X | ≤ C
A ⊆ (Q ∔ Γ) + X
è
|Q ∔ Γ| ≤ C |A| ,
ãäå d = f (D), C ≤ exp(O(f (D))).

X ñîîòâåòñòâóåò âçÿòèþ ïîäìíîæåñòâ ìíîæåñòâà A.

È. Ä. Øêðåäîâ Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ 25 / 30
Ýòî êðèòåðèé, òî åñòü åñëè |X | ≤ C , äàëåå,

A ⊆ (Q ∔ Γ) + X

è
|Q ∔ Γ| ≤ C |A| ,
ãäå d = f (D), C ≤ exp(O(f (D))), òî (M = Q ∔ Γ)

|A+A| ≤ |M+X +M+X | ≤ |X |2 |M+M| ≤ exp(O(f (D))|Γ+Q+Γ+Q|

≤ exp(O(f (D))|Γ||Q + Q| ≤ exp(O(f (D))2f (D) |Γ||Q| ≤

≤ exp(O(f (D))|M| ≤ exp(O(f (D))|A| .

Òî åñòü A  ìíîæåñòâî ñ "ìàëûì" óäâîåíèåì.

È. Ä. Øêðåäîâ Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ 26 / 30

Ïîëèíîìèàëüíàÿ ãèïîòåçà

Ïîëèíîìèàëüíàÿ ãèïîòåçà Ôðåéìàíàóæè

f (D) = log D .

Ïîëèíîìèàëüíàÿ ãèïîòåçà â Fn2

Ïóñòü A ⊆ Fn2 èìååò óäâîåíèå D = D[A]. Òîãäà íàéäåòñÿ
ïîäïðîñòðàíñòâî H òàêîå, ÷òî
|A ∩ H| ≥ |A|/DC

è
Span (A ∩ H) ≤ DC |A| .

È. Ä. Øêðåäîâ Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ 27 / 30

Ôðåéìàí (1973): ñóùåñòâîâàíèå f (D).
Áèëó, óæà (1999): ïåðâûå îöåíêè.
×àíã (2002): ýêñïîíåíöèàëüíàÿ îöåíêà.
Øîåí (2011): ñóáýêñïîíåíöèàëüíàÿ îöåíêà.
Ñàíäåðñ (2012):
f (D) = log4+o(1) D .
Êîíÿãèí (2013):
f (D) = log3+o(1) D .

Ïîëèíîìèàëüíàÿ ãèïîòåçà:

f (D) = log D .

È. Ä. Øêðåäîâ Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ 28 / 30

Ìíîæåñòâà ïîëèíîìèàëüíîãî ðîñòà

Ìíîæåñòâî A ⊆ G ÿâëÿåòñÿ ìíîæåñòâîì ïîëèíîìèàëüíîãî ðîñòà

ñòåïåíè d , åñëè äëÿ âñåõ íàòóðàëüíûõ n âûïîëíåíî
|nA| ≤ nd |A| .

Òåîðåìà Õîâàíñêîãî: A  ïîäìíîæåñòâî àáåëåâîé

ïîëóãðóïïû, òîãäà íàéäåòñÿ ìíîãî÷ëåí p(n) òàêîé, ÷òî äëÿ âñåõ
äîñòàòî÷íî áîëüøèõ n âûïîëíåíî |nA| = p(n).

Ñòåïåíü p(n) ìîæåò çàâèñåòü îò A.

Íåàáåëåâû àíàëîãè.

È. Ä. Øêðåäîâ Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ 29 / 30

Òåîðåìà (ïîëèíîìèàëüíûé ðîñò ìíîæåñòâ ñ ìàëûì
óäâîåíèåì)
Ïóñòü G  àáåëåâà ãðóïïà è A ⊆ G. Òîãäà

|nA| ≤ min{K n , nO(K ) } · |A| .

⊳ Ïóñòü 0 ∈ A, D = A − A è ïî ëåììå î ïîêðûòèè âûïîëíåíî

D − D ⊆ D + X , |X | ≤ K 5 , à, çíà÷èò,
nD ⊆ (n − 1)X + D .
Òàê êàê G  àáåëåâà, òî
 
|X | + n − 2
|(n − 1)X | ≤ ≤ n|X |
|X | − 1
è, çíà÷èò, ïî íåðàâåíñòâó Ïëþííåêåóæè è îöåíêå âûøå
5
|nA| ≤ |nD| ≤ |(n − 1)X ||D| ≤ K 2 |A|n|X | ≤ nO(K ) |A| .
Òåîðåìà äîêàçàíà. 
È. Ä. Øêðåäîâ Ëåêöèÿ 4: ñóììû è ðàçíîñòè ìíîæåñòâ 30 / 30