Searcharxiv⌕ Search

arXiv subjects

Daniel Hug

Publications and source records attributed to Daniel Hug.

At least 55 records · Page 3Linked to original sources

An inclusion-exclusion identity for normal cones of polyhedral sets

For a nonempty polyhedral set $P\subset \mathbb R^d$, let $\mathcal F(P)$ denote the set of faces of $P$, and let $N(P,F)$ be the normal cone of $P$ at the nonempty face $F\in\mathcal F(P)$. We prove that the function $\sum_{F\in\mathcal F(P)}(-1)^{\text{dim} F} 1_{F-N(P,F)}$ equals $1$ if $P$ is bounded, or $0$ if $P$ is unbounded and line-free. Previously, this formula was known to hold everywhere outside some exceptional set of Lebesgue measure $0$ or for polyhedral cones. The case of a not necessarily line-free polyhedral set is also covered by our general theorem.

math.MG↗

Strengthened volume inequalities for L_p zonoids of even isotropic measures

We strengthen the volume inequalities for L_p zonoids of even isotropic measures and for their duals, which are due to Ball, Barthe and Lutwak, Yang, Zhang. Along the way, we prove a stronger version of the Brascamp-Lieb inequality for a family of functions that can approximate arbitrary well some Gaussians when equality holds. The special case p=\infty yields a stability version of the reverse isoperimetric inequality for centrally symmetric bodies.

math.PR↗

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↗

Crofton Formulae for Tensor-Valued Curvature Measures

The tensorial curvature measures are tensor-valued generalizations of the curvature measures of convex bodies. We prove a set of Crofton formulae for such tensorial curvature measures. These formulae express the integral mean of the tensorial curvature measures of the intersection of a given convex body with a uniform affine $k$-flat in terms of linear combinations of tensorial curvature measures of the given convex body. Here we first focus on the case where the tensorial curvature measures of the intersection of the given body with an affine flat is defined with respect to the affine flat as its ambient space. From these formulae we then deduce some new and also recover known special cases. In particular, we substantially simplify some of the constants that were obained in previous work on Minkowski tensors. In a second step, we explain how the results can be extended to the case where the tensorial curvature measure of the intersection of the given body with an affine flat is determined with respect to the ambient Euclidean space.

math.MG↗

Mixed curvature measures of translative integral geometry

The curvature measures of a set $X$ with singularities are measures concentrated on the normal bundle of $X$, which describe the local geometry of the set $X$. For given finitely many convex bodies or, more generally, sets with positive reach, the translative integral formula for curvature measures relates the integral mean of the curvature measures of the intersections of the given sets, one fixed and the others translated, to the mixed curvature measures of the given sets. In the case of two sets of positive reach, a representation of these mixed measures in terms of generalized curvatures, defined on the normal bundles of the sets, is known. For more than two sets, a description of mixed curvature measures in terms of rectifiable currents has been derived previously. Here we provide a representation of mixed curvatures measures of sets with positive reach based on generalized curvatures. The special case of convex polyhedra is treated in detail.

math.MG↗

