Аддитивная комбинаторика (от англ. addition — сложение) — междисциплинарная область математики, изучающая взаимозависимость различных количественных интерпретаций понятия структурированности подмножества группы (как правило, конечной), а также аналогичные свойства производных от множества структур, использующихся при этих интерпретациях. Кроме того, аддитивная комбинаторика изучает структурированность в различных смыслах некоторых специфических множеств или классов множеств (например, подмножеств простых чисел или мультипликативных подгрупп).
 Таким образом, основным объектом изучения являются конечные множества, по возможности как можно более абстрактные, ограниченные иногда только в своих размерах, что делает эту науку похожей на комбинаторику. Однако, в отличие от комбинаторики как таковой, где элементы множеств идентифицируются только отличием друг от друга и принадлежностью к тем или иным рассматриваемым множествам, в аддитивной комбинаторике у каждого элемента множества есть чёткое значение, и между ними появляются дополнительные взаимосвязи, вытекающие из их значений и свойств операции группы (и, возможно, специфических законов, характерных для заданной группы).
 Аддитивная комбинаторика тесно связана с арифметической комбинаторикой, где предметом изучения является соотношение подмножества поля (а не просто группы, как здесь) сразу с двумя операциями — сложением и умножением.
 Вопросы представления чисел через суммы элементов из небольшого числа заданных множеств рассматривались математиками ещё с древних времён. Классическими примерами являются задачи представимости любого числа суммой четырёх квадратов (теорема Лагранжа о сумме четырёх квадратов) или любого чётного числа, которое больше трёх, суммой двух простых (проблема Гольдбаха). Если обозначить через 
  
    
      
        Q
        =
        
          {
          
            0
          
          }
        
        ∪
        
          {
          
            
              n
              
                2
              
            
            :
            n
            ∈
            
              
                N
              
            
          
          }
        
      
    
    {\displaystyle Q=\left\lbrace {0}\right\rbrace \cup \left\lbrace {n^{2}:n\in {\mathbb {N} }}\right\rbrace }
  
 множество всех квадратов неотрицательных чисел, то в терминах аддитивной комбинаторики (см. раздел с обозначениями ниже) теорему Лагранжа можно записать как
 В ходе решения подобных задач возникали и другие аналогичные, с другими множествами, но похожими формулировками. Всё это сформировало область математики, называемую аддитивной теорией чисел.
 Однако аддитивную комбинаторику не следует воспринимать как обобщение или развитие аддитивной теории чисел — хотя задачи последней могут быть удобно записаны в терминах аддитивной комбинаторики, но её общие методы к ним, как правило, не применимы. Теория чисел всегда рассматривает множества специального вида — простые числа, квадраты, другие степени, числа с малым количеством делителей и т. д. Аддитивная же комбинаторика пытается понять структуру сложения как таковую, вывести как можно более общие результаты.
 Тем не менее, первые результаты, которые можно по духу отнести к аддитивно-комбинаторным, зарождались в начале XX века именно как часть теории чисел (называемая также комбинаторной теорией чисел). Таким, например, является метод Шнирельмана для решения проблемы Гольдбаха (который был также применён Линником для проблемы Варинга) — он основан на теореме Шнирельмана о множестве сумм чисел из двух произвольных множеств, о которых известна только их плотность (следует заметить, что при этом само специфическое определение плотности по Шнирельману, использовавшееся в этой теореме, в аддитивной комбинаторике как объект для изучения не прижилось).
 Возникшая в первой половине XX века теория Рамсея также анализировала различные представления о структурированности. Утверждения теории Рамсея касаются наличия хотя бы малого «островка» структурности в достаточно сложных (по количеству элементарных частей) объектах.
 Однако теория Рамсея рассматривает не подмножества, а разбиения заданного множества (например, множества рёбер графа, натуральных чисел или части булеана конечного множества), и результат о структуре имеет в виду наличие структурированности у одного из элементов разбиения, и, как правило, непонятно, у какого. Следовательно, о каком-то отдельном подмножестве ничего сказать нельзя.
 Наглядным примером является теорема ван дер Вардена — она говорит, что при любом разбиении натуральных чисел на конечное число классов хотя бы в одном из классов будет присутствовать арифметическая прогрессия (любой заданной длины). При этом очевидно, что в любом разбиении есть класс, плотность чисел в котором больше, чем в других, и интуитивно кажется, что прогрессия должна находиться в этом множестве — ведь здесь больше всего элементов, то есть больше всего возможностей. Очевидно также, что самое большое множество будет иметь положительную (ненулевую) плотность. Однако доказать, что абсолютно любое бесконечное множество натуральных чисел положительной плотности содержит в себе арифметическую прогрессию, не получается просто через теорему ван дер Вардена — по ней прогрессия может оказаться в любом классе, даже самом маленьком. Для доказательства наличия прогрессии в любом плотном множестве приходится привлекать намного более сложные средства — решение этой задачи получило название теоремы Семереди, которая как раз считается классическим аддитивно-комбинаторным результатом.
 Гибким инструментом для оценки упорядоченности множества, сыгравшим значительную роль и в аддитивной теории чисел, являются тригонометрические суммы (суммы корней из единицы, соответствующих числам множества). Они стали инструментом и объектом для изучения и в аддитивной комбинаторике, поскольку допускают довольно общее применение.
 Ещё Гаусс, первым исследовавший тригонометрические суммы, обнаружил через них связь распределения всех возможных разностей чисел из заданного множества и самого множества. Исследуя квадратичные вычеты, Гаусс рассматривал сумму
 и выводил оценку для квадрата её модуля:
 Оценка этой суммы получалась чисто комбинаторно из свойств выражения 
  
    
      
        
          x
          
            2
          
        
        −
        
          y
          
            2
          
        
      
    
    {\displaystyle x^{2}-y^{2}}
  
 при замене переменной 
  
    
      
        x
        =
        y
        +
        h
      
    
    {\displaystyle x=y+h}
  
