Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1412

Preprint Number 1412

Previous Next Preprint server

1412. Saugata Basu and Deepam Patel
VC density of definable families over valued fields

Submission date: 17 April 2018


In this article, we give tight bounds on the Vapnik-Chervonenkis density (VC-density) for definable families over any algebraically closed valued field K (of any characteristic pair) in the language L_{div} with signature (0,1,+,×,|) (where x | y denotes |x| ≤ |y|). More precisely, we prove that for any parted formula φ (X,Y) in the language L_{div} with parameters in K, the VC-density of φ is bounded by |Y|. This result improves the best known results in this direction proved by Aschenbrenner at al., who proved a bound of 2|Y| is shown on the VC-density in the restricted case where the characteristics of the field K and its residue field are both assumed to be 0. The results in this paper are optimal and without any restriction on the characteristics.
We obtain the aforementioned bound as a consequence of another result on bounding the Betti numbers of semi-algebraic subsets of certain Berkovich analytic spaces, mirroring similar results known already in the case of o-minimal structures and for real closed, as well as, algebraically closed fields. The latter result is the first result in this direction and is possibly of independent interest. Its proof relies heavily on recent results of Hrushovski and Loeser.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1804.06429: pdf, ps.

Last updated: April 25 2018 08:41 Please send your corrections to: