arxiv: 2605.12238 · v1 · submitted 2026-05-12 · 🧮 math.DS

Recognition: no theorem link

Topological Entropy for Power-Law Unimodal Maps

Ana Rodrigues, Michael Benedicks

Pith reviewed 2026-05-13 04:11 UTC · model grok-4.3

classification 🧮 math.DS MSC 37E0537B40

keywords unimodal mapspower-law criticalitytopological entropykneading sequencesmonotonicityTeichmüller metricMilnor-Thurston theorycritical exponent

0 comments

The pith

Monotonicity of kneading sequences and topological entropy extends to unimodal maps with arbitrary power-law critical exponents r greater than 1.

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

The paper proves that for maps of the form f_a(x) = a - |x|^r with any fixed r > 1, the kneading sequence increases monotonically with the parameter a, and therefore the topological entropy is a strictly increasing function of a. This mirrors the quadratic case but must be established without relying on polynomial structure or integer criticality. The result shows that the familiar combinatorial organization of parameter space for unimodal maps survives when the critical exponent is allowed to vary arbitrarily. A sympathetic reader would conclude that monotonicity of entropy is a robust feature of one-dimensional unimodal dynamics rather than special to quadratic polynomials.

Core claim

The kneading sequence of the family f_a(x) = a - |x|^r is monotone in a for every r > 1. Consequently the topological entropy h_top(f_a) is strictly increasing in a. The proof adapts the Milnor-Thurston framework by introducing a Thurston-type operator on the critical orbit and establishing a determinant identity that links its linearization to the parameter derivative of the orbit. Positivity of this determinant is obtained by a contraction argument on an associated Torelli space equipped with the Teichmüller metric, first for exponents of the form 2^ν/k with ν ≥ 1 and k odd, and then extended to all r > 1 by continuity in the exponent.

What carries the argument

Thurston-type operator on the critical orbit whose linearization determinant is shown positive by contraction in the Teichmüller metric on Torelli space (for rational powers) followed by continuity in r.

If this is right

The kneading sequence varies monotonically with the parameter a.
Topological entropy is a strictly increasing function of a.
The combinatorial organization of parameter space is the same as in the quadratic family.
Monotonicity of entropy holds for unimodal maps beyond the polynomial setting.

Where Pith is reading between the lines

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

The same contraction-plus-continuity strategy could be tested on other families of unimodal maps whose critical points have non-polynomial local behavior.
Numerical sampling of entropy versus a for irrational r would provide an independent check on the continuity step.
The persistence of the combinatorial structure suggests that bifurcation diagrams and the onset of chaos remain qualitatively similar when physical models replace quadratic nonlinearities with power-law ones.

Load-bearing premise

The determinant of the linearization of the Thurston-type operator is positive, first proved by contraction for specific rational exponents and then extended by continuity.

What would settle it

A direct numerical computation of the sign of the determinant or of the entropy derivative for some r > 1 not equal to 2^ν/k that shows a decrease in entropy over an interval of a.

read the original abstract

In this paper we prove that the monotonicity of kneading sequences and topological entropy, a fundamental structural property of the quadratic family, extends to the class of power-law unimodal maps $f_a(x)=a-|x|^r$ for arbitrary critical exponent $r>1$. This generalization is nontrivial: the absence of polynomial structure and the presence of non-integer criticality preclude the direct use of classical arguments. Our approach adapts and extends the Milnor-Thurston framework by introducing a Thurston-type operator associated with the critical orbit and establishing a determinant identity that relates its linearization to the parameter derivative of the orbit. The main difficulty proving positivity of this determinant in the absence of algebraic structure - is resolved via a contraction argument on an associated Torelli space endowed with the Teichm\"uller metric, extending Thurston's pullback construction beyond the polynomial setting, that is to critical powers $r=2^\nu/k$, $\nu\geq 1$, $k$ odd, and finally use continuity in $r$. As a consequence, we show that the kneading sequence varies monotonically with the parameter, and hence that the topological entropy is an increasing function of $a$. Our results show that the combinatorial organization of parameter space familiar from the quadratic family persists for unimodal maps with arbitrary power-law criticality, indicating that monotonicity of entropy is a robust phenomenon beyond polynomial dynamics.

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

Benedicks and Rodrigues show monotonicity of kneading sequences and entropy for power-law unimodal maps f_a(x)=a-|x|^r with any r>1, via a Thurston operator plus Teichmüller contraction on a dense set of exponents followed by continuity.

read the letter

