Table of Contents
Fetching ...

Monotonicity properties for Bernoulli percolation on layered graphs -- a Markov chain approach

Philipp König, Thomas Richthammer

TL;DR

The paper studies monotonicity of Bernoulli percolation on layered graphs by introducing a layer-by-layer Markov chain on infection patterns. It proves that for any finite base graph $G$, there is an $N$ such that for all $n\ge N$, the connectivity probability from the origin to any vertex does not increase with the layer index, and the expected number of infected vertices per layer is nonincreasing as well, for all $p\in(0,1)$. The authors formalize the infection-pattern process $\mathcal X_n$ with transition kernel $\pi_p$, analyze it via state-space reductions and CAS computations, and treat intermediate, small, and large $p$ regimes to establish pattern-monotonicity. This Markov-chain perspective links layered-graph monotonicity to bunkbed and Zd-monotonicity questions and suggests broad applicability to other percolation problems on layered structures.

Abstract

A layered graph $G^\times$ is the Cartesian product of a graph $G = (V,E)$ with the linear graph $Z$, e.g. $Z^\times$ is the 2D square lattice $Z^2$. For Bernoulli percolation with parameter $p \in [0,1]$ on $G^\times$ one intuitively would expect that $P_p((o,0) \leftrightarrow (v,n)) \ge P_p((o,0) \leftrightarrow (v,n+1))$ for all $o,v \in V$ and $n \ge 0$. This is reminiscent of the better known bunkbed conjecture. Here we introduce an approach to the above monotonicity conjecture that makes use of a Markov chain building the percolation pattern layer by layer. In case of finite $G$ we thus can show that for some $N \ge 0$ the above holds for all $n \ge N$ $o,v \in V$ and $p \in [0,1]$. One might hope that this Markov chain approach could be useful for other problems concerning Bernoulli percolation on layered graphs.

Monotonicity properties for Bernoulli percolation on layered graphs -- a Markov chain approach

TL;DR

The paper studies monotonicity of Bernoulli percolation on layered graphs by introducing a layer-by-layer Markov chain on infection patterns. It proves that for any finite base graph , there is an such that for all , the connectivity probability from the origin to any vertex does not increase with the layer index, and the expected number of infected vertices per layer is nonincreasing as well, for all . The authors formalize the infection-pattern process with transition kernel , analyze it via state-space reductions and CAS computations, and treat intermediate, small, and large regimes to establish pattern-monotonicity. This Markov-chain perspective links layered-graph monotonicity to bunkbed and Zd-monotonicity questions and suggests broad applicability to other percolation problems on layered structures.

Abstract

A layered graph is the Cartesian product of a graph with the linear graph , e.g. is the 2D square lattice . For Bernoulli percolation with parameter on one intuitively would expect that for all and . This is reminiscent of the better known bunkbed conjecture. Here we introduce an approach to the above monotonicity conjecture that makes use of a Markov chain building the percolation pattern layer by layer. In case of finite we thus can show that for some the above holds for all and . One might hope that this Markov chain approach could be useful for other problems concerning Bernoulli percolation on layered graphs.
Paper Structure (14 sections, 17 theorems, 71 equations, 1 figure)

This paper contains 14 sections, 17 theorems, 71 equations, 1 figure.

Key Result

Proposition 1

Con:bunkbed (on bunkbed graphs) implies Con:layer (on layered graphs), and Con:layer implies Con:Zd (on $\mathbbm{Z}^d$). More precisely:

Figures (1)

  • Figure 1: The left hand side shows a realization of Bernoulli percolation on $L_4^\times$ restricted to $\{0,1,2,3\} \times \{-1,0,1,2,3\}$. The origin $(0,0)$ is marked with a thick dot, open edges are drawn, closed edges are dotted. The right hand side shows the corresponding realization of $\mathcal{X}_0,...,\mathcal{X}_3$. Infected vertices are marked with a thick dot, connected vertices are joined by lines. With the notation introduced below we have $\mathcal{X}_0 = \{\{*,0,1\},\{2,3\}\}, \mathcal{X}_1 = \{\{*,0\},\{1,2\},\{3\}\}, \mathcal{X}_2 = \{\{*,0,1,2\}, \{3\}\}, \mathcal{X}_3 = \{\{*\},\{0,1,2,3\}\}$. We note that in $\mathcal{X}_1$$0$ is not connected to $1$, since here only edges in $E_{..1}$ may be used in connecting paths.

Theorems & Definitions (30)

  • Conjecture 1
  • Definition 1
  • Conjecture 2
  • Definition 2
  • Conjecture 3
  • Proposition 1
  • Definition 3
  • Definition 4
  • Proposition 2
  • Proposition 3
  • ...and 20 more