coloring
4410 papers tagged with this keyword
A fresh look to a randomized massively parallel graph coloring algorithm
Petford and Welsh introduced a sequential heuristic algorithm for (approximately) solving the NP-hard graph coloring problem. The algorithm is based on the antivoter model and mimics the behaviour of a physical process based on a multi-particle system of statistical mechanics. It was later shown that the algorithm can be implemented in massively parallel model of computation. The increase of processing power in recent years allow us to perform an extensive analysis of the algorithms on a larger scale, leading to possibility of a more comprehensive understanding of the behaviour of the algorithm including the phase transition phenomena.
Constructing graphs with no independent transversals
Given a graph $G$ and a partition $P$ of its vertex set, an independent transversal (IT) is an independent set of $G$ that contains one vertex from each block in $P$. Various sufficient conditions for the existence of an IT have been established, and a common theme for many of them is that the block sizes are sufficiently large compared to the maximum degree of $G$. Consequently, there has been interest in constructing graphs with no IT which demonstrate that these bounds on the block sizes are best possible. We describe a simple systematic method for constructing vertex-partitioned graphs with large block sizes and no IT. Unifying previous constructions, we use our method to derive classical extremal constructions due to Jin (1992), Yuster (1997), and Szabó and Tardos (2006) in streamlined fashion. For our new results, we describe extremal constructions of minimal graphs with maximum degree two and no IT, generalizing a result of Aharoni, Holzman, Howard, and Sprüssel (2015). We construct a family of locally sparse graphs with no IT, complementing an asymptotic result of Loh and Sudakov (2007). We describe new and smaller counterexamples to a list coloring conjecture of Reed (1999), which was originally disproved by Bohman and Holzman (2002). We disprove a conjecture of Aharoni, Alon, and Berger (2016) about IT's in graphs without large induced stars. We answer negatively a question of Aharoni, Holzman, Howard, and Sprüssel (2015) about extremal graphs with no IT, but we also prove that a useful variation of their question does hold.
Transitive and Gallai colorings
A Gallai coloring of the complete graph is an edge-coloring with no rainbow triangle. This concept first appeared in the study of comparability graphs and anti-Ramsey theory. We introduce a transitive analogue for acyclic directed graphs, and generalize both notions to Coxeter systems, matroids and commutative algebras.
It is shown that for any finite matroid (or oriented matroid), the maximal number of colors is equal to the matroid rank. This generalizes a result of Erdős-Simonovits-Sós for complete graphs. The number of Gallai (or transitive) colorings of the matroid that use at most $k$ colors is a polynomial in $k$. Also, for any acyclic oriented matroid, represented over the real numbers, the number of transitive colorings using at most 2 colors is equal to the number of chambers in the dual hyperplane arrangement.
We count Gallai and transitive colorings of the root system of type A using the maximal number of colors, and show that, when equipped with a natural descent set map, the resulting quasisymmetric function is symmetric and Schur-positive.
Hardness Transitions and Uniqueness of Acyclic Colouring
For $k\in \mathbb{N}$, a $k$-acyclic colouring of a graph $G$ is a function $f\colon V(G)\to \{0,1,\dots,k-1\}$ such that (i)~$f(u)\neq f(v)$ for every edge $uv$ of $G$, and (ii)~there is no cycle in $G$ bicoloured by $f$. For $k\in \mathbb{N}$, the problem $k$-ACYCLIC COLOURABILITY takes a graph $G$ as input and asks whether $G$ admits a $k$-acyclic colouring.
Ochem (EuroComb 2005) proved that 3-ACYCLIC COLOURABILITY is NP-complete for bipartite graphs of maximum degree~4. Mondal et al. (J. Discrete Algorithms, 2013) proved that 4-ACYCLIC COLOURABILITY is NP-complete for graphs of maximum degree five. We prove that for $k\geq 3$, $k$-ACYCLIC COLOURABILITY is NP-complete for bipartite graphs of maximum degree $k+1$, thereby generalising the NP-completeness result of Ochem, and adding bipartiteness to the NP-completeness result of Mondal et al. In contrast, $k$-ACYCLIC COLOURABILITY is polynomial-time solvable for graphs of maximum degree at most $0.38\, k^{\,3/4}$. Hence, for $k\geq 3$, the least integer $d$ such that $k$-ACYCLIC COLOURABILITY in graphs of maximum degree $d$ is NP-complete, denoted by $L_a^{(k)}$, satisfies $0.38\, k^{\,3/4}<L_a^{(k)}\leq k+1$. We prove that for $k\geq 4$, $k$-ACYCLIC COLOURABILITY in $d$-regular graphs is NP-complete if and only if $L_a^{(k)}\leq d\leq 2k-3$. We also show that it is coNP-hard to check whether an input graph $G$ admits a unique $k$-acyclic colouring up to colour swaps (resp. up to colour swaps and automorphisms).
Hardness Transitions of Star Colouring and Restricted Star Colouring
We study how the complexity of the graph colouring problems star colouring and restricted star colouring vary with the maximum degree of the graph. Restricted star colouring (in short, rs colouring) is a variant of star colouring. For $k\in \mathbb{N}$, a $k$-colouring of a graph $G$ is a function $f\colon V(G)\to \mathbb{Z}_k$ such that $f(u)\neq f(v)$ for every edge $uv$ of $G$. A $k$-colouring of $G$ is called a $k$-star colouring of $G$ if there is no path $u,v,w,x$ in $G$ with $f(u)=f(w)$ and $f(v)=f(x)$. A $k$-colouring of $G$ is called a $k$-rs colouring of $G$ if there is no path $u,v,w$ in $G$ with $f(v)>f(u)=f(w)$. For $k\in \mathbb{N}$, the problem $k$-STAR COLOURABILITY takes a graph $G$ as input and asks whether $G$ admits a $k$-star colouring. The problem $k$-RS COLOURABILITY is defined similarly. Recently, Brause et al. (Electron. J. Comb., 2022) investigated the complexity of 3-star colouring with respect to the graph diameter. We study the complexity of $k$-star colouring and $k$-rs colouring with respect to the maximum degree for all $k\geq 3$. For $k\geq 3$, let us denote the least integer $d$ such that $k$-STAR COLOURABILITY (resp. $k$-RS COLOURABILITY) is NP-complete for graphs of maximum degree $d$ by $L_s^{(k)}$ (resp. $L_{rs}^{(k)}$).
We prove that for $k=5$ and $k\geq 7$, $k$-STAR COLOURABILITY is NP-complete for graphs of maximum degree $k-1$. We also show that $4$-RS COLOURABILITY is NP-complete for planar 3-regular graphs of girth 5 and $k$-RS COLOURABILITY is NP-complete for triangle-free graphs of maximum degree $k-1$ for $k\geq 5$. Using these results, we prove the following: (i) for $k\geq 4$ and $d\leq k-1$, $k$-STAR COLOURABILITY is NP-complete for $d$-regular graphs if and only if $d\geq L_s^{(k)}$; and (ii) for $k\geq 4$, $k$-RS COLOURABILITY is NP-complete for $d$-regular graphs if and only if $L_{rs}^{(k)}\leq d\leq k-1$.
Partition regularity of Pythagorean pairs
Published in Forum of Mathematics, Pi 13 (2025) e5
• View Publication
• BIB
We address a core partition regularity problem in Ramsey theory by proving that every finite coloring of the positive integers contains monochromatic Pythagorean pairs, i.e., $x,y\in \mathbb{N}$ such that $x^2\pm y^2=z^2$ for some $z\in \mathbb{N}$. We also show that partitions generated by level sets of multiplicative functions taking finitely many values always contain Pythagorean triples. Our proofs combine known Gowers uniformity properties of aperiodic multiplicative functions with a novel and rather flexible approach based on concentration estimates of multiplicative functions.
Coloring and density theorems for configurations of a given volume
This is a treatise on finite point configurations spanning a fixed volume to be found in a single color-class of an arbitrary finite (measurable) coloring of the Euclidean space $\mathbb{R}^n$, or in a single large measurable subset $A\subseteq\mathbb{R}^n$. More specifically, we study vertex-sets of simplices, rectangular boxes, and parallelotopes, attempting to make progress on several open problems posed in the 1970s and the 1980s. As one of the highlights, we give a negative answer to a question of Erdős and Graham, by coloring the Euclidean plane $\mathbb{R}^2$ in $25$ colors without creating monochromatic rectangles of unit area. More generally, we construct a finite coloring of the Euclidean space $\mathbb{R}^n$ such that no color-class contains the $2^m$ vertices of any (possibly rotated) $m$-dimensional rectangular box of volume $1$. A positive result is still possible if rectangular boxes of merely sufficiently large volumes are sought in a single color-class of a finite measurable coloring of $\mathbb{R}^n$, and we establish it under an additional assumption $n\geq m+1$. Also, motivated by a question of Graham on reasonable bounds in his result on monochromatic axes-aligned right-angled $m$-dimensional simplices, we establish its measurable coloring and density variants with polylogarithmic bounds, again in dimensions $n\geq m+1$. Next, we generalize a result of Erdős and Mauldin, by constructing an infinite measure set $A\subseteq\mathbb{R}^n$ such that every $n$-parallelotope with vertices in $A$ has volume strictly smaller than $1$. Finally, some results complementing the literature on isometric embeddings of hypercube graphs and on the hyperbolic analogue of the Hadwiger-Nelson problem also follow as byproducts of our approaches.
A renewal approach to prove the Four Color Theorem unplugged, Part II: R/G/B Kempe chains in an extremum non-4-colorable MPG
This is the second part of three episodes to demonstrate a renewal approach for proving the Four Color Theorem without checking by a computer. The first and the third episodes have subtitles: ``RGB-tilings on maximal planar graphs'' and ``Diamond routes, canal lines and $Σ$-adjustments,'' where R/G/B stand for red, green and blue colors to paint on edges and an MPG stands for a maximal planar graph. We focus on an extremum non-4-colorable MPG $EP$ in the whole paper. In this second part, we refresh the false proof on $EP$ by Kempe for the Four Color Theorem. And then using single color tilings or RGB-tilings on $EP$, we offer a renewal point of view through R/G/B Kempe chains to enhance our coloring skill, either in vertex-colorings or in edge-colorings. We discover many fundamental theorems associated with R-/RGB-tilings and 4-colorability; an adventure study on One Piece, which is either an MPG or an $n$-semi-MPG; many if-and-only-if statements for $EP-\{e\}$ by using Type A or Type B $e$-diamond and Kempe chains. This work started on May 31, 2018 and was first announced by the author~\cite{Liu2020} on Jan.\ 22, 2020, when the pandemic just occurred.
Turán Colourings in Off-Diagonal Ramsey Multiplicity
The \emph{Ramsey multiplicity constant} of a graph $H$ is the limit as $n$ tends to infinity of the minimum density of monochromatic labeled copies of $H$ in a $2$-edge colouring of $K_n$. Fox and Wigderson recently identified a large family of graphs whose Ramsey multiplicity constants are attained by sequences of ``Turán colourings''; i.e. colourings in which one of the colour classes forms the edge set of a balanced complete multipartite graph. Each graph in their family comes from taking a connected non-3-colourable graph with a critical edge and adding many pendant edges. We extend their result to an off-diagonal variant of the Ramsey multiplicity constant which involves minimizing a weighted sum of red copies of one graph and blue copies of another.
Coloured corner processes from asymptotics of LLT polynomials
We consider probability measures arising from the Cauchy summation identity for the LLT (Lascoux--Leclerc--Thibon) symmetric polynomials of rank $n \geq 1$. We study the asymptotic behaviour of these measures as one of the two sets of polynomials in the Cauchy identity stays fixed, while the other one grows to infinity. At $n=1$, this corresponds to an analogous limit of the Schur process, which is known to be given by the Gaussian Unitary Ensemble (GUE) corners process.
Our main result states that, for $n>1$, our measures asymptotically split into two parts: a continuous one and a discrete one. The continuous part is a product of $n$ GUE corners processes; the discrete part is an explicit finite distribution on interlacing $n$-colourings of $n$ interlacing triangles, which has weights that are rational functions in the LLT parameter $q$. The latter distribution has a number of interesting (partly conjectural) combinatorial properties, such as $q$-nonnegativity and enumerative phenomena underlying its support.
Our main tools are two different representations of the LLT polynomials, one as partition functions of a fermionic lattice model of rank $n$, and the other as finite-dimensional contour integrals, which were recently obtained in arXiv:2012.02376, arXiv:2101.01605.
Distinguishing colorings, proper colorings, and covering properties without the Axiom of Choice
Published in Ars Math. Contemp. 24(4): 4 (2024)
• View Publication
• BIB
We work with simple graphs in ZF (Zermelo--Fraenkel set theory without the Axiom of Choice (AC)) and assume that the sets of colors can be either well-orderable or non-well-orderable to prove that the following statements are equivalent to Kőnig Lemma: (a) Any infinite locally finite connected graph G such that the minimum degree of G is greater than k, has a chromatic number for any fixed integer k greater than or equal to 2. (b) Any infinite locally finite connected graph has a chromatic index. (c) Any infinite locally finite connected graph has a distinguishing number. (d) Any infinite locally finite connected graph has a distinguishing index.
Our results strengthen some results of Stawiski from a recent paper on the role of the Axiom of Choice in proper and distinguishing colorings since he assumed that the sets of colors can be well-ordered.
We also formulate new conditions for the existence of irreducible proper coloring, minimal edge cover, maximal matching, and minimal dominating set in connected bipartite graphs and locally finite connected graphs, which are either equivalent to AC or Kőnig Lemma. Moreover, we show that if the Axiom of Choice for families of 2 element sets holds, then the Shelah--Soifer graph has a minimal dominating set.
The externally definable Ramsey property and fixed points on type spaces
Published in Arch. Math. Logic, 64 (2025), no. 3, 605-635
• View Publication
• BIB
We discuss the externally definable Ramsey property, a weakening of the Ramsey property for ultrahomogeneous structures, where the only colourings considered are those that are externally definable: that is, definable with parameters in an elementary extension. We show a number of basic results analogous to the classical Ramsey theory, and show that, for an ultrahomogeneous structure M with countable age, the externally definable Ramsey property is equivalent to the dynamical statement that, for each natural number n, every subflow of the space of n-types with parameters in M has a fixed point. We discuss a range of examples, including results regarding the lexicographic product of structures.
Distribution of colours in rainbow H-free colourings
An edge colouring of $K_n$ with $k$ colours is a Gallai $k$-colouring if it does not contain any rainbow triangle. Gyárfás, Pálvölgyi, Patkós and Wales proved that there exists a number $g(k)$ such that $n\geq g(k)$ if and only if for any colour distribution sequence $(e_1,\cdots,e_k)$ with $\sum_{i=1}^ke_i=\binom{n}{2}$, there exist a Gallai $k$-colouring of $K_n$ with $e_i$ edges having colour $i$. They also showed that $Ω(k)=g(k)=O(k^2)$ and posed the problem of determining the exact order of magnitude of $g(k)$. Feffer, Fu and Yan improved both bounds significantly by proving $Ω(k^{1.5}/\log k)=g(k)=O(k^{1.5})$. We resolve this problem by showing $g(k)=Θ(k^{1.5}/(\log k)^{0.5})$.
Moreover, we generalise these definitions by considering rainbow $H$-free colourings of $K_n$ for any general graph $H$, and the natural corresponding quantity $g(H,k)$. We prove that $g(H,k)$ is finite for every $k$ if and only if $H$ is not a forest, and determine the order of $g(H,k)$ when $H$ contains a subgraph with minimum degree at least 3.
Cop-width, flip-width and strong colouring numbers
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:2, Graph Theory (May 7, 2025) dmtcs:14976
• View Publication
• BIB
Cop-width and flip-width are new families of graph parameters introduced by Toruńczyk (2023) that generalise treewidth, degeneracy, generalised colouring numbers, clique-width and twin-width. In this paper, we bound the cop-width and flip-width of a graph by its strong colouring numbers. In particular, we show that for every $r\in \mathbb{N}$, every graph $G$ has $\text{copwidth}_r(G)\leq \text{scol}_{4r}(G)$. This implies that every class of graphs with linear strong colouring numbers has linear cop-width and linear flip-width. We use this result to deduce improved bounds for cop-width and flip-width for various sparse graph classes.
Packings in bipartite prisms and hypercubes
The $2$-packing number $ρ_2(G)$ of a graph $G$ is the cardinality of a largest $2$-packing of $G$ and the open packing number $ρ^{\rm o}(G)$ is the cardinality of a largest open packing of $G$, where an open packing (resp. $2$-packing) is a set of vertices in $G$ no two (closed) neighborhoods of which intersect. It is proved that if $G$ is bipartite, then $ρ^{\rm o}(G\Box K_2) = 2ρ_2(G)$. For hypercubes, the lower bounds $ρ_2(Q_n) \ge 2^{n - \lfloor \log n\rfloor -1}$ and $ρ^{\rm o}(Q_n) \ge 2^{n - \lfloor \log (n-1)\rfloor -1}$ are established. These findings are applied to injective colorings of hypercubes. In particular, it is demonstrated that $Q_9$ is the smallest hypercube which is not perfect injectively colorable. It is also proved that $γ_t(Q_{2^k}\times H) = 2^{2^k-k}γ_t(H)$, where $H$ is an arbitrary graph with no isolated vertices.
Star Colouring of Bounded Degree Graphs and Regular Graphs
Published in Discrete Mathematics, 345 (6), 112850 (2022)
• View Publication
• BIB
A $k$-star colouring of a graph $G$ is a function $f:V(G)\to\{0,1,\dots,k-1\}$ such that $f(u)\neq f(v)$ for every edge $uv$ of $G$, and every bicoloured connected subgraph of $G$ is a star. The star chromatic number of $G$, $χ_s(G)$, is the least integer $k$ such that $G$ is $k$-star colourable. We prove that $χ_s(G)\geq \lceil (d+4)/2\rceil$ for every $d$-regular graph $G$ with $d\geq 3$. We reveal the structure and properties of even-degree regular graphs $G$ that attain this lower bound. The structure of such graphs $G$ is linked with a certain type of Eulerian orientations of $G$. Moreover, this structure can be expressed in the LC-VSP framework of Telle and Proskurowski (SIDMA, 1997), and hence can be tested by an FPT algorithm with the parameter either treewidth, cliquewidth, or rankwidth. We prove that for $p\geq 2$, a $2p$-regular graph $G$ is $(p+2)$-star colourable only if $n:=|V(G)|$ is divisible by $(p+1)(p+2)$. For each $p\geq 2$ and $n$ divisible by $(p+1)(p+2)$, we construct a $2p$-regular Hamiltonian graph on $n$ vertices which is $(p+2)$-star colourable.
The problem $k$-STAR COLOURABILITY takes a graph $G$ as input and asks whether $G$ is $k$-star colourable. We prove that 3-STAR COLOURABILITY is NP-complete for planar bipartite graphs of maximum degree three and arbitrarily large girth. Besides, it is coNP-hard to test whether a bipartite graph of maximum degree eight has a unique 3-star colouring up to colour swaps. For $k\geq 3$, $k$-STAR COLOURABILITY of bipartite graphs of maximum degree $k$ is NP-complete, and does not even admit a $2^{o(n)}$-time algorithm unless ETH fails.
Note on polychromatic coloring of hereditary hypergraph families
We exhibit a 5-uniform hypergraph that has no polychromatic 3-coloring, but all its restricted subhypergraphs with edges of size at least 3 are 2-colorable. This disproves a bold conjecture of Keszegh and the author, and can be considered as the first step to understand polychromatic colorings of hereditary hypergraph families better since the seminal work of Berge. We also show that our method cannot give hypergraphs of arbitrary high uniformity, and mention some connections to panchromatic colorings.
On off-diagonal Ramsey numbers for vector spaces over $\mathbb{F}_{2}$
For every positive integer $d$, we show that there must exist an absolute constant $c > 0$ such that the following holds: for any integer $n \geq cd^{7}$ and any red-blue coloring of the one-dimensional subspaces of $\mathbb{F}_{2}^{n}$, there must exist either a $d$-dimensional subspace for which all of its one-dimensional subspaces get colored red or a $2$-dimensional subspace for which all of its one-dimensional subspaces get colored blue. This answers recent questions of Nelson and Nomoto, and confirms that for any even plane binary matroid $N$, the class of $N$-free, claw-free binary matroids is polynomially $χ$-bounded.
Our argument will proceed via a reduction to a well-studied additive combinatorics problem, originally posed by Green: given a set $A \subset \mathbb{F}_{2}^{n}$ with density $α\in [0,1]$, what is the largest subspace that we can find in $A+A$? Our main contribution to the story is a new result for this problem in the regime where $1/α$ is large with respect to $n$, which utilizes ideas from the recent breakthrough paper of Kelley and Meka on sets of integers without three-term arithmetic progressions.
Thick Forests
We consider classes of graphs, which we call thick graphs, that have the vertices of a corresponding thin graph replaced by cliques and the edges replaced by cobipartite graphs In particular, we consider the case of thick forests, which we show to be the largest class of perfect thick graphs.
Recognising membership of a class of thick graphs is NP-complete unless the class of thin graphs is triangle-free, so we focus on this case. Even then membership can be NP-complete. However, we show that the class of thick forests can be recognised in polynomial time. We consider two well-studied combinatorial problems on thick graphs, independent sets and proper colourings. Since determining the independence or chromatic number of a perfect graph is known to be tractable, we examine the complexity of counting all independent sets and colourings in thick forests.
Finally, we consider two parametric extensions to larger classes of thick graphs: where the parameter is the size of the thin graph, and where the parameter is its treewidth.
On graphs with maximum difference between game chromatic number and chromatic number
In the vertex colouring game on a graph $G$, Maker and Breaker alternately colour vertices of $G$ from a palette of $k$ colours, with no two adjacent vertices allowed the same colour. Maker seeks to colour the whole graph while Breaker seeks to make some vertex impossible to colour. The game chromatic number of $G$, $χ_g(G)$, is the minimal number $k$ of colours for which Maker has a winning strategy for the vertex colouring game. Matsumoto proved in 2019 that $χ_g(G)-χ(G)\leq\lfloor n/2\rfloor - 1$, and conjectured that the only equality cases are some graphs of small order and the Turán graph $T(2r,r)$ (i.e. $K_{2r}$ minus a perfect matching). We resolve this conjecture in the affirmative by considering a modification of the vertex colouring game wherein Breaker may remove a vertex instead of colouring it. Matsumoto further asked whether a similar result could be proved for the vertex marking game, and we provide an example to show that no such nontrivial result can exist.