On generalized Stanley sequences

From MaRDI portal



Abstract: Let mathbbN denote the set of all nonnegative integers. Let kge3 be an integer and A0=a1,dots,at (a1<ldots<at) be a nonnegative set which does not contain an arithmetic progression of length k. We denote A=a1,a2,dots defined by the following greedy algorithm: if lget and a1,dots,al have already been defined, then al+1 is the smallest integer a>al such that a1,dots,alcupa also does not contain a k-term arithmetic progression. This sequence A is called the Stanley sequence of order k generated by A0. In this paper, we prove some results about various generalizations of the Stanley sequence.


A strictly increasing sequence \(A\) of non-negative integers is called an AP\({}_k\)-covering sequence, if there exists an \(n_0\), such that for all \(n>n_0\), number \(n\) and some \((k-1)\) terms of the sequence, each less then \(n\), make a \(k\)-term arithmetic progression. Let \(A(n)\) enumerate the number of terms of the sequence \(A\) up to \(n\). The paper proves that there exists an AP\({}_3\)-covering sequence \(A\) such that \(\liminf \frac{A(n)}{\sqrt{n}}\leq 2\) and that there exists an AP\({}_3\)-covering sequence \(A\) such that \(\limsup \frac{A(n)}{\sqrt{n}}\leq 36\). More general, they prove that there exists an AP\({}_k\)-covering sequence \(A\) such that \(A(n)=O((\log n)^{\frac{1}{k-1}} n^{\frac{k-2}{k-1}})\), where the constant in the big-Oh term may depend on \(k\). The paper poses the following conjectures: for any integer \(k \geq 3\), there exists an AP\({}_k\)-covering sequence \(A\) such that \(\limsup \frac{A(n)}{n^{{(k-2)}/{(k-1)}}}<\infty\), and for any integer \(k \geq 3\) there exists a positive constant \(c_k\), such that for any AP\({}_k\)-covering sequence \(A\), \(\liminf \frac{A(n)}{n^{{(k-2)}/{(k-1)}}}>c_k\).











This page was built for publication: On generalized Stanley sequences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1747975)