FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
On the number of types in sparse graphs

Authors: Michał Pilipczuk, Sebastian Siebertz and Szymon Toruńczyk

Paper Information

Title:On the number of types in sparse graphs
Authors:Michał Pilipczuk, Sebastian Siebertz and Szymon Toruńczyk
Proceedings:LICS PDF files
Editors: Anuj Dawar and Erich Grädel
Keywords:Nowhere dense graphs, VC-dimension, VC-density, Stone space, First-order types, Stability, Uniform quasi-wideness
Abstract:

ABSTRACT. We prove that for every class of graphs $C$ which is nowhere dense, as defined by Nesetril and Ossona de Mendez, and for every first order formula $\phi(\tup x,\tup y)$, whenever one draws a graph $G\in C$ and a subset of its nodes $A$, the number of subsets of $A^{|\tup y|}$ which are of the form $\{\tup v\in A^{|\tup y|} : G\models\phi(\bar u,\tup v)\}$ for some valuation~$\tup u$ of $\tup x$ in $G$ is bounded by $O(|A|^{|\tup x|+\epsilon})$, for every $\epsilon>0$. This provides optimal bounds on the VC-density of first-order definable set systems in nowhere dense graph classes.

We also give two new proofs of upper bounds on quantities in nowhere dense classes which are relevant for their logical treatment. Firstly, we provide a new proof of the fact that nowhere dense classes are uniformly quasi-wide, implying explicit, polynomial upper bounds on the functions relating the two notions. Secondly, we give a new combinatorial proof of a result of Adler and Adler stating that every nowhere dense class of graphs is stable. In contrast to the previous proofs of the above results, our proofs are completely finitistic and constructive, and yield explicit and computable upper bounds on quantities related to uniform quasi-wideness (margins) and stability (ladder indices).

Pages:10
Talk:Jul 10 11:00 (Session 54D)
Paper: