Flipper games for monadically stable graph classes

arXiv2301.13735MaRDI QIDQ6424992FDOQ6424992

Authors: Jakub Gajarský, Rose McCarty, Pierre Ohlmann, Michał Pilipczuk, Wojciech Przybyszewski, Sebastian Siebertz, Marek Sokołowski, Szymon Toruńczyk 

Publication date: 31 January 2023

Abstract: A class of graphs $mathscrC$ is monadically stable if for any unary expansion $widehatmathscrC$ of $mathscrC$, one cannot interpret, in first-order logic, arbitrarily long linear orders in graphs from $widehatmathscrC$. It is known that nowhere dense graph classes are monadically stable; these encompass most of the studied concepts of sparsity in graphs, including graph classes that exclude a fixed topological minor. On the other hand, monadic stability is a property expressed in purely model-theoretic terms and hence it is also suited for capturing structure in dense graphs. For several years, it has been suspected that one can create a structure theory for monadically stable graph classes that mirrors the theory of nowhere dense graph classes in the dense setting. In this work we provide a step in this direction by giving a characterization of monadic stability through the Flipper game: a game on a graph played by Flipper, who in each round can complement the edge relation between any pair of vertex subsets, and Connector, who in each round localizes the game to a ball of bounded radius. This is an analog of the Splitter game, which characterizes nowhere dense classes of graphs (Grohe, Kreutzer, and Siebertz, J.ACM'17). We give two different proofs of our main result. The first proof uses tools from model theory, and it exposes an additional property of monadically stable graph classes that is close in spirit to definability of types. Also, as a byproduct, we give an alternative proof of the recent result of Braunfeld and Laskowski (arXiv 2209.05120) that monadic stability for graph classes coincides with existential monadic stability. The second proof relies on the recently introduced notion of flip-wideness (Dreier, M"ahlmann, Siebertz, and Toru'nczyk, arXiv 2206.13765) and provides an efficient algorithm to compute Flipper's moves in a winning strategy.

This page was built for publication: Flipper games for monadically stable graph classes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6424992)