A Sufficient condition for DP-4-colorability

Similar documents
arxiv: v1 [math.co] 25 Dec 2017

DP-4-COLORABILITY OF PLANAR GRAPHS WITHOUT GIVEN TWO ADJACENT CYCLES

On DP-coloring of graphs and multigraphs

arxiv: v1 [math.co] 7 Nov 2018

Injective colorings of sparse graphs

List-coloring the Square of a Subcubic Graph

Injective colorings of sparse graphs

arxiv: v1 [math.co] 11 Apr 2018

Circular choosability of graphs

3-choosability of triangle-free planar graphs with constraint on 4-cycles

3-CHOOSABILITY OF TRIANGLE-FREE PLANAR GRAPHS WITH CONSTRAINT ON 4-CYCLES

Choice Numbers of Multi-Bridge Graphs

arxiv: v2 [math.co] 10 May 2016

3-choosability of triangle-free planar graphs with constraints on 4-cycles

FIVE-LIST-COLORING GRAPHS ON SURFACES I. TWO LISTS OF SIZE TWO IN PLANAR GRAPHS

Coloring. Basics. A k-coloring of a loopless graph G is a function f : V (G) S where S = k (often S = [k]).

Dirac s Map-Color Theorem for Choosability

On uniquely 3-colorable plane graphs without prescribed adjacent faces 1

On the oriented chromatic index of oriented graphs

Equitable list colorings of planar graphs without short cycles

IMA Preprint Series # 2385

Discrete Mathematics

Equitable coloring of random graphs

ON TWO QUESTIONS ABOUT CIRCULAR CHOOSABILITY

Fractional and circular 1-defective colorings of outerplanar graphs

Coloring problems in graph theory

Circular chromatic number and Mycielski construction

A note on the acyclic 3-choosability of some planar graphs

Strong oriented chromatic number of planar graphs without short cycles

Discrete Mathematics. The average degree of a multigraph critical with respect to edge or total choosability

3-coloring triangle-free planar graphs with a precolored 8-cycle

Near-colorings and Steinberg conjecture

Chromatic Ramsey number of acyclic hypergraphs

Neighbor Sum Distinguishing Total Colorings of Triangle Free Planar Graphs

Painting Squares in 2 1 Shades

Neighbor-distinguishing k-tuple edge-colorings of graphs

Packing chromatic vertex-critical graphs

On Adjacent Vertex-distinguishing Total Chromatic Number of Generalized Mycielski Graphs. Enqiang Zhu*, Chanjuan Liu and Jin Xu

arxiv: v1 [math.co] 15 Sep 2015

Homomorphisms of sparse graphs to small graphs

Uniquely 2-list colorable graphs

Steinberg s Conjecture

Homomorphism Bounded Classes of Graphs

ADJACENT VERTEX DISTINGUISHING TOTAL COLORING OF GRAPHS WITH LOWER AVERAGE DEGREE. Weifan Wang and Yiqiao Wang

On the Dynamic Chromatic Number of Graphs

{2, 2}-Extendability of Planar Graphs

Graphs of Degree 4 are 5-Edge-Choosable

Combined degree and connectivity conditions for H-linked graphs

1-factor and cycle covers of cubic graphs

On a list-coloring problem

5-list-coloring planar graphs with distant precolored vertices

Equitable Colorings of Corona Multiproducts of Graphs

Circular Chromatic Numbers of Some Reduced Kneser Graphs

Ore s Conjecture on color-critical graphs is almost true

Improved lower bounds on the number of edges in list critical and online list critical graphs

5-list-coloring planar graphs with distant precolored vertices

Characteristic flows on signed graphs and short circuit covers

Chromatic numbers of 6-regular graphs on the Klein bottle

On Brooks Coloring Theorem

Coloring the Square of Planar Graphs Without 4-Cycles or 5-Cycles

List backbone coloring of paths and cycles

Extremal Restraints for Graph Colourings

DEGENERATE AND STAR COLORINGSOFGRAPHSON SURFACES

Independence in Function Graphs

Group Colorability of Graphs

A simplified discharging proof of Grötzsch theorem

An asymptotically tight bound on the adaptable chromatic number

