Signs model minimises Q₃ connectivity

Conjecture 6.2 · arXiv:2206.12335

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

Authors: Paul Balister, Tom Johnston, Michael Savery, Alex Scott

Status open high confidence

Conjecture 6.2 from arXiv:2206.12335 asserts that for p > 0.55, the signs model minimises the probability that Q_3 is connected among all 1-independent models with marginal edge probability at least p. The conjecture is supported only by computational evidence cited in the source paper, and no subsequent published or preprint work resolving or significantly advancing it was found in the indexed literature as of May 2026.

Reviewer notes. No follow-up found in 4 web searches. The conjecture appears only in the open problems section of arXiv:2206.12335 (journal-published in EJP 2025), backed solely by computational evidence. The paper was posted to arXiv in June 2022 and published in Electronic Journal of Probability volume 30 (2025, DOI 10.1214/25-EJP1341).

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

Conjecture. For $p>0.55$, among models in $\mathcal{D}_{\geq p}(Q_{3})$ the signs model minimises the probability that $Q_{3}$ is connected.

Context

The signs model on $Q_3$ assigns each vertex independently '$+$' with probability $\theta$ and '$-$' otherwise, with an edge open iff both endpoints share the same sign (so each edge is open with probability $p=\theta^2+(1-\theta)^2$). Computational evidence strongly suggests this model minimises the connectivity probability of $Q_3$ for $p>0.55$; for smaller $p$ other models perform worse.

Also stated in

Improved bounds for 1-independent percolation on $\mathbb{Z}^n$ (2025-06-23)

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