Fractional independence in Kneser Hamming powers

Status open high confidence

Conjecture 2.6 (the graph-theoretic restatement of Levine's conjecture, that $\lim_{t\to\infty}\lim_{n\to\infty}\bar{\alpha}(K(n)^{\square t})=0$) remains open as of May 2026. Two subsequent papers address the hat problem using analytic methods: Heilman–Tamuz (arXiv:2503.09042, 2025) obtain an upper bound on the two-player success probability via Chang’s lemma in Boolean harmonic analysis, and Bouquet et al. (arXiv:2508.01737, 2025) develop a geometric/integral framework and derive a 7/20 winning probability for two players. Neither paper resolves the double-limit conjecture on Kneser–Hamming products.

Cited literature (2)

• partial A Fourier approach to Levine's hat puzzle (2025)
  Steven M. Heilman, Omer Tamuz · arXiv preprint · arXiv:2503.09042

  Provides an upper bound on the success probability in the two-player case using Chang's lemma in Boolean harmonic analysis, offering partial analytic progress toward the conjecture without resolving the full double-limit statement.

• partial An analytical framework for the Levine hats problem: new strategies, bounds and generalizations (2025)
  C. Bouquet, Salah Chikhi, Timothé Charles, Yang Zhou, Eric Wang · arXiv preprint · arXiv:2508.01737

  Develops a geometric/integral framework for hat-problem strategies, constructs a recursive strategy achieving 7/20 winning probability for two players, and solves a generalization with infinite hat stacks, without addressing the Kneser–Hamming double-limit conjecture.

Reviewer notes. Conjecture 2.6 is a graph-theoretic restatement of Levine's main conjecture (Conjecture 2.1) via the identity p_intersecting(t,n) = \bar{\alpha}(K(n)^{\square t}). Subsequent work focuses on specific cases (two players) and analytic upper bounds, but the full double-limit conjecture on Kneser–Hamming products remains open. No verified paper directly resolves the graph-theoretic formulation.

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