Sparse critical graphs for defective $(1,3)$-coloring

Alexandr Kostochka,Jingwei Xu,Xuding Zhu

2023-10-13

Abstract:A graph $G$ is $(1,3)$-colorable if its vertices can be partitioned into subsets $V_1$ and $V_2$ so that every vertex in $G[V_1]$ has degree at most $1$ and every vertex in $G[V_2]$ has degree at most $3$. We prove that every graph with maximum average degree at most 28/9 is $(1, 3)$-colorable.

Combinatorics

What problem does this paper attempt to address?

Sparse critical graphs for defective DP-colorings

Alexandr Kostochka,Jingwei Xu

DOI: https://doi.org/10.1016/j.disc.2024.113899

IF: 0.961

2024-02-04

Discrete Mathematics

Abstract:An interesting generalization of list coloring is so called DP-coloring (named after Dvořák and Postle). We study (i,j) -defective DP-colorings of simple graphs. Define gDP(i,j,n) to be the minimum number of edges in an n -vertex DP- (i,j) -critical graph. We prove sharp bounds on gDP(i,j,n) for i=1,2 and j≥2i for infinitely many n .

mathematics
Majority Colorings of Sparse Digraphs

Michael Anastos,Ander Lamaison,Raphael Steiner,Tibor Szabó

DOI: https://doi.org/10.37236/10067

2021-06-04

The Electronic Journal of Combinatorics

Abstract:A majority coloring of a directed graph is a vertex-coloring in which every vertex has the same color as at most half of its out-neighbors. Kreutzer, Oum, Seymour, van der Zypen and Wood proved that every digraph has a majority $4$-coloring and conjectured that every digraph admits a majority $3$-coloring. They observed that the Local Lemma implies the conjecture for digraphs of large enough minimum out-degree if, crucially, the maximum in-degree is bounded by a(n exponential) function of the minimum out-degree. Our goal in this paper is to develop alternative methods that allow the verification of the conjecture for natural, broad digraph classes, without any restriction on the in-degrees. Among others, we prove the conjecture 1) for digraphs with chromatic number at most $6$ or dichromatic number at most $3$, and thus for all planar digraphs; and 2) for digraphs with maximum out-degree at most $4$. The benchmark case of $r$-regular digraphs remains open for $r \in [5,143]$. Our inductive proofs depend on loaded inductive statements about precoloring extensions of list-colorings. This approach also gives rise to stronger conclusions, involving the choosability version of majority coloring. We also give further evidence towards the existence of majority-$3$-colorings by showing that every digraph has a fractional majority 3.9602-coloring. Moreover we show that every digraph with large enough minimum out-degree has a fractional majority $(2+\varepsilon)$-coloring.
Defective Coloring is Perfect for Minors

Chun-Hung Liu

DOI: https://doi.org/10.1007/s00493-024-00081-8

2024-02-22

COMBINATORICA

Abstract:The defective chromatic number of a graph class is the infimum k such that there exists an integer d such that every graph in this class can be partitioned into at most k induced subgraphs with maximum degree at most d . Finding the defective chromatic number is a fundamental graph partitioning problem and received attention recently partially due to Hadwiger's conjecture about coloring minor-closed families. In this paper, we prove that the defective chromatic number of any minor-closed family equals the simple lower bound obtained by the standard construction, confirming a conjecture of Ossona de Mendez, Oum, and Wood. This result provides the optimal list of unavoidable finite minors for infinite graphs that cannot be partitioned into a fixed finite number of induced subgraphs with uniformly bounded maximum degree. As corollaries about clustered coloring, we obtain a linear relation between the clustered chromatic number of any minor-closed family and the tree-depth of its forbidden minors, improving an earlier exponential bound proved by Norin, Scott, Seymour, and Wood and confirming the planar case of their conjecture.

mathematics
Defective and Clustered Graph Colouring

David R. Wood

DOI: https://doi.org/10.48550/arXiv.1803.07694

2018-03-21

