### Current browse context:

cs.DM

### Change to browse by:

### References & Citations

# Computer Science > Discrete Mathematics

# Title: Decomposition horizons: from graph sparsity to model-theoretic dividing lines

(Submitted on 15 Sep 2022)

Abstract: Let $\mathscr C$ be a hereditary class of graphs. Assume that for every $p$ there is a hereditary NIP class $\mathscr D_p$ with the property that the vertex set of every graph $G\in\mathscr C$ can be partitioned into $N_p=N_p(G)$ parts in such a way that the union of any $p$ parts induce a subgraph in $\mathscr D_p$ and $\log N_p(G)\in o(\log |G|)$. We prove that $\mathscr C$ is (monadically) NIP. Similarly, if every $\mathscr D_p$ is stable, then $\mathscr C$ is (monadically) stable. Results of this type lead to the definition of decomposition horizons as closure operators. We establish some of their basic properties and provide several further examples of decomposition horizons.

## Submission history

From: Sebastian Siebertz [view email]**[v1]**Thu, 15 Sep 2022 16:29:03 GMT (307kb,D)

Link back to: arXiv, form interface, contact.