The Generalised Colouring Numbers on Classes of Bounded Expansion

The generalised colouring numbers $\mathrm{adm}_r(G)$, $\mathrm{col}_r(G)$, and $\mathrm{wcol}_r(G)$ were introduced by Kierstead and Yang as generalisations of the usual colouring number, also known as the degeneracy of a graph, and have since then found important applications in the theory of bounded expansion and nowhere dense classes of graphs, introduced by Nesetřil and Ossona de Mendez. In this paper, we study the relation of the colouring numbers with two other measures that characterise nowhere dense classes of graphs, namely with uniform quasi-wideness, studied first by Dawar et al. in the context of preservation theorems for first-order logic, and with the splitter game, introduced by Grohe et al. We show that every graph excluding a fixed topological minor admits a universal order, that is, one order witnessing that the colouring numbers are small for every value of $r$. Finally, we use our construction of such orders to give a new proof of a result of Eickmeyer and Kawarabayashi, showing that the model-checking problem for successor-invariant first-order formulas is fixed-parameter tractable on classes of graphs with excluded topological minors.

[1]  Thomas Schwentick,et al.  Locality of order-invariant first-order formulas , 1998, TOCL.

[2]  Hal A. Kierstead,et al.  Orderings on Graphs and Game Coloring Number , 2003, Order.

[3]  Phokion G. Kolaitis,et al.  On preservation under homomorphisms and unions of conjunctive queries , 2004, PODS '04.

[4]  Benjamin Rossman Successor-invariant first-order logic on finite structures , 2007, J. Symb. Log..

[5]  Jaroslav Nesetril,et al.  Grad and classes with bounded expansion I. Decompositions , 2008, Eur. J. Comb..

[6]  Xuding Zhu,et al.  Colouring graphs with bounded generalized colouring number , 2009, Discret. Math..

[7]  Anuj Dawar,et al.  Homomorphism Preservation on Quasi-Wide Classes , 2008, J. Comput. Syst. Sci..

[8]  Jaroslav Nesetril,et al.  First order properties on nowhere dense structures , 2010, The Journal of Symbolic Logic.

[9]  Jaroslav Nesetril,et al.  On nowhere dense graphs , 2011, Eur. J. Comb..

[10]  Dániel Marx,et al.  Structure theorem and isomorphism test for graphs with excluded topological subgraphs , 2011, STOC '12.

[11]  Zdenek Dvorak,et al.  Constant-factor approximation of domination number in sparse graphs , 2011, ArXiv.

[12]  Robin Thomas,et al.  Testing first-order properties for subclasses of sparse graphs , 2011, JACM.

[13]  Ken-ichi Kawarabayashi,et al.  Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes , 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.

[14]  Deciding first-order properties of nowhere dense graphs , 2013, STOC.

[15]  Ken-ichi Kawarabayashi,et al.  Successor-Invariant First-Order Logic on Graphs with Excluded Topological Subgraphs , 2016, CSL.

[16]  Stephan Kreutzer,et al.  Model-checking for successor-invariant first-order formulas on graph classes of bounded expansion , 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

[17]  Patrice Ossona de Mendez,et al.  On the generalised colouring numbers of graphs that exclude a fixed minor , 2015, Eur. J. Comb..