The core claim is that the combinatorial structure familiar from the quadratic family carries over to these non-polynomial unimodal maps. They introduce a Thurston-type operator tied to the critical orbit, derive a determinant identity linking its linearization to the parameter derivative, and prove the determinant stays positive for exponents of the form 2^ν/k with k odd. That positivity gives monotonicity of the kneading sequence and hence of topological entropy in the parameter a. The extension to all r>1 then rests on continuity in the exponent. This is genuinely new; the classical Milnor-Thurston arguments do not apply directly once the critical point is no longer algebraic, so the Teichmüller-space contraction is the technical step that opens the door. The paper handles the non-polynomial case cleanly for the dense subset of exponents where the contraction works, and the overall strategy is coherent. The soft spot is exactly the one the stress-test flags: the pullback operator and the Teichmüller metric both depend on r, so positivity on the dense set does not automatically survive the limit unless the contraction rate is uniform or the operator family is continuous in a strong enough sense. The abstract does not spell out the uniform estimates, so that step needs explicit verification in the full text. If the contraction bounds are uniform, the result is solid; if they are not, the continuity argument could fail to preserve the sign. This is the sort of paper that belongs in a dynamics journal. It organizes a broad class of one-dimensional maps at the combinatorial level and gives a clear technical advance over routine extensions of the quadratic case. A serious referee should see it, with the main request being a careful check of the continuity passage and the dependence of the metric on r.

Referee Report

1 major / 1 minor

Summary. The paper proves that monotonicity of kneading sequences and topological entropy, a property known for the quadratic family, extends to the one-parameter family of power-law unimodal maps f_a(x) = a - |x|^r for arbitrary critical exponent r > 1. The argument adapts the Milnor-Thurston framework by constructing a Thurston-type operator on the critical orbit, deriving a determinant identity linking its linearization to the parameter derivative, and establishing positivity of this determinant first for the dense set of exponents r = 2^ν/k (ν ≥ 1, k odd) via a contraction mapping on the associated Torelli space equipped with the Teichmüller metric, then extending to all r > 1 by continuity in the exponent. As a consequence, the kneading sequence increases with a and the topological entropy is strictly increasing in the parameter.

Significance. If the central claims hold, the result demonstrates that the combinatorial organization of parameter space and monotonicity of entropy are robust features of unimodal dynamics that survive the loss of polynomial structure and algebraic criticality. The extension of Thurston's pullback construction and Teichmüller-theoretic contraction arguments beyond the polynomial case constitutes a genuine technical advance, provided the continuity step is rigorously justified.

major comments (1)

[Continuity in r (following the contraction argument on Torelli space)] The continuity argument used to pass from positivity of the determinant on the dense set r = 2^ν/k to arbitrary r > 1 is load-bearing for the main theorem. The pullback operator and the Teichmüller metric both depend on r through the non-polynomial map f_a, so positivity in the limit requires either a uniform contraction rate independent of r or a strong continuity statement for the family of operators. The manuscript does not appear to supply an explicit uniform bound or modulus of continuity that would guarantee the determinant remains positive under the limit; without this, the extension step risks failing even if the contraction holds on the dense subset.

minor comments (1)

[Introduction / Statement of main results] Notation for the critical exponent and the specific form of the dense set r = 2^ν/k should be introduced earlier and used consistently when stating the main theorem.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading, positive assessment of the significance of the result, and for identifying the continuity step as a point requiring clarification. We address the major comment below and will revise the manuscript accordingly.

read point-by-point responses

Referee: [Continuity in r (following the contraction argument on Torelli space)] The continuity argument used to pass from positivity of the determinant on the dense set r = 2^ν/k to arbitrary r > 1 is load-bearing for the main theorem. The pullback operator and the Teichmüller metric both depend on r through the non-polynomial map f_a, so positivity in the limit requires either a uniform contraction rate independent of r or a strong continuity statement for the family of operators. The manuscript does not appear to supply an explicit uniform bound or modulus of continuity that would guarantee the determinant remains positive under the limit; without this, the extension step risks failing even if the contraction holds on the dense subset.

Authors: We agree that the continuity argument with respect to the exponent r is load-bearing and that the manuscript would benefit from a more explicit justification of the passage to the limit. The Thurston-type operator and the determinant are constructed so that they depend continuously on r through the C^1 dependence of f_a on r, but we acknowledge that an explicit modulus of continuity is not stated. In the revised manuscript we will add a new lemma establishing that the linearized pullback operator and its determinant vary continuously with r, uniformly on compact intervals [r_min, r_max] subset (1, ∞). The proof of this lemma uses the continuous dependence of the critical orbit on r together with the continuity of the Teichmüller metric under continuous variation of the underlying complex structure. Combined with positivity on the dense set of exponents r = 2^ν/k, this yields positivity for all r > 1. We thank the referee for highlighting this gap; the addition will make the argument fully rigorous. revision: yes

Circularity Check

0 steps flagged

No circularity: proof uses contraction on dense set then continuity, independent of inputs

full rationale