. Таким образом, мультимножество разностей давало информацию о структуре множества самих квадратичных вычетов. В аддитивной комбинаторике действует похожий по идее подход, когда уже множество, а не мультимножество разностей (или сумм, произведений и т. д.) элементов из заданного множества даёт информацию о структуре этого множества. Такой переход — от мультимножества ко множеству — связан с переходом от количества решений того или иного уравнения (например, 
  
    
      
        
          a
          
            1
          
        
        +
        
          b
          
            1
          
        
        =
        
          a
          
            2
          
        
        +
        
          b
          
            2
          
        
        ,
        
          a
          
            i
          
        
        ∈
        A
        ,
        
          b
          
            i
          
        
        ∈
        B
      
    
    {\displaystyle a_{1}+b_{1}=a_{2}+b_{2},a_{i}\in A,b_{i}\in B}
  
) к представлению чисел в том или ином виде (например, в виде 
  
    
      
        a
        +
        b
        ,
        a
        ∈
        A
        ,
        b
        ∈
        B
      
    
    {\displaystyle a+b,a\in A,b\in B}
  
), который в принципе характерен для метода тригонометрических сумм.
 Отдельным фундаментом для развития новой науки о поэлементных суммах множеств (множествах сумм 
  
    
      
        A
        +
        B
        =
        
          {
          
            a
            +
            b
            :
            a
            ∈
            A
            ,
            b
            ∈
            B
          
          }
        
      
    
    {\displaystyle A+B=\left\lbrace {a+b:a\in A,b\in B}\right\rbrace }
  
) стала доказанная Григорием Фрейманом теорема о строении множеств с малым удвоением (то есть множеств, множество сумм двух элементов которых имеет малый размер, или проще говоря, суммы элементов из которых часто совпадают).
 Вопросы о суммах элементов из того или иного множества рассматривались также Эрдёшем и Семереди без введения специальной символики для обозначения суммирования множеств.
 Важным понятием аддитивной комбинаторики является множество сумм
 для конечных множеств 
  
    
      
        A
        ,
        B
        ∈
        
          G
        
      
    
    {\displaystyle A,B\in \mathrm {G} }
  
