arxiv:math/ v2 [math.pr] 2 Jan 2007

Transcription

1 arxiv:math/ v2 [math.pr] 2 Jan 2007 An isoperimetric inequality on the l p balls Sasha Sodin June 2, 2008 Abstract The normalised volume measure on the l n p unit ball ( p 2) satisfies the following isoperimetric inequality: the boundary measure of a set of measure a is at least cn /p ã log /p (/ã), where ã = min(a, a). Résumé Nous prouvons une inégalité isopérimétrique pour la mesure uniforme V p,n sur la boule unité de l n p ( p 2). Si V p,n(a) = a, alors V p,n(a) + cn /p ea log /p /ea, où V p,n + est la mesure de surface associée à V p,n, ea = min(a, a) et c est une constante absolue. En particulier, les boules unités de l n p vérifient la conjecture de Kannan Lovász Simonovits [KLS] sur la constante de Cheeger d un corps convexe isotrope. La démonstration s appuie sur les inégalités isopérimétriques de Bobkov [B] et de Barthe Cattiaux Roberto [BCR], et utilise la représentation de V p,n établie par Barthe Guédon Mendelson Naor [BGMN] ainsi qu un argument de découpage. Introduction We study the isoperimetric properties of the normalised volume measure on the l n p unit ball V p,n = Vol B n p / Vol(B n p ) B n p = x = (x,, x n ) R n x p p = x p + + x n p }, p 2. Recall that the lower Minkowski content µ + associated to a measure µ is defined as µ + µ x dist(x, A) ǫ} µ(a) (A) = liminf ǫ +0 ǫ School of Mathematics, Raymond and Beverly Sackler Faculty of Exact Sciences, Tel Aviv University, Tel Aviv, 69978, Israel, sodinale@tau.ac.il. Supported in part by the European network PHD, FP6 Marie Curie Actions, RTN, Contract MCRN 5953

2 for measurable sets A; we are interested in the behaviour of the isoperimetric function I µ (a) = inf a µ(a)</2 µ+ (A) () for µ = V p,n. Theorem. There exists a universal constant c > 0 such that for p 2, 0 < a < /2 I Vp,n (a) cn /p a log /p a. (2) This extends the previously known case p = 2 (the Euclidean ball), for which Burago and Maz ya [BM] (see also Almgren [A], Bokowski and Sperner [BS]) have found the complete solution to the isoperimetric problem (the extremal sets are half-balls and intersections of the ball with another one with orthogonal boundary). For p =, the theorem answers a question of Sergey Bobkov (cf. [B4]). The inequality (2) (and hence also (3) and (5) below) is sharp, up to a constant factor, unless a is exponentially small (in the dimension n). In fact, the left and right hand sides of (5) are of the same order when A = A ξ,t = x R n x, ξ t} is a coordinate half-space. In the last section of this note we explain how to obtain a sharp bound for smaller values of a as well. Remark. Not surprisingly, the complementary bound for J Vp,n (a) cn /p a log /p a J µ (a) = (3) inf /2<µ(A)< a µ+ (A) (4) is also true; in fact, J µ I µ according to Proposition A below (note however the slight asymmetry between the definitions of I µ and J µ ). Then, (2) and (3), combined with a trivial approximation argument for the case V p,n (A) = /2, yield V + p,n(a) cn /p( V p,n (A) ( V p,n (A) ) log /p V p,n (A) ( V p,n (A)) (5) (valid for any A R n, with the common convention 0 log 0 = 0, = max and = min). Remark 2. The following definition of isoperimetric function is more common than (), (4): Is µ (a) = inf µ(a)=a µ+ (A). (6) Clearly, Theorem is equivalent to (5) and to the inequality Is Vp,n (a) cn /p( ) a ( a) log /p ( ). a ( a) 2

3 Schechtman and Zinn proved [SZ] (in particular) the following estimate on the tails of the Euclidean norm with respect to V p,n. Theorem (Schechtman Zinn). There exist universal constants c and t 0 such that the inequality V p,n x 2 t} exp( cnt p ) (7) holds for t n 2 p 2p t0, p 2. In the subsequent work [SZ2], they showed that this inequality is a special case of a general concentration inequality. Recall that a median Med F of a real function F on a probability space (X, µ) is (non-uniquely) defined by the inequalities µf Med F } /2, µf Med F } /2. Theorem (Schechtman Zinn). For any -Lipschitz function F : Bp n (meaning that F(x) F(y) x y 2 for x, y Bp n), R V p,n F > Med F + t} C exp( c nt p ), 0 < t < +. (8) Let us sketch the standard argument that recovers (8) (with C = /2 and c = c p /p p ) from (5). Let φ(h) = V p,n F > Med F + h}, h 0. Then (5) (applied to A = F > Med F + h}) implies φ (h) cn /p φ(h) log /p φ(h) (where strictly speaking φ stands for the left upper derivative). Therefore the inverse function ψ = φ satisfies hence ψ(/2) = 0, [ ] ψ (u) cn /p u log /p ; u ψ(u) = /2 u ψ (u )du log/p u log/p 2 cn /p /p [ log ]/p 2u c n and φ(h) exp( c nh p )/2 as in (8). The proof of Theorem splits into two cases. In Section 2 we apply Bobkov s isoperimetric inequality [B] to deal with a as small as exp( Cn p/2 ). For larger a, the representation of V p,n put forward by Barthe, Guédon, Mendelson and Naor [BGMN] allows to reduce the question to an analogous one for a certain product measure. We deal with this case in Section 3, making use of the Barthe Cattiaux Roberto isoperimetric inequality [BCR]. 3

