Indiscernibles and Wideness in Monadically Stable and Monadically NIP Classes

06/28/2022
by   Jan Dreier, et al.
0

An indiscernible sequence (a̅_i)_1≤ i≤ n in a structure is an ordered sequence of tuples of elements which is very homogeneous in the sense that any two finite subsequences of the same length satisfy the same first-order formulas. We provide new characterizations of monadically stable and monadically NIP classes of structures in terms of indiscernible sequences by showing that they impose a strong structure on their neighborhoods. In particular, we show that every formula ϕ(x,y̅), where x is a single free variable, has alternation rank at most 2 over every sufficiently long indiscernible sequence in a monadically NIP class. We provide a second new characterization of monadically stable classes of graphs in terms of a new notion called flip-wideness. Flip-wideness generalizes the notion of uniform quasi-wideness, which characterizes nowhere dense classes and had a key impact on the combinatorial and algorithmic treatment of nowhere dense classes. All our proofs are constructive and yield efficient algorithms.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/29/2022

Combinatorial and Algorithmic Aspects of Monadic Stability

Nowhere dense classes of graphs are classes of sparse graphs with rich s...
research
08/17/2017

Nowhere Dense Graph Classes and Dimension

Nowhere dense graph classes provide one of the least restrictive notions...
research
01/31/2023

Flipper games for monadically stable graph classes

A class of graphs 𝒞 is monadically stable if for any unary expansion 𝒞 o...
research
02/07/2023

First-Order Model Checking on Structurally Sparse Graph Classes

A class of graphs is structurally nowhere dense if it can be constructed...
research
09/15/2019

Nowhere dense graph classes and algorithmic applications. A tutorial at Highlights of Logic, Games and Automata 2019

The notion of nowhere dense graph classes was introduced by Nešetřil and...
research
12/31/2019

Constructive Characterization for Bidirected Analogue of Critical Graphs I: Principal Classes of Radials and Semiradials

This paper is the first from serial papers that provide constructive cha...
research
12/21/2022

Gadget construction and structural convergence

Nešetřil and Ossona de Mendez recently proposed a new definition of grap...

Please sign up or login with your details

Forgot password? Click here to reset