|{F}_{\,\Psi}^{n}(x)\right|\leq K\right\}.$$

The *positive (resp. negative) transient set* is given by $$\mathbf{T}_{1}^{\pm}\coloneqq\left\{ x\in{\mathcal{R}}\mid\lim_{n\to\infty}{F}_{\,\Psi}^{n}(x)=\pm\infty\right\}.$$ We also consider the supersets $$\mathbf{T}_{2}^{\pm}\coloneqq\left\{ x\in{\mathcal{R}}\mid\limsup_{n\to\infty}\mp{F}_{\,\Psi}^{n}(x)<\infty\right\},\,\,\ \mathbf{T}_{3}^{\pm}\left(r\right)\coloneqq\left\{ x\in{\mathcal{R}}\mid\forall n\geq0\;\pm{F}_{\,\Psi}^{n}(x)>r\right\},$$ for some $r\in{\mathbb{R}}$. Observe that $$\mathbf{T}_{1}^{\pm}\subseteq\mathbf{T}_{2}^{\pm}=\bigcup_{k\in{\mathbb{Z}}}\mathbf{T}_{3}^{\pm}\left(k\right).\label{eq:T2UnionT3}$$ The following theorems will be a consequence of our general multifractal decomposition for escaping sets presented in the next subsection. The corresponding proofs can be found in Section \[sec:Multifractal-decomposition\]. The first theorem is the analogue of the result of Bishop and Jones in our setting. Last, recall that for the Hölder continuous function $\delta\varphi:\Sigma\to{\mathbb{R}}$ there exists a unique Gibbs measure $\mu_{\delta\varphi}$, see end of Section \[sec:Preliminaries-and-basic\].

\[thm:Bishop and Jones\]Let ${F}_{\,\Psi}:{\mathcal{R}}\rightarrow{\mathcal{R}}$ be the $\Psi$-lift of an expanding interval map ${F}$. Then we have for the recurrent and uniformly recurrent sets $$\dim_{H}(\mathbf{R})=\dim_{H}(\mathbf{R}_{u})=\delta_{0}.$$

We say the system ${F}_{\,\Psi}$ has a *dimension gap* if the Hausdorff dimension $\delta_{0}$ of the (uniformly) recurrent set is strictly less than the Hausdorff dimension $\delta$ of ${\mathcal{R}}$. In fact, this is the case if and only
|{F}_{\,\Psi}^{n}(x)\right|\leq K\right\}.$$ 

 The * positive (resp. negative) transient set * is give by $ $ \mathbf{T}_{1}^{\pm}\coloneqq\left\ { x\in{\mathcal{R}}\mid\lim_{n\to\infty}{F}_{\,\Psi}^{n}(x)=\pm\infty\right\}.$$ We besides consider the supersets $ $ \mathbf{T}_{2}^{\pm}\coloneqq\left\ { x\in{\mathcal{R}}\mid\limsup_{n\to\infty}\mp{F}_{\,\Psi}^{n}(x)<\infty\right\},\,\,\ \mathbf{T}_{3}^{\pm}\left(r\right)\coloneqq\left\ { x\in{\mathcal{R}}\mid\forall n\geq0\;\pm{F}_{\,\Psi}^{n}(x)>r\right\},$$ for some $ r\in{\mathbb{R}}$. Observe that $ $ \mathbf{T}_{1}^{\pm}\subseteq\mathbf{T}_{2}^{\pm}=\bigcup_{k\in{\mathbb{Z}}}\mathbf{T}_{3}^{\pm}\left(k\right).\label{eq: T2UnionT3}$$ The following theorem will be a consequence of our cosmopolitan multifractal decomposition for escaping sets present in the next subsection. The corresponding proof can be found in Section \[sec: Multifractal - decomposition\ ]. The first theorem is the analogue of the resultant role of Bishop and Jones in our setting. Last, recall that for the Hölder continuous affair $ \delta\varphi:\Sigma\to{\mathbb{R}}$ there exists a unique Gibbs measure $ \mu_{\delta\varphi}$, see end of Section \[sec: preliminary - and - basic\ ]. 

 \[thm: Bishop and Jones\]Let $ { F}_{\,\Psi}:{\mathcal{R}}\rightarrow{\mathcal{R}}$ be the $ \Psi$-lift of an expanding interval map $ { F}$. Then we consume for the recurrent and uniformly recurrent sets $ $ \dim_{H}(\mathbf{R})=\dim_{H}(\mathbf{R}_{u})=\delta_{0}.$$ 

 We say the system $ { F}_{\,\Psi}$ have a * dimension gap * if the Hausdorff dimension $ \delta_{0}$ of the (uniformly) recurrent set is strictly less than the Hausdorff dimension $ \delta$ of $ { \mathcal{R}}$. In fact, this is the case if and merely
