The Binary Two-Up Sequence
From MaRDI portal
Publication:6410173
arXiv2209.04108MaRDI QIDQ6410173FDOQ6410173
Authors: Michael De Vlieger, Thomas Scheuerle, Rémy Sigrist, N. J. A. Sloane, Walter Trump 
Publication date: 8 September 2022
Abstract: 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.
This page was built for publication: The Binary Two-Up Sequence
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6410173)
