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

About 12 years old · traced to

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

bi={aii≤n(m+1)bi−1−(m−1)bi−2i>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)an−1−(m−1)an−2,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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.