Abstract:Consider the following two ways to colour the vertices of a graph where the requirement that adjacent vertices get distinct colours is relaxed. A colouring has "defect" $d$ if each monochromatic component has maximum degree at most $d$. A colouring has "clustering" $c$ if each monochromatic component has at most $c$ vertices. This paper surveys research on these types of colourings, where the first priority is to minimise the number of colours, with small defect or small clustering as a secondary goal. List colouring variants are also considered. The following graph classes are studied: outerplanar graphs, planar graphs, graphs embeddable in surfaces, graphs with given maximum degree, graphs with given maximum average degree, graphs excluding a given subgraph, graphs with linear crossing number, linklessly or knotlessly embeddable graphs, graphs with given Colin de Verdière parameter, graphs with given circumference, graphs excluding a fixed graph as an immersion, graphs with given thickness, graphs with given stack- or queue-number, graphs excluding $K_t$ as a minor, graphs excluding $K_{s,t}$ as a minor, and graphs excluding an arbitrary graph $H$ as a minor. Several open problems are discussed.

Combinatorics
Defective correspondence coloring of planar graphs

James Anderson

2024-11-23

Abstract:Defective coloring (also known as relaxed or improper coloring) is a generalization of proper coloring defined as follows: for $d \in \mathbb{N}$, a coloring of a graph is $d$-defective if every vertex is colored the same as at most $d$ of its neighbors. We investigate defective coloring of planar graphs in the context of correspondence coloring, a generalization of list coloring introduced by Dvořák and Postle. First we show there exists a planar graph that is not $3$-defective $3$-correspondable, strengthening a recent result of Cho, Choi, Kim, Park, Shan, and Zhu. Then we construct a planar graph that is $1$-defective $3$-correspondable but not $4$-correspondable, thereby extending a recent result of Ma, Xu, and Zhu from list coloring to correspondence coloring. Finally we show all outerplanar graphs are $3$-defective $2$-correspondence colorable, with 3 defects being best possible.

Combinatorics
Sufficient Conditions for Properly Colored C3’s and C4’s in Edge-Colored …

Tingting Han,Hajo Broersma,Yandong Bai,Shenggui Zhang

DOI: https://doi.org/10.1016/j.dam.2022.12.020

IF: 1.254

2023-01-01

Discrete Applied Mathematics

Abstract:For an edge-colored graph, its minimum color degree is the minimum number of distinct colors appearing on the edges incident with a vertex, and its maximum monochromatic degree is the maximum number of edges with the same color incident with a vertex. A cycle in an edge-colored graph is called properly colored if any two consecutive edges of the cycle have distinct colors. We investigate sufficient conditions in terms of the minimum color degree and maximum monochromatic degree for the existence of short properly colored cycles in edge-colored complete graphs. In particular, we obtain sharp results for the existence of properly colored C4's, and we characterize the extremal graphs for several known results on the existence of properly colored triangles. Moreover, we obtain sharp sufficient conditions guaranteeing that every vertex is contained in a properly colored triangle or C4, respectively.
Equitable coloring of sparse graphs

Weichan Liu,Xin Zhang

2024-11-30

Abstract:An equitable coloring of a graph is a proper coloring where the sizes of any two different color classes do not differ by more than one. We use $\mathcal{G}_{m_1, m_2}$ to represent the class of graphs $G$ that satisfy the following conditions: for any subgraph $H$ of $G$, the inequality $e(H) \leq m_1 v(H)$ holds, and for any bipartite subgraph $H$ of $G$, the inequality $e(H) \leq m_2 v(H)$ holds. A graph $G$ is $\alpha$-sparse if $e(H) \leq \alpha v(H)$ for every subgraph $H$ of $G$. In this paper, we show that there is a small constant $r_0\in [4m_1, 6.21m_1]$ solely determined by both $m_1$ and $m_2$, such that for any graph $G\in \mathcal{G}_{m_1, m_2}$ (where the ratio $m_1/m_2$ is between $1$ and $1.8$ inclusive) with a maximum degree $\Delta(G)\geq r_0$, an equitable $r$-coloring is guaranteed for all $r\geq \Delta(G)$. By setting $m_1=m_2=\alpha$ in this result, we conclude that every $\alpha$-sparse graph $G$ has an equitable $r$-coloring for every $r\geq \Delta(G)$ provided $\Delta(G)\geq 6.21\alpha$. Consequently, the celebrated Equitable $\Delta$-Color Conjecture and Chen-Lih-Wu Conjecture are verified for sparse graphs with large maximum degree. The local crossing number of a drawing of a graph is the largest number of crossings on a single edge, and the local crossing number of that graph is the minimum of such values among all possible drawings. As an interesting application of our main result, we confirm Equitable $\Delta$-Color Conjecture and Chen-Lih-Wu Conjecture for non-planar graphs $G$ with local crossing number not exceeding $\Delta(G)^2 / 383$.

