Searcharxiv⌕ Search

arXiv subjects

Yongcheng Yin

Publications and source records attributed to Yongcheng Yin.

15 recordsLinked to original sources
arXiv2025

Boundary of the central hyperbolic component II: boundary extension theorem

In this paper, we study the boundary behavior of Milnor's parameterization $Φ: \mathcal B_d\rightarrow \mathcal H_d$ of the central hyperbolic component $\mathcal H_d$ via Blaschke products. We establish a boundary extension theorem by giving a necessary and sufficient condition for $D\in \partial \mathcal B_d$ which allows $Φ$-extension. Further we show that cusps are dense in a full Hausdorff dimensional subset of $\partial \mathcal H_d$, partially confirming a conjecture of McMullen.

math.DS↗
arXiv2025

Boundary of the central hyperbolic component I: dynamical properties

We study the dynamics of polynomial maps on the boundary of the central hyperbolic component $\mathcal H_d$. We prove the local connectivity of Julia sets and a rigidity theorem for maps on the regular part of $\partial\mathcal H_d$. Our proof is based on the construction of Fatou trees and employs the puzzle technique as a key methodological framework. These results are applicable to a larger class of maps for which the maximal Fatou trees equal the filled Julia sets.

math.DS↗
arXiv2023

Rigidity of non-renormalizable Newton maps

Non-renormalizable Newton maps are rigid. More precisely, we prove that their Julia set carries no invariant line fields and that the topological conjugacy is equivalent to quasi-conformal conjugacy in this case.

math.DS↗
arXiv2022

Boundaries of capture hyperbolic components

In complex dynamics, the boundaries of higher dimensional hyperbolic components in holomorphic families of polynomials or rational maps are mysterious objects, whose topological and analytic properties are fundamental problems. In this paper, we show that in some typical families of polynomials (i.e. algebraic varieties defined by periodic critical relations), the boundary of a capture hyperbolic component $\mathcal H$ is homeomorphic to the sphere $S^{2\dim_\mathbb{C}(\mathcal{H})-1}$. Furthermore, we establish an unexpected identity for the Hausdorff dimension of $\partial \mathcal H$: $$\operatorname{H{.}dim}(\partial\mathcal{H}) = 2 \dim_\mathbb{C}(\mathcal{H})-2+\max_{f\in\partial\mathcal{H}} \operatorname{H{.}dim}(\partial A^J(f)),$$ where $A^J(f)$ is the union of the bounded attracting Fatou components of $f$ associated with the free critical points in the Julia set $J(f)$. In the proof, some new results with independent interests are discovered.

math.DS↗
arXiv2020

Quasisymmetric geometry of the Julia sets of McMullen maps

We study the quasisymmetric geometry of the Julia sets of McMullen maps $f_λ(z)=z^m+λ/z^\ell$, where $\ell$, $m\geq 2$ are integers satisfying $1/\ell+1/m<1$ and $λ\in\mathbb{C}\setminus\{0\}$. If the free critical points of $f_λ$ are escaped to the infinity, we prove that the Julia set $J_λ$ of $f_λ$ is quasisymmetrically equivalent to either a standard Cantor set, a standard Cantor set of circles or a round Sierpiński carpet (which is also standard in some sense). If the free critical points are not escaped, we give a sufficient condition on $λ$ such that $J_λ$ is a Sierpiński carpet and prove that most of them are quasisymmetrically equivalent to some round carpets. In particular, there exist infinitely renormalizable rational maps whose Julia sets are quasisymmetrically equivalent to round carpets.

math.DS↗
arXiv2018

Dynamics of Newton maps

In this paper, we study the dynamics of Newton maps for arbitrary polynomials. Let $p$ be an arbitrary polynomial with at least three distinct roots, and $f$ be its Newton map. It is shown that the boundary $\partial B$ of any immediate root basin $B$ of $f$ is locally connected. Moreover, $\partial B$ is a Jordan curve if and only if ${\rm deg}(f|_B)=2$. This implies that the boundaries of all components of root basins, for all polynomials' Newton maps, from the viewpoint of topology, are tame.

