pith. sign in

arxiv: 2409.12127 · v4 · submitted 2024-09-18 · 🧮 math.DS

Meromorphic functions whose action on their Julia sets is Non-Ergodic

Tao Chen , Yunping Jiang , Linda Keen This is my paper

Pith reviewed 2026-05-23 20:55 UTC · model grok-4.3

classification 🧮 math.DS
keywords Nevanlinna functionsJulia setsergodicitymeromorphic functionsasymptotic valuesRiemann sphere
0
0 comments X

The pith

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

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

Nevanlinna functions are meromorphic functions that have only finitely many asymptotic values and no critical values. Prior results established ergodicity on the Julia set when all asymptotic values accumulate on a repelling compact set or when only some of them tend to infinity. This paper treats the remaining case and proves that when every asymptotic value tends to infinity the Julia set must be the full Riemann sphere and the dynamics on it cannot be ergodic. The result finishes a classification of ergodic versus non-ergodic behaviour for this entire class of maps.

Core claim

The paper proves that if a Nevanlinna function has the property that every one of its asymptotic values lands on infinity, then its Julia set coincides with the Riemann sphere and the action of the function on that set is non-ergodic.

What carries the argument

The landing condition on all asymptotic values, which forces the Julia set to become the whole sphere.

If this is right

  • The Julia set equals the entire Riemann sphere.
  • The action of the function on its Julia set is non-ergodic.
  • This case completes the earlier ergodicity results that covered partial or no landing at infinity.

Where Pith is reading between the lines

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

  • Ergodicity on the Julia set for these functions appears to require at least one asymptotic value whose orbit stays away from infinity.
  • The same non-ergodicity conclusion might be tested for meromorphic functions that are not Nevanlinna, i.e., that possess infinitely many asymptotic values.

Load-bearing premise

The maps under study are Nevanlinna functions, i.e., meromorphic functions possessing only finitely many asymptotic values and no critical values.

What would settle it

An explicit Nevanlinna function whose asymptotic values all tend to infinity yet whose Julia set is a proper subset of the sphere, or on which the map acts ergodically.

Figures

Figures reproduced from arXiv: 2409.12127 by Linda Keen, Tao Chen, Yunping Jiang.

