Unique Extension conjecture for 4 × n Chomp

A position in 4×n4 \times n Chomp is a quadruple (a,b,c,d)(a,b,c,d) of non-negative integers with abcd0a\geq b\geq c\geq d\geq 0; a P-position is a position from which the previous player has a winning strategy. For any triple (a,b,c)(a,b,c) with abc0a\geq b\geq c\geq 0, Unique Extension conjecture. there exists at most one non-negative integer dd such that (a,b,c,d)(a,b,c,d) is a P-position of 4×n4\times n Chomp. The conjecture was tested on all 4,316,097 computed P-positions with n500n\leq 500, but the stated claim is disproved because multiple (a,b,c,d)(a,b,c,d) may share the same (b,c,d)(b,c,d) triple; the distinction between prefix and suffix projections should be checked against the intended formulation.

Sources & referencesView supporting material

Primary source

Arnav Garg, “Structural Results for 4 x n Chomp: Unique Extension, Bimodal Asymptotic Structure, and Period-112 Geometry”, arXiv:2604.25952 (2026).

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.