arXiv++ Combinatorics

Let $G=(V_1(G),V_2(G),E(G))$ be a bipartite multigraph, and $R\subseteq V_1(G)\cup V_2(G)$. A proper coloring of edges of $G$ with the colors $1,\ldots,t$ is called interval (respectively, continuous) on $R$, if each color is used for at least one edge and the edges incident with each vertex $x\in R$ are colored by $d(x)$ consecutive colors (respectively, by the colors $1,\ldots,d(x))$, where $d(x)$ is a degree of the vertex $x$. We denote by $w_1(G)$ and $W_1(G)$, respectively, the least and the greatest values of $t$, for which there exists an interval on $V_1(G)$ coloring of the multigraph $G$ with the colors $1,\ldots,t$. In the paper the following basic results are obtained. \textbf{Theorem 2.} For an arbitrary $k$, $w_1(G)\leq k\leq W_1(G)$, there is an interval on $V_1(G)$ coloring of the multigraph $G$ with the colors $1,\ldots,k$. \textbf{Theorem 3.} The problem of recognition of the existence of a continuous on $V_1(G)$ coloring of the multigraph $G$ is $NP$-complete. \textbf{Theorem 4.} If for any edge $(x,y)\in E(G)$, where $x\in V_1(G)$, the inequality $d(x)\geq d(y)$ holds then there is a continuous on $V_1(G)$ coloring of the multigraph $G$. \textbf{Theorem 1.} If $G$ has no multiple edges and triangles, and there is an interval on $V(G)$ coloring of the graph $G$ with the colors $1,\ldots,k$, then $k\leq|V(G)|-1$.

For a proper vertex coloring $c$ of a graph $G$, let $\varphi_c(G)$ denote the maximum, over all induced subgraphs $H$ of $G$, the difference between the chromatic number $χ(H)$ and the number of colors used by $c$ to color $H$. We define the chromatic discrepancy of a graph $G$, denoted by $\varphi(G)$, to be the minimum $\varphi_c(G)$, over all proper colorings $c$ of $G$. If $H$ is restricted to only connected induced subgraphs, we denote the corresponding parameter by $\hat{\varphi}(G)$. These parameters are aimed at studying graph colorings that use as few colors as possible in a graph and all its induced subgraphs. We study the parameters $\varphi(G)$ and $\hat{\varphi}(G)$ and obtain bounds on them. We obtain general bounds, as well as bounds for certain special classes of graphs including random graphs. We provide structural characterizations of graphs with $\varphi(G) = 0$ and graphs with $\hat{\varphi}(G) = 0$. We also show that computing these parameters is NP-hard.

A total weighting of the vertices and edges of a hypergraph is called vertex-coloring if the total weights of the vertices yield a proper coloring of the graph, i.e., every edge contains at least two vertices with different weighted degrees. In this note we show that such a weighting is possible if every vertex has two, and every edge has three weights to choose from, extending a recent result on graphs to hypergraphs.

Zaslavsky proved in 2012 that, up to switching isomorphism, there are six different signed Petersen graphs and that they could be told apart by their chromatic polynomials, by showing that the latter give distinct results when evaluated at 3. He conjectured that the six different signed Petersen graphs also have distinct zero-free chromatic polynomials, and that both types of chromatic polynomials have distinct evaluations at \emph{any} positive integer. We developed and executed a computer program (running in {\tt SAGE}) that efficiently determines the number of proper $k$-colorings for a given signed graph; our computations for the signed Petersen graphs confirm Zaslavsky's conjecture. We also computed the chromatic polynomials of all signed complete graphs with up to five vertices.

