{"id":"arxiv/2609.38061","url":"https://arxiv.org/abs/2609.38061","tags":["math.AP","math-ph","math.PR"],"score":0,"title":"Kruskal-style algorithm for Boltzmann equation molecule reduction","domain":"math.AP","source":"arxiv","authors":["Yvain Bruned","Valentin Clarisse"],"reviews":0,"subject":"math.AP","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-29","reactions":{}}