Thurston algorithm for real entire maps: existence and uniqueness

Abstract

This paper deals with the real Thurston pullback algorithm for entire maps with finitely many finite singular values, all real. Given a finite forward-invariant marking containing the singular values and satisfying an interval no-Levy-cycle condition, the pullback is shown to have a unique fixed point and it is shown that every orbit converges to it. The resulting entire map uniquely realises the marked dynamics up to positive affine conjugacy. Thus this paper established Thurston realisation and uniqueness in the setting of real entire maps with a finite postsingular set. As usual, the realisation problem reduces to the existence of a fixed point of the Thurston map T which in the real setting acts on a simplex W of dimension s−2 if the required postsingular set consists of s points. The key estimate concerns a finite real preimage interval: when its critical multiplicity is bounded and its endpoint values stay separated from the singular values unless they equal to one, its hyperbolic diameter grows at most double-logarithmically as the separation tends to zero. An expansive marking (absence of Levy cycles) then rules out configurations near the boundary of the simplex whose displacement under the Thurston map is at most a fixed multiple of their distance to the boundary. Using a version of the Brouwer fixed point theorem, this immediately implies that the Thurston map T has a fixed point. The argument permits infinitely many real and non-real critical points and different behaviours as the real variable tends to +∞ and −∞. Additional estimates for fixed labelled inverse branches, which are not strictly necessary for the proof of the Main Theorem, are given in the appendices.

Existence of positive solutions to anisotropic elliptic equations in the entire Euclidean space
Rulong Xie, Hailian Wang, Lei Yang
arXiv13 Oct 2026PreprintCC BY-NC-ND 4.0Full textAnalysis & PDEsarXiv
A surface-group action on real-hyperbolic space with no Cannon--Thurston map
Bruno Dular
arXiv2 Nov 2026PreprintCC BY 4.0Full textAlgebra & number theory Geometry & topologyarXiv
Two global stability theorems for small-data 3D compressible Euler solutions: Unique maximal globally hyperbolic developments with gradient-blowup & smooth global existence in the entire spacetime
Leonardo Abbrescia, Jared Speck, Dongxiao Yu
arXiv8 Sep 2026PreprintCC BY 4.0Full textAnalysis & PDEsarXiv
Existence and uniqueness for non-linear forward equations: Addendum to "Mean-field approximations in insurance" (Hornung, 2026)
Christian Furrer, Philipp C. Hornung
arXiv26 Oct 2026PreprintarXiv licenceFull textProbabilityarXiv
Long-time existence and uniqueness of the heterotic G₂ flow
Chuanhuan Li, Yi Li, Weijie Miao
arXiv17 Sep 2026PreprintarXiv licenceFull textGeometry & topologyarXiv

Cite

BibTeX RIS

BibTeX

@misc{strien2026thurston,
  title = {{Thurston algorithm for real entire maps: existence and uniqueness}},
  author = {Sebastian van Strien},
  howpublished = {arXiv},
  year = {2026},
  month = nov,
  doi = {10.48550/arxiv.2611.07818},
  eprint = {2611.07818},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2611.07818},
}

RIS

TY  - UNPB
TI  - Thurston algorithm for real entire maps: existence and uniqueness
AU  - Sebastian van Strien
PY  - 2026
DA  - 2026/11/05
PB  - arXiv
DO  - 10.48550/arxiv.2611.07818
UR  - https://arxiv.org/abs/2611.07818
AB  - This paper deals with the real Thurston pullback algorithm for entire maps with finitely many finite singular values, all real. Given a finite forward-invariant marking containing the singular values and satisfying an interval no-Levy-cycle condition, the pullback is shown to have a unique fixed point and it is shown that every orbit converges to it. The resulting entire map uniquely realises the marked dynamics up to positive affine conjugacy. Thus this paper established Thurston realisation and uniqueness in the setting of real entire maps with a finite postsingular set. As usual, the realisation problem reduces to the existence of a fixed point of the Thurston map T which in the real setting acts on a simplex W of dimension s−2 if the required postsingular set consists of s points. The key estimate concerns a finite real preimage interval: when its critical multiplicity is bounded and its endpoint values stay separated from the singular values unless they equal to one, its hyperbolic diameter grows at most double-logarithmically as the separation tends to zero. An expansive marking (absence of Levy cycles) then rules out configurations near the boundary of the simplex whose displacement under the Thurston map is at most a fixed multiple of their distance to the boundary. Using a version of the Brouwer fixed point theorem, this immediately implies that the Thurston map T has a fixed point. The argument permits infinitely many real and non-real critical points and different behaviours as the real variable tends to +∞ and −∞. Additional estimates for fixed labelled inverse branches, which are not strictly necessary for the proof of the Main Theorem, are given in the appendices.
ER  -

Abstract

Related

Cite