相关论文: On VC-density in VC-minimal theories

We show that the VC-density of any partitioned formula in a pair of ordered vector spaces is bounded above by twice the number of parameter variables. We also show that this bound is optimal and, as a by-product, we prove that no dense pair…

In this paper, we study VC-minimal theories and explore related concepts. We first define the notion of convex orderablility and show that this lies strictly between VC-minimality and dp-minimality. Next, we define the notion of weak…

We recast the problem of calculating Vapnik-Chervonenkis (VC) density into one of counting types, and thereby calculate bounds (often optimal) on the VC density for some weakly o-minimal, weakly quasi-o-minimal, and $P$-minimal theories.

We study VC-dimension of short formulas in Presburger Arithmetic, defined to have a bounded number of variables, quantifiers and atoms. We give both lower and upper bounds, which are tight up to a polynomial factor in the bit length of the…

We study the Vapnik-Chervonenkis (VC) density of definable families in certain stable first-order theories. In particular we obtain uniform bounds on VC density of definable families in finite U-rank theories without the finite cover…

Let $\mathcal{S}$ be a family of sets with VC-codensity less than $2$. We prove that, if $\mathcal{S}$ has the $(\omega, 2)$-property (for any infinitely many sets in $\mathcal{S}$, at least $2$ among them intersect), then $\mathcal{S}$ can…

Motivated by a long-standing debate concerning the nature and interrelations of surface-tension variables in fluid membranes, we reformulate the thermodynamics of a membrane vesicle as a generic two-dimensional finite system enclosing a…

In this paper, we study VC-density over indiscernible sequences (denoted VC_ind-density). We answer an open question in [1], showing that VC_ind-density is always integer valued. We also show that VC_ind-density and dp-rank coincide in the…

This paper presents some finite combinatorics of set systems with applications to model theory, particularly the study of dependent theories. There are two main results. First, we give a way of producing lower bounds on VC_ind-density, and…

The main result of this article is sub-additivity of the dp-rank. We also show that the study of theories of finite dp-rank can not be reduced to the study of its dp-minimal types, and discuss the possible relations between dp-rank and…

We derive that dpR(n) \leq dens(n) \leq dpR(n)+1, where dens(n) is the supremum of the VC density of all formulas in n parameters, and dpR(n) is the maximum depth of an ICT pattern in n variables. Consequently, strong dependence is…

We investigate experimentally within a two-dimensional cell the distribution of the free volume associated either to single grains or to clusters of grains. Our main result is that the logarithm of the probability to find a free volume per…

We present a new duality theory for non-convex variational problems, under possibly mixed Dirichlet and Neumann boundary conditions. The dual problem reads nicely as a linear programming problem, and our main result states that there is no…

This paper investigates two conjectures for calculating the density dependence of the density-scaling exponent of a single-component, pair-potential liquid with strong virial potential-energy correlations. The first conjecture gives an…

Heterogeneous condensation of vapours mixed with a carrier gas in the stagnation point boundary layer flow near a cold wall is considered in the presence of solid particles much larger than the mean free path of vapour particles. The…

Rosenfeld's fundamental measure theory for lattice models is given a rigorous formulation in terms of the theory of Mobius functions of partially ordered sets. The free-energy density functional is expressed as an expansion in a finite set…

We introduce a simple model for the formation of voids. In this model the underdensity of galaxies in voids is the product of two factors. The first arises from a gravitational expansion of the negative density perturbation. The second is…

In "VC density in some theories without the independence property" the authors asked whether any partial order of finite width has the VC1 property (i.e. every formula in one variable has UDTFS in one parameter). We give a negative answer…

It is shown how tools from the area of Model Theory, specifically from the Theory of o-minimality, can be used to prove that a class of functions is VC-subgraph (in the sense of Dudley, 1987), and therefore satisfies a uniform polynomial…

We find an analytical solution for the minimal matter density of a void, its central density. It turns out that the voids are not so empty: most of the voids have the central underdensity $\Delta_c \sim -50\%$ (which means that the matter…