Разбиения

Е. Ю. Смирнов

Аннотация. Записки курса, прочитанного на Летней школе «Современная мате-

матика» 21–25 июля 2023 г.

1. Первое занятие, 21 июля 2023 г.

1.1. Разбиения и диаграммы Юнга. Разбиением натурального числа будем на-
зывать его представление в виде суммы натуральных слагаемых. При этом порядок
слагаемых неважен: так, например, 2 + 3 и 3 + 2 — это одно и то же разбиение числа
5. Поэтому эти слагаемые можно считать нестрого убывающими. Вот формальное
определение:
Определение 1.1. Разбиением натурального числа n называется набор натураль-
ных чисел λ = (λ1 , . . . , λk ), для которого λ1 ≥ λ2 ≥ · · · ≥ λk > 0 и λ1 + · · · + λk = n.
Иногда удобно считать, что разбиение — это невозрастающая последовательность
целых неотрицательных чисел (λ1 , . . . , λk , . . . ), в которой все λi начиная с некото-
рого номера равны нулю. Другими словами, к конечному набору λi дописывается
бесконечный «хвост» нулей.
Разбиение можно представлять графически при помощи диаграмм Юнга. Диа-
граммой Юнга разбиения (λ1 , . . . , λk ) называется подмножество четвертого квад-
ранта плоскости, состоящее из единичных квадратиков. Квадратики размещаются в
последовательных строках, выровненных по левому краю, причем количество квад-
ратиков в i-той строке равно λi (таким образом, длина каждой следующей строки
не превышает длины предыдущей).
Пример 1.2.

На рисунке изображена диаграмма Юнга, соответствующая разбиению (7, 5, 5, 5, 2, 1)

числа 25.
Отразим диаграмму Юнга λ относительно диагонали (т.е. прямой x + y = 0).
Мы получим новую диаграмму Юнга, которую условимся обозначать через λ0 =
(λ01 , . . . , λ0m ) и называть сопряженной к λ (иногда её ещё называют транспонирован-
ной). Ясно, что λ0i равняется числу компонент исходного разбиения λ, больших или
равных i.

Date: 25 июля 2023 г.

1
2 Е. Ю. Смирнов

Пример 1.3.

Диаграмма (6, 5, 4, 4, 4, 1, 1) является сопряженной к диаграмме из предыдущего при-

мера.
Будем обозначать число разбиений числа n через p(n). Также условимся считать,
что p(0) = 1.
Нетрудно найти p(n) для маленьких значений n (скажем, при n ≤ 5). Они приве-
дены в следующей таблице:
n 0 1 2 3 4 5 6
p(n) 1 1 2 3 5 7 11
Упражнение 1.4. Проверьте это и для каждого n ≤ 5 нарисуйте все диаграммы
Юнга, соответствующие разбиениям числа n.
Возникает естественный вопрос: существует ли какая-нибудь формула, с помо-
щью которой можно найти p(n) для данного n? Оказывается, что простой замкнутой
формулы для числа разбиений (как, например, для биномиальных коэффициентов)
найти не удается. Однако кое-что про эту последовательность сказать все же полу-
чается: а именно, можно выписать ее производящую функцию. Этим мы сейчас и
займемся.

1.2. Напоминание о производящих функциях. В начале этого раздела мы вкрат-

це напомним некоторые сведения о производящих функциях и формальных степен-
ных рядах и разберем несколько простых примеров их использования. Более подроб-
ный рассказ об этом читатель может найти во многих учебниках по комбинаторике.
Пусть a0 , a1 , . . . , an , . . . — произвольная числовая последовательность. Рассмотрим
формальный степенной ряд от переменной q:
a0 + a1 q + a2 q 2 + · · · + an q n + . . . . (∗)
Он называется производящей функцией для исходной последовательности.
Замечание 1.5. Мы будем работать с производящими функциями именно как с фор-
мальными степенными рядами — выражениями вида (∗), которые можно представ-
лять себе как «многочлены бесконечной степени». Такие выражения можно, напри-
мер, складывать и перемножать друг с другом. Отметим, что эти операции опреде-
лены корректно: разумеется, для того, чтобы сложить или перемножить два ряда,
нужно произвести бесконечное число операций, однако же число операций, необхо-
димых для нахождения каждого коэффициента в сумме или произведении, конечно.
При этом нас не будут интересовать вопросы сходимости этих рядов при тех или
иных числовых значениях q.
Упражнение 1.6. Пусть A(q) = a0 + a1 q + a2 q 2 + . . . — формальный степенной ряд,
причем a0 6= 0. Докажите, что существует ряд B(q), обратный к A(q) — т.е. такой
ряд, что A(q) · B(q) = 1. Что происходит при a0 = 0?
 Разбиения 3

Иногда производящую функцию, выраженную формальным степенным рядом, по-