4 We devote the last section to remarks and comments. Acknowledgement. I thank Franck Barthe for illuminating discussions, for sharing his interest in functional inequalities and for bringing the problem to my attention. I thank my supervisor Vitali Milman for encouragement and support. I thank Sergey Bobkov for comments and explanations. I thank them and the anonymous referees for the remarks on preliminary versions of this note. This work was done while the author enjoyed the hospitality of the Paul Sabatier University, Toulouse, staying there on a predoc position of the European network PHD. 2 Small sets This section is based on the following isoperimetric inequality, due to Sergey Bobkov [B]. Recall that a probability measure µ on R n is called log-concave if for any A, B R n and for any 0 < t < µ(( t)a + tb) µ(a) t µ(b) t. Theorem (Bobkov). Let µ be a log-concave probability measure on R n. Then, for any A R n and any r > 0, µ + (A) 2r µ(a) log + ( µ(a))log µ(a) µ(a) + log µ x 2 r} Apply (9) to µ = V p,n, which is log-concave according to the Brunn Minkowski inequality. If r > n 2 p 2p t0, the Schechtman Zinn theorem (7) yields and V p,n x 2 r} exp( cnr p ) }. log V p,n x 2 r} log( exp( cnr p )) C exp( cnr p ) (here and further C, c, c, c 2, C et cet. denote universal constants that may change their meaning from line to line, unless explicitly stated). On the other hand, for V p,n (A) < c, Hence for ( V p,n (A))log r = V p,n (A) c V p,n (A). C c /p log/p n/p c V p,n (A) the sum of the last two terms in the right-hand side of (9) is not negative. We conclude: (9) 4

