arXiv subjects

Ivailo Hartarsky

Publications and source records attributed to Ivailo Hartarsky.

34 records · Page 2Linked to original sources

arXiv2022

Sharp threshold for the FA-2f kinetically constrained model

The Fredrickson-Andersen 2-spin facilitated model on $\mathbb{Z}^d$ (FA-2f) is a paradigmatic interacting particle system with kinetic constraints (KCM) featuring dynamical facilitation, an important mechanism in condensed matter physics. In FA-2f a site may change its state only if at least two of its nearest neighbours are empty. Although the process is reversible w.r.t. a product Bernoulli measure, it is not attractive and features degenerate jump rates and anomalous divergence of characteristic time scales as the density $q$ of empty sites tends to $0$. A natural random variable encoding the above features is $τ_0$, the first time at which the origin becomes empty for the stationary process. Our main result is the sharp threshold \[τ_0=\exp\Big(\frac{d\cdotλ(d,2)+o(1)}{q^{1/(d-1)}}\Big)\quad \text{w.h.p.}\] with $λ(d,2)$ the sharp threshold constant for 2-neighbour bootstrap percolation on $\mathbb{Z}^d$, the monotone deterministic automaton counterpart of FA-2f. This is the first sharp result for a critical KCM and it compares with Holroyd's 2003 result on bootstrap percolation and its subsequent improvements. It also settles various controversies accumulated in the physics literature over the last four decades. Furthermore, our novel techniques enable completing the recent ambitious program on the universality phenomenon for critical KCM and establishing sharp thresholds for other two-dimensional KCM.

math.PR↗

arXiv2022

Fredrickson--Andersen model in two dimensions

The present expository article overviews recent mathematical advances on the Fredrickson--Andersen kinetically constrained spin model in two dimensions. It was introduced in physics as a toy model for recovering the glassy phenomenology in supercooled liquids close to the glass transition via dynamic constraints as opposed to static interactions.

cond-mat.dis-nn↗

arXiv2022

Bootstrap percolation, probabilistic cellular automata and sharpness

We establish new connections between percolation, bootstrap percolation, probabilistic cellular automata and deterministic ones. Surprisingly, by juggling with these in various directions, we effortlessly obtain a number of new results in these fields. In particular, we prove the sharpness of the phase transition of attractive absorbing probabilistic cellular automata, a class of bootstrap percolation models and kinetically constrained models. We further show how to recover a classical result of Toom on the stability of cellular automata w.r.t. noise and, inversely, how to deduce new results in bootstrap percolation universality from his work.

math.PR↗

arXiv2022

Refined universality for critical KCM: lower bounds

We study a general class of interacting particle systems called kinetically constrained models (KCM) in two dimensions tightly linked to the monotone cellular automata called bootstrap percolation. There are three classes of such models, the most studied being the critical one. In a recent series of works it was shown that the KCM counterparts of critical bootstrap percolation models with the same properties split into two classes with different behaviour. Together with the companion paper by the first author, our work determines the logarithm of the infection time up to a constant factor for all critical KCM, which were previously known only up to logarithmic corrections. This improves all previous results except for the Duarte-KCM, for which we give a new proof of the best result known. We establish that on this level of precision critical KCM have to be classified into seven categories instead of the two in bootstrap percolation. In the present work we establish lower bounds for critical KCM in a unified way, also recovering the universality result of Toninelli and the authors and the Duarte model result of Martinelli, Toninelli and the second author.

math.PR↗

arXiv2021

Generalised oriented site percolation

We consider a generalised oriented site percolation model (GOSP) on $\mathbb Z^d$ with arbitrary neighbourhood. The key additional difficulties as compared to standard oriented percolation (OP) are the lack of symmetry and, in two dimensions, of planarity. We establish that, despite these deficiencies, in the supercritical regime GOSP behaves qualitatively like OP.

math.PR↗

arXiv2021

Bisection for kinetically constrained models revisited

