arXiv++ Combinatorics

Given a simple graph $G$, denote by $Δ(G)$, $δ(G)$, and $χ'(G)$ the maximum degree, the minimum degree, and the chromatic index of $G$, respectively. We say $G$ is \emph{$Δ$-critical} if $χ'(G)=Δ(G)+1$ and $χ'(H)\le Δ(G)$ for every proper subgraph $H$ of $G$; and $G$ is \emph{overfull} if $|E(G)|>Δ\lfloor |V(G)|/2 \rfloor$. Since a maximum matching in $G$ can have size at most $\lfloor |V(G)|/2 \rfloor$, it follows that $χ'(G) = Δ(G) +1$ if $G$ is overfull. Conversely, let $G$ be a $Δ$-critical graph. The well known overfull conjecture of Chetwynd and Hilton asserts that $G$ is overfull provided $Δ(G) > |V(G)|/3$. In this paper, we show that any $Δ$-critical graph $G$ is overfull if $Δ(G) - 7δ(G)/4\ge(3|V(G)|-17)/4$.

Let $G$ be a simple graph with maximum degree $Δ(G)$. A subgraph $H$ of $G$ is overfull if $|E(H)|>Δ(G)\lfloor |V(H)|/2 \rfloor$. Chetwynd and Hilton in 1985 conjectured that a graph $G$ on $n$ vertices with $Δ(G)>n/3$ has chromatic index $Δ(G)$ if and only if $G$ contains no overfull subgraph. Glock, Kühn and Osthus in 2016 showed that the conjecture is true for dense quasirandom graphs with even order, and they conjectured that the same should hold for such graphs with odd order. In this paper, we show that the conjecture of Glock, Kühn and Osthus is affirmative.

Let $G$ be a $t$-tough graph on $n\ge 3$ vertices for some $t>0$. It was shown by Bauer et al. in 1995 that if the minimum degree of $G$ is greater than $\frac{n}{t+1}-1$, then $G$ is hamiltonian. In terms of Ore-type hamiltonicity conditions, the problem was only studied when $t$ is between 1 and 2. In this paper, we show that if the degree sum of any two nonadjacent vertices of $G$ is greater than $\frac{2n}{t+1}+t-2$, then $G$ is hamiltonian.

For a simple graph $G$, denote by $n$, $Δ(G)$, and $χ'(G)$ its order, maximum degree, and chromatic index, respectively. A connected class 2 graph $G$ is edge-chromatic critical if $χ'(G-e)<Δ(G)+1$ for every edge $e$ of $G$. Define $G$ to be overfull if $|E(G)|>Δ(G) \lfloor n/2 \rfloor$. Clearly, overfull graphs are class 2 and any graph obtained from a regular graph of even order by splitting a vertex is overfull. Let $G$ be an $n$-vertex connected regular class 1 graph with $Δ(G) >n/3$. Hilton and Zhao in 1997 conjectured that if $G^*$ is obtained from $G$ by splitting one vertex of $G$ into two vertices, then $G^*$ is edge-chromatic critical, and they verified the conjecture for graphs $G$ with $Δ(G)\ge \frac{n}{2}(\sqrt{7}-1)\approx 0.82n$. The graph $G^*$ is easily verified to be overfull, and so the hardness of the conjecture lies in showing that the deletion of every of its edge decreases the chromatic index. Except in 2002, Song showed that the conjecture is true for a special class of graphs $G$ with $Δ(G)\ge \frac{n}{2}$, no other progress on this conjecture had been made. In this paper, we confirm the conjecture for graphs $G$ with $Δ(G) \ge 0.75n$.

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.

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.

An antimagic labeling of a directed graph $D$ with $n$ vertices and $m$ arcs is a bijection from the set of arcs of $D$ to the integers $\{1, \cdots, m\}$ such that all $n$ oriented vertex sums are pairwise distinct, where an oriented vertex sum is the sum of labels of all arcs entering that vertex minus the sum of labels of all arcs leaving it. A graph $G$ has an antimagic orientation if it has an orientation which admits an antimagic labeling. Hefetz, M{ü}tze, and Schwartz conjectured that every connected graph admits an antimagic orientation. In this paper, we show that every bipartite graph without both isolated and degree 2 vertices admits an antimagic orientation and every graph $G$ with $δ(G)\ge 33$ admits an antimagic orientation. Our proof relies on a newly developed structural property of bipartite graphs, which might be of independent interest.

