We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure coreplatform@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
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.
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.
where
$\omega _{\mathcal {E}}^r(f, t)_p$
denotes the rth order directional modulus of smoothness of
$f\in L^p(\Omega )$
along a finite set of directions
$\mathcal {E}\subset \mathbb {S}^{d-1}$
such that
$\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\}$
. We prove that there does not exist a universal finite set of directions
$\mathcal {E}$
for which this inequality holds on every convex body
$\Omega \subset {\mathbb R}^d$
, but for every connected
$C^2$
-domain
$\Omega \subset {\mathbb R}^d$
, one can choose
$\mathcal {E}$
to be an arbitrary set of d independent directions. We also study the smallest number
$\mathcal {N}_d(\Omega )\in {\mathbb N}$
for which there exists a set of
$\mathcal {N}_d(\Omega )$
directions
$\mathcal {E}$
such that
$\mathrm {span}(\mathcal {E})={\mathbb R}^d$
and the directional Whitney inequality holds on
$\Omega $
for all
$r\in {\mathbb N}$
and
$p>0$
. It is proved that
$\mathcal {N}_d(\Omega )=d$
for every connected
$C^2$
-domain
$\Omega \subset {\mathbb R}^d$
, for
$d=2$
and every planar convex body
$\Omega \subset {\mathbb R}^2$
, and for
$d\ge 3$
and every almost smooth convex body
$\Omega \subset {\mathbb R}^d$
. For
$d\ge 3$
and a more general convex body
$\Omega \subset {\mathbb R}^d$
, we connect
$\mathcal {N}_d(\Omega )$
with a problem in convex geometry on the X-ray number of
$\Omega $
, proving that if
$\Omega $
is X-rayed by a finite set of directions
$\mathcal {E}\subset \mathbb {S}^{d-1}$
, then
$\mathcal {E}$
admits the directional Whitney inequality on
$\Omega $
for all
$r\in {\mathbb N}$
and
$0<p\leq \infty $
. Such a connection allows us to deduce certain quantitative estimate of
$\mathcal {N}_d(\Omega )$
for
$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.
We study the metric projection onto the closed convex cone in a real Hilbert space
$\mathscr {H}$
generated by a sequence
$\mathcal {V} = \{v_n\}_{n=0}^\infty $
. The first main result of this article provides a sufficient condition under which the closed convex cone generated by
$\mathcal {V}$
coincides with the following set:
$$ \begin{align*} \mathcal{C}[[\mathcal{V}]]: = \bigg\{\sum_{n=0}^\infty a_n v_n\Big|a_n\geq 0,\text{ the series }\sum_{n=0}^\infty a_n v_n\text{ converges in } \mathscr{H}\bigg\}. \end{align*} $$
Then, by adapting classical results on general convex cones, we give a useful description of the metric projection onto
$\mathcal {C}[[\mathcal {V}]]$
. As an application, we obtain the best approximations of many concrete functions in
$L^2([-1,1])$
by polynomials with nonnegative coefficients.
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.
A. R. Martínez Fernández obtained upper bounds for quermassintegrals of the p-inner parallel bodies: an extension of the classical inner parallel body to the
$L_p$
-Brunn-Minkowski theory. In this paper, we establish (sharp) upper and lower bounds for quermassintegrals of p-inner parallel bodies. Moreover, the sufficient and necessary conditions of the equality case for the main inequality are obtained, which characterize the so-called tangential bodies.
In the present paper, we first introduce the concepts of the Lpq-capacity measure and Lp mixed q-capacity and then prove some geometric properties of Lpq-capacity measure and a Lp Minkowski inequality for the q-capacity for any fixed p ⩾ 1 and q > n. As an application of the Lp Minkowski inequality mentioned above, we establish a Hadamard variational formula for the q-capacity under p-sum for any fixed p ⩾ 1 and q > n, which extends results of Akman et al. (Adv. Calc. Var. (in press)). With the Hadamard variational formula, variational method and Lp Minkowski inequality mentioned above, we prove the existence and uniqueness of the solution for the Lp Minkowski problem for the q-capacity which extends some beautiful results of Jerison (1996, Acta Math.176, 1–47), Colesanti et al. (2015, Adv. Math.285, 1511–588), Akman et al. (Mem. Amer. Math. Soc. (in press)) and Akman et al. (Adv. Calc. Var. (in press)). It is worth mentioning that our proof of Hadamard variational formula is based on Lp Minkowski inequality rather than the direct argument which was adopted by Akman (Adv. Calc. Var. (in press)). Moreover, as a consequence of Lp Minkowski inequality for q-capacity, we get an interesting isoperimetric inequality for q-capacity.
A new approach to prove weak convergence of random polytopes on the space of compact convex sets is presented. This is used to show that the profile of the rescaled Schläfli random cone of a random conical tessellation, generated by n independent and uniformly distributed random linear hyperplanes in
$\mathbb {R}^{d+1}$
, weakly converges to the typical cell of a stationary and isotropic Poisson hyperplane tessellation in
$\mathbb {R}^d$
, as
$n\to \infty $
.
The Gaussian polytope
$\mathcal P_{n,d}$
is the convex hull of n independent standard normally distributed points in
$\mathbb{R}^d$
. We derive explicit expressions for the probability that
$\mathcal P_{n,d}$
contains a fixed point
$x\in\mathbb{R}^d$
as a function of the Euclidean norm of x, and the probability that
$\mathcal P_{n,d}$
contains the point
$\sigma X$
, where
$\sigma\geq 0$
is constant and X is a standard normal vector independent of
$\mathcal P_{n,d}$
. As a by-product, we also compute the expected number of k-faces and the expected volume of
$\mathcal P_{n,d}$
, thus recovering the results of Affentranger and Schneider (Discr. and Comput. Geometry, 1992) and Efron (Biometrika, 1965), respectively. All formulas are in terms of the volumes of regular spherical simplices, which, in turn, can be expressed through the standard normal distribution function
$\Phi(z)$
and its complex version
$\Phi(iz)$
. The main tool used in the proofs is the conic version of the Crofton formula.