{"id":"arxiv/2605.04714","url":"https://arxiv.org/abs/2605.04714","tags":["math.LO","math.CO"],"score":0,"title":"On n-distality, n-triviality and hypergraph regularity in NIP theories","domain":"math.LO","source":"arxiv","authors":["Artem Chernikov","Francis Westhead"],"reviews":0,"subject":"math.LO","summary":"We study Keisler measures in strongly n-distal NIP theories, generalizing some results of Simon and Chernikov-Starchenko for distal theories and addressing some questions of Walker. In particular, we establish a hypergraph version of the distal regularity lemma, compact domination for definable fsg groups, and demonstrate that the strong n-distality hierarchy is strict among stable theories using a connection to Poizat's total triviality of forking. We also show that infinite strongly n-distal NIP fields have characteristic 0 using a discrepancy result of Babai-Hayes-Kimmel from multiparty…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-06","reactions":{}}