Mathematical billiards, semi-dispersive billiards, hard ball systems, Boltzmann-Sinai ergodic hypothesis, partial hyperbolicity, ergodicity, local ergodicity