coloring
4536 papers tagged with this keyword
List-recoloring of two classes of planar graphs
Published
• View Publication
• BIB
For a graph $G$ with a list assignment $L$ and two $L$-colorings $α$ and $β$, an $L$-recoloring sequence from $α$ to $β$ is a sequence of proper $L$-colorings where consecutive colorings differ at exactly one vertex. We prove the existence of such a recoloring sequence in which every vertex is recolored at most a constant number of times under two conditions: (i) $G$ is planar, contains no $3$-cycles or intersecting $4$-cycles, and $L$ is a $6$-assignment; or (ii) the maximum average degree of $G$ satisfies $\mathrm{mad}(G) < \frac{5}{2}$ and $L$ is a $4$-assignment. These results strengthen two theorems previously established by Cranston.
Brooks' theorem for signed graphs with $Δ=3$
Circular $r$-coloring of a signed graph $(G,σ)$ is a mapping of its vertices to a circle of circumference $r$ such that: I. each pair of vertices with a negative connection is at distance at least $1$, and II. for each pair with a positive connection, the distance of one from the antipodal of the other is at least $1$. A signed graph $(G,σ)$ admits a circular $r$-coloring for some values of $r$ if and only if it has no negative loop. The smallest value of such $r$ is the circular chromatic number, denoted $χ_{c}(G,σ)$. The circular chromatic number is a refinement of the balanced chromatic number, which is mostly studied under the equivalent term $0$-free coloring in the literature.
Extending Brooks' theorem, Má\v cajová, Raspaud, and Škoviera showed that if $Δ(G)$ is an even number, $G$ is connected, and $(G,σ)$ is not (switching) isomorphic to $(K_{Δ+1},-)$ or $C_{-\ell}$ (when $Δ(G)=2$), then $χ_c(G,σ)\leq Δ(G)$ and that the upper bound is tight. For the odd values of $Δ(G)$, assuming a connected signed graph $(G,σ)$ is not isomorphic to $(K_{Δ+1},-)$, determining the best upper bound for $χ_c(G, σ)$ proves to be more of a challenge. In this work, addressing the first step of this question, we show that if $(G, σ)$ is a signed graph of maximum degree 3 with no component isomorphic to $(K_4, -)$, then $χ_{c}(G, σ)\leq \frac{10}{3}$. The upper bound is tight even among signed cubic graphs of girth 5. In particular, there is a signature on the Petersen graph for which the upper of $\frac{10}{3}$ is achieved.
Closed Neighborhood Balanced k-Coloring of Graphs
For a simple graph G = (V, E) and a positive integer k greater than or equal to 2, a coloring of vertices of G using exactly k colors such that every vertex has an equal number of vertices of each color in its closed neighborhood is called closed neighborhood-balanced k-coloring, and the graph which admits such a coloring is called closed neighborhood balanced k-colored graph. We derive some necessary/sufficient conditions for a graph to admit a closed neighborhood balanced k-coloring and discuss various graph operations involving such graphs. Furthermore, we prove that there is no forbidden subgraph characterization for the class of closed neighborhood-balanced k-colorable graphs.
5-Coloring Planar Graphs with a Color Class of Order at Most $|V|/6$
Published
• View Publication
• BIB
We show that any planar graph $G=(V,E)$ has a 5-coloring such that one color class contains at most $|V|/6$ vertices. In other words, there exists a partition of $V$ into five independent sets $\{V_1, \cdots, V_5\}$ such that $|V_5| \leq |V| / 6$. Our proof yields an $O(|V|^2)$-time algorithm to find such a partition, and unlike the Four Color Theorem, our proof is fully verifiable without computer assistance.
On the quantum chromatic number of Hamming and generalized Hadamard graphs
Quantum coloring finds applications in quantum cryptography and information. In this paper, we study the quantum chromatic numbers of Hamming graphs and a generalization of Hadamard graphs. We investigate the separation between the quantum and classical chromatic numbers of these graphs and determine the quantum chromatic numbers for some of them.
For the upper bounds of the quantum chromatic numbers, we develop a linear programming approach over the Hamming scheme to construct modulus-one orthogonal representations. For the lower bounds, we determine the minimum eigenvalues for some of these graphs to derive corresponding spectral lower bounds on their quantum chromatic numbers.
Some progress on $t$-tone coloring
A $t$-tone coloring of a graph $G$ assigns to each vertex a set of $t$ colors such that any pair of vertices $u, v$ with distance $d$ can share at most $d-1$ colors. In this note, we prove several new results on $t$-tone coloring. For example we prove a new result for trees of large maximum degree, as well as some results for the cartesian power of a graph. We also make a conjecture about trees.
Dominating Hadwiger's Conjecture holds for all $2K_2$-free graphs
A dominating $K_t$ minor in a graph $G$ is a sequence $(T_1,\dots,T_t)$ of pairwise disjoint non-empty connected subgraphs of $G$, such that for $1 \leq i<j\leq t$, every vertex in $T_j$ has a neighbor in $T_i$. Replacing ``every vertex in $T_j$'' by ``some vertex in $T_j$'' retrieves the standard definition of a $K_t$ minor. The strengthened notion was introduced by Illingworth and Wood [arXiv:2405.14299], who asked whether every graph with chromatic number $t$ contains a dominating $K_t$ minor. This is a substantial strengthening of the celebrated Hadwiger's Conjecture, which asserts that every graph with chromatic number $t$ contains a $K_t$ minor. At the ``New Perspectives in Colouring and Structure'' workshop held at the Banff International Research Station from September 29 - October 4, 2024, Norin referred to this question as the ``Dominating Hadwiger's Conjecture'' and believes it is likely false. In this paper we prove that the Dominating Hadwiger's Conjecture holds for all $2K_2$-free graphs. A key component of our proof is the clever use of the existence of an induced banner, obtained by adding a vertex adjacent to exactly one vertex on a cycle of length four.
Flexible DP 3-coloring of sparse multigraphs
A \emph{request} on a graph assigns a preferred color to a subset of the vertices. A graph $G$ is \emph{$ε$-flexibly $k$-choosable} if for every $k$-list assignment $L$ and every request $r$ on $G$, there is an $L$-coloring such that an $ε$-fraction of the requests are satisfied. This notion was introduced in 2019 by Dvořák, Norin, and Postle, who also proved important properties of flexible colorings and posed several natural problems. However, the weighted version of this problem is a special case of the much older problem of fractional hypergraph matchings, introduced by Lovász in 1975. We study flexibly DP-colorable multigraphs. We prove that every loopless multigraph with maximum average degree less than $3$ is $\frac{1}{5}$-flexibly DP $3$-colorable, except for an infinite family of multigraphs that we completely characterize. The constant $ε= \frac 15$ is best possible in the weighted setting, as shown by an infinite family of tight examples. Our result follows from a stronger statement in terms of potential. We also provide a family of graphs that gives a negative answer to a question by Dvořák, Norin, and Postle regarding flexibility for list coloring in the setting of DP-coloring.
New lower bounds on the non-repetitive chromatic number of some graphs
Published
• View Publication
• BIB
A graph \( G \) is said to be (vertex) non-repetitively colored if no simple path in \( G \) has a sequence of vertex colors that forms a repetition. Formally, a coloring \( c: V(G) \to \{1, 2, \dots, k\} \) is non-repetitive if, for every path \(\langle v_1, v_2, \dots, v_{2m} \rangle\) in \( G \), the sequence of colors \( c(v_1), c(v_2), \dots, c(v_{2m}) \) is not of the form \( ww \), where \( w \) is a sequence of \( m \) colors. The minimum number of colors required for such a coloring is called the \emph{non-repetitive chromatic number} of \(G\), denoted by \(π(G)\). In this paper, we primarily prove that \(π(P \square P) \ge 6\) and \(π(P \boxtimes P) \ge 9\), where \( P \square P \) and \( P \boxtimes P \) are the Cartesian product and the strong product of two infinite paths, respectively. This improves upon the previous best lower bounds.
Canonical Ramsey: triangles, rectangles and beyond
Published
• View Publication
• BIB
In a seminal work, Cheng and Xu showed that if $S$ is a square or a triangle with a certain property, then for every positive integer $r$ there exists $n_0(S)$ independent of $r$ such that every $r$-coloring of $\mathbb{E}^n$ with $n\ge n_0(S)$ contains a monochromatic or a rainbow congruent copy of $S$. Gehér, Sagdeev, and Tóth formalized this dimension independence as the canonical Ramsey property and proved it for all hypercubes, thereby covering rectangles whose squared aspect ratio $(a/b)^2$ is rational. They asked whether this property holds for all triangles and for all rectangles.
(1) We resolve both questions. More precisely, for triangles we confirm the property in $\mathbb{E}^4$ by developing a novel rotation-sphereical chaining argument. For rectangles, we introduce a structural reduction to product configurations of bounded color complexity, enabling the use of the simplex Ramsey theorem together with product Ramsey theorem.
(2) Beyond this, we develop a concise perturbation framework based on an iterative embedding coupled with the Frankl-Rödl simplex super-Ramsey theorem, which yields the canonical Ramsey property for a natural class of 3-dimensional simplices and also furnishes an alternative proof for triangles.
The $α$-representation for Tait coloring and sums over spanning trees
Published in EuroComb'25, Booklet of extended abstracts. HUN-REN Alfred Renyi Institute of Mathematics, Budapest, 2025, pp. 724-730 (https://nextcloud.renyi.hu/index.php/s/TdjSmNjDjrQEH2X, electronic version only)
• Search Publication
Consider a connected pseudograph $H$ such that each edge is associated with weight $x_e$, $x_e \in \mathbb{F}_3$; $\mathcal{T}(H)$ is the set of spanning trees of graph $H$. Assume that $s(H;{\mathbf x})=\sum_{T\in\mathcal{T}(H)} \prod_{e\in E(T)} x_e$. Let $G$ be a maximal planar graph (arbitrary planar triangulation) such that each face $F$ is assigned the value $α(F)=\pm 1 \in \mathbb{F}_3$. Then we can associate each edge with $x_e=α(F'_e)+α(F''_e)$, where $F'_e$ and $F''_e$ are the faces containing edge $e$. Let us define the value $w_G({\mathbf x})$ as $\left(\frac{s(G/W^*({\mathbf x});{\mathbf x})}3\right)/(-3)^{\left(|V(G/W^*({\mathbf x}))| - 1\right)/2}$; here $\left(\frac{x}3\right)$ is the Legendre symbol, $G/W$ is the graph with the contracted set of vertices $W$, while $W^*({\mathbf x})$ is a set of vertices $W$, $W \subseteq V(G)$, with minimal cardinality such that $s(G/W;{\mathbf x})$ differs from zero. In the following, we prove that the number of Tait colorings for graph $G$ equals the tripled sum $w_G({\mathbf x}(α))$ with respect to all possible vectors $α\in \{-1, 1\}^{\mathcal F(G)}$ such that $G/W^*({\mathbf x}(α))$ has an odd number of vertices, where $\mathcal F(G)$ is the set of faces of graph $G$. Keywords: maximal planar graph, Tait coloring, Laplace-Kirchhoff matrix, spanning tree.
Distance mutual-visibility coloring: relations with (total) domination, exact distance graphs and graph products
Published
• View Publication
• BIB
The concept of mutual-visibility (MV) has been extended in several directions. A vertex subset $S$ of a graph $G$ is a $k$-distance mutual-visibility ($k$DMV) set if for any two vertices in $S$, there is a geodesic between them of length at most $k$ whose internal vertices are not in $S$. In this paper, we combine this with the MV coloring as follows. For any integer $k\geq1$, a $k$DMV coloring of $G$ is a partition of $V(G)$ into $k$DMV sets, and the $k$DMV chromatic number $χ_{μ_k}(G)$ is the minimum cardinality of such a partition. When $k=1$ or $k\ge {\rm diam}(G)$, it equals the clique cover number $θ(G)$ or the MV chromatic number $χ_μ(G)$, respectively. So, our attention is given to $1<k<{\rm diam}(G)$ with $k=2$ producing the most interesting results. We prove that $χ_{μ_2}(G)\le|V(G)|/2$ and present large families of graphs that attain the bound. In addition, $χ_{μ_2}(G)$ is bounded from above by the total domination number $γ_t(G)$ if $G$ is isolate-free, while in graphs $G$ with girth $g(G)\geq7$, $χ_{μ_2}(G)$ is bounded from below by the domination number $γ(G)$. A surprising relation with the exact distance-2 graphs is found, which results in $θ(G^{[\natural2]})=γ_{t}(G)$ for any isolate-free graph $G$ with $g(G)\geq7$. The relation is explored further in lexicographic product graphs, where we prove the sharp inequalities $χ_{μ_{2}}(G\circ H)\leq θ(G^{[\natural2]})\leq θ\big{(}(G\circ H)^{[\natural2]}\big{)}$. We also prove a sharp lower (resp. upper) bound on $χ_{μ_2}$ (resp. $χ_{μ_k}$) for the Cartesian (resp. strong) product of two connected graphs and show that they are widely sharp. Finally, we characterize the block graphs $G$ with $χ_{μ_k}(G)=χ_μ(G)$, where $k={\rm diam}(G)-1$.
Improved bounds for the minimum degree of minimal multicolor Ramsey graphs
We provide two novel constructions of $r$ edge-disjoint $K_{k+1}$-free graphs on the same vertex set, each of which has the property that every small induced subgraph contains a complete graph on $k$ vertices. The main novelty of our argument is the combination of an algebraic and a probabilistic coloring scheme, which utilizes the beneficial algebraic and combinatorial properties of the Hermitian unital. These constructions improve on a number of upper bounds on the smallest possible minimum degree of minimal $r$-color Ramsey graphs for the clique $K_{k+1}$ when $r\geq c\frac{k}{\log^2 k}$ and $k$ is large enough.
Upper Bounds on the Chromatic Index of Linear Hypergraphs
We address the problem of finding upper bounds on the chromatic index $q(V,E)$ of linear (and loopless) hypergraphs. The first bound we find is defined through a color-preserving group on a proper and minimally edge-colored linear hypergraph, whose orbits serve as a finer partition to the hypergraph's coloring, thereby yielding an upper bound on $q(V,E)$. The next set of theorems in this paper relates to combinatorial properties of hypergraph coloring. Our results suggest a plausible approach to solving the Berge-Füredi conjecture, providing an upper bound on the chromatic index that directly relates $q(V,E)$ and $Δ([(V,E)]_{2}) + 1$. Furthermore, we provide three sufficient conditions for the conjecture to hold within this framework, when involving the Helly property for hypergraphs.
Fractionally colouring $P_5$-free graphs
We obtain some $d\ge2$ such that every graph $G$ with no induced copy of the five-vertex path $P_5$ has at most $α(G)ω(G)^d$ vertices. This ``off-diagonal Ramsey'' statement implies that every such graph $G$ has fractional chromatic number at most $ω(G)^d$, and is another step towards the polynomial Gyárfás-Sumner conjecture for $P_5$. The proof uses the recent Erdős-Hajnal result for $P_5$ and adapts a decomposition argument for $P_5$-free graphs developed by the author in an earlier paper.
Redicoloring some classes of circulant tournaments
Given a digraph $D$ with no loops, the \textit{dicoloring graph} of $D$, denoted by $\mathcal{D}_k(D)$, is the graph whose vertices are the acyclic $k$-colorings of $D$ and two colorings are adjacent in $\mathcal{D}_k(D)$ if they differ in color on exactly one vertex. In this paper, we prove that there is no expression $φ(\vecχ)$ in terms of the dichromatic number $\vecχ$, such that the graph $\mathcal{D}_k(D)$ is connected for all graphs $D$ and integers $k\geq φ(\vecχ)$. We give conditions for the dicoloring graph of two infinite families of circulant tournaments to be connected, and we provide upper bounds for its diameter. In particular, for the Payley tournament $\vec{C}_{7}(1,2,4)$, also known as $ST_7$, we prove that $\mathcal{D}_k(\vec{C}_{7}(1,2,4))$ is connected and has diameter 8, for each $k\geq 3$.
Colourings of Uniform Group Divisible Designs and Maximum Packings
Published
• View Publication
• BIB
A weak $c$-colouring of a design is an assignment of colours to its points from a set of $c$ available colours, such that there are no monochromatic blocks. A colouring of a design is block-equitable, if for each block, the number of points coloured with any available pair of colours differ by at most one. Weak and block-equitable colourings of balanced incomplete block designs have been previously considered. In this paper, we extend these concepts to group divisible designs (GDDs) and packing designs. We first determine when a $k$-GDD of type $g^u$ can have a block-equitable $c$-colouring. We then give a direct construction of maximum block-equitable $2$-colourable packings with block size $4$; a recursive construction has previously appeared in the literature. We also generalise a bound given in the literature for the maximum size of block-equitably $2$-colourable packings to $c>2$. Furthermore, we establish the asymptotic existence of uniform $k$-GDDs with arbitrarily many groups and arbitrary chromatic numbers (with the exception of $c=2$ and $k=3$). A structural analysis of $2$- and $3$-uniform $3$-GDDs obtained from 4-chromatic STS$(v)$ where $v\in\{21,25,27,33,37,39\}$ is given. We briefly discuss weak colourings of packings, and finish by considering some further constraints on weak colourings of GDDs, namely requiring all groups to be either monochromatic or equitably coloured.
Obstructions for normally spanned sets of vertices
Halin conjectured that a graph has a normal spanning tree if and only if every minor of it has countable colouring number. This has recently been proven by the second author.
In this paper, we strengthen this result by establishing the following local version of it: Given a prescribed set of vertices $U$ in a connected graph $G$, there is a normal tree in $G$ that includes $U$ if and only if every $U$-rooted minor of $G$ (i.e. a minor every branch set of which meets $U$) has countable colouring number.
Our proof relies on a novel approach that combines normal partition trees as introduced by Brochet and Diestel with a suitable closure argument developed by Robertson, Seymour and Thomas in their discussion of infinite graphs of finite tree width.
A sparse canonical van der Waerden theorem
Published
• View Publication
• BIB
The canonical van der Waerden theorem asserts that, for sufficiently large $n$, every colouring of $[n]$ contains either a monochromatic or a rainbow arithmetic progression of length $k$ ($k$-AP, for short). In this paper, we determine the threshold at which the binomial random subset $[n]_p$ almost surely inherits this canonical Ramsey type property. As an application, we show the existence of sets $A\subseteq [n]$ such that the $k$-APs in $A$ define a $k$-uniform hypergraph of arbitrarily high girth and yet any colouring of $A$ induces a monochromatic or rainbow $k$-AP.
The odd independence number of graphs, II: Finite and infinite grids and chessboard graphs
An odd independent set $S$ in a graph $G=(V,E)$ is an independent set of vertices such that, for every vertex $v \in V \setminus S$, either $N(v) \cap S = \emptyset$ or $|N(v) \cap S| \equiv 1$ (mod 2), where $N(v)$ stands for the open neighborhood of $v$. The largest cardinality of odd independent sets of a graph $G$, denoted $α_{od}(G)$, is called the odd independence number of $G$.
This new parameter is a natural companion to the recently introduced strong odd chromatic number. A proper vertex coloring of a graph $G$ is a strong odd coloring if, for every vertex $v \in V(G)$, each color used in the neighborhood of $v$ appears an odd number of times in $N(v)$. The minimum number of colors in a strong odd coloring of $G$ is denoted by $χ_{so}(G)$.
A simple relation involving these two parameters and the order $|G|$ of $G$ is $α_{od}(G)\cdotχ_{so}(G) \geq |G|$, parallel to the same on chromatic number and independence number.
In the present work, which is a companion to our first paper on the subject [The odd independence number of graphs, I: Foundations and classical classes], we focus on grid-like and chessboard-like graphs and compute or estimate their odd independence number and their strong odd chromatic number. Among the many results obtained, the following give the flavour of this paper:
(1) $0.375 \leq \varrho_{od}(P_\infty \Box P_\infty) \leq 0.384615...$, where $\varrho_{od}(P_\infty \Box P_\infty)$ is the odd independence ratio.
(2) $χ_{so}(G_d) = 3$ for all $d \geq 1$, where $G_d$ is the infinite $d$-dimensional grid. As a consequence, $\varrho_{od}(G_d) \geq 1/3$.
(3) The $r$-King graph $G$ on $n^2$ vertices has $α_{od}(G) = \lceil n/(2r+1) \rceil^2$. Moreover, $χ_{so}(G) = (2r + 1)^2$ if $n \geq 2r + 1$, and $χ_{so}(G) = n^2$ if $n \leq 2r$.
Many open problems are given for future research.