## An extension of Gaussian Isoperimetry

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

The Gaussian isoperimetric inequality (Tsirelson,Sudakov, Borell) states that among all sets of given Gaussian measure in the n-dimensional Euclidean space, half-spaces have the minimal Gaussian boundary measure. Suppose we put an additional restriction on the set, that it should be symmetric about the origin. Then can we conclude that quarter-spaces (intuitively the first and third quadrant in 2-dimensions, say) have the minimal Gaussian boundary measure?

-

1
Also, if possible, could someone please suggest a more readable version of the Gaussian isoperimetry proofs, and possibly other related references on Gaussian measures (like lecture notes or surveys available free on the internet)? – Bratt May 23 2011 at 17:10

1
A bit off topic, but you could find this helpful: a nice review connecting concentration (and isoperimetric inequalities) to Markov chains. This allows to study discrete analogues of the picture. Yann Ollivier, A survey of Ricci curvature for metric spaces and Markov chains (pdf) yann-ollivier.org/rech/publs/surveycurvmarkov.pdf – Leonid Petrov May 24 2011 at 5:28

1
A little bit of computation shows that 'quarter-spaces' (or a symmetrization of halfspaces around the origin) is clearly not the best we can do. For example in two dimensions, just a circle of measure 1/2 has smaller boundary measure than the above set. But the question remains open. Also, thanks everyone, for the references. – Bratt May 24 2011 at 12:39

2
Following up on Ryan's suggestions, here's a paper by Barthe (subscription probably required) whose introduction suggests that the problem as you stated, and the analogous problem on the sphere, are open and difficult: journals.cambridge.org/action/… – Mark Meckes May 24 2011 at 15:01
Nice find, Mark. – Ryan O'Donnell May 25 2011 at 2:59
show 1 more comment

## 2 Answers

Answering more @Bratt's comment than the original question: Talagrand's book

people.math.jussieu.fr/~talagran/book.ps.gz

Seems quite nice.

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

My guess is that the optimizer is actually a "strip"; i.e., a set of the form {$x : -t \leq x_1 \leq t$}. But I'm somewhat sure that the solution to this problem is not known. You might take a look at the discussion surrounding after Corollary 3.6 in this paper by Klartag and Regev:

http://eccc.hpi-web.de/report/2010/140/

Barthe may also have some relevant papers.

-

Suppose we are looking at sets of measure 1/2 say. Then t as above is root(2) erfinverse(.5) which is roughly .67449 The boundary measure in this case is .635553 Compared to a boundary measure of .588 in the case of a circle of measure 1/2. Assuming my calculations are correct. – Bratt May 24 2011 at 13:11
Yeah, that's very possible.  So maybe a sphere is best in general?   Another good question (which might suggest the answer) is whether the analogous isoperimetric problem on the surface of the sphere is solved. – Ryan O'Donnell May 24 2011 at 13:46
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": false}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9179092049598694, "perplexity_flag": "middle"}