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.

The relative projection constant${\it\lambda}(Y,X)$ of normed spaces $Y\subset X$ is ${\it\lambda}(Y,X)=\inf \{\Vert P\Vert :P\in {\mathcal{P}}(X,Y)\}$, where ${\mathcal{P}}(X,Y)$ denotes the set of all continuous projections from $X$ onto $Y$. By the well-known result of Bohnenblust, for every $n$-dimensional normed space $X$ and a subspace $Y\subset X$ of codimension one, ${\it\lambda}(Y,X)\leq 2-2/n$. The main goal of the paper is to study the equality case in the theorem of Bohnenblust. We establish an equivalent condition for the equality ${\it\lambda}(Y,X)=2-2/n$ and present several applications. We prove that every three-dimensional space has a subspace with the projection constant less than $\frac{4}{3}-0.0007$. This gives a nontrivial upper bound in the problem posed by Bosznay and Garay. In the general case, we give an upper bound for the number of ($n-1$)-dimensional subspaces with the maximal relative projection constant in terms of the facets of the unit ball of $X$. As a consequence, every $n$-dimensional normed space $X$ has an ($n-1$)-dimensional subspace $Y$ with ${\it\lambda}(Y,X)<2-2/n$. This contrasts with the separable case in which it is possible that every hyperplane has a maximal possible projection constant.

We give continuous separation theorems for convex sets in a real linear space equipped with a norm that can assume the value infinity. In such a space, it may be impossible to continuously strongly separate a point $p$ from a closed convex set not containing $p$, that is, closed convex sets need not be weakly closed. As a special case, separation in finite-dimensional extended normed spaces is considered at the outset.

Extremal problems for quadrangles circuminscribed in a circular annulus with the Poncelet porism property are considered. Quadrangles with the maximal and the minimal perimeters are determined. Two conjectures end the paper.

In this paper we establish concavity properties of two extensions of the classical notion of the outer parallel volume. On the one hand, we replace the Lebesgue measure by more general measures. On the other hand, we consider a functional version of the outer parallel sets.

We study properties of the so-called inner and outer successive radii of special families of convex bodies. First we consider the balls of the $p$-norms, for which we show that the precise value of the outer (inner) radii when $p\geq 2$ ($1\leq p\leq 2$), as well as bounds in the contrary case $1\leq p\leq 2$ ($p\geq 2$), can be obtained as consequences of known results on Gelfand and Kolmogorov numbers of identity operators between finite-dimensional normed spaces. We also prove properties that successive radii satisfy when we restrict to the families of the constant width sets and the $p$-tangential bodies.