Search

Two families $\mathcal{A}$ and $\mathcal{B}$ are cross-intersecting if $A\cap B\ne \emptyset$ for any $A\in \mathcal{A}$ and $B\in \mathcal{B}$. We call $t$ families $\mathcal{A}_1, \mathcal{A}_2,\dots, \mathcal{A}_t$ pairwise cross-intersecting families if $\mathcal{A}_i$ and $\mathcal{A}_j$ are cross-intersecting when $1\le i, Comment: 31 pages

Erd\H{o}s and Simonovits asked the following question: For an integer $r\geq 2$ and a family of non-bipartite graphs $\mathcal{H}$, what is the tight bound of $\alpha$ such that any $\mathcal{H}$-free $n$-vertex graph with minimum degree at least $\alpha n$ has chromatic number at most $r$? We answer this question for $r=2$ and any family of odd cycles. Let $l\le k$ and $n\ge 1000k^{8}$ be positive integers. Let ${\mathcal C}$ be a family of odd cycles, $C_{2l+1}$ be the shortest odd cycle not in ${\mathcal C}$, and $C_{2k+1}$ be the longest odd cycle in ${\mathcal C}$. Let $BC_{2l+1}(n)$ denote the graph obtained by taking $2l+1$ vertex-disjoint copies of $K_{\frac{n}{2(2l+1)},\frac{n}{2(2l+1)}}$ and selecting a vertex in each of them such that these vertices form a cycle of length $2l+1$. Let $C_{2k+3}({n \over 2k+3})$ denote the balanced blow up of $C_{2k+3}$ with $n$ vertices. Note that both $BC_{2l+1}(n)$ and $C_{2k+3}({n \over 2k+3})$ are $n$-vertex ${\mathcal C}$-free non-bipartite graphs. We show that if $G$ is an $n$-vertex ${\mathcal C}$-free graph with $\delta(G)>\max\{ \frac{n}{2(2l+1)}, \frac{2}{2k+3}n\}$, then $G$ is bipartite. The bound is tight evident by $BC_{2l+1}(n)$ and $C_{2k+3}({n \over 2k+3})$. Moreover, the only $n$-vertex ${\mathcal C}$-free non-bipartite graph with minimum degree $\max\{ \frac{n}{2(2l+1)}, \frac{2}{2k+3}n\}=\frac{n}{2(2l+1)}$ is $BC_{2l+1}(n)$, and the the only $n$-vertex ${\mathcal C}$-free non-bipartite graph with minimum degree $\max\{ \frac{n}{2(2l+1)}, \frac{2}{2k+3}n\}=\frac{2}{2k+3}n$ is $C_{2k+3}({n \over 2k+3})$. Our result also unifies stability results of Andr\'{a}sfai, Erd\H{o}s and S\'{o}s, H\"{a}ggkvist and Yuan and Peng for large $n$., Comment: 17 pages

For graphs $G_0$, $G_1$ and $G_2$, write $G_0\longmapsto(G_1, G_2)$ if each red-blue-edge-coloring of $G_0$ yields a red $G_1$ or a blue $G_2$. The Ramsey number $r(G_1, G_2)$ is the minimum number $n$ such that the complete graph $K_n\longmapsto(G_1, G_2)$. In [Discrete Math. 312(2012)], Schelp formulated the following question: for which graphs $H$ there is a constant $0c|V(G)|$, $G\longmapsto(H, H)$. In this paper, we prove that for any $m>n$, if $G$ is a balanced bipartite graph of order $2(m+n-1)$ with $\delta(G)>\frac{3}{4}(m+n-1)$, then $G\longmapsto(CM_m, CM_n)$, where $CM_i$ is a matching with $i$ edges contained in a connected component. By Szem\'{e}redi's Regularity Lemma, using a similar idea as introduced by [J. Combin. Theory Ser. B 75(1999)], we show that for every $\eta>0$, there is an integer $N_0>0$ such that for any $N>N_0$ the following holds: Let $\alpha_1>\alpha_2>0$ such that $\alpha_1+\alpha_2=1$. Let $G[X, Y]$ be a balanced bipartite graph on $2(N-1)$ vertices with $\delta(G)\geq(\frac{3}{4}+3\eta)(N-1)$. Then for each red-blue-edge-coloring of $G$, either there exist red even cycles of each length in $\{4, 6, 8, \ldots, (2-3\eta^2)\alpha_1N\}$, or there exist blue even cycles of each length in $\{4, 6, 8, \ldots, (2-3\eta^2)\alpha_2N\}$. Furthermore, the bound $\delta(G)\geq(\frac{3}{4}+3\eta)(N-1)$ is asymptotically tight. Previous studies on Schelp's question on cycles are on diagonal case, we obtain an asymptotic result of Schelp's question for all non-diagonal cases.

