Peng, Yuejian, Rödl, Vojtech and Skokan, Jozef ORCID: 0000000339967676
(2005)
Counting small cliques in 3uniform hypergraphs.
Combinatorics, Probability and Computing, 14 (3).
pp. 371413.
ISSN 09635483
Abstract
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 3uniform 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 ‘quasirandom’ hypergraph arising after application of Frankl and Rödl's regularity lemma is ‘sparse’, and consequently difficult to handle. When the ‘quasirandom’ 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.
Actions (login required)

View Item 