Additive number theory

The branch of number theory dealing with problems involving the partitioning (or decomposition) of integers into summands of a given type, and also with the algebraic and geometric analogues of such problems concerning algebraic number fields and sets of lattice points. These problems are said to be additive, and the ones usually considered are partition problems of large integers.

Classical problems in additive number theory include: the representation of a number as a sum of four squares, nine cubes, etc. (cf. Waring problem); the representation of a given number as a sum of not more than three prime numbers (cf. Goldbach problem); and the representation of a given number as a sum of one prime number and two squares (cf. Hardy–Littlewood problem). Problems in additive number theory are solved by analytic, algebraic, elementary and mixed methods, and also by methods based on probabilistic concepts. Depending on the method selected, additive problems form a part of various branches of number theory — analytic, algebraic and probabilistic number theory.

The first systematic results in this field were obtained in 1748 by L. Euler, who employed power series to study the partition of integers into positive summands; in particular, he investigated the problem of partitioning a given number into a given number of summands.

Many classical problems in additive number theory are solved by means of generating functions. This method was introduced by Euler and forms the basis of the analytic methods developed by G.H. Hardy, J.E. Littlewood and I.M. Vinogradov. As a first step, assign to given sequences $ A _ {i} = \{ a _ {i} \} $( where $ a _ {i} \geq 0 $ is an integer, and $ i = 1,\ 2 ,\dots $) the power series

$$ f _ {i} ( z ) \ = \ \sum _ {0 \leq a _ {i} < \infty} z ^ {a} _ {i} $$

and consider the corresponding generating function

$$ F ( z ) \ = \ \prod _ {i=1} ^ { k } f _ {i} ( z ) \ = \ \sum _ {n = 0} ^ \infty r ( n ) z ^ {n} , $$

where $ r(n) = r _ {k,A} (n) $ is the number of representations of the number $ n $ in the form

$$ n \ = \ a _ {1} + \dots + a _ {k} ,\ \ a _ {i} \ \in \ A _ {i} ,\ \ A \ = \ \{ A _ {1} ,\ A _ {2} ,\dots \} . $$

Here $ r(n) $ can be calculated using the Cauchy integral. In Vinogradov's method trigonometric sums

$$ f _ {i} ( \alpha ) \ = \ \sum _ {0 \leq a _ {i} \leq n} e ^ {2 \pi i \alpha a _ i} , $$

$$ r ( n ) \ = \ \int\limits _ { 0 } ^ { 1 } F ( \alpha ) e ^ {2 \pi i \alpha a _ i} \ d \alpha , $$

are used instead of power series. A main part of $ r(n) $, located in intervals distributed over neighbourhoods of rational points, is extracted. Instead of the analytic properties of $ F(z) $ which, in several problems of additive number theory, necessitate the use of hypotheses related to the Riemann hypothesis (cf. Riemann hypotheses), a crucial role in the calculation of $ r (n) $ is played by purely arithmetic estimates of trigonometric sums by Vinogradov's method, and by the law of the distribution of prime numbers in arithmetic progressions, obtained by the analytic methods of the theory of Dirichlet $ L $- functions. It was found that, depending on $ k $, either $ r(n) \neq 0 $ for all $ n \geq 1 $ or $ r(n) \neq 0 $ for sufficiently large $ n $( $ n \geq n _ {0} (A) $), or the relation $ r(n) \neq 0 $ is valid for almost all values of $ n $, i.e.

$$ \lim\limits _ {x \rightarrow \infty} \ \left \{ \frac{\sum _ {\begin{array}{c} n \leq x , \\ r( n ) \neq 0 \end{array} } 1}{x} \right \} \ = \ 1 , $$

or, finally, $ r(n) $ can be expressed by an asymptotic formula. The smallest number $ k $ satisfying one of the properties above is denoted by $ g(A),\ G(A),\ G _ {0} (A) $, or $ k _ {0} (A) $, respectively. If $ \{ a _ {i} \} = \{ p \} $, where $ \{ p \} $ is the sequence of prime numbers, and $ k = 3 $, then one obtains Vinogradov's theorem: Every sufficiently large odd integer can be represented as a sum of three prime numbers; if $ k = 2 $, one obtains Chudakov's theorem: Almost all even integers can be represented as a sum of two prime numbers.

Certain problems in additive number theory are solved by studying the structure of the sets obtained by addition of sequences $ A _ {i} = \{ a _ {i} \} $ given only in terms of their densities $ d (A _ {i} ) = \inf _ {n} \ A _ {i} (n) / n $, where $ A _ {i} (n) = \sum _ {1 \leq a _ {i} \leq n} 1 $. If $ A _ {1} = \dots = A _ {k} = A $, then the positivity of $ d ( A _ {i} ) $ implies that $ g(A) < \infty $. The application of this result to problems in additive number theory in which sequences of density zero are added, is realized by constructing a new sequence, with a positive density, from the given sequence. This is done, mainly, by sieve methods (cf. Sieve method), by which it can be proved that $ d(A _ {i} ) $ is positive. It was shown by L.G. Shnirel'man in this way that positive integers can be represented as a sum of a bounded number of prime summands, while Yu.V. Linnik found an elementary solution of Waring's problem.