A theorem of Nosal and Nikiforov states that if $G$ is a triangle-free graph with $m$ edges, then $\lambda (G)\le \sqrt{m}$, equality holds if and only if $G$ is a complete bipartite graph. A well-known spectral conjecture of Bollob\'{a}s and Nikiforov [J. Combin. Theory Ser. B 97 (2007)] asserts that if $G$ is a $K_{r+1}$-free graph with $m$ edges, then $\lambda_1^2(G) + \lambda_2^2(G) \le (1-\frac{1}{r})2m$. Recently, Lin, Ning and Wu [Combin. Probab. Comput. 30 (2021)] confirmed the conjecture in the case $r=2$. Using this base case, they proved further that $\lambda (G)\le \sqrt{m-1}$ for every non-bipartite triangle-free graph $G$, with equality if and only if $m=5$ and $G=C_5$. Moreover, Zhai and Shu [Discrete Math. 345 (2022)] presented an improvement by showing $\lambda (G) \le \beta (m)$, where $\beta(m)$ is the largest root of $Z(x):=x^3-x^2-(m-2)x+m-3$. The equality in Zhai-Shu's result holds only if $m$ is odd and $G$ is obtained from the complete bipartite graph $K_{2,\frac{m-1}{2}}$ by subdividing exactly one edge. Motivated by this observation, Zhai and Shu proposed a question to find a sharp bound when $m$ is even. We shall solve this question by using a different method and characterize three kinds of spectral extremal graphs over all triangle-free non-bipartite graphs with even size. Our proof technique is mainly based on applying Cauchy's interlacing theorem of eigenvalues of a graph, and with the aid of a triangle counting lemma in terms of both eigenvalues and the size of a graph., Comment: 28 pages. Any comments and suggestions are welcome. arXiv admin note: text overlap with arXiv:2204.09884

Let $F_k$ be the graph obtained from $k$ triangles by sharing a common vertex. The $F_k$-free graphs of order $n$ which attain the maximal spectral radius was firstly characterized by Cioab\u{a}, Feng, Tait and Zhang [Electron. J. Combin. 27 (4) (2020)], and later uniquely determined by Zhai, Liu and Xue [Electron. J. Combin. 29 (3) (2022)] under the condition that $n$ is sufficiently large. In this paper, we get rid of the condition $n$ being sufficiently large if $k=2$. We show that the unique $n$-vertex $F_2$-free spectral extremal graph is the balanced complete bipartite graph adding an edge in the vertex part with smaller size if $n\ge 7$, and the condition $n\ge 7$ is tight. Moreover, we show that the unique $m$-edge $F_2$-free spectral extremal graph is the join of $K_2$ with an independent set of $\frac{m-1}{2}$ vertices if $m\ge 8$, and the condition $m\ge 8$ is tight., Comment: 21 pages, 5 figures. In the second version, we improved the presentation

A well-known result in extremal spectral graph theory, known as Nosal's theorem, states that if $G$ is a triangle-free graph on $n$ vertices, then $\lambda (G) \le \lambda (K_{\lfloor \frac{n}{2}\rfloor, \lceil \frac{n}{2} \rceil })$, equality holds if and only if $G=K_{\lfloor \frac{n}{2}\rfloor, \lceil \frac{n}{2} \rceil }$. Nikiforov [Linear Algebra Appl. 427 (2007)] extended Nosal's theorem to $K_{r+1}$-free graphs for every integer $r\ge 2$. This is known as the spectral Tur\'{a}n theorem. Recently, Lin, Ning and Wu [Combin. Probab. Comput. 30 (2021)] proved a refinement on Nosal's theorem for non-bipartite triangle-free graphs. In this paper, we provide alternative proofs for the result of Nikiforov and the result of Lin, Ning and Wu. Our proof can allow us to extend the later result to non-$r$-partite $K_{r+1}$-free graphs. Our result refines the theorem of Nikiforov and it also can be viewed as a spectral version of a theorem of Brouwer., Comment: 31 pages, 6 figures. Any comments and suggestions are welcome. This article was completed during a quarantine period due to the COVID-19 pandemic. The authors would like to express their sincere gratitude to all of the volunteers and medical staffs for their kind help and support, which makes our daily life more and more secure

