Villani's conjecture for Kac's walk
In the authors' words
We prove Villani's conjecture on entropy production for Kac's walk with uniform collision angles. For every , with total collision rate , the optimal entropy production constant is . We show that the known lower bound is sharp by constructing two families of smooth strictly positive probability densities, invariant under coordinate permutations and sign changes. The first consists of normalized products of inverse powers; the second is obtained by conditioning products of Gaussian mixtures on the energy sphere. With fixed, we compute the leading terms of entropy and entropy production. Successive parameter limits yield two independent proofs of sharpness.
Main resultThe abstract does not state a limitation.
Appeared: Tuesday, September 22. arXiv. Preprint, not yet peer-reviewed.