On the Minimum Size of a Point Set Containing a 5-Hole and a Disjoint 4-Hole

Let H(k; l), k ≤ l denote the smallest integer such that any set of H(k; l) points in the plane, no three on a line, contains an empty convex k-gon and an empty convex l-gon, which are disjoint, that is, their convex hulls do not intersect. Hosono and Urabe [JCDCG, LNCS 3742, 117–122, 2004] proved that 12 ≤ H(4, 5) ≤ 14. Very recently, using a Ramseytype result for disjoint empty convex polygons proved by Aichholzer et al. [Graphs and Combinatorics, Vol. 23, 481–507, 2007], Hosono and Urabe [Kyoto CGGT, LNCS 4535, 90–100, 2008] improve the upper bound to 13. In this paper, with the help of the same Ramsey-type result, we prove that H(4; 5) = 12

On weighted sums of numbers of convex polygons in point sets

The version of record of this article, first published in Discrete & Computational Geometry, is available online at Publisher’s website: https://doi.org/10.1007/s00454-022-00395-8Let S be a set of n points in general position in the plane, and let Xk,(S) be the number of convex k-gons with vertices in S that have exactly points of S in their interior. We prove several equalities for the numbers Xk,(S). This problem is related to the Erd¿os–Szekeres theorem. Some of the obtained equations also extend known equations for the numbers of empty convex polygons to polygons with interior points. Analogous results for higher dimension are shown as well.Research of C.H. was partially supported by project MTM2015-63791-R (MINECO/ FEDER), PID-2019-104129GB-I00/MCIN/AEI/10.13039/501100011033, and by project Gen. Cat. DGR 2017SGR1336. D.O. was partially supported by project PAPIIT IG100721 and CONACyT 282280. P. P-L. was partially supported by project DICYT 041933PL Vicerrectoría de Investigación, Desarrollo e Innovación USACH (Chile), and Programa Regional STICAMSUD 19-STIC-02. Research of B.V. was partially supported by the Austrian Science Fund (FWF) within the collaborative DACH project Arrangements and Drawings as FWF Project I 3340-N35. We thank an anonymous referee for helpful comments. This project has been supported by the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 734922Postprint (author's final draft

09111 Abstracts Collection -- Computational Geometry

From March 8 to March 13, 2009, the Dagstuhl Seminar 09111 ``Computational Geometry \u27\u27 was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

An Almost Optimal Bound on the Number of Intersections of Two Simple Polygons

What is the maximum number of intersections of the boundaries of a simple m-gon and a simple n-gon? This is a basic question in combinatorial geometry, and the answer is easy if at least one of m and n is even: If both m and n are even, then every pair of sides may cross and so the answer is mn. If exactly one polygon, say the n-gon, has an odd number of sides, it can intersect each side of the m-gon polygon at most n−1 times; hence there are at most mn−m intersections. It is not hard to construct examples that meet these bounds. If both m and n are odd, the best known construction has mn−(m+n)+3 intersections, and it is conjectured that this is the maximum. However, the best known upper bound is only mn−(m+⌈n/6⌉), for m≥n. We prove a new upper bound of mn−(m+n)+C for some constant C, which is optimal apart from the value of C

Convex Hulls of Random Order Types

We establish the following two main results on order types of points in general position in the plane (realizable simple planar order types, realizable uniform acyclic oriented matroids of rank 3): (a) The number of extreme points in an n-point order type, chosen uniformly at random from all such order types, is on average 4+o(1). For labeled order types, this number has average 4-8/(n^2 - n +2) and variance at most 3. (b) The (labeled) order types read off a set of n points sampled independently from the uniform measure on a convex planar domain, smooth or polygonal, or from a Gaussian distribution are concentrated, i.e., such sampling typically encounters only a vanishingly small fraction of all order types of the given size. Result (a) generalizes to arbitrary dimension d for labeled order types with the average number of extreme points 2d+o(1) and constant variance. We also discuss to what extent our methods generalize to the abstract setting of uniform acyclic oriented matroids. Moreover, our methods allow to show the following relative of the Erd?s-Szekeres theorem: for any fixed k, as n ? ?, a proportion 1 - O(1/n) of the n-point simple order types contain a triangle enclosing a convex k-chain over an edge. For the unlabeled case in (a), we prove that for any antipodal, finite subset of the 2-dimensional sphere, the group of orientation preserving bijections is cyclic, dihedral or one of A?, S? or A? (and each case is possible). These are the finite subgroups of SO(3) and our proof follows the lines of their characterization by Felix Klein