The derivation establishes positivity of the determinant via contraction in Teichmüller metric for the dense subset r=2^ν/k (ν≥1, k odd), then extends to all r>1 by continuity in the critical exponent. This is a standard limiting argument relying on external tools (Milnor-Thurston framework, Teichmüller theory) rather than any self-definition, fitted parameter renamed as prediction, or load-bearing self-citation. No step reduces the claimed monotonicity or entropy increase to the paper's own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof adapts existing frameworks from Milnor-Thurston theory and Teichmüller geometry without introducing new free parameters, ad-hoc constants, or postulated entities; the only background assumptions are standard properties of the Teichmüller metric and continuity of the determinant with respect to r.

axioms (2)

standard math The Teichmüller metric on the Torelli space admits a contraction for the defined Thurston-type operator when r = 2^ν/k with ν ≥ 1 and k odd
Invoked to establish positivity of the determinant identity relating the operator linearization to the parameter derivative
domain assumption The determinant identity and positivity extend continuously to all r > 1
Used to pass from the discrete set of rational powers to arbitrary real exponents

pith-pipeline@v0.9.0 · 5541 in / 1489 out tokens · 113466 ms · 2026-05-13T04:11:45.259685+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

[1]

Abraham and J

R. Abraham and J. Robbin (1967).Transversal mappings and flows. W. A. Benjamin, Inc. Press, New York/Amsterdam

work page 1967
[2]

Bruin and S

H. Bruin and S. van Strien (2015).Monotonicity of entropy for real multimodal maps, J. Amer. Math. Soc.28, 1–61

work page 2015
[3]

Douady (1995).Topological entropy of unimodal maps, Springer Netherlands, Dordrecht, 65–87

A. Douady (1995).Topological entropy of unimodal maps, Springer Netherlands, Dordrecht, 65–87

work page 1995
[4]

Douady and J

A. Douady and J. H. Hubbard (1993).A proof of Thurston’s topological characterization of rational functions, Acta Math. Volume 171, Issue 2, 263–297

work page 1993
[5]

Gardiner and N

F.P. Gardiner and N. Lakic (2000).Quasiconformal Teichmuller theory, Mathematical surveys and mono- graphs, vol. 76, American Mathematical Society, Providence, R.I

work page 2000
[6]

Gao (2022).Monotonicity of entropy for unimodal real quadratic rational maps, Discrete and contin- uous dynamical systems, Volume 42, Issue 11, 5377–5386

Y. Gao (2022).Monotonicity of entropy for unimodal real quadratic rational maps, Discrete and contin- uous dynamical systems, Volume 42, Issue 11, 5377–5386

work page 2022
[7]

Milnor and W

J. Milnor and W. Thurston (1980).On iterated maps of the interval. In: Alexander, J.C. (eds) Dynamical Systems. Lecture Notes in Mathematics, vol 1342. Springer, Berlin, Heidelberg

work page 1980
[8]

Misiurewicz and W

M. Misiurewicz and W. Szlenk (1980).Entropy of piecewise monotone mappings, Studia Math. 67 , no. 1, 45–63

work page 1980
[9]

Nag (1981).Torelli spaces of punctured tori and spheres, Duke Math

S. Nag (1981).Torelli spaces of punctured tori and spheres, Duke Math. J.48, no.2, 713–719

work page 1981
[10]

Patterson (1973).Some remarks on the moduli of punctured spheres, American J

D.B. Patterson (1973).Some remarks on the moduli of punctured spheres, American J. Math.95, 713– 719

work page 1973
[11]

Strebel (1984).Quadratic differentials, Ergebnisse der Mathematik und ihrer Grenzgebiete

K. Strebel (1984).Quadratic differentials, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics, vol. 5, Springer-Verlag, Berlin Heidelberg

work page 1984
[12]

Sullivan (1988).Bounds, quadratic differentials, and renormalization conjectures, American Mathe- matical Society centennial publications,Vol

D. Sullivan (1988).Bounds, quadratic differentials, and renormalization conjectures, American Mathe- matical Society centennial publications,Vol. II (Providence, RI, 1988), 417-466

work page 1988
[13]

Tsujii,A note on Milnor and Thurston´s monotonicity theorem, Preprint, University of Kyoto

M. Tsujii,A note on Milnor and Thurston´s monotonicity theorem, Preprint, University of Kyoto

work page
[14]

Tsujii (2000).A simple proof formonotonicity of entropy in the quadratic family, Ergodic Theory Dynam

M. Tsujii (2000).A simple proof formonotonicity of entropy in the quadratic family, Ergodic Theory Dynam. Systems20, no. 3, 925–933. 1 Department of Mathematics, KTH Royal Institute of Technology, 100 44 STOCKHOLM, Sweden 2 Departamento de Matem´atica, Escola de Ciˆencias e Tecnologia, Universidade de ´Evora, Rua Rom˜ao Ramalho, 59, 7000–671 ´Evora, Portu...

work page 2000