Boltzmann equations for a binary one-dimensional ideal gas

We consider a time-reversal invariant dynamical model of a binary ideal gas of N molecules in one spatial dimension. By making time-asymmetric assumptions about the behavior of the gas, we derive Boltzmann and anti-Boltzmann equations that describe the evolution of the single-molecule velocity distribution functions for an ensemble of such systems. We show that for a special class of initial states of the ensemble one can obtain an exact expression for the N-molecule velocity distribution function, and we use this expression to rigorously prove that the time-asymmetric assumptions needed to derive the Boltzmann and anti-Boltzmann equations hold in the limit of large N. Our results clarify some subtle issues regarding the origin of the time asymmetry of Boltzmann's H theorem.