arXiv subjects

Rolf Schneider

Publications and source records attributed to Rolf Schneider.

At least 37 records · Page 2Linked to original sources

arXiv2018

Interaction of Poisson hyperplane processes and convex bodies

Given a stationary and isotropic Poisson hyperplane process and a convex body $K$ in ${\mathbb R}^d$, we consider the random polytope defined by the intersection of all closed halfspaces containing $K$ that are bounded by hyperplanes of the process not intersecting $K$. We investigate how well the expected mean width of this random polytope approximates the mean width of $K$ if the intensity of the hyperplane process tends to infinity.

math.PR↗

arXiv2018

Small faces in stationary Poisson hyperplane tessellations

We consider the tessellation induced by a stationary Poisson hyperplane process in $d$-dimensional Euclidean space. Under a suitable assumption on the directional distribution, and measuring the $k$-faces of the tessellation by a suitable size functional, we determine a limit distribution for the shape of the typical $k$-face, under the condition of small size and this tending to zero. The limit distribution is concentrated on simplices. This extends a result of Gilles Bonnet.

math.MG↗

arXiv2018

Conic support measures

The conic support measures localize the conic intrinsic volumes of closed convex cones in the same way as the support measures of convex bodies localize the intrinsic volumes of convex bodies. In this note, we extend the `Master Steiner formula' of McCoy and Tropp, which involves conic intrinsic volumes, to conic support measures. Then we prove Hölder continuity of the conic support measures with respect to the angular Hausdorff metric on convex cones and a metric on conic support measures which metrizes the weak convergence.

math.MG↗

arXiv2018

The polytopes in a Poisson hyperplane tessellation

For a stationary Poisson hyperplane tessellation $X$ in ${\mathbb R}^d$, whose directional distribution satisfies some mild conditions (which hold in the isotropic case, for example), it was recently shown that with probability one every combinatorial type of a simple $d$-polytope is realized infinitely often by the polytopes of $X$. This result is strengthened here: with probability one, every such combinatorial type appears among the polytopes of $X$ not only infinitely often, but with positive density.

math.PR↗

arXiv2017

A Brunn-Minkowski theory for coconvex sets of finite volume

Let $C$ be a closed convex cone in ${\mathbb R}^n$, pointed and with interior points. We consider sets of the form $A=C\setminus A^\bullet$, where $A^\bullet\subset C$ is a closed convex set. If $A$ has finite volume (Lebesgue measure), then $A$ is called a $C$-coconvex set. The family of $C$-coconvex sets is closed under the addition $\oplus$ defined by $C\setminus(A_1\oplus A_2)= (C\setminus A_1)+(C\setminus A_2)$. We develop first steps of a Brunn--Minkowski theory for $C$-coconvex sets, which relates this addition to the notion of volume. In particular, we establish the equality conditions for a Brunn--Minkowski type inequality (with reversed inequality sign), introduce mixed volumes and their integral representations, and prove a Minkowski-type uniqueness theorem for $C$-coconvex sets with equal surface area measures.

math.MG↗

arXiv2017

Polyhedral Gauss-Bonnet theorems and valuations

The Gauss-Bonnet theorem for a polyhedron (a union of finitely many compact convex polytopes) in $n$-dimensional Euclidean space expresses the Euler characteristic of the polyhedron as a sum of certain curvatures, which are different from zero only at the vertices of the polyhedron. This note suggests a generalization of these polyhedral vertex curvatures, based on valuations, and thus obtains a variety of polyhedral Gauss-Bonnet theorems.

math.MG↗

arXiv2017

Intersection probabilities and kinematic formulas for polyhedral cones

For polyhedral convex cones in ${\mathbb R}^d$, we give a proof for the conic kinematic formula for conic curvature measures, which avoids the use of characterization theorems. For the random cones defined as typical cones of an isotropic random central hyperplane arrangement, we find probabilities for non-trivial intersection, either with a fixed cone, or for two independent random cones of this type.

math.MG↗

arXiv2016

The typical irregularity of virtual convex bodies

The semigroup of convex bodies in ${\mathbb R}^n$ with Minkowski addition has a canonical embedding into an abelian group; its elements have been called virtual convex bodies. Geometric interpretations of such virtual convex bodies have been particularly fruitful under the restriction to polytopes. For general convex bodies, mainly the planar case has been studied, as a part of the more general investigation of hedgehogs. Here we restrict ourselves to strictly convex bodies in ${\mathbb R}^n$. A particularly natural geometric interpretation of virtual convex bodies can then be seen in the set of differences of boundary points of two convex bodies with the same outer normal vector. We describe how in the typical case (in the sense of Baire category) this leads to a highly singular object.

math.MG↗

arXiv2016

On the cells in a stationary Poisson hyperplane mosaic

Let $X$ be the mosaic generated by a stationary Poisson hyperplane process $\hat X$ in ${\mathbb R}^d$. Under some mild conditions on the spherical directional distribution of $\hat X$ (which are satisfied, for example, if the process is isotropic), we show that with probability one the set of cells ($d$-polytopes) of $X$ has the following properties. The translates of the cells are dense in the space of convex bodies. Every combinatorial type of simple $d$-polytopes is realized infinitely often by the cells of $X$. A further result concerns the distribution of the typical cell.

math.MG↗

arXiv2016

Rotation covariant local tensor valuations on convex bodies

For valuations on convex bodies in Euclidean spaces, there is by now a long series of characterization and classification theorems. The classical template is Hadwiger's theorem, saying that every rigid motion invariant, continuous, real-valued valuation on convex bodies in $\mathbb{R}^n$ is a linear combination of the intrinsic volumes. For tensor-valued valuations, under the assumptions of isometry covariance and continuity, there is a similar classification theorem, due to Alesker. Also for the local extensions of the intrinsic volumes, the support, curvature and area measures, there are analogous characterization results, with continuity replaced by weak continuity, and involving an additional assumption of local determination. The present authors have recently obtained a corresponding characterization result for local tensor valuations, or tensor-valued support measures (generalized curvature measures), of convex bodies in $\mathbb{R}^n$. The covariance assumed there was with respect to the group ${\rm O}(n)$ of orthogonal transformations. This was suggested by Alesker's observation, according to which in dimensions $n> 2$, the weaker assumption of ${\rm SO}(n)$ covariance does not yield more tensor valuations. However, for tensor-valued support measures, the distinction between proper and improper rotations does make a difference. The present paper considers, therefore, the local tensor valuations sharing the previously assumed properties, but with ${\rm O}(n)$ covariance replaced by ${\rm SO}(n)$ covariance, and provides a complete classification. New tensor valued support measures appear only in dimensions two and three.

math.MG↗

arXiv2016

The middle hedgehog of a planar convex body

A convexity point of a convex body is a point with the property that the union of the body and its reflection in the point is convex. It is proved that in the plane a typical convex body (in the sense of Baire category) has infinitely many convexity points. The proof makes use of the `middle hedgehog' of a planar convex body $K$, which is the curve formed by the midpoints of all affine diameters of $K$. The stated result follows from the fact that for a typical planar convex body the convex hull of the middle hedgehog has infinitely many exposed points.

