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\^ech\'e 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.Comment: 73 pages, including 3 online-only appendices, 9 figures; comprehensive summary of mechanisms in section 2; changes: thoroughly revised presentation, minor corrections, different proof in Appendix A.1. (the old one is also correct