Открыть Электронные книги
Категории
Открыть Аудиокниги
Категории
Открыть Журналы
Категории
Открыть Документы
Категории
ïðîãðåññèÿõ.
∗
Øêðåäîâ È.Ä.
Ñîäåðæàíèå
1 Ââåäåíèå 1
2 Òåîðåìà Ðîòà. 9
3 Íèæíèå îöåíêè âåëè÷èíû ak (N ). 14
4 Òåîðåìà Ñåìåðåäè. 16
5 Îöåíêè Ãàóýðñà âåëè÷èíû ak (N ). 21
6 Ýðãîäè÷åñêèé ïîäõîä ê òåîðåìå Ñåìåðåäè. 28
7 Äâóìåðíûå îáîáùåíèÿ òåîðåìû Ñåìåðåäè. 34
8 Àðèôìåòè÷åñêèå ïðîãðåññèè, ñîñòàâëåííûå èç ïðîñòûõ ÷èñåë. 47
9 Òåîðåìà Ðàäî î ñèñòåìàõ ëèíåéíûõ óðàâíåíèé. 53
10 Äðóãèå ðåçóëüòàòû îá àðèôìåòè÷åñêèõ ïðîãðåññèÿõ. 56
11 Çàêëþ÷åíèå. 59
Ñïèñîê ëèòåðàòóðû 61
1 Ââåäåíèå
Ïóñòü k è d íàòóðàëüíûå ÷èñëà. Àðèôìåòè÷åñêîé ïðîãðåññèåé äëèíû k ñ ðàçíîñòüþ
d íàçûâàåòñÿ ìíîæåñòâî n, n + d, n + 2d, . . . , n + (k − 1)d, ãäå n öåëîå ÷èñëî.  1927
ãîäó ãîäó Á.Ë. Âàí äåð Âàðäåí äîêàçàë ñâîþ çíàìåíèòóþ òåîðåìó îá àðèôìåòè÷åñêèõ
ïðîãðåññèÿõ (ñì. [1]), êîòîðóþ À.ß. Õèí÷èí íàçâàë æåì÷óæèíîé òåîðèè ÷èñåë (ñì. [2]).
∗
Ðàáîòà âûïîëíåíà ïðè ïîääåðæêå ãðàíòà ÐÔÔÈ N 06-01-00383 è INTAS (ãðàíò N 03-51-5070).
1
Òåîðåìà 1. (Âàí äåð Âàðäåí) Ïóñòü h è k íàòóðàëüíûå ÷èñëà. Äëÿ ëþáîãî ðàç-
áèåíèÿ öåëûõ ÷èñåë íà h ïîäìíîæåñòâ C1 , C2 , . . . , Ch îäíî èç ïîäìíîæåñòâ ñîäåðæèò
àðèôìåòè÷åñêóþ ïðîãðåññèþ äëèíû k .
2
Ïóñòü A ïðîèçâîëüíîå ïîäìíîæåñòâî öåëûõ ÷èñåë. Âåðõíåé ïëîòíîñòüþ Áàíàõà
(èëè ïðîñòî âåðõíåé ïëîòíîñòüþ) ìíîæåñòâà A íàçûâàåòñÿ âåëè÷èíà
|A ∩ [1, 2, . . . , N ]|
D∗ (A) = lim sup .
N →∞ N
Ýðäåø è Òóðàí ïðåäïîëîæèëè, ÷òî ëþáîå ìíîæåñòâî öåëûõ ÷èñåë ïîëîæèòåëüíîé
âåðõíåé ïëîòíîñòè ñîäåðæèò àðèôìåòè÷åñêóþ ïðîãðåññèþ ëþáîé äëèíû. ßñíî, ÷òî èç
ýòîé ãèïîòåçû âûòåêàåò òåîðåìà Âàí äåð Âàðäåíà. Äåéñòâèòåëüíî, âåðõíÿÿ ïëîòíîñòü
Áàíàõà îáëàäàåò ïîëóàääèòèâíûì ñâîéñòâîì
m
[ m
X
∗
D ( Ai ) ≤ D∗ (Ai ) ,
i=1 i=1
3
Èç ôîðìóëû (2) âûòåêàåò, ÷òî âåðõíÿÿ ïëîòíîñòü ìíîæåñòâà A íå ìåíüøå, ÷åì δ/4 > 0.
Ïîëó÷àåì ïðîòèâîðå÷èå ñ ãèïîòåçîé 1.
Ãèïîòåçà Ýðäåøà è Òóðàíà îêàçàëàñü ÷åðåçâû÷àéíî òðóäíîé. Ñàìûé ïðîñòîé ñëó÷àé
k = 3 áûë äîêàçàí Ê.Ô. Ðîòîì ëèøü â 1953 ãîäó (ñì. [14]). Ñëåäóåò ñêàçàòü, ÷òî ñëó÷àé
ïðîãðåññèé äëèíû òðè îñîáûé, ïîñêîëüêó â ýòîé ñèòóàöèè ìîæíî ïðèìåíèòü áîëåå èëè
ìåíåå èçâåñòíóþ òåõíèêó, ñâÿçàííóþ ñ êðóãîâûì ìåòîäîì.
Ïåðåôîðìóëèðóåì ãèïîòåçó ÝðäåøàÒóðàíà åùå ðàç.
Ïóñòü N íàòóðàëüíîå ÷èñëî. Ïîëîæèì
1
ak (N ) = max{|A| : A ⊆ [1, N ] ,
N
A íå ñîäåðæèò àðèôìåòè÷åñêèõ ïðîãðåññèé äëèíû k} ,
Ñäåëàåì îäíî çàìå÷àíèå, îòíîñèòåëüíî ôóíêöèè ak (N ). Ïóñòü k ≥ 3 íàòóðàëüíîå
÷èñëî, N, M ïðîèçâîëüíûå íàòóðàëüíûå ÷èñëà è A íåêîòîðîå ïîäìíîæåñòâî [N + M ]
áåç àðèôìåòè÷åñêèõ ïðîãðåññèé äëèíû k . Òîãäà ìíîæåñòâà A1 = A ∩ [1, . . . , N ] è A2 =
A∩[N +1, . . . , N +M ] òàêæå íå ñîäåðæàò àðèôìåòè÷åñêèõ ïðîãðåññèé äëèíû k . Ïîëó÷àåì
î÷åâèäíîå íåðàâåíñòâî ak (N + M )(N + M ) ≤ ak (N )N + ak (M )M , èç êîòîðîãî âûòåêàåò
ñóùåñòâîâàíèå ïðåäåëà limN →∞ ak (N ). Ãèïîòåçà ÝðäåøàÒóðàíà îçíà÷àåò, ÷òî äëÿ âñåõ
k ≥ 3 âûïîëíåíî
ak (N ) → 0, ïðè N → ∞ . (3)
Ê.Ô. Ðîò äîêàçàë ñëåäóþùóþ òåîðåìó.
4
Òåîðåìû Ðîòà, Ñåìåðåäè, ÕèôÁðàóíà è Áóðãåéíà îòíîñÿòñÿ ê îöåíêå âåëè÷èíû a3 (N )
(ñì. òàêæå èíòåðåñíóþ ñòàòüþ [18] â êîòîðîé ãèïîòåçà ÝðäåøàÒóðàíà äëÿ k = 3 äîêà-
çûâàåòñÿ ìåòîäàìè òåîðèè ãðàôîâ). Êàê áûëî îòìå÷åíî âûøå, âîïðîñ ãèïîòåçû 3, êîãäà
k = 3 ãîðàçäî áîëåå ïðîñòîé, ÷åì ñëó÷àé k ≥ 4. Åñëè k ≥ 4, òî îáû÷íûå àíàëèòè÷åñêèå ìå-
òîäû ïåðåñòàþò ðàáîòàòü. Ëèøü â 1969 ãîäó Ñåìåðåäè äîêàçàë ãèïîòåçó ÝðäåøàÒóðàíà
äëÿ ñëó÷àÿ k = 4 (ñì. [8]), à çàòåì, â 1975 ãîäó èì áûëî ïîëó÷åíî ïîëíîå ðåøåíèå ýòîé
ïðîáëåìû äëÿ âñåõ k ≥ 4 (ñì. [9]). Ñôîðìóëèðóåì ýòîò çàìå÷àòåëüíûé ðåçóëüòàò.
Òåîðåìà 6. (Ñåìåðåäè) Ïóñòü A ïðîèçâîëüíîå ïîäìíîæåñòâî íàòóðàëüíîãî
ðÿäà è D∗ (A) > 0. Òîãäà äëÿ ëþáîãî íàòóðàëüíîãî k ≥ 3 ìíîæåñòâî A ñîäåðæèò àðèô-
ìåòè÷åñêóþ ïðîãðåññèþ äëèíû k .
 ñâîåì äîêàçàòåëüñòâå Ñåìåðåäè èñïîëüçóåò òðóäíûå êîìáèíàòîðíûå àðãóìåíòû.
Îñíîâó åãî äîêàçàòåëüñòâà ñîñòàâëÿåò òàê íàçûâàåìàÿ ëåììà ðåãóëÿðíîñòè, êîòîðàÿ ÿâ-
ëÿåòñÿ, íà ñåãîäíÿøíèé äåíü, âàæíåéøèì èíñòðóìåíòîì èññëåäîâàíèÿ ãðàôîâ. Áîëåå
ïîäðîáíî äîêàçàòåëüñòâî Ñåìåðåäè áóäåò îáñóæäàòüñÿ â ïàðàãðàôå 4.
Àëüòåðíàòèâíîå äîêàçàòåëüñòâî òåîðåìû 6 áûëî ïðåäëîæåíî Õ. Ôþðñòåíáåðãîì â [33]
(áîëåå ïðîñòîå äîêàçàòåëüñòâî èçëîæåíî â [36]). Åãî ïîäõîä èñïîëüçóåò ìåòîäû ýðãîäè-
÷åñêîé òåîðèè. Ôþðñòåíáåðã ïîêàçàë, ÷òî òåîðåìà Ñåìåðåäè ýêâèâàëåíòíà óòâåðæäåíèþ
î êðàòíîé âîçâðàùàåìîñòè äëÿ ïî÷òè âñåõ òî÷åê â ïðîèçâîëüíîé äèíàìè÷åñêîé ñèñòåìå.
Òåîðåìà 7. (Ôþðñòåíáåðã) Ïóñòü X íåêîòîðîå ìíîæåñòâî è B ñèãìà
àëãåáðà èçìåðèìûõ ìíîæåñòâ íà X è µ êîíå÷íàÿ ìåðà íà X , µ(X) > 0. Ïóñòü òàê
æå T ñîõðàíÿþùåå ìåðó µ îòîáðàæåíèå X â ñåáÿ è E ïðîèçâîëüíîå èçìåðèìîå
ïîäìíîæåñòâî X , µ(E) > 0. Òîãäà íàéäåòñÿ íàòóðàëüíîå n > 0 òàêîå, ÷òî
µ(E ∩ T −n E ∩ T −2n E ∩ · · · ∩ T −(k−1)n E) > 0 .
Òåîðåìà Ôþðñòåíáåðãà áóäåò îáñóæäàòüñÿ â ãëàâå 5.
Ñëåäóåò îòìåòèòü, ÷òî èñïîëüçóÿ ñâîé ìåòîä, Ôþðñòåíáåðã è åãî ó÷åíèêè ïîëó÷èëè
ìíîæåñòâî ãëóáîêèõ îáîáùåíèé òåîðåìû Ñåìåðåäè (ñì., íàïðèìåð, [34, 35, 38, 40, 42]),
êîòîðûå êîìáèíàòîðíûìè ìåòîäàìè äîêàçàòü ïîêà íå óäàëîñü.
Ìû ïðèâåäåì çäåñü ëèøü îäèí ðåçóëüòàò èç ñòàòüè [38].
Òåîðåìà 8. (Áåðãåëüñîí, Ëåéáìàí) Ïóñòü X íåêîòîðîå ìíîæåñòâî è B
ñèãìààëãåáðà èçìåðèìûõ ìíîæåñòâ íà X è µ êîíå÷íàÿ ìåðà íà X , µ(X) > 0. Ïóñòü
k ≥ 2, T1 , T2 , . . . Tk îáðàòèìûå ñîõðàíÿþùèå ìåðó µ êîììóòèðóþùèå îòîáðàæåíèÿ X
â ñåáÿ è p1 (n), . . . , pk (n) ìíîãî÷ëåíû ñ ðàöèîíàëüíûìè êîýôôèöèåíòàìè ïðèíèìàþùèå
öåëûå çíà÷åíèÿ äëÿ öåëûõ çíà÷åíèé n. Ïóñòü òàêæå pi (0) = 0, i = 1, . . . , k . Òîãäà äëÿ
ëþáîãî èçìåðèìîãî ìíîæåñòâà E ñ µE > 0 âûïîëíåíî
N −1
1 X −p (n) −p (n) −p (n)
lim inf µ(T1 1 E ∩ T2 2 E ∩ · · · ∩ Tk k E) > 0 .
n→∞ N
n=0
5
Òåîðåìà 9. (Ãàóýðñ) Äëÿ âñåõ íàòóðàëüíûõ N ≥ 3 è k ≥ 4 ñïðàâåäëèâî íåðàâåíñòâî
ak (N ) ¿ 1/(log log N )ck ,
k+9
ãäå êîíñòàíòà ck = 2−2 .
Ëåãêî
P∞ ïîêàçàòü, ÷òî ãèïîòåçà 2 ýêâèâàëåíòíà òîìó, ÷òî äëÿ âñåõ íàòóðàëüíûõ k ≥ 3
ðÿä l=1 ak (4 ) ñõîäèòñÿ (äîêàçàòåëüñòâî ýòîãî ôàêòà áóäåò äàíî â ïàðàãðàôå 5). Ñëå-
l
Òåîðåìà 10. (Ãðèí, Òàî) Äëÿ âñåõ íàòóðàëüíûõ k ≥ 3 ìíîæåñòâî ïðîñòûõ ÷èñåë
ñîäåðæèò àðèôìåòè÷åñêóþ ïðîãðåññèþ äëèíû k .
6
Íà ñàìîì äåëå Ãðèí è Òàî äîêàçàëè åùå áîëåå ñèëüíûé ðåçóëüòàò.
Ïóñòü A ïðîèçâîëüíîå ïîäìíîæåñòâî ìíîæåñòâà ïðîñòûõ ÷èñåë P è ïóñòü π(N )
÷èñëî ïðîñòûõ ÷èñåë, íå ïðåâîñõîäÿùèõ N . Âåðõíåé ïëîòíîñòüþ A, îòíîñèòåëüíî P
íàçûâàåòñÿ âåëè÷èíà lim supN →∞ |A ∩ [N ]|/π(N ).
Òåîðåìó 11 äëÿ k = 3 äîêàçàë Ãðèí â [95, 95]. Îí äîêàçàë äàæå áîëåå ñèëüíûé ðå-
çóëüòàò. Ïóñòü log[1] = log N è äëÿ l ≥ 2 ïîëîæèì log[l] N = log(log[l−1] N ). Òàêèì îáðàçîì
log[l] N åñòü ðåçóëüòàò âçÿòèÿ ëîãàðèôìà îò ÷èñëà N l ðàç ïîäðÿä.
Âûâåäåì îäíî ïðîñòîå ñëåäñòâèå òåîðåìû 11 (ñì. [94]). Êàê èçâåñòíî (ñì., íàïðèìåð,
[89]), ìíîæåñòâî A1 ïðîñòûõ ÷èñåë, äàþùèõ â îñòàòêå îäèí ïî ìîäóëþ ÷åòûðå èìåþò ïî-
ëîæèòåëüíóþ âåðõíþþ ïëîòíîñòü, îòíîñèòåëüíî P . Êðîìå òîãî, ëþáîé ýëåìåíò A1 ìîæåò
áûòü ïðåñòàâëåí â âèäå ñóììû äâóõ êâàäðàòîâ (ñì., íàïðèìåð, [90] ñòð. 8283). Ïðèìåíÿÿ
òåîðåìó 11 ê ìíîæåñòâó A1 ïîëó÷àåì, ÷òî íàéäåòñÿ àðèôìåòè÷åñêàÿ ïðîãðåññèÿ ïðîèç-
âîëüíîé äëèíû, âñå ýëåìåíòû êîòîðîé, ÿâëÿþòñÿ ñóììàìè äâóõ êâàäðàòîâ.
 çàêëþ÷åíèå çàìåòèì, ÷òî èç ãèïîòåçû 2 âûòåêàþò îáå òåîðåìû 10 è 11.
Îïèøåì, âêðàòöå, ñòðóêòóðó íàñòîÿùåãî îáçîðà. Â ïàðàãðàôå 2 ìû ðàññìîòðèì ïðî-
ñòåéøèé ñëó÷àé k = 3 ãèïîòåçû 1 è äîêàæåì òåîðåìó Ðîòà 13.  3 ìû ïðèâåäåì ðå-
çóëüòàòû À. Áåðåíäà, Ð. Ðàíêèíà è äðóãèõ àâòîðîâ î íèæíèõ îöåíêàõ âåëè÷èíû ak (N ).
Ñëåäóþùèé 4 ïîñâÿùåí òåîðåìå Ñåìåðåäè, ïðîñòûì ñëåäñòâèÿì èç ýòîé òåîðåìû è ëåì-
ìå ðåãóëÿðíîñòè. Â ïàðàãðàôå 5 ìû îáñóäèì èäåè, ëåæàùèå â îñíîâå äîêàçàòåëüñòâà
ðåçóëüòàòà Ãàóýðñà äëÿ ñëó÷àÿ k = 4, à òàêæå ñâîéñòâà íîðì Ãàóýðñà, êîòîðûå èñïîëü-
çóþòñÿ ïðè äîêàçàòåëüñòâå îáùåé òåîðåìû 9. Òàê êàê äîêàçàòåëüñòâî òåîðåìû 9 î÷åíü
òðóäíîå, òî â íàøåì èçëîæåíèè ìû áóäåì ñëåäîâàòü áîëåå ïðîñòîé ñòàòüå [45], â êîòîðîé
ïîëó÷åíà áîëåå ñëàáàÿ, ÷åì â òåîðåìå 9, îöåíêà âåëè÷èíû a4 (N ).  5 ìû ïðèâåäåì ñõåìó
äîêàçàòåëüñòâà Ôþðñòåíáåðãà òåîðåìû Ñåìåðåäè è äàäèì íåáîëüøîé îáçîð ðåçóëüòàòîâ,
ïîëó÷åííûõ ìåòîäàìè ýðãîäè÷åñêîé êîìáèíàòîðíîé òåîðèè ÷èñåë.  ñëåäóþùåì ïàðàãðà-
ôå ìû ðàññìîòðèì ïðîñòåéøåå äâóìåðíîå îáîáùåíèå òåîðåìû 6. Ïàðàãðàô 8 ïîñâÿùåí
ðåçóëüòàòó ÃðèíàÒàî 10 î ïðîãðåññèÿõ â ïðîñòûõ ÷èñëàõ.  9 îáñóæäàþòñÿ äàëüíåéøèå
îáîáùåíèÿ òåîðåìû Ðîòà, à òàêæå òåîðåìû Øóðà (ñì. [27]). Îñíîâíûå ðåçóëüòàòû ýòîãî
ðàçäåëà êîìáèíàòîðíîé òåîðèè ÷èñåë ïîëó÷åíû Ê.Ô. Ðîòîì [15], Ð. Ðàäî [22] [24], à òàê-
æå Ï. Ôðàíêëîì, Ð. Ãðýõýì è Â. Ðeäëîì [31]. Â ïàðàãðàôå 10 ìû ïðèâåäåì äâå òåîðåìû
Å. Êðóòà î êðèòè÷åñêèõ ìíîæåñòâàõ áåç àðèôìåòè÷åñêèõ ïðîãðåññèé, íåñêîëüêî ðåçóëü-
òàòîâ îá àðèôìåòè÷åñêèõ ïðîãðåññèÿõ â ñóììàõ è îäíó òåîðåìó î ðàäóãàõ. Íàêîíåö, â
çàêëþ÷åíèè îáñóæäàþòñÿ íåñêîëüêî íåðåøåííûõ çàäà÷, ñâÿçàííûõ ñ òåîðåìîé Ñåìåðåäè
è àðèôìåòè÷åñêèìè ïðîãðåññèÿìè.
7
Ìû çàâåðøèì ââåäåíèå äîêàçàòåëüñòâîì òåîðåìû Âàí äåð Âàðäåíà (ñì. [37]).
Ïóñòü k, r íàòóðàëüíûå ÷èñëà, k ≥ 1, r ≥ 0. Îáîçíà÷èì ñèìâîëîì [a, r, k] àðèôìå-
òè÷åñêóþ ïðîãðåññèþ a, a + r, . . . , a + (k − 1)r. Ïóñòü c : [N ] → [m] íåêîòîðàÿ ðàñêðàñêà
îòðåçêà íàòóðàëüíîãî ðÿäà 1, 2, . . . , N â m öâåòîâ.
Âååð ([a, r1 , k], . . . , [a, rd , k]) íàçûâàåòñÿ ïîëèõðîìàòè÷åñêèì, åñëè íàéäåòñÿ d + 1 ðàç-
ëè÷íûõ öâåòîâ c0 , c1 , . . . , cd òàêèõ, ÷òî íà÷àëüíàÿ òî÷êà a, îêðàøåíà â öâåò c0 è âñå ýëå-
ìåíòû ié ñïèöû âååðà ðàñêðàøåíû â öâåò ci , i = 1, 2, . . . , d.
8
s > 0, òàê êàê â ïðîòèâíîì ñëó÷àå ìû ìîæåì ðàññìîòðåòü âìåñòî [b, s, k − 1] àðèôìåòè-
÷åñêóþ ïðîãðåññèþ b, b − s, . . . , b − (k − 2)s.
Ïóñòü b0 = (b − s)kN1 + a. Òàê êàê N = 4kN1 N2 , òî b ∈ [N ]. Ðàññìîòðèì âååð ðàäèóñà
k , ñòåïåíè d è íà÷àëüíîé òî÷êîé b0
([b0 , skN1 , k], [b0 , skN1 + r1 , k], . . . , [b0 , skN1 + rd−1 + k]) . (5)
Äîêàæåì, ÷òî âååð (5) ïîëèõðîìàòè÷åñêèé. Ðàññìîòðèì ïåðâóþ ñïèöó âååðà. Äëÿ âñåõ
j = 1, . . . , k − 1 âûïîëíåíî
c(b0 + jskN1 ) = c((b + (j − 1)s)kN1 + a) = c0 (b + (j − 1)s) = c0 .
Ñëåäîâàòåëüíî, ïåðâàÿ ñïèöà âååðà ÿâëÿåòñÿ ìîíîõðîìàòè÷åñêîé. Îñòàëüíûå ñïèöû âååðà
òàê æå ìîíîõðîìàòè÷åñêèå. Äåéñòâèòåëüíî, äëÿ âñåõ j = 1, . . . , k − 1, t = 1, . . . , d − 1
âûïîëíåíî
c(b0 + j(skN1 + rt )) = c((b + (j − 1)s)kN1 + a + jrt ) = ct (b + (j − 1)s) = ct .
Åñëè íåêîòîðàÿ ñïèöà âååðà ðàñêðàøåíà â òîò æå öâåò, ÷òî è íà÷àëüíàÿ òî÷êà b0 , òî
ìû íàøëè ìîíîõðîìàòè÷åñêóþ àðèôìåòè÷åñêóþ ïðîãðåññèþ äëèíû k . Åñëè æå öâåò b0
íå ñîâïàäàåò ñ öâåòîì íè îäíîé ñïèöû âååðà, òî ìû ïîëó÷èëè ïîëèõðîìàòè÷åñêèé âååð
ðàäèóñà k è ñòåïåíè d. Èíûìè ñëîâàìè, ìû äîêàçàëè óòâåðæäåíèå Nf , à âìåñòå ñ íèì è
òåîðåìó Âàí äåð Âàðäåíà.
2 Òåîðåìà Ðîòà.
 íàñòîÿùåì ïàðàãðàôå ìû äîêàæåì òåîðåìó Ðîòà 3. Ñôîðìóëèðóåì ýòó çàìå÷àòåëüíóþ
òåîðåìó åùå ðàç.
Òåîðåìà 13. (Ðîò) Ïóñòü δ > 0 äåéñòâèòåëüíîå ÷èñëî è N íàòóðàëüíîå ÷èñëî,
N À exp exp(δ −1 ). Ïóñòü òàêæå A ïðîèçâîëüíîå ïîäìíîæåñòâî [N ], |A| = δN . Òîãäà A
ñîäåðæèò àðèôìåòè÷åñêóþ ïðîãðåññèþ äëèíû òðè.
Ïðåæäå ÷åì äîêàçûâàòü òåîðåìó 13 ìû äàäèì íåñêîëüêî îïðåäåëåíèé, à ïîñëå ýòîãî
ïðèâåäåì ñõåìó äîêàçàòåëüñòâà.
Ïóñòü êîìïëåêñíàÿ ôóíêöèÿ f îïðåäåëåíà íà ìíîæåñòâå öåëûõ ÷èñåë. Ïóñòü òàêæå
E ïðîèçâîëüíîå ïîäìíîæåñòâî Z. Áóäåì ïèñàòü f : E → C åñëè âíå E ôóíêöèÿ f ðàâíà
íóëþ.
Ïóñòü ôóíêöèÿ f ïðèíèìàåò êîíå÷íîå ÷èñëî íåíóëåâûõ çíà÷åíèé. Ïðåîáðàçîâàíèå
Ôóðüå ôóíêöèè f çàäàåòñÿ ôîðìóëîé
X
fb(x) = f (n)e−2πinx , x ∈ S1 . (6)
n
R R1 P P
Áóäåì ïèñàòü âìåñòî 0
è n âìåñòî n∈Z .Ñïðàâåäëèâû ôîðìóëû
Z X
|fb(x)|2 dx = |f (n)|2 . (7)
n
Z X
fb(x)b
g (x) dx = f (n)g(n) . (8)
n
9
Îïðåäåëåíèå 2. Ïóñòü α ∈ (0, 1) äåéñòâèòåëüíîå ÷èñëî, N íàòóðàëüíîå ÷èñëî.
Ôóíêöèÿ f : [N ] → C íàçûâàåòñÿ αðàâíîìåðíîé, åñëè
kfbk∞ ≤ αN . (9)
10
ìíîæåñòâà A ìîùíîñòè δN ñ ëþáîé äîñòàòî÷íî äëèííîé ïðîãðåññèåé P ïðèìåðíî ðàâíà
δ|P |. Òî÷íûé ñìûñë ñëîâ "äîñòàòî÷íî äëèííûé" áóäåò ÿñåí èç äîêàçàòåëüñòâà òåîðåìû
Ðîòà. Ñëåäîâàòåëüíî, åñëè ìíîæåñòâî A íå ÿâëÿåòñÿ αðàâíîìåðíûì, òî íàéäåòñÿ ïðî-
ãðåññèÿ P òàêàÿ, ÷òî |A ∩ P | = (δ + θ)|P |, ãäå |θ| > 0. Áîëåå àêêóðàòíûå ðàññóæäåíèÿ
ïîçâîëÿþò äîêàçàòü, ÷òî ïðîãðåññèþ P ìîæíî âûáðàòü òàê, ÷òîáû âåëè÷èíà θ áûëà ïî-
ëîæèòåëüíà è âûðàæàëàñü ÿâíûì îáðàçîì â òåðìèíàõ ïëîòíîñòè δ .
Ïîñëå ýòîãî ìû ðàññìàòðèâàåì íîâîå ìíîæåñòâî A0 = A ∩ P è ïðèìåíÿåì ê íåìó íàø
àëãîðèòì. Çàìåòèì, ÷òî òàê êàê A0 ⊆ A, òî ìíîæåñòâî A0 íå ñîäåðæèò àðèôìåòè÷åñêèõ
ïðîãðåññèé äëèíû òðè. Êðîìå òîãî, ïëîòíîñòü A0 â P íå ìåíüøå, ÷åì δ + θ, ãäå θ > 0.
Ñëåäîâàòåëüíî, íà êàæäîì øàãå àëãîðèòìà ïëîòíîñòü ïîëó÷àþùèõñÿ ìíîæåñòâ óâåëè÷è-
âàåòñÿ íà ïîëîæèòåëüíóþ âåëè÷èíó. Ñ äðóãîé ñòîðîíû, ïëîòíîñòü âñåãäà íå ïðåâîñõîäèò
åäèíèöû. Ýòî îçíà÷àåò, ÷òî ÷åðåç êîíå÷íîå ÷èñëî øàãîâ íàø àëãîðèòì îñòàíîâèòñÿ. Ñëå-
äîâàòåëüíî, íà êàêîìòî øàãå àëãîðèòìà ìû ïîëó÷èì àðèôìåòè÷åñêóþ ïðîãðåññèþ P̃
è αðàâíîìåðíîå ìíîæåñòâî Ã, ïðèíàäëåæàùåå A ∩ P̃ . Êàê áûëî ñêàçàíî âûøå, â ýòîì
ñëó÷àå, ìíîæåñòâî à ñîäåðæèò àðèôìåòè÷åñêóþ ïðîãðåññèþ äëèíû òðè. Çíà÷èò, ìíîæå-
ñòâî A òàêæå ñîäåðæèò àðèôìåòè÷åñêóþ ïðîãðåññèþ. Îïÿòü ïîëó÷àåì ïðîòèâîðå÷èå ñ
ïðåäïîëîæåíèåì îá îòñóòñòâèè â A àðèôìåòè÷åñêèõ ïðîãðåññèé äëèíû òðè.
Ìû ïðèâåëè ñõåìó äîêàçàòåëüñòâà òåîðåìû Ðîòà. Ïðèñòóïèì ê ñàìîìó äîêàçàòåëü-
ñòâó.
M ≥ 225 π 2 δ −4 . (10)
11
(11), ïîëó÷àåì δk1 ≥ 2δ, δk2 ≥ 22 δ, . . . , δks ≥ 2s δ, . . . . Îòñþäà íå áîëåå ÷åì ÷åðåç
µ ¶
1 1 1 400
k1 + k2 + · · · < 200 + + 2 + ... = =K
δ 2δ 2 δ δ
øàãîâ ïëîòíîñòü δK ñòàíåò áîëüøå 1. Ïîëó÷åííîå ïðîòèâîðå÷èå åùå íå äîêàçûâàåò òåî-
ðåìó Ðîòà, ïîñêîëüêó ìû íå ïðîâåðèëè âûïîëíåíèå óñëîâèÿ (12) íà êàæäîì øàãå íàøåãî
àëãîðèòìà. Èìååì N À exp exp(δ −1 ). Ïðèìåíÿÿ âòîðîå íåðàâåíñòâî (11), ïîëó÷àåì
K K K
NK ≥ (2−15 δK
2 K 1/2
) N ≥ (2−15 δ 2 )K N 1/2 = 2−6000/δ δ 800/δ N 1/2 ≥ 225 π 2 δ −4 .
Äîêàçàòåëüñòâî ïðåäëîæåíèÿ 1.
Ïóñòü P = {b, b + d, . . . , b + (|P | − 1)d}. Áåç îãðàíè÷åíèÿ îáùíîñòè, ìîæíî ñ÷èòàòü,
÷òî b = d = 1. Äåéñòâèòåëüíî, â ïðîòèâíîì ñëó÷àå ðàññìîòðèì ïðîãðåññèþ P̃ = {n | n =
(p − b)/d, p ∈ P } è ìíîæåñòâî Ã = {n | n = (a − b)/d, a ∈ A}. Òîãäà Ã ⊆ P̃ è Ã íå
ñîäåðæèò àðèôìåòè÷åñêèõ ïðîãðåññèé äëèíû òðè.
Èòàê, ïóñòü P = {1, 2, . . . , M }.
Ñëó÷àé 1. Ìíîæåñòâî A ÿâëÿåòñÿ αðàâíîìåðíûì.
Ïðåäïîëîæèì, ÷òî A ÿâëÿåòñÿ αðàâíîìåðíûì ïîäìíîæåñòâîì P , α = 2−5 δ 2 . Êîëè÷åñòâî
àðèôìåòè÷åñêèõ ïðîãðåññèé â A ðàâíî
Z
σ= A b2 (x)A(−2x)
b dx . (13)
Èìååì Z Z
σ=δ 3
Pb2 (x)Pb(−2x) dx + δ 2 Pb2 (x)(A
b − δ Pb)(−2x) dx+
Z Z
+δ Pb(x)(A
b − δ Pb)(x)A(−2x)
b dx + b − δ Pb)(x)A(x)
(A b A(−2x)
b dx =
= σ ∗ + σ1 + σ2 + σ3 . (14)
Êàæäîå ñëàãàåìîå σ1 , σ2 , σ3 íå ïðåâîñõîäèò, ïî ìîäóëþ, âåëè÷èíû αδM 2 . Îöåíèì, íà-
ïðèìåð, σ3 . Ïîëüçóÿñü αðàâíîìåðíîñòüþ ìíîæåñòâà A, ðàâåíñòâîì (7) è íåðàâåíñòâîì
ÊîøèÁóíÿêîâñêîãî, íàõîäèì
Z
b b b
|σ3 | ≤ kA − δ P k∞ |A(x)|| b
A(−2x)| dx ≤
µZ ¶1/2 µZ ¶1/2
≤ αM b
|A(x)|2
dx b
|A(−2x)| dx2
= αδM 2 .
R
ãäå |θ1 | ≤ 1. Âåëè÷èíà Pb2 (x)Pb(−2x) dx åñòü ÷èñëî àðèôìåòè÷åñêèõ ïðîãðåññèé â [M ].
Ýòî ÷èñëî ðàâíî (M − 2) + (M − 4) + · · · + (M − [M/2]) ≥ M 2 /8. Òàê êàê α = 2−5 δ 2 , òî σ ≥
12
δ 3 M 2 /8 − 3δ 3 M 2 /32 = δ 3 M 2 /32. Êîëè÷åñòâî òðèâèàëüíûõ àðèôìåòè÷åñêèõ ïðîãðåññèé â
A ðàâíî δM . Ïî óñëîâèþ M ≥ 225 π 2 δ −4 . Îòñþäà, δ 3 M 2 /32 > δM . Ïîñëåäíåå íåðàâåíñòâî
îçíà÷àåò, ÷òî ìíîæåñòâî A ñîäåðæèò íåòðèâèàëüíóþ àðèôìåòè÷åñêóþ ïðîãðåññèþ äëèíû
òðè. Ïðîòèâîðå÷èå ñ óñëîâèåì ïðåäëîæåíèÿ 1.
Ñëó÷àé 2. Ìíîæåñòâî A íå ÿâëÿåòñÿ αðàâíîìåðíûì.
Ïóñòü òåïåðü A íå ÿâëÿåòñÿ αðàâíîìåðíûì ïîäìíîæåñòâîì P ñ α = 2−5 δ 2 . Ïóñòü f
áàëàíñîâàÿ ôóíêöèÿ ìíîæåñòâà A. Òàê √ êàê A íå αðàâíîìåðíî, òî íàéäåòñÿ x0 ∈ S
1
q t X q t
X −2πij( pq + qM
θ
)
X kθ
−2πi M
X X X kθ
−2πi M
=| e 1 f (j + kq)e 1| ≤ | f (j + kq)e 1|. (16)
j=1 l=1 k∈P̃ l j=1 l=1 k∈P̃jl
j
Òàê êàê äëèíû ïðîãðåññèé P̃jl îòëè÷àþòñÿ íå áîëåå, ÷åì íà 1, òî äëÿ ëþáîãî l âûïîëíåíî
r = |P̃jl | ≤ 4M/tq . Ïðèìåíÿÿ ïîñëåäíåå íåðàâåíñòâî è (16), (17), íàõîäèì
q t
X X X αM
| f (j + kq)| ≥ . (18)
j=1 l=1 l
2
k∈P̃j
Èìååì
q t X
X X
f (j + kq) = 0 . (19)
j=1 l=1 k∈P̃ l
j
Èç íåðàâåíñòâà (18) è ðàâåíñòâà (19) âûòåêàåò ñóùåñòâîâàíèå òàêîé ïðîãðåññèè P̃jl00 , ÷òî
X αM
f (j + kq) ≥ . (20)
l
4qt
k∈P̃j 0
0
13
Äîêàæåì òåïåðü ïóíêò 2). Ïðèìåíÿÿ íåðàâåíñòâî (20), ïîëó÷àåì
α|P 0 | αM X
2−9 δ 2 |P 0 | = ≤ ≤ f (n) = |A ∩ P 0 | − δ|P 0 | . (21)
16 4qt n∈P 0
Ïðåäëîæåíèå äîêàçàíî.
Íåäàâíî â ðàáîòå [109] Á. Ãðèí íåñêîëüêî óñèëèë òåîðåìó Ðîòà. Îí äîêàçàë, ÷òî ëþáîå
äîñòàòî÷íî ïëîòíîå ïîäìíîæåñòâî [N ] ñîäåðæèò àðèôìåòè÷åñêóþ ïðîãðåññèþ äëèíû òðè,
ðàçíîñòü êîòîðîé ïðåäñòàâëÿåòñÿ â âèäå x2 +y 2 , ãäå x, y íåêîòîðûå íàòóðàëüíûå ÷èñëà.
Òåîðåìà 15. (Áåðåíä) Ïóñòü ε > 0 ëþáîå äåéñòâèòåëüíîå ÷èñëî. Òîãäà ñóùå-
ñòâóåò Nε ∈ N, ÷òî äëÿ ëþáîãî íàòóðàëüíîãî N , N ≥ Nε , âûïîëíåíî
p
a3 (N ) ≥ exp(−(1 + ε)C log N ) ,
14
p
Âûáåðåì ïàðàìåòðû m è n. Ïóñòü n = d 2 log2 N e, à m óäîâëåòâîðÿåò óñëîâèÿì
(2(m − 1))n ≤ N < (2m)n . Èìååì
√ ln(4 ln N ) √
mn−2 N −2/n −(2 2 ln 2+ √ ) ln N
√ √
|A| = |St0 | ≥ ≥N n ≥ Ne ln N ≥ N e−(2 2 ln 2+ε) ln N . (22)
n 2 n
Òàê êàê a3 (N ) ≥ |A|/N , òî ìû ïîëó÷èëè óòâåðæäåíèå òåîðåìû.
 ñâîåé ðàáîòå Ðàíêèí, ðàçâèâàÿ îñíîâíóþ èäåþ òåîðåìû 15, ñòðîèò öåëóþ ïîñëåäî-
