Horns in Billiards

David de Frutos Ostrander, Boris Hasselblatt, Mark Levi

We show that, like cusps, horns in billiards expel every trajectory after finitely many collisions. We further produce an adiabatic invariant.