Carries and a map on the space of rational functions

Jason Fulman

2023-06-09

Abstract:A paper by Boros, Little, Moll, Mosteig, and Stanley relates properties of a map defined on the space of rational functions to Eulerian polynomials. We link their work to the carries Markov chain, giving a new proof and slight generalization of one of their results.

Combinatorics,Probability

What problem does this paper attempt to address?

Carries and a map on the space of rational functions

Jason Fulman

DOI: https://doi.org/10.1016/j.aam.2023.102600

IF: 1.271

2024-01-01

Advances in Applied Mathematics

Abstract:A paper by Boros, Little, Moll, Mosteig, and Stanley relates properties of a map defined on the space of rational functions to Eulerian polynomials. We link their work to the carries Markov chain, giving a new proof and slight generalization of one of their results.

mathematics, applied
Rational Maps Whose Julia Sets Are Cantor Circles

Weiyuan Qiu,Fei Yang,Yongcheng Yin

DOI: https://doi.org/10.1017/etds.2013.53

2013-01-01

Abstract:In this paper, we give a family of rational maps whose Julia sets are Cantor circles and show that every rational map whose Julia set is a Cantor set of circles must be topologically conjugate to one map in this family on their corresponding Julia sets. In particular, we give the specific expressions of some rational maps whose Julia sets are Cantor circles, but they are not topologically conjugate to any McMullen maps on their Julia sets. Moreover, some non-hyperbolic rational maps whose Julia sets are Cantor circles are also constructed.
No Invariant Line Fields on Cantor Julia Sets

Yongcheng Yin,Yu Zhai

DOI: https://doi.org/10.1515/forum.2010.004

2010-01-01

Forum Mathematicum

Abstract:In this paper, we prove that a rational map with a Cantor Julia set carries no invariant line field on its Julia set. It follows that a structurally stable rational map with a Cantor Julia set is hyperbolic.
Transversality for critical relations of families of rational maps: an elementary proof

Genadi Levin,Weixiao Shen,Sebastian van Strien

DOI: https://doi.org/10.1007/978-3-030-16833-9_11

2017-01-01

Abstract:In this paper we will give a short and elementary proof that critical relations unfold transversally in the space of rational maps.
The moduli space of a rational map is Carathéodory hyperbolic

Zhuchao Ji,Junyi Xie

2024-04-06

Abstract:Let $f$ be a rational map of degree $d\geq 2$. The moduli space $\mathcal{M}_f$, introduced by McMullen and Sullivan, is a complex analytic space consisting all quasiconformal conjugacy classes of $f$. For $f$ that is not flexible Lattès, we show that there is a normal affine variety $X_f$ of dimension $2d-2$ and a holomorphic injection $i:\mathcal{M}_f\to X_f$ such that $i(\mathcal{M}_f)$ is precompact in $X_f$. In particular $\mathcal{M}_f$ is Carathéodory hyperbolic (i.e. bounded holomorphic functions separate points in $\mathcal{M}_f$), provided that $f$ is not flexible Lattès. This solves a conjecture of McMullen. When $d\geq 4$, we give a concrete construction of $X_f$ as the normalization of the Zariski closure of the image of the reciprocal multiplier spectrum morphism.

Complex Variables,Algebraic Geometry,Dynamical Systems
Rational Maps Admitting Meromorphic Invariant Line Fields

Xiaoguang Wang

DOI: https://doi.org/10.1017/s0004972709000495

2009-01-01

Bulletin of the Australian Mathematical Society

Abstract:It is shown that a rational map of degree at least 2 admits a meromorphic invariant line field if and only if it is conformally conjugate to either an integral Lattes map, a power map, or a Chebyshev polynomial.
Rational maps with smooth degenerate Herman rings

Fei Yang

2023-11-02

Abstract:We prove the existence of rational maps having smooth degenerate Herman rings. This answers a question of Eremenko affirmatively. The proof is based on the construction of smooth Siegel disks by Avila, Buff and Chéritat as well as the classical Siegel-to-Herman quasiconformal surgery. A crucial ingredient in the proof is the surgery's continuity, which relies on the control of the loss of the area of quadratic filled-in Julia sets by Buff and Chéritat. As a by-product, we prove the existence of rational maps having a nowhere dense Julia set of positive area for which these maps have no irrationally indifferent periodic points, no Herman rings, and are not renormalizable.

Dynamical Systems
A Decomposition Theorem for Herman Maps

Xiaoguang Wang

DOI: https://doi.org/10.1016/j.aim.2014.09.004

IF: 1.675

2014-01-01

Advances in Mathematics

Abstract:In 1980s, Thurston established a topological characterization theorem for postcritically finite rational maps. In this paper, a decomposition theorem for a class of postcritically infinite branched covering termed Herman map is developed. It's shown that every Herman map can be decomposed along a stable multicurve into finitely many Siegel maps and Thurston maps, such that the combinations and rational realizations of these resulting maps essentially dominate the original one. This result is motivated by a non-expanding version of McMullen's problem, and Thurston's theory on characterization of rational maps. It enables us to prove a Thurston-type theorem for rational maps with Herman rings.
Rational maps without Herman rings

Fei Yang

DOI: https://doi.org/10.48550/arXiv.1310.2802

2016-06-18

Abstract:Let $f$ be a rational map with degree at least two. We prove that $f$ has at least $2$ disjoint and infinite critical orbits in the Julia set if it has a Herman ring. This result is sharp in the following sense: there exists a cubic rational map having exactly two critical grand orbits but also having a Herman ring. In particular, $f$ has no Herman rings if it has at most one infinite critical orbit in the Julia set. These criterions derive some known results about the rational maps without Herman rings.

Dynamical Systems,Complex Variables
Bifurcation Measures and Quadratic Rational Maps

Laura De Marco,Xiaoguang Wang,Hexi Ye

DOI: https://doi.org/10.1112/plms/pdv024

2015-01-01

Proceedings of the London Mathematical Society

Abstract:We study critical orbits and bifurcations within the moduli space M-2 of quadratic rational maps, f : P-1 -> P-1. We focus on the family of curves, Per(1)(lambda) subset of M-2 for lambda is an element of C, defined by the condition that each f is an element of Per(1)(lambda) has a fixed point of multiplier lambda. We prove that the curve Per(1)(lambda) contains infinitely many postcritically finite maps if and only if lambda = 0, addressing a special case of Baker and DeMarco ('Special curves and postcritically finite polynomials', Forum of Math. Pi 1 (2013), doi: 10.1017/fmp.2013.2; Conjecture 1.4). We also show that the two critical points of f define distinct bifurcation measures along Per(1)(lambda).
Entire or rational maps with integer multipliers

Xavier Buff,Thomas Gauthier,Valentin Huguin,Jasmin Raissy

2023-09-16

Abstract:Let $\mathcal{O}_{K}$ be the ring of integers of an imaginary quadratic field $K$. Recently, Ji and Xie proved that every rational map $f \colon \widehat{\mathbb{C}} \rightarrow \widehat{\mathbb{C}}$ of degree $d \geq 2$ whose multipliers all lie in $\mathcal{O}_{K}$ is a power map, a Chebyshev map or a Lattès map. Their proof relies on a result from non-Archimedean dynamics obtained by Rivera-Letelier. In the present note, we show that one can avoid using this result by considering a differential equation instead. Our proof of Ji and Xie's result also applies to the case of entire maps. Thus, we also show that every nonaffine entire map $f \colon \mathbb{C} \rightarrow \mathbb{C}$ whose multipliers all lie in $\mathcal{O}_{K}$ is a power map or a Chebyshev map.

Dynamical Systems,Complex Variables
On generalized Lattès maps

Fedor Pakovich

DOI: https://doi.org/10.48550/arXiv.1612.01315

2018-09-06