|{F}_{\,\Psl}^{n}(x)\right|\leq K\right\}.$$

The *poritive (resp. negcrive) tcansienf set* is given by $$\mathbf{T}_{1}^{\pm}\coloneqq\lxft\{ z\in{\maukcal{R}}\mid\lim_{n\to\infty}{F}_{\,\Osi}^{n}(x)=\pm\invty\right\}.$$ We elso consider thx supersccs $$\mafmbf{T}_{2}^{\pk}\roloneqq\left\{ x\ik{\mathcal{R}}\mig\limsup_{n\to\inftf}\mo{F}_{\,\'si}^{n}(x)<\infty\right\},\,\,\ \mathbf{T}_{3}^{\pm}\left(r\right)\cjloneqq\kevt\{ x\in{\mathcal{R}}\iid\fpwall n\geq0\;\pm{F}_{\,\Psi}^{n}(x)>r\right\},$$ for some $r\in{\mafhbb{R}}$. Ouserve that $$\matnbf{T}_{1}^{\pm}\subseteq\mathbf{T}_{2}^{\pm}=\bigfup_{k\ln{\mathbb{Z}}}\mathbf{T}_{3}^{\pm}\peft(k\right).\lqbel{qw:T2UnionT3}$$ The following theorems wiml be a consequence of our genefal mbltifractal dwcolkosition for escaiing sets presented it the nrxt subsection. Thx coeresponding proofs cai be found in Sectiog \[sec:Multhfxactal-decomposition\]. Tye firsj themrem us ghe aialkgue ov tie result or Bishop ane Jones in our settond. Last, recall fhat fjr the Hölder continuous function $\delta\varkhi:\Sifma\to{\mathbb{R}}$ there exisrs a unique Gibbs meadure $\mu_{\dejta\varphi}$, see end of Section \[sec:Preliminaries-and-bdsic\].

\[tim:Ciskip ana Jlnes\]Let ${F}_{\,\Psi}:{\mathcal{R}}\rightarrow{\mathcal{R}}$ be the $\Lso$-lpft of an expandikg interval map ${F}$. Yhfn re have for tfe recbdrsnt and uniformly gecurregt sers $$\dim_{H}(\mauhbf{R})=\cim_{H}(\mathbf{R}_{u})=\delta_{0}.$$

We say the system ${F}_{\,\Psi}$ yas a *dimension ga'* if the Haurdorgf dikension $\delta_{0}$ of the (unnformlg) recurrent set is sffictly less than thv Hagsdorff dimension $\delta$ of ${\mathcal{R}}$. In yact, thir is the cwse if and only
|{F}_{\,\Psi}^{n}(x)\right|\leq K\right\}.$$ The *positive (resp. negative) transient given $$\mathbf{T}_{1}^{\pm}\coloneqq\left\{ x\in{\mathcal{R}}\mid\lim_{n\to\infty}{F}_{\,\Psi}^{n}(x)=\pm\infty\right\}.$$ also consider the n\geq0\;\pm{F}_{\,\Psi}^{n}(x)>r\right\},$$ some $r\in{\mathbb{R}}$. Observe $$\mathbf{T}_{1}^{\pm}\subseteq\mathbf{T}_{2}^{\pm}=\bigcup_{k\in{\mathbb{Z}}}\mathbf{T}_{3}^{\pm}\left(k\right).\label{eq:T2UnionT3}$$ The following will be a consequence of our multifractal decomposition for escaping sets presented in the next subsection. The corresponding proofs be found in Section \[sec:Multifractal-decomposition\]. The first theorem is the analogue of the of and in setting. Last, recall that for the Hölder continuous function $\delta\varphi:\Sigma\to{\mathbb{R}}$ there exists a unique Gibbs measure see end of Section \[sec:Preliminaries-and-basic\]. \[thm:Bishop and Jones\]Let be the $\Psi$-lift of expanding interval map ${F}$. Then have the recurrent uniformly sets We say the ${F}_{\,\Psi}$ has a *dimension gap* if the Hausdorff dimension $\delta_{0}$ of the (uniformly) recurrent set is strictly than the $\delta$ of In this the case if
|{F}_{\,\Psi}^{n}(x)\right|\leq K\right\}.$$

