\section*{\S0 Introduction}
\

\subsection*{Overview}
\

\ \  For a  {\tt\small pointwise dual ergodic}  measure preserving transformation (see p.\pageref{PDE})
with  $\gamma$-regularly varying return sequence
 ($\gamma\in (0,1)$) the $\gamma$-{\tt\small Mittag-Leffler process} ($\frak m_\gamma$ on p.\pageref{ML})
 appears as a scaling limit of   the normalized Birkhoff sums of non-negative, integrable functions (\ref{dsrailways} on p.\pageref{dsrailways}).
\

 The {\tt\small tied down $\gamma$-Mittag-Leffler process} $\frak w_\gamma$
 is a functional of  $\frak m_\gamma$,  defined by \ref{Football} on p. \pageref{Football}  \ so that, in particular, $1$ is a point of increase (i.e.  a.s. $\frak w_\gamma(t)<\frak w_\gamma(1)\ \forall\ t<1$).
 \

 In this paper we consider similar functionals of
  the Birkhoff sum processes:  conditioning  on arrival under the increment semiflow (p. \pageref{increment}) in a fixed, finite measure set at the final observation time. In particular, we  show that their weighted
 scaling limits, conditioned thus,  are tied-down Mittag-Leffler processes  (Theorem U on p.\pageref{thmU}).
\

This kind of conditioning has been  studied in the context of  Markov  processes  (e.g. \cite{Dw-Ka,Wendel,Liggett1968,BPY,FPY,Ber,ChaUri}).
The tied-down Mittag-Leffler processes appear as {\tt\small local times} of {\tt\small Markov bridges} (see \S6).

\

 \subsection*{Non-decreasing stochastic processes}

\

Let
$ D_{\uparrow,R}$ denote the collection of distribution functions of finite Borel measures on $[0,R]$ ($R\in\Bbb R_+$) and let $ D_{\uparrow,\infty}$ denote the distribution functions of Radon measures on $[0,\infty)$:
\begin{align*}
 D_{\uparrow,R}:=\{\xi :[0,R]\to [0,\infty):\ \xi \uparrow,\ \xi (x+)=\xi (x)\ \forall\ x\in [0,R]\}
\end{align*}
and let
$$D_{\uparrow,\infty}:=\{\xi :[0,\infty)\to [0,\infty):\ \xi |_{[0,R]}\in D_{\uparrow,R}\ \forall\ R>0\}.$$
Here $\xi \uparrow$ means that $\xi $ is non-decreasing, $\xi (x+):=\lim_{y\to x,\ y>x}\xi (y)$ ($0\le x<\infty$)  $\&\ \xi (x-):=\lim_{y\to x,\ y<x}\xi (y)$   ($0< x\le\infty$) .
\

