Vanishing hat-success probability for intersecting families

Status open high confidence

Conjecture 2.1 from arXiv:2208.06858 asserts that $p_{\mathrm{intersecting}}(t) \to 0$ as $t \to \infty$, a strengthening of Levine's Conjecture 1.1 where winning strategies based on intersecting families (rather than dictatorships) are considered. The source paper proves strict monotone decrease of $p_{\mathrm{dict}}(t)$ but leaves the intersecting version open. A 2025 Fourier-analytic follow-up by Heilman and Tamuz (arXiv:2503.09042) studies Levine's hat puzzle via Chang's lemma but focuses only on bounding the 2-player success probability and does not address Conjecture 2.1. No paper resolving the full conjecture was found.

Reviewer notes. No follow-up found that proves or disproves Conjecture 2.1. The related 2025 paper arXiv:2503.09042 (Heilman-Tamuz) is about Levine's hat puzzle but restricts to bounding the optimal 2-player success probability via Fourier/Chang's lemma; it does not address the intersecting-families setting. Conjecture 2.1 is strictly stronger than Levine's Conjecture 1.1, and both appear open as of the search date.

Auto-reviewed 2026-05-15 with claude-sonnet-4-6 (web search enabled).