Ergodic exponential maps with escaping singular behaviours

Jun Wang; Weiwei Cui

arxiv: 2308.10565 · v2 · submitted 2023-08-21 · 🧮 math.DS · math.CV

Ergodic exponential maps with escaping singular behaviours

Weiwei Cui , Jun Wang This is my paper

Pith reviewed 2026-05-24 08:19 UTC · model grok-4.3

classification 🧮 math.DS math.CV

keywords exponential mapsergodicitysingular valueescaping orbitscomplex dynamicsentire functionsinvariant measures

0 comments

The pith

Exponential maps exist that remain ergodic even as their singular value escapes to infinity.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs families of exponential maps in the complex plane where the singular value has an orbit tending to infinity. These maps are shown to be ergodic. This stands in contrast to the classical map e^z, which Lyubich proved is non-ergodic. A reader would care because the construction isolates escaping singular behaviour from the obstruction to ergodicity that appears in the standard exponential map.

Core claim

We construct exponential maps for which the singular value tends to infinity under iterates while the maps are ergodic. This is in contrast with a result of Lyubich from 1987 which tells that e^z is not ergodic.

What carries the argument

A parameter-dependent construction of exponential maps whose singular-value orbit escapes to infinity yet satisfies the paper's ergodicity criterion.

If this is right

Ergodicity can hold for exponential maps whose singular value escapes, enlarging the known class of ergodic entire functions.
The obstruction to ergodicity in e^z is not caused solely by the escaping behaviour of the singular value.
Parameter choices exist that produce escaping singular orbits while maintaining the existence of an ergodic invariant measure.
The result separates two dynamical properties previously linked in the study of exponential maps.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The construction may generalise to other entire functions whose singular values escape.
It raises the question of which additional dynamical conditions are needed to guarantee ergodicity when the singular orbit escapes.
The maps could serve as test cases for numerical or measure-theoretic studies of invariant densities in complex dynamics.

Load-bearing premise

The constructed maps satisfy the definition of ergodicity used in the paper while differing sufficiently from e^z to avoid contradicting Lyubich's 1987 non-ergodicity result.

What would settle it

An explicit verification that one of the constructed maps fails to preserve a probability measure that is ergodic under iteration would disprove the central claim.

Figures

Figures reproduced from arXiv: 2308.10565 by Jun Wang, Weiwei Cui.

**Figure 1.** Figure 1: Singular behaviour of the escaping map fλ: it first follows closely the singular orbit of fλ0 , then stays close to some repelling cycle of fλ1 , and then moves to the repelling cycle of fλ2 , and so on. Assume, on the contrary, that fλ is not ergodic. In other words, there exists an invariant set A such that both A and B := C \A have positive Lebesgue measure. Let z ∈ A be a Lebesgue density point. Since … view at source ↗

read the original abstract

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper constructs exponential maps that are ergodic while their singular value escapes to infinity, giving concrete examples that sit outside Lyubich's 1987 non-ergodicity result for e^z.

read the letter

The central claim is a construction of exponential maps (presumably λ exp(z) for suitable λ) that are ergodic with respect to the relevant invariant measure, yet the singular value tends to infinity under iteration. This is the main new piece: it supplies examples where both properties hold together, unlike the standard e^z case covered by Lyubich. The work is a direct response to that earlier result and stays within the usual framework of transcendental dynamics. The construction itself appears to be the contribution, and it is presented explicitly enough in the abstract to indicate a genuine family of examples rather than a restatement. That is useful for anyone cataloging possible behaviors in the exponential family. The citation pattern is straightforward and appropriate; the contrast with Lyubich is clear and not overclaimed. One soft spot is that the abstract gives no proof outline or verification steps, so the measure-theoretic details of ergodicity and the escaping orbit cannot be checked here. If the argument relies on standard techniques without hidden fitting or circularity, it should hold up, but that needs the full text. The result is modest in scope and does not reorganize the field, but the construction is the sort of concrete addition that specialists track. This paper is for people working in complex dynamics who care about ergodic properties of transcendental maps. A reader already familiar with Lyubich's theorem and the definition of escaping singular values will get the most out of it. It is solid enough on its own terms to deserve a serious referee who can verify the construction and the measure.

Referee Report

0 major / 2 minor

Summary. The paper constructs exponential maps (of the form λ exp(z)) for which the singular value tends to infinity under iteration while the maps remain ergodic with respect to a suitable invariant measure. This stands in contrast to Lyubich's 1987 result establishing that the standard map e^z is not ergodic.

Significance. If the construction and proofs hold, the result supplies explicit examples separating ergodicity from the escaping behavior of the singular value in transcendental dynamics. This clarifies the scope of Lyubich's non-ergodicity theorem and provides concrete instances where ergodicity persists under parameter variation, strengthening the catalog of known dynamical behaviors for exponential maps.

minor comments (2)

The abstract would benefit from a brief indication of the method used to select the parameters λ that achieve both escaping singular orbits and ergodicity.
Ensure all citations, including the 1987 Lyubich reference, are given in full bibliographic form in the reference list.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the positive recommendation to accept. The referee's summary correctly identifies the main contribution: explicit constructions of ergodic exponential maps for which the singular value escapes to infinity, providing a contrast to Lyubich's 1987 non-ergodicity result for e^z.

Circularity Check

0 steps flagged

No significant circularity; construction is self-contained

full rationale

The paper is an existence construction of exponential maps (of the form λ exp(z)) that are ergodic with respect to a relevant measure while the singular value escapes to infinity. This directly contrasts an external 1987 result of Lyubich on the specific map e^z and relies on standard definitions of ergodicity and escaping orbits from complex dynamics. No derivation step reduces by construction to a fitted parameter, self-citation chain, or renamed input; the central claim is an explicit construction whose validity is independent of the paper's own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review provides no information on free parameters, axioms, or invented entities; ledger left empty.

