Coloring intersection graphs of arc-connected sets in the plane

A family of sets in the plane is simple if the intersection of its any subfamily is arc-connected, and it is pierced by a line $L$ if the intersection of its any member with $L$ is a nonempty segment. It is proved that the intersection graphs of simple families of compact arc-connected sets in the plane pierced by a common line have chromatic number bounded by a function of their clique number.


Introduction
A proper coloring of a graph is an assignment of colors to the vertices of the graph such that no two adjacent ones are assigned the same color. The minimum number of colors sufficient to color a graph G properly is called the chromatic number of G and denoted by χ(G). The maximum size of a clique (a set of pairwise adjacent vertices) in a graph G is called the clique number of G and denoted by ω(G). It is clear that χ(G) ω(G).
The chromatic and clique numbers of a graph can be arbitrarily far apart. There are various constructions of graphs that are triangle-free (have clique number 2) and still have arbitrarily large chromatic number. The first one was given in 1949 by Zykov [18], and the one perhaps best known is due to Mycielski [12]. However, these classical constructions require a lot of freedom in connecting vertices by edges, and many important classes of graphs derived from specific (e.g. geometric) representations have chromatic number bounded in terms of the clique number. A class of graphs is called χ-bounded if there is a function f : N → N such that χ(G) f (ω(G)) holds for any graph G from the class.
In this paper, we focus on the relation between the chromatic number and the clique number for geometric intersection graphs. The intersection graph of a family of sets F is the graph with vertex set F and edge set consisting of pairs of intersecting elements of F. We consider finite families F of arc-connected compact sets in the plane which are simple in the sense that the intersection of any subfamily of F is also arc-connected. We usually identify the family F with its intersection graph and use such terms as chromatic number, clique number or χ-boundedness referring directly to F.
In the one-dimensional case of subsets of R, the only arc-connected compact sets are closed intervals. They define the class of interval graphs, which have chromatic number equal to their clique number. The study of the chromatic number of intersection graphs of geometric objects in higher dimensions was initiated in the seminal paper of Asplund and Grünbaum [2], where they proved that the families of axis-aligned rectangles in R 2 are χ-bounded. On the other hand, Burling [3] showed that intersection graphs of axis-aligned boxes in R 3 with clique number 2 can have arbitrarily large chromatic number.
Since then, a lot of research focused on proving χ-boundedness of the families of geometric objects in the plane with various restrictions on the kind of objects considered, their positions, or the way they can intersect. Pach [13] proved that for every δ > 0, the families of convex compact sets in the plane that are δ-fat, which means that the ratio between the area of the set and the area of its minimum bounding disc is at least δ, are χ-bounded. Pach's result (with the area replaced by the volume and the disc replaced by the ball) actually holds in any Euclidean space R d . Gyárfás [6,7] proved that the families of chords of a circle are χ-bounded. This was generalized by Kostochka and Kratochvíl [9] to the families of convex polygons inscribed in a circle. Kim, Kostochka and Nakprasit [8] showed that every family F of homothets (uniformly scaled copies) of a fixed convex compact set in the plane satisfies χ(F) 6ω(F) − 6, while every family F of translates of a fixed convex compact set in the plane satisfies χ(F) 3ω(F) − 2. Aloupis et al. [1] proved that the families of pseudo-discs, that is, closed disc homeomorphs in the plane the boundaries of any two of which cross at most twice, are χ-bounded. Note that families of convex sets or pseudo-discs are simple. Fox and Pach [4] showed that the intersection graphs of any arc-connected compact sets in the plane that do not contain a fixed bipartite subgraph H have chromatic number bounded by a function of H. The above-mentioned results of [1,4,8,13] are actually stronger-they state that the number of edges of the intersection graph of a respective family F is bounded by f (ω(F))|F| for some function f .
A family of sets F is pierced by a line L if the intersection of any member of F with L is a nonempty segment. McGuinness [10] proved that the families of L-shapes (shapes consisting of a horizontal and a vertical segments of arbitrary lengths, forming the letter 'L') pierced by a fixed vertical line are χ-bounded. Later [11], he showed that the triangle-free simple families of compact arc-connected sets in the plane pierced by a common line have bounded chromatic number. Suk [17] proved χ-boundedness of the simple families of x-monotone curves intersecting a fixed vertical line. In this paper, we generalize the results of McGuinness, allowing any bound on the clique number, and of Suk, removing the x-monotonicity condition. Theorem 1. The class of simple families of compact arc-connected sets in the plane pierced by a common line is χ-bounded.
By contrast, Pawlik et al. [14,15] proved that there are intersection graphs of straight-line segments (or geometric sets of many other kinds) with clique number 2 and arbitrarily large chromatic number. This justifies the assumption of Theorem 1 that the sets are pierced by a common line. The best known upper bound on the chromatic number of simple families of curves in the plane with clique number ω is log n log ω O(log ω) due to Fox and Pach [5]. The bound on the chromatic number following from our proof of Theorem 1 is double exponential in terms of the clique number.
The ultimate goal of this quest is to understand the border line between the classes of graphs (and classes of geometric objects) that are χ-bounded and those that are not. In a preliminary version of this paper, we proposed the following two problems. Problem 1. Are the families (not necessarily simple) of x-monotone curves in the plane pierced by a common vertical line χ-bounded? Problem 2. Are the families of curves in the plane pierced by a common line χbounded?
Rok and Walczak [16] proved recently that the answers to both these questions are positive. However, the bound on the chromatic number in terms of the clique number resulting from their proof is enormous (greater than an exponential tower), which is much worse than the double exponential bound of Theorem 1.

