Skip to content
Preprint

Counting large cliques in graphs with a forbidden tree

Jul 2026 · 1 citation · ⚡ 1 influential · 13 references
Mathematics

Abstract

Given graphs $H$ and $F$, the generalized Tur\'{a}n number ${\rm ex}(n,H,F)$ is the maximum number of copies of $H$ in an $n$-vertex $F$-free graph. Alon and Shikhelman (J. Combin. Theory Ser. B, 2016) initiated the systematic study of generalized Tur\'{a}n problems. Let $T$ be a tree on $k$ vertices, and write $n=a(k-1)+b$, where $0\leq b<k-1$. Recently, Gerbner and Palmer (Electron. J. Combin., 2026) proposed the following conjecture: for every $r\geq3$, the graph $aK_{k-1}\cup K_b$ maximizes the number of copies of $K_r$ among all $n$-vertex $T$-free graphs. In this paper, we verify their conjecture when $r=k-2$ or $r=k-3\geq5$. More precisely, we show that ${\rm ex}(n,K_r,T)=a\binom{k-1}{r}+\binom{b}{r}$ and characterize all extremal graphs.

View source

Similar papers

Review Aug 2026

Counterexamples to a treewidth conjecture on generalized Tur\'an problems

Given graphs $H$ and $F$, the generalized Tur\'{a}n number ${\rm ex}(n,H,F)$ is the maximum number of copies of $H$ in an $n$-vertex $F$-free graph. Alon and Shikhelman (J. Combin. Theory Ser. B, 2016) initiated the systematic study of generalized Tur\'{a}n problems. Recently, Gao, Wu and Xue (J. Graph Theory, 2026) asked whether every graph $F$ with chromatic number $\chi(F)=r\geq3$ and treewidth ${\rm tw}(F)\geq r$ satisfies ${\rm ex}(n,K_r,F)=\Omega(n^{r-1})$. In this note, we give a negative answer to this question for every $r\geq3$. More precisely, we prove that the graph $F_r=K_{r-3}\vee H$, where $H$ is obtained from $K_4$ by subdividing one edge once, satisfies $\chi(F_r)={\rm tw}(F_r)=r$ and \[ n^{r-1}e^{-O(\sqrt{\log n})}\leq {\rm ex}(n,K_r,F_r)=o(n^{r-1}). \] This result also disproves Conjecture 6.3 in the recent survey of Gerbner and Palmer (Electron. J. Combin., 2026).

Junpeng Zhou, Xi-Ying Yuan · 0 citations
Preprint Aug 2026

Large Cliques and Clique Spectral Radius in the Erd\H{o}s--S\'{o}s Problem

For graphs $H$ and $F$, let $ex(n,H,F)$ be the maximum number of copies of $H$ in an $n$-vertex $F$-free graph. We study this problem when $H$ is a clique and $F=T_t$which is a fixed tree on $t$ vertices. The Erd\H{o}s--S\'{o}s conjecture concerns the value of $ex(n,K_2, T_t)$. Gerbner and Palmer proposed a more general conjecture: if $n=\alpha(t-1)+\beta$ and $0\le\beta\le t-2$, then the graph $\alpha K_{t-1}\sqcup K_\beta$ maximizes the number of $r$-cliques among all $n$-vertex $T_t$-free graphs for every $3\le r\le t-2$. We show that this conjecture holds for $T_t$ having at least $t-r$ leaves with a common parent, which contains the star case as a special case and recovers the sharp clique-counting result conjectured by Gan, Loh and Sudakov and proved by Chase and Chao and Dong. We also study the clique-spectral analogue. Under the same leaf-bunch condition, every $T_t$-free graph $G$ satisfies $\rho_r(G)\le\binom{t-2}{r-1}$, with equality, for $n\ge t-1$, if and only if $K_{t-1}$ is a component of $G$. Furthermore, we prove the conjecture for $r=t-d$ whenever $d\ge2$ and $t\ge d^2-d+3$, while the case $d=1$ is determined exactly for every $t$. For $d\ge2$ and $t\ge d^2-d+3$, every $T_t$-free graph $G$ satisfies $\rho_{t-d}(G)\le\rho_{t-d}(K_{t-1})$, with equality characterized by the presence of a $K_{t-1}$-component. Our method is designed for relatively large cliques. In the leaf-poor case, after deleting edges that lie in no $(t-d)$-clique, we study the intersection relation among $(t-d)$-cliques and show that its equivalence classes induce the nontrivial clique-supported components; furthermore, we show each non-trivial component has at most $t-1$\) vertices. In the complementary leaf-rich case, a leaf-bunch criterion reduces the clique-counting problem to the sharp bounded-maximum-degree clique theorem.

Xiaojun Zhao, Yue-jian Peng · 0 citations
Preprint Aug 2026

Clique-saturating non-edges throughout the Tur\'an range

