Showing 1–50 of 86 results for author: Cranston, D

A Linear Kernel for Independent Set Reconfiguration in Planar Graphs

Authors: Nicolas Bousquet, Daniel W. Cranston

Abstract: Fix a positive integer $r$, and a graph $G$ that is $K_{3,r}$-minor-free. Let $I_s$ and $I_t$ be two independent sets in $G$, each of size $k$. We begin with a ``token'' on each vertex of $I_s$ and seek to move all tokens to $I_t$, by repeated ``token jumping'', removing a single token from one vertex and placing it on another vertex. We require that each intermediate arrangement of tokens again s… ▽ More Fix a positive integer $r$, and a graph $G$ that is $K_{3,r}$-minor-free. Let $I_s$ and $I_t$ be two independent sets in $G$, each of size $k$. We begin with a ``token'' on each vertex of $I_s$ and seek to move all tokens to $I_t$, by repeated ``token jumping'', removing a single token from one vertex and placing it on another vertex. We require that each intermediate arrangement of tokens again specifies an independent set of size $k$. Given $G$, $I_s$, and $I_t$, we ask whether there exists a sequence of token jumps that transforms $I_s$ into $I_t$. When $k$ is part of the input, this problem is known to be PSPACE-complete. However, it was shown by Ito, Kamiński, and Ono (2014) to be fixed-parameter tractable. That is, when $k$ is fixed, the problem can be solved in time polynomial in the order of $G$. Here we strengthen the upper bound on the running time in terms of $k$ by showing that the problem has a kernel of size linear in $k$. More precisely, we transform an arbitrary input problem on a $K_{3,r}$-minor-free graph into an equivalent problem on a ($K_{3,r}$-minor-free) graph with order $O(k)$. This answers positively a question of Bousquet, Mouawad, Nishimura, and Siebertz (2024) and improves the recent quadratic kernel of Cranston, Mühlenthaler, and Peyrille (2024+). For planar graphs, we further strengthen this upper bound to get a kernel of size at most $42k$. △ Less

Submitted 3 June, 2025; originally announced June 2025.

Comments: 20 pages, 8 figures

MSC Class: 05C69; 05C10; 05C85; 68R10

Reconfiguration of List Colourings

Authors: Stijn Cambie, Wouter Cames van Batenburg, Daniel W. Cranston, Jan van den Heuvel, Ross J. Kang

Abstract: Given a proper (list) colouring of a graph $G$, a recolouring step changes the colour at a single vertex to another colour (in its list) that is currently unused on its neighbours, hence maintaining a proper colouring. Suppose that each vertex $v$ has its own private list $L(v)$ of allowed colours such that $|L(v)|\ge \mbox{deg}(v)+1$. We prove that if $G$ is connected and its maximum degree $Δ$ i… ▽ More Given a proper (list) colouring of a graph $G$, a recolouring step changes the colour at a single vertex to another colour (in its list) that is currently unused on its neighbours, hence maintaining a proper colouring. Suppose that each vertex $v$ has its own private list $L(v)$ of allowed colours such that $|L(v)|\ge \mbox{deg}(v)+1$. We prove that if $G$ is connected and its maximum degree $Δ$ is at least $3$, then for any two proper $L$-colourings in which at least one vertex can be recoloured, one can be transformed to the other by a sequence of $O(|V(G)|^2)$ recolouring steps. We also show that reducing the list-size of a single vertex $w$ to $\mbox{deg}(w)$ can lead to situations where the space of proper $L$-colourings is `shattered'. Our results can be interpreted as showing a sharp phase transition in the Glauber dynamics of proper $L$-colourings of graphs. This constitutes a `local' strengthening and generalisation of a result of Feghali, Johnson, and Paulusma, which considered the situation where the lists are all identical to $\{1,\ldots,Δ+1\}$. △ Less

Submitted 12 May, 2025; originally announced May 2025.

Comments: 27 pages, 4 figures

Sharp Bounds on Lengths of Linear Recolouring Sequences

Authors: Stijn Cambie, Wouter Cames van Batenburg, Daniel W. Cranston

Abstract: A recolouring sequence, between $k$-colourings $α$ and $β$ of a graph $G$, transforms $α$ into $β$ by recolouring one vertex at a time, such that after each recolouring step we again have a proper $k$-colouring of $G$. The diameter of the $k$-recolouring graph, $\textrm{diam}~\mathcal{C}_k(G)$, is the maximum over all pairs $α$ and $β$ of the minimum length of a recolouring sequence from $α$ to… ▽ More A recolouring sequence, between $k$-colourings $α$ and $β$ of a graph $G$, transforms $α$ into $β$ by recolouring one vertex at a time, such that after each recolouring step we again have a proper $k$-colouring of $G$. The diameter of the $k$-recolouring graph, $\textrm{diam}~\mathcal{C}_k(G)$, is the maximum over all pairs $α$ and $β$ of the minimum length of a recolouring sequence from $α$ to $β$. Much previous work has focused on determining the asymptotics of $\textrm{diam}~\mathcal{C}_k(G)$: Is it $Θ(|G|)$? Is it $Θ(|G|^2)$? Or even larger? Here we focus on graphs for which $\textrm{diam}~\mathcal{C}_k(G)=Θ(|G|)$, and seek to determine more precisely the multiplicative constant implicit in the $Θ()$. In particular, for each $k\ge 3$, for all positive integers $p$ and $q$ we exactly determine $\textrm{diam}~\mathcal{C}_k(K_{p,q})$, up to a small additive constant. We also sharpen a recolouring lemma that has been used in multiple papers, proving an optimal version. This improves the multiplicative constant in various prior results. Finally, we investigate plausible relationships between similar reconfiguration graphs. △ Less

Submitted 27 December, 2024; originally announced December 2024.

Comments: 16 pages, 5 figures

MSC Class: 05C15; 05C12; 05C85

10-list Recoloring of Planar Graphs

Authors: Daniel W. Cranston

Abstract: Fix a planar graph $G$ and a list-assignment $L$ with $|L(v)|=10$ for all $v\in V(G)$. Let $α$ and $β$ be $L$-colorings of $G$. A recoloring sequence from $α$ to $β$ is a sequence of $L$-colorings, beginning with $α$ and ending with $β$, such that each successive pair in the sequence differs in the color on a single vertex of $G$. We show that there exists a constant $C$ such that for all choices… ▽ More Fix a planar graph $G$ and a list-assignment $L$ with $|L(v)|=10$ for all $v\in V(G)$. Let $α$ and $β$ be $L$-colorings of $G$. A recoloring sequence from $α$ to $β$ is a sequence of $L$-colorings, beginning with $α$ and ending with $β$, such that each successive pair in the sequence differs in the color on a single vertex of $G$. We show that there exists a constant $C$ such that for all choices of $α$ and $β$ there exists a recoloring sequence $σ$ from $α$ to $β$ that recolors each vertex at most $C$ times. In particular, $σ$ has length at most $C|V(G)|$. This confirms a conjecture of Dvořák and Feghali. For our proof, we introduce a new technique for quickly showing that many configurations are reducible. We believe this method may be of independent interest and will have application to other problems in this area. △ Less

Submitted 22 May, 2025; v1 submitted 1 November, 2024; originally announced November 2024.

Comments: 20 pages, 16 figures; 2nd version incorporates reviewer feedback; to appear in European J. Combinatorics

A simple quadratic kernel for Token Jumping on surfaces

Authors: Daniel W. Cranston, Moritz Mühlenthaler, Benjamin Peyrille

Abstract: The problem \textsc{Token Jumping} asks whether, given a graph $G$ and two independent sets of \emph{tokens} $I$ and $J$ of $G$, we can transform $I$ into $J$ by changing the position of a single token in each step and having an independent set of tokens throughout. We show that there is a polynomial-time algorithm that, given an instance of \textsc{Token Jumping}, computes an equivalent instance… ▽ More The problem \textsc{Token Jumping} asks whether, given a graph $G$ and two independent sets of \emph{tokens} $I$ and $J$ of $G$, we can transform $I$ into $J$ by changing the position of a single token in each step and having an independent set of tokens throughout. We show that there is a polynomial-time algorithm that, given an instance of \textsc{Token Jumping}, computes an equivalent instance of size $O(g^2 + gk + k^2)$, where $g$ is the genus of the input graph and $k$ is the size of the independent sets. △ Less

Submitted 8 August, 2024; originally announced August 2024.

Comments: 11 pages, 1 figure

MSC Class: 05C85; 05C69

Planar Graphs with Homomorphisms to the 9-cycle

Authors: Daniel W. Cranston, Jiaao Li, Zhouningxin Wang, Chunyan Wei

Abstract: We study the problem of finding homomorphisms into odd cycles from planar graphs with high odd-girth. The Jaeger-Zhang conjecture states that every planar graph of odd-girth at least $4k+1$ admits a homomorphism to the odd cycle $C_{2k+1}$. The $k=1$ case is the well-known Grötzsch's $3$-coloring theorem. For general $k$, in 2013 Lovász, Thomassen, Wu, and Zhang showed that it suffices to have odd… ▽ More We study the problem of finding homomorphisms into odd cycles from planar graphs with high odd-girth. The Jaeger-Zhang conjecture states that every planar graph of odd-girth at least $4k+1$ admits a homomorphism to the odd cycle $C_{2k+1}$. The $k=1$ case is the well-known Grötzsch's $3$-coloring theorem. For general $k$, in 2013 Lovász, Thomassen, Wu, and Zhang showed that it suffices to have odd-girth at least $6k+1$. Improvements are known for $C_5$ and $C_7$ in [Combinatorica 2017, SIDMA 2020, Combinatorica 2022]. For $C_9$ we improve this hypothesis by showing that it suffices to have odd-girth 23. Our main tool is a variation on the potential method applied to modular orientations. This allows more flexibility when seeking reducible configurations. The same techniques also prove some results on circular coloring of signed planar graphs. △ Less

Submitted 4 February, 2024; originally announced February 2024.

Comments: 24 pages, 4 figures

MSC Class: 05C15; 05C10; 05C21; 05C22

Token Jumping in Planar Graphs has Linear Sized Kernels

Authors: Daniel W. Cranston

