coloring
4536 papers tagged with this keyword
On distinguishing coloring and some variants of proper coloring of graphs derived from subdivision operations
Let G be a simple, finite, connected, and undirected graph, and T be a finite tree. The middle graph M(G) of G is obtained from the subdivision graph S(G) after joining pairs of subdivided vertices that lie on adjacent edges of G and the central graph C(G) of G is obtained from S(G) after joining all non-adjacent vertices of G.
We show that if the order of G is at least 4, then Aut(G), Aut(C(G)), and Aut(M(G)) are isomorphic (as abstract groups) and apply these results to obtain new sharp upper bounds of the distinguishing number and the distinguishing index of C(G) and M(G) inspired by an algorithm due to Kalinowski, Pilsniak, and Wozniak from 2016.
Furthermore, we study the total distinguishing chromatic number of C(G) and S(G), use Latin squares to verify the AVD-total coloring conjecture for central graphs of regular graphs and some other classes of graphs (which is a partial progress towards answering an open question of Panda, Verma, and Keerti from 2020), and obtain new bounds of the total dominator chromatic number of C(G) and C(T).
Graphs With the Same Edge Count in Each Neighborhood
In a recent paper, Caro, Lauri, Mifsud, Yuster, and Zarb ask which parameters $r$ and $c$ admit the existence of an $r$-regular graph such that the neighborhood of each vertex induces exactly $c$ edges. They show that every $r$ with $c$ satisfying $0\leq c\leq {r\choose 2}-5r^{3/2}$ is achievable, but no $r$ with $c$ satisfying ${r\choose 2}-\lfloor\frac{r}{3}\rfloor\leq c\leq {r\choose 2}-1$ is. We strengthen the bound in their nonexistence result from ${r\choose 2}-\lfloor\frac{r}{3}\rfloor$ to ${r\choose 2}-\lfloor\frac{r-2}{2}\rfloor$. Additionally, when the graph is the Cayley graph of an abelian group, we obtain a much more fine-grained characterization of the achievable values of $c$ between $\binom{r}{2} - 5r^{3/2}$ and $\binom{r}{2} - \lfloor\frac{r-2}{2}\rfloor$, which we conjecture to be the correct answer for general graphs as well. That result relies on a lemma about approximate subgroups in the "99% regime," quantifying the extent to which nearly-additively-closed subsets of an abelian group must be close to actual subgroups. Finally, we consider a generalization to graphs with multiple types of edges and partially resolve several open questions of Caro et al. about $\textit{flip}$ colorings of graphs.
Some short notes on oriented line graphs and related matrices
Oriented line graph, introduced by Kotani and Sunada (2000), is closely related to Hashimato's non-backtracking matrix (1989). It is known that for regular graphs $G$, the eigenvalues of the adjacency matrix of the oriented line graph $\vec{L}(G)$ of $G$ are the reciprocals of the poles of the Ihara zeta function of $G$. We determine the characteristic polynomial of the $z$-Hermitian adjacency matrix of $\vec{L}(G)$ for each $z\in \mathbb{C}$ and $d$-regular graph $G$ with $d\geq 3$. Special cases of this matrix include the Hermitian adjacency matrix of $\vec{L}(G)$ and the adjacency matrix of the underlying undirected graph of $\vec{L}(G)$. We also exhibit an application to star coloring of graphs.
The Total Coloring Conjecture holds for planar graphs without three special subgraphs
The Total Coloring Conjecture (TCC) for planar graphs with a maximum degree of six remains open. Previous studies suggest that TCC is valid for such graphs if they do not contain any subgraph isomorphic to a 4-fan. In this paper, we present an improved conclusion by establishing that TCC holds for planar graphs that are free of three particular substructures, namely the mushroom, the tent, and the cone. This advancement enhances previous findings by demonstrating that TCC is applicable to planar graphs with a maximum degree of six, which can accommodate sparse 4-fans, 5-fans, 5-wheels, and 6-wheels.
Unavoidable butterfly minors in digraphs of large cycle rank
Cycle rank is one of the depth parameters for digraphs introduced by Eggan in 1963. We show that there exists a function $f:\mathbb{N}\to \mathbb{N}$ such that every digraph of cycle rank at least $f(k)$ contains a directed cycle chain, a directed ladder, or a directed tree chain of order $k$ as a butterfly minor. We also investigate a new connection between cycle rank and a directed analogue of the weak coloring number of graphs.
Strong list-chromatic index of subcubic graphs is at most 10
A strong edge coloring of a graph $G$ is an assignment of colors to the edges of $G$ such that two distinct edges are colored differently if they are incident to a common edge or share an endpoint. The strong chromatic index of a graph $G$, denoted by $χ_{s}'(G)$, is the minimum number of colors needed for a strong edge coloring of $G$. The edge weight of a graph $G$ is defined to be $\max\limits_{uv\in E(G)}\{(d_G(u)+d_G(v))\}$. It was proved in Chen et al in 2020 that every graph with edge weight at most 6 has a strong edge-coloring using at most 10 colors. In this paper, we consider the list version of strong edge-coloring. We strengthen this result by showing that every graph with edge weight at most 6 has a strong list-chromatic index at most 10. Specially, every subcubic graph has a strong list-chromatic index at most 10, which improves a result of Dai et al. in 2018.
Kernelization for list $H$-coloring for graphs with small vertex cover
Published
• View Publication
• BIB
For a fixed graph $H$, in the List $H$-Coloring problem, we are given a graph $G$ along with list $L(v) \subseteq V(H)$ for every $v \in V(G)$, and we have to determine if there exists a list homomorphism $\varphi$ from $(G,L)$ to $H$, i.e., an edge preserving mapping $\varphi: V(G)\to V(H)$ that satisfies $\varphi(v)\in L(v)$ for every $v\in V(G)$. Note that if $H$ is the complete graph on $q$ vertices, the problem is equivalent to List $q$-Coloring. We investigate the kernelization properties of List $H$-Coloring parameterized by the vertex cover number of $G$: given an instance $(G,L)$ and a vertex cover of $G$ of size $k$, can we reduce $(G,L)$ to an equivalent instance $(G',L')$ of List $H$-Coloring where the size of $G'$ is bounded by a low-degree polynomial $p(k)$ in $k$? This question has been investigated previously by Jansen and Pieterse [Algorithmica 2019], who provided an upper bound, which turns out to be optimal if $H$ is a complete graph, i.e., for List $q$-Coloring. This result was one of the first applications of the method of kernelization via bounded-degree polynomials. We define two new integral graph invariants, $c^*(H)$ and $d^*(H)$, with $d^*(H) \leq c^*(H) \leq d^*(H)+1$, and show that for every graph $H$, List $H$-Coloring
-- has a kernel with $\mathcal{O}(k^{c^*(H)})$ vertices,
-- admits no kernel of size $\mathcal{O}(k^{d^*(H)-\varepsilon})$ for any $\varepsilon > 0$, unless the polynomial hierarchy collapses.
-- Furthermore, if $c^*(H) > d^*(H)$, then there is a kernel with $\mathcal{O}(k^{c^*(H)-\varepsilon})$ vertices where $\varepsilon \geq 2^{1-c^*(H)}$.
Additionally, we show that for some classes of graphs, including powers of cycles and graphs $H$ where $Δ(H) \leq c^*(H)$ (which in particular includes cliques), the bound $d^*(H)$ is tight, using the polynomial method. We conjecture that this holds in general.
A Fast Coloring Oracle for Average Case Hypergraphs
Hypergraph $2$-colorability is one of the classical NP-hard problems. Person and Schacht [SODA'09] designed a deterministic algorithm whose expected running time is polynomial over a uniformly chosen $2$-colorable $3$-uniform hypergraph. Lee, Molla, and Nagle recently extended this to $k$-uniform hypergraphs for all $k\geq 3$. Both papers relied heavily on the regularity lemma, hence their analysis was involved and their running time hid tower-type constants.
Our first result in this paper is a new simple and elementary deterministic $2$-coloring algorithm that reproves the theorems of Person-Schacht and Lee-Molla-Nagle while avoiding the use of the regularity lemma. We also show how to turn our new algorithm into a randomized one with average expected running time of only $O(n)$.
Our second and main result gives what we consider to be the ultimate evidence of just how easy it is to find a $2$-coloring of an average $2$-colorable hypergraph. We define a coloring oracle to be an algorithm which, given vertex $v$, assigns color red/blue to $v$ while inspecting as few edges as possible, so that the answers to any sequence of queries to the oracle are consistent with a single legal $2$-coloring of the input. Surprisingly, we show that there is a coloring oracle that, on average, can answer every vertex query in time $O(1)$.
Polynomial-to-exponential transition in 3-uniform Ramsey numbers
Let $r_k(s, e; t)$ denote the smallest $N$ such that any red/blue edge coloring of the complete $k$-uniform hypergraph on $N$ vertices contains either $e$ red edges among some $s$ vertices, or a blue clique of size $t$. Erd\H os and Hajnal introduced the study of this Ramsey number in 1972 and conjectured that for fixed $s>k\geq 3$, there is a well defined value $h_k(s)$ such that $r_k(s, h_k(s)-1; t)$ is polynomial in $t$, while $r_k(s, h_k(s); t)$ is exponential in a power of $t$. Erd\H os later offered \$500 for a proof. Conlon, Fox, and Sudakov proved the conjecture for $k=3$ and $3$-adically special values of $s$, and Mubayi and Razborov proved it for $s > k \geq 4$. We prove the conjecture for $k=3$ and all $s$, settling all remaining cases of the problem. We do this by solving a novel Turán-type problem: what is the maximum number of edges in an $n$-vertex $3$-uniform hypergraph in which all tight components are tripartite? We show that the balanced iterated blowup of an edge is an exact extremizer for this problem for all $n$.
Ramsey-like theorems for separable permutations
We conduct a computability-theoretic study of Ramsey-like theorems of the form "Every coloring of the edges of an infinite clique admits an infinite sub-clique avoiding some pattern", with a particular focus on transitive patterns. As it turns out, the patterns corresponding to separable permutations play an important role in the computational features of the statement. We prove that the avoidance of any separable permutation is equivalent to the existence of an infinite homogeneous set in standard models, while this property fails for any other pattern. For this, we develop a novel argument for relativized diagonal non-computation.
Total coloring graphs with large minimum degree
We prove that for all $\varepsilon>0$, there exists a positive integer $n_0$ such that if $G$ is a graph on $n\geq n_0$ vertices with $δ(G)\geq\tfrac{1}{2}(1 + \varepsilon)n$, then $G$ satisfies the Total Coloring Conjecture, that is, $χ_T(G)\leq Δ(G)+2$.
On Modular Edge Colourings of Graphs
Published
• View Publication
• BIB
Given a graph $G$ and an integer $k\geq 2$, let $χ'_k(G)$ denote the minimum number of colours required to colour the edges of $G$ such that, in each colour class, the subgraph induced by the edges of that colour has all non-zero degrees congruent to $1$ modulo $k$. In 1992, Pyber proved that $χ'_2(G) \leq 4$ for every graph $G$, and posed the question of whether $χ'_k(G)$ can be bounded solely in terms of $k$ for every $k\geq 3$. This question was answered in 1997 by Scott, who showed that $χ'_k(G)\leq5k^2\log k$, and further asked whether $χ'_k(G) = O(k)$. Recently, Botler, Colucci, and Kohayakawa (2023) answered Scott's question affirmatively proving that $χ'_k(G) \leq 198k - 101$, and conjectured that the multiplicative constant could be reduced to $1$. A step towards this latter conjecture was made in 2024 by Nweit and Yang, who improved the bound to $χ'_k(G) \leq 177k - 93$. In this paper, we further improve the multiplicative constant to $9$. More specifically, we prove that there is a function $f\in o(k)$ for which $χ'_k(G) \leq 7k + f(k)$ if $k$ is odd, and $χ'_k(G) \leq 9k + f(k)$ if $k$ is even. In doing so, we prove that $χ'_k(G) \leq k + O(d)$ for every $d$-degenerate graph $G$, which plays a central role in our proof.
Short rainbow cycles for families of small edge sets
Published
• View Publication
• BIB
In 2019, Aharoni proposed a conjecture generalizing the Caceetta-Häggkvist conjecture: if an $n$-vertex graph $G$ admits an edge coloring (not necessarily proper) with $n$ colors such that each color class has size at least $r$, then $G$ contains a rainbow cycle of length at most $\lceil n/r\rceil$. Recent works \cite{AG2023,ABCGZ2023,G2025} have shown that if a constant fraction of the color classes are non-star, then the rainbow girth is $O(\log n)$. In this note, we extend these results, and we show that even a small fraction of non-star color classes suffices to ensure logarithmic rainbow girth. We also prove that the logarithmic bound is of the right order of magnitude. Moreover, we determine the threshold fraction between the types of color classes at which the rainbow girth transitions from linear to logarithmic.
3-Colouring Planar Graphs
We show that every $n$-vertex planar graph is 3-colourable with monochromatic components of size $O(n^{4/9})$. The best previous bound was $O(n^{1/2})$ due to Linial, Matoušek, Sheffet and Tardos [Combin. Probab. Comput., 2008].
Some remarks on the uncolored versions of the original CFI-graphs
The CFI-graphs, named after Cai, Fürer, and Immerman, are central to the study of the graph isomorphism testing and of first-order logic with counting. They are colored graphs, and the coloring plays a role in many of their applications. As usual, it is not hard to remove the coloring by some extra graph gadgets, but at the cost of blowing up the size of the graphs and changing some parameters of them as well. This might lead to suboptimal combinatorial bounds important to their applications. Since then for some uncolored variants of the CFI-graphs it has been shown that they serve the same purposes. We show that this already applies to the graphs obtained from the original CFI-graphs by forgetting the colors. Moreover, we will see that there is a first-order formula $\varphi(x,y)$ expressing in almost all uncolored CFI-graphs that $x$ and $y$ have the same color in the corresponding colored graphs.
Linear relations of colored Gaussian cycles
A colored Gaussian graphical model is a linear concentration model in which equalities among the concentrations are specified by a coloring of an underlying graph. Marigliano and Davies conjectured that every linear binomial that appears in the vanishing ideal of an undirected colored cycle corresponds to a graph symmetry. We prove this conjecture for 3,5, and 7 cycles and disprove it for colored cycles of any other length. We construct the counterexamples by proving the fact that the determinant of the concentration matrices of two colored paths can be equal even when they are not identical or reflection of each other. We also explore the potential strengthening of the conjecture and prove a revised version of the conjecture.
Eigenvalue bounds for distance-edge colorings
Published
• View Publication
• BIB
For a fixed positive integer $t$, we consider the graph colouring problem in which edges at distance at most $t$ are given distinct colours. We obtain sharp lower bounds for the distance-$t$ chromatic index, the least number of colours necessary for such a colouring. Our bounds are of algebraic nature; they depend on the eigenvalues of the line graph and on a polynomial which can be found using integer linear programming methods. We show several graph classes that attain equality for our bounds, and also present some computational results which illustrate the bound's performance. Lastly, we investigate the implications the spectral approach has to the Erdős-Nešetřil conjecture, and derive some conditions which a graph must satisfy if we could use it to obtain a counter example through the proposed spectral methods.
Local Search Improvements for Soft Happy Colouring
Published
• View Publication
• BIB
For $0\leq ρ\leq 1$ and a coloured graph $G$, a vertex $v$ is $ρ$-happy if at least $ρ\mathrm{deg}(v)$ of its neighbours have the same colour as $v$. Soft happy colouring of a partially coloured graph $G$ is the problem of finding a vertex colouring $σ$ that preserves the precolouring and has the maximum number of $ρ$-happy vertices. It is already known that this problem is NP-hard and directly relates to the community structure of the graphs; under a certain condition on the proportion of happiness $ρ$ and for graphs with community structures, the induced colouring by communities can make all the vertices $ρ$-happy. We show that when $0\leq ρ_1<ρ_2\leq 1$, a complete $ρ_2$-happy colouring has a higher accuracy of community detection than a complete $ρ_1$-happy colouring. Moreover, when $ρ$ is greater than a threshold, it is unlikely for an algorithm to find a complete $ρ$-happy colouring with colour classes of almost equal sizes. Three local search algorithms for soft happy colouring are proposed, and their performances are compared with one another and other known algorithms. Among them, the linear-time local search is shown to be not only very fast, but also a reliable algorithm that can dramatically improve the number of $ρ$-happy vertices.
Infinite polynomial patterns in large subsets of the rational numbers
Inspired by a question of Kra, Moreira, Richter, and Robertson, we prove two new results about infinite polynomial configurations in large subsets of the rational numbers. First, given a finite coloring of $\mathbb{Q}$, we show that there exists an infinite set $B = \{b_n : n \in \mathbb{N}\} \subseteq \mathbb{Q}$ such that $$\{b_i, b_i^2 + b_j : i < j\}$$ is monochromatic. Second, we prove that every subset of positive density in the rational numbers contains a translate of such an infinite configuration. The corresponding results in the integers are both known to be false, so our results provide natural and relatively simple examples of combinatorial structures that distinguish between the Ramsey-theoretic properties of the rational numbers and the integers.
The proofs of our main results build upon methods developed in a series of papers by Kra, Moreira, Richter, and Robertson to translate from combinatorics into dynamics, where the core of the argument reduces to understanding the behavior of certain polynomial ergodic averages. The new dynamical tools required for this analysis are a Wiener--Wintner theorem for polynomially-twisted ergodic averages in $\mathbb{Q}$-systems and a structure theorem for Abramov $\mathbb{Q}$-systems.
All Ramsey critical graphs for a large tree versus $tK_{m}$
Let $H, H_{1}$ and $H_{2}$ be graphs, and let $H\rightarrow (H_{1}, H_{2})$ denote that any red-blue coloring of $E(H)$ yields a red copy of $H_{1}$ or a blue copy of $H_{2}$. The Ramsey number for $H_{1}$ versus $H_{2}$, $r(H_{1}, H_{2})$, is the minimum integer $N$ such that $K_{N}\rightarrow (H_{1}, H_{2})$. The Ramsey critical graph $H$ for $H_{1}$ versus $H_{2}$ is a red-blue edge-colored $K_{N- 1}$ such that $H\not\rightarrow (H_{1}, H_{2})$, where $N= r(H_{1}, H_{2})$. In this paper, we characterize all Ramsey critical graphs for a large tree versus $tK_{m}$. As a corollary, we determine the star-critical Ramsey number for a large tree versus $tK_{m}$.