Skip to content
DraconiticResearch
Search Sources API
203,234 studies31 sourcesUpdated 8 min ago
PreprintCC BY 4.0arXiv

Weighted isoperimetry implies percolation

Abstract

Consider an infinite edge-weighted graph satisfying an isoperimetric inequality of the type |∂ A|≥ C|A|α for some α,C>0, where |∂ A| denotes the weighted size of the edge boundary of A. We prove that, for C large enough depending on α, if each edge is open independently with probability given by its weight, then any vertex is connected to infinity with positive probability. The result also holds under weaker isoperimetric assumptions and on finite graphs. The proof brings a new perspective on the recent proof of the Benjamini--Schramm conjecture concerning the same problem with homogeneous weights. The crucial novelty in our proof is that, rather than simply counting cutsets, we introduce a new Peierls argument which takes into account internal and external connectivity costs in addition to the cost of the blocking surface. We provide two applications for the above result. First, we show that every non-summable long-range percolation on ℤd, d≥ 2, admits a percolating truncation, solving a conjecture of Sidoravicius, Surgailis and Vares and its generalization by Friedli and de Lima. Secondly, we show that there exists a universal constant C < ∞ such that pc ≤ C/Δ for every transitive graph of superlinear growth and vertex degree Δ, thus proving a conjecture of Easo and Hutchcroft.

Related

  1. Anchored isoperimetry in percolation
    Sahar Diskin, Lyuben Lichev, Ritvik Ramanan Radhakrishnan +2
    arXivPreprintCC BY 4.0Full textCombinatorics & discrete mathematicsProbabilityarXiv
  2. Mixing time and isoperimetry of long-range percolation in the diffusive regime
    Dieter Mitsche, Carlo Scali
    arXivPreprintarXiv licenceFull textProbabilityarXiv
  3. Strict monotonicity of weighted inhomogeneous percolation thresholds under covering maps
    Jing Liu, Kainan Xiang, Lang Zou
    arXivPreprintarXiv licenceFull textProbabilityarXiv
  4. Isoperimetry of singular CMC hypersurfaces
    Kobe Marshall-Stevens, Gongping Niu
    arXivPreprintCC BY 4.0Full textGeometry & topologyarXiv
  5. A dimension-free bound for isoperimetry of unconditional log-concave measures
    Dan Mikulincer, Ilias Zadik
    arXivPreprintarXiv licenceFull textGeometry & topologyProbabilityarXiv
BibTeX
@misc{hartarsky2026weighted,
  title = {{Weighted isoperimetry implies percolation}},
  author = {Ivailo Hartarsky and Franco Severo and Augusto Teixeira},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2609.07768},
  eprint = {2609.07768},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.07768},
  note = {CC BY 4.0},
}
RIS
TY  - UNPB
TI  - Weighted isoperimetry implies percolation
AU  - Ivailo Hartarsky
AU  - Franco Severo
AU  - Augusto Teixeira
PY  - 2026
DA  - 2026/09/07
PB  - arXiv
DO  - 10.48550/arxiv.2609.07768
UR  - https://arxiv.org/abs/2609.07768
AB  - Consider an infinite edge-weighted graph satisfying an isoperimetric inequality of the type |∂ A|≥ C|A|^α for some α,C>0, where |∂ A| denotes the weighted size of the edge boundary of A. We prove that, for C large enough depending on α, if each edge is open independently with probability given by its weight, then any vertex is connected to infinity with positive probability. The result also holds under weaker isoperimetric assumptions and on finite graphs. The proof brings a new perspective on the recent proof of the Benjamini--Schramm conjecture concerning the same problem with homogeneous weights. The crucial novelty in our proof is that, rather than simply counting cutsets, we introduce a new Peierls argument which takes into account internal and external connectivity costs in addition to the cost of the blocking surface. We provide two applications for the above result. First, we show that every non-summable long-range percolation on ℤ^d, d≥ 2, admits a percolating truncation, solving a conjecture of Sidoravicius, Surgailis and Vares and its generalization by Friedli and de Lima. Secondly, we show that there exists a universal constant C < ∞ such that p_c ≤ C/Δ for every transitive graph of superlinear growth and vertex degree Δ, thus proving a conjecture of Easo and Hutchcroft.
ER  -