Abstract: Let $G$ be a planar graph and $I_s$ and $I_t$ be two independent sets in $G$, each of size $k$. We begin with a "token" on each vertex of $I_s$ and seek to move all tokens to $I_t$, by repeated "token jumping", removing a single token from one vertex and placing it on another vertex. We require that each intermediate arrangement of tokens again specifies an independent set of size $k$. Given $G$,… ▽ More Let $G$ be a planar graph and $I_s$ and $I_t$ be two independent sets in $G$, each of size $k$. We begin with a "token" on each vertex of $I_s$ and seek to move all tokens to $I_t$, by repeated "token jumping", removing a single token from one vertex and placing it on another vertex. We require that each intermediate arrangement of tokens again specifies an independent set of size $k$. Given $G$, $I_s$, and $I_t$, we ask whether there exists a sequence of token jumps that transforms $I_s$ to $I_t$. When $k$ is part of the input, this problem is known to be PSPACE-complete. However, it was shown by Ito, Kamiński, and Ono to be fixed-parameter tractable. That is, when $k$ is fixed, the problem can be solved in time polynomial in the order of $G$. Here we strengthen the upper bound on the running time in terms of $k$ by showing that the problem has a kernel of size linear in $k$. More precisely, we transform an arbitrary input problem on a planar graph into an equivalent problem on a (planar) graph with order $O(k)$. △ Less

Submitted 13 August, 2024; v1 submitted 17 January, 2024; originally announced January 2024.

Comments: There is an error in the proof of Claim 7. This general approach can be salvaged to give a kernel that is quadratic in k (rather than linear). This has been done, with two coauthors, in the more general context of graphs on arbitrary surfaces in arXiv:2408.04743 [cs.DS]

MSC Class: 05C69; 05C10; 05C85

List Packing and Correspondence Packing of Planar Graphs

Authors: Daniel W. Cranston, Evelyne Smith-Roberge

Abstract: For a graph $G$ and a list assignment $L$ with $|L(v)|=k$ for all $v$, an $L$-packing consists of $L$-colorings $\varphi_1,\cdots,\varphi_k$ such that $\varphi_i(v)\ne\varphi_j(v)$ for all $v$ and all distinct $i,j\in\{1,\ldots,k\}$. Let $χ^{\star}_{\ell}(G)$ denote the smallest $k$ such that $G$ has an $L$-packing for every $L$ with $|L(v)|=k$ for all $v$. Let $\mathcal{P}_k$ denote the set of al… ▽ More For a graph $G$ and a list assignment $L$ with $|L(v)|=k$ for all $v$, an $L$-packing consists of $L$-colorings $\varphi_1,\cdots,\varphi_k$ such that $\varphi_i(v)\ne\varphi_j(v)$ for all $v$ and all distinct $i,j\in\{1,\ldots,k\}$. Let $χ^{\star}_{\ell}(G)$ denote the smallest $k$ such that $G$ has an $L$-packing for every $L$ with $|L(v)|=k$ for all $v$. Let $\mathcal{P}_k$ denote the set of all planar graphs with girth at least $k$. We show that (i) $χ^{\star}_{\ell}(G)\le 8$ for all $G\in \mathcal{P}_3$ and (ii) $χ^{\star}_{\ell}(G)\le 5$ for all $G\in \mathcal{P}_4$ and (iii) $χ^{\star}_{\ell}(G)\le 4$ for all $G\in \mathcal{P}_5$. Part (i) makes progress on a problem of Cambie, Cames van Batenburg, Davies, and Kang. We also construct outerplanar graphs $G$ such that $χ^{\star}_{\ell}(G)=4$, which matches the known upper bound $χ^{\star}_{\ell}(G)\le 4$ for all outerplanar graphs. Finally, we consider the analogue of $χ^{\star}_{\ell}$ for correspondence coloring, $χ^{\star}_c$. In fact, all bounds stated above for $χ^{\star}_{\ell}$ also hold for $χ^{\star}_c$. △ Less

Submitted 4 December, 2024; v1 submitted 2 January, 2024; originally announced January 2024.

Comments: 20 pages, 15 figures, 2nd version incorporates reviewer feedback, to appear in J. of Graph Theory; 3rd version updates title to match the final journal version

MSC Class: 05C15

Equitable Coloring in 1-Planar Graphs

Authors: Daniel Cranston, Reem Mahmoud

Abstract: For every $r\ge13$, we show every 1-planar graph $G$ with $Δ(G)\le r$ has an equitable $r$-coloring. For every $r\ge13$, we show every 1-planar graph $G$ with $Δ(G)\le r$ has an equitable $r$-coloring. △ Less

Submitted 24 November, 2023; originally announced November 2023.

Comments: 9 figures

MSC Class: 05C15

Journal ref: Discrete Math. Vol. 348(2), Feb. 2025, 114286

Bounding Clique Size in Squares of Planar Graphs

Authors: Daniel W. Cranston

Abstract: Wegner conjectured that if $G$ is a planar graph with maximum degree $Δ\ge 8$, then $χ(G^2)\le \left\lfloor \frac32Δ\right\rfloor +1$. This problem has received much attention, but remains open for all $Δ\ge 8$. Here we prove an analogous bound on $ω(G^2)$: If $G$ is a plane graph with $Δ(G)\ge 36$, then $ω(G^2)\le \lfloor\frac32Δ(G)\rfloor+1$. In fact, this is a corollary of the following lemma,… ▽ More Wegner conjectured that if $G$ is a planar graph with maximum degree $Δ\ge 8$, then $χ(G^2)\le \left\lfloor \frac32Δ\right\rfloor +1$. This problem has received much attention, but remains open for all $Δ\ge 8$. Here we prove an analogous bound on $ω(G^2)$: If $G$ is a plane graph with $Δ(G)\ge 36$, then $ω(G^2)\le \lfloor\frac32Δ(G)\rfloor+1$. In fact, this is a corollary of the following lemma, which is our main result. If $G$ is a plane graph with $Δ(G)\ge 19$ and $S$ is a maximal clique in $G^2$ with $|S|\ge Δ(G)+20$, then there exist $x,y,z\in V(G)$ such that $S=\{w:|N[w]\cap\{x,y,z\}|\ge 2\}$. △ Less

Submitted 13 March, 2024; v1 submitted 18 August, 2023; originally announced August 2023.

Comments: 7 pages, 5 figures, 2nd version incorporates minor reviewer feedback, to appear in European Journal of Combinatorics

MSC Class: 05C15; 05C10; 05C69; 05C12

Journal ref: European Journal of Combinatorics. Vol. 120. August 2024. Article 103960

Cliques in Squares of Graphs with Maximum Average Degree less than 4

Authors: Daniel W. Cranston, Gexin Yu

Abstract: Hocquard, Kim, and Pierron constructed, for every even integer $D\ge 2$, a 2-degenerate graph $G_D$ with maximum degree $D$ such that $ω(G_D^2)=\frac52D$. We prove for (a) all 2-degenerate graphs $G$ and (b) all graphs $G$ with $\mbox{mad}(G)<4$, upper bounds on the clique number $ω(G^2)$ of $G^2$ that match the lower bound given by this construction, up to small additive constants. We show that i… ▽ More Hocquard, Kim, and Pierron constructed, for every even integer $D\ge 2$, a 2-degenerate graph $G_D$ with maximum degree $D$ such that $ω(G_D^2)=\frac52D$. We prove for (a) all 2-degenerate graphs $G$ and (b) all graphs $G$ with $\mbox{mad}(G)<4$, upper bounds on the clique number $ω(G^2)$ of $G^2$ that match the lower bound given by this construction, up to small additive constants. We show that if $G$ is 2-degenerate with maximum degree $D$, then $ω(G^2)\le \frac52D+72$ (with $ω(G^2)\le \frac52D+60$ when $D$ is sufficiently large). And if $G$ has $\mbox{mad}(G)<4$ and maximum degree $D$, then $ω(G^2)\le \frac52D+532$. Thus, the construction of Hocquard et al. is essentially best possible. Our proofs introduce a "token passing" technique to derive crucial information about non-adjacencies in $G$ of vertices that are adjacent in $G^2$. This is a powerful technique for working with such graphs that has not previously appeared in the literature. △ Less

Submitted 10 April, 2024; v1 submitted 19 May, 2023; originally announced May 2023.

Comments: 15 pages, 7 figures; final version incorporates minor reviewer feedback; to appear in J. Graph Theory

MSC Class: 05C69; 05C35; 05C15

Journal ref: Journal of Graph Theory. Vol. 107(3). July 2024. pp. 559-577

Kempe Classes and Almost Bipartite Graphs

Authors: Daniel W. Cranston, Carl Feghali

Abstract: Let $G$ be a graph and $k$ be a positive integer, and let $Kc(G, k)$ denote the number of Kempe equivalence classes for the $k$-colorings of $G$. In 2006, Mohar noted that $Kc(G, k) = 1$ if $G$ is bipartite. As a generalization, we show that $Kc(G, k) = 1$ if $G$ is formed from a bipartite graph by adding any number of edges less than $\binom{\lceil k/2\rceil}2+\binom{\lfloor k/2\rfloor}2$. We sho… ▽ More Let $G$ be a graph and $k$ be a positive integer, and let $Kc(G, k)$ denote the number of Kempe equivalence classes for the $k$-colorings of $G$. In 2006, Mohar noted that $Kc(G, k) = 1$ if $G$ is bipartite. As a generalization, we show that $Kc(G, k) = 1$ if $G$ is formed from a bipartite graph by adding any number of edges less than $\binom{\lceil k/2\rceil}2+\binom{\lfloor k/2\rfloor}2$. We show that our result is tight (up to lower order terms) by constructing, for each $k \geq 8$, a graph $G$ formed from a bipartite graph by adding $(k^2+8k-45+1)/4$ edges such that $Kc(G, k) \geq 2$. This refutes a recent conjecture of Higashitani--Matsumoto. △ Less

Submitted 10 May, 2024; v1 submitted 16 March, 2023; originally announced March 2023.

Comments: 7 pages, 2 figures; 2nd version incorporates reviewer feedback

MSC Class: 05C15

Journal ref: Discrete Applied Math. Vol. 357, 15 November 2024, pp. 94-98

The $t$-Tone Chromatic Number of Classes of Sparse Graphs

Authors: Daniel W. Cranston, Hudson LaFayette

Abstract: For a graph $G$ and $t,k\in\mathbb{Z}^+$ a \emph{$t$-tone $k$-coloring} of $G$ is a function $f:V(G)\rightarrow \binom{[k]}{t}$ such that $|f(v)\cap f(w)| < d(v,w)$ for all distinct $v,w \in V(G)$. The \emph{$t$-tone chromatic number} of $G$, denoted $τ_t(G)$, is the minimum $k$ such that $G$ is $t$-tone $k$-colorable. For small values of $t$, we prove sharp or nearly sharp upper bounds on the… ▽ More For a graph $G$ and $t,k\in\mathbb{Z}^+$ a \emph{$t$-tone $k$-coloring} of $G$ is a function $f:V(G)\rightarrow \binom{[k]}{t}$ such that $|f(v)\cap f(w)| < d(v,w)$ for all distinct $v,w \in V(G)$. The \emph{$t$-tone chromatic number} of $G$, denoted $τ_t(G)$, is the minimum $k$ such that $G$ is $t$-tone $k$-colorable. For small values of $t$, we prove sharp or nearly sharp upper bounds on the $t$-tone chromatic number of various classes of sparse graphs. In particular, we determine $τ_2(G)$ exactly when $\textrm{mad}(G) < 12/5$ and bound $τ_2(G)$, up to a small additive constant, when $G$ is outerplanar. We also determine $τ_t(C_n)$ exactly when $t\in\{3,4,5\}$. △ Less

