pith. sign in

arxiv: 2512.19430 · v4 · submitted 2025-12-22 · 🧮 math.DS

A survey on the growth rate inequality for sphere endomorphisms

Pith reviewed 2026-05-16 20:30 UTC · model grok-4.3

classification 🧮 math.DS
keywords sphere endomorphismsgrowth rate inequalitydynamical systemsopen conjecturestopological degreesurvey
0
0 comments X

The pith

Sphere endomorphisms satisfy a growth rate inequality in established cases, though several conjectures remain open.

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

The paper surveys recent results on the growth rate inequality for sphere endomorphisms and reviews the current challenges in proving it in full generality. It collects known cases where the inequality holds along with counterexamples in other settings. A sympathetic reader would care because the inequality would give uniform control on how fast orbits or preimages grow under iteration of any continuous map from the sphere to itself. The survey also gathers a list of open problems and conjectures that would complete the picture if settled. This organizes the state of knowledge for anyone working on sphere dynamics.

Core claim

We survey recent results and current challenges concerning the growth rate inequality for sphere endomorphisms, and present a number of open problems and conjectures arising in this context.

What carries the argument

The growth rate inequality for sphere endomorphisms, which bounds the exponential growth rate of preimages under iteration in terms of the topological degree.

If this is right

  • If the inequality holds for all sphere endomorphisms, topological entropy would be bounded by the logarithm of the degree for every such map.
  • The inequality would supply a uniform way to compare the dynamical complexity of maps across different degrees.
  • Resolving the listed conjectures would classify which sphere endomorphisms achieve equality in the growth rate bound.
  • The survey identifies specific families of maps where the inequality is still unproven, directing future proofs or counterexamples.

Where Pith is reading between the lines

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

  • The same growth-rate control might extend to endomorphisms of higher-dimensional spheres or other compact manifolds.
  • Numerical iteration of random sphere maps could provide quick checks on the remaining conjectures.
  • Links to holomorphic dynamics on the Riemann sphere might yield new cases where the inequality is already known.
  • The open problems could interact with questions about invariant measures and their entropy on spheres.

Load-bearing premise

That the growth rate inequality correctly encodes the essential iterative complexity of continuous maps from the sphere to itself.

What would settle it

An explicit continuous map from the sphere to itself whose preimage growth rate exceeds the bound given by its degree would disprove the general form of the inequality.

Figures

Figures reproduced from arXiv: 2512.19430 by Juliana Xavier.

Figure 1
Figure 1. Figure 1: Julia set for f(z) = z 2 − 0.110 + 0.6557i from the set of critical values and such that f −1(U) ⊂ U. Then f has the rate. Going back to Theorem A, we already pointed out that local connectivity is a technical hypothesis used only to guarantee that external rays land. If one wanted to push the proof forwards, one has to consider the case where external rays land on proper subcontinua of ∂R and try to fish … view at source ↗
read the original abstract

We survey recent results and current challenges concerning the growth rate inequality for sphere endomorphisms, and present a number of open problems and conjectures arising in this context.

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

0 major / 1 minor

Summary. The paper is a survey reviewing recent results and current challenges on the growth rate inequality for sphere endomorphisms in dynamical systems. It also presents open problems and conjectures arising in this context.

Significance. If the coverage is accurate and comprehensive, the survey would be a useful consolidation of the literature for researchers in dynamical systems, particularly those studying endomorphisms of spheres. Highlighting open problems and conjectures could help direct future work in the area.

minor comments (1)
  1. The abstract is concise but could briefly mention one or two key results or the precise statement of the growth rate inequality to better orient readers unfamiliar with the topic.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the survey and for recommending acceptance. We are pleased that the manuscript is viewed as a useful consolidation of results, challenges, and open problems in the area of growth rate inequalities for sphere endomorphisms.

Circularity Check

0 steps flagged

Survey paper with no internal derivations or load-bearing claims

full rationale

This is a survey paper whose abstract and content consist solely of summarizing external results, challenges, open problems, and conjectures on the growth rate inequality for sphere endomorphisms. No new theorems, equations, predictions, or derivations are advanced by the author. There are therefore no load-bearing steps that could reduce by construction to self-defined inputs, fitted parameters renamed as predictions, or self-citation chains. All referenced material is external, and the paper's central claim (accurate summarization of the field) is not subject to the enumerated circularity patterns. This is the expected outcome for a pure survey with no quantitative or deductive content of its own.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Survey paper introduces no new free parameters, axioms, or invented entities.