The bisection method for kinetically constrained models (KCM) of Cancrini, Martinelli, Roberto and Toninelli is a vital technique applied also beyond KCM. In this note we present a new way of performing it, based on a novel two-block dynamics with a probabilistic proof instead of the original spectral one. We illustrate the method by very directly proving an upper bound on the relaxation time of KCM like the one for the East model in a strikingly general setting. Namely, we treat KCM on finite or infinite one-dimensional volumes, with any boundary condition, conditioned on any of the irreducible components of the state space, with arbitrary site-dependent state spaces and, most importantly, arbitrary inhomogeneous rules.

math.PR↗

arXiv2021

Coalescing and branching simple symmetric exclusion process

Motivated by kinetically constrained interacting particle systems (KCM), we consider a reversible coalescing and branching simple exclusion process on a general finite graph $G=(V,E)$ dual to the biased voter model on $G$. Our main goal are tight bounds on its logarithmic Sobolev constant and relaxation time, with particular focus on the delicate slightly supercritical regime in which the equilibrium density of particles tends to zero as $|V|\rightarrow \infty$. Our results allow us to recover very directly and improve to $\ell^p$-mixing, $p\ge 2$, and to more general graphs, the mixing time results of Pillai and Smith for the Fredrickson-Andersen one spin facilitated (FA-$1$f) KCM on the discrete $d$-dimensional torus. In view of applications to the more complex FA-$j$f KCM, $j>1$, we also extend part of the analysis to an analogous process with a more general product state space.

math.PR↗

arXiv2020

Weakly constrained-degree percolation on the hypercubic lattice

We consider the Constrained-degree percolation model on the hypercubic lattice, $\mathbb L^d=(\mathbb Z^d,\mathbb E^d)$ for $d\geq 3$. It is a continuous time percolation model defined by a sequence, $(U_e)_{e\in\mathbb E^d}$, of i.i.d. uniform random variables in $[0,1]$ and a positive integer (constraint) $κ$. Each bond $e\in\mathbb E^d$ tries to open at time $U_e$; it succeeds if and only if both its end-vertices belong to at most $κ-1$ open bonds at that time. Our main results are quantitative upper bounds on the critical time, characterising a phase transition for all $d\geq 3$ and most nontrivial values of $κ$. As a byproduct, we obtain that for large constraints and dimensions the critical time is asymptotically $1/(2d)$. For most cases considered it was previously not even established that the phase transition is nontrivial. One of the ingredients of our proof is an improved upper bound for the critical curve, $s_{\mathrm{c}}(b)$, of the Bernoulli mixed site-bond percolation in two dimensions, which may be of independent interest.

math.PR↗

arXiv2020

Universality for critical KCM: finite number of stable directions

In this paper we consider kinetically constrained models (KCM) on $\mathbb Z^2$ with general update families $\mathcal U$. For $\mathcal U$ belonging to the so-called "critical class" our focus is on the divergence of the infection time of the origin for the equilibrium process as the density of the facilitating sites vanishes. In a recent paper Marêché and two of the present authors proved that if $\mathcal U$ has an infinite number of "stable directions", then on a doubly logarithmic scale the above divergence is twice the one in the corresponding $\mathcal U$-bootstrap percolation. Here we prove instead that, contrary to previous conjectures, in the complementary case the two divergences are the same. In particular, we establish the full universality partition for critical $\mathcal U$. The main novel contribution is the identification of the leading mechanism governing the motion of infected critical droplets. It consists of a peculiar hierarchical combination of mesoscopic East-like motions.

math.PR↗

arXiv2020

$\mathcal{U}$-bootstrap percolation: critical probability, exponential decay and applications

