We shall prove a convergence result relative to sequences of Minkowski symmetrals of general compact sets. In particular, we investigate the case when this process is induced by sequences of subspaces whose elements belong to a finite family, following the path marked by Klain in Klain (2012, Advances in Applied Mathematics 48, 340–353), and the generalizations in Bianchi et al. (2019, Convergence of symmetrization processes, preprint) and Bianchi et al. (2012, Indiana University Mathematics Journal 61, 1695–1710). We prove an analogous result for fiber symmetrization of a specific class of compact sets. The idempotency for symmetrizations of this family of sets is investigated, leading to a simple generalization of a result from Klartag (2004, Geometric and Functional Analysis 14, 1322–1338) regarding the approximation of a ball through a finite number of symmetrizations, and generalizing an approximation result in Fradelizi, Làngi and Zvavitch (2020, Volume of the Minkowski sums of star-shaped sets, preprint).

A tight frame is the orthogonal projection of some orthonormal basis of $\mathbb {R}^n$ onto $\mathbb {R}^k.$ We show that a set of vectors is a tight frame if and only if the set of all cross products of these vectors is a tight frame. We reformulate a range of problems on the volume of projections (or sections) of regular polytopes in terms of tight frames and write a first-order necessary condition for local extrema of these problems. As applications, we prove new results for the problem of maximization of the volume of zonotopes.

In this paper, we introduce the anisotropic Sobolev capacity with fractional order and develop some basic properties for this new object. Applications to the theory of anisotropic fractional Sobolev spaces are provided. In particular, we give geometric characterizations for a nonnegative Radon measure $\mu $ that naturally induces an embedding of the anisotropic fractional Sobolev class $\dot{\Lambda }_{\alpha ,K}^{1,1}$ into the $\mu $-based-Lebesgue-space $L_{\mu }^{n/\beta }\,\text{with}\,0<\beta \le n$. Also, we investigate the anisotropic fractional $\alpha $-perimeter. Such a geometric quantity can be used to approximate the anisotropic Sobolev capacity with fractional order. Estimation on the constant in the related Minkowski inequality, which is asymptotically optimal as $\alpha \to {{0}^{+}}$, will be provided.

One of the fundamental results in convex geometry is Busemann's theorem, which states that the intersection body of a symmetric convex body is convex. Thus, it is only natural to ask if there is a quantitative version of Busemann's theorem, i.e., if the intersection body operation actually improves convexity. In this paper we concentrate on the symmetric bodies of revolution to provide several results on the (strict) improvement of convexity under the intersection body operation. It is shown that the intersection body of a symmetric convex body of revolution has the same asymptotic behavior near the equator as the Euclidean ball. We apply this result to show that in sufficiently high dimension the double intersection body of a symmetric convex body of revolution is very close to an ellipsoid in the Banach–Mazur distance. We also prove results on the local convexity at the equator of intersection bodies in the class of star bodies of revolution.

Let ${{F}_{2n,2}}$ be the free nilpotent Lie group of step two on $2n$ generators, and let $\mathbf{P}$ denote the affine automorphism group of ${{F}_{2n,2}}$. In this article the theory of continuous wavelet transform on ${{F}_{2n,2}}$ associated with $\mathbf{P}$ is developed, and then a type of radial wavelet is constructed. Secondly, the Radon transform on ${{F}_{2n,2}}$ is studied, and two equivalent characterizations of the range for Radon transform are given. Several kinds of inversion Radon transform formulae are established. One is obtained from the Euclidean Fourier transform; the others are from the group Fourier transform. By using wavelet transforms we deduce an inversion formula of the Radon transform, which does not require the smoothness of functions if the wavelet satisfies the differentiability property. In particular, if $n\,=\,1$, ${{F}_{2,2}}$ is the 3-dimensional Heisenberg group ${{H}^{1}}$, the inversion formula of the Radon transform is valid, which is associated with the sub-Laplacian on ${{F}_{2,2}}$. This result cannot be extended to the case $n\,\ge \,2$.