Let $m\ge 1$ be an integer and $G$ be a graph with $m$ edges. We say that $G$ has an antimagic orientation if $G$ has an orientation $D$ and a bijection $τ:A(D)\rightarrow \{1,2,\cdots,m\}$ such that no two vertices in $D$ have the same vertex-sum under $τ$, where the vertex-sum of a vertex $u$ in $D$ under $τ$ is the sum of labels of all arcs entering $u$ minus the sum of labels of all arcs leaving $u$. Hefetz, Mütze and Schwartz [J. Graph Theory, 64: 219-232, 2010] conjectured that every connected graph admits an antimagic orientation. The conjecture was confirmed for certain classes of graphs such as dense graphs, regular graphs, and trees including caterpillars and $k$-ary trees. In this note, we prove that every lobster admits an antimagic orientation.

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

Let $D=(V,A)$ be a digraph. A vertex set $K\subseteq V$ is a quasi-kernel of $D$ if $K$ is an independent set in $D$ and for every vertex $v\in V\setminus K$, $v$ is at most distance 2 from $K$. In 1974, Chvátal and Lovász proved that every digraph has a quasi-kernel. P. L. Erdős and L. A. Székely in 1976 conjectured that if every vertex of $D$ has a positive indegree, then $D$ has a quasi-kernel of size at most $|V|/2$. This conjecture is only confirmed for narrow classes of digraphs, such as semicomplete multipartite, quasi-transitive, or locally demicomplete digraphs. In this note, we state a similar conjecture for all digraphs, show that the two conjectures are equivalent, and prove that both conjectures hold for a class of digraphs containing all orientations of 4-colorable graphs (in particular, of all planar graphs).

In 1966, Gallai asked whether all longest paths in a connected graph have a nonempty intersection. The answer to this question is not true in general and various counterexamples have been found. However, there is a positive solution to Gallai's question for many well-known classes of graphs such as split graphs, series parallel graphs, and $2K_2$-free graphs. Among all the graph classes that support Gallai's question, almost all of them were shown to be Hamiltonian under certain conditions. This observation motivates us to investigate Gallai's question in graphs that are "close" to Hamiltonicity properties. Let $\{R,S\}$ be a pair of connected graphs. In particular, in this paper, we show that Gallai's question is affirmative for all connected $\{R,S\}$-free graphs such that every 2-connected $\{R,S\}$-free graph is Hamiltonian. These pairs $\{R,S\}$ were completely characterized in 1990s.

Let $t>0$ be a real number and $G$ be a graph. We say $G$ is $t$-tough if for every cutset $S$ of $G$, the ratio of $|S|$ to the number of components of $G-S$ is at least $t$. Determining toughness is an NP-hard problem for arbitrary graphs. The Toughness Conjecture of Chvátal, stating that there exists a constant $t_0$ such that every $t_0$-tough graph with at least three vertices is hamiltonian, is still open in general. A graph is called $(P_2\cup P_3)$-free if it does not contain any induced subgraph isomorphic to $P_2\cup P_3$, the union of two vertex-disjoint paths of order 2 and 3, respectively. In this paper, we show that every 15-tough $(P_2\cup P_3)$-free graph with at least three vertices is hamiltonian.

