arXiv++ Combinatorics

The Ramsey number $r(H)$ of a graph $H$ is the minimum positive integer $n$ such that every red/blue edge-coloring of the complete graph $K_n$ on $n$ vertices contains a monochromatic copy of $H$. The threshold Ramsey multiplicity $m(H)$ of $H$ is the minimum number of monochromatic copies of $H$ over all red/blue edge-colorings of $K_{r(H)}$. The only family for which $m(H)$ has been determined is stars, due to Harary and Prins (1974). Let $C_k$ be a cycle on $k$ vertices. Conlon, Fox, Sudakov, and Wei (2022) conjectured that $m(C_k)=(k-1)!/2$ for every sufficiently large odd integer $k$. In this paper, we confirm the conjecture and characterize all the extremal colorings of $K_{2k-1}$. This is also the second family for which $m(H)$ has been determined.

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

The codegree Turán density $π_{\mathrm{co}}(F)$ is the supremum over all $γ\in [0,1)$ such that, for arbitrarily large $n$, there exists an $n$-vertex $F$-free $k$-graph $H$ whose every $(k-1)$-subset of vertices lies in at least $γn$ edges. Ding, Lamaison, Liu, Wang, and Yang (JLMS, 2025) studied the problem of what 3-graphs $F$ satisfy $π_{\mathrm{co}}(F) = 0$. They introduced layered $3$-graphs and conjectured that a $3$-graph has zero codegree Turán density if and only if it is layered and has zero uniform Turán density. For $k\ge 3$, a $k$-graph is called layered if its vertices can be labelled so that every edge has a unique maximum label and two edges with the same maximum label have the same label multiset. In this paper, we show that every non-layered $k$-graph $F$ on $m$ vertices satisfies \[ π_{\mathrm{co}}(F)\ge q_{k,m}^{-q_{k,m}}>0, \quad \text{where}\quad q_{k,m}=\frac{(k-1)^{m+1}-1}{k-2}, \] which implies any $k$-graph with zero $\ell$-degree Turán density is layered, and the case $k=3$ confirms the conjecture of Ding, Lamaison, Liu, Wang, and Yang.

Let $π(H)$ be the Turán density of an r-uniform hypergraph $H$ and let $H_k^r$ denote the $r$-uniform hypergraph on $r+1$ vertices with exactly $k$ edges, where $1\le k\le r+1$. Sidorenko~(JCT-B, 2024) proved that $π(H_3^r)\ge (1.7215-o(1))r^{-2}$ as $r\to\infty$ and $π(H_k^r)\ge (C_k+o(1))r^{-(1+1/(k-2))}$ for fixed $k$ as $r\to\infty$. Clemen~later improved the first bound to $π(H_3^r)\ge cr^{-2}\sqrt{\log r}$ for some constant $c>0$. In this article, we prove the following results. \begin{itemize} \item For any fixed $\varepsilon>0$, there is a constant $c_\varepsilon>0$ such that $$π(H_3^r)\ge \frac{c_\varepsilon}{r(\log r)^{2+\varepsilon}}.$$ %$π(H_3^r)\ge 1/(r(\log r)^{2+o(1)})$. Together with the known upper bound $π(H_3^r)\le1/r$, this implies $π(H_3^r)=r^{-1+o(1)}$. \item For every $3\le k\le r+1$, let $s=\min\{k-2,r-k+2\}$. Then \begin{equation*} 0\le \frac{k-2}{r}-π(H_k^r) \le \frac{128}{r}\left(\sqrt{s\log\frac{er}{s}}+\log\frac{er}{s}\right). \end{equation*} This estimate yields several asymptotically sharp results for $π(H_k^r)$. For example, $π(H_k^r)=(1+o(1))(k-2)/r$ when $\log(er/(k))=o(k)$. \end{itemize}

The \emph{$k$-color Ramsey number} $R_k(C_{2\ell+1})$ is the least integer $n$ such that any $k$-edge-coloring of a complete graph $K_n$ has a monochromatic odd cycle $C_{2\ell+1}$. Axenovich, Cames van Batenburg, Janzer, Michel, and Rundström~(JCT-B, 2026) recently proved \[ R_k(C_{2\ell+1})\le (4\ell-2)^k k^{k/\ell}+1, \] and Miyazaki, Mulrenin, Pohoata, and Zheng further improved the factor $k^{k/\ell}$ to $(k!)^{1/\ell}$. As Jenssen and Skokan (AM, 2021) determined $R_k(C_{2\ell+1})$ for fixed $k$ and sufficiently large $\ell$, it becomes even more interesting to seek better bound for fixed $\ell$ and sufficiently large $k$. In this paper, we show \[ R_k(C_{2\ell+1}) \le \frac{2\ell}{2\ell-1}(2\ell-1)^k(k!)^{1/\ell} \exp\!\left(k^{1-1/\ell}+O_\ell\!\left(k^{1-2/\ell}+\log k\right)\right)+1 \] for every fixed $\ell\ge 2$ and sufficiently large $k$, which improves the bound of Miyazaki et al. by a factor $2^{k-o(k)}$, and the bound of Axenovich et al. by a factor $(2\e^{1/\ell})^{k-o(k)}$.

