Finite dimensional convex structures II: the invariants

Various relations between the dimension and the classical invariants of a topological convex structure have been obtained, leading to an equivalence between Helly's and Carathéodory's theorem, and to the closedness of the hull of compact sets in finite-dimensional convexities. It is also shown that the Radon number of an n-dimensional binary convexity is in most cases equal to the Radon number of the n-cube, and a natural condition is presented under which the invariants are equal to dimension plus one.     

Capacities, surface area, and radial sums

A dual capacitary Brunn-Minkowski inequality is established for the (n−1)-capacity of radial sums of star bodies in Rn. This inequality is a counterpart to the capacitary Brunn-Minkowski inequality for the p-capacity of Minkowski sums of convex bodies in Rn, 1?p<n, proved by Borell, Colesanti, and Salani. When n?3, the dual capacitary Brunn-Minkowski inequality follows from an inequality of Bandle and Marcus, but here a new proof is given that provides an equality condition. Note that when n=3, the (n−1)-capacity is the classical electrostatic capacity. A proof is also given of both the inequality and a (different) equality condition when n=2. The latter case requires completely different techniques and an understanding of the behavior of surface area (perimeter) under the operation of radial sum. These results can be viewed as showing that in a sense (n−1)-capacity has the same status as volume in that it plays the role of its own dual set function in the Brunn-Minkowski and dual Brunn-Minkowski theories.     

Intersection bodies and generalized cosine transforms

The paper is focused on intimate connection between geometric properties of intersection bodies in convex geometry and generalized cosine transforms in harmonic analysis. A new concept of λ-intersection body, that unifies some known classes of geometric objects, is introduced. A parallel between trace theorems in function theory, restriction onto lower-dimensional subspaces of the spherical Radon transforms and the generalized cosine transforms, and sections of λ-intersection bodies is established. New integral formulas for different classes of cosine transforms are obtained and examples of λ-intersection bodies are given. We also revisit some known facts in this area and give them new simple proofs.     

Typical curvature behaviour of bodies of constant width

It is known that an n-dimensional convex body, which is typical in the sense of Baire category, shows a simple, but highly non-intuitive curvature behaviour: at almost all of its boundary points, in the sense of measure, all curvatures are zero, but there is also a dense and uncountable set of boundary points at which all curvatures are infinite. The purpose of this paper is to find a counterpart to this phenomenon for typical convex bodies of given constant width. Such bodies cannot have zero curvatures. A main result says that for a typical n-dimensional convex body of constant width 1 (without loss of generality), at almost all boundary points, in the sense of measure, all curvatures are equal to 1. (In contrast, note that a ball of width 1 has radius 1/2, hence all its curvatures are equal to 2.) Since the property of constant width is linear with respect to Minkowski addition, the proof requires recourse to a linear curvature notion, which is provided by the tangential radii of curvature.     

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.     

On integral Apollonian circle packings

The curvatures of four mutually tangent circles with disjoint interiors form what is called a Descartes quadruple. The four least curvatures in an integral Apollonian circle packing form what is called a root Descartes quadruple and, if the curvatures are relatively prime, we say that it is a primitive root quadruple. We prove a conjecture of Mallows by giving a closed formula for the number of primitive root quadruples with minimum curvature −n. An Apollonian circle packing is called strongly integral if every circle has curvature times center a Gaussian integer. The set of all such circle packings for which the curvature plus curvature times center is congruent to 1 modulo 2 is called the “standard supergasket.” Those centers in the unit square are in one-to-one correspondence with the primitive root quadruples and exhibit certain symmetries first conjectured by Mallows. We prove these symmetries; in particular, the centers are symmetric around y=x if n is odd, around x=1/2 if n is an odd multiple of 2, and around y=1/2 if n is a multiple of 4.     

Contributions to max-min convex geometry. I: Segments

We give some contributions to the theory of “max-min convex geometry”, that is, convex geometry in the semimodule over the max-min semiring R_max,min=R∪{-∞,+∞}. We introduce “elementary segments” that generalize from n=2 the horizontal, vertical or oblique segments contained in the main bisector of . We show that every segment in is a concatenation of a finite number of elementary subsegments (at most 2n-1, respectively at most 2n-2, in the case of comparable, respectively, incomparable, endpoints x,y). In this first part we study “max-min segments”, and in the subsequent second part (submitted) we study “max-min semispaces” and some of their relations to “max-min convex sets”.     

The structure of max-min hyperplanes

In this article, continuing [12,13], further contributions to the theory of max-min convex geometry are given. The max-min semiring is the set endowed with the operations ⊕=max,⊗=min in . A max-min hyperplane (briefly, a hyperplane) is the set of all points satisfying an equation of the form

a₁⊗x₁⊕…⊕a_n⊗x_n⊕a_n+1=b₁⊗x₁⊕…⊕b_n⊗x_n⊕b_n+1,     

Integral geometry for the 1-norm

Classical integral geometry takes place in Euclidean space, but one can attempt to imitate it in any other metric space. In particular, one can attempt this in Rⁿ${\mathbb{R}}^n$ equipped with the metric derived from the p  -norm. This has, in effect, been investigated intensively for 1<p<∞$1<p<\infty$, but not for p=1$p=1$. We show that integral geometry for the 1-norm bears a striking resemblance to integral geometry for the 2-norm, but is radically different from that for all other values of p  . We prove a Hadwiger-type theorem for Rⁿ${\mathbb{R}}^n$ with the 1-norm, and analogues of the classical formulas of Steiner, Crofton and Kubota. We also prove principal and higher kinematic formulas. Each of these results is closely analogous to its Euclidean counterpart, yet the proofs are quite different.     

