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

From MaRDI portal
Publication:4636765

DOI10.1090/PROC/13976zbMATH Open1406.03049arXiv1701.00470OpenAlexW2567736634MaRDI QIDQ4636765FDOQ4636765

Caroline A. Terry

Publication date: 20 April 2018

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

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.


Full work available at URL: https://arxiv.org/abs/1701.00470




Recommendations




Cites Work


Cited In (5)





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)