arXiv++ Combinatorics

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.

An $r$-hued coloring of a simple graph $G$ is a proper coloring of its vertices such that every vertex $v$ is adjacent to at least $\min\{r, °(v)\}$ differently colored vertices. The minimum number of colors needed for an $r$-hued coloring of a graph $G$, the $r$-hued chromatic number, is denoted by $χ_{r}(G)$. In this note we show that $$χ_r(G) \leq (r - 1)(Δ(G) + 1) + 2,$$ for every simple graph $G$ and every $r \geq 2$, which in the case when $r < Δ(G)$ improves the presently known $Δ(G)$-based upper bound on $χ_r(G)$, namely $r Δ(G) + 1$. We also discuss the existence of graphs whose $r$-hued chromatic number is close to $(r-1)(Δ+ 1 ) + 2$ and we prove that there is a bipartite graph of maximum degree $Δ$ whose $r$-hued chromatic number is $(r-1)Δ+ 1$ for every $r \in \{2, \dots, 9\}$ and infinitely many values of $Δ\geq r + 2$; we believe that $(r-1)Δ(G) + 1$ is the best upper bound on the $r$-hued chromatic number of any bipartite graph $G$.

A list assignment $L$ of a graph $G$ is a function that assigns to every vertex $v$ of $G$ a set $L(v)$ of colors. A proper coloring $α$ of $G$ is called an $L$-coloring of $G$ if $α(v)\in L(v)$ for every $v\in V(G)$. For a list assignment $L$ of $G$, the $L$-recoloring graph $\mathcal{G}(G,L)$ of $G$ is a graph whose vertices correspond to the $L$-colorings of $G$ and two vertices of $\mathcal{G}(G,L)$ are adjacent if their corresponding $L$-colorings differ at exactly one vertex of $G$. A $d$-face in a plane graph is a face of length $d$. Dvořák and Feghali conjectured for a planar graph $G$ and a list assignment $L$ of $G$, that: (i) If $|L(v)|\geq 10$ for every $v\in V(G)$, then the diameter of $\mathcal{G}(G,L)$ is $O(|V(G)|)$. (ii) If $G$ is triangle-free and $|L(v)|\geq 7$ for every $v\in V(G)$, then the diameter of $\mathcal{G}(G,L)$ is $O(|V(G)|)$. In a recent paper, Cranston (European J. Combin. (2022)) has proved (ii). In this paper, we prove the following results. Let $G$ be a plane graph and $L$ be a list assignment of $G$. $\bullet$ If for every $3$-face of $G$, there are at most two $3$-faces adjacent to it and $|L(v)|\geq 10$ for every $v\in V(G)$, then the diameter of $\mathcal{G}(G,L)$ is at most $190|V(G)|$. $\bullet$ If for every $3$-face of $G$, there is at most one $3$-face adjacent to it and $|L(v)|\geq 9$ for every $v\in V(G)$, then the diameter of $\mathcal{G}(G,L)$ is at most $13|V(G)|$. $\bullet$ If the faces adjacent to any $3$-face have length at least $6$ and $|L(v)|\geq 7$ for every $v\in V(G)$, then the diameter of $\mathcal{G}(G,L)$ is at most $242|V(G)|$. This result strengthens the Cranston's result on (ii).

For a natural unit interval order $P$, we describe proper colorings of the incomparability graph of $P$ in the language of heaps. We also introduce a combinatorial operation, called a \emph{local flip}, on the heaps. This operation defines an equivalence relation on the proper colorings, and the equivalence relation refines the ascent statistic introduced by Shareshian and Wachs. In addition, we define an analogue of noncommutative symmetric functions introduced by Fomin and Greene, with respect to $P$. We establish a duality between the chromatic quasisymmetric function of $P$ and these noncommutative symmetric functions. This duality leads us to positive expansions of the chromatic quasisymmetric functions into several symmetric function bases. In particular, we present some partial results for the $e$-positivity conjecture.

A proper coloring of a graph is \emph{proper conflict-free} if every non-isolated vertex $v$ has a neighbor whose color is unique in the neighborhood of $v$. A proper coloring of a graph is \emph{odd} if for every non-isolated vertex $v$, there is a color appearing an odd number of times in the neighborhood of $v$. For an integer $k$, the \textsc{PCF $k$-Coloring} problem asks whether an input graph admits a proper conflict-free $k$-coloring and the \textsc{Odd $k$-Coloring} asks whether an input graph admits an odd $k$-coloring. We show that for every integer $k\geq3$, both problems are NP-complete, even if the input graph is bipartite. Furthermore, we show that the \textsc{PCF $4$-Coloring} problem is NP-complete when the input graph is planar.