GRAPH CHOOSABILITY AND DOUBLE LIST COLORABILITY. Hamid-Reza Fanaï

Some results on incidence coloring, star arboricity and domination number

arxiv: v1 [math.co] 21 Jan 2016

Counterexamples to the List Square Coloring Conjecture

Vertex-Coloring Edge-Weighting of Bipartite Graphs with Two Edge Weights

Decomposing plane cubic graphs

Adjacent Vertex Distinguishing Colorings of Graphs

On colorability of graphs with forbidden minors along paths and circuits

On the acyclic chromatic number of Hamming graphs

Antipodal Labelings for Cycles

FIVE-LIST-COLORING GRAPHS ON SURFACES II. A LINEAR BOUND FOR CRITICAL GRAPHS IN A DISK

Fine structure of 4-critical triangle-free graphs III. General surfaces

Acyclic and Oriented Chromatic Numbers of Graphs

Triangle-free graphs of tree-width t are (t + 3)/2 -colorable

Acyclic edge coloring of planar graphs with Delta colors

Induced subgraphs of graphs with large chromatic number. IX. Rainbow paths

On the chromatic number of the lexicographic product and the Cartesian sum of graphs

A counter-example to Voloshin s hypergraph co-perfectness conjecture

Fine Structure of 4-Critical Triangle-Free Graphs II. Planar Triangle-Free Graphs with Two Precolored 4-Cycles

Strong edge-colouring of sparse planar graphs

T -choosability in graphs

Disjoint Subgraphs in Sparse Graphs 1

arxiv: v3 [math.co] 10 Mar 2018

Chromatic number, clique subdivisions, and the conjectures of Hajós and Erdős-Fajtlowicz

Study of κ(d) for D = {2, 3, x, y}

PRECISE UPPER BOUND FOR THE STRONG EDGE CHROMATIC NUMBER OF SPARSE PLANAR GRAPHS

Reflection on Rainbow Neighbourhood Numbers

Graph coloring, perfect graphs

Bulletin of the Iranian Mathematical Society

Oriented vertex and arc colorings of outerplanar graphs

arxiv: v3 [math.co] 25 Apr 2016

EQUITABLE COLORING OF SPARSE PLANAR GRAPHS

Fine structure of 4-critical triangle-free graphs III. General surfaces

Transcription:

A Sufficient condition for DP-4-colorability Seog-Jin Kim and Kenta Ozeki August 21, 2017 Abstract DP-coloring of a simple graph is a generalization of list coloring, and also a generalization of signed coloring of signed graphs. It is known that for each k {3, 4, 5, 6}, every planar graph without C k is 4-choosable. Furthermore, Jin, Kang, and Steffen [9] showed that for each k {3, 4, 5, 6}, every signed planar graph without C k is signed 4-choosable. In this paper, we show that for each k {3, 4, 5, 6}, every planar graph without C k is 4-DP-colorable, which is an extension of the above results. Keywords: Coloring, list-coloring, DP-coloring, Forbidding 1 Introduction 1.1 List-coloring We denote by [k] the set of integers from 1 to k. A k-coloring of a graph G is a mapping f : V (G) [k] such that f(u) f(v) for any uv E(G). (In this paper, we always use the term coloring as a proper coloring.) The minimum integer k such that G admits a k-coloring is called the chromatic number of G, and denoted by χ(g). A list assignment L : V (G) 2 [k] of G is a mapping that assigns a set of colors to each vertex. A coloring f : V (G) Y where Y is a set of colors is called an L-coloring of G if f(u) L(u) for any u V (G). A list assignment L is called a t-list assignment if L(u) t for any u V (G). A graph G is said to be t-choosable if G admits an L-coloring for each t-list assignment L, and the list-chromatic number or the choice number of G, denoted by χ l (G), is the minimum integer t such that G is t-choosable. Since a k-coloring corresponds to an L-coloring with L(u) = [k] for any u V (G), we have χ(g) χ l (G). It is well-known that there are infinitely many graphs G satisfying χ(g) < χ l (G), and the gap can be arbitrary large. Thomassen [15] showed that every planar graph is 5-choosable, and Voigt [16] showed that there are planar graphs which are not 4-choosable. This shows a gap from the Four color theorem. Thus finding sufficient conditions for planar graphs to be 4-choosable is an interesting problem. Lam, Xu, and Liu [11] showed that every planar graph without C 4 is 4-choosable. For each k {3, 5, 6}, it is known that if G is a planar graph without C k, then G is 3-degenerate [8, 12] (see Lemma 7 in Section 2), where a graph is said to be l-degenerate if its arbitrary subgraph contains a vertex of degree at most l. Thus we can conclude that for each k {3, 5, 6}, if Department of Mathematics Education, Konkuk University, Korea. e-mail: skim12@konkuk.ac.kr This research was supported by Basic Science Research Program through the National Research Foundation of Korea(NRF) funded by the Ministry of Education(NRF-2015R1D1A1A01057008). Faculty of Environment and Information Sciences, Yokohama National University, Japan. e-mail: ozeki-kenta-xr@ynu.ac.jp 1

