Skip to main content
more detailed answer
Source Link

For $p=2$: up to multiplicative universal constants, the average $M$ of $\|\cdot\|_q$ over $S^{n-1}$ is equal to

  1. $M \simeq \sqrt{q} \cdot n^{1/q-1/2}$ when $1 \leq q \leq \log n$,
  2. $M \simeq \sqrt{\log n}/\sqrt{n}$ for $q \geq \log n$.

This can be checked most easily after switching to a Gaussian integral as Yemon mentions. For the lower bound in 1, it may be useful to consider using concentration of measure. If it is a matter of reference, it can probably be extracted from Chapter 5.4 in Milman-Schechtman, "Asymptotic theory of finite-dimensional normed spaces". Indeed, the value of this average is closely related to the dimension of almost Euclidean sections of the space $\ell_q^n$.

Edit: let me add more detail. First, (this is true for any norm of $\mathbb{R}^n$, just by rotational invariance of the Gaussian measure $\gamma_n$), we have $$ M = \frac{1}{\alpha_n} \int_{\mathbb{R}^n} \|x\|_q \, \mathrm{d} \gamma_n(x), $$ where $$\alpha_n = \int_{\mathbb{R}^n} \|x\|_2 \, \mathrm{d} \gamma_n(x) $$ is a constant very close to $\sqrt{n}$. Now write $$ M \leq \frac{1}{\alpha_n} \left(\int_{\mathbb{R}^n} \|x\|^q_q \, \mathrm{d} \gamma_n(x) \right)^{1/q} \simeq \sqrt{q} \cdot n^{1/q-1/2} $$ (use the fact the $L^q$ norm of a standard Gaussian variable is or order $\sqrt{q}$). This upper bound is sharp when $q \leq \log n$, this follows from concentration of measure. Finally for $q \geq \log n$, the norms $\|\cdot\|_q$ and $\|\cdot\|_{\infty}$ are equivalent, and the question reduces to estimating the expected maximum of $n$ i.i.d. standard Gaussian variables.

For $p=2$: up to multiplicative universal constants, the average $M$ of $\|\cdot\|_q$ over $S^{n-1}$ is equal to

  1. $M \simeq \sqrt{q} \cdot n^{1/q-1/2}$ when $1 \leq q \leq \log n$,
  2. $M \simeq \sqrt{\log n}/\sqrt{n}$ for $q \geq \log n$.

This can be checked most easily after switching to a Gaussian integral as Yemon mentions. For the lower bound in 1, it may be useful to consider using concentration of measure. If it is a matter of reference, it can probably be extracted from Chapter 5.4 in Milman-Schechtman, "Asymptotic theory of finite-dimensional normed spaces". Indeed, the value of this average is closely related to the dimension of almost Euclidean sections of the space $\ell_q^n$.

For $p=2$: up to multiplicative universal constants, the average $M$ of $\|\cdot\|_q$ over $S^{n-1}$ is equal to

  1. $M \simeq \sqrt{q} \cdot n^{1/q-1/2}$ when $1 \leq q \leq \log n$,
  2. $M \simeq \sqrt{\log n}/\sqrt{n}$ for $q \geq \log n$.

This can be checked most easily after switching to a Gaussian integral as Yemon mentions. For the lower bound in 1, it may be useful to consider using concentration of measure. If it is a matter of reference, it can probably be extracted from Chapter 5.4 in Milman-Schechtman, "Asymptotic theory of finite-dimensional normed spaces". Indeed, the value of this average is closely related to the dimension of almost Euclidean sections of the space $\ell_q^n$.

Edit: let me add more detail. First, (this is true for any norm of $\mathbb{R}^n$, just by rotational invariance of the Gaussian measure $\gamma_n$), we have $$ M = \frac{1}{\alpha_n} \int_{\mathbb{R}^n} \|x\|_q \, \mathrm{d} \gamma_n(x), $$ where $$\alpha_n = \int_{\mathbb{R}^n} \|x\|_2 \, \mathrm{d} \gamma_n(x) $$ is a constant very close to $\sqrt{n}$. Now write $$ M \leq \frac{1}{\alpha_n} \left(\int_{\mathbb{R}^n} \|x\|^q_q \, \mathrm{d} \gamma_n(x) \right)^{1/q} \simeq \sqrt{q} \cdot n^{1/q-1/2} $$ (use the fact the $L^q$ norm of a standard Gaussian variable is or order $\sqrt{q}$). This upper bound is sharp when $q \leq \log n$, this follows from concentration of measure. Finally for $q \geq \log n$, the norms $\|\cdot\|_q$ and $\|\cdot\|_{\infty}$ are equivalent, and the question reduces to estimating the expected maximum of $n$ i.i.d. standard Gaussian variables.

Source Link

For $p=2$: up to multiplicative universal constants, the average $M$ of $\|\cdot\|_q$ over $S^{n-1}$ is equal to

  1. $M \simeq \sqrt{q} \cdot n^{1/q-1/2}$ when $1 \leq q \leq \log n$,
  2. $M \simeq \sqrt{\log n}/\sqrt{n}$ for $q \geq \log n$.

This can be checked most easily after switching to a Gaussian integral as Yemon mentions. For the lower bound in 1, it may be useful to consider using concentration of measure. If it is a matter of reference, it can probably be extracted from Chapter 5.4 in Milman-Schechtman, "Asymptotic theory of finite-dimensional normed spaces". Indeed, the value of this average is closely related to the dimension of almost Euclidean sections of the space $\ell_q^n$.