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.

Under a local density condition, we prove that every $k$-edge spider embeds at any prescribed center of degree at least $k$, unless all legs are even and the host graph has one of two specified structures. These structures contain complete bipartite subgraphs with prescribed neighborhoods. The proof uses path rerouting and three exchange lemmas that describe equality in neighborhood estimates. As a consequence, we recover the Erd\H os-Sós bound for all spiders.

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} \]

As a variant of the Ulam's vertex reconstruction conjecture and the Harary's edge reconstruction conjecture, Cvetković and Schwenk posed independently the following problem: Can the characteristic polynomial of a simple graph $G$ with vertex set $V$ be reconstructed from the characteristic polynomials of all subgraphs in $\{G-v|v\in V\}$ for $|V|\geq 3$? This problem is still open. A natural problem is: Can the characteristic polynomial of a simple graph $G$ with edge set $E$ be reconstructed from the characteristic polynomials of all subgraphs in $\{G-e|e\in E\}$? In this paper, we prove that if $|V|\neq |E|$, then the characteristic polynomial of $G$ can be reconstructed from the characteristic polynomials of all subgraphs in $\{G-uv, G-u-v|uv\in E\}$, and the similar result holds for the permanental polynomial of $G$. We also prove that the Laplacian (resp. signless Laplacian) characteristic polynomial of $G$ can be reconstructed from the Laplacian (resp. signless Laplacian) characteristic polynomials of all subgraphs in $\{G-e|e\in E\}$ (resp. if $|V|\neq |E|$).

Mader conjectured that for any tree $T$ of order $m$, every $k$-connected graph $G$ with minimum degree at least $\lfloor\frac{3k}{2}\rfloor +m-1$ contains a subtree $T'\cong T$ such that $G-V(T')$ is $k$-connected. In this paper, we give a characterization for a subgraph to contain an embedding of a specified tree avoiding some vertex. As a corollary, we confirm Mader's conjecture for $k\leq3$.

The circumference of a graph is the length of its longest cycles. Jackson established a conjecture of Bondy by showing that the circumference of a 3-connected cubic graph of order $n$ is $Ω(n^{0.694})$. Bilinski {\it et al.} improved this lower bound to $Ω(n^{0.753})$ by studying large Eulerian subgraphs in 3-edge-connected graphs. In this paper, we further improve this lower bound to $Ω(n^{0.8})$. This is done by considering certain 2-connected cubic graphs, finding cycles through two given edges, and distinguishing the cases whether or not these edges are adjacent.