arXiv++ Combinatorics

For a graph $F$, its extremal number ${\rm ex}(n,F)$ and extremal graphs denote the maximum number of edges in $F$-free graphs and the graphs attaining this maximum, respectively. Let $h_F(n,q)$ be the minimum number of copies of $F$ in an $n$-vertex graph with ${\rm ex}(n,F)+q$ edges, and let $t_F(n,q)$ denote the corresponding minimum obtained by adding $q$ edges to an extremal graph. Mubayi (2013) conjectured that for every non-$r$-partite stable $r$-uniform hypergraph $F$ with $r\ge 2$, $h_F(n,q)\ge q\cdot t_F(n,1)$ holds for all sufficiently large $n$ and all integers $q\ge 1$. In this paper, we prove that Mubayi's conjecture fails in a stronger sense. For every integer $d\ge 2$, we construct a family of non-$d$-partite stable graphs $F$ such that $h_F(n,q)< q\cdot t_F(n,1)$ for all $1\le q\le O\bigl(n^{4/ 3}\bigr)$. In particular, these examplesis completely refute Mubayi's conjecture. \noindent\emph{Key words}: extremal graph; supersaturation; chromatic number.

For a $k$-uniform hypergraph $L$, let $h_L(n,q)$ be the minimum number of copies of $L$ in an $n$-vertex $k$-graph with $\mathrm{ex}(n,L)+q$ edges. Let $t_L(n,q)$ be the minimum number of copies obtained by adding $q$ edges to an extremal $L$-free $k$-graph. A graph is color-critical if deleting a suitable edge decreases its chromatic number. Let $\mathcal K_k(F)$ be the expanded graph obtained by adding $k-2$ new vertices to each edge of $F$, with disjoint sets of new vertices for distinct edges. Mubayi proved that, for every clique $K_r$ with $r\ge4$ and fixed $ q>0$, $ h_{\mathcal K_3(K_r)}(n,q)\ge qt_{\mathcal K_3(K_r)}(n,1)$ for every sufficiently large $n$. Pikhurko and Yilma later proved that, for every color-critical graph $F$, there is a constant $ε_F>0$ such that $h_{F}(n,q)=t_{F}(n,q)$ for every sufficiently large $n$ and $1\le q\leε_F n$. We extend this equality to expanded color-critical graphs. Let $d>k\ge3$. For every color-critical graph $F$ with $χ(F)=d+1$, there is a constant $ε>0$ such that $ h_{\mathcal K_k(F)}(n,q)=t_{\mathcal K_k(F)}(n,q)$ for every sufficiently large $n$ and $1\le q\leεn^{k-1}$. Let $q_L(n)$ be the largest integer $q$ such that $h_L(n,s)=t_L(n,s)$ for every integer $1\le s\le q$. We give a sufficient condition for $q_L(n)=Θ_L(n^{k-1})$ and an explicit family satisfying it. We also give a different sufficient condition under which $q_L(n)=Ω_L(n^{k-1/2})$ and an explicit family satisfying it. \noindent \emph{Keywords.} Supersaturation; extremal graph; color-critical graph; chromatic number; expanded graph; hypergraph.

Motivated by Mader's conjecture on connectivity keeping trees, we study the corresponding problem in triangle-free graphs. For positive integers $k,m$, we first prove that every $k$-connected triangle-free graph $G$ with $δ(G)\geq k+\left \lceil \frac{m}{2} \right \rceil $ contains a path $P$ of order $m$ such that $G-V(P)$ remains $k$-connected. Moreover, if $κ(G)=k$, then for every end $F$ of $G$ and every vertex $v\in F$, the path $P$ can be chosen in $G[F]$ with $v$ as an endvertex. If $κ(G)\geq k+1$, then any vertex of $G$ can be chosen as an endvertex of $P$. This result confirms the conjecture of Luo, Tian and Wu on connectivity keeping trees in bipartite graphs for all paths, and it also sharpens Fujita's path theorem to the optimal minimum degree bound. For an integer $i$ with $1\leq i\leq m-1$, let $P_m^+(i)$ denote the tree obtained from a path of order $m-1$ by adding one pendant vertex adjacent to its $i$th vertex. Let $(X,Y)$ be the bipartition of $P_m^+(i)$. We further prove that every $k$-connected triangle-free graph $G$ with $δ(G)\geq k+\max\{|X|,|Y|\}$ contains a subgraph $T\cong P_m^+(i)$ such that $G-V(T)$ remains $k$-connected. The minimum degree bound is sharp, and the result confirms the bipartite conjecture for all pendant extensions of paths.