5 Proposition 2. There exist two universal constants c, C > 0 such that V + p,n(a) cn /p V p,n (A)log /p V p,n (A) for sets A R n such that V p,n (A) < exp( Cn p/2 ). 3 Big sets To complete the proof of Theorem, we need Proposition 3. There exists a constant c > 0 such that V + p,n (A) c n /p V p,n (A)log /p V p,n (A) for sets A R n such that exp( Cn p/2 ) V p,n (A) < /2 (where C is the same as in Proposition 2). Consider the product measure µ p,n = µ n p ν p, where dµ p (t) = exp( t p ) 2Γ( + /p) dt, dν p (t) = pt p exp( t p ) [0,+ ) (t)dt ; define T(z) = x/ z p for z = (x, y) R n+ = R n R. Barthe, Guédon, Mendelson and Naor proved [BGMN] that the map T : R n+ R n pushes µ p,n forward to V p,n (that is, V p,n (A) = µ p,n (T A) for A R n ). Key Fact (Barthe Cattiaux Roberto [BCR]). The measure µ = µ p,n satisfies the isoperimetric inequality I µ (a) ca log /p, 0 < a < /2. (0) a The notation here differs slightly from that in [BCR]; therefore we we provide a short explanation, reproducing the argument in the proof of [BCR, Theorem 2]. Explanation. First, the measures µ p and ν p are log-concave. Therefore we can use the following Proposition (Bobkov [B5]). Let µ be a log-concave measure on R; denote F µ (x) = µ(, x]. Then Is µ (a) = min ( F µ(f µ (a)), F µ(f µ ( a)) ), 0 < a < (in other words, the extremal sets are half-lines). 5

6 Now a simple computation shows that ( ) c Is µ p (a) a ( a) log /p ( ) c Is µp (a) ; a ( a) ) Is νp (a) c 2 (a ( a) log /p ( ) a ( a) () and thereby Is µp, Is νp c 3 Is µp. The measure µ p is log-concave; therefore, according to the comparison theorem due to Barthe [Ba, Theorem 0], Is µp,n = Is µ n p ν p c 3 Is µ n+ p. Barthe, Cattiaux and Roberto proved that the products of the measure µ p satisfy a dimension-free isoperimetric inequality. More precisely, according to inequality (4) in the Introduction to [BCR], ) Is µ n+(a) c p 4 (a ( a) log /p ( ). a ( a) We conclude that ) Is µp,n (a) c 3 c 4 (a ( a) log /p ( ) a ( a) and I µp,n (a) c 3 c 4 a log /p a, 0 < a < /2. Remark 3. The proof in [BCR] relies on rather involved semigroup estimates. For p =, µ = µ,n, the inequality (0) was proved earlier by Bobkov and Houdré [BH], using a more elementary argument. For p = 2, µ = µ 2,n, (0) follows from the Gaussian isoperimetric inequality that was proved by Sudakov and Tsirelson [ST] and Borell [Bo]; an elementary proof was given by Bobkov [B3]. If the Lipschitz semi-norm of T were of order n /p, the main inequality (2) would follow immediately (since Lipschitz maps preserve isoperimetric inequalities). Unfortunately, T Lip = + (as follows from the computation in the proof of Lemma below). Therefore we use a cut-off argument, cutting off the parts of the space where the local Lipschitz norm is too big. This appears more natural when the isoperimetric inequality is written in a functional form. Functional forms of isoperimetric inequalities were introduced around 960 by Maz ya [M], Federer and Fleming [FF]. We follow the approach developed by Bobkov and Houdré [BH]; the reader may refer to the latter work for a more general and detailed exposition. 6

7 Proposition A (Maz ya, Federer Fleming, Bobkov Houdré). Let µ be a probability measure, 0 < a < /2, b > 0. The following are equivalent:. I µ (a) b; 2. J µ (a) b; 3. for any locally Lipschitz function φ : suppµ [0, ] such that µφ = 0} /2 and µφ = } a, φ 2 dµ b. Proof. We shall only prove () (3); the proof is similar for (2) (3). () = (3): by the co-area inequality (which is just the first inequality in the following, cf. Bobkov Houdré [BH]), φ 2 dµ 0 µ + φ > u} du 0 I µ (a)du = I µ (a) b. (3) = (): for a set A of measure a µ(a) < /2, let ( φ(x) = 0 s dist ( x, y dist(y, A) r }) ). If x A, φ(x) = ; thereby µφ = } a. If dist(x, A) > r + s, then φ(x) = 0; the set of all these x has measure /2 for sufficiently small r+s, except maybe for the trivial case µ + (A) = +. Further, φ(x) 2 s, and is 0 unless r dist(x, A) r + s. Therefore according to the assumption s µr dist(x, A) r + s} b (for sufficiently small r + s). Letting r, s +0 so that r/s 0 we recover (). Now let us formulate (and prove) some technical lemmata. First, we need an estimate on the operator norm of the (adjoint) derivative Lemma. For 0 z R n, D T(z) : R n R n+. D T(z) z p + n 2 p 2p T(z) 2 } Proof. To simplify the notation, assume that z i 0, i =, 2,, n +. Then } T j (z) = δ ij x jz p i z i z p z p = ( ) zp x p z p z p p ij 7

8 (where the power z p is computed coordinate-wise). Now, z p x = z p 2 x 2 = z p 2(p ) x 2 by the Hölder inequality. n 2 p 2p z p p x 2 = n 2 p 2p z p p T(z) 2 The following trivial lemma justifies the cut-off arguments. Lemma 2. If k, h : R n [0, ] are two locally Lipschitz functions, then k 2 (kh) 2 h 2. Define two cut-off functions ( )) h : R n [0, ], x 0 (2 c n 2 p 2p x 2 h 2 : R n+ [0, ], z 0 ( ( c 2 n /p z p )). and The function h will be used to cut off the part of the space where Tz 2 is too large; the function h 2 will be used to cut off the part of the space where z p is too small. We shall choose c and c 2 later on, in the proof of Proposition 3. The next lemma collects the properties of h and h 2. } Lemma 3. The function h is identically 0 on x 2 2c n 2 p 2p and on x 2 c n 2 p 2p }. The gradient modulus h 2 is not greater than c n 2 p p, and vanishes outside c 2 p n 2p x 2 2c n 2 p 2p }. The function h 2 is 0 on z p c 2 n/p} and on z p 2c 2 n/p} ; h 2 2 is not greater than c 2 n /2, and vanishes outside c 2 n/p z p 2c 2 n/p}. Proof. The inequality h 2 2 c 2 n /2 follows from Hölder s inequality: h 2 (z) h 2 (z ) 2 c 2 n /p z z p c 2 n /2 z z p ; the other statements are obvious. Finally, we have Lemma 4. For any C > 0 there exists C 2 > 0 (independent of p [, 2] and n N) such that } ( V p,n x 2 C 2 n 2 p 2p exp C n p/2) and µ p,n z p C 2 n/p} exp( C n) exp ( C n p/2). 8

9 Proof. The first part follows from the Schechtman Zinn theorem (7). As for the second part, } µ p,n z p (cn) /p } = µ p,n zi p cn. (2) If Z = (Z,, Z n+ ) µ p,n, then Z i p are nonnegative independent random variables. The density of Z i ( i n) is x p p exp( x) [0,+ ) (x)dx, Γ(/p) the density of Z n+ is exp( x) [0,+ ) (x)dx, and both are bounded by const x p p dx (what is essential here is that the density does not grow too fast near 0). Thus, an estimate on (2) follows from standard large deviation arguments that we reproduce for completeness in Lemma 5 below. Lemma 5. Let X,, X N 0 be independent random variables such that the density of every one of them is bounded by Ax α dx for some A > 0 and 0 α <. Then PX + + X N Nǫ} [C(A, α)ǫ] ( α)n, where C(A, α) = e α [AΓ( α)] α. Proof. Let Y = X + + X N. For i N, ξ 0, therefore Eexp( ξx i ) A 0 exp( ξx)x α dx = AΓ( α)ξ ( α) ; Eexp( ξy ) [AΓ( α)] N ξ N( α). By Chebyshev s inequality ( P Y Nǫ} = P exp α ) Y ǫ ( exp (( α)n) Eexp } exp ( ( α)n) ) α Y ǫ exp (( α)n)[aγ( α)] N ( α ǫ ) ( α)n. 9