âàòåëüíîñòü ñôåð St . Ïðè ýòîì îí èñïîëüçóåò àñèìïòîòè÷åñêóþ ôîðìóëó èç ñòàòüè [56]
äëÿ ÷èñëà ðåøåíèé óðàâíåíèÿ x21 + · · · + x2n = t, 0 ≤ xi ≤ m − 1, i = 1, . . . , n.
Ïåðâûé ïðèìåð áåñêîíå÷íîé ïîñëåäîâàòåëüíîñòè íàòóðàëüíûõ ÷èñåë, êîòîðàÿ íå ñî-
äåðæèò àðèôìåòè÷åñêèõ ïðîãðåññèé äëèíû òðè, áûë ïðåäëîæåí Ï. Ýðäåøåì è Ï. Òóðà-
íîì â [6] (ñì. òàêæå [57]). Ýòà ïîñëåäîâàòåëüíîñòü ñîñòîèò èç ÷èñåë, â òðîè÷íîì ðàçëî-
æåíèè êîòîðûõ îòñóòñòâóåò öèôðà äâà
|A∗ ∩ [M ]| √
≥ exp(−(1 + ε)C ln M ) , (24)
M
ãäå C êîíñòàíòà èç òåîðåìû 15.
15
F
Ïóñòü A∗ = ∞ ∗ ∗
t=s As . Òîãäà A áåñêîíå÷íîå ìíîæåñòâî. Ëåãêî óáåäèòüñÿ, ÷òî A íå ñî-
äåðæèò àðèôìåòè÷åñêèõ ïðîãðåññèé äëèíû òðè. Ïóñòü M ∈ N äîñòàòî÷íî áîëüøîå,
M ≥ 3s . Ïîëîæèì p = [ln M/ ln 3]. Èìååì
4 Òåîðåìà Ñåìåðåäè.
 ýòîì ïàðàãðàôå ìû îáñóäèì íåêîòîðûå èäåè, ëåæàùèå â äîêàçàòåëüñòâå òåîðåìû Ñå-
