3
$\begingroup$

(Note: I asked this question on math stackexchange but did not get an answer. So I decide to ask this question here and hopefully somebody would know the answer/how to approach).

Consider the $d$-dimensional $\ell_1$-ball $\mathbb B_d := \{x: |x_1|+\cdots+|x_d|\leq 1\}$ and the $d$-dimensional $\ell_1$-surface $\mathbb S_d := \{x: |x_1|+\cdots+|x_d|=1\}$. I'm interested in the following volume ratio: $$ \mathrm{vol}(\mathbb B_d) / \mathrm{vol}(\mathbb S_{d-1}). $$

It is well-known that the volume ratio for $\ell_2$-balls and surfaces is $d$. It is also known that $\mathrm{vol}(\mathbb B_d) = 2^d/d!$. But it seems difficult to find $\mathrm{vol}(\mathbb S_d)$.

$\endgroup$
1
  • $\begingroup$ The way you've defined it, $\mathbb S_{d-1}$ is $(d-1)$-dimensional, not $d$-dimensional. $\endgroup$
    – j.c.
    Sep 20, 2017 at 16:32

2 Answers 2

4
$\begingroup$

The $d$-dimensional $\ell_1$-ball is a cross polytope which has $2^d$ facets that in this case are all regular $(d-1)$-simplices with side length $\sqrt{2}$. Since the volume of a regular $(d-1)$-simplex with unit side lengths is $\frac{\sqrt{d}}{(d-1)!\sqrt{2}^{d-1}}$, the volume of each of the facets is $\frac{\sqrt{d}}{(d-1)!}$ and $\mathrm{vol}(\mathbb S_{d-1})=\frac{2^d\sqrt{d}}{(d-1)!}$.

Thus (if I didn't mess up my algebra) the ratio you're looking for is $\frac{1}{d\sqrt{d}}$. By the way, I wouldn't call this a "volume ratio", since you're dividing a $d$-dimensional volume by a $(d-1)$-dimensional volume. The quantity you get will carry a unit of length.

$\endgroup$
0
2
$\begingroup$

I am a little confused. $S_{d-1}$ is a disjoint union of $2^d$ isometric regular simplices (one of them is the set of $x_1, \dotsc, x_d,$ with $x_i \geq 0,$ and $\sum x_i = 1.$ The volume of such a simplex can be found from:

$$\frac{1}{d!} = \frac{1}{d} \sqrt{\frac{1}{d}} V.$$

So, your ratio is $d\sqrt{d}.$

$\endgroup$
2
  • $\begingroup$ I think you divided wrong at the end, the ratio should be $d^{-3/2}$. Check e.g. $d=2$. $\endgroup$
    – j.c.
    Sep 20, 2017 at 16:46
  • $\begingroup$ I t is a question of whether you multiply or divide. $d\sqrt{d}$ looks better. $\endgroup$
    – Igor Rivin
    Sep 20, 2017 at 16:51

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.