arXiv++ Combinatorics

Let $G$ be a simple graph, and let $n$, $Δ(G)$ and $χ' (G)$ be the order, the maximum degree and the chromatic index of $G$, respectively. We call $G$ overfull if $|E(G)|/\lfloor n/2\rfloor > Δ(G)$, and critical if $χ'(H) < χ'(G)$ for every proper subgraph $H$ of $G$. Clearly, if $G$ is overfull then $χ'(G) = Δ(G)+1$. The core of $G$, denoted by $G_Δ$, is the subgraph of $G$ induced by all its maximum degree vertices. Hilton and Zhao conjectured that for any critical class 2 graph $G$ with $Δ(G) \ge 4$, if the maximum degree of $G_Δ$ is at most two, then $G$ is overfull, which in turn gives $Δ(G) > n/2 +1$. We show that for any critical class 2 graph $G$, if the minimum degree of $G_Δ$ is at most two and $Δ(G) > n/2 +1$, then $G$ is overfull.

For a given graph $H$, the Ramsey number $r(H)$ is the minimum $N$ such that any 2-edge-coloring of the complete graph $K_N$ yields a monochromatic copy of $H$. Given a positive integer $n$, a \emph{fan }$F_n$ is a graph formed by $n$ triangles that share one common vertex. We show that ${9n}/{2}-5\le r(F_n)\le {11n}/{2} + 6$ for any $n$. This improves previous best bounds $r(F_n) \le 6n$ of Lin and Li and $r(F_n) \ge 4n+2$ of Zhang, Broersma and Chen.

Let $G$ be a simple graph with maximum degree $Δ$. A classic result of Vizing shows that $χ'(G)$, the chromatic index of $G$, is either $Δ$ or $Δ+1$. We say $G$ is of \emph{Class 1} if $χ'(G)=Δ$, and is of \emph{Class 2} otherwise. A graph $G$ is \emph{$Δ$-critical} if $χ'(G)=Δ+1$ and $χ'(H)<Δ+1$ for every proper subgraph $H$ of $G$, and is \emph{overfull} if $|E(G)|>Δ\lfloor (|V(G)|-1)/2 \rfloor$. Clearly, overfull graphs are Class 2. Hilton and Zhao in 1997 conjectured that if $G$ is obtained from an $n$-vertex $Δ$-regular Class 1 graph with maximum degree greater than $n/3$ by splitting a vertex, then being overfull is the only reason for $G$ to be Class 2. This conjecture was only confirmed when $Δ\ge \frac{n}{2}(\sqrt{7}-1)\approx 0.82n$. In this paper, we improve the bound on $Δ$ from $\frac{n}{2}(\sqrt{7}-1)$ to $0.75n$. Considering the structure of $Δ$-critical graphs with a vertex of degree 2, we also show that for an $n$-vertex $Δ$-critical graph with $Δ\ge \frac{3n}{4}$, if it contains a vertex of degree 2, then it is overfull. We actually obtain a more general form of this result, which partially supports the overfull conjecture of Chetwynd and Hilton from 1986, which states that if $G$ is an $n$-vertex $Δ$-critical graph with $Δ>n/3$, then $G$ contains an overfull subgraph $H$ with $Δ(H)=Δ$. Our proof techniques are new and might shed some light on attacking both of the conjectures when $Δ$ is large.

Let $G$ be a simple graph with maximum degree $Δ$. We call $G$ \emph{overfull} if $|E(G)|>Δ\lfloor |V(G)|/2\rfloor$. The \emph{core} of $G$, denoted $G_Δ$, is the subgraph of $G$ induced by its vertices of degree $Δ$. A classic result of Vizing shows that $χ'(G)$, the chromatic index of $G$, is either $Δ$ or $Δ+1$. It is NP-complete to determine the chromatic index for a general graph. However, if $G$ is overfull then $χ'(G)=Δ+1$. Hilton and Zhao in 1996 conjectured that if $G$ is a simple connected graph with $Δ\ge 3$ and $Δ(G_Δ)\le 2$, then $χ'(G)=Δ+1$ if and only if $G$ is overfull or $G=P^*$, where $P^*$ is obtained from the Petersen graph by deleting a vertex. This conjecture, if true, implies an easy approach for calculating $χ'(G)$ for graphs $G$ satisfying the conditions. The progress on the conjecture has been slow: it was only confirmed for $Δ=3,4$, respectively, in 2003 and 2017. In this paper, we confirm this conjecture for all $Δ\ge 4$.

