A simplicial arrangement of pseudolines is a collection of topological lines in the projective plane where each region that is formed is triangular. This paper refines and develops David Eppstein’s notion of a kaleidoscope construction for symmetric pseudoline arrangements to construct and analyze several infinite families of simplicial pseudoline arrangements with high degrees of geometric sym...

We describe a linear-time algorithm that finds a planar drawing of every graph of a simple line or pseudoline arrangement within a grid of area O(n). No known input causes our algorithm to use area Ω(n ) for any > 0; finding such an input would represent significant progress on the famous k-set problem from discrete geometry. Drawing line arrangement graphs is the main task in the Planarity puz...

Given a line arrangement A with n lines, we show that there exists a path of length n/3−O(n) in the dual graph of A formed by its faces. This bound is tight up to lower order terms. For the bicolored version, we describe an example of a line arrangement with 3k blue and 2k red lines with no alternating path longer than 14k. Further, we show that any line arrangement with n lines has a coloring ...

The realizability problem for rank 3 oriented matroids (see [1]) is equivalent to the pseudoline stretchability problem (see [4]). This paper uses an example to illustrate a new approach to this problem. The main theorem of this paper, like the trigonometric form of Ceva’s theorem, shows a non-trivial relationship amongst the angles in a specific line arrangement figure (c). We work in polar co...

Introduction. A pseudoline is formed from a line by stretching the plane without tearing: it is the image of a line under a homeomorphism of the plane [13]. In arrangements of pseudolines, pairs of pseudolines intersect at most once and cross at their intersections. Pseudoline arrangements can be used to model sorting networks [1], tilings of convex polygons by rhombi [4], and graphs that have ...

We generalize the Hadwiger theorem on line transversals to collections of compact convex sets in the plane to the case where the sets are connected and the transversals form an arrangement of pseudolines. The proof uses the embeddability of pseudoline arrangements in topological affine planes. In 1940 Santaló showed [8], by an example, that Vincensini’s proof [9] of an extension of Helly’s theo...

Let G be a graph embedded in the plane and let A be an arrangement of pseudolines intersecting the drawing of G. An aligned drawing of G and A is a planar polyline drawing Γ of G with an arrangement A of lines so that Γ and A are homeomorphic to G and A. We show that if A is stretchable and every edge e either entirely lies on a pseudoline or intersects at most one pseudoline, then G and A have...

Refer to Figure 1. A monotone matching is a set of n segments, each the portion of a unique pseudoline, and each spanning a unique slab, such that the left endpoint of each segment is above the right endpoint of the segment in the previous slab. In addition, the point on the first vertical line is below the left endpoint of the first segment, and the point on the last vertical line is above the...

This thesis explores two specific topics of discrete geometry, the multitriangulations and the polytopal realizations of products, whose connection is the problem of finding polytopal realizations of a given combinatorial structure. A k-triangulation is a maximal set of chords of the convex n-gon such that no k+1 of them mutually cross. We propose a combinatorial and geometric study of multitri...

4 A drawing of a graph is pseudolinear if there is a pseudoline arrangement such that 5 each pseudoline contains exactly one edge of the drawing. The pseudolinear crossing 6 number c̃r(G) of a graph G is the minimum number of pairwise crossings of edges in 7 a pseudolinear drawing of G. We establish several facts on the pseudolinear crossing 8 number, including its computational complexity and i...