Critical percolation threshold has zero percolation probability

Determine whether the Bernoulli site-percolation probability at the critical threshold satisfies \(\theta_{\mathbb{Z}^d}(p_c(\mathbb{Z}^d))=0\) for every dimension \(d\ge 2\).

Background

The paper relates the survival of the branching random walk with hard killing to the geometry of the open cluster containing the origin in Bernoulli site percolation on Zd\mathbb{Z}^d. The quantity θZd(p)\theta_{\mathbb{Z}^d}(p) denotes the probability that the origin belongs to an infinite open cluster, and pc(Zd)p_c(\mathbb{Z}^d) is the percolation threshold.

Whether θZd(pc(Zd))=0\theta_{\mathbb{Z}^d}(p_c(\mathbb{Z}^d))=0 is known in dimension two and for dimensions d11d\ge 11, but remains unresolved in the intervening dimensions. The problem is a classical percolation conjecture explicitly identified by the paper.

References

A major conjecture states that \theta_{\mathbb{Z}d}(p_c) = 0 for all d \geq 2, but it is only proved for d = 2 () and d \geq 11 ().

Branching random walk in random environment  (2608.13084 - Chen et al., 13 Aug 2026) in Section 1, subsection "Main results" (discussion following Theorem 1.1)