arXiv++ Combinatorics

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.

Proper conflict-free coloring is an intermediate notion between proper coloring of a graph and proper coloring of its square. It is a proper coloring such that for every non-isolated vertex, there exists a color appearing exactly once in its (open) neighborhood. Typical examples of graphs with large proper conflict-free chromatic number include graphs with large chromatic number and bipartite graphs isomorphic to the $1$-subdivision of graphs with large chromatic number. In this paper, we prove two rough converse statements that hold even in the list-coloring setting. The first is for sparse graphs: for every graph $H$, there exists an integer $c_H$ such that every graph with no subdivision of $H$ is (properly) conflict-free $c_H$-choosable. The second applies to dense graphs: every graph with large conflict-free choice number either contains a large complete graph as an odd minor or contains a bipartite induced subgraph that has large conflict-free choice number. These give two incomparable (partial) answers of a question of Caro, Petruševski and Škrekovski. We also prove quantitatively better bounds for minor-closed families, implying some known results about proper conflict-free coloring and odd coloring in the literature. Moreover, we prove that every graph with layered treewidth at most $w$ is (properly) conflict-free $(8w-1)$-choosable. This result applies to $(g,k)$-planar graphs, which are graphs whose coloring problems have attracted attention recently.

Recoloring a graph is about finding a sequence of proper colorings of this graph from an initial coloring $σ$ to a target coloring $η$. Adding the constraint that each pair of consecutive colorings must differ on exactly one vertex, one asks: Is there a sequence of colorings from $σ$ to $η$? If yes, how short can it be? In this paper, we focus on $(Δ+1)$-colorings of graphs of maximum degree $Δ$. Feghali, Johnson and Paulusma proved that, if both colorings are non-frozen (i.e. we can change the color of a least one vertex), then a quadratic recoloring sequence always exists. We improve their result by proving that there actually exists a linear transformation (assuming that $Δ$ is a constant). In addition, we prove that the core of our algorithm can be performed locally. Informally, this means that after some preprocessing, the color changes that a given node has to perform only depend on the colors of the vertices in a constant size neighborhood. We make this precise by designing of an efficient recoloring algorithm in the LOCAL model of distributed computing.

A vertex coloring of a graph is said to be \textit{conflict-free} with respect to neighborhoods if for every non-isolated vertex there is a color appearing exactly once in its (open) neighborhood. As defined in [Fabrici et al., \textit{Proper Conflict-free and Unique-maximum Colorings of Planar Graphs with Respect to Neighborhoods}, arXiv preprint], the minimum number of colors in any such proper coloring of graph $G$ is the PCF chromatic number of $G$, denoted $χ_{\mathrm{pcf}}(G)$. In this paper, we determine the value of this graph parameter for several basic graph classes including trees, cycles, hypercubes and subdivisions of complete graphs. We also give upper bounds on $χ_{\mathrm{pcf}}(G)$ in terms of other graph parameters. In particular, we show that $χ_{\mathrm{pcf}}(G) \leq5Δ(G)/2$ and characterize equality. Several sufficient conditions for PCF $k$-colorability of graphs are established for $4\le k\le 6$. The paper concludes with few open problems.

An {\it odd $c$-coloring} of a graph is a proper $c$-coloring such that each non-isolated vertex has a color appearing an odd number of times on its neighborhood. This concept was introduced very recently by Petru\v sevski and \v Skrekovski and has attracted considerable attention. Cranston investigated odd colorings of graphs with bounded maximum average degree, and conjectured that every graph $G$ with $mad(G)\leq \frac{4c-4}{c+1}$ has an odd $c$-coloring for $c\geq 4$, and proved the conjecture for $c\in\{5, 6\}$. In particular, planar graphs with girth at least $7$ and $6$ have an odd $5$-coloring and an odd $6$-coloring, respectively. We completely resolve Cranston's conjecture. For $c\geq 7$, we show that the conjecture is true, in a stronger form that was implicitly suggested by Cranston, but for $c=4$, we construct counterexamples, which all contain $5$-cycles. On the other hand, we show that a graph $G$ with $mad(G)<\frac{22}{9}$ and no induced $5$-cycles has an odd $4$-coloring. This implies that a planar graph with girth at least 11 has an odd $4$-coloring. We also prove that a planar graph with girth at least 5 has an odd $6$-coloring.