Topological preliminaries
All the geometric sets that considered in this paper are assumed to be subsets of the Euclidean plane R 2 or, further in the paper, subsets of the closed upper halfplane R × [0, +∞). An arc between points x, y ∈ R 2 is the image of a continuous injective map φ : [0, 1] → R 2 such that φ(0) = x and φ(1) = y. A set X ⊂ R 2 is arc-connected if any two points of X are connected by an arc in X. The union of two arc-connected sets that have non-empty intersection is itself arc-connected. More generally, if X is a family of arc-connected sets whose intersection graph is connected, then X is arcconnected. For a set X ⊂ R 2 , the relation {(x, y) ∈ X 2 : X contains an arc between x and y} is an equivalence, whose equivalence classes are the arc-connected components of X. Every arc-connected component of an open set is itself an open set.
All families of sets that we consider are finite. A family F of sets in R 2 is simple if the intersection of any subfamily of F is arc-connected (possibly empty). A set X is simple with respect to a family Y if {X} ∪ Y is simple.

Lemma 2.
Let X be a compact arc-connected set and Y be a family of compact arcconnected sets such that X is simple with respect to Y and the intersections of the members of Y with X are pairwise disjoint. Between any points x 1 , x 2 ∈ X, there is an arc A ⊂ X that is simple with respect to Y.
Proof. Let Y = {Y 1 , . . . , Y n }. For i ∈ {0, . . . , n}, we construct an arc A i ⊂ X between x 1 and x 2 that is simple with respect to {Y 1 , . . . , Y i }. As X is arc-connected, we pick A 0 to be any arc between x 1 and x 2 within X. We construct A i from A i−1 as follows.
Otherwise, let y 1 and y 2 be respectively the first and the last points on A i−1 that belong to Y i (which exist as A i ∩ Y i is non-empty and compact). To obtain A i , replace the part of A i−1 between y 1 and y 2 by any arc between y 1 and y 2 in X ∩ Y i (which exists because X ∩ Y i is arc-connected). Clearly, A Jordan curve is the image of a continuous map φ : [0, 1] → R 2 such that φ(0) = φ(1) and φ is injective on [0, 1). The famous Jordan curve theorem states that if C ⊂ R 2 is a Jordan curve, then R 2 C has exactly two arc-connected components, one bounded and one unbounded. An extension of this, called Jordan-Schönflies theorem, adds that there is a homeomorphism of R 2 that maps C to a unit circle, the bounded arc-connected component of R 2 C to the interior of this circle, and the unbounded arc-connected component of R 2 C to the exterior of the circle. We will use a special case of the Jordan curve theorem for arcs in the closed upper halfplane R × [0, +∞). Namely, if x and y are two points on the horizontal axis R × {0} and A is an arc between x and y such that A {x, y} ⊂ R × (0, +∞), then the set (R × [0, +∞)) A has exactly two arc-connected components, one bounded and one unbounded. This in particular implies that for any four points x 1 , x 2 , y 1 and y 2 in this order on the horizontal axis, every arc in R × [0, +∞) between x 1 and y 1 intersects every arc in R × [0, +∞) between x 2 and y 2 .

