Ordered graphs and large bi-cliques in intersection graphs of curves

An ordered graph $G_<$ is a graph with a total ordering $<$ on its vertex set. A monotone path of length $k$ is a sequence of vertices $v_1<v_2<\ldots<v_k$ such that $v_iv_{j}$ is an edge of $G_<$ if and only if $|j-i|=1$. A bi-clique of size $m$ is a complete bipartite graph whose vertex classes are of size $m$. We prove that for every positive integer $k$, there exists a constant $c_k>0$ such that every ordered graph on $n$ vertices that does not contain a monotone path of length $k$ as an induced subgraph has a vertex of degree at least $c_kn$, or its complement has a bi-clique of size at least $c_kn/\log n$. A similar result holds for ordered graphs containing no induced ordered subgraph isomorphic to a fixed ordered matching. As a consequence, we give a short combinatorial proof of the following theorem of Fox and Pach. There exists a constant $c>0$ such the intersection graph $G$ of any collection of $n$ $x$-monotone curves in the plane has a bi-clique of size at least $cn/\log n$ or its complement contains a bi-clique of size at least $cn$. (A curve is called $x$-monotone if every vertical line intersects it in at most one point.) We also prove that if $G$ has at most $\left(\frac14 -\epsilon\right){n\choose 2}$ edges for some $\epsilon>0$, then $\overline{G}$ contains a linear sized bi-clique. We show that this statement does not remain true if we replace $\frac14$ by any larger constants.

[1]  Nicolas Bousquet,et al.  The Erdős-Hajnal conjecture for paths and antipaths , 2015, J. Comb. Theory, Ser. B.

[2]  Maria Chudnovsky,et al.  Trees and linear anticomplete pairs , 2018, 1809.00919.

[3]  Vojtech Rödl,et al.  A Ramsey-Type Theorem for Orderings of a Graph , 1989, SIAM J. Discret. Math..

[4]  James R. Lee,et al.  Separators in region intersection graphs , 2016, ITCS.

[5]  Maria Chudnovsky,et al.  The Erdös–Hajnal Conjecture—A Survey , 2014, J. Graph Theory.

[6]  Miklós Simonovits,et al.  Supersaturated graphs and hypergraphs , 1983, Comb..

[7]  János Pach,et al.  String graphs and incomparability graphs , 2012, SoCG '12.

[8]  Janos Pach,et al.  On the Chromatic Number of Disjointness Graphs of Curves , 2018, SoCG.

[9]  Vojtech Rödl On universality of graphs with uniformly distributed edges , 1986, Discret. Math..

[10]  Bruce A. Reed,et al.  Almost All String Graphs are Intersection Graphs of Plane Convex Sets , 2018, Discrete & Computational Geometry.

[11]  S. E. Markosyan,et al.  ω-Perfect graphs , 1990 .

[12]  Jirí Matousek,et al.  Near-Optimal Separators in String Graphs , 2013, Combinatorics, Probability and Computing.

[13]  Csaba D. Tóth,et al.  Turán-type results for partial orders and intersection graphs of convex sets , 2010 .

[14]  István Tomon Turán-Type Results for Complete h-Partite Graphs in Comparability and Incomparability Graphs , 2016, Order.

[15]  Jorge Urrutia,et al.  Circle orders, N-gon orders and the crossing number , 1988 .

[16]  Paul Erdös,et al.  Ramsey-type theorems , 1989, Discret. Appl. Math..

[17]  Jacob Fox A Bipartite Analogue of Dilworth’s Theorem , 2006, Order.

[18]  János Pach,et al.  Comment on Fox news , 2006 .

[19]  János Pach,et al.  How Many Ways Can One Draw A Graph? , 2003, Comb..

[20]  János Pach,et al.  A bipartite analogue of Dilworth's theorem for multiple partial orders , 2009, Eur. J. Comb..