Академический Документы
Профессиональный Документы
Культура Документы
Øêðåäîâ È.Ä.
Ñïèñîê ëèòåðàòóðû 44
1 Ââåäåíèå
Àääèòèâíàÿ êîìáèíàòîðèêà ýòî ïðîìåæóòî÷íûé ìåæäó êîìáèíàòîðèêîé è òåîðèåé ÷è-
ñåë ðàçäåë ìàòåìàòèêè, â êîòîðîì èçó÷àþò êîìáèíàòîðíûå âîïðîñû, ñâÿçàííûå ñ ãðóï-
ïîâîé îïåðàöèåé (ñì. êíèãè [1, 2℄ è îáçîðû [3, 4℄). Èíûìè ñëîâàìè, îñíîâíûì ïðåäìåòîì
äàííîé íàóêè ÿâëÿåòñÿ êîìáèíàòîðèêà ïîäìíîæåñòâ íåêîòîðîé ãðóïïû G, à ñïåöèè-
÷åñêèå àëãåáðàè÷åñêèå ñâîéñòâà "îáåðòûâàþùåé" ãðóïïû G îáû÷íî îñòàâëÿþòñÿ áåç
âíèìàíèÿ. Åñëè èçó÷àåòñÿ êîìáèíàòîðèêà ïîäìíîæåñòâ äàííîãî êîëüöà, òî ãîâîðÿò îá
àðèìåòè÷åñêîé êîìáèíàòîðèêå.
1
Íàñòîÿùèé îáçîð ïîñâÿùåí îäíîé âàæíîé îñîáåííîñòè àääèòèâíîé êîìáèíàòîðèêè,
êîòîðóþ, íåñêîëüêî ðàñïëûâ÷àòî, ìîæíî ñîðìóëèðîâàòü êàê ïðèíöèï ñóùåñòâîâàíèÿ
æåñòêîé ñòðóêòóðû ïðè íàëè÷èè êàêîãîëèáî "êðèòè÷åñêîãî" ñîîòíîøåíèÿ. Ìû èìå-
åì ââèäó ñëåäóþùóþ àáñòðàêòíóþ ïîñòàíîâêó. Ïðåäïîëîæèì, ÷òî ó íàñ åñòü íåêîòîðîå
ñåìåéñòâî îáúåêòîâ è äåéñòâèòåëüíûé óíêöèîíàë íà íåì. Ïóñòü òàêæå èçâåñòíî, ÷òî
ìàêñèìàëüíîå çíà÷åíèå ýòîãî óíêöèîíàëà ðàâíî M . Âîçüìåì (íå î÷åíü áîëüøîé) ïàðà-
ìåòð K ≥ 1 è çàäàäèì òàêîé âîïðîñ: ÷òî ìîæíî ñêàçàòü îá îáúåêòàõ íàøåãî ñåìåéñòâà ñî
çíà÷åíèåì óíêöèîíàëà áîëüøèì, ÷åì M/K ? Åñòü ëè ó ýòèõ îáúåêòîâ êàêàÿòî ñòðóê-
òóðà? Íàîáîðîò, ãàðàíòèðóåò ëè íàëè÷èå ó îáúåêòà ïîäîáíîé ñòðóêòóðû òî, ÷òî çíà÷å-
íèå íàøåãî óíêöèîíàëà íà íåì áóäåò áîëüøèì? Çàìå÷àòåëüíî, ÷òî â øèðîêîì êëàññå
àääèòèâíîêîìáèíàòîðíûõ çàäà÷ îòâåòû íà ýòè âîïðîñû îêàçûâàþòñÿ ïîëîæèòåëüíûìè,
è èñêîìûå "ýêñòðåìàëüíûå" ïîäîáúåêòû ÷ðåçâû÷àéíî ñòðóêòóðèðîâàíû. Àíàëîãè÷íûå
èäåè îáñóæäàþòñÿ â îáçîðàõ [5℄ è [6℄.
Ïðèâåäåì äâà ïðèìåðà ýòîãî îáùåãî åíîìåíà, ïåðâûé èç ïðîñòåéøåé òåîðèè óíê-
öèé, à âòîðîé, ñîáñòâåííî, èç àääèòèâíîé êîìáèíàòîðèêè. Ïóñòü ó íàñ åñòü äåéñòâèòåëü-
íûå óíêöèè f íà îòðåçêå {1, 2, . . . , n} ñ íåíîðìèðîâàííîé
PnL2 íîðìîé ðàâíîé n1/2 , èíûìè
ñëîâàìè, ïóñòü äëÿ êàæäîé òàêîé óíêöèè âûïîëíåíî x=1 |f (x)| = n. Òîãäà ïî íåðà-
2
2
ðûå ïîíÿòèÿ àääèòèâíîé êîìáèíàòîðèêè è àíàëèçà Ôóðüå. Ñëåäóþùàÿ ãëàâà 3 ñîäåðæèò
íåñêîëüêî ïðèìåðîâ ñåìåéñòâ àääèòèâíûõ ìíîæåñòâ ñ êîòîðûìè ïðèõîäèòñÿ èìåòü äåëî
â êîìáèíàòîðíîé òåîðèè ÷èñåë. Èçëîæåíèå ïðîõîäèò, â îñíîâíîì, â èñòîðè÷åñêîé ïî-
ñëåäîâàòåëüíîñòè. Âíà÷àëå ìû ðàññìàòðèâàåì ñëó÷àéíûå ìíîæåñòâà, êîòîðûå ñ òî÷êè
çðåíèÿ àääèòèâíîé êîìáèíàòîðèêè ÿâëÿþòñÿ, ñêîðåå, ïðåäìåòîì èññëåäîâàíèÿ òåîðèè
âåðîÿòíîñòåé è òåîðèè ÷èñåë, çàòåì, êëàññè÷åñêîå àääèòèâíîêîìáèíàòîðíîå ñåìåéñòâî
ìíîæåñòâ ñ ìàëûì óäâîåíèåì, è, íàêîíåö, íîâûå ñåìåéñòâà, ñòàâøèå ïðåäìåòîì èíòåí-
ñèâíûõ èññëåäîâàíèé ïîñëåäíèõ ëåò. Áîëåå ïîäðîáíî ñàìûé õîðîøî èçó÷åííûé ïðåäìåò
àääèòèâíîé êîìáèíàòîðèêè ìíîæåñòâà ñ ìàëûì óäâîåíèåì, îáñóæäàåòñÿ â ñëåäóþ-
ùåé ãëàâå 4.  ãëàâå 5 ìû äàåì äîêàçàòåëüñòâî òåîðåìû Ôðåéìàíà êëàññè÷åñêîãî
àääèòèâíîêîìáèíàòîðíîãî ðåçóëüòàòà è òåîðåìû ÑàíäåðñàÊîíÿãèíà, îòíîñÿùåéñÿ ê
íîâåéøèì äîñòèæåíèÿì â ýòîé îáëàñòè. Äîêàçàòåëüñòâà ïðèâîäÿòñÿ ëèøü äëÿ ãðóïïû
Fn2 . àññóæäåíèÿ â ýòîé ãðóïïå îáëàäàþò ÷ðåçâû÷àéíîé íàãëÿäíîñòüþ è ïðàêòè÷åñêè íå
ñîäåðæàò òåõíè÷åñêèõ ìîìåíòîâ. Ïîýòîìó äàííàÿ ÷àñòü îáçîðà ÿâëÿåòñÿ ñàìûì ïðîñòûì
ââåäåíèåì â ïðåäìåò. Ïîïóòíî â ýòîé ãëàâå ìû ïðèâîäèì ïîíÿòèÿ ñïåêòðà è ïîëèíîìè-
àëüíîãî ðîñòà â ãðóïïàõ, à òàêæå òàêèå âàæíûå èíñòðóìåíòû êàê, íàïðèìåð, íåðàâåíñòâî
òðåóãîëüíèêà óæè è íåðàâåíñòâî Ïëþííåêå [2℄, ëåììó î ïî÷òèïåðèîäè÷íîñòè Êðóòà
Ñèñàñêà [24℄, [25℄ è òåîðåìó ×àíã î êîýèöèåíòàõ Ôóðüå [26℄. Äàëåå, â ãëàâå 6 ìû îáñóæ-
äàåì âàæíûé àääèòèâíîêîìáèíàòîðíûé ðåçóëüòàò òåîðåìó ÁàëîãàÑåìåðåäèàóýðñà
è èëëþñòðèðóåì åå ïðèìåíåíèå íà ïðèìåðå çàäà÷è î ñóììàõ ïðîèçâåäåíèé â êîíå÷íîì
ïîëå. Ñ òî÷êè çðåíèÿ èëîñîèè èçëîæåííîé âûøå, äàííàÿ òåîðåìà ïðåäñòàâëÿåò ñîáîé
ðåçóëüòàò î ñòðóêòóðå ìíîæåñòâ ñ ýêñòðåìàëüíûì ñîîòíîøåíèåì ìåæäó ìîùíîñòüþ è
÷åòâåðòûì ìîìåíòîì èõ ïðåîáðàçîâàíèÿ Ôóðüå. ëàâà 7 ïîñâÿùåíà ïîñëåäíèì ðåçóëü-
òàòàì èç òåîðèè ñòàðøèõ ýíåðãèé ñâåðòîê è ïðåîáðàçîâàíèé Ôóðüå õàðàêòåðèñòè÷åñêèõ
óíêöèé ìíîæåñòâ. Î÷åíü èíòåðåñíî, ÷òî ýêñòðåìàëüíûìè ñåìåéñòâàìè â ïîäîáíîãî ðî-
äà çàäà÷àõ áóäóò óæå íå êëàññè÷åñêèå ìíîæåñòâà ñ ìàëûì óäâîåíèåì, à áîëåå ñëîæíî
óñòðîåííûå àääèòèâíûå ìíîæåñòâà. Â ãëàâå 8 îáñóæäàþòñÿ îáðàòíûå òåîðåìû äëÿ íîðì
àóýðñà, âûòåêàþùèå èç íèõ äåêîìïîçèöèîííûå ðåçóëüòàòû, à òàêæå èìåþùèåñÿ çäåñü
ïðèëîæåíèÿ ê òåîðèè ÷èñåë è àääèòèâíîé êîìáèíàòîðèêå. Íàêîíåö, â çàêëþ÷åíèè ðàñ-
ñìàòðèâàåòñÿ ðÿä îòêðûòûõ ïðîáëåì.
Ïðè íàïèñàíèè ýòîé ñòàòüè ìû èíòåíñèâíî ïîëüçîâàëèñü îáçîðàìè [4℄, [27℄ è ëåêöèÿìè
[28℄.
2 Íåîáõîäèìûå îïðåäåëåíèÿ
 ýòîé ãëàâå ìû íàïîìíèì íåêîòîðûå ïîíÿòèÿ àääèòèâíîé êîìáèíàòîðèêè, à òàêæå àíà-
ëèçà Ôóðüå. Ïóñòü G = (G, +) ëîêàëüíîêîìïàêòíàÿ àáåëåâà ãðóïïà ñ àääèòèâíîé
ãðóïïîâîé îïåðàöèåé +. Õîðîøî èçâåñòíî, ÷òî íà âñÿêîé òàêîé ãðóïïå ñóùåñòâóåò ìåðà
Õààðà µG , òî åñòü íåîòðèöàòåëüíàÿ ðåãóëÿðíàÿ ìåðà (âñå îïðåäåëåíèÿ ìîãóò áûòü íàéäå-
íû, íàïðèìåð, â [29℄ ñì. ãëàâû 1, 2 è äîáàâëåíèå E ) òàêàÿ, ÷òî äëÿ âñÿêîãî áîðåëåâñêîãî
ìíîæåñòâà B è ïðîèçâîëüíîãî ýëåìåíòà x ∈ G èìååì
µG (B + x) = µG (B) .
3
Íà ïðîñòðàíñòâå L2 (G, µG ) = L2 (G) çàäàíî ñêàëÿðíîå ïðîèçâåäåíèå äâóõ êîìïëåêñíûõ
óíêöèé f è g Z
hf, gi = f (x)g(x) dµG (x) .
G
\
(f ∗ g)(ξ) = fb(ξ)b
g(ξ) è \
(f ◦ g)(ξ) = fbb
g.
Îïåðàöèÿ ñâåðòêè î÷åíü âàæíà äëÿ àääèòèâíûõ çàäà÷ êîìáèíàòîðíîé òåîðèè ÷èñåë. Äåé-
ñòâèòåëüíî, ïóñòü A è B ïðîèçâîëüíûå ïîäìíîæåñòâà ãðóïïû G. Îïðåäåëèì ñóììó (ïî
Ìèíêîâñêîìó) ýòèõ ìíîæåñòâ
A + B := {c ∈ G : c = a + b, a ∈ A, b ∈ B} . (3)
A − B := {c ∈ G : c = a − b, a ∈ A, b ∈ B} .
4
Àíàëîãè÷íî (2) îïðåäåëÿåòñÿ ñóììà íåñêîëüêèõ ìíîæåñòâ. Åñëè â ãðóïïå (G, +) åñòü
åùå îäíà áèíàðíàÿ îïåðàöèÿ, ñêàæåì, óìíîæåíèå, òî òîãäà ìîæíî îïðåäåëèòü è ïðîèç-
âåäåíèå ìíîæåñòâ.  äàëüíåéøåì íàì ïîíàäîáèòñÿ A ∔ B ñóììà ðàçëè÷íûõ ýëåìåíòîâ
ìíîæåñòâ A è B
A ∔ B := {c ∈ G : c = a + b, a ∈ A, b ∈ B, a 6= b} .
X 1 Xb 1
hf, gi := f (x)g(x) = g (ξ) = hfb, gbi
f (ξ)b (òîæäåñòâî Ïëàíøåðåëÿ). (6)
x∈G
N N
b
ξ∈G
X X X 1 X b 2
|(f ∗ g)(x)|2 = | f (y)g(x − y)|2 = g (ξ)|2 .
|f (ξ)| |b (7)
x∈G x∈G y∈G
N
b
ξ∈G
1 Xb
f (x) = f (ξ)ξ(x) (îðìóëà îáðàùåíèÿ). (8)
N
b
ξ∈G
1
f[ g è (fcg)(x) = (fb ∗ b
∗ g = fbb g )(x) . (9)
N
P P P P
Áóäåì ïèñàòü äëÿ êðàòêîñòè s âìåñòî ñóììû s∈G è ξ âìåñòî ξ∈G b.
Ïðèâåäåì äâà ïðèìåðà ãðóïï, êîòîðûå áóäóò îñîáåííî ÷àñòî èñïîëüçîâàòüñÿ â íàøåì
îáçîðå.
Ïðèìåð 1. Ïóñòü N íàòóðàëüíîå ÷èñëî è G = Z/NZ = ZN . Òîãäà âñå õàðàêòåðû
ýòî êîðíè èç åäèíèöû ñòåïåíè N , òî åñòü e2πir/N , ãäå r = 0, 1, . . . , N − 1. Áóäåì ïèñàòü
eN (x) äëÿ e2πix/N . Òîãäà ïðåîáðàçîâàíèå Ôóðüå óíêöèè f çàäàåòñÿ îðìóëîé
X
(Φf )(ξ) = fb(ξ) = f (x)eN (−ξx) .
x∈ZN
 ãðóïïå ZN ìîæíî îïèñàòü ñòðóêòóðó ìíîæåñòâ Áîðà (2). Ïðîñòûå ðàññóæäåíèÿ, ñâÿ-
çàííûå ñ ïðèíöèïîì Äèðèõëå ïîçâîëÿþò äîêàçàòü ëåììó (ñì., íàïðèìåð, [2℄, ïàðàãðà
4.4).
Ëåììà 1. Ïóñòü G = ZN è |Γ| = d. Òîãäà ìíîæåñòâî Áîðà B(Γ, ε) ñîäåðæèò
àðèìåòè÷åñêóþ ïðîãðåññèþ äëèíû εN 1/d .
5
Òàêèì îáðàçîì, ìíîæåñòâî Áîðà ìîæíî ïðåäñòàâëÿòü ñåáå êàê îáúåäèíåíèå àðèìå-
òè÷åñêèõ ïðîãðåññèé.
Ïðèìåð 2. Ïóñòü p ïðîñòîå ÷èñëî, n íàòóðàëüíîå ÷èñëî è G = Fnp = (Z/pZ)n .
ðóïïà G ÿâëÿåòñÿ âåêòîðíûì ïðîñòðàíñòâîì ñî ñêàëÿðíûì ïðîèçâåäåíèåì
x · y = x · y = hx, yi = x1 y1 + · · · + xn yn (mod p) .
Ïðåîáðàçîâàíèå Ôóðüå óíêöèè f : Fnp → C âû÷èñëÿåòñÿ ïî îðìóëå
X
fb(r) = f (x)ep (−hr, xi) ,
x∈Fn
p
ãäå ep (x) = e2πix/p . Îñîáåííî ïðîñòî óñòðîåíî ïðåîáðàçîâàíèå Ôóðüå â ãðóïïå Fn2 . Äåéñòâè-
òåëüíî, òàê êàê e2 (x) = (−1)x , òî äëÿ âåùåñòâåííîé óíêöèè f ÷èñëà fb(r) âåùåñòâåííû.
 ãðóïïàõ Fnp ïîíÿòèþ ìíîæåñòâà Áîðà ñîîòâåòñòâóåò ïîíÿòèå àèííîãî ïîäïðî-
ñòðàíñòâà. Ïóñòü v1 , . . . , vk íåêîòîðûå ëèíåéíî íåçàâèñèìûå âåêòîðû è ïóñòü c1 , . . . , ck
ïðîèçâîëüíûå ýëåìåíòû Fp . Àèííûì ïîäïðîñòðàíñòâîì êîðàçìåðíîñòè k íàçûâàåò-
ñÿ ìíîæåñòâî
âûòåêàåò, ÷òî χ
bP (r) = 0 äëÿ ëþáîãî r ∈
/ L. Èíûìè ñëîâàìè
bP (r) = χL (r)|P | ,
χ (10)
6
Àääèòèâíàÿ ýíåðãèÿ ìíîæåñòâ A è B ñâÿçàíà ñ ìîùíîñòüþ èõ ñóììû èëè ðàçíîñòè íåðà-
âåíñòâîì, ïîëó÷àþùèìñÿ ïðèìåíåíèåì íåðàâåíñòâà ÊîøèÁóíÿêîâñêîãî
X X
Ek (A) = (A ◦ A)(x)k = |As |2 (15)
x∈G s1 ,...,sk−1 ∈G
è îðìóëà X X
Ek (A, B) = (A ◦ A)(x)(B ◦ B)(x)k−1 = |BsA |2 (16)
x∈G s1 ,...,sk−1 ∈G
Î÷åâèäíî, ÷òî
X
Ek+1 (A, B) = (A ◦ A)(x)(B ◦ B)(x)k
x
X X 2
= A(y)B(y + x1 ) . . . B(y + xk ) = E(∆k (A), B k ) , (17)
x1 ,...,xk y
Ïîïîâîäó äóàëüíîñòè Ek è Tk ñì. [22℄, [21℄, [23℄. Íàïðèìåð, â ðàáîòå [22℄, çàìå÷àíèå 6.6
áûëî äîêàçàíî
E3/2 (A) 2k
≤ Ek (A)Tk (A) ,
|A|
7
åñëè ÷èñëî k ÷åòíîå. Áîëåå òîãî, èç îðìóë (4)(8) âûòåêàåò, ÷òî Tk (|A| b 2 ) = N 2k−1 E2k (A)
P b bk b ◦ A)
b k (x) = N 2k+1 Tk (A).
è x (A ◦ A) (x)(A
Ñäåëàåì åùå íåñêîëüêî çàìå÷àíèé îá îáîçíà÷åíèÿõ. Åñëè S ⊆ G íåêîòîðîå ìíî-
æåñòâî, òî áóäåì ïèñàòü S(x) äëÿ åãî õàðàêòåðèñòè÷åñêîé óíêöèè. Èíûìè ñëîâàìè
S(x) = 1, åñëè x ∈ S è íóëü èíà÷å. ×èñëà Sb íàçûâàþò êîýèöèåíòàìè Ôóðüå ìíîæåñòâà
S . Ñèìâîë |S| èñïîëüçóåòñÿ äëÿ ìîùíîñòè ìíîæåñòâà S . Åñëè A, B ⊆ G ïðîèçâîëü-
íûå ìíîæåñòâà, µG (A) > 0, òî µA (B) := µµG (B)
G (A)
. Ìû òàêæå ïèøåì µA (x) äëÿ óíêöèè
A(x)/|A|. Çàïèñü log îçíà÷àåò ëîãàðèì ïî îñíîâàíèþ äâà. Çíàêè ≪ è ≫ ñóòü îáû÷íûå
ñèìâîëû Âèíîãðàäîâà è åñëè îöåíêè â íåðàâåíñòâàõ çàâèñÿò îò íåêîòîðîãî ïàðàìåòðà M
ïîëèíîìèàëüíî, òî ìû ïèøåì ≪M , ≫M . Åñëè äëÿ äâóõ âåëè÷èí a, b âûïîëíåíî a ≪M b,
b ≪M a, òî ìû çàïèñûâàåì ýòîò àêò ñëåäóþùèì îáðàçîì a ∼M b.  ÷àñòíîñòè, ñèìâîë
a ∼ b îçíà÷àåò, ÷òî a ≪ b è, îäíîâðåìåííî, b ≪ a. Åñëè n íàòóðàëüíîå ÷èñëî, òî
áóäåì ïèñàòü [n] äëÿ îòðåçêà íàòóðàëüíîãî ðÿäà {1, 2, . . . , n}. ×åðåç P îáîçíà÷èì ìíîæå-
ñòâî ïðîñòûõ ÷èñåë. Ìû èñïîëüçóåì îáîçíà÷åíèå e(x) äëÿ óíêöèè e(x) = e2πix . Íàêîíåö
Z∗N = ZN \ {0}.
8
x, y, z, w ∈ A êàæäûé èç ÷åòûðåõ ýëåìåíòîâ x, y, z, w âûáèðàåòñÿ íåçàâèñèìî ñ âåðîÿòíî-
ñòüþ δ , êðîìå òåõ ðåäêèõ ñëó÷àåâ, êîãäà íåêîòîðûå ýëåìåíòû îêàçûâàþòñÿ ñîâïàäàþùè-
ìè. Äàëåå, ïîëüçóÿñü îöåíêàìè áîëüøèõ óêëîíåíèé äëÿ ïîñëåäîâàòåëüíîñòè íåçàâèñèìûõ
îäèíàêîâî ðàñïðåäåëåííûõ ñëó÷àéíûõ âåëè÷èí ìîæíî òàêæå äîêàçàòü, ÷òî âñå íåíóëå-
âûå êîýèöèåíòû Ôóðüå ñëó÷àéíîãî ìíîæåñòâà íå ïðåâîñõîäÿò N 1/2+ε , ãäå ε > 0
ïðîèçâîëüíîå (áîëåå ïîäðîáíî ñì., íàïðèìåð, [32℄). Ñëåäîâàòåëüíî, ñëó÷àéíûå ìíîæå-
ñòâà ïðåäñòàâëÿþò ñîáîé ïðèìåð ðàâíîìåðíûõ ìíîæåñòâ, òî åñòü ìíîæåñòâ ñ ìàëûìè
íîðìàìè àóýðñà, ñì. [4℄, [66℄ è ãëàâó 8. Íàêîíåö, ìîæíî ïîêàçàòü, ÷òî â íåêîòîðîì ñìûñ-
ëå "ïî÷òè âñå" ïîäìíîæåñòâà G ìîùíîñòè δN ÿâëÿþòñÿ ñëó÷àéíûìè.
Èòàê, ñëó÷àéíûå ìíîæåñòâà ýòî ïåðâûé, äîñòàòî÷íî ïðîñòîé ïðèìåð àääèòèâíûõ
ìíîæåñòâ. Ñ àääèòèâíîêîìáèíàòîðíîé òî÷êè çðåíèÿ, àíàëèòè÷åñêèå ìåòîäû, ñì., íàïðè-
ìåð, [31℄, [33℄, [34℄ òàêèå, êàê îöåíêè òðèãîíîìåòðè÷åñêèõ ñóìì, òî åñòü êîýèöèåíòîâ
Ôóðüå õàðàêòåðèñòè÷åñêèõ óíêöèé, ñóòü óòâåðæäåíèÿ î òîì, ÷òî äàííîå êîíêðåòíîå
ìíîæåñòâî ÿâëÿåòñÿ, â íåêîòîðîì ñìûñëå, áëèçêèì ê ñëó÷àéíîìó, ñì., íàïðèìåð, ñòàòüþ
[9℄ èëè îáñóæäåíèå â ïàðàãðàå 4 îáçîðà [66℄.
Ïðîòèâîïîëîæíîñòüþ ñëó÷àéíûì ìíîæåñòâàì ÿâëÿþòñÿ ñòðóêòóðèðîâàííûå îáúåê-
òû. Ìû ïðèâåäåì ñïèñîê ñåìåéñòâ ìíîæåñòâ, êîòîðûå ñ÷èòàþòñÿ ñòðóêòóðèðîâàííûìè â
àääèòèâíîé êîìáèíàòîðèêå.
Ïðèìåð 4. Ïóñòü G = Z è a ∈ Z, d ∈ Z, d 6= 0 íåêîòîðûå ÷èñëà. Òîãäà ìíîæåñòâî
A = {a, a + d, a + 2d, . . . , a + (k − 1)d} ýòî îáûêíîâåííàÿ àðèìåòè÷åñêàÿ ïðîãðåññèÿ
ñ íà÷àëüíûì ýëåìåíòîì a è ðàçíîñòüþ d. Òàêèå ìíîæåñòâà çàäàþòñÿ ìèíèìàëüíûì ÷èñ-
ëîì ïàðàìåòðîâ, à èìåííî, äâóìÿ ÷èñëàìè a è d è, ïîýòîìó, îíè ñ÷èòàþòñÿ ÷ðåçâû÷àéíî
ñòðóêòóðèðîâàííûìè. Ëåãêî âû÷èñëèòü âñå õàðàêòåðèñòèêè àðèìåòè÷åñêîé ïðîãðåññèè
3
A. Íàïðèìåð, |A + A| = 2|A| − 1 è E(A) = 2|A| 3+|A| . Ñóììà Q = P1 + · · · + Pk àðèìåòè-
÷åñêèõ ïðîãðåññèé P1 , . . . , Pk íàçûâàåòñÿ îáîáùåííîé àðèìåòè÷åñêîé ïðîãðåññèåé. Ïðè
ýòîì êîëè÷åñòâî àðèìåòè÷åñêèõ ïðîãðåññèé k íàçûâàåòñÿ ðàçìåðíîñòüþ îáîáùåííîé
àðèìåòè÷åñêîé ïðîãðåññèè. Âîîáùå ãîâîðÿ, ìîùíîñòü Q ìîæåò áûòü ìåíüøå âåëè÷èíû
|P1 | . . . |Pd |, íî åñëè |Q| = |P1 | . . . |Pd |, òî òàêàÿ îáîáùåííàÿ àðèìåòè÷åñêàÿ ïðîãðåññè-
ÿâëÿåòñÿ íàçûâàåòñÿ òî÷íîé.  ñèòóàöèè, êîãäà ÷èñëî k äîñòàòî÷íî ìàëî ìíîæåñòâî Q
òàêæå ñ÷èòàåòñÿ ñòðóêòóðèðîâàííûì è åãî õàðàêòåðèñòèêè íåñëîæíî íàéòè. Íàïðèìåð,
ëåãêî âèäåòü, ÷òî |Q + Q| ≤ 2k |Q|. Íàêîíåö, åñëè óäàëèòü èç àðèìåòè÷åñêîé ïðîãðåññèè
èëè èç îáîáùåííîé àðèìåòè÷åñêîé ïðîãðåññèè íåáîëüøîå ÷èñëî ýëåìåíòîâ, òî ýòî íå
ñëèøêîì èçìåíèò àääèòèâíóþ ñòðóêòóðó ìíîæåñòâà. Íàïðèìåð, åñëè A ⊆ Q, |A| ≥ β|Q|,
òî, î÷åâèäíî,
|A + A| ≤ |Q + Q| ≤ 2k |Q| ≤ β −1 2k |A|
è, çíà÷èò, ñóììà ìíîæåñòâà A ñ ñîáîé ñðàâíèìà ïî ìîùíîñòè ñ |Q+Q|.  àääèòèâíîé êîì-
áèíàòîðèêå "ïëîòíûå" ïîäìíîæåñòâà îáîáùåííûõ àðèìåòè÷åñêèõ ïðîãðåññèé "ìàëîé"
ðàçìåðíîñòè ñ÷èòàþòñÿ ñòðóêòóðèðîâàííûìè. Òî÷íûé ñìûñë ñëîâ "ïëîòíûé" è "ìàëûé"
îáñóæäàåòñÿ â ãëàâå 4. Åùå áîëåå ñëîæíûìè îáúåêòàìè, èìåþùèìè ñòðóêòóðó, ÿâëÿþòñÿ
óæå óïîìèíàâøèåñÿ ìíîæåñòâà Áîðà (2).
àññìîòðèì òåïåðü ãðóïïó Fnp , p ïðîñòîå. Â òàêèõ ãðóïïàõ îáîáùåííûå àðèìå-
òè÷åñêèå ïðîãðåññèè è ìíîæåñòâà Áîðà ñîâïàäàþò ìåæäó ñîáîé (ñì. ãëàâó 2) è, êàê ìû
óæå çíàåì, âñå îíè ñîîòâåòñòâóþò ñåìåéñòâó àèííûõ ïîäïðîñòðàíñòâ. Ýòî îáúÿñíÿåò,
â ÷àñòíîñòè, ïî÷åìó óäîáíî ðàññìàòðèâàòü â êà÷åñòâå îáåðòûâàþùèõ ãðóïï G èìåííî
ãðóïïû Fnp . Íàêîíåö, åñëè ìû èìååì ëþáîå ïîäïðîñòðàíñòâî H , òî íåçàâèñèìî îò åãî
ðàçìåðíîñòè |H + H| = |H| è E(H) = |H|3 .
9
Îáû÷íî äëÿ èçó÷åíèÿ ñëó÷àéíûõ ìíîæåñòâ èñïîëüçóþò ìåòîäû òåîðèè âåðîÿòíîñòåé
èëè æå àíàëèòè÷åñêèé ïîäõîä [33℄. Äëÿ îïèñàíèÿ ìíîæåñòâ èç ïðèìåðîâ 47 ïðèìåíÿþò
ñîâåðøåííî äðóãèå ìåòîäû. Ñîáñòâåííî, ìíîæåñòâà èç ïðèìåðà 4 âïëîòü äî ñàìîãî ïî-
ñëåäíåãî âðåìåíè ÿâëÿëèñü îñíîâíûìè îáúåêòàìè èçó÷åíèÿ àääèòèâíîé êîìáèíàòîðèêè.
Ñîâñåì íåäàâíî ïðîáëåìàòèêà äàííîé íàóêè ñóùåñòâåííî ðàñøèðèëàñü, â òîì ñìûñëå,
÷òî òåïåðü âñå ÷àùå è ÷àùå àääèòèâíîé êîìáèíàòîðèêå ïðèõîäèòñÿ èìåòü äåëî ñ ìíîæå-
ñòâàìè íå ïîäïàäàþùèìè ïîä îïðåäåëåíèÿ èç ïóíêòîâ 3, 4.
Ïðèâåäåì ëèøü äâà òàêèõ ïðèìåðà. Ïåðâûé èç íèõ ïðåäñòàâëÿåò ñîáîé ñìåñü ñëó÷àé-
íîãî è ñòðóêòóðèðîâàííîãî ñëó÷àåâ. Ìû áóäåì íàçûâàòü òàêèå îáúåêòû ìíîæåñòâàìè
âèäà H ∔ Λ.
Äàëåå, |A+A| ∼ M 2 |H| = K|A|, åñëè, îïÿòü æå, ïàðàìåòð K äîñòàòî÷íî ìàë ïî ñðàâíåíèþ
ñ ïàðàìåòðîì |A|.
Íàéäåì òåïåðü àääèòèâíûå õàðàêòåðèñòèêè ïîäìíîæåñòâ As = A ∩ (A − s). Ýòè ìíî-
æåñòâà äåëÿòñÿ íà äâà êëàññà, îáà âíîñÿò îäèíàêîâûé, ïîïîðÿäêó, âêëàä â àääèòèâíóþ
ýíåðãèþ íàøåãî ìíîæåñòâà A. Òàêàÿ ñèòóàöèÿ áóäåò è â îáùåì ñëó÷àå ïðîèçâîëüíîãî
10
àääèòèâíîãî ìíîæåñòâà, ñì. ðàáîòû [19℄, [20℄, à òàêæå [22℄.
1) "Ìàëûå" As , s ∈ H ∔Λ∔Λ, òî åñòü s ∈ / H .  ýòîì ñëó÷àå, |As | ∼ δ 2 |H| = |A|
K
, ïîñêîëüêó
ìíîæåñòâà Bλ âûáèðàþòñÿ ñëó÷àéíî. Äàëåå, óäîáíî íàéòè ñíà÷àëà õàðàêòåðèñòèêè ìíî-
æåñòâ Bλ . Ïîñêîëüêó îíè ó íèõ îäèíàêîâûå, äëÿ îáîçíà÷åíèÿ ïðîèçâîëüíîãî ìíîæåñòâà
Bλ ìû áóäåì èñïîëüçîâàòü áóêâó B . Èòàê, |B| = |A|/M , |B + B| ∼ |H| = K|B| M
, |A + B| ∼
K|A| |A|3 M |B|3 |A|3 M |B|2 |A|
M|H| = M , E(B) ∼ δ |H| ∼ M 2 K ∼ K è E(A, B) = ME(B) ∼ M K ∼
4 3
K
. Îòñþäà
M 2 |A|3 2 3
|As +As | ∼ |H| = M 2 è |A+As | ∼ |H|M = M . Íàêîíåö, E(As ) ∼ δ |H| ∼ K 5 ∼ M K|A2s|
K|A| K|A| 8 3
3 3 3
è E(A, As ) = ME(As ) ∼ MK|A| 5 ∼M K3
|As |2 |A|.
2) "Áîëüøèå" As , s ∈ H , êîòîðûå, êàê ëåãêî âèäåòü, â M ðàç áîëüøå, ÷åì "ìàëûå"
As . Èíûìè ñëîâàìè, |As | ∼ MK|A| . Äëÿ ýòèõ ìíîæåñòâ âûïîëíåíî |As + As | ∼ |A + As | ∼
|H|M 2 = K|A|. Ïîëüçóÿñü ïðåäûäóùèìè âû÷èñëåíèÿìè, ïîëó÷àåì E(As ) ∼ M 2 δ 8 |H|3 ∼
M 4 |A|3 M |As |3 M 2 |A|3 |As |2 |A|
K 5 ∼ K 2 è E(A, A s ) ∼ M 2 6
δ |H| 3
∼ K 3 ∼ K
.
11
4 Ñòðîåíèå ìíîæåñòâ ñ ìàëûì óäâîåíèåì
 ýòîé ãëàâå ìû ðàññìîòðèì êëàññè÷åñêèé âîïðîñ àääèòèâíîé êîìáèíàòîðèêè, ñì. [7℄,
[1℄, [2℄, à òàêæå çàòðîíåì èìåþùèåñÿ çäåñü ìíîãî÷èñëåííûå ïðèëîæåíèÿ. Ýòîò âîïðîñ
îðìóëèðóåòñÿ òàê: êàêîâà ñòðóêòóðà ìíîæåñòâà A, åñëè èçâåñòíî, ÷òî âåëè÷èíû |A| è
|A + A| íàõîäÿòñÿ â êðèòè÷åñêîì ñîîòíîøåíèè, èíûìè ñëîâàìè, åñëè |A + A| íå ñëèøêîì
âåëèêî ïî îòíîøåíèþ ê |A|? Ìû ÷åòêî ñîðìóëèðóåì äàííóþ ïðîáëåìó ÷óòü íèæå, à ïîêà
îòìåòèì, ÷òî ñîâñåì íåäàâíî â ýòîé çàäà÷å íàìåòèëñÿ ñóùåñòâåííûé ïðîãðåññ, êîòîðûé
ñâÿçàí, ïðåæäå âñåãî, ñ ðåçóëüòàòàìè Øîåíà [35℄, Ñàíäåðñà [36℄ è Êîíÿãèíà [27℄.
Êîíñòàíòîé óäâîåíèÿ ìíîæåñòâà A ⊆ G íàçûâàåòñÿ ÷èñëî
|A + A|
D = D[A] := .
|A|
Ýòî âàæíàÿ õàðàêòåðèñòèêà ìíîæåñòâà è ìû âèäåëè â ãëàâå 3, ÷òî ðàçëè÷íûå àääèòèâíûå
ñåìåéñòâà ìîãóò ñóùåñòâåííî îòëè÷àòüñÿ âåëè÷èíîé D. Òàê, äëÿ ñëó÷àéíîãî ìíîæåñòâà
A ⊆ G èìååì |A + A| ≫ min{|G|, |A|2}, òî åñòü êîíñòàíòà óäâîåíèÿ ñëó÷àéíîãî ìíîæå-
ñòâà áîëüøàÿ. Â ýòîé ãëàâå ìû ðàññìîòðèì ïðîòèâîïîëîæíóþ ñèòóàöèþ è ðàçáåðåì
ñëó÷àé êîãäà ÷èñëî D "ìàëî". ×óòü áîëåå îðìàëüíî ýòî îçíà÷àåò, ÷òî íàñ èíòåðåñóåò
òîò ðåæèì êîãäà ìîùíîñòü ìíîæåñòâà A ðàñòåò, à êîíñòàíòà D èêñèðîâàíà, ëèáî
æå èçìåíÿåòñÿ ñ èçìåíåíèåì ìîùíîñòè A î÷åíü ìåäëåííî. Òàêèå ìíîæåñòâà íàçûâàþò
ìíîæåñòâàìè ñ ìàëûì óäâîåíèåì. Ìîæíî îæèäàòü, ÷òî ñòðóêòóðà ïîäîáíûõ ìíîæåñòâ
âåñüìà íåñëó÷àéíà.
ßñíî, ÷òî âñåãäà D ≥ 1 è ëåãêî ïîêàçàòü, ÷òî D[A] = 1 òîãäà è òîëüêî òîãäà, êîãäà A
ÿâëÿåòñÿ ñìåæíûì êëàññîì íåêîòîðîé ïîäãðóïïû G. Òàêèì îáðàçîì, ðàâåíñòâî D[A] = 1
âûäåëÿåò ñìåæíûå êëàññû ñðåäè âñåãî ìíîãîîáðàçèÿ àääèòèâíûõ ìíîæåñòâ. ×òî áóäåò,
åñëè ðàññìîòðåòü áoëüøèå êîíñòàíòû óäâîåíèÿ? Íàïðèìåð, åñëè ìíîæåñòâî A ÿâëÿåòñÿ
ïîäìíîæåñòâîì íåêîòîðîãî ñìåæíîãî êëàññà Γ è |A| ≥ |Γ|/K , K ≥ 1, òî ÿñíî, ÷òî D[A] ≤
K , ïîñêîëüêó |A + A| ≤ |Γ + Γ| = |Γ| ≤ K|A|. Çàìå÷àòåëüíî, ÷òî ïðè î÷åíü ìàëåíüêèõ
D[A] äðóãèõ ïðèìåðîâ ìíîæåñòâ ñ ìàëûì óäâîåíèåì íåò, ñì., íàïðèìåð, [2℄, ïàðàãðà 5.1.
Òåîðåìà 1. Ïóñòü A ⊆ G ïðîèçâîëüíîå ìíîæåñòâî. Ïðåäïîëîæèì, ÷òî D[A] <
3/2. Òîãäà íàéäåòñÿ ïîäãðóïïà Γ, |Γ| ≤ D[A]|A| è ýëåìåíò x ∈ G òàêèå, ÷òî A ⊆ Γ + x.
Êîíñòàíòà 3/2 â òåîðåìå âûøå ÿâëÿåòñÿ òî÷íîé. Äåéñòâèòåëüíî, ïóñòü G = Fn4 è ìíî-
æåñòâî A ðàâíî äèçúþíêòíîìó îáúåäèíåíèþ íåêîòîðîãî ïîäïðîñòðàíñòâà H è åãî ñäâèãà
H + x, ãäå ïîðÿäîê ýëåìåíòà x ðàâåí 4. Òîãäà D[A] = 3/2 è ëþáîå ïîäïðîñòðàíñòâî Γ,
ñîäåðæàùåå A, èìååò ìîùíîñòü íå ìåíüøå, ÷åì 2|A|. Òàêèì îáðàçîì, åñëè ìû õîòèì
îáîáùèòü òåîðåìó 1 íà áoëüøèå êîíñòàíòû óäâîåíèÿ, òî ÿñíî, ÷òî äëÿ îïèñàíèÿ ñîîò-
âåòñòâóþùèõ ìíîæåñòâ A íàì ïîòðåáóåòñÿ èñïîëüçîâàòü íå ìåíåå äâóõ ñìåæíûõ êëàññîâ
ïîäãðóïïû Γ. Â ñëåäóþùåé òåîðåìå ðàññìàòðèâàåòñÿ ýòà áîëåå ñëîæíàÿ ñèòóàöèÿ [37℄,
[27℄.
Òåîðåìà 2. Ïóñòü A ⊆ G ïðîèçâîëüíîå ìíîæåñòâî è ε ∈ (0, 1) äåéñòâèòåëüíîå
÷èñëî. Ïðåäïîëîæèì, ÷òî D[A] < 2 − ε. Òîãäà íàéäåòñÿ ïîäãðóïïà Γ, |Γ| ≤ D[A]|A| è
ýëåìåíòû x1 , . . . , xk ∈ G, k ≪ε 1 òàêèå, ÷òî
k
G
A⊆ (Γ + xj ) . (19)
j=1
12
 îòëè÷èå îò òåîðåìû 1 òåîðåìà 2 íå ÿâëÿåòñÿ êðèòåðèåì, â òîì ñìûñëå, ÷òî ìíî-
æåñòâà, óäîâëåòâîðÿþùèå (19) íå îáÿçàíû èìåòü êîíñòàíòó óäâîåíèÿ ìåíüøóþ, ÷åì 2
(áîëåå òî÷íîå îïèñàíèå òàêèõ ìíîæåñòâ äàíî â ðàáîòå [37℄). C äðóãîé ñòîðîíû, äëÿ êîí-
ñòàíò óäâîåíèÿ áîëüøå äâóõ äåëî îáñòîèò åùå õóæå, ïîñêîëüêó äàæå ïîêðûòèé âèäà (19)
äëÿ íèõ íåäîñòàòî÷íî. Äåéñòâèòåëüíî, â ïðèìåðå 4 ìû âèäåëè, ÷òî êîíñòàíòà óäâîåíèÿ
ëþáîé àðèìåòè÷åñêîé ïðîãðåññèè â Z èëè R ðàâíà 2 − 1/|A| < 2. Äàëåå, åäèíñòâåííàÿ
êîíå÷íàÿ ïîäãðóïïà Z ýòî {0}. Çíà÷èò, åñëè áû äëÿ D > 2 áûë âûïîëíåí êàêîéòî
àíàëîã (19), òî ëþáîå òàêîå ìíîæåñòâî A ïîêðûâàëîñü áû O(1) ýëåìåíòàìè, ÷òî, êîíå÷-
íî, íåâîçìîæíî. Ýòîò ïðèìåð ïîêàçûâàåò, ÷òî äëÿ îïèñàíèÿ ìíîæåñòâ ñ D > 2, ïîìèìî
ñìåæíûõ êëàññîâ, íåîáõîäèìî ðàññìàòðèâàòü è àðèìåòè÷åñêèå ïðîãðåññèè.  ïðèìåðå
4 ãëàâû 3 ìû èçó÷àëè òàêæå è îáîáùåííûå àðèìåòè÷åñêèå ïðîãðåññèè, òî åñòü ñóììû
àðèìåòè÷åñêèõ ïðîãðåññèé, è óêàçàëè, ÷òî åñëè âçÿòü ñóììó íåáîëüøîãî ÷èñëà òàêèõ
ïðîãðåññèé, òî êîíñòàíòà óäâîåíèÿ ïîëó÷åííîãî ìíîæåñòâà áóäåò ìàëåíüêîé. Îêàçûâàåò-
ñÿ, òàêîé ïîäõîä óæå äàåò êðèòåðèé äëÿ ìíîæåñòâà A èìåòü ìàëóþ êîíñòàíòó óäâîåíèÿ,
ïðè÷åì, D[A] ìîæåò çäåñü áûòü ãîðàçäî áîëüøå, ÷åì 2 è äàæå çàâèñåòü (âïðî÷åì, äî-
ñòàòî÷íî ñëàáî) îò ìîùíîñòè A. .À. Ôðåéìàí äîêàçàë â [7℄ ýòîò êðèòåðèé äëÿ ñëó÷àÿ
G = Z, à îáùàÿ òåîðåìà çäåñü ïðèíàäëåæèò ðèíóóæå [38℄ (ñì. òàêæå [2℄, ïàðàãðà
5.6), êîòîðóþ ìû ñîðìóëèðóåì ÷óòü ïîçæå.
A⊆Q+X. (20)
Ñàìîå ãëàâíîå â òåîðåìå 3 ýòî, êîíå÷íî, òî, ÷òî óíêöèÿ f (D) ñóùåñòâóåò è çàâèñèò
òîëüêî îò êîíñòàíòû óäâîåíèÿ, íî íå îò äðóãèõ õàðàêòåðèñòèê ìíîæåñòâà A. Â òåîðåìå
Ôðåéìàíà â î÷åðåäíîé ðàç ïðîÿâèëàñü çàìå÷àòåëüíàÿ îñîáåííîñòü àääèòèâíîé êîìáèíà-
òîðèêè: åñëè êîíñòàíòà óäâîåíèÿ äîñòàòî÷íî ìàëà, à ýòî îçíà÷àåò â íàøåé òåðìèíîëîãèè,
÷òî âåëè÷èíû |A| è |A + A| íàõîäÿòñÿ â êðèòè÷åñêîì ñîîòíîøåíèè, òî òàêàÿ ñèòóàöèÿ
ìîæåò áûòü òîëüêî åñëè ìíîæåñòâî A óñòðîåíî âåñüìà ñïåöèè÷åñêèì îáðàçîì.
×òîáû ñîðìóëèðîâàòü àíàëîã òåîðåìû Ôðåéìàíà äëÿ ïðîèçâîëüíîé àáåëåâîé ãðóïïû
íàì ïîíàäîáèòñÿ îäíî äîïîëíèòåëüíîå ïîíÿòèå, âáèðàþùåå â ñåáÿ ïîêðûâàþùèå ìíîæå-
ñòâà èç òåîðåì 1, 2 è 3. Îáîáùåííîé àðèìåòè÷åñêîé ïðîãðåññèåé M â ãðóïïå G íà-
çûâàåòñÿ ïðÿìàÿ ñóììà Γ ∔ Q íåêîòîðîé ïîäãðóïïû Γ ⊆ G è (îáû÷íîé) oáîáùåííîé
àðèìåòè÷åñêîé ïðîãðåññèè Q. àçìåðíîñòü M , ïî îïðåäåëåíèþ, ðàâíà ðàçìåðíîñòè Q.
Òåïåðü ìû ìîæåì ñîðìóëèðîâàòü òåîðåìó ðèíàóæè.
13
Òî, ÷òî â äàííîé îðìóëèðîâêå òåîðåìà 4 ÿâëÿåòñÿ êðèòåðèåì äëÿ ìíîæåñòâà áûòü
ìíîæåñòâîì ñ ìàëûì óäâîåíèåì óâèäåòü äîñòàòî÷íî ëåãêî. Äåéñòâèòåëüíî, åñëè ìíîæå-
ñòâî A óäîâëåòâîðÿåò (21), òî
14
èïîòåçó 2 ìîæíî ïðîèòåðèðîâàòü è ïîêàçàòü, ÷òî ìíîæåñòâî A ñîñòîèò èç êóñî÷êîâ
Aj ⊆ Hj , ãäå Hj ïîäïðîñòðàíñòâà Fn2 , |Hj | ≪D |Aj |, ñì. [45℄. Áîëåå òîãî, â îòëè÷èå
îò ñàìîäóàëüíûõ ìíîæåñòâ, èççà óñëîâèÿ ìàëîãî óäâîåíèÿ, ïîäïðîñòðàíñòâà Hj íå ìî-
ãóò áûòü àääèòèâíî íåçàâèñèìûìè è, çíà÷èò, ñòðóêòóðà ìíîæåñòâà A áîëåå ïîõîæà íà
"êàðòîøêè Øîåíà" (êðîìå, ðàçóìååòñÿ, ñëó÷àéíîãî âûáîðà ìíîæåñòâ Aj ).
Èçâåñòíî, ÷òî ãèïîòåçà 2 ýêâèâàëåíòíà ñëåäóþùåìó óòâåðæäåíèþ î óíêöèÿõ [45℄.
èïîòåçà 3. Ïóñòü K ≥ 1 äåéñòâèòåëüíîå ÷èñëî è f : Fn2 → F∞
2 ïðîèçâîëüíàÿ
óíêöèÿ èìåþùàÿ íå ìåíåå 23n /K àääèòèâíûõ ÷åòâåðîê, òî åñòü íàáîðîâ (x, y, z, w) ∈
(Fn2 )4 òàêèõ, ÷òî x+y = z +w è, îäíîâðåìåííî, f (x)+f (y) = f (z)+f (w). Òîãäà íàéäåòñÿ
àèííàÿ óíêöèÿ g : Fn2 → F∞ 2 òàê, ÷òî f (x) = g(x) äëÿ íå ìåíåå, ÷åì 2 /K çíà÷åíèé
n C
Êàê èçâåñòíî [56℄, ïðîñòûå ÷èñëà ñîäåðæàò àðèìåòè÷åñêèå ïðîãðåññèè ëþáîé äëèíû.
Òåîðåìà 5 äàåò àñèìïòîòè÷åñêóþ îðìóëó äëÿ ÷èñëà ïðîãðåññèé äëèíû 4 (äëÿ ïðîãðåññèé
äëèíû òðè ýòîò ðåçóëüòàò áûë èçâåñòåí ðàíåå, ñì. [57℄, [58℄, [59℄). Ñëó÷àé áîëåå äëèííûõ
ïðîãðåññèé òàêæå ðàçîáðàí â [14℄, íî îí îðìóëèðóåòñÿ íåñêîëüêî áîëåå ñëîæíî, ïîýòîìó
ìû íå âêëþ÷èëè åãî â íàñòîÿùèé îáçîð. Åùå îäíî ïðèëîæåíèå ñâÿçàíî ñ óñèëåíèåì
òåîðåìû Âèíîãðàäîâà î ñóììàõ òðåõ ïðîñòûõ.
15
Òåîðåìà 6. Ïóñòü N íå÷åòíîå ÷èñëî. Òîãäà ÷èñëî ïðåäñòàâëåíèé N â âèäå ñóììû
òðåõ ïðîñòûõ N = p1 + p2 + p3 òàêèõ, ÷òî ðàçíîñòü p1 − p2 ∈ P − 1 ðàâíî
N2
(1 + o(1))S3 , (26)
log4 N
ãäå
1 Y p2 − 4p + 1 Y 4p − 1
S3 = 1− · 1+ .
3 (p − 1)4 (p − 1)4
p≥3, p|N 3 −N p≥3, p∤N 3 −N
16
Ïîëüçóÿñü ðåçóëüòàòàìè è ìåòîäàìè ðàáîòû [36℄, ìîæíî äîêàçàòü òåîðåìó îá îöåíêå
L4 íîðìû òðèãîíîìåòðè÷åñêîé ñóììû ïî êâàäðàòàì, ñì. [35℄, [27℄.
Òåîðåìà 9. Ïóñòü n1 < n2 < · · · < nk íàòóðàëüíûå ÷èñëà. Òîãäà
Z 4
1 Xk
exp(2πin2
j α) dα ≪ k 3 exp(− logc k) ,
0
j=1
17
Òåîðåìà 11. Ïóñòü G ëþáàÿ àáåëåâà ãðóïïà è A, B ⊆ G ïðîèçâîëüíûå êîíå÷íûå
ìíîæåñòâà òàêèå, ÷òî |A + B| ≤ K min{|A|, |B|}. Òîãäà (A − A) + (B − B) ñîäåðæèò
òî÷íóþ îáîáùåííóþ àðèìåòè÷åñêóþ ïðîãðåññèþ M â ãðóïïå G ðàçìåðà exp(−h(K))|A+
B| è ðàçìåðíîñòè d(K). Çäåñü d(K) = O(log6 K) è h(K) = O(log6 K · log log K).
Ìîæíî ïîêàçàòü, ÷òî â òåðìèíàõ òåîðåìû 11 ïîëèíîìèàëüíàÿ ãèïîòåçà Áîãîëþáîâà
îçíà÷àåò, ÷òî d(K) = h(K) = O(log K).
Ñðàçó íàäî îòìåòèòü, ÷òî îöåíêè òåîðåìû 12 íå ÿâëÿþòñÿ íàèëó÷øèìè, ñì., íàïðè-
ìåð, [82℄, [83℄. Áîëåå òîãî, â ðàáîòàõ [51℄, [84℄ ïîëó÷åíû òî÷íûå àñèìïòîòè÷åñêèå îð-
ìóëû äëÿ âåðõíåé ãðàíèöû (29) íà ìîùíîñòü ïîäïðîñòðàíñòâà H , êîòîðûå èìåþò âèä
|H| = 22K+O(log K) |A| (â íåäàâíåé ñòàòüå [85℄ íàéäåíî òî÷íîå çíà÷åíèå äëÿ ìîùíîñòè (ìè-
íèìàëüíîãî) H èç òåîðåìû 12). Íàøåé öåëüþ íå ÿâëÿåòñÿ ïîëó÷åíèå òàêèõ òîíêèõ ðå-
çóëüòàòîâ, à òîëüêî ëèøü äåìîíñòðàöèÿ îñíîâíûõ èäåé, ëåæàùèõ â îñíîâå ìåòîäà.
Ëåãêî âèäåòü, ÷òî íèæíèå îöåíêè íà ìîùíîñòü H èìåþò ýêñïîíåíöèàëüíûé õàðàêòåð.
Äåéñòâèòåëüíî, ïóñòü ìíîæåñòâî A ⊆ Fn2 ñîñòîèò èç k âåêòîðîâ ñòàíäàðòíîãî áàçèñà
A = {e1 , . . . , ek }. Òîãäà |A + A| = k2 + 1, K = k/2 + O(1) è ëþáîå ïîäïðîñòðàíñòâî
H , ñîäåðæàùåå A, èìååò ðàçìåðíîñòü íå ìåíåå k , à, çíà÷èò, |H| ≥ 2k = 22K+O(log K) |A|.
Îòñþäà âèäíî, ÷òî â ñëó÷àå ãðóïïû Fn2 âåðõíèå îöåíêè äëÿ òåîðåìû Ôðåéìàíà |H| =
22K+O(log K) |A| ñîâïàäàþò ñ íèæíèìè. Ñëó÷àé Fnp ðàññìîòðåí â ðàáîòå [86℄.
Ìû íà÷íåì äîêàçàòåëüñòâî òåîðåìû 12 ñ îáùèõ çàìå÷àíèé îòíîñèòåëüíî àääèòèâíûõ
ìíîæåñòâ. Ïðåäïîëîæèì, ÷òî ìíîæåñòâà A, B ⊆ G àääèòèâíî áëèçêè, â òîì ñìûñëå,
÷òî |A − B| ìàëî ïî ñðàâíåíèþ ñî ñðåäíèì ãåîìåòðè÷åñêèì ìîùíîñòåé A è B , òî åñòü ñ
âåëè÷èíîé (|A||B|)1/2 . Äàëåå, ïóñòü ìíîæåñòâà B è C àääèòèâíî áëèçêè â òîì æå ñìûñëå.
Ìîæíî ëè óòâåðæäàòü, ÷òî òîãäà è ìíîæåñòâà A, C àääèòèâíî áëèçêè? Îòâåò íà ýòîò
18
âîïðîñ îêàçûâàåòñÿ ïîëîæèòåëüíûì, à èìåííî ñïðàâåäëèâî íåðàâåíñòâî òðåóãîëüíèêà
óæè.
ϕ : C × (A − B) → A × B − ∆(C) ,
çàäàâàåìîå îðìóëîé ϕ(c, a−b) = (a−c, b−c). Íàì íàäî óáåäèòüñÿ â òîì, ÷òî îòîáðàæåíèå
ϕ èíúåêòèâíî è òîãäà îðìóëà (30) áóäåò äîêàçàíà. Íî åñëè ϕ(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.
Ïîëàãàÿ â ëåììå 2 A = A, B = A, C = −A, ìû ïîëó÷èì
|A + A|2
|A − A| ≤ (31)
|A|
è, çíà÷èò, ðàçíîñòü ìíîæåñòâà êîíòðîëèðóþòñÿ ñóììîé. Àíàëîãè÷íîå íåðàâåíñòâî â êî-
òîðîì ñóììà è ðàçíîñòü ïåðåñòàâëåíû ìåñòàìè ïîëó÷èòü ãîðàçäî ñëîæíåå, ñì. äîêàçà-
òåëüñòâî îðìóëû (33) íèæå. Òàêîé ýåêò ïðîèñõîäèò èççà òîãî, ÷òî, â íåêîòîðîì
ñìûñëå, ñóììà ìíîæåñòâà óñòðîåíà õóæå, ÷åì ðàçíîñòü, à, çíà÷èò, óñëîâèå íà ìàëîñòü
ñóììû áîëåå ñèëüíîå, ÷åì óñëîâèå íà ìàëîñòü ðàçíîñòè.
Çàäàäèìñÿ òåïåðü äðóãèì âîïðîñîì. Ïðåäïîëîæèì, ÷òî ìíîæåñòâî A ÿâëÿåòñÿ ìíîæå-
ñòâîì ñ ìàëûì óäâîåíèåì. Âåðíî ëè, ÷òî åãî ñóììà èëè ðàçíîñòü òàêæå áóäóò ìíîæåñòâà-
ìè ñ ìàëûì óäâîåíèåì? Ýòî óæå íå ñîâñåì ïðîñòîé âîïðîñ, íî îòâåò íà íåãî òîæå îêàçàëñÿ
ïîëîæèòåëüíûì. Ìû ñîðìóëèðóåì çàìå÷àòåëüíóþ òåîðåìó Ïëþííåêå [87℄ ïåðåîòêðû-
òóþ è èçëîæåííóþ íà ñîâðåìåííîì ÿçûêå óæåé [88℄. Ïðèâåäåííîå íèæå ýëåìåíòàðíîå
äîêàçàòåëüñòâî ïðèíàäëåæèò Ïåòðèäèñó [89℄, [90℄.
Ïðåæäå âñåãî îïðåäåëèì êîýèöèåíò ðàñòÿæåíèÿ äëÿ ïàðû ìíîæåñòâ (A, B) ⊆ G2
|B + X|
RB [A] := min .
∅6=X⊆A |X|
Ñìûñë êîýèöèåíòà ðàñòÿæåíèÿ î÷åâèäåí: äëÿ âñÿêîãî íåïóñòîãî ìíîæåñòâà Y èç A
ñóììà |B + Y | áóäåò áîëüøå |Y | íå ìåíåå, ÷åì â RB [A] ðàç.  ñëó÷àå B = A ëåãêî âèäåòü,
÷òî êîýèöèåíò ðàñòÿæåíèÿ íå ïðåâîñõîäèò êîíñòàíòû óäâîåíèÿ ìíîæåñòâà A.
Ïóñòü ìèíèìóì âûøå äîñòèãàåòñÿ íà ìíîæåñòâå X . Ýòî ìíîæåñòâî îáëàäàåò âåñüìà
çàìå÷àòåëüíûì ñâîéñòâîì.
19
Ëåììà 3. Äëÿ ïðîèçâîëüíîãî ìíîæåñòâà C ⊆ G âûïîëíåíî
|B + X + C| ≤ RB [A]|X + C| .
Y = {x ∈ X : x + c ⊆ X + C ′ } ⊆ X .
|A − A|2
|A + A| ≤ . (33)
|A|
 ñâîþ î÷åðåäü, ïîñëåäíÿÿ îöåíêà ñëåäóåò èç âàðèàíòà íåðàâåíñòâà òðåóãîëüíèêà (30) ñ
ïëþñàìè
|C||A + B| ≤ |A + C||B + C| . (34)
×òîáû äîêàçàòü (34) âîçüìåì ìíîæåñòâî X ⊆ C òàêîå, ÷òî |A + X| = |X|RA [C]. Òîãäà ïî
ëåììå 3, èìååì
|A + X| |A + C|
|A + B| ≤ |A + B + X| ≤ RA [C]|B + X| = |B + X| ≤ |B + C|
|X| |C|
20
Äîêàçàòåëüñòâî. Âîçüìåì X ⊆ A òàêîå, ÷òî |A + X| = |X|RA [A]. Ïðèìåíÿÿ ïîñëåäîâà-
òåëüíî ëåììó 3, íàõîäèì
n
|nA + X| = |A + (n − 1)A + X| ≤ RA [A]|(n − 1)A + X| ≤ · · · ≤ RA [A]|X| ≤ K n |X|
|nA + X||mA + X|
|nA − mA| ≤ ≤ K n+m |X| ≤ K n+m |A| .
|X|
 ÷àñòíîñòè, ó ìíîæåñòâà ñ ìàëûì óäâîåíèåì åãî ñóììà èëè ðàçíîñòü òàêæå áóäóò
ìíîæåñòâàìè ñ ìàëûì óäâîåíèåì. Äðóãèå îáùèå ðåçóëüòàòû î ñóììàõ ìíîæåñòâ ìîãóò
áûòü íàéäåíû â êíèãå [91℄.
Íàêîíåö, ïîñëåäíÿÿ íåîáõîäèìàÿ íàì ëåììà íàçûâàåòñÿ ëåììîé óæè î ïîêðûòèè.
Ñìûñë ýòîé ëåììû ñîñòîèò â òîì, ÷òî åñëè äâà ìíîæåñòâà A è B àääèòèâíî áëèçêè, òî
åñòü âåëè÷èíà |A + B| ìàëà ïî ñðàâíåíèþ ñ ìîùíîñòÿìè A è B , òî èõ ñòðóêòóðà äîëæ-
íà áûòü ñõîæåé, à èìåííî êàæäîå èç ìíîæåñòâ áóäåò ïîêðûâàåòñÿ íåáîëüøèì ÷èñëîì
òðàíñëÿöèé ðàçíîñòè äðóãîãî.
B ⊆A−A+X.
B ⊆ A − A + Span (T ) .
Äåéñòâèòåëüíî,
Ps ïóñòü T ⊆ B ìàêñèìàëüíîå òàêîå, ÷òî ìíîæåñòâà
A + { j=1 εj tj : εj ∈ {0, 1}} íå ïåðåñåêàþòñÿ. ßñíî, ÷òî èç ìàêñèìàëüíîñòè T âûòåêàåò
ñïðàâåäëèâîñòü âêëþ÷åíèÿ B ⊆ A − A + Span (T ). Ñ äðóãîé ñòîðîíû, Påñëè |T | > k , òî
âçÿâ ëþáîå ïîäìíîæåñòâî T ′ ⊆ T , |T ′ | = k + 1 è ïîëîæèâ P = { k+1 ε t′
j=1 j j : εj ∈
Pk+1 ′
{0, 1}} \ { j=1 tj } òàê, ÷òî |P | = 2 k+1
− 1, ïîëó÷èì ïðîòèâîðå÷èå
21
Áåç îãðàíè÷åíèÿ îáùíîñòè ñ÷èòàåì, ÷òî 0 ∈ A. Ïðèìåíèì ëåììó 4 äëÿ ìíîæåñòâ
A = A è B = D + D , ãäå D = A − A (â Fn2 , êîíå÷íî, íåâàæíî, ÷òî ïèñàòü ïëþñ èëè ìèíóñ,
íî ìû îïðåäåëÿåì ìíîæåñòâî D òàêèì îáðàçîì, ÷òîáû äàííûå ðàññóæäåíèÿ ñîõðàíèëèñü
è â ñëó÷àå ïðîèçâîëüíîé ãðóïïû). Òîãäà
22
Ëåììà 6. Ïóñòü A ⊆ Fn2 ïðîèçâîëüíîå ìíîæåñòâî ïîëèíîìèàëüíîãî ðîñòà
ñòåïåíè d. Òîãäà íàéäåòñÿ ïîäïðîñòðàíñòâî H , ñîäåðæàùåå A, è òàêîå, ÷òî |H| ≤
exp(O(d log d))|A|.
×òîáû ïîëó÷èòü óòâåðæäåíèå âûøå íàì ïîíàäîáèòñÿ ëåììà Ñàíäåðñà [94℄ (óòî÷íåíèÿ
è îáîáùåíèÿ ýòîé ëåììû ñîäåðæàòñÿ â ñòàòüå [95℄).
A + A ⊆ 2A + A ⊆ · · · ⊆ (n − 1)A + A = nA .
Ïîñêîëüêó, |nA| ≤ nd |A|, òî ïî ïðèíöèïó Äèðèõëå, íàéäåòñÿ l = O(d log d) òàêîå, ÷òî
|lA| = |(l − 1)A + A| ≤ 2|(l − 1)A|. Íî òîãäà ïî ëåììå 7 (áîëåå àêêóðàòíûå ðàññóæäåíèÿ
ñîäåðæàòñÿ â [36℄, ïàðàãðà 6, ñì. òàêæå [95℄) âûïîëíåíî
dimA ≪ log |(l − 1)A| ≤ log(ld |A|) ≤ log |A| + d log l ≤ log |A| + O(d log d) ,
÷òî è òðåáîâàëîñü.
Âîîðóæåííûå êîíöåïöèåé ïîëèíîìèàëüíîãî ðîñòà, ìû ìîæåì òåïåðü ïðèñòóïèòü ê äî-
êàçàòåëüñòâó òåîðåìû 14. Â ìåòîäå Ñàíäåðñà èñïîëüçóåòñÿ ñðàçó íåñêîëüêî èäåé. Ñàìàÿ
ãëàâíàÿ èç íèõ ýòî èçÿùíîå ïðèìåíåíèå òåîðåìû ÊðóòàÑèñàñêà î ïî÷òè ïåðèîäè÷-
íîñòè ñâåðòîê, ñì. [24℄ è [25℄. Ýòîò ðåçóëüòàò èíòåðåñåí ñàì ïî ñåáå, ñì., íàïðèìåð, åãî
ïðèëîæåíèå ê çàäà÷å î ìíîæåñòâàõ áåç àðèìåòè÷åñêèõ ïðîãðåññèé â ðàáîòå [96℄, èçëî-
æåíèþ èç êîòîðîé ìû è ñëåäóåì.
23
Äëÿ ëþáîãî èêñèðîâàííîãî y ñëó÷àéíûå âåëè÷èíû Xj (y) ÿâëÿþòñÿ íåçàâèñèìûìè, èìå-
þùèìè íóëåâîå ìàòåìàòè÷åñêîå îæèäàíèå è äèñïåðñèþ, íå ïðåâîñõîäÿùóþ (|f |2 ∗ µA )(y).
Ïî íåðàâåíñòâó Õèí÷èíà äëÿ ñóìì íåçàâèñèìûõ ñëó÷àéíûõ âåëè÷èí, ïîëó÷àåì
k
X
k Xj (y)kLp (µkA ) ≪ (pk(|f |2 ∗ µA )(y))1/2 .
j=1
24
Ñëåäñòâèå 1. Ïóñòü A, B, C ⊆ G ïðîèçâîëüíûå ìíîæåñòâà, |A + B| ≤ K|A|,
|B + C| ≤ L|B|. Ïóñòü òàêæå ǫ ∈ (0, 1) äåéñòâèòåëüíîå ÷èñëî è k íàòóðàëüíîå.
Òîãäà íàéäåòñÿ ìíîæåñòâî X ⊆ G, X = −X , 0 ∈ X òàêîå, ÷òî
k((A + B) ◦ µB )(y + x) − ((A + B) ◦ µB )(y)kLp (G, y) ≤ ǫe−1 k(A + B)kLp (G) . (43)
|((A+ B) ◦ (A∗ B))(x) −|A||B|| ≤ kAkLp′ (G) · k((A+ B) ◦ B)(y + x) −((A+ B) ◦ B)(y)kLp(G, y) ≤
′
≤ ǫe−1 |A|1/p |A + B|1/p |B| ≤ ǫe−1 K 1/p |A||B| ≤ ǫ|A||B| .
Ïîñêîëüêó îò ìíîæåñòâà ïî÷òè ïåðèîäîâ ìû ïåðåøëè ê ñóììå kX , êîòîðàÿ ïî îð-
ìóëå (41) òàêæå ÿâëÿåòñÿ ìíîæåñòâîì ïî÷òè ïåðèîäîâ, òî ìû ìîæåì ïðèìåíèòü íàø
àíàëèòè÷åñêèé òðþê. Èñïîëüçóÿ ñëåäñòâèå 1 ñ B = C = A, L = K è âû÷èñëÿÿ ïðåîáðà-
çîâàíèå Ôóðüå, íàõîäèì
X 1 X[
(2A ◦ (A ∗ A))(x)(X ∗k−1 X)(x) = b2(ξ)X
(2A)(ξ)A b k (ξ) ≥ (1 − ǫ)|A|2 |X|k . (44)
x
2n
ξ
Òàêèå ìíîæåñòâà èíòåíñèâíî èçó÷àëèñü â ðàáîòàõ [67℄, [49℄, [99℄, [100℄, [101℄, [102℄, [103℄,
[97℄, [104℄, ñì. òàêæå îáçîð [66℄. Çàìå÷àòåëüíûì ðåçóëüòàòîì òåîðèè áîëüøèõ òðèãîíî-
ìåòðè÷åñêèõ ñóìì, èìåþùèì ìíîæåñòâî ïðèëîæåíèé [26℄, [105℄, [72℄, [35℄ è äð., ÿâëÿåòñÿ
òåîðåìà ×àíã [26℄ (ïðîñòîå äîêàçàòåëüñòâî ìîæåò áûòü íàéäåíî â [101℄, [103℄), êîòîðóþ
ìû îðìóëèðóåì çäåñü â ÷àñòíîì ñëó÷àå G = Fn2 .
25
Òåîðåìà 16. Ïóñòü X ⊆ Fn2 ïðîèçâîëüíîå ìíîæåñòâî è c ∈ (0, 1] íåêîòîðîå
÷èñëî. Òîãäà
dim(Specc (X)) ≪ c−2 log(2n /|X|) .
Âûáåðåì ïàðàìåòð k , k = 2 + [log ǫ−1 K], à ǫ áóäåò âçÿòî âïîñëåäñòâèè ðàâíûì 1/4.
Òîãäà ÿñíî, ÷òî âî âòîðîé îðìóëå èç (44) ñóùåñòâåííûé âêëàä âíîñÿò ëèøü ξ , êîòîðûå
ïðèíàäëåæàò Specc (X), ãäå c ðàâíî, ñêàæåì, 1/2. Äåéñòâèòåëüíî, ïðèìåíÿÿ ðàâåíñòâî
Ïàðñåâàëÿ, ìû èìååì
1 X X
| [
(2A)(ξ)| A b k (ξ) < (c|X|)k 1
b2(ξ)|X| [
|(2A)(ξ)| b2 (ξ) ≤
A
2n 2n ξ
ξ ∈Spec
/ c (X)
|H| = 2dimH = 2dimH∗ −dimL = 2log |X|−O(d log d) ≥ |A| exp(−O(log4 K · log log K)) ,
|3lkX| ≤ |3l(2A − 2A)| ≤ K 12l |A| ≤ |X| exp(O((log K)4 + l log K)) ≤ 2lk−2 |X| .
26
4 4 4
≤ |2A − 2A|nO(log K)
≤ exp(O((log K)4 )|X|nO(log K)
≤ nO(log K)
|X|
è, çíà÷èò, ìíîæåñòâî ïî÷òè ïåðèîäîâ X èìååò ïîëèíîìèàëüíûé ðîñò ñòåïåíè d =
O(log4 K).
27
Çíà÷èò, íàéäåòñÿ s òàêîå, ÷òî |As | ≥ a/(2K) è, îäíîâðåìåííî,
X X
ε As (x)As (y) > As (x)As (y) .
x−y∈Pε x−y ∈P
/ ε
Èíûìè ñëîâàìè, X
As (x)As (y) > (1 − ε)|As |2 . (48)
x−y∈Pε
A∗ = {v ∈ V : deg v ≥ (1 − 2ε)|V |} ⊆ As .
Èç (48) âûòåêàåò îöåíêà |A∗ | ≥ ε|V |. Êðîìå òîãî, ó ëþáûõ âåðøèí a, b ∈ A∗ íàéäåòñÿ íå
ìåíåå (1 −4ε)|V | îáùèõ ñîñåäåé x ∈ V , òî åñòü âåðøèí x òàêèõ, ÷òî (a, x) ∈ E è (x, b) ∈ E .
Âûáåðåì ε ðàâíûì 1/8. Ïîëüçóÿñü òîæäåñòâîì
a − b = (a − x) + (x − b) ,
Îòñþäà
X X
(εa/2K)2 (|As |/2)|A∗ − A∗ | ≤ ((A ◦ A) ∗ (A ◦ A))(z) ≤ ((A ◦ A) ∗ (A ◦ A))(z) = a4 .
z∈A∗ −A∗ z
Äðóãèìè ñëîâàìè,
28
E3 , ïîñêîëüêó, êàê ìîæíî ëåãêî ïîêàçàòü îáîáùàÿ ðàññóæäåíèÿ âûøå, äëÿ ëþáîãî íàòó-
ðàëüíîãî k ñïðàâåäëèâî íåðàâåíñòâî |A∗ − A∗ | ≪ E2k (A)E−4
k+1 (A)|A|
2k+6
|A∗ | è, â ÷àñòíîñòè,
−4
|A∗ − A∗ | ≪ E (A)E3 (A)|A| |A∗ | (âûáîð ìíîæåñòâà A∗ çàâèñèò îò ïàðàìåòðà k ). Ýòî, â
2 10
ñâîþ î÷åðåäü, îçíà÷àåò, ÷òî êîíñòàíòà 4 ïîëó÷àåòñÿ òîëüêî åñëè ñîîòíîøåíèå ìåæäó E3 è
E ýêñòðåìàëüíî, òî åñòü E3 (A) ≪ E2 (A)|A|−2 . Èç ïîñëåäíåãî æå íåðàâåíñòâà âûòåêàåò,
÷òî ó A èìåþòñÿ ñèëüíûå ñòðóêòóðíûå ñâîéñòâà (áîëåå ïîäðîáíî ñì. ãëàâó 7).
29
Òåîðåìà 20. Ïóñòü A, B ⊆ G ïðîèçâîëüíûå ìíîæåñòâà, K ≥ 1 äåéñòâè-
òåëüíîå ÷èñëî. Ïðåäïîëîæèì, ÷òî E(A, B) ≥ (|A||B|)3/2/K . Òîãäà íàéäóòñÿ ìíîæåñòâà
A′ ⊆ A, B ′ ⊆ B òàêèå, ÷òî |A′ | ≫ |A|/K , |B ′ | ≫ |B|/K è
Äëÿ âñÿêîãî α ∈ (0, 1) áóäåì ïèñàòü, äëÿ êðàòêîñòè, Sα = Specα (Γ). Èç íåðàâåíñòâà
ÊîøèÁóíÿêîâñêîãî è îöåíêè (52), èìååì
30
ãäå α0 = c, αj+1 = αj2 /2 è J íåêîòîðûé ïàðàìåòð, êîòîðûé ìû âûáåðåì ïîçæå. Ïî
ïðèíöèïó Äèðèõëå íàéäåòñÿ j ∈ [J] òàêîå, ÷òî |Sαj+1 | ≤ p1/J |Sαj |. Ïîëîæèì α = αj . Òîãäà
ïî îöåíêå (53) äëÿ âñåõ γ ∈ Γ, èìååì E(Sα , γSα ) ≫ (αp−1/J )C |Sα |3 := |Sα |3 /K , ãäå C > 0
J
íåêîòîðàÿ àáñîëþòíàÿ êîíñòàíòà. ßñíî òàêæå, ÷òî α ≥ (c/2)2 .
Ê êàæäîé ïàðå ìíîæåñòâ (Sα , γSα ) ìû ìîæåì ïðèìåíèòü òåîðåìó ÁàëîãàÑåìåðåäè
àóýðñà 20 êîòîðàÿ äàñò íàì áîëüøèå (â òåðìèíàõ K ) ïîäìíîæåñòâà A′ , B ′ ⊆ Sα òàêèå,
÷òî ñóììà A′ + γB ′ ìàëà. Ïðè ýòîì ìíîæåñòâà A′ , B ′ , êîíå÷íî, çàâèñÿò îò âû÷åòà γ .
Ñ ïîìîùüþ íåñëîæíûõ êîìáèíàòîðíûõ ðàññóæäåíèé ìû èçáàâèìñÿ îò ýòîé çàâèñèìî-
ñòè. Íàì ïîíàäîáèòñÿ ïðîñòàÿ ëåììà, äîêàçàòåëüñòâî êîòîðîé ìû îñòàâëÿåì ÷èòàòåëþ
(ìîæíî, íàïðèìåð, èñïîëüçîâàòü âåðîÿòíîñòíûé ìåòîä [32℄).
|A′ (γ) ∩ A′ (γ0 )||A′(γ) − A′ (γ0 )| ≤ |A′ (γ) − (A′ (γ) ∩ A′ (γ0 ))||A′ (γ0) − (A′ (γ) ∩ A′ (γ0 ))| ≤
Èòàê, ìû íàøëè ìíîæåñòâî X ⊆ γ0−1 Γ, |X| ≥ |Γ|/K C è ìíîæåñòâî A′ ⊆ Sα , |A′ | ≥ |Sα |/K C
òàêèå, ÷òî äëÿ âñåõ x ∈ X âûïîëíåíî |A′ + xA′ | ≤ K C |A′ |. Ïîñëåäíèé íóæíûé íàì
èíñòðóìåíò ýòî åíîìåí ñóìì ïðîèçâåäåíèé â Fp (ñì. êíèãó [2℄, ãëàâà 8 è ñòàòüþ
[106℄, ÿâíûå îöåíêè ñîäåðæàòñÿ, íàïðèìåð, â [116℄), êîòîðûé âñòóïàåò â ïðîòèâîðå÷èå ñ
íåðàâåíñòâàìè äëÿ ìíîæåñòâ X è A′ , åñëè âûáðàòü ïàðàìåòð J äîñòàòî÷íî áîëüøèì, à
ε(δ) > 0 ìàëûì.
Òåîðåìà 22. Ïóñòü A, B ⊆ Fp ïðîèçâîëüíûå ìíîæåñòâà, a, b ∈ (0, 1) íåêîòîðûå
÷èñëà, pa ≤ |A| ≤ p1−a , |B| ≥ pb . Òîãäà íàéäåòñÿ b ∈ B òàêîå, ÷òî |A + bA| ≥ |A|1+c(a,b) ,
c(a, b) > 0.
Ïðèâåäåííûé ïðèìåð èñïîëüçîâàíèÿ òåîðåìû ÁàëîãàÑåìåðåäèàóýðñà íàãëÿäíî ïî-
êàçûâàåò îñíîâíîé ñïîñîá ïðèìåíåíèÿ ýòîé òåîðåìû: ñâåäåíèÿ àíàëèòèêè ê êîìáèíàòî-
ðèêå, à èìåííî, ñâåäåíèå àíàëèòè÷åñêîé îöåíêè òðèãîíîìåòðè÷åñêîé ñóììû (21) ê ÷èñòî
êîìáèíàòîðíîìó óòâåðæäåíèþ òåîðåìå 22.
Íåñêîëüêî äðóãîé âçãëÿä íà òåîðåìó ÁàëîãàÑåìåðåäèàóýðñà áóäåò ïðåäëîæåí â
ñëåäóþùåé ãëàâå 7.
31
7 Ýíåðãèè Ek è Tk
 ãëàâå 6 ìû âèäåëè, ÷òî òåîðåìó ÁàëîãàÑåìåðåäèàóýðñà ìîæíî ðàññìàòðèâàòü êàê
ðåçóëüòàò î ñòðóêòóðå ìíîæåñòâ A, èìåþùèõ ýêñòðåìàëüíîå ñîîòíîøåíèå ìåæäó ýíåðãè-
ÿìè E1 (A) è E(A). Ñëåäóþùèì øàãîì ÿâëÿåòñÿ èçó÷åíèå êðèòè÷åñêèõ íåðàâåíñòâ ìåæäó
äðóãèìè òèïàìè ýíåðãèé.
Ïåðâûå ðåçóëüòàòû, ãäå áûëè ðàññìîòðåíû èíûå ïàðû ýíåðãèé Ek , El , íàõîäÿùèõñÿ
â ýêñòðåìàëüíîì ñîîòíîøåíèè, áûëè ïîëó÷åíû â [21℄.  ýòîé ðàáîòå àâòîðû èìåëè äåëî
ñ ñèòóàöèåé, êîãäà k = 2, à l > 3. Âïîñëåäñòâèè âñå ýòè ðåçóëüòàòû áûëè ïåðåêðûòû
òåîðåìîé èç [22℄ ê îðìóëèðîâêå êîòîðîé ìû ñåé÷àñ ïåðåõîäèì.
è
|nA′ − mA′ | ≪ (M 5 (s − 1)−20 log20 (M(s − 1)−1 ))6(n+m) K|A′ | . (57)
Íàêîíåö, åñëè s ∈ [3/2, 3), òî íàéäåòñÿ ìíîæåñòâî A′ ⊆ A òàêîå, ÷òî
è
|nA′ − mA′ | ≪ (M (45−25s)/(3−s) (3 − s)−20 log20 M)6(n+m) K|A′ | (59)
äëÿ âñåõ n, m ∈ N.
32
áóäåò ìíîæåñòâîì ñ ìàëûì óäâîåíèåì). Â ãðóïïå Fn2 ìîæíî ñêàçàòü òîæå ñàìîå íåìíîãî
ïîäðóãîìó: åñëè ìû ðàññìîòðèì ïîñëåäîâàòåëüíîñòü A′ , 2A′ , 3A′ , . . . , òî ïîñëå âòîðîãî
ñëîæåíèÿ ðîñò ìîùíîñòè ìíîæåñòâ â íåé ïðåêðàòèòñÿ (îïÿòü æå â òåðìèíàõ K ).
Ïðèìåíåíèÿ òåîðåìû ÁàëîãàÑåìåðåäèàóýðñà îáñóæäàëèñü â ãëàâå 6. Ó òåîðåìû 23
òàêæå èìååòñÿ ðÿä ïðèëîæåíèé ñì., íàïðèìåð, [22℄, [117℄, [118℄, [119℄. Ìû îáñóäèì ñàìîå
ïðîñòîå èç íèõ.  ðàáîòå [120℄ ÕèÁðàóí è Êîíÿãèí (ñì. òàêæå [121℄) äîêàçàëè òàêîé
ðåçóëüòàò.
Òàêèì îáðàçîì, òåîðåìà 24 äàåò íåòðèâèàëüíóþ îöåíêó äëÿ àääèòèâíîé ýíåðãèè ïîä-
ãðóïïû. Òàêîãî ðîäà ðåçóëüòàòû òðåáóþòñÿ â çàäà÷àõ î ðàñïðåäåëåíèè ýëåìåíòîâ ìóëü-
òèïëèêàòèâíûõ ïîäãðóïï, ñì., íàïðèìåð, [31℄.  ðàáîòå [118℄ îöåíêà (60), â ñëó÷àå äî-
ñòàòî÷íî ìàëîé ïîäãðóïïû Γ, áûëà óñèëåíà ñëåäóþùèì îáðàçîì E(Γ) ≪ |Γ|5/2−c , ãäå
c > 0 íåêîòîðàÿ àáñîëþòíàÿ êîíñòàíòà. Ìû îïèøåì ëèøü îñíîâíóþ èäåþ äîêàçà-
òåëüñòâà ýòîãî ðåçóëüòàòà, êîíå÷íî, â ðåàëüíîñòè ïîòðåáîâàëèñü áîëåå ñòðîãèå è ïðÿìûå
ðàññóæäåíèÿ. Èòàê, ïðåäïîëîæèì, ÷òî îöåíêà (60), ïîïîðÿäêó, òî÷íàÿ, èíûìè ñëîâàìè
E(Γ) ≫ |Γ|5/2 . Ïðèìåíÿÿ ìåòîä Ñòåïàíîâà èç [120℄, ìîæíî ïîêàçàòü, ÷òî âñåãäà âûïîë-
íåíî E3 (Γ) ≪ |Γ|3 log |Γ|.  òåðìèíàõ âåëè÷èíû M ýòî îçíà÷àåò ñïðàâåäëèâîñòü îöåíêè
M ≪ log |Γ|, ñëåäîâàòåëüíî, âåëè÷èíà M ìàëà è, çíà÷èò, ìû âïðàâå ïðèìåíèòü òåîðå-
ìó 23. Ïî ýòîé òåîðåìå ó ïîäãðóïïû Γ íàéäåòñÿ áîëüøîå ïîäìíîæåñòâî Γ′ òàêîå, ÷òî
Γ′ − Γ′ ÿâëÿåòñÿ ìíîæåñòâîì ñ ìàëûì óäâîåíèåì è, áîëåå òîãî, îò ïîñëåäóþùèõ ñëîæå-
íèé èëè âû÷èòàíèé ñ Γ′ íàøå ðàçíîñòíîå ìíîæåñòâî ïðàêòè÷åñêè íå ðàñòåò. Íî ýòî óæå
äàåò òðåáóåìîå ïðîòèâîðå÷èå, ïîñêîëüêó, ñ äðóãîé ñòîðîíû, êîìáèíàòîðíûå ðàññóæäå-
íèÿ ïîêàçûâàþò, ÷òî ïîäãðóïïû (è èõ áîëüøèå ïîäìíîæåñòâà) ÿâëÿþòñÿ áàçèñàìè ìàëî-
ãî ïîðÿäêà [114℄, à, çíà÷èò, íå ðàñòè íå ìîãóò. Îòñþäà âûòåêàåò, ÷òî íàøå èçíà÷àëüíîå
ïðåäïîëîæåíèå E(Γ) ≫ |Γ|5/2 áûëî íåâåðíî è, ñëåäîâàòåëüíî, E(Γ) ≪ |Γ|5/2−c , c > 0. Åùå
ðàç ïîâòîðÿåì, ÷òî ýòè ðàññóæäåíèÿ äàþò ëèøü ãðóáóþ ñõåìó äîêàçàòåëüñòâà.
Íàâåðíîå, ñàìîå èíòåðåñíîå òåîðåòèêî÷èñëîâîå ïðèëîæåíèå ìåòîäà äîêàçàòåëüñòâà
òåîðåìû 23 ýòî íîâàÿ îöåíêà äëÿ òðèãîíîìåòðè÷åñêîé ñóììû Õåéëüáðîííà [119℄, êîòî-
p−1
ðàÿ ñâÿçàíà ñ ðàñïðåäåëåíèåì ÷àñòíûõ Ôåðìà q(n) = n p −1 , n 6= 0, ñì. [122℄. Âñå ññûëêè
ïîñâÿùåííûå èñòîðèè âîïðîñà, à òàêæå ïðèëîæåíèÿì ÷àñòíûõ Ôåðìà, ìîãóò áûòü íàé-
äåíû, íàïðèìåð, â ñòàòüÿõ [123℄, [122℄, [120℄, ñì. òàêæå [117℄.
33
C äðóãîé ñòîðîíû, ïðèìåíÿÿ íåðàâåíñòâî ÊîøèÁóíÿêîâñêîãî, ëåãêî âèäåòü, ÷òî èç
çàêëþ÷åíèé òåîðåìû 23 âûòåêàåò îöåíêà Tk (A) ≫M |A|2k−4 E(A), k ≥ 3. Îêàçûâàåòñÿ, ÷òî
ýòî áîëåå øèðîêîå ñîîòíîøåíèå óæå ÿâëÿåòñÿ èñêîìûì êðèòåðèåì [23℄.
|A|
|A′ | ≫ 16 (62)
M 3 log 3 |A|
è
|A|3
|nA′ − mA′ | ≪ (M 3 log4 |A|)4(n+m) M|A′ | · , (63)
E(A)
ãäå n, m ∈ N ïðîèçâîëüíûå.
Áîëåå òîãî, åñëè
|A|2s Ts (A)
T2s (A) ≥ , (64)
M
s ≥ 2, òî îðìóëû âûøå îñòàþòñÿ â ñèëå. Íàîáîðîò èç îöåíîê (62), (63) âûòåêàåò,
÷òî T2s (A) ≫M, log |A|, s |A|2s Ts (A).
 ðàáîòå [20℄ (ñì. òàêæå ïðåäøåñòâóþùóþ âåðñèþ â ñòàòüå [19℄) áûëà äîêàçàíà íîâàÿ
ñòðóêòóðíàÿ òåîðåìà î ìíîæåñòâàõ ñ êðèòè÷åñêèì ñîîòíîøåíèåì ìåæäó ýíåðãèÿìè T4 (A)
è E(A). Ýòîò ðåçóëüòàò ïîçâîëèë Áýéòìàíó è Êàöó ïîëó÷èòü ñóùåñòâåííîå ïðîäâèæåíèå
â çàäà÷å î ìíîæåñòâàõ áåç àðèìåòè÷åñêèõ ïðîãðåññèÿõ â ãðóïïå Fn3 , ñì. [19℄.
Ìîæíî ïðîâåðèòü, ÷òî ëþáîå ìíîæåñòâî A ñ E(A) = |A|2+τ0 , äëÿ êîòîðîãî ñóùå-
ñòâóþò Xj , Hj , óäîâëåòâîðÿþùèå (65)(67), ÿâëÿåòñÿ ïðèìåðîì ìíîæåñòâà ñî ñâîéñòâîì
T4 (A) ≪ |A|4+3τ0 +σ0 . Çàìåòèì òàêæå, ÷òî åñëè E(A) = |A|2+τ0 , òî ïî íåðàâåíñòâó åëüäåðà
âûïîëíåíî T4 (A) ≥ |A|4+3τ0 . Òàêèì îáðàçîì, òåîðåìà 27 äàåò íàì ïîëíîå îïèñàíèå ìíî-
æåñòâ, èìåþùèõ êðèòè÷åñêîå ñîîòíîøåíèå ìåæäó ïàðîé ýíåðãèé E(A) è T4 (A), òî åñòü
îíà ÿâëÿåòñÿ êðèòåðèåì â íàøåì ñìûñëå.
34
Óñëîâèå òåîðåìû 27: A∗ ⊆ A, |A∗ | ≫ |A| âëå÷åò E(A∗ ) ≫ E(A) = |A|2+τ0 íàçûâàåòñÿ
ñâÿçíîñòüþ è îíî ìîæåò áûòü îïðåäåëåíî àíàëîãè÷íûì îáðàçîì äëÿ ëþáîé ýíåðãèè, à
íå òîëüêî àääèòèâíîé ýíåðãèè E, ñì., íàïðèìåð, [23℄.
Ó òåîðåìû 27 åñòü äâà êðàéíèõ ñëó÷àÿ: α = 0 è α = 1−τ 2
0
. Äëÿ ïðîñòîòû ðàññìîòðèì
ñèòóàöèþ êîãäà G = F2 .  ñëó÷àå α = 0 òåîðåìà ÁýéòìàíàÊàöà ãîâîðèò, ÷òî íàøå
n
35
Èòàê, òåîðåìà âûøå ãîâîðèò, ÷òî óñëîâèå (72) âëå÷åò äâå âîçìîæíîñòè äëÿ A: ëèáî
A áëèçêî ê ñëó÷àéíîìó ìíîæåñòâó, ëèáî, íàîáîðîò, ê î÷åíü ñòðóêòóðèðîâàííîìó. ßñíî,
÷òî îáà âàðèàíòà òåîðåìû 29 ðåàëèçóþòñÿ, ïåðâûé ñëó÷àé, êîãäà A äåéñòâèòåëüíî åñòü
ñëó÷àéíîå ìíîæåñòâî, à âòîðîé, êîãäà, íàïðèìåð, íàøå A ýòî ìíîæåñòâî ñ ìàëûì
óäâîåíèåì.
 äðóãîì êðàéíåì ñëó÷àå òåîðåìû 27, à èìåííî êîãäà α = 1−τ 2
0
(äëÿ ïðîñòîòû ìû
ñíîâà ðàññìàòðèâàåì ñèòóàöèþ G = F2 ) íàøå ìíîæåñòâî A âûãëÿäèò êàê äèçúþíêòíîå
n
1+τ0
îáúåäèíåíèå "àääèòèâíî íåçàâèñèìûõ" ïîäïðîñòðàíñòâ H1 , . . . , Hk , ãäå k = |A| 2 , ñì.
ïðèìåð 7 ãëàâû 3. Ñíîâà âîçíèêàåò âîïðîñ: ñóùåñòâóåò ëè êðèòåðèé â òåðìèíàõ ýíåðãèé
äëÿ ìíîæåñòâà áûòü áëèçêèì ê ìíîæåñòâó òàêîãî òèïà? Îòâåò çäåñü ñíîâà îêàçûâàåòñÿ
ïîëîæèòåëüíûì [23℄. ×òîáû ñîðìóëèðîâàòü ñîîòâåòñòâóþùèé ðåçóëüòàò íàì ïîíàäî-
áèòñÿ åùå îäèí òèï ýíåðãèé. (Íåíîðìèðîâàííîé) íîðìîé àóýðñà ìíîæåñòâà A ⊆ G
íàçûâàåòñÿ âûðàæåíèå X
kAkUd = |Aπ(s1 ,...,sd ) | ,
s1 ,...,sd
d
!
X
π(s1 , . . . , sd ) = sj ε j , εj ∈ {0, 1}d .
j=1
X X
kAkU3 = E(As ) ≤ |As |3 = E3 (A)
s s
36
Èòàê, ìû âèäèì, ÷òî ýêñòðåìàëüíûå ñîîòíîøåíèÿ ìåæäó ðàçíûìè òèïàìè ýíåðãèé
âëåêóò çà ñîáîé íàëè÷èå æåñòêîé ñòðóêòóðû ðàññìàòðèâàåìîãî ìíîæåñòâà, ïðè÷åì, äëÿ
îïèñàíèÿ ýòîé ñòðóêòóðû íàì óæå ñîâåðøåííî íåäîñòàòî÷íî îäíîé êîíñòàíòû óäâîåíèÿ,
êàê ýòî áûëî â ãëàâå 4. Íàîáîðîò, çäåñü òðåáóåòñÿ âåñü àðñåíàë ìíîæåñòâ èç ñåìåéñòâ
ãëàâû 3.
Èíòåðåñíî âûðàçèòü îñòàâøèåñÿ ñëó÷àè òåîðåìû 27 â òåðìèíàõ êàêèõëèáî ýíåðãèé
ìíîæåñòâ.
Ìîæíî ïîêàçàòü, ÷òî âûðàæåíèå (77) äåéñòâèòåëüíî çàäàåò íîðìó äëÿ âñåõ d ≥ 2 (ñì.
[9℄ èëè [4℄).  ÷àñòíîñòè ñïðàâåäëèâî íåðàâåíñòâî òðåóãîëüíèêà
kf kU d−1 ≤ kf kU d (79)
äëÿ âñåõ d ≥ 2.
Èç îïðåäåëåíèÿ (77) âûòåêàåò, ÷òî äëÿ ëþáîé óíêöèè f : G → C ñ kf k∞ ≤ 1
âûïîëíåíî kf kU d ≤ 1. Ñîðìóëèðóåì îñíîâíîé âîïðîñ ýòîé ãëàâû. Ïóñòü δ ∈ (0, 1]
äåéñòâèòåëüíîå ÷èñëî è f : G → C ïðîèçâîëüíàÿ óíêöèÿ, kf k∞ ≤ 1 òàêàÿ, ÷òî
kf kU d ≥ δ . (80)
Åñòü ëè ó óíêöèè êàêàÿòî ñòðóêòóðà? Íàïðèìåð, âåðíî ëè, ÷òî f êîððåëèðóåò ñ íåêî-
òîðîé óíêöèåé èç "õîðîøåãî" ñåìåéñòâà?
37
×òîáû ðàçîáðàòüñÿ ñ ïîñòàíîâêîé âîïðîñà ðàçáåðåì ñíà÷àëà ïðîñòåéøèé ñëó÷àé d = 2.
Ïîëüçóÿñü îðìóëîé îáðàùåíèÿ (8), ëåãêî âèäåòü, ÷òî U 2 íîðìà óíêöèè f âûðàæà-
åòñÿ â òåðìèíàõ ïðåîáðàçîâàíèÿ Ôóðüå.
!1/4
1 X b 4
kf kU 2 = |f (r)| . (81)
N 4 r∈G
Òàêèì îáðàçîì, åñëè íåðàâåíñòâî (80) ñïðàâåäëèâî äëÿ d = 2, òî äëÿ óíêöèè f íàéäåòñÿ
ξ∈Gb òàêîå, ÷òî
X
|fb(ξ)| = | f (x)ξ(x)| ≥ δ C N , (82)
x
38
 ñèòóàöèè, êîãäà d = 3 òåîðåìà 31 áûëà ïåðåíåñåíà ðèíîì è Òàî íà ñëó÷àé ïðîèç-
âîëüíîé àáåëåâîé ãðóïïû G (ñì. [10℄). ðóáî ãîâîðÿ, â ãðóïïå G àðèìåòè÷åñêàÿ ïðî-
ãðåññèÿ P â îðìóëå (83) äîëæíà áûòü çàìåíåíà íà òðàíñëÿöèþ ìíîæåñòâà Áîðà. Ìû
íå õîòèì íà ýòîì ïîäðîáíî îñòàíàâëèâàòüñÿ, çàìåòèì òîëüêî, ÷òî òåîðåìà 31 îáëàäàåò
ïî ñðàâíåíèþ ñ îöåíêîé (82) çíà÷èòåëüíîé ñëàáîñòüþ. Ýòà ñëàáîñòü ñîñòîèò â òîì, ÷òî
ñóììèðîâàíèå â îðìóëå (83) èäåò ëèøü ïî ïðîãðåññèè P , à íå ïî âñåé ãðóïïå, êàê â (82).
Òåîðåìû, îáëàäàþùèå òåì æå ñâîéñòâîì ëîêàëüíîñòè, êàê è òåîðåìà 31, íàçûâàþò ñëà-
áûìè îáðàòíûìè òåîðåìàìè äëÿ íîðì àóýðñà, à åñëè èìååòñÿ ãëîáàëüíàÿ êîððåëÿöèÿ
êàê â îðìóëå (82), òî ñèëüíûìè îáðàòíûìè òåîðåìàìè. Èçâåñòíî, ÷òî èìåííî îíè
è íóæíû äëÿ ïîëó÷åíèÿ ðåçóëüòàòîâ îá àðèìåòè÷åñêèõ ïðîãðåññèÿõ â ïðîñòûõ ÷èñëàõ
ñì. [56℄, à òàêæå, íàïðèìåð, äëÿ òàêèõ óòâåðæäåíèé, êàê òåîðåìû 5, 6 ãëàâû 4.
Ñíà÷àëà ñèëüíàÿ îáðàòíàÿ òåîðåìà äëÿ U 3 íîðìû àóýðñà áûëà äîêàçàíà â ñëó÷àå
êîíå÷íûõ âåêòîðíûõ ïðîñòðàíñòâ íàä ïðîñòûì ïîëåì [10℄ (p 6= 2) è [18℄ (p = 2).
Òåîðåìà 32. Ïóñòü δ > 0 äåéñòâèòåëüíîå ÷èñëî, f : Fnp → C íåêîòîðàÿ
óíêöèÿ, kf k∞ ≤ 1 è kf kU 3 ≥ δ . Òîãäà íàéäåòñÿ n × n ìàòðèöà M , âåêòîð b ∈ Fnp , à
òàêæå êîíñòàíòà c(δ) > 0 òàêèå, ÷òî
X 2πi(hM x,xi+bx)
| f (x)e p | ≥ c(δ)pn . (84)
x
39
Ïîñëåäîâàòåëüíîñòü F (g n x) â îðìóëå (86) íàçûâàåòñÿ íèëüïîñëåäîâàòåëüíîñòüþ è,
çíà÷èò, òåîðåìà 33 óòâåðæäàåò, ÷òî ëþáàÿ óíêöèÿ ñ áîëüøîé íîðìîé àóýðñà (85) êîððå-
ëèðóåò ñ íåêîòîðîé íèëüïîñëåäîâàòåëüíîñòüþ. Çàìå÷àòåëüíî, ÷òî îáðàòíîå òàêæå âåðíî
ñì. [10℄, [124℄, ïðè÷åì äîêàçàòåëüñòâî ýòîãî àêòà ñðàâíèòåëüíî ïðîñòîå. Òàêèì îáðàçîì,
òåîðåìà 33 ÿâëÿåòñÿ êðèòåðèåì äëÿ óíêöèè èìåòü áîëüøóþ íîðìó àóýðñà. Ïîäðîáíåå
î íèëüïîñëåäîâàòåëüíîñòÿõ ìîæíî ïðî÷èòàòü, íàïðèìåð, â ðàáîòå [12℄, à òàêæå â [124℄.
Îöåíêè âåëè÷èíû C(d, δ), c(d, δ) â ñòàòüÿõ [12℄, [13℄ ñîâåðøåííî íåêîíñòðóêòèâíû,
êðîìå íåêîòîðûõ ÷àñòíûõ ñëó÷àåâ, íàïðèìåð, d = 3. Çàìåòèì, ÷òî â ïîñëåäíåé ñèòóàöèè
ñóùåñòâóåò òåñíàÿ ñâÿçü ñ ðåçóëüòàòàìè è ãèïîòåçàìè ãëàâû 4, â ÷àñòíîñòè, ñ ïîëèíîìè-
àëüíîé ãèïîòåçîé Ôðåéìàíàóæè, ñì. [54℄.
Èç ñëîæíûõ òåîðåì 32, 33 óæå äîñòàòî÷íî ïðîñòî âûòåêàþò îáùèå ðåçóëüòàòû î äå-
êîìïîçèöèè îãðàíè÷åííûõ óíêöèé. Ìû ïðèâåäåì çäåñü ëèøü äâå äåêîìïîçèöèîííûå
òåîðåìû äëÿ ãðóïï Fnp . Ïåðâûé ñîâñåì ïðîñòîé ðåçóëüòàò îòâå÷àåò íåðàâåíñòâó (82), à
âòîðîé èñïîëüçóåò â ñâîåì äîêàçàòåëüñòâå îáðàòíóþ òåîðåìó 32. Â ñâîåì èçëîæåíèè ìû
ñëåäóåì ëåêöèÿì [28℄.
Ïóñòü ϕ1 , . . . , ϕk : Fnp → Fp ïðîèçâîëüíûå óíêöèè. Çàäàäèì σ àëãåáðó (ðàçáèåíèå)
S ãðóïïû Fnp íà àòîìû, ñîñòîÿùèå èç ìíîæåñòâà óðîâíåé {x : ϕ1 (x) = c1 , . . . , ϕk (x) = ck },
ãäå c1 . . . , ck ∈ Fp íåêîòîðûå êîíñòàíòû. Îáû÷íûì îáðàçîì îïðåäåëÿåòñÿ óñëîâíîå ìà-
òåìàòè÷åñêîå îæèäàíèå E(f |S) óíêöèè f : Fnp → C. ×èñëî k íàçûâàåòñÿ ñëîæíîñòüþ
σ àëãåáðû S. Íàêîíåö, åñëè âñå óíêöèè ϕj ëèíåéíûå, òî íàçîâåì S ëèíåéíûì àêòî-
ðîì. Ñïðàâåäëèâà òåîðåìà [28℄.
ε.
Èòàê, òåîðåìà âûøå ýòî, ïî ñóòè, ïðîñòîå ðàçëîæåíèå óíêöèè íà äâå ÷àñòè, ñî-
äåðæàùèå ìàëåíüêèå è áîëüøèå êîýèöèåíòû Ôóðüå, ñîîòâåòñòâåííî. ßñíî, ÷òî åñëè
òðåáóåòñÿ äîêàçàòü àíàëîã òåîðåìû 34 äëÿ ñòàðøèõ íîðì àóýðñà, òî ìû ñòîëêíåìñÿ
ñî çíà÷èòåëüíûìè ñëîæíîñòÿìè, ïîñêîëüêó, êàê îáñóæäàëîñü ðàíåå, â ýòîé ñèòóàöèè íå
ðàáîòàþò ìåòîäû êëàññè÷åñêîãî ãàðìîíè÷åñêîãî àíàëèçà. Òåì íå ìåíåå, èñïîëüçóÿ îá-
ðàòíûå òåîðåìû äëÿ íîðì U d , ìîæíî äîêàçàòü ïîäîáíûå îáîáùåíèÿ. Äëÿ ïðîñòîòû ìû
ðàññìîòðèì ñëó÷àé G = Fn5 , d = 3.
Íàçîâåì S êâàäðàòè÷íûì àêòîðîì, åñëè âñå óíêöèè ϕj (x) ðàâíû ϕj (x) =
hMj x, xi + hsj xi, ãäå Mj ñèììåòðè÷íûå ìàòðèöû, à sj ïðîèçâîëüíûå âåêòîðà.
40
f : Fn5 → C ïðîèçâîëüíàÿ óíêöèÿ, kf k∞ ≤ 1. Òîãäà íàéäåòñÿ êâàäðàòè÷íûé àêòîð
S ñëîæíîñòè d, ïðè÷åì d ≤ M(ε, ω) òàêîé, ÷òî
f = f1 + f2 + f3 , (87)
41
â íåêîòîðîì ïîäïðîñòðàíñòâå äîñòèãíåò 1 è ýòî ïðèâåäåò ê ïðîòèâîðå÷èþ ñ îòñóòñòâèåì
ó A àðèìåòè÷åñêèõ ïðîãðåññèé äëèíû ÷åòûðå. Áîëåå ïîäðîáíî, ñì., íàïðèìåð, îáçîð [4℄.
9 Çàêëþ÷åíèå
Ìû çàêàí÷èâàåì íàñòîÿùèé îáçîð îðìóëèðîâêîé íåñêîëüêèõ íåðåøåííûõ ïðîáëåì àä-
äèòèâíîé êîìáèíàòîðèêè. ×àñòü ïðîáëåì áûëà óæå ñîðìóëèðîâàíà â ïðåäûäóùèõ ãëà-
âàõ, íàïðèìåð, ïîëèíîìèàëüíàÿ ãèïîòåçà Ôðåéìàíàóæè, ïîëèíîìèàëüíàÿ ãèïîòåçà Áî-
ãîëþáîâà (ñì. ãëàâó 4), âîïðîñû îá îáðàòíûõ òåîðåìàõ äëÿ íîðì àóýðñà (ãëàâà 8) è ò.ä.
Âàæíîé, ìîæåò áûòü äàæå öåíòðàëüíîé, çàäà÷åé â àääèòèâíîé êîìáèíàòîðèêå, ÿâëÿ-
åòñÿ âîïðîñ îá îïðåäåëåíèè íåîáõîäèìûõ è äîñòàòî÷íûõ óñëîâèé äëÿ òîãî, ÷òîáû ìíîæå-
ñòâî S èìåëî âèä A + A, A − A, à òàêæå ÿâëÿëîñü ñòàðøåé ñóììîé èëè ðàçíîñòüþ. Èíûìè
ñëîâàìè, êàêèå ñïåöèè÷åñêèå ñâîéñòâà îòäåëÿþò ñóììó èëè ðàçíîñòü îò ïðîèçâîëüíî-
ãî ìíîæåñòâà? Ýòî ñëîæíàÿ ïðîáëåìà, íå ïîääàþùàÿñÿ ðåøåíèþ äàæå â ñëó÷àå õîðîøî
èçó÷åííûõ ñåìåéñòâ, ñì. [134℄, [135℄. Òåì íå ìåíåå, â ïîñëåäíåå âðåìÿ çäåñü íàìåòèëîñü
íåáîëüøîå ïðîäâèæåíèå [136℄, [23℄.
Åùå îäíèì ñëîæíûì âîïðîñîì îñòàåòñÿ ãèïîòåçà ÝðäåøàÒóðàíà [137℄.
èïîòåçà 6. Ïóñòü A = {n1 < n2 < . . . } áåñêîíå÷íàÿ ïîñëåäîâàòåëüíîñòü íàòó-
ðàëüíûõ ÷èñåë òàêàÿ, ÷òî
X∞
1
= ∞.
i=1
n i
42
íèæíèå îöåíêè íà ðàçìåðíîñòü H , à èìåííî, dimH ≫ n, ñì. [3℄, [148℄. Èíòåðåñíî ïîëó-
÷èòü õîòü êàêîåòî íåðàâåíñòâî âèäà codim(H) = o(n) íà êîðàçìåðíîñòü ìàêñèìàëüíîãî
ïîäïðîñòðàíñòâà H â ñóììàõ.
Ñàì ïî ñåáå èíòåðåñåí âîïðîñ î ñòðîåíèè ìíîæåñòâ áîëüøèõ òðèãîíîìåòðè÷åñêèõ
ñóìì. Êàêîâû íåîáõîäèìûå è äîñòàòî÷íûå óñëîâèÿ äëÿ òîãî, ÷òîáû íåêîòîðîå ìíîæåñòâî
áûëî ìíîæåñòâîì âèäà Specc ? Íåèçâåñòåí îòâåò äàæå íà áîëåå ñïåöèàëüíûé âîïðîñ. ×òî
ìîæíî ñêàçàòü î ñòðóêòóðå ìíîæåñòâ Specc , ìîùíîñòü êîòîðûõ áëèçêà ê ÷èñëó 1/(δc2 )
âåðõíåé ãðàíèöå äëÿ ìîùíîñòè ìíîæåñòâà áîëüøèõ òðèãîíîìåòðè÷åñêèõ ñóìì, âûòåêà-
þùåé èç ðàâåíñòâà Ïàðñåâàëÿ? Ïîäîáíûå ðåçóëüòàòû ìîãëè áû ïîìî÷ü â ðåøåíèè çàäà÷
êîìáèíàòîðíîé òåîðèè ÷èñåë, èñïîëüçóþùèõ àíàëèç Ôóðüå.
Äî ñèõ ïîð íè äëÿ îäíîãî ëèíåéíîãî óðàâíåíèÿ c1 x1 +· · ·+cn xn = 0, ïðè n íå çàâèñÿùåì
îò ðàçìåðà ãðóïïû G, íå íàéäåíî òî÷íîå çíà÷åíèå åãî àìñååâñêîãî ÷èñëà (ñì. êíèãó [149℄
è îáçîð [66℄), òî åñòü ìèíèìàëüíîãî êîëè÷åñòâà öâåòîâ, òðåáóåìûõ, ÷òîáû ðàñêðàñèòü G
è íå ïîëó÷èòü íè îäíîãî îäíîöâåòíîãî ðåøåíèÿ íàøåãî óðàâíåíèÿ.
Ìû çàêàí÷èâàåì ñïèñîê ïðîáëåì îðìóëèðîâêîé ãëàâíîãî âîïðîñà òåîðèè ñóìì ïðî-
èçâåäåíèé [111℄ ãèïîòåçîé ÝðäåøàÑåìåðåäè. Íåêîòîðûå çàäà÷è î ñóììàõ ïðîèçâåäå-
íèé óæå îáñóæäàëàñü íàìè â ãëàâå 6.
àáîòà âûïîëíåíà ïðè èíàíñîâîé ïîääåðæêå ãðàíòà ÍÔ 14-11-00433. Àâòîð âûðà-
æàåò áëàãîäàðíîñòü Ò. Øîåíó è K.Ñ. þòèíó çà ðÿä ïîëåçíûõ îáñóæäåíèé è çàìå÷àíèé.
43
Ñïèñîê ëèòåðàòóðû
[1℄ Nathanson M. Additive number theory. Inverse problems and the geometry of sumsets /
Graduate Texts in Mathemati
s 165, SpringerVerlag, New York, 1996.
[3℄ Green B. Finite eld model in additive
ombinatori
s // Surveys in Combinatori
s 2005,
LMS Le
ture Notes 329, 129.
[5℄ B. Green. Approximate algebrai stru ture // arXiv:1404.0093v1 [math.NT℄ 1 Apr 2014.
[6℄ Gowers W. T. Rough stru
ture and
lassi
ation // Geom. Fun
t. Anal., Spe
ial Volume
- GAFA2000 "Visions in Mathemati
s" , Tel Aviv, (1999) Part I, 79117.
[8℄ Gowers W. T. A new proof of Szemeredi's theorem for arithmeti
progressions of length
four // Geom. fun
. anal., v.8, 1998, 529551.
[9℄ Gowers W. T. A new proof of Szemeredi's theorem // Geom. Fun
t. Anal. 11 (2001),
465588.
[10℄ Green B., Tao T. An inverse theorem for the Gowers U 3 (G) norm, with appli
ations //
Pro
eedings of the Edinburgh Math. So
., 51(1), 73153, 2008.
[11℄ Green B., Tao T., T. Ziegler. An inverse theorem for the Gowers U 4 norm // Glasg.
Math. J., 53(1):150, 2011.
[12℄ Green B., Tao T., T. Ziegler. An inverse theorem for the Gowers U s+1 [N]norm //
Ele
tron. Res. Announ
. Math. S
i., 18(0):6990, 2011.
[13℄ Green B., Tao T., T. Ziegler. An inverse theorem for the Gowers U s+1 [N]norm // Ann.
of Math. (2), 176(2):12311372, 2012.
[14℄ Green B., Tao T. Linear equations in primes // arXiv:math.NT/0606088 v1 4 Jun 2006.
[16℄ Lovett S., Meshulam R., Samorodnitsky A. Inverse Conje
ture for the Gowers norm is
false // arXiv:0711.3388v1 [math.CO℄ 21 Nov 2007.
44
[19℄ M. Bateman, N. Katz. New bounds on
ap sets // J. Amer. Math. So
., 25(2):585613,
2012.
[21℄ S
hoen T., Shkredov I.D. Higher moments of
onvolutions // J. Number Theory 133
(2013), no. 5, 16931737.
[22℄ Øêðåäîâ È.Ä. Íåñêîëüêî íîâûõ ðåçóëüòàòîâ î ñòàðøèõ ýíåðãèÿõ // Òðóäû ÌÌÎ,
74:1 (2013), 3573.
[23℄ Shkredov I.D. Energies and stru
ture of additive sets // arXiv:1405.3132v1 [math.CO℄
13 May 2014.
[24℄ Croot E. S., Sisask O. A probabilisti
te
hnique for nding almost-periods of
onvolutions
// Geom. Fun
t. Anal., 20(6):13671396, 2010.
[25℄ Croot E. S., Laba I., Sisask O. Arithmeti
progressions in sumsets and Lp almost
periodi
ity // 2011, arXiv:1103.6000.
[26℄ Chang M. C., A polynomial bound in Freiman's theorem // Duke Math. J. 113 (2002)
no. 3, 399419.
[27℄ Sanders T. The stru
ture theory of sets addition revisited // Bull. Amer. Math. So
.
(N.S.), 50(1):93127, 2013.
[29℄ Rudin W. Fourier analysis on groups / Wiley 1990 (ðåïðèíò èçäàíèÿ 1962 ãîäà).
[31℄ Konyagin S.V., Shparlinski I.E. Chara
ter sums with exponential fun
tions and their
appli
ations / Cambridge Tra
ts in Mathemati
s, 136, Cambridge University Press,
Cambridge, 1999.
[32℄ Alon N., Spen er J. The Probabilisti Method / New York: Wiley, 1992.
[33℄ Êàðàöóáà À.À. Îñíîâû àíàëèòè÷åñêîé òåîðèè ÷èñåë / Ì.: Íàóêà, 1983, 230 .
[34℄ Korobov N. M. Exponential sums and their appli
ations / Kluwer A
ademi
Publishers,
Dordre
htBostonLondon, 1992.
[35℄ S hoen T. Near optimal bounds in Freiman's theorem // Duke Math. J., 158:112, 2011.
[37℄ Kneser M. Abs
atzungen der symptoti
s
hen di
hte von summenmengen // Math. Z.,
58:459484, 1953.
[38℄ Green B., Ruzsa I. An analog of Freiman's theorem in an arbitrary abelian group // J.
London Math. So
., 75:1, 163175, 2007.
45
[39℄ Tao T. Produ
t set estimates for non-
ommutative groups // Combinatori
a, 28(5):547
594, 2008.
[40℄ Helfgott H. A. Growth and generation in SL2 (Z/pZ) // Ann. of Math. (2), 167(2):601
623, 2008.
[42℄ Breuilard E., Green B., Tao T. The stru
ture of approximate groups // Publ. math. IHES,
116(1):115221, O
tober 2012.
[43℄ Hrushovski E. Stable group theory and approximate subgroups // arxiv.org:0909.2190.
[44℄ Gromov M. Groups of polynomial growth and expanding maps // Inst. Hautes Etudes
S
i. Publ. Math., (53):5373, 1981.
[46℄ I. Z. Ruzsa An analog of Freiman's theorem in groups // Stru
ture theory of set addition.
Asterisque 258 (1999), xv, 323326.
[47℄ Bilu Y. Stru
ture of sets with small sumset // Stru
ture Theory of Sets Addition,
Asterisque, So
. Math. Fran
e, Montrouge, 258 (1999), 77108.
[50℄ Green B., Tao T. A note on the Freiman and BalogSzemerediGowers theorems in nite
elds // J. Aust. Math. So
., 86 (1):6174, 2009.
[51℄ Green B., Tao T. Freiman's theorem in nite elds via extremal set theory //
Combinatori
s, Probability and Computing, 18 (03), 335355.
[53℄ Chang M.-C. Some
onsequen
es of the polynomial Freiman-Ruzsa
onje
ture // C. R.
Math. A
ad. S
i. Paris, 347 (11-12):583588, 2009.
[54℄ Green B., Tao T. An equivalen
e between inverse sumset theorems and inverse
onje
tures
for the U 3 norm // Math. Pro
. Cambridge Philos. So
., 149 (1):119, 2010.
[55℄ Green B., Tao T. The Mobious and nilsequen
es
onje
ture // arXiv:0807.1736v1
[math.NT℄ 10 Jul 2008.
[56℄ Green B., Tao T. The primes
ontain arbitrarily long arithmeti
progressions // Annals
of Math. (2), 167:2, 481547, 2008.
46
[57℄ ×óäàêîâ Í. . Î ïëîòíîñòè ìíîæåñòâà ÷åòíûõ ÷èñåë, íå ïðåäñòàâèìûõ â âèäå ñóììû
äâóõ íå÷åòíûõ ïðîñòûõ // ÈÀÍ 2, 1938, 2540.
[58℄ Van der Corput J. G. Uber Summen von Primzahlen und Primzahlquadraten // Math.
Ann., 116, 1939, 150.
[59℄ Chowla S. There exists an innity of 3
ombinations of primes in A.P. // Pro
. Lahore
Philos. So
., 6, N. 2, 1944, 1516.
[62℄ Szemeredi E., Vu V. Long arithmeti
progressions in sumsets: thresholds and bounds //
J. Amer. Math. So
., 19(1):119169, 2006.
[63℄ Tao T., Vu V. On the singularity probability of random Bernoulli matri
es // J. Amer.
Math. So
., 20(3):603628 (ele
troni
), 2007.
[64℄ S
hoen T. Shkredov I.D. Roth's theorem in many variables // Israel J. Math., 199(1):287
308, 2014.
[65℄ Behrend F.A. On sets of integers whi
h
ontain no three terms in arithmeti
progression
// Pro
. Nat. A
ad. S
i. 23 (1946) 331332.
[66℄ Øêðåäîâ È.Ä. Àíàëèç Ôóðüå â êîìáèíàòîðíîé òåîðèè ÷èñåë // ÓÌÍ, ò.5 393: (2010)
88144.
[69℄ Freiman G. A., Halberstam H., Ruzsa I. Integer Sumsets Containing Long Arithmeti
Progressions // J. London Math. So
. (2), 46, 1992, 193201.
[72℄ Green B. Arithmeti
Progressions in Sumsets // Geom. Fun
t. Anal., v. 12, N. 3, 2002,
584597.
[74℄ Rudin W. Trigonometri series with gaps // J. Math. Me h., 9:203227, 1960.
[75℄ Konyagin S.V., Laba I. Distan
e sets of well-distributed planar sets for polygonal norms
//Israel J. Math., 152:157179, 2006.
47
[76℄ Green B., Sanders T. A quantitative version of the idempotent theorem in harmoni
analysis // Ann. of Math. (2), 168(3):10251054, 2008.
[77℄ Green B., Sanders T. Boolean fun
tions with small spe
tral norm //
arXiv:math.CA/0605524 v1 18 May 2006
[78℄ Sanders T. Indi
ator fun
tions in the FourierEymard algebra // arXiv:0912.0308v1
[math.CA℄ 2 De
2009.
[80℄ Êîíÿãèí Ñ.Â., Øêðåäîâ È.Ä. Î íîðìå Âèíåðà ïîäìíîæåñòâ Zp ïðîìåæóòî÷íîãî ðàç-
ìåðà // arXiv:1403.8129v1 [math.CA℄ 31 Mar 2014.
[84℄ Êîíÿãèí Ñ.Â. Î òåîðåìå Ôðåéìàíà â êîíå÷íûõ ïîëÿõ // Ìàò. çàìåòêè, 84 (3):435
438, 2008.
[86℄ C. EvenZohar, S. Lovett. The FreimanRuzsa theorem over nite elds // Journal of
Combinatorial Theory, 125:333341, 2014.
[87℄ Pl
unne
ke H. Eigens
haften und Abs
hatzungen von Wirkungsfunktionen / BMwF-
GMD-22. Gesells
haft f
ur Mathematik und Datenverarbeitung, Bonn, 1969.
[88℄ Ruzsa I.Z. An appli
ation of graph theory to additive number theory // S
ientia, Ser.
A., 3:97109, 1989.
[91℄ Ruzsa I.Z. Sumsets and stru ture / ïðåïðèíò, 102 ñòð.
[93℄ Nathanson M.B., Ruzsa I.Z. Polynomial growth of sumsets in abelian semigroups //
arXiv:math/0204052v1.
[94℄ Sanders T. On a theorem of Shkredov // Online J. Anal. Comb. No. 5 (2010), Art. 5, 4
pp.
48
[95℄ S
hoen T., Shkredov I.D. Additive dimension and a theorem of Sanders //
arXiv:1404.2044v1.
[97℄ Þäèí À. À. // Òåîðèÿ ÷èñåë (ïîä ðåä. .À. Ôðåéìàíà, À.Ì. óáèíîâà, Å.Â. Íîâîñå-
ëîâà), Êàëèíèíñêèé ãîñ. óíèâ., Ìîñêâà (1973), 163174.
[98℄ Lopez J. M., Ross K. A. Sidon sets. Mar
el Dekker In
., New York, 1975. Le
ture Notes
in Pure and Applied Mathemati
s, Vol. 13.
[99℄ Green B. Spe
tral stru
ture of sets of integers // Fourier analysis and
onvexity (survey
arti
le, Milan 2001), Appl. Numer. Harmon. Anal., Birkhauser Boston, Boston, MA
(2004), 8396.
[100℄ Green B. Stru
ture Theory of Set Addition // ICMS Instru
tional Conferen
e in
Combinatorial Aspe
ts of Mathemati
al Analysis, Edinburgh Mar
h 25 April 5 2002.
[105℄ Bourgain J. On triples in arithmeti
progression // Geom. Fun
t. Anal. 9 (1999) 968
984.
[106℄ J. Bourgain, N. Katz, T. Tao, A sum-produ
t estimate in nite elds and their
appli
ations // GAFA 14 (2004), N 1, 2757.
[107℄ Chang M.-C. Erdos Szemeredi problem on sum set and produ
t set // Annals Math.
157 (2003), 939957.
[108℄ Chang M.-C. On problems of Erdos and Rudin // J. Fun
t. Anal., 207(2):444460,
2004.
[111℄ P. Erd
os, E. Szemeredi On sums and produ
ts of integers // Studies in pure
mathemati
s, 213218, Birkhßauser, Basel, 1983.
[112℄ Elekes G. On the number of sums and produ ts // A ta Arith., 81(4) 365367, 1997.
49
[113℄ J. Solymosi Bounding multipli
ative energy by the sumset // Adv. Math. 222 (2009),
402408.
[114℄ J. Bourgain, A. A. Glibi
huk, S. V. Konyagin. Estimate for the number of sums and
produ
ts and for exponential sums in elds of prime order // J. London Math. So
. (2)
73 (2006), 380398.
[116℄ Glibi
huk A.A. Average estimate for additive energy in prime eld // MJCNT, 1: 3,
5068, 2011.
[117℄ I.D. Shkredov. On Heilbronn's exponential sum // Quart. J. Math., (2012), 110, doi:
10.1093/qmath/has037.
[118℄ I.D. Shkredov. Some new inequalities in additive
ombinatori
s // MJCNT, 3:2 (2013),
237288.
[119℄ I.D. Shkredov. On exponential sums over multipli
ative subgroups of medium size //
Finite Fields Appl., 30 (2014), 7287.
[120℄ D. R. HeathBrown, S. V. Konyagin. New bounds for Gauss sums derived from k th
powers, and for Heilbronn's exponential sum // Quart. J. Math. 51 (2000), 221235.
[121℄ Konyagin S.V. Estimates for trigonometri
sums and for Gaussian sums // IV
International
onferen
e "Modern problems of number theory and its appli
ations". Part
3 (2002), 86114.
[124℄ B. Host, B. Kra. Non
onventional ergodi
averages and nilmanifolds // Ann. of Math.
(2), 161(1):397488, 2005.
[125℄ T. Austin. On the Norm Convergen e of Non onventional Ergodi Averages // preprint.
[126℄ B. Host, B. Kra. Convergen
e of polynomial ergodi
averages // Israel J. Math., 149:1
19 (2005).
[127℄ T. Tao. A quantitative ergodi
theory proof of Szemeredi's theorem // Ele
tron. J.
Combin., 13:1 (2006), Resear
h Paper 99.
[128℄ T. Tao. Norm
onvergen
e of multiple ergodi
averages for
ommuting transformations
// Ergodi
Theory Dynam. Systems, 28:2 (2008), 657688.
[129℄ T. Tao., T. Ziegler. The inverse
onje
ture for the Gowers norm over nite elds via
the
orresponden
e prin
iple // Anal. PDE, 3:1 (2010), 120.
50
[130℄ T. Ziegler. A non-
onventional ergodi
theorem for a nilsystem // Ergodi
Theory
Dynam. Systems, 25:4 (2005), 13571370.
[131℄ T. Ziegler. Universal
hara
teristi
fa
tors and Furstenberg averages // J. Amer. Math.
So
., 20:1 (2007), 5397.
[132℄ Roth K.F. On ertain sets of integers // J. London Math. So . 28 (1953) 245252.
[134℄ S
arkozy A. On additive de
ompositions of the set of the quadrati
residues modulo p
// A
ta Arith., 155 (2012), 4151.
[136℄ N. H. Katz, P. Koester. On additive doubling and energy // SIAM J. Dis
rete Math.
24 (2010), 16841693.
[137℄ Erd
os P., Turan P. On some sequen
es of integers // J. Lond. Math. So
., 11, 1936,
261264.
[138℄ Van der Waerden B. L. Beweis einer Baudets
hen Vermutung // Nieuw Ar
h. Wisk.,
15, 1927, 212216.
[141℄ Meshulam R. On subsets of nite abelian groups with no 3term arithmeti
progressions
// J. Combin. Theory Ser. A 71 (1995) 168172.
[143℄ Tao T. A quantitative ergodi
theory proof of Szemeredi's theorem // Ele
tron. J.
Combin 13:1 (2006): R99.
[145℄ B. Nagle, V. R
odl, M. S
ha
ht. The
ounting lemma for regular kuniform hypergraphs
// Random Stru
tures and Algorithms 28 (2006), 113179.
[146℄ V. R
odl, J. Skokan. Regularity lemma for kuniform hypergraphs // Random Stru
tures
and Algorithms 25 (2004), 142.
[147℄ Tao T. A variant of the hypergraph removal lemma // Journal of Combinatorial Theory,
Series A 113:7 (2006), 12571280.
51
[148℄ Sanders T. Green's sumset problem at density one half // A
ta Arith., 146(1): 91101,
2011.
[150℄ Bourgain J. More on the sumprodu
t phenomenon in prime elds and its appli
ations
// International Journal of Number Theory 1:1 (2005), 132.
52