лучается записать в каком-либо ином виде (скажем, как рациональную функцию
от q), что зачастую позволяет получить какие-то новые сведения о последователь-
ности (a0 , . . . , an , . . . ).
1.3. Разбиения на различные слагаемые. Пусть pD (n) — число разбиений n
на попарно различные слагаемые (от слова “distinct”). Так, например, pD (8) = 6:
соответствующие разбиения — это (8), (7, 1), (6, 2), (5, 3), (5, 2, 1) и (4, 3, 1).
Предложение 1.7. Производящая функция PD (q) = n≥0 pD (n)q n представляется
P
в виде бесконечного произведения
∞
Y
2 3
PD (q) = (1 + q)(1 + q )(1 + q ) · · · = (1 + q k ).
k=1
Доказательство. Раскроем скобки в предыдущем выражении и не будем приводить
подобные члены. Каждое слагаемое тогда будет иметь вид q k1 q k2 . . . q kr , где k1 <
k2 < · · · < kr : это означает, что из скобок с номерами ki мы взяли q ki , а из остальных
скобок — единицу. Тем самым оно будет отвечать разбиению (kr , . . . , k1 ) числа n =
k1 + · · · + kr , все части которого будут различны. 
Замечание 1.8. Знак бесконечного произведения может напугать читателя, который
ранее не имел дела с этим объектом. Однако бояться его следует не больше, чем
бесконечных рядов. Действительно, на первый взгляд кажется, что для того, чтобы
представить бесконечное произведение как ряд, нужно «перемножить бесконечное
число скобок». Однако чтобы вычислить очередной (скажем, k-й) член этого ряда,
нужно взять только конечное число (в данном случае k) первых сомножителей —
остальные не окажут на коэффициент при q k никакого влияния.
Аналогично доказывается и знаменитая формула Эйлера для производящей функ-
ции числа разбиений.
Теорема 1.9 (Л. Эйлер). Производящая функция P (q) для количества разбиений
числа n задается следующим бесконечным произведением:
∞
X 1 Y
P (q) = n
p(n)q = = (1 − q k )−1 .
(1 − q)(1 − q 2 )(1 − q 3 ) . . . k=1
Доказательство. Выражение для P (q) можно переписать в виде
P (q) = (1 + q + q 2 + . . . )(1 + q 2 + q 4 + . . . )(1 + q 3 + q 6 + . . . ) . . .
Аналогично предыдущему, если раскрыть скобки в правой части и не приводить по-
добные, каждое слагаемое будет иметь вид q k1 m1 q k2 m2 . . . q kr mr , где k1 < k2 < · · · < kr ,
а mi — произвольные целые положительные числа. Оно будет получаться в резуль-
тате взятия из скобки с номером ki слагаемого ki mi . Такое слагаемое отвечает раз-
биению, в которое каждое из чисел ki входит mi раз. 
1.4. Разбиения на нечетные и различные слагаемые. Вот еще одна задача, ко-
торую можно решить при помощи производящих функций. Рассмотрим следующую
задачу: сколькими способами можно разложить число в сумму нечетных слагае-
мых? Обозначим число таких способов через pO (n) (от слова “odd” — «нечетный»).
Например, pO (8) = 6, т.к. для числа 8 есть 6 таких разбиений:
7+1 = 5+3 = 5+1+1+1 = 3+3+1+1 = 3+1+1+1+1+1 = 1+1+1+1+1+1+1+1.
Мы видели, что число разбиений числа 8 на различные слагаемые будет тем же.
Оказывается, это верно для любого n.
4 Е. Ю. Смирнов

Предложение 1.10. pD (n) = pO (n) при любом n.

pO (n)q n
P
Доказательство. Докажем, что равны производящие функции P O (q) =
и PD (q) = pD (n)q n .
P
Рассуждая точно так же, какP и с произвольными разбиениями, получаем, что
производящая функция PO (q) = pO (n)q n равняется
1 1 1
PO (q) = · · ....
1 − q 1 − q 1 − q5
3

Как мы убедились только что,

PD (q) = (1 + q)(1 + q 2 )(1 + q 3 ) . . .
Дальнейшее сводится к чисто алгебраическим преобразованиям. Умножим и по-
делим ряд PO (q) на бесконечное произведение (1 − q 2 )(1 − q 4 ) . . . :
1 1 1 1 1 − q2 1 1 − q4
PO (q) = · · · · · = · · ··· =
1 − q 1 − q3 1 − q5 1 − q 1 − q2 1 − q3 1 − q4
(1 − q 2 )(1 − q 4 )(1 − q 6 ) . . .
= = (1 + q)(1 + q 2 )(1 + q 3 ) · · · = PD (q).
(1 − q)(1 − q 2 )(1 − q 3 ) . . .

