arXiv++ Combinatorics

In 1962, Erdős proved that if a graph $G$ with $n$ vertices satisfies $$ e(G)>\max\left\{\binom{n-k}{2}+k^2,\binom{\lceil(n+1)/2\rceil}{2}+\left\lfloor \frac{n-1}{2}\right\rfloor^2\right\}, $$ where the minimum degree $δ(G)\geq k$ and $1\leq k\leq(n-1)/2$, then it is Hamiltonian. For $n \geq 2k+1$, let $E^k_n=K_{k}\vee (kK_1+K_{n-2k})$, where "$\vee$" is the "join" operation. One can observe $e(E^k_n)=\binom{n-k}{2}+k^2$ and $E^k_n$ is not Hamiltonian. As $E^k_n$ contains induced claws for $k\geq 2$, a natural question is to characterize all 2-connected claw-free non-Hamiltonian graphs with the largest possible number of edges. We answer this question completely by proving a claw-free analog of Erdős' theorem. Moreover, as byproducts, we establish several tight spectral conditions for a 2-connected claw-free graph to be Hamiltonian. Similar results for the traceability of connected claw-free graphs are also obtained. Our tools include Ryjáček's claw-free closure theory and Brousek's characterization of minimal 2-connected claw-free non-Hamiltonian graphs.

In 1962, Erdős gave a sufficient condition for Hamilton cycles in terms of the vertex number, edge number, and minimum degree of graphs which generalized Ore's theorem. One year later, Moon and Moser gave an analogous result for Hamilton cycles in balanced bipartite graphs. In this paper we present the spectral analogues of Erdős' theorem and Moon-Moser's theorem, respectively. Let $\mathcal{G}_n^k$ be the class of non-Hamiltonian graphs of order $n$ and minimum degree at least $k$. We determine the maximum (signless Laplacian) spectral radius of graphs in $\mathcal{G}_n^k$ (for large enough $n$), and the minimum (signless Laplacian) spectral radius of the complements of graphs in $\mathcal{G}_n^k$. All extremal graphs with the maximum (signless Laplacian) spectral radius and with the minimum (signless Laplacian) spectral radius of the complements are determined, respectively. We also solve similar problems for balanced bipartite graphs and the quasi-complements.

The well known Mantel's Theorem states that a graph on $n$ vertices and $m$ edges contains a triangle if $m>\frac{n^2}{4}$. Nosal proved that every graph on $m$ edges contains a triangle if the spectral radius $λ_1>\sqrt{m}$, which is a spectral analog of Mantel's Theorem. Furthermore, by using Motzkin-Straus Inequality, Nikiforov sharped Nosal's result and characterized the extremal graphs when the equality holds. Our first contribution in this note is to give two new proofs of the spectral concise Mantel's Theorem due to Nikiforov (without help of Motzkin-Straus Inequality). Nikiforov also obtained some results concerning the existence of consecutive cycles and spectral radius. Second, we prove a theorem concerning the existence of consecutive even cycles and spectral radius, which slightly improves a result of Nikiforov. At last, we focus on spectral radius inequalities. Hong proved his famous bound for spectral radius. Later, Hong, Shu and Fang generalized Hong's bound to connected graphs with given minimum degree. By using quite different technique, Nikiforov proved Hong et al.'s bound for general graphs independently. In this note, we prove a new spectral inequality by applying the technique of Nikiforov. Our result extends Stanley's spectral inequality.

A graph is called \emph{claw-free} if it contains no induced subgraph isomorphic to $K_{1,3}$. Matthews and Sumner proved that a 2-connected claw-free graph $G$ is hamiltonian if every vertex of it has degree at least $(|V(G)|-2)/3$. At the workshop C\&C (Novy Smokovec, 1993), Broersma conjectured the degree condition of this result can be restricted only to end-vertices of induced copies of $N$ (the graph obtained from a triangle by adding three disjoint pendant edges). Fujisawa and Yamashita showed that the degree condition of Matthews and Sumner can be restricted only to end-vertices of induced copies of $Z_1$ (the graph obtained from a triangle by adding one pendant edge). Our main result in this paper is a characterization of all graphs $H$ such that a 2-connected claw-free graph $G$ is hamiltonian if each end-vertex of every induced copy of $H$ in $G$ has degree at least $|V(G)|/3+1$. This gives an affirmative solution of the conjecture of Broersma up to an additive constant.