Let $H \sim H^{k}_c(n,p)$ be an edge-colored random $k$-uniform hypergraph on the vertex set $[n]$, where each edge $e \in \binom{[n]}{k}$ is included independently with probability $p$ and is uniformly and independently assigned a color from the color set $[c]$. For $k = 2$, Ferber and Krivelevich (2016) established that if $c = (1+o(1))n$ and $p = (\log n + \log \log n + ω(n))/n$, then with high probability the edge-colored random graph $H \sim H^2_c(n,p)$ contains a rainbow Hamilton Berge cycle. Subsequently, Bal, Berkowitz, Devlin, and Schacht (2021) determined the threshold for the appearance of a (non-rainbow) Hamilton Berge cycle in random $k$-uniform hypergraphs. In this paper, we generalize the results to all integers $k \ge 3$. We prove that if $c = (1+o(1))n$ and $p = (k-1)! \frac{\log n + \log\log n + ω(n)}{n^{k-1}}$, then with high probability $H \sim H^{k}_c(n,p)$ contains a rainbow Hamilton Berge cycle. Furthermore, both conditions on $c$ and $p$ are asymptotically tight. \noindent\emph{Key words:} Rainbow subgraph, Hamiltonicity, Berge cycle, Random hypergraph.

We establish a Hamiltonian-to-pancyclic analogue of Bondy's theorem for graph systems under an aggregate degree condition. Let $\G=(G_1,\ldots,G_n)$ be a graph system on a common $n$-vertex set $V$, and write $δ(v)=\min_{i\in[n]}d_{G_i}(v)$. If $\G$ contains a rainbow Hamilton cycle and \[ \sum_{v\in V}δ(v)\ge \left\lceil\frac{n^2}{2}\right\rceil-1, \] then $\G$ is rainbow pancyclic, unless $n$ is even and every member is the same balanced complete bipartite graph. For even $n$ the threshold is exact at the integer level. Unlike the usual transversal Dirac- or Ore-type hypotheses, our condition is not layerwise: the member attaining $δ(v)$ may depend on $v$, and some vertices may have $δ(v)<n/2$. Relative to a fixed rainbow Hamilton cycle, we count shortcuts whose colors are released by the Hamilton arcs they replace. A missing cycle length forces complementary shortcut supports to cross-intersect. A counting gap settles even shortening, while equality or near equality in odd shortening yields a distance-two exchange whose orbits force the balanced bipartite obstruction. At the lower integer threshold an exact defect identity shows that only one or two units of slack are available. \noindent\textbf{Keywords:} graph system; rainbow cycle; pancyclicity; Hamilton cycle; extremal graph theory.

Motivated by Mader's conjecture on connectivity keeping trees, we study trees obtained from paths by adding one pendant vertex, as well as related problems in triangle-free graphs. For an integer $m$ and $1\leq i\leq m-1$, let $P_m^+(i)$ denote the tree obtained from a path of order $m-1$ by adding one pendant vertex adjacent to its $i$th vertex. We prove that, for positive integers $k,m,1\leq i\leq m-1$, every $k$-connected graph $G$ with $δ(G)\geq \lfloor \frac{3k}{2}\rfloor+m-1$ contains a subgraph $T\cong P_m^+(i)$ such that $κ(G-V(T))\geq k$. This confirms Mader's conjecture for all pendant extensions of paths. For highly connected triangle-free graphs, a connectivity keeping result for paths was obtained in [J. Combin. Theory Ser. B, 174 (2025), 190-206]. Let $(X,Y)$ be the bipartition of $P_m^+(i)$. We further prove that every $k$-connected triangle-free graph $G$ with $δ(G)\geq k+\max\{|X|,|Y|\}+[P_m^+(i)\text{ is bad}]$ contains a subgraph $T\cong P_m^+(i)$ such that $κ(G-V(T))\geq k$, where we use Iverson's convention for $[P_m^+(i)\text{ is bad}]$. This extends the corresponding result for paths to pendant extensions of paths.

For a graph $H$, the chromatic threshold $δ_χ(H)$ is the infimum of $c>0$ such that the chromatic number of every $n$-vertex $H$-free graph with minimum degree at least $cn$ is bounded by a constant depending only on $H$ and $c$. Allen, Böttcher, Griffiths, Kohayakawa, and Morris proved that if $χ(H)=r\geq 3$, then $δ_χ(H)\in\{\frac{r-3}{r-2}, \frac{2r-5}{2r-3}, \frac{r-2}{r-1}\}$. Liu, Shangguan, Skokan, and Xu introduced the bounded-VC chromatic threshold $\text{VC}(H)$ by restricting the host graphs to have bounded VC-dimension. We determine this parameter for graph $H$ with $χ(H)\ge 3$. More precisely, let $\mathcal{M}(H)$ be the decomposition family of an $r$-chromatic graph $H$, then \[ \text{VC}(H)= \begin{cases} \dfrac{r-3}{r-2},&\text{if $\mathcal{M}(H)$ contains a forest},\\[4pt] \dfrac{r-2}{r-1},&\text{otherwise}. \end{cases} \]