We establish power-series expansions for the asymptotic expectations of the vertex number and missed area of random disc-polygons in planar convex bodies with $C^{k+1}_+$-smooth boundaries. These results extend asymptotic formulas proved in Fodor et al. (2014).

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.

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*} $$

We describe the parameter spaces of some families of quadrilaterals, such as parallelograms, rectangles, rhombuses, cyclic quadrilaterals and trapezoids. For this purpose, we prove that the closed $n$-disc $\mathbb{D}^{n}$ is the unique topological $n$-manifold (with boundary) whose boundary and interior are homeomorphic to $\mathbb{S}^{n-1}$ and $\mathbb{R}^{n}$, respectively. Roughly speaking, our main result states that the natural compactifications of the parameter spaces of cyclic quadrilaterals and of trapezoids, modulo similarity, are both homeomorphic to $\mathbb{D}^{3}$.

We provide a unified approach that encompasses some integral formulas for functions of the visual angle of a compact convex set due to Crofton, Hurwitz and Masotti. The basic tool is an integral formula that also allows us to integrate new functions of the visual angle. Also, we establish some upper and lower bounds for the considered integrals, generalizing, in particular, those obtained by Santaló for Masotti’s integral.

We prove a reverse Faber–Krahn inequality for the Cheeger constant, stating that every convex body in ℝ2 has an affine image such that the product between its Cheeger constant and the square root of its area is not larger than the same quantity for the regular triangle. An analogous result holds for centrally symmetric convex bodies with the regular triangle replaced by the square. We also prove a Mahler-type inequality for the Cheeger constant, stating that every axisymmetric convex body in ℝ2 has a linear image such that the product between its Cheeger constant and the Cheeger constant of its polar body is not larger than the same quantity for the square.

The aim of this note is to study octahedrality in vector-valued Lipschitz-free Banach spaces on a metric space, under topological hypotheses on it, by analysing the weak-star strong diameter 2 property in Lipschitz function spaces. Also, we show an example that proves that our results are optimal and that octahedrality in vector-valued Lipschitz-free Banach spaces actually relies on the underlying metric space as well as on the Banach one.

We show that the maximum number of convex polygons in a triangulation of n points in the plane is O(1.5029n). This improves an earlier bound of O(1.6181n) established by van Kreveld, Löffler and Pach (2012), and almost matches the current best lower bound of Ω(1.5028n) due to the same authors. Given a planar straight-line graph G with n vertices, we also show how to compute efficiently the number of convex polygons in G.

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.

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.

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.

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.

For $S\,\subseteq \,{{\mathbb{R}}^{n}}$ a set $C\,\subseteq \,S$ is an $m$-clique if the convex hull of no $m$-element subset of $C$ is contained in $S$. We show that there is essentially just one way to construct a closed set $S\,\subseteq \,{{\mathbb{R}}^{2}}$ without an uncountable 3-clique that is not the union of countably many convex sets. In particular, all such sets have the same convexity number; that is, they require the same number of convex subsets to cover them. The main result follows from an analysis of the convex structure of closed sets in ${{\mathbb{R}}^{2}}$ without uncountable 3-cliques in terms of clopen, ${{P}_{4}}$-free graphs on Polish spaces.

We solve a randomized version of the following open question: is there a strictly convex, bounded curve $\gamma \subset { \mathbb{R} }^{2} $ such that the number of rational points on $\gamma $, with denominator $n$, approaches infinity with $n$? Although this natural problem appears to be out of reach using current methods, we consider a probabilistic analogue using a spatial Poisson process that simulates the refined rational lattice $(1/ d){ \mathbb{Z} }^{2} $, which we call ${M}_{d} $, for each natural number $d$. The main result here is that with probability $1$ there exists a strictly convex, bounded curve $\gamma $ such that $\vert \gamma \cap {M}_{d} \vert \rightarrow + \infty , $ as $d$ tends to infinity. The methods include the notion of a generalized affine length of a convex curve as defined by F. V. Petrov [Estimates for the number of rational points on convex curves and surfaces. Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 344 (2007), 174–189; Engl. transl. J. Math. Sci. 147(6) (2007), 7218–7226].

For an arbitrary subset $X$ of a finite-dimensional real Banach space $E$, the ball intersection with parameter $\lambda \gt 0$ is defined as the intersection of all balls of radius $\lambda $ whose centers are in $X$. On the other hand, the intersection of all balls of radius $\lambda $ that contain $X$ is said to be the respective ball hull. We present new results on these two notions and use them to get new insights into complete sets and (pairs of) sets of constant width, e.g., their representation as vector sums of suitable ball intersections and ball hulls. Also in this framework, we give partial answers to the known question, in what finite-dimensional real Banach spaces any complete set is of constant width. For polyhedral norms we obtain characterizations of monotypic balls via constant width properties of pairs formed by the ball intersection and ball hull of the same bounded and non-empty set. Finally, we present some new results on Borsuk numbers of sets of constant width in normed spaces, closely related to (unique) completions of compact sets. For example, the lower estimate on Borsuk numbers of bodies of constant width due to Lenz is extended to arbitrary normed spaces. Furthermore, we also derive the Borsuk number of the normed space with maximum norm.

We extend the notion of Zindler curve from the Euclidean plane to normed planes. A characterization of Zindler curves for general normed planes is given, and the relation between Zindler curves and curves of constant area-halving distances in such planes is discussed.

The covariogram of a compact set A⊂ℝn is the function that to each x∈ℝn associates the volume of A∩(A+x). Recently it has been proved that the covariogram determines any planar convex body, in the class of all convex bodies. We extend the class of sets in which a planar convex body is determined by its covariogram. Moreover, we prove that there is no pair of non-congruent planar polyominoes consisting of less than nine points that have equal discrete covariograms.

This article considers a family of functionals J to be maximized over the planar convex sets K for which the perimeter and Steiner point have been fixed. Assuming that J is the integral of a positive quadratic expression in the support function h and its derivative, the maximizer is always either a triangle or a line segment (which can be considered as a collapsed triangle). Among the concrete consequences of the main theorem is the fact that, given any convex body K1 of finite perimeter, the set in this class that is farthest away in the sense of the L2 distance is always a line segment. The same property is proved for the Hausdorff distance.

In the Euclidean plane ${{\mathbb{R}}^{2}}$, we define the Minkowski difference $\mathcal{K}-\mathcal{L}$ of two arbitrary convex bodies $\mathcal{K},\mathcal{L}$ as a rectifiable closed curve ${{\mathcal{H}}_{h}}\subset {{\mathbb{R}}^{2}}$ that is determined by the difference $h={{h}_{K}}-{{h}_{\mathcal{L}}}$ of their support functions. This curve ${{\mathcal{H}}_{h}}$ is called the hedgehog with support function $h$. More generally, the object of hedgehog theory is to study the Brunn–Minkowski theory in the vector space of Minkowski differences of arbitrary convex bodies of Euclidean space ${{\mathbb{R}}^{n+1}}$, defined as (possibly singular and self-intersecting) hypersurfaces of ${{\mathbb{R}}^{n+1}}$. Hedgehog theory is useful for: (i) studying convex bodies by splitting them into a sum in order to reveal their structure; (ii) converting analytical problems into geometrical ones by considering certain real functions as support functions. The purpose of this paper is to give a detailed study of plane hedgehogs, which constitute the basis of the theory. In particular: (i) we study their length measures and solve the extension of the Christoffel–Minkowski problem to plane hedgehogs; (ii) we characterize support functions of plane convex bodies among support functions of plane hedgehogs and support functions of plane hedgehogs among continuous functions; (iii) we study the mixed area of hedgehogs in ${{\mathbb{R}}^{2}}$ and give an extension of the classical Minkowski inequality (and thus of the isoperimetric inequality) to hedgehogs.

We prove that a Minkowski plane is Euclidean if and only if Busemann's or Glogovskij's definitions of angular bisectors coincide with a bisector defined by an angular measure in the sense of Brass. In addition, bisectors defined by the area measure coincide with bisectors defined by the circumference (arc length) measure if and only if the unit circle is an equiframed curve.