ìåðåäè. Ïî ìíåíèþ àâòîðà ñåðäöåì äîêàçàòåëüñòâà ÿâëÿåòñÿ, òàê íàçûâàåìàÿ, ëåììà
ðåãóëÿðíîñòè, êîòîðàÿ, óòâåðæäàåò, ãðóáî ãîâîðÿ, ÷òî ëþáîé ãðàô íà n âåðøèíàõ è ñ
cn2 ðåáðàìè (0 < c ≤ 1 àáñîëþòíàÿ êîíñòàíòà) ìîæåò áûòü ðàçáèò íà íåáîëüøîå ÷èñëî
ïîäãðàôîâ, îáëàäàþùèõ "ñëó÷àéíûìè" ñâîéñòâàìè. Íåò íèêàêîé âîçìîæíîñòè ïðèâåñòè
çäåñü äîêàçàòåëüñòâî ëåììû ðåãóëÿðíîñòè, íè, òåì áîëåå, òåîðåìû 6. Ìû îãðàíè÷èìñÿ
ëèøü ôîðìóëèðîâêîé óêàçàííîé ëåììû è ïîêàæåì, êàê èç ëåììû ðåãóëÿðíîñòè âûòå-
êàåò îöåíêà a3 (n) = o(1). Òàêèì îáðàçîì, ìû ðàññìàòðèâàåì ëèøü ïðîñòåéøèé ñëó÷àé
òåîðåìû Ñåìåðåäè k = 3.
Ñôîðìóëèðóåì ëåììó ðåãóëÿðíîñòè.
Ïóñòü G = (V, E) êîíå÷íûé íåîðèåíòèðîâàííûé ãðàô áåç ïåòåëü è êðàòíûõ ðåáåð
è ïóñòü A, B ⊆ V äâà íå ïóñòûõ íå ïåðåñåêàþùèõñÿ ïîäìíîæåñòâà V . Ïóñòü e(A, B)
÷èñëî ðåáåð (a, b) ãðàôà G, ãäå a ∈ A è b ∈ B . Ðåáåðíîé ïëîòíîñòüþ ïàðû (A, B)
íàçûâàåòñÿ îòíîøåíèå
e(A, B)
d(A, B) := .
|A||B|
Îïðåäåëåíèå 3. Ïàðà (A, B) íàçûâàåòñÿ εðàâíîìåðíîé, åñëè äëÿ âñåõ A0 ⊆ A, B 0 ⊆
B äëÿ êîòîðûõ |A0 | > ε|A|, |B 0 | > ε|B| âûïîëíåíî
16
Ëåììà. (Ëåììà ðåãóëÿðíîñòè Ñåìåðåäè) Ïóñòü 0 < ε ≤ 1 äåéñòâèòåëü-
íîå ÷èñëî è l íàòóðàëüíîå ÷èñëî. Òîãäà íàéäóòñÿ äâà íàòóðàëüíûõ ÷èñëà n0 (ε, l) è
k0 (ε, l) òàêèå, ÷òî äëÿ âñÿêîãî ãðàôà G ñ íå ìåíåå, ÷åì n0 (ε, l) âåðøèíàìè íàéäåòñÿ
εðàâíîìåðíîå ðàçáèåíèå âåðøèí G íà k êëàññîâ, ïðè÷åì l < k < k0 (ε, l).
17
êàê |E| ≥ 3|A|n = 3δn2 , òî β ïîëîæèòåëüíîå ÷èñëî, íå çàâèñÿùåå îò n. Ïóñòü ε = β/15
è ïóñòü l = [ε−1 ] + 1. Ïðèìåíÿÿ ëåììó ðåãóëÿðíîñòè ñ ïàðàìåòðàìè ε è l ê ãðàôó G,
ïîëó÷àåì ðàçáèåíèå ìíîæåñòâà V íà êëàñòåðû C1 , . . . , Ck è C0 äëÿ êîòîðûõ âûïîëíåíû
íåðàâåíñòâà 1)3). Èìååì |C0 | < ε|V |. Îòñþäà ÷èñëî ðåáåð â G ñ êîíöîì â C0 íå áîëü-
øå, ÷åì εm2 . Èç ñâîéñòâ 1) è 2) âûòåêàåò íåðàâåíñòâî m/2k ≤ |Ci | ≤ m/k , i = 1, . . . , k .
Ñëåäîâàòåëüíî, ¡÷èñëî ¢ ðåáåð ñ íà÷àëîì è êîíöîì â îäíîì è òîì æå êëàñòåðå ¡k¢ íå ïðåâîñõî-
äèò âåëè÷èíû k m/k 2
. Êðîìå òîãî, ïî ñâîéñòâó 3) ñóùåñòâóåò íå áîëåå ε 2
ïàð (Ci , Cj ),
1 ≤ i < j ≤ k íå ÿâëÿþùèõñÿ εðàâíîìåðíûìè. Çíà÷èò, ÷èñëî ðåáåð, íå ñîäåðæàùèõñÿ â
εðàâíîìåðíûõ ïàðàõ (Ci , Cj ) ñ d(Ci , Cj ) ≥ β/6 íå áîëüøå, ÷åì
µ ¶ µ ¶³ ´ µ ¶ µ ¶
2 m/k k m 2 β k ³ m ´2 β m
εm + k +ε + < . (28)
2 2 k 6 2 k 3 2
Ïîñëå óäàëåíèÿ ýòèõ ðåáåð, ìû ïîëó÷èì ãðàô G0 è òðè ðàçëè÷íûõ êëàñòåðà Cp , Cq è
Cr , ñîäåðæàùèõñÿ â G0 , ïðè÷åì êàæäàÿ ïàðà ýòèõ êëàñòåðîâ ÿâëÿåòñÿ εðàâíîìåðíîé ñ
ðåáåðíîé ïëîòíîñòüþ íå ìåíüøå, ÷åì β/6.
Äîêàæåì, ÷òî â êëàñòåðå Cr íàéäåòñÿ x, ñîäåðæàùèéñÿ ïî êðàéíåé ìåðå â
(β/10)3 |Cp ||Cq | òðåóãîëüíèêàõ.
Òàê êàê d(Cp , Cr ), d(Cp , Cr ) ≥ β/6, òî íàéäåòñÿ íå ìåíåå (1 − 2ε)|Cr | âåðøèí x èç
Cr ñîåäèíåííûõ ïî êðàéíåé ìåðå ñ (β/6 − ε)|Ci | âåðøèíàìè êëàñòåðà Ci , ãäå i = p èëè
i = q . Ïóñòü Nxi âåðøèíû èç Ci , i = p, q , ñîåäèíåííûå ñ x. Èìååì β/6 − ε = β/10 > ε.
Èç îïðåäåëåíèÿ εðàâíîìåðíîñòè âûòåêàåò, ÷òî íàéäåòñÿ íå ìåíåå (β/10)3 |Cp ||Cq | ðåáåð,
ñîåäèíÿþùèå âåðøèíû èç Nxp è Nxq . ßñíî, ÷òî êàæäîìó òàêîìó ðåáðó ñîîòâåòñòâóåò òðå-
óãîëüíèê, ñîäåðæàùèé x.
Çàâåðøàÿ äîêàçàòåëüñòâî òåîðåìû, çàìåòèì, ÷òî ñóùåñòâóåò íå áîëåå òðåõ ïðî-
ñòûõ òðåóãîëüíèêîâ, èìåþùèõ äâå îáùèõ âåðøèíû. Ñëåäîâàòåëüíî, ñóùåñòâóåò íå áî-
ëåå 3|Cp | = 3|Cq | ïðîñòûõ òðåóãîëüíèêîâ, ñîäåðæàùèõ x. Êðîìå òîãî, èç íåðàâåíñòâà
|Ci | ≥ m/2k , i = 1, 2, . . . , k ïðè äîñòàòî÷íî áîëüøîì m è ôèêñèðîâàííîì k âûòåêàåò
îöåíêà µ ¶3
β
|Cp ||Cq | > 3|Cp | . (29)
10
Îòñþäà, G ñîäåðæèò òðåóãîëüíèê, íå ÿâëÿþùèéñÿ ïðîñòûì. Çíà÷èò, ìíîæåñòâî A ñîäåð-
æèò àðèôìåòè÷åñêóþ ïðîãðåññèþ äëèíû òðè è òåîðåìà äîêàçàíà.
Íåäàâíî â ðàáîòàõ [48, 49, 50] áûëè ïîëó÷åíû àíàëîãè ëåììû ðåãóëÿðíîñòè äëÿ ãè-
ïåðãðàôîâ è ïîêàçàíî êàê èç ýòèõ àíàëîãîâ âûòåêàåò îöåíêà ak (n) = o(1) äëÿ âñåõ k ≥ 3.
18
Çàìå÷àíèå 1. Ïóñòü ρ ∈ (0, 1] âåùåñòâåííîå ÷èñëî. Îáîçíà÷èì ÷åðåç Nk (ρ) ìèíè-
ìàëüíîå íàòóðàëüíîå ÷èñëî òàêîå, ÷òî äëÿ âñåõ íàòóðàëüíûõ m ≥ Nk (ρ) â ïðîèçâîëüíîì
ìíîæåñòâå T ⊆ [m] ñî ñâîéñòâîì |T | ≥ ρm íàéäåòñÿ àðèôìåòè÷åñêàÿ ïðîãðåññèÿ äëèíû k .
Êàê áóäåò ñëåäîâàòü èç äîêàçàòåëüñòâà òåîðåìû 18 êîíñòàíòó c(k, δ) ìîæíî âçÿòü ðàâíîé
δ 2 /(16Nk (δ/2)3 ).
Äîêàçàòåëüñòâî. Ïóñòü N > 2Nk (ρ/2). Ïóñòü òàêæå K = Nk (ρ/2). Îáîçíà÷èì ÷åðåç Pd ,
d ≥ 1 ñåìåéñòâî àðèôìåòè÷åñêèõ ïðîãðåññèé äëèíû K è F øàãîì d, ñîäåðæàùèõñÿ â [N ].
ßñíî, ÷òî äëÿ âñåõ d ≥ 1 âûïîëíåíî |Pd | ≤ N . Ïóñòü P = k≥1 Pd .
Ïðîãðåññèÿ p ∈ P íàçûâàåòñÿ õîðîøåé, åñëè |A ∩ p| ≥ δ/2 · K . Ïóñòü G ìíîæåñòâî
âñåõ õîðîøèõ ïðîãðåññèé. Äîêàæåì, ÷òî |G| ≥ δ 2 N 2 /(32K). Ðàññìîòðèì ñëó÷àé, êîãäà
δN
d< . (32)
8K
Çàìåòèì, ÷òî ëþáîé x ∈ [Kd, N − Kd] ïðèíàäëåæèò â òî÷íîñòè K ïðîãðåññèÿì èç Pd .
Ïðèìåíÿÿ íåðàâåíñòâî (32), íàõîäèì
X X X X X
σ= |A ∩ p| = A(x) p(x) ≥ A(x) p(x) = (33)
p∈Pd x∈[N ] p∈Pd x∈[Kd,N −Kd] p∈Pd
Ñëåäîâàòåëüíî, äëÿ âñåõ 1 ≤ d < (δN )/(8K) ñïðàâåäëèâî íåðàâåíñòâî |Pd ∩ G| ≥ δN/4.
Îòñþäà |G| ≥ δ 2 N 2 /(32K).
Ïî îïðåäåëåíèþ äëÿ êàæäîé ïðîãðåññèè èç G íàéäóòñÿ x, r ∈ [N ] òàêèå, ÷òî
A(x)A(x + r) . . . A(x + (k − 1)r) > 0. Ê ñîæàëåíèþ äëÿ ðàçëè÷íûõ ïðîãðåññèé èç G
÷èñëà x, r ∈ [N ] ìîãóò ñîâïàñòü. Îöåíèì ÷èñëî ïðîãðåññèé p ∈ P , ñîäåðæàùèõ ôèê-
ñèðîâàííóþ ïðîãðåññèþ x0 , x0 + r0 . . . x0 + (k − 1)r0 . ßñíî, ÷òî ñóùåñòâóåò íå áîëåå
K − 2 òàêèõ ïðîãðåññèé èç Pr0 . Êðîìå òîãî, åñëè ïðîãðåññèÿ p ∈ Pd , d 6= r0 ñîäåðæèò
x0 , x0 + r0 . . . x0 + (k − 1)r0 , òî d äåëèò r0 . Ïóñòü d = r0 /t, t > 1. Òàê êàê ïðîãðåññèÿ
p ∈ Pd ñîäåðæèò x0 , x0 + r0 . . . x0 + (k − 1)r0 , òî Kd > 2r0 = 2td è, ñëåäîâàòåëüíî, t < K/2.
Îòñþäà ÷èñëî ïðîãðåññèé p ∈ P , ñîäåðæàùèõ ïðîãðåññèþ x0 , x0 + r0 . . . x0 + (k − 1)r0 íå
ïðåâîñõîäèò K − 2 + (K − 2)K/2 ≤ K 2 /2.
Èìååì 2|G|/(K 2 N 2 ) ≥ δ 2 /(16K 3 ). Îòñþäà êîíñòàíòó c(k, δ) â íåðàâåíñòâå (31) ìîæíî
âçÿòü ðàâíîé δ 2 /(16K 3 ) = δ 2 /(16Nk (δ/2)3 ). Òåîðåìà äîêàçàíà.
19
Òîãäà äëÿ íåêîòîðîé ïîëîæèòåëüíîé ïîñòîÿííîé c(k, δ) > 0, çàâèñÿùåé òîëüêî îò k è
δ âûïîëíåíî
1 X
A(x)A(x + r) . . . A(x + (k − 1)r) ≥ c(k, δ) . (37)
N 2 x,r∈Z
N
20
5 Îöåíêè Ãàóýðñà âåëè÷èíû ak (N ).
 ýòîì ïàðàãðàôå ìû îáñóäèì âåðõíèå îöåíêè âåëè÷èíû ak (N ) (ñì. òåîðåìó 9), ïîëó÷åí-
íûå â ðàáîòå Â.Ò. Ãàóýðñà [46]. Äîêàçàòåëüñòâî òåîðåìû 9 î÷åíü ñëîæíîå, ïîýòîìó ìû
îãðàíè÷èìñÿ ëèøü îáñóæäåíèåì ãëàâíûõ èäåé, ëåæàùèõ â îñíîâå ìåòîäà Ãàóýðñà.
 ñâîåé çàìå÷àòåëüíîé ðàáîòå Ãàóýðñ äàë îïðåäåëåíèå αðàâíîìåðíûõ ôóíêöèé ñòå-
ïåíè d. Ìû îáñóäèì êîìáèíàòîðíûé ñìûñë αðàâíîìåðíûõ ôóíêöèé ñòåïåíè d íåñêîëüêî
ïîçæå, à ñåé÷àñ äàäèì ñòðîãèå îïðåäåëåíèÿ.
Ïóñòü d ≥ 0 íàòóðàëüíîå ÷èñëî è {0, 1}d = {ω = (ω1 , . . . , ωd ) : ωj ∈ {0, 1}, j =
1, 2, . . . , d} îáû÷íûé dìåðíûé êóá. Äëÿ ω ∈ {0, 1}d ïóñòü |ω| ðàâíî ω1 + · · · + ωd . Åñëè
h = (h1 , . . . , hd ) ∈ ZdN , òî ω · h := ω1 h1 + . . . ωd hd . Ïóñòü òàêæå C îçíà÷àåò îïåðàòîð êîì-
ëåêñíîãî ñîïðÿæåíèÿ. Åñëè n íàòóðàëüíîå ÷èñëî, òî C n îçíà÷àåò ïðèìåíåíèå îïåðàòîðà
êîìëåêñíîãî ñîïðÿæåíèÿ n ðàç.
1 X Y
h(fω )ω∈{0,1}d iU d := C |ω| fω (x + ω · h) . (38)
N d+1
x∈ZN ,h∈ZdN ω∈{0,1}d
Íåðàâåíñòâî (40) ïîçâîëÿåò îïðåäåëèòü ðàâíîìåðíóþ íîðìó Ãàóýðñà (èëè ïðîñòî íîðìó
Ãàóýðñà) ôóíêöèè f : ZN → C ïî ôîðìóëå
1/2d
1/2d 1 X Y
kf kU d := h(f )ω∈{0,1}d iU d = C |ω| fω (x + ω · h) . (41)
N d+1
x∈ZN ,h∈ZdN ω∈{0,1}d
Êàê ìû óâèäèì â äàëüíåéøåì, ôîðìóëà (41) îïðåäåëÿåò íîðìó ëèøü äëÿ d ≥ 2. Äëÿ
d = 1 íîðìà Ãàóýðñà íà ñàìîì äåëå ÿâëÿåòñÿ ïîëóíîðìîé.
21
Åñëè ôóíêöèè (fω )ω∈{0,1}d çàâèñÿò îò ïîñëåäíåé öèôðû ωd , òî ñóììà (38) äîëæíà áûòü
ïåðåïèñàíà ñëåäóþùèì îáðàçîì
1 X X Y 0
h(fω )ω∈{0,1}d iU d = d+1 C |ω | fω0 ,0 (y + ω 0 · h0 ) ×
N 0 d−1 0 y∈ZN ω ∈{0,1}
d−1
h ∈ZN
X Y
× C |ω0 | fω0 ,1 (y + ω 0 · h0 ) .
y∈ZN ω 0 ∈{0,1}d−1
Îòñþäà kf kU 2 = 0 òîãäà è òîëüêî òîãäà, êîãäà fb ≡ 0 èëè, ÷òî òîæå ñàìîå f ≡ 0. Èòàê,
ìû äîêàçàëè, ÷òî kf kU 2 íîðìà.
Ïîêàæåì, ÷òî kf kU d ÿâëÿåòñÿ íîðìîé äëÿ âñåõ d ≥ 2. Ïóñòü νconst îáîçíà÷àåò ôóíêöèþ
òîæäåñòâåííî ðàâíóþ åäèíèöå. Èìååì kνconst kU d = 1. Ïóñòü f : ZN → C íåêîòîðàÿ
ôóíêöèÿ. Ðàññìîòðèì íàáîð ôóíêöèé (fω )ω∈{0,1}d , ãäå fω := νconst , åñëè ωd = 1 è fω := f ,
åñëè ωd = 0. Ïðèìåíÿÿ íåðàâåíñòâî (42) ê íàáîðó (fω )ω∈{0,1}d , ïîëó÷àåì
kf kU d−1 ≤ kf kU d (46)
22
Äàëüíåéøèå ñâîéñòâà íîðì Ãàóýðñà ìîãóò áûòü íàéäåíû â íåäàâíåé ðàáîòå [120] (ñì.
òàêæå [122]).
Ïîëüçóÿñü ïîíÿòèåì íîðìû k · kU d Ãàóýðñ äàë îïðåäåëåíèå αðàâíîìåðíûõ ôóíêöèé
ñòåïåíè d.
kf kd ≤ α .
23
Ñëåäñòâèå. Ïóñòü k ≥ 3 è A ⊆ ZN , |A| = δN αðàâíîìåðíîå ìíîæåñòâî ñòå-
ïåíè k − 1. Ïóñòü òàêæå α ≤ (δ/2)2k è N ≥ 32k 2 δ −k . Òîãäà ìíîæåñòâî A ñîäåðæèò
àðèôìåòè÷åñêóþ ïðîãðåññèþ äëèíû k .
24
çàâèñÿùèå òîëüêî îò C è D è dìåðíàÿ àðèôìåòè÷åñêàÿ ïðîãðåññèÿ Q òàêàÿ, ÷òî
|Q| ≤ K|A| è A ⊆ Q.
25
Ìû ïðîâåäåì î÷åíü ãðóáûå ðàññóæäåíèÿ ïîÿñíÿþùèå äîêàçàòåëüñòâî ïðåäëîæåíèÿ
5. Ïðèìåíèì ïðåäëîæåíèå 4 ê ãðàôèêó Γ. Òîãäà ó Γ íàéäåòñÿ ïîäìíîæåñòâî Γ0 ñ ìà-
ëåíüêîé ðàçíîñòüþ. Èç òåîðåìû Ôðåéìàíà âûòåêàåò, ÷òî íàéäåòñÿ íå î÷åíü áîëüøàÿ
dìåðíàÿ àðèôìåòè÷åñêàÿ ïðîãðåññèÿ Q, ñîäåðæàùàÿ Γ0 . Ñ äðóãîé ñòîðîíû, êàæäàÿ d
ìåðíàÿ àðèôìåòè÷åñêàÿ ïðîãðåññèÿ ìîæåò áûòü ðàçáèòà íà íåêîòîðîå ÷èñëî ïðîãðåññèé
âèäà Q1 × Q2 , ãäå Q1 , Q2 ÿâëÿþòñÿ îäíîìåðíûìè àðèôìåòè÷åñêèìè ïðîãðåññèÿìè â Z.
Ñëåäîâàòåëüíî, ñóùåñòâóåò ïðîãðåññèÿ âèäà Q1 × Q2 , êîòîðàÿ ïåðåñåêàåò Γ0 ïî äîñòàòî÷-
íî áîëüøîìó ìíîæåñòâó. Íî ýòî è îçíà÷àåò, ÷òî íà Q1 çíà÷åíèÿ ôóíêöèè ϕ î÷åíü ÷àñòî
ñîâïàäàþò ñî çíà÷åíèÿìè íåêîòîðîé ëèíåéíîé ôóíêöèè. Ýòî ðàññóæäåíèÿ ïîçâîëÿþò ïî-
ëó÷èòü íåðàâåíñòâî (48). Ïðèìåíÿÿ ïðèíöèï Äèðèõëå, ìîæíî ïîêàçàòü, ÷òî ïðîãðåññèè
Q1 , Q2 èìåþò äëèíó íå ìåíüøå, ÷åì |Q|1/d . Îòñþäà âûòåêàåò íåðàâåíñòâî |P | ≥ N γ .
Çàòåì Ãàóýðñ äîêàçûâàåò ñëåäóþùåå ïðåäëîæåíèå.
Ïðåäëîæåíèå 6. Ïóñòü âûïîëíåíû óñëîâèÿ ïðåäëîæåíèÿ 5. Òîãäà íàéäóòñÿ ìíî-
ãî÷ëåíû âòîðîé ñòåïåíè ψ0 , ψ1 , . . . , ψN −1 òàêèå, ÷òî
X X η|P |N
| f (x)e2πiψs (x)/N | ≥ √ . (49)
s x∈P +s
2
Ïîñëå ýòîãî, Ãàóýðñ ïðèìåíÿåò îöåíêè Âåéëÿ äëÿ òðèãîíîìåòðè÷åñêèõ ñóìì îò ìíî-
ãî÷ëåíîâ âòîðîé ñòåïåíè è âûâîäèò ñëåäñòâèå ïðåäëîæåíèÿ 6.
Ïðåäëîæåíèå 7. Ïóñòü âûïîëíåíû óñëîâèÿ ïðåäëîæåíèÿ 5. Òîãäà íàéäåòñÿ ζ > 0,
m ≤ |P |ζ è ïðîãðåññèè Psj , s ∈ [N ], j ∈ [m], òàêèå, ÷òî äëÿ ëþáîãî s ∈ [N ] ïðîãðåññèè
Ps1 , . . . , Psm ðàçáèâàþò P + s è
XX m X η|P |N
| f (x)| ≥ √ . (50)
s j=1 x∈Psj
2 2
P Pm P
Òàê êàê f áàëàíñîâàÿ ôóíêöèÿ ìíîæåñòâà A, òî s j=1 x∈Psj f (x) = 0 è èç
íåðàâåíñòâà (50) ëåãêî âûòåêàåò, ÷òî íàéäåòñÿ ïðîãðåññèÿ Psj äëÿ êîòîðîé âûïîëíåíî
X β|P | β|P |
f (x) ≥ √ ≥ √sj .
x∈Psj
4m 2 4 2
26
Òåîðåìà 24. (×îè) Ïóñòü A ïðîèçâîëüíîå ïîäìíîæåñòâî Z, C > 0 ïîëîæè-
òåëüíàÿ êîíñòàíòà è k ≥ 3 íàòóðàëüíîå ÷èñëî. Ïóñòü òàêæå |A + A| ≤ C|A|. Òîãäà
íàéäåòñÿ êîíñòàíòà α = α(C, k) òàêàÿ, ÷òî ìíîæåñòâî A ñîäåðæèò α|A|2 àðèôìå-
òè÷åñêèõ ïðîãðåññèé äëèíû k .
27
Ïðèñòóïèì òåïåðü ê äîêàçàòåëüñòâó óòâåðæäåíèÿ P∞ 2. l
Äîñòàòî÷íîñòü. Ïóñòü äëÿ âñåõ k ≥ 3 ðÿä l=1 ak (4 ) ñõîäèòñÿ. Ïðåäïîëîæèì, ÷òî
ãèïîòåçà Ýðäåøà è Òóðàíà íåâåðíà. Èíûìè ñëîâàìè äëÿ íåêîòîðîãî k0 ≥ 3 íàéäåò-
ñÿ áåñêîíå÷íàÿ ïîñëåäîâàòåëüíîñòü íàòóðàëüíûõ ÷èñåë A = {n1 < n2 < . . . }, íå ñî-
äåðæàùàÿ àðèôìåòè÷åñêèõ ïðîãðåññèé äëèíû k0 , òàê ÷òî ðÿä (51) ðàñõîäèòñÿ. Ïóñòü
N = 16. Ðàçîáüåì íàòóðàëüíûé ðÿä N íà ïîäìíîæåñòâà C0 = [1, N ), C1 = [N, 4N ), C2 =
[4N, 42 N ), . . . , Cl = [4l−1 N, 4l N ), . . . . Òàê êàê A íå ñîäåðæèò àðèôìåòè÷åñêèõ ïðîãðåññèé
äëèíû k0 , òî äëÿ ëþáîãî l = 0, 1, . . . âûïîëíåíî |A ∩ Cl | ≤ 4l−1 N · ak0 (4l−1 N ). Èìååì
X∞ X∞ X X∞ X∞ X∞
1 1 |A ∩ Cl | l+1
= ≤4 l−1
≤4 ak0 (4 ) = 4 ak0 (4l ) < ∞ . (55)
n
i=1 i l=0 n ∈C
ni l=0
4 N l=0 l=1
i l
X∞ X∞ X ∞
X ak (Nl )Nl ∞ ∞
1 1 1X 1 X
= ≥ 0
≥ ak0 (Nl ) ≥ ak0 (4l ) . (57)
i=1
ni l=1
ni l=1
b l + Nl 4 l=1 12 l=1
ni ∈[bl ,bl +Nl ]
P∞ 1
Èç ôîðìóëû (57) âûòåêàåò, ÷òî ðÿä i=1 ni ðàñõîäèòñÿ. Ïðèìåíÿÿ ãèïîòåçó Ýðäåøà
Òóðàíà ïîëó÷àåì, ÷òî ìíîæåñòâî A ñîäåðæèò àðèôìåòè÷åñêóþ ïðîãðåññèþ äëèíû k0 .
Ïðîòèâîðå÷èå. Óòâåðæäåíèå äîêàçàíî.
28
Òåîðåìà 25. (Ôþðñòåíáåðã) Ïóñòü X ïðîñòðàíñòâî ñ ñèãìààëãåáðîé èçìå-
ðèìûõ ìíîæåñòâ B è µ ìåðà íà X . Ïóñòü T îòîáðàæåíèå X â ñåáÿ, ñîõðàíÿþùåå
ìåðó µ è k ≥ 3. Òîãäà äëÿ ëþáîãî èçìåðèìîãî ìíîæåñòâà E ñ µE > 0 ñóùåñòâóåò
íàòóðàëüíîå n > 0 òàêîå, ÷òî
÷òî è òðåáîâàëîñü.
Èòàê ìû ïîêàçàëè, ÷òî òåîðåìà 25 âûòåêàåò èç òåîðåìû 26. Íà ñàìîì æå äåëå òåîðåìà
25 è òåîðåìà 26 ðàâíîñèëüíû. Äëÿ äîêàçàòåëüñòâà èõ ðàâíîñèëüíîñòè, Ôþðñòåíáåðã óñòà-
íîâèë ñëåäóþùèé êðàñèâûé ðåçóëüòàò, êîòîðûé íàçûâàåòñÿ ïðèíöèïîì ñîîòâåòñòâèÿ
Ôþðñòåáåðãà (ñì. [33]).
Òåîðåìà 27. (Ôþðñòåíáåðã) Ïóñòü A ïðîèçâîëüíîå ïîäìíîæåñòâî íàòóðàëü-
íîãî ðÿäà ñ D∗ (A) > 0. Òîãäà ñóùåñòâóåò äèíàìè÷åñêàÿ ñèñòåìà ñ èíâàðèàíòíîé ìåðîé
(X, B, µ, T ) è èçìåðèìîå ìíîæåñòâî E , µE = D∗ (A) òàêèå, ÷òî äëÿ âñåõ íàòóðàëüíûõ
k ≥ 3 è äëÿ âñåõ íàòóðàëüíûõ ïîëîæèòåëüíûõ m1 , m2 , . . . , mk−1 , âûïîëíåíî
29
Òåîðåìà 27 óêàçûâàåò íà òåñíóþ ñâÿçü ìåæäó ýðãîäè÷åñêîé òåîðèåé è êîìáèíàòîðíû-
ìè çàäà÷àìè îá àðèôìåòè÷åñêèõ ïðîãðåññèÿõ.
|A ∩ [nk ]|
µ(E) = lim µk (E) = lim = D∗ (A) > 0
k→∞ k→∞ nk
30
÷òî è òðåáîâàëîñü.
Èñïîëüçóÿ ýðãîäè÷åñêèé ïîäõîä Õ. Ôþðñòåíáåðã, ß. Êàöíåëüñîí, Ä. Îðíøòåéí è äðó-
ãèå ïîëó÷èëè ìíîæåñòâî îáîáùåíèé òåîðåìû Ñåìåðåäè.  íàñòîÿùåì îáçîðå ìû íå ñìî-
æåì îõâàòèòü âñå èìåþùèåñÿ çäåñü ðåçóëüòàòû è îãðàíè÷èìñÿ ëèøü íåêîòîðûìè èç íèõ.
 ðàáîòå [35] Ôþðñòåíáåðã è Êàöíåëüñîí ïåðåíåñëè òåîðåìó 25 íà ñëó÷àé íåñêîëüêèõ
