Library Header Image
LSE Research Online LSE Library Services

Counting small cliques in 3-uniform hypergraphs

Peng, Yuejian, Rödl, Vojtech and Skokan, Jozef ORCID: 0000-0003-3996-7676 (2005) Counting small cliques in 3-uniform hypergraphs. Combinatorics, Probability and Computing, 14 (3). pp. 371-413. ISSN 0963-5483

Download (389kB) | Preview
Identification Number: 10.1017/S0963548304006546


Many applications of Szemerédi's Regularity Lemma for graphs are based on the following counting result. If ${\mathcal G}$ is an $s$-partite graph with partition $V({\mathcal G}) =\bigcup_{i=1}^{s} V_i$, $\vert V_i\vert =m$ for all $i\in [s]$, and all pairs $(V_i, V_j)$, $1\leq i < j\leq s$, are $\epsilon$-regular of density $d$, then $\mathcal{G}$ contains $(1\pm f(\epsilon))d^{({s\atop 2})}m^s$ cliques $K_{s}$, provided $\epsilon<\epsilon(d)$, where $f(\epsilon)$ tends to 0 as $\epsilon$ tends to 0. Guided by the regularity lemma for 3-uniform hypergraphs established earlier by Frankl and Rödl, Nagle and Rödl proved a corresponding counting lemma. Their proof is rather technical, mostly due to the fact that the ‘quasi-random’ hypergraph arising after application of Frankl and Rödl's regularity lemma is ‘sparse’, and consequently difficult to handle. When the ‘quasi-random’ hypergraph is ‘dense’ Kohayakawa, Rödl and Skokan (J. Combin. Theory Ser. A 97 307–352) found a simpler proof of the counting lemma. Their result applies even to $k$-uniform hypergraphs for arbitrary $k$. While the Frankl–Rödl regularity lemma will not render the dense case, in this paper, for $k=3$, we are nevertheless able to reduce the harder, sparse case to the dense case. Namely, we prove that a ‘dense substructure’ randomly chosen from the ‘sparse $\delta$-regular structure’ is $\delta$-regular as well. This allows us to count the number of cliques (and other subhypergraphs) using the Kohayakawa–Rödl–Skokan result, and provides an alternative proof of the counting lemma in the sparse case. Since the counting lemma in the dense case applies to $k$-uniform hypergraphs for arbitrary $k$, there is a possibility that the approach of this paper can be adopted to the general case as well.

Item Type: Article
Official URL:
Additional Information: © 2005 Cambridge University Press
Divisions: Mathematics
Subjects: Q Science > QA Mathematics
Date Deposited: 18 Jun 2008 13:54
Last Modified: 20 Sep 2021 02:39

Actions (login required)

View Item View Item


Downloads per month over past year

View more statistics