Oliu–Barton–Vigeral conjecture on absorbing-game values

For every integer m≥1m\ge 1 and every real algebraic number α\alpha of degree exactly mm over Q\mathbb{Q}, there exists a rational m×mm\times m absorbing two-player zero-sum game whose undiscounted value is α\alpha.

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.

  1. Value-set formulation

    For every integer m≥1m\ge 1, the set of undiscounted values of rational m×mm\times m absorbing games is exactly the set of real algebraic numbers of degree at most mm over Q\mathbb{Q}.

    source: Values of Absorbing Recursive Games Express All Real Algebraic Numbers

References

Primary source

arXiv

Additional references

Progress summary

Refreshed
Claimed solved

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 mm is the value of a rational m×mm \times m absorbing game. Before the new preprint, the conjecture was open for m≥3m \ge 3.

Known results

  • Degree 11: trivial.
  • Degree 22: every algebraic number is realized by a rational 2×22 \times 2 absorbing game (Oliu-Barton and Vigeral, 2023).
  • Degree 33: a rational 3×33 \times 3 example with an irrational value was constructed (Oliu-Barton, 2023).
  • For every mm, some rational m×mm \times m game has a value of algebraic degree mm; 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 11 and 22, with earlier degree-33 examples.

Sources

Solutions 0

No solutions have been posted yet.