Rigidity of non-renormalizable Newton maps
Extracted source text ยท arXiv 1811.09978
\documentclass[a4paper,11pt]{article}
\NeedsTeXFormat{LaTeX2e}
\usepackage{amsfonts,amsmath,amssymb,amsthm,amscd,epsfig,epic,eepic,psfrag,color,graphicx,caption2}
\usepackage{graphics}
%%%%%page setup
\setlength{\textwidth}{38pc}
\setlength{\textheight}{53pc} %48pc
\setlength{\parindent}{22pt}
\setlength{\topskip}{10pt}
\setlength{\headsep}{12pt}
\setlength{\parskip}{0pt}
\setlength{\widowpenalty}{10000}
\setlength{\clubpenalty}{10000}
\setlength{\skip\footins}{20pt}
\setlength{\dimen\footins}{3in}
\setlength{\abovedisplayskip}{6.95pt plus3.5pt minus 3pt}
\setlength{\belowdisplayskip}{\abovedisplayskip}
%%%%%Output routine
%\setlength{\voffset}{7pt}
\setlength{\voffset}{-40pt}
%\newcommand{\bindingoffset}{\ifodd\pageno\hoffset=-18pt\else\hoffset29pc\fi}
\oddsidemargin=1mm
% \evensidemargin=32mm
\evensidemargin=\oddsidemargin
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%
\makeatletter
\gdef\thmhead@plain#1#2#3{%
\thmname{#1}\thmnumber{\@ifnotempty{#1}{ }#2}%
\thmnote{ {\mdseries#3}}}
\let\thmhead\thmhead@plain
\makeatother
%%statements headings
%\numberwithin{equation}{subsection}
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lem}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{corollary}{Corollary}[section]
\newtheorem{crr}{Corollary}
\newtheorem*{cri}{Corollary}
\newtheorem*{lemi}{Lemma}
\newtheorem*{claimi}{Claim}
\newtheorem{claima}{Claim}
\newtheorem{claimb}{Claim}
\newtheorem{claim}{Claim}
\newtheorem{pro}{Proposition}
%\newtheorem{lem}{Lemma}
\newtheorem*{proi}{Proposition}
\newtheorem*{pro2}{Proposition 2}
\newtheorem*{assertion}{Assertion}
\newtheorem{assumption}{Assumption}
\newtheorem{thm}{Theorem}
%\newtheorem*{thmi}{Theorem}
%\newtheorem*{lem}{Lemma 1}
\newtheorem*{thm1}{Theorem 1}
\newtheorem*{thmi}{Theorem}
\newtheorem*{thm2}{Theorem 2}
\newtheorem*{thm3}{Theorem 3}
\newtheorem*{thm4}{Theorem 4}
\newtheorem*{thm5}{Theorem 5}
\newtheorem*{thm6}{Theorem 6}
\newtheorem*{thm7}{Theorem 7}
\newtheorem*{crr1}{Corollary 1}
\newtheorem*{crr2}{Corollary 2}
\newtheorem*{crr3}{Corollary 3}
\newtheorem*{crr4}{Corollary 4}
\newtheorem*{crrend}{Corollary }
\newtheorem*{conj}{Conjecture}
\newtheorem*{proprietes}{Properties}
%%
\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{notation}[theorem]{Notation}
\newtheorem{remarks}[theorem]{Remarks}
%%
\theoremstyle{remark}
\newtheorem*{nt}{Notation}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%
%%commandes
\def\alinea#1{\hfill\break%
\hbox to \parindent{\hss{\upshape{\bf #1)}}\enspace}\ignorespaces}
\def\bul{\hfill\break\hbox to\parindent{\hss$\bullet$\enspace}\ignorespaces}
\def\up{\textup}
\def\from{\colon}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\def\ffr{ \hbox{{\rlap{$\strut^{\ \, f^r}$}}}\rightarrow}
\def\ffk{ \hbox{{\rlap{$\strut^{\ \, f^k}$}}}\rightarrow}
\def\ffl{ \hbox{{\rlap{$\strut^{\ \, f^l}$}}}\rightarrow}
\def\up{\textup}
\def\from{\colon}
\def\mod{\operatorname{mod}}
\def\abs#1{\lvert #1 \rvert}
\def\Abs#1{\bigl\lvert #1 \bigr\rvert}
\def\res#1{\,\vert\,{}_{#1}}
\def\id{\hbox{Id}}
\def\h{h}
\def\wc{\omega_{comb}}
\def\p{p}
\def\H{H}
\def\C{\mathbf{C}}
\def\D{\mathbf{D}}
\def\K{\mathbf{K}}
\def\M{\mathbf{M}}
\def\N{\mathbf{N}}
\def\Q{\mathbf{Q}}
\def\R{\mathbf{R}}
\def\S{\mathbf{S}}
\def\T{\mathbf{T}}
\def\Z{\mathbf{Z}}
\def\a{\mathbf{a}}
\def\AA{\mathcal{A}}\def\BB{\mathcal{B}}
\def\CC{\mathcal{C}}
\def\EE{\mathcal{E}}
\def\FF{\mathcal{F}}
\def\DD{\mathcal{D}}
\def\GG{\mathcal{G}}
\def\II{\mathcal{I}}
\def\HH{\mathcal{H}}
\def\Hinf{{\mathcal{H}}_\infty}
\def\LL{\mathcal{L}}
\def\MM{\mathcal{M}}
\def\PP{\mathcal{P}}
\def\PPc{\PP_{\omega Crit(c)}}
\def\PPo{\PP_{\omega Crit(c_0)}}
\def\QQ{\mathcal{Q}}
\def\RR{\mathcal{R}}
\def\SS{\mathcal{S}}
\def\UU{\mathcal{U}}
\def\VV{\mathcal{V}}
\def\XX{\mathcal{X}}
\def\WW{\mathcal{W}}
\def\Cap_#1{\bigcap\limits_{#1}}
\def\Cup_#1{\bigcup\limits_{#1}}
\def\ol{\overline}
\def\ul{\underline}
\def\wt{\widetilde}
\def\wh{\widehat}
\def\eps{\epsilon}
\def\Sun{S^1}
\newcommand\TTT{{\cal T}}
\newcommand{\veps}{\ensuremath{{\underline{\epsilon}}}}
\makeatletter
\def\cqfdsymb{\relax\protect\ifmmode\else\unskip\nobreak\fi
\quad\hfill$\bgroup
\vcenter{\hrule\hbox{\vrule\@height.6em\kern.6em\vrule}\hrule}\egroup$}
\def\cqfd{\cqfdsymb \endtrivlist}
\gdef\rom#1{\leavevmode\skip@\lastskip\unskip\/%
\ifdim\skip@=\z@\else\hskip\skip@\fi{\normalshape#1}}
\makeatother
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%
\begin{document}
\title{{\bf Rigidity of non-renormalizable Newton maps}
%\thanks{Research partially supported by the ANR ABC and the NSF of China}
}
\author{{{\sc P. Roesch} , {\sc Y.Yin}\ }, {\sc J.Zeng}
\\
{\small Institut de Math\'ematiques de Toulouse, France\,; Zhejiang University, China\,; Guangzhou University, China}}
\date{\today}
\maketitle
\begin{abstract}
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.
\end{abstract}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Introduction and statements}
In this article we consider the question of rigidity of rational maps in the context of the family of Newton maps. These maps are of the form $$f_p(z)=z-\frac{p(z)}{p'(z)},$$ where $p$ is a polynomial. They are well known because
their iterations are used to find the roots of the polynomial $p$. Recently the dynamic of Newton maps has been studied a lot, see \cite{AR,BFJK, DLSS,DMRS,LMS1,LMS2,Roe,RWY,WYZ} etc.
The question of rigidity, i.e., to know whether two maps are conformally conjugated (hence equivalent) when they are topologically conjugated or quasi-conformally equivalent (conjugated by a quasiconfromal homeomorphism), is natural and important since it "says" that understanding the behavior of orbits prescribes the map.
In the context of rational maps of degree $d$, it is stated as the NILF conjecture :
\begin{conj}[(NILF)] The Julia set of a rational map does not support an invariant line field except it is a Latt$\grave{e}$s example.
\end{conj}
A
rational map $f$ \emph{admits an invariant line field supported on its Julia set}
$J(f)$ provided that there is a measurable Beltrami differential $\mu
(z)\frac{d\bar{z}}{dz}$
with $|\mu|=1$
supported on a positive measure subset $E$ of $J(f)$ such that $f^{-1}E=E$ and $f^*\mu =\mu$.
The NILF Conjecture is central since it implies the density of hyperbolic maps in the space
of all rational maps of degree $d$~(see \cite{McS}). The NILF
Conjecture has been studied by many people, see
\cite{GS,Hai,KS,Levin-vanStrien,McMbook,Sh08,Shen,Yoccoz}.
But it is still open even for quadratic polynomials.
\vskip 1em
Our main results here concern rational maps of the previous type : Newton maps.
\begin{thm}\label{th:conjugate}
If two non-renormalizable Newton maps are topologically conjugated, then they are quasi-conformally conjugated.
\end{thm}
\begin{thm}\label{th:NILF}
If a Newton map is non-renormalizable, then its Julia set carries no invariant line fields.
\end{thm}
\begin{definition}
We say that a Newton map $f$ is {\it renormalziable} if there exist an integer $k\geq 1$, topological disks $U\Subset V \subseteq \mathbb{C}$ such that $g:=f^k:U\to V$ is a polynomial-like map with connected {\it filled-in Julia set} $K(g):=\bigcap_{n\geq 0}g^{-n}(V)$.
\end{definition}
\noindent {\bf Sketch of the proof of Theorem 2}~:
We assume (by contradiction) that $f$ admits an invariant line field $\mu$. We consider the graph invariant graph $G$ constructed in \cite{WYZ} for Newton maps of any degree. It allows to build the Branner-Hubbard-Yoccoz puzzles for such Newton map. Then using distortion properties as well as Kozlovski-Shen-vanStrien's enhanced nests puzzles and the Kahn-Lyubich covering Lemma, we get that
the diameter of the puzzles pieces goes to zero in the non-renormalizable case. Finally, using that the shape of the puzzle pieces is bounded, we can prove that either $\mu(z)= 0 $ or $\mu$ is not almost continuous at $z$. This finally implies that $\mu=0$.
\noindent
\vskip 1 em
\noindent {\bf The paper is organized as follows} :
In sections 2 and 3 we recall the dynamics of Newton maps and present the construction of invariant graphs for Newton maps as well as the puzzle related to the graph\,;
in sections 4 and 5 we recall some distortion lemmas for holomorphic maps and the properties of Kozlovski-Shen-vanStrien's enhanced nests puzzles that we will apply in the case of this new puzzle system\,;
in section 6 we prove Theorems 1 and 2.
\vskip 1 em
\noindent \textbf{Recall some basic frequently used notations}
\begin{itemize}
\item $\widehat{\mathbb{C}}$, $\mathbb{C}$, $\mathbb{D}$ are the Riemann sphere, the plane and the unit disk respectively.
%The boundary of $\mathbb{D}$ is denoted by $\mathbb{S}^1$.
\item The open disk centered at $a\in \mathbb{C}$ with radius $r>0$ is denoted by $D(a,r)$.
\item Let $A$ be a set in $\widehat{\mathbb{C}}$. We write $\#A$ for the cardinality of $A$. The closure and the boundary of $A$ are denoted by $\overline{A}$ and $\partial A$ respectively.
We denote by $\rm{Comp}(A)$ the collection of all connected components of $A$.
\item For two sets $A, B$ of $\widehat{\mathbb{C}}$ we use the notation $A\Subset B$ to summarize that $\overline{A}$ is contained in the interior of $B$.
\item Let $\gamma$ be a Jordan curve in $\mathbb{C}$. We denote by $\rm {Int}(\gamma)$ its "interior", i.e., the bounded component of $\mathbb{C}\setminus \gamma$.
\item The Julia set and Fatou set of a rational map $f$ are denoted by $ J(f)$ and $ F(f)$ respectively.
\end{itemize}
\vskip 1 em \noindent{\it Acknowledgment}:
The authors would like very much to thank Professor Xiaoguang Wang for helpful discussion. This research is partially supported by the ANR ABC and the NSF of China.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Some basic facts for Newton maps}\label{sec_preNewt}
Let $p$ be a complex polynomial with at least two distinct roots. It can be written as
$$p(z):=c(z-\xi_1)^{n_1}\cdots(z-\xi_d)^{n_d},$$
where $c$ is a non-zero complex number and $\xi_1,\cdots, \xi_d$ are distinct roots of $p$, with multiplicities $n_1,\cdots,n_d\geq 1$, respectively.
Its Newton map $f_p$, defined by $f_p(z):=z-\frac{p(z)}{p'(z)}$, fixes each root $\xi_k$ with multiplier
$$f_p'(\xi_k)=\frac{p(z)p''(z)}{p'(z)^2}\Big|_{z=\xi_k}=\frac{n_k-1}{n_k}.$$
Therefore, each root $\xi_k$ of $p$ corresponds to an attracting fixed point of $f_p$ with multiplier $\frac{n_k-1}{n_k}$.
It follows from the equation
$$\frac{1}{f_p(z)-z}=-\sum_{k=1}^d\frac{n_k}{z-\xi_k}$$
that the degree of $f_p$ equals $d$, the number of distinct roots of $p$.
One also verifies that $\infty$ is a repelling fixed point of $f_p$ with multiplier
$$\lambda_\infty:=\frac{\sum_{k=1}^d n_k}{\sum_{k=1}^d n_k-1}.$$
The following is a well-known characterization of Newton maps due to J.Head (\cite{He87}):
\begin{theorem}\label{char} A rational map $f:\mathbb{\widehat{C}}\rightarrow \mathbb{\widehat{C}}$ of degree $d\geq2$
is the Newton map of a polynomial $p$ if and only if
$f(\infty)=\infty$ and for all other fixed points $\xi_1, \cdots, \xi_d\in \mathbb{C}$, there are integers $n_k\geq 1$ so that
$f'(\xi_k)=\frac{n_k-1}{n_k}$ for all $1\leq k\leq d$. Moreover, $p$ has the form $c(z-\xi_1)^{n_1}\cdots(z-\xi_d)^{n_d}$ with $c\neq0$.
\end{theorem}
Let $p$ be a polynomial with $d$ distinct roots $\xi_1,\cdots, \xi_d$. Then its Newton map $f=f_p$, has $d$ distinct attracting fixed points. We denote by $B_k$ the immediately attracting basin of fixed points $\xi_k$ for $1\leq k\leq d$.
The attracting basin
all roots will be
$${B}_f:=\bigcup_{k\geq1} f^{-k}(B_1\cup\cdots\cup B_d).$$
A Newton map $f$ is called \emph{post-critically finite} on ${B}_f$, if each critical point in ${B}_f$ will eventually be
mapped onto one of $\xi_1,\cdots,\xi_d$.
Let $\mathcal{N}_d$ be the collection of all degree-$d$ Newton maps $f$, and let
$$\mathcal{N}^{*}_d:=\{f^*\in \mathcal{N}_d: f^* \text{ is post-critically finite on } {B}_{f^*}.\}$$
For $f^*\in \mathcal{N}^{*}_d$, one can give a natural dynamical parameterization of all components of
$B_{f^*}$ (see \cite{M1}):
\begin{lem}
\label{lem:coordinates}
There exist, so-called B\"ottcher coordinates, $\{(B,\Phi_B)\}_{B\in{\rm{Comp}} (B_{f^*})}$, such that
\begin{itemize}
\item[(1)] Each $\Phi_B:B\to \mathbb{D}$ is conformal;
\item[(2)] $\Phi_{f^*(B)}\circ f^*\circ\Phi_B^{-1}(z)=z^{d_{B}}, z\in\mathbb{D}$, where $d_B={\rm deg}(f^*|_{B})$.
\end{itemize}
\end{lem}
In general, for each $B\in {\rm Comp}({B}_{f^*})$, the B\"ottcher map $\Phi_B$ is not unique. There are $d_B-1$ choices of $\Phi_B$ when $f^*(B)=B$, and
$d_B$ choices of $\Phi_B$ when $f^*(B)\neq B$ and $\Phi_{f^*(B)}$ is determined.
Once the B\"ottcher coordinates $\{(B,\Phi_B)\}_{B\in{\rm{Comp}}({B}_{f^*})}$ is fixed, we may introduce the {\it internal rays}:
Let $B$ be a component of ${B}_{f^*}$, the point $\Phi_B^{-1}(0)$ is called the \emph{center} of $B$, and the Jordan arc
$$R_B(\theta):=\Phi_B^{-1}(\{re^{2\pi i\theta}:0\leq r<1\})$$
is called the \emph{internal ray} of angle $\theta$ in $B$. According to Douady-Hubbard's theory, when $\theta$ is rational, such ray always lands, i.e., it accumulates at exact one point in $\partial B$. A number $r\in[0,1)$ and two rational angles $\theta_1,\theta_2$
induce a \emph{sector}:
$$S_B(\theta_1,\theta_2;r):=\Phi_B^{-1}\left\{t\,e^{2\pi i\theta}:r<t<1,\theta_1<\theta<\theta_2\right\},$$
here $\theta_1<\theta<\theta_2$ means that $\theta_1, \theta, \theta_2$ sit in the circle in the counter clock-wise order.
\section{Branner-Hubbard-Yoccoz puzzles}
Newton maps of degree $d=2$ have two completely invariant (supper)attracting Fatou components and their Julia sets are quasi-circles. Theorem~\ref{th:conjugate} and Theorem~\ref{th:NILF} are obviously true. In the rest of this article, it is always assumed that $d\geq 3$ and that Newton maps are non-renormalizable.
By a {\it{graph}} we mean a connected subset of $\widehat{\mathbb{C}}$, which can be written as the union of
finitely many points (vertices) and
finitely many open Jordan arcs (edges) such that any two of edges only touch at the vertices. A point $z\in G$ is called {\it{cut point}} with respect to $G$ if
$ G\setminus\{z\}$ is disconnected.
For $f^*\in \mathcal{N}^{*}_d$, let $B^*_1,\cdots,B^*_{d}$ be the fixed Fatou components of $f^*$ with centers $\xi^*_1,\cdots,\xi^*_d$, respectively. Let $\{(B,\Phi_B)\}_{B\in {\rm{Comp}}({B}_{f^*})}$ be the
B\"{o}ttcher coordinates of $ B_{f^*}$. For each $B^*_k$, the $d_k-1$ fixed internal rays $R_{B^*_k}(\frac{i}{d_k-1}),1\leq i\leq d_k-1$ must land at fixed points in $\partial B^*_k$, which can only possible be $\infty$. Thus these rays possess a common landing point.
The union of all these $\sum_k (d_k-1)$ fixed internal rays in $B^*_1,\cdots,B^*_k$ together with their landing point $\infty$, usually denoted by $\Delta_0$:
$$\Delta_0:=\bigcup_{k=1}^d\bigcup_{j=1}^{d_k-1}\overline{ R_{B^*_k}\Big({j}/(d_k-1)\Big)}.$$
Clearly $f^*(\Delta_0)=\Delta_0$.
The following invariant graph with nice properties is constructed in \cite{WYZ}. It is the key point to construct the Branner-Hubbard-Yoccoz puzzles for Newton maps.
\begin{proposition}\label{prop:invariant}
Let $f^*\in \mathcal{N}^{*}_d$. There exists a graph $G$ such that
\begin{enumerate}
\item $f^*(G)\subseteq G$ and $ (f^*)^{-1}(G)$ is connected;
\item $ (f^*)^n(G)=\Delta_0$ for some $n\geq 0$;
\item Any point in $G$ which is not eventually mapped into $\{\xi_1^*,\cdots,\xi_d^*\}$ is a non-cut point with respect to $G$.
\end{enumerate}
\end{proposition}
Let $p$ be a polynomial with $d$ distinct roots $\xi_1,\cdots, \xi_d$. For its Newton map $f(=f_p)$, consider the immediately attracting basin $B_k$ of fixed point $\xi_k$. Take a Jordan curve $\gamma_k$ in $B_k$ such that $f({\rm Int}(\gamma_k))\Subset {\rm Int}(\gamma_k)$ and ${\rm Int}(\gamma_k)$ contains all critical orbits in $B_k$. Here $\textup{Int}(\gamma_k)$ denotes the bounded component of $\mathbb{C}\setminus\gamma_k$. Then there exists $N$ such that $$B_f\setminus f^{-N}(\bigcup_{k=1}^d{\rm Int}(\gamma_k))$$ is disjoint from critical orbits. According to \cite{Sh09}, the Julia sets of Newton maps are always connected, or equivalently, all Fatou components are simply connected.
One can apply standard quasi-conformal surgery on ${B}_f$ (see \cite{BF14}) to obtain a quasi-conformal map $h:\widehat{\mathbb{C}}\to \widehat{\mathbb{C}}$ and a rational map $f^*$, such that
\begin{itemize}
\item $h({\xi}_k),1\leq k\leq d,$ are the super-attracting fixed points of $f^*$.
\item $f^*$ is post-critically finite on $h(B_f)$;
\item $h\circ f=f^*\circ h$ on $\widehat{\mathbb{C}}\setminus f^{-N}(\bigcup_{k=1}^d{\rm Int}(\gamma_k))$;
\item $(f^*)'(\infty)=\frac{d}{d-1}(>1)$ by \cite[Theorem 12.4]{M1}.
\end{itemize}
Theorem \ref{char} implies that $f^*\in \mathcal{N}^{*}_d$.
We remark that such $f^*$ is unique up to affine conjugacy.
For each $1\leq k\leq d$, let $\gamma_k'$ be the connected component of $f^{-N}(\gamma_k)$ in $B_k$. Take $r_0>0$ such that $h({\rm Int}(\gamma_k'))\subseteq \Phi_{B^*_k}^{-1}(D(0,r_0))$ and let
$$X:=\widehat{\mathbb{C}}\setminus \bigcup_{B\cap G\neq \emptyset, B\in {\rm Comp}(B_{f^*})}\overline{\Phi_{B}^{-1}(D(0,r_0))}.$$
Then $(f^*)^{-1}(X)\subseteq X$ and $(f^*)^{-k}(X)\Subset X$ for some $k\geq1$ from Lemma \ref{lem:coordinates} (2).
For any integer $n\geq 0$, let $\mathcal{P^*}_n$ be the collection of all connected components of $(f^*)^{-n}(X\setminus G)$.
An element in $\mathcal{P^*}_n$ is called a {\it puzzle piece} of depth $n\geq 0$ for $f^*$. Since $h\circ f=f^*\circ h$ on $\widehat{\mathbb{C}}\setminus f^{-N}(\bigcup_{k=1}^d{\rm Int}(\gamma_k))$, we can transfer puzzles of $f^*$ to that of $f$ by $h$.
Let $\mathcal{P}_n$ be the collection of all connected components of $f^{-n}(h(X\setminus G))$. It is clearly $P\in \mathcal{P}_n \Longleftrightarrow h(P)\in \mathcal{P^*}_n$. Then an element in $\mathcal{P}_n$ is called a {\it puzzle piece} of depth $n\geq 0$ for $f$.
In the following, we restrict ourself to the general Newton map $f(=f_p)$ for a polynomial $p$. Note that two distinct puzzle pieces $P,Q$ are either disjoint (i.e. $P\cap Q=\emptyset$) or nested (i.e. $P\subseteq Q$ or $Q\subseteq P$).
The following important facts about puzzle pieces are proved in \cite{WYZ}:
\begin{proposition}\label{pro:map-puzzle} Let $P,Q$ be two puzzle pieces with
$Q=f(P)$.
Then we have the following two implications:
\begin{eqnarray*}
&Q \text{ is a Jordan disk} \ \Longrightarrow P \text{ is a Jordan disk };&\\
&P\subseteq Q \ \Longrightarrow \infty\in \partial P\cap \partial Q \text{ and } f: P\rightarrow Q \text{ is conformal }.&
\end{eqnarray*}
\end{proposition}
Note that the number of unbounded puzzled pieces of depth $n$, is a constant independent on $n$.
This number is $d_0:=\sum_{k=1}^d({\rm{deg}}(f|_{B_k})-1)$.
Let
$$\mathcal{P}_n(\infty):=\left\{P_{n,1}(\infty),\cdots,P_{n,d_0}(\infty)\right\}$$ be the collection of all unbounded puzzle pieces of depth $n$, numbered in the way that $P_{n+1,k}(\infty)\subseteq P_{n,k}(\infty)$ for any $n\geq 0, 1\leq k\leq d_0$.
Note also that the closed topological disks
$$Y_n(\infty):=\bigcup_{k}\,\overline{P_{n,k}(\infty)}, \ n\geq 0$$ are neighborhoods of $\infty$.
The grand orbit of $\infty$ is denoted by
$$\Omega_f:=\cup_{n\geq 0}f^{-n}\{\infty\}.$$
For any $z\in J(f)\setminus \Omega_f$, the puzzle piece of depth $l$ containing $z$ is well-defined, and is denoted by $P_{l}(z)$.
\begin{proposition} \label{pro:infty}
We have ${\rm{diam}}(Y_n(\infty))\to 0$ as $n\to \infty$.
\end{proposition}
\begin{proof}
By Proposition \ref{pro:map-puzzle}, for each $n\geq 1$, the map $f^n: Y_n(\infty)\rightarrow Y_0(\infty)$ is conformal,
and the boundaries $\partial Y_{n}(\infty), \partial Y_{0}(\infty)$ are Jordan curves.
Therefore $f^n: \partial Y_{n}(\infty)\rightarrow \partial Y_{0}(\infty)$ is a homeomorphism.
To prove the proposition, it suffices to show that $Y_{n_0}(\infty)\Subset Y_0(\infty)$ for some $n_0\geq 1$.
By contradiction, we assume, for all $n$, $\partial Y_n(\infty)\cap \partial Y_0(\infty)\neq \emptyset$. Then
the relation $Y_{n+1}(\infty)\subseteq Y_{n}(\infty)$ implies that
$$ \partial Y_{n+1}(\infty)\cap \partial Y_0(\infty)\subseteq \partial Y_n(\infty)\cap \partial Y_0(\infty).$$
Therefore
$$\bigcap \partial Y_n(\infty)\neq \emptyset \text{ and } \bigcap \partial Y_n(\infty)\subseteq \Omega_f \subseteq J(f).$$
Take a point $p\in \bigcap \partial Y_n(\infty)$, then $f^{n_1}(p)=\infty$ for some $n_1$. The map $f^{n_1}: \partial Y_{n_1}(\infty)\rightarrow \partial Y_{0}(\infty)$ is not a homeomorphism, because $f^{n_1}(\infty)=f^{n_1}(p)=\infty$.
This is a contradiction.
\end{proof}
\begin{lem}\label{lem:find annulus}
For any Julia point $z\in J(f)\setminus \Omega_f$ and any puzzle $P_k(z)$ of depth $k\geq 0$, there exists a sufficiently large integer $n_k$ such that $P_{k+n_k}(z)$ is compactly contained in $P_k(z)$.
\end{lem}
\begin{proof}
The idea is same as that of the proof of Proposition \ref{pro:infty}.
If there is some $k_0$ such that for all $l>0$,
$$\partial P_{k_0}(z)\cap \partial P_{k_0+l}(z)\neq \emptyset,$$
then the nested property, i.e., $P_{k_0+l+1}(z)\subseteq P_{k_0+l}(z)$, gives that
$$\partial P_{k_0}(z)\cap \partial P_{k_0+l+1}(z)\subseteq \partial P_{k_0}(z)\cap \partial P_{k_0+l}(z).$$
Therefore
$$\emptyset\neq \bigcap_{l\geq 1}(\partial P_{k_0}(z)\cap \partial P_{k_0+l}(z))= \bigcap_{l\geq 0}\partial P_{k_0+l}(z)\subset\Omega_f\cap J(f).$$
It follows that there exists a common boundary point $\xi$ of $P_{k_0+l}(z),l\geq 0$, such that $f^{n_0}(\xi)=\infty$. Then after the action of $f^{n_0}$ on these puzzle pieces, we see that
$$\infty\in\overline{P_{k_0-n_0+l}(f^{n_0}(z))}\subseteq {Y_{k_0-n_0+l}(\infty)}, \ \forall \ l\geq n_0.$$
%due to Lemma \ref{lem:puzzles} (5), we have that for all $l\geq 0$.
By Proposition \ref{pro:infty}, the intersection $\bigcap_{l\geq n_0}\,\overline{P_{k_0-n_0+l}(f^{n_0}(z))}$ is a singleton. Thus $f^{n_0}(z)=\infty$. This contradicts the assumption that $z\in J(f)\setminus\Omega_f$.
\end{proof}
For each point $z\in J(f)\setminus\Omega_f$, we define the {\it end} of $z$ by
$${\bf End}(z):=\bigcap_{k\geq 0}\ol{P_k(z)}.$$
By Lemma \ref {lem:find annulus}, we have ${\bf End}(z)=\bigcap_{k\geq 0} P_k(z)$. For each $z\in\Omega_f$ , we define
$${\bf End}(z):=\bigcap_{k\geq 0}\bigcup_{P\in \mathcal P_k, z\in \partial P}\overline{P}.$$
By Proposition \ref{pro:infty}, we have
${\bf End}(z)=\{z\}$ for all $z\in \Omega_f$.
We collect some facts about ends as follows:
\begin{itemize}
\item ${\bf End}(z)$ is either a singleton or a full continuum in $\widehat{\mathbb{C}}$;
\item $f({\bf End}(z))={\bf End}(f(z))$;
\item For any two distinct points $z',z\in J(f)\setminus\Omega_f$, either ${\bf End}(z')={\bf End}(z)$ or ${\bf End} (z')\cap {\bf End}(z)=\emptyset$.
\end{itemize}
\begin{proposition}\label{pro:periodic}
If $z\in J(f)\setminus \Omega_f$ is preperiodic, then ${\bf End}(z)=\{z\}$.
\end{proposition}
\begin{proof}
It suffices to consider the case: $z$ is periodic.
Suppose ${\bf End}(z)$ is not a singleton. Let $p$ be the period of $z$. Take $k_0>0$ such that $f^i(P_{k_0}(z)\setminus {\bf End}(z))$ contains no critical points for $0\leq i\leq p-1$. By Lemma \ref {lem:find annulus}, there exists $n_{k_0}$ such that $P_{k_0+n_{k_0}}(z)$ is compactly contained in $P_{k_0}(z)$. Take $n_0$ such that $n_0p\geq n_{k_0}$. Then $g=f^{n_0p}:P_{k_0+n_{k_0}}(z)\to P_{k_0}(z)$ is a polynomial-like mapping with connected filled-in Julia set $K(g)={\bf End}(z)$. This is a contradiction since $f$ is non-renormalizable.
\end{proof}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Bounded degree property}
\subsection{Distortion properties}\label{sec_predis}
This section collects some distortion properties for proper holomorphic maps.
\begin{definition}Any non-degenerated open annulus $A\,(\subseteq \mathbb{C})$ is conformally equivalent to $D(0,R)\setminus \ol{D(0,1)}$ for some $R>1$. Then its modulus is $\displaystyle \mod(A)=\frac{\log R}{2\pi}$. \end{definition}
\begin{lem}\label{1:distortionlemma}
Let $\mathbb{D}$ be the unit disk and $B:\mathbb{D}\to \mathbb{D}$ be a
holomorphic proper map of degree $\eta$ with $B(0)=0$. Then $r\le
|x|\le 4r^{\frac{1}{\eta}}$ for all $x\in
\partial U_r$, where $U_r$ is the component of $B^{-1}(D(0,r))$, $0<r<1$,
containing $0$.
\end{lem}
\begin{proof}
The inequality $r\le |x|$ follows from the Schwarz's Lemma.
Let $x_{max}\in \partial U_r$ such that $|x_{max}|=\max_{z\in
\partial U_r}\{|z|:\}$. Then $$ \frac{1}{2\pi\eta}\ln \frac{1}{r}\le \mod (\mathbb{D} \setminus \overline{U_r})\le \mu (|x_{max}|),$$
where $\mu (a)=\mod (\mathbb{D} \setminus [0,a])$, $0<a<1$, see
\cite{Ah}.
It is well known that $\mu (a)<\frac{1}{2\pi}\ln(\frac{4}{a})$, see
\cite{Ah}. We have $|x_{max}|\le 4r^{\frac{1}{\eta}}$.
\end{proof}
Let $U$ be a hyperbolic disk in $\mathbb{C}$ and $z\in U$. The shape
of $U$ about $z$ is defined by
$${\rm Shape}(U,z)=\frac{\sup_{x\in \partial U}|x-z|}{\inf_{x\in \partial U}|x-z|}
.$$
It is clear that ${\rm Shape} (U,z)=\infty$ if and only if $U$ is
unbounded, and ${\rm Shape} (U,z)=1$ if and only if $U$ is a round
disk centered at $z$. In other cases, $1< {\rm Shape}
(U,z)<\infty.$
\begin{lem}\label{2:distortionlemma}
Let $( U_i,V_i)$, $i\in \{1,2\}$, be a pair of topological disks in
$\mathbb{C}$ with ${U_i}\Subset V_i$. Let $g:V_1\to V_2$ be
a proper holomorphic map of degree $\eta$ and let $U_1$ be a
component of $g^{-1}(U_2)$. Suppose ${\mod}(V_2\setminus
\overline{U_2})\ge m>0$. Then there is a constant $C(\eta,m)>0$
such that for all $z\in U_1$,
$${\rm Shape} (U_1,z)\leq C(\eta,m){\rm Shape} (U_2,g(z)).$$
\end{lem}
\begin{proof}
We assume that ${\mod}(V_2\setminus \overline{U_2})= m$. Otherwise,
we take a hyperbolic disk $W_2$ such that $U_2\Subset W_2\Subset
V_2$ and ${\mod}(W_2\setminus \overline{U_2})= m$, then replace $V_1$ by
the component of $g^{-1}(W_2)$ containing $U_1$.
Let $\varphi_1:\mathbb{D}\to V_1$ and $\varphi_2:\mathbb{D} \to V_2$ be the
Riemann mappings with $\varphi_1(0)=z$ and $\varphi_2(0)=g(z)$. Set
$B=\varphi_2\circ g\circ(\varphi_1)^{-1}$. Then $B:\mathbb{D}\to
\mathbb{D}$ is a holomorphic proper map of degree $\eta$ with
$B(0)=0$. We have $$\mod(\mathbb{D} \setminus
\varphi_2^{-1}(U_2))={\mod}(V_2\setminus \overline{U_2})= m$$ and
$$\mod(\mathbb{D} \setminus \varphi_1^{-1}(U_1))={\mod}(V_1\setminus
\overline{U_1})\ge \frac{m}{\eta}.$$
By the classical Koebe Distortion Theorem, it suffices to prove that
$${\rm Shape} (\varphi_1^{-1}(U_1),0)\le M(\eta,m){\rm Shape} (\varphi_2^{-1}(U_2),0)$$
for some constant $M(\eta,m)>0$.
Lemma~\ref{1:distortionlemma} implies that $\sup_{x\in\partial
\varphi_1^{-1}(U_1)}|x|\le 4(\sup_{y\in\partial
\varphi_2^{-1}(U_2)}|y|)^{\frac{1}{\eta}}$ and $\inf_{x\in\partial
\varphi_1^{-1}(U_1)}|x|\ge \inf_{y\in\partial
\varphi_2^{-1}(U_2)}|y|$. Hence
$$\frac{\sup_{x\in\partial
\varphi_1^{-1}(U_1)}|x|}{\inf_{x\in\partial \varphi_1^{-1}(U_1)}|x|}
\le 4\frac{\sup_{y\in\partial
\varphi_2^{-1}(U_2)}|y|}{\inf_{y\in\partial
\varphi_2^{-1}(U_2)}|y|}\times (\sup_{y\in\partial
\varphi_2^{-1}(U_2)}|y|)^{\frac{1}{\eta}-1}.$$
On the other hand, $\mod(\mathbb{D} \setminus \varphi_2^{-1}(U_2))=m\ge
\frac{1}{2\pi} \ln \frac{1}{\sup_{y\in\partial
\varphi_2^{-1}(U_2)}|y|}$. We have
$$\frac{1}{\sup_{y\in\partial
\varphi_2^{-1}(U_2)}|y|}\le e^{2\pi m}$$ and
$${\rm Shape} (\varphi_1^{-1}(U_1),0)\le 4e^{2\pi m(1-\frac{1}{\eta})}{\rm Shape} (\varphi_2^{-1}(U_2),0).$$
The lemma is complete.
\end{proof}
\begin{lem}\label{3:distortionlemma}
Let $\mathbb{D}$ be the unit disk, $ U, V, \tilde U$ and $ \tilde V $ be
topological disks with $0 \in U \Subset V \Subset \mathbb{D}$ and $ 0
\in \tilde U \Subset\tilde V \Subset\mathbb{D}$. Let $g:(\mathbb{D}, V, U)
\to (\mathbb{D},\tilde V, \tilde U )$ be a holomorphic proper map with $ \deg(g |_{ U}) = \deg(g |_{V}) = \deg(g
|_{\mathbb{D}}) = \eta$. If $ \mod(\tilde V \setminus \tilde U) \ge m
> 0$, then there exists a constant $K(\eta,m) > 0$ such that ${\rm Shape}(V, 0) \le
K(\eta,m) {\rm Shape}(\tilde V, 0)^\frac1\eta$.
\end{lem}
\begin{proof}
Let
\begin{align*}
R=\max_{z\in\partial V}{|z|}&,\textrm{ }r=\min_{z\in \partial V}{|z|};\\
\tilde R=\max_{w\in \partial
\tilde V }{|w|}&,\textrm{}\tilde r=\min_{w\in
\partial \tilde V }{|w|}.
\end{align*}
There are points $z_{R}\in
\partial V$ and $z_{r}\in \partial
V$ such that $R=|z_{R}|$ and $r=|z_{r}|$.
The holomorphic proper map $g$ can be written as
$$g(z)=e^{i\theta}\prod_{j=1}^{\eta}\frac{z-a_{j}}{1-\overline{a}_{j}z},$$
where $\theta\in [0,2\pi)$ and $a_{j}\in
\mathbb{D},\,j=1,\cdot\cdot\cdot,\eta.$ By the first assumption, we have
$a_{j}\in U$ for all $j$.
Consider the annulus $D(0,R)\setminus
\overline{U}$, we have
$$\mathrm{mod}(D(0,R)\setminus
\overline{U})\geqslant \mathrm{mod}(V\setminus
\overline{U})\geqslant \frac{m}{\eta}.$$
By the Gr\"{o}tzsch
Theorem, there exists a constant $c_{0}=c_{0}(\frac{m}{\eta})\in (0,1)$ such
that $|a_{j}|\leq c_0R <c_0$ for all $j$.
Since $\mathrm{mod}(\mathbb{D}\setminus
\overline{U})\geqslant \mathrm{mod}(V\setminus
\overline{U})\geqslant \frac{m}{\eta}$, from the Gr$\ddot{\rm o}$tzsch Theorem and the Koebe distortion theorem for univalent maps,
there exists a constant $c=c(\frac{m}{\eta})>0$ such that $r=d(0,\partial V)\ge c\cdot \mathrm{diam}(U)\ge c|a_j|$.
We have
\begin{align*}
\tilde R&\geqslant|g(z_{R})|=\prod_{j=1}^{\eta}\frac{|z_{R}-a_{j}|}{|1-\overline{a}_{j}z_{R}|}\geqslant
\prod_{j=1}^{\eta}\frac{|z_{R}|-|a_{j}|}{1+|a_{j}z_{R}|}\\
&\geqslant\prod_{j=1}^{\eta}\frac{|z_{R}|-|a_{j}|}{2}\geqslant\prod_{j=1}^{\eta}(\frac{1-c_0}{2})R=c_{1}^{\eta}R^{\eta}
\end{align*}
with $\displaystyle c_{1}=c_{1}(m,\eta)=\frac{1-c_0}{2}$. On
the other hand,
\begin{align*}
\tilde r&\leqslant|g(z_{r})|=\prod_{j=1}^{\eta}\frac{|z_{r}-a_{j}|}{|1-\overline{a}_{j}z_{r}|}\leqslant
\prod_{j=1}^{\eta}\frac{r+|a_j|}{1-|a_j|}\leqslant
\prod_{j=1}^{\eta}\frac{r+\frac{r}{c}}{1-c_0}=c_{2}^{\eta}r^{\eta}
\end{align*}
with $\displaystyle c_{2}=c_{2}(m,\eta)=\frac{c+1}{c(1-c_{0})}$. It follows
that
$$\mathrm{Shape}(V,0)\leqslant K(\eta,m)\cdot \mathrm{Shape}(\tilde V ,0)^{\frac{1}{\eta}}$$
with $\displaystyle K(\eta,m)=\frac{c_{2}}{c_{1}}$.
The lemma is complete.
\end{proof}
\begin{lem}\label{4:distortionlemma}
Let $U\Subset V$ be a pair of bounded topological disks in
$\mathbb{C}$ with ${\mod}(V\setminus
\overline{U})\ge m>0$. Then there is a constant $K(m)>0$
such that for any two points $x,y\in U$,
$${\rm Shape} (V,y)\leq K(m){\rm Shape} (V,x).$$
\end{lem}
\begin{proof}
Let $R_y:=\max_{z\in\partial V}{|z-y|}$ (resp. $R_x:=\max_{z\in\partial V}{|z-x|}$)
and $r_y=d(y,\partial V)$ (resp. $r_x=d(x,\partial V)$). It is obvious that $R_y\leqslant 2R_x$
and $r_x\leqslant r_y+\mathrm{diam}(U)$.
By the Gr$\ddot{\rm o}$tzsch Theorem and the Koebe distortion theorem for univalent maps, there exists
$c(m)>0$ such that $r_y\geqslant c(m) \mathrm{diam}(U)$.
Hence, ${\rm Shape} (V,y)\leq K(m){\rm Shape} (V,x)$, where $K(m)=2(1+\frac{1}{c(m)})$.
\end{proof}
\subsection{Bounded degrees}
To get control on the moduli and to apply the distortion Lemmas, the maps involved are required to have bounded degrees.
The critical points in the same critical end cannot be separated by puzzle pieces of any depth. Everything goes through as if there were only one critical point in the critical end. We adopt the following.
\vskip 0.2cm
\noindent {\bf Assumptions:}
\begin{enumerate}
\item [(1)] There is only one critical point in each critical end;
\item [(2)] Each puzzle piece of depth $0$ contains at most one critical end. Otherwise, we replace puzzle pieces of depth $0$ by depth $N$ for a large enough $N$.
\end{enumerate}
\begin{notation}
Let $b$ denote the number of distinct critical ends and let $\delta$ be the maximum of the degrees of $f$ over all critical ends.
\end{notation}
\begin{definition}The {\it first entrance time} (resp. {\it first return time}) of a point $z$ in a puzzle piece $P$ is the minimal $r\ge 0$ (resp. $r\ge 1$ if $z\in P$) such that
$f^r(z)\in P$.
\end{definition}
\begin{lem}\label{l:firstentrance}Let $r\ge 0$ be the first entrance time (resp. the first return time) in some puzzle piece $P_n$ (of depth $n$) of a point $z$, then the degree of $f^r:P_{n+r}(z)\to P_n$ is bounded by $\delta^b$.
\end{lem}
%
\begin{proof} The Lemma follows from the fact that the sequence of puzzle pieces
$\{f^i(P_{n+r}(z)) \mid 0\le i< r\}$
meets each of the $b$
critical ends at most once. Indeed, assume, in order to get a
contradiction, that a critical point $c$ belongs to
$f^i(P_{n+r}(z))=P_{n+r-i}(f^i(z))$ and to
$f^j(P_{n+r}(z))=P_{n+r-j}(f^j(z))$ for $0\le i<j< r$. Then the
point $f^i(z)$ which is in $P_{n+r-i}(c)\subseteq P_{n+r-j}(c)$ is
mapped by $f^{r-j}$ in the piece $P_n=f^{r-j}(P_{n+r-j}(c))$. This
contradicts the fact that $r$ is the first entrance (resp. return) time of $z$ in
$P_n$ since $0\le r-j+i<r$.
\end{proof}
\subsubsection{The case: $\infty\in\omega(z)$.}
\begin{lem}[(Find non-degenerated annulus I)]\label{lem:near_infty}
Fix an integer $N\geq0$, there is an integer $N_0>N$ with the following property: for any wandering Julia point $z$
with $\infty\in \omega (z)$, there is an integer $k=k(z)\geq 0$, so that $P_{N_0}(f^k(z))$ is compactly contained in a puzzle piece in $\mathcal{P}_N(\infty)=\left\{P_{N,1}(\infty),\cdots,P_{N,d_0}(\infty)\right\}$.
\end{lem}
Here, it is essential and important to require that $N_0$ is independent of the point $z$ (see the proof of Proposition \ref{pro:near_infty}).
\begin{proof}
Recall that $Y_n(\infty)=\bigcup_{k}\,\overline{P_{n,k}(\infty)}$. By Proposition \ref{pro:infty},
There is an $n_0~(\geq 1)$ so that $f^{n_0}: Y_{N+n_0}(\infty)\rightarrow Y_{N}(\infty)$ is one-to-one and $Y_{N+n_0}(\infty)$
is contained in the interior of $Y_{N}(\infty)$.
The assumption $\infty\in \wc (z)$ implies that there exist
$l\geq 0$ and $j$ such that $f^l(z)\in P_{N+n_0, j}(\infty)$.
So there is $s\geq0$ such that $f^l(z)\in P_{N+n_0+s, j}(\infty)\setminus P_{N+n_0+s+1, j}(\infty)$. Since for any $k\geq0$,
the map
$$f: P_{k+1, j}(\infty)\setminus P_{k, j}(\infty)\rightarrow P_{k, j}(\infty)\setminus P_{k-1, j}(\infty)$$ is a homeomorphism,
we have that $f^{l+s}(z)\in P_{N+n_0, j}(\infty)\setminus P_{N+n_0+1, j}(\infty)$.
By the structure of unbounded puzzle pieces, we see that $\overline{P_{N+n_0+1}(f^{l+s}(z))}$ is disjoint from
$\Delta_0\cup \partial Y_{N}(\infty)$.
This implies that $P_{N+n_0+1}(f^{l+s}(z))$ is compactly contained in $P_{N}(f^{l+s}(z))=P_{N, j}(\infty)$.
The proof is complete if we take $N_0=N+n_0+1$, which is independent of $z$.
\end{proof}
\begin{proposition}\label{pro:near_infty}
Let $z\in J(f)$ be a wandering point. If $\infty\in \omega(z)$, then there exist a pair of compactly nested puzzle pieces $Q_0\Subset P_0\in\mathcal{P}_0(\infty)$, so that $Q_0$ contains infinitely many such points $f^{k_n}(z)$, and that the degrees of proper mappings $f^{k_n}:P_{k_n}(z)\to P_0$, are uniformly bounded by a constant $D$.
\end{proposition}
\begin{proof}
Let $A$ be the collection of critical points $c$ such that
$$\infty\in \omega(c) \textup{\emph{ and }}P_n(c)\textup{\emph{ intersects the orbit of $z$ for all $n$}}.$$
First, we deal with the case $A=\emptyset$. This implies that, for a sufficiently large $N$, if a puzzle piece $P$ containing $z$ is iterated into puzzle pieces in $\mathcal{P}_{N}(\infty)$ by some $f^{k}$, then $f^i(P)$ contains no critical points for $1\leq i\leq k$.
For such $N$, let $N_0$ be the integer given by Lemma \ref{lem:near_infty}.
By the assumption $\infty\in \wc(z)$ and Lemma \ref{lem:near_infty}, there is a puzzle piece $Q_{N_0}$ of depth $N_0$ such that
\begin{itemize}
\item $Q_{N_0}$ is compactly contained in some piece $P\in\mathcal{P}_N(\infty)$;
\item $Q_{N_0}$ contains $f^{k}(z)$ for infinitely many $k$'s.
\end{itemize}
Write all these $k$'s by $\{s_1,s_2,\cdots\}$. For each $n\geq 1$, we pull back the two nested puzzle pieces $(Q_{N_0},P)$ along the orbit
$z\to f(z)\mapsto\cdots \mapsto f^{s_n}(z)$, and get a pair of puzzle pieces $(P_{N_0+s_n}(z), P_{N+s_n}(z))$. By the choice of $N$, the puzzle pieces $f^i(P_{N+s_n}(z))$ contains no critical points for $1\leq i\leq s_n$ . So the degree ${\rm deg}(f^{s_n}|_{P_{N+s_n}(z)})\leq d$.
Let $P_0=f^N(P),\,Q_0=f^N(Q_{N_0})$ and $k_n=N+s_n$. Then
$$\qquad{\rm deg}\,\left(f^{k_n}:P_{k_n}(z)\to P_0\,\right)\leq d^{N+1}, \ \forall n\geq1,$$
and $f^{k_n}(z)\in Q_0$.
In the following, we consider the case $A\neq \emptyset$. Write $A=\{c_1,\cdots, c_u\}$.
Choose a large integer $N$, such that for any puzzle piece $P$ containing $z$, which is iterated into the piece in $\mathcal{P}_N(\infty)$ by some $f^k$, then $f^i(P)$ contains no critical points except the ones in $A$ for $1\leq i\leq k$.
As before, let $N_0 (>N)$ be the integer described in Lemma \ref{lem:near_infty}. Then for each $c_k$, by Lemma \ref{lem:near_infty}, one can find an $N_0$-puzzle $Q_{c_k}$, an $N$-puzzle $P_{N,l_k}(\infty)\in \mathcal{P}_N(\infty)$ and an minimal integer $t_k$ such that $f^{t_k}(c_k)\in Q_{c_k}\Subset P_{N,l_k}(\infty).$
We set $t_{{\rm max}}:=\rm{ max }_{1\leq k\leq u}\{t_k\}$ and $\mathcal{P}:=\{P_{c_k}\}_{1\leq k\leq u}$ with $P_{c_k}:=P_{t_k+N_0}(c_k)$. Clearly it follows that $f^{t_k}(P_{c_k})=Q_{c_k}$.
For any $n> N_0$, let $r_n$ be the first entrance time of $z$ into $Y_n(\infty)$. Suppose $f^{r_n}(z)\in P_{n,q_n}(\infty)\in \mathcal{P}_{n}(\infty)$, $1\leq q_n\leq d_0$. Let $s_n ( \geq n)$ be the minimal integer such that $f^{r_n}(z)\in P_{s_n,q_n}(\infty)\setminus P_{s_n+1,q_n}(\infty)$. Clearly both $r_n,s_n$ will tend to $\infty$ as $n\to \infty$.
The point $z':=f^{r_n+s_n}(z)$ will eventually enter into elements in $\mathcal{P}$. Thus we can let $v_n$ be the first entry of $z'$ into a puzzle within $\mathcal{P}$, say $P_{c_{k(n)}}$.
Now we focus on the four coverings $$g_1:=f^{r_n}:P_{n+r_n}(z)\to P_{n,q_n}(\infty),\ \ \ \ g_2:=f^{s_n}:P_{s_n,q_n}(\infty)\to P_{0,q_n}(\infty),$$ and $$g_3:=f^{v_n}:P_{v_n+t_{k(n)}+N_0}(z')\to P_{c_{k(n)}}=P_{t_{k(n)}+N_0}(c_{k(n)}),\ \ \ \ g_4:=f^{t_{k(n)}}:P_{c_{k(n)}}\to Q_{c_{k(n)}}.$$
Let $g:=g_4\circ g_3\circ g_2\circ g_1$ be their composition. Let $(I_n,I_n')$ be the nested puzzles after pulling back $(Q_{c_{k(n)}},P_{N,l_{k(n)}}(\infty))$ along $z\mapsto f(z)\mapsto\cdots\mapsto g(z)$. Then $I_n=P_{r_n+s_n+v_n+t_{k(n)}+N_0}(z)$, $I_n'=P_{r_n+s_n+v_n+t_{k(n)}+N}(z)$.
We claim that the degree of branched covering $g:(I_n,I_n')\to (Q_{c_{k(n)}},P_{N,l_{k(n)}}(\infty))$ is upper bounded by the constant $\delta^{b+t_{\rm{max}}+N}$ independent on $n$. Note that $\rm{deg }(g_1)\leq \delta^b$ and $g_2$ is conformal on $P_{s_n,q_n}(\infty)$, which contains $g_1(I_n')$. It suffices to prove that the degree of $g_4\circ g_3$ on $I_n'':={g_2\circ g_1(I_n')}$ is less than $\delta^{t_{\rm{max}}+N}$. If $v_n+t_{k(n)}\leq t_{\rm{max}}+N$, it follows obviously. If $v_n+t_{k(n)}>t_{\rm{max}}+N$. One can write $g_4\circ g_3(I_n'')=f^{t_{\rm{max}}+N}\circ f^{w_n}(I_n'')$ with $w_n:=v_n+t_{k(n)}-(t_{\rm{max}}+N)$. Thus we only need to prove that the puzzle pieces $$I_n'',f(I_n''),\cdots, f^{w_n-1}(I_n'')$$
are disjoint from critical ends. Indeed, the choice of $N$ rule out the appearance of critical ends outside of $A$. Furthermore, they are disjoint from critical ends in $A$. This is because, on one hand, $w_n$ is less than $v_n$, which is the first time of $z'\in I_n''$ meeting a critical end in $A$; on the other hand, the depths of these $w_n$ puzzles are greater than that of $P_{c_{k(n)}}$ from the choice of $t_{\rm{max}}$. Thus we have proved the claim.
Let $k_n:=r_n+s_n+v_n+t_{k(n)}+N$. Then the degree of $f^{k_n}:P_{k_n}(z)\to P_{0,l_{k(n)}}(\infty)$ is upper bounded by an integer $D=\delta^{b+t_{\rm{max}}+2N}$ independent on $n$. Since $f^{k_n}(I_n)$ is a puzzle piece of depth $N-N_0$ compactly contained in $f^{k_n}(I_n')=P_{0,l_{k(n)}}(\infty)$, by taking a subsequence if it is necessary, we assume $f^{k_n}(I_n')=P_0$ and $f^{k_n}(I_n)=Q_0$ independent on $n$. Then $Q_0\Subset P_0$ and $f^{k_n}(z)\in Q_0$.
The proof is complete.
\end{proof}
\subsubsection{The case: $\infty\notin \omega(z)$.}
\begin{lem}[(Find non-degenerated annulus II)]\label{l:find annulus}
Let $z\in J(f)$ be a wandering Julia point with $\infty\notin \omega(z)$. Let $P$ be a puzzle piece such that it contains infinitely many point in the orbit of $z$, say $\{f^{k_n}(z)\}$, then there exists a puzzle piece $Q$, compactly contained in $P$, such that it contains infinitely many points in $\{f^{k_n}(z)\}$.
\end{lem}
\begin{proof}
Let $r_0$ be the depth of $P$. We assume, in order to get a contradiction, that the boundary of any sub-piece $P_r$ of depth $r~(>r_0)$ in $P$, with $\# (\{f^{k_n}(z)\}\cap P)=\infty$, must intersect $\partial P$. Then by induction one can get a sequence of nested puzzles $\{P_r\}_{r\geq r_0}$, such that $\{f^{k_n}(z)\}\cap P_r\neq \emptyset$ and that these puzzles share a common boundary point $v\in \partial P\cap \Omega_f$. By Proposition~\ref{pro:infty}, these $\overline{P_r}$ shrink to the point $v$. It concludes that $v\in \omega(z)$, which contradicts the fact $\infty\notin \omega(z)$.
\end{proof}
\begin{definition}\label{d:accumulation} Let $z$ be a wandering Julia point with $\infty\notin\omega(z)$ (Thus $\omega(z)\cap\Omega_f=\emptyset$). A Julia point $z'\notin \Omega_f$ is said to lie in the {\it combinatorial accumulation} of $z$, written $z'\in \wc(z)$, provided that, for any $n\geq 0$,
$$\textup{\em the puzzle }P_n(z')\textup{\em contains infinitely many points in the orbit of }z.$$
\end{definition}
\begin{remark}\label{rmk:comb}
\begin{itemize}
\item[(1)] $\omega_{comb}(z)=\omega_{comb}(f^n(z))$ for all $n\geq 1$;
\item[(2)] $\omega(z)\subseteq \omega_{comb}(z)$;
\item[(3)] $\omega_{comb}(z)$ contains infinitely many points, since $\#\omega(z)=\infty$.
\item[(4)] the orbit of any point $z'\in \omega_{comb}(z)$ is contained in $\omega_{comb}(z)$. Moreover, when such $z'$ is wandering, we have $\omega_{comb}(z')\subseteq \omega_{comb}(z)$.
\end{itemize}
\end{remark}
\begin{definition}\label{def:star_property}
A wandering Julia point $z$ with $\infty\notin \omega(z)$ is said to have property $(\star)$, if there exist puzzle pieces $P_0,\,\{P_{k_n}(z)\}$, with $k_n\to\infty$ as $n\to\infty$, and an integer $D$ such that
$$(\star)\qquad{\rm deg}\,\left(f^{k_n}:P_{k_n}(z)\to P_0\,\right)\leq D, \ \forall n\geq1.$$
\end{definition}
To find the property $(\star)$ of a point $z$, we need to consider the critical points which appear in the orbit of $P_n(z)$. More generally, we will have to consider how critical points accumulate themselves.
\begin{lem}\label{l:star}
If $y$ has property $(\star)$ and $ y\in \wc(z)$, then $z$ also has property $(\star)$.
\end{lem}
\begin{proof} Since $y$ has property $(\star)$, there exist $P_0$ and $\{k_n\}$ such that the degrees of the maps $f^{k_n}: P_{k_n}(y)\to P_0$ are uniform bounded.
For $n> 0$, let $r_n$ be the first entrance time of $z$ in $ P_{k_n}(y)$. Then degrees of $f^{r_n}: P_{r_n+k_n}(z)\to P_{k_n}(y)$ are bounded by $\delta^b$. Therefore, the degree of the maps $f^{r_n+k_n}: P_{r_n+k_n}(z)\to P_{0}$ is bounded. It follows that $z$ has property $(\star)$.
\end{proof}
\begin{notation}
Let $\omega Crit(z)$ be the collection of critical points in $\wc(z)$.
\end{notation}
\begin{lem}\label{l:cassimples}
Let $z$ be a wandering Julia point with $\infty\notin \omega(z)$. If $z$ has either one of the following properties\,:
\begin{enumerate}
\item [(1)] $\omega Crit(z)=\emptyset$\,;
\item [(2)] there exists a wandering point $x\in\omega_{comb}(z)$ such that $\omega_{comb}(x)\neq \omega_{comb}(z)$;
\item[(3)] there exists a non-wandering point $x\in\omega_{comb}(z)$.
\end{enumerate}
Then $z$ has property $(\star)$.
\end{lem}
\begin{proof} (1) If $\omega Crit(z)=\emptyset$, there exists $N$ such that $f^k(z)\not\in P_N(c)$ for any critical point $c$ and any $k\geq 1$. This means that puzzles $P_N(f^k(z)),k\geq 1,$ are disjoint from critical points. It follows that the maps $$ f^{k-1-N}: P_{k-1}(f(z))\to P_N(f^{k-N}(z)),k\geq N+2$$
are homeomorphisms. Therefore the degree of $f^k: P_k(z)\to P_0(f^k(z))$ is bounded by $\delta^{N+1}$ (${\bf End} (z)$ can possess critical point). Since the number of puzzle pieces of level~$0$ is finite, the property $(\star)$ holds.
(2) First observe that $\omega_{comb}(x)\subseteq \omega_{comb}(z)$ according to Remark \ref{rmk:comb} (4). Then we can choose a point $y$ such that
$$y\in\omega_{comb}(z)\textup{ but }y\notin \omega_{comb}(x).$$
Note that $x$ and $y$ can be the same. One can also assume that $y$ does not lie in the orbit of $x$ by Remark \ref{rmk:comb} (1). The relation $y\notin\omega_{comb}(x)$ implies that there exist $N$ such that $P_N(y)$ is disjoint from $f^k(x),k\geq 1$, or equivalently, the iterated preimages $f^{-k}(P_N(y))$ have no intersection with the point $x$.
For $n\geq N$, let $r_n$ be the first entrance time of $z$ in $P_n(x)$. Let $s_n$ be the first entrance time of $f^{r_n}(z)$ in the fixed puzzle $P_N(y)$. Then the degrees of maps
$$g_n:=f^{r_n}:P_{n+r_n}(z)\to P_n(x)~\textup{ and }~
h_n:=f^{s_n}:P_{N+s_n}(f^{r_n}(z))\to P_N(y)$$
are bounded by $\delta^b$. Since $P_{N+s_n}(f^{r_n}(z))$ avoids the point $x$, it is thus contained in $P_n(x)$. Then we pull back $P_{N+s_n}(f^{r_n}(z))$ by $g_n$ and consider the composition
$$h_n\circ g_n=f^{r_n+s_n}:P_{r_n+s_n+N}(z)\to P_N(y).$$
Its degree is bounded by $\delta^{2b}$ and $r_n\to\infty$ as $n\to\infty$. This concludes that $z$ has property $(\star)$.
(3) According to Remark \ref{rmk:comb} (3). One can choose a point $y\in \omega_{comb}(z)$ such that $y$ dose not lie in the orbit of $x$. Then by exact the same argument as above on $x,y,z$, the conclusion holds.
\end{proof}
%
If $z$ satisfies neither (1), (2) nor (3), then $\omega Crit(z)$ is non-empty and any critical point $c\in\omega Crit(z)$ must have $\omega Crit(c)=\omega Crit(z)$.
\begin{definition}\label{d:successor}Let $c$ be a critical point. The piece $P_{n+k}(c)$ is said to be a {\it successor} of $P_n(c)$ if $f^k(P_{n+k}(c))=P_{n}(c)$ and each critical point meets at most twice the set of pieces $\{f^i(P_{n+k}(c)),\ 0\le i \le k\}$.
\end{definition}
\begin{remark}\label{r:successor}If $P_{n+k}(c)$ is a successor of $P_n(c)$, then the map $f^k:P_{n+k}(c) \to P_{n}(c)$ has a degree less than $\delta^{2b-1}$.
\end{remark}
\begin{lem}\label{l:reluctant} If there exist $c\in \omega Crit(z)$ and $n_0$ such that $P_{n_0}(c)$ has infinitely many successors, then $z$ has property $(\star)$.
\end{lem}
\begin{proof}
If $P_{n_0}(c)$ has infinitely many successors $\{P_{n_0+k_n}(c)\}$, then
$${\rm deg}\,\left(f^{n_0+k_n}:P_{n_0+k_n}(c)\to P_0(f^{n_0+k_n}(c))\,\right)\leq \delta^{2b+n_0}, \ \forall n\geq 1,$$
and $c$ has property $(\star)$.
The result follows from Lemma~\ref{l:star} immediately.
\end{proof}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Enhanced nest of persistently critical points}
After the work done in previous sections, we can restrict ourself on the set $\Omega$, which consists of points $z\in J(f)$ satisfying:
\begin{enumerate}
\item [(1)] $z$ is wandering with $\infty\notin \omega(z)$\,;
\item [(2)] $\omega Crit(z)\neq\emptyset$ and $\omega_{comb}(c)=\omega_{comb}(z)$ for any $c\in \omega Crit(z)$;
\item [(3)] For any critical point $c\in \omega Crit(z)$ and any integer $n$, $P_n(c)$ has only finitely many successors.
\end{enumerate}
\begin{remark}
The critical points in the above set $\omega Crit(z)$ are called {\it persistently recurrent}.
\end{remark}
A tool particularly well adapted for studying the persistently
recurrent critical points is {\it the enhanced nest}. It is constructed by Kahn-Lyubich (see~\cite{KL2}) in the unicritical case and by
Kozlovski-Shen-vanStrien (see~\cite{KSS}) in the multi-critical case. In our situation
we will use a slightly simplified version of the enhanced nest
(see~\cite{TLP}).
%If the critical point $c$ is persistently
%recurrent, the enhanced nest consists in two sub-nests
%$\{K_n\},\{K'_n\}$ of the critical nest $\{P_j(c)\}$.
Let $z\in \Omega$ and $c\in \omega Crit(z)$. For any puzzle piece $I$ containing $c$, $I$ has at least two successors and has only finitely many successors(see~ \cite{TLP}). Denote $\mathcal{D}(I)$ the last successor of $I$.
These sub-nests are constructed using three operators called $\AA$, $\BB$ and $\DD$ defined in \cite{KSS}. As it is for $\DD$, $\AA$ and $\BB$ are some pull-back by a conveniently chosen iterate of $f$. The operators act on the set of all critical puzzle pieces and
"have bounded degree". The operators $\AA$ and $\BB$ are closely related and used for producing an annulus that avoids the closure of the orbit of the critical points in $\omega Crit(z)$. On the other hand, $\DD$ which is just the last successor map is used for giving long iterates of bounded degree.
\begin{definition}Denote by $\mathcal{PC}(z)=\ol{\Cup_{c\in \omega Crit(z)}\Cup_{n\in \N}f^n(c)}$.
%Note that this set does not depend on the choice of the critical point in $\omega Crit(z)$.
\end{definition}
Recall that $b$ is the number of critical ends and $\delta$ is the maximal degree of $f$ over these critical ends.
\vskip 0.5em
We give here some properties of $\mathcal{A}$ and $\mathcal{B}$
which are proved in~\cite{KSS} (see also \cite{QY}
or~\cite{TLP}).
\begin{proposition}\label{p:pteAB} Let $I$ be a puzzle piece containing a critical point~$c\in \omega Crit(z)$. Then $\mathcal{A}(I)$ and $\mathcal{B}(I)$ are puzzle pieces with the following properties\,:
\begin{enumerate}
\item [(1)] $c\in\AA(I)\subseteq \BB(I)\subseteq I$ and $\BB(I)\setminus \AA(I)$ is disjoint from the set $\mathcal{PC}(z)$\,;
\item [(2)] there exist integers $b(I),\ a(I)$ such that $f^{b(I)}(\BB(I))=I$ and $f^{a(I)}(\AA(I))=I$\,;
\item [(3)] the degree of $ f^{b(I)}:\BB(I)\to I $ is less than $\delta^{b^2}$\,;
\item [(4)] the degree of $ f^{a(I)}:\AA(I)\to I $ is less than $ \delta^{b^2+b}$.
\end{enumerate}
\end{proposition}
\vskip 0.5em
By Lemma~\ref{lem:find annulus}, there exists a puzzle piece $Q$ containing $c$ such that $Q\Subset P_0(c)$.
The subnests $K_n^-$ and $K_n$ are defined inductively by $K_n^-:=\mathcal{A}\mathcal{A}\mathcal{D}^{b+1}(K_{n-1})$ and $K_n:=\mathcal{B}\mathcal{A}\mathcal{D}^{b+1}(K_{n-1})$, starting from $K_0:=Q$. Let $f^{q_n}:K_n\to \mathcal{A}\mathcal{D}^{b+1}K_{n-1}$ and $K_n'$ be the connected component of $f^{-q_n}(\mathcal{B}\mathcal{D}^{b+1}(K_{n-1}))$ containing $c$.
The Proposition~\ref{p:pteAB} has several consequences on the these
sequences $\{(K_n^-,K_n,K'_n)\}_n$.
\begin{proposition}\label{pro:nest}
The nests $\{(K_n^-,K_n,K'_n)\}_n$ have the following properties\,:
\begin{enumerate}\item [(1)] $K_n^-\subseteq K_n\subseteq K'_n\subseteq K_{n-1}^-$\,;
\item[(2)] $K_n^-, K_n, K'_n$ are mapped onto $K_{n-1}$ by some iterate of $f$\,: there exist integers $p_n^-,p_n,p'_n$ such that\,: $f^{p_n^-}(K_n^-)=K_{n-1}$, $f^{p_n}(K_n)=K_{n-1}$, $f^{p'_n}(K'_n)=K_{n-1}$\,;
\item[(3)] $deg (f^{p_n^-}\from K_n^-\to K_{n-1})\le D$, $deg (f^{p_n}\from K_n\to K_{n-1})\le D$ and $deg (f^{p'_n}\from K'_n\to K_{n-1})\le D$, where $D$ depends only on $b$ and $\delta$\,;
\item[(4)] $K_n'\setminus\ol{K_n}$ and $K_n\setminus\ol{K_n^-}$ are annuli (possibly degenerated) that are disjoint from the set $\mathcal{PC}(z)$\,;
\item[(5)] $\rm {depth}(K'_n)-\rm {depth}(K_n)$ and $\rm {depth}(K_n)-\rm {depth}(K_n^-)$ tend to infinity as $n\to \infty$.
\end{enumerate}
\end{proposition}
The proof can be found in \cite{KSS}(see also \cite{YZ} and \cite{QY}).
\begin{lem}\label{l:Knondeg} The annulus $K'_n\setminus\ol{K_n}$ and $K_n\setminus\ol{K_n^-}$ are non-degenerated for all large enough $n$.
\end{lem}
\begin{proof}
%
Since $f^{t_n}(K_n)=K_0$, pulling back $P_0(c)$ by the good inverse branch of
$f^{t_n}$, we get a non-degenerated annulus between a puzzle piece
containing $c$ called $R_n$ and $K_n$. The difference of depth is
constant\,: $\rm {depth}(K_n)-\rm{depth}(R_n)=\rm{depth}(Q)-\rm{depth}(P_0(c))=\rm{depth}(Q)$. Thus, since
$\rm{depth}(K_n)-\rm{depth}(K'_n)$ tends to infinite, $\rm{depth}(K'_n)<\rm{depth}(R_n)$ for large $n$
so that $K'_n\supset R_n$. It follows that $K'_n\setminus \ol{K_n}\supseteq
R_n\setminus \ol{K_n}$, so that it is non-degenerated. The proof goes similarly for $K_n\setminus\ol{K_n^-}$.
\end{proof}
%Our next goal is to control the modulus $\mu_n$ of the annulus $K'_n\setminus K_n$.
The Covering Lemma, due to Kahn and Lyubich (see~\cite{KL1}), is a very powerful tool\,:
it gives an ``estimate'' of the modulus of the pre-image of an annulus under a ramified covering $g$ when one has some control on the degree over some sub-annulus.
We state the Theorem now and refer the reader to~\cite{KL1} for the proof.
\begin{theorem}[( The Kahn-Lyubich Covering Lemma)]
Let $g:U\to V$ be a degree $D$ holomorphic ramified covering. For any $\eta>0$ and $A,A',B,B'$ satisfying :
\begin{itemize}
\item[(1)]
$A\Subset A'\Subset U$ and $B\Subset B'\Subset V$
are all disks\,;
\item[(2)] $g$ is a proper map from
$A$ onto $B$, and from $A'$ onto $B'$ with degree $d$\,;
\item[(3)] $\textup{mod}(B'\setminus \ol{B})\ge \eta \ \textup{mod}(U\setminus \ol{A})$.
\end{itemize}
There exists
$\epsilon=\epsilon(\eta,D)>0$ such that $$\textup{mod}(U\setminus \ol{A})>\epsilon\
\hbox{ or }\ \textup{mod}(U\setminus\ol{A})>\frac \eta{2d^2}\ \textup{mod}(V\setminus\ol{B}).$$
\end{theorem}
Using the Kahn-Lyubich Covering Lemma, the following result is proved in \cite{QY}(see also \cite{KS} and \cite{YZ}):
\begin{proposition}\label{pro:modulus}
The modulus of $K'_n\setminus \overline{K_n}$ and $K_n\setminus \overline{K_n^-}$ have positive lower bounds.
\end{proposition}
\begin{corollary}\label{c:diam} The diameter of $K_n$ tends to $0$.
\end{corollary}
\begin{proof} The annuli $A_n=K'_n\setminus \ol{K_n}$ are disjoint and essential in the annulus $A:=K_0\setminus (\cap K_n)$. By Proposition~\ref{pro:modulus} there exists some $\epsilon>0$ such that for large $N$, every $\mu_{n}\ge \epsilon$ for $n\ge N$. Therefore by Gr\"otzsch inequality (see~\cite{Ah}), $\sum \mod(A_i)\le \mod(A)$ and in particular $\mu(A)=\infty$. It concludes that $\cap K_n=\{c\}$ and the diameter of $K_n$ tends to $0$.
\end{proof}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Proofs of Theorem~\ref{th:NILF} and Theorem~\ref{th:conjugate}}
To prove Theorem~~\ref{th:NILF} , we will use that for almost all $z\in \Omega$, any invariant line field $\mu$ satisfies that either $\mu(z)=0$ or that $\mu$ is not
almost continuous at $z$. This is stated in Lemma~\ref{l:nilf} and essentially comes from \cite{Shen}.
\noindent The proof of Theorem~\ref{th:NILF} follows from this Lemma~\ref{l:nilf}, Corollary~\ref{c:mes} and Lemma~\ref{l:almostcontinuous}.
\vskip 1em Recall that the set $\Omega$ consists of points $z\in J(f)$ which satisfies:
\begin{enumerate}
\item [(1)] $z$ is wandering with $\infty\notin \omega(z)$\,;
\item [(2)] $\omega Crit(z)\neq\emptyset$ and $\omega_{comb}(c)=\omega_{comb}(z)$ for any $c\in \omega Crit(z)$;
\item [(3)] For any critical point $c\in \omega Crit(z)$ and any integer $n$, $P_n(c)$ has only finitely many successors.
\end{enumerate}
Let
\begin{eqnarray*}
&&\Omega_0=\{z\in J(f): \,\, z \textrm { is preperiodic.}\},\\
&&\Omega_1=\{z\in J(f)\setminus \Omega_0: \,\,\infty\in \omega( z).\},\\
&&\Omega_2=\{z\in J(f)\setminus (\Omega_0\cup \Omega_1): \,\, z \textrm { has property} (\star).\}.
\end{eqnarray*}
It follows from Proposition~\ref{pro:near_infty}, Lemma~\ref{l:cassimples} and Lemma~\ref{l:reluctant} that
$$J(f)\setminus (\Omega_0\cup \Omega_1\cup \Omega_2)\subseteq \Omega.$$
\begin{lem}\label{l:compact}
Let $z\in \Omega_0\cup\Omega _1\cup \Omega_2$. Then there exist Jordan disks (not necessary puzzle pieces) $U^-\Subset U'$, $\{U_n'(z)\}$, and $\{k_n\}$ such that
$f^{k_n}:U_n'(z)\to U'$ is a proper mapping with degree upper bounded by a constant independent on $n$ and $f^{k_n}(z)\in U^-$.
\end{lem}
\begin{proof}
(1) In the case of $z\in \Omega_f$, by Proposition \ref{pro:infty}, there exists $k_1$ such that $ Y_{k_1}(\infty)\Subset Y_0(\infty)$. If $z=\infty$, take $U'=Y_0(\infty),\,U^-=Y_{k_1}(\infty),\,U_k'(z)=Y_{k}(\infty)$, then $f^k:U_k'(z)\to U'$ is conformal and $f^k(\infty)=\infty\in U^-$.
If $z\in \Omega_f\setminus \{\infty\}$, let $n_0$ be the smallest integer such that $f^{n_0}(z)=\infty$. Take $U'=Y_0(\infty),\,U^-=Y_{k_1}(\infty)$. For any $k\geq n_0$, let $U_k'(z)$ be the component of $f^{-n_0}(Y_{k_1+(k-n_0)}(\infty))$ containing $z$. Then it holds that
$$\textup{deg}(f^k|_{U_k'(z)})=\textup{deg}(f^{n_0}|_{U_k'(z)})\leq \delta^{n_0}\textup{ and }f^k(z)=\infty\in U^-.$$
Let $z\,(\neq \infty)\in \Omega_0$ be a periodic point with period $p$. By Proposition \ref{pro:periodic}, ${\bf End}(z)=\{z\}$ since $f$ is non-renormalizable. Thus one can take $n_1$ such that $P_{n_1p}(z)\Subset P_0(z)$ and that puzzles
$f^i(P_{n_1p}(z)), 0\leq i\leq p-1,$ are disjoint from critical points.
Let $U'=P_0(z)$ and $U^-=P_{n_1p}(z)$. Then, for all $n\geq n_1$, we have
$$\textup{deg}(f^{np}|_{P_{np}(z)})=\textup{deg}(f^{n_1p}|_{P_{n_1p}(z)})\leq \delta^{n_1p}\textup{ and }f^{np}(z)=z\in U^-.$$
For any preperiodic points in $\Omega_0\setminus\Omega_f$, the construction is similar as above.
(2) For $z\in \Omega_1$, the result follows from Proposition~\ref{pro:near_infty}.
(3) For $z\in \Omega_2$, the result follows from Lemma~\ref{l:find annulus}.
\end{proof}
For $z\in \Omega_0\cup \Omega_1\cup \Omega_2$, let $U^-\Subset U'$ be Jordan disks in Lemma~\ref{l:compact}. Take a Jordan disk $U$ such that
$U^-\Subset U \Subset U'$ and let $U_n(z)$ be the connected component of $f^{-k_n}(U)$ containing $z$. The following Lemma immediately follows from Lemmas~\ref{l:compact}, \ref{2:distortionlemma} and \ref{4:distortionlemma}.
\begin{lem}\label{l:shape}
There exists $M(z)>0$ such that ${\rm Shape} (U_n(z),z)\leq M(z)$ for all $n$.
\end{lem}
\begin{corollary}\label{c:mes}
$\rm {mes}(\Omega_0\cup \Omega_1\cup \Omega_2)=0$, where $\rm {mes}$ denotes the Lebesgue measure.
\end{corollary}
\begin{proof}
From Lemma~\ref{l:shape}, ${\rm diam} (U_n(z))$ tends to zero. Otherwise, there is a subsequence of $\{U_n(z)\}$, say itself, with diameter
$> \varepsilon_0$. Then there exists a disk $D(z,r_0)$ for some $r_0>0$ such that $D(z,r_0)\subseteq U_n(z)$ for all $n$. It follows that $f^{k_n}(D(z,r_0))\subseteq U$. This is impossible. By distortion arguments, $z$ can not be a density of the Julia set $J(f)$ since $J(f)$ has no interior.
\end{proof}
Let $z\in \Omega$ (if any) and $c\in \omega Crit(z)$. In the previous section, the critical puzzle pieces $\{(K_n^-, K_n,K_n')\}_n$ are constructed with the following properties:
\begin{enumerate}
\item[(1)] $deg (f^{p_n}\from K_n\to K_{n-1})\le D$, where $D$ depends only on $b$ and $\delta$\,;
\item[(2)] $K_n'\setminus\ol{K_n}$ and $K_n\setminus \ol{K_n^-}$ are disjoint from the set $\mathcal{PC}(z)$ \,;
\item[(3)] The modulus of $K'_n\setminus \overline{K_n}$ and $K_n\setminus \overline{K_n^-}$ have positive lower bounds, say $m$.
\end{enumerate}
\begin{lem}\label{l:Kshape} There exists a constant $M>0$ such that, for all $n$,
$$\mathrm{Shape}(K_n,c)\leq M.$$
\end{lem}
\begin{proof}
Since $K'_{n-1}\setminus\ol{K_{n-1}}$ and $K_{n-1}\setminus\ol{ K_{n-1}^{-}}$
are disjoint from the set $\mathcal{PC}(z)$ , we have $f^{p_n}(c)\in
K_{n-1}^{-}$. Let $V_n$ resp. $U_n$ be the connected components
of $f^{-p_{n}}(K'_{n-1})$ resp. $f^{-p_{n}}(K_{n-1}^{-})$ containing
$c$. Then we have
$$
2\leq\deg(f^{p_{n}} |_{ V_{n}}) = \deg(f^{p_{n}} |_{
K_{n}}) = \deg(f^{p_{n}} |_{ U_{n}})\leq D.$$
By the Koebe Distortion Theorem for univalent functions,
Lemma~\ref{3:distortionlemma} and Lemma~\ref{4:distortionlemma}, we
have
$${\rm Shape}(K_{n}, c) \le C(D,m)~{\rm Shape}(K_{n-1},
c)^{\frac{1}{2}},$$
where $C(D,m)>0$ is a constant depending only
on $D$ and $m$. Then
$${\rm Shape}(K_{n}, c) \le C(D,m)^{1+\frac{1}{2}+...+\frac{1}{2^{n-1}}}~{\rm Shape}(K_{0},
c)^{\frac{1}{2^n}}\leq C(D,m)^2~\textup{Shape}(K_0,c)=:M$$
for all $n$. The lemma follows.
\end{proof}
For all $n$, let $l_n>0$ be the first entrance time of $z$ into
$K_n^{-}$. Let $(V_n^{-}(z), V_n(z), V_n'(z))$ be the
connected components of $f^{-l_n}(K_n^{-},K_n,K_n')$ containing $z$ respectively. From the conditions
$$(K'_n\setminus \ol{K_n})\cap \mathcal{PC}(z) =(K_{n}\setminus
\ol{K_{n}^{-}})\cap \mathcal{PC}(z)=\emptyset,$$ we have
$$ \deg(f^{l_n}|_{V_n'(z)})=\deg(f^{l_n}|_{V_n(z)})=\deg(f^{l_n}|_{V_n^{-}(z)})\leq \delta^b.$$
By Proposition~\ref{pro:modulus}, Lemma~\ref{l:Kshape}, Lemma~\ref{2:distortionlemma}, and Lemma~\ref{4:distortionlemma}, we have
\begin{lem}\label {l:shapebound}
There exists
a constant $M_1>0$ such that, for all $n$ and all $y\in V_n^{-}(z)$,
$$\textrm{Shape}(V_n(z),y)\leq M_1.$$
\end{lem}
By iterating suitable times if necessary, one can further assume that the forward orbit of the above $z$ avoids all critical values.
For large $n$, the puzzle
piece $V_n'(z)$ contains no critical points. Let $v_n>0$ be the
smallest integer such that $f^{v_n}(V_n^{-}(z))$ contains a critical
point $c'$. Then $c'\in \omega Crit(z)$. Set $\Lambda_n^{-}=f^{v_n}(V_n^{-}(z))$,
$\Lambda_n=f^{v_n}(V_n(z))$ and $\Lambda_n'=f^{v_n}(V_n'(z))$. Then
$f^{v_n}:V_n'(z)\to \Lambda_n'$ is
conformal.
Let $j_n>0$ be the first return time of $c'$ into $\Lambda_n^{-}$
and let $(\Gamma_n^-,\Gamma_n,\Gamma_n')$ be the
connected components of $f^{-j_n}(\Lambda_n^-,
\Lambda_n,\Lambda_n')$ containing
$c'$ respectively. Let $u_n> 0$ be the first entrance time of $z$ into
$\Gamma_n^{-}$ and let $(U_n^-(z), U_n(z), U_n'(z))$ be
the connected components of $f^{-u_n}(\Gamma_n^-,\Gamma_n,\Gamma_n')$ containing $z$ respectively.
Let $g_n$ be the inverse of the conformal map $f^{v_n}:V_n'(z)\to
\Lambda_n'$. Define $h_n:=g_n\circ f^{j_n+u_n}$. Then
$$2\leq \deg(h_n|_{U_n'(z)})=\deg(h_n|_{U_n(z)})=\deg(h_n|_{U_n^{-}(z)})\leq D_1$$
for some constant $D_1$. By Lemma~\ref{2:distortionlemma} and Lemma~\ref{4:distortionlemma}, there
exists a positive constant $M_2>0$ such that
$$\textrm{Shape}(U_n(z),w)\leq M_2$$
for all $n$ and all $w\in U_n^{-}(z)$.
\vskip 1em
%\subsection{Proof of Theorem~\ref{th:NILF}}
\noindent {\bf Proof of Theorem~\ref{th:NILF}.}
\begin{definition}
Let $g$ be a complex function defined on a domain $W\subseteq\mathbb{C}$. We say $g$ is almost continuous at
$x\in W$ if for any $\varepsilon>0$,
$$\lim_{r\to 0^+}\frac{\textrm{mes}(\{z\in D(x,r):|g(z)-g(x)|>\varepsilon\})}{\textrm{mes}(D(x,r))}=0.$$
\end{definition}
\vskip 1em
It is clear that, if $g$ is almost continuous at $x$, then for any sequence of domains $\{U_n(x)\}$ containing $x$ with
$\lim_{n\to \infty}\textrm{diam}(U_n(x))=0$ and $\textrm{Shape}(U_n(x),x)\leq M$ for some constant $M>0$,
it holds that
$$\lim_{n\to \infty}\frac{\textrm{mes}(\{z\in U_n(x):|g(z)-g(x)|>\varepsilon\})}{\textrm{mes}( U_n(x))}=0.$$
Combining with Lusin's Theorem and the Lebesgue Density Theorem, one can prove that a measurable function
is almost continuous at almost every point.
\begin{lem}\label{l:almostcontinuous}
A measurable function is almost continuous at each point except a set of measure zero.
\end{lem}
\begin{proof}
Let $g$ be a complex measurable function defined on a domain $W\subseteq \mathbb{C}$. For any $\delta>0$, by Lusin's Theorem, there exists
a subset $E_{\delta}$ of $W$ such that $g$ is continuous on $E_{\delta}$ and $\textrm{mes}(W \setminus E_{\delta})<\delta$.
Let $\widetilde{E}_{\delta}$ be the set of Lebesgue density points in $E_{\delta}$. From the Lebesgue Density Theorem,
$\textrm{mes}(E_{\delta}\setminus \widetilde{E}_{\delta})=0$. By definitions, $g$ is almost continuous at
each point in $\widetilde{E}_{\delta}$. Let $E$ be the union of $\widetilde{E}_{\delta}$ for all $\delta$. Then
$\textrm{mes}(W \setminus E)=0$ and $g$ is almost continuous at
each point in $E$.
\end{proof}
The proof of the following Lemma comes from \cite{Shen}.
\begin{lem}\label{l:nilf}
Let $z$ be a point in $\Omega$ whose forward orbit is disjoint from critical values. Then for any invariant line field $\mu$, either $\mu(z)=0$ or $\mu$ is not
almost continuous at $z$.
\end{lem}
\begin{proof}
Suppose $|\mu(z)|=1$ and $\mu$ is almost continuous at $z$. Up to a rotation, we assume
$\mu(z)=1$. Since $\lim_{n\to \infty}\textrm{diam}(U_n(z))=\lim_{n\to \infty}\textrm{diam}(V_n(z))=0$ and
$\textrm{Shape}(U_n(z),z)\leq M$, $\textrm{Shape}(V_n(z),z)\leq M$ for a constant $M>0$, by definition, we have
$$\lim_{n\to \infty}\frac{\textrm{mes}(\{x\in U_n(z):|\mu (x)-1|>\varepsilon\})}{\textrm{mes}( U_n(z))}=0$$
and
$$\lim_{n\to \infty}\frac{\textrm{mes}(\{w\in V_n(z):|\mu (w)-1|>\varepsilon\})}{\textrm{mes}( V_n(z))}=0$$
for any $\varepsilon>0$.
Let $u_n\in U_n^{-}(z)$ be a critical point of $h_n$ and let $v_n:=h_n(u_n)\in V_n^{-}(z)$. Let $\alpha_n$ and $\beta_n$
be the linear maps of $\mathbb{C}$ such that
$$\alpha_n(u_n)=\beta_n(v_n)=0,\,\,\alpha_n'(u_n)>0,\,\,\beta_n'(v_n)>0$$
and that $\textrm{diam}(\alpha_n(U_n(z)))=\textrm{diam}(\beta_n(V_n(z)))=1$. Let $X_n:=\alpha_n(U_n(z))$, $Y_n:=\beta_n(V_n(z))$ and
$$H_n:=\beta_n\circ h_n\circ \alpha_n^{-1}:X_n\to Y_n.$$
From $\textrm{Shape}(U_n(z),u_n)\leq M_2$ and
$\textrm{Shape}(V_n(x),v_n)\leq M_1$,
there exists $r_1>0$ such that
$$\overline{D}(0,r_1)\subset X_n\textup{ and }\overline{D}(0,r_1)\subset Y_n$$ for all $n$.
Take a subsequence of $\{n\}$, say itself, such
that $(X_n,0)\to (X,0)$ and $(Y_n,0)\to (Y,0)$ as $n\to \infty$ in the Carath\'{e}odory topology. Then there is a holomorphic mapping
$$H:(X,0)\to (Y,0)$$
such that $H_n|_K\to H|_K$ uniformly as $n\to \infty$ for any compact subset $K\Subset X$.
Since
$$\deg(H_n:X_n\to Y_n)=\deg(h_n:U_n(x)\to V_n(x))\leq D_1,$$ there is a disk $D(0,r_2)$ such that
$\overline{D}(0,r_2)\subseteq H_n(\overline{D}(0,r_1))$ for all $n$, see \cite{CJY} and \cite{Yin}.
Thus the mapping $H$ can not be a constant. Moreover, zero is a critical point of $H$ as $H_n'(0)=0$ for all $n$.
Let $\mu_n=(\alpha_n^{-1})^*(\mu|_{U_n(z)})$ and $\nu_n=(\beta_n^{-1})^*(\mu|_{V_n(z)})$ be the Beltrami differentials on $X_n$ and $Y_n$.
It follows from $f^*\mu=\mu$ that $H_n^*\nu_n=\mu_n$, i.e.,
$$\mu_n(x)=\nu_n(H_n(x))\frac{\overline{H_n'(x)}}{H_n'(x)},\,\,\,\,a.e.\, \,x\in X_n.$$
Since $\mu$ is almost continuous at $z$. For any $\varepsilon>0$,
$$\lim_{n\to \infty} \textrm{mes}(\{x\in X_n:|\mu_n (x)-1|>\varepsilon\})=0$$
and
$$\lim_{n\to \infty} \textrm{mes}(\{w\in Y_n:|\nu_n (w)-1|>\varepsilon\})=0.$$
Take a disk $D(x_0,2r)$ in $X$ on which $H$ is univalent. Denote
$$\eta:=\frac{1}{2}\min_{x\in \overline{D}(x_0,r)}|H'(x)|>0.$$
For $n$ large enough, $\overline{D}(x_0,r)\subseteq X_n$ and $H_n$ is univalent in $D(x_0,r)$ with
$\min_{x\in \overline{D}(x_0,r)}|H_n'(x)|>\eta$. Therefore,
$$\lim_{n\to \infty} \textrm{mes}(\{x\in D(x_0,r):|\mu_n (x)-1|>\varepsilon\})=0$$
and
$$\lim_{n\to \infty} \textrm{mes}(\{w\in H_n(D(x_0,r)):|\nu_n (w)-1|>\varepsilon\})=0.$$
Since $\min_{x\in \overline{D}(x_0,r)}|H_n'(z)|>\eta$, we have
$$ \textrm{mes}(\{w\in H_n(D(x_0,r)):|\nu_n (w)-1|>\varepsilon\})\geq \eta^2\cdot \textrm{mes}(\{x\in D(x_0,r):|\nu_n(H_n (x))-1|>\varepsilon\}).$$
For any $\varepsilon>0$, we estimate:
$\textrm{mes}(\{x\in D(x_0,r):\mid\frac{\overline{H_n'(x)}}{H_n'(x)}-1\mid>\varepsilon\})$
\begin{align*}
& =\textrm{mes}(\{x\in D(x_0,r):\mid\frac{\overline{H_n'(x)}}{H_n'(x)}-\mu_n(x)+\mu_n(x)-1\mid>\varepsilon\})\\
&\leq \textrm{mes}(\{x\in D(x_0,r):|\nu_n(H_n (x))-1|>\frac{1}{3}\varepsilon\})+\textrm{mes}(\{x\in D(x_0,r):|\mu_n (x)-1|>\frac{1}{3}\varepsilon\})\\
&\leq \eta^{-2}\cdot\textrm{mes}(\{w\in H_n(D(x_0,r)):|\nu_n (w)-1|>\frac{1}{3}\varepsilon\})+ \textrm{mes}(\{x\in D(x_0,r):|\mu_n (x)-1|>\frac{1}{3}\varepsilon\}).
\end{align*}
Let $n\to \infty$, we have
$$ \textrm{mes}(\{x\in D(x_0,r):\mid\frac{\overline{H'(x)}}{H'(x)}-1\mid>\varepsilon\})=0\textup{~~ for any }\varepsilon>0.$$
The continuity of $H'$ implies that $\overline{H'(x)}=H'(x)$ for all $x\in D(x_0,r)$. Hence
$H'|_{D(x_0,r)}$ is a constant $C$ and so is on $X$. It follows that $C=H'(0)=0$. Therefore, $H$ is a constant. This is a contradiction. The proof is complete.
\end{proof}
Note that the set of points whose orbits intersect critical values is countable. Thus, combining with Corollary~\ref{c:mes}, Lemma~\ref{l:almostcontinuous} and Lemma~\ref{l:nilf}, we get Theorem~\ref{th:NILF}.
\vspace{1cm}
\noindent {\bf Proof of Theorem~\ref{th:conjugate}}
\begin{definition}\label{d:qc}
Let $\varphi: W\to \widetilde{W}$ be an orientation-preserving homeomorphism between two open sets in $\mathbb{C}$. For $x\in W$,
let
$$\underline{H}(\varphi,x)=\liminf_{r\to 0}\frac {\sup_{|y-x|=r}|\varphi(y)-\varphi(x)|}{\inf_{|y-x|=r}|\varphi(y)-\varphi(x)|}\in [0,\infty].$$ We say $\varphi$ is a $K$-\emph{quasiconformal mapping} if there exists $1\leq H<\infty$ such that $\underline{H}(\varphi,x)\leq H$ for all $x\in W$, where $K\geq 1$ is a constant depending on $H$.
\end{definition}
A topological disk $V$ has {\it $M$-Shape} if there is a point $x\in V$ such that ${\rm Shape}(V,x)\leq M$.
In order to prove Theorem~\ref{th:conjugate}, we need the following QC-Criterion, which is due to Kozlovski-Shen-van Strien(see \cite{KSS}):
\begin{lem}\label {l:qc-criterion}
Let $H>1$, $M>1$ and $m>0$ be constants, $\varphi: W\to \widetilde{W}$ be an orientation-preserving homeomorphism between two Jordan domains. Let $X_0$ be a subset of $W$ with ${\rm mes}(X_0)={\rm mes}(\varphi(X_0))=0$ and $X_1$ be a subset of $W\setminus X_0$. Assume that the following hold
\begin{enumerate}
\item[(1)] for any $x\in W\setminus (X_0\cup X_1),\,\underline{H}(\varphi,x)<H$\,;
\item[(2)] for any $x\in X_0,\,\underline{H}(\varphi,x)<\infty$ \,;
\item[(3)] there exists a family $\mathcal{V}$ of pairwise disjoint topological disks which form a covering of $X_1$, such that for each $P\in \mathcal{V}$, we have
\begin{itemize}
\item both $V$ and $\varphi(V)$ have $M$-Shape\,;
\item ${\rm mod}(W\setminus \overline{V})>m$ and ${\rm mod}(\widetilde{W}\setminus \overline{\varphi (V)})>m$.
\end{itemize}
\end{enumerate}
Then there exists a $K$-quasiconformal mapping $\psi: U\to \widetilde{U}$ such that $\varphi|_{\partial U}=\psi|_{\partial U}$, where $K>1$ is a constant depending only on $H,\,M$ and $m$.
\end{lem}
Let $f$ and $\widetilde{f}$ be two non-renormalizable Newton maps conjugated by a homeomorphism $h$. It is clear that $h(\infty)=\infty$ since $\infty$ is the unique repelling fixed point of $f$
(resp. $\widetilde{f}$).
The Fatou sets coincide with the attracting basins of roots, i.e., $$F(f)=B_f,\,F(\widetilde{f})=B_{\widetilde{f}}.$$ Then there is a conjugation which is quasiconformal on $F(f)$ and coincides with $h$ on $J(f)$ (see \cite{McS}). We denote it still by $h$. Our goal is to prove that $h$ is global quasiconformal in the complex plane $\mathbb{C}$.
Let $\Omega_0,\,\Omega_1,\,\Omega_2$ and $\Omega$ be the defined sets associated to $f$ in previous sections. Similarly, we have $\widetilde{\Omega}_0,\,\widetilde{\Omega}_1,\,\widetilde{\Omega}_2$ and $\widetilde{\Omega}$ for $\widetilde{f}$. Since $h$ is a topologically conjugate between $f$ and $\widetilde{f}$, we have that $\widetilde{\Omega}_i=h(\Omega_i)$ for $i=0,1,2$, and $\widetilde{\Omega}=h(\Omega).$
Let $X_0:=\Omega_0\cup \Omega_1\cup \Omega_2,\,\widetilde{X}_0:=\widetilde{\Omega}_0\cup \widetilde{\Omega}_1\cup \widetilde{\Omega}_2$ and $X_1:=J(f)\setminus X_0,\,\widetilde{X}_1:=J(\widetilde{f})\setminus \widetilde{X}_0$. Then $X_1\subseteq \Omega,\,\widetilde{X}_1\subseteq \widetilde{\Omega}$ and $\widetilde{X}_0=h(X_0),\,\widetilde{X}_1=h(X_1)$.
\begin{lem}\label{l:mesdistortion}
\begin{itemize}
\item[(1)] ${\rm mes}(X_0)={\rm mes}(h(X_0))=0$\,;
\item[(2)] $\underline{H}(h,x)<\infty$ for all $x\in X_0$.
\end{itemize}
\end{lem}
\begin{proof}
(1) By Corollary~\ref{c:mes}, it is obvious since $h(X_0)=\widetilde{X}_0$.
(2) For $x\in X_0$, by Lemma~\ref{l:compact}, there exist proper mappings
$$f^{k_n}:(U_n^-(x),U'_n(x))\to (U^-,U')$$
with $f^{k_n}(x)\in U^-\Subset U'$ such that their degrees upper bounded by a constant $D(x)$.
For each $n$, one can take a round disk $D(x,r_n)\Subset U^-_n(x)$ such that
$$\textup{inf~}\{\textup{dist}_{\rho_n}(\xi,y):\xi\in f^{-n_k}(f^{n_k}(x))\cap U'_n(x),y\in \partial D(x,r_n)\}>\epsilon_0,$$
where $\rho_n$ is the hyperbolic metric of $U_n'(x)$, and $\epsilon_0$ is a constant depending only on $D(x)$ and $\textup{mod}(U'\setminus\overline{U^-})$.
Then we have
$$\textup{inf~}\{\textup{dist}_{\rho}(f^{k_n}(x),f^{k_n}(y)):y\in \partial D(x,r_n)\}>\epsilon_1,$$
where $\rho$ is the hyperbolic metric of $U'$, and $\varepsilon_1$ is a constant depending only on $\epsilon_0$ and $D(x)$. It follows that $$L_1<|f^{k_n}(y)-f^{k_n}(x)|<L_2 ~~~\forall y\in\partial D(x,r_n),$$ where $L_1,L_2$ are constants independent on $n$. By continuity of $h$, we also have such constants $\widetilde{L}_1,\widetilde{L}_2$ satisfying $$\widetilde{L}_1<|h(f^{k_n}(y))-h(f^{k_n}(x))|<\widetilde{L}_2~~~\forall y\in\partial D(x,r_n).$$ Note that $h(f^{k_n}(D(x,r_n)))\subseteq h(U^-)$ as $D(x,r_n)\Subset U^-_n(x)$.
After applying Lemma~\ref{2:distortionlemma} to the mappings
$$\widetilde{f}^{k_n}:(h(U_n^-(x),h(U_n'(x))\to (h(U^-),h(U')),$$
we establish that ${\rm Shape}(h(D(x,r_n),h(x))<M(x)$ for some constant independent on $n$. The shrink of disks $\{U^-_n(x)\}_n$ implies that $r_n$ tends to zero. Therefore, $\underline{H}(h,x)<M(x)$.
\end{proof}
Since $h$ is quasiconformal in $F(f)$, assume $\underline{H}(h,x)<H$ for all $x\in F(f)$.
Recall that $\mathcal{P}_n$ is the collection of all puzzle pieces of depth $n$ associated to $f$. Then $\widetilde{\mathcal{P}}_n:=\{h(P)|\,P\in \mathcal{P}_n\}$ is the collection of all puzzle pieces of depth $n$ for $\widetilde{f}$.
Fix $k$ and a puzzle piece $P_k\in \mathcal{P}_k$. For each $x\in P_k\cap X_1~(\subseteq \Omega)$, take puzzle pieces $ (V_{n(x)}(x),V_{n(x)}'(x))$ in Lemma \ref{l:shapebound} with $n(x)$ sufficiently large such that $V_{n(x)}'(x)\Subset P_k$. Then $h(x)\in \widetilde{\Omega}(=h(\Omega))$ and $h(\,V_{n(x)}(x),\,V_{n(x)}'(x)\,)=(\,\widetilde{V}_{n(x)}(h(x)),\,\widetilde{V}_{n(x)}'(h(x))\,).$ By Proposition~\ref{pro:modulus} and Lemma~\ref{l:shapebound}, we have
$${\rm mod}(P_k\setminus \overline{V_{n(x)}(x)})>m,~ {\rm mod}(\widetilde{P}_k\setminus \overline{\widetilde{V}_{n(x)}(h(x))})>m$$
and
$${\rm Shape}(V_{n(x)}(x),x)<M,~{\rm Shape}(\widetilde{V}_{n(x)}(h(x)),h(x))<M$$
for constants $m, M$ independent on $k$ and $x\,(\in X_1\subseteq \Omega)$. Among the collection
$\{V_{n(x)}(x),x\in X_1\cap P_k\}$, let $\mathcal{V}(P_k)$ be the set of all maximal elements $\{V_1,\cdots,V_i,\cdots\}$ in the sense that
$$V_{n(x)}(x)\cap V_i\neq \emptyset\Longrightarrow V_{n(x)}(x)\subseteq V_i.$$
Clearly $\mathcal{V}(P_k)$ consists of disjoint topological disks which form a covering of $X_1\cap P_k$.
After occupying Lemma~\ref{l:qc-criterion} to the setting $$W:=P_k,\widetilde{W}:=\widetilde{P}_k,\mathcal{V}:=\mathcal{V}(P_k)$$
within each $P_k$ respectively, we get a $K$-quasiconformal mapping $h_k$ such that $h_k$ and $h$ coincide in $\mathbb{C}\setminus \bigcup_{P\in \mathcal{P}_k}P$. Take a subsequence of $\{h_k\}$ which converges locally uniformly to a $K$-quasiconformal mapping $\widetilde{h}$.
It concludes that $\widetilde{h}=h$. Thus the original mapping $h$ is $K$-quasiconformal. The proof is complete.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{thebibliography}{1}
%
\frenchspacing
\bibitem[Ah]{Ah} L. V. Alhfors.
{\em Lectures on quasi-conformal mappings}.
Wadsworth~\&~Brook/Cole, Advanced Books \&~Software, Monterey
1987.
\bibitem[AR]{AR} M. Aspenberg and P. Roesch. {\em Newton maps as matings of cubic polynomials.} Proc. Lond. Math. Soc. (3) \textbf{113} (2016), No.1, 77-112.
\bibitem[BF]{BF14} B. Branner and N. Fagella. {\em Quasiconformal surgery in holomorphic dynamics}. Cambridge University Press, New York, 2014.
\bibitem[BFJK]{BFJK} K. Bara\'{n}ski, N. Fagella, X. Jarque and B. Karpi\'{n}skia
{\em On the connectivity of the Julia sets of meromorphic functions}. Invent. math. \textbf{198}(2014), No.3, 591-636.
\bibitem[CJY]{CJY} L. Carleson, P. Jones and J. -C. Yoccoz.
{\em Julia and John}. Bol. Soc. Brasil Mat.(N.S.),
{\bf 25} (1994), 1-30.
\bibitem[DLSS]{DLSS}K. Darch, R. Lodge, D. Schleicher and M. Sowinski.
{\em Puzzles and the Fatou-Shishikura injection for Rational Newton maps}. arXiv: 1805.10746, 2018.
\bibitem[DMRS]{DMRS}K. Darch, Y. Mikulich, J. R\"{u}ckert and D. Schleicher.
{\em A combinatorial classification of postcritically fixed Newton maps.} Ergod. Th. \& Dynam. Sys., First published online 2018, doi: 10.1017/etds.2018.2.
\bibitem[Go]{Go} G. M. Goluzin.
{\em Geometric theory of functions of a complex variable}.
Translations of Mathematical Monographs, AMS, vol.26, 1969.
\bibitem[GS]{GS} J. Graczyk and S. Smirnov.
{\em Non uniform hyperbolicity in complex dynamics I, II}. Invent. Math.,
{\bf 175} (2009), No. 12, 335--415.
\bibitem[Hai]{Hai} P. Ha\"{i}ssinsky.
{\em Ridigity and expansion for rational maps}. J. London Math. Soc.,
{\bf 63} (2001), 128--140.
\bibitem[He]{He87} J. Head.
{\em The combinatorics of Newton's method for cubic polynomials}. PhD thesis, Cornell University, 1987.
%\bibitem[H]{Hu} {\sc J.~H.~Hubbard} ---
%{\em Local connectivity of Julia sets and bifurcation loci: three
%theorems of J.-C. Yoccoz}, in {\em Topological Methods in Modern
%Mathematics}, 467--511, Goldberg and Phillips eds, Publish or
%Perish 1993.
\bibitem[KL1] {KL1} J. Kahn and M. Lyubich. {\em The quasi-additivity law in conformal
geometry}. Ann. of Math., 169 (2009), No. 2, 561-593.
\bibitem[KL2] {KL2} J. Kahn and M. Lyubich. {\em Local connectivity of Julia sets for unicritical polynomials}. Ann. of Math., 170 (2009), 413-426.
\bibitem[KS] {KS} O. Kozlovski and S. van Strien.
{\em Local connectivity and quasi-conformal rigidity of non-renormalizable polynomials}.
Proceedings of London Math. Soc., {\bf 99}(2009), 275-296.
\bibitem[KSS] {KSS} O. Kozlovski, W. Shen and S. van Strien. {\em Rigidity for
real polynomials}. Ann. of Math., {\bf 165}(2007), 749-841.
\bibitem[LMS1]{LMS1} R. Lodge, Y. Mikulich and D. Schleicher. {\em Combinatorial properties of Newton maps}. arXiv:1510.02761, 2015.
\bibitem[LMS2]{LMS2} R. Lodge, Y. Mikulich and D. Schleicher. {\em A classification of postcritically finite Newton maps}. arXiv: 1510.02771, 2015.
\bibitem[LS]{Levin-vanStrien} G. Levin and S. van Strien. {\em Totally disconnectedness and absence of invariant line fields
for real polynomials}. Asterisque, {\bf 261}(2000), 161-172.
\bibitem[Mc]{McMbook} C. McMullen.
{\em Complex Dynamics and Renormalization }.
Annals of Mathematics Studies {\bf 135}, Princeton University Press, 1994.
\bibitem[McS]{McS} C. McMullen and D. Sullivan.
\emph{Quasiconformal homeomorphisms and dynamics III: The Teichm$\ddot{u}$ller of a holomorphic dynamical system }.
Adv. Math., {\bf 135}(1998), 351--395.
\bibitem[M1]{M1} J. Milnor.
{\em Dynamics in one complex variable}.
Vieweg 1999, 2nd edition 2000.
%\bibitem[M2]{Mlc} {\sc J. Milnor} ---
%{\em Local connectivity of Julia Sets\,: Expository Lectures}, pp.67-116 of ``The Mandelbrot set, Theme and Variations'' edit\,: Tan Lei, LMS Lecture Note Series 274, Cambr. U. Press 2000.
\bibitem[PQRTY] {TLP} W. Peng, W. Qiu, P. Roesch, L. Tan and Y. Yin. {\em
A tableau approach of the KSS nest}. Conf. Geom. Dyn.,{\bf 14}(2010), 35--67.
\bibitem[QY] {QY} W. Qiu and Y. Yin.
{\em Proof of the Branner-Hubbard conjecture on Cantor Julia sets}.
Science in China, Series A, {\bf 52}(2009), No.1, 45-65.
\bibitem[Roe]{Roe} P. Roesch. {\rm On local connectivity for the Julia set of rational maps: Newton's famous example}. Ann. Math. \textbf{168}(2008) 1-48.
\bibitem[RWY]{RWY}P. Roesch, X. Wang and Y. Yin. {\em Moduli space of cubic Newton maps}. Adv. Math. \textbf{322} (2017), 1-59.
\bibitem[Sh1]{Sh08} M. Shishikura.
{\em Yoccoz puzzle, $\tau$-functions and their appications}. Unpublished, 2008.
\bibitem[Sh2]{Sh09} M. Shishikura.
{\em The connectivity of the Julia set and fixed points}. in Complex dynamics: families and friends (edited by D. Schleicher), 2009.
\bibitem[Shen]{Shen} W. Shen.
{\em On the measurable dynamics of real rational functions}. Ergodic Theory and Dynamical Systems, {\bf 23}(2003), 957-983.
\bibitem[WYZ]{WYZ} X. Wang, Y. Yin and J. Zeng.
{\em Dynamics of Newton maps}. arXiv:1805.11478, 2018.
\bibitem[Yin]{Yin} Y. Yin.
{\em Geometry and dimension of Julia sets}. in The Mandelbrot set, Theme and Variations, edited by Tan Lei, 281-287, London Math. Soc. Lecture Notes Ser., No.274, Cambrige University Press, Cambrige, 2000.
\bibitem[YZ]{YZ} Y. Yin and Y. Zhai.
{\em No invariant line fields on Cantor Julia sets}. Forum Math., {\bf 22}(2010), No.1, 75-94.
\bibitem[Yo]{Yoccoz} J. C. Yoccoz.
{\em On the local connectivity of the Mandelbrot set}. Unpublished,
1990.
\end{thebibliography}
\end{document}