Lévy-Gromov's isoperimetric inequality for an infinite dimensional diffusion generator

We establish, by simple semigroup arguments, a Lévy-Gromov isoperimetric inequality for the invariant measure of an infinite dimensional diffusion generator of positive curvature with isoperimetric model the Gaussian measure. This produces in particular a new proof of the Gaussian, isoperimetric inequality. This isoperimetric inequality strengthens the classical logarithmic Sobolev inequality in this context. A local version for the heat kernel measures is also proved, which may then be extended into an isoperimetric inequality for the Wiener measure on the paths of a Riemannian manifold with bounded Ricci curvature.Oblatum 19-VI-1995     

Lévy–Gromov’s isoperimetric inequality for an infinite dimensional diffusion generator

 We establish, by simple semigroup arguments, a Lévy–Gromov isoperimetric inequality for the invariant measure of an infinite dimensional diffusion generator of positive curvature with isoperimetric model the Gaussian measure. This produces in particular a new proof of the Gaussian isoperimetric inequality. This isoperimetric inequality strengthens the classical logarithmic Sobolev inequality in this context. A local version for the heat kernel measures is also proved, which may then be extended into an isoperimetric inequality for the Wiener measure on the paths of a Riemannian manifold with bounded Ricci curvature. Oblatum 19-VI-1995     

An isoperimetric inequality for the Heisenberg groups

We show that the Heisenberg groups of dimension five and higher, considered as Riemannian manifolds, satisfy a quadratic isoperimetric inequality. (This means that each loop of length L bounds a disk of area ~ L ².) This implies several important results about isoperimetric inequalities for discrete groups that act either on or on complex hyperbolic space, and provides interesting examples in geometric group theory. The proof consists of explicit construction of a disk spanning each loop in . Submitted: April 1997, Final version: November 1997     

A Note on the Reverse Isoperimetric Inequality

In this paper, we derive an improved sharp version of a reverse isoperimetric inequality for convex planar curves of Pan and Zhang (Beitr?ge Algebra Geom 48:303?C308, 2007), with a simpler Fourier series proof. Moreover our result also confirm a conjecture by Pan et?al. (J Math Inequal (preprint), 2010). Furthermore we also present a stability property of our reverse isoperimetric inequality (near equality implies curve nearly circular).     

A Semigroup Version of the Isoperimetric Inequality

In this article we extend the heat semigroup version of the isoperimetric inequality in Rⁿ established by M. Ledoux. To this purpose, the notion of the perimeter of a Caccioppoli set introduced by E. De Giorgi yields the appropriate measure theoretical background. In the proofs we use properties of the heat semigroup as well as its explicit integral representation.     

An isoperimetric inequality for uniformly log-concave measures and uniformly convex bodies

