arXiv++ Combinatorics

The `global' Zarankiewicz problem for hypergraphs asks for an upper bound on the number of edges of a finite $r$-hypergraph $V$ in terms of the number $|V|$ of its vertices, assuming the edge relation is induced by a fixed $K_{k, \dots, k}$-free $r$-hypergraph $E$, for some $k\in\mathbb N$. In [4], such bounds of size $O(|V|^{r-1})$ were achieved for a semilinear $E$, namely, definable in a linear o-minimal structure. We establish the same bounds in five new settings: when $E$ is definable in (a) a semibounded o-minimal structure and the vertex set of $V$ is `sufficiently distant', (b) a model of Presburger arithmetic, (c) the expansion $\langle\mathbb R,<,+, \mathbb Z\rangle$ of the real ordered group by the set of integers, (d) a stable 1-based structure without the finite cover property, and (e) a locally modular regular type in a stable theory, such as the generic type of the solution set of the Heat differential equation. Our methods include techniques for reducing Zarankiewicz's problem to the setting of arbitrary subgroups of powers of groups, used in geometric cases (a)--(c). They also include an abstract version of Zarankiewicz's problem for general saturated `linear structures' that yields the desired bounds in the model-theoretic settings (d)--(e), as well as a parametric version in (b). Furthermore, the bounds in (a) characterise those o-minimal structures that do not recover a global field, and in (c) they yield new versions of Zarankiewicz's problem for certain ordered abelian groups.

The VC-dimension of a family of sets is a measure of its combinatorial complexity used in machine learning theory, computational geometry, and even model theory. Computing the VC-dimension of the $k$-fold union of geometric set systems has been an open and difficult combinatorial problem, dating back to Blumer, Ehrenfeucht, Haussler, and Warmuth in 1989, who ask about the VC-dimension of $k$-fold unions of half-spaces in $\mathbb{R}^d$. Let $\mathcal{F}_1$ denote the family of all lines in $\mathbb{R}^2$. It is well-known that $\mathsf{VC}\text{-}\mathsf{dim}(\mathcal{F}_1) = 2$. In this paper, we study the $2$-fold and $3$-fold unions of $\mathcal{F}_1$, denoted $\mathcal{F}_2$ and $\mathcal{F}_3$, respectively. We show that $\mathsf{VC}\text{-}\mathsf{dim}(\mathcal{F}_2) = 5$ and $\mathsf{VC}\text{-}\mathsf{dim}(\mathcal{F}_3) = 9$. Moreover, we give complete characterisations of the subsets of $\mathbb{R}^2$ of maximal size that can be shattered by $\mathcal{F}_2$ and $\mathcal{F}_3$, showing they are exactly two and five, respectively, up to isomorphism in the language of the point-line incidence relation.

Mekler's construction is a powerful technique for building purely algebraic structures from combinatorial ones. Its power lies in the fact that it allows various model-theoretic tameness properties of the combinatorial structure to transfer to the algebraic one. In this paper, we push this ideology much further, describing a broad class of properties that transfer through Mekler's construction. This technique subsumes many well-known results and opens avenues for many more. As a straightforward application of our methods, we (1) obtain transfer principles for stably embedded pairs of Mekler groups and (2) construct strictly $\mathsf{NFOP}_k$ pure groups for all $k\in\mathbb{N}_{>2}$. We also answer a question of Chernikov and Hempel on transfer of burden.

We consider finitary approximations of the (embedding) Ramsey property. Using a class of homogeneous reducts of random ordered hypergraphs, we prove that these properties form a strict hierarchy. We also show that every class of finite structures in which every structure of size at most 2 is a "Ramsey object" essentially consists of ordered structures, generalising a known result for countable Ramsey classes.

We prove that for any monotone class of finite relational structures, the first-order theory of the class is NIP in the sense of stability theory if, and only if, the collection of Gaifman graphs of structures in this class is nowhere dense. This generalises to relational structures a result previously known for graphs and answers an open question posed by Adler and Adler (2014). The result is established by the application of Ramsey-theoretic techniques and shows that the property of being NIP is highly robust for monotone classes. We also show that the model-checking problem for first-order logic is intractable on any class of monotone structures that is not (monadically) NIP. This is a contribution towards the conjecture of Bonnet et al. that the hereditary classes of structures admitting fixed-parameter tractable model-checking are precisely those that are monadically NIP.

Given a structure $M$ we introduce infinitary logic expansions, which generalise the Morleyisation. We show that these expansions are tame, in the sense that they preserve and reflect both the Embedding Ramsey Property (ERP) and the Modelling Property (MP). We then turn our attention to Scow's theorem connecting generalised indiscernibles with Ramsey classes and show that by passing through infinitary logic, one can obtain a stronger result, which does not require any technical assumptions. We also show that every structure with ERP, not necessarily countable, admits a linear order which is a union of quantifier-free types, effectively proving that any Ramsey structure is ``essentially'' ordered. We also introduce a version of ERP for classes of structures which are not necessarily finite (the finitary-ERP) and prove a strengthening of the Kechris-Pestov-Todorcevic correspondence for this notion.