Jumps in speeds of hereditary properties in finite relational languages

TL;DR

This paper characterizes the possible growth rates ('speeds') of hereditary properties in finite relational languages, revealing new jumps and oscillations, especially in hypergraph contexts, using model-theoretic methods.

Contribution

It provides a comprehensive description of speed jumps in hereditary properties across various relational languages, extending known results from graph theory to hypergraphs and higher arity languages.

Findings

Characterized jumps in polynomial and factorial speed ranges.

Extended factorial range results to hypergraphs with arity greater than two.

Constructed hereditary hypergraph properties with oscillating speeds.

Abstract

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\'{a}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.