Cofinite subsets of asymptotic bases for the positive integers
type: Item
instance of: scholarly article
title: Cofinite subsets of asymptotic bases for the positive integers
zbMATH Open document ID: 0578.10056
DOI: 10.1016/0022-314X(85)90027-7
author: John C. M. Nash
author: Melvyn B. Nathanson
published in: Journal of Number Theory
publication date: 1985-01-01T00:00:00Z
review text: Let \(A\subseteq\mathbb Z\), \(| \{a\in A\mid a<0\}| <\infty\) and \(F\subseteq A\), \(| F| <\infty\). For \(h\in\mathbb N\) let \(hA:=\{\sum^h_{i=1} a_i\mid a_i\in A\}\). If there exists \(h\in\mathbb N\) such that \(hA\cap [n,\infty [=\mathbb N_0\cap [n,\infty [\) for some \(n\in\mathbb N_0\) then \(A\) is called an asymptotic basis. The smallest \(h\) with this property is denoted by \(g(A)\). Theorem 1 in this paper verifies a conjecture of the second author: If \(hA\) contains an infinite arithmetic progression with difference \(d:=\gcd \{a- a'\mid a,a'\in A\setminus F\}\), then there exists some \(h'\in\mathbb N\) such that \(h'(A\setminus F)\) contains an infinite arithmetic progression with difference \(d\). In particular, if \(A\) is an asymptotic basis, then \(A\setminus F\) is an asymptotic basis if and only if \(d=1\). This is a generalization of a result of \textit{P. Erdős} and \textit{R. L. Graham} [Acta Arith. 37, 201--207 (1980; Zbl 0443.10036)]. For given \(h,k\in\mathbb N\) let \(G_k(h):=\max_{g(A)\leq h}(\max_{F\subseteq A, | F| =k} g(A\setminus F))\). Theorem 4 states for \(h\geq 2\): \[ (h/(k+1))^{k+1}+O(h^k)\leq G_k(h)\leq (2/k!)h^{k+1}+O(h^k). \] Essential use of Kneser's addition theorem is made in the proof for the upper bound. For the estimate from below see the second author [Lect. Notes Math. 1052, 273--277 (1984; Zbl 0544.10058)].
Mathematics Subject Classification ID: 11B13
zbMATH DE Number: 3924916
zbMATH Keywords: exact order
zbMATH Keywords: asymptotic basis
zbMATH Keywords: infinite arithmetic progression
MaRDI profile type: Publication
cites work: On the bases with an exact order
cites work: Q5515488
cites work: Abschätzung der asymptotischen Dichte von Summenmengen
cites work: Sums of Finite Sets of Integers
cites work: Additive Number Theory and the Ring of Quantum Integers
cites work: Q5774054
Recommended article: On the order of subsets of asymptotic bases
Recommended article: The additive completion of \(k\)th powers
Recommended article: Structure theorem for multiple addition and the Frobenius problem
Recommended article: Squares in sumsets
Recommended article: On consecutive sums in sequences
Recommended article: Q3984102
Recommended article: Q4115212
Recommended article: \((k+1)\)-sums versus \(k\)-sums
Recommended article: Estimates related to sumfree subsets of sets of integers
Recommended article: On representation of r-th powers by subset sums
description: scientific article; zbMATH DE number 3924916