We study the geometry of some proper 4-colorings of the vertices of sphere triangulations with degree sequence 6,...,6,2,2,2. Such triangulations are the simplest examples which have non-negative combinatorial curvature. The examples we construct, which are roughly extremal in some sense, are based on a novel geometric interpretation of continued fractions. We also present a conjectural sharp "isoperimetric inequality" for colorings of this kind of triangulation.

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.

List packing is a notion that was introduced in 2021 (by Cambie et al.). The list packing number of a graph $G$, denoted $χ_{\ell}^*(G)$, is the least $k$ such that for any list assignment $L$ that assigns $k$ colors to each vertex of $G$, there is a set of $k$ proper $L$-colorings of $G$, $\{f_1, \ldots, f_k \}$, with the property $f_i(v) \neq f_j(v)$ whenever $1 \leq i < j \leq k$ and $v \in V(G)$. We present a short proof that for any graph $G$, $χ_{\ell}^*(G) \leq |V(G)|$. Interestingly, our proof makes use of Galvin's celebrated result that the list chromatic number of the line graph of any bipartite multigraph equals its chromatic number.

It is known that, for any $k$-list assignment $L$ of a graph $G$, the number of $L$-list colorings of $G$ is at least the number of the proper $k$-colorings of $G$ when $k>(m-1)/\ln(1+\sqrt{2})$. In this paper, we extend the Whitney's broken cycle theorem to $L$-colorings of signed graphs, by which we show that if $k> \binom{m}{3}+\binom{m}{4}+m-1$ then, for any $k$-assignment $L$, the number of $L$-colorings of a signed graph $Σ$ with $m$ edges is at least the number of the proper $k$-colorings of $Σ$. Further, if $L$ is $0$-free (resp., $0$-included) and $k$ is even (resp., odd), then the lower bound $\binom{m}{3}+\binom{m}{4}+m-1$ for $k$ can be improved to $(m-1)/\ln(1+\sqrt{2})$.

The chromatic polynomial of a graph $G$, denoted $P(G,m)$, is equal to the number of proper $m$-colorings of $G$ for each $m \in \mathbb{N}$. In 1990, Kostochka and Sidorenko introduced the list color function of graph $G$, denoted $P_{\ell}(G,m)$, which is a list analogue of the chromatic polynomial. 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$. It is known that for every graph $G$, $τ(G)$ is finite, and in fact, $τ(G) \leq (|E(G)|-1)/\ln(1+ \sqrt{2}) + 1$. It is also known that when $G$ is a cycle or chordal graph, $G$ is enumeratively chromatic-choosable which means $τ(G) = χ(G)$. A recent paper of Kaul et al. suggests that understanding the list color function threshold of complete bipartite graphs is essential to the study of the extremal behavior of $τ$. In this paper we show that for any $n \geq 2$, $τ(K_{2,n}) \leq \lceil (n+2.05)/1.24 \rceil$ which gives an improvement on the general upper bound for $τ(G)$ when $G = K_{2,n}$. We also develop additional tools that allow us to show that $τ(K_{2,3}) = χ(K_{2,3})$ and $τ(K_{2,4}) = τ(K_{2,5}) = 3$.

An odd coloring of a graph $G$ is a proper coloring such that any non-isolated vertex in $G$ has a coloring appears odd times on its neighbors. The odd chromatic number, denoted by $χ_o(G)$, is the minimum number of colors that admits an odd coloring of $G$. Petruševski and Škrekovski in 2021 introduced this notion and proved that if $G$ is planar, then $χ_o(G)\le9$ and conjectured that $χ_o(G)\le5$. More recently, Petr and Portier improved $9$ to $8$. 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. Cranston, Lafferty and Song showed that every $1$-planar graph is odd $23$-colorable. In this paper, we improved this result and showed that every $1$-planar graph is odd $13$-colorable.

