arxiv:math/0305087v1 [math.nt] 6 May 003 The inverse problem for representation functions of additive bases Melvyn B. Nathanson Department of Mathematics Lehman College (CUNY) Bronx, New York 10468 Email: nathansn@alpha.lehman.cuny.edu June 4, 018 Abstract Let A be a set of integers. For every integer n, let r A,(n) denote the number of representations of n in the form n = a 1+a, where a 1,a A a 1 a. The function r A, : Z N 0 { } is the representation function of order for A. The set A is called an asymptotic basis of order if r 1 A, (0) is finite, that is, if every integer with at most a finite number of exceptions can be represented as the sum of two not necessarily distinct elements of A. It is proved that every function is a representation function, that is, if f : Z N 0 { } is any function such that f 1 (0) is finite, then there exists a set A of integers such that f(n) = r A,(n) for all n Z. Moreover, the set A can be constructed so that card{a A : a x} x 1/3. 1 Representation functions Let N, N 0, Z denote the positive integers, nonnegative integers, integers, respectively. Let A B be sets of integers. We define the sumset A+B = {a+b : a A b B},, in particular, A = A+A = {a 1 +a : a 1,a A} A+b = A+{b} = {a+b : a A}. 000 Mathematics Subject Classification: 11B13, 11B34, 11B05. Key words phrases. Additive bases, sumsets, representation functions, density, Erdős-Turán conjecture, Sidon set. This work was supported in part by grants from the NSA Mathematical Sciences Program the PSC-CUNY Research Award Program. 1
The restricted sumsets are Aˆ+B = {a+b : a A, b B, a b} A = Aˆ+A = {a 1 +a : a 1,a A a 1 a }. Similarly, we define the difference set We introduce the counting function A B = {a b : a A b B} A = {0} A = { a : a A}. A(y,x) = a A y a x Thus, A( x,x) counts the number of elements a A such that a x. For functions f g, we write f g if there exist numbers c 0 x 0 such that f(x) c 0 g(x) for all x x 0, f g if f(x) c 0 g(x) for all x x 0. In this paper we study representation functions of sets of integers. For any set A Z, the representation function r A, (n) counts the number of ways to write n in the form n = a 1 + a, where a 1,a A a 1 a. The set A is called an asymptotic basis of order if all but finitely many integers can be represented as the sum of two not necessarily distinct elements of A, or, equivalently, if the function satisfies 1. r A, : Z N 0 { } card(r 1 A, (0)) <. Similarly, the restricted representation function ˆr A, (n) counts the number of ways to write n in the form n = a 1 +a, where a 1,a A a 1 < a. The set A is called a restricted asymptotic basis of order if all but finitely many integers can be represented as the sum of two distinct elements of A. Let f : Z N 0 { } (1) be any function such that card(f 1 (0)) <. () The inverse problem for representation functions of order is to find sets Asuch that r A, (n) = f(n) for all n Z. Nathanson [4] proved that every function f satisfying (1) () is the representation function of an asymptotic basis of order, that such bases A can be arbitrarily thin in the sense that the
counting functions A( x, x) tend arbitrarily slowly to infinity. It remained an open problem to construct thick asymptotic bases of order for the integers with a prescribed representation function. In the special case of the function f(n) = 1 for all integers n, Nathanson [6] constructed a unique representation basis, that is, a set A of integers with r A, (n) = 1 for all n Z, with the additional property that A( x,x) logx. He posed the problem of constructing a unique representation basis A such that A( x,x) x α for some α > 0. In this paper we prove that for every function f satisfying (1) () there exist uncountably many asymptotic bases A of order such that r A, (n) = f(n) for all n Z, A( x,x) x 1/3. It is not known if there exists a real number δ > 0 such that one can solve the inverse problem for arbitrary functions f satisfying (1) () with A( x,x) x 1/3+δ. The Erdős-Turán conjecture The set A of nonnegative integers is an asymptotic basis of order for N 0 if the sumset A contains all sufficently large integers. If A is a set of nonnegative integers, then 0 r A, (n) < for every n N 0. It is not true, however, that if is a function with f : N 0 N 0 card ( f 1 (0) ) <, then there must exist a set A of nonnegative integers such that r A, (n) = f(n) for all n N 0. For example, Dirac [1] proved that the representation function of an asymptotic basis of order cannot be eventually constant, Erdős Fuchs [3] proved that the mean value n x r A,(n) of an asymptotic basis of order cannot converge too rapidly to cx for any c > 0. A famous conjecture of Erdős Turán [] states that the representation function of an asymptotic basis of order must be unbounded. This problem is only a special case of the general inverse problem for representation functions for bases for the nonnegative integers: Find necessary sufficient conditions for a function f : N 0 N 0 satisfying card ( f 1 (0) ) < to be the representation function of an asymptotic basis of order for N 0. It is a remarkable recent discovery that the inverse problem for representation functions for the integers,, more generally, for arbitrary countably infinite abelian groups countably infinite abelian semigroups with a group component, is significantly easier than the inverse problem for representation functions for the nonnegative integers for other countably infinite abelian semigroups (Nathanson [5]). 3
3 Construction of thick bases for the integers Let [x] denote the integer part of the real number x. Lemma 1 Let f : Z N 0 { } be a function such that f 1 (0) is finite. Let denote the cardinality of the set f 1 (0). Then there exists a sequence U = {u k } k=1 of integers such that, for every n Z k N, f(n) = card{k 1 : u k = n} [ ] k + u k. Proof. Every positive integer m can be written uniquely in the form m = s +s+1+r, where s is a nonnegative integer r s. We construct the sequence where V = {0, 1,0,1,, 1,0,1,, 3,, 1,0,1,,3,...} = {v m } m=1, v s +s+1+r = r for r s. For every nonnegative integer k, the first occurrence of k in this sequence is v k +1 = k, the first occurrence of k in this sequence is v (k+1) = k. The sequence U will be the unique subsequence of V constructed as follows. Let n Z. If f(n) =, then U will contain the terms v s +s+1+n for every s n. If f(n) = l <, then U will contain the l terms v s +s+1+n for s = n, n +1,..., n +l 1in the subsequence U, but not the terms v s +s+1+n for s n + l. Let m 1 < m < m 3 < be the strictly increasing sequence of positive integers such that {v mk } k=1 is the resulting subsequence of V. Let U = {u k } k=1, where u k = v mk. Then f(n) = card{k 1 : u k = n}. Let card ( f 1 (0) ) =. The sequence U also has the following property: If u k = n, then for every integer m f 1 (0) with m < n there is a positive integer j < k with u j = m. It follows that {0,1, 1,,,...,n 1, (n 1)}\f 1 (0) {u 1,u,...,u k 1 }, so This implies that k 1 (n 1)+1. u k = n k +. 4
Since u k is an integer, we have [ ] k + u k. This completes the proof. Lemma 1 is best possible in the sense that for every nonnegative integer there is a function f : Z N 0 { } with card ( f 1 (0) ) = a sequence U = {u k } k=1 of integers such that [ ] k + u k = for all k 1. (3) For example, if = δ +1 is odd, define the function f by { 0 if n δ f(n) = 1 if n δ +1 the sequence U by u i 1 = δ +i, u i = (δ +i) for all i 1. If = δ is even, define f by { 0 if δ n δ 1 f(n) = 1 if n δ or n δ 1 the sequence U by u 1 = δ u i = δ +i, u i+1 = (δ +i) for all i 1. In both cases the sequence U satisfies (3). Theorem 1 Let f : Z N 0 { } be any function such that Let = card(f 1 (0)) <. [ ] +1 c = 8+. There exist uncountably many sets A of integers such that r A, (n) = f(n) for all n Z ( x A( x,x) c ) 1/3. 5
Proof. Let = card(f 1 (0)). By Lemma 1, there exists a sequence U = {u k } k=1 of integers such that f(n) = card({i N : u i = n}) for all integers n (4) u k k + for all k 1. (5) We shall construct a strictly increasing sequence {i k } k=1 of positive integers an increasing sequence {A k } k=1 of finite sets of integers such that, for all positive integers k, (i) A k = k, (ii) There exists a positive number c such that A k [ ck 3,ck 3 ] (iii) r Ak,(n) f(n) for all n Z, (iv) For j = 1,...,k, r Ak,(u j ) card({i i k : u i = u j }). Let {A k } k=1 be a sequence of finite sets satisfying (i) (iv). We form the infinite set A = A k. k=1 Let x 8c, let k be the unique positive integer such that Conditions (i) (ii) imply that Since ck 3 x < c(k +1) 3. ( x ) 1/3 ( x ) 1/3. A( x,x) A k = k > c c conditions (iii) (iv) imply that for all n Z. f(n) = lim k card({i i k : u i = n}), r A, (n) = lim k r A k,(n) = f(n) 6
We construct the sequence {A k } k=1 as follows. Let i 1 = 1. The set A 1 will be of the form A 1 = {a 1 + u i1, a 1 }, where the integer a 1 is chosen so that A 1 f 1 (0) = a 1 +u i1 a 1. This is equivalent to requiring that a 1 (f 1 (0) u i1 ) ( f 1 (0)) { u i1 }. (6) This condition excludes at most 1 + integers, so we have at least two choices for the number a 1 such that a 1 1 + a 1 satisfies (6). Since u i1 = u 1 (1+ )/ a 1 +u i1 a 1 + u i1 3(1+ ), it follows that A 1 [ c,c] for any c 3(1 + )/, the set A 1 satisfies conditions (i) (iv). Let k suppose that we have constructed sets A 1,...,A k 1 integers i 1 < < i k 1 that satisfy conditions (i) (iv). Let i k > i k 1 be the least integer such that r Ak 1,(u ik ) < f(u ik ). Since i k 1 n {u 1,u,...,u ik 1} n Zr Ak 1,(n) ( ) k 1 = < k, r Ak 1,(n) it follows that Also, (5) implies that i k k. u ik i k + We want to choose an integer a k such that the set satisfies (i) (iv). We have A k = k if A k = A k 1 {a k +u ik, a k } a k +u ik a k k +. (7) A k 1 {a k +u ik, a k } =, 7
or, equivalently, if a k ( A k 1 ) (A k 1 u ik ) { u ik /}. (8) Thus, in order for A k 1 {a k +u ik, a k } to satisfy condition (i), we exclude at most A k 1 +1 = 4k 3 integers as possible choices for a k. The set A k will satisfy conditions (iii) (iv) if A k f 1 (0) = r Ak 1,(n) for all n A k 1 \{u ik } r Ak,(n) = r Ak 1,(n)+1 for n = u ik 1 for all n A k \(A k 1 {u ik }). Since the sumset A k decomposes into A k = (A k 1 {a k +u ik, a k }) it suffices that = A k 1 (A k 1 +{a k +u ik, a k }) {u ik,a k +u ik, a k }, (A k 1 +{a k +u ik, a k }) A k 1 =, (9) (A k 1 +{a k +u ik, a k }) f 1 (0) =, (10) (A k 1 +a k +u ik ) (A k 1 a k ) =, (11) {a k +u ik, a k } A k 1 = (1) {a k +u ik, a k } f 1 (0) = (13) {a k +u ik, a k } (A k 1 +{a k +u ik, a k }) =. (14) Equation (9) implies that the integer a k must be chosen so that it cannot be represented either in the form or a k = x 1 +x x 3 u ik a k = x 1 x x 3, wherex 1,x,x 3 A k 1. Sincecard(A k 1 ) = (k 1),itfollowsthatthenumber of integers that cannot be chosen as the integer a k because of equation (9) is at most ((k 1)) 3 = 16(k 1) 3. Similarly, the numbers of integersexcluded as possible choicesfor a k because ofequations(10), (11), (1),(13), (14)areatmost 4 (k 1),4(k 1),8(k 1),, 8(k 1), respectively, so the number of integers that cannot be chosen as a k is 16(k 1) 3 +1(k 1) +(4 +8)(k 1)+ = 16k 3 36k +(3+4 )k 1 (16+ )k 3 4k 3k(k 1) 1. 8
Let The number of integers a with [ ] +1 a ck 3 k = [ ] +1 c = 8+. ( 8+ [ +1 ]) k 3 k [ ] +1 (15) is ( 16+ [ +1 ]) k 3 k [ +1 ] +1 (16+ )k 3 k. If the integer a satisfies (15), then (7) implies that a+u ik a + u ik ck 3. It follows that there are at least two acceptable choices of the integer a k such that the set A k = A k 1 {a k + u ik, a k } satisfies conditions (i) (iv). Since this is true at each step of the induction, there are uncountably many sequences {A k } k=1 that satisfy conditions (i) (iv). This completes the proof. We can modify the proof of Theorem 1 to obtain the analogous result for the restricted representation function ˆr A, (n). Theorem Let f : Z N 0 { } be any function such that card(f 1 (0)) <. Then there exist uncountably many sets A of integers such that ˆr A, (n) = f(n) for all n Z A( x,x) x 1/3. 4 Representation functions for bases of order h We can also prove similar results for the representation functions of asymptotic bases restricted asymptotic bases of order h for all h. For any set A Z, the representation function r A,h (n) counts the number of ways to write n in the form n = a 1 +a + +a h, where a 1,a,...,a h A a 1 a a h. The set A is called an asymptotic basis of order h if all but finitely many integers can be represented as the sum of h not necessarily distinct elements of A, or, equivalently, if the function r A,h : Z N 0 { } 9
satisfies card(r 1 A,h (0)) <. Similarly, the restricted representation function ˆr A,h (n) counts the number of ways to write n as a sum of h pairwise distinct elements of A. The set A is called a restricted asymptotic basis of order h if all but finitely many integers can be represented as the sum of h pairwise distinct elements of A. Theorem 3 Let f : Z N 0 { } be any function such that card(f 1 (0)) <. There exist uncountably many sets A of integers such that r A,h (n) = f(n) for all n Z A( x,x) x 1/(h 1), there exist uncountably many sets A of integers such that ˆr A,h (n) = f(n) for all n Z A( x,x) x 1/(h 1). References [1] G. A. Dirac, Note on a problem in additive number theory, J. London Math. Soc. 6 (1951), 31 313. [] P. Erdős P. Turán, On a problem of Sidon in additive number theory some related questions, J. London Math. Soc. 16 (1941), 1 15. [3] P. Erdős W. H. J. Fuchs, On a problem of additive number theory, J. London Math. Soc. 31 (1956), 67 73. [4] M. B. Nathanson, Every function is the representation function of an additive basis for the integers, www.arxiv.org, math.nt/030091. [5], Representation functions of additive bases for abelian semigroups, Ramanujan J., to appear. [6], Unique representation bases for the integers, Acta Arith., to appear. 10