57624ab736b54b48.tex
1: \begin{definition}\label{def:orl}
2: For any vector $\vv\in\R^d$ and $p\in(-\frac12,2)$, let 
3: \begin{equation}\label{eq:orl}
4: 	\no\vv_{p,2}:=\inf\big\{v\in(0,\infty)\colon\sum\nolimits_j g_p(\tfrac{v_j}v)\le K_p\,d^{1/2}\big\},
5: \end{equation}
6: where 
7: \begin{equation}\label{eq:g_p}
8: g_p(s):=\left\{
9: 	\begin{aligned}
10: 		f_p(s)&\text{ if }p\in(-\tfrac12,0), \\
11: 		\tfrac{s^2}{e^2}\ii{|s|\le e}+\ln|s|\ii{|s|>e}
12: 		&\text{ if }p=0, \\
13: 		s^2\wedge|s|^p&\text{ if }p\in(0,2),  
14: 	\end{aligned}
15: 	\right.
16: \end{equation}
17: with $f_p(s)$ and 
18: $$K_p:=K_{\al,\be;p}$$
19: as in the table in Theorem~\ref{th:AS iff}. 
20: \end{definition}