Additive Subtraction Games
This solves a long-standing open problem in combinatorial game theory, providing a complete proof for a claim from 1982.
The paper tackles the problem of determining the full nim-value structure of additive subtraction games in the primitive quadratic regime, establishing that each nim-value sequence resides on a linear shift of the classical P-positions.
We determine the full nim-value structure of additive subtraction games in the {\em primitive quadratic} regime. The problem appears in Winning Ways by Berlekamp et al. in 1982; it includes a closed formula, involving Beatty-type {\em bracket expressions} on rational moduli, for determining the P-positions, but to the best of our knowledge, a complete proof of this claim has not yet appeared in the literature; Miklós and Post (2024) established outcome-periodicity, but without reference to that closed formula. The primitive quadratic case captures the source of the quadratic complexity of the problem, a claim supported by recent research in the dual setting of sink subtraction with Bhagat et al. This study focuses on a number theoretic solution involving the classical closed formula, and we establish that each nim-value sequence resides on a linear shift of the classical P-positions.