arXiv++ Combinatorics

This paper presents the construction and various properties of substitution tilings related to Stern's diatomic series and based on tiles decorated with elements of $\mathbb{F}_p$ for some odd prime number $p$. These substitution tilings are additive in a sense that will be clarified later and lead to new nonperiodic tilings in one and two dimensions.

The Binary Two-Up Sequence is the lexicographically earliest sequence of distinct nonnegative integers with the property that the binary expansion of the n-th term has no 1-bits in common with any of the previous floor(n/2) terms. We show that the sequence can be decomposed into ``atoms'', which are sequences of 4, 6, or 8 numbers whose binary expansions match certain patterns, and that the sequence is the limiting form of a certain ``word'' involving the atoms. This leads to a fairly explicit formula for the terms, and in particular establishes the conjecture that every nonzero term is the sum of at most two powers of 2.