Bootstrap percolation is a wide class of monotone cellular automata with random initial state. In this work we develop tools for studying in full generality one of the three `universality' classes of bootstrap percolation models in two dimensions, termed subcritical. We introduce the new notion of `critical densities' serving the role of `difficulties' for critical models, but adapted to subcritical ones. We characterise the critical probability in terms of these quantities and successfully apply this link to prove new and old results for concrete models such as DTBP and Spiral as well as a general non-trivial upper bound. Our approach establishes and exploits a tight connection between subcritical bootstrap percolation and a suitable generalisation of classical oriented percolation, which will undoubtedly be the source of more results and could provide an entry point for general percolationists to bootstrap percolation. Furthermore, we prove that above a certain critical probability there is exponential decay of the probability of a one-arm event, while below it the event has positive probability and the expected infection time is infinite. We also identify this as the transition of the spectral gap and mean infection time of the corresponding kinetically constrained model. Finally, we essentially characterise the noise sensitivity properties at fixed density for the two natural one-arm events. In doing so we answer fully or partially most of the open questions asked by Balister, Bollobás, Przykucki and Smith (2016)---namely we are concerned with their Questions 11, 12, 13, 14 and 17.

math.PR↗

arXiv2020

Universality for critical KCM: infinite number of stable directions

Kinetically constrained models (KCM) are reversible interacting particle systems on $\mathbb{Z}^d$ with continuous-time constrained Glauber dynamics. They are a natural non-monotone stochastic version of the family of cellular automata with random initial state known as $\mathcal{U}$-bootstrap percolation. KCM have an interest in their own right, owing to their use for modelling the liquid-glass transition in condensed matter physics. In two dimensions there are three classes of models with qualitatively different scaling of the infection time of the origin as the density of infected sites vanishes. Here we study in full generality the class termed `critical'. Together with the companion paper by Martinelli and two of the authors we establish the universality classes of critical KCM and determine within each class the critical exponent of the infection time as well as of the spectral gap. In this work we prove that for critical models with an infinite number of stable directions this exponent is twice the one of their bootstrap percolation counterpart. This is due to the occurrence of `energy barriers', which determine the dominant behaviour for these KCM but which do not matter for the monotone bootstrap dynamics. Our result confirms the conjecture of Martinelli, Morris and the last author, who proved a matching upper bound.

math.PR↗

arXiv2019

Complexity of 2D bootstrap percolation difficulty: Algorithm and NP-hardness

Bootstrap percolation is a class of cellular automata with random initial state. Two-dimensional bootstrap percolation models have three rough universality classes, the most studied being the `critical' one. For this class the scaling of the quantity of greatest interest -- the critical probability -- was determined by Bollobás, Duminil-Copin, Morris and Smith in terms of a simply defined combinatorial quantity called `difficulty', so the subject seemed closed up to finding sharper results. However, the computation of the difficulty, was never considered. In this paper we provide the first algorithm to determine this quantity, which is, surprisingly, not as easy as the definition leads to thinking. The proof also provides some explicit upper bounds, which are of use for bootstrap percolation. On the other hand, we also prove the negative result that computing the difficulty of a critical model is NP-hard. This two-dimensional picture contrasts with an upcoming result of Balister, Bollobás, Morris and Smith on uncomputability in higher dimensions. The proof of NP-hardness is achieved by a technical reduction to the Set Cover problem.

math.CO↗

arXiv2019

Strong Ramsey Games in Unbounded Time

