Time scale separation in the low temperature East model: rigorous results

We consider the non-equilibrium dynamics of the East model, a linear chain of 0{1 spins evolving under a simple Glauber dynamics in the presence of a kinetic constraint which forbids ips of those spins whose left neighbor is 1. We focus on the glassy eects caused by the kinetic constraint as q # 0, where q is the equilibrium density of the 0 spins. Specically we analyze time scale separation and dynamic heterogeneity, i.e. non-trivial spatio-temporal uctuations of the local relaxation to equilibrium, one of the central aspects of glassy dynamics. For any mesoscopic length scale L = O(q ), < 1, we show that the characteristic time scales associated with two length scales d=q and d0=q are indeed separated by a factor q, = ( ) > 0, provided that d0=d is large enough independently of q. In particular, the evolution of mesoscopic domains, i.e. maximal blocks of the form 111 : : : 10, occurs on a time scale which depends sharply on the size of the domain, a clear signature of dynamic heterogeneity. Finally we show that no form of time scale separation can occur for = 1, i.e. at the equilibrium scale L = 1=q, contrary to what was previously assumed in the physical literature based on numerical simulations.