English

Dynamics from iterated averaging

Dynamical Systems 2026-01-23 v3 Probability

Abstract

We prove that for a standard Lebesgue space XX, the strong operator closure of the semigroup generated by conditional expectations on L(X)L^\infty(X) contains the group of measure-preserving automorphisms. This is based on a solution to the following puzzle: given nn full water tanks, each containing one unit of water, and nn 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

R2 v1 2026-07-01T05:11:40.446Z