A graph $G$ is called \emph{claw-o-heavy} if every induced claw ($K_{1,3}$) of $G$ has two end-vertices with degree sum at least $|V(G)|$ in $G$. For a given graph $R$, $G$ is called \emph{$R$-f-heavy} if for every induced subgraph $H$ of $G$ isomorphic to $R$ and every pair of vertices $u,v\in V(H)$ with $d_H(u,v)=2$, there holds $\max\{d(u),d(v)\}\geq |V(G)|/2$. In this paper, we prove that every 2-connected claw-\emph{o}-heavy and $Z_3$-\emph{f}-heavy graph is hamiltonian (with two exceptional graphs), where $Z_3$ is the graph obtained from identifying one end-vertex of $P_4$ (a path with 4 vertices) with one vertex of a triangle. This result gives a positive answer to a problem proposed in [B. Ning, S. Zhang, Ore- and Fan-type heavy subgraphs for Hamiltonicity of 2-connected graphs, Discrete Math. 313 (2013) 1715--1725], and also implies two previous theorems of Faudree et al. and Chen et al., respectively.

Let $G$ be a connected claw-free graph on $n$ vertices and $\overline{G}$ be its complement graph. Let $μ(G)$ be the spectral radius of $G$. Denote by $N_{n-3,3}$ the graph consisting of $K_{n-3}$ and three disjoint pendent edges. In this note we prove that: (1) If $μ(G)\geq n-4$, then $G$ is traceable unless $G=N_{n-3,3}$. (2) If $μ(\overline{G})\leq μ(\overline{N_{n-3,3}})$ and $n\geq 24$, then $G$ is traceable unless $G=N_{n-3,3}$. Our works are counterparts on claw-free graphs of previous theorems due to Lu et al., and Fiedler and Nikiforov, respectively.

There are many major open problems in integer flow theory, such as Tutte's 3-flow conjecture that every 4-edge-connected graph admits a nowhere-zero 3-flow, Jaeger et al.'s conjecture that every 5-edge-connected graph is $Z_3$-connected and Kochol's conjecture that every bridgeless graph with at most three 3-edge-cuts admits a nowhere-zero 3-flow (an equivalent version of 3-flow conjecture). Thomassen proved that every 8-edge-connected graph is $Z_3$-connected and therefore admits a nowhere-zero 3-flow. Furthermore, Lov$\acute{a}$sz, Thomassen, Wu and Zhang improved Thomassen's result to 6-edge-connected graphs. In this paper, we prove that: (1) Every 4-edge-connected graph with at most seven 5-edge-cuts admits a nowhere-zero 3-flow. (2) Every bridgeless graph containing no 5-edge-cuts but at most three 3-edge-cuts admits a nowhere-zero 3-flow. (3) Every 5-edge-connected graph with at most five 5-edge-cuts is $Z_3$-connected. Our main theorems are partial results to Tutte's 3-flow conjecture, Kochol's conjecture and Jaeger et al.'s conjecture, respectively.

In 1992, Manoussakis conjectured that a strongly 2-connected digraph $D$ on $n$ vertices is hamiltonian if for every two distinct pairs of independent vertices $x,y$ and $w,z$ we have $d(x)+d(y)+d(w)+d(z)\geq 4n-3$. In this note we show that $D$ has a Hamilton path, which gives an affirmative evidence supporting this conjecture.