, где 
  
    
      
        (
        
          G
        
        ,
        +
        )
      
    
    {\displaystyle (\mathrm {G} ,+)}
  
 — группа. Размер такого множества определяется структурой 
  
    
      
        A
      
    
    {\displaystyle A}
  
 и 
  
    
      
        B
      
    
    {\displaystyle B}
  
 относительно операции 
  
    
      
        +
      
    
    {\displaystyle +}
  
. Если 
  
    
      
        A
      
    
    {\displaystyle A}
  
 и 
  
    
      
        B
      
    
    {\displaystyle B}
  
 — арифметические прогрессии, то 
  
    
      
        
          |
        
        A
        +
        B
        
          |
        
      
    
    {\displaystyle |A+B|}
  
 мало. А если, например, 
  
    
      
        A
        ,
        B
        ∈
        
          
            
              Z
            
          
          
            n
          
        
      
    
    {\displaystyle A,B\in {\mathbb {Z} }_{n}}
  
 выбраны случайно по схеме Бернулли, то 
  
    
      
        
          |
        
        A
        +
        B
        
          |
        
      
    
    {\displaystyle |A+B|}
  
 очень велико. Промежуточные случаи между указанными двумя как раз и представляют аддитивно-комбинаторный интерес.
 Кроме того, интересна сама по себе структура множеств 
  
    
      
        A
        +
        B
      
    
    {\displaystyle A+B}
  
. В частности, по состоянию на 2018 год нет общих критериев (кроме прямого перебора), позволяющих определить, представляется ли заданное множество в виде 
  
    
      
        A
        +
        A
      
    
    {\displaystyle A+A}
  
.
 В таблице ниже представлены теоремы и неравенства аддитивной комбинаторики, связывающие различные характеристики подмножеств групп. Утверждение, указанное в ячейке, связывает характеристики, указанные в её строке и столбце. Приведены лишь некоторые, наиболее известные, из таких теорем.
 Для краткости в заголовках используются следующие сокращения:
 Также в ячейках используется несколько специфических обозначений:
 Норма Гауэрса — обобщение понятия коэффициентов Фурье, придуманное Уильямом Гауэрсом в ходе доказательства теоремы Семереди.
 Изоморфизм Фреймана — это отображение из подмножества одной группы в подмножество другой, сохраняющее отношение равенства сумм заданного количества элементов множества.
 Конечное множество 
  
    
      
        A
        =
        
          {
          
            
              a
              
                1
              
            
            ≤
            ⋯
            ≤
            
              a
              
                n
              
            
          
          }
        
      
    
    {\displaystyle A=\left\lbrace {a_{1}\leq \dots \leq a_{n}}\right\rbrace }
  
 вещественных чисел называется выпуклой последовательностью (или выпуклым множеством) если 
  
    
      
        
          a
          
            i
            +
            1
          
        
        −
        
          a
          
            i
          
        
        <
        
          a
          
            i
            +
            2
          
        
        −
        
          a
          
            i
            +
            1
          
        
      
    
    {\displaystyle a_{i+1}-a_{i}<a_{i+2}-a_{i+1}}
  
 для 
  
    
      
        i
        =
        1
        ,
        …
        ,
        n
        −
        2
      
    
    {\displaystyle i=1,\dots ,n-2}
  
