Conjecture on periodicity of complementary Beatty-sequence games

Let (an)=(αn+δ)(a_n)=(\lfloor\alpha n+\delta\rfloor) and (bn)=(βn+γ)(b_n)=(\lfloor\beta n+\gamma\rfloor) be complementary Beatty sequences, with α,β,δ,γR\alpha,\beta,\delta,\gamma\in\mathbb{R} and α,β>0\alpha,\beta>0. Let GG be the invariant game whose move set is

M(G)={(an,bn)nN},\mathcal{M}(G)=\{(a_n,b_n)\mid n\in\mathbb{N}\},

with symmetric moves also allowed. A set of positions is periodic when every sufficiently large position in it lies on an infinite arithmetic ray as defined in the source.

Beatty-periodicity conjecture. The set P(G)\mathcal{P}(G) is periodic if and only if the modulus α\alpha of (an)(a_n) is rational. This proposes a complete rational-versus-irrational criterion for periodicity of the PP-positions of these invariant subtraction games; the source leaves it open.

Sources & referencesView supporting material

Primary source

Urban Larsson, “The -operator and Invariant Subtraction Games”, arXiv:1009.4220 (2010).

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.