Giant component threshold in hypercube percolation

Problem 6.4 · arXiv:2206.12335

arXiv Problem high confidence— first stated 2025-06-23

Status open high confidence

Problem 6.4 asks for the exact value of $p_{\mathrm{giant}}$, the critical probability for a 1-independent percolation model on the hypercube $Q_n$ to contain a giant component with high probability. The source paper establishes $p_{\mathrm{giant}} \leq 0.5847$ while the best known lower bound remains $1/2$; Falgas-Ravry and Pfenninger (arXiv:2106.08674, RSA 2023) conjectured $p_{\mathrm{giant}} = 1/2$. No follow-up paper resolving the exact value was found in the literature as of May 2026.

Reviewer notes. No follow-up paper resolving Problem 6.4 was found. The conjecture p_giant = 1/2 is due to Falgas-Ravry and Pfenninger (arXiv:2106.08674; published in Random Structures & Algorithms 2023), predating the source paper. The source paper was published in the Electronic Journal of Probability (2025, doi:10.1214/25-EJP1341). Standard (bond/site) percolation results on the hypercube found in recent literature are unrelated to the 1-independent setting of this problem.

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

Problem. What is the value of $p_{\mathrm{giant}}$?

Context

The paper establishes $p_{\mathrm{giant}}\leq 0.5847$ (when each edge of the hypercube $Q_n$ is open with probability at least $0.5847$ and $n$ is large, a giant component exists with high probability). The best lower bound remains $1/2$. Falgas-Ravry and Pfenninger conjectured $p_{\mathrm{giant}}=1/2$, but the exact value is unknown.

Source paper

Improved bounds for 1-independent percolation on $\mathbb{Z}^n$
Paul Balister, Tom Johnston, Michael Savery, Alex Scott · 2025-06-23
https://arxiv.org/abs/2206.12335