in L^2([0,1])$ with $f''\in
L^2([0,1])$ and with periodic boundary conditions. Then $B$ has (complex-valued) eigenfunctions $u_k(x)=\exp(2\pi kix)$ with eigenvalues $\nu_k=(2\pi k)^2$ such that $$H^r=\{f\in L^2([0,1])\,:\,
\sum_{k\in\operatorname{{\mathbb Z}}}\nu_k^{2r}{\lvert {\langle f,u_k \rangle} \rvert}^2<\infty\}$$ is the classical $L^2$-Sobolev space $H^{2r}_{per}$ of regularity (smoothness) $2r$ with periodic boundary conditions. See, e.g., Edmunds and Evans (1987) for many examples of generating smooth function spaces from differential operators.

For the typical choice ${\varphi}(t)=t^a$ for some $a>0$, Assumption \[K-smooth\] translates to ${\lVert Kh \rVert}_W{\leqslant}M{\lVert B^{-a}h \rVert}_X$, which means intuitively that the operator $K$ regularizes at least as much as $B^{-a}$. In the case $Bf(x):=-f''(x)$ the operator $K$ acts like integrating at least $(2a)$-times, i.e. maps $L^2$ to the $L^2$-Sobolev space of regularity $2a$.

In the statistics literature, for the standard nonparametric mean regression model (i.e., the model in which $K$ is the identity operator), the minimax risk lower and upper bounds have been established in mean integrated squared error loss for various classes of functions ${\mathscr}H$ such as a Sobolev ball (ellipsoid), a Hölder ball (hyperrectangle) or a Besov ball (ellipsoid or hyperrectangle or Besov body); see, e.g., Donoho, Liu and MacGibbon (1990), Yang and Barron (1999) and the references therein. As shown in these papers, what matters for minimax risk lower and upper bounds for nonparametric mean regression estimation is the complexity of the class of functions ${\mathscr}H$ that can be measured in terms of best finite dimensional approximation numbers. This motivates us to impose Assumption \[h-
in L^2([0,1])$ with $ f''\in 
 L^2([0,1])$ and with periodic boundary conditions. Then $ B$ has (complex - valued) eigenfunctions $ u_k(x)=\exp(2\pi kix)$ with eigenvalues $ \nu_k=(2\pi k)^2 $ such that $ $ H^r=\{f\in L^2([0,1])\,:\, 
 \sum_{k\in\operatorname{{\mathbb Z}}}\nu_k^{2r}{\lvert { \langle f, u_k \rangle } \rvert}^2<\infty\}$$ is the classical $ L^2$-Sobolev quad $ H^{2r}_{per}$ of regularity (smoothness) $ 2r$ with periodic boundary condition. See, for example, Edmunds and Evans (1987) for many examples of beget smooth function space from differential operators. 

 For the typical option $ { \varphi}(t)=t^a$ for some $ a>0 $, premise \[K - smooth\ ] translates to $ { \lVert Kh \rVert}_W{\leqslant}M{\lVert B^{-a}h \rVert}_X$, which intend intuitively that the operator $ K$ regularizes at least equally much as $ B^{-a}$. In the case $ Bf(x):=-f''(x)$ the operator $ K$ acts like integrating at least $ (2a)$-times, i.e. maps $ L^2 $ to the $ L^2$-Sobolev space of regularity $ 2a$. 

 In the statistics literature, for the standard nonparametric mean arrested development model (i.e., the model in which $ K$ is the identity operator), the minimax hazard lower and upper bounds have been established in mean integrated squared error personnel casualty for various classes of functions $ { \mathscr}H$ such as a Sobolev ball (ellipsoid), a Hölder ball (hyperrectangle) or a Besov musket ball (ellipsoid or hyperrectangle or Besov body); see, e.g., Donoho, Liu and MacGibbon (1990), Yang and Barron (1999) and the references therein. As shown in these papers, what matters for minimax risk lower and upper bounds for nonparametric mean regression estimation is the complexity of the class of functions $ { \mathscr}H$ that can be measured in terms of good finite dimensional approximation numbers. This motivates us to levy Assumption \[h-
in P^2([0,1])$ with $f''\in
L^2([0,1])$ and with perlodic boundary conditiois. Then $B$ has (cumplex-valued) eigenfunctions $n_k(x)=\ezp(2\pi jix)$ with eigenvalues $\nj_k=(2\pi k)^2$ subh that $$H^e=\{f\in O^2([0,1])\,:\,
\sum_{k\in\opecztornamc{{\iathgn Z}}}\nu_n^{2c}{\lvert {\langle f,o_k \rangle} \rvart}^2<\infty\}$$ is tha zlcssical $L^2$-Sobolev space $H^{2r}_{per}$ of regujarity (xmlothness) $2r$ witr pegijdic boundary conditions. See, e.g., Edmunda and Enans (1987) for many exsmples of generating smootj fujction spaces from differentiql o[wrators.

For tfe typical choice ${\varpgi}(t)=t^a$ for some $a>0$, Assumption \[K-smuoth\] cranslates jo ${\lGgrt Kh \rVert}_X{\leqslwnt}M{\lVert B^{-a}m \rVert}_F$, which means intuitiyely vhat the operator $K$ regulerizes at least as moch as $B^{-a}$. Hn the case $Bf(x):=-f''(x)$ tye operdtor $K$ azrs uikt iitefratinh av least $(2a)$-tijes, i.e. maps $L^2$ to the $L^2$-Sobolev xpwbr of regularjty $2a$.

Ig ehe statistics literature, for the standdrd nonparametric mean regeession model (i.e., the lodel in rhich $K$ is the identity operator), the minimax risk lowec xnd uiper voknds have been established in mean integrated aqiaged error loss fov various classes pf figctions ${\mathszr}H$ sueg zs a Sobolev ball (fllipsoyd), a Yölder balj (hylerrectangle) or a Besov balo (ellipsoid je hyperrectangle ox Besov body); see, e.g., Dpnoho, Liu and MacGibbon (1990), Yahg and Barrln (1999) and tgd references thefeik. Av shown in these papers, whwt matterw fox minimab rixk lowqr and uppfr bomtds for nonparametgic mgan recression edtimation is the complexity of vie class of foncdiots ${\mathser}H$ thst can be meafured in terms of besc finige dimensiknal ap'roximation gumbers. This kltivates us vo impose Assymptuon \[h-
in L^2([0,1])$ with $f''\in L^2([0,1])$ and with conditions. $B$ has eigenfunctions $u_k(x)=\exp(2\pi kix)$ that L^2([0,1])\,:\, \sum_{k\in\operatorname{{\mathbb Z}}}\nu_k^{2r}{\lvert f,u_k \rangle} \rvert}^2<\infty\}$$ the classical $L^2$-Sobolev space $H^{2r}_{per}$ of (smoothness) $2r$ with periodic boundary conditions. See, e.g., Edmunds and Evans (1987) for examples of generating smooth function spaces from differential operators. For the typical choice for $a>0$, \[K-smooth\] to ${\lVert Kh \rVert}_W{\leqslant}M{\lVert B^{-a}h \rVert}_X$, which means intuitively that the operator $K$ regularizes at least much as $B^{-a}$. In the case $Bf(x):=-f''(x)$ the $K$ acts like integrating least $(2a)$-times, i.e. maps $L^2$ the space of $2a$. the literature, for the nonparametric mean regression model (i.e., the model in which $K$ is the identity operator), the minimax risk and upper been established mean squared loss for various functions ${\mathscr}H$ such as a Sobolev Hölder ball (hyperrectangle) or a Besov ball (ellipsoid hyperrectangle or body); see, e.g., Donoho, Liu and (1990), Yang and Barron (1999) and the references As shown in these papers, what matters for minimax risk lower and upper bounds for regression estimation is the of the class functions that be in terms best finite dimensional approximation numbers. This motivates us to impose Assumption
in L^2([0,1])$ with $f''\in
L^2([0,1])$ and with periodiC boundary cOnditIonS. ThEn $b$ has (CompLex-valued) eigenFUnctIons $u_k(x)=\exp(2\pi kix)$ with eigEnvalUeS $\Nu_k=(2\pI K)^2$ sUch thAt $$H^r=\{f\in l^2([0,1])\,:\,
\SuM_{K\In\oPeRaTorNaME{{\mAthbb z}}}\nu_K^{2r}{\lvert {\Langle f,u_k \rAngLe} \Rvert}^2<\infty\}$$ is THe Classical $L^2$-sobOlev space $H^{2r}_{pEr}$ oF regulArIty (SMoothNesS) $2r$ witH perioDIc bounDary condiTiONs. See, e.G., edmunds AND EVans (1987) For many examples of GEnERating smooth fuNction SpACeS FRom DifFerential oPeRatorS.

for the tYPiCAL ChoICe ${\varphi}(t)=t^a$ foR some $a>0$, AssumPTioN \[K-smooTh\] TraNSlates To ${\lVeRt kH \rVErt}_W{\leqslanT}M{\lVErt B^{-a}h \rVeRt}_X$, whiCH means iNTuitiveLy that The OpeRatoR $k$ rEgUlaRiZEs aT LeAst AS muCh as $B^{-a}$. In ThE cAse $Bf(X):=-f''(x)$ tHE OPEratOr $K$ Acts Like iNtegrating at lEasT $(2a)$-tiMEs, i.E. maps $l^2$ to thE $L^2$-SoBoLev spAce of rEgulaRiTy $2a$.

In the statistIcs lIterature, For ThE stAnDard nONparamEtrIc mEan regrEssion mODel (I.e., THE MoDel in which $K$ is the idEnTITy Operator), The minIMaX rISk lower aNd UppEr boUNDs havE beeN EsTablisheD in meaN InTeGrated sQuAred erRoR loSs fOr varIOus cLasses Of functiOns ${\maTHscr}H$ such as a SoBOlev ball (ellipSOiD), A höLDer bAll (HyperrectanGle) oR A BesOv baLL (eLliPSoid oR hypeRrECtANgle or Besov body); see, e.G., DOnoho, LIu and macGibbon (1990), Yang And Barron (1999) aND THe refereNces THeREin. As shown in thEse paPers, what maTTers for mInimaX risk lowEr and uppeR BOunds for NonParAmeTriC MEaN regression esTIMatiOn Is the coMplExity of The ClaSs oF fuNcTions ${\mathScr}H$ that CaN bE mEaSurEd in tERms of besT fIniTe DimEnsioNAl apprOximaTion NuMbERs. THis motiVAtES Us to ImPoSe AsSumPtIon \[h-
in L^2([0,1])$ with $f''\i n
L^2([0,1 ])$ a ndwit hperi odic  boundary cond i tion s. Then $B$ has (compl ex-va lu e d) e i ge nfunc tions $ u _k ( x )=\ ex p( 2\p ik ix )$ wi theigenva lues $\nu_ k=( 2\ pi k)^2$ suc h  t hat $$H^r= \{f \in L^2([0,1 ])\ ,:\,
\ su m_{ k \in\o per atorn ame{{\ m athbbZ}}}\nu_k ^{ 2 r}{\lv e rt {\la n g le  f,u _k \rangle} \rver t }^ 2 <\infty\}$$ is  the c la s si c a l $ L^2 $-Sobolevsp ace $ H ^{2r}_{ p er } $ ofr egularity (sm oothness) $ 2 r$with p er iod i c boun daryco n dit ions. See,e.g. , Edmunds  and E v ans (19 8 7) formany e xam ple s of ge ne rat in g  sm o ot h f u nct ion spac es  f rom d iffe r e n t ialope rato rs.
For the typic alchoi c e $ {\var phi}( t)=t ^a $ for  some$a>0$ ,Assumption \[K- smoo th\] tran sla te s t o${\lV e rt Kh\rV ert }_W{\le qslant} M {\l Ve r t B^ {-a}h \rVert}_X$,wh i c hmeans in tuitiv e ly  t h at the o pe rat or $ K $  regu lari z es  at leas t as m u ch  a s $B^{- a} $. Inth e c ase  $Bf( x ):=- f''(x) $ the op erato r  $K$ acts like integrating a t  l e a st $(2a )$- times, i.e.  map s  $L^ 2$ t o  t he$ L^2$- Sobol ev sp a ce of regularity $2 a$ .

Inthe s tatistics lit erature, f o r the stan dard no n parametric mea n reg ression mo d el (i.e. , the  model i n which $ K $  is theide nti tyope r a to r), the minim a x  ris klower a ndupper b oun dshav e b ee n establi shed inme an  i nt egr ateds quared e rr orlo ssfor v a riousclass es o ffu n cti ons ${\ m at h s cr}H $su ch a s a  S obole v ba l l ( ellipso id), a Hö lde r  bal l(h yperrec tangle) or aBe sov ball ( el lip soid o r hyperrec tangle or Besov body);s ee, e.g .,Donoh o, L iu and Ma cGi bbon ( 199 0 ), Yan g andBarro n(19 9 9 ) and t he  re fe rences the r e in.  As s ho wn i n these  papers, what matt e rsfor minimax r isk  low e r  a ndu pp e r b ou n dsf o r nonparametric  mean regr es s io n estimati o n i sthe com plexity  of t h e class  of funct ions ${\m at hscr } H $ t hat can be  measure d in term s  of b e st  fini tedimens io nal  appr oximat i onnumbe rs. Th is  motiv atesus  to impo se Assumption \[h-
in L^2([0,1])$_with $f''\in
L^2([0,1])$_and with periodic boundary_conditions. Then_$B$_has (complex-valued)_eigenfunctions_$u_k(x)=\exp(2\pi kix)$ with_eigenvalues $\nu_k=(2\pi k)^2$_such that $$H^r=\{f\in L^2([0,1])\,:\,
\sum_{k\in\operatorname{{\mathbb_Z}}}\nu_k^{2r}{\lvert {\langle f,u_k_\rangle}_\rvert}^2<\infty\}$$ is the classical $L^2$-Sobolev space $H^{2r}_{per}$ of regularity (smoothness) $2r$ with periodic boundary_conditions._See, e.g.,_Edmunds_and_Evans (1987) for many examples_of generating smooth function spaces_from differential_operators.

For the typical choice ${\varphi}(t)=t^a$ for some $a>0$,_Assumption_\[K-smooth\] translates to_${\lVert Kh \rVert}_W{\leqslant}M{\lVert B^{-a}h \rVert}_X$, which means intuitively that_the operator $K$ regularizes at least_as much as_$B^{-a}$._In_the case $Bf(x):=-f''(x)$ the_operator $K$ acts like integrating at_least $(2a)$-times, i.e. maps $L^2$ to_the $L^2$-Sobolev space of regularity $2a$.

In the_statistics literature, for the standard nonparametric_mean regression model (i.e., the_model in_which $K$ is the identity_operator), the minimax_risk lower_and upper bounds_have been established in mean integrated_squared error loss_for various classes of functions ${\mathscr}H$_such_as a Sobolev_ball_(ellipsoid),_a Hölder_ball (hyperrectangle) or_a_Besov ball_(ellipsoid_or hyperrectangle or Besov body); see,_e.g.,_Donoho, Liu and MacGibbon (1990), Yang and_Barron (1999) and the_references_therein. As shown in_these papers, what matters for_minimax risk lower and upper bounds_for nonparametric_mean regression_estimation is the complexity of the class of functions ${\mathscr}H$ that_can be measured in terms of_best finite dimensional approximation_numbers. This_motivates_us to impose_Assumption_\[h-