arXiv++ Combinatorics

We show that if a universal theory is not monadically NIP, then this is witnessed by a canonical configuration defined by an existential formula. As a consequence, we show that a hereditary class of relational structures is NIP (resp. stable) if and only if it is monadically NIP (resp. monadically stable). As another consequence, we show that if such a class is not monadically NIP, then it has superexponential growth rate.

We give several characterizations of when a complete first-order theory $T$ is monadically NIP, i.e. when expansions of $T$ by arbitrary unary predicates do not have the independence property. The central characterization is a condition on finite satisfiability of types. Other characterizations include decompositions of models, the behavior of indiscernibles, and a forbidden configuration. As an application, we prove non-structure results for hereditary classes of finite substructures of non-monadically NIP models that eliminate quantifiers.

Given a finite relational language $\mathcal{L}$, a hereditary $\mathcal{L}$-property is a class of finite $\mathcal{L}$-structures closed under isomorphism and substructure. The speed of $\mathcal{H}$ is the function which sends an integer $n\geq 1$ to the number of distinct elements in $\mathcal{H}$ with underlying set $\{1, . . . , n\}$. In this paper we give a description of many new jumps in the possible speeds of a hereditary $\mathcal{L}$-property, where $\mathcal{L}$ is any finite relational language. In particular, we characterize the jumps in the polynomial and factorial ranges, and show they are essentially the same as in the case of graphs. The results in the factorial range are new for all examples requiring a language of arity greater than two, including the setting of hereditary properties of $k$-uniform hypergraphs for $k>2$. Further, adapting an example of Balogh, Bollobás, and Weinreich, we show that for all $k\geq 2$, there are hereditary properties of $k$-uniform hypergraphs whose speeds oscillate between functions near the upper and lower bounds of the penultimate range, ruling out many natural functions as jumps in that range. Our theorems about the factorial range use model theoretic tools related to the notion of mutual algebricity.