arXiv++ Combinatorics

Browse math.CO papers from arXiv

Papers by Zi-Xia Song

48 paper(s) by this author · All BibTeX
2017-07-26 v3
Star 5-edge-colorings of subcubic multigraphs
Published in Discrete Mathematics, 341 (2018) 950--956 • View Publication • BIB
The star chromatic index of a multigraph $G$, denoted $χ'_{s}(G)$, is the minimum number of colors needed to properly color the edges of $G$ such that no path or cycle of length four is bi-colored. A multigraph $G$ is star $k$-edge-colorable if $χ'_{s}(G)\le k$. Dvořák, Mohar and Šámal [Star chromatic index, J Graph Theory 72 (2013), 313--326] proved that every subcubic multigraph is star $7$-edge-colorable, and conjectured that every subcubic multigraph should be star $6$-edge-colorable. Kerdjoudj, Kostochka and Raspaud considered the list version of this problem for simple graphs and proved that every subcubic graph with maximum average degree less than $7/3$ is star list-$5$-edge-colorable. It is known that a graph with maximum average degree $14/5$ is not necessarily star $5$-edge-colorable. In this paper, we prove that every subcubic multigraph with maximum average degree less than $12/5$ is star $5$-edge-colorable.
Antimagic orientations of even regular graphs
Published • View Publication • BIB
A labeling of a digraph $D$ with $m$ arcs is a bijection from the set of arcs of $D$ to $\{1, \ldots, m\}$. A labeling of $D$ is antimagic if no two vertices in $D$ have the same vertex-sum, where the vertex-sum of a vertex $u\in V(D)$ for a labeling is the sum of labels of all arcs entering $u$ minus the sum of labels of all arcs leaving $u$. Motivated by the conjecture of Hartsfield and Ringel from 1990 on antimagic labelings of graphs, Hefetz, Mütze, and Schwartz [On antimagic directed graphs, J Graph Theory 64 (2010) 219--232] initiated the study of antimagic labelings of digraphs, and conjectured that every connected graph admits an antimagic orientation, where an orientation $D$ of a graph $G$ is antimagic if $D$ has an antimagic labeling. It remained unknown whether every disjoint union of cycles admits an antimagic orientation. In this paper, we first answer this question in the positive by proving that every $2$-regular graph has an antimagic orientation. We then show that for any integer $d\ge2$, every connected, $2d$-regular graph has an antimagic orientation. Our technique is new.
2017-01-15 v3
Star chromatic index of subcubic multigraphs
Published • View Publication • BIB
The star chromatic index of a multigraph $G$, denoted $χ'_{s}(G)$, is the minimum number of colors needed to properly color the edges of $G$ such that no path or cycle of length four is bi-colored. A multigraph $G$ is star $k$-edge-colorable if $χ'_{s}(G)\le k$. Dvořák, Mohar and Šámal [Star chromatic index, J. Graph Theory 72 (2013), 313--326] proved that every subcubic multigraph is star $7$-edge-colorable. They conjectured in the same paper that every subcubic multigraph should be star $6$-edge-colorable. In this paper, we first prove that it is NP-complete to determine whether $χ'_s(G)\le3$ for an arbitrary graph $G$. This answers a question of Mohar. We then establish some structure results on subcubic multigraphs $G$ with $δ(G)\le2$ such that $χ'_s(G)>k$ but $χ'_s(G-v)\le k$ for any $v\in V(G)$, where $k\in\{5,6\}$. We finally apply the structure results, along with a simple discharging method, to prove that every subcubic multigraph $G$ is star $6$-edge-colorable if $mad(G)<5/2$, and star $5$-edge-colorable if $mad(G)<24/11$, respectively, where $mad(G)$ is the maximum average degree of a multigraph $G$. This partially confirms the conjecture of Dvořák, Mohar and Šámal.
2016-10-03 v2
Double-critical graph conjecture for claw-free graphs
Published • View Publication • BIB
A connected graph $G$ with chromatic number $t$ is double-critical if $G \backslash \{x, y\}$ is $(t - 2)$-colorable for each edge $xy \in E(G)$. The complete graphs are the only known examples of double-critical graphs. A long-standing conjecture of Erd\H os and Lovász from 1966, which is referred to as the Double-Critical Graph Conjecture, states that there are no other double-critical graphs. That is, if a graph $G$ with chromatic number $t$ is double-critical, then $G$ is the complete graph on $t$ vertices. This has been verified for $t \le 5$, but remains open for $t \ge 6$. In this paper, we first prove that if $G$ is a non-complete, double-critical graph with chromatic number $t \ge 6$, then no vertex of degree $t + 1$ is adjacent to a vertex of degree $t+1$, $t + 2$, or $t + 3$ in $G$. We then use this result to show that the Double-Critical Graph Conjecture is true for double-critical graphs $G$ with chromatic number $t \le 8$ if $G$ is claw-free.
2016-07-22 v2
Hadwiger's conjecture for graphs with forbidden holes
Published • View Publication • BIB
Given a graph $G$, the Hadwiger number of $G$, denoted by $h(G)$, is the largest integer $k$ such that $G$ contains the complete graph $K_k$ as a minor. A hole in $G$ is an induced cycle of length at least four. Hadwiger's Conjecture from 1943 states that for every graph $G$, $h(G)\ge χ(G)$, where $χ(G)$ denotes the chromatic number of $G$. In this paper we establish more evidence for Hadwiger's conjecture by showing that if a graph $G$ with independence number $α(G)\ge3$ has no hole of length between $4$ and $2α(G)-1$, then $h(G)\geχ(G)$. We also prove that if a graph $G$ with independence number $α(G)\ge2$ has no hole of length between $4$ and $2α(G)$, then $G$ contains an odd clique minor of size $χ(G)$, that is, such a graph $G$ satisfies the odd Hadwiger's conjecture.
2016-06-17 v3
Coloring Graphs with Forbidden Minors
Published • View Publication • BIB
Hadwiger's conjecture from 1943 states that for every integer $t\ge1$, every graph either can be $t$-colored or has a subgraph that can be contracted to the complete graph on $t+1$ vertices. As pointed out by Paul Seymour in his recent survey on Hadwiger's conjecture, proving that graphs with no $K_7$ minor are $6$-colorable is the first case of Hadwiger's conjecture that is still open. It is not known yet whether graphs with no $K_7$ minor are $7$-colorable. Using a Kempe-chain argument along with the fact that an induced path on three vertices is dominating in a graph with independence number two, we first give a very short and computer-free proof of a recent result of Albar and Gonçalves and generalize it to the next step by showing that every graph with no $K_t$ minor is $(2t-6)$-colorable, where $t\in\{7,8,9\}$. We then prove that graphs with no $K_8^-$ minor are $9$-colorable and graphs with no $K_8^=$ minor are $8$-colorable. Finally we prove that if Mader's bound for the extremal function for $K_p$ minors is true, then every graph with no $K_p$ minor is $(2t-6)$-colorable for all $p\ge5$. This implies our first result. We believe that the Kempe-chain method we have developed in this paper is of independent interest.
2016-03-22 v2
Clique Minors in Double-critical Graphs
Published • View Publication • BIB
A connected $t$-chromatic graph $G$ is \dfn{double-critical} if $G \backslash\{u, v\}$ is $(t-2)$-colorable for each edge $uv\in E(G)$. A long standing conjecture of Erdős and Lovász that the complete graphs are the only double-critical $t$-chromatic graphs remains open for all $t\ge6$. Given the difficulty in settling Erdős and Lovász's conjecture and motivated by the well-known Hadwiger's conjecture, Kawarabayashi, Pedersen and Toft proposed a weaker conjecture that every double-critical $t$-chromatic graph contains a $K_t$ minor and verified their conjecture for $t\le7$. Albar and Gonçalves recently proved that every double-critical $8$-chromatic graph contains a $K_8$ minor, and their proof is computer-assisted. In this paper we prove that every double-critical $t$-chromatic graph contains a $K_t$ minor for all $t\le9$. Our proof for $t\le8$ is shorter and computer-free.
2015-04-16 v3
A Note on Weighted Rooted Trees
Published • View Publication • BIB
Let $T$ be a tree rooted at $r$. Two vertices of $T$ are related if one is a descendant of the other; otherwise, they are unrelated. Two subsets $A$ and $B$ of $V(T)$ are unrelated if, for any $a\in A$ and $b\in B$, $a$ and $b$ are unrelated. Let $ω$ be a nonnegative weight function defined on $V(T)$ with $\sum_{v\in V(T)}ω(v)=1$. In this note, we prove that either there is an $(r, u)$-path $P$ with $\sum_{v\in V(P)}ω(v)\ge \frac13$ for some $u\in V(T)$, or there exist unrelated sets $A, B\subseteq V(T)$ such that $\sum_{a\in A }ω(a)\ge \frac13$ and $\sum_{b\in B }ω(b)\ge \frac13$. The bound $\frac13$ is tight. This answers a question posed in a very recent paper of Bonamy, Bousquet and Thomassé.