Further Developments of Sinai's Ideas: The Boltzmann-Sinai Hypothesis

TL;DR

This paper reviews the progress made between 2000 and 2013 in proving Sinai's ergodic hypothesis for billiard systems of hard balls on a torus, highlighting the development of key ideas over fifty years.

Contribution

It summarizes the advancements and new ideas that led to the proof of Sinai's Boltzmann-Sinai Ergodic Hypothesis between 2000 and 2013.

Findings

Proof of the ergodic hypothesis for hard ball systems

Development of new mathematical techniques in dynamical systems

Confirmation of Sinai's original conjecture

Abstract

In 1963 Ya. G. Sinai formulated a modern version of Boltzmann's ergodic hypothesis, what we now call the ``Boltzmann-Sinai Ergodic Hypothesis'': The billiard system of $N$ ($N\ge 2$) hard balls of unit mass moving on the flat torus $\mathbb{T}^\nu=\mathbb{R}^\nu/\mathbb{Z}^\nu$ ($\nu\ge 2$) is ergodic after we make the standard reductions by fixing the values of trivial invariant quantities. It took fifty years and the efforts of several people, including Sinai himself, until this conjecture was finally proved. In this short survey we provide a quick review of the closing part of this process, by showing how Sinai's original ideas developed further between 2000 and 2013, eventually leading the proof of the conjecture.