Combinatorics,Discrete Mathematics
On Fall-Colorable Graphs

Shaojun Wang,Fei Wen,Guoxing Wang,Zepeng Li

DOI: https://doi.org/10.3390/math12071105

IF: 2.4

2024-04-07

Mathematics

Abstract:A fall k-coloring of a graph G is a proper k-coloring of G such that each vertex has at least one neighbor in each of the other color classes. A graph G which has a fall k-coloring is equivalent to having a partition of the vertex set V(G) in k independent dominating sets. In this paper, we first prove that for any fall k-colorable graph G with order n, the number of edges of G is at least (n(k−1)+r(k−r))/2, where r≡n(modk) and 0≤r≤k−1, and the bound is tight. Then, we obtain that if G is k-colorable (k≥2) and the minimum degree of G is at least k−2k−1n, then G is fall k-colorable and this condition of minimum degree is the best possible. Moreover, we give a simple proof for an NP-hard result of determining whether a graph is fall k-colorable, where k≥3. Finally, we show that there exist an infinite family of fall k-colorable planar graphs for k∈{5,6}.

mathematics
Proper conflict-free coloring of sparse graphs

Eun-Kyung Cho,Ilkyoo Choi,Hyemin Kwon,Boram Park

DOI: https://doi.org/10.48550/arXiv.2203.16390

2022-04-12

Abstract:A {\it proper conflict-free $c$-coloring} of a graph is a proper $c$-coloring such that each non-isolated vertex has a color appearing exactly once on its neighborhood. This notion was formally introduced by Fabrici et al., who proved that planar graphs have a proper conflict-free 8-coloring and constructed a planar graph with no proper conflict-free 5-coloring. Caro, Petruševski, and Škrekovski investigated this coloring concept further, and in particular studied upper bounds on the maximum average degree that guarantees a proper conflict-free $c$-coloring for $c\in\{4,5,6\}$. Along these lines, we completely determine the threshold on the maximum average degree of a graph $G$, denoted $mad(G)$, that guarantees a proper conflict-free $c$-coloring for all $c$ and also provide tightness examples. Namely, for $c\geq 5$ we prove that a graph $G$ with $mad(G)\leq \frac{4c}{c+2}$ has a proper conflict-free $c$-coloring, unless $G$ contains a $1$-subdivision of the complete graph on $c+1$ vertices. When $c=4$, we show that a graph $G$ with $mad(G)<\frac{12}{5}$ has a proper conflict-free $4$-coloring, unless $G$ contains an induced $5$-cycle. In addition, we show that a planar graph with girth at least 5 has a proper conflict-free $7$-coloring.

Combinatorics
Graphs of maximum average degree less than $\frac {11}{3}$ are flexibly $4$-choosable

Richard Bi,Peter Bradshaw

2024-08-16

Abstract:We consider the flexible list coloring problem, in which we have a graph $G$, a color list assignment $L:V(G) \rightarrow 2^{\mathbb N}$, and a set $U \subseteq V(G)$ of vertices such that each $u \in U$ has a preferred color $p(u) \in L(u)$. Given a constant $\varepsilon > 0$, the problem asks for an $L$-coloring of $G$ in which at least $\varepsilon |U|$ vertices in $U$ receive their preferred color. We use a method of reducible subgraphs to approach this problem. We develop a vertex-partitioning tool that, when used with a new reducible subgraph framework, allows us to define large reducible subgraphs. Using this new tool, we show that if $G$ has maximum average degree less than $\frac{11}{3}$, a list $L(v)$ of size $4$ at each $v \in V(G)$, and a set $U \subseteq V(G)$ of vertices with preferred colors, then there exists an $L$-coloring of $G$ for which at least $2^{-145} |U|$ vertices of $U$ receive their preferred color.