Odd coloring is a proper coloring with an additional restriction that every non-isolated vertex has some color that appears an odd number of times in its neighborhood. The minimum number of colors $k$ that can ensure an odd coloring of a graph $G$ is denoted by $χ_o(G)$. We say $G$ is odd $k$-colorable if $χ_o(G)\le k$. This notion is introduced very recently by Petruševski and Škrekovski, who proved that if $G$ is planar then $ χ_{o}(G) \leq 9 $. A toroidal graph is a graph that can be embedded on a torus. Note that a $K_7$ is a toroidal graph, $χ_{o}(G)\leq7$. Tian and Yin proved that every toroidal graph is odd $9$-colorable and every toroidal graph without $3$-cycles is odd $9$-colorable. In this paper, we proved that every toroidal graph without adjacent $3$-cycles is odd $8$-colorable.

The List-3-Coloring Problem is to decide, given a graph $G$ and a list $L(v)\subseteq \{1,2,3\}$ of colors assigned to each vertex $v$ of $G$, whether $G$ admits a proper coloring $φ$ with $φ(v)\in L(v)$ for every vertex $v$ of $G$, and the $3$-Coloring Problem is the List-$3$-Coloring Problem on instances with $L(v)=\{1,2,3\}$ for every vertex $v$ of $G$. The List-$3$-Coloring Problem is a classical NP-complete problem, and it is well-known that while restricted to $H$-free graphs (meaning graphs with no induced subgraph isomorphic to a fixed graph $H$), it remains NP-complete unless $H$ is isomorphic to an induced subgraph of a path. However, the current state of art is far from proving this to be sufficient for a polynomial time algorithm; in fact, the complexity of the $3$-Coloring Problem on $P_8$-free graphs (where $P_8$ denotes the eight-vertex path) is unknown. Here we consider a variant of the List-$3$-Coloring Problem called the Ordered Graph List-$3$-Coloring Problem, where the input is an ordered graph, that is, a graph along with a linear order on its vertex set. For ordered graphs $G$ and $H$, we say $G$ is $H$-free if $H$ is not isomorphic to an induced subgraph of $G$ with the isomorphism preserving the linear order. We prove, assuming $H$ to be an ordered graph, a nearly complete dichotomy for the Ordered Graph List-$3$-Coloring Problem restricted to $H$-free ordered graphs. In particular, we show that the problem can be solved in polynomial time if $H$ has at most one edge, and remains NP-complete if $H$ has at least three edges. Moreover, in the case where $H$ has exactly two edges, we give a complete dichotomy when the two edges of $H$ share an end, and prove several NP-completeness results when the two edges of $H$ do not share an end, narrowing the open cases down to three very special types of two-edge ordered graphs.

Odd coloring is a proper coloring with an additional restriction that every non-isolated vertex has some color that appears an odd number of times in its neighborhood. The minimum number of colors $k$ that can ensure an odd coloring of a graph $G$ is denoted by $χ_o(G)$. We say $G$ is $k$-colorable if $χ_o(G)\le k$. This notion is introduced very recently by Petruševski and Škrekovski, who proved that if $G$ is planar then $ χ_{o}(G) \leq 9 $. A toroidal graph is a graph that can be embedded on a torus. Note that a $K_7$ is a toroidal graph, $χ_{o}(G)\leq7$. In this paper, we proved that, every toroidal graph without $3$-cycles is odd $7$-colorable. Thus, every planar graph without $3$-cycles is odd $7$-colorable holds as a corollary. That's to say, every toroidal graph is $7$-colorable can be proved if the remained cases around $3$-cycle is resolved.

It's well known that every planar graph is $4$-colorable. A toroidal graph is a graph that can be embedded on a torus. It's proved that every toroidal graph is $7$-colorable. A proper coloring of a graph is called \emph{odd} if every non-isolated vertex has at least one color that appears an odd number of times in its neighborhood. The smallest number of colors that admits an odd coloring of a graph $ G $ is denoted by $χ_{o}(G)$. In this paper, we prove that if $G$ is tortoidal, then $χ_{o}\left({G}\right)\le9$; Note that $K_7$ is a toroidal graph, the upper bound is no less than $7$.

A $vi$-simultaneous proper $k$-coloring of a graph $G$ is a coloring of all vertices and incidences of the graph in which any two adjacent or incident elements in the set $V(G)\cup I(G)$ receive distinct colors, where $I(G)$ is the set of incidences of $G$. The $vi$-simultaneous chromatic number, denoted by $χ_{vi}(G)$, is the smallest integer $k$ such that $G$ has a $vi$-simultaneous proper $k$-coloring. In [M. Mozafari-Nia, M. N. Iradmusa, A note on coloring of $\frac{3}{3}$-power of subquartic graphs, Vol. 79, No.3, 2021] $vi$-simultaneous proper coloring of graphs with maximum degree $4$ is investigated and they conjectured that for any graph $G$ with maximum degree $Δ\geq 2$, $vi$-simultaneous proper coloring of $G$ is at most $2Δ+1$. In [M. Mozafari-Nia, M. N. Iradmusa, Simultaneous coloring of vertices and incidences of graphs, arXiv:2205.07189, 2022] the correctness of the conjecture for some classes of graphs such as $k$-degenerated graphs, cycles, forests, complete graphs, regular bipartite graphs is investigated. In this paper, we prove that the $vi$-simultaneous chromatic number of any outerplanar graph $G$ is either $Δ+2$ or $Δ+3$, where $Δ$ is the maximum degree of $G$.

Inspired by earlier results about proper and polychromatic coloring of hypergraphs, we investigate such colorings of directed hypergraphs, that is, hypergraphs in which the vertices of each hyperedge is partitioned into two parts, a tail and a head. We present a conjecture of D. Pálvölgyi and the author, which states that directed hypergraphs with a certain restriction on their pairwise intersections can be colored with two colors. Besides other contributions, our main result is a proof of this conjecture for $3$-uniform directed hypergraphs. This result can be phrased equivalently such that if a $3$-uniform directed hypergraph avoids a certain directed hypergraph with two hyperedges, then it admits a proper $2$-coloring. Previously, only extremal problems regarding the maximum number of edges of directed hypergraphs that avoid a certain hyperedge were studied.

In this paper, we introduce the notion of 2-boundary planar graphs. A graph is 2-boundary planar if it has an embedding in the plane so that all vertices lie on the boundary of at most two faces and no edges are crossed. 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. Petruševski and Škrekovski conjectured in 2022 that every planar graph admits an odd 5-coloring. We confirm this conjecture for 2-boundary planar graphs. Moreover, we present several questions regarding 2-boundary planar graphs that are of independent interest.

In the past various distance based colorings on planar graphs were introduced. We turn our focus to three of them, namely $2$-distance coloring, injective coloring, and exact square coloring. A $2$-distance coloring is a proper coloring of the vertices in which no two vertices at distance $2$ receive the same color, an injective coloring is a coloring of the vertices in which no two vertices with a common neighbor receive the same color, and an exact square coloring is a coloring of the vertices in which no two vertices at distance exactly $2$ receive the same color. We prove that planar graphs with maximum degree $Δ= 4$ and girth at least $4$ are $2$-distance list $(Δ+ 7)$-colorable and injectively list $(Δ+ 5)$-colorable. Additionally, we prove that planar graphs with $Δ= 4$ are injectively list $(Δ+ 7)$-colorable and exact square list $(Δ+ 6)$-colorable.

An $n$-subdivision of a graph $G$ is a graph constructed by replacing a path of length $n$ instead of each edge of $G$ and an $m$-power of $G$ is a graph with the same vertices as $G$ and any two vertices of $G$ at distance at most $m$ are adjacent. The graph $G^{\frac{m}{n}}$ is the $m$-power of the $n$-subdivision of $G$. In [M. N. Iradmusa, M. Mozafari-Nia, A note on coloring of $\frac{3}{3}$-power of subquartic graphs, Vol. 79, No.3, 2021] it was conjectured that the chromatic number of $\frac{3}{3}$-power of graphs with maximum degree $Δ\geq 2$ is at most $2Δ+1$. In this paper, we introduce the simultaneous coloring of vertices and incidences of graphs and show that the minimum number of colors for simultaneous proper coloring of vertices and incidences of $G$, denoted by $χ_{vi}(G)$, is equal to the chromatic number of $G^{\frac{3}{3}}$. Also by determining the exact value or the upper bound for the said parameter, we investigate the correctness of the conjecture for some classes of graphs such as $k$-degenerated graphs, cycles, forests, complete graphs, and regular bipartite graphs. In addition, we investigate the relationship between this new chromatic number and the other parameters of graphs.