Machine Learning the H-theorem
The H-theorem provides a microscopic foundation for the Second Law of Thermodynamics and therefore occupies a central place in statistical physics. At the same time, its relation to microscopic reversibility has remained conceptually subtle. To investigate how an arrow of time may be inferred directly from microscopic data, we study the relaxation of randomly initialized hard disks in a periodic box. We construct a permutation-invariant neural network based on the DeepSets architecture. The model is trained only to assign later states a larger scalar value than earlier states. We compare the learned scalar with the Boltzmann H-functional and assess to what extent the dynamics alone lead the model toward the structure implied by the H-theorem.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
GamePad: A Learning Environment for Theorem Proving
In this paper, we introduce a system called GamePad that can be used to explore the application of machine learning methods to theorem proving in the Coq proof assistant. Interactive theorem provers such as Coq enable us…
Automated Theorem ProvingPositionPantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4
Machine-assisted theorem proving refers to the process of conducting structured reasoning to automatically generate proofs for mathematical theorems. Recently, there has been a surge of interest in using machine learning…
Automated Theorem ProvingMajority Voting and the Condorcet's Jury Theorem
There is a striking relationship between a three hundred years old Political Science theorem named "Condorcet's jury theorem" (1785), which states that majorities are more likely to choose correctly when individual votes…
BIG-bench Machine LearningEnsemble LearningHolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving
Large computer-understandable proofs consist of millions of intermediate logical steps. The vast majority of such steps originate from manually selected and manually guided heuristics applied to intermediate goals. So fa…
Automated Theorem ProvingBIG-bench Machine LearningIf you can distinguish, you can express: Galois theory, Stone--Weierstrass, machine learning, and linguistics
This essay develops a parallel between the Fundamental Theorem of Galois Theory and the Stone--Weierstrass theorem: both can be viewed as assertions that tie the distinguishing power of a class of objects to their expres…