Abstract:We introduce a class of rational functions $A:\,\mathbb C\mathbb P^1\rightarrow \mathbb C\mathbb P^1$ which can be considered as a natural extension of the class of Lattès maps and establish basic properties of functions from this class.

Dynamical Systems,Algebraic Geometry,Complex Variables,Number Theory
On the natural extension of a map with a Siegel or Cremer point

Carlos Cabrera,Tomoki Kawahira

DOI: https://doi.org/10.48550/arXiv.1103.2905

2011-03-15

Dynamical Systems

Abstract:In this note we show that the regular part of the natural extension (in the sense of Lyubich and Minsky) of quadratic map $f(z) = e^{2 \pi i \theta}z + z^2$ with irrational $\theta$ of bounded type has only parabolic leaves except the invariant lift of the Siegel disk. We also show that though the natural extension of a rational function with a Cremer fixed point has a continuum of irregular points, it can not supply enough singularity to apply the Gross star theorem to find hyperbolic leaves.
Spaces of rational maps and the Stone-Weierstrass Theorem

Jacob Mostovoy

DOI: https://doi.org/10.48550/arXiv.math/0307103

2004-09-30

Abstract:It is shown that Segal's theorem on the spaces of rational maps from CP^1 to CP^n can be extended to the spaces of continuous rational maps from CP^m to CP^n for any m less than or equal to n. The tools are the Stone-Weierstrass Theorem and Vassiliev's machinery of simplicial resolutions.

Algebraic Topology
On Rational Proper Mappings among Generalized Complex Balls

Yun Gao,Sui-Chung Ng

DOI: https://doi.org/10.4310/ajm.2018.v22.n2.a11

2018-01-01

Asian Journal of Mathematics

Abstract:We introduce the notion of multiplier, a real-valued bihomogeneous polynomial M-F is an element of C[z(1),(z) over bar (1), . . . ,z(r)(+s),(z) over bar (r+s)] canonically associated to a rational proper map F from a generalized ball D-r,D-s to another generalized ball. We prove that the multiplier MF essentially determines the map F and hence one can study the structure of rational proper mappings among generalized balls through the multiplier. We use the multiplier to study degree-2 rational proper maps from D-2,D-2 to an arbitrary D-r,D-s, demonstrating first of all that one may confine itself to the cases where r,s >= 2 and r + s <= 10 without loss of generality. Then, we show that for each maximal case, i.e. whenever r + s = 10, there exists a real one-parameter family of non-equivalent degree-2 holomorphic proper maps. Finally, we give a complete description of all degree-2 rational proper maps from D-2,D-2 to D-3,D-3, which is the minimal case where there are non-standard mappings.
Kapranov degrees

Joshua Brakensiek,Christopher Eur,Matt Larson,Shiyue Li

2024-10-20

Abstract:The moduli space of stable rational curves with marked points has two distinguished families of maps: the forgetful maps, given by forgetting some of the markings, and the Kapranov maps, given by complete linear series of $\psi$-classes. The collection of all these maps embeds the moduli space into a product of projective spaces. We call the multidegrees of this embedding ``Kapranov degrees,'' which include as special cases the work of Witten, Silversmith, Gallet--Grasegger--Schicho, Castravet--Tevelev, Postnikov, Cavalieri--Gillespie--Monin, and Gillespie--Griffins--Levinson. We establish, in terms of a combinatorial matching condition, upper bounds for Kapranov degrees and a characterization of their positivity. The positivity characterization answers a question of Silversmith and gives a new proof of Laman's theorem characterizing generically rigid graphs in the plane. We achieve this by proving a recursive formula for Kapranov degrees and by using tools from the theory of error correcting codes.

Algebraic Geometry,Combinatorics
Counting rational maps on $\mathbb{P}^1$ with prescribed local conditions

Khoa D. Nguyen,Anwesh Ray

2024-10-04

