1: \begin{abstract}

2: 

3: We introduce a new class of two-dimensional cellular automata with a

4: bootstrap percolation-like dynamics. Each site can be either empty or 

5: occupied by a single

6: particle   and the dynamics follows a deterministic updating rule at

7: discrete times which allows only emptying sites. 

8: We prove that the threshold density $\rho_c$ for convergence to a completely

9: empty configuration

10: is non trivial, $0<\rho_c<1$, contrary to standard bootstrap

11: percolation.

12: Furthermore we prove that in the subcritical regime, $\rho<\rho_c$,

13:  emptying always occurs exponentially fast and that

14: $\rho_c$ coincides with the critical density for two-dimensional 

15: oriented site percolation on $\bZ^2$. This is known

16: to occur also for some cellular automata with 

17: oriented rules for which the transition is continuous 

18: in the value of the asymptotic density and 

19: the crossover length determining finite size effects diverges

20: as a power law when the critical density is approached from below.

21: Instead for our model we prove that the transition is {\it discontinuous}

22: and at the same time the  crossover length diverges 

23: {\it faster than any power law}.

24: The proofs of the discontinuity and the lower bound on the crossover length

25: use a conjecture on the critical behaviour for oriented percolation.

26: The latter is supported by several numerical simulations and by analytical (though

27: non rigorous) works through renormalization techniques. 

28: Finally, we will discuss why, due to the peculiar {\it mixed critical/first 

29: order character} of this

30: transition, the model is particularly relevant to study glassy

31: and jamming transitions. Indeed, we will show that it  

32: leads to a dynamical glass transition for a Kinetically

33: Constrained Spin Model. Most of the results that we present are the 

34: rigorous proofs of physical arguments developed in a joint work with D.S.Fisher. 

35: 

36: \end{abstract}

37: