Minimal and reduced pairs of convex bodies

We give a new proof for the existence and uniqueness (up to translation) of plane minimal pairs of convex bodies in a given equivalence class of the Hörmander-R»dström lattice, as well as a complete characterization of plane minimal pairs using surface area measures. Moreover, we introduce the so-called reduced pairs, which are special minimal pairs. For the plane case, we characterize reduced pairs as those pairs of convex bodies whose surface area measures are mutually singular. For higher dimensions, we give two sufficient conditions for the minimality of a pair of convex polytopes, as well as a necessary and sufficient criterion for a pair of convex polytopes to be reduced. We conclude by showing that a typical pair of convex bodies, in the sense of Baire category, is reduced, and hence the unique minimal pair in its equivalence class.     

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].      

Moment inequalities and central limit properties of isotropic convex bodies

The object of our investigations are isotropic convex bodies , centred at the origin and normed to volume one, in arbitrary dimensions. We show that a certain subset of these bodies – specified by bounds on the second and fourth moments – is invariant under forming ‘expanded joinsrsquo;. Considering a body K as above as a probability space and taking , we define random variables on K. It is known that for subclasses of isotropic convex bodies satisfying a ‘concentration of mass property’, the distributions of these random variables are close to Gaussian distributions, for high dimensions n and ‘most’ directions . We show that this ‘central limit property’, which is known to hold with respect to convergence in law, is also true with respect to -convergence and -convergence of the corresponding densities. Received: 21 March 2001 / in final form: 17 October 2001 / Published online: 4 April 2002     

Approximation of plane cross sections of a convex body

Three theorems on approximation of plane sections of convex bodies by affine-regular polygons, ellipses, or circles are proved by topological means. In particular, it is proved that if K is a convex body in ℝ³ (resp., ℝ⁴), then for every interior point O of K there is a plane cross section of K through O which is circumscribed about an affine-regular hexagon (resp., octagon) with center O. Bibliography: 8 titles. Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 246, 1997, pp. 174–183. Translated by N. Yu. Netsvetaev.     

On inner parallel bodies and quermassintegrals

Due to the “uncontrollable behavior“ of the inner parallel bodies of a convex body K ⊂ ℝ ⁿ regarding its boundary structure, it is not possible to get precise formulae for their volume/quermassintegrals, contrary to the case of the outer parallel bodies. In this paper we provide (sharp) bounds for the quermassintegrals of the inner parallel bodies, studying previously some particular properties of their boundary in terms of their outer normal vectors.     

Hessian measures of semi-convex functions and applications to support measures of convex bodies

This paper originates from the investigation of support measures of convex bodies (sets of positive reach), which form a central subject in convex geometry and also represent an important tool in related fields. We show that these measures are absolutely continuous with respect to Hausdorff measures of appropriate dimensions, and we determine the Radon-Nikodym derivatives explicitly on sets of σ-finite Hausdorff measure. The results which we obtain in the setting of the theory of convex bodies (sets of positive reach) are achieved as applications of various new results on Hessian measures of convex (semi-convex) functions. Among these are a Crofton formula, results on the absolute continuity of Hessian measures, and a duality theorem which relates the Hessian measures of a convex function to those of the conjugate function. In particular, it turns out that curvature and surface area measures of a convex body K are the Hessian measures of special functions, namely the distance function and the support function of K. Received: 15 July 1999     

Affine-inscribed and affine-circumscribed polygons and polytopes

Five theorems on polygons and polytopes inscribed in (or circumscribed about) a convex compact set in the plane or space are proved by topological methods. In particular, it is proved that for every interior point O of a convex compact set in ℝ³, there exists a two-dimensional section through O circumscribed about an affine image of a regular octagon. It is also proved that every compact convex set in ℝ³ (except the cases listed below) is circumscribed about an affine image of a cube-octahedron (the convex hull of the midpoints of the edges of a cube). Possible exceptions are provided by the bodies containing a parallelogram P and contained in a cylinder with directrix P. Bibliography: 29 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 231, 1995, pp. 286–298. Translated by B. M. Bekker.     

Geometric Tomography of Convex Cones

The parallel X-ray of a convex set K⊂ℝ ⁿ in a direction u is the function that associates to each line l, parallel to u, the length of K∩l. The problem of finding a set of directions such that the corresponding X-rays distinguish any two convex bodies has been widely studied in geometric tomography. In this paper we are interested in the restriction of this problem to convex cones, and we are motivated by some applications of this case to the covariogram problem. We prove that the determination of a cone by parallel X-rays is equivalent to the determination of its sections from a different type of tomographic data (namely, point X-rays of a suitable order). We prove some new results for the corresponding problem which imply, for instance, that convex polyhedral cones in ℝ³ are determined by parallel X-rays in certain sets of two or three directions. The obtained results are optimal.     

Deductive systems of a cone algebra — II: Isomorphism theorem

We prove that there is an isomorphism φ of the lattice of deductive systems of a cone algebra onto the lattice of convex ℓ-subgroups of a lattice ordered group (determined by the cone algebra) such that for any deductive system A of the cone algebra, A is respectively a prime, normal or polar if and only if φ(A) is a prime convex ℓ-subgroup, ℓ-ideal or polar subgroup of the ℓ-group, thus generalizing and extending the result of Rachůnek that the lattice of ideals of a pseudo MV-algebra is isomorphic to the lattice of convex ℓ-subgroups of a unital lattice ordered group.      

On duality gap in linear conic problems

In their paper “Duality of linear conic problems” Shapiro and Nemirovski considered two possible properties (A) and (B) for dual linear conic problems (P) and (D). The property (A) is “If either (P) or (D) is feasible, then there is no duality gap between (P) and (D)”, while property (B) is “If both (P) and (D) are feasible, then there is no duality gap between (P) and (D) and the optimal values val(P) and val(D) are finite”. They showed that (A) holds if and only if the cone K is polyhedral, and gave some partial results related to (B). Later Shapiro conjectured that (B) holds if and only if all the nontrivial faces of the cone K are polyhedral. In this note we mainly prove that both the “if” and “only if” parts of this conjecture are not true by providing examples of closed convex cone in \mathbbR⁴{\mathbb{R}^{4}} for which the corresponding implications are not valid. Moreover, we give alternative proofs for the results related to (B) established by Shapiro and Nemirovski.     

Some characterizations for SOC-monotone and SOC-convex functions

We provide some characterizations for SOC-monotone and SOC-convex functions by using differential analysis. From these characterizations, we particularly obtain that a continuously differentiable function defined in an open interval is SOC-monotone (SOC-convex) of order n ≥ 3 if and only if it is 2-matrix monotone (matrix convex), and furthermore, such a function is also SOC-monotone (SOC-convex) of order n ≤ 2 if it is 2-matrix monotone (matrix convex). In addition, we also prove that Conjecture 4.2 proposed in Chen (Optimization 55:363–385, 2006) does not hold in general. Some examples are included to illustrate that these characterizations open convenient ways to verify the SOC-monotonicity and the SOC-convexity of a continuously differentiable function defined on an open interval, which are often involved in the solution methods of the convex second-order cone optimization.     

Order Types of Convex Bodies

We prove a Hadwiger transversal-type result, characterizing convex position on a family of non-crossing convex bodies in the plane. This theorem suggests a definition for the order type of a family of convex bodies, generalizing the usual definition of order type for point sets. This order type turns out to be an oriented matroid. We also give new upper bounds on the Erdős–Szekeres theorem in the context of convex bodies.     

一个与投影体相关的锥体积不等式

本文研究了一个与投影体相关的锥体积不等式.利用凸函数的梯度性质,获得了n维欧氏空间中关于任意原点对称凸体的一个锥体积不等式,推进了Schneider投影问题的解决.     

Computational results of an O(n) volume algorithm