The *poSitive (resp. NegatIve) TraNsIent Set* iS given by $$\mathbf{t}_{1}^{\Pm}\coLoneqq\left\{ x\in{\mathcal{R}}\mId\lim_{N\tO\InftY}{f}_{\,\PSi}^{n}(x)=\pM\infty\rIGhT\}.$$ wE alSo CoNsiDeR ThE supeRseTs $$\mathbF{T}_{2}^{\pm}\coloneQq\lEfT\{ x\in{\mathcal{R}}\MId\Limsup_{n\to\iNftY}\mp{F}_{\,\Psi}^{n}(x)<\infTy\rIght\},\,\,\ \maThBf{T}_{3}^{\PM}\left(R\riGht)\coLoneqq\LEft\{ x\in{\Mathcal{R}}\mId\FOrall n\GEq0\;\pm{F}_{\,\PsI}^{N}(X)>r\RighT\},$$ for some $r\in{\mathbb{r}}$. obSErve that $$\mathbf{t}_{1}^{\pm}\subSeTEq\MAThbF{T}_{2}^{\pM}=\bigcup_{k\in{\MaThbb{Z}}}\MAthbf{T}_{3}^{\pM}\LeFT(K\RigHT).\label{eq:T2UnioNT3}$$ The followINg tHeoremS wIll BE a consEquenCe OF ouR general mulTifrActal decoMpositIOn for esCAping seTs presEntEd iN the NExT sUbsEcTIon. tHe CorREspOnding prOoFs Can be FounD IN sEctiOn \[sEc:MuLtifrActal-decomposItiOn\]. ThE FirSt theOrem iS the AnAloguE of the ResulT oF Bishop and Jones In ouR setting. LAst, ReCalL tHat foR The HölDer ConTinuous FunctioN $\DelTa\VARPhI:\Sigma\to{\mathbb{R}}$ theRe EXIsTs a uniquE Gibbs MEaSuRE $\mu_{\delta\VaRphI}$, see END of SeCtioN \[SeC:PrelimiNaries-ANd-BaSic\].

\[thm:BIsHop and joNes\]let ${f}_{\,\Psi}:{\mAThcaL{R}}\righTarrow{\maThcal{r}}$ Be the $\Psi$-lift of AN expanding intERvAL MaP ${f}$. TheN we Have for the rEcurREnt aNd unIFoRmlY RecurRent sEtS $$\DiM_{h}(\mathbf{R})=\dim_{H}(\mathbf{R}_{U})=\dElta_{0}.$$

We Say thE system ${F}_{\,\Psi}$ haS a *dimensioN GAP* if the HaUsdoRFf DImension $\delta_{0}$ oF the (uNiformly) reCUrrent seT is stRictly leSs than the hAUsdorff dImeNsiOn $\dEltA$ OF ${\mAthcal{R}}$. In fact, THIs is ThE case if And Only
|{F}_{\,\Psi}^{n}(x)\right |\leq K\ri ght\} .$$ 

T he  *po siti ve (resp. nega t ive)  transient set* is giv en by  $ $ \mat h bf {T}_{ 1}^{\pm } \c o l one qq \l eft \{ x\ in{\m ath cal{R}} \mid\lim_{ n\t o\ infty}{F}_{\ , \P si}^{n}(x) =\p m\infty\righ t\} .$$ We  a lso consi der  thesupers e ts $$\ mathbf{T} _{ 2 }^{\pm } \colone q q \l eft\ { x\in{\mathcal{R } }\ m id\limsup_{n\t o\inft y} \ mp { F }_{ \,\ Psi}^{n}(x )< \inft y \right\ } ,\ , \ , \ \ m athbf{T}_{3}^ {\pm}\left( r \ri ght)\c ol one q q\left \{ x\ in { \ma thcal{R}}\m id\f orall n\g eq0\;\ p m{F}_{\ , \Psi}^{ n}(x)> r\r igh t\}, $ $fo r s om e  $r \ in {\m a thb b{R}}$.Ob se rve t hat$ $ \ m athb f{T }_{1 }^{\p m}\subseteq\m ath bf{T } _{2 }^{\p m}=\b igcu p_ {k\in {\math bb{Z} }} \mathbf{T}_{3}^ {\pm }\left(k\ rig ht ).\ la bel{e q :T2Uni onT 3}$ $ The f ollowin g  th eo r e m swill be a conseque nc e of  our gen eral m u lt if r actal de co mpo siti o n  foresca p in g sets p resent e din  the ne xt  subse ct ion . T he co r resp onding  proofscan b e  found in Sect i on \[sec:Mult i fr a c ta l -dec omp osition\].Thef irst  the o re m i s  theanalo gu e  o f  the result of Bish op  and J onesin our settin g. Last, r e c a ll thatfort he Hölder continu ous f unction $\ d elta\var phi:\ Sigma\to {\mathbb{ R } }$ there  ex ist s a  un i q ue  Gibbs measur e $\mu _{ \delta\ var phi}$,see  en d o f S ec tion \[se c:Prelim in ar ie s- and -basi c \].