Combinatorics
Neighbor sum distinguishing edge colorings of sparse graphs

Xiaolan Hu,Yaojun Chen,Rong Luo,Zhengke Miao

DOI: https://doi.org/10.1016/j.dam.2015.04.018

IF: 1.254

2015-01-01

Discrete Applied Mathematics

Abstract:We consider proper edge colorings of a graph G using colors of the set {1,…,k}. Such a coloring is called neighbor sum distinguishing if for any uv∈E(G), the sum of colors of the edges incident to u is different from the sum of the colors of the edges incident to v. The smallest value of k in such a coloring of G is denoted by ndiΣ(G). Let mad(G) and Δ(G) denote the maximum average degree and the maximum degree of a graph G, respectively. In this paper we show that, for a graph G without isolated edges, if mad(G)<83, then ndiΣ(G)≤max{Δ(G)+1,7}; and if mad(G)<3, then ndiΣ(G)≤max{Δ(G)+2,7}.
Defective Colouring of Hypergraphs

António Girão,Freddie Illingworth,Alex Scott,David R. Wood

DOI: https://doi.org/10.48550/arXiv.2207.10514

2022-08-16

Abstract:We prove that the vertices of every $(r + 1)$-uniform hypergraph with maximum degree $\Delta$ may be coloured with $c(\frac{\Delta}{d + 1})^{1/r}$ colours such that each vertex is in at most $d$ monochromatic edges. This result, which is best possible up to the value of the constant $c$, generalises the classical result of Erdős and Lovász who proved the $d = 0$ case.

Combinatorics
Packing $(1,1,2,2)$-coloring of some subcubic graphs

Runrun Liu,Xujun Liu,Martin Rolek,Gexin Yu

DOI: https://doi.org/10.48550/arXiv.1911.03824

2019-11-10

Combinatorics

Abstract:For a sequence of non-decreasing positive integers $S = (s_1, \ldots, s_k)$, a packing $S$-coloring is a partition of $V(G)$ into sets $V_1, \ldots, V_k$ such that for each $1\leq i \leq k$ the distance between any two distinct $x,y\in V_i$ is at least $s_i+1$. The smallest $k$ such that $G$ has a packing $(1,2, \ldots, k)$-coloring is called the packing chromatic number of $G$ and is denoted by $\chi_p(G)$. For a graph $G$, let $D(G)$ denote the graph obtained from $G$ by subdividing every edge. The question whether $\chi_p(D(G)) \le 5$ for all subcubic graphs was first asked by Gastineau and Togni and later conjectured by Bresar, Klavzar, Rall and Wash. Gastineau and Togni observed that if one can prove every subcubic graph except the Petersen graph is packing $(1,1,2,2)$-colorable then the conjecture holds. The maximum average degree, mad($G$), is defined to be $\max\{\frac{2|E(H)|}{|V(H)|}: H \subset G\}$. In this paper, we prove that subcubic graphs with $mad(G)<\frac{30}{11}$ are packing $(1,1,2,2)$-colorable. As a corollary, the conjecture of Bresar et al holds for every subcubic graph $G$ with $mad(G)<\frac{30}{11}$.
Better coloring of 3-colorable graphs

Ken-ichi Kawarabayashi,Mikkel Thorup,Hirotaka Yoneda

2024-06-01

Abstract:We consider the problem of coloring a 3-colorable graph in polynomial time using as few colors as possible. This is one of the most challenging problems in graph algorithms. In this paper using Blum's notion of ``progress'', we develop a new combinatorial algorithm for the following: Given any 3-colorable graph with minimum degree $\ds>\sqrt n$, we can, in polynomial time, make progress towards a $k$-coloring for some $k=\sqrt{n/\ds}\cdot n^{o(1)}$. We balance our main result with the best-known semi-definite(SDP) approach which we use for degrees below $n^{0.605073}$. As a result, we show that $\tO(n^{0.19747})$ colors suffice for coloring 3-colorable graphs. This improves on the previous best bound of $\tO(n^{0.19996})$ by Kawarabayashi and Thorup in 2017.

