I have shown that, like diffeomorphisms, piecewise affine surface homeomorphisms are approximated in entropy by horseshoes, away from their singularities. It follows in particular that their topological entropy is lower-semicontinuous: a small perturbation cannot cause a macroscopic drop in entropy.

The continuity of the entropy for such maps had been an open problem for some time. Rigorous numerical estimates by Duncan SANDS and Yutaka ISHII seemed to suggest some discontinuous drops, but investigation at a small scale suggested these drops to be steep yet continuous variations.

Izzet B. YILDIZ has solved this question by finding for Lozi maps on , small numbers such that, setting , for all :

- ;
- .

The verification turns out to be quite simple (once you know where to look!). The non-wandering set of is shown to be reduced to be reduced to the fixed points of its fourth iterates, yielding the zero entropy immediately. on the other hand is shown to admit 2 disjoint closed quadrilaterals such that hyperbolically crosses both and and hyperbolically crosses . This means that the sides of and can be branded alternatively *s* and *u* with the following property. The image of a *u* side crosses each of it meets, intersecting both their *s* sides and none of their *u* sides. This again yields the entropy estimate.

## Leave a Reply