The modified complex Busemann-Petty problem on sections of convex bodies

The complex Busemann-Petty problem asks whether origin symmetric convex bodies in with smaller central hyperplane sections necessarily have smaller volume. The answer is affirmative if n ≤ 3 and negative if n ≥ 4. Since the answer is negative in most dimensions, it is natural to ask what conditions on the (n − 1)-dimensional volumes of the central sections of complex convex bodies with complex hyperplanes allow to compare the n-dimensional volumes. In this article we give necessary conditions on the section function in order to obtain an affirmative answer in all dimensions. The result is the complex analogue of [16].      

Comparison of volumes of convex bodies in real, complex, and quaternionic spaces

The classical Busemann-Petty problem (1956) asks, whether origin-symmetric convex bodies in Rn with smaller hyperplane central sections necessarily have smaller volumes. It is known, that the answer is affirmative if n?4 and negative if n>4. The same question can be asked when volumes of hyperplane sections are replaced by other comparison functions having geometric meaning. We give unified analysis of this circle of problems in real, complex, and quaternionic n-dimensional spaces. All cases are treated simultaneously. In particular, we show that the Busemann-Petty problem in the quaternionic n-dimensional space has an affirmative answer if and only if n=2. The method relies on the properties of cosine transforms on the unit sphere. We discuss possible generalizations.     

The Busemann-Petty problem in hyperbolic and spherical spaces

The Busemann-Petty problem asks whether origin-symmetric convex bodies in Rⁿ with smaller central hyperplane sections necessarily have smaller n-dimensional volume. It is known that the answer to this problem is affirmative if n?4 and negative if n?5. We study this problem in hyperbolic and spherical spaces.     

On the generalized Busemann-Petty problem

The generalized Busemann-Petty problem asks whether the origin-symmetric convex bodies in ℝ ⁿ with a larger volume of all i-dimensional sections necessarily have a larger volume. As proved by Bourgain and Zhang, the answer to this question is negative if i > 3. The problem is still open for i = 2, 3. In this article we prove two specific affirmative answers to the generalized Busemann-Petty problem if the body with a smaller i-dimensional volume belongs to given classes. Our results generalize Zhang’s specific affirmative answer to the generalized Busemann-Petty problem. This work was supported, in part, by the National Natural Science Foundation of China (Grant No. 10671117)     

The complex Busemann-Petty problem on sections of convex bodies

The complex Busemann-Petty problem asks whether origin symmetric convex bodies in Cn with smaller central hyperplane sections necessarily have smaller volume. We prove that the answer is affirmative if n?3 and negative if n?4.     

The Busemann-Petty problem for arbitrary measures

The Busemann-Petty problem asks whether symmetric convex bodies in ⁿ with smaller (n–1)-dimensional volume of central hyperplane sections necessarily have smaller n-dimensional volume. The answer to this problem is affirmative for n4 and negative for n5. In this paper we generalize the Busemann-Petty problem to essentially arbitrary measure in place of the volume. We also present applications of the latter result by proving several inequalities concerning the measure of sections of convex symmetric bodies in ⁿ.Mathematics Subject Classification (2000): 52A15, 52A21, 52A38     

The lower dimensional Busemann-Petty problem for bodies with the generalized axial symmetry

The lower dimensional Busemann-Petty problem asks, whether n-dimensional centrally symmetric convex bodies with smaller i-dimensional central sections necessarily have smaller volumes. For i = 1, the affirmative answer is obvious. If i > 3, the answer is negative. For i = 2 or i = 3 (n > 4), the problem is still open, however, when the body with smaller sections is a body of revolution, the answer is affirmative. The paper contains a solution to the problem in the more general situation, when the body with smaller sections is invariant under rotations, preserving mutually orthogonal subspaces of dimensions ℓ and n − ℓ, respectively, so that i + ℓ ≤ n. The answer essentially depends on ℓ. The argument relies on the notion of canonical angles between subspaces, spherical Radon transforms, properties of intersection bodies, and the generalized cosine transforms.     

The Busemann-Petty problem via spherical harmonics

The Busemann-Petty problem asks whether symmetric convex bodies in with smaller central hyperplane sections necessarily have smaller n-dimensional volume. The solution has recently been completed, and the answer is affirmative if n?4 and negative if n?5. In this article we present a short proof of the affirmative result and its generalization using the Funk-Hecke formula for spherical harmonics.     

A solution to the lower dimensional Busemann-Petty problem in the hyperbolic space

The lower dimensional Busemann-Petty problem asks whether origin symmetric convex bodies in ℝⁿ with smaller volume of all k-dimensional sections necessarily have smaller volume. As proved by Bourgain and Zhang, the answer to this question is negative if k>3. The problem is still open for k = 2, 3. In this article we formulate and completely solve the lower dimensional Busemann-Petty problem in the hyperbolic space ℍⁿ.     

Comparison of volumes by means of the areas of central sections

The Busemann–Petty problem asks whether origin-symmetric convex bodies in Rⁿ with smaller areas of all central hyperplane sections necessarily have smaller n-dimensional volume. The solution was completed in the end of the 1990s, and the answer is affirmative if n4 and negative if n5. Since the answer is negative in most dimensions, it is natural to ask what information about the volumes of central sections of two bodies does allow to compare the n-dimensional volumes of these bodies in all dimensions. In this article we give an answer to this question in terms of certain powers of the Laplace operator applied to the section function of the body.     