\[t hm :Bi sh opand J o nes\]L et ${ F}_{ \, \P s i}: {\mathc a l{ R } }\ri gh ta rrow {\m at hcal{ R}}$ bethe $\P si$-liftofa n ex pa nd ing int erval map ${F }$ . Then weha vefor th e recurren t and uniformly recurre n t sets$$\ dim_{ H}(\ mathbf{R} )=\ dim_{H }(\ m athbf{ R}_{u} )=\de lt a_{ 0 } .$$
W e  s ayth e system $ { F }_{ \,\Ps i} $ ha s a *di mension gap* if th e  Ha usdorff dimen sio n $\ d e lt a_{ 0 }$ ofth e  (u n i formly) recurre nt set isst r ic tly less t h anth e Hausd orff di mensi o n $\del ta$ of ${ \mathcal{ R} }$.I n  fa ct, this i s the ca se if and only
|{F}_{\,\Psi}^{n}(x)\right|\leq K\right\}.$$

The_*positive (resp._negative) transient set* is_given by_$$\mathbf{T}_{1}^{\pm}\coloneqq\left\{_x\in{\mathcal{R}}\mid\lim_{n\to\infty}{F}_{\,\Psi}^{n}(x)=\pm\infty\right\}.$$ We_also_consider the supersets_$$\mathbf{T}_{2}^{\pm}\coloneqq\left\{ x\in{\mathcal{R}}\mid\limsup_{n\to\infty}\mp{F}_{\,\Psi}^{n}(x)<\infty\right\},\,\,\ \mathbf{T}_{3}^{\pm}\left(r\right)\coloneqq\left\{_x\in{\mathcal{R}}\mid\forall n\geq0\;\pm{F}_{\,\Psi}^{n}(x)>r\right\},$$ for some_$r\in{\mathbb{R}}$. Observe that_$$\mathbf{T}_{1}^{\pm}\subseteq\mathbf{T}_{2}^{\pm}=\bigcup_{k\in{\mathbb{Z}}}\mathbf{T}_{3}^{\pm}\left(k\right).\label{eq:T2UnionT3}$$_The following theorems will be a consequence of our general multifractal decomposition for escaping_sets_presented in_the_next_subsection. The corresponding proofs can_be found in Section \[sec:Multifractal-decomposition\]._The first_theorem is the analogue of the result of_Bishop_and Jones in_our setting. Last, recall that for the Hölder continuous_function $\delta\varphi:\Sigma\to{\mathbb{R}}$ there exists a unique_Gibbs measure $\mu_{\delta\varphi}$,_see_end_of Section \[sec:Preliminaries-and-basic\].

\[thm:Bishop and_Jones\]Let ${F}_{\,\Psi}:{\mathcal{R}}\rightarrow{\mathcal{R}}$ be the $\Psi$-lift of_an expanding interval map ${F}$. Then_we have for the recurrent and uniformly_recurrent sets $$\dim_{H}(\mathbf{R})=\dim_{H}(\mathbf{R}_{u})=\delta_{0}.$$

We say the system_${F}_{\,\Psi}$ has a *dimension gap*_if the_Hausdorff dimension $\delta_{0}$ of the_(uniformly) recurrent set_is strictly_less than the_Hausdorff dimension $\delta$ of ${\mathcal{R}}$. In_fact, this is_the case if and only