Equip $D_{\uparrow,R}$ ($0<R<\infty$) with the $\sigma$-algebra
$$\mathcal B}\def\A{\mathcal A_R:=\sigma(\{e_t:\ 0\le t\le R\})\ \text{where for}\ \xi\in D_{\uparrow,R},\ e_t(\xi):=\xi(t)$$
and equip $D_{\uparrow,\infty}$ with $\mathcal B}\def\A{\mathcal A_\infty:=\sigma(\{e_t:\ t\in [0,\infty)\})$.
\

A {\it non-decreasing stochastic process} on $[0,R]$ is a random variable $Z$ on the measurable space
$(D_{\uparrow,R},\mathcal B}\def\A{\mathcal A_R)$.  It    is  {\it a.s. continuous} if a.s., $Z$ is continuous; and {\it continuous in probability} if
$\forall\ t\in [0,R]$, $Z(s)\rightarrow Z(t)$ as $s\to t$ in probability;
equivalently $Z(t-)=Z(t)$ a.s. $\forall\ t\in [0,R]$.

\

\subsection*{Convergence}
\

The {\it Skorokhod $J_1$ topology }  on $D_{\uparrow,R}$ ($R\le\infty$)
is generated by the polish metric $J_1^{(R)}$ (\cite{Skorokhod, E-K, Billingsley}) defined:
\

   for $R<\infty$ by
\begin{align*}
 J_1^{(R)}(\xi,\eta):=\inf\,\{\|\xi&-\eta\circ\ell\|_{L^\infty([0,R])}+\|\log(\ell')\|_{L^\infty([0,R])}:\ \ell:[0,R]\to [0,R]\\ & \text{an increasing bi-Lipschitz homeomorphism}\ \}
\end{align*}
and for  $R=\infty$ by
\begin{align*}
 J_1^{(\infty)}(&\xi,\eta):=\inf\{\|\log(\ell')\|_{L^\infty([0,\infty))}+
 \int_0^\infty e^{-u}(\|\xi^{(u)}-\eta^{(u)}\circ\ell\|_{L^\infty([0,u])}\wedge 1 )du:\\ &
 \ell:[0,\infty)\to [0,\infty)\ \text{an increasing bi-Lipschitz homeomorphism}\ \}
\end{align*}
where $x^{(u)}(t):=x(t\wedge u)$.
\

It follows that for $\xi_n,\ \xi\in D_{\uparrow,\infty}$,
\

$$\xi_n\xrightarrow[n\to\infty]{J_1^{(\infty)}}\xi\ \Leftrightarrow\ \xi_n^{(u)}\xrightarrow[n\to\infty]{J_1^{(u)}}\xi^{(u)}\ \forall\ \text{continuity points $u$ of $\xi$}.$$

The {\it distribution function} ({\tt DF}) topology on  $D_{\uparrow,R}$
is that inherited from the weak $*$ topology on $C([0,R])^*$ for $R<\infty$
and from the weak $*$ topology on $C_C([0,\infty))^*$ for $R=\infty$.

The spaces  $(D_{\uparrow,R},{\tt DF})$ are Polish spaces and locally compact for   $R<\infty$.
\

Throughout, given a polish space $Y$,
\smallskip\f$\bullet\ \ \ $}\def\lfl{\lfloor}\def\rfl{\rfloor $C_B(Y)$ is  the space of bounded, continuous, $\Bbb R$-valued functions
equipped with the norm $\|g\|_{C_B}:=\sup_{y\in Y}|g(y)|$,
\smallskip\f$\bullet\ \ \ $}\def\lfl{\lfloor}\def\rfl{\rfloor $\mathcal B}\def\A{\mathcal A(Y):=\sigma(\{\text{open sets}\})=\sigma(C_B(Y))$ is  the Borel $\sigma$-algebra and
\smallskip\f$\bullet\ \ \ $}\def\lfl{\lfloor}\def\rfl{\rfloor for various Banach spaces $E$ of bounded, measurable, real functions on $Y$, we denote
$\|f\|_E:=\sup_{y\in Y}|g(y)|$.

\subsection*{Comparison: {\tt DF} vs $J_1$ topologies}\label{Comparison}
\

 {\tt DF} convergence is pointwise convergence at all continuity points of the limit and
 follows from $J_1$ convergence.
\

{\tt DF} convergence to  a  continuous  limit entails (by monotonicity) uniform convergence
on bounded subintervals, whence $J_1$ convergence.
\

There are sequences converging {\tt DF} (to discontinuous limits) which do not converge $J_1$.

\

As shown in \cite{Skorokhod},
$$\mathcal B}\def\A{\mathcal A(D_{\uparrow,R},J_1)=\mathcal B}\def\A{\mathcal A(D_{\uparrow,R},{\tt DF})=\mathcal B}\def\A{\mathcal A_R.$$
\subsection*{Distributional convergence}
\

Given a polish space $Y$, let
$$\text{\tt RV}\,(Y):=\{\text{\tt random variables on}\ Y\}$$
equipped with the topology of {\it weak convergence}  so that
$$Z_n\xrightarrow[n\to\infty]{\text{\tt\tiny RV}\,(Y)}Z\ \text{if}\ \Bbb E(g(Z_n))\xrightarrow[n\to\infty]{}\Bbb E(g(Z))
\ \forall\ g\in C_B(Y).$$

For $R< \infty$, a collection $\mathcal Z\subset \text{\tt RV}\,(D_{\uparrow,R},{\tt DF})$ is {\it tight} (precompact) in $\text{\tt RV}\,(D_{\uparrow,R},{\tt DF})$ iff
$\{Z(R):\ Z\in\mathcal{Z}\}$ is precompact in $\text{\tt RV}\,(\Bbb R_+)$ ($R<\infty$).
\

A collection $\mathcal Z\subset \text{\tt RV}\,(D_{\uparrow,\infty},{\tt DF})$ is tight when  $\{Z(r):\ Z\in\mathcal{Z}\}$ is precompact in $\text{\tt RV}\,(\Bbb R_+)\ \forall\ r>0$.
\

Convergence in the space $\text{\tt RV}\,(D_{\uparrow,R},{\tt DF})$ is characterized by convergence of finite dimensional distributions ({\tt FDD}s) (see \cite{Kal02}):
\begin{align*}\tag*{{\tt FDD}}\label{FDD}&Z_n\xrightarrow[n\to\infty]{\text{\tt\tiny RV}\,(D_{\uparrow,R},{\tt DF})}\ Z\ \iff\ \ Z_n\xrightarrow[n\to\infty]{\text{\tt\tiny FDD}}\ Z
\ \ \ \text{\tt\large i.e.}:\\ &
(Z_n(t_1),Z_n(t_2),\dots,Z_n(t_k),Z_n(R))\xrightarrow[n\to\infty]{\text{\tt\tiny RV}\,(\Bbb R_+^{k+1})}\ (Z(t_1),Z(t_2),\dots,Z(t_k),Z(R))\\ &
\ \ \ \ \ \ \ \ \  \forall\ k\ge 1,\ (t_1,t_2,\dots,t_k)\in (0,R)^k\ \text{with}\ \Bbb P(Z(t_i)=Z(t_i-))=1;
\end{align*}
and $Z_n\xrightarrow[n\to\infty]{\text{\tt\tiny RV}\,(D_{\uparrow,\infty},{\tt DF})}\ Z$\ \ iff
  $Z_n|_{[0.R]}\xrightarrow[n\to\infty]{\text{\tt\tiny RV}\,(D_{\uparrow,R},{\tt DF})}\ Z|_{[0.R]}$
  $\forall\ R\in\Bbb R_+$ with $\Bbb P(Z(R)=Z(R-))=1$.

\subsection*{Distributional convergence to an a.s. continuous limit}\label{aslt}
\

It follows from the comparison remarks above (p. \pageref{Comparison}) that
\smallskip\f$\bullet\ \ \ $}\def\lfl{\lfloor}\def\rfl{\rfloor  convergence in $\text{\tt RV}\,(D_{\uparrow,R}, J_1)$ implies {\tt FDD} convergence;
\

and,
\smallskip\f$\bullet\ \ \ $}\def\lfl{\lfloor}\def\rfl{\rfloor {\tt FDD} convergence to an a.s. continuous  limit $Z$ with $Z(0)=0$ a.s. is sufficient for convergence  in $\text{\tt RV}\,(D_{\uparrow,R}, J_1)$ (\cite[Thm. VI.3.37]{Jacod-Shiryaev}). \footnote{\tiny However
convergence in $\text{\tt RV}\,(D_{\uparrow,R}, J_1)$ is not in general characterized by convergence of {\tt FDD}s even when the limit is continuous in probability as shown by the example in \cite[Problem 12.5]{Billingsley}.}

\

The  test functions used here to prove {\tt FDD} convergence to an a.s. continuous  limit include:
\subsection*{Product functions}
 A {\it product function} is a function  $\mathbb{g}_{\underline t}:D_{\uparrow,1}\to\Bbb R$ of form
\begin{align*}\tag*{\dsliterary}\label{dsliterary}
 \mathbb{g}_{\underline t}(\xi)=\prod_{\nu=1}^Ng_\nu(\xi(t_\nu))h(\xi(1)-\xi(t_N))
\end{align*}

where $\underline t=(t_1,t_2,\dots,t_N)$ with $0\le t_1<t_2<\dots<t_N<1$ and
 and $g_1,\dots,g_N,h\in C([0,\infty])_+$.
 \

 Denote $\Pi:=\{{\tt\small product\  functions}\}$.
 \

 It is standard to show that
 $\Pi\subset C_{B,c}(D_{\uparrow,1})$\label{cbc}, the collection of bounded, measurable functions on $D_{\uparrow,1}$  continuous at each $\xi\in D_{\uparrow,1}\cap C([0,1])$.
 \

Moreover, for $Z_n,\ Z\in\text{\tt RV}(D_{\uparrow,1})$,
 \begin{align*}\tag*{{\scriptsize\faAnchor}}\label{faAnchor}\Bbb E(&\mathbb{g}(Z_n))\xrightarrow[n\to\infty]{×}\Bbb E(\mathbb{g}(Z))\ \forall\ \mathbb{g}\in\Pi\\ &
 \implies\ Z_n\xrightarrow[n\to\infty]{\text{\tt\tiny FDD}}\ Z.
 \end{align*}

\subsection*{Self similarity, increment stationarity and their dynamics}\label{increment}
\

The space $D_{\uparrow,\infty}$ is naturally equipped with
\smallskip\f$\bullet\ \ \ $}\def\lfl{\lfloor}\def\rfl{\rfloor the {\it increment semiflow} $T_s:D_{\uparrow,\infty}\to D_{\uparrow,\infty}$ ($s\ge 0$) defined by
$T_sZ(t):=Z(s+t)-Z(s)$; and, for $\gamma>0$,
\

\smallskip\f$\bullet\ \ \ $}\def\lfl{\lfloor}\def\rfl{\rfloor for $\gamma>0$, the $\gamma$-{\it scalings} $\Delta_{a,\gamma}:D_{\uparrow,\infty}\to D_{\uparrow,\infty}$ ($a\ge 0$) defined by
$\Delta_{a,\gamma}Z:=\tfrac1{a^\gamma}Z\circ D_a$ with
$D_a(t):=at$.

\

For $\gamma> 0$, we call the  process $Z\in\text{\tt RV}\,(D_{\uparrow,\infty})$ $\gamma$-{\it self similar} (abbr. $\gamma$-{\tt ss}) if
$\Delta_{a,\gamma}Z\overset{d}=Z\ \forall\ a>0.$
\

Equivalently, $(D_{\uparrow,\infty},\text{\tt\small dist}\,Z,\Delta_{a,\gamma})$ is a {\tt PPT} $ \forall\ a>0$.

\

Also, we'll say that the process $Z\in\text{\tt RV}\,(D_{\uparrow,\infty})$ {\it has stationary increments} (abbr. {\tt si}) if
$T_sZ\overset{d}=Z\ \forall\ s>0$.
\

Equivalently,  $(D_{\uparrow,\infty},\text{\tt\small dist}\,Z,T_s)$ is a {\tt PPT} $ \forall\ s>0$.

\

A process with stationary increments which is $\gamma$-self similar  is labeled $\gamma$-{\tt sssi}.

\subsection*{Inverse process}\label{inverse}
\

The {\it inverse} of $\xi\in D_{\uparrow,\infty}$ with $\xi(\infty-)=\infty$
is $\mathcal{I}(\xi):=\xi^{-1}\in D_{\uparrow,\infty}$ defined by
$$\xi^{-1}(t):=\inf\,\{s>0:\ \xi(s)> t\}$$
\

If $Z\in\text{\tt RV}\,(D_{\uparrow,\infty})$ is $\gamma$-self similar with $\gamma>0$ and  $Z(\infty-)=\infty$ a.s., then $Z^{-1}$ is $\tfrac1\gamma$-self similar.
\subsection*{Waiting times}\label{waiting}
\

Define the {\it waiting time functionals}
$\mathcal{G},\ \mathcal{D}$ on $D_{\uparrow,\infty}$ as follows:
$$\mathcal G(\xi)(t):=\inf\,\{s\le t:\ \xi(s)=\xi(t)\}$$
so that $\mathcal G:D_{\uparrow,\infty}\to D_{\uparrow,\infty}$; and
$$\mathcal D(\xi)(t):=\sup\,\{s\ge t:\ \xi(s)=\xi(t)\}\le\infty.$$
If $\xi(\infty-)=\infty$, then $\mathcal D(\xi)\in D_{\uparrow,\infty}$.

\

\subsection*{Subordinators and Mittag-Leffler processes}
\

For $\gamma\in (0,1)$,
\smallskip\f$\bullet\ \ \ $}\def\lfl{\lfloor}\def\rfl{\rfloor the $\gamma$-{\it stable subordinator} is $\eta_\gamma\in\text{\tt RV}\,( D_{\uparrow,\infty})$, $\tfrac1\gamma$-{\tt ss} with positive, stationary, independent $\gamma$-stable increments so that
$$\Bbb E(\eta_\gamma^{-1}(1))=\Bbb E(\tfrac1{\eta_\gamma(1)^\gamma})=1;$$
\begin{align*}\tag*{$\bullet$}\label{ML}\text{the $\gamma$-{\it Mittag-Leffler {\tt ($\gamma$-ML)} process} is  $\frak m_\gamma=\eta_\gamma^{-1}$ and is $\gamma$-{\tt ss};}
 \end{align*}

\smallskip\f$\bullet\ \ \ $}\def\lfl{\lfloor}\def\rfl{\rfloor  the {\it tied down $\gamma$-{\tt ML}  process} is $\frak w_\gamma\in\text{\tt RV}\,( D_{\uparrow,1})$ defined
by
\begin{align*}\tag*{\Football}\label{Football}\frak w_\gamma(t):=\frac{\frak m_\gamma(\mathcal G(\frak m_\gamma)(1) t)}{\mathcal G(\frak m_\gamma)(1)^\gamma}=\Delta_{\mathcal G(\frak m_\gamma)(1),\gamma}\frak m_\gamma(t).
\end{align*}
 These processes $\frak{w}_\gamma$ for $0<\gamma\le\frac12$ correspond to the local time at zero of the {\tt\small symmetric $\frac1{1-\gamma}$-stable bridge}; and for $0<\gamma<1$, to the local time at zero of the {\tt\small  Bessel bridge of dimension} $2-2\gamma$ (see \S6).
 \subsection*{Almost sure continuity of the {\tt ML} processes}
 \

The stable subordinators $\eta_\gamma$ are strictly increasing a.s.;
 thus, a.s., $\frak m_\gamma=\eta_\gamma^{-1}$ is continuous (see e.g. the remark on p.8 of
 \cite{RevYor}); as is $\frak w_\gamma$  by \ref{Football}.

\subsection*{Pointwise dual ergodic transformations}
\

Let $(X,m,T)$   denote   a measure preserving transformation ({\tt MPT}) $T$ of the non-atomic, Polish measure space $(X,m)$ (where
$m$ is a $\sigma$-finite, non-atomic measure
defined  on the Borel subsets $\mathcal B}\def\A{\mathcal A(X)$ of $X$).
\

The associated {\it transfer operator} $\widehat T:L^1(m)\to L^1(m)$ is the predual of $f\mapsto f\circ T\ \ (f\in L^\infty(m))$, that is
$$\int_X\widehat T f gdm=\int_Xf g\circ Tdm\ \ \text{for}\ f\in L^1(m)\ \&\ g\in L^\infty(m).$$
\

The {\tt MPT} $(X,m,T)$ is called  {\it pointwise dual ergodic} if there is a sequence $a(n)=a_n(T)$ (the {\it return sequence} of $(X,m,T)$) so that
\begin{align*}\tag*{{\tt PDE}}\label{PDE}\frac1{a(n)}\sum_{k=0}^{n-1}\widehat T^kf\xrightarrow[n\to\infty]{}\ \int_Xfdm\ \text{a.e.}\ \forall\ f\in L^1(m).
\end{align*}

Pointwise dual ergodicity entails
\sbul {\tt conservativity} (aka  recurrence-- no non-trivial wandering sets);

\sbul{\tt ergodicity} (no non-trivial invariant sets) and

\sbul {\tt rational ergodicity} as defined in \cite[\S 3.8]{IET} (see also \ref{faTree} on p. \pageref{faTree}).

\subsection*{Stationary processes and skyscrapers}
\

A (discrete) {\it stationary process} ({\tt SP})   is a quadruple $(\Omega,\mu,\tau,\phi)$ where $(\Omega,\mu,\tau)$ is a probability preserving
transformation ({\tt PPT}) and $\phi:\Omega\to\Bbb X$ (some metric space) is measurable. The {\tt SP} $(\Omega,\mu,\tau,\phi)$ is called {\it ergodic} ({\tt ESP}) if
$(\Omega,\mu,\tau)$ is an ergodic  {\tt PPT} ({\tt EPPT})

For example if $(X,m,T)$ is a conservative {\tt MPT} ({\tt CMPT}) and $\Omega\in\mathcal F_+:=\{A\in B(X):\ \ 0<m(A)<\infty\}$\label{mathcalF}. The {\it return time function} to $\Omega$ is $\varphi=\varphi_\Omega:\Omega\to\mathbb N$ defined by
$\varphi(\omega):=\min\{n\ge 1:\ T^n\omega\in\Omega\}<\infty$ a.s. by conservativity.

The {\it induced transformation} on  $\Omega$ is $T_\Omega:\Omega\to\Omega$ defined by $T_\Omega(\omega):=T^{\varphi(\omega)}(\omega)$. As shown in
\cite{Kakutani}, $(\Omega,m_\Omega,T_\Omega)$ is a {\tt PPT} which, in case $X\overset{m}=\bigcup_{n\ge 0}T^{-n}\Omega$, is ergodic together with $(X,m,T)$. The $\Bbb N$-valued {\tt SP} $(\Omega,m_\Omega,T_\Omega,\varphi_\Omega)$
is called the {\it return time process} to $\Omega$.
\

As in \cite{Kakutani}, the {\it skyscraper}  over the $\Bbb N$-valued {\tt SP} $(\Omega,\mu,\tau,\phi)$ is the {\tt CMPT}
 $(X,m,T)=(\Omega,\mu,\tau)^\phi$ defined by
 \begin{align*}
 X:=\{(\omega,n)\in\Omega\times\Bbb N:\ &1\le n\le \phi(\omega)\},\ m:=\mu\times\#|_X\ \&\\ & T(\omega,n):=\begin{cases}& (\omega,n+1)\ \ n<\phi(\omega)\\ &
                                                                                (\tau(\omega),1)\ \ n=\phi(\omega).
                                                                                \end{cases}
\end{align*}

\

If $(X,m,T)$ is a {\tt CEMPT}, $\Omega\in\mathcal B}\def\A{\mathcal A(X),
\ 0<m(\Omega)<\infty$, then $(X,m,T)$ is a  factor of $(\Omega,m_\Omega,T_\Omega)^{\varphi_\Omega}$
    (isomorph if $(X,m,T)$ is  invertible) and
    the return time process of $(\Omega,m_\Omega,T_\Omega)^{\varphi_\Omega}$ to  $\Omega\times\{1\}$  is isomorphic with $(\Omega,\mu,\tau,\phi).$
    \

    In the sequel,  we'll identify $\Omega=\Omega\times\{1\}$ where this does not cause confusion.
\subsection*{Functional distributional limits}\ \ Let $(X,m,T)$ be a pointwise dual ergodic {\tt MPT} with $\gamma$-regularly varying return sequence
$a(n)=a_n(T)$ ($0<\gamma<1$).
\

By the functional Darling-Kac Theorem (\cite{Bin71,Ow-Sam}),
\begin{align*}\tag*{\dsrailways}\label{dsrailways}
\Psi_{n,f}\xrightarrow[n\to\infty]{\frak d}\ m(f)\frak m_\gamma\ \text{in}\ (D_{\uparrow,\infty},J_1)\ \forall\ f\in L^1_+
\end{align*}

 where $\Psi_{n,f}(t):=\tfrac{S_{\lfl nt\rfl}(f)}{a(n)}$ with $S_n(f):=\sum_{k=0}^{n-1}f\circ T^k$ is the {\it normalized Birkhoff-sum step function} and where ``$\xrightarrow{\frak d}$ in $\Xi$'' means distributional convergence in the metric space $\Xi$ with respect to all
$m$-absolutely continuous probabilities as obtained by Eagleson's theorem (\cite{Eagleson, TZ}).
\

By \cite{TK-cgce, TK-weak}, if $(\Omega,\mu,\tau,\phi)$ is an exponentially continued fraction mixing, $\Bbb R_+$-valued {\tt SP}, and $\frac1{\mu([\phi>t])}$ is $\gamma$-regularly varying with $0<\gamma<1$, then
with
$$a(t):=\frac1{\Gamma(1-\gamma)\Gamma(1+\gamma)
\mu([\phi>t])},$$
\begin{align*} \tag*{{\scriptsize\faMedkit}}\label{faMedkit}
 \Phi_n\xrightarrow[n\to\infty]{\frak d}\eta_\gamma \ \text{ in } \ (D_{\uparrow,\infty},J_1)
\end{align*}
 where
$\Phi_n(t):=\tfrac{\phi_{\lfl nt\rfl}}{a^{-1}(n)}$ with $\phi_k:=\sum_{j=0}^{k-1}\phi\circ\tau^j$.
\

In the sequel, we'll prove tied down versions of (\dsrailways) for {\tt CEMPT}s having (among other properties) a return time process satisfying ({\scriptsize\faMedkit}).

\section*{\S1 Results}
\subsection*{Tied down Mittag-Leffler processes}
\

The following propositions give characterizations of  $\frak w_\gamma$ defined by \ref{Football} (on p. \pageref{Football}):
\proclaim{Proposition C\ \ {\rm (characterization of  $\frak w_\gamma$)}}
\

\ For $\gamma\in (0,1)$,

\begin{align*}\tag*{\symbishop}\label{bishop}
\Bbb E(h(\frak w_\gamma))=\Bbb E(\int_0^1&h(\Delta_{t,\gamma}\frak m_\gamma)d\frak m_\gamma(t))\\ & \forall\ h\in C_{B}( D_{\uparrow,1}):=C_{B}( D_{\uparrow,1},J_1).\end{align*}
\vskip0.5em\par\noindent\rm
It follows by choosing $h(\xi)=H(\xi(1))$ ($H\in C_B(\Bbb R)$) in \ref{bishop}  that
$$\Bbb E(H(\frak w_\gamma(1)))=\Bbb E(\frak m_\gamma H(\frak m_\gamma(1)))\ \ \text{for}\ H\in C_B(\Bbb R).$$
\proclaim{Proposition D  {\rm ({\tt FDD}s of  $\frak w_\gamma$)} }
\

    \ \ For $\mathbb{g}_{\underline t}:D_{\uparrow,1}\to\Bbb R_+$ a  product function \footnote{\small\rm see \ref{dsliterary} on p. \pageref{dsliterary}}
 of form
\

$\mathbb{g}_{\underline t}(\xi)=\frak g(\xi)h(\xi(1)-\xi(t_N))$
\ where $\frak g(\xi):=\prod_{\nu=1}^Ng_\nu(\xi(t_\nu))$
\

with
$0\le t_1<t_2<\dots<t_N<1$ and $g_1,\dots,g_N,h\in C([0,\infty])_+$,
{\small\begin{align*}\tag*{\symqueen}\label{queen} \Bbb E(&\mathbb{g}_{\underline t}(\mathfrak w_\gamma))=\frak e_\gamma(\mathbb{g}_{\underline t})\\ &:= \Bbb E\biggl(\frak g(\frak m_\gamma)1_{[\mathcal D(\frak m_\gamma)(t_N)\le 1]}(\tfrac1{1-\mathcal D(\frak m_\gamma)(t_N)})^{1-\gamma}h\biggl((1-\mathcal D(\frak m_\gamma)(t_N))^\gamma W_\gamma \biggr)\biggr)
\end{align*}}where $W_\gamma\perp \frak m_\gamma$ and $W_\gamma\overset{d}=\frak w_\gamma$.
\vskip0.5em\par\noindent\rm
\subsection*{Examples: Renewal shifts}
\

Let $f\in\mathcal P(\Bbb N)$. The associated Bernoulli  map is
$$(\Omega,p,S):=(\Bbb N^\Bbb N,f^\Bbb N,\text{\tt shift}).$$
  The {\it renewal shift}
corresponding to $f$ is the Kakutani skyscraper
$$(X,m,T):=(\Omega,p,S)^\phi$$ where $\phi:\Omega\to\Bbb N$ is defined by $\phi(x):=x_1$.
\

The {\it renewal sequence} $(u(n):\ n\ge 0)$ corresponding  to $f$ is
\flushpar $u(n)=u_f(n):=m(\Omega\cap T^{-n}\Omega)$ and satisfies
$u(n)=\sum_{k=1}^nf_ku(n-k)$.
\

The base of the skyscraper  $\Omega$ (identified with $\Omega\times\{1\}\in\mathcal B}\def\A{\mathcal A(X)$)  is known
as the {\it recurrent event} of the renewal shift and the corresponding distribution $f$ is known as its {\it lifetime distribution}.
\

The renewal shift $(X,m,T)$ is a conservative, ergodic Markov shift, whence pointwise dual ergodic with return sequence \flushpar $a_n(T)=a(n)=a_f(n):=\sum_{k=1}^nu(k)$.
\

\

Now let $\gamma\in (0,1)$ and let $f\in\mathcal P(\Bbb N)$, then by Karamata's theorems
$$c(n):=p([\phi\ge n])=\sum_{k\ge n}f_k$$ is $(-\gamma)$-regularly varying iff $a(n)$ is $\gamma$-regularly varying and in this case,
$a(n)\propto\tfrac1{c(n)}$.\footnote{\label{propto}
Here and throughout, for $a_n,b_n>0,\ a_n\propto b_n$ means $\tfrac{a_n}{b_n}\xrightarrow[n\to\infty]{×}c\in\Bbb R_+$.}
\

\proclaim{ The Strong Renewal Theorem}
\

Let $f\in\mathcal P(\Bbb N)$ and let $a(n)$ be $\gamma$-regularly varying with $\gamma\in (0,1)$.

\sms{\rm (i)    (\cite{G-L,C-D})} If $f$ is non-arithmetic and $a(n)\gg\sqrt n$, then
\begin{align*}\tag{{\tt SRT}}\label{SRT}
 u(n)\ \ \sim\ \ \frac{\gamma a(n)}n.
\end{align*}
\sms{\rm (ii)   (\cite{C-D})}\
For each $\gamma$-regularly varying  $a(n)\ngg\sqrt n$, $\exists\ f\in\mathcal P(\Bbb N)$
 aperiodic with $a_f(n)\sim a(n)$ and for which   {\rm({\tt SRT})}  fails.

\sms{\rm (iii)  (\cite[Thm. B]{Doney97} -- see also \cite{Goue11})}
\

If $f$ is  aperiodic and $f_n\ll\tfrac{c(n)}n$\ \ \footnote{\label{ll}
Here and throughout, for $a_n,b_n>0,\ a_n\ll b_n$ means $\varlimsup_{n\to\infty}\tfrac{a_n}{b_n}<\infty$ and $a_n\sim b_n$ means $\tfrac{a_n}{b_n}\xrightarrow[n\to\infty]{×}1$.} , then {\rm(\ref{SRT})} holds.
\vskip0.5em\par\noindent\rm

For $(X,m,T)=(\Omega,p,S)^\phi$  a renewal shift,
write $$s_n:=S_n(1_\Omega)\ \&\ \psi_n(t):=\tfrac{s_{\lfl nt\rfl}}{a(n)}.$$
\proclaim{Proposition E}\
\

\ \ Let $(X,m,T)=(\Omega,p,S)^\phi$ be a renewal shift with aperiodic lifetime distribution
 $f\in\mathcal P(\Bbb N)$ so that
$a(n)$ is $\gamma$-regularly varying with $\gamma\in (0,1)$ and
satisfying {\rm(\ref{SRT})},
 then
 for $g\in C_B(D_{\uparrow,1})$,
\begin{align*}\tag*{\faBug}\label{faBug}
 \tfrac1{u(N)}\int_{\Omega\cap T^{-N}\Omega} g(\psi_{N})dm\xrightarrow[N\to\infty]{}\Bbb E(g(\frak w_\gamma)).
\end{align*}
\vskip0.5em\par\noindent\rm
Proposition E is a strengthening of the Strong Renewal Theorem   as in \cite{G-L, Doney97,Goue11, C-D}
and is a special case of Theorem U\ref{Industry} (below on p.\pageref{Industry}).

\

For the general, renewal shift with regularly varying $a(n)$, we have weighted Cesaro versions of \ref{faBug} as in Theorem U, \ref{umbrella} $\&$ \ref{knight}.

\subsection*{Gibbs-Markov sets and cylinders}\label{gmcyl}
\

Let  $(X,m,T)$ be a  {\tt CEMPT}. We'll call the set $\Omega\in\mathcal B}\def\A{\mathcal A(X),\ 0<m(\Omega)<\infty$  a {\it Gibbs-Markov set} if there is a countable partition $\alpha\subset\mathcal B}\def\A{\mathcal A(\Omega)$ so that
$(\Omega,m_\Omega,T_\Omega,\alpha)$ is a mixing Gibbs-Markov map (as in \cite{AD}) and the first return time $\varphi_\Omega:\Omega\to\Bbb N$ is $\alpha$-measurable. In this case, a $(n,\alpha)$-{\it cylinder} ($n\ge 1$) is a set of form
$$a=\bigcap_{j=0}^{n-1}T_\Omega^{-j}a_j$$ where  $a_0,\dots,a_{n-1}\in\alpha$. The collection of $(n,\alpha)$-cylinders  is $\alpha_n:=\bigvee_{j=0}^{n-1}T_\Omega^{-j}\alpha$ and the collection of cylinders is
$$\mathcal{C}_\alpha:=\bigcup_{n=1}^\infty\alpha_n.$$
\

\subsection*{Ergodic functional tied-down renewal properties}
\

These (i.e. \ref{umbrella} and \ref{knight} below) are functional analogues of the tied-down renewal mixing properties considered in \cite{A-Sera}.
\

   If the {\tt CEMPT} $(X,m,T)$ has a Gibbs-Markov set $\Omega$, then it is pointwise dual ergodic, whence rationally ergodic (with the same return sequence); and weakly mixing iff $\varphi_\Omega$ is non-arithmetic wrt $T_\Omega$. It is standard that these latter properties lift to the natural extension.
    \

\

By \cite[Proposition 1.1]{RatErg}, if $(X,m,T)$ is a rationally ergodic {\tt MPT}, then there is a dense, $T$-invariant, hereditary ring $R(T)\subset \mathcal F_+$ (as on p. \pageref{mathcalF}) and a sequence $a(n)=a_n(T)>0$ (the {\it return sequence}) so that
\begin{align*}\tag*{{\scriptsize \faTree}}\label{faTree}\tfrac1{a(n)}\sum_{k=0}^{n-1}m(A\cap T^{-k}B)
\xrightarrow[n\to\infty]{×}m(A)m(B)\ \forall\ A,B\in R(T).
\end{align*}
A {\tt MPT} $(X,m,T)$ satisfying \ref{faTree} is called (in \cite{RatErg}) {\it weakly rationally ergodic } (a {\tt WREMPT})

\

Our main results are integrated, functional versions of \cite[Theorem A]{A-Sera}.
\

In the following,   $\Psi_{n,f}(t):=\frac{S_{\lfl nt\rfl}(f)}{a(n)}$
($f\in L^1_+$).
 \proclaim{Theorem U}\label{thmU}
\

\smallskip\f$\bullet\ \ \ $}\def\lfl{\lfloor}\def\rfl{\rfloor Suppose that $(X,m,T)$ is a  pointwise dual ergodic  {\tt CEMPT} with $a(n)=a_n(T)\ \gamma$-regularly
 varying with $0<\gamma<1$, then

 with $u(n):=\tfrac{\gamma a(n)}n$,
 \begin{align*}\tag*{{\small\faUmbrella}}\label{umbrella}
\tfrac1{a(n)}\sum_{k=1}^n&\int_Ag(\Psi_{k,f})1_B\circ T^kdm\xrightarrow[n\to\infty]{}
m(A)m(B)\Bbb E(g(m(f)\frak w_\gamma))\\ & \forall\ A,\ B\in R(T),\ f\in L^1_+,\ g\in C_{B}( D_{\uparrow,1}).\end{align*}
\smallskip\f$\bullet\ \ \ $}\def\lfl{\lfloor}\def\rfl{\rfloor\ \ If, in addition, $(X,m,T)$ is weakly mixing and   has a Gibbs-Markov set $\Omega\in\mathcal{F}_+$, then
\begin{align*}\tag*{\symknight}\label{knight}
\tfrac1{a(n)}\sum_{k=1}^n&|\widehat T^{k}(1_Ag(\Psi_{k,f}))-u(k)m(A)\Bbb E(g(m(f)\mathfrak w_\gamma))|\\ & \xrightarrow[n\to\infty]{}\ 0\ \ \ \text{a.e.}\
\forall\ A\in\mathcal F_+,\ f\in L^1_+,\ g\in C_{B}( D_{\uparrow,1}).\end{align*}
\smallskip\f$\bullet\ \ \ $}\def\lfl{\lfloor}\def\rfl{\rfloor\  If, in addition $(\Omega,m_\Omega,T_\Omega,\alpha)$ satisfies
 \begin{align*}\tag{{\tt OSRT}}\label{OSRT}
	 \tfrac1{u(n)}\widehat T^{n}(1_A)
	 \xrightarrow[n\to\infty]{}\  m(A)\ \text{uniformly on}\ \Omega\  \forall\ A\in\mathcal C_\alpha,
\end{align*}
then
\begin{align*}\tag*{\Industry}\label{Industry}
	  \tfrac1{u(n)}\widehat T^{n}(1_Ag(&\Psi_{n,1_\Omega}))
	 \xrightarrow[n\to\infty]{} \mathbb{E}(g(\mathfrak w_\gamma))m(A)\ \ \text{uniformly on}\ \Omega\\ &   \forall\ A\in\mathcal C_\alpha,
	 g\in C_B(D_{\uparrow,1}).
\end{align*}
\vskip0.5em\par\noindent\rm
\flushpar{\bf Remarks}\ \
\

\sms {(i)}\ It is standard to show that if a non-invertible {\tt CEMPT} satisfies \ref{umbrella}, then so does its natural extension. Also, if $T$ satisfies \ref{knight}, then $T$ and its natural extension also satisfy
\begin{align*}
\tfrac1{a(n)}\sum_{k=1}^n&|\int_{A\cap T^{-k}B}g(\Psi_{k,f})dm-u(k)m(A)m(B)\Bbb E(g(m(f)\mathfrak w_\gamma))|\\ & \xrightarrow[n\to\infty]{}\ 0\ \ \ \
\forall\ A,\ B\in R(T),\ f\in L^1_+,\ g\in C_{B}( D_{\uparrow,1}).\end{align*}
\vskip0.5em\par\noindent\rm
\

\sms (ii)
The condition (\ref{OSRT}) for  $(\Omega,m_\Omega,T_\Omega,\alpha)$ was shown in \cite{MelTer} for $\tfrac12<\gamma<1$ (with no further assumptions) and in \cite{Goue11}
  for $0<\gamma<1$  under the additional assumption that the $\alpha$-measurable return time function $\varphi:\Omega\to\Bbb N$ is aperiodic and
 $m_\Omega([\varphi=n])\ll \tfrac{m_\Omega([\varphi\ge n])}n$.
 \

\subsection*{Examples: Intermittent interval maps}
 \

An {\tt\small intermittent interval map} satisfying  {\tt\small Thaler's conditions} as in \cite{Tha83}:
\sbul admits an absolutely continuous invariant
measure with density continuous away from the indifferent fixed points (\cite{Tha80});
\sbul admits {\tt\small wandering rates} (\cite[\S3]{Tha83});
\sbul is pointwise dual ergodic and
 has Gibbs-Markov  sets (\cite[Theorem 3]{RFEx}). See also \cite[Chapter 4]{IET}.
\

In particular, each map $T_\gamma:[0,1]\to [0,1]$ ($0<\gamma<1$) defined  by
\begin{align*}
	T_\gamma x
	=
	\begin{cases}
		x(1+(2x)^{1/\gamma}), &0\leq x<\frac{1}{2},
		\\
		2x-1, &\frac{1}{2}\leq x\leq 1
	\end{cases}
\end{align*}
 satisfies Thaler's conditions as above and indeed all  the assumptions of Theorem U.\footnote{and are aka
 ``{\tt LSV maps}'' having been  considered in \cite{LSV} for $\gamma>1$.}
 \

 Thus if  $h_\gamma$ is the $T_\gamma$-invariant density,  then $([0,1],\mu^\gamma, T_\gamma)$ is pointwise dual ergodic
 with  $d\mu^\gamma(x):=h_\gamma(x)dx$.
 \

 It follows from the regularly varying expansion near
the indifferent fixed point $0$ that the invariant density $h_\gamma$ for $T_\gamma$
 satisfies $h_\gamma(x)\propto  x^{-1/\gamma}$ as $x\to 0$, whence the  wandering rate $L_{T_\gamma}(n)\propto n^{1-\gamma}$ and the return sequence $a_n(T_\gamma)\propto n^{\gamma}$. Thus
 the functional Darling-Kac theorem holds.
\

The set
 $\Omega=[\frac{1}{2},1]$ is a Gibbs-Markov set for each $T_{\gamma}$ with respect to the return time partitions $\alpha_\gamma:=\{[\varphi_\gamma=n]\cap\Omega:\ n\ge 1\}$ (where
 $\varphi_\gamma(x):=\min\{j\ge 1:\ T_\gamma^j(x)\in\Omega\}$.  Moreover $\mu^\gamma_\Omega([\varphi_\gamma=n])\propto\tfrac1{n^{1+\gamma}}$
whence $(\Omega, \mu^\gamma_\Omega, (T_\gamma)_\Omega, \alpha)$ satisfies (\ref{OSRT}).
Therefore each $([0,1], \mu^\gamma, T_\gamma)$ satisfies all the assumptions of Theorem U.
\subsection*{Outline of Proofs}
\

The proofs of Propositions C, D, E and \ref{umbrella} in Theorem U, are interwined and use
\smallskip\f$\bullet\ \ \ $}\def\lfl{\lfloor}\def\rfl{\rfloor Proposition 4 which ``converts'' a distibutional limit to a tied down  limit; and

\smallskip\f$\bullet\ \ \ $}\def\lfl{\lfloor}\def\rfl{\rfloor Lemma 5 which gives tied down limits for well behaved renewal shifts.

 The  statement \ \ref{knight}\  in Theorem U will follow (in \S3) from
 the Uniform GL Lemma ((\ref{UGL}) on p. \pageref{UGL}).
\section*{\S2 Tied down Mittag-Leffler limits}

\proclaim{Proposition 4}\ \ Let $(X,m,T)$ be a {\tt WREMPT} \ \ \footnote{as in \ref{faTree} on p. \pageref{faTree}} with $\gamma$-regularly varying return sequence $a(n)=a_n(T)$  ($\gamma\in (0,1]$).
\

Suppose that \begin{align*}\tag*{\symrook}\label{rook}\Psi_{n,f}
\xrightarrow[n\to\infty]{\frak d}m(f)\text{\tt m}_\gamma\ \text{\rm in}\ (D_{\uparrow,\infty},J_1)\ \forall\ f\in L^1(m)_+\end{align*}
where
$\Psi_{n,f}(t):=\frac{S_{\lfl nt\rfl}(f)}{a(n)}$ and  $\text{\tt m}_\gamma\in\text{\tt RV}\,( D_{\uparrow,\infty})$
is a.s.continuous with $\text{\tt m}_\gamma(0)=0$, then

\begin{align*}\tag*{ \sympawn}\label{pawn}
\tfrac1{a(n)}\sum_{k=1}^n&\int_Ag(\Psi_{k,f})1_B\circ T^kdm\xrightarrow[n\to\infty]{}
m(A)m(B)\Bbb E(g(m(f)\text{\tt w}(\text{\tt m}_\gamma)))\\ & \forall\ A,\ B\in R(T),\ f\in L^1_+,\ g\in C_{B,c}( D_{\uparrow,1})\end{align*}
where $\text{\tt w}(\text{\tt m}_\gamma)\in\text{\tt RV}\,( D_{\uparrow,1})$
satisfies:
\begin{align*}\tag*{{\scriptsize\faBook}}\label{bcbook} \Bbb E(h(\text{\tt w}(\text{\tt m}_\gamma)))=\Bbb E(\int_0^1h(\Delta_{t,\gamma}\text{\tt m}_\gamma)d\text{\tt m}_\gamma(t))\ \forall\ h\in C_{B}( D_{\uparrow,1}).\end{align*}
\vskip0.5em\par\noindent\rm

\demo{Proof}\ \ We assume WLOG that $g=\mathbb{g}_{\underline t}\in\Pi$ (as in \ref{dsliterary} on p. \pageref{dsliterary}) with  $x\mapsto \log h(e^x)\ \&\ x\mapsto \log g_\nu(e^x)$ ($1\le\nu\le N$)  uniformly continuous.

\Par1\ \ We first show \
\ref{pawn} \ with $A=B=\Omega\in R(T)\ \&\ f=1_\Omega$. For convenience we assume $m(\Omega)=1$.
Fix $0<\mathcal E<1$.
\

Writing $s_n:=S_n(1_\Omega)\ \&\ \psi_n(t):=\Psi_{n,1_\Omega}(t)=\tfrac{s_{\lfl nt\rfl}}{a(n)}$, we have
 uniformly in $t\in [\mathcal E,1]$, with
$k=\lfl nt\rfl\ \&\ u\in (0,1)$, that
\begin{align*}\psi_k(u)&=\frac{s_{ku}}{a(k)}=\tfrac{s_{\lfl\lfl nt\rfl u\rfl}}{a(nt)}\\ &\sim \tfrac{s_{\lfl ntu\rfl}}{t^\gamma a(n)}
\\ &=
\tfrac{\psi_n(tu)}{t^\gamma}=:(\Delta_{t,\gamma}\psi_n)(u).
\end{align*}

Next,
\begin{align*}\tag*{\dsagricultural}\label{dsagricultural}\int_\mathcal E^1g(\Delta_{t,\gamma}\psi_n)d\psi_n(t)&\sim\sum_{\frac{k}n\in (\mathcal E,1)}
\int_{\frac{k}n}^{\frac{k+1}n}g(\Delta_{t,\gamma}\psi_n)d\psi_n(t)\\ &\sim
\tfrac1{a(n)}\sum_{\frac{k}n\in (\mathcal E,1)}g(\psi_k)1_\Omega\circ T^k.
\end{align*}

For $\xi\in  D_{\uparrow,1},\ 0<\mathcal E<1$
, let
$$\frak L_{g,\mathcal E}(\xi):=\int_\mathcal{E}^1g(\Delta_{t,\gamma}\xi)d\xi(t).$$
We claim that
\sms\  \ If  $\xi_n,\ \xi\in   D_{\uparrow,1}$ with $\xi$ continuous and  $\xi_n\xrightarrow[n\to\infty]{\text{\tt\tiny DF}}\ \xi$, then for
$0<\mathcal E<1$,
\begin{align*}\tag*{{\scriptsize\faCogs}}\label{faCogs}
 \frak L_{g,\mathcal E}(\xi_n)\xrightarrow[n\to\infty]{}\ \frak L_{g,\mathcal E}(\xi).
\end{align*}

\demo{Proof of \ref{faCogs} }\ Fix $0<\mathcal E<1$.
\

Since $\xi$ is continuous, so is each $\Delta_{t,\gamma}\xi$ ($t\in (0,1]$) whence  the mapping $t\mapsto \Delta_{t,\gamma}\xi$ is continuous $[\mathcal{E},1]\to (D_{\uparrow,1},J_1)$.
\

The collection $\{\Delta_{t,\gamma}\xi:\ t\in [\mathcal{E},1]\}$ is therefore compact in
$(D_{\uparrow,1},J_1)$  and for each $\epsilon>0,\ \exists\ \delta(\epsilon)>0$ so that
$$\zeta\in D_{\uparrow,1},\ t\in [\mathcal{E},1]:\ \sup_{s\in [0,1]}|\zeta(s)-\Delta_{t,\gamma}\xi(s)|<\delta(\epsilon)\  \Rightarrow\ |g(\zeta)-g(\Delta_{t,\gamma}\xi)|<\epsilon.$$
\

Thus, if  $\zeta\in D_{\uparrow,1}$ and   $\sup_{s\in [0,1]}|\zeta(s)-\xi(s)|<\delta(\epsilon)\mathcal{E}^\gamma$, then for each $t\in [\mathcal{E},1],\ s\in [0,1]$, we have
\begin{align*}|\Delta_{t,\gamma}\zeta(s)-\Delta_{t,\gamma}\xi(s)|\le\tfrac1{\mathcal{E}^\gamma}|\zeta(st)-\xi(st)|<
\delta(\epsilon)
\end{align*}
whence
$$\sup_{t\in [\mathcal{E},1]}|g(\Delta_{t,\gamma}\zeta)-g(\Delta_{t,\gamma}\xi)|<\epsilon.$$
Thus, since $\xi_n\xrightarrow[n\to\infty]{×}\xi$ uniformly on $[0,1]$,
$$\delta(\mathcal E,n):=\sup_{t\in [\mathcal E,1]}|g(\Delta_{t,\gamma}\xi_n)-g(\Delta_{t,\gamma}\xi)|\xrightarrow[n\to\infty]{×}0$$
and
\begin{align*}
 \int_{\mathcal{E}}^1g(\Delta_{t,\gamma}\xi_n)d\xi_n(t)=\int_{\mathcal{E}}^1g(\Delta_{t,\gamma}\xi)d\xi_n(t)\pm \delta(\mathcal{E},n)\xi_n(1).
\end{align*}
Next, since $t\mapsto g(\Delta_{t,\gamma}\xi)$ is continuous $[\mathcal E,1]\to \Bbb R$,
$$\int_{\mathcal{E}}^1g(\Delta_{t,\gamma}\xi)d\xi_n(t)\xrightarrow[n\to\infty]{}\int_{\mathcal{E}}^1g(\Delta_{t,\gamma}\xi)d\xi(t).$$
Thus
$$\frak L_{g,\mathcal E}(\xi_n)\xrightarrow[n\to\infty]{}\frak L_{g,\mathcal E}(\xi).\ \ \CheckedBox\ \text{\ref{faCogs}}$$
\

 In view of \ref{faCogs},  we now have by Skorokhod's Representation Theorem
(\cite[Thm. 6.7]{Billingsley})  and \ref{dsagricultural} that $\forall\ 0<\mathcal{E}<1$, in
$\text{\tt RV}(D_{\uparrow,1},J_1)$,
$$\tfrac1{a(n)}\sum_{\frac{k}n\in (\mathcal E,1)}g(\psi_k)1_\Omega\circ T^k\sim\frak L_{g,\mathcal E}(\psi_n)\xrightarrow[n\to\infty]{}\frak L_{g,\mathcal E}(\text{\tt m}_\gamma).$$
To complete the proof of \P1, we must establish the limits as $\mathcal{E}\to 0$.
\

To this end we claim that $\Bbb E(\text{\tt m}_\gamma(1))\le 1$. Indeed
\begin{align*}
 1&\xleftarrow[n\to\infty]{}\
 \int_\Omega\tfrac{s_n}{a(n)}dm\ \because\ \Omega\in R(T),\ m(\Omega)=1 \\ &\ge \int_\Omega(\tfrac{s_n}{a(n)}\wedge M)dm\ \forall\ M>0,\\ &
 \xrightarrow[n\to\infty]{}\Bbb E(\text{\tt m}_\gamma(1)\wedge M)\xrightarrow[M\uparrow\infty]{}
 \Bbb E(\text{\tt m}_\gamma(1)).
\end{align*}
In view of this, since $\text{\tt m}_\gamma$ is a.s. continuous $\&\ \text{\tt m}_\gamma(0)=0$,
by dominated convergence
$$\Bbb E(\text{\tt m}_\gamma(\mathcal{E}))\xrightarrow[\mathcal{E}\to 0+]{×}0,$$
whence
$$\Bbb E(\int_0^\mathcal{E}g(\Delta_{t,\gamma}\text{\tt m}_\gamma)d\text{\tt m}_\gamma)\le \|g\|_{C_B} \Bbb E(\text{\tt m}_\gamma(\mathcal{E}))\xrightarrow[\mathcal{E}\to 0+]{×}0.$$
Moreover, by the $\gamma$-regular variation of $a(n)$,
$$\tfrac1{a(n)}\sum_{\frac{k}n\in (0,\mathcal E)}\int_\Omega g(\psi_k)1_\Omega\circ T^kdm\lesssim
\|g\|_{C_B}\tfrac{a(n\mathcal E)}{a(n)}\sim\ \mathcal E^\gamma\|g\|_{C_B}.$$\footnote{Here and throughout, for $a_n,\ b_n>0,\
a_n\lesssim b_n$ means $\varlimsup_{n\to\infty}\frac{a_n}{b_n}\le 1$.}

\
This proves  \ref{pawn} with $A=B=\Omega\in R(T)\ \&\ f=1_\Omega$. \ \Checkedbox\ \P1

\

\Par2\ \ Next, we prove  \ref{pawn} for any $A,\ \Omega\in R(T)$ with $f=1_\Omega$.
\

Define $G_N:\Omega\to\Bbb R_+$ by
$$G_N:=\tfrac1{a(N)}\sum_{k=1}^Ng(\psi_k)1_\Omega\circ T^k,$$
then
\smallskip\f$\bullet\ \ \ $}\def\lfl{\lfloor}\def\rfl{\rfloor $\int_\Omega G_Ndm\xrightarrow[N\to\infty]{}\Bbb E(g(\text{\tt w}(\text{\tt m}_\gamma)))$ by \P1;
\smallskip\f$\bullet\ \ \ $}\def\lfl{\lfloor}\def\rfl{\rfloor $G_N\le \|g\|_{C_{B,c}}\tfrac{s_N}{a(N)}$, whence $\{G_N:\ N\ge 1\}$ is weakly, sequentially
compact in $L^1(F)\ \forall\ F\in R(T)$; and
\smallskip\f$\bullet\ \ \ $}\def\lfl{\lfloor}\def\rfl{\rfloor $G_N-G_N\circ T\xrightarrow[N\to\infty]{m}\ 0$.
\

Fix $F\in R(T),\ F\supset\Omega\cup A$. Suppose that $G_{N_k}\xrightarrow[k\to\infty]{}\ H$ weakly in $L^1(F)$,
then $H=H\circ T$ whence by ergodicity, $H$ is constant and
$$H=\int_\Omega Hdm\xleftarrow[k\to\infty]{}\int_\Omega G_{N_k}dm\xrightarrow[k\to\infty]{}\Bbb E(g(\text{\tt w}(\text{\tt m}_\gamma))).$$
Thus
$$G_N\xrightarrow[N\to\infty]{}\ \Bbb E(g(\text{\tt w}(\text{\tt m}_\gamma)))\ \text{weakly in }\ L^1(F)$$
which establishes \P2.

\

\Par3\ \ To finish, we show \ref{pawn} for any $A,\ \Omega\in R(T)$ and
$f\in L^1(m)_+$.
\

\demo{Proof of \P3}\label{pfP3} \ \
\

Fix $A,\ \Omega\in R(T)\ \&\ f\in L^1(m)_+$.

\

By the ratio  ergodic theorem and Egorov's theorem,

$\exists\ A_\nu\in\mathcal B}\def\A{\mathcal A(A),\ \ A_\nu\uparrow\ A$\  so that for each $\nu\ge 1$,
$$\tfrac{S_n(f)}{s_n}\xrightarrow[n\to\infty]{} \tfrac{m(f)}{m(\Omega)}\ \text{uniformly on}\ A_\nu$$
whence
$$\sum_{k=1}^n1_\Omega\circ T^kg(\Psi_{n,f})\sim\ \sum_{k=1}^n1_\Omega\circ T^kg( \tfrac{m(f)}{m(\Omega)}\psi_n)\ \text{uniformly on}\ A_\nu.$$
Thus
\begin{align*}\tfrac1{a(n)}&\sum_{k=1}^n\int_{A_\nu\cap T^{-k}\Omega}g(\Psi_{n,f})dm\\ &\approx\ \tfrac1{a(n)}\sum_{k=1}^n\int_{A_\nu\cap T^{-k}\Omega}g( \tfrac{m(f)}{m(\Omega)}\psi_{n})dm\\ &\xrightarrow[n\to\infty]{}
m(A_\nu)m(\Omega)\Bbb E(g(m(f)\text{\tt w}(\text{\tt m}_\gamma)))
\end{align*}\footnote{where $a_n\approx b_n$ means $a_n-b_n\xrightarrow[n\to\infty]{×}0$}
\

by \P2  and
\begin{align*}\big|\tfrac1{a(n)}&\sum_{k=1}^n\int_{A\cap T^{-k}\Omega}g(\Psi_{n,f})dm-m(A)m(\Omega)\Bbb E(g(m(f)\text{\tt w}(\text{\tt m}_\gamma)))\big|
 \\ &\lesssim\ \|g\|_{\infty}(\tfrac1{a(n)}\sum_{k=1}^nm(A\setminus A_\nu\cap T^{-k}\Omega)+m(A\setminus A_\nu)m(\Omega))\\ &\xrightarrow[n\to\infty]{}\ 2\|g\|_{\infty}m(A\setminus A_\nu)m(\Omega)\\ &
 \xrightarrow[\nu\to\infty]{}\ 0.\ \CheckedBox\ \P3
\end{align*}
This completes the proof of \ref{pawn}  and Proposition 4.\ \ \CheckedBox

\proclaim{Lemma 5}
\

\ \ Let $(X,m,T)=(\Omega,p,S)^\phi$ be a renewal shift with aperiodic lifetime distribution
 $f\in\mathcal P(\Bbb N)$ so that
$a(n)$ is $\gamma$-regularly varying with $\gamma\in (0,1)$ and
satisfying (\ref{SRT}) on p. \pageref{SRT},
then

 for $\mathbb{g}_{\underline t}\in\Pi$ a product function
as in \ref{dsliterary} {\rm (p. \pageref{dsliterary})},
\begin{align*}\tag*{\symking}\label{king}
 \tfrac1{u(N)}\int_{\Omega\cap T^{-N}\Omega} \mathbb{g}_{\underline t}(\psi_{N})dm\xrightarrow[N\to\infty]{}\frak e_\gamma(\mathbb{g}_{\underline t}).
\end{align*}
where  $\frak e_\gamma(\mathbb{g}_{\underline t})$ denotes the RHS of \ref{queen} on p. \pageref{queen}.\vskip0.5em\par\noindent\rm
\subsection*{Continuity of functionals}
\

The proofs  below  need  \cite[Section .5]{Toru-thesis}:

\

For  $\Phi=\mathcal{I},\ \mathcal{G}\circ\mathcal{I},\ \mathcal{D}\circ\mathcal{I}$ (as on p. \pageref{waiting}),
\begin{align*}\tag*{{\Large\smiley}}\label{Smi}  \text{If}\ \xi_n\xrightarrow[n\to\infty]{J_1}&\xi,\
\xi(0)=0,\ \xi\ \uparrow\ \text{strictly}\ \&\ \xi(\infty-)=\infty,\\ &  \text{then}\
    \Phi(\xi_n)\xrightarrow[n\to\infty]{J_1}\Phi(\xi).
\end{align*}

\subsection*{Proof of Lemma 5}\label{proofP5}
\

Let
\begin{align*}\tag*{\faThumbTack}\label{faThumbTack}
\Pi_0:=\{\mathbb{g}_{\underline t}\in\Pi:\ N\geq1,\ \underline t\in\Bbb{Q}^N_+,\ g_1,g_2,\dots,g_N,h\in \mathcal{A}\}
\end{align*}
where $\mathcal{A}\subset C([0,\infty],[0,1])$ is countable, dense, $\mathbb{1}\in\mathcal{A}$ and \flushpar $g\in\mathcal{A}\Rightarrow 1-g\in\mathcal{A}$.

We'll first establish that
\begin{align*}\tag*{\faFlash}\label{faFlash}
 \varliminf_{N\to\infty}\tfrac1{u(N)}\int_{\Omega\cap T^{-N}\Omega} \mathbb{g}_{\underline t}(\psi_{N})dm
 \ge\frak e_\gamma(\mathbb{g}_{\underline t})\ \forall\ \mathbb{g}_{\underline t}\in\Pi_0.
\end{align*}
To this end, define $Z_n(x):=\min\,\{k\ge n+1:\,T^kx\in\Omega\}$, then
$$\mathcal D(\psi_n)(t)=\tfrac1nZ_{\lfl nt\rfl}.$$
By \cite{TK-cgce},\ $\psi_n^{-1}\xrightarrow[n\to\infty]{\text{\tt\tiny RV}(D_{\uparrow,\infty},J_1)}\frak m_\gamma^{-1}$, whence by \ref{Smi} on p. \pageref{Smi}:
\begin{align*}\tag*{\dscommercial}\label{dscommercial}
(\psi_n,\mathcal D(\psi_n)(t_N))\xrightarrow[n\to\infty]{\text{\tt\tiny RV}((D_{\uparrow,\infty},J_1)\times\Bbb R_+)}(\frak m_\gamma,\mathcal D(\frak m_\gamma)(t_N))
\end{align*}

Next, writing $\kappa:=\lfl nt_N\rfl$,
\begin{align*}1_\Omega\mathbb{g}_{\underline t}(\psi_n)1_\Omega  \circ T^n&=
\sum_{k=\kappa+1}^n1_\Omega\mathbb{g}_{\underline t}(\psi_n)1_{[Z_\kappa=k]}1_\Omega  \circ T^n\\ &=
\sum_{k=\kappa+1}^n1_\Omega\frak g(\psi_n)1_{[Z_\kappa=k]}1_\Omega\circ T^k h(\tfrac{s_{n-k}\circ T^k}{a(n)})1_\Omega  \circ T^n.
\end{align*}

Fix $\l\in (t_N,1)$. Using the Markov property, we have

\begin{align*}\int_{\Omega\cap T^{-n}\Omega}\mathbb{g}_{\underline t}(\psi_n)dm&=
\sum_{k=\kappa+1}^n\int_\Omega \frak g(\psi_n)1_{[Z_\kappa=k]}dm\int_\Omega h(\tfrac{s_{n-k}\circ T^k}{a(n)})1_\Omega  \circ T^{n-k}dm\\ &\ge
\sum_{\kappa+1\le k\le n\l }
\\ &=:I_n(\l).
\end{align*}
To establish \ref{faFlash}, we'll show that $\exists\ L:(t_N,1)\to\Bbb R_+$ so that
\begin{align*}&\tag*{{\Large\Chair}}\label{Chair} \tfrac{I_n(\l)}{u(n)}\xrightarrow[n\to\infty]{×}L(\l)\xrightarrow[\l\to 1-]{×}\frak e_\gamma(\mathbb{g}_{\underline t}).
\end{align*}
\demo{Proof of \Chair}
\

By  (\ref{SRT})
on p. \pageref{SRT}, $m(\Omega\cap T^{-n}\Omega)= u(n)\sim\tfrac{\gamma a(n)}n$, whence by \cite[lemma 2.1]{A-Sera} and the ``remarks about mixing'' there, \ \
\begin{align*}\tag*{\faRocket}\label{faRocket}
\int_{\Omega\cap T^{-n}\Omega} h(\tfrac{S_n(1_\Omega)}{a(n)})dm= \int_{\Omega\cap T^{-n}\Omega} h(\psi_{n}(1))dm\sim \Bbb E(h( W_\gamma ))\cdot u(n).
\end{align*}

For $\rho>1$, fix  $K=K_\rho\ge 1$ so that
$$\int_{\Omega\cap T^{-N}\Omega}h(\psi_{N}(1))dm=\rho^{\pm 1} \Bbb E(h( W_\gamma ))\cdot u(N)\ \forall\ N\ge K,$$
then for fixed $\l\in (t_N,1)\ \&\ n\ge \tfrac{K}{1-\l}$,
\begin{align*}I_n(\l)&=\rho^{\pm 1}
\sum_{\kappa+1\le k\le n\l }\int_\Omega \frak g(\psi_n)1_{[Z_\kappa=k]}dm\cdot \Bbb E(h((1-\tfrac{k}n)^\gamma W_\gamma))u(n-k)\\ &=
\rho^{\pm 1}\sum_{\kappa+1\le k\le n\l }\int_\Omega \frak g(\psi_n)1_{[Z_\kappa=k]}dm\cdot (\tfrac1{1-\frac{k}n})^{1-\gamma}\Bbb E(h((1-\tfrac{k}n)^\gamma W_\gamma))u(n)\\ &=
\rho^{\pm 1}\int_\Omega \frak g(\psi_n)1_{[Z_\kappa\le n\l ]}(\tfrac1{1-\mathcal D(\psi_n)(t_N)})^{1-\gamma} \Bbb E(h((1-\mathcal D(\psi_n)(t_N))^\gamma W_\gamma))dm\cdot u(n).
\end{align*}
By \ref{dscommercial} on p. \pageref{dscommercial},
\begin{align*}
\int_\Omega &\frak g(\psi_n)1_{[Z_\kappa\le n\l ]}(\tfrac1{1-\mathcal D(\psi_n)(t_N)})^{1-\gamma}\cdot \Bbb E(h((1-\mathcal D(\psi_n)(t_N))^\gamma W_\gamma))dm\\ &\xrightarrow[n\to\infty]{×}\Bbb E\(\frak g(\frak m_\gamma)1_{[\mathcal D(\frak m_\gamma)(t_N)\le \l]}(\tfrac1{1-\mathcal D(\frak m_\gamma)(t_N)})^{1-\gamma}h((1-\mathcal D(\frak m_\gamma)(t_N))^\gamma W_\gamma) \)
\\ &=:L(\l)\xrightarrow[\l\to 1-]{×}\frak e_\gamma(\mathbb{g}_{\underline t})\ \ \text{establishing \ref{Chair}.\ \ \CheckedBox}.
\end{align*}
\demo{Proof of}\ \ref{king}
\

Evidently  \ref{faFlash} (on p. \pageref{faFlash})  holds  $\forall\ g\in\Pi_1$ where
\begin{align*}\tag*{\faLock}\label{faLock}
\Pi_1:=\{\sum_{m=1}^M \mathbb{g}^{(m)}:\ M\geq1,\  \mathbb{g}^{(1)},\mathbb{g}^{(2)},\dots\mathbb{g}^{(M)}\in \Pi_0\}
\end{align*}
and where $\frak e_\gamma(\sum_{m=1}^M \mathbb{g}^{(m)}):=\sum_{m=1}^M \frak e_\gamma(\mathbb{g}^{(m)})$.
\

Moreover, $\mathbb{g}_{\underline t}\in \Pi_0 \Rightarrow 1-\mathbb{g}_{\underline t}\in \Pi_1$ because, for $\mathbb{g}_{\underline t}\in \Pi_0$ and $\xi\in D_{\uparrow,1}$,
\begin{align*}
  1-\mathbb{g}_{\underline t}(\xi)=1-\prod_{j=1}^Ng_j\cdot h=
  \sum_{k=1}^N(1-g_k)\prod_{k<j\le N}g_jh+1-h
\end{align*}
where $g_k:=g_k(\xi(t_k))\ \&\ h:=h(\xi(1)-\xi(t_N)).$

For $\mathbb{g}_{\underline t}\in\Pi_0$, we have on $\Omega$:

\begin{align*}
\frak e_\gamma(\mathbb{g}_{\underline t}) &\lesssim \tfrac1{u(n)}\widehat T^{n}(1_\Omega\mathbb{g}_{\underline t}(\psi_{n})) \ \text{by\ (\ref{faFlash})}\\ &
=\tfrac1{u(n)}\widehat T^{n}(1_\Omega)-\tfrac1{u(n)}\widehat T^{n}(1_\Omega(1-\mathbb{g}_{\underline t}(\psi_{n})))\\ &
=
1-\tfrac1{u(n)}\widehat T^{n}(1_\Omega(1-\mathbb{g}_{\underline t}(\psi_{n}))) \ \because\ \widehat T^n1_\Omega=u(n)\ \text{on}\ \Omega
 \\
 &\lesssim 1-\frak e_\gamma(1-\mathbb{g}_{\underline t}) \ \text{by\  \ref{faFlash}}
 \\
 &=\frak e_\gamma(\mathbb{g}_{\underline t}).
\end{align*}

This proves \ref{king} and Lemma 5.\ \ \Checkedbox

\

Proposition E follows from Lemma 5 and Proposition D.
\demo{Proof of Propositions C and D}
\

Fix $\gamma\in (0,1)$.  Let, as in Lemma 5, $(X,m,T)=(\Omega,p,S)^\phi$ be a renewal shift with aperiodic lifetime distribution
 $f\in\mathcal P(\Bbb N)$ so that
$a(n)$ is $\gamma$-regularly varying with $\gamma\in (0,1)$ and which satisfies (\ref{SRT}).

Let
$$\psi_n(t):=\tfrac{s_{[nt]}}{a(n)},\ s_n:=S_n(1_\Omega),\ g_n(x):=\mathcal G(\psi_n)(1)(x)=\tfrac{z_n}n,\ z_n:=\max\{k\le n:\ T^kx\in\Omega\}.$$

By \cite{TK-cgce,TK-weak},  (see \ref{faMedkit} on p. \pageref{faMedkit}),
$$\psi_n^{-1}\xrightarrow[n\to\infty]{\text{\tiny\tt RV}(D_{\uparrow,\infty},J_1)}\eta_\gamma=\frak m_\gamma^{-1}.$$
Thus  by \ref{Smi} on p. \pageref{Smi}, $(\psi_n,g_n)\xrightarrow[n\to\infty]{\text{\tt\tiny RV}((D_{\uparrow,\infty},J_1)\times\Bbb R_+)}(\frak m_\gamma,\mathcal G(\frak m_\gamma)(1))$ whence
$$(\Delta_{g_n,\gamma}\psi_n)1_{[g_n\ne 0]}\xrightarrow[n\to\infty]{\text{\tiny\tt RV}(D_{\uparrow,1},J_1)}\Delta_{\mathcal G(\frak m_\gamma)(1),\gamma}\frak m_\gamma=:\frak w_\gamma$$
and for  for $\mathbb{g}_{\underline t}\in\Pi_0$
as in \ref{faThumbTack} on p. \pageref{faThumbTack},
\begin{align*}\Bbb E(\mathbb{g}_{\underline t}(\frak w_\gamma))&\xleftarrow[n\to\infty]{}
\int_{\Omega\cap [\varphi\le n]} \mathbb{g}_{\underline t}(\Delta_{g_n,\gamma}\psi_n)dm
\\ &=
\sum_{k=1}^n\int_\Omega \mathbb{g}_{\underline t}(\Delta_{\frac{k}n,\gamma}\psi_n)1_{[z_n=k]} dm\\ &=
\sum_{k=1}^n\int_\Omega \mathbb{g}_{\underline t}(\tfrac{a(k)}{a(n)}(\tfrac{n}{k})^\gamma\psi_k)1_{\Omega\cap [\varphi>n-k]}\circ T^k dm\\ &\sim
\sum_{k=1}^n\int_\Omega \mathbb{g}_{\underline t}(\psi_k)1_{\Omega}\circ T^k dm\cdot c(n-k).
\\ &\sim C(n)\frak e_\gamma(\mathbb{g}_{\underline t})\ \text{by \ref{king} on p. \pageref{king}\ with}\
C(n)=m(\Omega\cap [\varphi\le n])
\\ &\xrightarrow[n\to\infty]{×}\frak e_\gamma(\mathbb{g}_{\underline t}) \ \
.\ \ \CheckedBox\ \text{ Propositions D $\&$ E.}
 \end{align*}

To establish Proposition C, recall that
 $\psi_n\xrightarrow[n\to\infty]{\text{\tiny\tt RV}(D_{\uparrow,\infty},J_1)}\frak m_\gamma$,
 whence by Proposition 4 (\ref{pawn} on p. \pageref{pawn}), for $ h\in C_B(D_{\uparrow,1})$,
$$\sum_{k=1}^n\int_\Omega h(\psi_k)1_{\Omega}\circ T^k dm\sim \Bbb E(h(\text{\tt w}(\frak m_\gamma)))a(n)\ \text{ as $n\to\infty$};$$
whereas by Proposition E,
$$\int_\Omega h(\psi_k)1_{\Omega}\circ T^k dm\sim u(k)\Bbb E(h(\frak w_\gamma)),$$
and (since $a(n)\sim\sum_{k=1}^n u(k)$),
 $$\frak w_\gamma\ \overset{\tiny d.}=\ \text{\tt w}(\frak m_\gamma)$$
 proving Proposition C.\ \CheckedBox

 \

 We conclude this section with the:
\demo{Proof of Theorem U \ref{umbrella}}
\

By the functional Darling-Kac theorem (\cite{Bin71,Ow-Sam}), \ref{rook} (on p. \pageref{rook}) is satisfied with $\text{\tt m}_\gamma=\frak m_\gamma$. By Propositions 4 and C, \ref{bcbook} holds with $\text{\tt w}_\gamma(\frak m_\gamma)=\frak w_\gamma$. This proves \ref{umbrella}.\ \ \CheckedBox
\section*{\S3  Tied down occupation times}
\

In this section, we prove Theorem U \ref{knight}\ $\&$\ \ref{Industry}.

\

We'll use the following   Uniform  GL Lemma, which
generalizes \cite[Lemma 2.2.1]{G-L}.
\proclaim{Uniform  GL Lemma}
\

 For every $C=[c,d]\subset\Bbb R_+,\ \exists\ \Delta_n\downarrow 0$ so that
 for $h\in L_\alpha(T_\Omega),\ g\in C_B(\Bbb R),\ g, h\ge 0$,
 on $\Omega$,
\begin{align*}\tag{{\tt UGL}}\label{UGL}\tfrac1{u(n)}\widehat T^n&(hg(\tfrac{S_n(1_\Omega)}{a(n)}))\ge\\ &
{m_\Omega}(h)\mathbb E(g(W_\gamma)1_C(W_\gamma)))-\Delta_n\|g\|_{C_B}\|h\|_{L_\alpha}.
\end{align*}
\vskip0.5em\par\noindent\rm
We'll prove (\ref{UGL}) in the next section using ``{\tt operator renewal theoretic}'' techniques as in
\cite{OS-sub,Goue11,MelTer}.

\

We'll also use the

\

\proclaim{Gibbs Markov distortion lemma}
\

Suppose that $(Y,\mu,\tau,\alpha)$ is a  Gibbs-Markov map, then
$\exists\ M>0$ so that
\begin{align*}\tag*{\PointingHand}\label{PointingHand}\widehat{\tau}^n(F)= M^{\pm 1}\|F\|_1 \ \text{on}\ \Omega\  \forall\ n\ge 1,\ F\in L^1(Y,\sigma(\alpha_n),\mu)_+;
\end{align*}
\begin{align*}\tag*{\faMapMarker}\label{faMapMarker}\|\widehat{\tau}^n(F)\|_{L_\alpha}\le M\|F\|_1 \ \ \forall\ n\ge 1,\ F\in L^1(Y,\sigma(\alpha_n),\mu).
\end{align*}
\vskip0.5em\par\noindent\rm
\demo{Proof}
By the Gibbs-Markov property, $\exists\ C>1,\ r\in (0,1)$ so that
$$|\log v_a'(x)-\log v_a'(y)|\ \le\  Cr^{t(x,y)}\ \ \ \forall\ n\ge 1,\ a\in\alpha_n,\ x,y\in \tau^na$$
whence
$$v_a'(x)=C^{\pm 1}\tfrac{\mu(a)}{\mu(\tau^na)}=C^{\prime\pm 1}\mu(a)\ \forall\ a\in \alpha_n,\ x\in \tau^na$$
where $C'=\tfrac{C}{\min_{a\in \alpha}\mu(Ta)}$; and
$$|v_a'(x)-v_a'(y)|\le CC'\mu(a)r^{t(x,y)}\ \ \ \forall\ a\in \alpha_n,\ x,y\in \tau^na.$$
Thus for $F:\Omega\to\Bbb R\ \alpha_n$-measurable, non-negative,
\begin{align*}
 &\widehat{\tau}^n(F)(x)=\sum_{a\in\alpha_n}F(a)v_a'(x)=C^{\prime\pm 1}\int_YFd\mu\ \&\\ & \|\widehat{\tau}^n(F)\|_{L_\alpha}\le \sum_{a\in\alpha_n}|F(a)|\|v_a'\|_{L_\alpha}\le 2CC'\sum_{a\in\alpha_n}\mu(a)|F(a)|. \ \CheckedBox\
\end{align*}

\subsection*{Proof of Theorem U {\tt ctd}}: \ \ref{knight} \ $\&$\ \ref{Industry}
\

Let $\Omega\in\mathcal B}\def\A{\mathcal A(X)$ be the Gibbs-Markov set with $m(\Omega)=1$ and return time function $\varphi:\Omega\to\Bbb N$.
\

Let $(\Omega,m_\Omega,T_\Omega,\alpha)$ be the corresponding Gibbs-Markov map and let
\begin{align*}
 \psi_n(t):=\tfrac{s_{[nt]}}{a(n)},\ s_n:=S_n(1_\Omega),
 \ Z_n:=\min\{k\ge n+1:\ T^kx\in\Omega\}.
\end{align*}
It suffices to establish \ref{knight} with $g=\mathbb{g}_{\underline t}\in \Pi_0$  (as defined by \ref{faThumbTack} on p. \pageref{faThumbTack}).
We claim that for this, it suffices to show
\begin{align*}\tag*{\dstechnical}\label{dstechnical}
 \widehat T^{n}(1_A\mathbb{g}_{\underline t}(\psi_{n}))\ &  \gtrsim \  \Bbb E(\mathbb{g}_{\underline t}(\mathfrak w_\gamma))m(A)u(n)\\ &
 \text{uniformly on}\ \Omega \  \forall\ A\in\mathcal C_\alpha\ \&\ \mathbb{g}_{\underline t}\in\Pi_0
\end{align*}
where $g=\mathbb{g}_{\underline t}\in \Pi_0$  (as defined by \ref{faThumbTack} on p. \pageref{faThumbTack}).

\

Note that \ref{dstechnical} is an extension of \ref{faFlash} on p \pageref{faFlash}
and similarly extends to hold  $\forall\ g\in\Pi_1$  (as defined by \ref{faLock} on p. \pageref{faLock}). \

\

Assume \ref{dstechnical} \ (whose proof is given on p.\pageref{pfdstechnical}),  then \ref{knight} with $f=1_\Omega$ and $A\in\mathcal{C}_\alpha$ follows from \cite[Prop. 4.2]{RatWM} via
\begin{align*}\tag*{\faCog}\label{faCog}
 \tfrac1{a(N)}\sum_{n=1}^N\widehat T^{n}(&1_A\mathbb{g}_{\underline t}(\psi_{n}))\ \xrightarrow[N\to\infty]{}\  \Bbb E(\mathbb{g}_{\underline t}(\mathfrak w_\gamma))m(A)\\ &
 \text{a.e. on}\ \Omega \  \forall\ A\in\mathcal C_\alpha\ \&\ \mathbb{g}_{\underline t}\in\Pi_0.
\end{align*}
To extend\ \ref{knight} to hold $\forall\ f\in L^1_+\ \&\ A\in\mathcal{F}_+$, apply the argument in \cite[Proof of Theorem A:  finish]{A-Sera}.\ \ \CheckedBox\ \ref{knight}
\subsection*{Remark}
\

 Suppose that $t\in [0,1] \mapsto\mathbb{f}^{(t)}\in L^1(m)_+$ and set
$\Psi_{n,\mathbb{f}}(t):=\frac{S_{\lfl nt\rfl}(\mathbb{f}^{(t)})}{a(n)}$.
\

Variations of  the argument in \cite[Proof of Theorem A:  finish]{A-Sera} show that under the assumptions
of Theorem U \ref{umbrella} and \ref{knight} respectively, we have for $g\in\Pi$ that
\begin{align*}\tag*{{\faCloud}}
\tfrac1{a(n)}\sum_{k=1}^n&\int_Ag(\Psi_{k,\mathbb{f}})1_B\circ T^kdm\xrightarrow[n\to\infty]{}
m(A)m(B)\Bbb E(g(m(\mathbb{f})\frak w_\gamma))\\ & \forall\ A,\ B\in R(T)\end{align*} where $m(\mathbb{f})\frak w_\gamma\in\text{\tt RV}(\Bbb R_+^{[0,1]}),\ t\mapsto m(\mathbb{f}^{(t)})\frak w_\gamma(t)$; and
\begin{align*}\tag*{{\scriptsize\BlackKnightOnWhite}}
\tfrac1{a(n)}\sum_{k=1}^n&|\widehat T^{k}(1_Ag(\Psi_{k,\mathbb{f}}))-u(k)m(A)\Bbb E(g(m(\mathbb{f})\mathfrak w_\gamma))|\\ & \xrightarrow[n\to\infty]{}\ 0\ \ \ \text{a.e.}\
\forall\ A\in\mathcal F_+.\end{align*}
\demo{Proof of \ref{faCog}\  given \ref{dstechnical} }
\

Let $g\in \Pi_0$, then $1-g\in \Pi_1$ and by \ref{dstechnical} (extended to $\Pi_1$) and  pointwise dual ergodicity, a.e.\ on $\Omega$,
\begin{align*}
 \mathbb{E}(g(\mathfrak w_\gamma))m(A)
 &\lesssim
 \tfrac1{a(N)}\sum_{n=1}^{N}\widehat T^{n}(1_Ag(\psi_{n}))
 \\
 &=
 \tfrac1{a(N)}\sum_{n=1}^{N}\widehat T^{n}(1_A-1_A(1-g(\psi_{n})))
 \\
 &\lesssim m(A)-\mathbb{E}(1-g(\mathfrak w_\gamma))m(A)
 \\
 &=\mathbb{E}(g(\mathfrak w_\gamma))m(A),
\end{align*}
which implies \ref{faCog} for $g\in \Pi_0$.

\

Since $\psi_n\in D_{\uparrow,1}$ and $\mathfrak w_\gamma$ is continuous a.s., the convergence \ref{faCog} also holds for $g\in C_{B}(D_{\uparrow, 1})$. \ \CheckedBox

\

\demo{Proof of Theorem U\ \ref{Industry} \ given \ref{dstechnical}}

Let $g\in \Pi_0$, then $1-g\in \Pi_1$. By \ref{dstechnical}\ and (\ref{OSRT}), for $A\in\mathcal{C}_\alpha$, uniformly \ on $\Omega$,
\begin{align*}
 \mathbb{E}(g(\mathfrak w_\gamma))m(A)
 &\lesssim
 \tfrac1{u(n)}\widehat T^{n}(1_Ag(\psi_{n}))
 \\
 &=
 \tfrac1{u(n)}\widehat T^{n}(1_A)-\tfrac1{u(n)}\widehat T^{n}(1_A(1-g(\psi_{n})))
 \\
 &\lesssim m(A)-\mathbb{E}(1-g(\mathfrak w_\gamma))m(A)
 \\
 &=\mathbb{E}(g(\mathfrak w_\gamma))m(A).
\end{align*}
Therefore we obtain the desired uniform convergence for $g\in \Pi_0$. This convergence also holds for $g\in C_B(D_{\uparrow, 1})$ since $\mathfrak w_\gamma$ is a continuous process.
\CheckedBox

\demo{\bf Proof of \ref{dstechnical}}\label{pfdstechnical}\footnote{ on p. \pageref{dstechnical}}

The rest of this section is devoted to a proof of  \ref{dstechnical}
given the uniform GL lemma which enables a suitable
 modification of the proof of \ref{faFlash} (p. \pageref{faFlash})
 without using a Markov property.

\

Again writing $\kappa:=\lfl nt_N\rfl$, fix $A\in \alpha_J$, then
\begin{align*}1_A \mathbb{g}_{\underline t}(\psi_n)&=\sum_{k=\kappa+1}^n1_A \mathbb{g}_{\underline t}(\psi_n)1_{[Z_\kappa=k]}\\ &=
\sum_{k=\kappa+1}^n1_A\frak g(\psi_n)1_{[Z_\kappa=k]}1_\Omega\circ T^k h(\psi_{n}(1)-\psi_n(t_N))\\ &=
\sum_{k=\kappa+1}^n1_A\frak g(\psi_n)1_{[Z_\kappa=k]}1_\Omega\circ T^k h(\tfrac{s_{n-k}\circ T^k}{a(n)});
\end{align*}
and

\begin{align*}\tag*{\dsheraldical}\label{dsheraldical}\widehat T^{n}(1_A&\mathbb{g}_{\underline t}(\psi_n))=
\\ &=\sum_{k=\kappa+1}^n\widehat T^n\big(1_A\frak g(\psi_n)1_{[Z_\kappa=k]}1_\Omega\circ T^k h(\tfrac{a(n-k)}{a(n)}\tfrac{s_{n-k}\circ T^k}{a(n-k)})\big)
\\ &=\sum_{k=\kappa+1}^n\widehat T^{n-k}\big(\widehat T^k(1_A\frak g(\psi_n)1_{[Z_\kappa=k]})1_\Omega h(\tfrac{a(n-k)}{a(n)}\tfrac{s_{n-k}}{a(n-k)})\big).\end{align*}

Next, for fixed $ \kappa+1\le k\le n$, define on $\Omega$,
\begin{align*}G_{k,n}&:=\widehat T^k(1_A\frak g(\psi_n)1_{[Z_\kappa=k]})\\ &=
\sum_{\ell=1}^k\widehat T_\Omega^\ell(1_A\frak g(\psi_n)1_{[\varphi_\ell=Z_\kappa=k]})
\end{align*} where $\varphi_\ell:=\sum_{k=0}^{\ell-1}\varphi\circ T_\Omega^j$.
\

We claim that $\exists\ C^{\prime\prime}>0$ so that
\begin{align*}\tag*{{\scriptsize\faPaw}}\label{faPaw}\|G_{k,n}\|_{L_\alpha}\le C^{\prime\prime}\|\frak g\|_{C_B} m_\Omega([Z_\kappa=k])\ \forall\  \kappa+1\le k\le n.
\end{align*}
\demo{Proof of \ref{faPaw}}\ \
For $\kappa>J$,
$$F_{k,\ell,n}:=1_A\frak g(\psi_n)1_{[\varphi_\ell=Z_\kappa=k]}$$

is $\alpha_\ell$-measurable and by \ref{faMapMarker} (p. \pageref{faMapMarker}), $G_{k,\ell,n}:=\widehat T_\Omega^\ell F_{k,\ell,n}\in L_\alpha$ with
$$\|G_{k,\ell,n}\|_{L_\alpha}\le C^{\prime\prime} m_\Omega(|F_{k,\ell,n}|)\le
C^{\prime\prime} \|\frak g\|_{C_B} m_\Omega([\varphi_\ell=Z_\kappa=k]).$$
where $\|\frak g\|_{C_B}:=\sup_{\xi\in D_{\uparrow,R}}|\frak g(\xi)|$.
Thus
\begin{align*
\|G_{k,n}\|_{L_\alpha}&\le\sum_{\ell=1}^k\|G_{k,\ell,n}\|_{L_\alpha}\le
C^{\prime\prime}\sum_{\ell=1}^k \|\frak g\|_{C_B} m_\Omega([\varphi_\ell=Z_\kappa=k])\\ &=C^{\prime\prime}\|\frak g\|_{C_B} m_\Omega([Z_\kappa=k]).\ \ \CheckedBox\ \ \text{\ref{faPaw}}
\end{align*}

Fix $C=[c,d]\subset\Bbb R_+$.  By (\ref{UGL}) and \ref{faPaw},
\begin{align*}\tfrac1{u({n-k})}&\widehat T^{n-k}(G_{n,k}1_\Omega h(\tfrac{a(n-k)}{a(n)}\tfrac{s_{{n-k}}}{a(n-k)})\big)\\ &\ge m_\Omega(G_{n,k})\Bbb E(h(\tfrac{a(n-k)}{a(n)}W_\gamma) 1_C(W_\gamma))-\Delta_{n-k}  M\|G_{n,k}\|_{L_\alpha}\|h\|_{C_B}\\ &=
\int_A\frak g(\psi_n)1_{[z_\kappa=k]}dm\Bbb E(h(\tfrac{a(n-k)}{a(n)})W_\gamma)1_C(W_\gamma))-\Delta_{n-k}   M C^{\prime\prime} \|g\|_{C_B} m_\Omega([Z_\kappa=k])
.\end{align*}

It follows  that for fixed $t_N<\l<1$,
\begin{align*}\widehat T^{n}(1_A&\mathbb{g}_{\underline t}(\psi_n))\ge\\ &
\sum_{\kappa+1\le k\le \l n}\int_A\frak g(\psi_n)1_{[Z_\kappa=k]}dm\cdot \Bbb E(h(\tfrac{a(n-k)}{a(n)} W_\gamma)1_C(W_\gamma))u(n-k)\\ &\ \ \ \ \
- M C^{\prime\prime} \|g\|_{C_B}\sum_{\kappa+1\le k\le \l n}m_\Omega([Z_\kappa=k])u(n-k)\Delta_{n-k}.\end{align*}
To continue, fix $\eta>0$ and let $J=J(C,\l,\eta)$ be so that $\forall\ n\ge J,\  \kappa+1\le k\le \l n,$
\begin{align*}u(n-k)=(1\pm\eta)\tfrac{u(n)}{(1-\frac{k}n)^{1-\gamma}}\ \&\ h(t\tfrac{a(n-k)}{a(n)})=(1\pm\eta)h(t(\tfrac{n-k}n)^\gamma)\ \forall\ t\in C.
\end{align*}

For $n\ge J$,
\begin{align*}\sum_{\kappa+1\le k\le \l n}m_\Omega([Z_\kappa=k])u(n-k)\Delta_{n-k}&\le (1+\eta)u(n)\sum_{\kappa+1\le k\le \l n}m_\Omega([Z_\kappa=k])(\tfrac{n}{n-k})^{1-\gamma}\Delta_{n-k}\\ &
\le (1+\eta)u(n)(\tfrac1{1-\l})^{1-\gamma}\Delta_{(1-\l)n}
\end{align*}
and
\begin{align*}
\sum_{\kappa+1\le k\le \l n}&\int_A\frak g(\psi_n)1_{[Z_\kappa=k]}dm\cdot \Bbb E(h(\tfrac{a(n-k)}{a(n)} W_\gamma) 1_C(W_\gamma))u(n-k)\\ &\ge
(1-\eta)^2u(n)\sum_{\kappa+1\le k\le \l n}\int_A\frak g(\psi_n)1_{[Z_\kappa=k]}dm\cdot \Bbb E(h((\tfrac{n-k}n)^\gamma W_\gamma) 1_C(W_\gamma))(\tfrac{n}{n-k})^{1-\gamma}.
\end{align*}
Moreover
\begin{align*}
\sum_{\kappa+1\le k\le \l n}&\int_A\frak g(\psi_n)1_{[Z_\kappa=k]}dm\cdot \Bbb E(h((\tfrac{n-k}n)^\gamma  W_\gamma)1_C(W_\gamma))(\tfrac{n}{n-k})^{1-\gamma}\\ &=
\int_A\(\frak g(\psi_n)1_{[Z_\kappa\le\l n]}\Bbb E(h(\tfrac{{n-Z_\kappa}}n)^\gamma W_\g1_C(W_\gamma)\|Z_\kappa)(\tfrac{n}{n-Z_\kappa})^{1-\gamma}\)dm
\end{align*}
with $(\psi_n,Z_\kappa)\perp W_\gamma$.

\

Using \ref{dscommercial} on p.\pageref{dscommercial},  Eagleson's theorem (\cite{Eagleson}),
{\small\begin{align*}
\int_A&\(\frak g(\psi_n)1_{[Z_\kappa\le\l n]}\Bbb E(h((\tfrac{{n-Z_\kappa}}n)^\gamma  W_\gamma)1_C(W_\gamma))(\tfrac{n}{n-Z_\kappa})^{1-\gamma}\)dm
\xrightarrow[n\to\infty]{}m(A)\cdot\\ &\cdot\Bbb E\(\frak g(\frak m_\gamma)1_{[\mathcal D(\frak m_\gamma)(t_N)\le \l]}(\tfrac1{1-\mathcal D(\frak m_\gamma)(t_N)})^{1-\gamma}
h((1-\mathcal D(\frak m_\gamma)(t_N))^\gamma  W_\gamma)1_C(W_\gamma)\)\\ &
\xrightarrow[\l\to 1-,\ C\uparrow\Bbb R_+]{}\ m(A)\frak e_\gamma(\mathbb{g}_{\underline t})\\ &= m(A)\Bbb E(\mathbb{g}_{\underline t}(\frak w_\gamma))\ \ \text{by Proposition D on p. \pageref{queen}}.
\end{align*}}
Thus,
\begin{align*}\widehat T^{n}(1_A\mathbb{g}_{\underline t}(\psi_n))
\gtrsim
m(A)\Bbb E(\mathbb{g}_{\underline t}(\frak w_\gamma)) u(n)\ \ \text{uniformly on $\Omega$.\ \ \Checkedbox\ \ \ref{dstechnical}}.
\end{align*}

\section*{\S4  Uniform {\tt LLT}s $\&$ the uniform GL lemma}

In this section, we'll prove the uniform GL lemma \ref{UGL} (p. \pageref{UGL}).
Throughout the section, we use notations from \cite[\S3]{A-Sera}

\

Let $(\Omega,\mu,\tau,\alpha)$ be a    mixing, probability
preserving Gibbs-Markov map and let
$\phi :\Omega\to \Bbb N$
be
locally $L_\tau$, and satisfy
\begin{align*}\tag*{{\scriptsize\faKey}}\label{faKey}
 \mu([\phi>t])\  \sim\ \frac1{\Gamma(1+\gamma)\Gamma(1-\gamma)}\cdot\frac1{a(t)}.
\end{align*}
 with $a(t)\ \gamma$-regularly varying with $0<\gamma<1$.

 \

 As in Nagaev's theorem  (\cite{Nagaev}, see also  \cite[Theorem 4.1]{AD} $\&$ the proof of Theorem 3.1 in \cite{A-Sera}), we write:
$$P_{\phi,t}(f):=\widehat{\tau}(e(t\phi)f),\ N(t)=N_\phi(t):=N(P_{\phi,t})\ \ ,\ \ \l(t)=\l_\phi(t):=\l(P_{\phi,t}).$$
(with $e(t):=e^{2\pi it}$).
\

By \cite[theorem 6.1]{AD}, under the above conditions,
$$\tfrac{\phi_n}{a^{-1}(n)}\xrightarrow[n\to\infty]{\frak d} \ Z_\gamma:= \eta_\gamma(1)$$
and
$$\l(\tfrac{t}{a^{-1}(n)})^n\xrightarrow[n\to\infty]{}\widehat{f}_{Z_\gamma}(t).$$

\

We'll need a uniform  version of the  lattice {\tt LLT}.

\
As in \cite[\S3]{A-Sera}, suppose that $\phi:\Omega\to\Bbb N$ is non-arithmetic, then either $\phi$ is aperiodic, or
$\phi$ has a reduction
\begin{align*}\tag*{\phone}\label{phone}
 \phi=\ F-F\circ \tau+{p}\psi+\xi
\end{align*}

where  $F:\Omega\to\Bbb N,\ F\in L_\tau$, ${p}\in\Bbb N,\ p\ge 2,\ \xi\in [1,{p}-1]\cap\Bbb N,\ \text{\tt gcd}\{\xi,{p}\}=1$  and $\psi:\Omega\to \Bbb Z$  is locally $L_\tau$  and aperiodic.
\

\proclaim{Uniform  conditional lattice {\tt LLT}}
\par Under the above conditions,
$\exists\ \Delta(N)\downarrow 0$ so that
if
$$k_n\in\Bbb Z,\ \kappa_n:=\tfrac{k_n}{a^{-1}(n)}\ \forall\ n\ge 1,$$
then $\forall\  n\ge 1,\ h\in L_\tau$:
\

in case $\phi$ is aperiodic:
 \begin{align*}\tag*{\Tumbler}\label{Tumbler}
  \|a^{-1}(n)\ttau^n(h1_{[\phi_n=k_n]})-\mu(h)f_{Z_\gamma }(\kappa_n)\|_{L_\tau}\le \Delta(n)\|h\|_{L_\tau};
 \end{align*}
and, in case $\phi$ has the reduction \ref{phone},
 {\small\begin{align*}\tag*{\Bleech}\label{Bleech}\|a^{-1}(n)\widehat{\tau}^n(h1_{[\phi_n=k_n]})-1_{p\Bbb Z}(n\xi-k_n)f_{Z_\gamma}(\kappa_n)\mu(h)\|_{L_\tau}\le \Delta(n)\|h\|_{L_\tau}.
 \end{align*}}
\vskip0.5em\par\noindent\rm
\flushpar{\bf Remarks}
\

\ \ The estimates are useful when $(\kappa_n:\ n\ge 1)$ is bounded away from $0\ \&\ \infty$ (i.e.  $\inf_nf_{Z_\gamma}(\kappa_n)>0$).
\

   For  estimates outside this range,  see the ``local large deviations'' of \cite{C-D,MelTer20} and the ``extended  {\tt LLT}s'' of \cite{A-T} and references therein.
\

The periodic {\tt LLT} \ref{Bleech} was first proved in \cite{Shepp}
(in the independent case).
\

\demo{(i) Proof of (\Tumbler)}
By \cite[Thm. 4.1]{AD},
$\exists\ \delta>0,\ \theta\in (0,1),\ C>1$ such that $\forall\  n\ge 1,\ h\in {L_\tau}$:
$$\|P_{\phi,t}^nh-\l(t)^nN(t)h\|_{L_\tau}\le C\|h\|_{L_\tau}\theta^n\ \ \forall\ |t|\le\delta,$$
 and
$$\|P_{\phi,y}^n1\|_{L_\tau}\le C\|h\|_{L_\tau}\theta^n\ \ \forall\ \delta\le |y|\le \pi.$$
Write $a(t)=\tfrac{t^\gamma}{\ell(t)}$ with $\ell(t)$ slowly varying at infinity.
\

Using  \cite[Thm. 5.1]{AD}, by possibly
shrinking $\delta>0$, we can ensure in addition that
\begin{align*}\tag*{\faBomb}\label{faBomb}-\text{Re}\,\log\l(t)
\ge \frac{c}{2a(\frac1t)}\ \ \forall\ |t|\le\delta
 \end{align*}

and by slow variation of $\ell$,
$\exists\ 0<\epsilon=\epsilon(\delta)$ such that
$${\ell({a^{-1}(n)\over |t|})\over \ell(a^{-1}(n))}\ge |t|^\epsilon\ \forall\ n\ge 1,\ |t|\le\delta a^{-1}(n).$$
   The integrals below converge in  $L_\tau$ and we have,  in $L_\tau$,
\begin{align*} \ 2\pi a^{-1}(n)\ttau^n(h1_{[\phi_n=k_n]}) &=
a^{-1}(n)\ttau^n\(h\int_{-\pi}^{\pi}e^{-itk_n}e^{it\phi_n}dt\)\\ &=
a^{-1}(n)\int_{-\pi}^{\pi}e^{-itk_n}\ttau^n(he^{it\phi_n})dt
\\ &=a^{-1}(n)\int_{-\pi}^{\pi}e^{-itk_n}P_{\phi,t}^nhdt\\ &=a^{-1}(n)\int_{|t|\le\delta}e^{-itk_n}\l(t)^nN(t)hdt\pm 2\pi C\|h\|_{L_\tau}a^{-1}(n)\theta^n.\end{align*}
Next
\begin{align*}
a^{-1}(n)\int_{|t|\le\delta}&e^{-itk_n}\l(t)^nN(t)hdt =
\int_{-\delta a^{-1}(n)}^{\delta a^{-1}(n)}e^{-it\kappa_n}\l(\tfrac{t}{a^{-1}(n)})^n
N(\tfrac{t}{a^{-1}(n)})hdt \\ &\&\ \ \ \ \ \ \ 2\pi f_{Z_\gamma }(\kappa)\ =\
\int_{\Bbb R}\widehat{f}_{Z_\gamma }(t)e^{-i\kappa t}dt,\end{align*}
so
\begin{align*}
a^{-1}(n)\int_{|t|\le\delta}&e^{-itk_n}\l(t)^nN(t)hdt -2\pi \mu(h) f_{Z_\gamma }(\kappa_n)\\ &=
\int_{|t|\le \delta a^{-1}(n)}e^{-it\kappa_n}(\l(\tfrac{t}{a^{-1}(n)})^n
N(\tfrac{t}{a^{-1}(n)})h-\mu(h)\widehat{f}_{Z_\gamma }(t))dt\\ &\ \ \ \ \ \ \ \ \ \ +\int_{|t|>\delta a^{-1}(n)}e^{-it\kappa_n} \widehat{f}_{Z_\gamma }(t)dt\mu(h)\\ &=:I_n+II_n.\end{align*}
Now $|\widehat{f}_{Z_\gamma}(t)|=e^{-c|t|^\gamma}$ ($c>0$) so
    $$\|II_n\|_{L_\tau}\le \|h\|_{L_\tau}\int_{|t|>\delta a^{-1}(n)} e^{-c|t|^\gamma}dt\xrightarrow[n\to\infty]{}\ 0.$$
By \cite[Thms 2.4 $\&$ 5.1]{AD},
\begin{align*}\tag*{{\scriptsize\faTaxi}}
 \|N(\tfrac{t}{a^{-1}(n)})h-\mu(h)\|_{L_\tau}&\le Mm_\Omega(|e^{i\tfrac{t\phi}{a^{-1}(n)}}-1|)
 \le M''\tfrac1{a(\frac{a^{-1}(n)}t)}\|h\|_{L_\tau}\\ &\sim M''\tfrac{t^{\frac1\gamma}}{a(a^{-1}(n))}\|h\|_{L_\tau}=M''\tfrac{t^{\frac1\gamma}\|h\|_{L_\tau}}n
\end{align*}
and
\begin{align*}\|I_n\|_{L_\tau} &=\int_{-\delta a^{-1}(n)}^{\delta a^{-1}(n)}\|\l(\tfrac{t}{a^{-1}(n)})^n
N(\tfrac{t}{a^{-1}(n)})h-\mu(h)\widehat{f}_{Z_\gamma }(t)\|_{L_\tau}dt\\ &\le
\int_{-\delta a^{-1}(n)}^{\delta a^{-1}(n)}|\l(\tfrac{t}{a^{-1}(n)})|^n\|N(\tfrac{t}{a^{-1}(n)})h-\mu(h)\|_{L_\tau}dt\\ &\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ +|\mu(h)\int_{-\delta a^{-1}(n)}^{\delta a^{-1}(n)}|\l(\tfrac{t}{a^{-1}(n)})^n
-\widehat{f}_{Z_\gamma }(t)|dt\\ &\overset{\text{\tiny(\faTaxi)}}\le \|h\|_{L_\tau}\left(\tfrac{M''}n\int_{-\delta a^{-1}(n)}^{\delta a^{-1}(n)}|t|^{\frac1p}|\l(\tfrac{t}{a^{-1}(n)})|^ndt+
\int_{-\delta a^{-1}(n)}^{\delta a^{-1}(n)}|\l(\tfrac{t}{a^{-1}(n)})^n
-\widehat{f}_{Z_\gamma }(t)|dt\right)
\end{align*}
By \ref{faBomb} (on p. \pageref{faBomb}), $|\l(\tfrac{t}{a^{-1}(n)})|^n\ll e^{-\frac1{a(\frac1{|t|})}}\ll e^{-\epsilon|t|^{\frac{\gamma}2}}$ and
$|\widehat{f}_{Z_\gamma }(t)|\ll e^{-c|t|^\gamma}$ so
\begin{align*}&\int_{-\delta a^{-1}(n)}^{\delta a^{-1}(n)}|t|^{\frac1p}|\l(\tfrac{t}{a^{-1}(n)})|^ndt\le M\int_\Bbb R|t|^{\frac1p}e^{-\epsilon|t|^{\frac{\gamma}2}}dt<\infty;
\\ & \int_{-\delta a^{-1}(n)}^{\delta a^{-1}(n)}|\l(\tfrac{t}{a^{-1}(n)})^n
-\widehat{f}_{Z_\gamma }(t)|dt\xrightarrow[n\to\infty]{}\ 0\\ &\ \ \  \text{by dominated convergence.\ \ \Checkedbox\ \ (\Tumbler)}.
\end{align*}

\demo{(ii) Proof of \ref{Bleech}}

As in the proof of  the lattice case of \cite[Thm. 3.1]{A-Sera},
 \

  \begin{align*}\widehat{\tau}^n(&h1_{[\phi_n=k_n]})(x)=\int_\Bbb T e(-k_nt)\ttau^n(e(t\phi_n)h)(x)dt\\ &=
  \int_\Bbb T e(-k_nt)\ttau^n(e(t(p\psi_n+n\xi+F-F\circ\tau^n))h)(x)dt\\ &=
    \int_\Bbb T e(t(n\xi-k_n))\ttau^n(e(p\psi_n)e(t(F-F\circ\tau^n))h)(x)dt\\ & \ \ \ \ \ \ \ \ \ \
    \because\ \sum_{q=0}^{p-1}e(\tfrac{Kq}p)=1_{p\Bbb Z}(K)\ \&\ F\circ\tau^n=F\ \mbox{ mod } p;\\ &=
        \int_\Bbb T (\sum_{q=0}^{p-1}(e(\tfrac{t+q}{p}(n\xi-k_n))\ttau^n(e(t\psi_n)e(\tfrac{t+q}{p}(F-F\circ\tau^n))h)(x))dt\\ &=
        {p}1_{{p}\Bbb Z}(n\xi-k_n)\int_\Bbb T e(\tfrac{t}{p}(n\xi-k_n))\ttau^n(e(t\psi_n)e(\tfrac{t}{p}(F-F\circ\tau^n))h)(x))dt\\ &=
      {p}1_{{p}\Bbb Z}(n\xi-k_n)\int_\Bbb T e(\tfrac{t}{p}(n\xi-k_n-F(x))P_{\psi,t}^n(e(\tfrac{tF}{p})h)(x)dt.
   \end{align*}
   By the proof of (\Tumbler),
\begin{align*}\|a^{-1}(n)\int_\Bbb T  e(\tfrac{t}{p}(n\xi-k_n-F(x))P_{\psi,t}^n(e(\tfrac{tF}{p})h)(x)dt-\mu(h)f_{\frac{Z_\gamma }{p}}(\tfrac{\kappa_n}{p})\|_{L_\tau} \le \Delta(n)\|h\|_{L_\tau}
\end{align*}
and (\Bleech) follows from this.\ \Checkedbox

\demo{Proof of the uniform GL lemma}

As in the proof of \cite[Lemma 2.1(GL)]{A-Sera}, we assume WLOG
 that $a^{-1}(n+1)-a^{-1}(n)\sim\tfrac{a^{-1}(n)}{\gamma n}$ and set $x_{\nu ,n}:=\tfrac{n}{a^{-1}(\nu )}$; obtaining (see \cite{A-Sera})
 \begin{align*}\tag*{{\scriptsize\faLinux}}
 \tfrac1{a^{-1}(k)}\sim\tfrac{\gamma k}n\cdot (x_{k,n}-x_{k+1,n})\sim \tfrac{\gamma a(n)}n\cdot\tfrac{x_{k,n}-x_{k+1,n}}{x_{k,n}^\gamma}=u(n)\cdot\tfrac{x_{k,n}-x_{k+1,n}}{x_{k,n}^\gamma}.
\end{align*}

It suffices to consider $g\in C_B(\Bbb R_+)$ so that $\log G:[c,d]\to\Bbb R$ is smooth where
$G(x):=g(\tfrac1{x^\gamma})f(x)$.
\

Fixing $h\in L_{T_\Omega},\ h\ge 0$,  we have that
\begin{align*}
&\frac1{u(n)}\widehat T^n(hg(\tfrac{S_n(1_\Omega)}{a(n)}))=\sum_{\nu =1}^n\widehat T_\Omega^{\nu }(h1_{[\varphi_\nu =n]}g(\tfrac{\nu }{a(n)}))\\ &\ge
\frac1{u(n)}\sum_{1\le \nu \le n,\ x_{\nu ,n}\in [c,d]}\widehat T_\Omega^{\nu }(h1_{[\varphi_\nu =n]}g(\tfrac{\nu }{a(n)}))\\ &\ge
\frac1{u(n)}\sum_{1\le \nu \le n,\ x_{\nu ,n}\in [c,d]}\tfrac1{a^{-1}(\nu )}[1_{p\Bbb Z}(n -\nu \xi)m_\Omega(h)g(\tfrac{\nu }{a(n)})f_{Z_\gamma}(x_{\nu,n} )-\|g\|_{C_B}\|h\|_{L_{T_\Omega}}\Delta(\nu) ]\ \text{by (\Bleech)}\\ &=
m_\Omega(h)\frac1{u(n)}\sum_{1\le \nu \le n,\ x_{\nu ,n}\in [c,d]}\tfrac1{a^{-1}(\nu )}1_{p\Bbb Z}(n -\nu \xi)g(\tfrac{\nu }{a(n)})f_{Z_\gamma}(x_{\nu,n})\ -\|g\|_{C_B}\|h\|_{L_{T_\Omega}}\mathcal E^{(1)}_n\end{align*}
where
\begin{align*}\mathcal E^{(1)}_n:=\frac1{u(n)}\sum_{1\le \nu \le n,\ x_{\nu ,n}\in [c,d]}\tfrac{\Delta(\nu)}{a^{-1}(\nu )}
\end{align*}
with $\Delta(\nu)$ as in \ref{Tumbler} on p. \pageref{Tumbler}.
\

To see that $\mathcal E^{(1)}_n\xrightarrow[n\to\infty]{}0$, we note that for  $1\le \nu \le n$,
$$x_{\nu ,n}\in [c,d]\ \ \Leftrightarrow\ \nu\in [a(\tfrac{n}d),a(\tfrac{n}c)].$$
Thus
\begin{align*}\mathcal E^{(1)}_n&=\tfrac1{u(n)}\sum_{1\le \nu \le n,\ x_{\nu ,n}\in [c,d]}\tfrac{\Delta(\nu)}{a^{-1}(\nu )}
\\ &\le \tfrac{\Delta(a(\frac{n}d))}{u(n)}\sum_{\nu\ge a(\tfrac{n}d)}\tfrac1{a^{-1}(\nu )}\\ &
\asymp \tfrac{\Delta(a(\frac{n}d))}{u(n)}\tfrac{a(\frac{n}d)}{a^{-1}(a(\frac{n}d))}\\ &\asymp \Delta(a(\tfrac{n}d))\xrightarrow[n\to\infty]{}0.
\end{align*}
\footnote{Here, for $a_n, b_n>0,\ a_n\asymp b_n$ means $a_n\ll b_n\ \&\ b_n\ll a_n$ where $\ll$ is as in the footnote on p. \pageref{ll}.}

\

Next, again as in the proof of \cite[Lemma 2.1(GL)]{A-Sera},
\begin{align*}\frac1{u(n)}&\sum_{1\le \nu \le n,\ x_{\nu ,n}\in [c,d]}\tfrac1{a^{-1}(\nu )}1_{p\Bbb Z}(n -\nu \xi)g(\tfrac{\nu }{a(n)})f_{Z_\gamma}(x_{\nu,n}) \\ &=
\frac1{u(n)}\sum_{1\le k\le n,\ x_{k,n}\in [c,d]}g(\tfrac1{x_{k,n}^\gamma})\tfrac{pf(x_{k,n})}{a^{-1}(k)}1_{p\Bbb Z}(n-k\xi)
 \\ &=  \Bbb E(1_{[c,d]}(Z_\gamma)g(Z_\gamma^{-\gamma})Z_\gamma^{-\gamma})\ \pm\ \mathcal E^{(2)}_n\|g\|_{C_B}
\end{align*}
where $\mathcal E^{(2)}_n\to 0$.

Thus,
\begin{align*}\tfrac1{u(n)}&\widehat T^n(hg(\tfrac{S_n(1_\Omega)}{a(n)}))\ge m_\Omega(h)\mathbb E(g(W_\gamma)1_C(W_\gamma)))-\\ &-(\mathcal E^{(1)}_n+\mathcal E^{(2)}_n)\|g\|_{C_B}\|h\|_{L_\alpha}.\ \CheckedBox
\end{align*}

\section*{\S5 Remarks on  $1$-{\tt sssi} limits}
\

Let $(\Omega,\mu,\tau)$ be a {\tt PPT} $\&$ let $\varphi:X\to\Bbb R_+$ be measurable and suppose that $\tfrac{\varphi_n}{b(n)}\xrightarrow[n\to\infty]{\text{\tt\tiny RV}(\Bbb R_+)}Y\in\text{\tt RV}(\Bbb R_+)$
with $b:\Bbb R_+\to\Bbb R_+$ is $1$-regularly varying.
\

As remarked in \cite{AWdistlim},
\begin{align*}\tag*{{\scriptsize\faHome}}\label{faHome}\Phi_n\xrightarrow[n\to\infty]{\frak d}Y\mathbb{i}\end{align*}
in $(D_{\uparrow,\infty},\text{\tt DF})$
where
$\Phi_n(t):=\frac{\varphi_{\lfl nt\rfl}}{b(n)}\ \&\ \mathbb{i}(t):=t$.
\

This follows from the $1$-regular variation of $b:\Bbb R_+\to\Bbb R_+$ via  \cite[Theorem 3.1]{vervaat85}.

Now let $(X,m,T)$ be a {\tt CEMPT} and suppose that
\begin{align*}\tfrac{S_n(f)}{a(n)}\xrightarrow[n\to\infty]{\frak d}Zm(f)\ \forall\ f\in L^1(m)_+
\end{align*}
where $Z\in\text{\tt RV}(\Bbb R_+)$ and  $a:\Bbb R_+\to\Bbb R_+$ is $1$-regularly varying.
We claim that
\begin{align*}\tag*{{\scriptsize\faUniversity}}\label{faUniversity}\Psi_{n,f}\xrightarrow[n\to\infty]{\frak d}m(f)Z\mathbb{i}\end{align*}
in $(D_{\uparrow,\infty},\text{\tt DF})$ where
$\Psi_{n,f}(t):=\frac{S_{\lfl nt\rfl}}{a(n)}$.
\vskip0.5em\par\noindent\rm\demo{Proof of ({\scriptsize\faUniversity})}\ \ Fix $\Omega\in\mathcal B}\def\A{\mathcal A(X),\ m(\Omega)=1$ and let
$\mu:=m_\Omega,\ \varphi:\Omega\to\Bbb N,\ \varphi(x):=\min\,\{n\ge 1:\ T^nx\in \Omega\}\ \&\ \tau:\Omega\to\Omega,\ \tau(x):=T^{\varphi(x)}(x)$.
\

By inversion $\tfrac{\varphi_n}{b(n)}\xrightarrow[n\to\infty]{\frak d}Z^{-1}\in\text{\tt RV}(\Bbb R_+)$ with $b:=a^{-1}$
and by ({\scriptsize\faHome}),
\begin{align*}\Phi_n\xrightarrow[n\to\infty]{\frak d}Z^{-1}\mathbb{i}\ \text{in $(D_{\uparrow,\infty},\text{\tt DF})$},\end{align*}
whence, again by inversion
$$\Psi_{n,1_\Omega}\xrightarrow[n\to\infty]{\frak d}Z\mathbb{i}\ \text{in $(D_{\uparrow,\infty},\text{\tt DF})$}.$$

Conclude to obtain ({\scriptsize\faUniversity}) by applying the ratio ergodic theorem and the functional version of Eagleson's theorem (\cite{Eagleson,TZ}.\ \Checkedbox
\

Examples of {\tt CEMPT}s satisfying ({\scriptsize\faUniversity}) are given in \cite{AWdistlim}.

\proclaim{Proposition 6}\ \ Suppose that $(X,m,T)$ is a  {\tt WREMPT}\ \footnote{as in \ref{faTree} on p.\pageref{faTree}}
so that
\begin{align*}\tag*{{\scriptsize\faCab}}\label{faCab} \tfrac{S_n(f)}{a(n)}\xrightarrow[n\to\infty]{m}
 m(f)\ \forall\ f\in L^1(m),\end{align*} then
\begin{align*}\tag*{\dschemical}\label{dschemical} \tfrac1{a(n)}&
\sum_{k=1}^n|\int_Ag(\tfrac{S_k(f)}{a(k)})1_B\circ T^kdm-g(m(f))m(A\cap T^{-k}B)|\\ &
\xrightarrow[n\to\infty]{}0\ \forall\ f\in L^1(m)_+,\ g\in C_B(\Bbb R_+)\ ,\ A,B\in R(T).\end{align*}
If, in addition, $(X,m,T)$ is  {\tt RWM}, then
\begin{align*}\tag*{\scriptsize\faTrain}\label{faTrain}\tfrac1{a(N)}&\sum_{n=1}^N|\int_{B\cap T^{-n}C}g(\tfrac{S_n(f)}{a(n)})dm-m(B)m(C)
 g(m(f))u_n|\\ &
\xrightarrow[N\to\infty]{}\ 0\ \forall\ B,C\in  R(T),\ g\in C_B(\Bbb R_+)\ \&\ f\in L^1_+
\end{align*} where $a(n)\sim\sum_{k=1}^nu_k.$
\vskip0.5em\par\noindent\rm
Note that   \ref{dschemical} does not entail spectral weak mixing; and
\ref{faTrain} is  the integrated, tied-down renewal mixing property in \cite[Theorem 6.2]{A-Sera} with $\gamma=1\ \&\ W_1\equiv 1$ when $u_n\sim\tfrac{a(n)}n$.
\demo{Proof of\ref{dschemical}}\ \ By \cite[Theorem 4.1]{homog}, $a(n)$ is $1$-regularly varying. Thus by Corollary 3 and Proposition 4,
\begin{align*}
\tfrac1{a(n)}\sum_{k=1}^n&\int_Ag(\tfrac{S_k(f)}{a(k)})1_B\circ T^kdm\xrightarrow[n\to\infty]{}
m(A)m(B)g(m(f))\\ & \forall\ A,\ B\in R(T),\ f\in L^1_+,\ g\ \text{\tt Riemann integrable on}\ \Bbb R_+.\end{align*}
Fix $f\in L^1(m)_+,\ \epsilon\in (0,1)$ and let $g_\epsilon:=1_{(1-\epsilon)m(f),(1+\epsilon)m(f))}$, then writing $s_n:=S_n(f)$, we have
$$\tfrac1{a(n)}\sum_{k=1}^n\int_Ag_\epsilon(\tfrac{s_k}{a(k)})1_B\circ T^kdm\xrightarrow[n\to\infty]{}
m(A)m(B)\ \forall\ A,\ B\in R(T).$$
For $\epsilon>0\ \&\ x\in X$, let
$$K(\epsilon,x):=\{k\ge 1:\ |\tfrac{s_k}{a(k)}-m(f)|<\epsilon m(f)\}.$$ By the above, for $A,\ B\in R(T)$,
$$\int_A\sum_{k\in [1,n]\setminus K(\epsilon,x)}1_B\circ T^kdm=o(a(n))\ \text{as}\ n\to\infty.$$
Now let $g\in C_B(\Bbb R_+)_+$, fix $\Delta>0$ and let $\epsilon>0$ be so that
$$g(y)=g(m(f))\pm\epsilon\ \forall\ y\in \Bbb R_+,\ |y-m(f)|< \epsilon m(f).$$ It follows that
\begin{align*}\sum_{k=1}^n&|\int_Ag(\tfrac{s_k}{a(k)})1_B\circ T^kdm-g(m(f))m(A\cap T^{-k}B)|\\ &=
\sum_{k=1}^n|\int_{A\cap T^{-k}B}(g(\tfrac{s_k}{a(k)})-g(m(f))dm|\\ &
\le\int_A\(\sum_{k=1}^n1_B\circ T^k|g(\tfrac{s_k}{a(k)})-g(m(f))|\)dm\end{align*}
Now
\begin{align*}\sum_{k=1}^n&1_B\circ T^k|g(\tfrac{s_k}{a(k)})-g(m(f))|\\ &=
\(\sum_{k\in  [1,n]\cap K(\epsilon,x)}+\sum_{k\in  [1,n]\setminus K(\epsilon,x)}\)1_B\circ T^k|g(\tfrac{s_k}{a(k)})-g(m(f))|\\ &=:I_n+II_n;
\end{align*}
and
\begin{align*}
\int_A&II_ndm\\ &\le 2\|g\|_{C_B}\int_A\sum_{k\in [1,n]\setminus K(\epsilon,x)}1_B\circ T^kdm\\ &=o(a(n))\ \text{as}\ n\to\infty;
\end{align*}
whereas
$$I_n\le \Delta \sum_{k\in  [1,n]\cap K(\epsilon,x)}1_B\circ T^k$$
and
$$\int_A I_ndm\le \Delta\sum_{k=1}^nm(A\cap T^{-k}B)\sim \Delta m(A)m(B)a(n).$$

\

\

\

\

\

This proves\ref{dschemical}.\ \Checkedbox

\

\demo{Proof of\ \  \ref{faTrain}}
\

Using {\tt RWM} $\&$\ref{dschemical},
\begin{align*}\sum_{k=1}^n&|\int_Ag(\tfrac{s_k}{a(k)})1_B\circ T^kdm-g(m(f))u(k)m(A)m(B)|\\ &\le
\sum_{k=1}^n|\int_{A\cap T^{-k}B}(g(\tfrac{s_k}{a(k)})-g(m(f)))dm|+\\ &\ \ \ \ \ +|g(m(f))|
\sum_{k=1}^n|m(A\cap T^{-k}B)-u(k)m(A)m(B)|\\ & =o(a(n))
\ \text{as}\ n\to\infty.\ \CheckedBox
\end{align*}

The following extends ({\scriptsize\faLightbulbO}) in \cite{A-Sera}
\proclaim{Corollary 7\ \ ({\scriptsize\rm discrete time tied-down renewal})}
\

\ \ Suppose that $(\xi_1,\xi_2,\dots)$ are $\Bbb N$-valued iidrvs so that
$\ell(t):=\Bbb E(\xi\wedge t)$ is slowly varying, then with $s_n:=\sum_{k=1}^n\xi_k$,
$$\tfrac1{a(N)}\sum_{n=1}^N|\sum_{k=1}^ng(\tfrac{k}{a(n)})P([s_k=n])-g(1)u(n)|\xrightarrow[n\to\infty]{}0\ \forall\  g\in C_B(\Bbb R_+)$$ where  $u(n):=\sum_{k=1}^nP([s_k=n])$ and $a(n):=\sum_{k=1}^nu(k)\sim \frac{n}{\ell(n)}$.
  \vskip0.5em\par\noindent\rm\demo{Proof}\ \ Let $(X,m,T)$ be the corresponding renewal shift-- a {\tt PDEMPT} with $a_n(T)\sim a(n)$.
  By the Darling Kac theorem \ref{faCab} (on p.\pageref{faCab}) holds and  the result follows from Proposition 6\ref{dschemical}.\ \ \CheckedBox
\section*{\S6  Appendix}

\subsection*{Mittag-Leffler processes and local time processes}
\

For $I=[0,R]$ or $[0,\infty)$, let

$$D(I):=\{\omega:I\to\Bbb R:\ \forall\ t\in I\ \exists\ \omega(t\pm)\ \&\ \omega(t+)=\omega(t)\}$$
where $\omega(t\pm):=\lim_{s\to t\pm}\omega(s)$ and $\omega(0-):=\omega(0)$:\   the space of all c\`adl\`ag paths from $I$ to $\Bbb R$ and write
$D_R:=D([0,R])\ \&\ D_\infty:=D([0,\infty))$.
\

For $0<\gamma\leq 1/2$, let $X\in\text{\tt RV}(D_\infty)$ be a symmetric $1/(1-\gamma)$-stable L\'evy process
with $X_0=0$.
\

As in   \cite[Chapter V]{Ber}, denote by $p_t(x)=\mathbb{P}[X_t\in dx]/dx$ its  transition density and set $\frak c:=2\int_0^1 p_s(0)ds$,  then $X$ admits the {\it local time process} at $0$, $L\in\text{\tt RV}(D_{\uparrow,\infty})$:
\begin{align*}
	L(t)=\lim_{\varepsilon \to 0+}\frac{1}{\frak c\varepsilon}\int_0^t 1_{\textstyle \{|X_s|<\varepsilon\}}ds.
\end{align*}
By \cite[Proposition V.4]{Ber},  $L\ =\ \frak m_\gamma.$
\

As shown in \cite{Ber} (Theorem IV.4 and Proposition V.4), the closed support of the Stieltjes measure $\mu_L$ on $[0,\infty)$ defined by  $L$  is  $\overline{\{t\geq0:X(t)=0\}}$.
\

Thus a.s., the last visit time of $X$ at $0$ before time $1$ is given by
\begin{align*}G&:=\sup\{0\leq t\leq1: X_t=0\}=\sup([0,1]\cap {\rm supp}(\mu_L))\\ &
    =\mathcal{G}(L)(1)=\mathcal{G}(\frak m_\gamma)(1)
    \end{align*}
where $\mathcal{G}$ is as in $\S0$.
\

By \cite[Theorem VIII.12]{Ber}  the {\it symmetric $1/(1-\gamma)$-stable L\'evy bridge process}  (from $0$ to $0$ of length $1$)
$X^{\rm( br)}\in\text{\tt RV}(D_1)$ is given by
\begin{align*}
    X^{\rm( br)}(t)=\frac{X_{Gt}}{G^{1-\gamma}}.
\end{align*}

Moreover, $G$ is independent of $X^{\rm (br)}$ and is Beta$(\gamma, 1-\gamma)$-distributed.
\

As before, the local time process $L^{\rm(br)}\in \text{\tt RV}(D_{\uparrow,1})$ of $X^{\rm(br)}$ at $0$ satisfies
\begin{align*}
	L^{\rm( br)}(t)&\xleftarrow[\epsilon\to 0+]{×}\frac{1}{\frak c\varepsilon}\int_0^t 1_{\textstyle \{|X^{\rm(br)}(s)|<\varepsilon\}}ds\\ &=
	\frac{1}{\frak c\varepsilon}\int_0^t 1_{\textstyle \{|X(Gs)|<G^{1-\gamma}\varepsilon\}}ds
	\\ &=
	\frac{1}{G\frak c\varepsilon}\int_0^{Gt} 1_{\textstyle \{|X(u)|<G^{1-\gamma}\varepsilon\}}du\ \ \text{changing variables}
	\\
	&\xrightarrow[\epsilon\to 0+]{×}
	\frac{\frak m_\gamma(Gt)}{G^\gamma}=\frak w_\gamma(t),
\end{align*}
where $\frak w_\gamma$ the tied-down $\gamma$-ML process as in \S0.
\

The process $\frak w_\gamma=L^{\rm (br)}$ is independent of $G$, since $L^{\rm(br)}$ is a functional of $X^{\rm(br)}$.
\

Similarly, for $0<\gamma<1$,  the local time of the $(2-2\gamma)$-dimensional Bessel process is also  supported on the closure of the zero set and equal distributionally to $\frak m_\gamma$ (\cite{Mo-Os}). The $(2-2\gamma)$-dimensional Bessel bridge from $0$ to $0$ of length $1$ is constructed e.g.
in \cite[Theorem 3 and Section 2.2]{ChaUri}. The local time of this bridge process is shown to be $\frak w_\gamma$ in \cite{BPY}.\footnote{For more details about Bessel processes, bridges and their local time processes
see \cite{FPY, PitYor97, RevYor, RogWil} .}

\subsection*{A proof of Proposition C via Bessel bridges}
\

We'll deduce Proposition C as a consequence of \cite[Proposition 2]{FPY}. Following the notation there, for $r\in (0,\infty]$, let
$$D_{+,r}:=\{\omega\in D_r:\ \omega\ge 0\}.$$
Defining $X_t:D_{+,\infty}\to [0,\infty)$ by $X_t(\omega):=\omega(t)$, set $\mathcal{F}_{t-}=\sigma(X_s:0\leq s < t)$ and $\mathcal{F}_\infty=\sigma(X_s:s\geq0)$.
\

Fix  $0<\gamma<1$ and for $x\ge 0$, let  $\mathbb{P}_x\in\mathcal P(D_{+,\infty})$ denote the law of a $(2-2\gamma)$-dimensional Bessel process on $[0,\infty)$ starting from $x$.
\

For $t>0$ and $x,y\ge 0$,
the {\it $(x,t,y)$-bridge law} $\mathbb{P}_{x,y}^{t}$ on $(D_{+,\infty}, \mathcal{F}_{t-})$  is the regular conditional distribution of $\mathbb{P}_x|_{\mathcal{F_{t-}}}$ given $X_{t-}=y$ (see \cite[Section 2]{FPY} and \cite[Sections 1 and 2]{ChaUri}).

Denote the {\it usual augmentation} (as in \cite{RevYor}) by $\mathcal{F}^\ast=(\mathcal{F}_t^\ast:\ t\ge 0)$ which is the smallest right continuous filtration where each $\mathcal{F}_t^\ast$ is a completion of  $\sigma(X_s:0\leq s \leq t)$ with respect to $(\mathbb{P}_x: x\ge 0)$ and
let $(H_t:t\geq0)$ be a non-negative predictable process and $(A_t:t\geq0)$ be a continuous additive functional with respect to  $(\mathcal{F}_t^*:t\geq0)$.
\

Assuming $\mathbb{P}_x[A_t<\infty]=1$, for any $x$ and $t$, \cite[Proposition 2]{FPY} yields that
\begin{align*}\tag*{\faFlask}\label{faFlask}
	\mathbb{E}_x\left[\int_0^t H_s dA_s\right]
	=
	\mathbb{E}_x\left[\int_0^t \mathbb{E}^{s}_{x, X_s}[H_s]dA_s\right],
\end{align*}
where $\mathbb{E}_x$ and $\mathbb{E}_{x,y}^s$ denote the expectations with respect to $\mathbb{P}_x$ and $\mathbb{P}_{x,y}^s$, respectively.
\

The local time at $0$: $L\in \text{\tt RV}(D_{\uparrow,\infty})$   with $\mathbb{E}_0[L_1]=1$ is a continuous additive functional and hence a predictable process.
\

In addition we see $\int_0^t 1_{\{X_s=0\}}dL_s=L_t$ for any $t$. See \cite[Example]{FPY} or \cite[Chapter IV]{Ber}.
\

Substituting $A_s=L_s$ into the \ref{faFlask}, we obtain
\begin{align*}\tag*{\faBeer}\label{faBeer}
   \mathbb{E}_x\left[\int_0^t H_s dL_s\right]
	=
	\mathbb{E}_x\left[\int_0^t \mathbb{E}^{s}_{x, 0}[H_s]dL_s\right].
\end{align*}

Recall $\Delta_{s,\gamma}L=(L_{st}/s^\gamma:0\leq t\leq 1)$ and $L^{(1)}=(L_t:0\leq t \leq 1)$. Let $h:D_{\uparrow, 1}\to \mathbb{R}$ be a bounded measurable functional.
\

To prove Proposition C, apply  \ref{faBeer} with $x=0$, $t=1$ and $H_s=h(\Delta_{s,\gamma}L)$ and  obtain

\begin{align*}
\mathbb{E}_0\biggl[\int_0^1 & h(\Delta_{s,\gamma}L) dL_s\biggr]
	=
	\mathbb{E}_0\left[\int_0^1 \mathbb{E}_{0, 0}^s[h(\Delta_{s,\gamma}L)]dL_s\right]\ \text{by \ref{faBeer}}
	\\
	&=
	\mathbb{E}_0\left[\int_0^1 \mathbb{E}_{0, 0}^1[h(L^{(1)})]dL_s\right]\
	\because\ \mathbb{E}_{0, 0}^s[h(\Delta_{s,\gamma}L)]=\mathbb{E}_{0,0}^{1}[h(L^{(1)})]
	\\
	&=
	\mathbb{E}_0[L_1]\mathbb{E}_{0, 0}^1[h(L^{(1)})]=\mathbb{E}_{0, 0}^1[h(L^{(1)})]
	.
\end{align*}
This completes the proof, since  $L=\frak m_\gamma$ under $\mathbb{P}_0\ \&\ L^{(1)}=\frak w_\gamma$ under $\mathbb{P}_{0,0}^1$
 as explained above.\ \ \Checkedbox
 \bibliographystyle{alpha}