Abstract:We prove three main results about semialgebraic hypergraphs. First, we prove an optimal and oblivious regularity lemma. Fox, Pach, and Suk proved that the class of $k$-uniform semialgebraic hypergraphs satisfies a very strong regularity lemma where the vertex set can be partitioned into $\mathrm{poly}(1/\varepsilon)$ parts so that all but an $\varepsilon$-fraction of $k$-tuples of parts are homogeneous (either complete or empty). Our result improves the number of parts in the partition to $O_{d,k}((D/\varepsilon)^{d})$ where $d$ is the dimension of the ambient space and $D$ is a measure of the complexity of the hypergraph; additionally, the partition is oblivious to the edge set of the hypergraph. We give examples that show that the dependence on both $\varepsilon$ and $D$ is optimal. From this regularity lemma we deduce the best-known Turán-type result for semialgebraic hypergraphs. Third, we prove a Zarankiewicz-type result for semialgebraic hypergraphs. Previously Fox, Pach, Sheffer, Suk, and Zahl showed that a $K_{u,u}$-free semialgebraic graph on $N$ vertices has at most $O_{d,D,u}(N^{2d/(d+1)+o(1)})$ edges and Do extended this result to $K_{u,\ldots,u}^{(k)}$-free semialgebraic hypergraphs. We improve upon both of these results by removing the $o(1)$ in the exponent and making the dependence on $D$ and $u$ explicit and polynomial. All three of these results follow from a novel ``multilevel polynomial partitioning scheme'' that efficiently partitions a point set $P\subset\mathbb{R}^d$ via low-complexity semialgebraic pieces. We prove this result using the polynomial method over varieties as developed by Walsh which extends the real polynomial partitioning technique of Guth and Katz. We give additional applications to the unit distance problem, the Erdős--Hajnal problem for semialgebraic graphs, and property testing of semialgebraic hypergraphs.

Growth of regular partitions 3: strong regularity and the vertex partition

Growth of regular partitions 4: strong regularity and the pairs partition

Growth of regular partitions 2: Weak regularity

Growth of regular partitions 1: Improved bounds for small slicewise VC-dimension

Irregular triads in 3-uniform hypergraphs

Equivalent regular partitions of three‐uniform hypergraphs

Multilevel polynomial partitioning and semialgebraic hypergraphs: regularity, Turán, and Zarankiewicz results

Perfect stable regularity lemma and slice-wise stable hypergraphs

Regular partitions of gentle graphs

Regularity inheritance in hypergraphs

Growth in linear groups

Growth dichotomy for unimodular random rooted trees

Weak Internal Partition of Regular Graphs

Matching stability for 3-partite 3-uniform hypergraphs

An extension of Mantel's theorem to random 4-uniform hypergraphs

Growth rates of the bipartite Erdős-Gyárfás function

An Efficient Regularity Lemma for Semi-Algebraic Hypergraphs

Exponential growth rates in hyperbolic groups (after Koji Fujiwara and Zlil Sela)

Bisection Width, Discrepancy, and Eigenvalues of Hypergraphs

Uniform exponential growth for groups with proper product actions on hyperbolic spaces