9
$\begingroup$

There are various "concentration-of-measure" theorems, the best known that due to Lévy, which is this (informally): the volume of a sphere $S^d$ in $d$ dimensions is largely concentrated around an $\epsilon$-tubular neighborhood of an equitorial hyperplane $H$. Here the tubular neighborhood is the set of points within distance $\epsilon$ of $H$. I believe there is an analogous theorem for centro-symmetric convex bodies (although I have no reference for this). My question is:

Is there a concentration-of-measure theorem for arbitrary convex bodies $K$, something along these lines: There exists a hyperplane $H$ such that most of the volume of $K$ is concentrated in a tubular neighborhood of $H$?

Or are there convex bodies so "skewed" that they resist any such section?

Likely this is known, in which case a reference would suffice. Thanks!

Improve this question
$\endgroup$
4
  • $\begingroup$ Isn't this kind of result an asymptotic one, for large dimension? in that case you should work with a more specific class of bodies, defined for each dimension n $\endgroup$
    – Piero D'Ancona
    Commented Jun 11, 2011 at 17:35
  • $\begingroup$ @Piero: I see. You are suggesting that the question doesn't quite make sense in this vague formulation. I'll have to mull that over. Thanks for the comment! $\endgroup$
    – Joseph O'Rourke
    Commented Jun 11, 2011 at 19:28
  • $\begingroup$ Here is a question: is there any convex body in $\mathbb{R}^n$ which is less concentrated than an $n$-sphere? Maybe the answer is of course there is, but I do not immediately see it. $\endgroup$
    – Aaron Meyerowitz
    Commented Jun 11, 2011 at 22:34
  • $\begingroup$ @Aaron: Perhaps the $n$-cube? My intuition may be all wrong, but I sense that is the extreme case, the most "anti-sphere," at least among the centro-symmetric bodies. $\endgroup$
    – Joseph O'Rourke
    Commented Jun 12, 2011 at 2:18

2 Answers 2

Reset to default
11
$\begingroup$

There are many results, and an active research industry, along these lines. In general the Euclidean ball is the best-behaved convex body in this respect, and just how similar an arbitrary convex body is depends on how you try to make your question more precise. Here's one very general result, a special case of what is sometimes called Borell's lemma:

Let $K \subset \mathbb{R}^n$ be a convex body with volume 1 and let $A \subset \mathbb{R}^n$ be a convex symmetric set such that $vol(K\cap A) \ge 3/4$. Then for $r > 1$, $$ vol(K \setminus r A) \le \frac{3}{4} 3^{-(r+1)/2}. $$

Thus in particular the volume of $K$ far from a hyperplane decays exponentially.

Much sharper results exist. I mentioned a couple recent references in a comment on Gil's answer. For much more, I suggest you start by perusing the papers of Grigoris Paouris.

Improve this answer
$\endgroup$
0
5
$\begingroup$

The paper "Isoperometric problems for convex bodies and a localization lemme" by Kannan Lovasz and Simonovitz (Disc Comp Geom 13(1995) 541-559) seems relevant. They consider the minimum volume of a (n-1) dimensional surface needed to seperate a convex body to sets of large volume each. If the volume is large then so is the volume of a tobular neighborhood.

Improve this answer
$\endgroup$
3
  • 1
    $\begingroup$ @Gil: Very interesting! They have a nice conjecture relating the volume of the minimal separating surface to the largest eigenvalue of an inertia matrix. This seems to be a way to generalize from sphere to centro-symmetric to arbitrary convex body. Thanks! $\endgroup$
    – Joseph O'Rourke
    Commented Jun 13, 2011 at 18:54
  • $\begingroup$ The link for Gil's apropos reference: springerlink.com/content/y6n55736x8052654 $\endgroup$
    – Joseph O'Rourke
    Commented Jun 13, 2011 at 22:14
  • 1
    $\begingroup$ @Joseph: This conjecture is now very famous and frequently referred to as the KLS conjecture. For the current state of affairs, you can look at recent work of Klartag, e.g. math.tau.ac.il/~klartagb/papers/thin_slice6.pdf and Guedon and E. Milman: arxiv.org/abs/1011.0943 $\endgroup$
    – Mark Meckes
    Commented Jun 14, 2011 at 14:16

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .