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 no-reply@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.
Answering a question of Füredi and Loeb [On the best constant for the Besicovitch covering theorem. Proc. Amer. Math. Soc.121(4) (1994), 1063–1073], we show that the maximum number of pairwise intersecting homothets of a $d$-dimensional centrally symmetric convex body $K$, none of which contains the center of another in its interior, is at most $O(3^{d}d\log d)$. If $K$ is not necessarily centrally symmetric and the role of its center is played by its centroid, then the above bound can be replaced by $O(3^{d}\binom{2d}{d}d\log d)$. We establish analogous results for the case where the center is defined as an arbitrary point in the interior of $K$. We also show that, in the latter case, one can always find families of at least $\unicode[STIX]{x1D6FA}((2/\sqrt{3})^{d})$ translates of $K$ with the above property.
Let $X$ be a vector space and let $\unicode[STIX]{x1D711}:X\rightarrow \mathbb{R}\cup \{-\infty ,+\infty \}$ be an extended real-valued function. For every function $f:X\rightarrow \mathbb{R}\cup \{-\infty ,+\infty \}$, let us define the $\unicode[STIX]{x1D711}$-envelope of $f$ by
where $\begin{array}{@{}c@{}}-\\ \\ \\ \cdot \end{array}$ denotes the lower subtraction in $\mathbb{R}\cup \{-\infty ,+\infty \}$. The main purpose of this paper is to study in great detail the properties of the important generalized conjugation map $f\mapsto f^{\unicode[STIX]{x1D711}}$. When the function $\unicode[STIX]{x1D711}$ is closed and convex, $\unicode[STIX]{x1D711}$-envelopes can be expressed as Legendre–Fenchel conjugates. By particularizing with $\unicode[STIX]{x1D711}=(1/p\unicode[STIX]{x1D706})\Vert \cdot \Vert ^{p}$, for $\unicode[STIX]{x1D706}>0$ and $p\geqslant 1$, this allows us to derive new expressions of the Klee envelopes with index $\unicode[STIX]{x1D706}$ and power $p$. Links between $\unicode[STIX]{x1D711}$-envelopes and Legendre–Fenchel conjugates are also explored when $-\unicode[STIX]{x1D711}$ is closed and convex. The case of Moreau envelopes is examined as a particular case. In addition to the $\unicode[STIX]{x1D711}$-envelopes of functions, a parallel notion of envelope is introduced for subsets of $X$. Given subsets $\unicode[STIX]{x1D6EC}$, $C\subset X$, we define the $\unicode[STIX]{x1D6EC}$-envelope of $C$ as $C^{\unicode[STIX]{x1D6EC}}=\bigcap _{x\in C}(x+\unicode[STIX]{x1D6EC})$. Connections between the transform $C\mapsto C^{\unicode[STIX]{x1D6EC}}$ and the aforestated $\unicode[STIX]{x1D711}$-conjugation are investigated.
Let $n\geqslant C$ for a large universal constant $C>0$ and let $B$ be a convex body in $\mathbb{R}^{n}$ such that for any $(x_{1},x_{2},\ldots ,x_{n})\in B$, any choice of signs $\unicode[STIX]{x1D700}_{1},\unicode[STIX]{x1D700}_{2},\ldots ,\unicode[STIX]{x1D700}_{n}\in \{-1,1\}$ and for any permutation $\unicode[STIX]{x1D70E}$ on $n$ elements, we have $(\unicode[STIX]{x1D700}_{1}x_{\unicode[STIX]{x1D70E}(1)},\unicode[STIX]{x1D700}_{2}x_{\unicode[STIX]{x1D70E}(2)},\ldots ,\unicode[STIX]{x1D700}_{n}x_{\unicode[STIX]{x1D70E}(n)})\in B$. We show that if $B$ is not a cube, then $B$ can be illuminated by strictly less than $2^{n}$ sources of light. This confirms the Hadwiger–Gohberg–Markus illumination conjecture for unit balls of $1$-symmetric norms in $\mathbb{R}^{n}$ for all sufficiently large $n$.
We provide new quantitative versions of Helly’s theorem. For example, we show that for every family $\{P_{i}:i\in I\}$ of closed half-spaces in $\mathbb{R}^{n}$ such that $P=\bigcap _{i\in I}P_{i}$ has positive volume, there exist $s\leqslant \unicode[STIX]{x1D6FC}n$ and $i_{1},\ldots ,i_{s}\in I$ such that
where $\unicode[STIX]{x1D6FC},C>0$ are absolute constants. These results complement and improve previous work of Bárány et al and Naszódi. Our method combines the work of Srivastava on approximate John’s decompositions with few vectors, a new estimate on the corresponding constant in the Brascamp–Lieb inequality and an appropriate variant of Ball’s proof of the reverse isoperimetric inequality.
This paper deals with long-range dependence of random measures on ℝd. By examples, it is demonstrated that one must be careful in order to define it consistently. Therefore, we define long-range dependence by a rather specific second-order condition and provide an equivalent formulation involving the asymptotic behaviour of the Bartlett spectrum near the origin. Then it is shown that the defining condition may be formulated less strictly when the additional isotropy assumption holds. Finally, we present an example of a long-range dependent random measure based on the 0-level excursion set of a Gaussian random field for which the corresponding spectral density and its asymptotics are explicitly derived.
The space of shapes of quadrilaterals can be identified with $\mathbb{CP}^{2}$. We deal with the subset of $\mathbb{CP}^{2}$ corresponding to convex quadrilaterals and the subset which corresponds to simple (that is, without self-intersections) quadrilaterals. We provide a complete description of the topological closures in $\mathbb{CP}^{2}$ of both spaces. Although the interior of each space is homeomorphic to a disjoint union $\mathbb{R}^{4}\sqcup \mathbb{R}^{4}$, their closures are topologically different. In particular, the boundary of the space corresponding to convex quadrilaterals is homeomorphic to a pair of three-dimensional spheres glued along a Möbius strip while the boundary of the space corresponding to simple quadrilaterals is more complicated.
This paper introduces a two-stage model for multi-channel image segmentation, which is motivated by minimal surface theory. Indeed, in the first stage, we acquire a smooth solution u from a convex variational model related to minimal surface property and different data fidelity terms are considered. This minimization problem is solved efficiently by the classical primal-dual approach. In the second stage, we adopt thresholding to segment the smoothed image u. Here, instead of using K-means to determine the thresholds, we propose a more stable hill-climbing procedure to locate the peaks on the 3D histogram of u as thresholds, in the meantime, this algorithm can also detect the number of segments. Finally, numerical results demonstrate that the proposed method is very robust against noise and superior to other image segmentation approaches.
We generalize to the anisotropic case some classical and recent results on the (n – 1)-Minkowski content of rectifiable sets in ℝn, and on the outer Minkowski content of subsets of ℝn. In particular, a general formula for the anisotropic outer Minkowski content is provided; it applies to a wide class of sets that are stable under finite unions.
In an earlier paper, Romanowska, Ślusarski and Smith described a duality between the category of polytopes (finitely generated real convex sets considered as barycentric algebras) and a certain category of intersections of hypercubes, considered as barycentric algebras with additional constant operations. The present paper provides an extension of this duality to a much more general class of so-called quasipolytopes, that is, convex sets with polytopes as closures. The dual spaces of quasipolytopes are Płonka sums of open polytopes, which are considered as barycentric algebras with some additional operations. In constructing this duality, we use several known and new dualities: the Hofmann–Mislove–Stralka duality for semilattices; the Romanowska–Ślusarski–Smith duality for polytopes; a new duality for open polytopes; and a new duality for injective Płonka sums of polytopes.
In this paper we give a proof of the Green–Osher inequality in relative geometry using the minimal convex annulus, including the necessary and sufficient condition for the case of equality.
Let K ⊂ ℝN be any convex body containing the origin. A measurable set G ⊂ ℝN with finite and positive Lebesgue measure is said to be K-dense if, for any fixed r > 0, the measure of G ⋂ (x + rK) is constant when x varies on the boundary of G (here, x + rK denotes a translation of a dilation of K). In a previous work, we proved for the case N = 2 that if G is K-dense, then both G and K must be homothetic to the same ellipse. Here, we completely characterize K-dense sets in ℝN: if G is K-dense, then both G and K must be homothetic to the same ellipsoid. Our proof, which builds upon results obtained in our previous work, relies on an asymptotic formula for the measure of G ⋂ (x + rK) for large values of the parameter r and a classical characterization of ellipsoids due to Petty.
In a $d$-dimensional convex body $K$ random points $X_{0},\ldots ,X_{d}$ are chosen. Their convex hull is a random simplex. The expected volume of a random simplex is monotone under set inclusion if $K\subset L$ implies that the expected volume of a random simplex in $K$ is smaller than the expected volume of a random simplex in $L$. Continuing work of Rademacher [On the monotonicity of the expected volume of a random simplex. Mathematika58 (2012), 77–91], it is shown that moments of the volume of random simplices are, in general, not monotone under set inclusion.
We prove that the log-Brunn–Minkowski inequality (log-BMI) for the Lebesgue measure in dimension $n$ would imply the log-BMI and, therefore, theB-conjecture for any even log-concave measure in dimension $n$. As a consequence, we prove the log-BMI and the B-conjecture for any even log-concave measure in the plane. Moreover, we prove that the log-BMI reduces to the following: for each dimension $n$, there is a density $f_{n}$, which satisfies an integrability assumption, so that the log-BMI holds for parallelepipeds with parallel facets, for the density $f_{n}$. As a byproduct of our methods, we study possible log-concavity of the function $t\mapsto |(K+_{p}\cdot ~\text{e}^{t}L)^{\circ }|$, where $p\geqslant 1$ and $K$, $L$ are symmetric convex bodies, which we are able to prove in some instances and, as a further application, we confirm the variance conjecture in a special class of convex bodies. Finally, we establish a non-trivial dual form of the log-BMI.
One of the most fruitful results from Minkowski’s geometric viewpoint on number theory is his so-called first fundamental theorem. It provides an optimal upper bound for the volume of a $0$-symmetric convex body whose only interior lattice point is the origin. Minkowski also obtained a discrete analog by proving optimal upper bounds on the number of lattice points in the boundary of such convex bodies. Whereas the volume inequality has been generalized to any number of interior lattice points already by van der Corput in the 1930s, a corresponding result for the discrete case remained to be proven. Our main contribution is a corresponding optimal relation between the number of boundary and interior lattice points of a $0$-symmetric convex body. The proof relies on a congruence argument and a difference set estimate from additive combinatorics.
The illumination problem may be phrased as the problem of covering a convex body in Euclidean $n$-space by a minimum number of translates of its interior. By a probabilistic argument, we show that, arbitrarily close to the Euclidean ball, there is a centrally symmetric convex body of illumination number exponentially large in the dimension.
We investigate the problem of the decomposition of balls into a finite number of congruent pieces in dimension $d=2k$. In addition, we prove that the $d$-dimensional unit ball $B_{d}$ can be divided into a finite number of congruent pieces if $d=4$ or $d\geqslant 6$. We show that the minimal number of required pieces is less than $20d$, if $d\geqslant 10$.
In this paper, we will show that the spherical symmetric slices are the convex bodies that maximise the volume, the surface area and the integral of mean curvature when the minimum width and the circumradius are prescribed and the symmetric $2$-cap-bodies are the ones which minimise the volume, the surface area and the integral of mean curvature given the diameter and the inradius.
Let $K$ be a convex body in $\mathbb{R}^{d}$ which slides freely in a ball. Let $K^{(n)}$ denote the intersection of $n$ closed half-spaces containing $K$ whose bounding hyperplanes are independent and identically distributed according to a certain prescribed probability distribution. We prove an asymptotic formula for the expectation of the difference of the volumes of $K^{(n)}$ and $K$, and an asymptotic upper bound on the variance of the volume of $K^{(n)}$. We obtain these asymptotic formulas by proving results for weighted mean width approximations of convex bodies that admit a rolling ball by inscribed random polytopes and then using polar duality to convert them into statements about circumscribed random polytopes.
The isotropic constant $L_{K}$ is an affine-invariant measure of the spread of a convex body $K$. For a $d$-dimensional convex body $K$, $L_{K}$ can be defined by $L_{K}^{2d}=\det (A(K))/(\text{vol}(K))^{2}$, where $A(K)$ is the covariance matrix of the uniform distribution on $K$. It is an open problem to find a tight asymptotic upper bound of the isotropic constant as a function of the dimension. It has been conjectured that there is a universal constant upper bound. The conjecture is known to be true for several families of bodies, in particular, highly symmetric bodies such as bodies having an unconditional basis. It is also known that maximizers cannot be smooth. In this work we study bodies that are neither smooth nor highly symmetric by showing progress towards reducing to a highly symmetric case among non-smooth bodies. More precisely, we study the set of maximizers among simplicial polytopes and we show that if a simplicial polytope $K$ is a maximizer of the isotropic constant among $d$-dimensional convex bodies, then when $K$ is put in isotropic position it is symmetric around any hyperplane spanned by a $(d-2)$-dimensional face and the origin. By a result of Campi, Colesanti and Gronchi, this implies that a simplicial polytope that maximizes the isotropic constant must be a simplex.
We study solvability of convolution equations for functions with discrete support in $\mathbf{R}^{n}$, a special case being functions with support in the integer points. The more general case is of interest for several grids in Euclidean space, like the body-centred and face-centred tessellations of 3-space, as well as for the non-periodic grids that appear in the study of quasicrystals. The theorem of existence of fundamental solutions by de Boor et al is generalized to general discrete supports, using only elementary methods. We also study the asymptotic growth of sequences and arrays using the Fenchel transformation.