An Almost Optimal Bound on the Number of Intersections of Two Simple Polygons

What is the maximum number of intersections of the boundaries of a simple m-gon and a simple n-gon? This is a basic question in combinatorial geometry, and the answer is easy if at least one of m and n is even: If both m and n are even, then every pair of sides may cross and so the answer is mn. If exactly one polygon, say the n-gon, has an odd number of sides, it can intersect each side of the m-gon polygon at most n−1 times; hence there are at most mn−m intersections. It is not hard to construct examples that meet these bounds. If both m and n are odd, the best known construction has mn−(m+n)+3 intersections, and it is conjectured that this is the maximum. However, the best known upper bound is only mn−(m+⌈n/6⌉), for m≥n. We prove a new upper bound of mn−(m+n)+C for some constant C, which is optimal apart from the value of C

Twin-width VIII: delineation and win-wins

We introduce the notion of delineation. A graph class $\mathcal C$ is said delineated if for every hereditary closure $\mathcal D$ of a subclass of $\mathcal C$, it holds that $\mathcal D$ has bounded twin-width if and only if $\mathcal D$ is monadically dependent. An effective strengthening of delineation for a class $\mathcal C$ implies that tractable FO model checking on $\mathcal C$ is perfectly understood: On hereditary closures $\mathcal D$ of subclasses of $\mathcal C$, FO model checking is fixed-parameter tractable (FPT) exactly when $\mathcal D$ has bounded twin-width. Ordered graphs [BGOdMSTT, STOC '22] and permutation graphs [BKTW, JACM '22] are effectively delineated, while subcubic graphs are not. On the one hand, we prove that interval graphs, and even, rooted directed path graphs are delineated. On the other hand, we show that segment graphs, directed path graphs, and visibility graphs of simple polygons are not delineated. In an effort to draw the delineation frontier between interval graphs (that are delineated) and axis-parallel two-lengthed segment graphs (that are not), we investigate the twin-width of restricted segment intersection classes. It was known that (triangle-free) pure axis-parallel unit segment graphs have unbounded twin-width [BGKTW, SODA '21]. We show that $K_{t,t}$-free segment graphs, and axis-parallel $H_t$-free unit segment graphs have bounded twin-width, where $H_t$ is the half-graph or ladder of height $t$. In contrast, axis-parallel $H_4$-free two-lengthed segment graphs have unbounded twin-width. Our new results, combined with the known FPT algorithm for FO model checking on graphs given with $O(1)$-sequences, lead to win-win arguments. For instance, we derive FPT algorithms for $k$-Ladder on visibility graphs of 1.5D terrains, and $k$-Independent Set on visibility graphs of simple polygons.Comment: 51 pages, 19 figure

Discrete Geometry and Convexity in Honour of Imre Bárány

This special volume is contributed by the speakers of the Discrete Geometry and Convexity conference, held in Budapest, June 19–23, 2017. The aim of the conference is to celebrate the 70th birthday and the scientific achievements of professor Imre Bárány, a pioneering researcher of discrete and convex geometry, topological methods, and combinatorics. The extended abstracts presented here are written by prominent mathematicians whose work has special connections to that of professor Bárány. Topics that are covered include: discrete and combinatorial geometry, convex geometry and general convexity, topological and combinatorial methods. The research papers are presented here in two sections. After this preface and a short overview of Imre Bárány’s works, the main part consists of 20 short but very high level surveys and/or original results (at least an extended abstract of them) by the invited speakers. Then in the second part there are 13 short summaries of further contributed talks. We would like to dedicate this volume to Imre, our great teacher, inspiring colleague, and warm-hearted friend