The critical percolation threshold conjecture on high-dimensional lattices

About 9 years old · traced to

Let θ(p)\theta(p) denote the probability that the origin belongs to an infinite open cluster in Bernoulli percolation on Zd\mathbb Z^d, and let pcp_c be the critical threshold.

Critical-percolation conjecture.

θ(pc)=0\theta(p_c)=0

on Zd\mathbb Z^d for every d≥3d\ge3.

This is a major open problem, particularly in dimensions 33, 44, and 55. Mean-field methods prove the result in sufficiently high dimensions, currently d≥11d\ge11, while the expected failure of mean-field behavior in dimensions at most 55 makes the remaining cases especially challenging.

References

Primary source

Hugo Duminil-Copin, “Sixty years of percolation”, arXiv:1712.04651 (2017).

Progress summary

Refreshed
Claimed progress

The conjecture is proved in two dimensions and sufficiently high dimensions, but remains open for the intermediate dimensions, with a recent reduction to another unproved inequality.

The conjecture asserts that critical percolation on Zd\mathbb{Z}^d has no infinite open cluster. The unresolved nearest-neighbor cases are the intermediate dimensions, especially 3≤d≤63\le d\le6; no source reports a proof or counterexample.

Known results

  • The case d=2d=2 is settled: θ(pc)=0\theta(p_c)=0.
  • Lace-expansion methods prove the nearest-neighbor result for d≥11d\ge11 (2017), improving an earlier threshold d≥19d\ge19.
  • The triangle condition implies θ(pc)=0\theta(p_c)=0 and is known in suitable high-dimensional settings.
  • For sufficiently spread-out percolation, the result holds in dimensions d>6d>6.

January 2024 reduction

A paper formulated a correlation-like inequality which, if proved, would imply θ(pc)=0\theta(p_c)=0 for every d>1d>1. The authors report that they could neither prove nor disprove this inequality, so it is a reduction rather than a solution.

Current status (as of August 2026): The conjecture is settled for d=2d=2 and nearest-neighbor d≥11d\ge11, while the cases 3≤d≤103\le d\le10 remain open; no claimed proof, counterexample, or AI result was found.

Sources

Solutions 0

No solutions have been posted yet.