arXiv subjects

Ivailo Hartarsky

Publications and source records attributed to Ivailo Hartarsky.

At least 19 recordsLinked to original sources

arXiv2026

Weighted isoperimetry implies percolation

Consider an infinite edge-weighted graph satisfying an isoperimetric inequality of the type $\|\partial A\|\geq C|A|^α$ for some $α,C>0$, where $\|\partial 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 $\mathbb{Z}^d$, $d\geq 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 < \infty$ such that $p_{\mathrm{c}} \leq C/Δ$ for every transitive graph of superlinear growth and vertex degree $Δ$, thus proving a conjecture of Easo and Hutchcroft.

math.PR↗

arXiv2026

Super-Arrhenius relaxation of the triangular plaquette model in any dimension

Consider the following plaquette model from statistical physics: a lamp lies at every vertex of the triangular lattice and a switch lies at every even vertex of the (bipartite) dual hexagonal lattice. Each switch toggles the three lamps on its face. The energy of a configuration is the number of ON lamps. For the Glauber dynamics associated with the Gibbs measure defined by this Hamiltonian at any inverse temperature $β>0$, we show that, in any dimension $d\ge 2$, the infinite volume relaxation time satisfies \[e^{β^2/C}/C \le T_{\mathrm{rel}}\le Ce^{e^{Cβ}}\] for some $C>0$. Our result entails that the Gibbs measure is unique. The $e^{β^2}$ scaling was conjectured by Newman and Moore in 1999 and matches the behaviour of supercritical rooted kinetically constrained models such as the East model, thus recovering fragile glass phenomenology in the absence of kinetic constraints. More precisely, we show that, on a torus of side length $2^k$, when $β\to\infty$ and $k/β\to0$, we have $T_{\mathrm{rel}}=e^{2βk(1+o(1))}$. Quite surprisingly, however, we also prove that, on non-periodic finite domains of size $n\le e^{β/C}$ for large $C>0$, we have the much larger asymptotics $\ln T_{\mathrm{rel}}=βn^{Θ(1)}$. The main ingredients of the proofs are new results in extremal and enumerative combinatorics and rely on renormalisation ideas for the dynamics and its groundstates also known as the Ledrappier subshift. We note consequences of our results to geometric group theory (more precisely to the complexity of the word problem for the Baumslag finitely presented group) and to ergodic theory.

math.PR↗

arXiv2026

Sharpness of the phase transition for constrained-degree percolation

We consider constrained-degree percolation on the hypercubic lattice. Initially, all edges are closed, and each edge independently attempts to open at a uniformly distributed random time; the attempt succeeds if, at that instant, both end-vertices have degrees strictly less than a prescribed parameter. The absence of the FKG inequality and the finite energy property, as well as the infinite range of dependency, make the rigorous analysis of the model particularly challenging. In this work, we show that the one-arm probability exhibits exponential decay in its entire subcritical phase. The proof relies on the Duminil-Copin--Raoufi--Tassion randomized algorithm method and resolves a problem of dos Santos and the second author. At the heart of the argument lies an intricate combinatorial transformation of pivotality in the spirit of Aizenman--Grimmett essential enhancements, but with unbounded range. This technique may be of use in other dynamical settings.

math.PR↗

arXiv2026

Explosive appearance of cores and bootstrap percolation on lattices

Consider the process where the $n$ vertices of a square $2$-dimensional torus appear consecutively in a random order. We show that typically the size of the $3$-core of the corresponding induced unit-distance graph transitions from $0$ to $n-o(n)$ within a single step. Equivalently, by infecting the vertices of the torus in a random order, under two-neighbour bootstrap percolation, the size of the infected set transitions instantaneously from $o(n)$ to $n$. This hitting time result answers a question of Benjamini. We also study the much more challenging and general setting of bootstrap percolation on two-dimensional lattices for a variety of finite-range infection rules. In this case, powerful but fragile bootstrap percolation tools such as the rectangles process and the Aizenman-Lebowitz lemma become unavailable. We develop a new method complementing and replacing these standard techniques, thus allowing us to prove the above hitting time result for a wide family of threshold bootstrap percolation rules on the $2$-dimensional square lattice, including neighbourhoods given by large $\ell^p$ balls for $p\in[1,\infty]$.