In this paper we study the problem of coloring a unit interval graph which changes dynamically. In our model the unit intervals are added or removed one at the time, and have to be colored immediately, so that no two overlapping intervals share the same color. After each update only a limited number of intervals is allowed to be recolored. The limit on the number of recolorings per update is called the recourse budget. In this paper we show, that if the graph remains $k$-colorable at all times, and the updates consist of insertions only, then we can achieve the amortized recourse budget of $O(k^7 \log n)$ while maintaining a proper coloring with $k$ colors. This is an exponential improvement over the result in [Bosek et al., Recoloring Interval Graphs with Limited Recourse Budget. SWAT 2020] in terms of both $k$ and $n$. We complement this result by showing the lower bound of $Ω(n)$ on the amortized recourse budget in the fully dynamic setting. Our incremental algorithm can be efficiently implemented. As a byproduct of independent interest we include a new result on coloring proper circular arc graphs. Let $L$ be the maximum number of arcs intersecting in one point for some set of unit circular arcs $\mathcal{A}$. We show that if there is a set $\mathcal{A}'$ of non-intersecting unit arcs of size $L^2-1$ such that $\mathcal{A} \cup \mathcal{A}'$ does not contain $L+1$ arcs intersecting in one point, then it is possible to color $\mathcal{A}$ with $L$ colors. This complements the work on unit circular arc coloring, which specifies sufficient conditions needed to color $\mathcal{A}$ with $L+1$ colors or more.

The chromatic polynomial of a graph $G$, denoted $P(G,m)$, is equal to the number of proper $m$-colorings of $G$. The list color function of graph $G$, denoted $P_{\ell}(G,m)$, is a list analogue of the chromatic polynomial that has been studied since the early 1990s, primarily through comparisons with the corresponding chromatic polynomial. It is known that for any graph $G$ there is a $k \in \mathbb{N}$ such that $P_\ell(G,m) = P(G,m)$ whenever $m \geq k$. The list color function threshold of $G$, denoted $τ(G)$, is the smallest $k \geq χ(G)$ such that $P_{\ell}(G,m) = P(G,m)$ whenever $m \geq k$. In 2009, Thomassen asked whether there is a universal constant $α$ such that for any graph $G$, $τ(G) \leq χ_{\ell}(G) + α$, where $χ_{\ell}(G)$ is the list chromatic number of $G$. We show that the answer to this question is no by proving that there exists a constant $C$ such that $τ(K_{2,l}) - χ_{\ell}(K_{2,l}) \ge C\sqrt{l}$ for $l \ge 16$.

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.

Many variations of the classical graph coloring model have been intensively studied due to their multiple applications; scheduling problems and aircraft assignments, for instance, motivate the robust coloring problem. This model gets to capture natural constraints of those optimization problems by combining the information provided by two colorings: a vertex coloring of a graph and the induced edge coloring on a subgraph of its complement; the goal is to minimize, among all proper colorings of the graph for a fixed number of colors, the number of edges in the subgraph with the endpoints of the same color. The study of the robust coloring model has been focused on the search for heuristics due to its NP-hard character when using at least three colors, but little progress has been made in other directions. We present a new approach on the problem obtaining the first collection of non-heuristic results for general graphs; among them, we prove that robust coloring is the model that better approaches the equitable partition of the vertex set, even when the graph does not admit a so-called \emph{equitable coloring}. We also show the NP-completeness of its decision problem for the unsolved case of two colors, obtain bounds on the associated robust coloring parameter, and solve a conjecture on paths that illustrates the complexity of studying this coloring model.

For an integer $k \geq 1$ and a graph $G$, let $\mathcal{K}_k(G)$ be the graph that has vertex set all proper $k$-colorings of $G$, and an edge between two vertices $α$ and~$β$ whenever the coloring~$β$ can be obtained from $α$ by a single Kempe change. A theorem of Meyniel from 1978 states that $\mathcal{K}_5(G)$ is connected with diameter $O(5^{|V(G)|})$ for every planar graph $G$. We significantly strengthen this result, by showing that there is a positive constant $c$ such that $\mathcal{K}_5(G)$ has diameter $O(|V(G)|^c)$ for every planar graph $G$.

