arXiv++ Combinatorics

A family of nested recurrence relations $a(n+1) = n - a^{(m)}(n) + a^{(m+1)}(n)$, parameterized by an integer $m \ge 1$ with initial condition $a(1)=1$, is studied. We prove that $a(n)=n-h(n)$ is the unique solution satisfying this condition, where $h(n)$ is an arithmetical sequence in which each non-negative integer $k$ appears $mk+1$ times, with $h(n)$ 1-indexed such that $h(1)=0$. An explicit floor formula for $h(n)$ (and thus for $a(n)$) is derived. The proof of the main theorem involves establishing a key identity for $h(n)$ that arises from the recurrence; this identity is then proved using arithmetical properties of $h(n)$ and the iterated function $a^{(m)}(n)$ at critical boundary points. Combinatorial interpretations for $a(n)$ and its partial sums (for $m=2$), and connections to The On-Line Encyclopedia of Integer Sequences (OEIS), including generalizations of Connell's sequence, are also discussed.

We discuss an interesting sequence defined recursively; namely, sequence A105774 from the On-Line Encyclopedia of Integer Sequences, and study some of its properties. Our main tools are Fibonacci representation, finite automata, and the Walnut theorem-prover. We also prove two new results about synchronized sequences.

If the list of binary numbers is read by upward-sloping diagonals, the resulting ``sloping binary numbers'' 0, 11, 110, 101, 100, 1111, 1010, ... (or 0, 3, 6, 5, 4, 15, 10, ...) have some surprising properties. We give formulae for the n-th term and the n-th missing term, and discuss a number of related sequences.