pith-pipeline@v0.9.0 · 5545 in / 961 out tokens · 18472 ms · 2026-05-24T08:19:55.220583+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Meromorphic functions whose action on their Julia sets is Non-Ergodic
math.DS 2024-09 unverdicted novelty 7.0

When all asymptotic values of a Nevanlinna function land at infinity, its Julia set is the full sphere and the map acts non-ergodically there.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages · cited by 1 Pith paper

[1]

Magnus Aspenberg and Weiwei Cui, Perturbations of exponential maps: Non-recurrent dynamics, arXiv:2206.11093, to appear in J. Anal. Math. (2022)

work page arXiv 2022
[2]

London Math

Irvine Noel Baker, Wandering domains in the iteration of entire functions, Proc. London Math. Soc. (3) 49 (1984), no. 3, 563--576

work page 1984
[3]

7, 2003--2025

Anna Miriam Benini, Expansivity properties and rigidity for non-recurrent exponential maps, Nonlinearity 28 (2015), no. 7, 2003--2025

work page 2015
[4]

30 (1996), no

Heinrich Bock, On the dynamics of entire functions on the J ulia set , Results Math. 30 (1996), no. 1-2, 16--20

work page 1996
[5]

Rippon, Iteration on exponential functions, Ann

Irvine Noel Baker and Philip J. Rippon, Iteration on exponential functions, Ann. Acad. Sci. Fenn., Ser. A. I. Math. 9 (1984), 49--77

work page 1984
[6]

Devaney and Micha Krych, Dynamics of exp (z) , Ergodic Theory Dynam

Robert L. Devaney and Micha Krych, Dynamics of exp (z) , Ergodic Theory Dynam. Systems 4 (1984), no. 1, 35--52

work page 1984
[7]

A. \`E . Er\" e menko and M. Yu. Lyubich, Dynamical properties of some classes of entire functions, Ann. Inst. Fourier (Grenoble) 42 (1992), no. 4, 989--1020

work page 1992
[8]

Markus F\" o rster, Lasse Rempe, and Dierk Schleicher, Classification of escaping exponential maps, Proc. Amer. Math. Soc. 136 (2008), no. 2, 651--663

work page 2008
[9]

M. Yu. Lyubich, The measurable dynamics of the exponential, Sibirsk. Mat. Zh. 28 (1987), no. 5, 111--127

work page 1987
[10]

thesis, Christian-Albrechts-Universit\"at zu Kiel, 2003

Lasse Rempe, Dynamics of E xponential M aps , Ph.D. thesis, Christian-Albrechts-Universit\"at zu Kiel, 2003

work page 2003
[11]

Lasse Rempe and Dierk Schleicher, Bifurcations in the space of exponential maps, Invent. Math. 175 (2009), no. 1, 103--135

work page 2009
[12]

Mariusz Urba\' n ski and Anna Zdunik, Instability of exponential C ollet- E ckmann maps , Israel J. Math. 161 (2007), 347--371

work page 2007

[1] [1]

Magnus Aspenberg and Weiwei Cui, Perturbations of exponential maps: Non-recurrent dynamics, arXiv:2206.11093, to appear in J. Anal. Math. (2022)

work page arXiv 2022

[2] [2]

London Math

Irvine Noel Baker, Wandering domains in the iteration of entire functions, Proc. London Math. Soc. (3) 49 (1984), no. 3, 563--576

work page 1984

[3] [3]

7, 2003--2025

Anna Miriam Benini, Expansivity properties and rigidity for non-recurrent exponential maps, Nonlinearity 28 (2015), no. 7, 2003--2025

work page 2015

[4] [4]

30 (1996), no

Heinrich Bock, On the dynamics of entire functions on the J ulia set , Results Math. 30 (1996), no. 1-2, 16--20

work page 1996

[5] [5]

Rippon, Iteration on exponential functions, Ann

Irvine Noel Baker and Philip J. Rippon, Iteration on exponential functions, Ann. Acad. Sci. Fenn., Ser. A. I. Math. 9 (1984), 49--77

work page 1984

[6] [6]

Devaney and Micha Krych, Dynamics of exp (z) , Ergodic Theory Dynam

Robert L. Devaney and Micha Krych, Dynamics of exp (z) , Ergodic Theory Dynam. Systems 4 (1984), no. 1, 35--52

work page 1984

[7] [7]

A. \`E . Er\" e menko and M. Yu. Lyubich, Dynamical properties of some classes of entire functions, Ann. Inst. Fourier (Grenoble) 42 (1992), no. 4, 989--1020

work page 1992

[8] [8]

Markus F\" o rster, Lasse Rempe, and Dierk Schleicher, Classification of escaping exponential maps, Proc. Amer. Math. Soc. 136 (2008), no. 2, 651--663

work page 2008

[9] [9]

M. Yu. Lyubich, The measurable dynamics of the exponential, Sibirsk. Mat. Zh. 28 (1987), no. 5, 111--127

work page 1987

[10] [10]

thesis, Christian-Albrechts-Universit\"at zu Kiel, 2003

Lasse Rempe, Dynamics of E xponential M aps , Ph.D. thesis, Christian-Albrechts-Universit\"at zu Kiel, 2003

work page 2003

[11] [11]

Lasse Rempe and Dierk Schleicher, Bifurcations in the space of exponential maps, Invent. Math. 175 (2009), no. 1, 103--135

work page 2009

[12] [12]

Mariusz Urba\' n ski and Anna Zdunik, Instability of exponential C ollet- E ckmann maps , Israel J. Math. 161 (2007), 347--371

work page 2007