Saved in:
Bibliographic Details
Main Author: Veeranonchai, Warach
Format: Preprint
Published: 2026
Subjects:
Online Access:https://arxiv.org/abs/2603.29938
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866914435471245312
author Veeranonchai, Warach
author_facet Veeranonchai, Warach
contents The sparse analogue of Szemerédi's regularity method has played a central role in the development of extremal results for random graphs. While the sparse embedding lemma (the KLR conjecture) has been resolved, the corresponding sparse counting lemma remains widely open. The conjecture, formulated by Gerke, Marciniszyn, and Steger, states that for every fixed graph $H$ and any $β>0$, there exists $\varepsilon>0$ such that the following holds. Consider a balanced blow-up of $H$ with vertex classes of size $n$, where each pair corresponding to an edge of $H$ forms an $(\varepsilon)$-regular bipartite graph with exactly $m$ edges. Assume that $m$ is above the natural threshold $m \gg n^{2-1/m_2(H)}$, then all but a $β^m$ proportion of such graphs contain at least $(1-δ)$ times the expected number of copies of $H$. At present, among the complete graphs, the conjecture is known only for $H=K_3$. In this paper, we establish the $H=K_4$ case of the conjecture.
format Preprint
id arxiv_https___arxiv_org_abs_2603_29938
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Sparse counting lemma for $K_4$
Veeranonchai, Warach
Combinatorics
05C35 (Primary), 05C80 (Secondary)
The sparse analogue of Szemerédi's regularity method has played a central role in the development of extremal results for random graphs. While the sparse embedding lemma (the KLR conjecture) has been resolved, the corresponding sparse counting lemma remains widely open. The conjecture, formulated by Gerke, Marciniszyn, and Steger, states that for every fixed graph $H$ and any $β>0$, there exists $\varepsilon>0$ such that the following holds. Consider a balanced blow-up of $H$ with vertex classes of size $n$, where each pair corresponding to an edge of $H$ forms an $(\varepsilon)$-regular bipartite graph with exactly $m$ edges. Assume that $m$ is above the natural threshold $m \gg n^{2-1/m_2(H)}$, then all but a $β^m$ proportion of such graphs contain at least $(1-δ)$ times the expected number of copies of $H$. At present, among the complete graphs, the conjecture is known only for $H=K_3$. In this paper, we establish the $H=K_4$ case of the conjecture.
title Sparse counting lemma for $K_4$
topic Combinatorics
05C35 (Primary), 05C80 (Secondary)
url https://arxiv.org/abs/2603.29938