Submitted 6 December, 2022; v1 submitted 1 December, 2022; originally announced December 2022.

Comments: 15 pages, 6 figures, version 2 corrects a few typos

MSC Class: 05C15

Journal ref: Australasian Journal of Combinatorics Volume 86(3) (2023), Pages 458-476

Proper Conflict-free Coloring of Graphs with Large Maximum Degree

Authors: Daniel W. Cranston, Chun-Hung Liu

Abstract: A proper coloring of a graph is \emph{conflict-free} if, for every non-isolated vertex, some color is used exactly once on its neighborhood. Caro, Petruševski, and Škrekovski proved that every graph $G$ has a proper conflict-free coloring with at most $5Δ(G)/2$ colors and conjectured that $Δ(G)+1$ colors suffice for every connected graph $G$ with $Δ(G)\ge 3$. Our first main result is that even for… ▽ More A proper coloring of a graph is \emph{conflict-free} if, for every non-isolated vertex, some color is used exactly once on its neighborhood. Caro, Petruševski, and Škrekovski proved that every graph $G$ has a proper conflict-free coloring with at most $5Δ(G)/2$ colors and conjectured that $Δ(G)+1$ colors suffice for every connected graph $G$ with $Δ(G)\ge 3$. Our first main result is that even for list-coloring, $\left\lceil 1.6550826Δ(G)+\sqrt{Δ(G)}\right\rceil$ colors suffice for every graph $G$ with $Δ(G)\ge 10^{8}$; we also prove slightly weaker bounds for all graphs with $Δ(G)\ge 750$. These results follow from our more general framework on proper conflict-free list-coloring of a pair consisting of a graph $G$ and a "conflict" hypergraph ${\mathcal H}$. As another corollary of our results in this general framework, every graph has a proper $(\sqrt{30}+o(1))Δ(G)^{1.5}$-list-coloring such that every bi-chromatic component is a path on at most three vertices, where the number of colors is optimal up to a constant factor. Our proof uses a fairly new type of recursive counting argument called Rosenfeld counting, which is a variant of the Lovász Local Lemma or entropy compression. We also prove an asymptotically optimal result for a fractional analogue of our general framework for proper conflict-free coloring for pairs of a graph and a conflict hypergraph. A corollary states that every graph $G$ has a fractional $(1+o(1))Δ(G)$-coloring such that every fractionally bi-chromatic component has at most two vertices. In particular, it implies that the fractional analogue of the conjecture of Caro et al.\ holds asymptotically in a strong sense. △ Less

Submitted 7 March, 2024; v1 submitted 5 November, 2022; originally announced November 2022.

Journal ref: SIAM J. Discrete Math. 38 (2024), 3004-3027

Coloring, List Coloring, and Painting Squares of Graphs (and other related problems)

Authors: Daniel W. Cranston

Abstract: We survey work on coloring, list coloring, and painting squares of graphs; in particular, we consider strong edge-coloring. We focus primarily on planar graphs and other sparse classes of graphs. We survey work on coloring, list coloring, and painting squares of graphs; in particular, we consider strong edge-coloring. We focus primarily on planar graphs and other sparse classes of graphs. △ Less

Submitted 22 April, 2023; v1 submitted 12 October, 2022; originally announced October 2022.

Comments: 32 pages, 13 figures and tables, plus 195-entry bibliography, comments are welcome, published as a Dynamic Survey in Electronic Journal of Combinatorics

MSC Class: 05C15; 05C10; 05C76

Journal ref: The Electronic Journal of Combinatorics 30(2) (2023), #DS25

Odd-Sum Colorings of Planar Graphs

Authors: Daniel W. Cranston