, то есть если 
  
    
      
        A
      
    
    {\displaystyle A}
  
 является образом отрезка 
  
    
      
        
          {
          
            1
            ,
            …
            ,
            n
          
          }
        
      
    
    {\displaystyle \left\lbrace {1,\dots ,n}\right\rbrace }
  
 для некоторой строго выпуклой функции. Свойства таких множеств широко изучаются в аддитивной комбинаторике. Это понятие не стоит путать с выпуклым множеством в обычном смысле.
 Множество Бора — структура с малым удвоением, используемая иногда в доказательствах как ослабленный аналог понятия подпространства.. Определяется как множество элементов поля, на которых все аддитивные характеры из заданного семейства имеют малое значение. Множества Бора содержат в себе большие обобщённые арифметические прогрессии, так что наличие во множестве прогрессий иногда доказывается через наличие в нём нужного множества Бора.
 Почти периодичная функции — функция 
  
    
      
        f
      
    
    {\displaystyle f}
  
 такая, что норма 
  
    
      
        
          |
        
        
          |
        
        f
        (
        x
        +
        t
        )
        −
        f
        (
        x
        )
        
          |
        
        
          
            |
          
          
            p
          
        
      
    
    {\displaystyle ||f(x+t)-f(x)||_{p}}
  
 достаточно мала для некоторого 
  
    
      
        p
      
    
    {\displaystyle p}
  
 и для всех 
  
    
      
        t
        ∈
        T
      
    
    {\displaystyle t\in T}
  
, где 
  
    
      
        T
      
    
    {\displaystyle T}
  
 — некоторое множество (например, множество Бора). На таких множествах построено одно из доказательств теоремы Рота.
 Множество больших тригонометрических сумм (иногда называется также спектром) множества 
  
    
      
        A
        ⊂
        
          
            
              Z
            
          
          
            p
          
        
      
    
    {\displaystyle A\subset {\mathbb {Z} }_{p}}
  
 — это множество вычетов 
  
    
      
        r
      
    
    {\displaystyle r}
  
, для которых сумма 
  
    
      
        
          ∑
          
            a
            ∈
            A
          
        
        
          
            e
            
              p
            
          
          (
          a
          r
          )
        
      
    
    {\displaystyle \sum \limits _{a\in A}{e_{p}(ar)}}
  
 (коэффициент Фурье) имеет большой модуль.
 Диссоциативным множеством 
  
    
      
        A
      
    
    {\displaystyle A}
  
 называется множество, для которого линейные комбинации

  
    
      
        
          ∑
          
            a
            ∈
            A
          
        
        
          
            ε
            
              a
            
          
          a
        
        =
        0
      
    
    {\displaystyle \sum \limits _{a\in A}{\varepsilon _{a}a}=0}
  
 равны нулю, где 
  
    
      
        ∀
        a
        ∈
        A
        :
        
          ε
          
            a
          
        
        ∈
        
          {
          
            −
            1
            ,
            0
            ,
            1
          
          }
        
      
    
    {\displaystyle \forall a\in A:\varepsilon _{a}\in \left\lbrace {-1,0,1}\right\rbrace }
  
,
только когда все 
  
    
      
        
          ε
          
            a
          
        
      
    
    {\displaystyle \varepsilon _{a}}
  
 равны нулю.
В частности, это означает что суммы элементов из двух различных подмножеств всегда различны . Диссоциативность можно рассматривать как аналог линейной независимости над 
  
    
      
        
          {
          
            −
            1
            ,
            0
            ,
            1
          
          }
        
      
    
    {\displaystyle \left\lbrace {-1,0,1}\right\rbrace }
  