For two graphs $B$ and $H$ the strong Ramsey game $\mathcal{R}(B,H)$ on the board $B$ and with target $H$ is played as follows. Two players alternately claim edges of $B$. The first player to build a copy of $H$ wins. If none of the players win, the game is declared a draw. A notorious open question of Beck asks whether the first player has a winning strategy in $\mathcal{R}(K_n,K_k)$ in bounded time as $n\rightarrow\infty$. Surprisingly, in a recent paper Hefetz et al. constructed a $5$-uniform hypergraph $\mathcal{H}$ for which they proved that the first player does not have a winning strategy in $\mathcal{R}(K_n^{(5)},\mathcal{H})$ in bounded time. They naturally ask whether the same result holds for graphs. In this paper we make further progress in decreasing the rank. In our first result, we construct a graph $G$ (in fact $G=K_6\setminus K_4$) and prove that the first player does not have a winning strategy in $\mathcal{R}(K_n \sqcup K_n,G)$ in bounded time. As an application of this result we deduce our second result in which we construct a $4$-uniform hypergraph $G'$ and prove that the first player does not have a winning strategy in $\mathcal{R}(K_n^{(4)},G')$ in bounded time. This improves the result in the paper above. An equivalent formulation of our first result is that the game $\mathcal{R}(K_ω\sqcup K_ω,G)$ is a draw. Another reason for interest on the board $K_ω\sqcup K_ω$ is a folklore result that the disjoint union of two finite positional games both of which are first player wins is also a first player win. An amusing corollary of our first result is that at least one of the following two natural statements is false: (1) for every graph $H$, $\mathcal{R}(K_ω,H)$ is a first player win; (2) for every graph $H$ if $\mathcal{R}(K_ω,H)$ is a first player win, then $\mathcal{R}(K_ω\sqcup K_ω,H)$ is also a first player win.

math.CO↗

arXiv2019

Maximum-energy records in glassy energy landscapes

We study the evolution of the maximum energy $E_\max(t)$ reached between time $0$ and time $t$ in the dynamics of simple models with glassy energy landscapes, in instant quenches from infinite temperature to a target temperature $T$. Through a detailed description of the activated dynamics, we are able to describe the evolution of $E_\max(t)$ from short times, through the aging regime, until after equilibrium is reached, thus providing a detailed description of the long-time dynamics. Finally, we compare our findings with numerical simulations of the $p$-spin glass and show how the maximum energy record can be used to identify the threshold energy in this model.

cond-mat.dis-nn↗

arXiv2018

The second term for two-neighbour bootstrap percolation in two dimensions

In the $r$-neighbour bootstrap process on a graph $G$, vertices are infected (in each time step) if they have at least $r$ already-infected neighbours. Motivated by its close connections to models from statistical physics, such as the Ising model of ferromagnetism, and kinetically constrained spin models of the liquid-glass transition, the most extensively-studied case is the two-neighbour bootstrap process on the two-dimensional grid $[n]^2$. Around 15 years ago, in a major breakthrough, Holroyd determined the sharp threshold for percolation in this model, and his bounds were subsequently sharpened further by Gravner and Holroyd, and by Gravner, Holroyd and Morris. In this paper we strengthen the lower bound of Gravner, Holroyd and Morris by proving that the critical probability $p_c\big( [n]^2,2 \big)$ for percolation in the two-neighbour model on $[n]^2$ satisfies \[p_c\big( [n]^2,2 \big) = \frac{π^2}{18\log n} - \frac{Θ(1)}{(\log n)^{3/2}}\,.\] The proof of this result requires a very precise understanding of the typical growth of a critical droplet, and involves a number of technical innovations. We expect these to have other applications, for example, to the study of more general two-dimensional cellular automata, and to the $r$-neighbour process in higher dimensions.

math.PR↗

arXiv2018

Maximal Bootstrap Percolation Time on the Hypercube via Generalised Snake-in-the-Box

In $r$-neighbour bootstrap percolation, vertices (sites) of a graph $G$ are infected, round-by-round, if they have $r$ neighbours already infected. Once infected, they remain infected. An initial set of infected sites is said to percolate if every site is eventually infected. We determine the maximal percolation time for $r$-neighbour bootstrap percolation on the hypercube for all $r \geq 3$ as the dimension $d$ goes to infinity up to a logarithmic factor. Surprisingly, it turns out to be $\frac{2^d}{d}$, which is in great contrast with the value for $r=2$, which is quadratic in $d$, as established by Przykucki. Furthermore, we discover a link between this problem and a generalisation of the well-known Snake-in-the-Box problem.

math.CO↗