VC_ -dimension and the jump to the fastest speed of a hereditary L-property

From MaRDI portal
Publication:4636765




Abstract: In this paper we investigate a connection between the growth rates of certain classes of finite structures and a generalization of extVC-dimension called extVCell-dimension. Let mathcalL be a finite relational language with maximum arity r. A hereditary mathcalL-property is a class of finite mathcalL-structures closed under isomorphism and substructures. The emph{speed} of a hereditary mathcalL-property mathcalH is the function which sends n to |mathcalHn|, where mathcalHn is the set of elements of mathcalH with universe 1,ldots,n. It was previously known there exists a gap between the fastest possible speed of a hereditary mathcalL-property and all lower speeds, namely between the speeds 2Theta(nr) and 2o(nr). We strengthen this gap by showing that for any hereditary mathcalL-property mathcalH, either |mathcalHn|=2Theta(nr) or there is epsilon>0 such that for all large enough n, |mathcalHn|leq2nrepsilon. This improves what was previously known about this gap when rgeq3. Further, we show this gap can be characterized in terms of extVCell-dimension, therefore drawing a connection between this finite counting problem and the model theoretic dividing line known as ell-dependence.









This page was built for publication: \(\mathrm{VC}_{\ell }\)-dimension and the jump to the fastest speed of a hereditary \(\mathcal {L}\)-property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4636765)