An edge cut $C$ of a graph $G$ is {\it tight} if $|C \cap M|=1$ for every perfect matching $M$ of $G$.~Barrier cuts and 2-separation cuts are called {\it ELP-cuts}, which are two important types of tight cuts in matching covered graphs.~Edmonds, Lovász and Pulleyblank proved that if a matching covered graph has a nontrivial tight cut, then it also has a nontrivial ELP-cut.~Carvalho, Lucchesi, and Murty made a stronger conjecture: given any nontrivial tight cut $C$ in a matching covered graph $G$, there exists a nontrivial ELP-cut $D$ in $G$ which does not cross $C$.~We confirm the conjecture in this paper.

Let $G=(V,E)$ be a multigraph. The {\em cover index} $ξ(G)$ of $G$ is the greatest integer $k$ for which there is a coloring of $E$ with $k$ colors such that each vertex of $G$ is incident with at least one edge of each color. Let $δ(G)$ be the minimum degree of $G$ and let $Φ(G)$ be the {\em co-density} of $G$, defined by \[Φ(G)=\min \Big\{\frac{2|E^+(U)|}{|U|+1}:\,\, U \subseteq V, \,\, |U|\ge 3 \hskip 2mm {\rm and \hskip 2mm odd} \Big\},\] where $E^+(U)$ is the set of all edges of $G$ with at least one end in $U$. It is easy to see that $ξ(G) \le \min\{δ(G), \lfloor Φ(G) \rfloor\}$. In 1978 Gupta proposed the following co-density conjecture: Every multigraph $G$ satisfies $ξ(G)\ge \min\{δ(G)-1, \, \lfloor Φ(G) \rfloor\}$, which is the dual version of the Goldberg-Seymour conjecture on edge-colorings of multigraphs. In this note we prove that $ξ(G)\ge \min\{δ(G)-1, \, \lfloor Φ(G) \rfloor\}$ if $Φ(G)$ is not integral and $ξ(G)\ge \min\{δ(G)-2, \, \lfloor Φ(G) \rfloor-1\}$ otherwise. We also show that this co-density conjecture implies another conjecture concerning cover index made by Gupta in 1967.

Given a multigraph $G=(V,E)$, the {\em edge-coloring problem} (ECP) is to color the edges of $G$ with the minimum number of colors so that no two adjacent edges have the same color. This problem can be naturally formulated as an integer program, and its linear programming relaxation is called the {\em fractional edge-coloring problem} (FECP). In the literature, the optimal value of ECP (resp. FECP) is called the {\em chromatic index} (resp. {\em fractional chromatic index}) of $G$, denoted by $χ'(G)$ (resp. $χ^*(G)$). Let $Δ(G)$ be the maximum degree of $G$ and let \[Γ(G)=\max \Big\{\frac{2|E(U)|}{|U|-1}:\,\, U \subseteq V, \,\, |U|\ge 3 \hskip 2mm {\rm and \hskip 2mm odd} \Big\},\] where $E(U)$ is the set of all edges of $G$ with both ends in $U$. Clearly, $\max\{Δ(G), \, \lceil Γ(G) \rceil \}$ is a lower bound for $χ'(G)$. As shown by Seymour, $χ^*(G)=\max\{Δ(G), \, Γ(G)\}$. In the 1970s Goldberg and Seymour independently conjectured that $χ'(G) \le \max\{Δ(G)+1, \, \lceil Γ(G) \rceil\}$. Over the past four decades this conjecture, a cornerstone in modern edge-coloring, has been a subject of extensive research, and has stimulated a significant body of work. In this paper we present a proof of this conjecture. Our result implies that, first, there are only two possible values for $χ'(G)$, so an analogue to Vizing's theorem on edge-colorings of simple graphs, a fundamental result in graph theory, holds for multigraphs; second, although it is $NP$-hard in general to determine $χ'(G)$, we can approximate it within one of its true value, and find it exactly in polynomial time when $Γ(G)>Δ(G)$; third, every multigraph $G$ satisfies $χ'(G)-χ^*(G) \le 1$, so FECP has a fascinating integer rounding property.

