Local criteria for global connectivity comparisons: beyond stochastic domination
Johannes Bäumler, Benedikt Jahnel, Jonas Köppl, Bas Lodewijks, Lily Reeves, András Tóbiás
TL;DR
The paper develops a robust local-to-global criterion for comparing percolation models that goes beyond stochastic domination, proving that a site-wise advantage in connecting to neighbor subsets propagates to global connectivity events such as $o$ connected to $\partial B_n$. Central to the approach is a discrete interpolation inequality coupled with a breadth-first exploration of the out-component, enabling a transfer from local inequalities $\mathbf{P}[N(o) \cap A \neq \emptyset] \le \mathbf{Q}[N(o) \cap A \neq \emptyset]$ to global bounds $\mathbb{P}[o \rightsquigarrow \partial B_n]$. The authors then apply this framework to degree-constrained percolation models, including directed and bidirectional $2dp$-nearest-neighbor graphs, deriving asymptotically optimal bounds on critical parameters and resolving open questions in high dimensions. This provides a versatile tool for analyzing percolation in networks with local constraints and demonstrates new thresholds for complex neighbor-structure models with potential applications in statistical physics and network theory.
Abstract
We introduce a site-wise domination criterion for local percolation models, which enables the comparison of one-arm probabilities even in the absence of stochastic domination. The method relies on a local-to-global principle: if, at each site, one model is more likely than the other to connect to a subset of its neighbors, for all nontrivial such subsets, then this advantage propagates to connectivity events at all scales. In this way, we obtain a robust alternative to stochastic domination, applicable in all cases where the latter works and in many where it does not. As a main application, we compare classical Bernoulli bond percolation with degree-constrained models, showing that degree constraints enhance percolation, and obtain asymptotically optimal bounds on critical parameters for degree-constrained models.
