Standard-imaginary strategy conjecture for the two-player Levine hats game

Let S^1\widehat{\mathcal{S}}_1 be the class of standard-imaginary strategies and let M^1\widehat{\mathcal{M}}_1 be the class of imaginary strategies used in the continuous Levine game. For measurable strategies kk and gg in S^1×M^1\widehat{\mathcal{S}}_1\times\widehat{\mathcal{M}}_1, let ε\varepsilon denote the success-indicator function. Standard-imaginary strategy conjecture.

V2=supk,gS^1×M^1[0,1]2ε(2k(y)x)ε(g(x)y)dxdy.V_2=\sup_{k,g\in\widehat{\mathcal{S}}_1\times\widehat{\mathcal{M}}_1}\int_{[0,1]^2}\varepsilon\left(2^{k(y)}x\right)\varepsilon\left(g(x)y\right)\,\operatorname{d}x\,\operatorname{d}y.

The conjecture asserts that restricting one player to a standard-imaginary strategy and the other to an imaginary strategy gives the exact optimal value for the two-player game. It is motivated by computational evidence that this restricted approximation does not exceed 7/207/20, together with the fact that 7/207/20 is attainable using RtR_t strategies; no proof is given.

Sources & referencesView supporting material

Primary source

Clément Bouquet, Salah Chikhi, Timothé Charles, Yanghao Zhou and Eric Wang, “An analytical framework for the Levine hats problem: new strategies, bounds and generalizations”, arXiv:2508.01737 (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.