coloring
4410 papers tagged with this keyword
Coloring Trivalent Graphs: A Defect TFT Approach
We show that the combinatorial matter of graph coloring is, in fact, quantum in the sense of satisfying the sum over all the possible intermediate state properties of a path integral. In our case, the topological field theory (TFT) with defects gives meaning to it. This TFT has the property that when evaluated on a planar trivalent graph, it provides the number of Tait-Coloring of it. Defects can be considered as a generalization of groups. With the Klein-four group as a 1-defect condition, we reinterpret graph coloring as sections of a certain bundle, distinguishing a coloring (global-sections) from a coloring process (local-sections.) These constructions also lead to an interpretation of the word problem, for a finitely presented group, as a cobordism problem and a generalization of (trivial) bundles at the level of higher categories.
$k$-local Graphs
In 2017 Day et al. introduced the notion of locality as a structural complexity-measure for patterns in the field of pattern matching established by Angluin in 1980. In 2019 Casel et al. showed that determining the locality of an arbitrary pattern is NP-complete. Inspired by hierarchical clustering, we extend the notion to coloured graphs, i.e., given a coloured graph determine an enumeration of the colours such that colouring the graph stepwise according to the enumeration leads to as few clusters as possible. Next to first theoretical results on graph classes, we propose a priority search algorithm to compute the $k$-locality of a graph. The algorithm is optimal in the number of marking prefix expansions, and is faster by orders of magnitude than an exhaustive search. Finally, we perform a case study on a DBLP subgraph to demonstrate the potential of $k$-locality for knowledge discovery.
List strong and list normal edge-coloring of (sub)cubic graphs
Published
• View Publication
• BIB
A strong edge-coloring of a graph is a proper edge-coloring, in which the edges of every path of length 3 receive distinct colors; in other words, every pair of edges at distance at most 2 must be colored differently. The least number of colors needed for a strong edge-coloring of a graph is the strong chromatic index. We consider the list version of the coloring and prove that the list strong chromatic index of graphs with maximum degree 3 is at most 10. This bound is tight and improves the previous bound of 11 colors.
We also consider the question whether the strong chromatic index and the list strong chromatic index always coincide. We answer it in negative by presenting an infinite family of graphs for which the two invariants differ. For the special case of the Petersen graph, we show that its list strong chromatic index equals 7, while its strong chromatic index is 5. Up to our best knowledge, this is the first known edge-coloring for which there are graphs with distinct values of the chromatic index and its list version.
In relation to the above, we also initiate the study of the list version of the normal edge-coloring. A normal edge-coloring of a cubic graph is a proper edge-coloring, in which every edge is adjacent to edges colored with 4 colors or to edges colored with 2 colors. It is conjectured that 5 colors suffice for a normal edge-coloring of any bridgeless cubic graph which is equivalent to the Petersen Coloring Conjecture.
Similarly to strong edge-coloring, list normal edge-coloring is much more restrictive and consequently for many graphs the list normal chromatic index is greater than the normal chromatic index. We show that there are cubic graphs with list normal chromatic index at least $9$, there are bridgeless cubic graphs with its value at least 8, and there are cyclically 4-edge-connected cubic graphs with value at least 7.
Reconfiguration graphs for vertex colorings of $P_5$-free graphs
For any positive integer $k$, the reconfiguration graph for all $k$-colorings of a graph $G$, denoted by $\mathcal{R}_k(G)$, is the graph where vertices represent the $k$-colorings of $G$, and two $k$-colorings are joined by an edge if they differ in color on exactly one vertex. Bonamy et al. established that for any $2$-chromatic $P_5$-free graph $G$, $\mathcal{R}_k(G)$ is connected for each $k\geq 3$. On the other hand, Feghali and Merkel proved the existence of a $7p$-chromatic $P_5$-free graph $G$ for every positive integer $p$, such that $\mathcal{R}_{8p}(G)$ is disconnected.
In this paper, we offer a detailed classification of the connectivity of $\mathcal{R} _k(G) $ concerning $t$-chromatic $P_5$-free graphs $G$ for cases $t=3$, and $t\geq4$ with $t+1\leq k \leq {t\choose2}$. We demonstrate that $\mathcal{R}_k(G)$ remains connected for each $3$-chromatic $P_5$-free graph $G$ and each $k \geq 4$. Furthermore, for each $t\geq4$ and $t+1 \leq k \leq {t\choose2}$, we provide a construction of a $t$-chromatic $P_5$-free graph $G$ with $\mathcal{R}_k(G)$ being disconnected. This resolves a question posed by Feghali and Merkel.
The difference between the chromatic and the cochromatic number of a random graph
The cochromatic number $ζ(G)$ of a graph $G$ is the minimum number of colours needed for a vertex colouring where every colour class is either an independent set or a clique. Let $χ(G)$ denote the usual chromatic number. Around 1991 Erdős and Gimbel asked: For the random graph $G \sim G_{n, 1/2}$, does $χ(G)-ζ(G) \rightarrow \infty$ whp? Erdős offered \$100 for a positive and \$1,000 for a negative answer.
We give a positive answer to this question for roughly 95% of all values $n$.
Interval edge-colorings of Cartesian products of graphs II
An \emph{interval $t$-coloring} of a graph $G$ is a proper edge-coloring with colors $1,\dots,t$ such that the colors on the edges incident to every vertex of $G$ are colored by consecutive colors. A graph $G$ is called \emph{interval colorable} if it has an interval $t$-coloring for some positive integer $t$. Let $\mathfrak{N}$ be the set of all interval colorable graphs. For a graph $G\in \mathfrak{N}$, we denote by $w(G)$ and $W(G)$ the minimum and maximum number of colors in an interval coloring of a graph $G$, respectively. In this paper we present some new sharp bounds on $W(G\square H)$ for graphs $G$ and $H$ satisfying various conditions. In particular, we show that if $G,H\in \mathfrak{N}$ and $H$ is an $r$-regular graph, then $W(G\square H)\geq W(G)+W(H)+r$. We also derive a new upper bound on $W(G)$ for interval colorable connected graphs with additional distance conditions. Based on these bounds, we improve known lower and upper bounds on $W(C_{2n_{1}}\square C_{2n_{2}}\square\cdots \square C_{2n_{k}})$ for $k$-dimensional tori $C_{2n_{1}}\square C_{2n_{2}}\square\cdots \square C_{2n_{k}}$ and on $W(K_{2n_{1}}\square K_{2n_{2}}\square\cdots \square K_{2n_{k}})$ for Hamming graphs $K_{2n_{1}}\square K_{2n_{2}}\square\cdots \square K_{2n_{k}}$, and these new bounds coincide with each other for hypercubes. Finally, we give several results on interval colorings of Fibonacci cubes $Γ_{n}$.
The Distinguishing Index of Mycielskian Graphs
The distinguishing index gives a measure of symmetry in a graph. Given a graph $G$ with no $K_2$ component, a distinguishing edge coloring is a coloring of the edges of $G$ such that no non-trivial automorphism preserves the edge coloring. The distinguishing index, denoted $\operatorname{Dist^{\prime}}(G)$, is the smallest number of colors needed for a distinguishing edge coloring. The Mycielskian of a graph $G$, denoted $μ(G)$, is an extension of $G$ introduced by Mycielski in 1955. In 2020, Alikhani and Soltani conjectured a relationship between $operatorname{Dist^{\prime}}(G)$ and $operatorname{Dist^{\prime}}(μ(G))$. We prove that for all graphs $G$ with at least 3 vertices, no connected $K_2$ component, and at most one isolated vertex, $\operatorname{Dist^{\prime}}(μ(G)) \le \operatorname{Dist^{\prime}}(G)$, exceeding their conjecture. We also prove analogous results about generalized Mycielskian graphs. Together with the work in 2022 of Boutin, Cockburn, Keough, Loeb, Perry, and Rombach this completes the conjecture of Alikhani and Soltani.
A bounded diameter strengthening of Kőnig's Theorem
K\H onig's theorem says that the vertex cover number of every bipartite graph is at most its matching number (in fact they are equal since, trivially, the matching number is at most the vertex cover number). An equivalent formulation of K\H onig's theorem is that in every $2$-colouring of the edges of a graph $G$, the number of monochromatic components needed to cover the vertex set of $G$ is at most the independence number of $G$.
We prove the following strengthening of K\H onig's theorem: In every $2$-colouring of the edges of a graph $G$, the number of monochromatic subgraphs of bounded diameter needed to cover the vertex set of $G$ is at most the independence number of $G$.
On the periodic decompositions of multidimensional configurations
We consider $d$-dimensional configurations, that is, colorings of the $d$-dimensional integer grid $\mathbb{Z}^d$ with finitely many colors. Moreover, we interpret the colors as integers so that configurations are functions $\mathbb{Z}^d \to \mathbb{Z}$ of finite range. We say that such function is $k$-periodic if it is invariant under translations in $k$ linearly independent directions. It is known that if a configuration has a non-trivial annihilator, that is, if some non-trivial linear combination of its translations is the zero function, then it is a sum of finitely many periodic functions. This result is known as the periodic decomposition theorem. We prove two different improvements of it. The first improvement gives a characterization on annihilators of a configuration to guarantee the $k$-periodicity of the functions in its periodic decomposition -- for any $k$. The periodic decomposition theorem is then a special case of this result with $k=1$. The second improvement concerns so called sparse configurations for which the number of non-zero values in patterns grows at most linearly with respect to the diameter of the pattern. We prove that a sparse configuration with a non-trivial annihilator is a sum of finitely many periodic fibers where a fiber means a function whose non-zero values lie on a unique line.
Proper rainbow saturation for trees
Given a graph $H$, we say that a graph $G$ is properly rainbow $H$-saturated if: (1) There is a proper edge colouring of $G$ containing no rainbow copy of $H$; (2) For every $e \notin E(G)$, every proper edge colouring of $G+e$ contains a rainbow copy of $H$. The proper rainbow saturation number $\text{sat}^*(n,H)$ is the minimum number of edges in a properly rainbow $H$-saturated graph. In this paper we initiate a systematic study of the proper rainbow saturation number for trees. We obtain exact and asymptotic results on $\text{sat}^*(n,T)$ for several infinite families of trees. Our proofs reveal connections to the classical saturation and semi-saturation numbers.
Improved bounds for proper rainbow saturation
Given a graph $H$, we say that a graph $G$ is properly rainbow $H$-saturated if: (1) There is a proper edge colouring of $G$ containing no rainbow copy of $H$; (2) For every $e \notin E(G)$, every proper edge colouring of $G+e$ contains a rainbow copy of $H$. The proper rainbow saturation number $\text{sat}^*(n,H)$ is the minimum number of edges in a properly rainbow $H$-saturated graph. In this paper we use connections to the classical saturation and semi-saturation numbers to provide new upper bounds on $\text{sat}^*(n,H)$ for general cliques, cycles, and complete bipartite graphs. We also provide some general lower bounds on $\text{sat}^*(n,H)$ and explore several other interesting directions.
Claw-free cubic graphs are $(1, 1, 2, 2)$-colorable
A $(1,1,2,2)$-coloring of a graph is a partition of its vertex set into four sets two of which are independent and the other two are $2$-packings. In this paper, we prove that every claw-free cubic graph admits a $(1,1,2,2)$-coloring. This implies that the conjecture from [Packing chromatic number, $(1,1,2,2)$-colorings, and characterizing the Petersen graph, Aequationes Math.\ 91 (2017) 169--184] that the packing chromatic number of subdivisions of subcubic graphs is at most $5$ is true in the case of claw-free cubic graphs.
Multipath matroids, digraph colourings, and the Tutte polynomial
We characterise the digraphs for which the multipaths, that is disjoint unions of directed paths, yield a matroid. For such graphs, called MP-digraphs, we prove that the Tutte polynomial of the multipath matroid is related to counting certain digraph colourings. Finally, we prove that, for MP-forests, the decategorification of the multipath cohomology yields a specialisation of the Tutte polynomial.
Frozen colourings in $2K_2$-free graphs
Published in Electronic Journal of Combinatorics 32(2), 2025
• View Publication
• BIB
The \emph{reconfiguration graph of the $k$-colourings} of a graph $G$, denoted $\mathcal{R}_k(G)$, is the graph whose vertices are the $k$-colourings of $G$ and two vertices of $\mathcal{R}_k(G)$ are joined by an edge if the colourings of $G$ they correspond to differ in colour on exactly one vertex. A $k$-colouring of a graph $G$ is called \emph{frozen} if it is an isolated vertex in $\mathcal{R}_k(G)$; in other words, for every vertex $v \in V(G)$, $v$ is adjacent to a vertex of every colour different from its colour.
A clique partition is a partition of the vertices of a graph into cliques. A clique partition is called a $k$-clique-partition if it contains at most $k$ cliques. Clearly, a $k$-colouring of a graph $G$ corresponds precisely to a $k$-clique-partition of its complement, $\overline{G}$. A $k$-clique-partition $\mathcal{Q}$ of a graph $H$ is called \emph{frozen} if for every vertex $v \in V(H)$, $v$ has a non-neighbour in each of the cliques of $\mathcal{Q}$ other than the one containing $v$.
The cycle on four vertices, $C_4$, is sometimes called the \emph{square}; its complement is called $2K_2$.
We give several infinite classes of $2K_2$-free graphs with frozen colourings. We give an operation which transforms a $k$-chromatic graph with a frozen $(k+1)$-colouring into a $(k+1)$-chromatic graph with a frozen $(k+2)$-colouring. Our operation preserves being $2K_2$-free. It follows that for all $k \ge 4$, there is a $k$-chromatic $2K_2$-free graph with a frozen $(k+1)$-colouring. We prove these results by studying frozen clique partitions in $C_4$-free graphs.
We say a graph $G$ is \emph{recolourable} if $R_{\ell}(G)$ is connected for all $\ell$ greater than the chromatic number of $G$. We prove that every 3-chromatic $2K_2$-free graph is recolourable.
Polynomials Counting Group Colorings in Graphs
Jaeger et al. in 1992 introduced group coloring as the dual concept to group connectivity in graphs. Let $A$ be an additive Abelian group, $ f: E(G)\to A$ and $D$ an orientation of a graph $G$. A vertex coloring $c:V(G)\to A$ is an $(A, f)$-coloring if $c(v)-c(u)\ne f(e)$ for each oriented edge $e=uv$ from $u$ to $v$ under $D$. Kochol recently introduced the assigning polynomial to count nowhere-zero chains in graphs--nonhomogeneous analogues of nowhere-zero flows in \cite{Kochol2022}, and later extended the approach to regular matroids in \cite{Kochol2024}. Motivated by Kochol's work, we define the $α$-compatible graph and the cycle-assigning polynomial $P(G, α; k)$ at $k$ in terms of $α$-compatible spanning subgraphs, where $α$ is an assigning of $G$ from its cycles to $\{0,1\}$. We prove that $P(G,α;k)$ evaluates the number of $(A,f)$-colorings of $G$ for any Abelian group $A$ of order $k$ and $f:E(G)\to A$ such that the assigning $α_{D,f}$ given by $f$ equals $α$. Such an assigning is admissible. Based on Kochol's work, we derive that $k^{-c(G)}P(G,α;k)$ is a polynomial enumerating $(A,f)$-tensions and counting specific nowhere-zero chains.
Furthermore, by extending Whitney's broken cycle concept to broken compatible cycles, we show that the absolute value of the coefficient of $k^{|V(G)|-i}$ in $P(G,α;k)$ associated with admissible assignings $α$ equals the number of $α$-compatible spanning subgraphs that have $i$ edges and contain no broken $α$-compatible cycles. According to the combinatorial explanation, we establish a unified order-preserving relation from admissible assignings to cycle-assigning polynomials, and further show that for any admissible assigning $α$ of $G$ with $α(e)=1$ for every loop $e$, the coefficients of $P(G,α;k)$ are nonzero and alternate in sign.
Bounds and Hardness Results for Conflict-free Choosability
A '(partial) conflict-free coloring' of a hypergraph $\mathcal{H}$ is an assignment of colors to (a subset of) the vertex set of $\mathcal{H}$ such that every hyperedge in $\mathcal{H}$ has a vertex whose color is distinct from every other vertex in that hyperedge. The minimum number of colors required for such a coloring is known as the '(partial) conflict-free chromatic number' of $\mathcal{H}$. It is easy to see that the conflict-free chromatic number of a hypergraph is at most its partial conflict-free chromatic number plus one. Conflict-free coloring has also been studied on the open/closed neighborhood hypergraphs of a given graph under the name open/closed neighborhood conflict-free coloring. In this paper, we study partial and full list variants of conflict-free coloring where, for every vertex $v$, we are given a list of admissible colors $L_v$ such that $v$ is allowed to be colored only from $L_v$.
Bhyravarapu, Kalyanasundaram, and Mathew [Journal of Graph Theory, 2021] showed that the closed-neighborhood conflict-free chromatic number of any graph $G$ with maximum degree $Δ$ is at most $O(\ln^2 Δ)$. In this paper, we extend the $O(\ln^2 Δ)$ upper bound to the partial list variant of the closed-neighborhood conflict-free chromatic number. Further, we establish computational complexity results concerning the list open/closed-neighborhood conflict-free chromatic numbers.
On Oriented Colourings of Graphs on Surfaces
For an oriented graph $G$, the least number of colours required to oriented colour $G$ is called the oriented chromatic number of $G$ and denoted $χ_o(G)$.For a non-negative integer $g$ let $χ_o(g)$ be the least integer such that $χ_o(G) \leq χ_o(g)$ for every oriented graph $G$ with Euler genus at most $g$. We will prove that $χ_o(g)$ is nearly linear in the sense that $Ω(\frac{g}{\log(g)}) \leq χ_o(g) \leq O(g \log(g))$. This resolves a question of the author, Bradshaw, and Xu, by improving their bounds of the form $Ω((\frac{g^2}{\log(g)})^{1/3}) \leq χ_o(g)$ and $χ_o(g) \leq O(g^{6400})$.
Colouring the 1-skeleton of $d$-dimensional triangulations
While every plane triangulation is colourable with three or four colours, Heawood showed that a plane triangulation is 3-colourable if and only if every vertex has even degree. In $d \geq 3$ dimensions, however, every $k \geq d+1$ may occur as the chromatic number of some triangulation of ${\mathbb S}^d$. As a first step, Joswig structurally characterised which triangulations of ${\mathbb S}^d$ have a $(d+1)$-colourable 1-skeleton. In the 20 years since Joswig's result, no characterisations have been found for any $k>d+1$.
In this paper, we structurally characterise which triangulations of ${\mathbb S}^d$ have a $(d+2)$-colourable 1-skeleton: they are precisely the triangulations that have a subdivision such that for every $(d-2)$-cell, the number of incident $(d-1)$-cells is divisible by three.
Embedding arbitrary edge-colorings of hypergraphs into regular colorings
For $\textbf{r}=(r_1,\ldots,r_k)$, an $\textbf{r}$-factorization of the complete $λ$-fold $h$-uniform $n$-vertex hypergraph $λK_n^h$ is a partition of the edges of $λK_n^h$ into $F_1,\ldots, F_k$ such that $F_j$ is $r_j$-regular and spanning for $1\leq j\leq k$. This paper shows that for $n>\frac{m-1}{1-2^{\frac{1}{1-h}}}+h-1$, a partial $\textbf{r}$-factorization of $λK_m^h$ can be extended to an $\textbf{r}$-factorization of $λK_n^h$ if and only if the obvious necessary conditions are satisfied.
On the MST-ratio: Theoretical Bounds and Complexity of Finding the Maximum
Given a finite set of red and blue points in $\Rspace^d$, the MST-ratio is defined as the total length of the Euclidean minimum spanning trees of the red points and the blue points, divided by the length of the Euclidean minimum spanning tree of their union. The MST-ratio has recently gained attention due to its direct interpretation in topological models for studying point sets with applications in spatial biology. The maximum MST-ratio of a point set is the maximum MST-ratio over all proper colorings of its points by red and blue. We prove that finding the maximum MST-ratio of a given point set is NP-hard when the dimension is part of the input. Moreover, we present a quadratic-time $3$-approximation algorithm for this problem. As part of the proof, we show that, in any metric space, the maximum MST-ratio is smaller than $3$. Additionally, we study the average MST-ratio over all colorings of a set of $n$ points. We show that this average is always at least $\frac{n-2}{n-1}$, and for $n$ random points uniformly distributed in a $d$-dimensional unit cube, the average tends to $\sqrt[d]{2}$ in expectation as $n$ approaches infinity.