êîììóòèðóþùèõ îòîáðàæåíèé.
Òåîðåìà 28. (Ôþðñòåíáåðã, Êàöíåëüñîí) Ïóñòü X ïðîñòðàíñòâî ñ ñèãìà
àëãåáðîé èçìåðèìûõ ìíîæåñòâ B è µ ìåðà íà X . Ïóñòü k ≥ 2 è T1 , T2 , . . . Tk
ñîõðàíÿþùèå ìåðó µ êîììóòèðóþùèå îòîáðàæåíèÿ X â ñåáÿ. Òîãäà äëÿ ëþáîãî èçìå-
ðèìîãî ìíîæåñòâà E ñ µE > 0 ñóùåñòâóåò íàòóðàëüíîå n > 0 òàêîå, ÷òî
31
Îïðåäåëåíèå 7. Êîìáèíàòîðíîé ïðÿìîé â Ctn íàçûâàåòñÿ íàáîð èç t ñëîâ
X1 , X2 , . . . , Xt ∈ Ctn , ãäå Xi = xi1 xi2 . . . xin òàêèõ, ÷òî äëÿ íåêîòîðîãî íåïóñòîãî ìíî-
æåñòâà J ⊆ {1, . . . , n} âûïîëíåíî xsj = s, åñëè j ∈ J è äëÿ âñåõ j ∈ / J íàéäåòñÿ áóêâà
cj ∈ {0, 1, . . . , t − 1} äëÿ êîòîðîé âûïîëíåíî x1j = · · · = xtj = cj .
Ïðèìåð. Ïóñòü t = 3, n = 5. Òîãäà ñëîâà 01012, 11112, 21212 îáðàçóþò êîìáèíàòîð-
íóþ ïðÿìóþ â C35 .
Òåîðåìà 31. (Õîëñ, Äæóèò) Ïóñòü t, r íàòóðàëüíûå ÷èñëà. Òîãäà ñóùåñòâóåò
íàòóðàëüíîå ÷èñëî N = N (t, r) òàêîå, ÷òî äëÿ âñåõ n ≥ N è äëÿ ëþáîé ðàñêðàñêè Ctn â
r öâåòîâ íàéäåòñÿ ìîíîõðîìàòè÷åñêàÿ êîìáèíàòîðíàÿ ïðÿìàÿ.
ßñíî, ÷òî èç òåîðåìû 31 âûòåêàåò òåîðåìà Âàí äåð Âàðäåíà 2 (è, ñëåäîâàòåëüíî,
òåîðåìà Âàí äåð Âàðäåíà 1). Äåéñòâèòåëüíî, â ñèñòåìå èñ÷èñëåíèÿ ïî îñíîâàíèþ t ìíî-
æåñòâî Ctn ìîæíî èíòåðïðåòèðîâàòü êàê ÷èñëà îò 0 äî tn − 1. Ïðè ýòîì êîìáèíàòîðíàÿ
ïðÿìàÿ â Ctn áóäåò ñîîòâåòñòâîâàòü àðèôìåòè÷åñêîé ïðîãðåññèè äëèíû t â ìíîæåñòâå
{0, 1, . . . , tn − 1}.
Êàê áûëî ñêàçàíî ðàíåå òåîðåìà 25 ïîñëóæèëà îòïðàâíîé òî÷êîé íîâîãî ðàçäåëà ýð-
ãîäè÷åñêîé òåîðèè êîìáèíàòîðíîé ýðãîäè÷åñêîé òåîðèè.  íàñòîÿùåì îáçîðå ìû íå â
ñîñòîÿíèè äàæå ïåðå÷èñëèòü âñå èìåþùèåñÿ â äàííîé îáëàñòè ðåçóëüòàòû. Ìû ìîæåì
ëèøü óêàçàòü çàèíòåðåñîâàííîìó ÷èòàòåëþ íà çàìå÷àòåëüíóþ êíèãó [34] è ìîíîãðàôèþ
[43]. Îòìåòèì òàêæå, ÷òî â íåäàâíèõ ðàáîòàõ [124, 125, 126, 127] è [129, 130, 131, 132, 133]
ïîëó÷åíû êîëè÷åñòâåííûå âàðèàíòû òåîðåìû Ïóàíêàðå, à â ðàáîòå [128] òåîðåìû 27.
Êàê îòìå÷àëîñü âûøå ñóùåñòâóåò òåñíàÿ ñâÿçü ìåæäó îðèãèíàëüíûì äîêàçàòåëüñòâîì
òåîðåìû Ñåìåðåäè, äîêàçàòåëüñòâîì Ôþðñòåíáåðãà è Ãàóýðñà. Ìû õîòèì çàêîí÷èòü ýòîò
ïàðàãðàô îáñóæäåíèåì îñíîâíûõ èäåé, ëåæàùèõ â îñíîâå ìåòîäà Ôþðñòåíáåðãà.
 ïåðâîé, ïðåäâàðèòåëüíîé, ÷àñòè ñâîåãî äîêàçàòåëüñòâà Ôþðñòåíáåðã óñòàíàâëèâàåò
