9,231 research outputs found
On the number of types in sparse graphs
We prove that for every class of graphs which is nowhere dense,
as defined by Nesetril and Ossona de Mendez, and for every first order formula
, whenever one draws a graph and a
subset of its nodes , the number of subsets of which are of
the form
for some valuation of in is bounded by
, for every . 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 the 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)
- …