The octahedron is badly approximated by random subspaces (Q1089568)

Let \(B^ N_ p\) be the unit ball in \(\ell^ N_ p\) \((1\leq p\leq \infty)\). For \(X\) a Banach space, \(K\subset X\) and any subspace \(L\) of \(X\) let \(\rho_ X(K,L)=\sup \{dist(x,L):x\in K\}\) (write \(\rho_ p(K,L)\) if \(C=\ell^ N_ p)\) and \(d_ n(K,X)=\inf \{\rho_ X(K,L):L\subset \subset X,\dim L=n\}\). If \(4 \log eN\leq n<N/2\), \(1\leq p\leq 2\), then 1) \[ \int_{G_{n,N}}\rho_{\infty}(B^ N_ p,L)\,d\mu_{n,N}(L)\asymp ((1+\log (N/n))/n)^{1/2}; \] 2) there are absolute positive constants \(c_ 1,c_ 2,\theta\) such that \(\theta<1\) and \[ {\mathcal P}_{n,N}\{L\in G_{n,N}:\rho_{\infty}(B^ N_ 1,L)<c_ 1((1+\log (N/n))/n)^{1/2}\}\leq c_ 2\theta^ n, \] where \(G_{n,N}\) is the Grassmann manifold of all \(n\)-dimensional subspaces of \(\mathbb R^ N\), \(\mu_{n,N}\) the normed unitarily invariant measure on \(G_{n,N}\) and \(P_{n,N}\) the Gaussian measure on the space of all \(n\)-by-\(N\)-matrices. If \(\log N\leq n\leq N/2\), then there is an absolute positive constant \(c\) such that \[ d_ n(B^ N_ 1,\ell^ N_{\infty})\geq c((\log N)/(n \log (1+n/\log N)))^{1/2}. \]