ñïðàâåäëèâîñòü òåîðåìû 25 äëÿ äâóõ ñïåöèàëüíûõ êëàññîâ äèíàìè÷åñêèõ ñèñòåì : ñëàáî
ïåðåìåøèâàþùèõ è êîìïàêòíûõ äèíàìè÷åñêèõ ñèñòåì. Äàäèì ñòðîãèå îïðåäåëåíèÿ ýòèõ
êëàññîâ.
Äèíàìè÷åñêàÿ ñèñòåìà íàçûâàåòñÿ ñëàáîïåðåìåøèâàþùåé, åñëè äëÿ ëþáûõ äâóõ ìíî-
æåñòâ A, B ∈ B âûïîëíåíî
N
1 X¡ ¢2
lim µ(A ∩ T −n B) − µ(A)µ(B) = 0 .
N →∞ N
n=1
32
Òåîðåìà 32. (Ôþðñòåíáåðã) Ïóñòü (X, B, µ, T ) ñëàáîïåðåìåøèâàþùàÿ äèíàìè-
÷åñêàÿ ñèñòåìà è ïóñòü A0 , . . . , Ak ∈ B , k ≥ 1 ïðîèçâîëüíûå èçìåðèìûå ìíîæåñòâà.
Òîãäà
N
1 X¡ ¢2
lim µ(A0 ∩ T −n A1 ∩ T −2n A2 ∩ · · · ∩ T −kn Ak ) − µ(A0 )µ(A1 ) . . . µ(Ak ) = 0 .
N →∞ N
n=1
Ñ äðóãîé ñòîðîíû ñîâåðøåííî ÿñíî, ÷òî òåîðåìà 25 âåðíà äëÿ ïåðèîäè÷åñêèõ îòîáðà-
æåíèé T , òî åñòü äëÿ îòîáðàæåíèé, äëÿ êîòîðûõ íàéäåòñÿ p ∈ N òàêîå, ÷òî T p ÿâëÿåòñÿ
òîæäåñòâåííûì îòîáðàæåíèåì. Î÷åíü øèðîêèì îáîáùåíèåì ïåðèîäè÷åñêèõ ñèñòåì ÿâëÿ-
þòñÿ êîìïàêòíûå äèíàìè÷åñêèå ñèñòåìû. Ðàññìîòðèì ñëåäóþùèé ïðèìåð. Ïóñòü X åñòü
åäèíè÷íàÿ îêðóæíîñòü S1 , µ ìåðà Ëåáåãà íà X è B ñèãìààëãåáðà èçìåðèìûõ ïî
Ëåáåãó ìíîæåñòâ. Ïóñòü îòîáðàæåíèå Tα åñòü ïîâîðîò îêðóæíîñòè S1 çàäàâàåìûé ôîð-
ìóëîé Tα x = x + α (mod 1), ãäå α ëþáîå, íå îáÿçàòåëüíî ðàöèîíàëüíîå, äåéñòâèòåëüíîå
÷èñëî. Òîãäà äèíàìè÷åñêàÿ ñèñòåìà (X, B, µ, Tα ) áóäåò êîìïàêòíîé. ßñíî, ÷òî äëÿ èððà-
öèîíàëüíîãî α îòîáðàæåíèå Tα íå áóäåò ïåðèîäè÷åñêèì, íî òàêæå ÿñíî, ÷òî Tα áóäåò
"ïî÷òè ïåðèîäè÷åñêèì", â òîì ñìûñëå, íàïðèìåð, ÷òî äëÿ ëþáîãî èíòåðâàëà I è ëþáîãî
ε > 0 íàéäåòñÿ ÷èñëî n òàêîå, ÷òî µ(T n I4I) < ε. Ïîëüçóÿñü "ïî÷òè ïåðèîäè÷åñêèìè"
ñâîéñòâàìè êîìïàêòíûõ äèíàìè÷åñêèõ ñèñòåì Ôþðñòåíáåðã äîêàçàë äëÿ íèõ òåîðåìó 25.
Çàìåòèì, ÷òî äëÿ òàêèõ ñèñòåì áîëåå ñèëüíàÿ òåîðåìà 32 íå âåðíà (ñì. [36]). Âñå äåëî â
òîì, ÷òî êîìïàêòíûå ñèñòåìû íå îáëàäàþò õîðîøèìè ñëó÷àéíûìè ñâîéñòâàìè.
Íà âòîðîì ýòàïå ñâîåãî äîêàçàòåëüñòâà Ôþðñòåíáåðã äàåò õàðàêòåðèçàöèþ ñëàáî
ïåðåìåøèâàþùèõ äèíàìè÷åñêèõ ñèñòåì ñ ïîìîùüþ ôàêòîðîâ. Ïóñòü B1 ⊆ B ïîäñèãìà
àëãåáðà ñèãìààëãåáðû B . Ïóñòü òàêæå îòîáðàæåíèå T èçìåðèìî îòíîñèòåëüíî ýòîé
ñèãìààëãåáðû, èíûìè ñëîâàìè äëÿ ëþáîãî ìíîæåñòâà A ∈ B1 âûïîëíåíî T −1 A ∈ B1 .
Òîãäà äèíàìè÷åñêàÿ ñèñòåìà (X, B1 , µ, T ) íàçûâàåòñÿ ôàêòîðîì äèíàìè÷åñêîé ñèñòåìû
(X, B, µ, T ). Åñëè ñèñòåìà (X, B1 , µ, T ) ÿâëÿåòñÿ êîìïàêòíîé, òî ìû ãîâîðèì, ÷òî ôàê-
òîð (X, B1 , µ, T ) êîìïàêòíûé. Ôàêòîð íàçûâàåòñÿ íåòðèâèàëüíûì, åñëè îí ñîäåðæèò
ìíîæåñòâà, ìåðà êîòîðûõ íå ðàâíà íóëþ èëè åäèíèöå.
33
Äîêàçàòåëüñòâî óòâåðæäåíèÿ î ñóùåñòâîâàíèè ìàêñèìàëüíîãî ýëåìåíòà ó M îòíî-
ñèòåëüíî ïðîñòî è èñïîëüçóåò ëåììó Öîðíà. Äîêàçàòåëüñòâî òîãî, ÷òî ìàêñèìàëüíûé
ýëåìåíò ñåìåéñòâà M ñîâïàäàåò ñ èñõîäíîé äèíàìè÷åñêîé ñèñòåìîé ñëîæíî è çàíèìà-
åò ïî îáúåìó ïî÷òè ïîëîâèíó ñòàòüè [36]. Ìû ìîæåì ëèøü â êðàòöå èçëîæèòü èìåþùèåñÿ
çäåñü èäåè.
Âîïåðâûõ Ôþðñòåíáåðã îáîáùàåò ïîíÿòèÿ ñëàáîïåðåìåøèâàþùèõ è êîìïàêòíûõ
äèíàìè÷åñêèõ ñèñòåì íà ôàêòîðû ñèñòåìû (X, B, µ, T ). Ïóñòü B1 ⊆ B2 äâå ñèãìà
àëãåáðû. Ôþðñòåíáåðã äàåò îïðåäåëåíèå êîìïàêòíîñòè (à òàêæå ñëàáîãîïåðåìåøèâàíèÿ)
ôàêòîðà (X, B2 , µ, T ) îòíîñèòåëüíî ôàêòîðà (X, B1 , µ, T ) è äîêàçûâàåò óòâåðæäåíèå î
ïîäíÿòèè : åñëè äëÿ "ìåíüøåãî"ôàêòîðà áûëà âûïîëíåíà òåîðåìà 25, òî îíà âûïîëíåíà
è äëÿ "áîëüøåãî". Âîâòîðûõ Ôþðñòåíáåðã óñòàíàâëèâàåò, ÷òî åñëè ôàêòîð (X, B1 , µ, T )
íà÷àëüíîé ñèñòåìû (X, B, µ, T ) íå ÿâëÿåòñÿ ñëàáîïåðåìåøèâàþùèì, òî íàéäåòñÿ ôàêòîð
(X, B10 , µ, T ), B1 B10 òàêîé, ÷òî (X, B10 , µ, T ) êîìïàêòåí îòíîñèòåëüíî (X, B1 , µ, T ).
Ïðåäïîëîæèì, ÷òî ìàêñèìàëüíûé ôàêòîð F0 = (X, B0 , µ, T ) èç ñåìåéñòâà M íà ñîâ-
ïàäàåò ñ F = (X, B, µ, T ). Åñëè F0 ÿâëÿåòñÿ îòíîñèòåëüíî ñëàáîïåðåìåøèâàþùèì, òî
F ∈ M è ìû ïîëó÷èëè ïðîòèâîðå÷èå ñ ìàêñèìàëüíîñòüþ F0 . Åñëè æå F0 íå ÿâëÿåòñÿ îò-
íîñèòåëüíî ñëàáîïåðåìåøèâàþùèì, òî íàéäåòñÿ ôàêòîð F00 áîëüøèé F0 è êîìïàêòíûé
îòíîñèòåëüíî F0 . Çíà÷èò, F00 ∈ M è ìû îïÿòü ïîëó÷èëè ïðîòèâîðå÷èå ñ ìàêñèìàëüíîñòüþ
F0 . Ýòî ðàññóæäåíèå çàâåðøàåò äîêàçàòåëüñòâî Ôþðñòåíáåðãà.
Íåîáõîäèìî îòìåòèòü, ÷òî ðàññóæäåíèÿ Ôþðñòåíáåðãà íå äàþò íèêàêèõ âåðõíèõ îöå-
íîê âåëè÷èíû N (k, δ). Êàê ìû âèäåëè â ñâîåì äîêàçàòåëüñòâå Ôþðñòåíáåðã ñóùåñòâåííî
èñïîëüçóåò ëåììó Öîðíà. Òåì íå ìåíåå íåäàâíî ïîÿâèëîñü íîâîå äîêàçàòåëüñòâî òåîðåìû
Ñåìåðåäè (ñì. [37]) ìåòîäàìè ýðãîäè÷åñêîé òåîðèè è äàþùåå êîëè÷åñòâåííûå (ïðàâäà
î÷åíü ñëàáûå) îöåíêè N (k, δ).
Çàòåì òåîðåìà 34 áûëà ïåðåäîêàçàíà Õ. Ôåñòåíáåðãîì â [34] (áîëåå ïîäðîáíî ñì. 5).
ßñíî, ÷òî çàäà÷à ïðî óãîëêè ÿâëÿåòñÿ äâóìåðíûì îáîáùåíèåì çàäà÷è î ìíîæåñòâàõ
áåç àðèôìåòè÷åñêèõ ïðîãðåññèé äëèíû òðè. Òî÷íåå, èç ðàâåíñòâà limN →∞ L(N ) = 0 âû-
òåêàåò limN →∞ a3 (N ) = 0.
Äåéñòâèòåëüíî, ïóñòü limN →∞ L(N ) = 0, íî limN →∞ a3 (N ) = a > 0 (òî ÷òî
limN →∞ a3 (N ) ñóùåñòâóåò, áûëî äîêàçàíî âî ââåäåíèè). Ïîñëåäíåå ðàâåíñòâî îçíà÷àåò,
34
÷òî äëÿ âñåõ äîñòàòî÷íî áîëüøèõ N íàéäåòñÿ ìíîæåñòâî AN ⊆ [N ] áåç ïðîãðåññèé äëè-
íû òðè, ìîùíîñòèFíå ìåíüøå, ÷åì aN/2. Ðàññìîòðèì êâàäðàò QN = {1, 2, . . . , 2N }2 è
ìíîæåñòâî ÃN = N i=1 ((AN + i) × {i}) ⊆ QN . Äâóìåðíîå ìíîæåñòâî ÃN ïðåäñòàâëÿåò
ñîáîé îáúåäèíåíèå N òðàíñëÿöèé ìíîæåñòâà AN â íàïðàâëåíèè ïðàâîãî âåðõíåãî óã-
ëà êâàäðàòà QN . Íåòðóäíî óáåäèòüñÿ, ÷òî åñëè ÃN ñîäåðæèò óãîëîê, òî AN ñîäåðæèò
àðèôìåòè÷åñêóþ ïðîãðåññèþ äëèíû òðè, ÷òî íå âåðíî. Êðîìå òîãî, ìîùíîñòü ÃN ðàâíà
|AN |N ≥ aN 2 /2. Îòñþäà âûòåêàåò, ÷òî lim supN →∞ L(N ) > 0. Ïðîòèâîðå÷èå ñ ðàâåíñòâîì
limN →∞ L(N ) = 0.
Â.Ò. Ãàóýðñ (ñì. [46]) ïîñòàâèë âîïðîñ î ñêîðîñòè ñõîäèìîñòè L(N ) ê 0. Â ðàáîòå [102]
Â. Âó, ðàçâèâàÿ ïîäõîä èç ñòàòåé [100, 101], ïðåäëîæèë ñëåäóþùåå ðåøåíèå ýòîãî âîïðîñà.
Ïóñòü log[1] = log N è äëÿ l ≥ 2 ïîëîæèì log[l] N = log(log[l−1] N ). Òàêèì îáðàçîì log[l] N
åñòü ðåçóëüòàò âçÿòèÿ ëîãàðèôìà îò ÷èñëà N l ðàç ïîäðÿä. Äàëåå, ïóñòü k íàèáîëüøåå
íàòóðàëüíîå ÷èñëî, òàêîå, ÷òî log[k] N ≥ 2. Òîãäà ïîëîæèì log∗ N = k . Âó äîêàçàë, ÷òî
100
L(N ) ≤ .
log1/4
∗ N
Òåîðåìà 35. ([116, 117]) Ïóñòü δ > 0, N À exp exp exp(δ −C ), C > 0 íåêîòîðàÿ
ýôôåêòèâíàÿ êîíñòàíòà è A ⊆ {1, . . . , N }2 ïðîèçâîëüíîå ïîäìíîæåñòâî, ìîùíîñòè
íå ìåíüøå, ÷åì δN 2 . Òîãäà A ñîäåðæèò òðîéêó âèäà (k, m), (k + d, m), (k, m + d), ãäå
d > 0.
Òåîðåìà 36. ([118, 119]) Ïóñòü δ > 0, N À exp exp(δ −c ), c > 0 íåêîòîðàÿ
ýôôåêòèâíàÿ êîíñòàíòà è A ⊆ {1, . . . , N }2 ïðîèçâîëüíîå ïîäìíîæåñòâî, ìîùíîñòè
íå ìåíüøå, ÷åì δN 2 . Òîãäà A ñîäåðæèò òðîéêó âèäà (k, m), (k + d, m), (k, m + d), ãäå
d > 0.
Òàêèì îáðàçîì ïîëó÷åíà îöåíêà âåëè÷èíû L(N ) ñâåðõó L(N ) ¿ 1/(log log N )C1 , ãäå
C1 = 1/c.
Âîïðîñ î âåðõíèõ îöåíêàõ äëÿ ôóíêöèè L(N ) â ãðóïïàõ Znp , ãäå p ïðîñòîå ÷èñëî,
áûë ðàññìîòðåí â [115]. Â òàêèõ ãðóïïàõ óãîëêîì íàçûâàåòñÿ òðîéêà âèäà (k, m), (k +
d, m), (k, m + d) ñ d 6= 0.  íàñòîÿùåì îáçîðå ìû îãðàíè÷èìñÿ, äëÿ ïðîñòîòû èçëîæåíèÿ,
ñëó÷àåì p = 2.
35
Ìû èçëàãàåì äîêàçàòåëüñòâî ïî [115]. Ïðåæäå ÷åì äîêàçûâàòü òåîðåìó 37 äàäèì
íåñêîëüêî îïðåäåëåíèé.
Ïóñòü x, y ∈ Zn2 . Ïóñòü òàêæå ñêàëÿðíîå ïðîèçâåäåíèå x · y çàäàåòñÿ ôîðìóëîé
x · y = x1 y1 + · · · + xn yn .
X 1 X b
f (s)g(s) = f (ξ)b
g (ξ) . (64)
x∈Zn
N ξ∈Zn
2 2
X X X 1 X b 2
|(f ∗ g)(x)|2 := | f (y)g(y − x)|2 = g (ξ)|2 .
|f (ξ)| |b (65)
x∈Zn x∈Zn y∈Zn
N ξ∈Zn
2 2 2 2
36
Ïî èíäóêöèè ñóùåñòâóåò ïî êðàéíåé ìåðå (1 − 2k−1 τ )N k−1 çíà÷åíèé u òàêèõ, ÷òî
X
| Fu (y) − σ1 . . . σk−1 N | ≤ ε(k − 1)τ N . (70)
y
Èç (71) âûòåêàåò, ÷òî ïðè ôèêñèðîâàííîì u êîëè÷åñòâî xk äëÿ êîòîðûõ |(Fu ∗ Sk )(xk ) −
σ1 . . . σk N | > ε(k)N íå ïðåâîñõîäèò
4ε(k − 1)2
N ≤ 2k−1 τ N .
ε(k)2
X
(A ∗ H)2 (x) ≥ (δ 2 + α2 )|H|2 N . (72)
x
≥ (δ 2 + α2 )|H|2 N .
37
ßñíî, ÷òî
X ¯¯ X ¯2
¯
kf k4 = ¯ f (x, y)f (x0 , y)¯ (74)
x,x0 y
ïîýòîìó ïðàâàÿ ÷àñòü (73) âñåãäà íåîòðèöàòåëüíà.  [117] áûëî äîêàçàíî, ÷òî k · k äåé-
ñòâèòåëüíî ÿâëÿåòñÿ íîðìîé.
Òàêèì îáðàçîì, ëþáîå ìíîæåñòâî A ⊆ P ñîäåðæèò ïî êðàéíåé ìåðå δP (A)4 |E1 |2 |E2 |2 ïðî-
ñòåéøèõ ïðÿìîóãîëüíèêîâ. Ñ äðóãîé ñòîðîíû, ëåãêî ïîêàçàòü, ÷òî êîëè÷åñòâî ïðîñòåé-
øèõ ïðÿìîóãîëüíèêîâ â ñëó÷àéíûõ ïîäìíîæåñòâàõ P ïðèìåðíî ðàâíî δP (A)4 |E1 |2 |E2 |2 .
Ìíîæåñòâà, αðàâíîìåðíûå îòíîñèòåëüíî ïðÿìîóãîëüíîé íîðìû õàðàêòåðèçóþòñÿ ÿñ-
íûì êîìáèíàòîðíûì ñâîéñòâîì (ñì. [117]).
38
Ïóñòü W íåêîòîðîå ïîäïðîñòðàíñòâî Zn2 . ßñíî, ÷òî W èçîìîðôíî íåêîòîðîìó Zn2
ñ m ≤ n. Ïóñòü òàêæå E1 , E2 ⊆ W , Ei = βi |W |, P = E1 × E2 è A ⊆ P , δP (A) = δ .
Ïåðâûé øàã äîêàçàòåëüñòâà òåîðåìû 37 îòíîñèòñÿ ê ñèòóàöèè, êîãäà ìíîæåñòâà E1 , E2
ÿâëÿþòñÿ αðàâíîìåðíûìè è, êðîìå òîãî, ñàìî ìíîæåñòâî A ÿâëÿåòñÿ α0 ðàâíîìåðíûì,
îòíîñèòåëüíî ïðÿìîóãîëüíîé íîðìû. Ìû äîêàæåì, ÷òî åñëè α, α0 äîñòàòî÷íî ìàëû (òî
åñòü E1 , E2 è A áëèçêè ê ñëó÷àéíûì), òî â A íàéäåòñÿ äîñòàòî÷íî áîëüøîå ÷èñëî óãîëêîâ.
Îñíîâíîé èíñòðóìåíò ïðè äîêàçàòåëüñòâå ýòî íåðàâåíñòâî ÊîøèÁóíÿêîâñêîãî.
Òåîðåìà 39. Ïóñòü ìíîæåñòâà Ei ÿâëÿþòñÿ (2−36 β112 β212 δ 36 )ðàâíîìåðíûìè, à ìíî-
æåñòâî A ÿâëÿåòñÿ 2−8 δ 12 ðàâíîìåðíûì, îòíîñèòåëüíî ïðÿìîóãîëüíîé íîðìû. Òîãäà
A ñîäåðæèò íå ìåíåå δ 3 β12 β22 |W |3 /2 òðîåê âèäà {(x, y), (x + d, y), (x, y + d)}.
Äîêàçàòåëüñòâî. Ïóñòü f1 , P f2 , f3 : P → D òðè ïðîèçâîëüíûå ôóíêöèè. Ðàññìîòðèì
ôóíêöèîíàë T (f1 , f2 , f3 ) = x,y,z f1 (x, y)f2 (y + z, y)f3 (x, x + z). ßñíî, ÷òî T ëèíååí ïî
êàæäîìó àðãóìåíòó. Êðîìå òîãî, T (A, A, A) ðàâíî ÷èñëó òðîåê {(x, y), (x+d, y), (x, y+d)} â
A (çäåñü ìû èñïîëüçóåì ñïåöèôèêó Zn2 ). Ïóñòü f = A−δP è η = 2−8 δ 12 . Òîãäà T (A, A, A) =
PA, A) è kf k ≤ ηβ1 β2 |W | .
4 2 2 4
δT (P, A, A) + T (f, P
Ïóñòü g(z) = x A(x, x+z). ÒîãäàP T (P, A, A) = z g(z)2 . Òàê êàê W ïîäïðîñòðàíñòâî
Zn2 , òî g(z) ðàâíî íóëþ âíå W . Èìååì z g(z) = δβ1 β2 |W |2 . Ïðèìåíÿÿ íåðàâåíñòâî Êîøè
Áóíÿêîâñêîãî, ïîëó÷àåì
à !1/2
X
× E1 (y + z)A(x, x + z)A(x0 , x0 + z)f (x, y)f (x0 , y) . (78)
x,x0 ,y,z
P
Èìååì y,z E1 (y + z)E2 (y) = β1 β2 |W |2 . Äàëåå
X
σ= E1 (y + z)A(x, x + z)A(x0 , x0 + z)f (x, y)f (x0 , y) =
x,x0 ,y,z
X X
= A(x, x + z)A(x0 , x0 + z) E1 (y + z)E2 (x + z)E2 (x0 + z)f (x, y)f (x0 , y) .
x,x0 ,z y
P
Ïóñòü ω(x, x0 , y, y 0 ) = z E1 (y + z)E1 (y 0 + z)E2 (x + z)E2 (x0 + z). Ïðèìåíÿÿ íåðàâåíñòâî
ÊîøèÁóíÿêîâñêîãî â òðåòèé ðàç, ïîëó÷àåì
à !1/2
X
σ≤ E1 (x)E1 (x0 )E2 (x + z)E2 (x0 + z) ×
x,x0 ,z
à !1/2
X
× ω(x, x0 , y, y 0 )f (x, y)f (x0 , y)f (x, y 0 )f (x0 , y 0 ) . (79)
x,x0 ,y,y 0
39
Èç ëåììû 2 âûòåêàåò, ÷òî
X
E1 (x)E1 (x0 )E2 (x + z)E2 (x0 + z) ≤ 2β12 β22 |W |3 .
x,x0 ,z
Ïî ëåììå 2, ïðèìåíÿåìîé ê ñëó÷àþ k = 4 è τ = 2−4 β14 β24 η , κ = 2−12 β112 β212 η 3 , ñóùåñòâóåò
íå ìåíåå (1 − β14 β24 η)|W |4 çíà÷åíèé (x, x0 , y, y 0 ) äëÿ êîòîðûõ âûïîëíåíî |ω(x, x0 , y, y 0 ) −
β12 β22 |W || ≤ β14 β24 η . Îòñþäà
¯ ¯
¯ X ¯
¯ 0 0 2 2 0 0 0 0 ¯
¯ (ω(x, x , y, y ) − β β
1 2 |W |)f (x, y)f (x , y)f (x, y )f (x , y )¯ ≤ 3β14 β24 η|W |5 . (81)
¯ 0 0 ¯
x,x ,y,y
Òåîðåìà äîêàçàíà.
Ïðåäïîëîæèì, ÷òî óñëîâèå 2−8 δ 12 ðàâíîìåðíîñòè, îòíîñèòåëüíî ïðÿìîóãîëüíîé íîð-
ìû, ìíîæåñòâà A â òåîðåìå 39 íå âûïîëíåíî. Â ñëåäóþùåì ïðåäëîæåíèè ìû äîêàæåì,
÷òî òîãäà ñóùåñòâóåò äîñòàòî÷íî áîëüøîå ìíîæåñòâî Q ⊆ P , ïëîòíîñòü A â êîòîðîì
áîëüøå δ íà íåêîòîðóþ ïîëîæèòåëüíóþ âåëè÷èíó.
Ïðåäëîæåíèå 8. Ïóñòü P = E1 × E2 , A ⊆ P . Ïóñòü òàêæå δP (A) = δ è A íå
η ðàâíîìåðíî, îòíîñèòåëüíî ïðÿìîóãîëüíîé íîðìû ñ η > 0. Òîãäà ñóùåñòâóþò ìíî-
æåñòâà Fi ⊆ Ei , i = 1, 2 òàêèå, ÷òî |Fi | ≥ 2−8 η|Ei | è äëÿ Q = F1 × F2 âûïîëíåíî
δQ (A) ≥ δ + 2−14 η 2 .
Ïðè äîêàçàòåëüñòâå ïðåäëîæåíèÿ 8 îêàçûâåòñÿ óäîáíûì ÿçûê òåîðèè ãðàôîâ. Ýòî íå
óäèâèòåëüíî, ïîñêîëüêó ñóùåñòâóåò òåñíàÿ ñâÿçü ìåæäó αðàâíîìåðíûìè ìíîæåñòâàìè
è, òàê íàçûâàåìûìè, êâàçèñëó÷àéíûìè ãðàôàìè (áîëåå ïîäðîáíî ñì. [103, 104]).
Ïóñòü |E1 | = M1 , |E2 | = M2 . Ìîæåò òàê ñëó÷èòñÿ, ÷òî E1 ∩E2 6= ∅. Ìû õîòèì èçáåæàòü
ýòîé ñèòóàöèè. Ïóñòü X åñòü áèåêòèâíûé îáðàç E1 , à Y E2 òàêèå, ÷òî X ∩ Y = ∅.
Îïðåäåëèì äâóäîëüíûé ãðàô G, ñâÿçàííûé ñ ìíîæåñòâîì A. Ïóñòü X , Y åãî äîëè è
âåðøèíà x ∈ X ñîåäèíåíà ñ âåðøèíîé y ∈ Y òîãäà è òîëüêî òîãäà, êîãäà (x, y) ∈ A. ßñíî,
÷òî ó ãðàôà G ðîâíî δM1 M2 âåðøèí. Îáîçíà÷èì ÷åðåç N (x) ìíîæåñòâî èñõîäÿùèõ ðåáåð
èç âåðøèíû x ∈ X è òîé æå áóêâîé N (y) ìíîæåñòâî âõîäÿùèõ ðåáåð â y ∈ Y . Ïóñòü
òàêæå d(x) = |N (x)|, x ∈ X è d(y) = |N (y)|, y ∈ Y .
Äëÿ äîêàçàòåëüñòâà ïðåäëîæåíèÿ 8 íàì ïîíàäîáèòñÿ íåñêîëüêî ëåìì.
Ïåðâàÿ íåîáõîäèìàÿ íàì ëåììà óòâåðæäàåò, ÷òî "äëÿ ïî÷òè âñåõ" x ∈ X ìîæíî
ñ÷èòàòü d(x) ïðèìåðíî ðàâíûì δM2 . Òî æå ñàìîå, ïî ñèììåòðèè, îòíîñèòñÿ è ê d(y).
40
Ëåììà 4. Ïóñòü ε1 , ε2 ∈ (0, 1). Ïðåäïîëîæèì, ÷òî ëèáî
(1) ñóùåñòâóåò ïî ìåíüøåé ìåðå ε1 M1 âåðøèí x ∈ X , äëÿ êîòîðûõ |d(x)−δM2 | > ε2 M2 ,
(2) ëèáî ñóùåñòâóåò íå ìåíåå ε2 M2 âåðøèí y ∈ Y , äëÿ êîòîðûõ |d(y) − δM1 | > ε1 M1 .
Òîãäà íàéäóòñÿ ìíîæåñòâà X 0 ⊆ X , Y 0 ⊆ Y , òàêèå ÷òî |X 0 | ≥ min(ε1 /2, ε2 /2)M1 ,
|Y 0 | ≥ min(ε1 /2, ε2 /2)M2 è δX 0 ×Y 0 (A) ≥ δ + ε1 ε2 /2.
Ëåììà äîêàçàíà.
Ìû âèäèì, ÷òî åñëè âûïîëíåíî (1) èëè (2), òî ïðåäëîæåíèå 8 äîêàçàíî (ïîäðîáíåå ñì.
íèæå). Ïîýòîìó ìû áóäåì ñ÷èòàòü, ÷òî âåëè÷èíû d(x), d(y) "ïî÷òè âñþäó"ðàâíû δM2 è
δM1 , ñîîòâåòñòâåííî.
Ñëåäóþùóþ ëåììó, ìîæíî ñ÷èòàòü îáðàòíîé ê òåîðåìå 38.
Èñïîëüçóÿ ïðåäïîëîæåíèÿ ëåììû, îòíîñèòåëüíî d(x), ïîëó÷àåì σ 0 ≤ ηM12 M22 /28. Òàêèì
îáðàçîì,
kAk4 ≥ (δ 4 + η − 14η/28)M12 M22 = (δ 4 + η/2)M12 M22 .
Ëåììà äîêàçàíà.
41
Ëåììà 6. Ïóñòü kAk4 ≥ (δ 4 +η/2)M12 M22 . Ïðåäïîëîæèì, ÷òî äëÿ âñåõ x ∈ X , êðîìå,
ìîæåò áûòü, ηM1 /32 øòóê âûïîëíåíî íåðàâåíñòâî |d(x) − δM2 | ≤ ηM2 /32 è äëÿ âñåõ
y ∈ Y , êðîìå, ìîæåò áûòü, ηM2 /32 øòóê âûïîëíåíî |d(y) − δM1 | ≤ ηM1 /32. Òîãäà
ñóùåñòâóþò ìíîæåñòâà X 0 ⊆ X , Y 0 ⊆ Y òàêèå, ÷òî |X 0 | ≥ ηM1 /32, |Y 0 | ≥ ηM2 /32 è
δX 0 ×Y 0 (A) ≥ δ + η/8.
Äîêàçàòåëüñòâî. Ïóñòü (x, y) ∈ X × Y è e(x, y) ÷èñëî ðåáåð ìåæäó N (x) è N (y). Ëåãêî
âèäåòü, ÷òî X
e(x, y) = kAk4 ≥ (δ 4 + η/2)M12 M22 .
(x,y)∈A
δ 3 + η/4δ
δX 0 ×Y 0 (A) ≥ ≥ δ + η/8 .
(δ + η/32)2
Ïðèìåíÿÿ òîò ôàêò, ÷òî x ∈ X0 , y ∈ Y0 åùå ðàç, íàõîäèì |X 0 | ≥ δM1 /2 > ηM1 /32 è
|Y 0 | ≥ δM2 /2 > ηM2 /32. Ëåììà äîêàçàíà.
Äîêàçàòåëüñòâî ïðåäëîæåíèÿ 8. Ïðåäïîëîæèì, ÷òî ñóùåñòâóåò íå ìåíåå ηM1 /56 âåð-
øèí x ∈ X äëÿ êîòîðûõ |d(x)−δM2 | > ηM2 /56. Òîãäà ïî ëåììå 4 íàéäóòñÿ äâà ìíîæåñòâà
F1 , F2 òàêèõ, ÷òî |Fi | ≥ 2−8 ηMi , i = 1, 2 è äëÿ Q = F1 × F2 âûïîëíåíî δQ (A) ≥ δ + 2−14 η 2 .
Ìû âèäèì, ÷òî â ýòîì ñëó÷àå ïðåäëîæåíèå äîêàçàíî. Àíàëîãè÷íî ðàññìàòðèâàåòñÿ ñèòóà-
öèÿ, êîãäà ñóùåñòâóåò íå ìåíåå ηM2 /56 âåðøèí y ∈ Y äëÿ êîòîðûõ |d(y)−δM1 | > ηM1 /56.
Åñëè |d(x) − δM2 | ≤ ηM2 /56 äëÿ âñåõ x ∈ X , êðîìå, ìîæåò áûòü, ηM1 /56 øòóê, è,
àíàëîãè÷íî, äëÿ d(y), òî ïî ëåììå 5 âûïîëíåíî kAk4 ≥ δ 4 +η/2. Çàòåì ïðèìåíÿåì ëåììó 6
è íàõîäèì ìíîæåñòâà F1 , F2 äëÿ êîòîðûõ âûïîëíåíî |Fi | ≥ ηMi /32 è δQ (A) = δF1 ×F2 (A) ≥
δ + η/8. Ïðåäëîæåíèå äîêàçàíî.
Îáúåäèíèì, äëÿ óäîáñòâà, òåîðåìó 39 è ïðåäëîæåíèå 8.
42
Äîêàçàòåëüñòâî. Ïðåäïîëîæèì, ÷òî A ÿâëÿåòñÿ η ðàâíîìåðíûì, îòíîñèòåëüíî ïðÿìî-
óãîëüíîé íîðìû ñ η = 2−8 δ 12 . Ïî òåîðåìå 39 ìíîæåñòâî A ñîäåðæèò íå ìåíåå δ 3 β12 β22 |W |3
òðîåê âèäà {(x, y), (x + d, y), (x, y + d)}. ×èñëî òðîåê ñ d = 0 íå áîëüøå |W |2 . Ïðèìå-
íÿÿ íåðàâåíñòâî (87), ïîëó÷àåì, ÷òî A ñîäåðæèò óãîëîê. Ñëåäîâàòåëüíî, ìíîæåñòâî A
íå ÿâëÿåòñÿ η ðàâíîìåðíûì, îòíîñèòåëüíî ïðÿìîóãîëüíîé íîðìû ñ η = 2−8 δ 12 . Ïî ïðåä-
ëîæåíèþ 8 ñóùåñòâóþò ìíîæåñòâà Fi ⊆ Ei òàêèå, ÷òî |Fi | ≥ 2−16 δ 12 |Ei | è δF1 ×F2 (A) ≥
δ + 2−30 δ 24 .
Ïðåäëîæåíèå 10. (Âòîðîé ýòàï äîêàçàòåëüñòâà òåîðåìû 37). Ïóñòü δ, τ, σ ∈ (0, 1)
íåêîòîðûå ÷èñëà, W ïîäïðîñòðàíñòâî Zn2 , Fi ⊆ W , |Fi | = βi |W |, i = 1, 2 è Q = F1 × F2 .
Ïóñòü òàêæå A ⊆ Q, δQ (A) = δ + τ è
|W | > exp(16σ −2 (β1 β2 ))−1 τ −1 ) . (88)
(i) (i)
ãäå t1 , t2 ∈ W , êàæäîå W (i) ïðåäñòàâëÿåò ñîáîé ïîäïðîñòðàíñòâî W , ðàçìåðíîñòè íå
ìåíüøå, ÷åì dim W − j , à Ij íåêîòîðîå ìíîæåñòâî èíäåêñîâ. Ïðè ïåðåõîäå ê j + 1
øàãó àëãîðèòìà, íåêîòîðûå êëåòêè C (i) , i ∈ Ij îñòàíóòñÿ áåç èçìåíåíèé. Äëÿ äðó-
ãèõ i ∈ IjFáóäóò âûáðàíû ïîäïðîñòðàíñòâà H (i) ⊆ W (i) êîðàçìåðíîñòè 1. Òàê êàê
W (i) = H (i) (H (i) )⊥ , òî êëåòêè C (i) ðàçîáúþòñÿ íà ÷åòûðå ïîäêëåòêè C̃ (ik ) , k = 1, 2, 3, 4,
(i) (i) (i) (i)
ãäå C̃ (i1 ) = (H (i) + t1 ) × (H (i) + t2 ), C̃ (i2 ) = ((H (i) )⊥ + t1 ) × (H (i) + t2 ), C̃ (i3 ) =
(i) (i) (i) (i)
(H (i) + t1 ) × ((H (i) )⊥ + t2 ), C̃ (i4 ) = ((H (i) )⊥ + t1 ) × ((H (i) )⊥ + t2 ).
Ïåðåéäåì òåïåðü íåïîñðåäñòâåííî ê äîêàçàòåëüñòâó. Ïóñòü β = β1 β2 . Íà ïåðâîì øàãå
(1) (1)
àëãîðèòìà ïîëîæèì t1 = t2 = 0, I1 = {1} è C (1) = W × W . ßñíî, ÷òî òîãäà ôîðìóëû
(89) ñïðàâåäëèâû.
Ïóñòü ìû ïðîâåëè j øàãîâ àëãîðèòìà è ïîñòðîèëè êëåòêè C (i) , à òàêæå ìíîæåñòâî Ij ,
(i) (i) (i) (i)
óäîâëåòâîðÿþùèå ôîðìóëàì (89). Ïóñòü D1 = F1 ∩ (W (i) + t1 ), D2 = F2 ∩ (W (i) + t2 ) è
(i) (i)
(i) |D1 | (i) |D2 |
β1 = (i)
, β2 = (i)
. (90)
|W (i) + t1 | |W (i) + t2 |
(i) (i)
Ïóñòü òàêæå β (i) = β1 β2 . ßñíî, ÷òî
X
|C (i) |β (i) = β|W |2 . (91)
i∈Ij
Áóäåì ãîâîðèòü, ÷òî êëåòêà C (i) òîùàÿ, åñëè β (i) < βτ /2. Ðàçäåëèì âñå íå òîùèå êëåòêè
(i) (i) (i) (i)
íà äâà êëàññà. Â ïåðâûé êëàññ îòíåñåì âñå êëåòêè, äëÿ êîòîðûõ D1 − t1 è D2 − t2
43
ÿâëÿþòñÿ σ ðàâíîìåðíûìè ïîäìíîæåñòâàìè W (i) . Íàçîâåì ýòè êëåòêè ðàâíîìåðíûìè.
Îñòàëüíûìè íå òîùèå êëåòêè áóäåì íàçûâàòü íå ðàâíîìåðíûìè.
Èòàê, äëÿ i ∈ Ij êëåòêà C (i) ìîæåò îêàçàòüñÿ òîùåé, ðàâíîìåðíîé èëè íå ðàâíîìåðíîé.
Ïóñòü Ej , Uj , Nj îçíà÷àþò ñîîòâåòñòâóþùèå ïîäìíîæåñòâà Ij . Åñëè
X
|C (i) | < τ β|W |2 /4 , (92)
i∈Nj
1 (i1 )2 (i )2 (i )2 (i )2 (i)2
(β1 + β1 2 + β1 3 + β1 4 ) ≥ β1 + σ 2 . (94)
4
Äîêàæåì, ÷òî àëãîðèòì çàêîí÷èò ñâîþ ðàáîòó ïîñëå 16σ −2 β −1 τ −1 øàãîâ èëè ðàíüøå.
Ïóñòü
1 X (i) (i)2 (i)2
ind(Ij ) := 2
|C |(β1 + β2 ) . (95)
2|W | i∈I
j
1
íàõîäèì, ÷òî ind(Ij+1 ) ≥ ind(Ij ) + 16 τ βσ 2 . C äðóãîé ñòîðîíû, ind(Ij ) ≤ 1 äëÿ âñåõ j .
Ñëåäîâàòåëüíî, àëãîðèòì îáÿçàí çàêîí÷èòü ñâîþ ðàáîòó ïîñëå 16σ −2 β −1 τ −1 øàãîâ.
Ïóñòü àëãîðèòì îñòàíîâèëñÿ íà K îì øàãå, K ≤ 16σ −2 β −1 τ −1 . Òàê êàê êàæäàÿ ðàâ-
íîìåðíàÿ êëåòêà ðàçáèåíèÿ (89) íå ÿâëÿåòñÿ òîùåé, òî îíà óäîâëåòâîðÿåò óñëîâèþ 1)
ïðåäëîæåíèÿ 7. ßñíî òàêæå, ÷òî ëþáàÿ ðàâíîìåðíàÿ êëåòêà óäîâëåòâîðÿåò óñëîâèþ 2).
Ïîêàæåì, ÷òî íàéäåòñÿ ðàâíîìåðíàÿ êëåòêà, äëÿ êîòîðîé âûïîëíåíî è ñâîéñòâî 3). Èìå-
åì X
|C (i) | < τ β|W |2 /4. (97)
i∈Nj
Ïóñòü δ (i) = |A∩C (i) |/|C (i) ∩(F1 ×F2 )|. ßñíî, ÷òî δC (i) (A) = δ (i) β (i) Òàê êàê äëÿ âñåõ i ∈ EK
âûïîëíåíî β (i) < βτ /2, òî X
|C (i) |δ (i) β (i) < βτ |W |2 /2 . (98)
i∈EK
44
Ïðèìåíÿÿ íåðàâåíñòâî (91) è ðàâåíñòâî δQ (A) = δ + τ , íàõîäèì
X
|C (i) |δ (i) β (i) > β(δ + τ )|W |2 − βτ |W |2 /2 ≥ β(δ + τ /2)|W |2 . (99)
F
i∈UK NK
Ïðåäïîëîæèì, ÷òî äëÿ âñåõ i ∈ UK âûïîëíåíî δ (i) < δ + τ /4. Ïðèìåíÿÿ (91) è (97),
ïîëó÷àåì ïðîòèâîðå÷èâîå íåðàâåíñòâî
X X
β(δ + τ /2)|W |2 ≤ |C (i) |δ (i) β (i) + |C (i) |δ (i) β (i) <
i∈UK i∈NK
X
< (δ + τ /4) |C (i) |β (i) + τ β|W |2 /4 = β(δ + τ /2)|W |2 . (100)
i∈IK
45
è
βi+1 ≥ 2−63 δ 48 βi ,
òî βi ≥ (δ/2)63i è di ≤ δ −C1 i , ãäå C1 àáñîëþòíàÿ êîíñòàíòà.
Èñïîëüçóÿ óñëîâèå (4) ïðåäëîæåíèÿ 11, ìû, êàê è â äîêàçàòåëüñòâå òåîðåìû Ðîòà,
çàêëþ÷àåì, ÷òî êîëè÷åñòâî øàãîâ àëãîðèòìà íå ïðåâîñõîäèò K = C2 δ −23 , ãäå C2 äðóãàÿ
àáñîëþòíàÿ êîíñòàíòà.
Ïðåäïîëîæèì, ÷òî
−23
N À exp(δ −C3 δ ) , (103)
ãäå C3 àáñîëþòíàÿ êîíñòàíòà. Ëåãêî ïðîâåðèòü, ÷òî íåðàâåíñòâî (103) ãàðàíòèðóåò âû-
ïîëíåíèå óñëîâèÿ (102) íà âñåõ øàãàõ àëãîðèòìà, â ÷àñòíîñòè, è íà åãî ïîñëåäíåì, K îì
øàãå. Ñëåäîâàòåëüíî, ìû ìîæåì ïðîâåñòè K + 1é øàã àëãîðèòìà. Ïîëó÷åííîå ïðîòèâî-
−23
ðå÷èå ïîêàçûâàåò, ÷òî âìåñòî íåðàâåíñòâà (103) ìû èìååì îöåíêó N ¿ exp(δ −C3 δ ) èç
êîòîðîé âûòåêàåò, ÷òî δ ¿ (log log N )−1/24 . Òåîðåìà äîêàçàíà.
ãäå L−1 (n) = 1/L(n), íàçûâàåòñÿ êîíñòàíòîé îäíîâðåìåííîãî (èëè êðàòíîãî) âîçâðàùå-
íèÿ òî÷êè x.
46
Ïðåäïîëîæèì, ÷òî ìåðû µ è Hh ñîãëàñîâàíû. Òîãäà CS,R (x) èíòåãðèðóåìàÿ (ïî ìåðå µ)
ôóíêöèÿ è äëÿ ëþáîãî µèçìåðèìîãî A âûïîëíåíî
Z
CS,R (x)dµ ≤ Hh (A) . (105)
A
R
Åñëè æå Hh (A) = 0, òî A
CS,R (x)dµ = 0 áåç óñëîâèÿ ñîãëàñîâàííîñòè ìåð µ è Hh .
Îá îöåíêàõ ôóíêöèè CS,R (x) ñíèçó ñì. ñòàòüþ [128].
11410337850553 + 4609098694200k ,
ãäå k = 0, 1, . . . , 21. Ýòîò ðåêîðä äåðæàëñÿ ïî÷òè 10 ëåò. Â 2004 ãîäó Ì. Ôðàéíä, Ï.
Äæîáëèí è Ï. Àíäåðâóä íàøëè ïðîãðåññèþ èç ïðîñòûõ ÷èñåë äëèíû 23 (ñì. [87]). Ýòà
ïðîãðåññèÿ íà÷èíàëàñü ñ 56211383760397 ñ èìåëà ðàçíîñòü 44546738095860.
 2004 ãîäó Á. Ãðèí è Ò. Òàî äîêàçàëè ñëåäóþùèé ðåçóëüòàò î ïðîãðåññèÿõ â ïðîñòûõ
