Coordinatewise monotonicity of connectivity on the integer lattice

About 4 years old · traced to

Let d≥1d\geq 1 and p∈(0,1)p\in(0,1). On the graph Zd\mathbb{Z}^d, whose vertices at Euclidean distance 11 are joined by an edge, use the componentwise order u≤vu\leq v defined by ui≤viu_i\leq v_i for every i∈{1,…,d}i\in\{1,\ldots,d\}. Coordinatewise monotonicity conjecture. For Bernoulli percolation with parameter pp,

∀o,u,v∈Zd:o≤u≤v⇒Pp(o↔u)≥Pp(o↔v).\forall o,u,v\in\mathbb{Z}^d:\quad o\leq u\leq v\quad\Rightarrow\quad \mathbb{P}_p(o\leftrightarrow u)\geq\mathbb{P}_p(o\leftrightarrow v).

This folklore conjecture is trivial for d=1d=1 but remains open already for d=2d=2; a partial result establishes it along coordinate axes when pp is sufficiently close to 00.

References

Primary source

Philipp König and Thomas Richthammer, “Monotonicity properties for Bernoulli percolation on layered graphs – a Markov chain approach”, arXiv:2207.13173 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.