Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $B_p^N$ be the unit ball of $\mathbb{R}^N$ under the $\ell_p^N$ norm.

Question: Let $C_N$ be the infimum of all $C$ for which there is a homeomorphism $f_N$ from $B_\infty^N$ onto $B_2^N$ so that the Lipschitz constant of $f_N$ is $C$. Is $C_N$ bounded as $N\to \infty$?

Notice that the $\ell_\infty^N$ norm is $2$-equivalent to the $\ell_p^N$ norm with $p = \log_2 N$, and the Mazur map from $B_p^N$ to $B_2^N$ has Lipschitz constant about $p$, so $C_N$ grows no faster than $\log N$.

(The Mazur map from $\ell_p$ to $\ell_2$ is defined for unit vectors to be $x\mapsto |x|^{p/2}\rm{sign}\ x$ and extended to be positively homogeneous on $\ell_p$.)

share|improve this question
Lovely question! (BTW, what is 2-equivalent?) –  Gil Kalai Apr 3 '11 at 12:52
Just to be sure: the Lipschitz constant $C$ refers to the $\ell^N_\infty$ distance on the domain and $\ell^N_2$ distance on the co-domain of $f_N$, right? –  Pietro Majer Apr 3 '11 at 13:28
$\|x\|_\infty \le \|x\|_p \le 2 \|x\|_\infty$ for all $x$, Gil. Right, Pietro. –  Bill Johnson Apr 3 '11 at 13:53
@Pietro: a standard volume comparison argument shows that in any $N$-dimensional normed space, the ball of radius $R\ge 1$ can be covered by $(3R)^N$ unit balls. This seems to give only a constant lower bound on the $C_N$. –  Mark Meckes Apr 4 '11 at 14:19
ah, sorry, this approach fails, since the unit cube, inscribed in a Euclidean ball, has a volume $C^N$-comparable to that of the unit ball. –  Fedor Petrov Apr 11 '11 at 17:02

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.