Linear rankwidth meets stability
Jaroslav Nesetril, Roman Rabinovich, Patrice Ossona de Mendez, Sebastian Siebertz
Abstract
Classes with bounded rankwidth are MSO-transductions of trees and classes with bounded linear rankwidth are MSOtransductions 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 r are linearly χ-bounded. Actually, they have bounded c-chromatic number, meaning that they can be colored with f (r) colors, each color inducing a cograph. 2) Based on a Ramsey-like argument, we prove for every proper hereditary family 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 . 3) For a class C with bounded linear rankwidth the following conditions are equivalent: a) C is stable, b) C excludes some half-graph as a semi-induced subgraph, c) 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.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Cited by top-tier papers4
- Rankwidth meets stabilityJaroslav Nesetril, Patrice Ossona de Mendez, Michal Pilipczuk, Roman Rabinovich et al.SODA 2021 · 23 citations
- Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph ClassesPetr A. Golovach, Giannos Stamoulis, Dimitrios M. ThilikosSODA 2023 · 3 citations
- Elementary first-order model checking for sparse graphsJakub Gajarský, Michal Pilipczuk, Marek Sokolowski, Giannos Stamoulis et al.LICS 2024 · 2 citations
- Existential Positive Transductions of Sparse GraphsNikolas Mählmann, Sebastian SiebertzLICS 2026
Related papers
- Stable graphs of bounded twin-widthJakub Gajarský, Michal Pilipczuk, Szymon TorunczykLICS 2022 · 16 citations
- First-Order Model Checking on Monadically Stable Graph ClassesJan Dreier, Ioannis Eleftheriadis, Nikolas Mählmann, Rose McCarty et al.FOCS 2024 · 8 citations
- Graphs of unbounded linear cliquewidth must transduce all treesMikolaj Bojanczyk, Pierre OhlmannLICS 2025
- Efficient Reversal of Transductions of Sparse Graph ClassesJan Dreier, Jakub Gajarský, Michal PilipczukSTOC 2026 · 5 citations
- Treelike Decompositions for Transductions of Sparse GraphsJan Dreier, Jakub Gajarský, Sandra Kiefer, Michal Pilipczuk et al.LICS 2022 · 8 citations