Можно задать другой вопрос: пусть мы уже знаем, что разбиений на нечетные
слагаемые столько же, сколько на различные. Можно ли построить какое-нибудь
«естественное» взаимно-однозначное отображение (биекцию) между наборами таких
разбиений? Иначе говоря, как сопоставить взаимно-однозначным образом каждому
разбиению числа n на нечетные слагаемые его же разбиение на различные слагае-
мые?
Можно построить несколько таких биекций. Опишем одну из них на примере.
Пусть дано какое-то разбиение числа на нечетные слагаемые, например, такое:
23 = 7 + 5 + 5 + 3 + 1 + 1 + 1
Рассмотрим «центрированную диаграмму Юнга» — нарисуем симметричную отно-
сительно вертикальной оси диаграмму (см. рис. слева), в первой строке которой
будут 7 точек, во второй и третьей — по 5, и так далее.

♠♠♠♥♥♥♥
♦♠♥♣♣
♦♠♥♣ ◦
♠♥♣
♥
♥
♥

Рис. 1.1. Разбиение диаграммы Юнга на крюки

Теперь разобьем эту диаграмму на крюки, как показано на рисунке 1.1 справа.
Мы получим разбиение числа 23 на различные слагаемые:
23 = 10 + 6 + 4 + 2 + 1.
Упражнение 1.11. Убедитесь, что это соответствие действительно является биек-
цией (она называется биекцией Сильвестра).
 Разбиения 5

1.5. Пятиугольные числа. Рассмотрим бесконечное произведение, обратное к P (q).

Это произведение бесконечного числа двучленов:
Y∞
−1
P (q) = (1 − q k ).
k=1

Упражнение 1.12. Вычислите первые 8 членов (до q 7 включительно) этого беско-

нечного произведения.
Эйлер вычислил первые несколько десятков членов этого произведения, и у него
получилось следующее:
P (q)−1 = 1 − q − q 2 + q 5 + q 7 − q 12 − q 15 + q 22 + q 26 − q 35 − q 40 + . . .
Здесь можно сделать сразу несколько интересных наблюдений. Во-первых, видно,
что все коэффициенты этого ряда равны либо 0, либо ±1, причем по мере увеличения
степени ненулевые члены встречаются все реже и реже. Во-вторых, все члены, кроме
свободного, идут парами: два отрицательных, два положительных, потом снова два
отрицательных и так далее. Разность между степенями в паре равняется номеру
пары: сначала это единица (q и q 2 ), потом два (q 5 и q 7 ), потом три (q 12 и q 15 ), и так
далее.
Наконец, последовательность степеней 1, 5, 12, 22, 35. . . тоже была хорошо извест-
на Эйлеру — это так называемые пятиугольные числа, которые равняются числу
точек в пятиугольнике, сторона которого равна 1, 2, 3. . . точкам соответственно (см.
рис. 1.2).

Рис. 1.2. Пятиугольные числа

Нетрудно видеть, что m-тое пятиугольное число равняется m(3m − 1)/2.

Оказывается, что имеет место следующий результат. Его доказательство будет
получено в следующей лекции.
Теорема 1.13 (пентагональная теорема Эйлера). Ряд, обратный к ряду P (q) =
p(n)q n , имеет вид
P
∞  m(3m−1) 
X m(3m+1)
P (q)−1 = 1 + (−1)m q 2 +q 2 .
m=1

Мы докажем эту теорему двумя способами. Первый будет комбинаторным; он

принадлежит ученику Сильвестра Франклину.
Доказательство. Выражение (1−q)(1−q 2 ) . . . можно рассматривать как производя-
щую функцию для разбиений на различные слагаемые, в которой каждое разбиение
считается с весом 1 для разбиений на четное число частей и −1 для разбиений на
нечетное число частей. Тогда утверждение теоремы состоит в том, что тех и тех раз-
биений «почти поровну»: их количество отличается на единицу, если вес разбиения
имеет вид n(3n±1)
2
, и равно в противном случае.
Попытаемся построить биекцию между такими разбиениями на четное и нечетное
число частей. Рассмотрим диаграмму Юнга со строками различной длины и вве-
дем три ее характеристики: ` — число строк, b — длина нижней строки (отмечена
6 Е. Ю. Смирнов

зеленым), и d — длина «диагонали», т.е. наибольшей последовательности клеток, ко-

торые можно получить из самой правой клетки первой строки ходом слона (отметим
эти клетки желтым).

Теперь, если d < b, удалим клетки диагонали и дорисуем их в виде новой нижней
строки, как показано на следующей диаграмме:

Посмотрим на параметры `0 , b0 и d0 этой диаграммы. Для нее `0 = ` + 1, b0 = d, а

