-
Strengthened inequalities for the mean width and the $\ell$-norm of origin symmetric convex bodies
Authors:
Károly J. Böröczky,
Ferenc Fodor,
Daniel Hug
Abstract:
Barthe, Schechtman and Schmuckenschläger proved that the cube maximizes the mean width of symmetric convex bodies whose John ellipsoid (maximal volume ellipsoid contained in the body) is the Euclidean unit ball, and the regular crosspolytope minimizes the mean width of symmetric convex bodies whose Löwner ellipsoid is the Euclidean unit ball. Here we prove close to be optimal stronger stability ve…
▽ More
Barthe, Schechtman and Schmuckenschläger proved that the cube maximizes the mean width of symmetric convex bodies whose John ellipsoid (maximal volume ellipsoid contained in the body) is the Euclidean unit ball, and the regular crosspolytope minimizes the mean width of symmetric convex bodies whose Löwner ellipsoid is the Euclidean unit ball. Here we prove close to be optimal stronger stability versions of these results, together with their counterparts about the $\ell$-norm based on Gaussian integrals. We also consider related stability results for the mean width and the $\ell$-norm of the convex hull of the support of even isotropic measures on the unit sphere.
△ Less
Submitted 15 October, 2024;
originally announced October 2024.
-
Intersections of Poisson k-flats in hyperbolic space: completing the picture
Authors:
Tillmann Bühler,
Daniel Hug
Abstract:
In recent years there has been a lot of interest in the study of isometry invariant Poisson processes of $k$-flats in $d$-dimensional hyperbolic space $\mathbb{H}^d$, for $0\le k\le d-1$. A phenomenon that has no counterpart in euclidean geometry arises in the investigation of the total $k$-dimensional volume $F_r$ of the process inside a spherical observation window $B_r$ of radius $r$ when one l…
▽ More
In recent years there has been a lot of interest in the study of isometry invariant Poisson processes of $k$-flats in $d$-dimensional hyperbolic space $\mathbb{H}^d$, for $0\le k\le d-1$. A phenomenon that has no counterpart in euclidean geometry arises in the investigation of the total $k$-dimensional volume $F_r$ of the process inside a spherical observation window $B_r$ of radius $r$ when one lets $r$ tend to infinity. While $F_r$ is asymptotically normally distributed for $2k\leq d+1$, it has been shown to obey a nonstandard central limit theorem for $2k>d+1$.
The intersection process of order $m$, for $d-m(d-k) \geq 0$, of the original process $η$ consists of all intersections of distinct flats $E_1,\ldots,E_m \in η$ with $\dim(E_1\cap\ldots\cap E_m) = d-m(d-k)$. For this intersection process, the total $d-m(d-k)$-dimensional volume $F^{(m)}_r$ of the process in $B_r$, again as $r \to \infty$, is of particular interest. For $2k \leq d+1$ it has been shown that $F^{(m)}_r$ is again asymptotically normally distributed. For $m \geq 2$, the limit is so far unknown, although it has been shown for certain $d$ and $k$ that it cannot be a normal distribution.
We determine the limit distribution for all values of $d,k,m$. In addition, we establish explicit rates of convergence in the Kolmogorov distance and discuss properties of the limit distribution. Furthermore we show that the asymptotic covariance matrix of the vector $(F^{(1)}_r,\ldots,F^{(m)}_r)^\top$ has full rank when $2k < d+1$ and rank one when $2k \geq d+1$.
△ Less
Submitted 14 October, 2024;
originally announced October 2024.
-
Boolean models in hyperbolic space
Authors:
Daniel Hug,
Günter Last,
Matthias Schulte
Abstract:
The union of the particles of a stationary Poisson process of compact (convex) sets in Euclidean space is called Boolean model and is a classical topic of stochastic geometry. In this paper, Boolean models in hyperbolic space are considered, where one takes the union of the particles of a stationary Poisson process in the space of compact (convex) subsets of the hyperbolic space. Geometric functio…
▽ More
The union of the particles of a stationary Poisson process of compact (convex) sets in Euclidean space is called Boolean model and is a classical topic of stochastic geometry. In this paper, Boolean models in hyperbolic space are considered, where one takes the union of the particles of a stationary Poisson process in the space of compact (convex) subsets of the hyperbolic space. Geometric functionals such as the volume of the intersection of the Boolean model with a compact convex observation window are studied. In particular, the asymptotic behavior for balls with increasing radii as observation windows is investigated. Exact and asymptotic formulas for expectations, variances, and covariances are shown and univariate and multivariate central limit theorems are derived. Compared to the Euclidean framework, some new phenomena can be observed.
△ Less
Submitted 7 August, 2024;
originally announced August 2024.
-
Hyperion -- A fast, versatile symbolic Gaussian Belief Propagation framework for Continuous-Time SLAM
Authors:
David Hug,
Ignacio Alzugaray,
Margarita Chli
Abstract:
Continuous-Time Simultaneous Localization And Mapping (CTSLAM) has become a promising approach for fusing asynchronous and multi-modal sensor suites. Unlike discrete-time SLAM, which estimates poses discretely, CTSLAM uses continuous-time motion parametrizations, facilitating the integration of a variety of sensors such as rolling-shutter cameras, event cameras and Inertial Measurement Units (IMUs…
▽ More
Continuous-Time Simultaneous Localization And Mapping (CTSLAM) has become a promising approach for fusing asynchronous and multi-modal sensor suites. Unlike discrete-time SLAM, which estimates poses discretely, CTSLAM uses continuous-time motion parametrizations, facilitating the integration of a variety of sensors such as rolling-shutter cameras, event cameras and Inertial Measurement Units (IMUs). However, CTSLAM approaches remain computationally demanding and are conventionally posed as centralized Non-Linear Least Squares (NLLS) optimizations. Targeting these limitations, we not only present the fastest SymForce-based [Martiros et al., RSS 2022] B- and Z-Spline implementations achieving speedups between 2.43x and 110.31x over Sommer et al. [CVPR 2020] but also implement a novel continuous-time Gaussian Belief Propagation (GBP) framework, coined Hyperion, which targets decentralized probabilistic inference across agents. We demonstrate the efficacy of our method in motion tracking and localization settings, complemented by empirical ablation studies.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
Additive kinematic formulas for convex functions
Authors:
Daniel Hug,
Fabian Mussnig,
Jacopo Ulivelli
Abstract:
We prove a functional version of the additive kinematic formula as an application of the Hadwiger theorem on convex functions together with a Kubota-type formula for mixed Monge-Ampère measures. As an application, we give a new explanation for the equivalence of the representations of functional intrinsic volumes as singular Hessian valuations and as integrals with respect to mixed Monge-Ampère me…
▽ More
We prove a functional version of the additive kinematic formula as an application of the Hadwiger theorem on convex functions together with a Kubota-type formula for mixed Monge-Ampère measures. As an application, we give a new explanation for the equivalence of the representations of functional intrinsic volumes as singular Hessian valuations and as integrals with respect to mixed Monge-Ampère measures. In addition, we obtain a new integral geometric formula for mixed area measures of convex bodies, where integration on $\operatorname{SO}(n-1)\times \operatorname{O}(1)$ is considered.
△ Less
Submitted 11 March, 2024;
originally announced March 2024.
-
Kubota-type formulas and supports of mixed measures
Authors:
Daniel Hug,
Fabian Mussnig,
Jacopo Ulivelli
Abstract:
Motivated by a problem for mixed Monge-Ampère measures of convex functions, we address a special case of a conjecture of Schneider and show that for every convex body $K$ the support of the mixed area measure $S(K[j],B_L^{n-1}[n-1-j],\cdot)$ is given by the set of $(K[j],B_L^{n-1}[n-1-j])$-extreme unit normal vectors, where $B_L^{n-1}$ denotes the $(n-1)$-dimensional Euclidean unit ball in a hyper…
▽ More
Motivated by a problem for mixed Monge-Ampère measures of convex functions, we address a special case of a conjecture of Schneider and show that for every convex body $K$ the support of the mixed area measure $S(K[j],B_L^{n-1}[n-1-j],\cdot)$ is given by the set of $(K[j],B_L^{n-1}[n-1-j])$-extreme unit normal vectors, where $B_L^{n-1}$ denotes the $(n-1)$-dimensional Euclidean unit ball in a hyperplane $L$. As a consequence, we see that the supports of these measures are nested. Our proof introduces a Kubota-type formula for mixed area measures, which involves integration over $j$-dimensional linear subspaces that contain a fixed $1$-dimensional subspace. We transfer these results to the analytic setting, where we obtain corresponding statements for (conjugate) mixed Monge-Ampère measures of convex functions. Thereby, we establish a fundamental property for functional intrinsic volumes. In addition, we study connections between mixed Monge-Ampère measures of convex functions and mixed area measures and mixed volumes of convex bodies.
△ Less
Submitted 29 January, 2024;
originally announced January 2024.
-
The support of mixed area measures involving a new class of convex bodies
Authors:
Daniel Hug,
Paul A. Reichert
Abstract:
Mixed volumes in $n$-dimensional Euclidean space are functionals of $n$-tuples of convex bodies $K,L,C_1,\ldots,C_{n-2}$. The Alexandrov--Fenchel inequalities are fundamental inequalities between mixed volumes of convex bodies. As very special cases they cover or imply many important inequalities between basic geometric functionals. A complete characterization of the equality cases in the Alexandr…
▽ More
Mixed volumes in $n$-dimensional Euclidean space are functionals of $n$-tuples of convex bodies $K,L,C_1,\ldots,C_{n-2}$. The Alexandrov--Fenchel inequalities are fundamental inequalities between mixed volumes of convex bodies. As very special cases they cover or imply many important inequalities between basic geometric functionals. A complete characterization of the equality cases in the Alexandrov--Fenchel inequality remains a challenging open problem. Major recent progress was made by Yair Shenfeld and Ramon van Handel \cite{SvH22,SvH23+}, in particular they resolved the problem in the cases where $C_1,\ldots,C_{n-2}$ are polytopes, zonoids or smooth bodies (under some dimensional restriction). In \cite{HugReichert23+} we introduced the class of polyoids, which are defined as limits of finite Minkowski sums of polytopes having a bounded number vertices. Polyoids encompass polytopes, zonoids and triangle bodies, and they can be characterized by means of generating measures. Based on this characterization and Shenfeld and van Handel's contribution, we extended their result to polyoids (or smooth bodies). Our previous result was stated in terms of the support of the mixed area measure associated with the unit ball $B^n$ and $C_1,\ldots,C_{n-2}$. This characterization result is completed in the present work which more generally provides a geometric description of the support of the mixed area measure of an arbitrary $(n-1)$-tuple of polyoids (or smooth bodies). The result confirms a long-standing conjecture by Rolf Schneider in the case of polyoids and hence, in particular, of zonoids.
△ Less
Submitted 28 September, 2023;
originally announced September 2023.
-
Extremizers of the Alexandrov--Fenchel inequality within a new class of convex bodies
Authors:
Daniel Hug,
Paul A. Reichert
Abstract:
Mixed volumes in $n$-dimensional Euclidean space are functionals of $n$-tuples consisting of convex bodies $K,L,C_1,\ldots,C_{n-2}$. The Alexandrov--Fenchel inequalities are fundamental inequalities between mixed volumes of convex bodies, which cover as very special cases many important inequalities between basic geometric functionals. The problem of characterizing completely the equality cases in…
▽ More
Mixed volumes in $n$-dimensional Euclidean space are functionals of $n$-tuples consisting of convex bodies $K,L,C_1,\ldots,C_{n-2}$. The Alexandrov--Fenchel inequalities are fundamental inequalities between mixed volumes of convex bodies, which cover as very special cases many important inequalities between basic geometric functionals. The problem of characterizing completely the equality cases in the Alexandrov--Fenchel inequality is wide open. Major recent progress was made by Yair Shenfeld and Ramon van Handel \cite{SvH22,SvH23+}, in particular they resolved the problem in the cases where $K,L$ are general convex bodies and $C_1,\ldots,C_{n-2}$ are polytopes, zonoids or smooth bodies (under some dimensional restriction). We introduce the class of polyoids, which includes polytopes, zonoids and triangle bodies, and characterize polyoids by using generating measures. Based on this characterization and Shenfeld and van Handel's contribution, we extend their result to a class of convex bodies containing all polyoids and smooth bodies. Our result is stated in terms of the support of the mixed area measure of the unit ball $B^n$ and $C_1,\ldots,C_{n-2}$. A geometric description of this support is provided in the accompanying work \cite{HugReichert23+}.
△ Less
Submitted 28 September, 2023;
originally announced September 2023.
-
Boolean models
Authors:
Daniel Hug,
Günter Last,
Wolfgang Weil
Abstract:
The topic of this survey are geometric functionals of a Boolean model (in Euclidean space) governed by a stationary Poisson process of convex grains. The Boolean model is a fundamental benchmark of stochastic geometry and continuum percolation. Moreover, it is often used to model amorphous connected structures in physics, materials science and biology. Deeper insight into the geometric and probabi…
▽ More
The topic of this survey are geometric functionals of a Boolean model (in Euclidean space) governed by a stationary Poisson process of convex grains. The Boolean model is a fundamental benchmark of stochastic geometry and continuum percolation. Moreover, it is often used to model amorphous connected structures in physics, materials science and biology. Deeper insight into the geometric and probabilistic properties of Boolean models and the dependence on the underlying Poisson process can be gained by considering various geometric functionals of Boolean models. Important examples are the intrinsic volumes and Minkowski tensors. We survey here local and asymptotic density (mean value) formulas as well as second order properties and central limit theorems.
△ Less
Submitted 10 August, 2023;
originally announced August 2023.
-
Vectorial analogues of Cauchy's surface area formula
Authors:
Daniel Hug,
Rolf Schneider
Abstract:
Cauchy's surface area formula says that for a convex body $K$ in $n$-dimensional Euclidean space the mean value of the $(n-1)$-dimensional volumes of the orthogonal projections of $K$ to hyperplanes is a constant multiple of the surface area of $K$. We prove an analogous formula, with the volumes of the projections replaced by their moment vectors. This requires to introduce a new vector-valued va…
▽ More
Cauchy's surface area formula says that for a convex body $K$ in $n$-dimensional Euclidean space the mean value of the $(n-1)$-dimensional volumes of the orthogonal projections of $K$ to hyperplanes is a constant multiple of the surface area of $K$. We prove an analogous formula, with the volumes of the projections replaced by their moment vectors. This requires to introduce a new vector-valued valuation on convex bodies.
△ Less
Submitted 23 July, 2023;
originally announced July 2023.
-
Intersections of Poisson $ k $-flats in constant curvature spaces
Authors:
Carina Betken,
Daniel Hug,
Christoph Thäle
Abstract:
Poisson processes in the space of $k$-dimensional totally geodesic subspaces ($k$-flats) in a $d$-dimensional standard space of constant curvature $κ\in\{-1,0,1\}$ are studied, whose distributions are invariant under the isometries of the space. We consider the intersection processes of order $m$ together with their $(d-m(d-k))$-dimensional Hausdorff measure within a geodesic ball of radius $r$. A…
▽ More
Poisson processes in the space of $k$-dimensional totally geodesic subspaces ($k$-flats) in a $d$-dimensional standard space of constant curvature $κ\in\{-1,0,1\}$ are studied, whose distributions are invariant under the isometries of the space. We consider the intersection processes of order $m$ together with their $(d-m(d-k))$-dimensional Hausdorff measure within a geodesic ball of radius $r$. Asymptotic normality for fixed $r$ is shown as the intensity of the underlying Poisson process tends to infinity for all $m$ satisfying $d-m(d-k)\geq 0$. For $κ\in\{-1,0\}$ the problem is also approached in the set-up where the intensity is fixed and $r$ tends to infinity. Again, if $2k\le d+1$ a central limit theorem is shown for all possible values of $m$. However, while for $κ=0$ asymptotic normality still holds if $2k>d+1$, we prove for $κ=-1$ convergence to a non-Gaussian infinitely divisible limit distribution in the special case $m=1$. The proof of asymptotic normality is based on the analysis of variances and general bounds available from the Malliavin--Stein method. We also show for general $κ\in\{-1,0,1\}$ that, roughly speaking, the variances within a general observation window $W$ are maximal if and only if $W$ is a geodesic ball having the same volume as $W$. Along the way we derive a new integral-geometric formula of Blaschke--Petkantschin type in a standard space of constant curvature.
△ Less
Submitted 19 February, 2023;
originally announced February 2023.
-
Curvature measures and soap bubbles beyond convexity
Authors:
Daniel Hug,
Mario Santilli
Abstract:
Extending the celebrated results of Alexandrov (1958) and Korevaar-Ros (1988) for smooth sets, as well as the results of Schneider (1979) and the first author (1999) for arbitrary convex bodies, we obtain for the first time the characterization of the isoperimetric sets of a uniformly convex smooth finite-dimensional normed space (i.e. Wulff shapes) in the non-smooth and non-convex setting, based…
▽ More
Extending the celebrated results of Alexandrov (1958) and Korevaar-Ros (1988) for smooth sets, as well as the results of Schneider (1979) and the first author (1999) for arbitrary convex bodies, we obtain for the first time the characterization of the isoperimetric sets of a uniformly convex smooth finite-dimensional normed space (i.e. Wulff shapes) in the non-smooth and non-convex setting, based on the natural geometric condition involving the curvature measures. More specifically we show, under a natural mean-convexity assumption, that finite unions of disjoint Wulff shapes are the only sets of positive reach $ A \subseteq \mathbf{R}^{n+1} $ with finite and positive volume such that, for some $ k \in \{0, \ldots , n-1\}$, the $ k $-th generalized curvature measure $ Θ^φ_{k}(A, \cdot) $, which is defined on the unit normal bundle of $ A $ with respect to the relative geometry induced by $ φ$, is proportional to $ Θ^φ_{n}(A, \cdot)$. If $ k = n-1 $ the conclusion holds for all sets of positive reach with finite and positive volume. We also prove a related sharp result about the removability of the singularities. This result is based on the extension of the notion of a normal boundary point, originally introduced by Busemann and Feller (1936) for arbitrary convex bodies, to sets of positive reach.
These results are new even in the Euclidean space.
Several auxiliary and related results are also proved, which are of independent interest. They include the extension of the classical Steiner--Weyl tube formula to arbitrary closed sets in a finite dimensional uniformly convex normed vector space and a general formula for the derivative of the localized volume function, which extends and complements recent results of Chambolle--Lussardi--Villa (2021).
△ Less
Submitted 18 November, 2022; v1 submitted 11 April, 2022;
originally announced April 2022.
-
On a game of chance in Marc Elsberg's thriller "GREED"
Authors:
Tamara Göll,
Daniel Hug
Abstract:
A (possibly illegal) game of chance, which is described in Chapter 14 of Marc Elsberg's thriller "GREED", seems to offer an excellent chance of winning. However, as the gambling starts and evolves over several rounds, the actual experience of the vast majority of the gamblers in a pub is strikingly different. We provide an analysis of this specific game and several of its variants by elementary to…
▽ More
A (possibly illegal) game of chance, which is described in Chapter 14 of Marc Elsberg's thriller "GREED", seems to offer an excellent chance of winning. However, as the gambling starts and evolves over several rounds, the actual experience of the vast majority of the gamblers in a pub is strikingly different. We provide an analysis of this specific game and several of its variants by elementary tools of probability. Thus we also encounter an interesting threshold phenomenon, which is related to the transition from a profit zone to a loss area. Our arguments are motivated and illustrated by numerical calculations with Python.
△ Less
Submitted 19 November, 2021;
originally announced November 2021.
-
Reverse Alexandrov--Fenchel inequalities for zonoids
Authors:
Károly J. Böröczky,
Daniel Hug
Abstract:
The Alexandrov--Fenchel inequality bounds from below the square of the mixed volume $V(K_1,K_2,K_3,\ldots,K_n)$ of convex bodies $K_1,\ldots,K_n$ in $\mathbb{R}^n$ by the product of the mixed volumes $V(K_1,K_1,K_3,\ldots,K_n)$ and $V(K_2,K_2,K_3,\ldots,K_n)$. As a consequence, for integers $α_1,\ldots,α_m\in\mathbb{N}$ with $α_1+\cdots+α_m=n$ the product…
▽ More
The Alexandrov--Fenchel inequality bounds from below the square of the mixed volume $V(K_1,K_2,K_3,\ldots,K_n)$ of convex bodies $K_1,\ldots,K_n$ in $\mathbb{R}^n$ by the product of the mixed volumes $V(K_1,K_1,K_3,\ldots,K_n)$ and $V(K_2,K_2,K_3,\ldots,K_n)$. As a consequence, for integers $α_1,\ldots,α_m\in\mathbb{N}$ with $α_1+\cdots+α_m=n$ the product $V_n(K_1)^{\frac{α_1}{n}}\cdots V_n(K_m)^{\frac{α_m}{n}} $ of suitable powers of the volumes $V_n(K_i)$ of the convex bodies $K_i$, $i=1,\ldots,m$, is a lower bound for the mixed volume $V(K_1[α_1],\ldots,K_m[α_m])$, where $α_i$ is the multiplicity with which $K_i$ appears in the mixed volume. It has been conjectured by Ulrich Betke and Wolfgang Weil that there is a reverse inequality, that is, a sharp upper bound for the mixed volume $V(K_1[α_1],\ldots,K_m[α_m])$ in terms of the product of the intrinsic volumes $V_{α_i}(K_i)$, for $i=1,\ldots,m$. The case where $m=2$, $α_1=1$, $α_2=n-1$ has recently been settled by the present authors (2020). The case where $m=3$, $α_1=α_2=1$, $α_3=n-2$ has been treated by Artstein-Avidan, Florentin, Ostrover (2014) under the assumption that $K_2$ is a zonoid and $K_3$ is the Euclidean unit ball. The case where $α_2=\cdots=α_m=1$, $K_1$ is the unit ball and $K_2,\ldots,K_m$ are zonoids has been considered by Hug, Schneider (2011). Here we substantially generalize these previous contributions, in cases where most of the bodies are zonoids, and thus we provide further evidence supporting the conjectured reverse Alexandrov--Fenchel inequality. The equality cases in all considered inequalities are characterized. More generally, stronger stability results are established as well.
△ Less
Submitted 24 June, 2021;
originally announced June 2021.
-
Extremizers and stability of the Betke--Weil inequality
Authors:
Ferenc A. Bartha,
Ferenc Bencs,
Károly J. Böröczky,
Daniel Hug
Abstract:
Let $K$ be a compact convex domain in the Euclidean plane. The mixed area $A(K,-K)$ of $K$ and $-K$ can be bounded from above by $1/(6\sqrt{3})L(K)^2$, where $L(K)$ is the perimeter of $K$. This was proved by Ulrich Betke and Wolfgang Weil (1991). They also showed that if $K$ is a polygon, then equality holds if and only if $K$ is a regular triangle. We prove that among all convex domains, equalit…
▽ More
Let $K$ be a compact convex domain in the Euclidean plane. The mixed area $A(K,-K)$ of $K$ and $-K$ can be bounded from above by $1/(6\sqrt{3})L(K)^2$, where $L(K)$ is the perimeter of $K$. This was proved by Ulrich Betke and Wolfgang Weil (1991). They also showed that if $K$ is a polygon, then equality holds if and only if $K$ is a regular triangle. We prove that among all convex domains, equality holds only in this case, as conjectured by Betke and Weil. This is achieved by establishing a stronger stability result for the geometric inequality $6\sqrt{3}A(K,-K)\le L(K)^2$.
△ Less
Submitted 22 March, 2021;
originally announced March 2021.
-
Another look at threshold phenomena for random cones
Authors:
Daniel Hug,
Rolf Schneider
Abstract:
In stochastic geometry there are several instances of threshold phenomena in high dimensions: the behavior of a limit of some expectation changes abruptly when some parameter passes through a critical value. This note continues the investigation of the expected face numbers of polyhedral random cones, when the dimension of the ambient space increases to infinity. In the focus are the critical valu…
▽ More
In stochastic geometry there are several instances of threshold phenomena in high dimensions: the behavior of a limit of some expectation changes abruptly when some parameter passes through a critical value. This note continues the investigation of the expected face numbers of polyhedral random cones, when the dimension of the ambient space increases to infinity. In the focus are the critical values of the observed threshold phenomena, as well as threshold phenomena for differences instead of quotients.
△ Less
Submitted 21 March, 2021;
originally announced March 2021.
-
Hough2Map -- Iterative Event-based Hough Transform for High-Speed Railway Mapping
Authors:
Florian Tschopp,
Cornelius von Einem,
Andrei Cramariuc,
David Hug,
Andrew William Palmer,
Roland Siegwart,
Margarita Chli,
Juan Nieto
Abstract:
To cope with the growing demand for transportation on the railway system, accurate, robust, and high-frequency positioning is required to enable a safe and efficient utilization of the existing railway infrastructure. As a basis for a localization system we propose a complete on-board mapping pipeline able to map robust meaningful landmarks, such as poles from power lines, in the vicinity of the v…
▽ More
To cope with the growing demand for transportation on the railway system, accurate, robust, and high-frequency positioning is required to enable a safe and efficient utilization of the existing railway infrastructure. As a basis for a localization system we propose a complete on-board mapping pipeline able to map robust meaningful landmarks, such as poles from power lines, in the vicinity of the vehicle. Such poles are good candidates for reliable and long term landmarks even through difficult weather conditions or seasonal changes. To address the challenges of motion blur and illumination changes in railway scenarios we employ a Dynamic Vision Sensor, a novel event-based camera. Using a sideways oriented on-board camera, poles appear as vertical lines. To map such lines in a real-time event stream, we introduce Hough2Map, a novel consecutive iterative event-based Hough transform framework capable of detecting, tracking, and triangulating close-by structures. We demonstrate the mapping reliability and accuracy of Hough2Map on real-world data in typical usage scenarios and evaluate using surveyed infrastructure ground truth maps. Hough2Map achieves a detection reliability of up to 92% and a mapping root mean square error accuracy of 1.1518m.
△ Less
Submitted 18 February, 2021; v1 submitted 16 February, 2021;
originally announced February 2021.
-
Triaxiality in galaxy clusters: Mass versus Potential reconstructions
Authors:
Sebastian Stapelberg,
Céline Tchernin,
Damaris Hug,
Erwin T. Lau,
Matthias Bartelmann
Abstract:
Accounting for the triaxial shapes of galaxy clusters will become important in the context of upcoming cosmological surveys. We show that, compared to the gas density distribution, the cluster gravitational potential can be better characterised by a simple 3D model and is more robust against fluctuations. Perturbations in the gas density distribution can have a substantial influence on the derived…
▽ More
Accounting for the triaxial shapes of galaxy clusters will become important in the context of upcoming cosmological surveys. We show that, compared to the gas density distribution, the cluster gravitational potential can be better characterised by a simple 3D model and is more robust against fluctuations. Perturbations in the gas density distribution can have a substantial influence on the derived thermodynamic properties, while cluster potentials are smooth and well-approximated by a spheroidal model. We use a statistical sample of 85 galaxy clusters from a large cosmological hydrodynamical simulation to investigate cluster shapes as a function of radius. In particular, we examine the shape of isodensity and isopotential shells and analyze how it is affected by the choice of component (gas vs. potential), substructure removal (for the gas density) and the definition of the computation domain (interior vs. shells). We find that the orientation and axis ratios of gas isodensity contours are degenerate with the presence of substructures and unstable against fluctuations. We observe that, as the derived cluster shape depends on the method used for removing the substructures, thermodynamic properties extracted from e.g. X-ray emissivity profiles suffer from this additional, often underestimated bias. In contrast, the shape reconstruction of the potential is largely unaffected by these factors and converges towards simple geometric models for both relaxed and dynamically active clusters. The observation that cluster potentials are better represented by simple geometrical models and reconstructed with a low level of systematics for both dynamically active and relaxed clusters suggests that by characterising galaxy clusters by their potential rather than by their mass, dynamically active and relaxed clusters could be combined in cosmological studies, improving statistics and lowering scatter.
△ Less
Submitted 2 February, 2022; v1 submitted 24 December, 2020;
originally announced December 2020.
-
Characterizing galaxy clusters by their gravitational potential: systematics of cluster potential reconstruction
Authors:
C. Tchernin,
E. T. Lau,
S. Stapelberg,
D. Hug,
M. Bartelmann
Abstract:
Context. Biases in mass measurements of galaxy clusters are one of the major limiting systematics in constraining cosmology with clusters. Aims. We aim to demonstrate that the systematics associated with cluster gravitational potentials are smaller than the hydrostatic mass bias and that cluster potentials could therefore be a good alternative to cluster masses in cosmological studies. Methods. Us…
▽ More
Context. Biases in mass measurements of galaxy clusters are one of the major limiting systematics in constraining cosmology with clusters. Aims. We aim to demonstrate that the systematics associated with cluster gravitational potentials are smaller than the hydrostatic mass bias and that cluster potentials could therefore be a good alternative to cluster masses in cosmological studies. Methods. Using cosmological simulations of galaxy clusters, we compute the biases in the hydrostatic mass (HE mass) and those in the gravitational potential, reconstructed from measurements at X-ray and millimeter wavelengths. In particular, we investigate the effects of the presence of substructures and of non-thermal pressure support on both the HE mass and the reconstructed potential. Results. We find that the bias in the reconstructed potential (6%) is less than that of the HE mass (13%), and that the scatter in the reconstructed potential decreases by about 35% with respect to that in the HE mass. Conclusions. This study shows that characterizing galaxy clusters by their gravitational potential is a promising alternative to using cluster masses in cluster cosmology.
△ Less
Submitted 3 August, 2020;
originally announced August 2020.
-
Characterizing digital microstructures by the Minkowski-based quadratic normal tensor
Authors:
Felix Ernesti,
Matti Schneider,
Steffen Winter,
Daniel Hug,
Günter Last,
Thomas Böhlke
Abstract:
For material modeling of microstructured media, an accurate characterization of the underlying microstructure is indispensable. Mathematically speaking, the overall goal of microstructure characterization is to find simple functionals which describe the geometric shape as well as the composition of the microstructures under consideration, and enable distinguishing microstructures with distinct eff…
▽ More
For material modeling of microstructured media, an accurate characterization of the underlying microstructure is indispensable. Mathematically speaking, the overall goal of microstructure characterization is to find simple functionals which describe the geometric shape as well as the composition of the microstructures under consideration, and enable distinguishing microstructures with distinct effective material behavior. For this purpose, we propose using Minkowski tensors, in general, and the quadratic normal tensor, in particular, and introduce a computational algorithm applicable to voxel-based microstructure representations. Rooted in the mathematical field of integral geometry, Minkowski tensors associate a tensor to rather general geometric shapes, which make them suitable for a wide range of microstructured material classes. Furthermore, they satisfy additivity and continuity properties, which makes them suitable and robust for large-scale applications. We present a modular algorithm for computing the quadratic normal tensor of digital microstructures. We demonstrate multigrid convergence for selected numerical examples and apply our approach to a variety of microstructures. Strikingly, the presented algorithm remains unaffected by inaccurate computation of the interface area. The quadratic normal tensor may be used for engineering purposes, such as mean-field homogenization or as target value for generating synthetic microstructures.
△ Less
Submitted 30 July, 2020;
originally announced July 2020.
-
Threshold phenomena for random cones
Authors:
Daniel Hug,
Rolf Schneider
Abstract:
We consider an even probability distribution on the $d$-dimensional Euclidean space with the property that it assigns measure zero to any hyperplane through the origin. Given $N$ independent random vectors with this distribution, under the condition that they do not positively span the whole space, the positive hull of these vectors is a random polyhedral cone (and its intersection with the unit s…
▽ More
We consider an even probability distribution on the $d$-dimensional Euclidean space with the property that it assigns measure zero to any hyperplane through the origin. Given $N$ independent random vectors with this distribution, under the condition that they do not positively span the whole space, the positive hull of these vectors is a random polyhedral cone (and its intersection with the unit sphere is a random spherical polytope). It was first studied by Cover and Efron. We consider the expected face numbers of these random cones and describe a threshold phenomenon when the dimension $d$ and the number $N$ of random vectors tend to infinity. In a similar way, we treat the solid angle, and more generally the Grassmann angles. We further consider the expected numbers of $k$-faces and of Grassmann angles of index $d-k$ when also $k$ tends to infinity.
△ Less
Submitted 23 December, 2020; v1 submitted 23 April, 2020;
originally announced April 2020.
-
Strengthened inequalities for the mean width and the $\ell$-norm
Authors:
Károly J. Böröczky,
Ferenc Fodor,
Daniel Hug
Abstract:
Barthe proved that the regular simplex maximizes the mean width of convex bodies whose John ellipsoid (maximal volume ellipsoid contained in the body) is the Euclidean unit ball; or equivalently, the regular simplex maximizes the $\ell$-norm of convex bodies whose Löwner ellipsoid (minimal volume ellipsoid containing the body) is the Euclidean unit ball. Schmuckenschläger verified the reverse stat…
▽ More
Barthe proved that the regular simplex maximizes the mean width of convex bodies whose John ellipsoid (maximal volume ellipsoid contained in the body) is the Euclidean unit ball; or equivalently, the regular simplex maximizes the $\ell$-norm of convex bodies whose Löwner ellipsoid (minimal volume ellipsoid containing the body) is the Euclidean unit ball. Schmuckenschläger verified the reverse statement; namely, the regular simplex minimizes the mean width of convex bodies whose Löwner ellipsoid is the Euclidean unit ball. Here we prove stronger stability versions of these results. We also consider related stability results for the mean width and the $\ell$-norm of the convex hull of the support of centered isotropic measures on the unit sphere.
△ Less
Submitted 29 January, 2020;
originally announced January 2020.
-
Integral geometry of pairs of hyperplanes or lines
Authors:
Daniel Hug,
Rolf Schneider
Abstract:
Crofton's formula of integral geometry evaluates the total motion invariant measure of the set of $k$-dimensional planes having nonempty intersection with a given convex body. This note deals with motion invariant measures on sets of pairs of hyperplanes or lines meeting a convex body. Particularly simple results are obtained if, and only if, the given body is of constant width in the first case,…
▽ More
Crofton's formula of integral geometry evaluates the total motion invariant measure of the set of $k$-dimensional planes having nonempty intersection with a given convex body. This note deals with motion invariant measures on sets of pairs of hyperplanes or lines meeting a convex body. Particularly simple results are obtained if, and only if, the given body is of constant width in the first case, and of constant brightness in the second case.
△ Less
Submitted 26 November, 2019;
originally announced November 2019.
-
Does a central limit theorem hold for the $k$-skeleton of Poisson hyperplanes in hyperbolic space?
Authors:
Felix Herold,
Daniel Hug,
Christoph Thähle
Abstract:
Poisson processes in the space of $(d-1)$-dimensional totally geodesic subspaces (hyperplanes) in a $d$-dimensional hyperbolic space of constant curvature $-1$ are studied. The $k$-dimensional Hausdorff measure of their $k$-skeleton is considered. Explicit formulas for first- and second-order quantities restricted to bounded observation windows are obtained. The central limit problem for the $k$-d…
▽ More
Poisson processes in the space of $(d-1)$-dimensional totally geodesic subspaces (hyperplanes) in a $d$-dimensional hyperbolic space of constant curvature $-1$ are studied. The $k$-dimensional Hausdorff measure of their $k$-skeleton is considered. Explicit formulas for first- and second-order quantities restricted to bounded observation windows are obtained. The central limit problem for the $k$-dimensional Hausdorff measure of the $k$-skeleton is approached in two different set-ups: (i) for a fixed window and growing intensities, and (ii) for fixed intensity and growing spherical windows. While in case (i) the central limit theorem is valid for all $d\geq 2$, it is shown that in case (ii) the central limit theorem holds for $d\in\{2,3\}$ and fails if $d\geq 4$ and $k=d-1$ or if $d\geq 7$ and for general $k$. Also rates of convergence are studied and multivariate central limit theorems are obtained. Moreover, the situation in which the intensity and the spherical window are growing simultaneously is discussed. In the background are the Malliavin-Stein method for normal approximation and the combinatorial moment structure of Poisson U-statistics as well as tools from hyperbolic integral geometry.
△ Less
Submitted 5 November, 2019;
originally announced November 2019.
-
A reverse Minkowski-type inequality
Authors:
Daniel Hug,
Károly Böröczky
Abstract:
The famous Minkowski inequality provides a sharp lower bound for the mixed volume $V(K,M[n-1])$ of two convex bodies $K,M\subset\mathbb{R}^n$ in terms of powers of the volumes of the individual bodies $K$ and $M$. The special case where $K$ is the unit ball yields the isoperimetric inequality. In the plane, Betke and Weil (1991) found a sharp upper bound for the mixed area of $K$ and $M$ in terms…
▽ More
The famous Minkowski inequality provides a sharp lower bound for the mixed volume $V(K,M[n-1])$ of two convex bodies $K,M\subset\mathbb{R}^n$ in terms of powers of the volumes of the individual bodies $K$ and $M$. The special case where $K$ is the unit ball yields the isoperimetric inequality. In the plane, Betke and Weil (1991) found a sharp upper bound for the mixed area of $K$ and $M$ in terms of the perimeters of $K$ and $M$. We extend this result to general dimensions by proving a sharp upper bound for the mixed volume $V(K,M[n-1])$ in terms of the mean width of $K$ and the surface area of $M$. The equality case is completely characterized. In addition, we establish a stability improvement of this and related geometric inequalities of isoperimetric type.
△ Less
Submitted 3 December, 2020; v1 submitted 2 September, 2019;
originally announced September 2019.
-
Poisson hyperplane processes and approximation of convex bodies
Authors:
Daniel Hug,
Rolf Schneider
Abstract:
A natural model for the approximation of a convex body $K$ in $\mathbb{R}^d$ by random polytopes is obtained as follows. Take a stationary Poisson hyperplane process in the space, and consider the random polytope $Z_K$ defined as the intersection of all closed halfspaces containing $K$ that are bounded by hyperplanes of the process not intersecting $K$. If $f$ is a functional on convex bodies, the…
▽ More
A natural model for the approximation of a convex body $K$ in $\mathbb{R}^d$ by random polytopes is obtained as follows. Take a stationary Poisson hyperplane process in the space, and consider the random polytope $Z_K$ defined as the intersection of all closed halfspaces containing $K$ that are bounded by hyperplanes of the process not intersecting $K$. If $f$ is a functional on convex bodies, then for increasing intensities of the process, the expectation of the difference $f(Z_K)-f(K)$ may or may not converge to zero. If it does, then the order of convergence and possible limit relations are of interest. We study these questions if $f$ is either the hitting functional or the mean width.
△ Less
Submitted 26 August, 2019;
originally announced August 2019.
-
General volumes in the Orlicz-Brunn-Minkowski theory and a related Minkowski Problem II
Authors:
Richard J. Gardner,
Daniel Hug,
Sudan Xing,
Deping Ye
Abstract:
The general dual volume $\dveV(K)$ and the general dual Orlicz curvature measure $\deV(K, \cdot)$ were recently introduced for functions $G: (0, \infty)\times \sphere\rightarrow (0, \infty)$ and convex bodies $K$ in $\R^n$ containing the origin in their interiors. We extend $\dveV(K)$ and $\deV(K, \cdot)$ to more general functions $G: [0, \infty)\times \sphere\rightarrow [0, \infty)$ and to compac…
▽ More
The general dual volume $\dveV(K)$ and the general dual Orlicz curvature measure $\deV(K, \cdot)$ were recently introduced for functions $G: (0, \infty)\times \sphere\rightarrow (0, \infty)$ and convex bodies $K$ in $\R^n$ containing the origin in their interiors. We extend $\dveV(K)$ and $\deV(K, \cdot)$ to more general functions $G: [0, \infty)\times \sphere\rightarrow [0, \infty)$ and to compact convex sets $K$ containing the origin (but not necessarily in their interiors). Some basic properties of the general dual volume and of the dual Orlicz curvature measure, such as the continuous dependence on the underlying set, are provided. These are required to study a Minkowski-type problem for the dual Orlicz curvature measure. We mainly focus on the case when $G$ and $ψ$ are both increasing, thus complementing our previous work.
The Minkowski problem asks to characterize Borel measures $μ$ on $\sphere$ for which there is a convex body $K$ in $\R^n$ containing the origin such that $μ$ equals $\deV(K, \cdot)$, up to a constant. A major step in the analysis concerns discrete measures $μ$, for which we prove the existence of convex polytopes containing the origin in their interiors solving the Minkowski problem. For general (not necessarily discrete) measures $μ$, we use an approximation argument. This approach is also applied to the case where $G$ is decreasing and $ψ$ is increasing, and hence augments our previous work. When the measures $μ$ are even, solutions that are origin-symmetric convex bodies are also provided under some mild conditions on $G$ and $ψ$. Our results generalize several previous works and provide more precise information about the solutions of the Minkowski problem when $μ$ is discrete or even.
△ Less
Submitted 25 September, 2018;
originally announced September 2018.
-
Splitting tessellations in spherical spaces
Authors:
Daniel Hug,
Christoph Thaele
Abstract:
The concept of splitting tessellations and splitting tessellation processes in spherical spaces of dimension $d\geq 2$ is introduced. Expectations, variances and covariances of spherical curvature measures induced by a splitting tessellation are studied using tools from spherical integral geometry. Also the spherical pair-correlation function of the $(d-1)$-dimensional Hausdorff measure is compute…
▽ More
The concept of splitting tessellations and splitting tessellation processes in spherical spaces of dimension $d\geq 2$ is introduced. Expectations, variances and covariances of spherical curvature measures induced by a splitting tessellation are studied using tools from spherical integral geometry. Also the spherical pair-correlation function of the $(d-1)$-dimensional Hausdorff measure is computed explicitly and compared to its analogue for Poisson great hypersphere tessellations. Finally, the typical cell distribution and the distribution of the typical spherical maximal face of any dimension $k\in\{1,\ldots,d-1\}$ are expressed as mixtures of the related distributions of Poisson great hypersphere tessellations. This in turn is used to determine the expected length and the precise birth time distribution of the typical maximal spherical segment of a splitting tessellation.
△ Less
Submitted 30 November, 2018; v1 submitted 23 April, 2018;
originally announced April 2018.
-
General volumes in the Orlicz-Brunn-Minkowski theory and a related Minkowski Problem I
Authors:
Richard J. Gardner,
Daniel Hug,
Wolfgang Weil,
Sudan Xing,
Deping Ye
Abstract:
The general volume of a star body, a notion that includes the usual volume, the $q$th dual volumes, and many previous types of dual mixed volumes, is introduced. A corresponding new general dual Orlicz curvature measure is defined that specializes to the $(p,q)$-dual curvature measures introduced recently by Lutwak, Yang, and Zhang. General variational formulas are established for the general volu…
▽ More
The general volume of a star body, a notion that includes the usual volume, the $q$th dual volumes, and many previous types of dual mixed volumes, is introduced. A corresponding new general dual Orlicz curvature measure is defined that specializes to the $(p,q)$-dual curvature measures introduced recently by Lutwak, Yang, and Zhang. General variational formulas are established for the general volume of two types of Orlicz linear combinations. One of these is applied to the Minkowski problem for the new general dual Orlicz curvature measure, giving in particular a solution to the Minkowski problem posed by Lutwak, Yang, and Zhang for the $(p,q)$-dual curvature measures when $p>0$ and $q<0$. A dual Orlicz-Brunn-Minkowski inequality for general volumes is obtained, as well as dual Orlicz-Minkowski-type inequalities and uniqueness results for star bodies. Finally, a very general Minkowski-type inequality, involving two Orlicz functions, two convex bodies, and a star body, is proved, that includes as special cases several others in the literature, in particular one due to Lutwak, Yang, and Zhang for the $(p,q)$-mixed volume.
△ Less
Submitted 4 March, 2018; v1 submitted 26 February, 2018;
originally announced February 2018.
-
Integral geometric formulae for Minkowski tensors
Authors:
Daniel Hug,
Jan A. Weis
Abstract:
The Minkowski tensors are the natural tensor-valued generalizations of the intrinsic volumes of convex bodies. We prove two complete sets of integral geometric formulae, so called kinematic and Crofton formulae, for these Minkowski tensors. These formulae express the integral mean of the Minkowski tensors of the intersection of a given convex body with a second geometric object (another convex bod…
▽ More
The Minkowski tensors are the natural tensor-valued generalizations of the intrinsic volumes of convex bodies. We prove two complete sets of integral geometric formulae, so called kinematic and Crofton formulae, for these Minkowski tensors. These formulae express the integral mean of the Minkowski tensors of the intersection of a given convex body with a second geometric object (another convex body in the kinematic case and an affine subspace in the Crofton case) which is uniformly moved by a proper rigid motion, in terms of linear combinations of the Minkowski tensors of the given geometric objects.
△ Less
Submitted 27 December, 2017;
originally announced December 2017.
-
Determination of Boolean models by mean values of mixed volumes
Authors:
Daniel Hug,
Wolfgang Weil
Abstract:
In Weil (2001) formulas were proved for stationary Boolean models $Z$ in $\mathbb{R}^d$ with convex or polyconvex grains, which express the densities of mixed volumes of $Z$ in terms of related mean values of the underlying Poisson particle process $X$. These formulas were then used to show that in dimensions 2 and 3 the mean values of $Z$ determine the intensity $γ$ of $X$. For $d=4$ a correspond…
▽ More
In Weil (2001) formulas were proved for stationary Boolean models $Z$ in $\mathbb{R}^d$ with convex or polyconvex grains, which express the densities of mixed volumes of $Z$ in terms of related mean values of the underlying Poisson particle process $X$. These formulas were then used to show that in dimensions 2 and 3 the mean values of $Z$ determine the intensity $γ$ of $X$. For $d=4$ a corresponding result was also stated, but the proof given was incomplete, since in the formula for the mean Euler characteristic $\overline V_0 (Z)$ a term $\overline V^{(0)}_{2,2}(X,X)$ was missing. This was pointed out in Goodey and Weil (2002), where it was also explained that a new decomposition result for mixed volumes and mixed translative functionals would be needed to complete the proof.
Such a general decomposition result is now available based on flag measures of the convex bodies involved (Hug, Rataj and Weil (2013, 2017)). Here, we show that such flag representations not only lead to a correct derivation of the 4-dimensional result but even yield a corresponding uniqueness theorem in all dimensions. In the proof of the latter, we make use of Alesker's representation theorem for translation invariant valuations. We also discuss which shape information can be obtained in this way and comment on the situation in the non-stationary case.
△ Less
Submitted 21 December, 2017;
originally announced December 2017.
-
Geometric inequalities, stability results and Kendall's problem in spherical space
Authors:
Daniel Hug,
Andreas Reichenbacher
Abstract:
In Euclidean space, the asymptotic shape of large cells in various types of Poisson driven random tessellations has been the subject of a famous conjecture due to David Kendall. Since shape is a geometric concept and large cells are identified by means of geometric size functionals, the resolution of the conjecture is inevitably connected with geometric inequalities of isoperimetric type and their…
▽ More
In Euclidean space, the asymptotic shape of large cells in various types of Poisson driven random tessellations has been the subject of a famous conjecture due to David Kendall. Since shape is a geometric concept and large cells are identified by means of geometric size functionals, the resolution of the conjecture is inevitably connected with geometric inequalities of isoperimetric type and their improvements in the form of geometric stability results, relating geometric size functionals and hitting functionals. The latter are deterministic characteristics of the underlying random tessellation. The current work explores specific and typical cells of random tessellations in spherical space. A key ingredient of our approach are new geometric inequalities and quantitative strengthenings in terms of stability results for quite general and some specific size and hitting functionals of spherically convex bodies. As a consequence we obtain probabilistic deviation inequalities and asymptotic distributions of quite general size functionals. In contrast to the Euclidean setting, where the asymptotic regime concerns large size, in the spherical framework the asymptotic analysis is concerned with high intensities.
△ Less
Submitted 19 September, 2017;
originally announced September 2017.
-
Flag representations of mixed volumes and mixed functionals of convex bodies
Authors:
Daniel Hug,
Jan Rataj,
Wolfgang Weil
Abstract:
Mixed volumes $V(K_1,\dots, K_d)$ of convex bodies $K_1,\dots ,K_d$ in Euclidean space $\mathbb{R}^d$ are of central importance in the Brunn-Minkowski theory. Representations for mixed volumes are available in special cases, for example as integrals over the unit sphere with respect to mixed area measures. More generally, in Hug-Rataj-Weil (2013) a formula for $V(K [n], M[d-n])$,…
▽ More
Mixed volumes $V(K_1,\dots, K_d)$ of convex bodies $K_1,\dots ,K_d$ in Euclidean space $\mathbb{R}^d$ are of central importance in the Brunn-Minkowski theory. Representations for mixed volumes are available in special cases, for example as integrals over the unit sphere with respect to mixed area measures. More generally, in Hug-Rataj-Weil (2013) a formula for $V(K [n], M[d-n])$, $n\in \{1,\dots ,d-1\}$, as a double integral over flag manifolds was established which involved certain flag measures of the convex bodies $K$ and $M$ (and required a general position of the bodies). In the following, we discuss the general case $V(K_1[n_1],\dots , K_k[n_k])$, $n_1+\cdots +n_k=d$, and show a corresponding result involving the flag measures $Ω_{n_1}(K_1;\cdot),\dots, Ω_{n_k}(K_k;\cdot)$. For this purpose, we first establish a curvature representation of mixed volumes over the normal bundles of the bodies involved.
We also obtain a corresponding flag representation for the mixed functionals from translative integral geometry and a local version, for mixed (translative) curvature measures.
△ Less
Submitted 19 September, 2017; v1 submitted 13 May, 2017;
originally announced May 2017.
-
Anisotropic Etching of Graphite and Graphene in a Remote Hydrogen Plasma
Authors:
Dorothee Hug,
Simon Zihlmann,
Mirko K. Rehmann,
Yemliha B. Kalyoncu,
Timothy N. Camenzind,
Laurent Marot,
Kenji Watanabe,
Takashi Taniguchi,
Dominik M. Zumbühl
Abstract:
We investigate the etching of a pure hydrogen plasma on graphite samples and graphene flakes on SiO$_2$ and hexagonal Boron-Nitride (hBN) substrates. The pressure and distance dependence of the graphite exposure experiments reveals the existence of two distinct plasma regimes: the direct and the remote plasma regime. Graphite surfaces exposed directly to the hydrogen plasma exhibit numerous etch p…
▽ More
We investigate the etching of a pure hydrogen plasma on graphite samples and graphene flakes on SiO$_2$ and hexagonal Boron-Nitride (hBN) substrates. The pressure and distance dependence of the graphite exposure experiments reveals the existence of two distinct plasma regimes: the direct and the remote plasma regime. Graphite surfaces exposed directly to the hydrogen plasma exhibit numerous etch pits of various size and depth, indicating continuous defect creation throughout the etching process. In contrast, anisotropic etching forming regular and symmetric hexagons starting only from preexisting defects and edges is seen in the remote plasma regime, where the sample is located downstream, outside of the glowing plasma. This regime is possible in a narrow window of parameters where essentially all ions have already recombined, yet a flux of H-radicals performing anisotropic etching is still present. At the required process pressures, the radicals can recombine only on surfaces, not in the gas itself. Thus, the tube material needs to exhibit a sufficiently low H radical recombination coefficient, such a found for quartz or pyrex. In the remote regime, we investigate the etching of single layer and bilayer graphene on SiO$_2$ and hBN substrates. We find isotropic etching for single layer graphene on SiO$_2$, whereas we observe highly anisotropic etching for graphene on a hBN substrate. For bilayer graphene, anisotropic etching is observed on both substrates. Finally, we demonstrate the use of artificial defects to create well defined graphene nanostructures with clean crystallographic edges.
△ Less
Submitted 14 March, 2017;
originally announced March 2017.
-
Crofton formulae for tensorial curvature measures: the general case
Authors:
Daniel Hug,
Jan A. Weis
Abstract:
The tensorial curvature measures are tensor-valued generalizations of the curvature measures of convex bodies. On convex polytopes, there exist further generalizations some of which also have continuous extensions to arbitrary convex bodies. In a previous work, we obtained kinematic formulae for all (generalized) tensorial curvature measures. As a consequence of these results, we now derive a comp…
▽ More
The tensorial curvature measures are tensor-valued generalizations of the curvature measures of convex bodies. On convex polytopes, there exist further generalizations some of which also have continuous extensions to arbitrary convex bodies. In a previous work, we obtained kinematic formulae for all (generalized) tensorial curvature measures. As a consequence of these results, we now derive a complete system of Crofton formulae for such (generalized) tensorial curvature measures. These formulae express the integral mean of the (generalized) tensorial curvature measures of the intersection of a given convex body (resp. polytope, or finite unions thereof) with a uniform affine $k$-flat in terms of linear combinations of (generalized) tensorial curvature measures of the given convex body (resp. polytope, or finite unions thereof). The considered generalized tensorial curvature measures generalize those studied formerly in the context of Crofton-type formulae, and the coefficients involved in these results are substantially less technical and structurally more transparent than in previous works. Finally, we prove that essentially all generalized tensorial curvature measures on convex polytopes are linearly independent. In particular, this implies that the Crofton formulae which we prove in this contribution cannot be simplified further.
△ Less
Submitted 21 March, 2017; v1 submitted 28 December, 2016;
originally announced December 2016.
-
Kinematic formulae for tensorial curvature measures
Authors:
Daniel Hug,
Jan A. Weis
Abstract:
Tensorial curvature measures are tensor-valued generalizations of the curvature measures of convex bodies. We prove a complete set of kinematic formulae for such tensorial curvature measures on convex bodies and for their (nonsmooth) generalizations on convex polytopes. These formulae express the integral mean of the tensorial curvature measure of the intersection of two given convex bodies (resp.…
▽ More
Tensorial curvature measures are tensor-valued generalizations of the curvature measures of convex bodies. We prove a complete set of kinematic formulae for such tensorial curvature measures on convex bodies and for their (nonsmooth) generalizations on convex polytopes. These formulae express the integral mean of the tensorial curvature measure of the intersection of two given convex bodies (resp.~polytopes), one of which is uniformly moved by a proper rigid motion, in terms of linear combinations of tensorial curvature measures of the given convex bodies (resp.~polytopes). We prove these results in a more direct way than in the classical proof of the principal kinematic formula for curvature measures, which uses the connection to Crofton formulae to determine the involved constants explicitly.
△ Less
Submitted 26 December, 2016;
originally announced December 2016.
-
An inclusion-exclusion identity for normal cones of polyhedral sets
Authors:
Daniel Hug,
Zakhar Kabluchko
Abstract:
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 everywhe…
▽ More
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.
△ Less
Submitted 26 December, 2016; v1 submitted 23 December, 2016;
originally announced December 2016.
-
Strengthened volume inequalities for L_p zonoids of even isotropic measures
Authors:
Karoly J. Boroczky,
Ferenc Fodor,
Daniel Hug
Abstract:
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 is…
▽ More
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.
△ Less
Submitted 2 September, 2016; v1 submitted 25 August, 2016;
originally announced August 2016.
-
Rotation covariant local tensor valuations on convex bodies
Authors:
Daniel Hug,
Rolf Schneider
Abstract:
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 isomet…
▽ More
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.
△ Less
Submitted 31 August, 2016; v1 submitted 20 June, 2016;
originally announced June 2016.
-
Crofton Formulae for Tensor-Valued Curvature Measures
Authors:
Daniel Hug,
Jan A. Weis
Abstract:
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…
▽ More
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.
△ Less
Submitted 14 July, 2016; v1 submitted 16 June, 2016;
originally announced June 2016.
-
Mixed curvature measures of translative integral geometry
Authors:
Daniel Hug,
Jan Rataj
Abstract:
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 fixe…
▽ More
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.
△ Less
Submitted 14 June, 2016;
originally announced June 2016.
-
${\rm SO}(n)$ covariant local tensor valuations on polytopes
Authors:
Daniel Hug,
Rolf Schneider
Abstract:
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…
▽ More
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.
△ Less
Submitted 3 May, 2016;
originally announced May 2016.
-
Monotonicity and concavity of integral functionals involving area measures of convex bodies
Authors:
Andrea Colesanti,
Daniel Hug,
Eugenia Saorín-Gómez
Abstract:
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…
▽ More
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.
△ Less
Submitted 18 February, 2016;
originally announced February 2016.
-
Second order analysis of geometric functionals of Boolean models
Authors:
Daniel Hug,
Michael A. Klatt,
Günter Last,
Matthias Schulte
Abstract:
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…
▽ More
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.
△ Less
Submitted 2 February, 2016; v1 submitted 25 January, 2016;
originally announced January 2016.
-
Voronoi-based estimation of Minkowski tensors from finite point samples
Authors:
Daniel Hug,
Markus Kiderlen,
Anne Marie Svane
Abstract:
Intrinsic volumes and Minkowski tensors have been used to describe the geometry of real world objects. This paper presents an estimator that allows to approximate these quantities from digital images. It is based on a generalized Steiner formula for Minkowski tensors of sets of positive reach. When the resolution goes to infinity, the estimator converges to the true value if the underlying object…
▽ More
Intrinsic volumes and Minkowski tensors have been used to describe the geometry of real world objects. This paper presents an estimator that allows to approximate these quantities from digital images. It is based on a generalized Steiner formula for Minkowski tensors of sets of positive reach. When the resolution goes to infinity, the estimator converges to the true value if the underlying object is a set of positive reach. The underlying algorithm is based on a simple expression in terms of the cells of a Voronoi decomposition associated with the image.
△ Less
Submitted 22 January, 2017; v1 submitted 7 November, 2015;
originally announced November 2015.
-
Random conical tessellations
Authors:
Daniel Hug,
Rolf Schneider
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 ex…
▽ More
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.
△ Less
Submitted 30 April, 2016; v1 submitted 31 August, 2015;
originally announced August 2015.
-
Kinematic formulas for area measures
Authors:
Paul Goodey,
Daniel Hug,
Wolfgang Weil
Abstract:
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 originati…
▽ More
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.
△ Less
Submitted 13 July, 2015;
originally announced July 2015.
-
Random points in halfspheres
Authors:
Imre Bárány,
Daniel Hug,
Matthias Reitzner,
Rolf Schneider
Abstract:
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…
▽ More
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.
△ Less
Submitted 18 May, 2015;
originally announced May 2015.
-
A flag representation of projection functions
Authors:
Paul Goodey,
Wolfram Hinderer,
Daniel Hug,
Jan Rataj,
Wolfgang Weil
Abstract:
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…
▽ More
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$.
△ Less
Submitted 24 February, 2015;
originally announced February 2015.
-
Hölder continuity for support measures of convex bodies
Authors:
Daniel Hug,
Rolf Schneider
Abstract:
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 convergenc…
▽ More
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.
△ Less
Submitted 25 January, 2015;
originally announced January 2015.