÷èñëàõ.
Òåîðåìà 41. (Ãðèí, Òàî) Äëÿ âñåõ íàòóðàëüíûõ k ≥ 3 ìíîæåñòâî ïðîñòûõ ÷èñåë
ñîäåðæèò àðèôìåòè÷åñêóþ ïðîãðåññèþ äëèíû k .
 ýòîì ïðàãðàôå ìû ïðèâåäåì ñõåìó äîêàçàòåëüñòâà òåîðåìû Ãðèíà è Òàî.
Êàê èçâåñòíî, â îòðåçêå [N ] ìíîæåñòâî ïðîñòûõ ÷èñåë P èìååò ïëîòíîñòü π(N )/N ∼
1/ ln N = o(1), N → ∞ (ñì., íàïðèìåð, [89]). Ïîýòîìó ìû íå ìîæåì ïðèìåíèòü ê P òåî-
ðåìó Ñåìåðåäè 18. Îäíà èç îñíîâíûõ èäåé Ãðèíà è Òàî ñîñòîÿëà â òîì, ÷òîáû ïîëó÷èòü
îáîáùåíèå òåîðåìû Ñåìåðåäè íà, òàê íàçûâàåìûå, ïñåâäîñëó÷àéíûå ìíîæåñòâà (íèæå
ìû äàäèì òî÷íîå îïðåäåëåíèå), êîòîðûå ìîãóò èìåòü íóëåâóþ ïëîòíîñòü. Ãîâîðÿ âîîáùå
ñóùåñòâóåò ìíîãî ïàðàëëåëåé ìåæäó ïîäõîäîì Ãðèíà è Òàî è ýðãîäè÷åñêèì ìåòîäîì.
Íàïðèìåð, ïñåâäîñëó÷àéíûå ìíîæåñòâà ÿâëÿþòñÿ àíàëîãîì ñëàáîïåðåìåøèâàþùèõ äè-
íàìè÷åñêèõ ñèñòåì. Áîëåå ïîäðîáíî îá ýòèõ ïàðàëëåëÿõ ñì. îáçîð [44]. Âî âòîðîé ÷àñòè
ñâîåãî äîêàçàòåëüñòâà Ãðèí è Òàî ïðèìåíÿþò íåäàâíèå ðåçóëüòàòû Ä. Ãîëüäñòîíà è Ê.
ßëäèðèìà (ñì. [91, 92, 93]) è ïîêàçûâàþò, ÷òî ïðîñòûå ÷èñëà îáëàäàþò íóæíûìè ïñåâ-
äîñëó÷àéíûìè ñâîéñòâàìè.
47
Ìû íà÷íåì ñ áîëåå ïîäðîáíîãî îáñóæäåíèÿ ïåðâîé ÷àñòè äîêàçàòåëüñòâà Ãðèíà è Òàî
â êîòîðîé îíè ïîëó÷àþò îáîáùåíèå òåîðåìû Ñåìåðåäè äëÿ ïñåâäîñëó÷àéíûõ ìíîæåñòâ.
Èõ äîêàçàòåëüñòâî ñóùåñòâåííûì îáðàçîì îïèðàåòñÿ íà òåîðåìó Ñåìåðåäè. Ãîâîðÿ áîëåå
òî÷íî, îíè ïîêàçûâàþò, ÷òî äîêàçàííàÿ èìè îáîáùåííàÿ òåîðåìà âûòåêàåò èç îáû÷íîé
òåîðåìû Ñåìåðåäè.
Íàì áóäåò óäîáíî ñôîðìóëèðîâàòü òåîðåìó Ñåìåðåäè äëÿ ãðóïïû ZN . Ïóñòü N
ïðîèçâîëüíîå ïðîñòîå ÷èñëî. Íåêîòîðîÿ âåëè÷èíà ðàâíà o(1) åñëè îíà ñòðåìèòñÿ ê íóëþ,
êîãäà N ñòðåìèòñÿ ê áåñêîíå÷íîñòè è ðàâíà O(1) åñëè îíà îãðàíè÷åíà, ïðè N ñòðåìÿ-
ùèìñÿ ê áåñêîíå÷íîñòè. Ââåäåì îáîçíà÷åíèå νconst : ZN → R+ äëÿ ïîñòîÿííîé ôóíêöèè
òîæäåñòâåííî ðàâíîé åäèíèöå νconst ≡ 1.
Òåîðåìà 42. (Òåîðåìà Ñåìåðåäè) Ïóñòü k ≥ 3 íàòóðàëüíîå ÷èñëî è δ > 0
âåùåñòâåííîå ÷èñëî. Ïóñòü òàêæå N äîñòàòî÷íî áîëüøîå ïðîñòîå ÷èñëî, à f :
ZN → R+ íåêîòîðàÿ íåîòðèöàòåëüíàÿ ôóíêöèÿ, óäîâëåòâîðÿþùàÿ îöåíêàì
è
1 X
f (x) ≥ δ . (107)
N x∈Z
N
48
÷èñëàìè. Ïðè ïðîâåðêå òîãî, ÷òî ν0 (x) óäîâëåòâîðÿåò óñëîâèþ ëèíåéíûõ ôîðì è êîððå-
ëÿöèîííîìó óñëîâèþ ñóùåñòâåííûì îáðàçîì èñïîëüçóþòñÿ íåäàâíèå ðàáîòû Ãîëüäñòîíà
è ßëäèðèìà [91, 92, 93].
Îïðåäåëåíèå 13. (Óñëîâèå ëèíåéíûõ ôîðì) Ïóñòü ν : ZN → R+ íåêîòî-
ðàÿ ìåðà. Ïóñòü òàêæå m0 , t0 , L0 íàòóðàëüíûå ÷èñëà, L0 < N . Ìåðà ν óäîâëåòâîðÿåò
(m0 , t0 , L0 ) óñëîâèþ ëèíåéíûõ ôîðì, åñëè âûïîëíåíî ñëåäóþùåå. Ïóñòü m, t ïðî-
èçâîëüíûå, m ≤ m0 , t ≤ t0 è (Lij )1≤i≤m,1≤j≤t íåêîòîðûå ðàöèîíàëüíûå ÷èñëà, ÷èñëè-
òåëü è çíàìåíàòåëü êîòîðûõ íå ïðåâîñõîäèò ïî àáñîëþòíîé âåëè÷èíå P L0 . Ïóñòü òàêæå
bi ∈ ZN , 1 ≤ i ≤ m è ψi : ZtN → ZN ëèíåéíûå ôîðìû ψi (x) = tj=1 Lij xj + bi , ãäå
x = (x1 , x2 , . . . , xt ) ∈ ZtN è ðàöèîíàëüíûå ÷èñëà Lij èíòåðïðåòèðóþòñÿ êàê ýëåìåíòû ZN
ñòàíäàðòíûì îáðàçîì. Ïóñòü, êðîìå òîãî, äëÿ âñåõ i = 1, 2, . . . , m ñòðîêè (Lij )1≤j≤t ∈ Qt
íå íóëåâûå è íèêàêàÿ ñòðî÷êà íå ïîëó÷àåòñÿ èç äðóãîé óìíîæåíèåì íà ðàöèîíàëüíîå
÷èñëî. Ïóñòü, íàêîíåö, âûïîëíåíî
1 X
ν(ψ1 (x)) . . . ν(ψm (x)) = 1 + oL0 ,m0 ,t0 (1) . (109)
Nt t
x∈ZN
49
Ëåâàÿ ÷àñòü (113) ðàâíà
X X Y
(−1)|A| ν(x + ω · h) . (114)
A⊆{0,1}k−1 x∈ZN ,h∈Zk−1 ω∈A
N
è
1 X
f (x) ≥ δ . (118)
N x∈Z
N
1 X
2
f (x)f (x + r) . . . f (x + (k − 1)r) ≥ c0 (k, δ) . (119)
N x,r∈Z
N
50
41, òàê êàê ÷ëåíû íàéäåííîé àðèôìåòè÷åñêîé ïðîãðåññèè ìîãóò íå îêàçàòüñÿ ïðîñòûìè
÷èñëàìè. Íà ñàìîì äåëå, ëåãêî ïîêàçàòü, ÷òî ñòàðøèå ñòåïåíè ïðîñòûõ p2 , p3 , . . . äàäóò
âêëàä ðàâíûé o(1) â ñóììó (119). Ïîýòîìó, åñëè ìû íàéäåì k ïñåâäîñëó÷àéíóþ ìåðó
ν(x) òàêóþ, ÷òî ν(x) ≥ c(k)Λ(x), c(k) > 0, òî òåîðåìà 41 áóäåò äîêàçàíà.
Ê ñîæàëåíèþ, k ïñåâäîñëó÷àéíîé ìåðû ñ òðåáóåìûì ñâîéñòâîì íå ñóùåñòâóåò. Ìû
ïðèâåäåì çäåñü ñõåìàòè÷åñêîå äîêàçàòåëüñòâî ýòîãî ôàêòà. Ëåãêî ïîêàçàòü, ÷òî äëÿ âñÿ-
êîãî ôèêñèðîâàííîãî öåëîãî q > 1 ëþáàÿ ïñåâäîñëó÷àéíàÿ ìåðà ðàâíîìåðíî ðàñïðåäåëå-
íà ïî âñåì q êëàññàì âû÷åòîâ a (mod q). Ïóñòü ϕ(x) ôóíêöèÿ Ýéëåðà. Èçâåñòíî, ÷òî
âåëè÷èíà ϕ(x)/x ìîæåò áûòü ñäåëàíà ñêîëü óãîäíî ìàëîé (ñì., íàïðèìåð, [90] ñòð. 35),
ïîýòîìó ñóùåñòâóåò q òàêîå, ÷òî ϕ(q)/q < 1/c(k). Ñ äðóãîé ñòîðîíû, åñëè äëÿ êëàññà âû÷å-
òîâ a âûïîëíåíî (a, q) > 1, òî ïðîñòûõ â òàêîì êëàññå íå ñóùåñòâóåò. Òàê êàê âêëàä ñòàð-
øèõ ñòåïåíåé ïðîñòûõ p2 , p3 , . . . â ñðåäíåå çíà÷åíèå
P ôóíêöèè Ìàíãîëüäòà ðàâåí o(1), òî
íàéäåòñÿ êëàññ âû÷åòîâ a äëÿ êîòîðîãî 1/N · x∈ZN ,x≡a (mod q) Λ(x) ≥ 1/ϕ(q)+o(1). Òàê êàê
P
ϕ(q)/q < 1/c(k) è 1/N · x∈ZN ,x≡a (mod q) ν(x) = 1/q + o(1), òî íåðàâåíñòâî ν(x) ≥ c(k)Λ(x)
íå ìîæåò áûòü âåðíûì äëÿ âñåõ x.
Èòàê, ìû âèäèì, ÷òî "íåðàâíîìåðíîñòè" â ðàñïðåäåëåíèè ïðîñòûõ ÷èñåë íå ïîçâîëÿ-
þò íàéòè ïñåâäîñëó÷àéíóþ ìåðó ñ òðåáóåìûìè ñâîéñòâàìè. ×òîáû èçáåæàòü îïèñàííûå
âûøå òðóäíîñòè, Ãðèí è Òàî ïðåäëîæèëè ïîäõîä, êîòîðûé îíè íàçâàëè W ïðèåì.
Ïóñòü w(N ) íåêîòîðàÿ ôóíêöèÿ, ìåäëåííî âîçðàñòàþùàÿ
Q ê áåñêîíå÷íîñòè (ïîðÿäîê
ðîñòà w(N ) áóäåò âûáðàí ïîòîì) è ïóñòü W = p∈[w(N )] p ïðîèçâåäåíèå ïðîñòûõ èç
îòðåçêà [w(N )]. Îïðåäåëèì èçìåíåííóþ ôóíêöèþ Ìàíãîëüäòà Λ̃ : Z+ → R+ ïî ôîðìóëå
½ ϕ(W )
log(W x + 1), åñëè W x + 1 ïðîñòîå ÷èñëî
Λ̃(x) = W
0, èíà÷å.
Åñëè w(N ) ¿ Plog log N , òî ïðèìåíÿÿ òåîðåìó Äèðèõëå îá àðèôìåòè÷åñêèõ ïðîãðåññè-
ÿõ, ïîëó÷àåì x∈ZN Λ̃(x) = N (1 + o(1). Òàêèì îáðàçîì, äëÿ Λ̃(x), òàê æå êàê è äëÿ
Λ(x) íåðàâåíñòâî (118) âûïîëíåíî. Áóäåì ñ÷èòàòü â äàëüíåéøåì, ÷òî w(N ) ¿ log log N .
Ãëàâíîå îòëè÷èå Λ̃(x) îò ôóíêöèè Ìàíãîëüäòà ñîñòîèò â òîì, ÷òî äëÿ Λ̃(x) ñóùåñòâóåò
k ïñåâäîñëó÷àéíàÿ ìåðà ν(x) òàêàÿ, ÷òî ν(x) ≥ c(k)Λ(x), c(k) > 0. Ãîâîðÿ áîëåå ñòðîãî,
ñïðàâåäëèâî ïðåäëîæåíèå.
Ïðåäëîæåíèå 13. Ïóñòü εk = 1/2k (k + 4)! è N äîñòàòî÷íî áîëüøîå ïðîñòîå
÷èñëî. Òîãäà ñóùåñòâóåò k ïñåâäîñëó÷àéíàÿ ìåðà ν : ZN → R+ òàêàÿ, ÷òî äëÿ âñåõ
x ∈ [εk N, 2εk N ] âûïîëíåíî ν(x) ≥ k −1 2−k−5 Λ̃(x).
Âûâåäåì èç ïðåäëîæåíèÿ 13 òåîðåìó 41. Ïóñòü f : ZN → R+ ôóíêöèÿ òàêàÿ, ÷òî
f (x) = k −1 2−k−5 Λ̃(x) äëÿ âñåõ x ∈ [εk N, 2εk N ] è f (x) = 0 èíà÷å. Ïðèìåíÿÿ òåîðåìó
Äèðèõëå îá àðèôìåòè÷åñêèõ ïðîãðåññèÿõ, íàõîäèì
1 X k −1 2−k−5 X
f (x) = Λ̃(x) = k −1 2−k−5 εk (1 + o(1) . (120)
N x∈Z N
N x∈[εk N,2εk N ]
51
òî âñå ÷èñëà x, x + r, . . . , x + (k − 1)r ïðèíàäëåæàò [N ]. Çíà÷èò, ñóììèðîâàíèå â (121)
ïðîõîäèò ïî ÷èñëàì x, r ∈ [N ], r 6= 0 òàê, ÷òî x + r, . . . , x + (k − 1)r ïðèíàäëåæàò [N ]
è, ñëåäîâàòåëüíî, â ìíîæåñòâå ïðîñòûõ ÷èñåë íàéäåòñÿ íåòðèâèàëüíàÿ àðèôìåòè÷åñêàÿ
ïðîãðåññèÿ äëèíû k . Òåîðåìà 41 äîêàçàíà.
52
Ïðåäëîæåíèå 15. Ïóñòü m ≥ 1 öåëîå ÷èñëî è I èíòåðâàë äëèíû íå ìåíüøå,
÷åì R10m . Ïóñòü òàêæå h1 , . . . , hm ðàçëè÷íûå öåëûå, |hi | ≤ N 2 , i ∈ [m] è
Y
∆ := |hi − hj | .
1≤i<j≤m
Ïóñòü
1
aU (N ) = max{|A| : A ⊆ [N ] , A ∈ U} .
N
 òåðìèíàõ ôóíêöèè aU (N ) ðåçóëüòàò Ðîòà ìîæåò áûòü ïåðåôîðìóëèðîâàí ñëåäóþùèì
îáðàçîì. Åñëè U åñòü 1 × 3 ìàòðèöà (1, −2, 1), òî aU (N ) ¿ 1/ log log N . Âîçíèêàåò âîïðîñ :
ïðè êàêèõ îãðàíè÷åíèÿõ íà ìàòðèöó U ìîæíî óòâåðæäàòü, ÷òî aU (N ) → 0, ïðè N → ∞?
Ñôîðìóëèðóåì îñíîâíîé ðåçóëüòàò ðàáîòû [15].
Òåîðåìà 44. (Ðîò) Ïóñòü ìàòðèöà
P U óäîâëåòâîðÿåò äâóì óñëîâèÿì.
• Äëÿ âñåõ i = 1, . . . , m âûïîëíåíî nj=1 uij = 0.
• Ñóùåñòâóåò m ëèíåéíîíåçàâèñèìûõ ñòîëáöîâ ìàòðèöû U îáëàäàþùèõ ñëåäóþ-
ùèì ñâîéñòâîì. Åñëè óäàëèòü ëþáîé èç ýòèõ ñòîëáöîâ, òî îñòàâøèåñÿ n − 1 ñòîëá-
öîâ ìàòðèöû U ìîæíî ðàçáèòü íà äâà ìíîæåñòâà êàæäîå èç êîòîðûõ ñîäåðæèò m
ëèíåéíîíåçàâèñèìûõ ñòîëáöîâ.
Òîãäà
1
aU (N ) ¿ .
(log log N )1/l2
Çàìåòèì, ÷òî ïåðâîå óñëîâèå òåîðåìû 44 íåîáõîäèìî äëÿ òîãî, ÷òîáû aU (N ) → 0,
ïðè N → ∞. Äåéñòâèòåëüíî, åñëè äëÿ íåêîòîðîãî q ∈ [n] è íåêîòîðîãî D ∈ Z, D 6= 0
âûïîëíåíî n
X
uqj = D ,
j=1
53
òî âñå xj ðàâíûå 1 ïî ìîäóëþ |D| + 1 íå óäîâëåòâîðÿþò q ìó óðàâíåíèþ ñèñòåìû (125).
Ñëåäîâàòåëüíî, aU (N ) ≥ 1/(|D| + 1) > 0.
Íàïðîòèâ, âòîðîå óñëîâèå òåîðåìû 44 íå ÿâëÿåòñÿ íåîáõîäèìûì. Ðàññìîòðèì ìàòðèöó
U ðàçìåðà 2 × 4 µ ¶
1 −2 1 0
U= .
0 1 −2 1
Òîãäà ìàòðèöà U íå óäîâëåòâîðÿåò âòîðîìó óñëîâèå òåîðåìû 44, ïîñêîëüêó èç ýòîãî
óñëîâèÿ âûòåêàåò, ÷òî n ≥ 2m + 1. C äðóãîé ñòîðîíû aU (N ) = a4 (N ) è ïî òåîðåìå
Ñåìåðåäè a4 (N ) → 0, ïðè N → ∞. Ìû îïèøåì âñå ìàòðèöû U äëÿ êîòîðûõ âûïîëíåíî
limN →∞ aU (N ) = 0 íåñêîëüêî ïîçäíåå. À ñåé÷àñ ñôîðìóëèðóåì èíòåðåñíûé ðåçóëüòàò Ð.
Ðàäî (ñì. [22, 23, 24]).
óäîâëåòâîðÿþò óñëîâèÿì
(1) A1 ÿâëÿåòñÿ íóëåâûì ñòîëáöîì.
(2) Äëÿ i = 1, . . . , t ñòîëáåö Ai åñòü ëèíåéíàÿ êîìáèíàöèÿ C1 , . . . , Cki−1 ñ ðàöèîíàëü-
íûìè êîåôôèöèåíòàìè.
Ìàòðèöû, äëÿ êîòîðûõ âûïîëíåíû óñëîâèÿ (1) è (2) òåîðåìû 45 áóäåì íàçûâàòü ðå-
ãóëÿðíûìè.
 ñëó÷àå, êîãäà m = 1 òåîðåìà Ðàäî çàïèñûâàåòñÿ íàèáîëåå ïðîñòî.
54
Ìû íå áóäåì çäåñü ïîëíîñòüþ äîêàçûâàòü òåîðåìó 46, íè, òåì áîëåå, òåîðåìó 45.
Òåì íå ìåíåå ñïðàâåäëèâîñòü íåîáõîäèìîãî óñëîâèÿ òåîðåìû 46 óñòàíîâèòü äîñòàòî÷íî
ïðîñòî. P
Èòàê, ïóñòü äëÿ ëþáîãî íåïóñòîãî ìíîæåñòâà I ⊆ [n] ñóììà i∈I ci íå ðàâíà íóëþ.
Íàéäåì ðàñêðàñêó N â êîíå÷íîå ÷èñëî öâåòîâ, äëÿ êîòîðîé íå ñóùåñòâóåò ìîíîõðîìà-
òè÷åñêîãî ðåøåíèÿ óðàâíåíèÿ (126). Ïóñòü p ïðîñòîå ÷èñëî, êîòîðîå áóäåò âûáðàíî
ïîçæå. Ìû ðàñêðàñèì â p − 1 öâåòîâ ìíîæåñòâî Q∗ = Q \ {0}. ßñíî, ÷òî ýòî äàñò íàì
ðàñêðàñêó è ìíîæåñòâà N.
Ëþáîå q ∈ Q∗ ìîæåò áûòü çàïèñàíî åäèíñòâåííûì îáðàçîì â âèäå
pj a
q= , j ∈ Z, a ∈ Z, b ∈ N, p - a, p - b, (a, b) = 1 . (127)
b
Åñëè q ïðåäñòàâëåíî â âèäå (127), òî ðàñêðàñèì q â öâåò Sp (q), ãäå
Sp (q) = ab−1 (mod p) ∈ Z∗p . Ðàñêðàñêà Sp ìíîæåñòâà Q∗ â (p − 1) öâåò îáëàäàåò ñâîéñòâîì
åñëè Sp (x) = Sp (y), òî äëÿ âñåõ α ∈ Q∗ âûïîëíåíî Sp (αx) = Sp (αy).
P Òàê êàê ÷èñëî ïîäìíîæåñòâ I ⊆ [n] êîíå÷íî è P äëÿ âñÿêîãî íåïóñòîãî I ⊆ [n] âûïîëíåíî
c
i∈I i =
6 0 , òî íàéäåòñÿ ïðîñòîå p äëÿ êîòîðîãî i∈I ci 6= 0 (mod p) äëÿ âñåõ ∅ 6= I ⊆ [n].
Ïðåäïîëîæèì, ÷òî x1 , . . . , xn ∈ N ìîíîõðîìàòè÷åñêîå ðåøåíèå (126) äëÿ ðàñêðàñêè
Sp . Òàê êàê äëÿ ëþáîãî µ ∈ Q∗ íàáîð µx1 , . . . , µxn òàêæå áóäåò ìîíîõðîìàòè÷åñêèì, òî
ìîæíî ñ÷èòàòü, áåç îãðàíè÷åíèÿ îáùíîñòè, ÷òî íàèáîëüøèå îáùèé äåëèòåëü x1 , . . . , xn
ðàâåí åäèíèöå. Ïåðåíóìåðîâàâ, åñëè ýòî íåîáõîäèìî, ÷èñëà x1 , . . . , xn íàéäåì 1 ≤ s ≤ n
òàêîå, ÷òî p íå äåëèò x1 , . . . , xs è p äåëèò xs+1 , . . . , xn . Èìååì
n
X k
X
σ= c j xj ≡ cj xj ≡ 0 (mod p) .
j=1 j=1
55
Pn
(1) j=1 uij = 0 , i = 1, . . . , m.
(2) Äëÿ ëþáîãî ìíîæåñòâà E ⊆ N, D∗ (E) > 0 ñèñòåìà óðàâíåíèé U x = 0 èìååò ðå-
øåíèå x = (x1 , . . . , xn ), âñå ýëåìåíòû xi êîòîðîãî ïðèíàäëåæàò E è ïîïàðíî ðàçëè÷íû.
Pn
Èç ðàâåíñòâà (128) ñëåäóåò, ÷òî P j=1 uij = 0 äëÿ âñåõ iP= 1, . . . , m. Äåéñòâèòåëüíî, åñëè
n n
äëÿ íåêîòîðîãî
Pn i ∈ [m] âûïîëíåíî u y
j=1 ij j = 0
Pn, òî è j=1 uij = 0. Åñëè æå äëÿ ýòîãî i
èìååì j=1 uij yj 6= 0, òî èççà âûáîðà N ñíîâà j=1 uij = 0.
 ðàáîòàõ [61, 62] Å. Êðóò óçó÷àë âîïðîñ î ñòðóêòóðå êðèòè÷åñêèõ ìíîæåñòâ â Zp áåç
àðèôìåòè÷åñêèõ ïðîãðåññèé äëèíû òðè. Ïóñòü ρ > 0 âåùåñòâåííîå ÷èñëî. Ìíîæåñòâî
56
C ⊆ Zp ìîùíîñòè íå ìåíüøå, ÷åì ρp íàçûâàåòñÿ ρêðèòè÷åñêèì, åñëè C ñîäåðæèò íàè-
ìåíüøåå ÷èñëî àðèôìåòè÷åñêèõ ïðîãðåññèé äëèíû òðè ñðåäè âñåõ ìíîæåñòâ, èìåþùèõ
ìîùíîñòü íå ìåíüøå, ÷åì ρp.  [61] Êðóò äîêàçàë, ÷òî êðèòè÷åñêèå ìíîæåñòâà èìåþò
ñèëüíóþ àääèòèâíóþ ñòðóêòóðó. Åãî òåîðåìà îïèðàåòñÿ íà èçâåñòíóþ ãèïîòåçó î ïðîñòûõ
÷èñëàõ.
Ãèïîòåçà 4. Äëÿ âñåõ θ > 0 è äëÿ âñåõ äîñòàòî÷íî áîëüøèõ x îòðåçîê [x, x + xθ ]
ñîäåðæèò ïðîñòîå ÷èñëî.
 íàñòîÿùèé ìîìåíò ãèïîòåçà 4 äîêàçàíà äëÿ âñåõ θ > 0, 525 (ñì. [63]).
Òåîðåìà 48. (Êðóò) Ïóñòü ρ0 ∈ (0, 1). Ñóùåñòâóþò ÷èñëà ρ ∈ (0, ρ0 ) è d ∈ (0, 1), à
òàêæå áåñêîíå÷íî ìíîãî ïðîñòûõ p òàêèå, ÷òî äëÿ âñÿêîãî ρêðèòè÷åñêîãî ìíîæåñòâà
C ⊆ Zp ñóùåñòâóåò b, 1 ≤ b ≤ p − 1 äëÿ êîòîðûõ âûïîëíåíî
µ ¶
K
|C ∩ (C + bj)| ≥ |C| 1 − , j = 0, 1, . . . , pd ,
| log ρ|
ãäå K > 0 àáñîëþòíàÿ êîíñòàíòà.
Ðåçóëüòàò Êðóòà ìîæíî ïåðåôîðìóëèðîâàòü ñëóäóþùèì îáðàçîì. Åñëè C ρ
êðèòè÷åñêîå ìíîæåñòâî, òî C ≈ A + B , ãäå B = {0, b, 2b, . . . , [pd ]b}. Çäåñü çíàê ≈ îçíà÷àåò,
÷òî ìîùíîñòü ñèììåòðè÷åñêîé ðàçíîñòè S∆(A + B) íå ïðåâîñõîäèò O(|C| log−1 (1/ρ)).
Ñëåäîâàòåëüíî, ÷åì ìåíüøå ρ, òåì áëèæå ñòàíîâèòñÿ C ê ñóììå A + B . Çàìåòèì, ÷òî
ìíîæåñòâî, ïîñòðîåííîå â òåîðåìå 20 èç ïàðàãðàôà 4, êàê ðàç èìååò âèä A + B , ãäå B
íåêîòîðàÿ àðèôìåòè÷åñêàÿ ïðîãðåññèÿ.
 ñòàòüå [62] Êðóò ïîëó÷èë áåçóñëîâíûé ðåçóëüòàò î ñòðóêòóðå êðèòè÷åñêèõ ìíî-
æåñòâ.
Òåîðåìà 49. (Êðóò) Ïóñòü ρ ∈ (0, 1) è p äîñòàòî÷íî áîëüøîå íàòóðàëüíîå ÷èñ-
ëî. Òîãäà âñÿêîå ρêðèòè÷åñêîå ìíîæåñòâî C ⊆ Zp ñîäåðæèò àðèôìåòè÷åñêóþ ïðî-
ãðåññèþ äëèíû íå ìåíüøå, ÷åì log1/4+o(1) p.
Òåïåðü ðàññìîòðèì çàäà÷è îá àðèôìåòè÷åñêèõ ïðîãðåññèÿõ â ñóììàõ, òî åñòü â ìíî-
æåñòâàõ âèäà A1 + A2 + · · · + Ak . Îêàçûâàåòñÿ, òàêèå ìíîæåñòâà ñîäåðæàò íà óäèâëåíèå
äëèííûå àðèôìåòè÷åñêèå ïðîãðåññèè.  ïîñëåäíåå âðåìÿ ïîÿâèëîñü ìíîãî ðàáîò ïî ýòîé
òåìàòèêå ñì., íàïðèìåð, [64] [76]. Ìû íå ìîæåì äàæå óïîìÿíóòü âñå èìåþùèåñÿ çäåñü
ðåçóëüòàòû, à êàñíåìñÿ ëèøü íåêîòîðûõ èç íèõ.  ðàáîòå [64] Æ. Áóðãåí ïîëó÷èë ñëå-
äóþùèé ðåçóëüòàò.
Òåîðåìà 50. (Áóðãåí) Ïóñòü A, B ⊆ [N ] íåêîòîðûå ìíîæåñòâà, ïðè÷åì |A| =
γN , |B| = δN . Òîãäà ñóùåñòâóåò àáñîëþòíàÿ êîíñòàíòà c > 0 òàêàÿ, ÷òî ìíîæåñòâî
A+B ñîäåðæèò àðèôìåòè÷åñêóþ ïðîãðåññèþ äëèíû íå ìåíüøå, ÷åì exp(c((γδ log N )1/3 −
log log N ).
Ñ äðóãîé ñòîðîíû, È. Ðóæà íàøåë íèæíþþ îöåíêó äëÿ äëèíû ìàêñèìàëüíîé àðèô-
ìåòè÷åñêîé ïðîãðåññèè â ìíîæåñòâå A + A (ñì. [65]).
Òåîðåìà 51. (Ðóæà) Ïóñòü ε > 0 ïðîèçâîëüíîå ÷èñëî. Òîãäà íàéäåòñÿ ÷èñëî
p0 (ε) òàêîå, ÷òî äëÿ âñåõ ïðîñòûõ p, p > p0 (ε) ñóùåñòâóåò ñèììåòðè÷íîå (òî åñòü A =
−A) ìíîæåñòâî A ⊆ Zp , |A| > (1/2−ε)p òàêîå, ÷òî A+A íå ñîäåðæèò àðèôìåòè÷åñêèõ
ïðîãðåññèé, äëèíû êîòîðûõ áîëüøå, ÷åì exp(log p)2/3+ε .
57
Òàê êàê äëÿ ëþáîãî ìíîæåñòâà A ⊆ Zp , |A| ≥ p/2 âûïîëíåíî A + A = Zp , òî êîíñòàí-
òà 1/2 â òåîðåìå 51 ÿâëÿåòñÿ íåóëó÷øàåìîé. Ñðàâíèì òåîðåìû 50 è 51. Ïðåäïîëîæèì,
÷òî ïàðàìåòðû γ è δ â òåîðåìå 50 íå çàâèñÿò îò N . Òîãäà, ïî ýòîé òåîðåìå, äëÿ ëþáî-
ãî A ìíîæåñòâî A + A ñîäåðæèò àðèôìåòè÷åñêóþ ïðîãðåññèþ äëèíû íå ìåíüøå, ÷åì
exp(c(log N )1/3 ), ãäå c íåêîòîðàÿ êîíñòàíòà. Ñ äðóãîé ñòîðîíû, ïî òåîðåìå 51 íàéäåòñÿ
A òàêîå, ÷òî A + A íå ñîäåðæèò ïðîãðåññèé äëèíû áîëüøå, ÷åì exp(c(log N )2/3 ). Êàê ìû
âèäèì, îöåíêè â òåîðåìàõ Áóðãåéíà è Ðóæè äîñòàòî÷íî áëèçêè.
 ðàáîòå [67] Ã.À. Ôðåéìàí, Õ. Õàëüáåðñòàì è È. Ðóæà ðàññìîòðåëè âîïðîñ îá àðèô-
ìåòè÷åñêèõ ïðîãðåññèÿõ â ìíîæåñòâàõ âèäà A + A + A è äîêàçàëè ñëåäóþùèé ðåçóëüòàò
(ñì. òàêæå [68]).
Òåîðåìà 52. (Ôðåéìàí, Õàëüáåðñòàì, Ðóæà) Ïóñòü N íàòóðàëüíîå ÷èñëî,
δ > 0 è A ⊆ ZN ïðîèçâîëüíîå ìíîæåñòâî ìîùíîñòè δN . Òîãäà ìíîæåñòâî A + A + A
3
ñîäåðæèò àðèôìåòè÷åñêóþ ïðîãðåññèþ äëèíû íå ìåíüøå, ÷åì cδN Cδ , ãäå c, C > 0
àáñîëþòíûå êîíñòàíòû.
 òîé æå ñòàòüå òðè íàçâàííûõ àâòîðà äîêàçàëè òåîðåìó, àíàëîãè÷íóþ òåîðåìå 51, à
èìåííî, îíè ïîñòðîèëè ìíîæåñòâî A ⊆ ZN òàêîå, ÷òî A + A + A íå ñîäåðæèò àðèôìåòè-
÷åñêèõ ïðîãðåññèé, äëèíû êîòîðûõ áîëüøå, ÷åì 2N log(1/δ) .
 ðàáîòå [66] Ãðèí óëó÷øèë îáå òåîðåìû 50 è 52.
Òåîðåìà 53. (Ãðèí) Ïóñòü A, B ⊆ [N ] íåêîòîðûå ìíîæåñòâà, ïðè÷åì |A| = γN ,
|B| = δN . Òîãäà ñóùåñòâóåò àáñîëþòíàÿ êîíñòàíòà c > 0 òàêàÿ, ÷òî ìíîæåñòâî
A+B ñîäåðæèò àðèôìåòè÷åñêóþ ïðîãðåññèþ äëèíû íå ìåíüøå, ÷åì exp(c((γδ log N )1/2 −
log log N ).
Òåîðåìà 54. (Ãðèí) Ïóñòü N íàòóðàëüíîå ÷èñëî, δ > 0 è A ⊆ ZN ïðîèçâîëü-
íîå ìíîæåñòâî ìîùíîñòè δN . Òîãäà ìíîæåñòâî A+A+A ñîäåðæèò àðèôìåòè÷åñêóþ
2
ïðîãðåññèþ äëèíû íå ìåíüøå, ÷åì 2−24 δ 5 (log(1/δ))−2 N δ /(250 log(1/δ)) .
 ïîñëåäíåé ÷àñòè ýòîãî ïàðàãðàôà ìû ðàññìîòðèì âîïðîñû, ñâÿçàííûå ñ àðèôìåòè-
÷åñêèìè ïðîãðåññèÿìè â ðàäóãàõ.
Ïóñòü c : N → {R, G, B} ïðîèçâîëüíàÿ ðàñêðàñêà ìíîæåñòâà íàòóðàëüíûõ ÷èñåë â
öâåòà R, G è B . Èç òåîðåìû Âàí äåð Âàðäåíà âûòåêàåò, ÷òî äëÿ ëþáîé òàêîé ðàñêðàñêè
N ñóùåñòâóåò ìîíîõðîìàòè÷åñêàÿ àðèôìåòè÷åñêàÿ ïðîãðåññèÿ äëèíû òðè. Âîçíèêàåò âî-
ïðîñ, ìîæíî ëè óòâåðæäàòü, ÷òî äëÿ ïðîèçâîëüíîé ðàñêðàñêè c âñåãäà íàéäåòñÿ àðèôìå-
òè÷åñêàÿ ïðîãðåññèÿ âñå ýëåìåíòû êîòîðîé ðàñêðàøåíû â ðàçíûå öâåòà? Bîïðîñû òàêîãî
ðîäà íàçûâàþòñÿ àíòèðàìñååâñêèìè (ñì. ïåðâóþ ðàáîòó ïî ýòîé òåìàòèêå [80], à òàêæå
[81]). Êàê ìû óâèäèì ÷óòü ïîçæå, âîîáùå ãîâîðÿ, îòâåò íà ïîñòàâëåííûé âûøå âîïðîñ
îòðèöàòåëüíûé. Òåì íå ìåíåå, â ðàáîòå [77] áûë ïîëó÷åí ñëåäóþùèé ðåçóëüòàò (ñì. òàêæå
[78, 79]).
Àðèôìåòè÷åñêàÿ ïðîãðåññèÿ ñîñòàâëåííàÿ èç ÷èñåë a1 , a2 , a3 íàçûâàåòñÿ ðàäóãîé, åñëè
c(ai ) 6= c(aj ) äëÿ âñåõ i 6= j . Îïðåäåëèì ìíîæåñòâà Rc (n) := [n] ∩ {i : c(i) = R} è,
àíàëîãè÷íî, Gc (n), Bc (n).
Òåîðåìà 55. ([77]) Ïóñòü c ïðîèçâîëüíàÿ ðàñêðàñêà N. Ïóñòü òàêæå
lim sup (min{ |Rc (n)|, |Gc (n)|, |Bc (n)| } − n/6) = +∞ . (129)
n→∞
58
Âìåñòî ðàñêðàñêè íàòóðàëüíîãî ðÿäà ìîæíî ðàññìàòðèñàòü ðàñêðàñêó ìíîæåñòâà âû-
÷åòîâ Zn . Ðàäóãîé â Zn íàçûâàþòñÿ âû÷åòû a1 , a2 , a3 , ðàñêðàøåííûå â òðè ðàçíûõ öâåòà,
òàêèå, ÷òî a1 + a2 ≡ 2a3 (mod n). Èç òåîðåìû 55 âûòåêàåò ñëåäñòâèå.
lim sup (min{ |Rc (n)|, |Gc (n)|, |Bc (n)| } − n/6) = +∞ .
n→∞
11 Çàêëþ÷åíèå.
Ìû çàêàí÷èâàåì íàñòîÿùèé îáçîð ôîðìóëèðîâêîé íåñêîëüêèõ íåðåøåííûõ ïðîáëåì, ñâÿ-
çàííûõ ñ òåîðåìîé Ñåìåðåäè è çàäà÷àìè îá àðèôìåòè÷åñêèõ ïðîãðåññèÿõ. ×àñòü èç ýòèõ
ïðîáëåì óæå áûëà ñôîðìóëèðîâàíà â ïðåäûäóùèõ ïàðàãðàôàõ.
Íàèáîëåå ñëîæíîé íåðåøåííîé çàäà÷åé îñòàåòñÿ ãèïîòåçà ÝðäåøàÒóðàíà 2. Êàê áû-
ëî ïîêàçàíî â ïàðàãðàôå 5 ýòà ãèïîòåçà òåñíî ñâÿçàíà ñ ïðîáëåìîé èçó÷åíèÿ ïîâåäåíèÿ
ôóíêöèè ak (N ). Çàìåòèì, ÷òî äàæå â ïðîñòåéøåì ñëó÷àå k = 3 òî÷íûé ïîðÿäîê ðîñòà
a3 (N ) äî ñèõ ïîð îñòàåòñÿ íåèçâåñòíûì. Íåäàâíî Ãðèí è Òàî àííîíñèðîâàëè ðåçóëüòàò î
âåðõíåé îöåíêå âåëè÷èíû ak (N ), k ≥ 4 âèäà ak (N ) ¿ 1/(log N )Ck , Ck > 0 àáñîëþòíàÿ
êîíñòàíòà è äîêàçàëè àíàëîãè÷íûé ðåçóëüòàò äëÿ ôóíêöèè a4 (N ) â ãðóïïàõ Znp , ãäå p
ïðîñòîå, p 6= 2, 3 (ñì. [121]).
Äðóãàÿ âîçíèêàþùàÿ çàäà÷à ñîñòîèò â ïîëó÷åíèè êîëè÷åñòâåííîãî âàðèàíòà òåîðåìû
ÁåðãåëüñîíàËåéáìàíà 8. Ýòà òåîðåìà ìîæåò áûòü ïåðåôîðìóëèðîâàíà íà ÿçûêå òåîðèè
÷èñåë ñëåäóþùèì îáðàçîì.
59
Òåîðåìà 56. (Áåðãåëüñîí, Ëåéáìàí) Ïóñòü δ > 0 äåéñòâèòåëüíîå ÷èñëî.
Ïóñòü òàêæå p1 , p2 , . . . , pk ìíîãî÷ëåíû òàêèå, ÷òî pi (N) ⊆ N è pi (0) = 0, i = 1, . . . , k .
Òîãäà ñóùåñòâóåò íàòóðàëüíîå N (δ, p1 , . . . , pk ) òàêîå, ÷òî äëÿ ëþáîãî ìíîæåñòâà A ⊆
[N ], |A| ≥ δN íàéäóòñÿ íàòóðàëüíûå ÷èñëà a, d òàêèå, ÷òî âñå ÷èñëà a+pi (d), i = 1, . . . , k
ïðèíàäëåæàò ìíîæåñòâó A.
60
Ñïèñîê ëèòåðàòóðû
[1] Van der Waerden B. L. Beweis einer Baudetschen Vermutung // Nieuw Arch. Wisk., 15,
1927, 212216.
[2] Õèí÷èí À. ß. Òðè æåì÷óæèíû òåîðèè ÷èñåë / Ì.: Åäèòîðèàë ÓÐÑÑ, 2004.
[4] Graham R. L., Rothschild B. L., Spencer J. Ramsey Theory / Wiley Interscience, Series
in Discrete Mathematics, 1980.
[5] Shelah S. Primitive Recursive Bounds for van der Waerden Numbers // J. Amer. Math.
Soc., v. 1, 1988, 683697.
[6] Erd
os P., Tur
an P. On some sequences of integers // J. Lond. Math. Soc., 11, 1936,
261264.
[12] Kohayakawa Y. Szemeredi's regularity lemma for sparse graphs // Foundations of Com-
putational Mathematics, Selected papers, IMPA conference, January 1997, Rio de Janeiro,
Springer, 1997.
[13] Kolm os J., Simonovits M. Paul Erdos is 80 (ïîä ðåäàêöèåé D. Miklos, V.T. Sos, T.
Szonyi) / v. 2, Proc. Colloq. Math. Soc. Janos Bolyai, 1996.
[14] Roth K. F. On certain sets of integers (I) // J. London Math. Soc., 28, 1953, 245252.
[15] Roth K. F. On certain sets of integers (II) // J. London Math. Soc., 29, 1953, 2026.
[17] Bourgain J. A Szemeredi type theorem for sets of positive density in Rk // Israel Journal
of Mathematics, v. 54, N. 3, 1986, 307316.
[18] Szemeredi E., Ruzsa I. Triple systems with no six points carrying three triangles //
Combinatorics (Keszthly, 1976), v. II, N. 11, 1978, 939945. NorthHolland, Amsterdam
New York.
61
[19] Graham R. L., R
odl V. Numbers in Ramsey theory // Surveys in Combinatorics, London
Math. Soc. Lecture Note, Series, 123, 1987, 111155.
[22] Rado R. Verallgemeinerung eines Satzes von van der Waerden mit Anwendungen auf ein
problem der Zalentheorie, Sonderausgabe aus den Sitzungsbericten der Preuss // Akad.
der Wiss. Phys.Math. klasse, 17, 1933, 110.
[23] Rado R. Studien zur Kombinatorik // Math. Z., 36, 1933, 424480.
[24] Rado R. Some recent results in combinatorial analysis / Congres International des Math-
ematiciens, Oslo, 1936.
[25] Deuber W. Partitionen und lineare Gleichungssysleme // Math. Z., 133, 1973, 109123.
[26] Deuber W. Partitions theorems for Abelian groups // J. Comb. Theory, Series A, 19,
1975, 95108.
[27] Schur I. Uber die Kongruenz xm + y m ≡ z m (mod p) // Jber. Deutsch. Math. Verein.,
25, 1916, 114117.
[30] Lefmann H. On partition regular systems of equations // J. Combin. Theory, Ser. A, 58,
1991, 3553.
[32] Choi S. L. On arithmetic progressions in sequences // J. London Math. Soc. (2), 10, 1975,
427430.
[34] Furstenberg H. Recurrence in ergodic theory and combinatorial number theory / Prince-
ton (N.J.), 1981.
[35] Furstenberg H., Katznelson Y., An ergodic Szemeredi theorem for commuting transforma-
tions // J. d'Analyse Math., v. 34, 275291, 1978.
[36] Furstenberg H., Katznelson Y. and Ornstein D. The Ergodic Theoretical Proof of Sze-
meredi's Theorem // Bull. Amer. Math. Soc., v. 7, N.3, 527552, 1982.
62
[37] Tao T. A quantitative ergodic theory proof of Szemeredi's theorem // http:// www.arXiv
: math.CO/0405251, 2004.
[38] Bergelson V., Leibman A. Polynomial extentions of van der Waerden's and Szemeredi's
theorems // J. Amer. Math. Soc., v.9, N.3, 1996, 725753.
[39] Bergelson V., Leibman A. Setpolynomials and polynomial extension of the HalesJewett
theorem // Ann. of Math. (2), v.150, N.1, 1999, 3375.
[40] Furstenberg H., Katznelson Y. A density version of the HalesJewett theorem // J. Anal-
yse Math., 57, 1991, 64119.
[41] Hales A. W., Jewett A. I. Regularity and positional games // Trans. Amer. Math. Soc.,
106, 1963, 222229.
[42] Leibman A. Multiple recurrence theorem for measure preserving actions of a nilpotent
group // Geom. func. anal., v.8, 1998, 853931.
[43] McCutcheon R. Elemental methods in ergodic Ramsey theory / Springer, Lect. Notes
Math., v. 1722, 1999.
[44] Host B., Kra B. Nonconventional ergodic averages and nilmanifolds // Ann. Math., ïðåä-
ñòàâëåíî â ïå÷àòü.
[45] Gowers W. T. A new proof of Szemeredi's theorem for arithmetic progressions of length
four // Geom. func. anal., v.8, 1998, 529551.
[46] Gowers W. T. A new proof of Szemeredi's theorem // Geom. func. anal., v.11, 2001,
465588.
[47] Gowers W. T. Lower bounds of tower type for Szemeredi's uniformity lemma // Geom.
func. anal., v.7, N.2, 1997, 116.
[51] Ajtai M., Szemeredi E. Sets of lattice points that form no squares // Stud. Sci. Math.
Hungar., 9, 1974, 911.
[52] Behrend F. A. On sets of integers which contain no three terms in arithmetic progression
// Proc. Nat. Acad. Sci., 23, 1946, 331332.
[53] Salem R., Spencer D. C. On sets of integers which contain no three terms in arithmetical
progression // Proc. Nat. Acad. Sci. Wash., 28, 1942, 561 563.
[54] Salem R., Spencer D. C. On sets which do not contain a given number of terms in arith-
metical progression // Nieuw Arch. Wisk., 23, 1950, 561 563.
63
[55] Rankin R. A. Sets of Integers Containing not more than a Given Number of Terms in
Arithmetic Progression // Proc. Roy. Soc. Edinburgh, 65, N.4, Sec. A, 1961, 332344.
[57] Moser L. On nonaveraging sets of integers // Canad. Math. J., 5, 1953, 245252.
[58] Laba I., Lacey M. On Sets of Integers Not Containing Long Arithmetic Progressions //
http:// www.arXiv:math.CO/0108155, 2001.
[59] Alon N., Spencer J. The Probabilistic Method / New York: Wiley, 1992.
[60] Varnavides P. On certain sets of positive density // J. London Math. Soc. 34, 1959,
358360.
[61] Croot E. A Structure Theorem for Positive Density Sets Having the Minimal Number of
3Term Arithmetic Progressions // ïðåäñòàâëåíî â ïå÷àòü.
[63] Baker R. C., Harman G., Pintz J. The Dierence Between Consecutive Primes, II // Proc.
London Math. Soc., 83, 2001, 532562.
[65] Ruzsa I. Arithmetic progressions in sumsets // Acta Arith., v. 60, N. 2, 1991, 191202.
[66] Green B. Arithmetic Progressions in Sumsets // Geom. Funct. Anal., v. 12, N. 3, 2002,
584597.
[67] Freiman G. A., Halberstam H., Ruzsa I. Integer Sumsets Containing Long Arithmetic Pro-
gressions // J. London Math. Soc. (2), 46, 1992, 193201.
[68] Ruzsa I. Arithmetical progressions and the number of sums // Period. Math. Hungar.
(1), 25, 1992, 105111.
[69] S
arc
ozy A. Finite Addition Theorems. I // J. Number Theory, 32, 1989, 114130.
[70] S
arc
ozy A. Finite Addition Theorems. II // J. Number Theory, 48, 1994, 197218.
[71] S
arc
ozy A. Finite Addition Theorems. III // Groupe de Travail en Theorie Analytique
ementarie des Nombers, 19891990, 105122, Publ. Math. Orsay, 9201, Univ. Paris
et El
XI, Orasay, 1992.
[72] Lev V. F. Optimal Representations by Sumsets and Subset Sums // J. Number Theory,
62, 1997, 127143.
[73] Lev V. F. Blocks and Progressions in Subset Sums Sets // Acta Arith., 106, 2003, 123
142.
64
[74] Szemeredi E., Vu V. Long Arithmetic Progressions in SumSets and the Number of x
sumfree Sets // ïðåäñòàâëåíî â ïå÷àòü.
[75] Szemeredi E., Vu V. Finite and Innite Arithmetic Progressions in Sumsets // ïðåäñòàâ-
ëåíî â ïå÷àòü.
[77] Jungic V., Licht J., Mahdian M., Necetril J., Radoicic R. Rainbow Arithmetic Progres-
sions and AntiRamsey Results // Comb., Prob. and Comp., 12, 2003, 599620.
[78] Jungic V., Radoicic R. Rainbow 3term arithmetic progression // ïðåäñòàâëåíî â ïå-
÷àòü.
[80] Erd
os P., Tur
an P. On a problem of Sidon in additive number theory and on some related
problems // J. London Math. Soc., 16, 1941, 212215.
[83] Chudakov N. G. On the density of the set of even numbers which are not representable
as a sum of two odd primes // Izv. Akad. Nauk SSSR Ser. Mat., 2, 1938, 2540.
[84] Van der Corput J. G. Uber Summen von Primzahlen und Primzahlquadraten // Math.
Ann., 116, 1939, 150.
[85] Chowla S. There exists an innity of 3combinations of primes in A.P. // Proc. Lahore
Philos. Soc., 6, N. 2, 1944, 1516.
[86] Moran A., Pritchard P., Thyssen A. Twentytwo primes in arithmetic progression //
Math. Comp., v. 64, N. 211, 1995, 13371339.
[88] Hardy G. H., Wright E. M. An Introduction to the Theory of Numbers / Oxford University
Press, 1960.
[91] Goldston D., Yildirim C. Y. Higher correlations of divisor sums related to primes, I: Triple
correlations // Integers, v. 3, A5, 2003.
[92] Goldston D., Yildirim C. Y. Higher correlations of divisor sums related to primes, III:
kcorrelations // ïðåäñòàâëåíî â ïå÷àòü.
65
[93] Goldston D., Yildirim C. Y. Small gaps between primes, I // ïðåäñòàâëåíî â ïå÷àòü.
[94] Green B., Tao T. The primes contain arbitrarily long arithmetic progressions // Annals
of Math., ïðåäñòàâëåíî â ïå÷àòü, http:// www.arXiv:math.NT/0404188, 2004.
[95] Green B., Roth's theorem in the primes // Annals of Math., v. 161, N.3, 16091636,
2005.
[97] Bilu Y. Structure of sets with small sumset // Structure Theory of Sets Addition,
Asterisque, v. 258, Soc. Math. France, Montrouge, 1999, 77108.
[98] Ruzsa I. Generalized arithmetic progressions and sumsets // Acta Math. Hungar., v. 65,
1994, 379388.
[99] Chang M.-C. A polynomial bound in Freiman's theorem // Duke Math. J., v. 113, N. 3,
2002, 399419.
[101] S
arc
ozy G. N., Selkow S. On a question of Gowers concerning isosceles rightangle tri-
angles // ïðåäñòàâëåíî â ïå÷àòü, 2003.
[104] Chung F. R. K., Graham R. L., Quasirandom subsets of Zn // J. Combin. Theory, Ser.
A, v. 64, N. 1, 1992, 6486.
[105] S
arc
ozy A. On Dierence Sets of Sequences of Integers I // Acta Math. Acad. Sci.
Hungar, 31, nos. 12, 1978, 125149.
[106] S
arc
ozy A. On Dierence Sets of Sequences of Integers III // Acta Math. Acad. Sci.
Hungar, 31, nos. 34, 1978, 355386.
[107] Srinivasan S. On a Result of Sarcozy and Furstenberg // Nieuw. Acta. Wisk. (4), v.3,
N.3, 1985, 275280.
[108] Pintz J., Steiger W. L., Szemeredi E. On Sets of Natural Numbers whose Dierence Set
Contains No Squares // J. London Math. Soc. (2), v.37, 1988, 219231.
[109] Green B. On arithmetic structures in dense sets of integers // Duke Math. Journal, v.
144, N. 2, 215238, 2002.
[110] Ruzsa I. Dierence Sets Without Squares // Period. Math. Hungar, v. 15, N. 3, 1984,
205209.
66
[111] Bourgain J. Exponential sums estimates over subgroups and almost subgroups of Z∗q ,
where q is composite with few prime factors // GAFA, ïðåäñòàâëåíî â ïå÷àòü.
[112] Bourgain J., Glibichuk A., Konyagin S. Estimate for the number of sums and products
and for exponential sums in elds of prime order // J. London Math. Soc., ïðåäñòàâëåíî
â ïå÷àòü.
[114] Green B. A Szemereditype regularity lemma abelian groups // Geom. Funct. Anal.,
15, 2, 2005, 340376.
[115] Green B. Finite eld models in additive number theory // Surveys in Combinatorics,
LMS lecture notes, 329, 2005, 129.
[120] Green B., Tao T. An inverse theorem for the Gowers U 3 (G) norm, with applications //
http:// www.arXiv : math.NT/0503014 v1 1 Mar 2005.
[121] Green B., Tao T. New bounds for Szemeredi's Theorem, I: Progressions of length 4 in
nite eld geometries // http:// www.arXiv : math.CO/0509560 v1 23 Sep 2005.
[122] Samorodnitsky A., Trevisan L. Gowers Uniformity, Inuence of Variables, and PCPs //
http:// www.arXiv : math.CO/0510264 v1 12 Oct 2005.
[123] Ïóàíêàðå À. Íîâûå ìåòîäû íåáåñíîé ìåõàíèêè / Èçáðàííûå òðóäû. Ò. 2. M.: Íàóêà,
1972.
[125] Ìîùåâèòèí Í. Ã. Îá îäíîé òåîðåìå Ïóàíêàðå // ÓÌÍ, 53, âûï. 1, 1998, 219220.
[129] Afraimovich V., Chazottes J. R., Saussol B. Pointwise dimensions for Poincare recur-
rence associated with maps and special ows // Disc. Cont. Dyn. Syst., A 9, 2003, p.
263280.
67
[130] Barreira L., Pesin Y., Schmeling J. Dimension and product structure of hyperbolic mea-
sures // Ann. of Math., 2, 149, 1999, p. 755783.
[131] Barreira L., Saussol B. Hausdor dimension of measures via Poincare recurrence //
Commun. Math. Phys., 219, 2001, 443463.
[132] Barreira L., Saussol B. Product structure of Poincare recurrence // Ergod. Th. and
Dynam. Sys, 22, 2002, 3361.
[133] Saussol B., Troubetzkoy S., Vaienti S. Recurrence, dimensions and Lyapunov exponents
// J. Stat. Phys., 106, 2002, p. 623634.
68