On the growth of Stanley sequences

TL;DR

This paper investigates the growth rates of Type 1 Stanley sequences, showing that the constant factor in their polynomial growth can be any rational number at least 1 with a denominator that is a power of 3.

Contribution

It demonstrates that the growth constant lpha in Type 1 Stanley sequences can be any rational lpha t least 1 with denominator a power of 3, extending previous assumptions.

Findings

The growth constant lpha can be any rational lpha t least 1.

The denominator of lpha in lowest terms must be a power of 3.

This generalizes the previous assumption that lpha=1.

Abstract

A set is said to be \emph{3-free} if no three elements form an arithmetic progression. Given a 3-free set $A$ of integers $0=a_0<a_1<\cdots<a_t$, the \emph{Stanley sequence} $S(A)=\{a_n\}$ is defined using the greedy algorithm: For each successive $n>t$, we pick the smallest possible $a_n$ so that $\{a_0,a_1,\ldots,a_n\}$ is 3-free and increasing. Work by Odlyzko and Stanley indicates that Stanley sequences may be divided into two classes. Sequences of Type 1 are highly structured and satisfy $\alpha n^{\log_2 3}/2\le a_n\le \alpha n^{\log_2 3}$, for some constant $\alpha$, while those of Type 2 are chaotic and satisfy $\Theta(n^2/\log n)$. In this paper, we consider the possible values for $\alpha$ in the growth of Type 1 Stanley sequences. Whereas Odlyzko and Stanley assumed $\alpha=1$, we show that $\alpha$ can be any rational number which is at least 1 and for which the denominator, in lowest terms, is a power of 3.