English

Separators in region intersection graphs

Combinatorics 2017-07-28 v3 Data Structures and Algorithms Metric Geometry

Abstract

For undirected graphs G=(V,E)G=(V,E) and G0=(V0,E0)G_0=(V_0,E_0), say that GG is a region intersection graph over G0G_0 if there is a family of connected subsets {RuV0:uV}\{ R_u \subseteq V_0 : u \in V \} of G0G_0 such that {u,v}E    RuRv\{u,v\} \in E \iff R_u \cap R_v \neq \emptyset. We show if G0G_0 excludes the complete graph KhK_h as a minor for some h1h \geq 1, then every region intersection graph GG over G0G_0 with mm edges has a balanced separator with at most chmc_h \sqrt{m} nodes, where chc_h is a constant depending only on hh. If GG additionally has uniformly bounded vertex degrees, then such a separator is found by spectral partitioning. A string graph is the intersection graph of continuous arcs in the plane. The preceding result implies that every string graph with mm edges has a balanced separator of size O(m)O(\sqrt{m}). This bound is optimal, as it generalizes the planar separator theorem. It confirms a conjecture of Fox and Pach (2010), and improves over the O(mlogm)O(\sqrt{m} \log m) bound of Matousek (2013).

Keywords

Cite

@article{arxiv.1608.01612,
  title  = {Separators in region intersection graphs},
  author = {James R. Lee},
  journal= {arXiv preprint arXiv:1608.01612},
  year   = {2017}
}

Comments

Minor fixes; references added

R2 v1 2026-06-22T15:12:33.954Z