The elementary sieve methods of V. Brun (cf. Brun sieve) and of A. Selberg (cf. Selberg sieve), if applied to a number of problems in additive number theory, yield results which are as yet unobtainable by analytic tools. However, the most advanced solutions of certain problems in additive number theory are obtained by combining analytic and elementary methods. In sieve methods, the principle of sieving the prime numbers out of the sequence of positive integers (cf. Eratosthenes, sieve of) is extended to other sequences as well. Thus, a simultaneous, suitably accurate, sieving of the prime numbers $ \leq n ^ {\theta _ 1} $ and $ \leq n ^ {\theta _ 2} $, respectively (where $ \theta _ {1} < 1 $ and $ \theta _ {2} < 1 $ are suitably chosen positive constants) out of the sequences $ \{ m \} $ and $ \{ 2n - m \} $ yields a solution of the so-called Goldbach–Euler quasi-problem on the representation of an even integer as a sum of two numbers one of which has at most $ k _ {1} $, while the other has at most $ k _ {2} $ prime factors.

Linnik in 1959 successfully solved the Hardy–Littlewood problem by the dispersion method developed by him. He showed [2] that any sufficiently large integer can be represented as the sum of a prime number and two squares of integers. The dispersion method yielded solutions of several so-called binary problems, viz. how to find the number $ Q (n) $ of solutions of the equation $ \alpha + \beta = n $, where $ \alpha $ and $ \beta $ run through given sequences which are sufficiently well distributed in arithmetic progressions. Linnik's method involves the use of elementary concepts of probability theory, which were also employed by P.L. Chebyshev in his proof of the law of large numbers. It consists of reducing the given binary equation to a large number of auxiliary equations for which the expected number of solutions $ S _ {i} (n) $ and the true numbers of solutions $ Q _ {i} (n) $ of the equations are connected. If it is shown by a computation of the dispersion that $ Q _ {i} (n) $ does not differ much from $ S _ {i} (n) $" in the mean" , then $ Q (n) = \sum S _ {i} (n) $( within an acceptable error). The dispersion method was also employed in the study of the general Hardy–Littlewood equation.

The range of application of the dispersion method intersects with the range of application of the method of the large sieve, developed in 1941 by Linnik. The method makes it possible to sieve out sequences with the aid of prime numbers, with an increasing number of discarded residues. Actually, the method of the large sieve is a consequence of the laws of distribution of weakly-dependent random variables.

Additive number theory includes problems whose systematic study belongs to other branches of number theory: the problem of representing integers by quadratic or higher-degree expressions; and the study of Diophantine equations, which may be treated in the framework of general additive number theory.

In modern number theory various branches of additive number theory are now being intensively developed. There is a trend to transfer the problems and methods of additive number theory to arbitrary algebraic number fields.

References

[1]	I.M. Vinogradov, , Selected works , Springer (1985) (Translated from Russian)
[2]	Yu.V. Linnik, "The dispersion method in binary additive problems" , Amer. Math. Soc. (1963) (Translated from Russian)
[3]	L.-K. Hua, "Abschätzungen von Exponentialsummen und ihre Anwendung in der Zahlentheorie" , Enzyklopaedie der Mathematischen Wissenschaften mit Einschluss ihrer Anwendungen , 1 : 2 (1959) (Heft 13, Teil 1)
[4]	H.H. Ostmann, "Additive Zahlentheorie" , Springer (1956)
[5]	N.G. Chudakov, Uspekhi Mat. Nauk , 4 (1938) pp. 14–33
[6]	B.M. Bredikhin, "The dispersion method and definite binary additive problems" Russian Math. Surveys , 20 : 2 (1965) pp. 85–125 Uspekhi Mat. Nauk , 20 : 2 (1965) pp. 89–130
[7]	H. Davenport, "Multiplicative number theory" , Springer (1980)
[8]	H. Halberstam, H.-E. Richert, "Sieve methods" , Acad. Press (1974)

Comments

Elementary formulas for the number of partitions of an integer can be found in [a1], Chapt. XIX. To derive such formulas the method of generating functions (cf. Generating function) can be used.

The standard reference on the early historical aspects is, of course, [a2].

References

[a1]	G.H. Hardy, E.M. Wright, "An introduction to the theory of numbers" , Clarendon Press (1979)
[a2]	L.E. Dickson, "History of the theory of numbers" , 1–3 , Chelsea, reprint (1971)