arXiv 1610.024342016-10-07math.DS

Algorithmic aspects of branched coverings IV/V. Expanding maps

Laurent Bartholdi, Dzmitry Dudko

英文摘要：

Thurston maps are branched self-coverings of the sphere whose critical points have finite forward orbits. We give combinatorial and algebraic characterizations of Thurston maps that are isotopic to expanding maps as "Levy-free" maps and as maps with "contracting biset". We prove that every Thurston map decomposes along a unique minimal multicurve into Levy-free and finite-order pieces, and this decomposition is algorithmically computable. Each of these pieces admits a geometric structure. We apply these results to matings of post-critically finite polynomials, extending a criterion by Mary Rees and Tan Lei: they are expanding if and only if they do not admit a cycle of periodic rays.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Expanding Semiflows on Branched Surfaces and One-Parameter Semigroups of Operators

We consider expanding semiflows on branched surfaces. The family of transfer operators associated to the semiflow is a one-parameter semigroup of operators. The transfer operators may also be viewed as an operator-valued function of time and so, in the appropriate norm, we may consider the vector-valued Laplace transform of this function. We obtain a spectral result on these operators and relate this to the spectrum of the generator of this semigroup. Issues of strong continuity of the semigroup are avoided. The main result is the improvement to the machinery associated with studying semiflows…

2012-06-06math.DS

Algorithmic aspects of branched coverings I. Van Kampen's Theorem for bisets

We develop a general theory of "bisets": sets with two commuting group actions. They naturally encode topological correspondences. Just as van Kampen's theorem decomposes into a graph of groups the fundamental group of a space given with a cover, we prove analogously that the biset of a correspondence decomposes into a "graph of bisets": a graph with bisets at its vertices, given with some natural maps. The "fundamental biset" of the graph of bisets recovers the original biset. We apply these results to decompose the biset of a Thurston map (a branched self-covering of the sphere whose critica…

2015-12-28math.DSmath.GR

An algebraic characterization of expanding Thurston maps

Let $f: S^2 \to S^2$ be a postcritically finite branched covering map without periodic branch points. We give necessary and sufficient algebraic conditions for $f$ to be homotopic, relative to its postcritical set, to an expanding map $g$.

2012-04-14math.DS

Algorithmic aspects of branched coverings

This is the announcement, and the long summary, of a series of articles on the algorithmic study of Thurston maps. We describe branched coverings of the sphere in terms of group-theoretical objects called bisets, and develop a theory of decompositions of bisets. We introduce a canonical "Levy" decomposition of an arbitrary Thurston map into homeomorphisms, metrically-expanding maps and maps doubly covered by torus endomorphisms. The homeomorphisms decompose themselves into finite-order and pseudo-Anosov maps, and the expanding maps decompose themselves into rational maps. As an outcome, we pro…

2017-06-19cs.CCmath.DSmath.GR

Algorithmic aspects of branched coverings II/V. Sphere bisets and their decompositions

We consider "Thurston maps": branched self-coverings of the sphere with ultimately periodic critical points, and prove that the Thurston equivalence problem between them (continuous deformation of maps along with their critical orbits) is decidable. More precisely, we consider the action of mapping class groups, by pre- and post-composition, on branched coverings, and encode them algebraically as "mapping class bisets". We show how the mapping class biset of maps preserving a multicurve decomposes into mapping class bisets of smaller complexity, called "small mapping class bisets". We phrase t…

2018-06-14cs.LOmath.DSmath.GR

Algorithmic aspects of branched coverings III/V. Erasing maps, orbispaces, and the Birman exact sequence

Let $\tilde f\colon(S^2,\tilde A)\to(S^2,\tilde A)$ be a Thurston map and let $M(\tilde f)$ be its mapping class biset: isotopy classes rel $\tilde A$ of maps obtained by pre- and post-composing $\tilde f$ by the mapping class group of $(S^2,\tilde A)$. Let $A\subseteq\tilde A$ be an $\tilde f$-invariant subset, and let $f\colon(S^2,A)\to(S^2,A)$ be the induced map. We give an analogue of the Birman short exact sequence: just as the mapping class group $\mathrm{Mod}(S^2,\tilde A)$ is an iterated extension of $\mathrm{Mod}(S^2,A)$ by fundamental groups of punctured spheres, $M(\tilde f)$ is an …

2018-02-13math.DSmath.GR

更多相关论文收起更多论文

Invariant Peano curves of expanding Thurston maps

We consider Thurston maps, i.e., branched covering maps $f\colon S^2\to S^2$ that are postcritically finite. In addition, we assume that $f$ is expanding in a suitable sense. It is shown that each sufficiently high iterate $F=f^n$ of $f$ is semi-conjugate to $z^d\colon S^1\to S^1$, where $d$ is equal to the degree of $F$. More precisely, for such an $F$ we construct a Peano curve $γ\colon S^1\to S^2$ (onto), such that $F\circ γ(z) = γ(z^d)$ (for all $z\in S^1$).

2013-04-09math.CVmath.DS

Prime orbit theorems for expanding Thurston maps

We obtain an analogue of the prime number theorem for a class of branched covering maps on the $2$-sphere called expanding Thurston maps $f$, which are topological models of some rational maps without any smoothness or holomorphicity assumption. More precisely, by studying dynamical zeta functions and, more generally, dynamical Dirichlet series for $f$, we show that the number of primitive periodic orbits of $f$, ordered by a weight on each point induced by a non-constant (eventually) positive real-valued Hölder continuous function $ϕ$ on $S^2$ satisfying some additional regularity conditions,…

2018-04-23math.DS

Expanding Thurston maps as quotients