math.CO↗

arXiv2025

Crossings and diffusion in Poisson driven marked random connection models

We first study crossing statistics in random connection models (RCM) built on marked Poisson point processes on $\mathbb R^d$. Under general assumptions, we show exponential tail bounds for the number of crossings of a box contained in the infinite cluster for supercritical intensity of the point process, and percolation in slabs, in analogy with the Grimmett-Marstrand theorem. We then present several applications to transport and diffusion phenomena. In particular, we prove the non-degeneracy of the effective homogenized matrix arising in the large-scale limit of random walks, exclusion processes, and resistor networks on the RCM, and the non-degeneracy of the effective diffusion constant for one-dimensional diffusion operators on the Euclidean graph associated with the RCM. As examples, we apply our results to Poisson-Boolean models and Mott variable range hopping random resistor network, providing a fundamental ingredient used in the derivation of Mott's law.

math.PR↗

arXiv2025

Catalan percolation

In Catalan percolation, all nearest-neighbor edges $\{i,i+1\}$ along $\mathbb Z$ are initially occupied, and all other edges are open independently with probability $p$. Open edges $\{i,j\}$ are occupied if some pair of edges $\{i,k\}$ and $\{k,j\}$, with $i<k<j$, become occupied. This model was introduced by Gravner and the third author, in the context of polluted graph bootstrap percolation. We prove that the critical $p_{\mathrm c}$ is strictly between that of oriented site percolation on $\mathbb Z^2$ and the Catalan growth rate $1/4$. Our main result shows that an enhanced oriented percolation model, with non-decaying infinite-range dependency, has a strictly smaller critical parameter than the classical model. This is reminiscent of the work of Duminil-Copin, Hilário, Kozma and Sidoravicius on brochette percolation. Our proof differs, however, in that we do not use Aizenman--Grimmett enhancements or differential inequalities. Two key ingredients are the work of Hilário, Sá, Sanchis and Teixeira on stretched lattices, and the Russo--Seymour--Welsh result for oriented percolation by Duminil-Copin, Tassion and Teixeira.

math.PR↗

arXiv2024

Kinetically constrained models

The goal of this book is to provide an introduction to the mathematical theory of Kinetically constrained models developed in the last twenty years, intended for both mathematicians and physicists.

math.HO↗

arXiv2024

Locality approach to the bootstrap percolation paradox

We revisit the Bootstrap Percolation model, leveraging recent mathematical advances linking it with its local counterpart. This new perspective resolves, for the first time, historic discrepancies between Monte Carlo simulations and theoretical results: previously, those predictions disagreed even in the first-order asymptotics of the model. In contrast, our framework achieves excellent agreement between numerics and theory, which now match up to the third-order expansion, as the infection probability approaches zero. Our algorithm allows us to generate novel predictions for the model.

cond-mat.stat-mech↗

arXiv2024

Local dimer dynamics in higher dimensions

We consider local dynamics of the dimer model (perfect matchings) on hypercubic boxes $[n]^d$. These consist of successively switching the dimers along alternating cycles of prescribed (small) lengths. We study the connectivity properties of the dimer configuration space equipped with these transitions. Answering a question of Freire, Klivans, Milet and Saldanha, we show that in three dimensions any configuration admits an alternating cycle of length at most 6. We further establish that any configuration on $[n]^d$ features order $n^{d-2}$ alternating cycles of length at most $4d-2$. We also prove that the dynamics of dimer configurations on the unit hypercube of dimension $d$ is ergodic when switching alternating cycles of length at most $4d-4$. Finally, in the planar but non-bipartite case, we show that parallelogram-shaped boxes in the triangular lattice are ergodic for switching alternating cycles of lengths 4 and 6 only, thus improving a result of Kenyon and Rémila, which also uses 8-cycles. None of our proofs make reference to height functions.

