English

On extremal sections of subspaces of $L_p$

Metric Geometry 2019-09-10 v2 Functional Analysis

Abstract

Let m,nNm,n\in\mathbb{N} and p(0,)p\in(0,\infty). For a finite dimensional quasi-normed space X=(Rm,X)X=(\mathbb{R}^m, \|\cdot\|_X), let Bpn(X)={(x1,,xn)(Rm)n: i=1nxiXp1}.B_p^n(X) = \Big\{ (x_1,\ldots,x_n)\in\big(\mathbb{R}^{m}\big)^n: \ \sum_{i=1}^n \|x_i\|_X^p \leq 1\Big\}. We show that for every p(0,2)p\in(0,2) and XX which admits an isometric embedding into LpL_p, the function Sn1θ=(θ1,,θn)Bpn(X){(x1,,xn)(Rm)n: i=1nθixi=0}S^{n-1} \ni \theta = (\theta_1,\ldots,\theta_n) \longmapsto \Big| B_p^n(X) \cap\Big\{(x_1,\ldots,x_n)\in \big(\mathbb{R}^{m}\big)^n: \ \sum_{i=1}^n \theta_i x_i=0 \Big\} \Big| is a Schur convex function of (θ12,,θn2)(\theta_1^2,\ldots,\theta_n^2), where |\cdot| denotes Lebesgue measure. In particular, it is minimized when θ=(1n,,1n)\theta=\big(\frac{1}{\sqrt{n}},\ldots,\frac{1}{\sqrt{n}}\big) and maximized when θ=(1,0,,0)\theta=(1,0,\ldots,0). This is a consequence of a more general statement about Laplace transforms of norms of suitable Gaussian random vectors which also implies dual estimates for the mean width of projections of the polar body (Bpn(X))\big(B_p^n(X)\big)^\circ if the unit ball BXB_X of XX is in Lewis' position. Finally, we prove a lower bound for the volume of projections of Bn(X)B_\infty^n(X), where X=(Rm,X)X=(\mathbb{R}^m,\|\cdot\|_X) is an arbitrary quasi-normed space.

Keywords

Cite

@article{arxiv.1806.04333,
  title  = {On extremal sections of subspaces of $L_p$},
  author = {Alexandros Eskenazis},
  journal= {arXiv preprint arXiv:1806.04333},
  year   = {2019}
}