d0 ≥ d. Таким образом, мы построили отображение, которое не меняет число клеток
в диаграмме и меняет четность числа ее строк, при условии, что b > d. Обратите
внимание, что для полученной диаграммы b0 ≤ d0 .
Аналогично можно построить отображение, отправляющее диаграмму, у которой
b ≤ d, в диаграмму, у которой b0 > d0 : действительно, достаточно отрезать нижнюю
строку и приставить ее в виде диагонали. Таким образом, полученное отображение
будет инволюцией.
Оно будет определено на «почти всех» диаграммах. Те диаграммы, на которых
оно определено не будет, соответствуют случаям, когда ` = d = b и ` = d = b − 1
(при ` = 4 они изображены на рисунке ниже).

Ясно, что эти диаграммы будут состоять из `2 + `(`−1)

2
= `(3`−1)
2
и `2 + `(`+1)
2
= `(3`+1)
2
клеток соответственно и входить с весом, равным (−1)` . Это доказывает пентаго-
нальную теорему Эйлера. 
Второй способ мы разберем на следующем занятии. Для него нам потребуется
тождество Якоби для тройного произведения.
 Разбиения 7

2. Второе занятие, 22 июля 2023 г.

2.1. Подсчет числа разбиений с помощью пентагональной теоремы. В каче-
стве следствия пентагональной теоремы Эйлера покажем, как с ее помощью можно
выписать рекуррентное соотношение для числа разбиений.
Перемножив ряды P (q) и P (q)−1 , мы получим единицу. Поэтому
∞
!
X  X  m(3m−1) m(3m+1)

p(k)q k 1+ (−1)m q 2 +q 2 = 1.
m=1

С одной стороны, коэффициент при q n для n > 0 в произведении P (q)P (q)−1 равен
нулю.
an q n и bm q m — два степенных ряда.
P P
С другой стороны, если P то коэффициент
k
при q в их произведении равняется ak b0 + ak−1 b1 + · · · + a0 bk = ak−i bi . Выпишем,
чему равен коэффициент при q n в левой части, и тем самым найдем соотношение на
числа разбиений p(n):
∞
X
p(n) + (−1)m (p(n − m(3m − 1)/2) + p(n − m(3m + 1)/2)) = 0
m=1

(здесь мы считаем, что p(k) = 0 при k < 0). Перенесем все, кроме первого слагаемого,
в правую часть, и получим, что
X∞
p(n) = (−1)m+1 (p(n − m(3m − 1)/2) + p(n − m(3m + 1)/2)) .
m=1

Это рекуррентное соотношение, глубина которого постоянно увеличивается. Выпи-

шем его при 6 ≤ n ≤ 12 и с его помощью найдем соответствующие p(n).

p(6) = p(5) + p(4) − p(1) = 7 + 5 − 1 = 11;

p(7) = p(6) + p(5) − p(2) − p(0) = 11 + 7 − 2 − 1 = 15;
p(8) = p(7) + p(6) − p(3) − p(1) = 15 + 11 − 3 − 1 = 22;
p(9) = p(8) + p(7) − p(4) − p(2) = 22 + 15 − 5 − 2 = 30;
p(10) = p(9) + p(8) − p(5) − p(3) = 30 + 22 − 7 − 3 = 42;
p(11) = p(10) + p(9) − p(6) − p(4) = 42 + 30 − 11 − 5 = 56;
p(12) = p(11) + p(10) − p(7) − p(5) + p(0) = 56 + 42 − 15 − 7 + 1 = 77.
2.2. Тождество Якоби для тройного произведения.
Теорема 2.1 (Тождество Якоби для тройного произведения).
∞ +∞
Y X j(j+1)
k −1 k−1 k
(1 + xq )(1 + x q )(1 − q ) = q 2 xj .
k=1 j=−∞

Доказательство. Рассмотрим бесконечное произведение

∞
Y
f (x) = (1 + xq k )(1 + x−1 q k−1 ).
k=1

Его можно рассматривать как ряд Лорана по x:

∞
X
f (x) = an (q)xn ,
n=−∞
8 Е. Ю. Смирнов

коэффициенты которого an (q) суть формальные степенные ряды от q.

Легко видеть, что f (xq) = x−1 q −1 f (x) (это рутинная проверка).
Отсюда следует, что an (q)q n+1 = an+1 (q) для любого n ∈ Z. Тем самым все члены
an (q) можно выразить, зная a0 (q): действительно,
a1 (q) = qa0 (q); a2 (q) = q 2 a1 (q) = q 3 a0 (q), . . . , an (q) = q n an−1 (q) = · · · = q 1+2+···+n a0 (q)
для положительных n; для отрицательных n то же равенство проверяется аналогич-
но. Итак, имеем равенство
X
f (x) = a0 (q) q n(n+1)/2 xn .
n∈Z

Осталось вычислить a0 (q). Этот коэффициент равен свободному члену в выраже-

нии
(1 + xq)(1 + xq 2 )(1 + xq 3 ) . . . (1 + x−1 )(1 + x−1 q)(1 + x−1 q 2 ) . . . .
Пусть a0 (q) равен
X
a0 (q) = bn q n .
n≥0

Аналогично рассуждениям с прошлого занятия получаем, что коэффициент bn этого

ряда есть число способов представить число n в виде суммы нескольких различных
элементов множества {1, 2, 3, . . . } и такого же числа различных элементов множества
{0, 1, 2, . . . }.
Осталось заметить, что bn есть не что иное, как число разбиений p(n). Действи-
тельно, такому представлению числа n можно сопоставить диаграмму Юнга, «руки»
которой (фрагменты строк от диагонали до правого края диаграммы, включая диа-
гональ) суть элементы множества {1, 2, 3, . . . }, а «ноги» (т.е. фрагменты столбцов
от диагонали до нижнего края, исключая клетку на диагонали) — это элементы из
{0, 1, 2, . . . }. Поэтому
Y∞
a0 (q) = (1 − q k )−1 = P (q),
k=1
и следовательно,
∞ ∞ ∞
Y Y X n(n+1)
k −1 k−1 k −1
(1 + xq )(1 + x q )= (1 − q ) xn q 2 .
k=1 k=1 n=−∞

Поделив обе части равенства на P (q), получаем тождество Якоби для тройного про-
изведения.


2.3. Второе доказательство пентагональной теоремы. В этом разделе мы вы-

ведем пентагональную теорему Эйлера из тождества Якоби для тройного произведе-
ния. Для этого сделаем замену переменной в тождестве Якоби: подставим q 3 вместо
q.
∞ +∞
Y X 3j 2 +3j
3k −1 3k−3 3k
(1 + xq )(1 + x q )(1 − q ) = q 2 xj .
k=1 j=−∞
−1
Теперь положим x = −q . Получим, что
∞ +∞
Y X 3j 2 +j
3k−1 3k−2 3k
(1 − q )(1 − q )(1 − q ) = (−1)j q 2 .
k=1 j=−∞
 Разбиения 9

А это и есть пентагональная теорема Эйлера:

∞ ∞  j(3j−1) 
Y X j(3j+1)
k
(1 − q ) = 1 + (−1)j q 2 + q 2 .
k=1 j=1

2.4. Тождество Якоби. Следующее равенство — это еще одно следствие тождества
для тройного произведения. Оно также принадлежит Якоби.
Теорема 2.2. Имеет место равенство
∞ ∞
Y X n(n+1)
k 3
(1 − q ) = (−1)n (2n + 1)q 2
k=1 n=0

Доказательство. Есть искушение подставить в тождество Q Якоби x = −1. В левой

части получится что-то очень похожее на произведение (1 − q k ), однако не совсем:
там будет еще сомножитель (1 − q 0 ), что равно нулю.
Поэтому будем действовать немного иначе. Поделим обе части тождества Якоби
на 1 + x−1 . Левая часть окажется равной
∞ ∞
1 Y
−1 k−1
Y
−1
k k
(1 + xq )(1 + x q )(1 − q ) = (1 + xq k )(1 + x−1 q k )(1 − q k ).
1 + x k=1 k=1
Правая же часть будет равна
∞ ∞
1 X n(n+1) 1 X n(n+1)

−1
q 2
n
x = −1
q 2 (xn + x−n−1 ) =
1 + x n=−∞ 1 + x n=0
∞ ∞
X n(n+1) xn + x−n−1 X n(n+1) n
= q 2
−1
= q 2 (x − xn−1 + · · · + x−n ).
n=0
1+x n=0

Теперь уже можно подставить x = −1. Поскольку последняя сумма равна (−1)n (2n+
1), получаем требуемое равенство. 
10 Е. Ю. Смирнов

3. Третье занятие, 24 июля 2023 г.

3.1. Сравнение Рамануджана по модулю 5. С помощью теорем Эйлера и Якоби
покажем, что p(5k + 4) ≡ 0 mod 5 при любом k. Впервые это, по-видимому, заметил
Рамануджан.
Теорема 3.1. При любом k имеет место сравнение p(5k + 4) ≡ 0 mod 5.
Доказательство. Введем следующие обозначения:
Y X n(3n−1)
E(q) = (1 − q k ) = (−1)n q 2
k≥1 n∈Z

и Y X n(n+1)
J(q) = (1 − q k )3 = (−1)n (2n + 1)q 2 .
k≥1 n≥0
n(3n±1)
Заметим, что 2
дает по модулю 5 остатки 0, 1 или 2. Поэтому
E(q) = E0 (q) + E1 (q) + E2 (q),
где Ek (q) — это сумма всевозможных мономов an q n , входящих в E(q), для которых
n ≡ k mod 5.
Аналогично n(n+1)
2
дает по модулю 5 остатки 0, 1 и 2, и поэтому J(q) = J0 + J1 + J2 .
n(n+1)
Но когда 2 ≡ 2 mod 5, имеет место сравнение 2n + 1 ≡ 0 mod 5. Поэтому если
привести коэффициенты J(q) по модулю 5, слагаемое J2 обратится в нуль.
Итак, запишем P (q) следующим образом:
1 E(q)J(q)
P (q) = = .
E(q) E 5 (q)
Однако по «ленивому биному Ньютона» (1 − q)5 = 1 − q 5 и аналогично (1 − q k )5 =
1 − q 5k . Поэтому E 5 (q) = E(q 5 ). Значит,
(E0 + E1 + E2 )(J0 + J1 ) E0 J0 + E0 J1 + E1 J0 + E1 J1 + E2 J0 + E2 J1
P (q) = 5
= .
E(q ) E(q 5 )
Поэтому коэффициенты при степенях q, сравнимых с 4 по модулю 5, равны нулю. 
Можно действовать иначе: начать с того, что P (q) = E 9 (q)/E 10 (q) = J 3 (q)/E 2 (q 5 ),
и заметить, что J 3 = J03 + 3J02 J2 + 3J0 J12 + J13 также содержит только члены, степень
которых сравнима с 0, 1, 2 и 3 по модулю 5.
Задача 3.1. Докажите второе сравнение Рамануджана: p(7k + 5) ≡ 0 mod 7.
Задача 3.2 (*). Докажите третье сравнение Рамануджана: p(11k + 6) ≡ 0 mod 11.
Вторая задача требует существенно больше вычислений, но в целом обе они ре-
шаются теми же методами, что и для 5.

3.2. Асимптотическое поведение p(n). Асимптотическое поведение функции p(n)

описывается следующей теоремой, доказанной в 1918 г. Г. Харди и С. Рамануджаном
и независимо в 1920 г. российско-американским математиком Я. В. Успенским:
Теорема 3.2. Имеет место асимптотическое равенство
1 √ 2n
p(n) ∼ √ eπ 3 при n → ∞.
4π 3
 Разбиения 11

Это сложный результат, требующий тонкого применения методов комплексного

анализа. Его «элементарное» (т.е. не требующее комплексно-аналитических мето-
дов) доказательство было предложено в 1942 г. П. Эрдёшем; оно также достаточно
непросто. Прочесть его можно, например, в книге Melvin B. Nathanson, Elementary
methods in number theory (Springer, 2000).
Мы докажем значительно более слабую версию этой теоремы. Наше доказатель-
ство следует обзору Игоря Пака: Igor Pak. Partition bijections: a survey (раздел 9.6).

Теорема 3.3. Существуют такие числа 0 < a < c, для которых

√ √
ea n
< p(n) < ec n
.
q
2
Более того, можно взять c = π 3
.

Доказательство. Нижнюю оценку доказать несложно: работает грубая оценка при

помощи биномиального коэффициента. Итак, пусть pk (n) — число разбиений на не
более чем k частей. Имеет место неравенство
 
n+k−1
k!pk (n) > .
k−1

Действительно, правая часть — это число разбиений n на k упорядоченных слагае-

мых, которым разрешается быть нулевыми (в кружковской практике эта формула
известна как «шары и перегородки»). Левая — это всевозможные упорядочения k
частей разбиения числа n.
Заменим бином на старший член соответствующего многочлена от n, а pk (n) на
p(n):
nk−1
k!p(n) > .
(k − 1)!
√
Возьмем k = b nc. Покажем, что p(n) > nk−1 /(k!)2 . Для этого воспользуемся
формулой Стирлинга:
√ kk
k! ' 2πk .
ek
Получаем, что неравенство, которое нам требуется доказать — это
√
k 2k−2 e2 k e2 n
p(n) > = ,
2πk 2k+1 n3/2
откуда и вытекает требуемая оценка снизу.
Для доказательства верхней оценки начнем со следующих равенств:
n n bn/rc
X X X X
np(n) = r mr (λ) = r p(n − mr).
r=1 λ`n r=1 m=1

Здесь через mr (λ) обозначается число строк длины r, входящих в разбиение λ.

Первое равенство доказывается при помощи подсчета двумя способами общего
числа клеточек во всех диаграммах, отвечающих разбиениям числа n. Этих клеточек
np(n); с другой стороны, можно просуммировать длины строк данной длины по всем
12 Е. Ю. Смирнов

диаграммам и взять сумму по длинам строк. Второе равенство доказывается так:

X
mr (λ) = |{λ ` n : mr (λ) = 1}| + 2 |{λ ` n : mr (λ) = 2}|
λ`n
+ 3 |{λ ` n : mr (λ) = 3}| + . . .
= |{λ ` n : mr (λ) ≥ 1}| + |{λ ` n : mr (λ) ≥ 2}|
+ |{λ ` n : mr (λ) ≥ 3}| + . . .
=p(n − r) + p(n − 2r) + p(n − 3r) . . .
Получив это рекуррентное соотношение, воспользуемся индукцией по n. Предполо-
√ q
c k 2
жим, что p(k) < e при всех k < n, где c = π 3 . Используем это соотношение для
доказательства индуктивного перехода:
n bn/rc ∞ X
∞
X X √ √ X √
np(n) < rec n−mr
< ec n
re(−cm/2 n)r

r=1 m=1 r=1 m=1

Здесь мы воспользовались оценкой для квадратного корня:
√ √ √  √
r
mr mr  cmr
c n − mr = c n 1 − <c n 1− =c n− √ .
n 2n 2 n
P∞ r 2
Заметим, что 1 rt = t/(1 − t)2 и e−x / (1 − e−x ) < x12 при всех x ∈ R. Отсюда
получается, что:
√ ∞ √ √ ∞
ec n X e−cm/2 n ec n X 4n
 2
√ √
c n 4 π c n
p(n) < √
2 < = e = e .
n m=1 1 − e−cm/2 n n m=1 c2 m2 c2 6

Здесь мы использовали известное равенство для ζ(2), а именно: ∞ 1 π2

P
m=1 m2 = 6 . Оцен-
ка сверху доказана. 
 Разбиения 13

4. Четвертое занятие, 25 июля 2023 г.

4.1. Тождества Роджерса–Рамануджана. Цель этой лекции — доказать следу-
ющие два тождества. Они называются тождествами Роджерса–Рамануджана. Они
были доказаны Роджерсом еще в XIX веке, потом Рамануджан их переоткрыл, и в
1919 году они опубликовали с Роджерсом совместную статью. Независимо эти тож-
дества были доказаны Исайей Шуром в 1917 году; ему принадлежит приводимое
здесь комбинаторное доказательство. По существу оно является модификацией би-
екции Франклина (см. первое занятие).
Мы будем следовать упоминавшемуся выше обзору Игоря Пака. Доказательство
Роджерса–Рамануджана можно прочесть, например, в книге: David M. Bressoud,
Proofs and confirmations (AMS, 2000; в издательстве МЦНМО скоро выйдет русский
перевод).
Теорема 4.1 (Роджерс–Рамануджан, Шур). Имеют место следующие тождества:
∞ 2 ∞
X qk Y 1
1+ 2 k
= 5i+1
, (∗)
k=1
(1 − q) (1 − q ) · · · (1 − q ) i=0 (1 − q ) (1 − q 5i+4 )

∞ ∞
X q k(k+1) Y 1
1+ 2 k
= 5i+2
. (∗∗)
k=1
(1 − q) (1 − q ) · · · (1 − q ) i=0 (1 − q ) (1 − q 5i+3 )

Два этих тождества очень похожи, так что мы будем доказывать первое, оставив
второе читателю в качестве упражнения. Но сперва разберемся, что они означают.
Правая часть тождества (∗) — это производящая функция для числа разбиений в
сумму слагаемых, равных ±1 по модулю 5. Обозначим множество таких разбиений
числа n через An .
Далее, введем еще два множества разбиений. Пусть Bn обозначает множество раз-
биений n на части, любые две из которых отличаются хотя бы на 2 (будем говорить,
что у такой диаграммы существенно различные строки). Наконец, пусть Cn — мно-
жество таких разбиений λ числа n, для которых последняя строка b(λ) не меньше,
чем число строк `(λ).
Ясно, что производящая функция для мощностей множеств Cn — это левая часть
равенства (∗).
Лемма 4.2. Разбиений во множествах Bn и Cn поровну.
Доказательство. Построим явную биекцию между этими множествами. Она изоб-
ражена на рисунке ниже.


Лемма 4.3. Имеет место равенство
∞ ∞ ∞
Y 1 X
m
m(5m−1) Y 1
5r+1 5r+4
= (−1) q 2 .
r=0
(1 − q ) (1 − q ) m=−∞ i=1
(1 − q i )
14 Е. Ю. Смирнов

Доказательство. Это следствие тождества Якоби для тройного произведения. Дей-

ствительно, сделаем замену q 7→ q 5 и подставим x = −q −3 . Получим, что
∞ ∞
Y X 5m(m+1)
5r−3 5r−2 5r
(1 − q )(1 − q )(1 − q ) = (−q 2 )m q 2 .
r=1 m=−∞

(1 − q k )−1 , получим
Q
Домножив обе части на эйлеровскую производящую функцию
требуемое. 
Таким образом, получается, что тождество (∗) эквивалентно следующему равен-
ству:
∞
! ∞ 2
! ∞
Y
i
X qk X
m
m(5m−1)
(1 − q ) 1+ 2 ) · · · (1 − q k )
= (−1) q 2 . (∗ ∗ ∗)
i=1 k=1
(1 − q) (1 − q m=−∞

А его мы уже докажем комбинаторно.

4.2. Биекция Шура. Для начала введем некоторые обозначения. Пусть Dn — мно-
жество разбиений n на различные слагаемые, и D = ∪∞ n=1 Dn . Далее, пусть B =
∞
∪n=1 Bn . Наконец, пусть R = D × B — множество пар из диаграммы Юнга с раз-
личными строками λ и диаграммы с существенно различными строками µ, и пусть
Rn = {(λ, µ) | |λ| + |µ| = n} — множество пар таких диаграмм с суммарным весом n.
Знаком пары (λ, µ) будем называть (−1)`(λ) , т.е. четность числа строк диаграм-
мы λ.
Наша задача — построить биекцию α на множестве Rn , которая меняет знак
для всех пар, не являющихся неподвижными. Сначала определим множество непо-
движных точек биекции следующим образом: это будут пары диаграмм (λ, µ), где
λ = (2m − 1, 2m − 2, . . . , m) и µ = (2m − 1, 2m − 3, . . . , 3, 1), а также λ = (2m, 2m −
1, . . . , m + 1) и µ = (2m − 1, 2m − 3, . . . , 3, 1) (на рисунке ниже эти пары изображены
при m = 4). Обратите внимание, что λ в этой биекции — это в точности неподвижные
точки биекции Франклина.

Введем следующие обозначения. Обозначим через a(λ), `(λ), b(λ) и d(λ) соответ-
ственно число столбцов диаграммы λ, ее строк, столбцов, длину нижней строки и
диагонали (начинающейся от самой правой клетки вниз-влево ходом слона). Далее,
через u(µ) будем обозначать «косую диагональ» диаграммы µ, также начинающуюся
от самой правой клетки первой строки и идущей вниз-влево, но уже ходом коня.
Теперь построим биекцию на остальных парах диаграмм (λ, µ). Для этого рас-
смотрим несколько случаев.
Во-первых, пусть a(λ) > a(µ) + 2. Тогда возьмем первую строку λ1 диаграммы λ,
отрежем и приклеим к µ сверху. Ясно, что в результате этого суммарная площадь
диаграмм не изменится, но четность количества строк λ поменяется, т.к. число строк
уменьшится на 1. Обратно, если a(λ) < a(µ), отрежем первую строку диаграммы µ
и приклеим ее к λ.
Остаются случаи, когда a(λ) = a(µ) и a(λ) = a(µ) + 1. Обозначим их через R0n и
1
Rn и будем строить биекцию между этими множествами (за вычетом неподвижных
точек, определенных выше). Мы построим отображение из R1n в R0n . Итак, пусть
(λ, µ) ∈ R1n . Наше отображение будет уравнивать длины первых строк этих диа-
грамм и менять число строк у диаграммы λ на один. Рассмотрим три числа: b(λ),
 Разбиения 15

d(λ) и u(µ). Возьмем наименьшее из них; три эти возможности будут определять
три случая.
Случай 1. Пусть d(λ) < b(λ) и d(λ) ≤ u(µ). Тогда подействуем на λ биекцией Франклина:
отрежем у λ диагональ и переставим ее в качестве нижней строки. Число
строк у λ увеличится на один, а длины первых строк у λ и µ сравняются.

Случай 2. Пусть b(λ) ≤ d(λ) и b(λ) ≤ u(µ). Тогда нижнюю строку из λ можно отрезать
и переставить в качестве косой диагонали в µ. Число строк у λ уменьшится
на один, а длины первых строк у λ и µ сравняются.

Случай 3. Пусть u(µ) < d(λ) и u(µ) ≤ b(λ). Тогда возьмем у λ первую строку, а у
µ косую диагональ. Затем одновременно переставим первую строку из λ в
качестве первой строки в µ, а косую диагональ из µ поставим в качестве диа-
гонали к λ (это будет возможно, т.к. в результате отрезания первой строки
d(λ) уменьшится на один, а неравенство u(µ) < d(λ) строгое). У получив-
шихся пар диаграмм будут следующие характеристики: a(λ0 ) = a(µ0 ) = a(λ),
d(λ0 ) = u(µ), u(µ0 ) > u(µ).

Это отображение нетрудно обратить, так что оно будет биекцией между R0n и R1n .
Тем самым построено инволютивное отображение на R, неподвижными точками ко-
торого являются пары диаграмм суммарного веса m(5m−1) 2
и m(5m+1)
2
, которые берутся
с весом (−1)m . Это доказывает равенство (∗ ∗ ∗), а оно, как мы видели, эквивалентно
первому тождеству Роджерса–Рамануджана (∗).
Задача 4.1. Действуя аналогично, докажите второе тождество Роджерса–Раману-
джана (∗∗).

Email address: esmirnov@hse.ru