A subset of a metric space is a k-distance set if there are exactly k non-zero distances occuring between points. We conjecture that a k-distance set in a d-dimensional Banach space (or Minkowski space), contains at most (k+1)^d points, with equality iff the unit ball is a parallelotope. We solve this conjecture in the affirmative for all 2-dimensional spaces and for spaces where the unit ball is a parallelotope. For general spaces we find various weaker upper bounds for k-distance sets.
Minkowski's classical existence theorem provides necessary and sufficient conditions for a Borel measure on the unit sphere of Euclidean space to be the surface area measure of a convex body. The solution is unique up to a translation. We deal with corresponding questions for unbounded convex sets, whose behavior at infinity is determined by a given closed convex cone. We provide an existence theorem and a stability result.
Let $C$ be a closed convex cone in ${\mathbb R}^n$, pointed and with interior points. We consider sets of the form $A=C\setminus A^\bullet$, where $A^\bullet\subset C$ is a closed convex set. If $A$ has finite volume (Lebesgue measure), then $A$ is called a $C$-coconvex set. The family of $C$-coconvex sets is closed under the addition $\oplus$ defined by $C\setminus(A_1\oplus A_2)= (C\setminus A_1)+(C\setminus A_2)$. We develop first steps of a Brunn--Minkowski theory for $C$-coconvex sets, which relates this addition to the notion of volume. In particular, we establish the equality conditions…
In this paper, we generalize Minkowski's theorem. This theorem is usually stated for a centrally symmetric convex body and a lattice both included in $\mathbb{R}^n$. In some situations, one may replace the lattice by a more general set for which a notion of density exists. In this paper, we prove a Minkowski theorem for Meyer sets, which bounds from below the frequency of differences appearing in the Meyer set and belonging to a centrally symmetric convex body. In the later part of the paper, we develop quite natural applications of this theorem to Diophantine approximation and to discretizati…
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 [13], and the generalizations in [4] and [2]. We prove an analogue result for Fiber symmetrization of a specific class of compact sets. The idempotency for symmetrization of this family of sets is investigated, leading to a simple generalization of a result from Klartag [14] regarding the approximation of a ball throu…
Let $C$ be a pointed closed convex cone in $\mathbb{R}^n$ with vertex at the origin $o$ and having nonempty interior. The set $A\subset C$ is $C$-coconvex if the volume of $A$ is finite and $A^{\bullet}=C\setminus A$ is a closed convex set. For $0<p<1$, the $p$-co-sum of $C$-coconvex sets is introduced, and the corresponding $L_p$ Brunn-Minkowski inequality for $C$-coconvex sets is established. We also define the $L_p$ surface area measures, for $0\neq p\in \mathbb{R}$, of certain $C$-coconvex sets, which are critical in deriving a variational formula of the volume of the Wulff shape associate…
The Minkowski content of a compact set is a fine measure of its geometric scaling. For Lebesgue null sets it measures the decay of the Lebesgue measure of epsilon neighbourhoods of the set. It is well known that self-similar sets, satisfying reasonable separation conditions and non-log comensurable contraction ratios, have a well-defined Minkowski content. When dropping the contraction conditions, the more general notion of average Minkowski content still exists. For random recursive self-similar sets the Minkowski content also exists almost surely, whereas for random homogeneous self-similar …
It was shown recently that the Minkowski content of a bounded set $A$ in $\mathbb{R}^d$ with volume zero can be characterized in terms of the asymptotic behaviour of the boundary surface area of its parallel sets $A_r$ as the parallel radius $r$ tends to $0$. Here we discuss localizations of such results. The asymptotic behaviour of the local parallel volume of $A$ relative to a suitable second set $Ω$ can be understood in terms of the suitably defined local surface area relative to $Ω$. Also a measure version of this relation is shown: Viewing the Minkowski content as a locally determined mea…
Given one metric measure space $X$ satisfying a linear Brunn-Minkowski inequality, and a second one $Y$ satisfying a Brunn-Minkowski inequality with exponent $p\ge -1$, we prove that the product $X\times Y$ with the standard product distance and measure satisfies a Brunn-Minkowski inequality of order $1/(1+p^{-1})$ under mild conditions on the measures and the assumption that the distances are strictly intrinsic. The same result holds when we consider restricted classes of sets. We also prove that a linear Brunn-Minkowski inequality is obtained in $X\times Y$ when $Y$ satisfies a Prékopa-Leind…
For a compact set $A \subset {\mathbb R}^d$ and an integer $k\ge 1$, let us denote by $$ A[k] = \left\{a_1+\cdots +a_k: a_1, \ldots, a_k\in A\right\}=\sum_{i=1}^k A$$ the Minkowski sum of $k$ copies of $A$. A theorem of Shapley, Folkmann and Starr (1969) states that $\frac{1}{k}A[k]$ converges to the convex hull of $A$ in Hausdorff distance as $k$ tends to infinity. Bobkov, Madiman and Wang (2011) conjectured that the volume of $\frac{1}{k}A[k]$ is non-decreasing in $k$, or in other words, in terms of the volume deficit between the convex hull of $A$ and $\frac{1}{k}A[k]$, this convergence is …
The notion of ball convexity, considered in finite dimensional real Banach spaces, is a natural and useful extension of usual convexity; one replaces intersections of half-spaces by suitable intersections of balls. A subset $S$ of a normed space is called ball convex if it coincides with its ball hull, which is obtained as intersection of all balls (of fixed radius) containing $S$. Ball convex sets are closely related to notions like ball polytopes, complete sets, bodies of constant width, and spindle convexity. We will study geometric properties of ball convex bodies in normed spaces, for exa…
最近已经研究了R^d中一般集合的（上和下）Minkowski内容和（上和下）基于表面积的内容（S-内容）之间的相互关系，以及它们的相关维度之间的相互关系（参见图1）。[3]）。虽然上维度总是一致的，并且上内容彼此有界，但[3]中获得的界限表明，下内容和维度具有更大的灵活性。我们表明，这确实是这样的。存在其下S-维数严格小于其下Minkowski维数的集合。更精确地说，给定两个数s，m，其中0 < s < m < 1，我们在R^d中构造具有较低S维数s+d-1和较低Minkowski维数m+d-1的集合。特别地，这些集合被用来证明在[3]中获得的关于这两个维度的一般关系的不等式是最好的可能。
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.
We study several of the recent conjectures in regards to the role of symmetry in the inequalities of Brunn-Minkowski type, such as the $L_p$-Brunn-Minkowski conjecture of Böröczky, Lutwak, Yang and Zhang, and the Dimensional Brunn-Minkowski conjecture of Gardner and Zvavitch, in a unified framework. We obtain several new results for these conjectures. We show that when $K\subset L,$ the multiplicative form of the $L_p$-Brunn-Minkowski conjecture holds for Lebesgue measure for $p\geq 1-Cn^{-0.75}$, which improves upon the estimate of Kolesnikov and Milman in the partial case when one body is co…
In this paper, we study the conjecture of Gardner and Zvavitch from \cite{GZ}, which suggests that the standard Gaussian measure $γ$ enjoys $\frac{1}{n}$-concavity with respect to the Minkowski addition of \textbf{symmetric} convex sets. We prove this fact up to a factor of 2: that is, we show that for symmetric convex $K$ and $L,$ $$ γ(λK+(1-λ)L)^{\frac{1}{2n}}\geq λγ(K)^{\frac{1}{2n}}+(1-λ)γ(L)^{\frac{1}{2n}}. $$ Further, we show that under suitable dimension-free uniform bounds on the Hessian of the potential, the log-concavity of even measures can be strengthened to $p$-concavity, with $p>…
The classical Brunn-Minkowski theory studies the geometry of convex bodies in Euclidean space by use of the Minkowski sum. It originated from H. Brunn's thesis in 1887 and H. Minkowski's paper in 1903. Because there is no universally acknowledged definition of the sum of two sets in hyperbolic space, there has been no Brunn-Minkowski theory in hyperbolic space since 1903. In this paper, for any $p>0$ we introduce a sum of two sets in hyperbolic space, and we call it the hyperbolic $p$-sum. Then we develop a Brunn-Minkowski theory in the hyperbolic space by use of our hyperbolic $p$-sum, and we…
