Ergodicity of two hard balls in integrable polygons
Abstract
We prove the hyperbolicity, ergodicity and thus the Bernoulli property of two hard balls in one of the following four polygons: the square, the equilateral triangle, the $45-45-90^\\circ$ triangle or the $30-60-90^\\circ$ triangle.