Abstract:We explore distribution questions for rational maps on the projective line $\mathbb{P}^1$ over $\mathbb{Q}$ within the framework of arithmetic dynamics, drawing analogies to elliptic curves. Specifically, we investigate counting problems for rational maps $\phi$ of fixed degree $d \geq 2$ with prescribed reduction properties. Our main result establishes that the set of rational maps with minimal resultant has positive density. Additionally, for degree 2 rational maps, we perform explicit computations demonstrating that over $32.7\%$ possess a squarefree, and hence minimal, resultant.

Number Theory,Dynamical Systems
Combinatorial Characterization of Sub-Hyperbolic Rational Maps

Gaofei Zhang,Yunping Jiang

DOI: https://doi.org/10.1016/j.aim.2009.03.009

IF: 1.675

2009-01-01

Advances in Mathematics

Abstract:In 1980's, Thurston established a combinatorial characterization for post-critically finite rational maps among post-critically finite branched coverings of the two sphere to itself. A completed proof was written by Douady and Hubbard in their paper [A. Douady, J.H. Hubbard, A proof of Thurston's topological characterization of rational functions, Acta Math. 171 (1993) 263–297]. This criterion was then extended by Cui, Jiang, and Sullivan to sub-hyperbolic rational maps among sub-hyperbolic semi-rational branched coverings of the two sphere to itself. The goal of this paper is to present a new but simpler proof for the combinatorial characterization of sub-hyperbolic rational maps by adapting some arguments in the proof in Douady and Hubbard's paper.
Symmetrization of Rational Maps: Arithmetic Properties and Families of Lattès Maps of $\mathbb P^k$

Thomas Gauthier,Benjamin Hutz,Scott Kaschner

DOI: https://doi.org/10.48550/arXiv.1603.04887

2022-12-06

Abstract:In this paper we study properties of endomorphisms of $\p^k$ using a symmetric product construction $(\p^1)^k/\mathfrak{S}_k \cong \p^k$. Symmetric products have been used to produce examples of endomorphisms of $\p^k$ with certain characteristics, $k\geq2$. In the present note, we discuss the use of these maps to enlighten stability phenomena in parameter spaces. In particular, we study $k$-deep post-critically finite maps and characterize families of Lattès maps.

Dynamical Systems
Dynamics of Siegel Rational Maps with Prescribed Combinatorics

Gaofei Zhang

DOI: https://doi.org/10.48550/arXiv.0811.3043

2008-11-19

Dynamical Systems

Abstract:We extend Thurston's combinatorial criterion for postcritically finite rational maps to a class of rational maps with bounded type Siegel disks. The combinatorial characterization of this class of Siegel rational maps plays a special role in the study of general Siegel rational maps. As one of the applications, we prove that for any quadratic rational map with a bounded type Siegel disk, the boundary of the Siegel disk is a quasi-circle which passes through one or both of the critical points.

Carries and a map on the space of rational functions

Carries and a map on the space of rational functions

Rational Maps Whose Julia Sets Are Cantor Circles

No Invariant Line Fields on Cantor Julia Sets

Transversality for critical relations of families of rational maps: an elementary proof

The moduli space of a rational map is Carathéodory hyperbolic

Rational Maps Admitting Meromorphic Invariant Line Fields

Rational maps with smooth degenerate Herman rings

A Decomposition Theorem for Herman Maps

Rational maps without Herman rings

Bifurcation Measures and Quadratic Rational Maps

Entire or rational maps with integer multipliers

On generalized Lattès maps

On the natural extension of a map with a Siegel or Cremer point

Spaces of rational maps and the Stone-Weierstrass Theorem

On Rational Proper Mappings among Generalized Complex Balls

Kapranov degrees

Counting rational maps on $\mathbb{P}^1$ with prescribed local conditions

Combinatorial Characterization of Sub-Hyperbolic Rational Maps

Symmetrization of Rational Maps: Arithmetic Properties and Families of Lattès Maps of $\mathbb P^k$

Dynamics of Siegel Rational Maps with Prescribed Combinatorics