Теорема Коши — Дэвенпорта

Теорема Коши — Дэвенпорта — результат аддитивной комбинаторики, названный в честь Огюстена Коши и Гарольда Дэвенпорта, утверждающий, что размер множества сумм двух множеств в группе вычетов  никогда не оказывается существенно меньше, чем сумма их размеров.

Теорема была предложена Гансом Хейльбронном как нерешённая задача Гарольду Дэвенпорту, который решил её и опубликовал доказательство в 1935 году.

Формулировка 

Пусть . Определим .

Тогда

Суть нетривиальности 
Для множеств целых (или вещественных) чисел аналогичное утверждение очевидно, поскольку для

 

 

числа  и  всегда различны.

Аналогичное доказательство не проходит в кольце вычетов, где натуральные числа «зацикливаются». Для кольца  при составном  утверждение попросту неверно, поскольку там существуют подгруппы  (арифметические прогрессии с разностью, делящей ), для которых  (это вообще, по определению, всегда верно для подгрупп).

Случай простого модуля интересен потому что выступает как промежуточный между этими двумя. Если бы теорема оказалась неверена, то это означало бы, что построение кольца вычетов само по себе, даже не имея подгрупп, содержит какую-то структуру, близкую к арифметической прогрессии. Но теорема верна.

Способы доказательства

Крайний случай 

Если , то утверждение  доказывается элементарно, поскольку для любого  множества  и  пересекаются просто ввиду своего размера, по принципу Дирихле.

Поэтому основная сложность заключается в доказательстве  когда .

Комбинаторное доказательство 

Для комбинаторного доказательства используется очевидный факт, что . Если , то это позволяет применить индукцию по размеру меньшего из этих двух множеств. Иначе возможны две ситуации:

  и  не пересекаются

 одно из множеств полностью содержится в другом

От первой ситуации можно избавиться с помощью сдвига элементов одного из множеств, так как . Если же все такие сдвиги полностью лежат во множестве  (не ограничивая общности, предполагаем, что ), то легко показать, что  для любых , то есть  представляет собой зацикленную бесконечную арифметическую прогрессию с разностью .  Ввиду особенностей группы вычетов по простому модулю, это означает, что , а это приводит к простейшему случаю .

Алгебраическое доказательство 

Алгебраическое доказательство было представлено в 2004 году Теренсом Тао.. Его основой служит комбинаторная теорема о нулях. Если , где , то многочлен  имеет ненулевой коэффициент при . Из этого, по комбинаторной теореме о нулях, следует, что при каких-то  многочлен  не обнуляется, а это, очевидно, не так, по определению .

Аналитическое доказательство 

Доказательство средствами гармонического анализа использует принцип неопределённости и свёртку функций над . В качестве рассматриваемых функций используются такие , что

где  и , причём пересечение  настолько мало, насколько только может быть при таких размерах. Используя свойства свёртки, в этом случае имеем:

 

 

Так как, по принципу неопределённости, , то из этого при правильном выборе  и  теорема Коши-Дэвенпорта следует напрямую.

Вариации и обобщения 

Поскольку везде ниже речь пойдёт о подмножествах конечного поля, то в любой оценке размера множества сумм нужно делать поправку на то, что если множества, откуда берутся слагаемые, очень велики по размеру, то сумма занимает всё поле. Поэтому для удобства изложения везде ниже запись  относительно любого множества сумм  (например, ) означает, что

Запрет на сложение равных элементов 

В 1964 году Эрдёш и Хейльбронн предположили, что для множества  верно . Это доказали в 1994 году Диас да Сильва и Хамидаон, используя теорию представлений симметрических групп ( теории представлений). Они доказали даже более общий результат, а именно:

 

При  это утверждение в точности совпадает с гипотезой Эрдёша и Хейльбронна.

Эта оценка оказалась не самой лучшей - в 1996 году Алон, Натанзон и Ружа доказали, что .

Естественным образом возник вопрос - можно ли сказать что-то подобное вообще про . Этот вопрос может быть решён с помощью модификации алгебраического доказательства основной теоремы Коши-Дэвенпорта, если добавить к рассматриваемому многочлену один множитель, то есть рассматривать , где .

Запрет на элементы с заданными разностями 

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

Эта оценка не точна - ранее, в 2002 году, Пан и Сун доказали, используя алгебраические методы, в числе более сильного утверждения, что .

Также в своей работе Пан и Сун высказали гипотезу, что вычитаемое 2 можно заменить на 1 если  чётно. Авторы работы 2009 года (обобщающей аналитический метод) предположили, что для этого достаточно даже условия .

Полиномиальные ограничения на слагаемые 

Сильное обобщение задачи Коши-Дэвенпорта состоит в выведении общего метода для оценки через размеры  и  размера множества вида

 ,

где  - некоторый многочлен. Например, в случае  такая задача сводится к гипотезе Эрдёша-Хельбронна. Случай  представляет её аналог для нескольких множеств.

В 2002 году Пан и Сун рассмотрели этот вопрос для многочленов от двух переменных  и доказали следуюющий результат:

Пусть  - однородный многочлен степени  над произвольным полем характеристики , причём существуют , для которых его коэффициенты при  и  не равны нулю.
Рассмотрим многочлен  и его разложение . Обозначим .
Пусть также дан любой многочлен  степени .
Тогда

Замена суммирования на полином 

В 2008 году Сун получил следующий результат:

Пусть  - полином, такой, что .

Тогда 

Если же , то аналогичное неравенство выполняется даже при наложении на набор  условия  для .

В 2009 году этот результат в частном случае был усилен:

Пусть  - полином, такой, что .

Тогда ,

где

См. также 

 Множество сумм

Примечания 

Комбинаторика