${\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↗

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↗

Monotonicity and concavity of integral functionals involving area measures of convex bodies

For a broad class of integral functionals defined on the space of $n$-dimensional convex bodies, we establish necessary and sufficient conditions for monotonicity, and necessary conditions for the validity of a Brunn-Minkowski type inequality. In particular, we prove that a Brunn-Minkowski type inequality implies monotonicity, and that a general Brunn-Minkowski type inequality is equivalent to the functional being a mixed volume.

math.MG↗

Second-order properties and central limit theorems for geometric functionals of Boolean models

Let $Z$ be a Boolean model based on a stationary Poisson process $η$ of compact, convex particles in Euclidean space ${\mathbb{R}}^d$. Let $W$ denote a compact, convex observation window. For a large class of functionals $ψ$, formulas for mean values of $ψ(Z\cap W)$ are available in the literature. The first aim of the present work is to study the asymptotic covariances of general geometric (additive, translation invariant and locally bounded) functionals of $Z\cap W$ for increasing observation window $W$, including convergence rates. Our approach is based on the Fock space representation associated with $η$. For the important special case of intrinsic volumes, the asymptotic covariance matrix is shown to be positive definite and can be explicitly expressed in terms of suitable moments of (local) curvature measures in the isotropic case. The second aim of the paper is to prove multivariate central limit theorems including Berry-Esseen bounds. These are based on a general normal approximation result obtained by the Malliavin--Stein method.

math.PR↗

Second order analysis of geometric functionals of Boolean models

This paper presents asymptotic covariance formulae and central limit theorems for geometric functionals, including volume, surface area, and all Minkowski functionals and translation invariant Minkowski tensors as prominent examples, of stationary Boolean models. Special focus is put on the anisotropic case. In the (anisotropic) example of aligned rectangles, we provide explicit analytic formulae and compare them with simulation results. We discuss which information about the grain distribution second moments add to the mean values.

math.PR↗

Kinematic formulas for area measures

We obtain a Principal Kinematic Formula and a Crofton Formula for surface area measures of convex bodies, both involving linear operators on the vector space of signed measures on the unit sphere $S^{d-1}$. These formulas are related to a localization of Hadwiger's Integral Geometric Theorem. The operators, mentioned above, will be shown to be compositions of spherical Fourier transforms originating in the work of Koldobsky. As an application of our Crofton Formula, we will find an extension of Koldobsky's orthogonality relation for such transforms from the case of even spherical functions to centered functions.

math.MG↗

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↗

Poisson polyhedra in high dimensions

The zero cell of a parametric class of random hyperplane tessellations depending on a distance exponent and an intensity parameter is investigated, as the space dimension tends to infinity. The model includes the zero cell of stationary and isotropic Poisson hyperplane tessellations as well as the typical cell of a stationary Poisson Voronoi tessellation as special cases. It is shown that asymptotically in the space dimension, with overwhelming probability these cells satisfy the hyperplane conjecture, if the distance exponent and the intensity parameter are suitably chosen dimension-dependent functions. Also the high dimensional limits of the mean number of faces are explored and the asymptotic behaviour of an isoperimetric ratio is analysed. In the background are new identities linking the $f$-vector of the zero cell to certain dual intrinsic volumes.

math.MG↗

A flag representation of projection functions

The $k$th projection function $v_k(K,\cdot)$ of a convex body $K\subset {\mathbb R}^d, d\ge 3,$ is a function on the Grassmannian $G(d,k)$ which measures the $k$-dimensional volume of the projection of $K$ onto members of $G(d,k)$. For $k=1$ and $k=d-1$, simple formulas for the projection functions exist. In particular, $v_{d-1}(K,\cdot)$ can be written as a spherical integral with respect to the surface area measure of $K$. Here, we generalize this result and prove two integral representations for $v_k(K,\cdot), k=1,\dots,d-1$, over flag manifolds. Whereas the first representation generalizes a result of Ambartzumian (1987), but uses a flag measure which is not continuous in $K$, the second representation is related to a recent flag formula for mixed volumes by Hug, Rataj and Weil (2013) and depends continuously on $K$.

math.MG↗

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↗

Kinematic formulas for tensor valuations

We prove new kinematic formulas for tensor valuations and simplify previously known Crofton formulas by using the recently developed algebraic theory of translation invariant valuations. The heart of the paper is the computation of the Alesker-Fourier transform on the large class of spherical valuations, which is achieved by differential-geometric and representation theoretical tools. We also describe in explicit form the product and convolution of tensor valuations.

math.DG↗

Intersection and proximity of processes of flats

Weakly stationary random processes of $k$-dimensional affine subspaces (flats) in $\mathbb{R}^n$ are considered. If $2k\geq n$, then intersection processes are investigated, while in the complementary case $2k<n$ a proximity process is introduced. The intensity measures of these processes are described in terms of parameters of the underlying $k$-flat process. By a translation into geometric parameters of associated zonoids and by means of integral transformations, several new uniqueness and stability results for these processes of flats are derived. They rely on a combination of known and novel estimates for area measures of zonoids, which are also developed in the paper. Finally, an asymptotic second-order analysis as well as central and non-central limit theorems for length-power direction functionals of proximity processes derived from stationary Poisson $k$-flat process complement earlier works for intersection processes.

math.MG↗