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 by Martinelli, Morris, Toninelli and the authors, 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.

We investigate zero-temperature dynamics for a homogeneous ferromagnetic Ising model on the homogeneous tree of degree three (𝕋) with random (i.i.d. Bernoulli) spin configuration at time 0. Letting θ denote the probability that any particular vertex has a +1 initial spin, for infinite spin clusters do not exist at time 0 but we show that infinite ‘spin chains’ (doubly infinite paths of vertices with a common spin) exist in abundance at any time ϵ > 0. We study the structure of the subgraph of 𝕋 generated by the vertices in time-ϵ spin chains. We show the existence of a phase transition in the sense that, for some critical θc with spin chains almost surely never form for θ < θc but almost surely do form in finite time for θ > θc. We relate these results to certain quantities of physical interest, such as the t → ∞ asymptotics of the probability that any particular vertex changes spin after time t.