The complex Busemann-Petty problem for arbitrary measures

The complex Busemann-Petty problem asks whether origin symmetric convex bodies in with smaller central hyperplane sections necessarily have smaller volume. The answer is affirmative if and negative if . In this article we show that the answer remains the same if the volume is replaced by an “almost” arbitrary measure. This result is the complex analogue of Zvavitch’s generalization to arbitrary measures of the original real Busemann-Petty problem. Received: 6 May 2008     

A new algorithm for minimizing convex functions over convex sets

Let be a convex set for which there is an oracle with the following property. Given any pointz∈ℝ ⁿ the oracle returns a “Yes” ifz∈S; whereas ifz∉S then the oracle returns a “No” together with a hyperplane that separatesz fromS. The feasibility problem is the problem of finding a point inS; the convex optimization problem is the problem of minimizing a convex function overS. We present a new algorithm for the feasibility problem. The notion of a volumetric center of a polytope and a related ellipsoid of maximum volume inscribable in the polytope are central to the algorithm. Our algorithm has a significantly better global convergence rate and time complexity than the ellipsoid algorithm. The algorithm for the feasibility problem easily adapts to the convex optimization problem.     

The solution of W. Sierpiński's problem

A positive integern is called a pseudoprime ifn|2 ⁿ ?2 andn is composite. W. Sierpinski put forward the following problem: Do there infinitely many arithmetical progressions formed of four pseudoprimes? In this paper it is proved that answer to this problem is in the affirmative.     

Topological equivalence of Haar measures on compact groups

The existence of homeomorphisms establishign an isometry of normalized Haar measures on (metrizable) compact groups is studied. In the case of 0-dimensional groups, a complete answer is given in terms of the indices of open normal subgroups. For example, for the countable powers of the groups ℤ/(m) and ℤ/(n), the answer is affirmative if and only ifm andn have the same prime divisors. A certain class of extensions of 0-dimensional groups is also studied. Translated fromMatematicheskie Zametki, Vol. 68, No. 2, pp. 188–194, August, 2000.     

An application of the fourier transform to sections of star bodies

We express the volume of central hyperplane sections of star bodies inR ⁿ in terms of the Fourier transform of a power of the radial function, and apply this result to confirm the conjecture of Meyer and Pajor on the minimal volume of central sections of the unit balls of the spacesℓ _p ⁿ with 0<p<2. Research supported in part by the NSF Grant DMS-9531594.     

On the maximal ergodic theorem for certain subsets of the integers

It is shown that the set of squares {n ²|n=1, 2,…} or, more generally, sets {n ^t|n=1, 2,…},t a positive integer, satisfies the pointwise ergodic theorem forL ²-functions. This gives an affirmative answer to a problem considered by A. Bellow [Be] and H. Furstenberg [Fu]. The previous result extends to polynomial sets {p(n)|n=1, 2,…} and systems of commuting transformations. We also state density conditions for random sets of integers in order to be “good sequences” forL ^p-functions,p>1.     

Cotorsion pairs associated with Auslander categories

Let N ≥ n + 1, and denote by K the convex hull of N independent standard gaussian random vectors in ℝⁿ. We prove that with high probability, the isotropic constant of K is bounded by a universal constant. Thus we verify the hyperplane conjecture for the class of gaussian random polytopes. Supported by the Clay Mathematics Institute and by NSF grant #DMS-0456590     

The determination of convex bodies from derivatives of section functions

It is known that non-symmetric convex bodies generally cannot be characterized by the volumes of hyperplane sections through one interior point. Falconer and Gardner, however, independently proved that volumes of hyperplane sections through two different interior points determine the body uniquely. We prove that if −1 < q < n − 1 is not an integer, then the derivatives of the order q at zero of parallel section functions at one interior point completely characterize convex bodies in . If 0 ≤ q < n − 1 is an integer then one needs the derivatives of order q at two different interior points (except for the case where q = n − 2, q odd), generalizing the results of Falconer and Gardner. The first named author was partially supported by the NSF grant DMS 0455696. Received: 31 January 2006     

Affine complete locally convex hypersurfaces

An open problem in affine geometry is whether an affine complete locally uniformly convex hypersurface in Euclidean (n+1)-space is Euclidean complete for n≥2. In this paper we give the affirmative answer. As an application, it follows that an affine complete, affine maximal surface in R ³ must be an elliptic paraboloid. Oblatum 16-VI-2001 & 27-II-2002?Published online: 29 April 2002     

Univalent mappings associated with the Roper-Suffridge extension operator

The Roper-Suffridge extension operator provides a way of extending a (locally) univalent functionfεH(U) to a (locally) biholomorphic mappingF∈H(B_n). In this paper, we give a simplified proof of the Roper-Suffridge theorem: iff is convex, then so isF. We also show that iff∈S ^*, theF is starlike and that iff is a Bloch function inU, thenF is a Bloch mapping onB _n. Finally, we investigate some open problems. Partially supported by the Natural Sciences and Engineering Research Council of Canada under grant A9221.