Recently an O^∗(n⁴) volume algorithm has been presented for convex bodies by Lovász and Vempala, where n is the number of dimensions of the convex body. Essentially the algorithm is a series of Monte Carlo integrations. In this paper we describe a computer implementation of the volume algorithm, where we improved the computational aspects of the original algorithm by adding variance decreasing modifications: a stratified sampling strategy, double point integration and orthonormalised estimators. Formulas and methodology were developed so that the errors in each phase of the algorithm can be controlled. Some computational results for convex bodies in dimensions ranging from 2 to 10 are presented as well.     

Low dimensional sections versus projections of convex bodies

The structure of low dimensional sections and projections of symmetric convex bodies is studied. For a symmetric convex bodyB ⊂ ℝ ⁿ , inequalities between the smallest diameter of rank ℓ projections ofB and the largest in-radius ofm-dimensional sections ofB are established, for a wide range of sub-proportional dimensions. As an application it is shown that every bodyB in (isomorphic) ℓ-position admits a well-bounded (√n, 1)-mixing operator. Research of this author was partially supported by KBN Grant no. 1 P03A 015 27. This author holds the Canada Research Chair in Geometric Analysis.     

Packing Cones and Their Negatives in Space

Let C be a cone in R³ whose base B is a planar convex body in a horizontal plane π and whose tip is a point v ∉ π. Let C be a packing formed by translates of C and -C in R³. We exhibit an explicit constant c > 0 such that the density of any such C is smaller than 1 - c, answering a question of Wlodek Kuperberg.     

Modified Busemann-Petty problem on sections of convex bodies

The Busemann-Petty problem asks whether convex origin-symmetric bodies in ℝ ⁿ with smaller central hyperplane sections necessarily have smallern-dimensional volume. It is known that the answer is affirmative ifn≤4 and negative ifn≥5. In this article we replace the assumptions of the original Busemann-Petty problem by certain conditions on the volumes of central hyperplane sections so that the answer becomes affirmative in all dimensions. The first-named author was supported in part by the NSF grant DMS-0136022 and by a grant from the University of Missouri Research Board.     

Shortest billiard trajectories

In this paper we prove that any convex body of the d-dimensional Euclidean space (d ≥ 2) possesses at least one shortest generalized billiard trajectory moreover, any of its shortest generalized billiard trajectories is of period at most d + 1. Actually, in the Euclidean plane we improve this theorem as follows. A disk-polygon with parameter r > 0 is simply the intersection of finitely many (closed) circular disks of radii r, called generating disks, having some interior point in common in the Euclidean plane. Also, we say that a disk-polygon with parameter r > 0 is a fat disk-polygon if the pairwise distances between the centers of its generating disks are at most r. We prove that any of the shortest generalized billiard trajectories of an arbitrary fat disk-polygon is a 2-periodic one. Also, we give a proof of the analogue result for ε-rounded disk-polygons obtained from fat disk-polygons by rounding them off using circular disks of radii ε > 0. Our theorems give partial answers to the very recent question raised by S. Zelditch on characterizing convex bodies whose shortest periodic billiard trajectories are of period 2. K. Bezdek partially supported by a Natural Sciences and Engineering Research Council of Canada Discovery Grant.     

Modified Shephard’s problem on projections of convex bodies

We disprove a conjecture of A. Koldobsky asking whether it is enough to compare (n − 2)-derivatives of the projection functions of two symmetric convex bodies in the Shephard problem in order to get a positive answer in all dimensions. The author was supported in part by the European Network PHD, FP6 Marie Curie Actions, RTN, Contract MCRN-511953     

Lattice Points in Convex Bodies with Planar Points on the Boundary

 An asymptotic formula is proved for the number of lattice points in large threedimensional convex bodies. In contrast to the usual assumption the Gaussian curvature of the boundary may vanish at non-isolated points. It is only assumed that the second fundamental form vanishes at isolated points where the tangent plane is rational and some ellipticity condition holds.