We investigate the convexity of the radial sum of two convex bodies containing the origin. Generally, the radial sum of two convex bodies containing the origin is not convex. We show that the radial sum of a star body (with respect to the origin) and any large centered ball is convex, which produces a pair of convex bodies containing the origin whose radial sum is convex.

We also investigate the convexity of the intersection body of a convex body containing the origin. Generally, the intersection body of a convex body containing the origin is not convex. Busemann’s theorem states that the intersection body of any centered convex body is convex. We are interested in how to construct convex intersection bodies from convex bodies without any symmetry (especially, central symmetry). We show that the intersection body of the radial sum of a star body (with respect to the origin) and any large centered ball is convex, which produces a convex body with no symmetries whose intersection body is convex.

In 1993, E. Lutwak established a minimax inequality for inscribed cones of origin symmetric convex bodies. In this work, we re-prove Lutwak’s result using a maxmin inequality for circumscribed cylinders. Furthermore, we explore connections between the maximum volume of inscribed double cones of a centered convex body and the minimum volume of circumscribed cylinders of its polar body.

This paper relies on nested postulates of separate, linear and arc-continuity of functions to define analogous properties for sets that are weaker than the requirement that the set be open or closed. This allows three novel characterisations of open or closed sets under convexity or separate convexity postulates: the first pertains to separately convex sets, the second to convex sets and the third to arbitrary subsets of a finite-dimensional Euclidean space. By relying on these constructions, we also obtain new results on the relationship between separate and joint continuity of separately quasiconcave, or separately quasiconvex functions. We present examples to show that the sufficient conditions we offer cannot be dispensed with.

Let $\mathcal {S}$ be a family of nonempty sets with VC-codensity less than $2$. We prove that, if $\mathcal {S}$ has the $(\omega ,2)$-property (for any infinitely many sets in $\mathcal {S}$, at least two among them intersect), then $\mathcal {S}$ can be partitioned into finitely many subfamilies, each with the finite intersection property. If $\mathcal {S}$ is definable in some first-order structure, then these subfamilies can be chosen definable too.

This is a strengthening of the case $q=2$ of the definable $(p,q)$-conjecture in model theory [9] and the Alon–Kleitman–Matoušek $(p,q)$-theorem in combinatorics [6].

Let a random geometric graph be defined in the supercritical regime for the existence of a unique infinite connected component in Euclidean space. Consider the first-passage percolation model with independent and identically distributed random variables on the random infinite connected component. We provide sufficient conditions for the existence of the asymptotic shape, and we show that the shape is a Euclidean ball. We give some examples exhibiting the result for Bernoulli percolation and the Richardson model. In the latter case we further show that it converges weakly to a nonstandard branching process in the joint limit of large intensities and slow passage times.

Magnitude is a numerical invariant of compact metric spaces, originally inspired by category theory and now known to be related to myriad other geometric quantities. Generalizing earlier results in $\ell _1^n$ and Euclidean space, we prove an upper bound for the magnitude of a convex body in a hypermetric normed space in terms of its Holmes–Thompson intrinsic volumes. As applications of this bound, we give short new proofs of Mahler’s conjecture in the case of a zonoid and Sudakov’s minoration inequality.

We investigate the weighted $L_p$ affine surface areas which appear in the recently established $L_p$ Steiner formula of the $L_p$ Brunn–Minkowski theory. We show that they are valuations on the set of convex bodies and prove isoperimetric inequalities for them. We show that they are related to f divergences of the cone measures of the convex body and its polar, namely the Kullback–Leibler divergence and the Rényi divergence.

Let $n\geq 2$ random lines intersect a planar convex domain D. Consider the probabilities $p_{nk}$, $k=0,1, \ldots, {n(n-1)}/{2}$ that the lines produce exactly k intersection points inside D. The objective is finding $p_{nk}$ through geometric invariants of D. Using Ambartzumian’s combinatorial algorithm, the known results are instantly reestablished for $n=2, 3$. When $n=4$, these probabilities are expressed by new invariants of D. When D is a disc of radius r, the simplest forms of all invariants are found. The exact values of $p_{3k}$ and $p_{4k}$ are established.

