Arrangements of Pseudocircles: On Digons and Triangles (2208.12110v1)

Abstract: In this article, we study the cell-structure of simple arrangements of pairwise intersecting pseudocircles. The focus will be on two problems from Gr\"unbaum's monograph from the 1970's. First, we discuss the maximum number of digons or touching points. Gr\"unbaum conjectured that there are at most $2n-2$ digon cells or equivalently at most $2n-2$ touchings. Agarwal et al. (2004) verified the conjecture for cylindrical arrangements. We show that the conjecture holds for any arrangement which contains three pseudocircles that pairwise form a touching. The proof makes use of the result for cylindrical arrangements. Moreover, we construct non-cylindrical arrangements which attain the maximum of $2n-2$ touchings and have no triple of pairwise touching pseudocircles. Second, we discuss the minimum number of triangular cells (triangles) in arrangements without digons and touchings. Felsner and Scheucher (2017) showed that there exist arrangements with only $\lceil \frac{16}{11}n \rceil$ triangles, which disproved a conjecture of Gr\"unbaum. Here we provide a construction with only $\lceil \frac{4}{3}n \rceil$ triangles. A corresponding lower bound was obtained by Snoeyink and Hershberger (1991).