Abstract: A \emph{coloring} of a graph $G$ is a map $f:V(G)\to \mathbb{Z}^+$ such that $f(v)\ne f(w)$ for all $vw\in E(G)$. A coloring $f$ is an \emph{odd-sum} coloring if $\sum_{w\in N[v]}f(w)$ is odd, for each vertex $v\in V(G)$. The \emph{odd-sum chromatic number} of a graph $G$, denoted $χ_{os}(G)$, is the minimum number of colors used (that is, the minimum size of the range) in an odd-sum coloring of… ▽ More A \emph{coloring} of a graph $G$ is a map $f:V(G)\to \mathbb{Z}^+$ such that $f(v)\ne f(w)$ for all $vw\in E(G)$. A coloring $f$ is an \emph{odd-sum} coloring if $\sum_{w\in N[v]}f(w)$ is odd, for each vertex $v\in V(G)$. The \emph{odd-sum chromatic number} of a graph $G$, denoted $χ_{os}(G)$, is the minimum number of colors used (that is, the minimum size of the range) in an odd-sum coloring of $G$. Caro, Petruševski, and Škrekovski showed, among other results, that $χ_{os}(G)$ is well-defined for every finite graph $G$ and, in fact, $χ_{os}(G)\le 2χ(G)$. Thus, $χ_{os}(G)\le 8$ for every planar graph $G$ (by the 4 Color Theorem), $χ_{os}(G)\le 6$ for every triangle-free planar graph $G$ (by Grötzsch's Theorem), and $χ_{os}(G)\le 4$ for every bipartite graph. Caro et al. asked, for every even $Δ\ge 4$, whether there exists $g_Δ$ such that if $G$ is planar with maximum degree $Δ$ and girth at least $g_Δ$ then $χ_{os}(G)\le 5$. They also asked, for every even $Δ\ge 4$, whether there exists $g_Δ$ such that if $G$ is planar and bipartite with maximum degree $Δ$ and girth at least $g_Δ$ then $χ_{os}(G)\le 3$. We answer both questions negatively. We also refute a conjecture they made, resolve one further problem they posed, and make progress on another. △ Less

Submitted 29 August, 2023; v1 submitted 6 October, 2022; originally announced October 2022.

Comments: 8 pages, 6 figures, to appear in Discrete Applied Math

MSC Class: 05C15; 05C69

Journal ref: Discrete Applied Math, Vol. 342, Pages 82-88 (15 January 2024)

5-Coloring Reconfiguration of Planar Graphs with No Short Odd Cycles

Authors: Daniel W. Cranston, Reem Mahmoud

Abstract: The coloring reconfiguration graph $\mathcal{C}_k(G)$ has as its vertex set all the proper $k$-colorings of $G$, and two vertices in $\mathcal{C}_k(G)$ are adjacent if their corresponding $k$-colorings differ on a single vertex. Cereceda conjectured that if an $n$-vertex graph $G$ is $d$-degenerate and $k\geq d+2$, then the diameter of $\mathcal{C}_k(G)$ is $O(n^2)$. Bousquet and Heinrich proved t… ▽ More The coloring reconfiguration graph $\mathcal{C}_k(G)$ has as its vertex set all the proper $k$-colorings of $G$, and two vertices in $\mathcal{C}_k(G)$ are adjacent if their corresponding $k$-colorings differ on a single vertex. Cereceda conjectured that if an $n$-vertex graph $G$ is $d$-degenerate and $k\geq d+2$, then the diameter of $\mathcal{C}_k(G)$ is $O(n^2)$. Bousquet and Heinrich proved that if $G$ is planar and bipartite, then the diameter of $\mathcal{C}_5(G)$ is $O(n^2)$. (This proves Cereceda's Conjecture for every such graph with degeneracy 3.) They also highlighted the particular case of Cereceda's Conjecture when $G$ is planar and has no 3-cycles. As a partial solution to this problem, we show that the diameter of $\mathcal{C}_5(G)$ is $O(n^2)$ for every planar graph $G$ with no 3-cycles and no 5-cycles. △ Less

Submitted 16 August, 2022; v1 submitted 3 August, 2022; originally announced August 2022.

Comments: 7 pages, 3 figures, corrects a few errors in the previous version

MSC Class: 05C15; 05C85; 05C12

Journal ref: Journal of Graph Theory. Vol. 105(4). April 2024. pp. 670-679

Optimally Reconfiguring List and Correspondence Colourings

Authors: Stijn Cambie, Wouter Cames van Batenburg, Daniel W. Cranston

Abstract: The reconfiguration graph $\mathcal{C}_k(G)$ for the $k$-colourings of a graph $G$ has a vertex for each proper $k$-colouring of $G$, and two vertices of $\mathcal{C}_k(G)$ are adjacent precisely when those $k$-colourings differ on a single vertex of $G$. Much work has focused on bounding the maximum value of ${\rm{diam}}~\mathcal{C}_k(G)$ over all $n$-vertex graphs $G$. We consider the analogous… ▽ More The reconfiguration graph $\mathcal{C}_k(G)$ for the $k$-colourings of a graph $G$ has a vertex for each proper $k$-colouring of $G$, and two vertices of $\mathcal{C}_k(G)$ are adjacent precisely when those $k$-colourings differ on a single vertex of $G$. Much work has focused on bounding the maximum value of ${\rm{diam}}~\mathcal{C}_k(G)$ over all $n$-vertex graphs $G$. We consider the analogous problems for list colourings and for correspondence colourings. We conjecture that if $L$ is a list-assignment for a graph $G$ with $|L(v)|\ge d(v)+2$ for all $v\in V(G)$, then ${\rm{diam}}~\mathcal{C}_L(G)\le n(G)+μ(G)$. We also conjecture that if $(L,H)$ is a correspondence cover for a graph $G$ with $|L(v)|\ge d(v)+2$ for all $v\in V(G)$, then ${\rm{diam}}~\mathcal{C}_{(L,H)}(G)\le n(G)+τ(G)$. (Here $μ(G)$ and $τ(G)$ denote the matching number and vertex cover number of $G$.) For every graph $G$, we give constructions showing that both conjectures are best possible. Our first main result proves the upper bounds (for the list and correspondence versions, respectively) ${\rm{diam}}~\mathcal{C}_L(G)\le n(G)+2μ(G)$ and ${\rm{diam}}~\mathcal{C}_{(L,H)}(G)\le n(G)+2τ(G)$. Our second main result proves that both conjectured bounds hold, whenever all $v$ satisfy $|L(v)|\ge 2d(v)+1$. We conclude by proving one or both conjectures for various classes of graphs such as complete bipartite graphs, subcubic graphs, cactuses, and graphs with bounded maximum average degree. △ Less

Submitted 2 October, 2023; v1 submitted 17 April, 2022; originally announced April 2022.

Comments: 19 pages, 3 figures; to appear in European J. Combinatorics

MSC Class: 05C15; 05C12; 05C85

Journal ref: European J. Combinatorics, Volume 115, January 2024, 103798

A Note on Odd Colorings of 1-Planar Graphs

Authors: Daniel W. Cranston, Michael Lafferty, Zi-Xia Song

Abstract: A proper coloring of a graph is odd if every non-isolated vertex has some color that appears an odd number of times on its neighborhood. This notion was recently introduced by Petruševski and Škrekovski, who proved that every planar graph admits an odd $9$-coloring; they also conjectured that every planar graph admits an odd $5$-coloring. Shortly after, this conjecture was confirmed for planar gra… ▽ More A proper coloring of a graph is odd if every non-isolated vertex has some color that appears an odd number of times on its neighborhood. This notion was recently introduced by Petruševski and Škrekovski, who proved that every planar graph admits an odd $9$-coloring; they also conjectured that every planar graph admits an odd $5$-coloring. Shortly after, this conjecture was confirmed for planar graphs of girth at least seven by Cranston; outerplanar graphs by Caro, Petruševski, and Škrekovski. Building on the work of Caro, Petruševski, and Škrekovski, Petr and Portier then further proved that every planar graph admits an odd $8$-coloring. In this note we prove that every 1-planar graph admits an odd $23$-coloring, where a graph is 1-planar if it can be drawn in the plane so that each edge is crossed by at most one other edge. △ Less

Submitted 28 February, 2022; v1 submitted 5 February, 2022; originally announced February 2022.

Comments: Third version improves upper bound from 31 to 23

Journal ref: Discrete Applied Math. Vol. 330, 15 May 2023, pp. 112-117

List-Recoloring of Sparse Graphs

Authors: Daniel W. Cranston

Abstract: Fix a graph $G$, a list-assignment $L$ for $G$, and $L$-colorings $α$ and $β$. An $L$-recoloring sequence, starting from $α$, recolors a single vertex at each step, so that each resulting intermediate coloring is a proper $L$-coloring. An $L$-recoloring sequence transforms $α$ to $β$ if its initial coloring is $α$ and its final coloring is $β$. We prove there exists an $L$-recoloring sequence that… ▽ More Fix a graph $G$, a list-assignment $L$ for $G$, and $L$-colorings $α$ and $β$. An $L$-recoloring sequence, starting from $α$, recolors a single vertex at each step, so that each resulting intermediate coloring is a proper $L$-coloring. An $L$-recoloring sequence transforms $α$ to $β$ if its initial coloring is $α$ and its final coloring is $β$. We prove there exists an $L$-recoloring sequence that transforms $α$ to $β$ and recolors each vertex at most a constant number of times if (i) $G$ is triangle-free and planar and $L$ is a 7-assignment, or (ii) $\mathrm{mad}(G)<17/5$ and $L$ is a 6-assignment or (iii) $\mathrm{mad}(G)<22/9$ and $L$ is a 4-assignment. Parts (i) and (ii) confirm conjectures of Dvořák and Feghali. △ Less

Submitted 1 April, 2022; v1 submitted 13 January, 2022; originally announced January 2022.

Comments: 11 pages, 5 figures; to appear in European J. Combinatorics

MSC Class: 05C15; 05C85; 05C12

Journal ref: European J. Combinatorics Vol. 105, October 2022, 103562

Odd Colorings of Sparse Graphs

Authors: Daniel W. Cranston

Abstract: A proper coloring of a graph is called \emph{odd} if every non-isolated vertex has some color that appears an odd number of times on its neighborhood. The smallest number of colors that admits an odd coloring of a graph $G$ is denoted $χ_o(G)$. This notion was introduced by Petruševski and Škrekovski, who proved that if $G$ is planar then $χ_o(G)\le 9$; they also conjectured that $χ_o(G)\le 5$. Fo… ▽ More A proper coloring of a graph is called \emph{odd} if every non-isolated vertex has some color that appears an odd number of times on its neighborhood. The smallest number of colors that admits an odd coloring of a graph $G$ is denoted $χ_o(G)$. This notion was introduced by Petruševski and Škrekovski, who proved that if $G$ is planar then $χ_o(G)\le 9$; they also conjectured that $χ_o(G)\le 5$. For a positive real number $α$, we consider the maximum value of $χ_o(G)$ over all graphs $G$ with maximum average degree less than $α$; we denote this value by $χ_o(\mathcal{G}_α)$. We note that $χ_o(\mathcal{G}_α)$ is undefined for all $α\ge 4$. In contrast, for each $α\in[0,4)$, we give a (nearly sharp) upper bound on $χ_o(\mathcal{G}_α)$. Finally, we prove $χ_o(\mathcal{G}_{20/7})= 5$ and $χ_o(\mathcal{G}_3)= 6$. Both of these results are sharp. △ Less

Submitted 5 January, 2022; originally announced January 2022.

Comments: 8 pages

MSC Class: 05C15

Journal ref: Journal of Combinatorics. Vol. 15(4), 2024, pp. 439-450

Kempe Equivalent List Colorings

Authors: Daniel W. Cranston, Reem Mahmoud

Abstract: An $α,β$-Kempe swap in a properly colored graph interchanges the colors on some component of the subgraph induced by colors $α$ and $β$. Two $k$-colorings of a graph are $k$-Kempe equivalent if we can form one from the other by a sequence of Kempe swaps (never using more than $k$ colors). Las Vergnas and Meyniel showed that if a graph is $(k-1)$-degenerate, then each pair of its $k$-colorings are… ▽ More An $α,β$-Kempe swap in a properly colored graph interchanges the colors on some component of the subgraph induced by colors $α$ and $β$. Two $k$-colorings of a graph are $k$-Kempe equivalent if we can form one from the other by a sequence of Kempe swaps (never using more than $k$ colors). Las Vergnas and Meyniel showed that if a graph is $(k-1)$-degenerate, then each pair of its $k$-colorings are $k$-Kempe equivalent. Mohar conjectured the same conclusion for connected $k$-regular graphs. This was proved for $k=3$ by Feghali, Johnson, and Paulusma (with a single exception $K_2\square K_3$, also called the 3-prism) and for $k\ge 4$ by Bonamy, Bousquet, Feghali, and Johnson. In this paper we prove an analogous result for list-coloring. For a list-assignment $L$ and an $L$-coloring $\varphi$, a Kempe swap is called $L$-valid for $\varphi$ if performing the Kempe swap yields another $L$-coloring. Two $L$-colorings are called $L$-equivalent if we can form one from the other by a sequence of $L$-valid Kempe swaps. Let $G$ be a connected $k$-regular graph with $k\ge 3$. We prove that if $L$ is a $k$-assignment, then all $L$-colorings are $L$-equivalent (again with a single exception $K_2 \square K_3$). When $k\ge 4$, the proof is completely self-contained, so implies an alternate proof of the result of Bonamy et al. Our proofs rely on the following key lemma, which may be of independent interest. Let $H$ be a graph such that for every degree-assignment $L_H$ all $L_H$-colorings are $L_H$-equivalent. If $G$ is a connected graph that contains $H$ as an induced subgraph, then for every degree-assignment $L_G$ for $G$ all $L_G$-colorings are $L_G$-equivalent. △ Less

Submitted 30 August, 2023; v1 submitted 14 December, 2021; originally announced December 2021.

Comments: 29 pages, 12 figures; second version extends the main result to cliques, which were previously excluded; third version incorporates reviewer feedback; to appear in Combinatorica

Journal ref: Combinatorica. Vol. 44, 2024, pp. 125-153

Strong Edge-Coloring of Cubic Bipartite Graphs: A Counterexample

Authors: Daniel W. Cranston

Abstract: A strong edge-coloring $\varphi$ of a graph $G$ assigns colors to edges of $G$ such that $\varphi(e_1)\ne \varphi(e_2)$ whenever $e_1$ and $e_2$ are at distance no more than 1. It is equivalent to a proper vertex coloring of the square of the line graph of $G$. In 1990 Faudree, Schelp, Gyárfás, and Tuza conjectured that if $G$ is a bipartite graph with maximum degree 3 and sufficiently large girth… ▽ More A strong edge-coloring $\varphi$ of a graph $G$ assigns colors to edges of $G$ such that $\varphi(e_1)\ne \varphi(e_2)$ whenever $e_1$ and $e_2$ are at distance no more than 1. It is equivalent to a proper vertex coloring of the square of the line graph of $G$. In 1990 Faudree, Schelp, Gyárfás, and Tuza conjectured that if $G$ is a bipartite graph with maximum degree 3 and sufficiently large girth, then $G$ has a strong edge-coloring with at most 5 colors. In 2021 this conjecture was disproved by Lužar, Mačajová, Škoviera, and Soták. Here we give an alternative construction to disprove the conjecture. △ Less

Submitted 26 May, 2022; v1 submitted 2 December, 2021; originally announced December 2021.

Comments: 3.5 pages, 1 figure; second version extends the construction from the 3-regular case to the $k$-regular case, for each integer $k\ge 2$; third version incorporates referee feedback; to appear in Discrete Applied Math

MSC Class: 05C15

Journal ref: Discrete Applied Math. Volume 321, 15 November 2022, pp. 258-260

On Asymptotic Packing of Geometric Graphs

Authors: Daniel W. Cranston, Jiaxi Nie, Jacques Verstraëte, Alexandra Wesolek

Abstract: A set of geometric graphs is {\em geometric-packable} if it can be asymptotically packed into every sequence of drawings of the complete graph $K_n$. For example, the set of geometric triangles is geometric-packable due to the existence of Steiner Triple Systems. When $G$ is the $4$-cycle (or $4$-cycle with a chord), we show that the set of plane drawings of $G$ is geometric-packable. In contrast,… ▽ More A set of geometric graphs is {\em geometric-packable} if it can be asymptotically packed into every sequence of drawings of the complete graph $K_n$. For example, the set of geometric triangles is geometric-packable due to the existence of Steiner Triple Systems. When $G$ is the $4$-cycle (or $4$-cycle with a chord), we show that the set of plane drawings of $G$ is geometric-packable. In contrast, the analogous statement is false when $G$ is nearly any other planar Hamiltonian graph (with at most 3 possible exceptions). A convex geometric graph is {\em convex-packable} if it can be asymptotically packed into the convex drawings of the complete graphs. For each planar Hamiltonian graph $G$, we determine whether or not a plane $G$ is convex-packable. Many of our proofs explicitly construct these packings; in these cases, the packings exhibit a symmetry that mirrors the vertex transitivity of $K_n$. △ Less

Submitted 6 November, 2021; originally announced November 2021.

Journal ref: Discrete Applied Math. Volume 322, 15 December 2022, Pages 142-152

Kempe Equivalent List Edge-Colorings of Planar Graphs

Authors: Daniel W. Cranston

Abstract: For a list assignment $L$ and an $L$-coloring $\varphi$, a Kempe swap in $\varphi$ is \emph{$L$-valid} if it yields another $L$-coloring. Two $L$-colorings are \emph{$L$-equivalent} if we can form one from another by a sequence of $L$-valid Kempe swaps. And a graph $G$ is \emph{$L$-swappable} if every two of its $L$-colorings are $L$-equivalent. We consider $L$-swappability of line graphs of plana… ▽ More For a list assignment $L$ and an $L$-coloring $\varphi$, a Kempe swap in $\varphi$ is \emph{$L$-valid} if it yields another $L$-coloring. Two $L$-colorings are \emph{$L$-equivalent} if we can form one from another by a sequence of $L$-valid Kempe swaps. And a graph $G$ is \emph{$L$-swappable} if every two of its $L$-colorings are $L$-equivalent. We consider $L$-swappability of line graphs of planar graphs with large maximum degree. Let $G$ be a planar graph with $Δ(G)\ge 9$ and let $H$ be the line graph of $G$. If $L$ is a $(Δ(G)+1)$-assignment to $H$, then $H$ is $L$-swappable. Let $G$ be a planar graph with $Δ(G)\ge 15$ and let $H$ be the line graph of $G$. If $L$ is a $Δ(G)$-assignment to $H$, then $H$ is $L$-swappable. The first result is analogous to one for $L$-choosability by Borodin, which was later strengthened by Bonamy. The second result is analogous to another for $L$-choosability by Borodin, which was later strengthened by Borodin, Kostochka, and Woodall. △ Less

Submitted 12 September, 2022; v1 submitted 12 October, 2021; originally announced October 2021.

Comments: 15 pages, 5 figures, 2 page appendix; to appear in Discrete Math (special issue in honor of Landon Rabern)

MSC Class: 05C15

Journal ref: Discrete Math Vol. 346, no. 11, November 2023, 113180

Planar Turán Numbers of Cycles: A Counterexample

Authors: Daniel W. Cranston, Bernard Lidický, Xiaonan Liu, Abhinav Shantanam

Abstract: The planar Turan number $\textrm{ex}_{\mathcal{P}}(C_{\ell},n)$ is the largest number of edges in an $n$-vertex planar graph with no $\ell$-cycle. For $\ell\in \{3,4,5,6\}$, upper bounds on $\textrm{ex}_{\mathcal{P}}(C_{\ell},n)$ are known that hold with equality infinitely often. Ghosh, Györi, Martin, Paulo, and Xiao [arxiv:2004.14094] conjectured an upper bound on… ▽ More The planar Turan number $\textrm{ex}_{\mathcal{P}}(C_{\ell},n)$ is the largest number of edges in an $n$-vertex planar graph with no $\ell$-cycle. For $\ell\in \{3,4,5,6\}$, upper bounds on $\textrm{ex}_{\mathcal{P}}(C_{\ell},n)$ are known that hold with equality infinitely often. Ghosh, Györi, Martin, Paulo, and Xiao [arxiv:2004.14094] conjectured an upper bound on $\textrm{ex}_{\mathcal{P}}(C_{\ell},n)$ for every $\ell\ge 7$ and $n$ sufficiently large. We disprove this conjecture for every $\ell\ge 11$. We also propose two revised versions of the conjecture. △ Less

Submitted 5 October, 2021; originally announced October 2021.

Comments: 9 pages, 2 figures

MSC Class: 05C35

Journal ref: Electronic Journal of Combinatorics. Vol. 29(3), 2022, #P3.31

Star coloring of sparse graphs

Authors: Yuehua Bu, Daniel W. Cranston, Mickaël Montassier, André Raspaud, Weifan Wang

Abstract: A proper coloring of the vertices of a graph is called a \emph{star coloring} if the union of every two color classes induces a star forest. The star chromatic number $χ_s(G)$ is the smallest number of colors required to obtain a star coloring of $G$. In this paper, we study the relationship between the star chromatic number $χ_s(G)$ and the maximum average degree $\mbox{Mad}(G)$ of a graph $G$. W… ▽ More A proper coloring of the vertices of a graph is called a \emph{star coloring} if the union of every two color classes induces a star forest. The star chromatic number $χ_s(G)$ is the smallest number of colors required to obtain a star coloring of $G$. In this paper, we study the relationship between the star chromatic number $χ_s(G)$ and the maximum average degree $\mbox{Mad}(G)$ of a graph $G$. We prove that: (1) If $G$ is a graph with $\mbox{Mad}(G) < \frac{26}{11}$, then $χ_s(G)\leq 4$. (2) If $G$ is a graph with $\mbox{Mad}(G) < \frac{18}{7}$ and girth at least 6, then $χ_s(G)\leq 5$. (3) If $G$ is a graph with $\mbox{Mad}(G) < \frac{8}{3}$ and girth at least 6, then $χ_s(G)\leq 6$. These results are obtained by proving that such graphs admit a particular decomposition into a forest and some independent sets. △ Less

Submitted 14 May, 2021; originally announced May 2021.

Comments: 20 pages, 5 figures

MSC Class: 05C15

Journal ref: Journal of Graph Theory, Vol. 62(3), November 2009, Pages 201-219

In Most 6-regular Toroidal Graphs All 5-colorings are Kempe Equivalent

Authors: Daniel W. Cranston, Reem Mahmoud

Abstract: A Kempe swap in a proper coloring interchanges the colors on some maximal connected 2-colored subgraph. Two $k$-colorings are $k$-equivalent if we can transform one into the other using Kempe swaps. The triangulated toroidal grid, $T[m\times n]$, is formed from (a toroidal embedding of) the Cartesian product of $C_m$ and $C_n$ by adding parallel diagonals inside all 4-faces. Mohar and Salas showed… ▽ More A Kempe swap in a proper coloring interchanges the colors on some maximal connected 2-colored subgraph. Two $k$-colorings are $k$-equivalent if we can transform one into the other using Kempe swaps. The triangulated toroidal grid, $T[m\times n]$, is formed from (a toroidal embedding of) the Cartesian product of $C_m$ and $C_n$ by adding parallel diagonals inside all 4-faces. Mohar and Salas showed that not all 4-colorings of $T[m\times n]$ are 4-equivalent. In contrast, Bonamy, Bousquet, Feghali, and Johnson showed that all 6-colorings of $T[m\times n]$ are 6-equivalent. They asked whether the same is true for 5-colorings. We answer their question affirmatively when $m,n\ge 6$. Further, we show that if $G$ is 6-regular with a toroidal embedding where every non-contractible cycle has length at least 7, then all 5-colorings of $G$ are 5-equivalent. Our results relate to the antiferromagnetic Pott's model in statistical mechanics. △ Less

Submitted 9 March, 2022; v1 submitted 15 February, 2021; originally announced February 2021.

Comments: 17 pages, 16 figures; 4th version incorporates minor referee feedback; to appear in European Journal of Combinatorics

MSC Class: 05C15; 05C10

Journal ref: European J. Combinatorics Vol. 104: 103532 (2022)

Vertex Partitions into an Independent Set and a Forest with Each Component Small

Authors: Daniel W. Cranston, Matthew P. Yancey

Abstract: For each integer k >= 2, we determine a sharp bound on mad(G) such that V(G) can be partitioned into sets I and F_k, where I is an independent set and G[F_k] is a forest in which each component has at most k vertices. For each k we construct an infinite family of examples showing our result is best possible. Our results imply that every planar graph G of girth at least 9 (resp. 8, 7) has a partiti… ▽ More For each integer k >= 2, we determine a sharp bound on mad(G) such that V(G) can be partitioned into sets I and F_k, where I is an independent set and G[F_k] is a forest in which each component has at most k vertices. For each k we construct an infinite family of examples showing our result is best possible. Our results imply that every planar graph G of girth at least 9 (resp. 8, 7) has a partition of V(G) into an independent set I and a set F such that G[F] is a forest with each component of order at most 3 (resp. 4, 6). Hendrey, Norin, and Wood asked for the largest function g(a,b) such that if mad(G) < g(a,b) then V(G) has a partition into sets A and B such that mad(G[A]) < a and mad(G[B]) < b. They specifically asked for the value of g(1,b), i.e., the case when A is an independent set. Previously, the only values known were g(1,4/3) and g(1,2). We find g(1,b) whenever 4/3 < b < 2. △ Less

Submitted 26 May, 2021; v1 submitted 19 June, 2020; originally announced June 2020.

Comments: 21 pages, 9 figures and 2 tables; this version incorporates reviewer feedback; to appear in SIAM J. Discrete Math

MSC Class: 05C15

Journal ref: SIAM Journal on Discrete Math. Vol. 35(3), 2021, pp. 1769-1791

Coloring $(P_5, \text{gem})$-free graphs with $Δ-1$ colors

Authors: Daniel W. Cranston, Hudson Lafayette, Landon Rabern

Abstract: The Borodin-Kostochka Conjecture states that for a graph $G$, if $Δ(G) \geq 9$ and $ω(G) \leq Δ(G)-1$, then $χ(G)\leqΔ(G) -1$. We prove the Borodin-Kostochka Conjecture for $(P_5, \text{gem})$-free graphs, i.e., graphs with no induced $P_5$ and no induced $K_1\vee P_4$. The Borodin-Kostochka Conjecture states that for a graph $G$, if $Δ(G) \geq 9$ and $ω(G) \leq Δ(G)-1$, then $χ(G)\leqΔ(G) -1$. We prove the Borodin-Kostochka Conjecture for $(P_5, \text{gem})$-free graphs, i.e., graphs with no induced $P_5$ and no induced $K_1\vee P_4$. △ Less

Submitted 2 June, 2020; originally announced June 2020.

Comments: 8 pages, 6 figures

MSC Class: 05C15

Journal ref: Journal of Graph Theory. Vol. 101(4), December 2022, pp. 633-642

The Iterated Local Directed Transitivity Model for Social Networks

Authors: Anthony Bonato, Daniel W. Cranston, Melissa Huggan, Trent Marbach, Raja Mutharasan

Abstract: We introduce a new directed graph model for social networks, based on the transitivity of triads. In the Iterated Local Directed Transitivity (ILDT) model, new nodes are born over discrete time-steps, and inherit the link structure of their parent nodes. The ILDT model may be viewed as a directed analogue of the ILT model for undirected graphs introduced in \cite{ilt}. We investigate network scien… ▽ More We introduce a new directed graph model for social networks, based on the transitivity of triads. In the Iterated Local Directed Transitivity (ILDT) model, new nodes are born over discrete time-steps, and inherit the link structure of their parent nodes. The ILDT model may be viewed as a directed analogue of the ILT model for undirected graphs introduced in \cite{ilt}. We investigate network science and graph theoretical properties of ILDT digraphs. We prove that the ILDT model exhibits a densification power law, so that the digraphs generated by the models densify over time. The number of directed triads are investigated, and counts are given of the number of directed 3-cycles and transitive $3$-cycles. A higher number of transitive 3-cycles are generated by the ILDT model, as found in real-world, on-line social networks. In many instances of the chosen initial digraph, the model eventually generates graphs with Hamiltonian directed cycles. We finish with a discussion of the eigenvalues of the adjacency matrices of ILDT directed graphs, and provide further directions. △ Less

Submitted 5 April, 2020; v1 submitted 1 December, 2019; originally announced December 2019.

Sparse graphs are near-bipartite

Authors: Daniel W. Cranston, Matthew P. Yancey

Abstract: A multigraph $G$ is near-bipartite if $V(G)$ can be partitioned as $I,F$ such that $I$ is an independent set and $F$ induces a forest. We prove that a multigraph $G$ is near-bipartite when $3|W|-2|E(G[W])|\ge -1$ for every $W\subseteq V(G)$, and $G$ contains no $K_4$ and no Moser spindle. We prove that a simple graph $G$ is near-bipartite when $8|W|-5|E(G[W])|\ge -4$ for every $W\subseteq V(G)$, a… ▽ More A multigraph $G$ is near-bipartite if $V(G)$ can be partitioned as $I,F$ such that $I$ is an independent set and $F$ induces a forest. We prove that a multigraph $G$ is near-bipartite when $3|W|-2|E(G[W])|\ge -1$ for every $W\subseteq V(G)$, and $G$ contains no $K_4$ and no Moser spindle. We prove that a simple graph $G$ is near-bipartite when $8|W|-5|E(G[W])|\ge -4$ for every $W\subseteq V(G)$, and $G$ contains no subgraph from some finite family $\mathcal{H}$. We also construct infinite families to show that both results are best possible in a very sharp sense. △ Less

Submitted 20 April, 2020; v1 submitted 29 March, 2019; originally announced March 2019.

Comments: 37 pages, 21 figures; incorporates reviewer feedback; to appear in SIAM J. Discrete Math

Journal ref: SIAM Journal on Discrete Math. Vol. 34(3), 2020, pp. 1725-1768

Circular Flows in Planar Graphs

Authors: Daniel W. Cranston, Jiaao Li

Abstract: For integers $a\ge 2b>0$, a \emph{circular $a/b$-flow} is a flow that takes values from $\{\pm b, \pm(b+1), \dots, \pm(a-b)\}$. The Planar Circular Flow Conjecture states that every $2k$-edge-connected planar graph admits a circular $(2+\frac{2}{k})$-flow. The cases $k=1$ and $k=2$ are equivalent to the Four Color Theorem and Grötzsch's 3-Color Theorem. For $k\ge 3$, the conjecture remains open. H… ▽ More For integers $a\ge 2b>0$, a \emph{circular $a/b$-flow} is a flow that takes values from $\{\pm b, \pm(b+1), \dots, \pm(a-b)\}$. The Planar Circular Flow Conjecture states that every $2k$-edge-connected planar graph admits a circular $(2+\frac{2}{k})$-flow. The cases $k=1$ and $k=2$ are equivalent to the Four Color Theorem and Grötzsch's 3-Color Theorem. For $k\ge 3$, the conjecture remains open. Here we make progress when $k=4$ and $k=6$. We prove that (i) {\em every 10-edge-connected planar graph admits a circular 5/2-flow} and (ii) {\em every 16-edge-connected planar graph admits a circular 7/3-flow.} The dual version of statement (i) on circular coloring was previously proved by Dvořák and Postle (Combinatorica 2017), but our proof has the advantages of being much shorter and avoiding the use of computers for case-checking. Further, it has new implications for antisymmetric flows. Statement (ii) is especially interesting because the counterexamples to Jaeger's original Circular Flow Conjecture are 12-edge-connected nonplanar graphs that admit no circular 7/3-flow. Thus, the planarity hypothesis of (ii) is essential. △ Less

Submitted 24 December, 2018; originally announced December 2018.

Comments: 18 pages, 6 figures, plus 2.5 page appendix with 2 figures, comments welcome

MSC Class: 05C15

Journal ref: SIAM J. Discrete Math. Vol. 34(1), 2020, pp. 497-519

Degeneracy and Colorings of Squares of Planar Graphs without 4-Cycles

Authors: Ilkyoo Choi, Daniel W. Cranston, Théo Pierron

Abstract: We prove several results on coloring squares of planar graphs without 4-cycles. First, we show that if $G$ is such a graph, then $G^2$ is $(Δ(G)+72)$-degenerate. This implies an upper bound of $Δ(G)+73$ on the chromatic number of $G^2$ as well as on several variants of the chromatic number such as the list-chromatic number, paint number, Alon--Tarsi number, and correspondence chromatic number. We… ▽ More We prove several results on coloring squares of planar graphs without 4-cycles. First, we show that if $G$ is such a graph, then $G^2$ is $(Δ(G)+72)$-degenerate. This implies an upper bound of $Δ(G)+73$ on the chromatic number of $G^2$ as well as on several variants of the chromatic number such as the list-chromatic number, paint number, Alon--Tarsi number, and correspondence chromatic number. We also show that if $Δ(G)$ is sufficiently large, then the upper bounds on each of these parameters of $G^2$ can all be lowered to $Δ(G)+2$ (which is best possible). To complement these results, we show that 4-cycles are unique in having this property. Specifically, let $S$ be a finite list of positive integers, with $4\notin S$. For each constant $C$, we construct a planar graph $G_{S,C}$ with no cycle with length in $S$, but for which $χ(G_{S,C}^2) > Δ(G_{S,C})+C$. △ Less

Submitted 24 September, 2019; v1 submitted 19 June, 2018; originally announced June 2018.

Comments: 24 pages, 6 figures; revised version incorporates suggestions of referees; to appear in Combinatorica

MSC Class: 05C15

Journal ref: Combinatorica. Vol. 40(5), 2020, pp. 625-653

A Note on Bootstrap Percolation Thresholds in Plane Tilings using Regular Polygons

Authors: Neal Bushaw, Daniel W. Cranston

Abstract: In \emph{$k$-bootstrap percolation}, we fix $p\in (0,1)$, an integer $k$, and a plane graph $G$. Initially, we infect each face of $G$ independently with probability $p$. Infected faces remain infected forever, and if a healthy (uninfected) face has at least $k$ infected neighbors, then it becomes infected. For fixed $G$ and $p$, the \emph{percolation threshold} is the largest $k$ such that eventu… ▽ More In \emph{$k$-bootstrap percolation}, we fix $p\in (0,1)$, an integer $k$, and a plane graph $G$. Initially, we infect each face of $G$ independently with probability $p$. Infected faces remain infected forever, and if a healthy (uninfected) face has at least $k$ infected neighbors, then it becomes infected. For fixed $G$ and $p$, the \emph{percolation threshold} is the largest $k$ such that eventually all faces become infected, with probability at least $1/2$. For a large class of infinite graphs, we show that this threshold is independent of $p$. We consider bootstrap percolation in tilings of the plane by regular polygons. A \emph{vertex type} in such a tiling is the cyclic order of the faces that meet a common vertex. First, we determine the percolation threshold for each of the Archimedean lattices. More generally, let $\mathcal{T}$ denote the set of plane tilings $T$ by regular polygons such that if $T$ contains one instance of a vertex type, then $T$ contains infinitely many instances of that type. We show that no tiling in $\mathcal{T}$ has threshold 4 or more. Further, the only tilings in $\mathcal{T}$ with threshold 3 are four of the Archimedean lattices. Finally, we describe a large subclass of $\mathcal{T}$ with threshold 2. △ Less

Submitted 11 June, 2019; v1 submitted 24 March, 2018; originally announced March 2018.

Comments: 10 pages, 5 figures; to appear in Australasian J. Combinatorics; this version incorporates reviewer and editor feedback, and differs from the final journal version mainly in typesetting

MSC Class: 60K35; 82B43

Journal ref: Australasian J. Combinatorics. Vol. 74(3), 2019, pp. 486-497

A Characterization of $(4,2)$-Choosable Graphs

Authors: Daniel W. Cranston

Abstract: A graph $G$ is \emph{$(a,b)$-choosable} if given any list assignment $L$ with $|L(v)|=a$ for each $v\in V(G)$ there exists a function $\varphi$ such that $\varphi(v)\in L(v)$ and $|\varphi(v)|=b$ for all $v\in V(G)$, and whenever vertices $x$ and $y$ are adjacent $\varphi(x)\cap \varphi(y)=\emptyset$. Meng, Puleo, and Zhu conjectured a characterization of (4,2)-choosable graphs. We prove their con… ▽ More A graph $G$ is \emph{$(a,b)$-choosable} if given any list assignment $L$ with $|L(v)|=a$ for each $v\in V(G)$ there exists a function $\varphi$ such that $\varphi(v)\in L(v)$ and $|\varphi(v)|=b$ for all $v\in V(G)$, and whenever vertices $x$ and $y$ are adjacent $\varphi(x)\cap \varphi(y)=\emptyset$. Meng, Puleo, and Zhu conjectured a characterization of (4,2)-choosable graphs. We prove their conjecture. △ Less

Submitted 9 April, 2019; v1 submitted 17 August, 2017; originally announced August 2017.

Comments: 20 pages, 20 figures; version 3 incorporates reviewer feedback: completely rewrote Section 5 to correct an error, omitted many tedious details of showing that certain graphs are not (4,2)-choosable, removed open question and conjecture; to appear in J. Graph Theory

MSC Class: 05C15

Journal ref: Journal of Graph Theory. Vol. 92(4), December 2019, pp. 460-487

Proper Distinguishing Colorings with Few Colors for Graphs with Girth at Least 5

Authors: Daniel W. Cranston

Abstract: The distinguishing chromatic number, $χ_D(G)$, of a graph $G$ is the smallest number of colors in a proper coloring, $\varphi$, of $G$, such that the only automorphism of $G$ that preserves all colors of $\varphi$ is the identity map. Collins and Trenk conjectured that if $G$ is connected with girth at least 5 and $G\ne C_6$, then $χ_D(G)\le Δ+1$. We prove this conjecture. The distinguishing chromatic number, $χ_D(G)$, of a graph $G$ is the smallest number of colors in a proper coloring, $\varphi$, of $G$, such that the only automorphism of $G$ that preserves all colors of $\varphi$ is the identity map. Collins and Trenk conjectured that if $G$ is connected with girth at least 5 and $G\ne C_6$, then $χ_D(G)\le Δ+1$. We prove this conjecture. △ Less

Submitted 17 October, 2018; v1 submitted 17 July, 2017; originally announced July 2017.

Comments: 9 pages, 3 figures; expanded introduction and bibliography from version 1

MSC Class: 05C15; 05C25

Journal ref: Electronic Journal of Combinatorics. Vol. 25(3), 2018, #P3.5

Acyclic edge-coloring of planar graphs: $Δ$ colors suffice when $Δ$ is large

Authors: Daniel W. Cranston

Abstract: An \emph{acyclic edge-coloring} of a graph $G$ is a proper edge-coloring of $G$ such that the subgraph induced by any two color classes is acyclic. The \emph{acyclic chromatic index}, $χ'_a(G)$, is the smallest number of colors allowing an acyclic edge-coloring of $G$. Clearly $χ'_a(G)\ge Δ(G)$ for every graph $G$. Cohen, Havet, and Müller conjectured that there exists a constant $M$ such that eve… ▽ More An \emph{acyclic edge-coloring} of a graph $G$ is a proper edge-coloring of $G$ such that the subgraph induced by any two color classes is acyclic. The \emph{acyclic chromatic index}, $χ'_a(G)$, is the smallest number of colors allowing an acyclic edge-coloring of $G$. Clearly $χ'_a(G)\ge Δ(G)$ for every graph $G$. Cohen, Havet, and Müller conjectured that there exists a constant $M$ such that every planar graph with $Δ(G)\ge M$ has $χ'_a(G)=Δ(G)$. We prove this conjecture. △ Less

Submitted 29 January, 2019; v1 submitted 14 May, 2017; originally announced May 2017.

Comments: 15 pages, 8 figures; minor revisions to incorporate reviewer feedback; to appear in SIAM J. Discrete Math

MSC Class: 05C15; 05C10

Journal ref: SIAM Journal on Discrete Math. Vol. 33(2), 2019, pp. 614-628

The Hilton--Zhao Conjecture is True for Graphs with Maximum Degree 4

Authors: Daniel W. Cranston, Landon Rabern

Abstract: A simple graph $G$ is \emph{overfull} if $|E(G)|>Δ\lfloor|V(G)|/2\rfloor$. By the pigeonhole principle, every overfull graph $G$ has $χ'(G)>Δ$. The \emph{core} of a graph, denoted $G_Δ$, is the subgraph induced by its vertices of degree $Δ$. Vizing's Adjacency Lemma implies that if $χ'(G)>Δ$, then $G_Δ$ contains cycles. Hilton and Zhao conjectured that if $G_Δ$ has maximum degree 2 and $Δ\ge 4$, t… ▽ More A simple graph $G$ is \emph{overfull} if $|E(G)|>Δ\lfloor|V(G)|/2\rfloor$. By the pigeonhole principle, every overfull graph $G$ has $χ'(G)>Δ$. The \emph{core} of a graph, denoted $G_Δ$, is the subgraph induced by its vertices of degree $Δ$. Vizing's Adjacency Lemma implies that if $χ'(G)>Δ$, then $G_Δ$ contains cycles. Hilton and Zhao conjectured that if $G_Δ$ has maximum degree 2 and $Δ\ge 4$, then $χ'(G)>Δ$ precisely when $G$ is overfull. We prove this conjecture for the case $Δ=4$. △ Less

Submitted 18 May, 2019; v1 submitted 2 March, 2017; originally announced March 2017.

Comments: 13 pages, 9 figures; this version incorporates reviewer feedback and corrects a few errors; to appear in SIAM J. Discrete Math

MSC Class: 05C15

Journal ref: SIAM Journal on Discrete Math. 33(3), 2019, pp. 1228-1241

Short fans and the 5/6 bound for line graphs

Authors: Daniel W. Cranston, Landon Rabern

Abstract: In 2011, the second author conjectured that every line graph $G$ satisfies $χ(G)\le \max\{ω(G),\frac{5Δ(G)+8}{6}\}$. This conjecture is best possible, as shown by replacing each edge in a 5-cycle by $k$ parallel edges, and taking the line graph. In this paper we prove the conjecture. We also develop more general techniques and results that will likely be of independent interest, due to their use i… ▽ More In 2011, the second author conjectured that every line graph $G$ satisfies $χ(G)\le \max\{ω(G),\frac{5Δ(G)+8}{6}\}$. This conjecture is best possible, as shown by replacing each edge in a 5-cycle by $k$ parallel edges, and taking the line graph. In this paper we prove the conjecture. We also develop more general techniques and results that will likely be of independent interest, due to their use in attacking the Goldberg--Seymour conjecture. △ Less

Submitted 12 October, 2016; originally announced October 2016.

Comments: 28 pages, 5 figures

MSC Class: 05C15

Journal ref: SIAM Journal on Discrete Math. Vol. 31(3), 2017, pp. 2039-2063

Planar Graphs have Independence Ratio at least 3/13

Authors: Daniel W. Cranston, Landon Rabern

Abstract: The 4 Color Theorem (4CT) implies that every $n$-vertex planar graph has an independent set of size at least $\frac{n}4$; this is best possible, as shown by the disjoint union of many copies of $K_4$. In 1968, Erdős asked whether this bound on independence number could be proved more easily than the full 4CT. In 1976 Albertson showed (independently of the 4CT) that every $n$-vertex planar graph ha… ▽ More The 4 Color Theorem (4CT) implies that every $n$-vertex planar graph has an independent set of size at least $\frac{n}4$; this is best possible, as shown by the disjoint union of many copies of $K_4$. In 1968, Erdős asked whether this bound on independence number could be proved more easily than the full 4CT. In 1976 Albertson showed (independently of the 4CT) that every $n$-vertex planar graph has an independent set of size at least $\frac{2n}9$. Until now, this remained the best bound independent of the 4CT. Our main result improves this bound to $\frac{3n}{13}$. △ Less

Submitted 19 September, 2016; originally announced September 2016.

Comments: 25 pages, 9 figures

MSC Class: 05C10; 05C69

Journal ref: Electronic Journal of Combinatorics. Vol. 23(3), 2016, #P3.45

Edge Lower Bounds for List Critical Graphs, via Discharging

Authors: Daniel W. Cranston, Landon Rabern

Abstract: A graph $G$ is $k$-critical if $G$ is not $(k-1)$-colorable, but every proper subgraph of $G$ is $(k-1)$-colorable. A graph $G$ is $k$-choosable if $G$ has an $L$-coloring from every list assignment $L$ with $|L(v)|=k$ for all $v$, and a graph $G$ is \emph{$k$-list-critical} if $G$ is not $(k-1)$-choosable, but every proper subgraph of $G$ is $(k-1)$-choosable. The problem of bounding (from below)… ▽ More A graph $G$ is $k$-critical if $G$ is not $(k-1)$-colorable, but every proper subgraph of $G$ is $(k-1)$-colorable. A graph $G$ is $k$-choosable if $G$ has an $L$-coloring from every list assignment $L$ with $|L(v)|=k$ for all $v$, and a graph $G$ is \emph{$k$-list-critical} if $G$ is not $(k-1)$-choosable, but every proper subgraph of $G$ is $(k-1)$-choosable. The problem of bounding (from below) the number of edges in a $k$-critical graph has been widely studied, starting with work of Gallai and culminating with the seminal results of Kostochka and Yancey, who essentially solved the problem. In this paper, we improve the best lower bound on the number of edges in a $k$-list-critical graph. Our proof uses the discharging method, which makes it simpler and more modular than previous work in this area. △ Less

Submitted 8 February, 2016; originally announced February 2016.

Comments: 17 pages, 2 figures

MSC Class: 05C15

Journal ref: Combinatorica. Vol. 38(5), October 2018, pp. 1045-1065

Beyond Degree Choosability

Authors: Daniel W. Cranston, Landon Rabern

Abstract: Let $G$ be a connected graph with maximum degree $Δ$. Brooks' theorem states that $G$ has a $Δ$-coloring unless $G$ is a complete graph or an odd cycle. A graph $G$ is \emph{degree-choosable} if $G$ can be properly colored from its lists whenever each vertex $v$ gets a list of $d(v)$ colors. In the context of list coloring, Brooks' theorem can be strengthened to the following. Every connected grap… ▽ More Let $G$ be a connected graph with maximum degree $Δ$. Brooks' theorem states that $G$ has a $Δ$-coloring unless $G$ is a complete graph or an odd cycle. A graph $G$ is \emph{degree-choosable} if $G$ can be properly colored from its lists whenever each vertex $v$ gets a list of $d(v)$ colors. In the context of list coloring, Brooks' theorem can be strengthened to the following. Every connected graph $G$ is degree-choosable unless each block of $G$ is a complete graph or an odd cycle; such a graph $G$ is a \emph{Gallai tree}. This degree-choosability result was further strengthened to Alon--Tarsi orientations; these are orientations of $G$ in which the number of spanning Eulerian subgraphs with an even number of edges differs from the number with an odd number of edges. A graph $G$ is \emph{degree-AT} if $G$ has an Alon--Tarsi orientation in which each vertex has indegree at least 1. Alon and Tarsi showed that if $G$ is degree-AT, then $G$ is also degree-choosable. Hladky, Kral, and Schauz showed that a connected graph is degree-AT if and only if it is not a Gallai tree. In this paper, we consider pairs $(G,x)$ where $G$ is a connected graph and $x$ is some specified vertex in $V(G)$. We characterize pairs such that $G$ has no Alon--Tarsi orientation in which each vertex has indegree at least 1 and $x$ has indegree at least 2. When $G$ is 2-connected, the characterization is simple to state. △ Less

Submitted 1 November, 2015; originally announced November 2015.

Comments: 14 pages, 4 figures

MSC Class: 05C15

Journal ref: Electronic Journal of Combinatorics. Vol. 24(3), 2017, #P3.29

Modified Linear Programming and Class 0 Bounds for Graph Pebbling

Authors: Daniel W. Cranston, Luke Postle, Chenxiao Xue, Carl Yerger

Abstract: Given a configuration of pebbles on the vertices of a connected graph $G$, a \emph{pebbling move} removes two pebbles from some vertex and places one pebble on an adjacent vertex. The \emph{pebbling number} of a graph $G$ is the smallest integer $k$ such that for each vertex $v$ and each configuration of $k$ pebbles on $G$ there is a sequence of pebbling moves that places at least one pebble on… ▽ More Given a configuration of pebbles on the vertices of a connected graph $G$, a \emph{pebbling move} removes two pebbles from some vertex and places one pebble on an adjacent vertex. The \emph{pebbling number} of a graph $G$ is the smallest integer $k$ such that for each vertex $v$ and each configuration of $k$ pebbles on $G$ there is a sequence of pebbling moves that places at least one pebble on $v$. First, we improve on results of Hurlbert, who introduced a linear optimization technique for graph pebbling. In particular, we use a different set of weight functions, based on graphs more general than trees. We apply this new idea to some graphs from Hurlbert's paper to give improved bounds on their pebbling numbers. Second, we investigate the structure of Class 0 graphs with few edges. We show that every $n$-vertex Class 0 graph has at least $\frac53n - \frac{11}3$ edges. This disproves a conjecture of Blasiak et al. For diameter 2 graphs, we strengthen this lower bound to $2n - 5$, which is best possible. Further, we characterize the graphs where the bound holds with equality and extend the argument to obtain an identical bound for diameter 2 graphs with no cut-vertex. △ Less

Submitted 28 August, 2015; originally announced August 2015.

Comments: 19 pages, 8 figures

Journal ref: J. Combinatorial Optimization. 34(1), July 2017, pp. 114-132

Planar Graphs of Girth at least Five are Square $(Δ+ 2)$-Choosable

Authors: Marthe Bonamy, Daniel W. Cranston, Luke Postle

Abstract: We prove a conjecture of Dvořák, Král, Nejedlý, and Škrekovski that planar graphs of girth at least five are square $(Δ+2)$-colorable for large enough $Δ$. In fact, we prove the stronger statement that such graphs are square $(Δ+2)$-choosable and even square $(Δ+2)$-paintable. We prove a conjecture of Dvořák, Král, Nejedlý, and Škrekovski that planar graphs of girth at least five are square $(Δ+2)$-colorable for large enough $Δ$. In fact, we prove the stronger statement that such graphs are square $(Δ+2)$-choosable and even square $(Δ+2)$-paintable. △ Less

Submitted 21 June, 2018; v1 submitted 14 August, 2015; originally announced August 2015.

Comments: 22 pages, 7 figures; this version incorporates reviewer feedback: fixed and rewrote proof of Lemma 3.5, expanded Section 4; to appear in J. Combin. Theory Ser. B

Journal ref: Journal of Combinatorial Theory, Series B. Vol. 134, 2019, pp. 218-238

List-coloring claw-free graphs with $Δ$-1 colors

Authors: Daniel W. Cranston, Landon Rabern

Abstract: We prove that if $G$ is a quasi-line graph with $Δ(G)>ω(G)$ and $Δ(G)\ge 69$, then $χ_{OL}(G)\le Δ(G)-1$. Together with our previous work, this implies that if $G$ is a claw-free graph with $Δ(G)>ω(G)$ and $Δ(G)\ge 69$, then $χ_{\ell}(G)\le Δ(G)-1$. We prove that if $G$ is a quasi-line graph with $Δ(G)>ω(G)$ and $Δ(G)\ge 69$, then $χ_{OL}(G)\le Δ(G)-1$. Together with our previous work, this implies that if $G$ is a claw-free graph with $Δ(G)>ω(G)$ and $Δ(G)\ge 69$, then $χ_{\ell}(G)\le Δ(G)-1$. △ Less

Submitted 14 August, 2015; originally announced August 2015.

Comments: 24 pages, 5 figures

Journal ref: SIAM Journal on Discrete Math. Vol. 31(2), 2017, pp. 726-748

Edge-coloring via fixable subgraphs

Authors: Daniel W. Cranston, Landon Rabern

Abstract: Many graph coloring proofs proceed by showing that a minimal counterexample to the theorem being proved cannot contain certain configurations, and then showing that each graph under consideration contains at least one such configuration; these configurations are called \emph{reducible} for that theorem. (A \emph{configuration} is a subgraph $H$, along with specified degrees $d_G(v)$ in the origina… ▽ More Many graph coloring proofs proceed by showing that a minimal counterexample to the theorem being proved cannot contain certain configurations, and then showing that each graph under consideration contains at least one such configuration; these configurations are called \emph{reducible} for that theorem. (A \emph{configuration} is a subgraph $H$, along with specified degrees $d_G(v)$ in the original graph $G$ for each vertex of $H$.) We give a general framework for showing that configurations are reducible for edge-coloring. A particular form of reducibility, called \emph{fixability}, can be considered without reference to a containing graph. This has two key benefits: (i) we can now formulate necessary conditions for fixability, and (ii) the problem of fixability is easy for a computer to solve. The necessary condition of \emph{superabundance} is sufficient for multistars and we conjecture that it is sufficient for trees as well, which would generalize the powerful technique of Tashkinov trees. Via computer, we can generate thousands of reducible configurations, but we have short proofs for only a small fraction of these. The computer can write \LaTeX\ code for its proofs, but they are only marginally enlightening and can run thousands of pages long. We give examples of how to use some of these reducible configurations to prove conjectures on edge-coloring for small maximum degree. Our aims in writing this paper are (i) to provide a common context for a variety of reducible configurations for edge-coloring and (ii) to spur development of methods for humans to understand what the computer already knows. △ Less

Submitted 20 July, 2015; originally announced July 2015.

Comments: 18 pages, 8 figures; 12-page appendix with 39 figures

MSC Class: 05C15

Subcubic edge chromatic critical graphs have many edges

Authors: Daniel W. Cranston, Landon Rabern

Abstract: We consider graphs $G$ with $Δ=3$ such that $χ'(G)=4$ and $χ'(G-e)=3$ for every edge $e$, so-called \emph{critical} graphs. Jakobsen noted that the Petersen graph with a vertex deleted, $P^*$, is such a graph and has average degree only $\frac83$. He showed that every critical graph has average degree at least $\frac83$, and asked if $P^*$ is the only graph where equality holds. A result of Cariol… ▽ More We consider graphs $G$ with $Δ=3$ such that $χ'(G)=4$ and $χ'(G-e)=3$ for every edge $e$, so-called \emph{critical} graphs. Jakobsen noted that the Petersen graph with a vertex deleted, $P^*$, is such a graph and has average degree only $\frac83$. He showed that every critical graph has average degree at least $\frac83$, and asked if $P^*$ is the only graph where equality holds. A result of Cariolaro and Cariolaro shows that this is true. We strengthen this average degree bound further. Our main result is that if $G$ is a subcubic critical graph other than $P^*$, then $G$ has average degree at least $\frac{46}{17}\approx2.706$. This bound is best possible, as shown by the Hajos join of two copies of $P^*$. △ Less

Submitted 15 June, 2018; v1 submitted 13 June, 2015; originally announced June 2015.

Comments: 16 pages, 10 figures; version 2 incorporates referee feedback, which led to improved exposition and a slightly stronger bound

MSC Class: 05C15; 05C35

Journal ref: Journal of Graph Theory. Vol. 86(1), September 2017, pp. 122-136

List-coloring the Squares of Planar Graphs without 4-Cycles and 5-Cycles

Authors: Daniel W. Cranston, Bobby Jaeger

Abstract: Let $G$ be a planar graph without 4-cycles and 5-cycles and with maximum degree $Δ\ge 32$. We prove that $χ_{\ell}(G^2)\le Δ+3$. For arbitrarily large maximum degree $Δ$, there exist planar graphs $G_Δ$ of girth 6 with $χ(G_Δ^2)=Δ+2$. Thus, our bound is within 1 of being optimal. Further, our bound comes from coloring greedily in a good order, so the bound immediately extends to online list-colori… ▽ More Let $G$ be a planar graph without 4-cycles and 5-cycles and with maximum degree $Δ\ge 32$. We prove that $χ_{\ell}(G^2)\le Δ+3$. For arbitrarily large maximum degree $Δ$, there exist planar graphs $G_Δ$ of girth 6 with $χ(G_Δ^2)=Δ+2$. Thus, our bound is within 1 of being optimal. Further, our bound comes from coloring greedily in a good order, so the bound immediately extends to online list-coloring. In addition, we prove bounds for $L(p,q)$-labeling. Specifically, $λ_{2,1}(G)\le Δ+8$ and, more generally, $λ_{p,q}(G)\le (2q-1)Δ+6p-2q-2$, for positive integers $p$ and $q$ with $p\ge q$. Again, these bounds come from a greedy coloring, so they immediately extend to the list-coloring and online list-coloring variants of this problem. △ Less

Submitted 12 May, 2015; originally announced May 2015.

Comments: 15 pages, 12 figures

Journal ref: Journal of Graph Theory. Vol. 85(4), August 2017, pp. 721-737

List-coloring the Square of a Subcubic Graph

Authors: Daniel W. Cranston, Seog-Jin Kim

Abstract: The {\em square} $G^2$ of a graph $G$ is the graph with the same vertex set as $G$ and with two vertices adjacent if their distance in $G$ is at most 2. Thomassen showed that every planar graph $G$ with maximum degree $Δ(G)=3$ satisfies $χ(G^2)\leq 7$. Kostochka and Woodall conjectured that for every graph, the list-chromatic number of $G^2$ equals the chromatic number of $G^2$, that is… ▽ More The {\em square} $G^2$ of a graph $G$ is the graph with the same vertex set as $G$ and with two vertices adjacent if their distance in $G$ is at most 2. Thomassen showed that every planar graph $G$ with maximum degree $Δ(G)=3$ satisfies $χ(G^2)\leq 7$. Kostochka and Woodall conjectured that for every graph, the list-chromatic number of $G^2$ equals the chromatic number of $G^2$, that is $χ_l(G^2)=χ(G^2)$ for all $G$. If true, this conjecture (together with Thomassen's result) implies that every planar graph $G$ with $Δ(G)=3$ satisfies $χ_l(G^2)\leq 7$. We prove that every connected graph (not necessarily planar) with $Δ(G)=3$ other than the Petersen graph satisfies $χ_l(G^2)\leq 8$ (and this is best possible). In addition, we show that if $G$ is a planar graph with $Δ(G)=3$ and girth $g(G)\geq 7$, then $χ_l(G^2)\leq 7$. Dvořák, Škrekovski, and Tancer showed that if $G$ is a planar graph with $Δ(G) = 3$ and girth $g(G) \geq 10$, then $χ_l(G^2)\leq 6$. We improve the girth bound to show that if $G$ is a planar graph with $Δ(G)=3$ and $g(G) \geq 9$, then $χ_l(G^2) \leq 6$. All of our proofs can be easily translated into linear-time coloring algorithms. △ Less

Submitted 28 February, 2015; originally announced March 2015.

Comments: This is the accepted version of the journal paper referenced below, which has been published in final form at http://onlinelibrary.wiley.com/doi/10.1002/jgt.20273/abstract. The abstract incorrectly stated that Thomassen solved Wegner's Conjecture for $Δ(G)=3$; however, all of our results are correct

MSC Class: 05C15

Journal ref: J. Graph Theory 57 (2008), no. 1, 65-87