G is a planar graph without C k, then χ l (G) 4. Thus with the result in [11], we have the following. Theorem 1 For each k {3, 4, 5, 6}, if G is a planar graph without C k, then χ l (G) 4. Notice that for k {3, 4, 5}, Theorem 1 is best possible. That is, for k {3, 4, 5}, there is a planar graph G without C k but with χ l (G) 4. See [16] for k = 3 and [17] for k = 4, 5. 1.2 Singed colorings of signed graphs A signed graph (G, σ) is a pair of a graph G and a mapping σ : E(G) {1, 1}, which is called a sign. For an integer k, let { {0, ±1,..., ±r} if k is an odd integer with k = 2r + 1, N k = {±1,..., ±r} if k is an even integer with k = 2r. Note that N k = k. A signed k-coloring of a signed graph (G, σ) is a mapping f : V (G) N k such that f(u) σ(uv)f(v) for each uv E(G). The minimum integer k such that a signed graph (G, σ) admits a signed k-coloring is called the signed chromatic number of (G, σ). This was first defined by Zaslavsky [18] with slightly different form, and then modified by Máčajová, Raspaud, and Škoviera [13] to the above form so that it would be a natural extension of an ordinally coloring. Now we define signed list-colorings of signed graphs. Given a signed graph (G, σ), a listassignment of (G, σ) is a function L defined on V (G) such that L(v) Z for each v V (G). A signed L-coloring ϕ of (G, σ) is a signed coloring such that ϕ(v) L(v) for each v V (G). A signed graph (G, σ) is called signed k-choosable if it admits an L-coloring for every listassignment L with L(v) Z and L(v) k for each v V (G). The signed choice number of (G, σ) is the minimum number k such that (G, σ) is signed k-choosable. Note that if σ(uv) = +1 for all edge uv in E(G), then the signed choice number of (G, σ) is the same as the choice number of the graph G. Jin, Kang, and Steffen [9] showed the following theorem. Theorem 2 [9] For each k {3, 4, 5, 6}, every signed planar graph without C k is signed 4-choosable. Note that Theorem 2 is an extension of Theorem 1. We will give a further extension of Theorem 2, together with a proof different from that in [9]. 1.3 DP-coloring In order to consider some problems on list chromatic number, Dvořák and Postle [7] considered a generalization of a list-coloring. They call it a correspondence coloring, but we call it a DP-coloring, following Bernshteyn, Kostochka and Pron [5]. Let G be a graph and L be a list assignment of G. For each edge uv in G, let M L,uv be a matching between {u} L(u) and {v} L(v). With abuse of notation, we sometimes regard M L,uv as a bipartite graph between {u} L(u) and {v} L(v) of maximum degree at most 1. Definition 3 Let M L = { M L,uv : uv E(G) }, which is called a matching assignment over L. Then a graph H is said to be the M L -cover of G if it satisfies all the following conditions: (i) The vertex set of H is u V (G) ( {u} L(u) ) = { (u, c) : u V (G), c L(u) }. 2

(ii) For any u V (G), the set {u} L(u) induces a clique in H. (iii) For any edge uv in G, {u} L(u) and {v} L(v) induce in H the graph obtained from M L,uv by adding those edges defined in (ii). Definition 4 An M L -coloring of G is an independent set I in the M L -cover with I = V (G). The DP-chromatic number, denoted by χ DP (G), is the minimum integer t such that G admits an M L -coloring for each t-list assignment L and each matching assignment M L over L. We say that a graph G is DP-k-colorable if χ DP (G) k. Note that when G is a simple graph and M L,uv = { (u, c)(v, c) : c L(u) L(v) } for any edge uv in G, then G admits an L-coloring if and only if G admits an M L -coloring. This implies χ l (G) χ DP (G). Dvořák and Postle [7] showed that χ DP (G) 5 if G is a planar graph, and χ DP (G) 3 if G is a planar graph with girth at least 5. Also, Dvořák and Postle [7] observed that χ DP (G) k + 1 if G is k-degenerate. There are infinitely many simple graphs G satisfying χ l (G) < χ DP (G): It is known that χ(c n ) = χ l (C n ) = 2 < 3 = χ DP (C n ) for each even integer n 4. Furthermore, the gap χ DP (G) χ l (G) can be arbitrary large. For example, Bernshteyn [2] showed that for a simple graph G with average degree d, we have χ DP (G) = Ω(d/ log d), while Alon [1] proved that χ l (G) = Ω(log d) and the bound is sharp. See [4] for more detailed results. Recently, there are some works on DP-colorings; see [2, 3, 6, 7, 10]. 1.4 DP-coloring vs signed coloring We here point out that a signed coloring of a signed graph (G, σ) is a special case of a DPcoloring of G. Let L be the list assignment of G with L(u) = N k for any vertex u in G. Then for an edge uv in G, let {{ } (u, i)(v, i) : i Nk if σ(uv) = 1, M L,uv = { } (u, i)(v, i) : i Nk if σ(uv) = 1. With this definition, it is easy to see that the signed graph (G, σ) admits a signed k-coloring if and only if the graph G admits an M L -coloring. Furthermore, we see the similar relation for signed list-coloring. Thus we have the following property. Proposition 5 If G is DP-k-colorable, then the signed graph (G, σ) is signed k-choosable for any sign function σ. In this paper we prove the following theorem. Theorem 6 For each k {3, 4, 5, 6}, every planar graph without C k is DP-4-colorable. Note that Theorem 6 is an extension of Theorems 1 and Theorem 2 (by Proposition 5). 2 Proof of Theorem 6 We first show the case when k {3, 5, 6}. In this case, we can easily prove Theorem 6 by using some known results. Lemma 7 For each k {3, 5, 6}, if G is a planar graph without C k, then G is 3-degenerate. 3

Proof. When G has no C 3, then the girth of G is at least 4. Thus, Euler formula directly proves that G is 3-degenerate. Lih and Wang [12] showed that every planar graph without C 5 is 3-degenerate. And it was showed in [8] that every planar graph without C 6 is also 3-degenerate. Corollary 8 For each k {3, 5, 6}, if G is a planar graph without C k, then G is DP-4- colorable. Thus remaining case is when G is a planar graph without C 4. Such graphs are not necessarily 3-degenerate (e.g. consider the line graph of dodecahedral graph), but we can instead use the following Lemma appeared in [11]. An F5 3 -subgraph H of a graph G is a subgraph isomorphic to the graph consisting of a 5-cycle and a 3-cycle that share an edge and satisfying d G (v) = 4 for all vertex v. That is, V (F5 3) = {v 1, v 2, v 3, v 4, v 5, v 6 } and v 1, v 2, v 3, v 4, v 5, v 6 form the cycle C 6 with a chord v 2 v 6 and d G (v i ) = 4 for all 1 i 6. Lemma 9 (Lemma 1 in [11]) If G is a planar graph without C 4, then G contains an F 3 5 - subgraph. Now we are ready to prove the main theorem. (Proof of Theorem 6) Let G be a minimal counterexample to Theorem 6. That is, G is a planar graph without C 4 and G does not admit a DP-4-coloring, but any proper subgraph of G admits a DP-4-coloring. Let L be a list assignment of G, and let M L be a matching assignment over L. By Lemma 9, G contains an F5 3-subgraph H. Let G := G V (H) and L (v) = L(v) for v V (G ). By the minimality of G, G admits an M L -coloring. Thus there is an independent set I in the M L -cover with I = V (G) V (F5 3) = V (G) 6. For v V (H) = {v 1, v 2, v 3, v 4, v 5, v 6 }, we define L { (v) = L(v) \ c L(v) : (u, c)(v, c ) M L,uv and (u, c) I }. uv E(G) Then since L(v i ) 4 = d(v i ) for all i, we have that L (v 2 ) 3, L (v 6 ) 3, and L (v j ) 2 for j {1, 3, 4, 5}. We denote by M L the restriction of M L into H and L. Claim 1 The M L -cover has an independent set I with I = 6 = V (F 3 5 ). Proof. Since L (v 2 ) 3 and L (v 1 ) 2, we can color c L (v 2 ) such that L (v 1 ) \ {c : (v 2, c)(v 1, c ) M L } has at least two available colors. By coloring greedily in order v 3, v 4, v 5, v 6, v 1, we can find an independent set I with I = 6. This completes the proof of Claim 1. By Claim 1, the M L -cover has an independent set I = I I with I = I + I = V (G), which is a contradiction for the choice of G. This completes the proof of Theorem 6. Acknowledgment. We thank Professor Alexandr Kostochka for helpful comments. References [1] N. Alon, Degrees and choice numbers, Random Structures & Algorithms 16 (2000), 364 368. 4

[2] A. Bernshteyn, The asymptotic behavior of the correspondence chromatic number, Discrete Math. 339 (2016), 2680 2692. [3] A. Bernshteyn, and A. Kostochka, Sharp Dirac s theorem for DP-critical graphs, arxiv:1609.09122, preprint, 2016. [4] A. Bernshteyn, and A. Kostochka, On differences between DP-coloring and list coloring, arxiv:1705.04883, preprint, 2017. [5] A. Bernshteyn, A. Kostochka, and S. Pron, On DP-coloring of graphs and multigraphs Sib. Math.l J. 58 (2017), 28 36. [6] A. Bernshteyn, A. Kostochka, and X. Zhu, DP-colorings of graphs with high chromatic number, arxiv:1703.02174, preprint, 2017. [7] Z. Dvořák, and L. Postle, Correspondence coloring and its application to list-coloring planar graphs without cycles of lengths 4 to 8 arxiv:1508.03437, preprint, 2016. [8] G. Fijavz, M.Juvan, B. Mohar, and R. Skrekovski, Planar Graphs Without Cycles of Specific Lengths. Eur. J. Comb. 23(4), (2002), 377 388. [9] L. Jin, Y. Kang, and E. Steffen, Choosability in signed planar graphs, Europ. J. Combin. 52 (2016), 234 243. [10] S.J. Kim, and K. Ozeki, A note on a Brooks type theorem for DP-coloring, submitted. [11] P. C.-B. Lam, B. Xu, and J. Liu, The 4-Choosability of Plane Graphs without 4-Cycles. J. Comb. Theory, Ser. B 76(1) (1999), 117 126. [12] W.-F. Wang and K.-W. Lih, Choosability and edge choosability of planar graphs without five cycles. Appl. Math. Lett. 15(5) (2002), 561 565. [13] E. Máčajová, A. Raspaud, and M. Škoviera, The chromatic number of a signed graph, the Electron. J Combin. 23 (2016), #P1.14. [14] M. Voigt, List colourings of planar graphs. Discrete Mathematics 120 (1993), 215 219. [15] C. Thomassen, Every Planar Graph Is 5-Choosable. J. Comb. Theory, Ser. B 62(1) (1994), 180 181. [16] M. Voigt, A not 3-choosable planar graph without 3-cycles. Discrete Math. 146 (1995), 325 328. [17] M. Voigt, A non-3-choosable planar graph without cycles of length 4 and 5. Discrete Math. 146 (1995), 325 328. [18] T. Zaslavsky, Signed graph coloring, Discrete Math. 39 (1982), 215 228. 5