The counting lemma for regular k‐uniform hypergraphs

Szemerédi’s Regularity Lemma proved to be a powerful tool in the area of extremal graph theory. Many of its applications are based on its accompanying Counting Lemma: If G is an `-partite graph with V (G) = V1 ∪ · · · ∪ V` and |Vi| = n for all i ∈ [`], and all pairs (Vi, Vj) are ε-regular of density d for 1 ≤ i < j ≤ ` and ε d, then G contains (1± f`(ε))d “ ` 2 ” × n` cliques K`, where f`(ε) → 0 as ε → 0. Recently, V. Rödl and J. Skokan generalized Szemerédi’s Regularity Lemma from graphs to k-uniform hypergraphs for arbitrary k ≥ 2. In this paper we prove a Counting Lemma accompanying the Rödl–Skokan hypergraph Regularity Lemma. Similar results were independently obtained by W. T. Gowers. It is known that such results give combinatorial proofs to the density result of E. Szemerédi and some of the density theorems of H. Furstenberg and Y. Katznelson.