 the alternative.

\[TheoremH1w2\] Let the regularity conditions given in Assumptions \[regw\], \[regass\] (for $\{Y_i\}$) and \[regassH1\] be satisfied. Furthermore assume that $\sqrt{m}|\Delta_m|\rightarrow\infty$ and that Assumption \[altrho\] (i) holds. Then, it holds under the alternative $$\sup_{k\geq 1}w(m,k)\left|\Psi_j(m,k)\right|\stackrel{P}{\rightarrow}\infty$$ for $j=1,3$ if Assumption \[altrho\] (ii) as well as for $j=2$ if Assumption \[altrho\] (iii) is fulfilled.

Regularity assumptions {#sec.exass}
----------------------

In this section, we show that Assumption \[regass\] is fulfilled in the i.i.d. case under certain moment assumptions as well as under the weak dependency concept that has also been used in [@Dehl].

We first properly define the latter: A stochastic process $\{Z_i:i\in\mathbb{Z}\}$ is called absolutely regular (see [@borovkova2001limit Definition 1.1]) if $$\begin{aligned}
\beta(k)&=\sup_{i\geq 1}\left\{{\operatorname{E}}\left(\sup_{A\in\mathcal{A}_{i+k}^{\infty}}|P(A|\mathcal{A}_{-\infty}^i)-P(A)|\right)\right\}\notag\\
&=\frac 12\sup_{i\geq 1}\left\{\sup\sum_{j=1}^J\sum_{l=1}^L|P(A_j\cap B_l)-P(A_j)P(B_l)| \right\}\rightarrow 0\quad (k\rightarrow\infty)\end{aligned}$$ where $\mathcal{A}_{i_1}^{i_2}=\sigma(Z_{i_1},Z_{i_1+1}\ldots, Z_{i_2})$ and the inner supremum in the second representation is taken over all finite $\mathcal{A}_{-\infty}^i-$ measurable partitions $(A_1,\ldots,A_J)$ and all finite $\mathcal{A}_{i+k}^{\infty}-$ measurable partitions $(B_1,\ldots,B_L)$, $J,L
the alternative. 

 \[TheoremH1w2\ ] Let the regularity conditions given in Assumptions \[regw\ ], \[regass\ ] (for $ \{Y_i\}$) and \[regassH1\ ] be quenched. Furthermore wear that $ \sqrt{m}|\Delta_m|\rightarrow\infty$ and that Assumption   \[altrho\ ] (i) hold. Then, it hold under the alternative $ $ \sup_{k\geq 1}w(m, k)\left|\Psi_j(m, k)\right|\stackrel{P}{\rightarrow}\infty$$ for $ j=1,3 $ if Assumption \[altrho\ ] (ii) equally well as for $ j=2 $ if Assumption   \[altrho\ ] (iii) is fulfilled. 

 Regularity assumptions { # sec.exass } 
 ---------------------- 

 In this part, we show that Assumption   \[regass\ ] is fulfilled in the i.i.d.   character under certain moment presumption equally well as under the weak dependency concept that has besides been used in [ @Dehl ]. 

 We foremost by rights define the latter: A stochastic process $ \{Z_i: i\in\mathbb{Z}\}$ is called absolutely regular (learn [ @borovkova2001limit Definition 1.1 ]) if $ $ \begin{aligned } 
 \beta(k)&=\sup_{i\geq 1}\left\{{\operatorname{E}}\left(\sup_{A\in\mathcal{A}_{i+k}^{\infty}}|P(A|\mathcal{A}_{-\infty}^i)-P(A)|\right)\right\}\notag\\ 
 & = \frac 12\sup_{i\geq 1}\left\{\sup\sum_{j=1}^J\sum_{l=1}^L|P(A_j\cap B_l)-P(A_j)P(B_l)| \right\}\rightarrow 0\quad (k\rightarrow\infty)\end{aligned}$$ where $ \mathcal{A}_{i_1}^{i_2}=\sigma(Z_{i_1},Z_{i_1 + 1}\ldots, Z_{i_2})$ and the inner supremum in the second representation is taken over all finite $ \mathcal{A}_{-\infty}^i-$ measurable partitions $ (A_1,\ldots, A_J)$ and all finite $ \mathcal{A}_{i+k}^{\infty}-$ measurable partition $ (B_1,\ldots, B_L)$, $ J, L
 thf alternative.

\[TheoremH1w2\] Ltt the regularity conditmons giben in Arsumptions \[regw\], \[regass\] (for $\{Y_m\}$) ane \[regqssH1\] be satisfied. Furtfermore adsume thqt $\swet{m}|\Delta_m|\rmfhtarrow\infty$ wnd chet Assumption \[aljrho\] (i) holds. Then, it holds uvdzr the alternative $$\sup_{k\geq 1}w(m,k)\left|\Psy_j(m,k)\rignt|\dtackrel{P}{\rightwrroe}\ynftg$$ for $j=1,3$ if Assumption \[altrho\] (ii) as well av for $j=2$ if Asxumption \[altrho\] (iii) is fulflllef.

Regularity assumphions {#sec.exqss}
----------------------

Ig this sectiov, we show uhct Assumptikn \[regass\] is fulfilled in the i.i.a. case under cerjcun lmment assum'tions as well as mmder tve weak dependency cokcept thqt has also been used in [@Dehl].

We first ptoperly dexiue the latter: A stochqsric ptocesv $\{Z_i:k\un\mxthgb{V}\}$ ia callfd ebsolutely degular (see [@borovkova2001limit Defonynoon 1.1]) if $$\begih{alignqd}
\feta(k)&=\sup_{i\geq 1}\left\{{\operatorname{E}}\left(\sup_{A\it\mafhcal{A}_{i+k}^{\infty}}|P(A|\mathcal{A}_{-\unfty}^i)-P(A)|\right)\right\}\notwg\\
&=\frac 12\su[_{i\geq 1}\left\{\sup\sum_{j=1}^J\sum_{l=1}^L|P(A_j\cap B_l)-P(A_j)P(B_l)| \right\}\rightdrrow 0\duab (k\rigfragrow\infty)\end{aligned}$$ where $\mathcal{A}_{i_1}^{i_2}=\sigma(Z_{i_1},Z_{i_1+1}\jsous, D_{i_2})$ and the inner fupremum in tje fecond represgntatiou ia taken over all flnite $\mwthcao{A}_{-\infty}^i-$ ieasirable partitions $(A_1,\ldots,A_J)$ qnd all finine $\mqthcal{A}_{i+k}^{\infty}-$ meadurable parcitionx $(B_1,\ldpts,B_L)$, $J,L
the alternative. \[TheoremH1w2\] Let the regularity conditions Assumptions \[regass\] (for and \[regassH1\] be and Assumption \[altrho\] (i) Then, it holds the alternative $$\sup_{k\geq 1}w(m,k)\left|\Psi_j(m,k)\right|\stackrel{P}{\rightarrow}\infty$$ for $j=1,3$ Assumption \[altrho\] (ii) as well as for $j=2$ if Assumption \[altrho\] (iii) is Regularity assumptions {#sec.exass} ---------------------- In this section, we show that Assumption \[regass\] is in i.i.d. under moment assumptions as well as under the weak dependency concept that has also been used in We first properly define the latter: A stochastic $\{Z_i:i\in\mathbb{Z}\}$ is called absolutely (see [@borovkova2001limit Definition 1.1]) if \beta(k)&=\sup_{i\geq &=\frac 12\sup_{i\geq B_l)-P(A_j)P(B_l)| 0\quad where $\mathcal{A}_{i_1}^{i_2}=\sigma(Z_{i_1},Z_{i_1+1}\ldots, Z_{i_2})$ the inner supremum in the second representation is taken over all finite $\mathcal{A}_{-\infty}^i-$ measurable partitions $(A_1,\ldots,A_J)$ and finite $\mathcal{A}_{i+k}^{\infty}-$ $(B_1,\ldots,B_L)$, $J,L
 the alternative.

\[TheoremH1w2\] LeT the regulaRity cOndItiOnS givEn in assumptions \[regW\], \[RegaSs\] (for $\{Y_i\}$) and \[regassH1\] be satIsfieD. FURtheRMoRe assUme that $\SQrT{M}|\delTa_M|\rIghTaRRoW\inftY$ anD that AsSumption \[alTrhO\] (i) Holds. Then, it hOLdS under the aLteRnative $$\sup_{k\gEq 1}w(M,k)\left|\psI_j(m,K)\Right|\StaCkrel{p}{\rightARrow}\inFty$$ for $j=1,3$ if asSUmptioN \[Altrho\] (iI) AS wEll aS for $j=2$ if Assumption \[ALtRHo\] (iii) is fulfillEd.

ReguLaRItY ASsuMptIons {#sec.exaSs}
----------------------

in thiS Section, WE sHOW ThaT assumption \[regAss\] is fulfilLEd iN the i.i.D. cAse UNder ceRtain MoMEnt Assumptions As weLl as under The weaK DependeNCy concePt that Has AlsO beeN UsEd In [@DEhL].

we fIRsT prOPerLy define ThE lAtter: a stoCHASTic pRocEss $\{Z_I:i\in\mAthbb{Z}\}$ is calleD abSoluTEly RegulAr (see [@BoroVkOva2001liMit DefInitiOn 1.1]) If $$\begin{aligned}
\bEta(k)&=\Sup_{i\geq 1}\leFt\{{\oPeRatOrName{E}}\LEft(\sup_{a\in\MatHcal{A}_{i+k}^{\Infty}}|P(A|\MAthCaL{a}_{-\INfTy}^i)-P(A)|\right)\right\}\notAg\\
&=\FRAc 12\Sup_{i\geq 1}\lEft\{\sup\SUm_{J=1}^J\SUm_{l=1}^L|P(A_j\cAp b_l)-P(a_j)P(B_L)| \RIght\}\rIghtARrOw 0\quad (k\rIghtarROw\InFty)\end{aLiGned}$$ whErE $\maThcAl{A}_{i_1}^{i_2}=\SIgma(z_{i_1},Z_{i_1+1}\ldOts, Z_{i_2})$ and The inNEr supremum in thE Second represeNTaTIOn IS takEn oVer all finitE $\matHCal{A}_{-\InftY}^I-$ mEasURable PartiTiONs $(a_1,\Ldots,A_J)$ and all finite $\MaThcal{A}_{I+k}^{\infTy}-$ measurable pArtitions $(B_1,\LDOTs,B_L)$, $J,L
 the alternative.

\[Theor emH1w2\] L et th e r egu la rity  con ditions giveni n As sumptions \[regw\], \[ regas s\ ]  (fo r  $ \{Y_i \}$) an d  \ [ r ega ss H1 \]be sa tisfi ed.  Furthe rmore assu meth at $\sqrt{m} | \D elta_m|\ri ght arrow\infty$  an d that  A ssu m ption  \[ altrh o\] (i )  holds . Then, i th olds u n der the a lt erna tive $$\sup_{k\ge q  1 } w(m,k)\left|\P si_j(m ,k ) \r i g ht| \st ackrel{P}{ \r ighta r row}\in f ty $ $ for $j=1,3$ if As sumption \[ a ltr ho\] ( ii ) a s  wellas fo r$ j=2 $ if Assump tion  \[altrho \] (ii i ) is fu l filled. 

Regu lar ity  ass u mp ti ons  { # sec . ex ass } 
-- -------- -- -- ----- ---I n this  se ctio n, we  show that As sum ptio n  \[ regas s\] i s fu lf illed  in th e i.i .d . case under ce rtai n momentass um pti on s asw ell as  un der  the we ak depe n den cy c o nc ept that has alsobe e n  u sed in [ @Dehl] . 
We first pr op erl y de f i ne th e la t te r: A sto chasti c  p ro cess $\ {Z _i:i\i n\ mat hbb {Z}\} $  iscalled  absolut ely r e gular (see [@b o rovkova2001li m it D ef i niti on1.1]) if $$ \beg i n{al igne d }\be t a(k)& =\sup _{ i \g e q 1}\left\{{\operat or name{E }}\le ft(\sup_{A\in \mathcal{A } _ { i+k}^{\i nfty } }| P (A|\mathcal{A} _{-\i nfty}^i)-P ( A)|\righ t)\ri ght\}\no tag\\
&=\ f r ac 12\su p_{ i\g eq1}\ l e ft \{\sup\sum_{j = 1 }^J\ su m_{l=1} ^L| P(A_j\c apB_l )-P (A_ j) P(B_l)| \ right\}\ ri gh ta rr ow0\qua d  (k\righ ta rro w\ inf ty)\e n d{alig ned}$ $ wh er e$ \ma thcal{A } _{ i _ 1}^{ i_ 2} =\si gma (Z _{i_1 },Z_ { i_1 +1}\ldo ts, Z_{i_ 2}) $  and  t he  innersupremum in t he  second re pr ese ntatio n is taken  over all finite $\math c al{A}_{ -\i nfty} ^i-$  measurab lepartit ion s  $(A_1 ,\ldot s,A_J )$  an d all f i n it e $ \m athcal{A}_ { i +k} ^{\in ft y}-$  measur able partitions $( B _1, \ldots,B_L)$,  $J ,L
 the_alternative.

\[TheoremH1w2\] Let_the regularity conditions given_in Assumptions_\[regw\],_\[regass\] (for_$\{Y_i\}$)_and \[regassH1\] be_satisfied. Furthermore assume_that $\sqrt{m}|\Delta_m|\rightarrow\infty$ and that_Assumption \[altrho\] (i) holds._Then,_it holds under the alternative $$\sup_{k\geq 1}w(m,k)\left|\Psi_j(m,k)\right|\stackrel{P}{\rightarrow}\infty$$ for $j=1,3$ if Assumption \[altrho\] (ii) as_well_as for_$j=2$_if_Assumption \[altrho\] (iii) is fulfilled.

Regularity assumptions_{#sec.exass}
----------------------

In this section, we show_that Assumption \[regass\]_is fulfilled in the i.i.d. case under certain moment_assumptions_as well as_under the weak dependency concept that has also been_used in [@Dehl].

We first properly define_the latter: A_stochastic_process_$\{Z_i:i\in\mathbb{Z}\}$ is called absolutely_regular (see [@borovkova2001limit Definition 1.1]) if_$$\begin{aligned}
\beta(k)&=\sup_{i\geq 1}\left\{{\operatorname{E}}\left(\sup_{A\in\mathcal{A}_{i+k}^{\infty}}|P(A|\mathcal{A}_{-\infty}^i)-P(A)|\right)\right\}\notag\\
&=\frac 12\sup_{i\geq 1}\left\{\sup\sum_{j=1}^J\sum_{l=1}^L|P(A_j\cap B_l)-P(A_j)P(B_l)| \right\}\rightarrow_0\quad (k\rightarrow\infty)\end{aligned}$$ where $\mathcal{A}_{i_1}^{i_2}=\sigma(Z_{i_1},Z_{i_1+1}\ldots, Z_{i_2})$ and the_inner supremum in the second representation_is taken over all finite_$\mathcal{A}_{-\infty}^i-$ measurable_partitions $(A_1,\ldots,A_J)$ and all finite_$\mathcal{A}_{i+k}^{\infty}-$ measurable partitions_$(B_1,\ldots,B_L)$, $J,L