Skip to content
Preprint

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

Jul 2026 · 0 citations · 2 references
Mathematics

Abstract

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$.

View source

Similar papers

Preprint Sep 2026

Tur\'an problems with bounded matching number in $k$-uniform hypergraphs

For a family $\mathcal{F}$ of $k$-graphs, $\ex_k(n,\mathcal{F})$ denotes the maximum number of edges in an $n$-vertex $\mathcal{F}$-free $k$-graph. Let $M_{s+1}^k$ denote a matching of size $s+1$ in $k$-uniform hypergraphs. Recently, Alon and Frankl (JCTB, 2024) determined $\ex_2(n,\{M_{s+1}^2,K_{\ell+1}\})$ for all $n...

Jia-Lin Liu, Ming-Yang Guo, Xiu-Mei Wang · 0 citations
Preprint Sep 2026

Spectral Extremal Graphs without a $K_k$-Factor

Let $k\ge 3$ and let $n=km$. A $K_k$-factor in an $n$-vertex graph is a collection of $m$ vertex-disjoint copies of $K_k$ that covers the entire vertex set. We determine the maximum adjacency spectral radius of an $n$-vertex graph containing no $K_k$-factor when $m\ge 2k-1$. More precisely, we prove that every such gra...

Cun-Xiang Duan, Ting-Ting Han, Lin-Peng Zhang · 0 citations
Preprint Sep 2026

The Remaining $K_4$-Free Case in the Multipartite Clique Problem

For integers $n,r,t$ with $2\le t\le r-1$, let $f(n,r,t+1)$ denote the largest possible minimum degree of a balanced $r$-partite graph with parts of size $n$ and containing no copy of $K_{t+1}$. Lo, Treglown and Zhao identified $f(n,7,4)$ as the only remaining case in their treatment of the $K_4$-free family. I determi...

Yu Kasugai · 1 citation · ⚡1
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)...

Xiao-Lin Wang, Jia-Bao Yang, Rui-Lin Zheng · 0 citations
Preprint Sep 2026

Counting edge-colorings of a complete graph avoiding a rainbow $K_4$

For $k, r, n$ natural numbers let $\rho_{r,k}(K_n)$ be the number of $r$-edge-colorings of $K_n$ that do not contain a rainbow copy of a $K_k$, that is, a copy of $K_k$ in which all edges receive different colors. When $k=3$, the quantity $\rho_{r,3}(K_n)$ represents the number of Gallai Colorings. It was proved by Bal...

F. Benevides, Josefran de O. Bastos · 0 citations
Preprint Sep 2026

An $O(k\log(n/k))$ Bound on Spanning Bipartite Connectivity

For integers $1\le k\le n/2$, let $f(k,n)$ be the least integer $s$ such that every $s$-connected graph on $n$ vertices contains a spanning bipartite $k$-connected subgraph. Thomassen conjectured that $f(k,n)$ is bounded by a function of $k$ alone. Delcourt and Ferber proved $f(k,n)=O(k^3\log n)$, and Yuster subsequent...

G. Gutin, Y. Hao, Y. Zhou · 1 citation

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