10 Proof of Proposition 3. Let 0 < a < /2. Pick f : Bp n [0, ] such that V p,n f = 0} /2 and V p,n f = } a exp( Cn p/2 ). Then (by Lemmata 2 and 3) f 2 dv p,n (fh ) 2 dv p,n h 2 dv p,n (fh ) 2 dv p,n c n 2 p 2p Vp,n x 2 c 2 p n 2p Let g = (fh ) T. By the definition of push-forward and Lemma, (fh ) 2 dv p,n = (fh ) T 2 dµ p,n g(z) 2 R D T(z) dµ g(z) 2 z p p,n dµ n+ R n+ + n 2 p p,n 2p T(z) 2 }. (3) According to Lemma 3, T(z) 2 2c n 2 p 2p whenever h (T(z)) 0; hence (fh ) 2 dv p,n c 3 g 2 z p dµ p,n, (4) R n+ where c 3 = c /(c + 2). Applying Lemmata 2 and 3 once again, g 2 z p dµ p,n R n+ (gh 2 ) 2 z p dµ p,n h 2 2 z p dµ p,n R n+ R n+ c2 n/p (gh 2 ) 2 dµ p,n 2n 2 p 2p µp,n z p 2c 2 n/p}. R n+ The inequalities (3), (4), (5) show that f 2 dv p,n c 4 n /p (gh 2 ) 2 dµ p,n c n 2 p 2p Vp,n x 2 c R n+ 2 p n 2p } (5) 2c 3 n 2 p 2p µp,n z p 2c 2 n/p}, (6) where c 4 = c 3 c 2. Therefore by Lemma 4 (with C larger than C from Proposition 2) we can choose c and c 2 so that f 2 dv p,n c 4 n /p R n+ (gh 2 ) 2 dµ p,n exp( Cn p/2 )/2. (7) 0

11 The function gh 2 = ((fh ) T)h 2 vanishes on a set of µ p,n -measure /2 (for example, it is zero on T f = 0}). Also, gh 2 = } g = } \ h 2 < } is of µ p,n -measure at least V p,n f = } V p,n x 2 > c T ( f = } \ h < } ) \ h 2 < } 2 p n 2p } µ p,n z 2 < 2c 2 n/p} V p,n f = } exp( Cn p/2 )/2 2 V p,n f = } a/2. Therefore by the inequality (0) and Proposition A R n+ (gh 2 ) 2 dµ p,n c a 2 log /p 2 a c 5a log /p a. To conclude, combine this inequality with (7) and apply Proposition A once again. 4 Remarks. Let us briefly recall the connection between the isoperimetric inequality as in Theorem and related L 2 inequalities. According to Proposition A, (2) for µ = V p,n can be written as φ 2 dµ cn /p a log /p a (8) for 0 φ such that µφ = 0} /2, µφ = } a. The following is well-known. Proposition B. If a probability measure µ satisfies (8), then also φ 2 2 dµ c n 2/p a log 2 2/p a for 0 φ such that µφ = 0} /2, µφ = } a. (9) (with some constant c depending on c). As proved by Barthe and Roberto [BR], (9) is (up to constants and normalisation) an equivalent form of the Lata la Oleszkiewicz inequality (introduced in [LO] under the name I(p)).

