arXiv++ Combinatorics

For a 2-connected graph $G$ on $n$ vertices and two vertices $x,y\in V(G)$, we prove that there is an $(x,y)$-path of length at least $k$ if there are at least $\frac{n-1}{2}$ vertices in $V(G)\backslash \{x,y\}$ of degree at least $k$. This strengthens a well-known theorem due to Erdős and Gallai in 1959. As the first application of this result, we show that a 2-connected graph with $n$ vertices contains a cycle of length at least $2k$ if it has at least $\frac{n}{2}+k$ vertices of degree at least $k$. This confirms a 1975 conjecture made by Woodall. As another applications, we obtain some results which generalize previous theorems of Dirac, Erdős-Gallai, Bondy, and Fujisawa et al., present short proofs of the path case of Loebl-Komlós-Sós Conjecture which was verified by Bazgan et al. and of a conjecture of Bondy on longest cycles (for large graphs) which was confirmed by Fraisse and Fournier, and make progress on a conjecture of Bermond.

A circle of an infinite locally finite graph $G$ is the imagine of a homeomorphic mapping of the unit circle $S^1$ in $|G|$, the Freudenthal compactification of $G$. A circle of $G$ is Hamiltonian if it meets every vertex (and then every end) of $G$. In this paper, we study a method for finding Hamiltonian circles of graphs. We illustrate this by extending several results on finite graphs to Hamiltonian circles in infinite graphs. For example, we prove that the prism of every 3-connected cubic graph has a Hamiltonian circle, extending the result of the finite case by Paulraja.

For a graph $G$, the $t$-th power $G^t$ is the graph on $V(G)$ such that two vertices are adjacent if and only if they have distance at most $t$ in $G$; and the $t$-th bi-power $G_B^t$ is the graph on $V(G)$ such that two vertices are adjacent if and only if their distance in $G$ is odd at most $t$. Fleischner's theorem states that the square of every 2-connected finite graph has a Hamiltonian cycle. Georgakopoulos prove that the square of every 2-connected infinite locally finite graph has a Hamiltonian circle. In this paper, we consider the Hamiltonicity of the bi-power of bipartite graphs. We show that for every connected finite bipartite graph $G$ with a perfect matching, $G_B^3$ has a Hamiltonian cycle. We also show that if $G$ is a connected infinite locally finite bipartite graph with a perfect matching, then $G_B^3$ has a Hamiltonian circle.

Let the bipartite Turán number $ex(m,n,H)$ of a graph $H$ be the maximum number of edges in an $H$-free bipartite graph with two parts of sizes $m$ and $n$, respectively. In this paper, we prove that $ex(m,n,C_{2t})=(t-1)n+m-t+1$ for any positive integers $m,n,t$ with $n\geq m\geq t\geq \frac{m}{2}+1$. This confirms the rest of a conjecture of Györi \cite{G97} (in a stronger form), and improves the upper bound of $ex(m,n,C_{2t})$ obtained by Jiang and Ma \cite{JM18} for this range. We also prove a tight edge condition for consecutive even cycles in bipartite graphs, which settles a conjecture in \cite{A09}. As a main tool, for a longest cycle $C$ in a bipartite graph, we obtain an estimate on the upper bound of the number of edges which are incident to at most one vertex in $C$. Our two results generalize or sharpen a classical theorem due to Jackson \cite{J85} in different ways.

Let $\mathcal{F}$ be a family of subsets of $[n]=\{1,\ldots,n\}$ and let $L$ be a set of nonnegative integers. The family $\mathcal{F}$ is \emph{$L$-intersecting} if $|F\cap F'|\in L$ for every two distinct members $F,F'\in\mathcal{F}$; and $\mathcal{F}$ is $k$-uniform if all its members have the same size $k$. A large variety of problems and results in extremal set theory concern on $k$-uniform $L$-intersecting families. Many attentions are paid to finding the maximum size of a family among all $k$-uniform $L$-intersecting families with prescribed $n,k$ and $L$. In this paper, from another point of view, we propose and investigate the problem of estimating the maximum size of a member in a family among all uniform $L$-intersecting families with size $m$, here $n,m$ and $L$ are prescribed. Our results aim to find out more precise relations of $n,m,k$ and $L$.

Let $k,l$ be two positive integers. An $S_{k,l}$ is a graph obtained from disjoint $K_{1,k}$ and $K_{1,l}$ by adding an edge between the $k$-degree vertex in $K_{1,k}$ and the $l$-degree vertex in $K_{1,l}$. An {\em $S_{k,l}$-free} graph is a graph containing no induced subgraph isomorphic to $S_{k,l}$. In this note, we show that, for any positive integers $k,l$ with $2\leqslant k\leqslant l$, there exists a constant $c=c(k,l)$ such that every connected balanced $S_{k,l}$-free bipartite graph with minimum degree at least $c$ contains a connected $k$-factor.