Grounded families
In Theorem 1, a family F compact arc-connected sets in the plane is assumed to be pierced by a common line. We assume without loss of generality that this piercing line is the horizontal axis R × {0} and call it the baseline. The base of a set X, denoted by base(X), is the intersection of X with the baseline.
We fix a positive integer k and assume ω(F) k. The intersection graph of the bases of the members of F is an interval graph, so it can be properly colored with k colors. To find a proper coloring of F with a number of colors bounded in terms of k, we can restrict our attention to one color class in the coloring of this interval graph. Therefore, without loss of generality, we assume that no two members of F intersect on the baseline and show that F can be colored properly with a bounded number of colors. Moreover, it is clear that the families F + = {X ∩ (R × [0, +∞)) : X ∈ F} and F − = {X ∩ (R × (−∞, 0]) : X ∈ F} are simple. It suffices to obtain proper colorings φ + and φ − of F + and F − , respectively, with bounded numbers of colors, since then F may be colored by pairs (φ + , φ − ). We only focus on coloring F + , as F − can be handled by symmetry. To simplify notation, we rename F + to F. Therefore, each set X ∈ F is assumed to satisfy the following: • X is compact and arc-connected, and F is assumed to be simple. Any set that satisfies the conditions above is called grounded, and any simple family of grounded sets with pairwise disjoint bases is also called grounded (see Figure 1).
All the geometric sets that we consider from now on are contained in R × [0, +∞). To prove Theorem 1, it suffices to show the following.  The case k = 1 is trivial, and the case k = 2 with some additional assumptions meant to avoid topological pathologies was settled by McGuinness [11].
We write X ≺ Y if base(X) is entirely to the left of base(Y ). The relation ≺ is a total order on a grounded family and naturally extends to its subfamilies (or any other families of grounded sets with pairwise disjoint bases): for example, X ≺ Y denotes that X ≺ Y for any Y ∈ Y. For grounded sets X 1 and X 2 such that The proof of Proposition 3 heavily depends on two decomposition lemmas, which given a grounded family with large chromatic number find its subfamily with large chromatic number and some special properties. The first one is a reformulation of Lemma 2.1 in [10]. Proof. We partition F into subfamilies F 0 ≺ · · · ≺ F n so that χ(F i ) = b + 1 for 0 i < n. This can be done by adding sets to F 0 in the increasing ≺-order until we get χ(F 0 ) = b + 1, then following the same procedure with the remaining sets to form F 1 , and so on.
We now color each F 2i+k properly using the same set of b+ 1 colors. This coloring induces a partitioning of the entire F k into subfamilies For a set X, we define ext(X) to be the only unbounded arc-connected component of (R × [0, +∞)) X. For a grounded family F, we define ext(F) = ext( F). A subfamily G of a grounded family F is externally supported in F if for any X ∈ G there exists Y ∈ F such that Y ∩ X = ∅ and Y ∩ ext(G) = ∅ (see Figure 2). The idea behind the following lemma is due to Gyárfás [6] and was subsequently used in [10,11,17].
There is a subfamily G of F that is externally supported in F and satisfies χ(G) > a.
Proof. For convenience, we restrict F to its connected component with maximum chromatic number. Let X 0 be the ≺-least member of F. For i 0, let F i be the family of members of F that are at distance i from X 0 in the intersection graph of

Cliques and brackets
Let F be a grounded family with ω(F) k. A k-clique in F is a family of k pairwise intersecting members of F. For a k-clique K, we denote by int(K) the only arc-connected component of (R × [0, +∞)) K containing the part of the baseline between the two ≺-least members of K. A k-bracket in F is a subfamily of F consisting of a k-clique K and a set S called the support such that S ≺ K or K ≺ S and S ∩ int(K) = ∅. For such a k-bracket B, we denote by int(B) the only arc-connected component of (R × [0, +∞)) B containing the part of the baseline between S and K (see Figure 3). Lemma 6. Let F be a grounded family, X, Y, Z ∈ F, and X ∩ Y = ∅. Let C 1 and C 2 be any two distinct arc-connected components of (R × [0, +∞)) (X ∪ Y ). Let z, z ′ ∈ Z ∩ C 1 . If every arc between z and z ′ within Z intersects C 2 , then every such arc intersects both X and Y .

