Dynamics from iterated averaging
Dynamical Systems
2026-01-23 v3 Probability
Abstract
We prove that for a standard Lebesgue space , the strong operator closure of the semigroup generated by conditional expectations on contains the group of measure-preserving automorphisms. This is based on a solution to the following puzzle: given full water tanks, each containing one unit of water, and empty ones, how much water can be transferred from the full tanks to the empty ones by repeatedly equilibrating the water levels between pairs of tanks?
Cite
@article{arxiv.2508.21416,
title = {Dynamics from iterated averaging},
author = {Tobias Fritz and Nicolás Rivera},
journal= {arXiv preprint arXiv:2508.21416},
year = {2026}
}
Comments
12 pages. v3: updated literature discussion