Extension preservation on dense graph classes

Ioannis Eleftheriadis

2024-08-05

Abstract:Preservation theorems provide a direct correspondence between the syntactic structure of first-order sentences and the closure properties of their respective classes of models. A line of work has explored preservation theorems relativised to combinatorially tame classes of sparse structures [Atserias et al., JACM 2006; Atserias et al., SiCOMP 2008; Dawar, JCSS 2010; Dawar and Eleftheriadis, 2024]. In this article we initiate the study of preservation theorems for dense graph classes. In contrast to the sparse setting, we show that extension preservation fails on most natural dense classes of low complexity. Nonetheless, we isolate a technical condition which is sufficient for extension preservation to hold, providing a dense analogue to a result of [Atserias et al., SiCOMP 2008].

Logic in Computer Science

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: **Does the extension preservation hold in the class of dense graphs?**

Specifically, the paper explores the applicability of the extension preservation in the class of dense graphs. Different from the class of sparse graphs, the author finds that the extension preservation does not hold in most natural low - complexity dense graph classes. However, the author also finds a technical condition under which the extension preservation can still hold in some specific cases.

### Detailed Explanation

1. **Background Introduction**
- **Preservation Theorems** provide a direct correspondence between the syntactic structure of first - order sentences and the closure properties of their model classes.
- Previous research has mainly focused on sparse structures, while this paper studies the preservation theorems in the class of dense graphs for the first time.
- In the class of sparse graphs, the extension preservation usually holds, but it often fails in the class of dense graphs.

2. **Problem Description**
- The main problem of the paper is to explore the applicability of the extension preservation in the class of dense graphs.
- The author points out that the extension preservation does not hold in most natural low - complexity dense graph classes, especially in graph classes with clique - width of 4 or higher.

3. **Solution**
- The author introduces a technical condition, called **strongly flip - flat classes**, and proves that the extension preservation still holds in graph classes that satisfy this condition.
- Specifically, if a graph class is hereditary, strongly flip - flat, and closed under bottleneck partitions, then the extension preservation holds on it.

4. **Main Contributions**
- **Negative Result**: Proves that the extension preservation does not hold in graph classes with clique - width of 4 or higher, answering an open question raised by previous researchers.
- **Positive Result**: Provides a sufficient condition for the extension preservation in the class of dense graphs, namely strongly flip - flat and closed under bottleneck partitions.

### Summary of Mathematical Formulas

- **Clique - width (Cliquewidth)**: $\text{cw}(G)$ represents the clique - width of graph $G$.
- **Flip Operation**: Complement the edges between certain vertex sets in the graph.
- **Strongly Flip - flat Classes**: A graph class $\mathcal{C}$ is strongly flip - flat if and only if there exists a constant $k$ and a function $f: \mathbb{N}\to\mathbb{N}$ such that for any $m\in\mathbb{N}$ and any graph $G\in\mathcal{C}$ with size at least $f(m)$, an $r$-independent set with size at least $m$ can be found by no more than $k$ flip operations.

Through these studies, the paper provides new perspectives and tools for understanding the logical preservation properties in the class of dense graphs.