bigr).\end{aligned}$$ To deal with $\mathbb{E}_f [({\mathfrak{z}}_{\hat{k}^*})^q]$, we introduce $$k^\pm:= \inf\bigl\{k=0,\ldots,K-1\dvtx  B_{k+1} >
c_2^\pm{\mathfrak{z}}_{k+1}^T / 2\bigr\} \wedge
K. $$ On the event $\mathcal{A}_n=\{c_2^- {\mathfrak{z}}_k \leq\hat{{\mathfrak{z}}}_k \leq
c_2^+ {\mathfrak{z}}_k\mbox{ for all } k=0,\ldots,K-1\}$ we have $k^- \leq
\hat{k}^* \leq k^+$. From Proposition \[propestimateunivquantile\] we infer $P(\mathcal{A}_n^c)={\mathcal{O}}(n^{-q/{\mathfrak{a}}_F} )$. Since ${\mathfrak{z}}_k$ decreases monotonically in $k$, we find $\mathbb{E}[{\mathfrak{z}}_{\hat{k}^*}^q] \leq{\mathfrak{z}}_{k^-}^q +
{\mathcal{O}}(n^{-q/{\mathfrak{a}}_F} )$. Note that the deterministic sequences $(h_k^{\pm})$ satisfy $$\begin{aligned}
h_{k^{\pm}} &\thicksim& (n)^{-1/({\mathfrak{a}}_{F} \beta_+1)} (\log
n)^{({\mathfrak{a}}_{F} {\mathfrak{b}}_{F})/({\mathfrak{a}}_{F} \beta_+1)} \quad\mbox{and}
\nonumber\\[-8pt]\\[-8pt]\nonumber
{\mathfrak{z}}_{k^-} &\thicksim& n^{-\beta/({\mathfrak{a}}_{F} \beta
_+1)} (\log n)^{(\beta{\mathfrak{a}}_{F} {\mathfrak{b}}_{F})/({\mathfrak{a}}_{F} \beta_+1)},\end{aligned}$$ provided that $\mathfrak{h}_0 < \beta_0 {\mathfrak{a}}_0 / (\beta_0 {\mathfrak{a}}_0
+ 1)$. For computational details, refer to Lemma \[lemquantcoomp\]. Moreover, condition $\mathfrak{h}_0 < \beta_0 {\mathfrak{a}}_0 / (\beta_0
bigr).\end{aligned}$$ To deal with $ \mathbb{E}_f [ ({ \mathfrak{z}}_{\hat{k}^*})^q]$, we introduce $ $ k^\pm:= \inf\bigl\{k=0,\ldots, K-1\dvtx   B_{k+1 } > 
 c_2^\pm{\mathfrak{z}}_{k+1}^T / 2\bigr\ } \wedge 
 K. $ $ On the event $ \mathcal{A}_n=\{c_2 ^ - { \mathfrak{z}}_k \leq\hat{{\mathfrak{z}}}_k \leq 
 c_2^+ { \mathfrak{z}}_k\mbox { for all } k=0,\ldots, K-1\}$ we have $ k^- \leq 
 \hat{k}^ * \leq k^+$. From Proposition   \[propestimateunivquantile\ ] we deduce $ P(\mathcal{A}_n^c)={\mathcal{O}}(n^{-q/{\mathfrak{a}}_F }) $. Since $ { \mathfrak{z}}_k$ decrease monotonically in $ k$, we find $ \mathbb{E}[{\mathfrak{z}}_{\hat{k}^*}^q ] \leq{\mathfrak{z}}_{k^-}^q + 
 { \mathcal{O}}(n^{-q/{\mathfrak{a}}_F }) $. Note that the deterministic sequences $ (h_k^{\pm})$ satisfy $ $ \begin{aligned } 
 h_{k^{\pm } } & \thicksim & (n)^{-1/({\mathfrak{a}}_{F } \beta_+1) } (\log 
 n)^{({\mathfrak{a}}_{F } { \mathfrak{b}}_{F})/({\mathfrak{a}}_{F } \beta_+1) } \quad\mbox{and } 
 \nonumber\\[-8pt]\\[-8pt]\nonumber 
 { \mathfrak{z}}_{k^- } & \thicksim & n^{-\beta/({\mathfrak{a}}_{F } \beta 
 _ +1) } (\log n)^{(\beta{\mathfrak{a}}_{F } { \mathfrak{b}}_{F})/({\mathfrak{a}}_{F } \beta_+1)},\end{aligned}$$ provide that $ \mathfrak{h}_0 < \beta_0 { \mathfrak{a}}_0 / (\beta_0 { \mathfrak{a}}_0 
 + 1)$. For computational details, refer to Lemma   \[lemquantcoomp\ ]. furthermore, condition $ \mathfrak{h}_0 < \beta_0 { \mathfrak{a}}_0 / (\beta_0
bigg).\end{aligned}$$ To deal with $\mathbb{E}_f [({\mathftaj{z}}_{\hat{k}^*})^x]$, we ihtroduce $$k^\pm:= \inf\bigl\{k=0,\ldots,K-1\dvtx  B_{k+1} >
r_2^\pm{\mqthfrqk{z}}_{k+1}^T / 2\bigr\} \wedge
K. $$ On the evenn $\mathcal{Q}_n=\{c_2^- {\nqthfrak{z}}_k \leq\hat{{\mabkfrak{a}}}_n \lex
r_2^+ {\mathfrak{z}}_k\mbow{ for all } n=0,\ldots,K-1\}$ we hava $y^- \peq
\hat{k}^* \leq k^+$. From Proposition \[propeftimateinlvquantile\] we ynfeg $[(\matgbao{A}_n^c)={\mathcal{O}}(n^{-q/{\mathfrak{a}}_F} )$. Sinde ${\mathhrak{z}}_k$ decreasex monotonically in $k$, we fijd $\mwthbb{E}[{\mathfrak{z}}_{\hat{n}^*}^q] \leq{\mathftzk{z}}_{h^-}^w +
{\mathcal{O}}(n^{-q/{\oathfrak{a}}_F} )$. Note that jhe deterministic sequences $(h_k^{\pm})$ satixfy $$\begin{aoitnef}
v_{k^{\pm}} &\thicksmm& (n)^{-1/({\manhfrak{a}}_{F} \beta_+1)} (\log
n)^{({\matvfrak{a}}_{F} {\mathfrak{b}}_{F})/({\matmfrak{e}}_{F} \bwta_+1)} \quad\mbox{and}
\nonumbxr\\[-8pt]\\[-8pt]\nonumber
{\mathfrwk{z}}_{k^-} &\thicnsnm& n^{-\beta/({\mathfrak{a}}_{F} \bera
_+1)} (\log t)^{(\betd{\matfdray{a}}_{F} {\methrrak{b}}_{F})/({\latifrak{a}}_{F} \betz_+1)},\end{aligned}$$ provided that $\mathgrwj{h}_0 < \beta_0 {\mathrrak{a}}_0 / (\bqta_0 {\mathfrak{a}}_0
+ 1)$. For computational detailv, rsfer to Lemma \[lemquantcoimp\]. Moreover, conditioj $\mathfrah{h}_0 < \beta_0 {\mathfrak{a}}_0 / (\beta_0
bigr).\end{aligned}$$ To deal with $\mathbb{E}_f [({\mathfrak{z}}_{\hat{k}^*})^q]$, we \inf\bigl\{k=0,\ldots,K-1\dvtx > c_2^\pm{\mathfrak{z}}_{k+1}^T 2\bigr\} \wedge K. {\mathfrak{z}}_k \leq c_2^+ {\mathfrak{z}}_k\mbox{ all } k=0,\ldots,K-1\}$ have $k^- \leq \hat{k}^* \leq k^+$. Proposition \[propestimateunivquantile\] we infer $P(\mathcal{A}_n^c)={\mathcal{O}}(n^{-q/{\mathfrak{a}}_F} )$. Since ${\mathfrak{z}}_k$ decreases monotonically in $k$, we $\mathbb{E}[{\mathfrak{z}}_{\hat{k}^*}^q] \leq{\mathfrak{z}}_{k^-}^q + {\mathcal{O}}(n^{-q/{\mathfrak{a}}_F} )$. Note that the deterministic sequences $(h_k^{\pm})$ satisfy $$\begin{aligned} &\thicksim& \beta_+1)} n)^{({\mathfrak{a}}_{F} \beta_+1)} \quad\mbox{and} \nonumber\\[-8pt]\\[-8pt]\nonumber {\mathfrak{z}}_{k^-} &\thicksim& n^{-\beta/({\mathfrak{a}}_{F} \beta _+1)} (\log n)^{(\beta{\mathfrak{a}}_{F} {\mathfrak{b}}_{F})/({\mathfrak{a}}_{F} \beta_+1)},\end{aligned}$$ provided that $\mathfrak{h}_0 < {\mathfrak{a}}_0 / (\beta_0 {\mathfrak{a}}_0 + 1)$. For computational refer to Lemma \[lemquantcoomp\]. condition $\mathfrak{h}_0 < \beta_0 {\mathfrak{a}}_0 (\beta_0
bigr).\end{aligned}$$ To deal with $\mAthbb{E}_f [({\matHfrak{Z}}_{\haT{k}^*})^q]$, We IntrOducE $$k^\pm:= \inf\bigl\{k=0,\ldOTs,K-1\dVtx  B_{k+1} >
c_2^\pm{\mathfrak{z}}_{k+1}^T / 2\bigR\} \wedgE
K. $$ oN the EVeNt $\matHcal{A}_n=\{c_2^- {\MAtHFRak{Z}}_k \LeQ\haT{{\mAThFrak{z}}}_K \leQ
c_2^+ {\mathfRak{z}}_k\mbox{ fOr aLl } K=0,\ldots,K-1\}$ we havE $K^- \lEq
\hat{k}^* \leq k^+$. froM Proposition \[ProPestimAtEunIVquanTilE\] we inFer $P(\maTHcal{A}_n^C)={\mathcal{O}}(N^{-q/{\MAthfraK{A}}_F} )$. Since ${\MAThFrak{Z}}_k$ decreases monotoNIcALly in $k$, we find $\maThbb{E}[{\mAtHFrAK{Z}}_{\haT{k}^*}^q] \Leq{\mathfraK{z}}_{K^-}^q +
{\matHCal{O}}(n^{-q/{\mAThFRAK{a}}_F} )$. nOte that the detErministic sEQueNces $(h_k^{\Pm})$ SatISfy $$\begIn{aliGnED}
h_{k^{\Pm}} &\thicksim& (n)^{-1/({\MathFrak{a}}_{F} \betA_+1)} (\log
n)^{({\mAThfrak{a}}_{f} {\MathfraK{b}}_{F})/({\matHfrAk{a}}_{f} \betA_+1)} \QuAd\MboX{aND}
\noNUmBer\\[-8PT]\\[-8pt]\Nonumber
{\MaThFrak{z}}_{K^-} &\thiCKSIM& n^{-\beTa/({\mAthfRak{a}}_{F} \Beta
_+1)} (\log n)^{(\beta{\mAthFrak{A}}_{f} {\maThfraK{b}}_{F})/({\maThfrAk{A}}_{F} \betA_+1)},\end{alIgned}$$ PrOvided that $\mathfRak{h}_0 < \Beta_0 {\mathfRak{A}}_0 / (\bEta_0 {\MaThfraK{A}}_0
+ 1)$. For coMpuTatIonal deTails, reFEr tO LEMMA \[lEmquantcoomp\]. MoreovEr, CONdItion $\matHfrak{h}_0 < \BEtA_0 {\mAThfrak{a}}_0 / (\bEtA_0
bigr).\end{aligned}$$ To d eal with $ \math bb{ E}_ f[({\ math frak{z}}_{\hat { k}^* })^q]$, we introduce $ $k^\p m: =  \in f \b igl\{ k=0,\ld o ts , K -1\ dv tx   B _{ k +1 } >
c _2^ \pm{\ma thfrak{z}} _{k +1 }^T / 2\bigr \ }\wedge
K.$$On the event  $\ mathca l{ A}_ n =\{c_ 2^-  {\ma thfrak { z}}_k\leq\hat{ {\ m athfra k {z}}}_k \ le q
c_ 2^+ {\mathfrak{z} } _k \ mbox{ for all} k=0, \l d ot s , K-1 \}$  we have $ k^ - \le q 
\hat{k } ^* \ l eqk ^+$. From Pro position \[ p rop estima te uni v quanti le\]we inf er $P(\math cal{ A}_n^c)={ \mathc a l{O}}(n ^ {-q/{\m athfra k{a }}_ F} ) $ .Si nce  $ { \ma t hf rak { z}} _k$ decr ea se s mon oton i c a l ly i n $ k$,we fi nd $\mathbb{E }[{ \mat h fra k{z}} _{\ha t{k} ^* }^q]\leq{\ mathf ra k{z}}_{k^-}^q + 
{\m athcal{O} }(n ^{ -q/ {\ mathf r ak{a}} _F}  )$ . Notethat th e  de te r m i ni stic sequences $(h _k ^ { \p m})$ sat isfy $ $ \b eg i n{aligne d} 
h_ {k^{ \ p m}} & \thi c ks im& (n)^ {-1/({ \ ma th frak{a} }_ {F} \b et a_+ 1)}  (\lo g 
n)^ {({\ma thfrak{a }}_{F }  {\mathfrak{b} } _{F})/({\math f ra k { a} } _{F}  \b eta_+1)} \q uad\ m box{ and} \n onu m ber\\ [-8pt ]\ \ [- 8 pt]\nonumber
{\math fr ak{z}} _{k^- } &\thicksim&  n^{-\beta / ( { \mathfra k{a} } _{ F } \beta
_+1)}(\log  n)^{(\bet a {\mathfr ak{a} }_{F} {\ mathfrak{ b } }_{F})/( {\m ath fra k{a } } _{ F} \beta_+1)} , \ end{ al igned}$ $ p rovided  th at$\m ath fr ak{h}_0 <  \beta_0  { \m at hf rak {a}}_ 0  / (\bet a_ 0 { \m ath frak{ a }}_0
+  1)$.  For  c om p uta tionald et a i ls,re fe r to  Le mm a \[l emqu a ntc oomp\].  Moreover , c o ndit io n$\mathf rak{h}_0 < \b et a_0 {\math fr ak{ a}}_0/ (\beta_0 
bigr).\end{aligned}$$ To_deal with_$\mathbb{E}_f [({\mathfrak{z}}_{\hat{k}^*})^q]$, we introduce_$$k^\pm:= \inf\bigl\{k=0,\ldots,K-1\dvtx__B_{k+1} >
c_2^\pm{\mathfrak{z}}_{k+1}^T_/_2\bigr\} \wedge
K. $$_On the event_$\mathcal{A}_n=\{c_2^- {\mathfrak{z}}_k \leq\hat{{\mathfrak{z}}}_k \leq
c_2^+_{\mathfrak{z}}_k\mbox{ for all_}_k=0,\ldots,K-1\}$ we have $k^- \leq
\hat{k}^* \leq k^+$. From Proposition \[propestimateunivquantile\] we infer $P(\mathcal{A}_n^c)={\mathcal{O}}(n^{-q/{\mathfrak{a}}_F} )$. Since_${\mathfrak{z}}_k$_decreases monotonically_in_$k$,_we find $\mathbb{E}[{\mathfrak{z}}_{\hat{k}^*}^q] \leq{\mathfrak{z}}_{k^-}^q +
{\mathcal{O}}(n^{-q/{\mathfrak{a}}_F}_)$. Note that the deterministic_sequences $(h_k^{\pm})$_satisfy $$\begin{aligned}
h_{k^{\pm}} &\thicksim& (n)^{-1/({\mathfrak{a}}_{F} \beta_+1)} (\log
n)^{({\mathfrak{a}}_{F} {\mathfrak{b}}_{F})/({\mathfrak{a}}_{F} \beta_+1)}_\quad\mbox{and}
\nonumber\\[-8pt]\\[-8pt]\nonumber
{\mathfrak{z}}_{k^-}_&\thicksim& n^{-\beta/({\mathfrak{a}}_{F} \beta
_+1)}_(\log n)^{(\beta{\mathfrak{a}}_{F} {\mathfrak{b}}_{F})/({\mathfrak{a}}_{F} \beta_+1)},\end{aligned}$$ provided that $\mathfrak{h}_0 < \beta_0_{\mathfrak{a}}_0 / (\beta_0 {\mathfrak{a}}_0
+ 1)$. For_computational details, refer_to_Lemma \[lemquantcoomp\]._Moreover, condition $\mathfrak{h}_0 <_\beta_0 {\mathfrak{a}}_0 / (\beta_0