For an $F$-free graph $G$, a non-edge is $F$-saturating if adding it to $G$ creates a copy of $F$. We denote by $f_{p+1}(n,m)$ the minimum number of $K_{p+1}$-saturating non-edges in a $K_{p+1}$-free $n$-vertex graph with $m$ edges. Erd\H{o}s and Tuza conjectured that $f_4\left(n,\mathrm{ex}(n,K_3)+ 1\right)= (1 + o(1)) \frac{n^2}{16}$. Balogh and Liu (JCTB, 2014) disproved this conjecture and determined the asymptotic value of $f_4(n,\mathrm{ex}(n,K_3)+1)$. He, Ma, Ma and Ye (JCTB, 2023) later determined $f_{p+1}(n,\mathrm{ex}(n,K_p)+1)$ asymptotically for every $p\ge 3$, and asked for the value of $f_{p+1}(n,m)$ for all $\mathrm{ex}(n,K_p)+1\le m\le \mathrm{ex}(n,K_{p+1})$ and every $p\ge 3$. In this paper, we answer their question asymptotically for all $\mathrm{ex}(n,K_p)+1\le m\le \mathrm{ex}(n,K_{p+1})$ and every $p\ge 3$. We also determine the exact value of $f_3(n,m)$ for all $0\le m\le \mathrm{ex}(n,K_3)$ by a different method.

Xiaolin Wang, Jiabao Yang, Ruilin Zheng · 0 citations
Preprint Aug 2026

A local clique density theorem in $H$-free graphs

In 2016, Reiher's clique density theorem determined the minimum number of copies of $K_t$ in a graph with a prescribed edge density. In this paper, we investigate its local version and prove a local clique density theorem in $H$-free graphs as follows. For integers $r$ and $t$ with $2\leq t\leq r-1$, any $r$-chromatic graph $H$, any real numbers $\gamma$ and $\alpha$ with $\frac{t-2}{2(t-1)}\leq\gamma\leq \frac{r-2}{2(r-1)}$ and $0\leq\alpha\leq 1$, we determine the maximum value $\beta:=\beta(r,t,\alpha,\gamma)$ such that for every $n$-vertex $H$-free graph $G$ with at least $\gamma n^2$ edges, every $\lceil\alpha n\rceil$-vertex subset in $G$ contains at least $(\beta-o(1))n^{t}$ copies of $K_t$. In particular, when $H=K_r$, every $\lceil\alpha n\rceil$-vertex subset contains at least $\lfloor\beta n^t\rfloor$ copies of $K_t$, which is an exact bound. For suitable choices of $\alpha$ and $\gamma$, namely, those for which all part ratios in the corresponding extremal construction are rational, this bound is attained for infinitely many values of $n$.

Jiaao Li, Xinyu Li, Yan Wang et al. · 0 citations
Preprint Jul 2026

On the distinct maximal-clique sizes in $k$-uniform hypergraphs

Let $g(n,k)$ be the maximum number of distinct sizes of maximal cliques in an $n$-vertex $k$-uniform hypergraph, and let $f(n,k)=n-g(n,k)$. We determine the asymptotic order of $f(n,k)$ for every fixed integer $k\ge 3$. Define $L_2(x)=\max\{2,\log_2(\max\{1,x\})\}$, and, for $j\ge 3$, let $L_j(x)$ be the least number of iterations of $L_{j-1}$ needed to reach a value at most $16$. We prove that $$ f(n,k)=\Theta_k(L_k(n)).$$ In particular, $f(n,3)=\Theta(\log^{*}n)$, where $\log^{*}n$ denotes the iterated logarithm. We also determine the asymptotic behaviour of the layered-tree threshold $c(n,k)$ arising from Gao's insertion-tree method: $$ c(n,k)=\log_2 L_k(n)+O_k(1). $$ Consequently, $f(n,k)=\Theta_k\!\left(2^{c(n,k)}\right)$. Our result gives a negative answer to Gao's question in the case $k=3$.

Jia-Bao Yang, Leilei Zhang · 0 citations
Preprint Aug 2026

A Local Central Limit Theorem for Clique Counts in Sparse Random Graphs

Let $X_H$ denote the number of copies of a fixed graph $H$ in $G_{n, p}$. Gilmer and Kopparty conjectured that $X_H$ satisfies a local central limit theorem (LCLT) provided that $H$ is connected, $p \gg n^{-1/m(H)}$, and $n^2 (1-p) \gg 1$, where $m(H)$ is the maximum density. Following the work of Berkowitz, Sah and Sawhney confirmed this conjecture for every constant $p$, leaving the regime where $p=o(1)$ open. In this regime, the only case addressed in the literature is when $H=K_3$, where, in a recent paper, Ara\'ujo and Mattos confirmed the conjecture for $p \in (4n^{-1/2}, 1/2)$. This, together with a general result of R\"ollin and Ross, essentially settles the conjecture for the triangle. We generalise these results by showing that an LCLT holds for $H = K_r$ (for any fixed $r \ge 3$) in the regime $n^{-1/m(H)}\ll p\leq 1/2$, essentially settling the conjecture for cliques.

Asaf Cohen Antonir, Ilay Hoshen, Maksim Zhukovskii · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.