Year: 2026
Type: preprint
Abstract: We are interested in the molecule reduction algorithm used by Deng, Hani and Ma. This algorithm allows them to establish a rigidity theorem, which plays a central role in the long-time derivation of the Boltzmann equation using the hard-sphere dynamics. In the present article, we show that this algorithm is a graph traversal algorithm of Kruskal type, and we prove that it constructs a Kruskal spanning tree of the input molecule.
Source: arXiv (Cornell University)
Authors: Bruned, Yvain, Clarisse, Valentin
Language: English
Subfield: Applied Mathematics
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
Funder: European Commission
OpenAlex ID: W7214911814