First, we build a computational procedure to reconstruct the convex body from a pre-given surface area measure. Nontrivially, we prove the convergence of this procedure. Then, the sufficient and necessary conditions of a Sobolev binary function to be a lightness function of a convex body are investigated. Finally, we present a computational procedure to compute the curvature function from a pre-given lightness function, and then we reconstruct the convex body from this curvature function by using the first procedure. The convergence is also proved. The main computations in both procedures are simply about the spherical harmonics.

Crofton formulas on simply connected Riemannian space forms allow the volumes, or more generally the Lipschitz–Killing curvature integrals of a submanifold with corners, to be computed by integrating the Euler characteristic of its intersection with all geodesic submanifolds. We develop a framework of Crofton formulas with distributions replacing measures, which has in its core Alesker's Radon transform on valuations. We then apply this framework, and our recent Hadwiger-type classification, to compute explicit Crofton formulas for all isometry-invariant valuations on all pseudospheres, pseudo-Euclidean and pseudohyperbolic spaces. We find that, in essence, a single measure which depends analytically on the metric, gives rise to all those Crofton formulas through its distributional boundary values at parts of the boundary corresponding to the different indefinite signatures. In particular, the Crofton formulas we obtain are formally independent of signature.

In this paper we introduce two new classes of stationary random simplicial tessellations, the so-called $\beta$- and $\beta^{\prime}$-Delaunay tessellations. Their construction is based on a space–time paraboloid hull process and generalizes that of the classical Poisson–Delaunay tessellation. We explicitly identify the distribution of volume-power-weighted typical cells, establishing thereby a remarkable connection to the classes of $\beta$- and $\beta^{\prime}$-polytopes. These representations are used to determine the principal characteristics of such cells, including volume moments, expected angle sums, and cell intensities.

In this work the $\ell_q$-norms of points chosen uniformly at random in a centered regular simplex in high dimensions are studied. Berry–Esseen bounds in the regime $1\leq q < \infty$ are derived and complemented by a non-central limit theorem together with moderate and large deviations in the case where $q=\infty$. An application to the intersection volume of a regular simplex with an $\ell_p^n$-ball is also carried out.

In this paper, we consider the family of nth degree polynomials whose coefficients form a log-convex sequence (up to binomial weights), and investigate their roots. We study, among others, the structure of the set of roots of such polynomials, showing that it is a closed convex cone in the upper half-plane, which covers its interior when n tends to infinity, and giving its precise description for every $n\in \mathbb {N}$, $n\geq 2$. Dual Steiner polynomials of star bodies are a particular case of them, and so we derive, as a consequence, further properties for their roots.

Bezdek and Kiss showed that existence of origin-symmetric coverings of unit sphere in ${\mathbb {E}}^n$ by at most $2^n$ congruent spherical caps with radius not exceeding $\arccos \sqrt {\frac {n-1}{2n}}$ implies the X-ray conjecture and the illumination conjecture for convex bodies of constant width in ${\mathbb {E}}^n$, and constructed such coverings for $4\le n\le 6$. Here, we give such constructions with fewer than $2^n$ caps for $5\le n\le 15$.

For the illumination number of any convex body of constant width in ${\mathbb {E}}^n$, Schramm proved an upper estimate with exponential growth of order $(3/2)^{n/2}$. In particular, that estimate is less than $3\cdot 2^{n-2}$ for $n\ge 16$, confirming the abovementioned conjectures for the class of convex bodies of constant width. Thus, our result settles the outstanding cases $7\le n\le 15$.

We also show how to calculate the covering radius of a given discrete point set on the sphere efficiently on a computer.

Consider a homogeneous Poisson point process of the Euclidean plane and its Voronoi tessellation. The present note discusses the properties of two stationary point processes associated with the latter and depending on a parameter $\theta$. The first is the set of points that belong to some one-dimensional facet of the Voronoi tessellation and such that the angle with which they see the two nuclei defining the facet is $\theta$. The main question of interest on this first point process is its intensity. The second point process is that of the intersections of the said tessellation with a straight line having a random orientation. Its intensity is well known. The intersection points almost surely belong to one-dimensional facets. The main question here concerns the Palm distribution of the angle with which the points of this second point process see the two nuclei associated with the facet. We will give answers to these two questions and briefly discuss their practical motivations. We also discuss natural extensions to three dimensions.

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).

