Equidistribution Measures of infinite entropy for Transcendental Functions
Abstract
In the 1980s Lyubich and Freire-Lopes-Mañé proved that for any rational function of degree d \geq 2, both preimages and periodic points equidistribute to the unique measure of maximal entropy log(d). Their results provide a fundamental understanding of the dynamics of iterated rational functions, and have since been generalized to many different contexts, including classes of higher-dimensional polynomial and rational maps. In the current paper we depart from the algebraic category and aim to prove analogous statements for transcendental functions in the complex plane, which have infinite topological entropy. We introduce two different methods for constructing invariant measures in the transcendental setting, namely via embedded symbolic dynamical systems and via transfer operators associated to suitably chosen weights. In the latter case we isolate three properties of the weights -normality, tightness, and irreducibility- which together imply convergence to an invariant measure. We provide examples for each method, given by three classes of transcendental entire functions: disjoint-type maps, strongly polynomial-like maps, and a class of maps inspired by Baker's construction of multiply connected wandering domains and by Bishop's construction of Julia sets of Hausdorff dimension 1, which we call Baker-Bishop maps. For each of these classes we prove that with respect to carefully chosen weights, preimages equidistribute to an invariant mixing probability measure of infinite entropy. For Baker-Bishop maps and disjoint-type maps we also prove equidistribution of periodic points. In contrast to the rational setting, the measures we construct are not unique: by varying the weights one obtains infinitely many distinct measures.
Related
- Hilbertian Fields and Profinite Iterated Monodromy Groups Over Transcendental Elements with Specializations of Infinite Index
- On effective equidistribution for product-type self-affine measures
- Sierpiński carpet Julia sets of transcendental entire functions
- Typical expansive measures for infinite-dimensional maps
- Hausdorff and Packing Measures for β-L{ü}roth Infinite Iterated Function Systems
BibTeX
@misc{arosio2026equidistribution,
title = {{Equidistribution Measures of infinite entropy for Transcendental Functions}},
author = {Leandro Arosio and Anna Miriam Benini and John Erik Fornæss and Han Peters},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.06658},
eprint = {2609.06658},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.06658},
}
RIS
TY - UNPB
TI - Equidistribution Measures of infinite entropy for Transcendental Functions
AU - Leandro Arosio
AU - Anna Miriam Benini
AU - John Erik Fornæss
AU - Han Peters
PY - 2026
DA - 2026/09/06
PB - arXiv
DO - 10.48550/arxiv.2609.06658
UR - https://arxiv.org/abs/2609.06658
AB - In the 1980s Lyubich and Freire-Lopes-Mañé proved that for any rational function of degree d \geq 2, both preimages and periodic points equidistribute to the unique measure of maximal entropy log(d). Their results provide a fundamental understanding of the dynamics of iterated rational functions, and have since been generalized to many different contexts, including classes of higher-dimensional polynomial and rational maps. In the current paper we depart from the algebraic category and aim to prove analogous statements for transcendental functions in the complex plane, which have infinite topological entropy. We introduce two different methods for constructing invariant measures in the transcendental setting, namely via embedded symbolic dynamical systems and via transfer operators associated to suitably chosen weights. In the latter case we isolate three properties of the weights -normality, tightness, and irreducibility- which together imply convergence to an invariant measure. We provide examples for each method, given by three classes of transcendental entire functions: disjoint-type maps, strongly polynomial-like maps, and a class of maps inspired by Baker's construction of multiply connected wandering domains and by Bishop's construction of Julia sets of Hausdorff dimension 1, which we call Baker-Bishop maps. For each of these classes we prove that with respect to carefully chosen weights, preimages equidistribute to an invariant mixing probability measure of infinite entropy. For Baker-Bishop maps and disjoint-type maps we also prove equidistribution of periodic points. In contrast to the rational setting, the measures we construct are not unique: by varying the weights one obtains infinitely many distinct measures.
ER -