Projection problems for symmetric polytopes

Let K⊂Rn be a convex body (a compact, convex subset with non-empty interior), ΠK its projection body. Finding the least upper bound, as K ranges over the class of origin-symmetric convex bodies, of the affine-invariant ratio V(ΠK)/V(K)ⁿ⁻¹, being called Schneider's projection problem, is a well-known open problem in the convex geometry. To study this problem, Lutwak, Yang and Zhang recently introduced a new affine invariant functional for convex polytopes in Rn. For origin-symmetric convex polytopes, they posed a conjecture for the new functional U(P). In this paper, we give an affirmative answer to the conjecture in Rn, thereby, obtain a modified version of Schneider's projection problem.     

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.     

Equiframed Curves – A Generalization of Radon Curves

Equiframed curves are centrally symmetric convex closed planar curves that are touched at each of their points by some circumscribed parallelogram of smallest area. These curves and their higher-dimensional analogues were introduced by Peczynski and Szarek (1991, Math Proc Cambridge Philos Soc 109: 125–148). Radon curves form a proper subclass of this class of curves. Our main result is a construction of an arbitrary equiframed curve by appropriately modifying a Radon curve. We give characterizations of each type of curve to highlight the subtle difference between equiframed and Radon curves and show that, in some sense, equiframed curves behave dually to Radon curves.Research supported by a grant from a cooperation between the Deutsche Forschungsgemeinschaft in Germany and the National Research Foundation in South Africa. Parts of this paper were written during a visit to the Department of Mathematics, Applied Mathematics and Astronomy of the University of South Africa.     

On limit theorem for the eigenvalues of product of two random matrices

The existence of limiting spectral distribution (LSD) of the product of two random matrices is proved. One of the random matrices is a sample covariance matrix and the other is an arbitrary Hermitian matrix. Specially, the density function of LSD of S_nW_n is established, where S_n is a sample covariance matrix and W_n is Wigner matrix.     

The limiting spectral distribution of the product of the Wigner matrix and a nonnegative definite matrix

Let W_n be n×n Hermitian whose entries on and above the diagonal are independent complex random variables satisfying the Lindeberg type condition. Let T_n be n×n nonnegative definitive and be independent of W_n. Assume that almost surely, as n→∞, the empirical distribution of the eigenvalues of T_n converges weakly to a non-random probability distribution.Let . Then with the aid of the Stieltjes transforms, we show that almost surely, as n→∞, the empirical distribution of the eigenvalues of A_n also converges weakly to a non-random probability distribution, a system of two equations determining the Stieltjes transform of the limiting distribution. Important analytic properties of this limiting spectral distribution are then derived by means of those equations. It is shown that the limiting spectral distribution is continuously differentiable everywhere on the real line except only at the origin and that a necessary and sufficient condition is available for determining its support. At the end, the density function of the limiting spectral distribution is calculated for two important cases of T_n, when T_n is a sample covariance matrix and when T_n is the inverse of a sample covariance matrix.     

The combinatorial structure of random polytopes

Choose n random points in , let P_n be their convex hull, and denote by f_i(P_n) the number of i-dimensional faces of P_n. A general method for computing the expectation of f_i(P_n), i=0,…,d−1, is presented. This generalizes classical results of Efron (in the case i=0) and Rényi and Sulanke (in the case i=d−1) to arbitrary i. For random points chosen in a smooth convex body a limit law for f_i(P_n) is proved as n→∞. For random points chosen in a polytope the expectation of f_i(P_n) is determined as n→∞. This implies an extremal property for random points chosen in a simplex.     

Extremum problems for the cone volume functional of convex polytopes

Lutwak, Yang and Zhang defined the cone volume functional U over convex polytopes in Rn containing the origin in their interiors, and conjectured that the greatest lower bound on the ratio of this centro-affine invariant U to volume V is attained by parallelotopes. In this paper, we give affirmative answers to the conjecture in R² and R³. Some new sharp inequalities characterizing parallelotopes in Rn are established. Moreover, a simplified proof for the conjecture restricted to the class of origin-symmetric convex polytopes in Rn is provided.     

Asymptotic formulas for the diameter of sections of symmetric convex bodies

Sharpening work of the first two authors, for every proportion λ∈(0,1) we provide exact quantitative relations between global parameters of n-dimensional symmetric convex bodies and the diameter of their random ⌊λn⌋-dimensional sections. Using recent results of Gromov and Vershynin, we obtain an “asymptotic formula” for the diameter of random proportional sections.     

Circular law, extreme singular values and potential theory

Consider the empirical spectral distribution of complex random n×n matrix whose entries are independent and identically distributed random variables with mean zero and variance 1/n. In this paper, via applying potential theory in the complex plane and analyzing extreme singular values, we prove that this distribution converges, with probability one, to the uniform distribution over the unit disk in the complex plane, i.e. the well known circular law, under the finite fourth moment assumption on matrix elements.     

Diagonally convex directed polyominoes and even trees: a bijection and related issues

We present a simple bijection between diagonally convex directed (DCD) polyominoes with n diagonals and plane trees with 2n edges in which every vertex has even degree (even trees), which specializes to a bijection between parallelogram polyominoes and full binary trees. Next we consider a natural definition of symmetry for DCD-polyominoes, even trees, ternary trees, and non-crossing trees, and show that the number of symmetric objects of a given size is the same in all four cases.     

Flat transversals to flats and convex sets of a fixed dimension

Helly and Hadwiger type theorems for transversal m-flats to families of flats and, respectively, convex sets of dimension n are proved in the case of general position. The proofs rely on Helly type theorems for “linear partitions” and “convex partitions,” so that a general theory of Helly numbers is also developed.