Derivation of the Boltzmann equation from hard-sphere dynamics (after Y. Deng, Z. Hani, and X. Ma)
This note explains key elements of the proof by Y. Deng, Z. Hani, and X. Ma that extends Lanford's derivation of the Boltzmann equation from hard-sphere dynamics from a short-time interval to arbitrary large times, provided the Boltzmann equation admits a regular solution.