Motivated from Gaussian processes, we derive the intrinsic volumes of the infinite--dimensional Brownian motion body. The method is by discretization to a class of orthoschemes. Numerical support is offered for a conjecture of Sangwine-Yager, and another conjecture is offered on the rate of decay of intrinsic volume sequences.
Let K be the convex hull of the path of a standard brownian motion B(t) in R^n, taken at time 0 < t < 1. We derive formulas for the expected volume and surface area of K. Moreover, we show that in order to approximate K by a discrete version of K, namely by the convex hull of a random walk attained by taking B(t_n) at discrete (random) times, the number of steps that one should take in order for the volume of the difference to be relatively small is of order n^3. Next, we show that the distribution of facets of K is in some sense scale invariant: for any given family of simplices (satisfying s…
A formula due to Sudakov relates the first intrinsic volume of a convex set in a Hilbert space to the maximum of the isonormal Gaussian process over this set. Using this formula we compute the first intrinsic volumes of infinite-dimensional convex compact sets including unit balls with respect to Sobolev-type seminorms and ellipsoids in the Hilbert space. We relate the distribution of the random one-dimensional projections of these sets to the distributions $S_1,S_2,C_1,C_2$ studied by Biane, Pitman, Yor [Bull.\ AMS 38 (2001)]. We show that the $k$-th intrinsic volume of the set of all functio…
Short and transparent proofs of central limit theorems for intrinsic volumes of random polytopes in smooth convex bodies are presented. They combine different tools such as estimates for floating bodies with Stein's method from probability theory.
The intrinsic volumes of Gaussian polytopes are considered. A lower variance bound for these quantities is proved, showing that, under suitable normalization, the variances converge to strictly positive limits. The implications of this missing piece of the jigsaw in the theory of Gaussian polytopes are discussed.
Let $K$ be a $d$ dimensional convex body with a twice continuously differentiable boundary and everywhere positive Gauss-Kronecker curvature. Denote by $K_n$ the convex hull of $n$ points chosen randomly and independently from $K$ according to the uniform distribution. Matching lower and upper bounds are obtained for the orders of magnitude of the variances of the $s$-th intrinsic volumes $V_s(K_n)$ of $K_n$ for $s\in\{1, ..., d\}$. Furthermore, strong laws of large numbers are proved for the intrinsic volumes of $K_n$. The essential tools are the Economic Cap Covering Theorem of Bárány and La…
The intrinsic volumes are measures of the content of a convex body. This paper uses probabilistic and information-theoretic methods to study the sequence of intrinsic volumes of a convex body. The main result states that the intrinsic volume sequence concentrates sharply around a specific index, called the central intrinsic volume. Furthermore, among all convex bodies whose central intrinsic volume is fixed, an appropriately scaled cube has the intrinsic volume sequence with maximum entropy.
We deduce explicit formulae for the intrinsic volumes of an ellipsoid in $\mathbb R^d$, $d\ge 2$, in terms of elliptic integrals. Namely, for an ellipsoid ${\mathcal E}\subset \mathbb R^d$ with semiaxes $a_1,\ldots, a_d$ we show that \begin{align*} V_k({\mathcal E})=κ_k\sum_{i=1}^da_i^2s_{k-1}(a_1^2,\dots,a_{i-1}^2,a_{i+1}^2,\dots,a_d^2)\int_0^{\infty}{t^{k-1}\over(a_i^2t^2+1)\prod_{j=1}^d\sqrt{a_j^2t^2+1}}\,\rm{d}t \end{align*} for all $k=1,\ldots,d$, where $s_{k-1}$ is the $(k-1)$-th elementary symmetric polynomial and $κ_k$ is the volume of the $k$-dimensional unit ball. Some examples of th…
A new intrinsic volume metric is introduced for the class of convex bodies in $\mathbb{R}^n$. As an application, an inequality is proved for the asymptotic best approximation of the Euclidean unit ball by arbitrarily positioned polytopes with a restricted number of vertices under this metric. This result improves the best known estimate, and shows that dropping the restriction that the polytope is contained in the ball or vice versa improves the estimate by at least a factor of dimension. The same phenomenon has already been observed in the special cases of volume, surface area and mean width …
We give a new, direct proof of the formulas for the conic intrinsic volumes of the Weyl chambers of types $A_{n-1}, B_n$ and $D_n$. These formulas express the conic intrinsic volumes in terms of the Stirling numbers of the first kind and their $B$- and $D$-analogues. The proof involves an explicit determination of the internal and external angles of the faces of the Weyl chambers.
Let $\mathcal{E}$ be an ellipsoid in $\mathbb{R}^n$. A. Gusakova and D. Zaporozhets conjectured that $\mathcal{E}$ is uniquely (up to rigid motions) determined by its intrinsic volumes. We prove this conjecture for $n = 3$.
Consider random shadows of a cube and of a regular tetrahedron. Area and perimeter of the former are positively dependent (with correlation 0.915...), whereas area and perimeter of the latter appear to be negatively dependent. This is only one result of many, all involving generalizations of mean width.
Let $K$ be a convex body in $\R^d$, let $j\in\{1, ..., d-1\}$, and let $\varrho$ be a positive and continuous probability density function with respect to the $(d-1)$-dimensional Hausdorff measure on the boundary $\partial K$ of $K$. Denote by $K_n$ the convex hull of $n$ points chosen randomly and independently from $\partial K$ according to the probability distribution determined by $\varrho$. For the case when $\partial K$ is a $C^2$ submanifold of $\R^d$ with everywhere positive Gauss curvature, M. Reitzner proved an asymptotic formula for the expectation of the difference of the $j$th int…
The intrinsic volumes of a convex cone are geometric functionals that return basic structural information about the cone. Recent research has demonstrated that conic intrinsic volumes are valuable for understanding the behavior of random convex optimization problems. This paper develops a systematic technique for studying conic intrinsic volumes using methods from probability. At the heart of this approach is a general Steiner formula for cones. This result converts questions about the intrinsic volumes into questions about the projection of a Gaussian random vector onto the cone, which can th…
For a convex lattice polytope $P\subset \mathbb R^d$ of dimension $d$ with vertices in $\mathbb Z^d$, denote by $L(P)$ its discrete volume which is defined as the number of integer points inside $P$. The classical result due to Ehrhart says that for a positive integer $n$, the function $L(nP)$ is a polynomial in $n$ of degree $d$ whose leading coefficient is the volume of $P$. In particular, $L(nP)$ approximates the volume of $nP$ for large $n$. In convex geometry, one of the central notion which generalizes the volume is the intrinsic volumes. The main goal of this paper is to introduce their…
We prove the validity of the $p$-Brunn-Minkowski inequality for the intrinsic volume $V_k$, $k=2,\dots, n-1$, of convex bodies in $\mathbb{R}^n$, in a neighborhood of the unit ball, for $0\le p<1$. We also prove that this inequality does not hold true on the entire class of convex bodies of $\mathbb{R}^n$, when $p$ is sufficiently close to $0$.
We establish estimates for the asymptotic best approximation of the Euclidean unit ball by polytopes under a notion of distance induced by the intrinsic volumes. We also introduce a notion of distance between convex bodies that is induced by the Wills functional, and apply it to derive asymptotically sharp bounds for approximating the ball in high dimensions. Remarkably, it turns out that there is a polytope which is almost optimal with respect to all intrinsic volumes simultaneously, up to absolute constants. Finally, we establish asymptotic formulas for the best approximation of smooth conve…
The goal of this article is to survey various results concerning stochastic completeness of graphs. In particular, we present a variety of formulations of stochastic completeness and discuss how a discrepancy between uniqueness class and volume growth criteria in the continuous and discrete settings was ultimately resolved via the use of intrinsic metrics. Along the way, we discuss some equivalent notions of boundedness in the sense of geometry and of analysis. We also discuss various curvature criteria for stochastic completeness and discuss how weakly spherically symmetric graphs establish t…
We generalize valuations on polyhedral cones to valuations on fans. For fans induced by hyperplane arrangements, we show a correspondence between rotation-invariant valuations and deletion-restriction invariants. In particular, we define a characteristic polynomial for fans in terms of spherical intrinsic volumes and show that it coincides with the usual characteristic polynomial in the case of hyperplane arrangements. This gives a simple deletion-restriction proof of a result of Klivans-Swartz. The metric projection of a cone is a piecewise-linear map, whose underlying fan prompts a generaliz…
We verify the Rota-Heron-Welsh conjecture for matroids realizable as c-arrangements: the coefficients of the characteristic polynomial of the associated matroid are log-concave. This family of matroids strictly contains that of complex hyperplane arrangements. Our proof combines the study of intrinsic volumes of certain extensions of arrangements and the Levy--Milman measure concentration phenomenon on realization spaces of arrangements.
The intrinsic volumes of a convex body are fundamental invariants that capture information about the average volume of the projection of the convex body onto a random subspace of fixed dimension. The intrinsic volumes also play a central role in integral geometry formulas that describe how moving convex bodies interact. Recent work has demonstrated that the sequence of intrinsic volumes concentrates sharply around its centroid, which is called the central intrinsic volume. The purpose of this paper is to derive finer concentration inequalities for the intrinsic volumes and related sequences. T…
We prove a randomized version of the generalized Urysohn inequality relating mean-width to the other intrinsic volumes. To do this, we introduce a stochastic approximation procedure that sees each convex body K as the limit of intersections of Euclidean balls of large radii and centered at randomly chosen points. The proof depends on a new isoperimetric inequality for the intrinsic volumes of such intersections. If the centers are i.i.d. and sampled according to a bounded continuous distribution, then the extremizing measure is uniform on a Euclidean ball. If one additionally assumes that the …
In 1939 H. Weyl has introduced the so called intrinsic volumes $V_i(M^n), i=0,\dots,n$, (known also as Lipschitz-Killing curvatures) for any closed smooth Riemannian manifold $M^n$. Given a Riemmanian submersion of compact smooth Riemannian manifolds $M\to B$, $B$ is connected. For $\varepsilon >0$ let us define a new Riemannian metric on $M$ by multiplying the original one by $\varepsilon$ along the vertical directions and keeping it the same along the (orthogonal) horizontal directions. Denote the corresponding Riemannian manifold by $M_\varepsilon$. The main result says that $\lim_{\varepsi…
Various results are proved giving lower bounds for the $m$th intrinsic volume $V_m(K)$, $m=1,\dots,n-1$, of a compact convex set $K$ in ${\mathbb{R}}^n$, in terms of the $m$th intrinsic volumes of its projections on the coordinate hyperplanes (or its intersections with the coordinate hyperplanes). The bounds are sharp when $m=1$ and $m=n-1$. These are reverse (or dual, respectively) forms of the Loomis-Whitney inequality and versions of it that apply to intrinsic volumes. For the intrinsic volume $V_1(K)$, which corresponds to mean width, the inequality obtained confirms a conjecture of Betke …
Magnitude is an isometric invariant of metric spaces inspired by category theory. Recent work has shown that the asymptotic behavior under rescaling of the magnitude of subsets of Euclidean space is closely related to intrinsic volumes. Here we prove an upper bound for the magnitude of a convex body in Euclidean space in terms of its intrinsic volumes. The result is deduced from an analogous known result for magnitude in $\ell_1^N$, via approximate embeddings of Euclidean space into high-dimensional $\ell_1^N$ spaces. As a consequence, we deduce a sufficient condition for infinite-dimensional …
Any Riemannian manifold has a canonical collection of valuations (finitely additive measures) attached to it, known as the intrinsic volumes or Lipschitz-Killing valuations. They date back to the remarkable discovery of H. Weyl that the coefficients of the tube volume polynomial are intrinsic invariants of the metric. As a consequence, the intrinsic volumes behave naturally under isometric immersions. This phenomenon, subsequently observed in a number of different geometric settings, is commonly referred to as the Weyl principle. In general normed spaces, the Holmes-Thompson intrinsic volumes …
The conic support measures localize the conic intrinsic volumes of closed convex cones in the same way as the support measures of convex bodies localize the intrinsic volumes of convex bodies. In this note, we extend the `Master Steiner formula' of McCoy and Tropp, which involves conic intrinsic volumes, to conic support measures. Then we prove Hölder continuity of the conic support measures with respect to the angular Hausdorff metric on convex cones and a metric on conic support measures which metrizes the weak convergence.
Here we explore a variety of properties of intrinsic flat convergence. We introduce the sliced filling volume and interval sliced filling volume and explore the relationship between these notions, the tetrahedral property and the disappearance of points under intrinsic flat convergence. We prove two new Gromov-Hausdorff and intrinsic flat compactness theorems including the Tetrahedral Compactness Theorem. Much of the work in this paper builds upon Ambrosio-Kirchheim's Slicing Theorem combined with an adapted version Gromov's Filling Volume.
A few years ago various disparities for Laplacians on graphs and manifolds were discovered. The corresponding results are mostly related to volume growth in the context of unbounded geometry. Indeed, these disparities can now be resolved by using so called intrinsic metrics instead of the combinatorial graph distance. In this article we give an introduction to this topic and survey recent results in this direction. Specifically, we cover topics such as Liouville type theorems for harmonic functions, essential selfadjointness, stochastic completeness and upper escape rates. Furthermore, we dete…