Let $G$ be a simple graph with maximum degree $Δ(G)$ and chromatic index $χ'(G)$. A classic result of Vizing indicates that either $χ'(G )=Δ(G)$ or $χ'(G )=Δ(G)+1$. The graph $G$ is called $Δ$-critical if $G$ is connected, $χ'(G )=Δ(G)+1$ and for any $e\in E(G)$, $χ'(G-e)=Δ(G)$. Let $G$ be an $n$-vertex $Δ$-critical graph. Vizing conjectured that $α(G)$, the independence number of $G$, is at most $\frac{n}{2}$. The current best result on this conjecture, shown by Woodall, is that $α(G)<\frac{3n}{5}$. We show that for any given $\varepsilon\in (0,1)$, there exist positive constants $d_0(\varepsilon)$ and $D_0(\varepsilon)$ such that if $G$ is an $n$-vertex $Δ$-critical graph with minimum degree at least $d_0$ and maximum degree at least $D_0$, then $α(G)<(\frac{1}{2}+\varepsilon)n$. In particular, we show that if $G$ is an $n$-vertex $Δ$-critical graph with minimum degree at least $d$ and $Δ(G)\ge (d+2)^{5d+10}$, then \[ α(G) < \left. \begin{cases} \frac{7n}{12}, & \text{if $d= 3$; } \frac{4n}{7}, & \text{if $d= 4$; } \frac{d+2+\sqrt[3]{(d-1)d}}{2d+4+\sqrt[3]{(d-1)d}}n<\frac{4n}{7}, & \text{if $d\ge 19$. } \end{cases} \right. \]

Let $G=(V,E)$ be a finite undirected graph. If $P$ is an oriented path from $r_1\in V$ to $r_2\in V$, we define $\partial(P) = r_2-r_1$. If $R, S\subseteq V$, we denote by $P(G; R, S)$ the span of the set of all $\partial P\otimes \partial Q$ with $P$ and $Q$ disjoint oriented paths of $G$ connecting vertices in $R$ and $S$, respectively. By $L(R, S)$, we denote the submodule of $\mathbb{Z}\langle R\rangle\otimes\mathbb{Z}\langle S\rangle$ consisting all $\sum_{r\in R, s\in S} c(r,s)r\otimes s$ such that $c(r,r) = 0$ for all $r\in R\cap S$, $\sum_{r\in R} c(r, s) = 0$ for all $s\in S$, and $\sum_{s\in S} c(r, s) = 0$ for all $r\in R$. In this paper, we provide, when $G$ is sufficiently connected, characterizations when $P(G; R, S)$ is a proper subset of $L(R, S)$.

Appearing in different format, Gupta\,(1967), Goldberg\,(1973), Andersen\,(1977), and Seymour\,(1979) conjectured that if $G$ is an edge-$k$-critical graph with $k \ge Δ+1$, then $|V(G)|$ is odd and, for every edge $e$, $E(G-e)$ is a union of disjoint near-perfect matchings, where $Δ$ denotes the maximum degree of $G$. Tashkinov tree method shows that critical graphs contain a subgraph with two important properties named closed and elementary. Recently, efforts have been made in extending graphs beyond Tashkinov trees. However, these results can only keep one of the two essential properties. In this paper, we developed techniques to extend Tashkinov trees to larger subgraphs with both properties. Applying our result, we have improved almost all known results towards Goldberg's conjecture. In particular, we showed that Goldberg's conjecture holds for graph $G$ with $|V(G)| \le 39$ and $|Δ(G)| \le 39$ and Jacobsen's equivalent conjecture holds for $m \le 39$ while the previous known bound is $23$.

Given a graph $G$, denote by $Δ$ and $χ^\prime$ the maximum degree and the chromatic index of $G$, respectively. A simple graph $G$ is called {\it edge-$Δ$-critical} if $χ^\prime(G)=Δ+1$ and $χ^\prime(H)\leΔ$ for every proper subgraph $H$ of $G$. We proved that every edge chromatic critical graph of order $n$ with maximum degree at least $\frac{2n}{3}+12$ is Hamiltonian.

