On the growth of Stanley sequences
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=a0<a1<⋯<at, the \emph{Stanley sequence} S(A)={an} is defined using the greedy algorithm: For each successive n>t, we pick the smallest possible an so that {a0,a1,…,an} 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 αnlog23/2≤an≤αnlog23, for some constant α, while those of Type 2 are chaotic and satisfy Θ(n2/logn). In this paper, we consider the possible values for α in the growth of Type 1 Stanley sequences. Whereas Odlyzko and Stanley assumed α=1, we show that α can be any rational number which is at least 1 and for which the denominator, in lowest terms, is a power of 3.