Extension conjecture for Nim sequences under the recurrence bi=(m+1)bi1(m1)bi2b_i=(m+1)b_{i-1}-(m-1)b_{i-2}

From papers

Let (ai)i=0n(a_i)_{i=0}^n with n2n\geq2 be a finite representing sequence with representation word ww, and let mm be an integer with n2n\geq2. Define (bi)(b_i) by

bi={aiin(m+1)bi1(m1)bi2i>n,b_i=\begin{cases} a_i & i\leq n\\ (m+1)b_{i-1}-(m-1)b_{i-2} & i>n,\end{cases}

and let vv be the representation word of (bi)(b_i). Extension conjecture. If ww is the Nim sequence of T((ai))T((a_i)) and

an=(m+1)an1(m1)an2,a_n=(m+1)a_{n-1}-(m-1)a_{n-2},

then vv is the Nim sequence of T((bi))T((b_i)). The conjecture concerns extending a Nim-sequence-producing representing sequence by an eventual recurrence with parameter mm; its resolution is not given in the supplied text.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Nathan Fox, “On Aperiodic Subtraction Games with Bounded Nim Sequence”, arXiv:1407.2823 (2014).

Solutions 0

No solutions have been posted yet.