12 Proof of Proposition B. Assume for simplicity that φ has no atoms except for 0 and. For 0 u, ǫ, let φ u,ǫ = 0 ( ǫ (φ u) ). By (8) and Jensen s inequality, φ 2 2 dµ = ǫ 2 φ u,ǫ 2 2 dµ u φ u+ǫ ǫ 2 [ µu φ u + ǫ} ] 2 φ u,ǫ 2 dµ ǫ 2 µu φ u + ǫ} c2 n 2/p m 2 u+ǫ log2 2/p m u+ǫ, where m u = µφ u}. Let u 0 = 0, u i+ = u i + ǫ i, choosing ǫ i so that µu i < φ u i + ǫ i } = m ui+ǫ i = /2 i+ (except for the last step, i = [log /a]). As ǫ i =, the Cauchy Schwartz inequality yields φ 2 2 dµ c 2 ǫ 2 in 2/p m ui+ log 2 2/p m i ui+ c 2 n 2/p 2 i log (2 2/p) 2 i i log a c n 2/p a log 2 2/p a. In the class of log-concave measures, the last proposition can be reversed (that is, (9) implies (8) with a constant c depending on c ). This was proved by Michel Ledoux [L] for p =, 2 (see also Bobkov [B, Theorem.3]), and extended by Barthe Cattiaux Roberto [BCR] to all p The volume measure V K = Vol K / Vol(K) on a convex body K R n has attracted much interest in recent years. For any body K R n there exists a nondegenerate linear map T : R n R n such that K = TK is isotropic, meaning that Vol K =, ek x i x j n k= dx k = L 2 K δ ij for i, j n. The number L K is an invariant of the body called the isotropic constant; L K > c for some universal constant c > 0 (independent of K and n). The famous hyperplane conjecture asserts that L K C. So far, it is only known that L K Cn /4 ; this was recently proved by Bo az Klartag [K], improving the celebrated estimate of Bourgain [Bou] with an extra logarithmic factor. 2

13 Kannan, Lovász and Simonovits conjectured [KLS] that there exists a universal constant c 0 > 0 such that for any isotropic convex body K the measure µ = V K satisfies the Cheeger-type inequality I µ (a) c 0 a/l K (20) for 0 < a /2. The inequality (Cheeg) has so far been proved for a mere few families of convex bodies (cf. Bobkov and Zegarlinski [BZ], Bobkov [B4] for an extensive discussion and related results, and Bobkov [B2], Bobkov Houdré [BH] for several families of examples in the larger class of log-concave measures). As B n p = C(n, p)bn p, where cn/p C(n, p) Cn /p, Theorem shows that the conjecture is true for B n p, p 2. Recently, Grigoris Paouris proved [P] that for any isotropic convex body K, V K x 2 t} exp( ct/l k ), t t 0 L K n (2) Repeating the proof of Proposition 2 with (2) instead of the Schechtman Zinn theorem, we obtain: Proposition 4. If K R n is an isotropic convex body, then (20) holds for 0 < a < exp( C n) (where C is a universal constant). 3. The right-hand side in the inequality (2) behaves like c(n)a log /p a as a 0, whereas the correct asymptotics should be c(n)a /n (the difference becomes essential however only for a e cnlog n ). To recover the correct behaviour for small a, note that the inequality (9) that we used in the proof of Proposition 2 is dimension free. We can use instead the following dimensional extension, due to Franck Barthe [Ba]: Theorem (Barthe). Let K be a convex body in R n and let V K be the normalised volume measure on K. Then, for any A K and any r > 0, V + K (A) n [ V K (A) /n + ( V K (A)) /n] } V K x 2 r} /n. 2r References [A] F. J. Almgren, Existence and regularity almost everywhere of solutions to elliptic variational problems with constraints, Mem. AMS 65 (976) [Ba] F. Barthe, Log-concave and spherical models in isoperimetry, Geom. Funct. Anal. 2 (2002), no., [BCR] F. Barthe, P. Cattiaux, C. Roberto, Interpolated inequalities between exponential and Gaussian, Orlicz hypercontractivity and isoperimetry, to appear in Rev. Math. Iber., 2005 (arxiv preprint: math.pr/040729) 3