A Thurston map is a branched covering map $f\colon S^2\to S^2$ that is postcritically finite. Mating of polynomials, introduced by Douady and Hubbard, is a method to geometrically combine the Julia sets of two polynomials (and their dynamics) to form a rational map. We show that for every expanding Thurston map $f$ every sufficiently high iterate $F=f^n$ is obtained as the mating of two polynomials. One obtains a concise description of $F$ via critical portraits. The proof is based on the construction of the invariant Peano curve from Meyer. As another consequence we obtain a large number of f…

2012-10-22math.CVmath.DSmath.MG

Selberg zeta functions, cuspidal accelerations, and existence of strict transfer operator approaches

For geometrically finite non-compact developable hyperbolic orbisurfaces (including those of infinite volume), we provide transfer operator families whose Fredholm determinants are identical to the Selberg zeta function. Our proof yields an algorithmic and uniform construction. This construction is initiated with an externally provided cross section for the geodesic flow on the considered orbisurface that yields a highly faithful, but non-uniformly expanding discrete dynamical system modelling the geodesic flow. Through a number of algorithmic steps of reduction, extension, translation, induct…

2022-09-13math.DS

膨胀 Thurston 映射的素轨道定理：Dirichlet 级数与 orbifold

Prime orbit theorems for expanding Thurston maps: Dirichlet series and orbifolds

本文利用权重、Dirichlet 级数与 orbifold 相关框架，为膨胀 Thurston 映射建立本原周期轨道的素数型渐近定理，并推广至 Julia 集覆盖整个球面的临界后有限有理映射。

2024-04-10math.CVmath.DS

扩张Thurston映射的基态与周期轨道

Ground states and periodic orbits for expanding Thurston maps

本文研究扩张Thurston映射的最大化测度与基态，证明典型周期优化猜想成立，并推广到Misiurewicz–Thurston有理映射。

2024-12-28math.DS

Expanding Thurston Maps

We study the dynamics of Thurston maps under iteration. These are branched covering maps $f$ of 2-spheres $S^2$ with a finite set $\mathop{post}(f)$ of postcritical points. We also assume that the maps are expanding in a suitable sense. Every expanding Thurston map $f\: S^2 \to S^2$ gives rise to a type of fractal geometry on the underlying sphere $S^2$. This geometry is represented by a class of \emph{visual metrics} $\varrho$ that are associated with the map. Many dynamical properties of the map are encoded in the geometry of the corresponding {\em visual sphere}, meaning $S^2$ equipped with…

2017-10-10math.CVmath.DSmath.MG

Thurston maps and asymptotic upper curvature

A Thurston map is a branched covering map from $§^2$ to $§^2$ with a finite postcritical set. We associate a natural Gromov hyperbolic graph $\G=\G(f,\mathcal C)$ with an expanding Thurston map $f$ and a Jordan curve $\mathcal C$ on $§^2$ containing $\post(f)$. The boundary at infinity of $\G$ with associated visual metrics can be identified with $§^2$ equipped with the visual metric induced by the expanding Thurston map $f$. We define asymptotic upper curvature of an expanding Thurston map $f$ to be the asymptotic upper curvature of the associated Gromov hyperbolic graph, and establish a conn…

2014-02-13math.CVmath.DSmath.GT

扩张 Thurston 映射的素轨道定理：Lattès 映射与分裂 Ruelle 算子

Prime orbit theorems for expanding Thurston maps: Lattès maps and split Ruelle operators

本文为二维球面上的扩张 Thurston 映射建立了素数定理的类比，证明在满足 α-强不可积性条件的权重下，原始周期轨道数渐近服从对数积分并带指数误差界，结果覆盖后临界有限有理映射，并对 Lattès 映射给出更强结论。

2024-12-28math.CVmath.DS

扩张 Thurston 映射的素轨道定理：强不可积条件的通有性

Prime orbit theorems for expanding Thurston maps: Genericity of strong non-integrability condition

本文证明在扩张 Thurston 映射的素轨道定理中，α-强不可积条件在 α-Hölder 连续函数类中具有通有性，从而完善了该系列关于素数定理类比的研究。

2024-12-28math.CVmath.DS

平坦 Wieler 螺线管的横向 Hölder 正则性

On transversal Hölder regularity for flat Wieler solenoids

本文围绕平坦 Wieler 螺线管，考察其上同调、Ruelle 谱刻画的混合速率及本原替换子移位的上同调方程解，强调 Cantor 集上 α-Hölder 正则性的统一作用。

2024-04-01math.DS

Levy and Thurston obstructions of finite subdivision rules

For a post-critically finite branched covering of the sphere that is a subdivision map of a finite subdivision rule, we define non-expanding spines which determine the existence of a Levy cycle in a non-exhaustive semi-decidable algorithm. Especially when a finite subdivision rule has polynomial growth of edge subdivisions, the algorithm terminates very quickly, and the existence of a Levy cycle is equivalent to the existence of a Thurston obstruction. In order to show the equivalence between Levy and Thurston obstructions, we generalize the arcs intersecting obstruction theorem by Pilgrim and…

2022-02-11math.DS

Thermodynamic Formalism for Random Weighted Covering Systems

We develop a quenched thermodynamic formalism for random dynamical systems generated by countably branched, piecewise-monotone mappings of the interval that satisfy a random covering condition. Given a random contracting potential $φ$ (in the sense of Liverani-Saussol-Vaienti), we prove there exists a unique random conformal measure $ν_φ$ and unique random equilibrium state $μ_φ$. Further, we prove quasi-compactness of the associated transfer operator cocycle and exponential decay of correlations for $μ_φ$. Our random driving is generated by an invertible, ergodic, measure-preserving transform…

2021-07-02math.DS