We prove an isoperimetric inequality for the uniform measure on a uniformly convex body and for a class of uniformly log-concave measures (that we introduce). These inequalities imply (up to universal constants) the log-Sobolev inequalities proved by Bobkov, Ledoux [S.G. Bobkov, M. Ledoux, From Brunn-Minkowski to Brascamp-Lieb and to logarithmic Sobolev inequalities, Geom. Funct. Anal. 10 (5) (2000) 1028-1052] and the isoperimetric inequalities due to Bakry, Ledoux [D. Bakry, M. Ledoux, Lévy-Gromov's isoperimetric inequality for an infinite-dimensional diffusion generator, Invent. Math. 123 (2) (1996) 259-281] and Bobkov, Zegarliński [S.G. Bobkov, B. Zegarliński, Entropy bounds and isoperimetry, Mem. Amer. Math. Soc. 176 (829) (2005), x+69]. We also recover a concentration inequality for uniformly convex bodies, similar to that proved by Gromov, Milman [M. Gromov, V.D. Milman, Generalization of the spherical isoperimetric inequality to uniformly convex Banach spaces, Compos. Math. 62 (3) (1987) 263-282].     

John’s Ellipsoid and the Integral Ratio of a Log-Concave Function

We extend the notion of John’s ellipsoid to the setting of integrable log-concave functions. This will allow us to define the integral ratio of a log-concave function, which will extend the notion of volume ratio, and we will find the log-concave function maximizing the integral ratio. A reverse functional affine isoperimetric inequality will be given, written in terms of this integral ratio. This can be viewed as a stability version of the functional affine isoperimetric inequality.     

Torsional rigidity of submanifolds with controlled geometry

We prove explicit upper and lower bounds for the torsional rigidity of extrinsic domains of submanifolds P ^m with controlled radial mean curvature in ambient Riemannian manifolds N ⁿ with a pole p and with sectional curvatures bounded from above and from below, respectively. These bounds are given in terms of the torsional rigidities of corresponding Schwarz-symmetrization of the domains in warped product model spaces. Our main results are obtained using methods from previously established isoperimetric inequalities, as found in, e.g., Markvorsen and Palmer (Proc Lond Math Soc 93:253--272, 2006; Extrinsic isoperimetric analysis on submanifolds with curvatures bounded from below, p. 39, preprint, 2007). As in that paper we also characterize the geometry of those situations in which the bounds for the torsional rigidity are actually attained and study the behavior at infinity of the so-called geometric average of the mean exit time for Brownian motion.     

Acharacterization of Newtonian functions with zero boundary values

We give an intrinsic characterization of the property that the zero extension of a Newtonian function, defined on an open set in a doubling metric measure space supporting a strong relative isoperimetric inequality, belongs to the Newtonian space on the entire metric space. The theory of functions of bounded variation is used extensively in the argument and we also provide a structure theorem for sets of finite perimeter under the assumption of a strong relative isoperimetric inequality. The characterization is used to prove a strong version of quasicontinuity of Newtonian functions.     

A mass transportation approach to quantitative isoperimetric inequalities

A sharp quantitative version of the anisotropic isoperimetric inequality is established, corresponding to a stability estimate for the Wulff shape of a given surface tension energy. This is achieved by exploiting mass transportation theory, especially Gromov’s proof of the isoperimetric inequality and the Brenier-McCann Theorem. A sharp quantitative version of the Brunn-Minkowski inequality for convex sets is proved as a corollary.     

Anchored expansion and random walk

This paper studies anchored expansion, a non-uniform version of the strong isoperimetric inequality. We show that every graph with i-anchored expansion contains a subgraph with isoperimetric (Cheeger) constant at least i. We prove a conjecture by Benjamini, Lyons and Schramm (1999) that in such graphs the random walk escapes with a positive lim inf speed. We also show that anchored expansion implies a heat-kernel decay bound of order exp(—cn ^1/3). Submitted: September 1999, Revision: January 2000.     

A sharp isoperimetric inequality for rank one symmetric spaces

 We prove an isoperimetric inequality for compact, regular domains in rank one symmetric spaces, which is sharp for geodesic balls. Besides volume and area of a given domain, some weak information about the second fundamental form of its boundary is involved. Received: 2 September 2002 / Revised version: 10 December 2002 Published online: 20 March 2003 Mathematics Subject Classification (2000): 53C35, 52A40, 51M25     

A new isoperimetric inequality for product measure and the tails of sums of independent random variables

In previous work we showed how very precise information on the tails of sums of (possibly Banach-space valued) random variables can be deduced from isoperimetric inequalities for product measure. We present here a new isoperimetric inequality, with a very simple proof, that allows the recovery of these bounds.Work partially supported by an NSF grant     

A non-uniform Berry–Esseen bound via Stein's method

This paper is part of our efforts to develop Stein's method beyond uniform bounds in normal approximation. Our main result is a proof for a non-uniform Berry–Esseen bound for independent and not necessarily identically distributed random variables without assuming the existence of third moments. It is proved by combining truncation with Stein's method and by taking the concentration inequality approach, improved and adapted for non-uniform bounds. To illustrate the technique, we give a proof for a uniform Berry–Esseen bound without assuming the existence of third moments. Received: 2 March 2000 / Revised version: 20 July 2000 / Published online: 26 April 2001     

Bilateral Hardy-type inequalities

This paper studies the Hardy-type inequalities on the intervals (may be infinite) with two weights, either vanishing at two endpoints of the interval or having mean zero. For the first type of inequalities, in terms of new isoperimetric constants, the factor of upper and lower bounds becomes smaller than the known ones. The second type of the inequalities is motivated from probability theory and is new in the analytic context. The proofs are now rather elementary. Similar improvements are made for Nash inequality, Sobolev-type inequality, and the logarithmic Sobolev inequality on the intervals.     

Averaged Dehn functions for nilpotent groups

Gromov proposed an averaged version of the Dehn function and claimed that in many cases it should be subasymptotic to the Dehn function. Using results on random walks in nilpotent groups, we confirm this claim for most nilpotent groups. In particular, if a nilpotent group satisfies the isoperimetric inequality δ(l)<Cl^α for α>2, then it satisfies the averaged isoperimetric inequality . In the case of non-abelian free nilpotent groups, the bounds we give are asymptotically sharp.     

Curvature bounds by isoperimetric comparison for normalized Ricci flow on the two-sphere

We prove a comparison theorem for the isoperimetric profiles of solutions of the normalized Ricci flow on the two-sphere: If the isoperimetric profile of the initial metric is greater than that of some positively curved axisymmetric metric, then the inequality remains true for the isoperimetric profiles of the evolved metrics. We apply this using the Rosenau solution as the model metric to deduce sharp time-dependent curvature bounds for arbitrary solutions of the normalized Ricci flow on the two-sphere. This gives a simple and direct proof of convergence to a constant curvature metric without use of any blowup or compactness arguments, Harnack estimates, or any classification of behaviour near singularities.     

Integral inequalities for the fundamental solutions of diffusions on manifolds with divergence-free drift

The main purpose of this article is to present uniform integral inequalities for the fundamental solutions of diffusions on compact manifolds with divergence free drift vector fields. The method relies on the fact that the heat flow depends on the isoperimetric function. The isoperimetric function is used to construct a suitable comparison manifold. The heat kernel of this comparison manifold gives uniform bounds for the fundamental solutions of the original diffusion problem. The results presented here can be used to solve some open problem of Bhattacharya and Götze about diffusions with periodic, divergence free drift vector fields (see [Bhagöt1] and [Bhagöt2]). Mathematics Subject Classification (2000): 58J35, 47D07This research was supported by the German Exchange Service DAAD     

Isoperimetric Inequalities for Random Walks

In this paper some isoperimetric problems are studied, particularly the extremal property of the mean exit time of the random walk from finite sets. This isoperimetric problem is inserted into the set of equivalent conditions of the diagonal upper estimate of transition probability of random walks on weighted graphs.     

Error bounds for infinite systems of convex inequalities without Slater’s condition

The feasible set of a convex semi–infinite program is described by a possibly infinite system of convex inequality constraints. We want to obtain an upper bound for the distance of a given point from this set in terms of a constant multiplied by the value of the maximally violated constraint function in this point. Apart from this Lipschitz case we also consider error bounds of H?lder type, where the value of the residual of the constraints is raised to a certain power.?We give sufficient conditions for the validity of such bounds. Our conditions do not require that the Slater condition is valid. For the definition of our conditions, we consider the projections on enlarged sets corresponding to relaxed constraints. We present a condition in terms of projection multipliers, a condition in terms of Slater points and a condition in terms of descent directions. For the Lipschitz case, we give five equivalent characterizations of the validity of a global error bound.?We extend previous results in two directions: First, we consider infinite systems of inequalities instead of finite systems. The second point is that we do not assume that the Slater condition holds which has been required in almost all earlier papers. Received: April 12, 1999 / Accepted: April 5, 2000?Published online July 20, 2000