English

Infinitesimal containment and sparse factors of iid

Dynamical Systems 2025-12-11 v1 Information Theory math.IT Probability

Abstract

We introduce infinitesimal weak containment for measure-preserving actions of a countable group Γ\Gamma: an action (X,μ)(X,\mu) is infinitesimally contained in (Y,ν)(Y,\nu) if the statistics of the action of Γ\Gamma on small measure subsets of XX can be approximated inside YY. We show that the Bernoulli shift [0,1]Γ[0,1]^\Gamma is infinitesimally contained in the left-regular action of Γ\Gamma. For exact groups, this implies that sparse factor-of-iid subsets of Γ\Gamma are approximately hyperfinite. We use it to quantify a theorem of Chifan--Ioana on measured subrelations of the Bernoulli shift of an exact group. For the proof of infinitesimal containment we define \emph{entropy support maps}, which take a small subset UU of {0,1}I\{0,1\}^I and assign weights to coordinates above every point of UU, according to how ''important'' they are for the structure of the set.

Keywords

Cite

@article{arxiv.2512.09301,
  title  = {Infinitesimal containment and sparse factors of iid},
  author = {Mikołaj Frączyk},
  journal= {arXiv preprint arXiv:2512.09301},
  year   = {2025}
}

Comments

50 pages, 1 figure, comments welcome