A b-coloring of a graph is a proper coloring such that every color class contains a vertex that is adjacent to all other color classes. The b-chromatic number of a graph G, denoted by χ_b(G), is the maximum number t such that G admits a b-coloring with t colors. A graph G is called b-continuous if it admits a b-coloring with t colors, for every t = χ(G),\ldots,χ_b(G), and b-monotonic if χ_b(H_1) \geq χ_b(H_2) for every induced subgraph H_1 of G, and every induced subgraph H_2 of H_1. We investigate the b-chromatic number of graphs with stability number two. These are exactly the complements of triangle-free graphs, thus including all complements of bipartite graphs. The main results of this work are the following: - We characterize the b-colorings of a graph with stability number two in terms of matchings with no augmenting paths of length one or three. We derive that graphs with stability number two are b-continuous and b-monotonic. - We prove that it is NP-complete to decide whether the b-chromatic number of co-bipartite graph is at most a given threshold. - We describe a polynomial time dynamic programming algorithm to compute the b-chromatic number of co-trees. - Extending several previous results, we show that there is a polynomial time dynamic programming algorithm for computing the b-chromatic number of tree-cographs. Moreover, we show that tree-cographs are b-continuous and b-monotonic.

Given a group $G$ of automorphisms of a graph $Γ$, the orbital chromatic polynomial $OP_{Γ,G}(x)$ is the polynomial whose value at a positive integer $k$ is the number of orbits of $G$ on proper $k$-colorings of $Γ.$ In \cite{Cameron}, Cameron et. al. explore the roots of orbital chromatic polynomials, and in particular prove that orbital chromatic roots are dense in $\mathbb{R}$, extending Thomassen's famous result (see \cite{Thomassen}) that chromatic roots are dense in $[\frac{32}{27},\infty)$. Cameron et al \cite{Cameron} further conjectured that the real roots of the orbital chromatic polynomial of any graph are bounded above by the largest real root of its chromatic polynomial. We resolve this conjecture in the negative, and provide a process for generating families of counterexamples. We additionally show that the answer is true for various classes of graphs, including many outerplanar graphs.

We prove that a uniformly chosen proper $3$-coloring of the $d$-dimensional discrete torus has a very rigid structure when the dimension $d$ is sufficiently high. We show that with high probability the coloring takes just one color on almost all of either the even or the odd sub-torus. In particular, one color appears on nearly half of the torus sites. This model is the zero temperature case of the $3$-state anti-ferromagnetic Potts model from statistical physics. Our work extends previously obtained results for the discrete torus with specific boundary conditions. The main challenge in this extension is to overcome certain topological obstructions which appear when no boundary conditions are imposed on the model. Locally, a proper $3$-coloring defines the discrete gradient of an integer-valued height function which changes by exactly one between adjacent sites. However, these locally-defined functions do not always yield a height function on the entire torus, as the gradients may accumulate to a non-zero quantity when winding around the torus. Our main result is that in high dimensions, a global height function is well defined with high probability, allowing to deduce the rigid structure of the coloring from previously known results. Moreover, the probability that the gradients accumulate to a vector $m$, corresponding to the winding in each of the $d$ directions, is at most exponentially small in the product of $\|m\|_\infty$ and the area of a cross-section of the torus. In the course of the proof we develop discrete analogues of notions from algebraic topology. This theory is developed in some generality and may be of use in the study of other models.

Let $f$ be a proper $k$-coloring of a connected graph $G$ and $Π=(V_1,V_2,\ldots,V_k)$ be an ordered partition of $V(G)$ into the resulting color classes. For a vertex $v$ of $G$, the color code of $v$ with respect to $Π$ is defined to be the ordered $k$-tuple $c_{{}_Π}(v)=(d(v,V_1),d(v,V_2),\ldots,d(v,V_k)),$ where $d(v,V_i)=\min\{d(v,x): x\in V_i\}, 1\leq i\leq k$. If distinct vertices have distinct color codes, then $f$ is called a locating coloring. The minimum number of colors needed in a locating coloring of $G$ is the locating chromatic number of $G$, denoted by $\Cchi_{{}_L}(G)$. In this paper, we study the locating chromatic numbers of trees. We provide a counter example to a theorem of Gary Chartrand et al. [G. Chartrand, D. Erwin, M.A. Henning, P.J. Slater, P. Zhang, The locating-chromatic number of a graph, Bull. Inst. Combin. Appl. 36 (2002) 89-101] about the locating chromatic numbers of trees. Also, we offer a new bound for the locating chromatic number of trees. Then, by constructing a special family of trees, we show that this bound is best possible.

A weighting of the edges of a hypergraph is called vertex-coloring if the weighted degrees of the vertices yield a proper coloring of the graph, i.e., every edge contains at least two vertices with different weighted degrees. In this paper we show that such a weighting is possible from the weight set {1,2,...,r+1} for all hypergraphs with maximum edge size r>3 and not containing edges solely consisting of identical vertices. The number r+1 is best possible for this statement. Further, the weight set {1,2,3,4,5} is sufficient for all hypergraphs with maximum edge size 3, up to some trivial exceptions.

Given a graph $G$, the total dominator coloring problem seeks a proper coloring of $G$ with the additional property that every vertex in the graph is adjacent to all vertices of a color class. We seek to minimize the number of color classes. We study this problem on several classes of graphs, as well as finding general bounds and characterizations. We also show the relation between total dominator chromatic number and chromatic number and total domination number.

A total dominator coloring of a graph $G$ is a proper coloring of $G$ in which each vertex of the graph is adjacent to every vertex of some color class. The total dominator chromatic number $χ_d^t(G)$ of $G$ is the minimum number of color classes in a total dominator coloring of it. In [Total dominator chromatic number of a graph, submitted] the author initialed to study this number in graphs and obtained some important results. Here, we continue it in Mycieleskian graphs. We show that the total dominator chromatic number of the Mycieleskian of a graph $G$ belongs to between $χ_d^t(G)+1$ and $χ_d^t(G)+2$, and then characterize the family of graphs the their total dominator chromatic numbers are each of them.

The choosability $χ_\ell(G)$ of a graph $G$ is the minimum $k$ such that having $k$ colors available at each vertex guarantees a proper coloring. Given a toroidal graph $G$, it is known that $χ_\ell(G)\leq 7$, and $χ_\ell(G)=7$ if and only if $G$ contains $K_7$. Cai, Wang, and Zhu proved that a toroidal graph $G$ without 7-cycles is 6-choosable, and $χ_\ell(G)=6$ if and only if $G$ contains $K_6$. They also prove that a toroidal graph $G$ without 6-cycles is 5-choosable, and conjecture that $χ_\ell(G)=5$ if and only if $G$ contains $K_5$. We disprove this conjecture by constructing an infinite family of non-4-colorable toroidal graphs with neither $K_5$ nor cycles of length at least 6; moreover, this family of graphs is embeddable on every surface except the plane and the projective plane. Instead, we prove the following slightly weaker statement suggested by Zhu: toroidal graphs containing neither $K^-_5$ (a $K_5$ missing one edge) nor 6-cycles are 4-choosable. This is sharp in the sense that forbidding only one of the two structures does not ensure that the graph is 4-choosable.

Using a $Z_q$-generalization of a theorem of Ky Fan, we extend to Kneser hypergraphs a theorem of Simonyi and Tardos that ensures the existence of multicolored complete bipartite graphs in any proper coloring of a Kneser graph. It allows to derive a lower bound for the local chromatic number of Kneser hypergraphs (using a natural definition of what can be the local chromatic number of a hypergraph).

The local chromatic number is a coloring parameter defined as the minimum number of colors that should appear in the most colorful closed neighborhood of a vertex under any proper coloring of the graph. Its directed version is the same when we consider only outneighborhoods in a directed graph. For digraphs with all arcs being present in both directions the two values are obviously equal. Here we consider oriented graphs. We show the existence of a graph where the directed local chromatic number of all oriented versions of the graph is strictly less than the local chromatic number of the underlying undirected graph. We show that for fractional versions the analogous problem has a different answer: there always exists an orientation for which the directed and undirected values coincide. We also determine the supremum of the possible ratios of these fractional parameters, which turns out to be e, the basis of the natural logarithm.

Let G be a planar triangle-free graph and let C be a cycle in G of length at most 8. We characterize all situations where a 3-coloring of C does not extend to a proper 3-coloring of the whole graph.

Let G=(V,E) be a graph and let f be a function that assigns list sizes to the vertices of G. It is said that G is f-choosable if for every assignment of lists of colors to the vertices of G for which the list sizes agree with f, there exists a proper coloring of G from the lists. The sum choice number is the minimum of the sum of list sizes for f over all choosable functions f for G. The sum choice number of a graph is always at most the sum |V|+|E|. When the sum choice number of G is equal to this upper bound, G is said to be sc-greedy. In this paper, we determine the sum choice number of all graphs on five vertices, show that trees of cycles are sc-greedy, and present some new general results about sum list coloring.

A $b$-coloring of a graph is a proper coloring such that every color class contains a vertex adjacent to at least one vertex in each of the other color classes. The $b$-chromatic number of a graph $G$, denoted by $b(G)$, is the maximum integer $k$ such that $G$ admits a $b$-coloring with $k$ colors. El Sahili and Kouider conjectured that $b(G)=d+1$ for $d$-regular graph with girth 5, $d\geq4$. In this paper, we prove that this conjecture holds for $d$-regular graph with at least $d^3+d$ vertices. More precisely we show that $b(G)=d+$1 for $d$-regular graph with at least $d^3+d$ vertices and containing no cycle of order 4. We also prove that $b(G)=d+1$ for $d$-regular graphs with at least $2d^3+2d-2d^2$ vertices improving Cabello and Jakovac bound.

The $b$-chromatic number of a graph $G$, denoted by $b(G)$, is the largest positive integer $k$ such that there exists a proper coloring for G with $k$ colors in which every color class contains at least one vertex adjacent to some vertex in each of the other color classes, such a vertex is called a dominant vertex. The $f$-chromatic vertex number of a $d$-regular graph $G$, denoted by $f(G)$, is the maximum number of dominant vertices of distinct colors in a proper coloring with $d+1$ colors. El Sahili and Kouider conjectured that $b(G)=d+1$ for any $d$-regular graph $G$ of girth 5. We study this conjecture by giving some partial answers under supplementary conditions.

A coloring of a matroid is proper if elements of the same color form an independent set. For a loopless matroid M, its chromatic number χ(M) is the minimum number of colors that suffices to color properly the ground set E of M. In this note we study a game-theoretic variant of this parameter proposed by Grytczuk. Suppose that in each round of the game Alice indicates an uncolored yet element e of E, then Bob colors it using a color from a fixed set of colors C. The rule Bob has to obey is that it is a proper coloring. The game ends if the whole matroid has been colored or if Bob can not color e using any color of C. Alice wins in the first case, while Bob in the second. The minimum size of the set of colors C for which Alice has a winning strategy is called the indicated chromatic number of M, denoted by χ_i(M). We prove that χ_i(M)=χ(M).

Let $k$ be an integer. Two vertex $k$-colorings of a graph are \emph{adjacent} if they differ on exactly one vertex. A graph is \emph{$k$-mixing} if any proper $k$-coloring can be transformed into any other through a sequence of adjacent proper $k$-colorings. Any graph is $(tw+2)$-mixing, where $tw$ is the treewidth of the graph (Cereceda 2006). We prove that the shortest sequence between any two $(tw+2)$-colorings is at most quadratic, a problem left open in Bonamy et al. (2012). Jerrum proved that any graph is $k$-mixing if $k$ is at least the maximum degree plus two. We improve Jerrum's bound using the grundy number, which is the worst number of colors in a greedy coloring.