Proof. Suppose there is an arc
Let y and y ′ be respectively the first and last points of A in Y . Since Z ∩ Y is arc-connected, there is an arc A ′ in Z that is simple with respect to Y and goes along A from z to y, then to y ′ inside Y , and finally along A to z ′ . It follows that Corollary 7. Let F be a grounded family, K be a k-clique in F, and X ∈ F. If x, y ∈ X ∩ int(K) (or x, y ∈ X ∩ ext(K)) and every arc between x and y within X intersects ext(K) ( int(K), respectively), then X intersects every member of K.
The statement follows directly from Lemma 6 and the fact that int(K) and ext(K) belong to distinct arc-connected components of (R × [0, +∞)) (K 1 ∪ K i ) for 2 i k.
Corollary 8. Let F be a grounded family and B be a bracket in F with clique K and support S. Let X ∈ F. If X ∩ int(B) = ∅ and X ∩ ext(B) = ∅, then X intersects S or every member of K.
Proof. Let x ∈ X ∩ int(B) and x ′ ∈ X ∩ ext(B), and suppose X ∩ S = ∅. By the Jordan curve theorem, every arc between x and x ′ within X must intersect S ∪ int(K) and thus int(K). Since x, x ′ ∈ X ∩ ext(K), it follows from Corollary 7 that X intersects every member of K.

Proof of Proposition 3
The proof goes by induction on k. Proposition 3 holds trivially for k = 1 with ξ 1 = 1. Therefore, we assume that k 2 and that the statement of the proposition holds for k − 1. This context of the induction step is maintained throughout the entire remaining part of the paper. A typical application of the induction hypothesis looks as follows: if F is a grounded family with ω(F) k, G ⊂ F, and there is X ∈ F G intersecting all members of G, then ω(G) k − 1 and thus χ(G) ξ k−1 .
We say that a grounded set X (a grounded family X ) is surrounded by a set S if X (every member of X , respectively) is disjoint from S ∪ ext(S). For a set S and a grounded set R such that base(R) is surrounded by S, let cut(R, S) denote the closure of the unique arc-connected component of R S containing base(R). For a set S and a grounded family R of sets whose bases are surrounded by S, let cut(R, S) = {cut(R, S) : R ∈ R}.
First, we present a technical lemma, which generalizes similar statements from [11] (Lemma 3.2) and [17] (Lemma 4.1), and which we will prove in Section 6. Loosely speaking, it says that one can color properly, with the number of colors bounded in terms of k, all the members of F surrounded by a set S which intersect cut(R, S) for any set R ∈ F intersecting S. Lemma 9. Let S be a compact set and R ∪ D be a grounded family with the following properties: • the base of every member of R is surrounded by S, • every member of R intersects S, • D is surrounded by S, • every member of D intersects cut(R, S), • ω(R ∪ D) k.
Suppose for the sake of contradiction that there is a grounded family F with ω(F) k and χ(F) > ξ k = 2 k+2 (δ k,0 + 2ξ k−1 + 1). A repeated application of Lemma 5 yields a sequence of families F = F k+1 ⊃ F k ⊃ · · · ⊃ F 0 such that F i is externally supported in F i+1 and χ(F i ) > 2 i+1 (δ k,0 + 2ξ k−1 + 1), for 0 i k. The following claim is the core of the proof.
We show that S j ≺ G ′′ or G ′′ ≺ S j . Suppose that neither of these holds. It follows that base(S j ) is surrounded by S ′ , which yields S j ∈ R. Moreover, base(S j ) is surrounded by G ′′ , as the intersection graph of G ′′ is connected. Therefore, we have cut(S j , S ′ ) ∩ G ′′ = ∅, so there is X ∈ G ′′ such that X ∩ cut(S j , S ′ ) = ∅. This means that X ∈ D, which contradicts the definition of G ′′ . Now, we have S j ∩ int(K) ⊃ S j ∩ P = ∅ and S j ≺ K or K ≺ S j , so the k-clique K and the support S j form a k-bracket. Let S = S ′ ∪ K ∪ {S j }. If S j ≺ G ′′ , then S j ≺ X ≺ K. In this case, let G be the family of those members of X that are disjoint from K ∪ S j . It is clear that (i) holds. Since χ(X ) > δ k,j + (k + 1)ξ k−1 and the members of X intersecting K ∪ S j have chromatic number at most (k + 1)ξ k−1 , we have χ(G) > δ k,j , so (ii) holds. Since ext(S) ⊂ ext(K ∪ {S j }), it follows from Corollary 8 that every member of F intersecting ext(S) and some member of G intersects S j . p q Figure 4. The setting of the proof of Lemma 9: the set S with a dashed arc S ′ and three sets from R.
Hence (iv) holds. If G ′′ ≺ S j , then let G be the family of those members of Z that are disjoint from K ∪ S j . An analogous argument shows that (i), (ii), and (iv) are satisfied.
Let S, G, and S 1 , . . . , S k be as guaranteed by Claim 10 for j = k. By (ii), we have χ(G) > 0, so there is P ∈ G. Since F k is externally supported in F, there is S k+1 ∈ F such that S k+1 ∩ P = ∅ and S k+1 ∩ ext(S) = ∅. By (iii) and (iv), we conclude that S 1 , . . . , S k+1 pairwise intersect. This contradicts the assumption that ω(F) k, thus completing the proof of Proposition 3.

