arXiv++ Combinatorics

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$.

An $(r-1,1)$-coloring of an $r$-regular graph $G$ is an edge coloring such that each vertex is incident to $r-1$ edges of one color and $1$ edge of a different color. In this paper, we completely characterize all $4$-regular pseudographs (graphs that may contain parallel edges and loops) which do not have a $(3,1)$-coloring. An $\{r-1,1\}$-factor of an $r$-regular graph is a spanning subgraph in which each vertex has degree either $r-1$ or $1$. We prove various conditions that that must hold for any vertex-minimal $5$-regular pseudographs without $(4,1)$-colorings or without $\{4,1\}$-factors. Finally, for each $r\geq 6$ we construct graphs that are not $(r-1,1)$-colorable and, more generally, are not $(r-t,t)$-colorable for small $t$.

A proper edge coloring of a simple graph $G$ is called a vertex distinguishing edge coloring (vdec) if for any two distinct vertices $u$ and $v$ of $G$, the set of the colors assigned to the edges incident to $u$ differs from the set of the colors assigned to the edges incident to $v$. The minimum number of colors required for all vdecs of $G$ is denoted by $χ\,'_s(G)$ called the vdec chromatic number of $G$. Let $n_d(G)$ denote the number of vertices of degree $d$ in $G$. In this note, we show that a tree $T$ with $n_2(T)\leq n_1(T)$ holds $χ\,'_s(T)=n_1(T)+1$ if its diameter $D(T)=3$ or one of two particular trees with $D(T) =4$, and $χ\,'_s(T)=n_1(T)$ otherwise; furthermore $χ\,'_{es}(T)=χ\,'_s(T)$ when $|E(T)|\leq 2(n_1(T)+1)$, where $χ\,'_{es}(T)$ is the equitable vdec chromatic number of $T$.

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.