Arrangement of Pseudolines.
A pseudoline in the Euclidean plane is a curve extending from negative infinity to positive infinity. An arrangement of pseudolines is a family of pseudolines where each pair of pseudolines has a unique point of intersection (called ‘vertex’). An arrangement is simple if no three pseudolines have a common point of intersection, see Fig. 1 (left). Here the term arrangement always means simple arrangement if not specified otherwise. Two arrangements are isomorphic if they can be mapped onto each other by a homeomorphism of the plane; see Fig. 1.
There are several representations and encodings of pseudoline arrangements. These representations help one count the number of arrangements. Three classic representations are: allowable sequences (introduced by Goodman and Pollack, see, e.g., [9, 10]), wiring diagrams (see for instance ), and zonotopal tilings (see for instance ). A wiring diagram is an Euclidean arrangement of pseudolines consisting of piece-wise linear ‘wires’, each horizontal except for a short segment where it crosses another wire. Each pair of wires cross only once. The wiring diagram in Fig. 1 (center) represents the arrangement . The above representations have been shown to be equivalent; bijective proofs to this effect can be found in . Wiring diagrams are also known as reflection networks,i.e., networks the bring wires labeled from to into their reflection by means of performing switches of adjacent wires; see [13, p. 35]. Lastly, they are also known under the name of primitive sorting networks; see [14, Ch. 5.3.4]. The number of such networks is denoted by (a closed formula is given later in this section).
Upper bounds on the number of pseudoline arrangements.
Felsner  used a horizontal encoding of an arrangement in order to estimate . An arrangement can be represented by a sequence of horizontal cuts. The th cut is the list of the pseudolines crossing the th pseudoline in the order of the crossings. Using this approach, Felsner [5, Thm. 1] obtained the upper bound . The author [5, Thm. 2] refined this bound by using replace matrices. A replace matrix is a binary matrix with the properties for all and for all . Using this technique, he established the upper bound .
In his seminal paper on the topic, Knuth  took a vertical approach for encoding. Let be an arrangement of pseudolines. Adding a th pseudoline to , we get , an arrangement of pseudolines. The course of the th pseudoline describes a vertical cutpath from top to bottom. The number of arrangements of such that is isomorphic to is exactly the number of cutpaths in . Let denote the number of cutpaths in an arrangement of pseudolines. Therefore, one has ; and . Knuth  proved that , concluding that and thus ; this computation can be streamlined so that it yields , see . Knuth also conjectured that , but this was refuted by Ondr̆ej Bílka in 2010 ; see also [7, p. 147]. Felsner and Valtr  proved a refined result, , by a careful analysis. This yields , which is the current best upper bound.
Lower bounds on the number of pseudoline arrangements.
Knuth [13, p. 37] gave a recursive construction in the setting of reflection networks. The number of nonisomorphic arrangements in his construction, thus also , obeys the recurrence
By induction this yields .
is odd). Thelines in the two extreme bundles form a regular grid of points. The lines in the central bundle are incident to of these grid points. At each such point, there are choices; going below it or above it, thus creating at least binary choices. Thus obeys the recurrence
which by induction yields .
Felsner and Valtr  used rhombic tilings of a centrally symmetric hexagon in an elegant recursive construction for a lower bound on . Consider a set of pseudolines partitioned into the following three parts: , , , see Fig. 3111Figure reproduced from .. A partial arrangement is called consistent if any two pseudolines from two different parts always cross but any two pseudolines from the same part never cross.
The zonotopal duals of consistent partial arrangements are rhombic tilings of the centrally symmetric hexagon with side lengths . The enumeration of rhombic tilings of was solved by MacMahon  (see also ), who showed that the number of tilings is
A nontrivial (and quite involved) derivation using integral calculus shows that
Assuming to be a multiple of in the recursion step, the construction yields the lower bound recurrence
Let denote the total number of wiring diagrams with wires (also known as reflection networks), and then is also the corresponding number of equivalence classes (see [13, p. 35]). Stanley  established the following closed formula for :
Table 1 shows the exact values of and , and their growth rate (up to four digits after the decimal point) with respect to , for small values of . The values of for to are from [13, p. 35] and the values of , , and are from ,  and , respectively; the values of , , and have been added recently, see [12, 18]. Observe that grows much faster than .
Here we extend the method used by Matoušek in his grid construction; observe that it uses lines of slopes. In Sections 2 (the 2nd part) and 3, we use lines of and different slopes in hexagonal type constructions; yielding lower bounds and for large , respectively. In Sections A and B, we use lines of and different slopes in rectangular type constructions; yielding the lower bounds and for large , respectively. While the construction in Section 3 gives a better bound, the one in Section 2 is easier to analyze. For each of the two styles, rectangular and hexagonal, the constructions are presented in increasing order of complexity. Our main result is summarized in the following.
Let be the number of arrangements of pseudolines. Then , for some constant . In particular, for large .
Outline of the proof.
We construct a line arrangement using lines of different slopes (for a small ). Let or (whichever is odd). Each bundle consists of equidistant lines in the corresponding parallel strip; remaining lines are discarded, or not used in the counting. A crossing point is an -wise crossing if it is incident to exactly lines. Let denote the number -wise crossings where each bundle consists of lines. Our goal is to estimate for each . Then we can locally replace the lines around each -wise crossing with any of the nonisomorphic pseudoline arrangements; and further apply recursively this construction to each of the bundles of parallel lines exiting this junction. This yields a simple pseudoline arrangement for each possible replacement choice. Consequently, the number of nonisomorphic pseudoline arrangements in this construction, say, , satisfies the recurrence:
where is a multiplicative factor counting the number of choices in this junction.
In a comprehensive recent paper, Kync̆l  obtained estimates on the number of isomorphism classes of simple topological graphs that realize various graphs
. The author remarks that it is probably hard to obtain tight estimates on this quantity, “given that even for pseudoline arrangements, the best known lower and upper bounds on their number differ significantly”. While our improvements aren’t spectacular, it seems however likely that some of the techniques we used here can be employed to obtain sharper lower bounds for topological graph drawings too.
Notations and formulas used.
For two similar figures , let denote their similarity ratio. For a planar region , let denote its area. By slightly abusing notation, let denote the area of the triangle made by three lines , and . Assume that the equations of the three lines are , for , respectively. Then
Let denote the parallelogram made by the pairs of parallel lines and . Throughout this paper, is the logarithm in base of .
2 Preliminary constructions
Warm-up: a rectangular construction with slopes.
We start with a simple rectangular construction with bundles of parallel lines whose slopes are ; see Fig. 4. Let be the unit square we work with. The axes of all parallel strips are all incident to the center of . The final construction is obtained by a small clockwise rotation, so that there are no vertical lines.
Let , for , denote the area of the region covered by exactly of the strips. It is easy to see that , and obviously . Observe that is proportional to , for ; taking the boundary effect into account, we have
Hexagonal construction with slopes.
This construction yields the lower bound for large . Let be a regular hexagon of unit side. Consider bundles of parallel lines whose slopes are ; see Fig. 5 (left). Three parallel strips are bounded by the pairs of lines supporting opposite sides of , while the other three parallel strips are bounded by the pairs of lines supporting opposite short diagonals of . The axes of all six parallel strips are all incident to the center of the circle.
Assume a coordinate system where the lower left corner of is at the origin, and the lower side of lies along the -axis. Let be the partition of into six bundles of parallel lines. The lines in are contained in the parallel strip bounded by the two lines and , for . The equation of line is , with , , given in Fig 5 (right).
We refer to lines in as the primary lines, and to lines in as secondary lines. The final construction is obtained by a small clockwise rotation, so that there are no vertical lines. Observe that
the distance between consecutive lines in any of the bundles of primary lines is ;
the distance between consecutive lines in any of the bundles of secondary lines is .
Let and denote the basic parallelogram (resp., triangle) determined by the lines in ; the side length of is . Let be the smaller regular hexagon made by the short diagonals of ; the similarity ratio is equal to . Recall that (i) the area of an equilateral triangle of side is ; and (ii) the area of a regular hexagon of side is ; as such, we have
Let , for , denote the area of the region covered by exactly of the strips. The following observations are in order: (i) the six isosceles triangles based on the sides of inside have unit base and height ; (ii) the six smaller equilateral triangles incident to the vertices of have side-length . These observations imply
Observe that . Recall that denote the number -wise crossings where each bundle consists of lines. Observe that is proportional to , for . Indeed, is equal to the number of -wise crossings of the primary lines that lie in a region covered by parallel strips, which is roughly equal to the ratio , for . More precisely, taking also the boundary effect of the relevant regions into account, we obtain
For estimating , the situation is little bit different, namely, in addition to considering -wise crossings of the primary lines, we also observe -wise crossings of the secondary lines at the centers of the small equilateral triangles contained in . See Fig. 6. It follows that
The values of , for , are summarized in Table 2; for convenience the linear terms are omitted. Since , can be also viewed as a function of .
3 Hexagonal construction with slopes
This construction yields the lower bound for large , which is our main result in Theorem 1. Let be a regular hexagon of unit side. Consider bundles of parallel lines whose slopes are , , , , , . The axes of all parallel strips are all incident to the center of the circle created by the vertices of ; see Figs. 7 and 8.
Assume a coordinate system where the lower left corner of is at the origin, and the lower side of lies along the -axis. Let be the partition of into bundles of parallel lines. The lines in are contained in the parallel strip bounded by the two lines and , for . The equation of line is , with , , given in Table 3.
, and are bounded by the pairs of lines supporting opposite sides of , while , and are bounded by the pairs of lines supporting opposite short diagonals of . Therefore .
We refer to lines in as the primary lines, to lines in as the secondary lines, and to the rest of the lines in as the tertiary lines. The final construction is obtained by a small clockwise rotation, so that there are no vertical lines. Observe that the distance between consecutive lines in any of the bundles of
primary lines is ;
secondary lines is ;
tertiary lines is .
We refer to the intersection points of the primary lines as grid vertices. There are two types of grid vertices: the grid vertices in are intersection of primary lines and the ones outside are intersection of primary lines.
Let and denote the basic parallelogram (resp., triangle) determined by the primary lines (i.e., lines in ); the side length of is . We refer to these basic parallelograms as grid cell. Recall that (i) the area of an equilateral triangle of side is ; and (ii) the area of a regular hexagon of side is ; as such, we have
Let , for , denote the area of the region covered by exactly of the strips. Recall that denotes the area of the triangle made by , and .
Observe that is the area of the -gon . This -gon is not regular, since consecutive vertices lie on two concentric cycles of radii and centered at . So is the sum of the areas of congruent triangles; each with one vertex at the center of and other two as the two consecutive vertices of the -gon. Each of these triangles have area . Therefore,
Observe that the region whose area is consists of the hexagon and triangles outside . Therefore,
Recall that denotes the number -wise crossings where each bundle consists of lines. Observe that is proportional to , for ; indeed, is equal to the number of grid vertices that lie in a region covered by parallel strips, which is roughly equal to the ratio , for . More precisely, taking also the boundary effect of the relevant regions into account, we obtain
For , not all -wise crossings are at the grid vertices. There are types of such crossings in total; see Fig. 9. Types through are -wise crossings and types through are -wise crossings. The bundles intersecting at each of these types of vertices are listed in Table 4. For , let denote the weighted area containing all the crossings of type ; where the weight is the number of crossings per grid cell. To complete the estimates of for , we calculate for all from the bundles intersecting at crossings of type . The values are collected in Table 5. Observe that for two parallel strips and , the area of their intersection is ; recall that denotes the parallelogram made by the two pairs of parallel lines