Jamming transition in kinetically constrained models with reflection symmetry

A class of kinetically constrained models with reflection symmetry is proposed as an extension of the Fredrickson-Andersen model. It is proved that the proposed model on the square lattice exhibits a freezing transition at a non-trivial density. It is conjectured by numerical experiments that the known mechanism of the singular behaviors near the freezing transition in a previously studied model (spiral model) is not responsible for that in the proposed model.