Definable regularity lemmas for NIP hypergraphs

DOI10.1093/QMATH/HAAB011MaRDI QIDQ5021378zbMATH OpenOpenAlexWikidataFDO

Authors Artem Chernikov, S. Starchenko

Publication date 13 January 2022

Published in The Quarterly Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1607.07701

zbMATH Keywords

locally generically stable measures

Mathematics Subject Classification ID

Hypergraphs (05C65) Graph algorithms (graph-theoretic aspects) (05C85)

Abstract: We present a systematic study of the regularity phenomena for NIP hypergraphs and connections to the theory of (locally) generically stable measures, providing a model-theoretic hypergraph version of the results from [L. Lov'asz, B. Szegedy, "Regularity partitions and the topology of graphons", An irregular mind, Springer Berlin Heidelberg, 2010, 415-446]. Besides, we revise the two extremal cases of regularity for stable and distal hypergraphs, improving and generalizing the results from [A. Chernikov, S. Starchenko, "Regularity lemma for distal structures", J. Eur. Math. Soc. 20 (2018), 2437-2466] and [M. Malliaris, S. Shelah, "Regularity lemmas for stable graphs", Transactions of the American Mathematical Society, 366.3, 2014, 1551-1585]. Finally, we consider a related question of the existence of large (approximately) homogeneous definable subsets of NIP hypergraphs and provide some positive results and counterexamples.

Recommendations

• Regularity lemma for distal structures
• A note on ``Regularity lemma for distal structures
• The stable regularity lemma revisited
• Regular Partitions of Hypergraphs: Regularity Lemmas
• Regularity lemmas for stable graphs

Cited in

(12)

• Regularity lemma for distal structures
• Remarks on generic stability in independent theories
• Structure and regularity for subsets of groups with finite VC-dimension
• Definable convolution and idempotent Keisler measures
• The stable regularity lemma revisited
• Ramsey properties of algebraic graphs and hypergraphs
• Model theory: combinatorics, groups, valued fields and neostability. Abstracts from the workshop held January 8--14, 2023
• Stable formulas in ordered structures
• Keisler measures in the wild
• Is it easy to regularize a hypergraph with easy links?
• Definable convolution and idempotent Keisler measures. III: Generic stability, generic transitivity, and revised Newelski's conjecture
• Model theoretic events

This page was built for publication: Definable regularity lemmas for NIP hypergraphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5021378)