math.CO↗

arXiv2024

Sharp metastability transition for two-dimensional bootstrap percolation with symmetric isotropic threshold rules

We study two-dimensional critical bootstrap percolation models. We establish that a class of these models including all isotropic threshold rules with a convex symmetric neighbourhood, undergoes a sharp metastability transition. This extends previous instances proved for several specific rules. The paper supersedes a draft by Alexander Holroyd and the first author from 2012. While it served a role in the subsequent development of bootstrap percolation universality, we have chosen to adopt a more contemporary viewpoint in its present form.

math.PR↗

arXiv2024

Bootstrap percolation is local

Metastability thresholds lie at the heart of bootstrap percolation theory. Yet proving precise lower bounds is notoriously hard. We show that for two of the most classical models, two-neighbour and Froböse, upper bounds are sharp to essentially arbitrary precision, by linking them to their local counterparts. In Froböse bootstrap percolation, iteratively, any vertex of the square lattice that is the only healthy vertex of a $1\times1$ square becomes infected and infections never heal. We prove that if vertices are initially infected independently with probability $p\to0$, then with high probability the origin becomes infected after \[\exp\left(\frac{π^2}{6p}-\frac{π\sqrt{2+\sqrt2}}{\sqrt p}+\frac{O(\log^2(1/p))}{\sqrt[3]p}\right)\] time steps. We achieve this by proposing a new paradigmatic view on bootstrap percolation based on locality. Namely, we show that studying the Froböse model is equivalent in an extremely strong sense to studying its local version. As a result, we completely bypass Holroyd's classical but technical hierarchy method, yielding the first term above and systematically used throughout bootstrap percolation for the last two decades. Instead, the proof features novel links to large deviation theory, eigenvalue perturbations and others. We also use the locality viewpoint to resolve the so-called bootstrap percolation paradox. Indeed, we propose and implement an exact (deterministic) algorithm which exponentially outperforms previous Monte Carlo approaches. This allows us to clearly showcase and quantify the slow convergence we prove rigorously. The same approach applies, with more extensive computations, to the two-neighbour model, in which vertices are infected when they have at least two infected neighbours and do not recover. We expect it to be applicable to a wider range of models and correspondingly conclude with a number of open problems.

math.PR↗

arXiv2024

Kinetically constrained models out of equilibrium

We study the full class of kinetically constrained models in arbitrary dimension and out of equilibrium, in the regime where the density $q$ of facilitating sites in the equilibrium measure (but not necessarily in the initial measure) is close to $1$. For these models, we establish exponential convergence to equilibrium in infinite volume and linear time precutoff in finite volume with appropriate boundary condition. Our results are the first out-of-equilibrium results that hold for any model in the so-called critical class, which is covered in its entirety by our treatment, including e.g. the Fredrickson-Andersen 2-spin facilitated model. In addition, they generalise, unify and sometimes simplify several previous works in the field. As byproduct, we recover and generalise exponential tails for the connected component of the origin in the upper invariant trajectory of perturbed cellular automata and in the set of eventually infected sites in subcritical bootstrap percolation models. Our approach goes through the study of cooperative contact processes, last passage percolation, Toom contours, as well as a very convenient coupling between contact processes and kinetically constrained models.

math.PR↗

arXiv2024

The maximal running time of hypergraph bootstrap percolation

We show that for every $r\ge 3$, the maximal running time of the $K^{r}_{r+1}$-bootstrap percolation in the complete $r$-uniform hypergraph on $n$ vertices $K_n^r$ is $Θ(n^r)$. This answers a recent question of Noel and Ranganathan in the affirmative, and disproves a conjecture of theirs. Moreover, we show that the prefactor is of the form $r^{-r} \mathrm{e}^{O(r)}$ as $r\to\infty$.

