In mathematics, a Stanley sequence is an integer sequence generated by a greedy algorithm that chooses the sequence members to avoid arithmetic progressions. If S {\displaystyle S} is a finite set of non-negative integers on which no three elements form an arithmetic progression (that is, a Salem–Spencer set), then the Stanley sequence generated from S {\displaystyle S} starts from the elements of S {\displaystyle S} , in sorted order, and then repeatedly chooses each successive element of the sequence to be a number that is larger than the already-chosen numbers and does not form any three-term arithmetic progression with them. These sequences are named after Richard P. Stanley.
Binary–ternary sequence The Stanley sequence starting from the empty set consists of those numbers whose ternary representations have only the digits 0 and 1. That is, when written in ternary, they look like binary numbers. These numbers are
0, 1, 3, 4, 9, 10, 12, 13, 27, 28, 30, 31, 36, 37, 39, 40, ... (sequence A005836 in the OEIS) By their construction as a Stanley sequence, this sequence is the lexicographically first arithmetic-progression-free sequence. Its elements are the sums of distinct powers of three, the numbers n {\displaystyle n} such that the n {\displaystyle n} th central binomial coefficient is 1 mod 3, and the numbers whose balanced ternary representation is the same as their ternary representation. The construction of this sequence from the ternary numbers is analogous to the construction of the Moser–de Bruijn sequence, the sequence of numbers whose base-4 representations have only the digits 0 and 1, and the construction of the Cantor set as the subset of real numbers in the interval [ 0 , 1 ] {\displaystyle [0,1]} whose ternary representations use only the digits 0 and 2. More generally, they are a 2-regular sequence, one of a class of integer sequences defined by a linear recurrence relation with multiplier 2. This sequence includes three powers of two: 1, 4, and 256 = 35 + 32 + 3 + 1. Paul Erdős conjectured that these are the only powers of two that it contains.
Growth rate Andrew Odlyzko and Richard P. Stanley observed that the number of elements up to some threshold n {\displaystyle n} in the binary–ternary sequence, and in other Stanley sequences starting from { 0 , 3 k } {\displaystyle \{0,3^{k}\}} or { 0 , 2 ⋅ 3 k } {\displaystyle \{0,2\cdot 3^{k}\}} , grows proportionally to n log 2 3 ≈ n 0.631 {\displaystyle n^{\log _{2}3}\approx n^{0.631}} . For other starting sets { 0 , s } {\displaystyle \{0,s\}} the Stanley sequences that they considered appeared to grow more erratically but even more sparsely. For instance, the first irregular case is s = 4 {\displaystyle s=4} , which generates the sequence
0, 4, 5, 7, 11, 12, 16, 23, 26, 31, 33, 37, 38, 44, 49, 56, 73, 78, 80, 85, 95, 99, ... (sequence A005487 in the OEIS) Odlyzko and Stanley conjectured that in such cases the number of elements up to any threshold n {\displaystyle n} is O ( n log n ) {\displaystyle O{\bigl (}{\sqrt {n\log n}}{\bigr )}} . That is, there is a dichotomy in the growth rate of Stanley sequences between the ones with similar growth to the binary–ternary sequence and others with a much smaller growth rate; according to this conjecture, there should be no Stanley sequences with intermediate growth. Moy proved that Stanley sequences cannot grow significantly more slowly than the conjectured bound for the sequences of slow growth. Every Stanley sequence has Ω ( n ) {\displaystyle \Omega {\bigl (}{\sqrt {n}}{\bigr )}} elements up to n {\displaystyle n} . More precisely Moy showed that, for every such sequence, every ε > 0 {\displaystyle \varepsilon >0} , and all sufficiently large n {\displaystyle n} , the number of elements is at least ( 2 − ε ) n {\displaystyle ({\sqrt {2}}-\varepsilon ){\sqrt {n}}} . Relatedly, Dai and Chen proved that the number of elements is at least 1.77 n {\displaystyle 1.77{\sqrt {n}}} for infinitely many n {\displaystyle n} . Rolnick and Venkataramana also proved that for Stanley sequences that grow as n log 2 3 {\displaystyle n^{\log _{2}3}} the constant factor in their growth rates can be any rational number whose denominator is a power of three.
… excerpt ends here. Continue reading the full article.