Proof of Lemma 9
The proof of Lemma 9 goes along similar lines to the proof of Lemma 4.1 in [17]. Since D is surrounded by S, there is an arc S ′ ⊂ S such that D is surrounded by S ′ . We can assume without loss of generality that base(S ′ ) = {p, q} for some points p and q on the baseline such that p ≺ D ≺ q. For every R ∈ R we have cut(R, S) ⊂ cut(R, S ′ ). Hence every member of D intersects cut(R, S ′ ) (see Figure 4). Claim 11. χ(cut(R, S ′ )) k.
Proof. Consider a relation < on cut(R, S ′ ) defined as follows: It is clear that < is irreflexive and antisymmetric. It is also transitive, which follows from the fact that if Therefore, < is a strict partial order. The intersection graph of cut(R, S ′ ) is the incomparability graph of <, so it is perfect, which implies χ(cut(R, S ′ )) = ω(cut(R, S ′ )) k.
By Claim 11, there is a coloring φ of R with k colors such that for any R 1 , R 2 ∈ R with φ(R 1 ) = φ(R 2 ), we have cut(R 1 , S ′ )∩cut(R 2 , S ′ ) = ∅. For a color c, let R c = {R ∈ R : φ(R) = c} and D c = {D ∈ D : D ∩ cut(R c , S ′ ) = ∅}. We are going to show that χ(D c ) 8ξ 2 k−1 . Once this is obtained, we will have χ(D) c χ(D c ) 8kξ 2 k−1 = β k . Since the sets cut(R, S ′ ) for R ∈ R c are pairwise disjoint, the curve S ′ and the families cut(R c , S ′ ) and D c satisfy the assumptions of Lemma 9. To simplify the notation, we assume for the remainder of the proof that S = S ′ , R = cut(R, S ′ ) for every R ∈ R c , R = cut(R c , S ′ ), and D = D c . By Jordan-Schönflies theorem, the segment pq and the arc S form a Jordan curve which is the boundary of a set J homeomorphic to a closed disc. In this new setting, S is an arc and R ∪ D is a grounded family with the following properties: • the base of every member of R is surrounded by S, • every member of R is contained in J and intersects S, • the members of R are pairwise disjoint, We enumerate the members of R as R 1 , . . . , R m in the ≺-order, that is, so that R 1 ≺ · · · ≺ R m . We are going to show that χ(D) 8ξ 2 k−1 . Claim 12. For 1 i < j m, any arc in J between R i and R j intersects all R i+1 , . . . , R j−1 .