Figure 1
Figure 1. Figure 1: The critical lines and sectors for N = 4 For z ∈ Si and Zi = Zi(z), we obtain a function on Si defined by F(Zi) = f(z). The map F can be approximately expressed as (1) f(z) = F(Zi) = Aie iZi + Bie −iZi Cie iZi + Die−iZi . The sets Ui and Li are respectively asymptotic tracts for the asymptotic values Bi/Di and Ai/Ci of F(Zi). Therefore, since Ti = Z −1 i (Ui) and Ti−1 = Z −1 i (Li) are mapped by f to punct… view at source ↗
Figure 2
Figure 2. Figure 2: The decomposition of hi,U ◦ Ei,U as a map from the auxilliary plane to the dynamic plane and Mi,L map D = D∗ ∪ {0} injectively onto neighborhoods Ni and Ni−1 of the asymptotic values λi and λi−1. Thus we obtain factorizations of the truncated solutions in Ti and Ti−1 f = Mi,U ◦ EU ◦ Zi and f = Mi,L ◦ EL ◦ Zi . By hypothesis, f ki−1 and f ki−1−1 map Ni and Ni−1 to neighborhoods Pi and Pi−1 of the poles pi a… view at source ↗
Figure 3
Figure 3. Figure 3: The map of the asymptotic tract Ti (green) and its image under f ki+1 (red) The maps φi,U and φi,L map the respective asymptotic tracts Ti and Ti−1 onto a neighborhood Ω of ∞. See figures 2 and 3. Next, for z ∈ Ti∪Ti−1 ⊂ Si , we define the maps: Φi(z) = ( ϕi,U (z), z ∈ Ti ϕi,L(z), z ∈ Ti−1. Note that Ti ⊂ (Si ∩Si+1)∪ wedi . If z ∈ Si ∩Si+1, there are two choices of the auxiliary variables Zi , Zi+1 for z. … view at source ↗
Figure 3
Figure 3. Figure 3: Thus, the maps Zj ’s are well-defined for all 1 ≤ j ≤ N. Define the map Ψi,j on the Zi-plane by the functional equation Zj ◦ Φi = Ψi,j ◦ Zi . The maps Ψi,j are infinite to one. To create regions of injectivity, divide each horizontal strip Hori k into infinitely rectangles Recti k,n of width π; and define N disjoint sub-rectangles Recti j,k,n in each rectangle Recti k,n as: Recti j,k,n = {Zi = x + iy : x i… view at source ↗
Figure 4
Figure 4. Figure 4: Hori k for N = 4 Remark 2.1. The vertical lines x = x i j + nπ in Hori k are essentially mapped to the critical ray Lj under the map Z −1 j ◦Ψi,j and they lie in the complements of the Recti j,k,n. The next lemma states that in the Zi-plane, for any point x + iy in these sub-rectangles Recti j,k,n, the inequality (4) in Lemma 2.5 is satisfied. Lemma 2.6. There exists an integer N0 such that if k > N0, and … view at source ↗
read the original abstract

Nevanlinna functions are meromorphic functions with a finite number of asymptotic values and no critical values. In [KK2] it was proved that if the orbits of all the asymptotic values accumulate on a compact set on which the function acts as a repeller, then the function acts ergodically on its Julia set. In [CJK4] we proved the action of the function on its Julia set is still ergodic if some, but not all of the asymptotic values land on infinity, and the remaining ones land on a compact repeller. In this paper, we complete the characterization of ergodicity for Nevanlinna functions by proving that if all the asymptotic values land on infinity, then the Julia set is the whole sphere and the action of the map there is non-ergodic.

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.

Referee Report

2 major / 1 minor

Summary. The paper completes the characterization of ergodicity for Nevanlinna functions (meromorphic functions with finitely many asymptotic values and no critical values) by proving that if all asymptotic values land on infinity, then the Julia set is the whole Riemann sphere and the action of the map is non-ergodic. This follows earlier results showing ergodicity when asymptotic values accumulate on a compact repeller or when some but not all land on infinity.

Significance. If the result holds under the stated hypotheses, it would provide a clean trichotomy for ergodicity in this class based on the landing of asymptotic values, strengthening the understanding of measure-theoretic dynamics on Julia sets for functions with restricted singular values. The manuscript ships a complete characterization across three papers, which is a strength.

major comments (2)
  1. [Abstract and §1] Abstract and opening paragraph of §1: the definition of Nevanlinna functions as meromorphic functions with finitely many asymptotic values and no critical values does not exclude non-transcendental examples. The counterexample f(z)=2z satisfies the definition (single asymptotic value at ∞, f'≠0 everywhere) yet has J(f)={0} (repelling fixed point at 0; Fatou set is the sphere minus {0}), contradicting the claim that all asymptotic values at ∞ implies J(f) is the sphere. The proof that J(f)=sphere must therefore rely on an unstated restriction to transcendental meromorphic functions.
  2. [Main theorem] Main theorem (the result completing the characterization): the statement must explicitly add the hypothesis that the functions are transcendental, or the argument establishing J(f)=sphere must be shown to exclude degree-1 cases without additional assumptions.
minor comments (1)
  1. [References] Ensure all citations to [KK2] and [CJK4] include full bibliographic details or arXiv identifiers.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need to specify that the functions under consideration are transcendental. We agree with the comments and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [Abstract and §1] Abstract and opening paragraph of §1: the definition of Nevanlinna functions as meromorphic functions with finitely many asymptotic values and no critical values does not exclude non-transcendental examples. The counterexample f(z)=2z satisfies the definition (single asymptotic value at ∞, f'≠0 everywhere) yet has J(f)={0} (repelling fixed point at 0; Fatou set is the sphere minus {0}), contradicting the claim that all asymptotic values at ∞ implies J(f) is the sphere. The proof that J(f)=sphere must therefore rely on an unstated restriction to transcendental meromorphic functions.

    Authors: We agree with the referee's observation. The definition provided in the manuscript does not explicitly exclude rational functions, and the counterexample f(z) = 2z is valid, showing that the Julia set need not be the entire sphere in the rational case. The proofs in the paper rely on the transcendental nature of the functions. We will revise the definition in the abstract and the opening paragraph of §1 to specify 'transcendental meromorphic functions' and update the main theorem statement to include this hypothesis. revision: yes

  2. Referee: [Main theorem] Main theorem (the result completing the characterization): the statement must explicitly add the hypothesis that the functions are transcendental, or the argument establishing J(f)=sphere must be shown to exclude degree-1 cases without additional assumptions.

    Authors: We will add the explicit hypothesis that the functions are transcendental to the statement of the main theorem. The argument that the Julia set is the whole sphere when all asymptotic values land at infinity uses properties that hold only for transcendental meromorphic functions and does not extend to rational maps. revision: yes

Circularity Check

0 steps flagged

No circularity detected; new case proved independently

full rationale

The paper's central result is a direct proof that when all asymptotic values of a Nevanlinna function land at infinity, the Julia set is the sphere and the action is non-ergodic. This completes prior cases from [KK2] and [CJK4] but does not reduce to them by definition, fitting, or self-citation chain. No equations or steps in the provided abstract or description exhibit self-definitional equivalence, fitted inputs renamed as predictions, or load-bearing reliance on overlapping-author citations that are themselves unverified. The derivation is self-contained against the stated assumptions on Nevanlinna functions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on the standard definition of Nevanlinna functions and on background results about Julia sets of meromorphic maps; no free parameters or new entities are introduced in the abstract.

axioms (1)
  • domain assumption Nevanlinna functions are meromorphic with finitely many asymptotic values and no critical values.
    Invoked in the first sentence of the abstract as the class under study.

pith-pipeline@v0.9.0 · 5664 in / 1077 out tokens · 22696 ms · 2026-05-23T20:55:40.132274+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages · 1 internal anchor

  1. [1]

    Astorg, A

    M. Astorg, A. M. Benini and N. Fagella, Bifurcation loci of families of finite type meromorphic maps . arXiv:2107.02663

    work page arXiv

  2. [2]

    I. N. Baker, J. Kotus and Y. L\"u, Iterates of meromorphic functions II: Examples of wandering domains . J. London Math. Soc. 42 (2) (1990), 267-278

    work page 1990

  3. [3]

    I. N. Baker, J. Kotus and Y. L\"u, Iterates of meromorphic functions IV: Critically finite functions . Results in Mathematics 22 (1991), 651-656

    work page 1991

  4. [4]

    Bergweiler, Iteration of meromorphic functions

    W. Bergweiler, Iteration of meromorphic functions . Bull. Amer. Math. Soc. 29 (1993), 151-188

    work page 1993

  5. [5]

    Bock, On the dynamics of entire functions on the Julia set

    H. Bock, On the dynamics of entire functions on the Julia set. Results. Math. 30 (1996), 16-20

    work page 1996

  6. [6]

    Cui, Hausdorff dimension of escaping sets of Nevanlinna functions

    W. Cui, Hausdorff dimension of escaping sets of Nevanlinna functions. Int. Math. Res. Not. 2021(15) (2021)

    work page 2021

  7. [7]

    Carleson and T

    L. Carleson and T. Gamelin, Complex Dynamics , Springer-Verlag, 1993

    work page 1993

  8. [8]

    T. Chen, Y. Jiang and L. Keen, Cycle doubling, merging, and renormalization in the tangent family. Conform. Geom. Dyn. 22 (2018), 271-314

    work page 2018

  9. [9]

    T. Chen, Y. Jiang and L. Keen, Accessible boundary points in the shift locus of a family of meromorphic functions with two finite asymptotic values. Arnold Mathematical Journal volume 8 (2022), 147–167

    work page 2022

  10. [10]

    T. Chen, Y. Jiang and L. Keen, Slices of parameter space for meromorphic maps with two asymptotic values. Ergodic Theory and Dynamical Systems, Volume 43 , Issue 1 (2023), 99-139

    work page 2023

  11. [11]

    T. Chen, Y. Jiang and L. Keen, Ergodicity in some families of Nevanlinna functions, Fundamenta Mathematicae 265 (2024), 179-195

    work page 2024

  12. [12]

    T. Chen, L. Keen, Slices of parameter spaces of generalized Nevanlinna functions. Discrete and continuous Dynamical Systems, 39 , Number 10 (2019), 5659-5681

    work page 2019

  13. [13]

    T. Chen, L. Keen, Capture Components of the family tan^pz^q , New Journal of Mathematics Vaughan Jones Memorial Special Issue, Vol 52 (2021), 469-510

    work page 2021

  14. [14]

    T. Chen, L. Keen, Meromorphic functions with a polar asymptotic value, Conform. Geom. Dyn. 28 (2024), 1?36. arXiv:2206.05622

    work page arXiv 2024

  15. [15]

    W. Cui, J. Wang, Ergodic exponential maps with escaping singular behaviours, arXiv:2308.10565

    work page internal anchor Pith review Pith/arXiv arXiv

  16. [16]

    Devaney, Structurally Instablity of Exp(z) , Proceedings of the American Mathematical Society, 94(1985), 545-548

    R. Devaney, Structurally Instablity of Exp(z) , Proceedings of the American Mathematical Society, 94(1985), 545-548

    work page 1985

  17. [17]

    Devaney, L

    R. Devaney, L. Keen, Dynamics of meromorphic functions: functions with polynomial Schwarzian derivative, Ann. Sci. \'Ec. Norm. Sup\'er. (4) 22 (1989), 55-79

    work page 1989

  18. [18]

    Eremenko and S

    A. Eremenko and S. Merenkov, Nevanlinna functions with real zeros, Ill. J. Math., Vol. 49 4 , (2005) 1093-1110

    work page 2005

  19. [19]

    Fagella, L

    N. Fagella, L. Keen, Stable components in the parameter plane of transcendental functions of finite type, J Geom Anal. 31 (2021), 4816-4855

    work page 2021

  20. [20]

    E. Ghys, L. Goldberg and D. Sullivan, On the measurable dynamics of z e^z , Ergodic Theory Dynamical Systems, 5, No.3, 329-335 (1985)

    work page 1985

  21. [21]

    Hille, Ordinary Differential Equations in the Complex Domain

    E. Hille, Ordinary Differential Equations in the Complex Domain. Wiley, New York (1976)

    work page 1976

  22. [22]

    L. Keen, J. Kotus, Dynamics of the family of z , Conform. Geom. Dyn. Vol. 1 (1997), 28-57

    work page 1997

  23. [23]

    L. Keen, J. Kotus, Ergodicity of some family of meromorphic functions, Ann. Acad. Sci. Fenn. 24 (1999),133-145

    work page 1999

  24. [24]

    J. K. Langley, Postgraduate notes on complex analysis. Preprint

    work page

  25. [25]

    Lyubich, On typical behaviour of the trajectories of a rational mapping on the sphere

    M. Lyubich, On typical behaviour of the trajectories of a rational mapping on the sphere. Soviet Math. Dokl. 27 (1983), 22-25

    work page 1983

  26. [26]

    Lyubich, Measurable dynamics of the exponential

    M. Lyubich, Measurable dynamics of the exponential. Sib. Math. J. 28 (1987), 780-793

    work page 1987

  27. [27]

    McMullen, Complex Dynamics and Renormalization, Annals of Math Studies, Vol

    C. McMullen, Complex Dynamics and Renormalization, Annals of Math Studies, Vol. 135 , Princeton Univ. Press, Princeton, NJ, 1994

    work page 1994

  28. [28]

    Milnor, Dynamics in one complex variable

    J. Milnor, Dynamics in one complex variable . Third edition. Annals of Mathematics Studies, 160. Princeton University Press, Princeton, NJ, 2006

    work page 2006

  29. [29]

    Misiurewicz, On iterates of e^z , Ergodic Theory and Dynamical Systems

    M. Misiurewicz, On iterates of e^z , Ergodic Theory and Dynamical Systems. 1981;1(1):103-106

    work page 1981

  30. [30]

    Nevanlinna, Analytic functions

    R. Nevanlinna, Analytic functions. Die Grundlehren der mathematischen Wissenschaften, Band 162, Springer-Verlag, New York-Berlin, 1970. Translated from the second German edition by Phillip Emig

    work page 1970

  31. [31]

    Skorulski, Non-ergodic maps in the tangent family

    B. Skorulski, Non-ergodic maps in the tangent family. Indagationes Mathematicae, Vol. 14 (1) (2003), 103-118

    work page 2003

  32. [32]

    Skorulski, Metric properties of the Julia set of some meromorphic functions with an asymptotic value eventually mapped onto a pole

    B. Skorulski, Metric properties of the Julia set of some meromorphic functions with an asymptotic value eventually mapped onto a pole. Math. Proc. Cambridge Philos. Soc. 139 (2005), 117-138

    work page 2005

  33. [33]

    Sullivan, Quasiconformal homeomorphisms and dynamics

    D. Sullivan, Quasiconformal homeomorphisms and dynamics. I. Solution of the Fatou-Julia problem on wandering domains. Ann. of Math. (2) 122 (1985), no. 3, 401-418

    work page 1985

  34. [34]

    X. Wang, G. Zhang, Constructing ergodic exponential maps with dense post-singular orbits, Ergod. Th. and Dynam. Sys. (2010), 30, 309-316

    work page 2010

  35. [35]

    Zakeri, A Course in Complex Analysis , Princeton University Press, Princeton, NJ, 2021

    S. Zakeri, A Course in Complex Analysis , Princeton University Press, Princeton, NJ, 2021

    work page 2021