Both the Simonovits stability theorem and the Nikiforov spectral stability theorem are powerful tools for solving exact values of Tur\'{a}n numbers in extremal graph theory. Recently, F\"{u}redi [J. Combin. Theory Ser. B 115 (2015)] provided a concise and contemporary proof of the Simonovits stability theorem. In this note, we present a unified treatment for some extremal graph problems, including short proofs of Nikiforov's spectral stability theorem and the clique stability theorem proved recently by Ma and Qiu [European J. Combin. 84 (2020)]. Moreover, some spectral extremal problems related to the $p$-spectral radius and signless Laplacian radius are also included., Comment: 25 pages. At the end of the paper, we proposed an open problem. Any suggestions and comments are welcome! The first author would like to thank Prof. Lihua Feng, who introduced and encouraged him to the study of fascinating spectral graph theory. Thanks also go to Prof. Vladimir Nikiforov for valuable comments and for pointing out references [51,22]

Given bipartite graphs $H_1$, \dots , $H_k$, the bipartite Ramsey number $br(H_1,\dots, H_k)$ is the minimum integer $N$ such that any $k$-edge-coloring of complete bipartite graph $K_{N, N}$ contains a monochromatic $H_i$ in color $i$ for $1\le i\le k$. There are considerable results on asymptotic values of bipartite Ramsey numbers of cycles. For exact value, Zhang-Sun \cite{Zhangs} determined $br(C_4, C_{2n})$, Zhang-Sun-Wu \cite{Zhangsw} determined $br(C_6, C_{2n})$, and Gholami-Rowshan \cite{GR} determined $br(C_8, C_{2n})$. In this paper, we solve all remaining cases and give the exact values of $br(C_{2n}, C_{2m})$ for all $n\ge m\ge 5$, this answers a question concerned by Buci\'c-Letzter-Sudakov \cite{BLS}, Gholami-Rowshan \cite{GR}, Zhang-Sun \cite{Zhangs}, and Zhang-Sun-Wu \cite{Zhangsw}.

A real number $\alpha\in [0, 1)$ is a jump for an integer $r\ge 2$ if there exists $c>0$ such that no number in $(\alpha , \alpha + c)$ can be the Tur\'an density of a family of $r$-uniform graphs. A classical result of Erd\H os and Stone \cite{ES} implies that that every number in $[0, 1)$ is a jump for $r=2$. Erd\H os \cite{E64} also showed that every number in $[0, r!/r^r)$ is a jump for $r\ge 3$ and asked whether every number in $[0, 1)$ is a jump for $r\ge 3$. Frankl and R\"odl \cite{FR84} gave a negative answer by showing a sequence of non-jumps for every $r\ge 3$. After this, Erd\H os modified the question to be whether $\frac{r!}{r^r}$ is a jump for $r\ge 3$? What's the smallest non-jump? Frankl, Peng, R\"odl and Talbot \cite{FPRT} showed that ${5r!\over 2r^r}$ is a non-jump for $r\ge 3$. Baber and Talbot \cite{BT0} showed that every $\alpha\in[0.2299, 0.2316)\cup [0.2871, \frac{8}{27})$ is a jump for $r=3$. Pikhurko \cite{Pikhurko2} showed that the set of all possible Tur\'an densities of $r$-uniform graphs has cardinality of the continuum for $r\ge 3$. However, whether $\frac{r!}{r^r}$ is a jump for $r\ge 3$ remains open, and $\frac{5r!}{2r^r}$ has remained the known smallest non-jump for $r\ge 3$. In this paper, we give a smaller non-jump by showing that ${54r!\over 25r^r}$ is a non-jump for $r\ge 3$. Furthermore, we give infinitely many irrational non-jumps for every $r\ge 3$.