Given a graph $G$, denote by $Δ$, $\bar{d}$ and $χ^\prime$ the maximum degree, the average degree and the chromatic index of $G$, respectively. A simple graph $G$ is called {\it edge-$Δ$-critical} if $χ^\prime(G)=Δ+1$ and $χ^\prime(H)\leΔ$ for every proper subgraph $H$ of $G$. Vizing in 1968 conjectured that if $G$ is edge-$Δ$-critical, then $\bar{d}\geq Δ-1+ \frac{3}{n}$. We show that $$ \begin{displaystyle} \avd \ge \begin{cases} 0.69241\D-0.15658 \quad\,\: \mbox{ if } Δ\geq 66, 0.69392\D-0.20642\quad\;\,\mbox{ if } Δ=65, \mbox{ and } 0.68706\D+0.19815\quad\! \quad\mbox{if } 56\leq Δ\leq64. \end{cases} \end{displaystyle} $$ This result improves the best known bound $\frac{2}{3}(Δ+2)$ obtained by Woodall in 2007 for $Δ\geq 56$. Additionally, Woodall constructed an infinite family of graphs showing his result cannot be improved by well-known Vizing's Adjacency Lemma and other known edge-coloring techniques. To over come the barrier, we follow the recently developed recoloring technique of Tashkinov trees to expand Vizing fans technique to a larger class of trees.

A graph is called $2K_2$-free if it does not contain two independent edges as an induced subgraph. Mou and Pasechnik conjectured that every $\frac{3}{2}$-tough $2K_2$-free graph with at least three vertices has a spanning trail with maximum degree at most $4$. In this paper, we confirm this conjecture. We also provide examples for all $t < \frac{5}{4}$ of $t$-tough graphs that do not have a spanning trail with maximum degree at most $4$.

Given a graph $G$ possibly with multiple edges but no loops, denote by $Δ$ the {\it maximum degree}, $μ$ the {\it multiplicity}, $χ'$ the {\it chromatic index} and $χ_f'$ the {\it fractional chromatic index} of $G$, respectively. It is known that $Δ\le χ_f' \le χ' \le Δ+ μ$, where the upper bound is a classic result of Vizing. While deciding the exact value of $χ'$ is a classic NP-complete problem, the computing of $χ_f'$ is in polynomial time. In fact, it is shown that if $χ_f' > Δ$ then $χ_f'= \max \frac{|E(H)|}{\lfloor |V(H)|/2\rfloor}$, where the maximality is over all induced subgraphs $H$ of $G$. Gupta\,(1967), Goldberg\,(1973), Andersen\,(1977), and Seymour\,(1979) conjectured that $χ'=\lceilχ_f'\rceil$ if $χ'\ge Δ+2$, which is commonly referred as Goldberg's conjecture. In this paper, we show that if $χ' >Δ+\sqrt[3]{Δ/2}$ then $χ'=\lceilχ_f'\rceil$. The previous best known result is for graphs with $χ'> Δ+\sqrt{Δ/2}$ obtained by Scheide, and by Chen, Yu and Zang, independently. It has been shown that Goldberg's conjecture is equivalent to the following conjecture of Jakobsen: {\it For any positive integer $m$ with $m\ge 3$, every graph $G$ with $χ'>\frac{m}{m-1}Δ+\frac{m-3}{m-1}$ satisfies $χ'=\lceilχ_f'\rceil$.} Jakobsen's conjecture has been verified for $m$ up to 15 by various researchers in the last four decades. We show that it is true for $m\le 23$. Moreover, we show that Goldberg's conjecture holds for graphs $G$ with $Δ\leq 23$ or $|V(G)|\leq 23$.

Let $G$ be an $n$-vertex graph with $n\ge 3$. A classic result of Dirac from 1952 asserts that $G$ is hamiltonian if $δ(G)\ge n/2$. Dirac's theorem is one of the most influential results in the study of hamiltonicity and by now there are many related known results\,(see, e.g., J. A. Bondy, Basic Graph Theory: Paths and Circuits, Chapter 1 in: {\it Handbook of Combinatorics Vol.1}). A {\it Halin graph} is a planar graph consisting of two edge-disjoint subgraphs: a spanning tree of at least 4 vertices and with no vertex of degree 2, and a cycle induced on the set of the leaves of the spanning tree. Halin graphs possess rich hamiltonicity properties such as being hamiltonian, hamiltonian connected, and almost pancyclic. As a continuous "generalization" of Dirac's theorem, in this paper, we show that there exists a positive integer $n_0$ such that any graph $G$ with $n\ge n_0$ vertices and $δ(G)\ge (n+1)/2$ contains a spanning Halin subgraph. In particular, it contains a spanning Halin subgraph which is also pancyclic.