The \emph{prism} over a graph $G$ is the product $G \Box K_2$, i.e., the graph obtained by taking two copies of $G$ and adding a perfect matching joining the two copies of each vertex by an edge. The graph $G$ is called \emph{prism-hamiltonian} if it has a hamiltonian prism. Jung showed that every $1$-tough $P_4$-free graph with at least three vertices is hamiltonian. In this paper, we extend this to observe that for $k \geq 1$ a $P_4$-free graph has a spanning \emph{$k$-walk} (closed walk using each vertex at most $k$ times) if and only if it is $\frac{1}{k}$-tough. As our main result, we show that for the class of $P_4$-free graphs, the three properties of being prism-hamiltonian, having a spanning $2$-walk, and being $\frac{1}{2}$-tough are all equivalent.

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$ be a simple graph, and let $Δ(G)$ and $χ'(G)$ denote the maximum degree and chromatic index of $G$, respectively. Vizing proved that $χ'(G)=Δ(G)$ or $Δ(G)+1$. We say $G$ is $Δ$-critical if $χ'(G)=Δ+1$ and $χ'(H)<χ'(G)$ for every proper subgraph $H$ of $G$. In 1968, Vizing conjectured that if $G$ is a $Δ$-critical graph, then $G$ has a 2-factor. Let $G$ be an $n$-vertex $Δ$-critical graph. It was proved that if $Δ(G)\ge n/2$, then $G$ has a 2-factor; and that if $Δ(G)\ge 2n/3+12$, then $G$ has a hamiltonian cycle, and thus a 2-factor. It is well known that every 2-tough graph with at least three vertices has a 2-factor. We investigate the existence of a 2-factor in a $Δ$-critical graph under "moderate" given toughness and maximum degree conditions. In particular, we show that if $G$ is an $n$-vertex $Δ$-critical graph with toughness at least 3/2 and with maximum degree at least $n/3$, then $G$ has a 2-factor. In addition, we develop new techniques in proving the existence of 2-factors in graphs.

A graph is called $2K_2$-free if it does not contain two independent edges as an induced subgraph. Broersma, Patel, and Pyatkin showed that every 25-tough $2K_2$-free graph with at least three vertices is hamiltonian. In this paper, we improve the required toughness in this result from 25 to 3.

An antimagic labeling of a directed graph $D$ with $n$ vertices and $m$ arcs is a bijection from the set of arcs of $D$ to the integers $\{1, \cdots, m\}$ such that all $n$ oriented vertex sums are pairwise distinct, where an oriented vertex sum is the sum of labels of all arcs entering that vertex minus the sum of labels of all arcs leaving it. An undirected graph $G$ is said to have an antimagic orientation if $G$ has an orientation which admits an antimagic labeling. Hefetz, M{ü}tze, and Schwartz conjectured that every connected undirected graph admits an antimagic orientation. In this paper, we support this conjecture by proving that every biregular bipartite graph admits an antimagic orientation.

For an integer $k$, a $k$-tree is a tree with maximum degree at most $k$. More generally, if $f$ is an integer-valued function on vertices, an $f$-tree is a tree in which each vertex $v$ has degree at most $f(v)$. Let $c(G)$ denote the number of components of a graph $G$. We show that if $G$ is a connected $K_4$-minor-free graph and $$ c(G-S) \;\le\; \sum_{v \in S} (f(v)-1) \quad\hbox{for all $S \subseteq V(G)$ with $S \ne \emptyset$} $$ then $G$ has a spanning $f$-tree. Consequently, if $G$ is a $\frac{1}{k-1}$-tough $K_4$-minor-free graph, then $G$ has a spanning $k$-tree. These results are stronger than results for general graphs due to Win (for $k$-trees) and Ellingham, Nam and Voss (for $f$-trees). The $K_4$-minor-free graphs form a subclass of planar graphs, and are identical to graphs of treewidth at most $2$, and also to graphs whose blocks are series-parallel. We provide examples to show that the inequality above cannot be relaxed by adding $1$ to the right-hand side, and also to show that our result does not hold for general planar graphs. Our proof uses a technique where we incorporate toughness-related information into weights associated with vertices and cutsets.

In 1966, Gallai asked whether all longest paths in a connected graph share a common vertex. Counterexamples indicate that this is not true in general. However, Gallai's question is positive for certain well-known classes of connected graphs, such as split graphs, interval graphs, circular arc graphs, outerplanar graphs, and series-parallel graphs. A graph is $2K_2$-free if it does not contain two independent edges as an induced subgraph. In this paper, we show that in nonempty $2K_2$-free graphs, every vertex of maximum degree is common to all longest paths. Our result implies that all longest paths in a nonempty $2K_2$-free graph have a nonempty intersection. In particular, it gives a new proof for the result on split graphs, as split graphs are $2K_2$-free.

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