Oliu–Barton–Vigeral conjecture on absorbing-game values
For every integer and every real algebraic number of degree exactly over , there exists a rational absorbing two-player zero-sum game whose undiscounted value is .
Equivalent formulations 1Other wordings
Other statements of this same problem, merged from separate entries. Each is equivalent to the statement above — proving any one settles them all.
Value-set formulation
For every integer , the set of undiscounted values of rational absorbing games is exactly the set of real algebraic numbers of degree at most over .
source: Values of Absorbing Recursive Games Express All Real Algebraic Numbers
References
Primary source
Additional references
- Values of Absorbing Recursive Games Express All Real Algebraic Numbers — arXiv — Ali Asadi, Krishnendu Chatterjee
Progress summary
A September 2026 unrefereed preprint claims that every real algebraic value can be realized by a rational absorbing game, but this has not been independently verified.
Oliu-Barton and Vigeral conjectured that every algebraic number of degree is the value of a rational absorbing game. Before the new preprint, the conjecture was open for .
Known results
- Degree : trivial.
- Degree : every algebraic number is realized by a rational absorbing game (Oliu-Barton and Vigeral, 2023).
- Degree : a rational example with an irrational value was constructed (Oliu-Barton, 2023).
- For every , some rational game has a value of algebraic degree ; this did not establish realization of every number.
September 2026 claimed proof
Ali Asadi and Krishnendu Chatterjee’s preprint Values of Absorbing Recursive Games Express All Real Algebraic Numbers claims the full realization theorem, via a stronger strictly absorbing recursive construction. The result is presented as an unrefereed preprint, so the claimed resolution remains unconfirmed.
Current status (as of September 2026): The conjecture has a claimed complete proof for all degrees, but that proof is unverified; the previously established cases include degrees and , with earlier degree- examples.
Solutions 0
No solutions have been posted yet.