arXiv++ Combinatorics

In 2003, Benoit Cloitre entered a family of sequences in the OEIS that we call hiccup sequences. We collect the various claims, observations, and proofs of properties of these sequences that have been entered in the OEIS over the years, and present a unified approach, inspired by a remarkable theorem of Bosma, Dekking, and Steiner.

We use the automatic theorem prover Walnut to resolve various open problems from the OEIS and beyond. Specifically, we clarify the structure of sequence A260311, which concerns runs of sums of upper Wythoff numbers. We extend a result of Hajdu, Tijdeman, and Varga on polynomials with nonzero coefficients modulo a prime. Additionally, we settle open problems related to the anti-recurrence sequences A265389 and A299409, as well as the subsumfree sequences A026471 and A026475. Our findings also give rise to new open problems.

Conway and Ryba considered a table of bi-infinite Fibonacci sequences and discovered new interesting patterns. We extend their considerations to tables that are defined by the recurrence $X_{n+1}=dX_n+X_{n-1}$ for natural numbers $d$. In our search for new patterns we run into a Red Wall and exotic numeration systems.

The Game of Cycles is an impartial game on a planar graph that was introduced by Francis Su. In this short note we address some questions that have been raised on the game, and raise some further questions.

Wythoff Nim aka Corner the Lady is a classic combinatorial game. A Queen is placed on an infinite chess board and two players take alternate turns, moving the Queen closer to the corner. The first player that corners the Queen wins. What happens if the Queen gets superior powers and is able to go off diagonal? In this paper we study the intriguing patterns that emerge from such games.

We modify Wythoff's game by allowing an additional move, which we call a "split", and show how the $P$-positions are coded by the Tribonacci word. We analyze the table of letter positions of arbitrary $k$-bonacci words and find a $\mathrm{mex}$-rule that generates the Quadribonacci table.