2019/08/22 by Pach, Janos, Tomon, Istvan
#Combinatorics (math.CO) #FOS: Mathematics
paper · doi:10.48550/arxiv.1908.08250
Given a family of curves C in the plane, its disjointness graph is the graph whose vertices correspond to the elements of C, and two vertices are joined by an edge if and only if the corresponding sets are disjoint. We prove that for every positive integer r and n, there exists a family of n curves whose disjointness graph has girth r and chromatic number Ω((1)/(r)log n). In the process we slightly improve Bollobás's old result on Hasse diagrams and show that our improved bound is best possible for uniquely generated partial orders.