Random conical tessellations

DOI10.1007/S00454-016-9788-0MaRDI QIDQ312153zbMATH OpenOpenAlexFDO

Publication date 14 September 2016

Published in Discrete \& Computational Geometry (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1508.07768

conical intrinsic volumes conical quermassintegrals conical tessellation first and second order moments number of \(k\)-faces random polyhedral cones spherical tessellation

Mathematics Subject Classification ID

Random convex sets and integral geometry (aspects of convex geometry) (52A22) Spherical and hyperbolic convexity (52A55) Combinatorial properties of polytopes and polyhedra (number of faces, shortest paths, etc.) (52B05) Arrangements of points, flats, hyperplanes (aspects of discrete geometry) (52C35) Geometric probability and stochastic geometry (60D05)

Abstract: We consider tessellations of the Euclidean

(d - 1)

-sphere by

(d - 2)

-dimensional great subspheres or, equivalently, tessellations of Euclidean

d

-space by hyperplanes through the origin; these we call conical tessellations. For random polyhedral cones defined as typical cones in a conical tessellation by random hyperplanes, and for random cones which are dual to these in distribution, we study expectations for a general class of geometric functionals. They include combinatorial quantities, such as face numbers, as well as, for example, conical intrinsic volumes. For isotropic conical tessellations (those generated by random hyperplanes with spherically symmetric distribution), we determine the complete covariance structure of the random vector whose components are the

k

-face contents of the induced spherical random polytopes. This result can be considered as a spherical counterpart of a classical result due to Roger Miles.

Review text

Let \(S^{d-1}\) be the unit sphere of Euclidean space \(\mathbb R^d\). The spherically convex polytopes in \(S^{d-1}\) are in one-to-one correspondence with their positive hulls, which are convex polyhedral cones in \(\mathbb R^d\). The paper is devoted to random polytopes in \(S^{d-1}\). For a spherical polytope \(P\) contained in an open hemisphere, the \(j\)-quermassintegral \(U_j(P)\) is, up to a normalizing factor, the total invariant measure of the set of \((n-j)\)-flats through the origin that meet \(P\). Then, \(Y_{k,j}(P)\) is the sum of \(U_j(F)\) over all \((k-1)\)-faces \(F\) of \(P\) (or correspondingly for polyhedral cones). These general functionals comprise combinatorial functionals, such as numbers of \(k\)-faces, as well as metric functionals, such as total \(k\)-face contents, and they allow to express the \(k\)th conical intrinsic volumes. More recently, the conical intrinsic volumes have found very interesting applications in convex optimizations and compressed sensing, see [\textit{D. Amelunxen} and \textit{P. Bürgisser}, Math. Program. 149, No. 1--2 (A), 105--130 (2015; Zbl 1311.90092)]. The major part of the paper is devoted to the functionals \(\Lambda_k= Y_{k, k-1}\) of a polyhedral cone. The main result is the determination of the complete covariance structure of the random vector whose components are the \(k\)-face contents of the induced spherical random polytopes. The paper is organized as follows: Section 2 considers the geometric functionals of polyhedral cones. In Section 3 the two types of random cones for which first and second moments of these functionals are investigated. Expectation results for the functionals \(Y_{k,j}\) are derived in Section 4. Sections 5, 6 and 7 are then preparatory to the main result on mixed second moments, which is finally obtained in Section 8. Hints to the proof strategy are given at the beginning of Sections 6 and 8.

Recommendations

Cites work

Cited in

(32)

This page was built for publication: Random conical tessellations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q312153)