pith-pipeline@v0.9.0 · 5296 in / 831 out tokens · 28927 ms · 2026-05-16T20:30:11.127452+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages

  1. [1]

    Classification of expansive at tractors on surfaces, Ergod

    M.Barge, B.F.Martensen. Classification of expansive at tractors on surfaces, Ergod. Theory Dyn. Syst. , 31(6) (2011), 1619-1639

  2. [2]

    Expanding Thurston maps

    M.Bonk, D.Meyer. Expanding Thurston maps. Ergod. Theory Dyn. Syst. , ISBN-10: 0- 8218-7554-X ISBN-13: 978-0-8218-7554-4 (2017)

  3. [3]

    Boro´ nski

    J.P. Boro´ nski. A fixed point theorem for the pseudo-circ le, Topology and its Applications. , 158(6) (2011), 775–778

  4. [4]

    J. P. Boronski, J. Cinc, P. Oprocha. Beyond 0 and ∞ : a solution to the Barge entropy conjecture, To appear in TAMS , (2025). A SUR VEY ON THE GROWTH RATE INEQUALITY FOR SPHERE ENDOMORPHI SMS. 23

  5. [5]

    R.F Brown, M. Furi, L. Gorniewicz, B. Jiang. Handbook of T opological Fixed Point Theory, Springer Netherlands , (2005)

  6. [6]

    L.E.J. Brouwer. Beweis des ebenen Translationssatzes, Math. Ann. ,72 (1912), 37-54

  7. [7]

    Charatonik, P

    J. Charatonik, P. Pellicer Covarrubias. On covering map s on solenoids, Proceedings of the AMS,130-7 (2001), 2145-2154

  8. [8]

    Childers, J.C

    D. Childers, J.C. Mayer, J.T. Rogers Jr. Indecomposable continua and the Julia sets of polynomials, II , Topology and its Applications , 153 (2006), 1593-1602

  9. [9]

    Douady, J.H

    A. Douady, J.H. Hubbard. A proof of Thurston’s topologic al characterization of rational functions, Math. Z. , 284 (2016), 209–229

  10. [10]

    A. Fathi. An orbit closing proof of Brouwer’s lemma on tr anslation arcs, L’ enseignement Math´ ematique, 33 (1987), 315–322

  11. [11]

    Perio dic Points for Sphere Maps Preserving Monopole Foliations., Qual

    Graff, G., Misiurewicz, M., Nowak-Przygodzki, P. Perio dic Points for Sphere Maps Preserving Monopole Foliations., Qual. Theory Dyn. Syst. , 18 (2019), 533–546

  12. [12]

    SHUB’ S CONJECTURE FOR SMOOTH LONGITUDINAL MAPS OF Sm., Journal of Difference Equations and Applications, , 24(7) (2018), 1044–1054

    Graff, G., Misiurewicz, M., Nowak-Przygodzki, P. SHUB’ S CONJECTURE FOR SMOOTH LONGITUDINAL MAPS OF Sm., Journal of Difference Equations and Applications, , 24(7) (2018), 1044–1054

  13. [13]

    Lifting croocked circular chain to covering spaces., Topolog Proceedings, 36 (2010), 1-10

    K.Gammon. Lifting croocked circular chain to covering spaces., Topolog Proceedings, 36 (2010), 1-10

  14. [14]

    Indecomposable continua and the Julia sets of pseudo-polynomials., Discrete and Continuous Dynamical Systems , 45(8) (2025), 2471-2484

    Gomes, E. Indecomposable continua and the Julia sets of pseudo-polynomials., Discrete and Continuous Dynamical Systems , 45(8) (2025), 2471-2484

  15. [15]

    J.W. Heath. W eakly confluent, 2-to-1 maps on hereditari ly indecomposable continua, Proc. Amer. Math. Soc. , 117(2) (1993), 569-573

  16. [16]

    Hernandez-Corbato, F

    L. Hernandez-Corbato, F. Ruiz del Portal. Fixed point i ndices of planar continuous maps, Disc. and Cont. Dyn. Sys. , 35(7) (2015), 2979-2995

  17. [17]

    Dyna mics of covering maps of the annulus I: semiconjugacies., Acta Math

    Iglesias, J., Portela, A., Rovella, A., Xavier, J. Dyna mics of covering maps of the annulus I: semiconjugacies., Acta Math. , 171 (1993), 263–297

  18. [18]

    Dyna mics of annulus maps II: Periodic points for coverings., Fundamenta Math

    Iglesias, J., Portela, A., Rovella, A., Xavier, J. Dyna mics of annulus maps II: Periodic points for coverings., Fundamenta Math. , 235 (2016), 257-276

  19. [19]

    Dyna mics of annulus maps III: completeness., Nonlinearity., 29(9) (2016), 2641-2656

    Iglesias, J., Portela, A., Rovella, A., Xavier, J. Dyna mics of annulus maps III: completeness., Nonlinearity., 29(9) (2016), 2641-2656

  20. [20]

    Sphe re branched coverings and the growth rate inequality., Nonlinearity., 33(9) (2020), 4613-4626

    Iglesias, J., Portela, A., Rovella, A., Xavier, J. Sphe re branched coverings and the growth rate inequality., Nonlinearity., 33(9) (2020), 4613-4626

  21. [21]

    The g rowth rate inequality for Thurston maps with non-hyperbolic orbifolds., Discrete and Continuous Dynamical Systems

    Iglesias, J., Portela, A., Rovella, A., Xavier, J. The g rowth rate inequality for Thurston maps with non-hyperbolic orbifolds., Discrete and Continuous Dynamical Systems. , 44(6) (2024),1768-1780

  22. [22]

    Bran ched coverings of the sphere having a completely invariant continuum with infinitely many W ada La kes., Topology and its Appli- cations., 339(B) (2023), 0166-8641

    Iglesias, J., Portela, A., Rovella, A., Xavier, J. Bran ched coverings of the sphere having a completely invariant continuum with infinitely many W ada La kes., Topology and its Appli- cations., 339(B) (2023), 0166-8641

  23. [23]

    Non- locally connected spaces I: Coverings and branched coverings on metric spaces., Preprint

    Iglesias, J., Portela, A., Rovella, A., Xavier, J. Non- locally connected spaces I: Coverings and branched coverings on metric spaces., Preprint

  24. [24]

    Kuperberg

    K. Kuperberg. Fixed points of orientation reversing ho meomorphisms of the plane, Proc. Am. Math.Soc., 112 (1991), 223-229

  25. [25]

    Z. Li. Periodic points and the measure of maximal entrop y of an expanding Thurston map, Trans. Amer. Math. Soc. , 368 (2016), 8955-8999

  26. [26]

    Quotients of torus endomorphi sms have parabolic orbifolds

    Llavayol, S., Xavier, J. Quotients of torus endomorphi sms have parabolic orbifolds. Conform. Geom. Dyn. 28 (2024), 88–96

  27. [27]

    J. Milnor. Dynamics of one complex variable, Annals of Mathematical Studies , 160 (2006)

  28. [28]

    On the growth rate inequality for periodic points in the two sphere., Journal of Difference Equations and Applications, 25(2) (2019), 219–232

    Honorato, G., Iglesias, J., Portela, A., Rovella, A., V alenzuela, F., Xavier, J. On the growth rate inequality for periodic points in the two sphere., Journal of Difference Equations and Applications, 25(2) (2019), 219–232

  29. [29]

    M. J. Misiurewicz. Periodic points of latitudinal sphe re maps, Fixed Point Theory Appl. , 16(1-2) (2014), 149-158

  30. [30]

    Przytycki

    F. Przytycki. Chaos after bifurcation of a Morse Smale d iffeomorphism after a one-cycle saddle-node and iterations of multivalued mappings of an in terval and a circle, Bol. Soc. Bras. Mat. , 18(1) (1987), 29-79

  31. [31]

    24 JULIANA XA VIER

    Charles Pugh, Michael Shub, Periodic points on the 2-sp here, Discrete and Continuous Dy- namical Systems , 34(3) (2014), 1171-1182. 24 JULIANA XA VIER

  32. [32]

    de France , (1978), 395–413

    Michael Shub, Alexander cocycles and dynamics, Asterisque, Societ´ e Math. de France , (1978), 395–413

  33. [33]

    Michael Shub and Dennis Sullivan, A remark on the Lefsch etz fixed point formula for differ- entiable maps, Topology, 13 (1974), 189–191