The branch of number theory that studies additive properties of integers and other abelian groups: sumsets, representation of integers as sums of elements from sets, structural inverse questions, and density or combinatorial constraints on additive configurations.

Principle

Organize around addition and combinatorial structure: study A+B and kA (sumsets), representation functions r_{A}(n), density notions (upper/lower density, Schnirelmann density), and inverse theorems that deduce structural descriptions from additive combinatorial constraints.

Demonstration

Apply the Cauchy–Davenport theorem to estimate |A+B| in Z/pZ; use the circle method or combinatorial density arguments to obtain partial results toward problems like representations by sums of primes or Waring-type statements; illustrate Freiman's theorem to describe sets with small doubling.

Misapplication

Treat multiplicative heuristics or multiplicative identities as if they governed additive representation problems, or assume metric/average-case statements immediately provide uniform deterministic representations without quantifying exceptional sets.

Consequence

Correct application yields structural classification of sets with additive constraints, bounds on representation functions, inverse theorems linking small doubling to approximate groups, and powerful hybrid analytic-combinatorial results for representation problems.

Reversal

Contrast with multiplicative theory where prime factor structure and multiplicative convolution are central; reversing would shift focus from sumsets and densities to multiplicative arithmetic functions and Euler products.

Boundary

Focuses on additive structure in integers or abelian groups; it typically excludes deep multiplicative factorization questions, and while analytic tools (circle method) are used, algebraic geometry and automorphic perspectives are not intrinsic unless translated into additive terms.

Semantic Tension

There is tension between purely combinatorial/inverse perspectives and analytic methods (circle method, exponential sums) that give global average results; also between additive and multiplicative viewpoints on concrete problems.

Synthesis

Additive Number Theory examines how sums of elements from sets produce arithmetic structure: by combining combinatorial density, inverse theorems and analytic techniques it classifies small-doubling sets, estimates representation counts, and addresses additive representation problems among integers and abelian groups.