Separating Orbits by Entire Functions
Dynamical Systems
2026-04-08 v1 Complex Variables
Logic
Abstract
We show that for any free probability measure-preserving action of on a standard probability space, there exists a Borel entire function such that the factor map , where , is injective. This work builds on a result of Gl\"ucksam and Weiss, who constructed non-constant measurable entire functions for such actions. The proof combines a separating cross-section whose cocycle values lie in a countable subgroup with Forstneri\v{c}'s holomorphic approximation theorem with prescribed critical points.
Cite
@article{arxiv.2604.05169,
title = {Separating Orbits by Entire Functions},
author = {Billy Duckworth and Konstantin Slutsky},
journal= {arXiv preprint arXiv:2604.05169},
year = {2026}
}