14 [BGMN] F. Barthe, O. Guédon, Sh. Mendelson, A. Naor, A probabilistic approach to the geometry of the l n p-ball, Ann. Probab. 33 (2005), no. 2, [BR] F. Barthe, C. Roberto, Sobolev inequalities for probability measures on the real line, Studia Math. 59 (2003), no. 3, [B] S. G. Bobkov, Isoperimetric and analytic inequalities for log-concave probability measures, Ann. Probab. 27 (999), no. 4, [B2] S. G. Bobkov, Spectral gap and concentration for some spherically symmetric probability measures, Geometric aspects of functional analysis (Notes of GAFA Seminar), 37 43, Lecture Notes in Math., 807, Springer, Berlin, 2003 [B3] S. G. Bobkov, An isoperimetric inequality on the discrete cube, and an elementary proof of the isoperimetric inequality in Gauss space, Ann. Probab. 25 (997), no., [B4] S. G. Bobkov, On isoperimetric constants for log-concave probability distributions, to appear in Geometric aspects of functional analysis (Notes of GAFA Seminar) [B5] S. Bobkov, Extremal properties of half-spaces for log-concave distributions, Ann. Probab. 24 (996), no., [BH] S. G. Bobkov, C. Houdré, Isoperimetric constants for product probability measures, Ann. Probab. 25 (997), no., [BZ] S. G. Bobkov, B. Zegarlinski, Entropy bounds and isoperimetry, Mem. Amer. Math. Soc. 76 (2005), no. 829, x+69 pp. [BS] J. Bokowski, E. Sperner, Zerlegung konvexer Körper durch minimale Trennflächen, J. Reine Angew. Math. 3/32 (979), [Bo] Ch. Borell, The Brunn-Minkowski inequality in Gauss space, Invent. Math. 30 (975), no. 2, [Bou] J. Bourgain, On the distribution of polynomials on high-dimensional convex sets, Geometric aspects of functional analysis (Notes of GAFA Seminar), 27 37, Lecture Notes in Math., 469, Springer, Berlin, 99. [BM] Yu. D. Burago, V. G. Maz ja, Certain questions of potential theory and function theory for regions with irregular boundaries, Zap. Naučn. Sem. Leningrad. Otdel. Mat. Inst. Steklov, (LOMI) 3, 967, 52 pp.; English translation: Potential theory and function theory for irregular regions, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, Vol. 3, Consultants Bureau, New York 969 vii+68 pp. [FF] H. Federer, W. H. Fleming, Normal and integral currents, Ann. of Math. (2)

15 [K] B. Klartag, On convex perturbations with a bounded isotropic constant, to appear in Geom. and Funct. Anal. [KLS] R. Kannan, L. Lovász, M.Simonovits, Isoperimetric problems for convex bodies and a localization lemma, Discrete Comput. Geom. 3 (995), no. 3-4, [L] M. Ledoux, Spectral gap, logarithmic Sobolev constant, and geometric bounds, Surveys in differential geometry. Vol. IX, , Surv. Differ. Geom., IX, Int. Press, Somerville, MA, 2004 [LO] R. Lata la, K. Oleszkiewicz, Between Sobolev and Poincaré, Geometric aspects of functional analysis (Notes of GAFA Seminar), 47 68, Lecture Notes in Math., 745, Springer, Berlin, 2000 [M] V. G. Maz ja, Classes of domains and imbedding theorems for function spaces, Dokl. Akad. Nauk SSSR (Russian); translated as Soviet Math. Dokl [P] G. Paouris, Concentration of mass on isotropic convex bodies, C. R. Math. Acad. Sci. Paris 342 (2006), no. 3, [SZ] G. Schechtman, J. Zinn, On the volume of the intersection of two L n p balls, Proc. Amer. Math. Soc. 0 (990), no., [SZ2] G. Schechtman, J. Zinn, Concentration on the l n p ball, Geometric aspects of functional analysis (Notes of GAFA Seminar), , Lecture Notes in Math., 745, Springer, Berlin, 2000 [ST] V. N. Sudakov, B. S. Cirel son, Extremal properties of half-spaces for spherically invariant measures. (Russian), Problems in the theory of probability distributions, II, Zap. Naučn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 4 (974), 4 24, 65. 5