Let $G_1$ and $G_2$ be two given graphs. The Ramsey number $R(G_1,G_2)$ is the least integer $r$ such that for every graph $G$ on $r$ vertices, either $G$ contains a $G_1$ or $\overline{G}$ contains a $G_2$. Parsons gave a recursive formula to determine the values of $R(P_n,K_{1,m})$, where $P_n$ is a path on $n$ vertices and $K_{1,m}$ is a star on $m+1$ vertices. In this note, we first give an explicit formula for the path-star Ramsey numbers. Secondly, we study the Ramsey numbers $R(P_n,K_1\vee F_m)$, where $F_m$ is a linear forest on $m$ vertices. We determine the exact values of $R(P_n,K_1\vee F_m)$ for the cases $m\leq n$ and $m\geq 2n$, and for the case that $F_m$ has no odd component. Moreover, we give a lower bound and an upper bound for the case $n+1\leq m\leq 2n-1$ and $F_m$ has at least one odd component.

Let $G_1$ and $G_2$ be two given graphs. The Ramsey number $R(G_1,G_2)$ is the least integer $r$ such that for every graph $G$ on $r$ vertices, either $G$ contains a $G_1$ or $\overline{G}$ contains a $G_2$. We denote by $P_n$ the path on $n$ vertices and $W_m$ the wheel on $m+1$ vertices. Chen et al. and Zhang determined the values of $R(P_n,W_m)$ when $m\leq n+1$ and when $n+2\leq m\leq 2n$, respectively. In this paper we determine all the values of $R(P_n,W_m)$ for the left case $m\geq 2n+1$. Together with Chen et al's and Zhang's results, we give a complete solution to the problem of determining the Ramsey numbers of paths versus wheels.

Let $G$ be a graph with minimum degree $δ$. The spectral radius of $G$, denoted by $ρ(G)$, is the largest eigenvalue of the adjacency matrix of $G$. In this note we mainly prove the following two results. (1) Let $G$ be a graph on $n\geq 4$ vertices with $δ\geq 1$. If $ρ(G)> n-3$, then $G$ contains a Hamilton path unless $G\in\{K_1\vee (K_{n-3}+2K_1),K_2\vee 4K_1,K_1\vee (K_{1,3}+K_1)\}$. (2) Let $G$ be a graph on $n\geq 14$ vertices with $δ\geq 2$. If $ρ(G)\geq ρ(K_2\vee (K_{n-4}+2K_1))$, then $G$ contains a Hamilton cycle unless $G= K_2\vee (K_{n-4}+2K_1)$. As corollaries of our first result, two previous theorems due to Fiedler and Nikiforov and Lu et al. are obtained, respectively. Our second result refines another previous theorem of Fiedler and Nikiforov.

Let $G$ be a graph on $n\geq 3$ vertices. A graph $G$ is almost distance-hereditary if each connected induced subgraph $H$ of $G$ has the property $d_{H}(x,y)\leq d_{G}(x,y)+1$ for any pair of vertices $x,y\in V(H)$. A graph $G$ is called 1-heavy (2-heavy) if at least one (two) of the end vertices of each induced subgraph of $G$ isomorphic to $K_{1,3}$ (a claw) has (have) degree at least $n/2$, and called claw-heavy if each claw of $G$ has a pair of end vertices with degree sum at least $n$. Thus every 2-heavy graph is claw-heavy. In this paper we prove the following two results: (1) Every 2-connected, claw-heavy and almost distance-hereditary graph is Hamiltonian. (2) Every 3-connected, 1-heavy and almost distance-hereditary graph is Hamiltonian. In particular, the first result improves a previous theorem of Feng and Guo. Both results are sharp in some sense.