math.MG↗

arXiv2016

${\rm SO}(n)$ covariant local tensor valuations on polytopes

The Minkowski tensors are valuations on the space of convex bodies in ${\mathbb R}^n$ with values in a space of symmetric tensors, having additional covariance and continuity properties. They are extensions of the intrinsic volumes, and as these, they are the subject of classification theorems, and they admit localizations in the form of measure-valued valuations. For these local tensor valuations, restricted to convex polytopes, a classification theorem has been proved recently, under the assumption of isometry covariance, but without any continuity assumption. This characterization result is extended here, replacing the covariance under orthogonal transformations by invariance under proper rotations only. This yields additional local tensor valuations on polytopes in dimensions two and three, but not in higher dimensions. They are completely classified in this paper.

math.MG↗

arXiv2016

Random conical tessellations

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.

math.PR↗

arXiv2016

Multiplication of convex sets in C(K) spaces

Let C(K) denote the Banach algebra of continuous real functions, with the supremum norm, on a compact Hausdorff space K. For two subsets of C(K), one can define their product by pointwise multiplication, just as the Minkowski sum of the sets is defined by pointwise addition. Our main interest is in correlations between properties of the product of closed order intervals in C(K) and properties of the underlying space K. When K is finite, the product of two intervals in C(K) is always an interval. Surprisingly, the converse of this result is true for a wide class of compacta. We show that a first-countable space K is finite whenever it has the property that the product of two nonnegative intervals is closed, or the property that the product of an interval with itself is convex. That some assumption on K is needed, can be seen from the fact that, if K is the Stone-Cech compactification of N, then the product of two intervals in C(K) with continuous boundary functions is always an interval. For any K, it is proved that the product of two positive intervals is always an interval, and that the product of two nonnegative intervals is always convex. Finally, square roots of intervals are investigated, with results of similar type.

math.FA↗

arXiv2015

Second moments related to Poisson hyperplane tessellations

We consider the typical cell of a stationary Poisson hyperplane tessellation in d-dimensional Euclidean space. It is well known that the expected vertex number of the typical cell is independent of the directional distribution of the hyperplane process. We give sharp bounds for the variance of this vertex number, showing, in particular, that the maximum of the variance is attained if and only if the distribution of the process is rotation invariant with respect to a suitable scalar product. The employed representation of the second moment of the vertex number is a special case of formulas providing the covariance matrix for the random vector whose components are the total k-face contents of the typical cell. In the isotropic case, such formulas were first obtained by R.E. Miles. We give a more elementary proof and extend the formulas to general directional distributions.

math.PR↗

arXiv2015

Random points in halfspheres

A random spherical polytope $P_n$ in a spherically convex set $K \subset S^d$ as considered here is the spherical convex hull of $n$ independent, uniformly distributed random points in $K$. The behaviour of $P_n$ for a spherically convex set $K$ contained in an open halfsphere is quite similar to that of a similarly generated random convex polytope in a Euclidean space, but the case when $K$ is a halfsphere is different. This is what we investigate here, establishing the asymptotic behaviour, as $n$ tends to infinity, of the expectation of several characteristics of $P_n$, such as facet and vertex number, volume and surface area. For the Hausdorff distance from the halfsphere, we obtain also some almost sure asymptotic estimates.

math.PR↗

arXiv2015

Reflections of planar convex bodies

It is proved that every convex body in the plane has a point such that the union of the body and its image under reflection in the point is convex. If the body is not centrally symmetric, then it has, in fact, three affinely independent points with this property.

math.MG↗

arXiv2015

Hölder continuity for support measures of convex bodies

The support measures of a convex body are a common generalization of the curvature measures and the area measures. With respect to the Hausdorff metric on the space of convex bodies, they are weakly continuous. We provide a quantitative improvement of this result, by establishing a Hölder estimate for the support measures in terms of the bounded Lipschitz metric, which metrizes the weak convergence. Specializing the result to area measures yields a reverse counterpart to earlier stability estimates, concerning Minkowski's existence theorem for convex bodies with given area measure.

math.MG↗