arXiv++ Combinatorics

A central problem in spectral Turán theory is to understand the relationship between the spectral extremal family ${\rm SPEX}(n,F)$ and the ordinary extremal family ${\rm EX}(n,F)$. For many forbidden graphs $F$, it is known that ${\rm SPEX}(n,F)\subseteq{\rm EX}(n,F)$ holds for infinitely many $n$, while only a few examples have been identified where the two families are disjoint. In this paper, we study this problem for suspensions of balanced trees. A tree is balanced if its two bipartition classes differ in size by at most one. Let $T$ be a balanced tree on $2k$ or $2k+1$ vertices and $\widehat T$ be its suspension which is obtained from $T$ by adding one new vertex adjacent to every vertex of $T$. Our first main result establishes a tight upper bound for the spectral Turán number of $\widehat T$ for sufficiently large $n$ provided that $T$ satisfies some mild assumptions. Our second result determines for which integers $k$ and which non-path balanced trees $T$ on $2k$ or $2k+1$ vertices there are infinitely many integers $n$ such that ${\rm EX}(n,\widehat{T})\cap {\rm SPEX}(n,\widehat{T})=\emptyset$.

For a family of graphs $\mathcal F$, a graph $G$ is said to be $\mathcal F$-free if it contains no member of $\mathcal F$ as a subgraph. A wheel graph $W_k$ is a graph on $k+1$ vertices formed by joining a new vertex to all vertices of a $k$-cycle. Given an integer $k\ge 3$, we consider the problem of determining the maximum number of triangles in a $W_{\geq k}$-free graph, where $W_{\geq k}=\{W_\ell: \ell \geq k\}$. The case $k=3$ was raised by Gallai, who proposed a conjecture for this case (see Erdős [5]. Gallai's conjecture was disproved by Zhou [17] and independently by Füredi, Goemans, and Kleitman [9]. In this paper, we study the case $k=4$. Namely, for every integer $n\ge 3$, we determine the maximum number of triangles in an $n$-vertex $W_{\geq 4}$-free graph and characterize all extremal graphs.

Given positive integers $n$ and $k$, the book graph $B_n^{(k)}$ consists of $n$ copies of $K_{k+1}$ sharing a common $K_k$. The book graph is a common generalization of a star and a clique, which can be seen by taking $k=1$ and $n=1$ respectively. In addition, the Ramsey number of a book graph is closely related to the diagonal Ramsey number. Thus the study of extremal problems related to the book graph is of substantial significance. In this paper, we aim to investigate the Ramsey number $r(C_4,B_n^{(k)})$ which is the smallest integer $N$ such that for any graph $G$ on $N$ vertices, either $G$ contains $C_4$ as a subgraph or the complement $\overline{G}$ contains $B_n^{(k)}$ as a subgraph. For $k=1$, a pioneer work by Parsons ({\it Trans.~Amer.~Math.~Soc.,} 209 (1975), 33--44) gives an upper bound for $r(C_4,B_n^{(1)})$, which is tight for infinitely many $n$. For $k=2$, in a recent paper ({\em J. Graph Theory,} 103 (2023), 309--322), the second, the third, and the fourth authors obtained the exact value of $r(C_4,B_{n}^{(2)})$ for infinitely many $n$. The goal of this paper is to prove a similar result for each integer $k \geq 3$. To be precise, given an integer $k \geq 3$ and a constant $0<\varepsilon<1$, let $n=q^2-kq+t+\binom{k}{2}-k$ and $Q(k,\varepsilon)=(320k^4)^{k+1}/\varepsilon^{2k}$, where $1 \leq t \leq (1-\varepsilon)q$. We first establish an upper bound for $r(C_4,B_n^{(k)})$ provided $q \geq Q(k,\varepsilon)$. Then we show the upper bound is tight for $q \geq Q(k,\varepsilon)$ being a prime power and $1 \leq t \leq (1-\varepsilon)q$ under some assumptions. The proof leverages on a simple but novel refinement of a well-known inequality related to a $C_4$-free graph. Therefore, for each $k \geq 3$, we obtain the exact value of $r(C_4,B_n^{(k)})$ for infinitely many $n$. Moreover, we prove general upper and lower bounds of $r(C_4,B_n^{(k)})$ for $k \geq 3$.

For a family of graphs $\cal F$, a graph $G$ is $\cal F$-free if it does not contain a member of $\cal F$ as a subgraph. The Turán number $\textrm{ex}(n,{\cal F})$ is the maximum number of edges in an $n$-vertex graph which is $\cal F$-free. Let ${\cal C}_{\geq k}$ be the set of cycles with length at least $k$. In this paper, we investigate the Turán number of $\{{\cal C}_{\geq k}, F\}$ for a general graph $F$. To be precise, we determine $\textrm{ex}(n, \{{\cal C}_{\geq k}, F\})$ apart from a constant additive term, where $F$ either is a 2-connected nonbipartite graph or is a 2-connected bipartite graph under some conditions. This is an extension of a previous result on the Turán number of $\{{\cal C}_{\geq k}, K_r\}$ by the first author, Ning, and the third author.

Let $\cal H$ be a family of graphs. The Turán number ${\rm ex}(n,{\cal H})$ is the maximum possible number of edges in an $n$-vertex graph which does not contain any member of $\cal H$ as a subgraph. As a common generalization of Turán's theorem and Erdős-Gallai theorem on the Turán number of matchings, Alon and Frankl determined ${\rm ex}(n,{\cal H})$ for ${\cal H}=\{K_r,M_k\}$, where $M_k$ is a matching of size $k$. Replacing $M_k$ by $P_k$, Katona and Xiao obtained the Turán number of ${\cal H}=\{K_r,P_k\}$ for $r \leq \lfloor k/2 \rfloor$ and sufficiently large $n$. In addition, they proposed a conjecture for the case of $r \geq \lfloor k/2 \rfloor+1$ and sufficiently large $n$. Motivated by the fact that the result for ${\rm ex}(n,P_k)$ can be deduced from the one for ${\rm ex}(n,{\cal C}_{\geq k})$, we investigate the Turán number of ${\cal H}=\{K_r, {\cal C}_{\geq k}\}$ in this paper. In other words, we aim to determine the maximum number of edges in graphs with clique number at most $r-1$ and circumference at most $k-1$. For ${\cal H}=\{K_r, {\cal C}_{\geq k}\}$, we are able to show the value of ${\rm ex}(n,{\cal H})$ for $r \geq \lfloor (k-1)/2\rfloor+2$ and all $n$. As an application of this result, we confirm Katona and Xiao's conjecture in a stronger form. For $r \leq \lfloor (k-1)/2\rfloor+1$, we manage to show the value of ${\rm ex}(n,{\cal H})$ for sufficiently large $n$.