Abstract:Impartial subtraction games on the nonnegative integers have been studied by many and discussed in detail in for example the remarkable work Winning Ways by Conway, Berlekamp and Guy. We describe how comply variations of these games, similar to those introduced by Holshouser, Reiter, Smith, Stănică, can be defined as having its sets of winning positions identical to well-known sets avoiding arithmetic progressions such as $x+z=2y$, studied by Szerkeres, Erd\H os and Turán, and many others, thus exploring a new territory combining ideas from combinatorial games and combinatorial number theory. The sets we have in mind are greedy, that is, for our example: recursively a new nonnegative integer is included to the set if and only if it does not form a three term arithmetic progression with the smaller entries. It is known that the set thus obtained is equivalent to the following log-linear time closed expression: each winning position contains exclusively the digits 0 and 1 in base 3 expansion. In fact this set is impossible as a set of winning positions for a classical subtraction game, in a sense introduced recently by Duchêne and Rigo. Therefore our comply-rule generalization of the subtraction games can be seen to resolve new classes of sets as winning positions for heap games. In this context the $\star$-operator for invariant subtraction games was introduced by Larsson, Hegarty and Fraenkel. We define a similar operator for our game. Our comply games generalize into several dimensions. In two dimensions the winning positions can be represented by certain greedy permutations avoiding arithmetic progressions, one of which was recently introduced by Hegarty; while others generalize classical combinatorial games such as Nim and Wythoff Nim.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is: **Does there exist a non - trivial, impartial heap - game whose set of P - positions (i.e., the set of positions where the first player is doomed to lose) is exactly some specific set of integers that avoid arithmetic progressions?**
Specifically, the paper focuses on how to design a new class of heap - game rules - "comply" variants of subtraction games, so that the set of P - positions of these games matches the known greedy construction sets that avoid ternary arithmetic progressions. A typical example of such sets is the set consisting of all non - negative integers without ternary arithmetic progressions, and this set contains only 0 and 1 as digits in its ternary representation.
### Main contributions of the paper
1. **Introduced the subtraction game with the "comply" rule**: This game allows a player to propose a set of moves, and the other player selects a specific move from it. In this way, the author can define a new class of games, and the set of P - positions of these games can correspond to sets that avoid arithmetic progressions.
2. **Solved the problem of specific sets as P - position sets**: The paper proves that for some specific sets A (for example, the greedy set that avoids ternary arithmetic progressions), there indeed exists a "comply" subtraction game such that A is exactly the set of P - positions of this game.
3. **Explored broader issues**: The author also raises several open questions, such as whether there are denser sets that can be constructed through similar heap - game constructions, or whether certain specific P - position sets can be achieved through finite non - invariant rule extensions.
### Formula explanation
The set A mentioned in the paper can be formalized as:
\[ A=\left\{\sum_{i = 0}^{\infty}\alpha_{i}3^{i}\mid\alpha_{i}\in\{0, 1\}, \text{ and only a finite number of }\alpha_{i} = 1\right\} \]
The characteristic of this set is that it avoids any ternary arithmetic progression of the form \(x + z=2y\).
In addition, the paper also involves some definitions of linear forms and Boolean variables, for example:
- Linear form \(f(x_{1},\ldots,x_{k})=\alpha_{k}x_{k}+\cdots+\alpha_{1}x_{1}+\alpha_{0}\)
- Translation - invariant condition \(\alpha_{1}+\cdots+\alpha_{k} = 0\)
These formulas are used to describe broader arithmetic constraints and help define sets of integers that avoid these constraints.
### Summary
By introducing the subtraction game with the "comply" rule, the paper successfully links combinatorial game theory with the problem of avoiding arithmetic progressions in combinatorial number theory, providing a novel method for constructing games with specific P - position sets.