Homogeneous hypergraph regularity lemmas via $k$-strong honest definitions
We prove that $(k+1)$-uniform hypergraphs definable in an NIP strongly $k$-distal structure satisfy a homogeneous regularity lemma -- they can be partitioned into a bounded number of simplicial complexes, most of which are homogeneous (meaning that the restriction of the hypergraph to the simplicial complex is either complete or empty). Furthermore, the parts of the partition can be chosen uniformly definably, and the size of the partition is polynomial in the reciprocal of the error parameter. This extends the homogeneous regularity lemma proven by Chernikov and Starchenko for hypergraphs…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.19202
curl -X POST /api/v1/records/arxiv/2607.19202/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.19202/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'