Proof. Let A be an arc in J between points
A point x ∈ J is a neighbor of R i if there is an arc in J between x and R i disjoint from all R 1 , . . . , R m except R i . It follows from Claim 12 that each point in J is a neighbor of at most two consecutive sets of R 1 , . . . , R m . For 1 i < m, let I i denote the set of points in J that are neighbors of R i and R i+1 .

Claim 13. Any arc-connected subset of J intersects an interval of sets in the sequence
Proof. Let X be an arc-connected subset of J. First, we show that if X intersects R i and R i+1 , then it also intersects I i . This is guaranteed by the compactness of R i and R i+1 . Indeed, take a ⊂-minimal arc in J between R i and R i+1 . By Claim 12, the interior of this arc is disjoint from all R 1 , . . . , R m and therefore must lie in I i . Now, let i be the least index such that X ∩ (R i ∪ I i ) = ∅ and j be the greatest index such that X ∩ (I j−1 ∪ R j ) = ∅. Let A be an arc in X between points x i ∈ X ∩ (R i ∪ I i ) and x j ∈ X ∩ (I j−1 ∪ R j ). Since x i is a neighbor of R i , there is an arc A i ⊂ J between x i and R i disjoint from all R 1 , . . . , R m except R i . Similarly, since x j is a neighbor of R j , there is an arc A j ⊂ J between x j and R j disjoint from all R 1 , . . . , R m except R j . There is an arcĀ ⊂ A i ∪ A ∪ A j between R i and R j . By Claim 12,Ā intersects all R i+1 , . . . , R j−1 . But R i+1 , . . . , R j−1 are disjoint from A i and A j , hence they intersect A.
, it follows from Claim 13 that the parts of A from x to z and from z to y intersect R i . This and z / ∈ R i contradict the simplicity of A with respect to R i . Proof. Again, we present the proof only for leftclip(D). Let K be a clique in leftclip(D). By Claim 14, each member of K is arc-connected. Therefore, by Claim 13, each member of K intersects an interval of sets in the sequence R 1 , I 1 , . . . , R m−1 , I m−1 , R m , the first set in this interval being of the form R j . Since the members of K pairwise intersect, these intervals also pairwise intersect, which implies that they all contain a common R j . Thus K ∪ {R j } is a clique, and ω(R ∪ D) k yields |K| k − 1.
Since each member of D intersects at least one of R 1 , . . . , R m , we have D L ∪ D R = D. Therefore, it is enough to show that χ(D L ) 4ξ 2 k−1 and χ(D R ) 4ξ 2 k−1 . We only present the proof of χ(D R ) 4ξ 2 k−1 , as the proof of the other inequality is analogous. By Claims 14 and 15, rightclip(D R ) is a grounded family with clique number at most k − 1. This and the induction hypothesis yield χ(rightclip(D R )) ξ k−1 . We fix a coloring φ R of D R with ξ k−1 colors so that φ R (X) = φ R (Y ) for any X, Y ∈ D R with rightclip(X) ∩ rightclip(Y ) = ∅. Let M ⊂ D R be a family of sets having the same color in φ R . In particular, we have rightclip(X) ∩ rightclip(Y ) = ∅ for any X, Y ∈ M. It remains to prove that χ(M) 4ξ k−1 .
We show how to construct a coloring φ L of M with ξ k−1 colors such that leftclip(X)∩ leftclip(Y ) = ∅ for any X, Y ∈ M with φ L (X) = φ L (Y ). We exploit the fact that members of M have pairwise disjoint intersections with each R i to simplify the topology of M and R 1 , . . . , R m . Recall that S is an arc with base(S) = {p, q}. For 1 i m, by Lemma 2, there is an arc Q i ⊂ R i between base(R i ) and R i ∩ S that is simple with respect to M. We assume without loss of generality that base(Q i ) = {u i } and Q i ∩ S = {v i }. The points v 1 , . . . , v m occur in this order on S as moving from p to q. Moreover, the arcs Q 1 , . . . , Q m partition J into m + 1 sets J 0 , . . . , J m , each homeomorphic to a closed disc, so that J i−1 ∩ J i = Q i for 1 i m. It is clear that each arc-connected subset of J intersects an interval of sets in the sequence J 0 , Q 1 , J 1 , . . . , Q m , J m . Since Q 1 , . . . , Q m are simple with respect to M, so are J 0 , . . . , J m .
Since the sets J 0 , . . . , J m are homeomorphic to a closed disc and so are rectangles with bottom sides base(J 0 ), . . . , base(J m ), there are homeomorphisms µ 0 , . . . , µ m such that • µ i is constant on base(J i ) and maps J i onto a rectangle with bottom side base(J i ) for 0 i m, • µ i−1 and µ i agree on Q i for 1 i m. Thus µ 0 ∪ · · · ∪ µ m is a homeomorphism between J and a rectangle with bottom side base(J), and it extends to a homeomorphism µ of R×[0, +∞) whose restriction to each J i is µ i . Let τ 0 , . . . , τ m be horizontal translations such that τ 0 (u) ≺ · · · ≺ τ m (u) for a point u on the baseline. Let x 1 , . . . , x m be the x-coordinates of the points u 1 , . . . , u m , respectively, so that Note that J i ⊂Ĵ i and Q i ⊂Q i . For a set X, define where [Y, Z] denotes the rectangle with left side Y and right side Z. It is clear that the map X → X ⋆ preserves compactness and arc-connectedness and is compatible with unions and intersections. In particular, M ⋆ = {X ⋆ : X ∈ M} is a grounded family with intersection graph isomorphic to that of M (see Figure 6).
In the remainder of the proof, we will deal with M ⋆ and R ⋆ 1 , . . . , R ⋆ m , but for simplicity we relabel them to M and R 1 , . . . , R m , respectively. We also relabel I ⋆ 0 , . . . , I ⋆ m to I 0 , . . . , I m , Q ⋆ 1 , . . . , Q ⋆ m to Q 1 , . . . , Q m , S ⋆ to S, J ⋆ to J, and σ 0 (J 0 ), . . . , σ m (J m ) to J 0 , . . . , J m . The following properties clearly follow: • J 0 , . . . , J m are pairwise disjoint rectangles, • Q i is a rectangle whose left side is the right side of J i−1 and whose right side is the left side of J i , for 1 i m, • every arc-connected subset of J intersects an interval of sets in the sequence J 0 , Q 1 , J 1 , . . . , Q m , J m , • the intersection of any member of M with any J i is arc-connected, • the intersection of any member of M with any Q i is a rectangle or horizontal segment spanning the entire width of Q i . Proof. Let M i = {X ∈ M : X ∩ R i = ∅} for 1 i m. It follows that leftclip(X) = X I i for every X ∈ M i+1 M i and 1 i < m. We can assume without loss of generality that each member of M i+1 M i intersects Q i+1 for 1 i < m, as those that do not are isolated vertices in the intersection graph of leftclip(M) and thus do not influence the existence of M ′ .
For X ∈ M i+1 M i and 1 i < m, let X + denote the part of X to the right of Q i+1 including the right side of Q i+1 , that is, It follows that X + ⊂ leftclip(X) ⊂ X + ∪ R i+1 and X + is compact and arc-connected. For X ∈ M 1 , let X + = X = leftclip(X). Let M + = {X + : X ∈ M}. Since the intersections of the members of leftclip(M) with each R i+1 are pairwise disjoint, the intersection graphs of M + and leftclip(M) are isomorphic. We show how to extend the sets X + for which base(X + ) = base(leftclip(X)) = ∅ to connect them to the baseline without creating any new intersections (see Figure 6).
Let 1 i < m, X ∈ M i+1 M i , and base(X + ) = ∅. Thus base(X) ⊂ base(J i ). For every Y ∈ M i , it is an immediate consequnce of the Jordan curve theorem and arc-connectedness of X ∩ J i and (Y ∪ R i ) ∩ J i that Y ∩ Q i+1 is empty or lies above X ∩ Q i+1 . Therefore, we can connect X + to base(Q i+1 ) by an arc inside Q i+1 that is disjoint from any other Y + ∈ M + . Moreover, all these arcs for X ∈ M i+1 M i with base(X + ) = ∅ can be drawn so that they are pairwise disjoint. Doing so for all i with 1 i < m, we transform M + into a grounded family M ′ with intersection graph isomorphic to the intersection graph of M + and hence of leftclip(M).
Claim 16 allows us to use the induction hypothesis on leftclip(M) to obtain a coloring φ L of M with ξ k−1 colors such that leftclip(X) ∩ leftclip(Y ) = ∅ for any X, Y ∈ M with φ L (X) = φ L (Y ). Let N ⊂ M be a family of sets having the same color in φ L . In particular, we have leftclip(X) ∩ leftclip(Y ) = ∅ and rightclip(X) ∩ rightclip(Y ) = ∅ for any X, Y ∈ N . The following claim completes the proof of Lemma 9. The planarity argument used in the proof applies the ideas of McGuinness [11].
X to be the arc-connected component of ( N i ) ∩ J i containing X leftclip(X), for X ∈ N L i and 1 i < m, • C R X to be the arc-connected component of ( N i ) ∩ J i containing X rightclip(X), for X ∈ N R i and 1 i < m, • C to be the family of arc-connected components of ( N i ) ∩ J i for 1 i < m, that is, C = {C L X : X ∈ N L } ∪ {C R X : X ∈ N R }. For X ∈ N i and 1 i < m, the set X ∩ J i is arc-connected and thus entirely contained in one member of C. It is clear that C L X = C R X for X ∈ N L ∩ N R . Consider the graph G with vertex set C and edges connecting C L X and C R X for all X ∈ N L ∩ N R . We are to show that G is planar.
We construct sets V ⊂ E ⊂ N with the following properties: (i) V is a finite subset of C, (ii) E is a finite union of arcs with endpoints in V , pairwise disjoint outside of V , (iii) E ∩ C is arc-connected for every component C ∈ C, (iv) every X ∈ N L ∩ N R contains an arc in E between C L X and C R X . The construction proceeds by induction on the members of N . We start with V containing one (arbitrary) point in each member of C, and with E = V . They clearly satisfy (i)-(iii). Then, for each X ∈ N L ∩ N R , we enlarge V and E to satisfy the condition (iv) for X, as follows. Since C L X ∪ X ∪ C R X is arc-connected, there is an arc A ⊂ C L X ∪ X ∪ C R X between E ∩ C L X and E ∩ C R X . We can furthermore assume that A ∩ E ∩ C L X = {v L } and A ∩ E ∩ C R X = {v R }. This implies that A ∩ E = {v L , v R }, as X (C L X ∪ C R X ) is disjoint from any member of N {X}. We add v L and v R to V and A to E. After processing all X ∈ N L ∩ N R , the resulting sets V and E satisfy (i)-(iv).
We have thus obtained a planar representation of a graph H with vertex set V and edge set consisting of maximal arcs in E internally disjoint from V . It follows from (iii) that the subgraph of H induced on V ∩ C is connected for every C ∈ C. Consider the graph obtained from H by contracting V ∩ C for every C ∈ C. Its vertices represent members of C, and by (iv), its edges connect the vertices representing C L X and C R X for all X ∈ N L ∩ N R . Hence this graph is isomorphic to G. This shows that G is planar, as a contraction of a planar graph is planar. Since G is planar, there is a proper coloring φ of the vertices of G with four colors {1, 2, 3, 4}. Choose a coloring ψ : N → {1, 2, 3, 4} so that • if X ∈ N L , then ψ(X) = φ(C L X ), • if X ∈ N R , then ψ(X) = φ(C R X ). Such a coloring exists, because φ(C L X ) = φ(C R X ) for any X ∈ N L ∩ N R . To see that ψ is a proper coloring of N , consider some X, Y ∈ N such that X ≺ Y and X ∩ Y = ∅. Since φ L (X) = φ L (Y ) and φ R (X) = φ R (Y ) we have leftclip(X) ∩ leftclip(Y ) = ∅ and rightclip(X) ∩ rightclip(Y ) = ∅. Therefore, (X rightclip(X)) ∩ (Y leftclip(Y )) = X ∩ Y = ∅.
In particular, we have X ∈ N R and Y ∈ N L . The set X ∩ Y is arc-connected, so C R X = C L Y . This yields ψ(X) = φ(C R X ) = φ(C L Y ) = ψ(Y ).