For an arc-colored digraph $D$, define its {\em kernel by rainbow paths} to be a set $S$ of vertices such that (i) no two vertices of $S$ are connected by a rainbow path in $D$, and (ii) every vertex outside $S$ can reach $S$ by a rainbow path in $D$. In this paper, we show that it is NP-complete to decide whether an arc-colored tournament has a kernel by rainbow paths, where a {\em tournament} is an orientation of a complete graph. In addition, we show that every arc-colored $n$-vertex tournament with all its strongly connected $k$-vertex subtournaments, $3\leq k\leq n$, colored with at least $k-1$ colors has a kernel by rainbow paths, and the number of colors required cannot be reduced.

In 1962, Erdős proved a theorem on the existence of Hamilton cycles in graphs with given minimum degree and number of edges. Significantly strengthening in case of balanced bipartite graphs, Moon and Moser proved a corresponding theorem in 1963. In this paper we establish several spectral analogues of Moon and Moser's theorem on Hamilton paths in balanced bipartite graphs and nearly balanced bipartite graphs. One main ingredient of our proofs is a structural result of its own interest, involving Hamilton paths in balanced bipartite graphs with given minimum degree and number of edges.

Understanding how the cycles of a graph or digraph behave in general has always been an important point of graph theory. In this paper, we study the question of finding a set of $k$ vertex-disjoint cycles (resp. directed cycles) of distinct lengths in a given graph (resp. digraph). In the context of undirected graphs, we prove that, for every $k \geq 1$, every graph with minimum degree at least $\frac{k^2+5k-2}{2}$ has $k$ vertex-disjoint cycles of different lengths, where the degree bound is best possible. We also consider stronger situations, and exhibit degree bounds (some of which are best possible) when e.g. the graph is triangle-free, or the $k$ cycles are requested to have different lengths congruent to some values modulo some $r$. In the context of directed graphs, we consider a conjecture of Lichiardopol concerning the least minimum out-degree required for a digraph to have $k$ vertex-disjoint directed cycles of different lengths. We verify this conjecture for tournaments, and, by using the probabilistic method, for regular digraphs and digraphs of small order.

Broersma and Veldman proved that every 2-connected claw-free and $P_6$-free graph is hamiltonian. Chen et al. extended this result by proving every 2-connected claw-heavy and $P_6$-free graph is hamiltonian. On the other hand, Li et al. constructed a class of 2-connected graphs which are claw-heavy and $P_6$-\emph{o}-heavy but not hamiltonian. In this paper we further give some Ore-type degree conditions restricting to induced $P_6$'s of a 2-connected claw-heavy graph that can guarantee the graph to be hamiltonian. This improves some previous related results.

Let $G$ be a graph. Adopting the terminology of Broersma et al. and Čada, respectively, we say that $G$ is 2-heavy if every induced claw ($K_{1,3}$) of $G$ contains two end-vertices each one has degree at least $|V(G)|/2$; and $G$ is o-heavy if every induced claw of $G$ contains two end-vertices with degree sum at least $|V(G)|$ in $G$. In this paper, we introduce a new concept, and say that $G$ is \emph{$S$-c-heavy} if for a given graph $S$ and every induced subgraph $G'$ of $G$ isomorphic to $S$ and every maximal clique $C$ of $G'$, every non-trivial component of $G'-C$ contains a vertex of degree at least $|V(G)|/2$ in $G$. In terms of this concept, our original motivation that a theorem of Hu in 1999 can be stated as every 2-connected 2-heavy and $N$-c-heavy graph is hamiltonian, where $N$ is the graph obtained from a triangle by adding three disjoint pendant edges. In this paper, we will characterize all connected graphs $S$ such that every 2-connected o-heavy and $S$-c-heavy graph is hamiltonian. Our work results in a different proof of a stronger version of Hu's theorem. Furthermore, our main result improves or extends several previous results.

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.

For two given graphs $G_1$ and $G_2$, 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 $\bar{G}$ contains a $G_2$. In this note, we determined the Ramsey number $R(K_{1,n},W_m)$ for even $m$ with $n+2\leq m\leq 2n-2$, where $W_m$ is the wheel on $m+1$ vertices, i.e., the graph obtained from a cycle $C_m$ by adding a vertex $v$ adjacent to all vertices of the $C_m$.

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.

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.

A graph is called traceable if it contains a Hamilton path, i.e., a path passing through all its vertices. Let $G$ be a graph on $n$ vertices. $G$ is called claw-$o_{-1}$-heavy if every induced claw ($K_{1,3}$) of $G$ has a pair of nonadjacent vertices with degree sum at least $n-1$ in $G$. In this paper we show that a claw-$o_{-1}$-heavy graph $G$ is traceable if we impose certain additional conditions on $G$ involving forbidden induced subgraphs.