math.DS↗
arXiv2016

Moduli space of cubic Newton maps

In this article, we study the topology and bifurcations of the moduli space $\mathcal{M}_3$ of cubic Newton maps. It's a subspace of the moduli space of cubic rational maps, carrying the Riemann orbifold structure $(\mathbb{\widehat{C}}, (2,3,\infty))$. We prove two results: (1). The boundary of the unique unbounded hyperbolic component is a Jordan arc and the boundaries of all other hyperbolic components are Jordan curves. (2).The Head's angle map is surjective and monotone. The fibers of this map are characterized completely. The first result is a moduli space analogue of the first author's dynamical regularity theorem \cite{Ro08}. The second result confirms a conjecture of Tan Lei.

math.DS↗
arXiv2016

Global topology of hyperbolic components I: Cantor circle case

The hyperbolic components in the moduli space ${M}_d$ of degree $d\geq2$ rational maps are mysterious and fundamental topological objects. For those in the connectedness locus, they are known to be the finite quotients of the Euclidean space $\mathbb{R}^{4d-4}$. In this paper, we study the hyperbolic components in the disconnectedness locus and with minimal complexity: those in the Cantor circle locus. We show that each of them is a finite quotient of the space $\mathbb{R}^{4d-4-n}\times\mathbb{T}^{n}$, where $n$ is determined by the dynamics. The proof relates Riemann surface theory (Abel's Theorem), dynamical system and algebraic topology.

math.DS↗
arXiv2015

Quasisymmetric geometry of the Cantor circles as the Julia sets of rational maps

We give three families of parabolic rational maps and show that every Cantor set of circles as the Julia set of a non-hyperbolic rational map must be quasisymmetrically equivalent to the Julia set of one map in these families for suitable parameters. Combining a result obtained before, we give a complete classification of the Cantor circles Julia sets in the sense of quasisymmetric equivalence. Moreover, we study the regularity of the components of the Cantor circles Julia sets and establish a sufficient and necessary condition when a component of a Cantor circles Julia set is a quasicircle.

math.DS↗
arXiv2013

Rational maps whose Julia sets are Cantor circles

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.

math.DS↗
arXiv2012

Hyperbolic components of McMullen maps

In this article, we study the hyperbolic components of McMullen maps. We show that the boundaries of all hyperbolic components are Jordan curves. This settles a problem posed by Devaney. As a consequence, we show that cusps are dense on the boundary of the unbounded hyperbolic component. This is a dynamical analogue of McMullen's theorem that cusps are dense on the Bers' boundary of Teichmüller space.

math.DS↗
arXiv2012

Dynamics of McMullen maps

In this article, we develop the Yoccoz puzzle technique to study a family of rational maps termed McMullen maps. We show that the boundary of the immediate basin of infinity is always a Jordan curve if it is connected. This gives a positive answer to a question of Devaney. Higher regularity of this boundary is obtained in almost all cases. We show that the boundary is a quasi-circle if it contains neither a parabolic point nor a recurrent critical point. For the whole Julia set, we show that the McMullen maps have locally connected Julia sets except in some special cases.

math.DS↗
arXiv2006

No invariant line fields on Cantor Julia sets

In this paper, we prove that a rational map with a Cantor Julia set carries no invariant line fields on its Julia set. It follows that a structurally stable rational map with a Cantor Julia set is hyperbolic.

math.DS↗
arXiv2006

Proof of the Branner-Hubbard conjucture on Cantor Julia sets

By means of a nested sequence of some critical pieces constructed by Kozlovski, Shen, and van Strien, and by using a covering lemma recently proved by Kahn and Lyubich, we prove that the Julia set of a polynomial is a Cantor set if and only if each component of the filled-in Julia set containing critical points is aperiodic. This result was a conjecture raised by Branner and Hubbard in 1992.

math.DS↗