It was observed recently in work of Bez, Buschenhenke, Cowling, Flock and the first author, that the euclidean Brascamp–Lieb inequality satisfies a natural and useful Fourier duality property. The purpose of this paper is to establish an appropriate discrete analogue of this. Our main result identifies the Brascamp–Lieb constants on (finitely-generated) discrete abelian groups with Brascamp–Lieb constants on their (Pontryagin) duals. As will become apparent, the natural setting for this duality principle is that of locally compact abelian groups, and this raises basic questions about Brascamp–Lieb constants formulated in this generality.

In response to an open problem raised by S. Rabinowitz, we prove that

$$ \begin{align*} \begin{array} [c]{l} \left( \left( x^{2}+y^{2}\right) {}^{2}+8y\left( y^{2}-3x^{2}\right) \right) {}^{2}+432y\left( y^{2}-3x^{2}\right) \left( 351-10\left( x^{2}+y^{2}\right) \right) \\ =567^{3}+28\left( x^{2}+y^{2}\right) {}^{3}+486\left( x^{2}+y^{2}\right) \left( 67\left( x^{2}+y^{2}\right) -567\times18\right) \end{array} \end{align*} $$

For a smooth strongly convex Minkowski norm $F:\mathbb {R}^n \to \mathbb {R}_{\geq 0}$, we study isometries of the Hessian metric corresponding to the function $E=\tfrac 12F^2$. Under the additional assumption that F is invariant with respect to the standard action of $SO(k)\times SO(n-k)$, we prove a conjecture of Laugwitz stated in 1965. Furthermore, we describe all isometries between such Hessian metrics, and prove Landsberg Unicorn Conjecture for Finsler manifolds of dimension $n\ge 3$ such that at every point the corresponding Minkowski norm has a linear $SO(k)\times SO(n-k)$-symmetry.

This paper studies a new Whitney type inequality on a compact domain $\Omega \subset {\mathbb R}^d$ that takes the form

$$ \begin{align*} \inf_{Q\in \Pi_{r-1}^d(\mathcal{E})} \|f-Q\|_p \leq C(p,r,\Omega) \omega_{\mathcal{E}}^r(f,\mathrm{diam}(\Omega))_p,\ \ r\in {\mathbb N},\ \ 0<p\leq \infty, \end{align*} $$

$\omega _{\mathcal {E}}^r(f, t)_p$

$f\in L^p(\Omega )$

$\mathcal {E}\subset \mathbb {S}^{d-1}$

$\mathrm {span}(\mathcal {E})={\mathbb R}^d$

$\Pi _{r-1}^d(\mathcal {E}):=\{g\in C(\Omega ):\ \omega ^r_{\mathcal {E}} (g, \mathrm {diam} (\Omega ))_p=0\}$

$\mathcal {E}$

$\Omega \subset {\mathbb R}^d$

$C^2$

$\Omega \subset {\mathbb R}^d$

$\mathcal {E}$

$\mathcal {N}_d(\Omega )\in {\mathbb N}$

$\mathcal {N}_d(\Omega )$

$\mathcal {E}$

$\mathrm {span}(\mathcal {E})={\mathbb R}^d$

$\Omega $

$r\in {\mathbb N}$

$p>0$

$\mathcal {N}_d(\Omega )=d$

$C^2$

$\Omega \subset {\mathbb R}^d$

$d=2$

$\Omega \subset {\mathbb R}^2$

$d\ge 3$

$\Omega \subset {\mathbb R}^d$

$d\ge 3$

$\Omega \subset {\mathbb R}^d$

$\mathcal {N}_d(\Omega )$

$\Omega $

$\Omega $

$\mathcal {E}\subset \mathbb {S}^{d-1}$

$\mathcal {E}$

$\Omega $

$r\in {\mathbb N}$

$0<p\leq \infty $

$\mathcal {N}_d(\Omega )$

$d\ge 3$

A slight modification of the proof of the usual Whitney inequality in literature also yields a directional Whitney inequality on each convex body $\Omega \subset {\mathbb R}^d$, but with the set $\mathcal {E}$ containing more than $(c d)^{d-1}$ directions. In this paper, we develop a new and simpler method to prove the directional Whitney inequality on more general, possibly nonconvex domains requiring significantly fewer directions in the directional moduli.