We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.DM

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Discrete Mathematics

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

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.
Subjects: Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Combinatorics (math.CO); Logic (math.LO)
Cite as: arXiv:2209.11229 [cs.DM]
  (or arXiv:2209.11229v1 [cs.DM] for this version)

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.