Data Structures and Algorithms,Combinatorics
Defective and Clustered Colouring of Graphs with Given Girth

Marcin Briański,Robert Hickingbotham,David R. Wood

2024-04-23

Abstract:The defective chromatic number of a graph class $\mathcal{G}$ is the minimum integer $k$ such that for some integer $d$, every graph in $\mathcal{G}$ is $k$-colourable such that each monochromatic component has maximum degree at most $d$. Similarly, the clustered chromatic number of a graph class $\mathcal{G}$ is the minimum integer $k$ such that for some integer $c$, every graph in $\mathcal{G}$ is $k$-colourable such that each monochromatic component has at most $c$ vertices. This paper determines or establishes bounds on the defective and clustered chromatic numbers of graphs with given girth in minor-closed classes defined by the following parameters: Hadwiger number, treewidth, pathwidth, treedepth, circumference, and feedback vertex number. One striking result is that for any integer $k$, for the class of triangle-free graphs with treewidth $k$, the defective chromatic number, clustered chromatic number and chromatic number are all equal. The same result holds for graphs with treedepth $k$, and generalises for graphs with no $K_p$ subgraph. We also show, via a result of Kühn and Osthus~[2003], that $K_t$-minor-free graphs with girth $g\geq 5$ are properly $O(t^{c_g})$ colourable, where $c_g\in(0,1)$ with $c_g\to 0$, thus asymptotically improving on Hadwiger's Conjecture.

Combinatorics
Graphs with girth 9 and without longer odd holes are 3-colorable

Yan Wang,Rong Wu

2023-07-04

Abstract:For a number $l\geq 2$, let ${\cal{G}}_l$ denote the family of graphs which have girth $2l+1$ and have no odd hole with length greater than $2l+1$. Wu, Xu and Xu conjectured that every graph in $\bigcup_{l\geq 2} {\cal{G}}_{l}$ is $3$-colorable. Chudnovsky et al., Wu et al., and Chen showed that every graph in ${\cal{G}}_2$, ${\cal{G}}_3$ and $\bigcup_{l\geq 5} {\cal{G}}_{l}$ is $3$-colorable respectively. In this paper, we prove that every graph in ${\cal{G}}_4$ is $3$-colorable. This confirms Wu, Xu and Xu's conjecture.

Combinatorics
Graphs with Girth $2\ell+1$ and Without Longer Odd Holes that Contain an Odd $K_4$-Subdivision

Rong Chen,Yidong Zhou

DOI: https://doi.org/10.37236/12135

2024-02-23

The Electronic Journal of Combinatorics

Abstract:We say that a graph $G$ has an odd $K_4$-subdivision if some subgraph of $G$ is isomorphic to a $K_4$-subdivision and whose faces are all odd holes of $G$. For a number $\ell\geq 2$, let $\mathcal{G}_{\ell}$ denote the family of graphs which have girth $2\ell+1$ and have no odd hole with length greater than $2\ell+1$. Wu, Xu and Xu conjectured that every graph in $\bigcup_{\ell\geq2}\mathcal{G}_{\ell}$ is $3$-colorable. Recently, Chudnovsky et al. and Wu et al., respectively, proved that every graph in $\mathcal{G}_2$ and $\mathcal{G}_3$ is $3$-colorable. In this paper, we prove that no $4$-vertex-critical graph in $\bigcup_{\ell\geq5}\mathcal{G}_{\ell}$ has an odd $K_4$-subdivision. Using this result, Chen proved that all graphs in $\bigcup_{\ell\geq5}\mathcal{G}_{\ell}$ are $3$-colorable.

mathematics, applied
Coloring minimal Cayley graphs

Ignacio García-Marco,Kolja Knauer

2024-05-30

Abstract:We show that any minimal Cayley graph of a (finitely generated) generalized dihedral or nilpotent group has chromatic number at most 3, while 4 colors are sometimes necessary for soluble groups. On the other hand we construct graphs of unbounded chromatic number that admit a proper edge coloring such that each cycle has some color at least twice. The latter disproves a conjecture of Babai'78 that would have implied that all minimal Cayley graphs have bounded chromatic number -- a problem that remains open.