A rational polyhedron$P\subseteq {\mathbb{R^n}}$ is a finite union of simplexes in ${\mathbb{R^n}}$ with rational vertices. P is said to be $\mathbb Z$-homeomorphic to the rational polyhedron $Q\subseteq {\mathbb{R^{\it m}}}$ if there is a piecewise linear homeomorphism η of P onto Q such that each linear piece of η and η−1 has integer coefficients. When n=m, $\mathbb Z$-homeomorphism amounts to continuous $\mathcal{G}_n$-equidissectability, where $\mathcal{G}_n=GL(n,\mathbb Z) \ltimes \mathbb Z^{n}$ is the affine group over the integers, i.e., the group of all affinities on $\mathbb{R^{n}}$ that leave the lattice $\mathbb Z^{n}$ invariant. $\mathcal{G}_n$ yields a geometry on the set of rational polyhedra. For each d=0,1,2,. . ., we define a rational measure λd on the set of rational polyhedra, and show that any two $\mathbb Z$-homeomorphic rational polyhedra $$P\subseteq {\mathbb{R^n}}$$ and $Q\subseteq {\mathbb{R^{\it m}}}$ satisfy $\lambda_d(P)=\lambda_d(Q)$. $\lambda_n(P)$ coincides with the n-dimensional Lebesgue measure of P. If 0 ≤ dim P=d < n then λd(P)>0. For rational d-simplexes T lying in the same d-dimensional affine subspace of ${\mathbb{R^{\it n}}, $\lambda_d(T)$$ is proportional to the d-dimensional Hausdorff measure of T. We characterize λd among all unimodular invariant valuations.

In this paper, we establish a universal volume comparison theorem for Finsler manifolds and give the Berger–Kazdan inequality and Santalá's formula in Finsler geometry. Based on these, we derive a Berger–Kazdan type comparison theorem and a Croke type isoperimetric inequality for Finsler manifolds.

We define an infinite class of fractals, called horizontally and vertically blocked labyrinth fractals, which are dendrites and special Sierpiński carpets. Between any two points in the fractal there is a unique arc α; the length of α is infinite and the set of points where no tangent to α exists is dense in α.

The covariogram of a compact set A⊂ℝn is the function that to each x∈ℝn associates the volume of A∩(A+x). Recently it has been proved that the covariogram determines any planar convex body, in the class of all convex bodies. We extend the class of sets in which a planar convex body is determined by its covariogram. Moreover, we prove that there is no pair of non-congruent planar polyominoes consisting of less than nine points that have equal discrete covariograms.

Let $K\,\subset \,{{\mathbb{R}}^{n+1}}$ be a convex body of class ${{C}^{2}}$ with everywhere positive Gauss curvature. We show that there exists a positive number $\delta \left( K \right)$ such that for any $\delta \,\in \,\left( 0,\,\delta \left( K \right) \right)$ we have $\text{Vol}\left( {{K}_{\delta }} \right)\,\cdot \,\text{Vol}\left( {{\left( {{K}_{\delta }} \right)}^{*}} \right)\,\ge \,\text{Vol}\left( K \right)\,\cdot \,\text{Vol}\left( {{K}^{*}} \right)\,\ge \,\text{Vol}\left( {{K}^{\delta }} \right)\,\cdot \,\text{Vol}\left( {{\left( {{K}^{\delta }} \right)}^{*}} \right)$, where ${{K}_{\delta }}$, ${{K}^{\delta }}$ and ${{K}^{*}}$ stand for the convex floating body, the illumination body, and the polar of $K$, respectively. We derive a few consequences of these inequalities.

The covariogram gK(x) of a convex body K ⊆ Ed is the function which associates to each x ∈ Ed the volume of the intersection of K with K + x, where Ed denotes the Euclidean d-dimensional space. Matheron (1986) asked whether gK determines K, up to translations and reflections in a point. Positive answers to Matheron's question have been obtained for large classes of planar convex bodies, while for d ≥ 3 there are both positive and negative results. One of the purposes of this paper is to sharpen some of the known results on Matheron's conjecture indicating how much of the covariogram information is needed to get the uniqueness of determination. We indicate some subsets of the support of the covariogram, with arbitrarily small Lebesgue measure, such that the covariogram, restricted to those subsets, identifies certain geometric properties of the body. These results are more precise in the planar case, but some of them, both positive and negative ones, are proved for bodies of any dimension. Moreover some results regard most convex bodies, in the Baire category sense. Another purpose is to extend the class of convex bodies for which Matheron's conjecture is confirmed by including all planar convex bodies possessing two nondegenerate boundary arcs being reflections of each other.

In the Euclidean plane ${{\mathbb{R}}^{2}}$, we define the Minkowski difference $\mathcal{K}-\mathcal{L}$ of two arbitrary convex bodies $\mathcal{K},\mathcal{L}$ as a rectifiable closed curve ${{\mathcal{H}}_{h}}\subset {{\mathbb{R}}^{2}}$ that is determined by the difference $h={{h}_{K}}-{{h}_{\mathcal{L}}}$ of their support functions. This curve ${{\mathcal{H}}_{h}}$ is called the hedgehog with support function $h$. More generally, the object of hedgehog theory is to study the Brunn–Minkowski theory in the vector space of Minkowski differences of arbitrary convex bodies of Euclidean space ${{\mathbb{R}}^{n+1}}$, defined as (possibly singular and self-intersecting) hypersurfaces of ${{\mathbb{R}}^{n+1}}$. Hedgehog theory is useful for: (i) studying convex bodies by splitting them into a sum in order to reveal their structure; (ii) converting analytical problems into geometrical ones by considering certain real functions as support functions. The purpose of this paper is to give a detailed study of plane hedgehogs, which constitute the basis of the theory. In particular: (i) we study their length measures and solve the extension of the Christoffel–Minkowski problem to plane hedgehogs; (ii) we characterize support functions of plane convex bodies among support functions of plane hedgehogs and support functions of plane hedgehogs among continuous functions; (iii) we study the mixed area of hedgehogs in ${{\mathbb{R}}^{2}}$ and give an extension of the classical Minkowski inequality (and thus of the isoperimetric inequality) to hedgehogs.

Knowing the (geometric) covariogram of a convex body is equivalent to knowing, for each direction u, the distribution of the lengths of the chords of that body which are parallel to u. We prove that the covariogram determines convex polygons, among all convex bodies, up to translation and reflection. This gives a partial answer to a problem posed by Matheron.

Let $(X,\,\left\| \,.\, \right\|)$ be a Minkowski space (finite dimensional Banach space) with unit ball $B$. Various definitions of surface area are possible in $X$. Here we explore the one given by Benson [1], [2]. In particular, we show that this definition is convex and give details about the nature of the solution to the isoperimetric problem.

In this article, we derive a Brunn-Minkowski type theorem for sets bearing some relation to the causal structure on the Minkowski spacetime ${{\mathbb{L}}^{n+1}}$ . We also present an isoperimetric inequality in the Minkowski spacetime ${{\mathbb{L}}^{n+1}}$ as a consequence of this Brunn-Minkowski type theorem.

We give a proof of the Steiner formula based on the theory of random convex bodies. In particular, we make use of laws of large numbers for both random volumes and random convex bodies themselves.