Stable regularity for relational structures
Logic
2018-01-16 v2 Combinatorics
Abstract
We generalize the stable graph regularity lemma of Malliaris and Shelah to the case of finite structures in finite relational languages, e.g., finite hypergraphs. We show that under the model-theoretic assumption of stability, such a structure has an equitable regularity partition of size polynomial in the reciprocal of the desired accuracy, and such that for each -ary relation and -tuple of parts of the partition, the density is close to either 0 or 1. In addition, we provide regularity results for finite and Borel structures that satisfy a weaker notion that we call almost stability.
Cite
@article{arxiv.1712.09305,
title = {Stable regularity for relational structures},
author = {Nathanael Ackerman and Cameron Freer and Rehana Patel},
journal= {arXiv preprint arXiv:1712.09305},
year = {2018}
}
Comments
37 pages. Minor improvements