Minimax nonparametric hypothesis testing for ellipsoids and Besov bodies

We observe an infinitely dimensional Gaussian random vector x = ξ + v where ξ is a sequence of standard Gaussian variables and v ∈ l2 is an unknown mean. We consider the hypothesis testing problem H0 : v = 0 versus alternatives $H_{\varepsilon,\tau}:v\in V_{\varepsilon}$ for the sets $V_{\varepsilon}=V_{\varepsilon}(\tau,\rho_{\varepsilon})\subset l_2$. The sets Vε are lq-ellipsoids of semi-axes ai = i-s R/ε with lp-ellipsoid of semi-axes bi = i-r pε/ε removed or similar Besov bodies Bq,t;s (R/ε) with Besov bodies Bp,h;r (pε/ε) removed. Here $\tau =(\kappa,R)$ or $\tau =(\kappa,h,t,R);\ \ \kappa=(p,q,r,s)$ are the parameters which define the sets Vε for given radii pε → 0, 0 0; ε → 0 is the asymptotical parameter. We study the asymptotics of minimax second kind errors $\beta_{\varepsilon}(\alpha)=\beta(\alpha, V_{\varepsilon}(\tau,\rho_{\varepsilon}))$ and construct asymptotically minimax or minimax consistent families of tests $\psi_{\alpha;\varepsilon,\tau,\rho_{\varepsilon}}$, if it is possible. We describe the partition of the set of parameters κ into regions with different types of asymptotics: classical, trivial, degenerate and Gaussian (of various types). Analogous rates have been obtained in a signal detection problem for continuous variant of white noise model: alternatives correspond to Besov or Sobolev balls with Besov or Sobolev balls removed. The study is based on an extension of methods of constructions of asymptotically least favorable priors. These methods are applicable to wide class of “convex separable symmetrical" infinite-dimensional hypothesis testing problems in white Gaussian noise model. Under some assumptions these methods are based on the reduction of hypothesis testing problem to convex extreme problem: to minimize specially defined Hilbert norm over convex sets of sequences $\bar{\pi}$ of measures πi on the real line. The study of this extreme problem allows to obtain different types of Gaussian asymptotics. If necessary assumptions do not hold, then we obtain other types of asymptotics