Let be an infinite subset of the natural numbers and its representation function, which denotes the number of ways that a natural number can be expressed as the sum of elements of . We then consider the accumulated representation function which counts the number of solutions to, where. The theorem then states that, for any given, the relation cannot be satisfied; that is, there is no satisfying the above estimate.
The Erdős–Fuchs theorem has an interesting history of precedents and generalizations. In 1915, it was already known by G. H. Hardy that in the case of the sequence of perfect squares one has This estimate is a little better than that described by Erdős–Fuchs, but at the cost of a slight loss of precision, P. Erdős and W. H. J. Fuchs achieved complete generality in their result. Another reason this result is so celebrated may be due to the fact that, in 1941, P. Erdős and P. Turán conjectured that, subject to the same hypotheses as in the theorem stated, the relation could not hold. This fact remained unproven until 1956, when Erdős and Fuchs obtained their theorem, which is even stronger than the previously conjectured estimate.
Improved versions for h = 2
This theorem has been extended in a number of different directions. In 1980, A. Sárközy considered two sequences which are "near" in some sense. He proved the following:
Theorem.If and are two infinite subsets of natural numbers with, then cannot hold for any constant.
In 1990, H. L. Montgomery and R. C. Vaughan were able to remove the log from the right-hand side of Erdős–Fuchs original statement, showing that cannot hold. In 2004, G. Horváth extended both these results, proving the following:
Theorem. If and are infinite subsets of natural numbers with and, then cannot hold for any constant.
General case (h ≥ 2)
The natural generalization to Erdős–Fuchs theorem, namely for, is known to hold with same strength as the Montgomery–Vaughan's version. In fact, M. Tang showed in 2009 that, in the same conditions as in the original statement of Erdős–Fuchs, for every the relation cannot hold. In another direction, in 2002, G. Horváth gave a precise generalization of Sárközy's 1980 result, showing that
TheoremIf are infinite subsets of natural numbers and the following estimates are valid:
Non-linear approximations
Yet another direction in which the Erdős–Fuchs theorem can be improved is by considering approximations to other than for some. In 1963, P. T. Bateman, E. E. Kohlbecker and J. P. Tull proved a slightly stronger version of the following:
Theorem. Let be a slowly varying function which is either convex or concave from some point onward. Then, on the same conditions as in the original Erdős–Fuchs theorem, we cannot have, whereifis bounded, and otherwise.
At the end of their paper, it is also remarked that it is possible to extend their method to obtain results considering with, but such results are deemed as not sufficiently definitive.