math.CO↗

arXiv2023

Refined universality for critical KCM: upper bounds

We study a general class of interacting particle systems called kinetically constrained models (KCM) in two dimensions. They are tightly linked to the monotone cellular automata called bootstrap percolation. Among the three classes of such models, the critical ones are the most studied. Together with the companion paper by Marêché and the author, our work determines the logarithm of the infection time up to a constant factor for all critical KCM. This was previously known only up to logarithmic corrections. We establish that on this level of precision critical KCM have to be classified into seven categories. This refines the two classes present in bootstrap percolation and the two in previous rougher results. In the present work we establish the upper bounds for the novel five categories and thus complete the universality program for equilibrium critical KCM. Our main innovations are the identification of the dominant relaxation mechanisms and a more sophisticated and robust version of techniques recently developed for the study of the Fredrickson-Andersen 2-spin facilitated model.

math.PR↗

arXiv2023

Brownian snails with removal die out in one dimension

Brownian snails with removal is a spatial epidemic model defined as follows. Initially, a homogeneous Poisson process of susceptible particles on $\mathbb R^d$ with intensity $λ>0$ is deposited and a single infected one is added at the origin. Each particle performs an independent standard Brownian motion. Each susceptible particle is infected immediately when it is within distance 1 from an infected particle. Each infected particle is removed at rate $α>0$, and removed particles remain such forever. Answering a question of Grimmett and Li, we prove that in one dimension, for all values of $λ$ and $α$, the infection almost surely dies out.

math.PR↗

arXiv2023

Sensitive bootstrap percolation second term

In modified two-neighbour bootstrap percolation in two dimensions each site of $\mathbb Z^2$ is initially independently infected with probability $p$ and on each discrete time step one additionally infects sites with at least two non-opposite infected neighbours. In this note we establish that for this model the second term in the asymptotics of the infection time $τ$ unexpectedly scales differently from the classical two-neighbour model, in which arbitrary two infected neighbours are required. More precisely, we show that for modified bootstrap percolation with high probability as $p\to0$ it holds that \[τ\le \exp\left(\frac{π^2}{6p}-\frac{c\log(1/p)}{\sqrt p}\right)\] for some positive constant $c$, while the classical model is known to lack the logarithmic factor.

math.PR↗

arXiv2022

Subcritical bootstrap percolation via Toom contours

In this note we provide an alternative proof of the fact that subcritical bootstrap percolation models have a positive critical probability in any dimension. The proof relies on a recent extension of the classical framework of Toom. This approach is not only simpler than the original multi-scale renormalisation proof of the result in two and more dimensions, but also gives significantly better bounds. As a byproduct, we improve the best known bounds for the stability threshold of Toom's North-East-Center majority rule cellular automaton.

math.PR↗

arXiv2022

The normal contraction property for non-bilinear Dirichlet forms

We analyse the class of convex functionals $\mathcal E$ over $\mathrm{L}^2(X,m)$ for a measure space $(X,m)$ introduced by Cipriani and Grillo and generalising the classic bilinear Dirichlet forms. We investigate whether such non-bilinear forms verify the normal contraction property, i.e., if $\mathcal E(ϕ\circ f) \leq \mathcal E(f)$ for all $f \in \mathrm{L}^2(X,m)$, and all 1-Lipschitz functions $ϕ: \mathbb R \to \mathbb R$ with $ϕ(0)=0$. We prove that normal contraction holds if and only if $\mathcal E$ is symmetric in the sense $\mathcal E(-f) = \mathcal E(f),$ for all $f \in \mathrm{L}^2(X,m).$ An auxiliary result, which may be of independent interest, states that it suffices to establish the normal contraction property only for a simple two-parameter family of functions $ϕ$.

math.FA↗