English

Linear rankwidth meets stability

Logic in Computer Science 2019-11-19 v1 Discrete Mathematics Combinatorics

Abstract

Classes with bounded rankwidth are MSO-transductions of trees and classes with bounded linear rankwidth are MSO-transductions of paths. These results show a strong link between the properties of these graph classes considered from the point of view of structural graph theory and from the point of view of finite model theory. We take both views on classes with bounded linear rankwidth and prove structural and model theoretic properties of these classes: 1) Graphs with linear rankwidth at most rr are linearly \mbox{χ\chi-bounded}. Actually, they have bounded cc-chromatic number, meaning that they can be colored with f(r)f(r) colors, each color inducing a cograph. 2) Based on a Ramsey-like argument, we prove for every proper hereditary family F\mathcal F of graphs (like cographs) that there is a class with bounded rankwidth that does not have the property that graphs in it can be colored by a bounded number of colors, each inducing a subgraph in~F\mathcal F. 3) For a class C\mathcal C with bounded linear rankwidth the following conditions are equivalent: a) C\mathcal C~is~stable, b)~C\mathcal C~excludes some half-graph as a semi-induced subgraph, c) C\mathcal C is a first-order transduction of a class with bounded pathwidth. These results open the perspective to study classes admitting low linear rankwidth covers.

Keywords

Cite

@article{arxiv.1911.07748,
  title  = {Linear rankwidth meets stability},
  author = {Jaroslav Nesetril and Patrice Ossona de Mendez and Roman Rabinovich and Sebastian Siebertz},
  journal= {arXiv preprint arXiv:1911.07748},
  year   = {2019}
}

Comments

accepted at SODA 2020 conference. arXiv admin note: text overlap with arXiv:1909.01564