The doubled-basis conjecture for peg-solitaire move spaces

Let S\mathfrak{S} be a peg-solitaire board, let D(S)\mathscr{D}(\mathfrak{S}) be its set of legal-move vectors, and let BD(S)\mathcal{B}\subset\mathscr{D}(\mathfrak{S}) be a basis of V(S,Q)V(\mathfrak{S},\mathbb{Q}). Define

V(B)=fBZf.V(\mathcal{B})=\sum_{{\mathfrak{f}}\in\mathcal{B}}\mathbb{Z}\cdot{\mathfrak{f}}.

Let F(S,Z)\mathscr{F}(\mathfrak{S},\mathbb{Z}) denote the relevant integer lattice generated by the legal-move vectors. Doubled-basis conjecture. If S\mathfrak{S} has no isolated points, then

2F(S,Z)V(B)=fBZf.2\mathscr{F}(\mathfrak{S},\mathbb{Z})\subset V(\mathcal{B})=\sum_{{\mathfrak{f}}\in\mathcal{B}}\mathbb{Z}\cdot {\mathfrak{f}}.

This is proposed as a related, potentially easier-to-handle formulation of the half-integrality phenomenon for the linear test.

Sources & referencesView supporting material

Primary source

Olivier Ramaré, “A stronger model for peg solitaire, II”, arXiv:0801.0679 (2008).

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.