Zentralblatt MATH
Publications of (and about) Paul Erdös
Zbl.No: 539.10038
Autor: Erdös, Paul; Nathanson, Melvyn B.
Title: Lagrange's theorem and thin subsequences of squares. (In English)
Source: Contributions to probability, Collect. Pap. dedic. E. Lukacs, 3-9 (1981).
Review: [For the entire collection see Zbl 527.00019.]
Lagrange showed that every natural number is the sum of at most four squares of integers. In this paper the question is raised whether there are "thin" subsequences A of squares such that every natural number can still be expressed as the sum of at most four squares in A. An answer is given by the following theorem: For every \epsilon > 0 there exist a subsequence A\epsilon of squares and a constant c = c(\epsilon) > 0 such that every natural number is the sum of at most four squares in A\epsilon and (*) A\epsilon(x): = |A\epsilon\cap[1,x]| \leq cx3/8+\epsilon [c.f. M. B. Nathanson, Lect. Notes Math. 899, 301-310 (1981; Zbl 476.10042)]. The authors conjecture that the exponent in (*) can be reduced to 1/4+\epsilon (meanwhile proved by the reviewer; to appear).
Two other theorems state similar properties on the representation of integers n\ne 4k(8m+7) as the sum of three squares and on the representation of even integers as the sum of two products of at most two odd primes. Here the exponents in the inequalities corresponding to (*) are - apart from the \epsilon- best possible (1/3+\epsilon and ½+\epsilon respectively).
All these results are based on a general lemma, which is proved by probabilistic methods developed by the first author and A. Rényi [Acta Arith. 6, 83-110 (1960; Zbl 091.04401)].
Reviewer: J.Zöllner
Classif.: * 11P05 Waring's problem and variants
11B13 Additive bases
11P32 Additive questions involving primes
11K99 Probabilistic theory
Keywords: sums of squares; additive bases; probabilistic methods; representation of integers; sum of at most four squares; sum of three squares; representation of even integers; sum of two products of at most two odd primes
Citations: Zbl 527.00019; Zbl 476.10042; Zbl 091.04401
© European Mathematical Society & FIZ Karlsruhe & Springer-Verlag