Combinatorics
Uniformly Random Colourings of Sparse Graphs

Eoin Hurley,François Pirot

DOI: https://doi.org/10.1145/3564246.3585242

2023-03-28

Abstract:We analyse uniformly random proper $k$-colourings of sparse graphs with maximum degree $\Delta$ in the regime $\Delta < k\ln k $. This regime corresponds to the lower side of the shattering threshold for random graph colouring, a paradigmatic example of the shattering threshold for random Constraint Satisfaction Problems. We prove a variety of results about the solution space geometry of colourings of fixed graphs, generalising work of Achlioptas, Coja-Oghlan, and Molloy on random graphs, and justifying the performance of stochastic local search algorithms in this regime. Our central proof relies only on elementary techniques, namely the first-moment method and a quantitative induction, yet it strengthens list-colouring results due to Vu, and more recently Davies, Kang, P., and Sereni, and generalises state-of-the-art bounds from Ramsey theory in the context of sparse graphs. It further yields an approximately tight lower bound on the number of colourings, also known as the partition function of the Potts model, with implications for efficient approximate counting.

Combinatorics,Discrete Mathematics
Minimizing the number of edges in $(C_4, K_{1,k})$-co-critical graphs

Gang Chen,Chenchen Ren,Zi-Xia Song

2023-08-09

Abstract:Given graphs $H_1, H_2$, a {red, blue}-coloring of the edges of a graph $G$ is a critical coloring if $G$ has neither a red $H_1$ nor a blue $ H_2$. A non-complete graph $G$ is $(H_1, H_2)$-co-critical if $G$ admits a critical coloring, but $G+e$ has no critical coloring for every edge $e$ in the complement of $G$. Motivated by a conjecture of Hanson and Toft from 1987, we study the minimum number of edges over all $(C_4, K_{1,k})$-co-critical graphs on $n$ vertices. We show that for all $k \ge 2 $ and $ n \ge k +\lfloor \sqrt {k-1} \rfloor +2$, if $G$ is a $(C_4,K_{1,k})$-co-critical graph on $n$ vertices, then \[e(G) \ge \frac{(k+2)n}2-3- \frac{(k-1)(k+ \lfloor \sqrt {k-2}\rfloor)}2.\] Moreover, this linear bound is asymptotically best possible for all $k\ge3$ and $n\ge3k+4$. It is worth noting that our constructions for the case when $ k$ is even have at least three different critical colorings. For $k=2$, we obtain the sharp bound for the minimum number of edges of $(C_4, K_{1,2})$-co-critical graphs on $n\ge5 $ vertices by showing that all such graphs have at least $2n-3$ edges. Our proofs rely on the structural properties of $(C_4,K_{1,k})$-co-critical graphs and a result of Ollmann on the minimum number of edges of $C_4$-saturated graphs.

Combinatorics

Sparse critical graphs for defective $(1,3)$-coloring

Sparse critical graphs for defective DP-colorings

Majority Colorings of Sparse Digraphs

Defective Coloring is Perfect for Minors

Defective and Clustered Graph Colouring

Defective correspondence coloring of planar graphs

Sufficient Conditions for Properly Colored C3’s and C4’s in Edge-Colored …

Equitable coloring of sparse graphs

On Fall-Colorable Graphs

Proper conflict-free coloring of sparse graphs

Graphs of maximum average degree less than $\frac {11}{3}$ are flexibly $4$-choosable

Neighbor sum distinguishing edge colorings of sparse graphs

Defective Colouring of Hypergraphs

Packing $(1,1,2,2)$-coloring of some subcubic graphs

Better coloring of 3-colorable graphs

Defective and Clustered Colouring of Graphs with Given Girth

Graphs with girth 9 and without longer odd holes are 3-colorable

Graphs with Girth $2\ell+1$ and Without Longer Odd Holes that Contain an Odd $K_4$-Subdivision

Coloring minimal Cayley graphs

Uniformly Random Colourings of Sparse Graphs

Minimizing the number of edges in $(C_4, K_{1,k})$-co-critical graphs