When we study forbidden subgraph conditions guaranteeing graphs to have some properties, a claw (or $K_{1,3}$) frequently appears as one of forbidden subgraphs. Recently, Furuya and Tsuchiya compared two classes generated by different forbidden pairs containing a claw, and characterized one of such classes. In this paper, we give such characterization for three new classes. Furthermore, we give applications of our characterizations to some forbidden subgraph problems.

A spanning tree with no vertices of degree 2 is called a Homeomorphically irreducible spanning tree\,(HIST). Based on a HIST embedded in the plane, a Halin graph is formed by connecting the leaves of the tree into a cycle following the cyclic order determined by the embedding. Both of the determination problems of whether a graph contains a HIST or whether a graph contains a spanning Halin graph are shown to be NP-complete. It was conjectured by Albertson, Berman, Hutchinson, and Thomassen in 1990 that a {\it every surface triangulation of at least four vertices contains a HIST}\,(confirmed). And it was conjectured by Lovász and Plummer that {\it every 4-connected plane triangulation contains a spanning Halin graph}\,(disproved). Balancing the above two facts, in this paper, we consider generalized Halin graphs, a family of graph structures which are "stronger" than HISTs but "weaker" than Halin graphs in the sense of their construction constraints. To be exact, a generalized Halin graph is formed from a HIST by connecting its leaves into a cycle. Since a generalized Halin graph needs not to be planar, we investigate the minimum degree condition for a graph to contain it as a spanning subgraph. We show that there exists a positive integer $n_0$ such that any 3-connected graph with $n\ge n_0$ vertices and minimum degree at least $(2n+3)/5$ contains a spanning generalized Halin graph. As an application, the result implies that under the same condition, the graph $G$ contains a wheel-minor of order at least $n/2$. The minimum degree condition in the result is best possible.

The square of a graph is obtained by adding additional edges joining all pair of vertices of distance two in the original graph. Particularly, if $C$ is a hamiltonian cycle of a graph $G$, then the square of $C$ is called a hamiltonian square of $G$. In this paper, we characterize all possible forbidden pairs, which implies the containment of a hamiltonian square, in a 4-connected graph. The connectivity condition is necessary as, except $K_3$ and $K_4$, the square of a cycle is always 4-connected.

Let $G$ be a connected simple graph of order $n$ and let $Δ(G)$ and $χ'(G)$ denote the maximum degree and chromatic index of $G$, respectively. Vizing proved that $χ'(G)=Δ(G)$ or $Δ(G)+1$. Following this result, $G$ is called $Δ$-critical if $χ'(G)=Δ(G)+1$ and $χ'(G-e)=Δ(G)$ for every $e\in E(G)$. In 1968, Vizing conjectured that if $G$ is an $n$-vertex $Δ$-critical graph, then the independence number $α(G)\le n/2$. Furthermore, he conjectured that, in fact, $G$ has a 2-factor. Luo and Zhao showed that if $G$ is an $n$-vertex $Δ$-critical graph with $Δ(G)\ge n/2$, then $α(G)\le n/2$. More recently, they showed that if $G$ is an $n$-vertex $Δ$-critical graph with $Δ(G)\ge 6n/7$, then $G$ has a hamiltonian cycle, and so $G$ has a 2-factor. In this paper, we show that if $G$ is an $n$-vertex $Δ$-critical graph with $Δ(G)\ge n/2$, then $G$ has a 2-factor.

Let S_m denote the m-vertex simple digraph formed by m-1 edges with a common tail. Let f(m) denote the minimum n such that every n-vertex tournament has a spanning subgraph consisting of n/m disjoint copies of S_m. We prove that m lg m - m lg lg m <= f(m) <= 4m^2 - 6m for sufficiently large m.