In 1984, Fan gave a sufficient condition involving maximum degree of every pair of vertices at distance two for a graph to be Hamiltonian. Motivated by Fan's result, we say that an induced subgraph $H$ of a graph $G$ is $f$-heavy if for every pair of vertices $u,v\in V(H)$, $d_{H}(u,v)=2$ implies that $\max\{d(u),d(v)\}\geq n/2$. For a given graph $R$, $G$ is called $R$-$f$-heavy if every induced subgraph of $G$ isomorphic to $R$ is $f$-heavy. For a family $\mathcal{R}$ of graphs, $G$ is $\mathcal{R}$-$f$-\emph{heavy} if $G$ is $R$-$f$-heavy for every $R\in \mathcal{R}$. In this note we show that every 2-connected graph $G$ has a Hamilton cycle if $G$ is $\{K_{1,3},P_7,D\}$-$f$-heavy or $\{K_{1,3},P_7,H\}$-$f$-heavy, where $D$ is the deer and $H$ is the hourglass. Our result is a common generalization of previous theorems of Broersma et al. and Fan on Hamiltonicity of 2-connected graphs.

In this paper we obtain a new sufficient condition for the existence of directed cycles of length 4 in oriented bipartite graphs. As a corollary, a conjecture of H. Li is confirmed. As an application, a sufficient condition for the existence of rainbow cycles of length 4 in bipartite edge-colored graphs is obtained.

Andrews once gave $q$-analogues of a binomial congruence of Glaisher, and he suggested perfect $q$-analogues. In this note we give ones meeting the demand of Andrews.

Recently, Straub gave an interesting $q$-analogue of a binomial congruence of Ljunggren. In this note we give an inductive proof of his result.

A graph $G$ on $n$ vertices is Hamiltonian if it contains a spanning cycle, and pancyclic if it contains cycles of all lengths from 3 to $n$. In 1984, Fan presented a degree condition involving every pair of vertices at distance two for a 2-connected graph to be Hamiltonian. Motivated by Fan's result, we say that an induced subgraph $H$ of $G$ is $f_1$-heavy if for every pair of vertices $u,v\in V(H)$, $d_{H}(u,v)=2$ implies $\max\{d(u),d(v)\}\geq (n+1)/2$. For a given graph $R$, $G$ is called $R$-$f_1$-heavy if every induced subgraph of $G$ isomorphic to $R$ is $f_1$-heavy. In this paper we show that for a connected graph $S$ with $S\neq P_3$ and a 2-connected claw-$f_1$-heavy graph $G$ which is not a cycle, $G$ being $S$-$f_1$-heavy implies $G$ is pancyclic if $S=P_4,Z_1$ or $Z_2$, where claw is $K_{1,3}$ and $Z_i$ is the path $a_1a_2a_3... a_{i+2}a_{i+3}$ plus the edge $a_1a_3$. Our result partially improves a previous theorem due to Bedrossian on pancyclicity of 2-connected graphs.

In this short note, we give a new sufficient condition for the existence of long cycles in graphs involving Fan-type degree condition and neighborhood intersection.

Let claw be the graph $K_{1,3}$. A graph $G$ on $n\geq 3$ vertices is called \emph{o}-heavy if each induced claw of $G$ has a pair of end-vertices with degree sum at least $n$, and 1-heavy if at least one end-vertex of each induced claw of $G$ has degree at least $n/2$. In this note, we show that every 2-connected $o$-heavy or 3-connected 1-heavy graph is Hamiltonian if we restrict Fan-type degree condition or neighborhood intersection condition to certain pairs of vertices in some small induced subgraphs of the graph. Our results improve or extend previous results of Broersma et al., Chen et al., Fan, Goodman & Hedetniemi, Gould & Jacobson, and Shi on the existence of Hamilton cycles in graphs.

Let $G$ be an edge-colored graph. The color degree of a vertex $v$ of $G$, is defined as the number of colors of the edges incident to $v$. The color number of $G$ is defined as the number of colors of the edges in $G$. A rainbow triangle is one in which every pair of edges have distinct colors. In this paper we give some sufficient conditions for the existence of rainbow triangles in edge-colored graphs in terms of color degree, color number and edge number. As a corollary, a conjecture proposed by Li and Wang (Color degree and heterochromatic cycles in edge-colored graphs, European J. Combin. 33 (2012) 1958--1964) is confirmed.