A family of subsets of $[n]$ is called intersecting if it contains no pair of disjoint sets. It is called trivial if all its members contain a common element. Frankl and Kupavskii, and independently Balogh, Das, Liu, Sharifzadeh, and Tran, proved that there is a constant $c>0$ such that, whenever $n \geq 2k+2+c\sqrt{k\ln k}$, almost all $k$-uniform intersecting families are trivial. Balogh, Garcia, Li, and Wagner later improved this range to $n \geq 2k+100\ln k$. In this paper, we prove that the same conclusion holds for every $n\geq 2k+3$. This verifies the conjectured conclusion of Balogh, Garcia, Li, and Wagner throughout this range.

Let $g(n,k)$ be the largest possible number of distinct sizes of maximal cliques in a $k$-uniform hypergraph on $n$ vertices, and let $f(n,k)=n-g(n,k)$. In the graph case, Spencer proved in 1971 that $f(n,2)=Θ(\log n)$. For $3$-uniform hypergraphs, Erdős constructed examples showing that $f(n,3)\le \log^* n+O(1)$, where $\log^* n$ is the number of iterated logarithms such that $\log\log \ldots \log n<1$. Recently, Gao (JCT-B, 2026) proved that $f(n,3)\ge\log \log^* n-O(1)$, thereby answering a question posed by Erdős. In the same paper, Gao defined the associated layered-tree threshold $c(n,3)$ and asked whether $f(n,k)=Θ(c(n,3))$. In this paper, we determine the correct order $$f(n,3)=Θ(\log^* n).$$ Since $c(n,3)=\log\log^* n+O(1)$, our result gives a negative answer to Gao's question in the case $k=3$. We conclude by proposing the following conjecture: $f(n,k)=Θ_k\!\left(2^{c(n,k)}\right)$ for every fixed $k\ge3$.

The Graham-Pollak theorem says that one needs at least $n - 1$ complete bipartite graphs to cover each edge of a complete graph $K_{n}$ on $n$ vertices exactly once. The odd cover problem is a parity analogue which seeks the minimum number of complete bipartite graphs, denoted by $b_2(n)$, such that each edge of $ K_n $ is covered an odd number of times. An odd cover of a complte 3-graph $K_n^{(3)}$ on $n$ vertices is a family of complete $3$-partite $3$-graphs such that every triple is covered an odd number of times. Let $b_3(n)$ be the minimum size of such a family. The values of $b_2(n)$ and $b_3(n)$ are determined for some $n$ in several previous works. In this paper, we first determine the value of $b_2(n)$ for all $n$, which confirms a conjecture due to Buchanan et al. (JGT, 2026), and then show $b_3(n+1)=b_2(n)$ by which the value of $b_3(n)$ is determined for all $n$, that resolves a question posed by Leader and Tan (EJC, 2026).

Let $G$ be an $n$-vertex graph containing a Hamiltonian cycle and with minimum degree at least $3$. Girão, Kittipassorn and Narayanan (Israel J. Math., 2019) proved that $G$ contains another cycle of length at least $n-O(n^{4/5})$. In this paper, we improve their bound to $n-O(n^{2/3})$. Our proof is combined with a constructive method, which is based on a poset result, and a nonconstructive method. And the bound is best possible under these two methods.

The Ramsey number $r(H)$ of a graph $H$ is the minimum positive integer $n$ such that every red/blue edge-coloring of the complete graph $K_n$ on $n$ vertices contains a monochromatic copy of $H$. The threshold Ramsey multiplicity $m(H)$ of $H$ is the minimum number of monochromatic copies of $H$ over all red/blue edge-colorings of $K_{r(H)}$. Let $P_t$ and $C_t$ be a path and a cycle on $t$ vertices, respectively. In this paper, by using combinatorial and local random construction, we show that $$m(C_{2t})\le t^{-γ+o(1)}\frac{(2t-1)!}{2}, \qquad m(P_{2t+1})\le t^{-γ+o(1)}\frac{t}{2}(2t)!,$$ and $$m(P_{2t})\leq \left(\frac{7}{8}+o(1)\right)\frac{(2t)!}{2},$$ for sufficiently large $t$, where $γ=1/(1+\sqrt{2})$. These results disprove two conjectures on the threshold Ramsey multiplicity for even cycles and paths, due to Conlon, Fox, Sudakov, and Wei.

The famous Tetrahedron Conjecture of Turán from the 1940s asserts that the number of edges in an $n$-vertex $3$-graph without the tetrahedron, the complete $3$-graph on four vertices, cannot exceed that of the balanced complete cyclic $3$-partite $3$-graph, whose edges are of types $V_1 V_2 V_3$, $V_1 V_1 V_2$, $V_2 V_2 V_3$, and $V_3 V_3 V_1$. A recent surprising result of Balogh-Clemen-Lidický [J. Lond. Math. Soc. (2) 106 (2022)] shows that this conjecture is asymptotically true in the $\ell_2$-norm, where the number of edges is replaced by the sum of squared codegrees. They further conjectured that, in this $\ell_2$-norm setting, the $3$-partite construction is uniquely extremal for large $n$. We confirm this conjecture. Two key ingredients in our proofs include establishing a Mantel theorem for vertex-colored graphs that forbid certain types of triangles, and introducing a novel procedure integrated into Simonovits' stability method, which essentially reduces the task to verifying that the $\ell_2$-norm of certain near-extremal constructions increases under suitable local modifications. The strategy in the latter may be of independent interest and potentially applicable to other extremal problems.