Given two graphs $G$ and $H$, the Ramsey number $R(G,H)$ is the minimum integer $N$ such that any coloring of the edges of $K_N$ in red or blue yields a red $G$ or a blue $H$. Let $v(G)$ be the number of vertices of $G$ and $χ(G)$ be the chromatic number of $G$. Let $s(G)$ denote the chromatic surplus of $G$, the cardinality of a minimum color class taken over all proper colorings of $G$ with $χ(G)$ colors. Burr showed that for a connected graph $G$ and a graph $H$ with $v(G)\geq s(H)$, $R(G,H) \geq (v(G)-1)(χ(H)-1)+s(H)$. A connected graph $G$ is called $H$-good if $R(G,H)=(v(G)-1)(χ(H)-1)+s(H)$. In this paper, we mainly confirm the Ramsey number for any tree $T_n$ versus $K_m\cup K_l$. Our result yields that $T_n$ is $K_m\cup K_l$-good.

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.

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.

A graph $\mathcal{H}=(W,E_\mathcal{H})$ is said to have {\em bandwidth} at most $b$ if there exists a labeling of $W$ as $w_1,w_2,\dots,w_n$ such that $|i-j|\leq b$ for every edge $w_iw_j\in E_\mathcal{H}$. We say that $\mathcal{H}$ is a {\em balanced $(β,Δ)$-graph} if it is a bipartite graph with bandwidth at most $β|W|$ and maximum degree at most $Δ$, and it also has a proper 2-coloring $χ:W\rightarrow[2]$ such that $||χ^{-1}(1)|-|χ^{-1}(2)||\leqβ|χ^{-1}(2)|$. In this paper, we prove that for every $γ>0$ and every natural number $Δ$, there exists a constant $β>0$ such that for every balanced $(β,Δ)$-graph $\mathcal{H}$ on $n$ vertices we have $$R(\mathcal{H}, \mathcal{H}, C_n) \leq (3+γ)n$$ for all sufficiently large odd $n$. The upper bound is sharp for several classes of graphs. Let $θ_{n,t}$ be the graph consisting of $t$ internally disjoint paths of length $n$ all sharing the same endpoints. As a corollary, for each fixed $t\geq 1$, $R(θ_{n, t},θ_{n, t}, C_{nt+λ})=(3t+o(1))n,$ where $λ=0$ if $nt$ is odd and $λ=1$ if $nt$ is even. In particular, we have $R(C_{2n},C_{2n}, C_{2n+1})=(6+o(1))n$, which is a special case of a result of Figaj and Łuczak (2018).

We study the chromatic quasisymmetric class function of a linearized combinatorial Hopf monoid. Given a linearized combinatorial Hopf monoid $H$, and an $H$-structure $h$ on a set $N$, there are proper colorings of $h$, generalizing graph colorings and poset partitions. We show that the automorphism group of $h$ acts on the set of proper colorings. The chromatic quasisymmetric class function enumerates the fixed points of this action, weighting each coloring with a monomial. For the Hopf monoid of graphs this invariant generalizes Stanley's chromatic symmetric function and specializes to the orbital chromatic polynomial of Cameron and Kayibi. We also introduce the flag quasisymmetric class function of a balanced relative simplicial complex equipped with a group action. We show that, under certain conditions, the chromatic quasisymmetric class function of $h$ is the flag quasisymmetric class function of a balanced relative simplicial complex that we call the coloring complex of $h$. We use this result to deduce various inequalities for the associated orbital polynomial invariants. We apply these results to several examples related to enumerating graph colorings, poset partitions, generic functions on matroids or generalized permutohedra, and others.

This thesis focuses on two concepts which are widely studied in the field of computational geometry. Namely, visibility and unit disk graphs. In the field of visibility, we have studied the conflict-free chromatic guarding of polygons, for which we have described a polynomial-time algorithm that uses $O(n \log^2 n)$ colors to guard a polygon in a conflict-free setting, and proper coloring of polygon visibility graphs, for which we have described an algorithm that returns a proper 4-coloring for a simple polygon. Besides, we have shown that the 5-colorability problem is NP-complete on visibility graphs of simple polygons, and 4-colorability is NP-complete on visibility graphs of polygons with holes. Then, we move further with the notion of visibility, and define a graph class which considers the real-world limitations for the applications of visibility graphs. That is, no physical object has infinite range, and two objects might not be mutually visible from a certain distance although there are no obstacles in-between. To model this property, we introduce unit disk visibility graphs, and show that the 3-colorability problem is NP-complete for unit disk visibility graphs of a set of line segments, and a polygon with holes. After bridging the gap between the visibility and the unit disk graphs, we then present our results on the recognition of unit disk graphs in a restricted setting -- axes-parallel unit disk graphs. We show that the recognition of unit disk graphs is NP-complete when the disks are centered on pre-given parallel lines. If, on the other hand, the lines are not parallel to one another, the recognition problem is NP-hard even though the pre-given lines are axes-parallel (i.e. any pair is either parallel or perpendicular).