.
 Конечно, несмотря на существование мощных и сложных методов изучения теорем аддитивной комбинаторики, некоторые приёмы и задачи поддаются элементарному описанию. Из неравенства Коши 
  
    
      
        
          
            (
            
              
                ∑
                
                  i
                  =
                  1
                
                
                  n
                
              
              
                
                  a
                  
                    i
                  
                
              
            
            )
          
          
            2
          
        
        ≤
        n
        
          ∑
          
            i
            =
            1
          
          
            n
          
        
        
          
            
              
                a
                
                  i
                
              
            
            
              2
            
          
        
      
    
    {\displaystyle \left({\sum \limits _{i=1}^{n}{a_{i}}}\right)^{2}\leq n\sum \limits _{i=1}^{n}{{a_{i}}^{2}}}
  
 выводятся свойства аддитивной энергии, применяемые почти повсеместно. Вообще при элементарном подходе часто анализируется число решений тех или иных уравнений. Также часто применяется аргумент среднего — например, при разложении числа решений уравнения на сумму числа решений при том или ином значении отдельной переменной.
 Элементарными методами можно доказать теорему Рота и теорему Коши — Давенпорта.
 Однако многие доказательства, полученные другими методами, не имеют элементарных аналогов.
 Одним из самых знаковых комбинаторных доказательств аддитивной комбинаторики является первое из появившихся доказательство теоремы Семереди — в нём Семереди сформулировал и использовал так называемую лемму о регулярности, касающуюся чистой теории графов. Аналогии с этой теорией применяются и при доказательстве особых версий неравенства Плюннеке-Ружа или оценок типа Балога-Семереди-Гауэрса.
 Алгебраические методы в аддитивной комбинаторике используют свойства многочленов, которые строятся на основе тех или иных множеств. Степени таких многочленов, как правило, зависят от размеров изучаемых множеств, а множество корней многочленов может дать ту или иную информацию о суммах, пересечениях и т. д. исходных множеств.
 Примером инструмента для применения такого метода является комбинаторная теорема о нулях. С помощью неё может доказываться теорема Коши-Давенпорта и некоторые её обобщения.
 Другие применения алгебраического метода можно найти в доказательствах теоремы Рота для некоторых групп специального вида или в оценке размера пересечений сдвигов мультипликативных подгрупп полей 
  
    
      
        
          
            
              F
            
          
          
            p
          
        
      
    
    {\displaystyle {\mathbb {F} }_{p}}
  
 и доказательстве проблемы Варинга для простого поля (для этого используется, в частности, метод Степанова).
 Основным аналитическим инструментом в аддитивной комбинаторике являются коэффициенты Фурье. Это обусловлено тесной связью операции взятия коэффициента Фурье с операцией свёртки функций. Коэффициенты Фурье были применены ещё при первом доказательстве теоремы Рота. Их обобщением являются нормы Гауэрса, науку о которых также называют анализом Фурье высших порядков.
 На примере коэффициентов Фурье (в частности, их применения к доказательству теоремы Рота) лучше всего иллюстрируется так называемый итеративный аргумент, когда рассмотрение произвольного множества разбивается на два случая — когда у множества нет больших (относительно размера множества) коэффициентов Фурье и когда есть. В первом случае можно напрямую воспользоваться свойствами коэффициентов Фурье, а во втором — найти подструктуру множества с большей плотностью в бесконечной арифметической прогрессии, причём с настолько большей, что количество таких возможных шагов до достижения предельной плотности будет ограничено величиной, зависящей от общей плотности начального множества. Это обнаруживает идею разделения на случай псевдослучайного множества и множества с некой глобальной структурой. Такая идея нашла отражение и в других методах.
 Другой аналитический подход заключается в исследовании почти периодичности функций, связанных с характеристическими функциями исследуемых множеств.
 Эргодический подход предполагает применение к задачам аддитивной комбинаторики результатов из теории динамических систем. Впервые этот подход был применён Хиллелем Фюрстенбергом к теореме Семереди, но вскоре оказалось, что он допускает обобщение на намного более широкий круг задач.
 Теория динамических систем часто позволяет доказать результаты, недоступные для переформулировки другими методами, но при этом не способна дать никаких количественных оценок (например, оценок на плотность множества в теореме Семереди).
 К рассматриваемой науке имеют приложения и некоторые другие области: