coloring
4536 papers tagged with this keyword
The class of $(2P_3,C_4,C_6)$-free graphs, part II: $(2P_3,C_4,C_6,C_7,T_0)$-free graphs
This is the second in a series of two papers dealing with $(2P_3,C_4,C_6)$-free graphs, or equivalently, $(2P_3,\text{even hole})$-free graphs. In this two-paper series, we give a full structural description of $(2P_3,C_4,C_6)$-free graphs that contain no simplicial vertices, and we show that such graphs have bounded clique-width. This implies that Graph Coloring can be solved in polynomial time for $(2P_3,C_4,C_6)$-free graphs. In the first paper of the series, we described the structure of $(2P_3,C_4,C_6)$-free graphs that contain an induced $C_7$ or an induced $T_0$ (where $T_0$ is a certain 2-connected graph on nine vertices in which all holes are of length five), and we showed that such graphs either contain a simplicial vertex or have bounded clique-width. In the present paper (the second part of the series), we describe the structure of $(2P_3,C_4,C_6,C_7,T_0)$-free graphs that contain no simplicial vertices, and we show that such graphs have bounded clique-width. Finally this paper gives the full statement of the theorem describing the structure of $(2P_3,C_4,C_6)$-free graphs that contain no simplicial vertices.
Bounds for monochromatic solutions to $\{x+y,xy\}$
Let $r$ be a sufficiently large positive integer, and let $N \ge \exp\exp(r^{50})$. Then any $r$-colouring of $[N]$ contains a monochromatic copy of $\{x+y,xy\}$ with $x > y > 2$.
On Wegner's 8-Coloring Theorem for Planar Graphs of Maximum Degree Three
We provide a simplified proof of the following special case of Wegner's conjecture: every planar graph of maximum degree at most three admits a distance-2 coloring with at most eight colors. Our main contribution is significant simplification of the most technically challenging part of Wegner's proof: the case involving the removal of a 5-cycle.
On the dib-chromatic number of a digraph
An acyclic coloring of a digraph that maximizes the number of colors such that each color class has a vertex pointing to all other classes and a vertex pointing to it from all other classes is known as the dib-chromatic number of a digraph. In this paper, we answer the question about the existence of the dib-chromatic number and study the dib-chromatic number of bipartite digraphs.
Polynomial extensions of Raimi's theorem
Raimi's theorem guarantees the existence of a partition of $\mathbb{N}$ into two parts with an unavoidable intersection property: for any finite coloring of $\mathbb{N}$, some color class intersects both parts infinitely many times, after an appropriate shift (translation). We establish a polynomial extension of this result, proving that such intersections persist under polynomial shifts in any dimension. Let $P^{(1)},\dots,P^{(f)}\in\mathbb{Z}[x]$ be non-constant polynomials with positive leading coefficients and $P^{(j)}(0)=0$ for every $j$. We construct a partition of $\mathbb{N}^k$ into an arbitrarily fixed finite number of pieces such that for any coloring of $\mathbb{N}^k$ with finitely many colors, there exist $x_0\in \mathbb{N}$ and a single color class that meets all partition pieces after shifts by $x_0+P^{(j)}(h)$ in each of the $k$ coordinate directions, for every $j$ and infinitely many values $h\in \mathbb{N}$. Our proof exploits Weyl's equidistribution theory, Pontryagin duality, and the structure of polynomial relation lattices. We also prove some finite analogues of the above results for abelian groups and $SL_2(\mathbb{F}_q)$.
A step toward Chen-Lih-Wu conjecture
An equitable $k$-coloring of a graph is a proper $k$-coloring where the sizes of any two different color classes differ by at most one. In 1973, Meyer conjectured that every connected graph $G$ has an equitable $k$-coloring for some $k\leq Δ(G)$, unless $G$ is a complete graph or an odd cycle. Chen, Lih, and Wu strengthened this in 1994 by conjecturing that for $k\geq 3$, the only connected graphs of maximum degree at most $k$ with no equitable $k$-coloring are the complete bipartite graph $K_{k,k}$ for odd $k$ and the complete graph $K_{k+1}$. A more refined conjecture was proposed by Kierstead and Kostochka, relaxing the maximum degree condition to an Ore-type condition. Their conjecture states the following: for $k\geq 3$, if $G$ is an $n$-vertex graph such that $d(x) + d(y)\leq 2k$ for every edge $xy\in E(G)$, and $G$ admits no equitable $k$-coloring, then $G$ contains either $K_{k+1}$ or $K_{m,2k-m}$ for some odd $m$. We prove that for any constant $c>0$ and all sufficiently large $n$, the latter two conjectures hold for every $k\geq cn$. Our proof yields an algorithm with polynomial time that decides whether $G$ has an equitable $k$-coloring, thereby answering a conjecture of Kierstead, Kostochka, Mydlarz, and Szemerédi when $k \ge cn$.
Rainbow planar Tur{á}n numbers of cycles
The rainbow Tur{á}n number of a fixed graph $H$, denoted by ${\text{ex}}^*(n,H)$, is the maximum number of edges in an $n$-vertex graph such that it admits a proper edge coloring with no rainbow $H$. We study this problem in planar setting. The rainbow planar Tur{á}n number of a graph $H$, denoted by ${\text{ex}_{\mathcal{P}}}^*(n,H)$, is the maximum number of edges in an $n$-vertex planar graph such that it has a proper edge coloring with no rainbow $H$. We consider the rainbow planar Tur{á}n number of cycles. Since $C_3$ is complete, ${\text{ex}_{\mathcal{P}}}^*(n, C_3)$ is exactly its planar Tur{á}n number, which is $2n-4$ for $n\ge 3$. We show that ${\text{ex}_{\mathcal{P}}}^*(n, C_4)=3n-6$ for $n=k^2-3k+2$ where $k\ge 5$, and ${\text{ex}_{\mathcal{P}}}^*(n,C_k)=3n-6$ for all $k\ge 5$ and $n\ge 3$.
Lower and Upper Bounds for Small Canonical and Ordered Ramsey Numbers
In this paper, we investigate three extensions of Ramsey numbers to other combinatorial settings.
We first consider ordered Ramsey numbers. Here, we ask for a monochromatic copy of a linearly ordered graph $G$ in every $2$-edge-coloring of a linearly ordered complete graph $K_n$. The smallest such $n$ is denoted by $\vec{R}(G)$.
Next, we study canonical Ramsey numbers. A canonical coloring of a linearly ordered graph $G$ is an edge-coloring in which $G$ is monochromatic, rainbow, or min/max-lexicographic. In the latter case, each pair of edges receives the same color if and only if they share the same first (respectively, second) vertex. Erdős and Rado showed that for every $p$ there exists $n$ such that every edge-coloring of a linearly ordered $K_n$ contains a canonical copy of $K_p$; the smallest such $n$ is denoted by $ER(G)$.
Finally, we examine unordered canonical Ramsey numbers, introduced by Richer. An edge-coloring of $G$ is orderable if there exists a linear ordering of its vertices such that the color of each edge is determined by its first vertex. Unlike lexicographic colorings, this notion also includes monochromatic colorings. Richer proved that for all $s$ and $t$, there exists $n$ such that every edge-coloring of $K_n$ contains an orderable copy of $K_s$ or a rainbow $K_t$. The smallest such $n$ is denoted by $CR(s,t)$.
In all three settings, we focus on determining the corresponding Ramsey numbers for small graphs $G$. We use tabu search and integer programming to obtain lower bounds, and flag algebras or integer programming to establish upper bounds. Among other results, we determine $\vec{R}(G)$ for all graphs $G$ on up to four vertices except $K_4^-$, $ER(P_4)$ for all orderings of $P_4$, and the exact values $CR(6,3)=26$ and $CR(3,5)=13$.
Extension of the Gyárfás-Sumner conjecture to signed graphs
The balanced chromatic number of a signed graph G is the minimum number of balanced sets that cover all vertices of G. Studying structural conditions which imply bounds on the balanced chromatic number of signed graphs is among the most fundamental problems in graph theory. In this work, we initiate the study of coloring hereditary classes of signed graphs. More precisely, we say that a set F = {F_1, F_2, ..., F_l} is a GS (for Gyárfás-Sumner) set if there exists a constant c such that signed graphs with no induced subgraph switching equivalent to a member of F admit a balanced c-coloring. The focus of this work is to study GS sets of order 2. We show that if F is a GS set of order 2, then F_1 is either (K_3, -) or (K_4, -), and F_2 is a linear forest. In the case of F_1 = (K_3, -), we show that any choice of a linear forest for F_2 works. In the case of F_1 = (K_4, -), we show that if each connected component of F_2 is a path of length at most 4, then {F_1, F_2} is a GS set.
Open problems of the 33rd Workshop on Cycles and Colourings
Since its beginnings, every Cycles and Colourings workshop holds one or two open problem sessions; this document contains the problems (together with notes regarding the current state of the art and related bibliography) presented by participants of the 33rd edition of the workshop which took place in Nový Smokovec, Slovakia during August 31st - September 5th, 2025 (see the workshop webpage https://candc.upjs.sk).
Graphs with asymmetric Ramsey properties
Given positive integers $k$ and $\ell$ we write $G \rightarrow (K_k,K_\ell)$ if every 2-colouring of the edges of $G$ yields a red copy of $K_k$ or a blue copy of $K_\ell$ and we denote by $R(k)$ the minimum $n$ such that $K_n\rightarrow (K_k,K_k)$. By using probabilistic methods and hypergraph containers we prove that for every integer $k \geq 3$, there exists a graph $G$ such that $G \nrightarrow (K_k,K_k)$ and $G \rightarrow (K_{R(k)-1},K_{k-1})$. This result can be viewed as a variation of a classical theorem of Nešetřil and Rödl [The Ramsey property for graphs with forbidden complete subgraphs, Journal of Combinatorial Theory, Series B, 20 (1976), 243-249], who proved that for every integer $k\geq 2$ there exists a graph $G$ with no copies of $K_k$ such that $G\rightarrow(K_{k-1}, K_{k-1})$.
Ramsey numbers of grid graphs
Let the grid graph $G_{M\times N}$ denote the Cartesian product $K_M \square K_N$. For a fixed subgraph $H$ of a grid, we study the off-diagonal Ramsey number $\operatorname{gr}(H, K_k)$, which is the smallest $N$ such that any red/blue edge coloring of $G_{N\times N}$ contains either a red copy of $H$ (a copy must preserve each edge's horizontal/vertical orientation), or a blue copy of $K_k$ contained inside a single row or column. Conlon, Fox, Mubayi, Suk, Verstraëte, and the first author recently showed that such grid Ramsey numbers are closely related to off-diagonal Ramsey numbers of bipartite $3$-uniform hypergraphs, and proved that $2^{Ω(\log ^2 k)} \le \operatorname{gr}(G_{2\times 2}, K_k) \le 2^{O(k^{2/3}\log k)}$. We prove that the square $G_{2\times 2}$ is exceptional in this regard, by showing that $\operatorname{gr}(C,K_k) = k^{O_C(1)}$ for any cycle $C \ne G_{2\times 2}$. We also obtain that a larger class of grid subgraphs $H$ obtained via a recursive blowup procedure satisfies $\operatorname{gr}(H,K_k) = k^{O_H(1)}$. Finally, we show that conditional on the multicolor Erdős-Hajnal conjecture, $\operatorname{gr}(H,K_k) = k^{O_H(1)}$ for any $H$ with two rows that does not contain $G_{2\times 2}$.
On acyclic b-chromatic number of cubic graphs
Let $G$ be a graph. An acyclic $k$-coloring of $G$ is a map $c:V(G)\rightarrow \{1,\dots,k\}$ such that $c(u)\neq c(v)$ for any $uv\in E(G)$ and the subgraph induced by the vertices of any two colors $i,j\in \{1,\dots,k\}$ is a forest. If every vertex $v$ of a color class $V_i$ misses a color $\ell_v\in\{1,\dots,k\}$ in its closed neighborhood, then every $v\in V_i$ can be recolored with $\ell_v$ and we obtain a $(k-1)$-coloring of $G$. If a new coloring $c'$ is also acyclic, then such a recoloring is an acyclic recoloring step and $c'$ is in relation $\triangleleft_a$ with $c$. The acyclic b-chromatic number $A_b(G)$ of $G$ is the maximum number of colors in an acyclic coloring where no acyclic recoloring step is possible. Equivalently, it is the maximum number of colors in a minimum element of the transitive closure of $\triangleleft_a$. In this paper, we consider $A_b(G)$ of cubic graphs.
Quasi-majority neighbor sum distinguishing edge-colorings
Published
• View Publication
• BIB
In this paper, a $k$-edge-coloring of $G$ is any mapping $c:E(G)\longrightarrow [k]$. The edge-coloring $c$ of $G$ naturally defines a vertex-coloring $σ_{c}: V(G) \to \mathbb{N}$, where $σ_{c}(v)=\sum_{u\in N_G(v)}c(vu)$ for every vertex $v\in V(G)$. The edge-coloring $c$ is said to be neighbor sum distinguishing if it results in a proper vertex-coloring $σ_{c}$, which that $σ_{c}(u) \neq σ_{c}(v)$ for every edge $uv$ in $G$.
We investigate neighbor sum distinguishing edge-colorings with local constraints, where the edge-coloring is quasi-majority at each vertex. Specifically, every vertex $v$ is incident to at most $\left\lceil d(v)/2 \right\rceil$ edges of one color. This type of coloring is referred to as quasi-majority neighbor sum distinguishing edge-coloring. The minimum number of colors required for a graph to have a quasi-majority neighbor sum distinguishing edge-coloring is called the quasi-majority neighbor sum distinguishing index. A graph is nice if it has no component isomorphic to $K_2$. We prove that any nice graph admits a quasi-majority neighbor sum distinguishing edge-coloring using at most 12 colors. This bound can be improved for bipartite graphs and graphs with a maximum degree of at most 4. Specifically, we show that every nice bipartite graph can be colored with 6 colors, and every nice graph with a maximum degree of at most 4 can be colored with 7 colors. Additionally, we determine the exact value of the quasi-majority neighbor sum distinguishing index for complete graphs, complete bipartite graphs, and trees.
We also consider majority neighbor sum distinguishing edge-colorings, that is, when each vertex is incident to at most $d(v)/2$ edges with the same color.
Kempe equivalence of 4-colourings of some plane triangulations
Let $G_{n}$, where $n \geqslant 5$, be a simple plane triangulation which has $2$ non-adjacent vertices of degree $n$ (called \textit{poles} of $G_n$) and $2n$ vertices of degree~$5$.
A set of Kempe equivalent $4$-colourings of $G_{n}$ is called a \textit{Kempe class}. The number of Kempe classes of $G_{n}$ is enumerated. In particular it is shown that there is at least $\lfloor \frac{n}{6} \rfloor$ Kempe classes of $G_{n}$.
We say that $4$-colourings $A, B$ of $G_{n}$ are \textit{equal} if there exists a permutation~$P$ of the set of colours such that $A = P \circ B$. Otherwise, $A$, $B$ are \textit{different}. The number of different $4$-colourings of $G_{n}$ is enumerated.
Suppose that $H_{n} = G_{n} - b$, where $b$ is a pole of $G_{n}$. We prove that all $4$-colourings of $H_{n}$ are Kempe equivalent up to
$\lfloor \frac{13n}{2} \rfloor$ Kempe changes. %$3n$ ($\lfloor \frac{9n}{2} \rfloor$ and $\lfloor \frac{13n}{2} \rfloor$) Kempe changes, for $n \equiv 0\, (mod\, 3)$ ($n \equiv 2\, (mod\, 3)$ and $n \equiv 1\, (mod\, 3)$, respectively).
Proof of a conjecture of Fomichev and Karev
Published
• View Publication
• BIB
We prove a conjecture of Fomichev and Karev [{European J. Combin.} 127 (2025) 104160] by showing the equality of two graph invariants: $\varphi$, defined via graph colorings, and $ψ$, derived from the $\mathfrak{sl}(2)$-weight system of its 2-dimensional irreducible representation.
A Classification of Long-Refinement Graphs for Colour Refinement
Published
• View Publication
• BIB
The Colour Refinement algorithm is a classical procedure to detect symmetries in graphs, whose most prominent application is in graph-isomorphism tests. The algorithm and its generalisation, the Weisfeiler-Leman algorithm, evaluate local information to compute a colouring for the vertices in an iterative fashion. Different final colours of two vertices certify that no isomorphism can map one onto the other. The number of iterations that the algorithm takes to terminate is its central complexity parameter. For a long time, it was open whether graphs that take the maximum theoretically possible number of Colour Refinement iterations actually exist. Starting from an exhaustive search on graphs of low degrees, Kiefer and McKay proved the existence of infinite families of such long-refinement graphs with degrees 2 and 3, thereby showing that the trivial upper bound on the iteration number of Colour Refinement is tight. In this work, we provide a complete characterisation of the long-refinement graphs with low (or, equivalently, high) degrees. We show that, with one exception, the aforementioned families are the only long-refinement graphs with maximum degree at most 3, and we fully classify the long-refinement graphs with maximum degree 4. To this end, via a reverse-engineering approach, we show that all low-degree long-refinement graphs can be represented as compact strings, and we derive multiple structural insights from this surprising fact. Since long-refinement graphs are closed under taking edge complements, this also yields a classification of long-refinement graphs with high degrees. Kiefer and McKay initiated a search for long-refinement graphs that are only distinguished in the last iteration of Colour Refinement before termination. We conclude it in this submission by showing that such graphs cannot exist.
On the b-chromatic number of star graph operators
A $b$-coloring is a proper coloring such that for each color class, there exists at least one vertex that is adjacent to at least one vertex in every other color class. The $b$-chromatic number of a graph $G$ is the maximum number $k$ such that $G$ admits a $b$-coloring with $k$ colors. This paper focuses on the $b$-chromatic number of the power graph of the Cartesian product of star graphs. In addition, we also study the total graph and the line graph of the Cartesian product of star graphs. Our main result generalizes the result shown in \cite{qn} on the b-chromatic number of the Cartesian product of two stars. We find exact values for the b-chromatic number of particular Cartesian products of complete graphs and explore the bounds of the generalized Cartesian product of complete graphs.
On colourings of cubic lattices
Given the integral lattice $Λ^d$ in $d$-dimensional Euclidean space, partitions of the lattice nodes into orbits of finite-index subgroups of $Aut(Λ^d)$ have been computed for $d \leq 4$. These partitions can be interpreted as colourings of orbits defined up to permutation of colours. Complete results are obtained for $d=2$ up to 64 orbits, for $d=3$ up to 8 orbits, and for 2 orbits in dimension 4. The automorphism groups of the partitions are also determined. Our results for two orbits in dimension 3 correct the old result of H. Heesch [Z. Kristallogr., (1933), 85, 335--344] who overlooked one partition.
Long paths need not minimize $H$-colorings among trees
Given a graph $G$ and a target graph $H$, an $H$-coloring of $G$ is an adjacency-preserving vertex map from $G$ to $H$. By appropriate choice of $H$, these colorings can express, for instance, the independent sets or proper vertex colorings of $G$.
Sidorenko proved that for any $H$, the $n$-vertex star admits at least as many $H$-colorings as any other $n$-vertex tree, but the minimization question remains open in general. For many graphs $H$, path graphs are among the trees with the fewest $H$-colorings, but work of Leontovich and subsequently Csikvári and Lin shows that there is a graph $E_7$ on seven vertices and a target graph $H$ for which there are strictly fewer $H$-colorings of $E_7$ than of the path on seven vertices.
We introduce a new strategy for enumerating homomorphisms from path-like trees to highly symmetric target graphs that allows us to make the previous observations completely explicit and extend them to infinitely many $n$ beyond $n=7$. In particular, we exhibit a target graph $H$ with the property that for each sufficiently large $n$, there is a tree $E_n$ on $n$ vertices that admits strictly fewer $H$-colorings than the path on $n$ vertices.