Coordinatewise monotonicity of connectivity on the integer lattice

From papers

Let d1d\geq 1 and p(0,1)p\in(0,1). On the graph \mathbbmZd\mathbbm{Z}^d, whose vertices at Euclidean distance 11 are joined by an edge, use the componentwise order uvu\leq v defined by uiviu_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\mathbbmZd:ouv\mathbbmPp(ou)\mathbbmPp(ov).\forall o,u,v\in\mathbbm{Z}^d:\quad o\leq u\leq v\quad\Rightarrow\quad \mathbbm{P}_p(o\leftrightarrow u)\geq\mathbbm{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.

Progress summary

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

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.