DP-coloring (also called correspondence coloring) is a generalization of list coloring that has been widely studied in recent years after its introduction by Dvořák and Postle in 2015. The chromatic polynomial of a graph is an extensively studied notion in combinatorics since its introduction by Birkhoff in 1912; denoted $P(G,m)$, it equals the number of proper $m$-colorings of graph $G$. Counting function analogues of the chromatic polynomial have been introduced and studied for list colorings: $P_{\ell}$, the list color function (1990); DP colorings: $P_{DP}$, the DP color function (2019), and $P^*_{DP}$, the dual DP color function (2021). For any graph $G$ and $m \in \mathbb{N}$, $P_{DP}(G, m) \leq P_\ell(G,m) \leq P(G,m) \leq P_{DP}^*(G,m)$. A function $f$ is chromatic-adherent if for every graph $G$, $f(G,a) = P(G,a)$ for some $a \geq χ(G)$ implies that $f(G,m) = P(G,m)$ for all $m \geq a$. It is not known if the list color function and the DP color function are chromatic-adherent. We show that the DP color function is not chromatic-adherent by studying the DP color function of Generalized Theta graphs. The tools we develop along with the Rearrangement Inequality give a new method for determining the DP color function of all Theta graphs and the dual DP color function of all Generalized Theta graphs.

The Grötzsch Theorem states that every triangle-free planar graph admits a proper $3$-coloring. Among many of its generalizations, the one of Grünbaum and Aksenov, giving $3$-colorability of planar graphs with at most three triangles, is perhaps the most known. A lot of attention was also given to extending $3$-colorings of subgraphs to the whole graph. In this paper, we consider $3$-colorings of planar graphs with at most one triangle. Particularly, we show that precoloring of any two non-adjacent vertices and precoloring of a face of length at most $4$ can be extended to a $3$-coloring of the graph. Additionally, we show that for every vertex of degree at most $3$, a precoloring of its neighborhood with the same color extends to a $3$-coloring of the graph. The latter result implies an affirmative answer to a conjecture on adynamic coloring. All the presented results are tight.

By a theorem of Johansson, every triangle-free graph $G$ of maximum degree $Δ$ has chromatic number at most $(C+o(1))Δ/\log Δ$ for some universal constant $C > 0$. Using the entropy compression method, Molloy proved that one can in fact take $C = 1$. Here we show that for every $q \geq (1 + o(1))Δ/\log Δ$, the number $c(G,q)$ of proper $q$-colorings of $G$ satisfies $c(G, q) \,\geq\, \left(1 - \frac{1}{q}\right)^m ((1-o(1))q)^n$, where $n = |V(G)|$ and $m = |E(G)|$. Except for the $o(1)$ term, this lower bound is best possible as witnessed by random $Δ$-regular graphs. When $q = (1 + o(1)) Δ/\log Δ$, our result yields the inequality $c(G,q) \,\geq\, \exp\left((1 - o(1)) \frac{\log Δ}{2} n\right)$, which improves an earlier bound of Iliopoulos and yields the optimal value for the constant factor in the exponent. Furthermore, this result implies the optimal lower bound on the number of independent sets in $G$ due to Davies, Jenssen, Perkins, and Roberts. An important ingredient in our proof is the counting method that was recently developed by Rosenfeld. As a byproduct, we obtain an alternative proof of Molloy's bound $χ(G) \leq (1 + o(1))Δ/\log Δ$ using Rosenfeld's method in place of entropy compression (other proofs of Molloy's theorem using Rosenfeld's technique were given independently by Hurley and Pirot and Martinsson).

A $2$-distance $k$-coloring of a graph is a proper $k$-coloring of the vertices where vertices at distance at most 2 cannot share the same color. We prove the existence of a $2$-distance ($Δ+2$)-coloring for graphs with maximum average degree less than $\frac{8}{3}$ (resp. $\frac{14}{5}$) and maximum degree $Δ\geq 6$ (resp. $Δ\geq 10$). As a corollary, every planar graph with girth at least $8$ (resp. $7$) and maximum degree $Δ\geq 6$ (resp. $Δ\geq 10$) admits a $2$-distance $(Δ+2)$-coloring.