coloring
4497 papers tagged with this keyword
Impact of local girth on the S-packing coloring of k-saturated subcubic graphs
For a non-decreasing sequence $S=(s_1,s_2,\dots,s_k)$, an $S$-packing coloring of a graph $G$ is a vertex coloring using the colors $s_1,s_2,\dots,s_k$ such that any two vertices assigned the same color $s_i$ are at distance greater than $s_i$. A subcubic graph is said to be $k$-saturated, for $0\le k\le3$, if every vertex of degree 3 is adjacent to at most $k$ vertices of degree~3. The \emph{local girth} of a vertex is the length of the smallest cycle containing it. Brešar, Kuenzel, and Rall [\textit{Discrete Math.} 348(8) (2025),~114477] proved that every claw-free cubic graph is $(1,1,2,2)$-packing colorable, confirming the conjecture for this family. Equivalently, a claw-free cubic graph is one in which each $3$-vertex has local girth~3. Motivated by this observation and by recent progress on $S$-packing colorings of $k$-saturated subcubic graphs, we study the influence of local girth on their $S$-packing colorability. We establish a series of results describing how the parameters of saturation and local girth jointly determine the admissible $S$-packing sequences. Sharpness is verified through explicit constructions, and several open problems are posed to delineate the remaining cases.
Hamilton decompositions of the directed 3-torus: a return-map and odometer view
We prove that the directed 3-torus D_3(m), or equivalently the Cartesian product of three directed m-cycles, admits a decomposition into three arc-disjoint directed Hamilton cycles for every integer m >= 3. The proof reduces Hamiltonicity to the m-step return maps on the layer section S=i+j+k=0. For odd m, five Kempe swaps of the canonical coloring produce return maps that are explicitly affine-conjugate to the standard 2-dimensional odometer. For even m, a sign-product invariant rules out Kempe-from-canonical constructions, and a different low-layer witness reduces after one further first-return map to a finite-defect clock-and-carry system. The remaining closure is a finite splice analysis, and the case m=4 is handled separately by a finite witness. A Lean 4 formalization accompanies the construction.
On fixing and distinguishing numbers of trees
A graph $G$ is $D$-distinguishable if there is a labeling of its vertices with $D$ labels such that the only automorphism of $G$ which preserves the labeling is the identity. The distinguishing number of $G$ is the minimum value $D$ for which $G$ is $D$-distinguishable. The fixing number of $G$ is the minimum cardinality of a subset of the vertices of $G$ which is fixed pointwise only by the trivial automorphism. We prove that the fixing number of any $2$-distinguishable tree of order $n \geq 3$ is at most $4n/11$, or at most $(D-1)n / (D+1)$ for a $D$-distinguishable tree ($D \geq 3$). For every $D$ and $r$ at least $2$, we characterize the $D$-distinguishable trees with radius $r$ by constructing a universal tree $T_r^D$ which has the property that a tree $T$ of radius $r$ is $D$-distinguishable if and only if $T$ is a union of branches of $T_r^D$. We obtain a similar collection of universal trees for the property of having a constant paint cost spectrum, i.e., the minimum size of the complement of a color class in a distinguishing $D$-coloring of $T$ is equal to the fixing number. Finally, we prove bounds on the distinguishing and fixing numbers of a tree in terms of the eccentricities of its vertices.
Extending partial edge-colorings of bounded size in Cartesian products of graphs
This paper studies edge-precoloring extensions in Cartesian products of graphs, motivated by a conjecture of Casselgren, Petros, and Fufa. We formulate a general hypothesis stating that if every edge-precoloring of $G$ and $H$ of sizes $k<χ'(G)$ and $l<χ'(H)$, respectively, is extendable, then any edge-precoloring of $G \square H$ of size $k+l+1$ can be extended to a proper $(χ'(G)+χ'(H))$-coloring. We provide partial progress toward this conjecture by establishing the result in cases where $k<Δ(G)$, $G$ is a triangle-free $r$-regular graph and $H$ is a star, an even cycle, a path or, more generally, an arbitrary tree $F$. Furthermore, we prove the conjecture in the case where $G$ is a subcubic graph and $H = K_2$.
Total coloring of (sub)cubic Halin graphs
Total coloring of a graph is a coloring of its vertices and edges such that adjacent or incident elements receive distinct colors. Total coloring conjecture (stipulating that the total chromatic number of a graph $G$ is at most $Δ(G)+2$) is known to be true for subcubic graphs -- five colors are always enough. However, deciding whether a total coloring with only four colors exists remains a difficult problem, even in the class of bipartite cubic graphs. We solve the problem completely for cubic and subcubic Halin graphs, proving that there are only finitely many such graphs requiring five colors.
Every connected subcubic graph except the Petersen graph is packing $(1,1,2,2)$-colorable
For a non-decreasing sequence $S = (s_1, s_2, \ldots, s_k)$ of positive integers, a packing $S$-coloring of a graph $G$ is a partition of $V(G)$ into $V_1, V_2, \ldots, V_k$ such that each $V_i$ has pairwise distance at least $s_i+1$. The packing chromatic number (PCN) of a graph $G$ is the minimum $k$ such that $G$ has a packing $(1,2, \ldots, k)$-coloring. The $1$-subdivision of $G$ is obtained by replacing each edge of $G$ with a path of two edges. In 2016, Gastineau and Togni asked an open question whether the $1$-subdivision of every subcubic graph has PCN at most $5$, and later Bre\v sar, Klav\v zar, Rall, and Wash conjectured it is true. Balogh, Kostochka, and Liu proved the first upper bound of $8$, and it was later improved to $6$ by Liu, Zhang, and Zhang.
In this paper, we prove that every connected subcubic graph except the Petersen graph is packing $(1,1,2,2)$-colorable. Our result implies a solution to the conjecture of Bre\v sar, Klav\v zar, Rall, and Wash, and answers the question of Gastineau and Togni in the affirmative. Furthermore, our result answers an open question of Kostochka and Liu and solves a conjecture of Liu, Zhang, and Zhang.
The strength of Ramsey's theorem for $α$-large sets
We calibrate the reverse mathematical strength of a family of extensions of Ramsey's theorem to finite colorings of certain subsets of the natural numbers of unbounded finite dimension. Specifically, we analyze the principles $\mathsf{RT}^{!α}_k$ asserting that every $k$-coloring of the exactly $α$-large subsets of an infinite $X \subseteq \mathbb{N}$ admits an infinite homogeneous set, where $α$-largeness is defined via systems of fundamental sequences in the style of Ketonen and Solovay. For each countable ordinal $α< Γ_0$ and each $k \geq 2$, we prove over $\mathsf{RCA}_0$ that the hierarchy of theorems $\mathsf{RT}^{!\a}_k$ corresponds exactly to the hierarchy of systems axiomatized by closure under transfinite Turing jumps, yielding a fine-grained classification between $\mathsf{ACA}_0$ and $\mathsf{ATR}_0$. Our results extend previous work on the case $α=ω$ and provide a uniform correspondence between countable indecomposable ordinals below $Γ_0$ and natural Ramsey-like theorems.
Induced Ramsey numbers for fans
The induced Ramsey number $r_{\mathrm{ind}}(G,H)$ is defined as the minimum order of a graph $F$ on such that any 2-coloring of its edges with red and blue leads to either a red induced copy of $G$ or a blue induced copy of $H$. Motivated by the Kohayakawa-Prömel-Rödl conjecture, we prove that a quadratic upper bound $\mathrm{r}_{\text {ind}}\left(G, F_n\right) \leq C n^2$ for fixed $G$, where $F_n$ is a graph with one central vertex, $2n$ leaf vertices, and $n$ disjoint edges. In particular, for star graphs $K_{1, \ell}$ $(\ell \leq n)$, constructive coloring and matching arguments yield $2 n+2 \ell-1 \leq \mathrm{r}_{\text {ind}}\left(K_{1, \ell}, F_n\right) \leq(\ell+n-1)(\ell+1)+1$, with the exact value $\mathrm{r}_{\text {ind}}\left(K_{1,2}, F_n\right)=3 n+4$.
Colourings of Cayley graphs of finite $3$-groups
Colouring problems arising from group-based constructions provide a natural link between combinatorics and algebra, particularly in the study of Cayley graphs and Latin squares. We introduce colouring bijections of finite groups, a class of permutations encoding proper vertex colourings of associated Cayley-type graphs, extending classical notions such as complete and strong complete mappings. We prove that every finite $3$-group without a cyclic maximal subgroup admits a colouring bijection. Consequently, for such groups $G$, the graph $\mathscr{G}_3(G)$ admits a proper colouring with $|G|$ colours. These results show that the existence of colouring bijections is governed by structural properties of $3$-groups, revealing a new connection between group theory and combinatorial colouring problems.
$t$-tone colorings of outerplanar and Halin graphs
A $t$-tone $k$-coloring of a graph $G$ assigns a set of $t$ distinct colors from $\{1, \dots, k\}$ to each vertex so that vertices at distance $d$ share fewer than $d$ common colors. The $t$-tone chromatic number of $G$ is the minimum $k$ such that $G$ has a $t$-tone $k$-coloring. This paper investigates the $t$-tone coloring of two specific subclasses of planar graphs: subcubic outerplanar graphs and Halin graphs. We provide a complete characterization of the $2$-tone chromatic number for subcubic outerplanar graphs and establish a sharp upper bound for their $3$-tone chromatic number. We then turn to Halin graphs and prove that every cubic Halin graph of order $n \ge 6$ is $2$-tone $7$-colorable. Moreover, we derive an upper bound on the $2$-tone chromatic number for Halin graphs with arbitrary maximum degree.
On the structures of {diamond, bowtie}-free graphs that do not contain an induced subdivision of $K_4$
A graph is $\mathrm{ISK}_4$-free if it contains no induced subdivision of $K_4$. Lévêque et al. [\emph{J. Combin. Theory Ser. B} \textbf{102} (2012) 924--947] conjectured that all $\mathrm{ISK}_4$-free graphs are 4-colorable. Chen et al. [\emph{J. Graph Theory} \textbf{96} (2021) 554--577] proved that $\{\mathrm{ISK}_4, \mathrm{diamond}, \mathrm{bowtie}\}$-free graphs are 4-colorable and asked whether such graphs are 3-colorable, where a diamond is $K_4$ minus one edge and a bowtie consists of two triangles sharing a vertex. In this paper, we characterize the structures of $\{\mathrm{ISK}_4, \mathrm{diamond}, \mathrm{bowtie}\}$-free graphs and prove that such graphs are 3-colorable, which answers a question of Chen et al. [\emph{J. Graph Theory} \textbf{96} (2021) 554--577] affirmatively and extends a result of Chudnovsky et al. [\emph{J. Graph Theory} \textbf{92} (2019) 67--95]. Furthermore, our structural theorem yields a polynomial-time algorithm for decomposing $\{\mathrm{ISK}_4, \mathrm{diamond}, \mathrm{bowtie}\}$-free graphs, and consequently a polynomial-time algorithm for coloring this class of graphs.
On Rado's single equation theorem
We show that for non-zero integers $a$ and $b$ there is a natural number $N < \exp(r^{2+o_{a,b;r\rightarrow \infty}(1)})$ such that in any $r$-colouring of $\{1,\dots,N\}$ there are $x,y,z$, all in the same colour class, such that $ax-ay=bz$.
Counting Strict Gridlock on Graphs
Graph colorings have been of interest to mathematicians for a long time, but relatively recently, social scientists have also found them to be interesting tools for studying group behavior. In the last 20 years, scientists have begun to study how coloring problems can be solved by groups of individuals on a graph, which has led to new insights into network structure, group dynamics, and individual human behavior. Despite this newfound utility, the exact nature of these distributed coloring problems is not well-understood, and established mathematical tools like the chromatic polynomial miss the unique challenges that arise in these social problem-solving situations with limited information. In this paper, we provide a new framework for understanding these distributed problems by defining a new kind of graph coloring with particular relevance to consensus formation on networks, in which all vertices are trying to agree on a common color. These strict gridlock colorings represent roadblocks to consensus where the group will not reach a uniform coloring using natural update processes. We describe a recurrence relation that provides an algorithm for counting these gridlocked colorings, which establishes a mathematical measure of how much a given graph hinders consensus in a group.
Orthogonality between acyclic subdigraphs and paths in digraphs
Published
• View Publication
• BIB
Let $D$ be a digraph. A collection of disjoint sets of vertices (respec., collection of disjoint subdigraphs) $\mathcal{H}$ of $D$ and a vertex subset (or subdigraph) $Q$ of $D$ are orthogonal if every set (respec., subdigraph) $H \in \mathcal{H}$ contains exactly one vertex of $Q$. A well-known result of Gallai and Milgram shows that for every minimum path partition of a digraph there is a stable set orthogonal to it. Similarly, Gallai, Hasse, Roy and Vitaver independently proved that for every longest path of a digraph there is a vertex partition into stable sets (i.e, vertex-coloring) orthogonal to it. Berge showed that no analogous statements hold when optimality is required for the stable set or the vertex coloring. In this paper, we show that this holds if we replace stable sets by induced acyclic subdigraphs.
In 1981, Linial proposed two generalizations of Gallai-Milgram and Gallai-Hasse-Roy-Vitaver results using a positive integer $k$ as a measure of optimality for the path partition and the coloring, respectively. These generalizations have led to two conjectures that remain open. Using the same strategy of replacing stable sets by induced acyclic subdigraphs, we prove relaxations of both conjectures.
A quadratic-time coloring algorithm for graphs with large maximum degree
Graph coloring is a central problem in graph theory and is NP-hard for general graphs. Motivated by the Borodin--Kostochka conjecture, we study the algorithmic problem of coloring graphs with large maximum degree and no clique of size $Δ$. We give a quadratic-time coloring algorithm that constructs a $(Δ-1)$-coloring for such graphs. We also prove that every graph $G$ with maximum degree $Δ\ge 7.3 \times 10^9$ and clique number $ω(G) < Δ$ satisfies $χ(G) \le Δ- 1$. This improves a longstanding result of Reed.
The strong chromatic index of $K_{t,t}$-free graphs
A strong edge coloring of a graph $G$ is an edge coloring $φ\,:\,E(G) \rightarrow \mathbb N$ such that each color class forms an induced matching in $G$. The strong chromatic index of $G$, written $χ'_s(G)$, is the minimum number of colors needed for a strong edge coloring of $G$. Erdős and Nešetřil conjectured in 1985 that if $G$ has maximum degree $d$, then $χ'_s(G) \leq \frac 54 d^2$.
Mahdian showed in 2000 that if $G$ is $C_4$-free, then $χ'_s(G) \leq (2+o(1)) \frac{d^2}{\log d}$, and he conjectured that the same upper bound holds for $K_{t,t}$-free graphs. In this paper, we prove this conjecture and improve upon it to show the following: every $K_{t,t}$-free graph $G$ of maximum degree $d$ satisfies $χ'_s(G) \leq (1+o(1)) \frac{d^2}{\log d}$. We employ a variant of the Rödl nibble method to prove this result. The key new ingredient in our adaptation of the method is an application of the Kővári-Sós-Turán theorem to show that $H := L(G)^2$ satisfies certain structural properties. These properties, in conjunction with a variant of Talagrand's inequality to handle exceptional outcomes, allow us to concentrate the sizes of certain vertex sets through the nibble, even when these vertex sets have order smaller than the maximum codegree of $H$. We encapsulate these structural properties into a more general statement on list coloring that we believe to be of independent interest. In light of the conjectured computational threshold for coloring random graphs arising in average-case complexity theory, we suspect that our result is best possible using this approach.
On Borodin-Kostochka conjecture for correspondence coloring
Borodin and Kostochka in 1977 conjectured that if a graph $G$ has maximum degree $Δ(G)\ge 9$ and its clique number satisfies $ω(G)\le Δ(G)-1$, then its chromatic number satisfies $χ(G) \le Δ(G)-1$. We prove this statement with respect to a stronger graph coloring parameter, the correspondence chromatic number $χ_{DP}$, provided the maximum degree is sufficiently large. More precisely, we prove that for every integer $Δ\ge 3\cdot 10^9$, a graph $G$ of maximum degree at most $Δ$ satisfies $χ_{DP}(G) \le \max(ω(G),Δ-1)$. This strengthens earlier results of Reed (1999) for usual chromatic number and of Choi, Kierstead and Rabern (2023) for list chromatic number.
Rainbow trapezoids with given area
A well-known result by Graham in Euclidean Ramsey Theory states that, for every positive real number $A$, every coloring of the plane with finite number of colors contains a monochromatic triangle of area $A$. We consider canonical versions of this result. We show that every $3$-coloring of the plane integer lattice contains either a rainbow triangle of area $1/2$ or a monochromatic rectangle of any given area whose sides are parallell to the axes. We also show that, under natural conditions, there are numbers $A$ and $B$ such that every coloring of the plane integer lattice contains either a monochromatic rectangle of area $A$ or a rainbow trapezoid of area $B$. As usual, only vertex colors are considered: e.g., a monochromatic rectangle is a set of four points in the lattice which a) are the vertices of a rectangle and b) are assigned the same color.
Centered colorings and weak coloring numbers in minor-closed graph classes
Let $\mathcal{C}$ be a proper minor-closed class of graphs. Given the minors excluded in $\mathcal{C}$, we determine the maximum $q$-centered chromatic number and the maximum $q$th weak coloring number of graphs in $\mathcal{C}$ within an $\mathcal{O}(q)$-factor. Moreover, when $\mathcal{C}$ excludes a planar graph, we determine it within a constant factor. Our results imply that the $q$-centered chromatic number of $K_t$-minor-free graphs is in $\mathcal{O}(q^{t-1})$, improving on the previously known $\mathcal{O}(q^{h(t)})$ bound with a large and non-explicit function $h$. We include similar bounds for another family of parameters, the fractional treedepth fragility rates. All our bounds are proved via the same general framework.
Locally Irregular Total Colorings of Graphs
A total graph is an ordered triple $(V_0, V_1, E)$, where $V_0, V_1$ are the sets of empty and full vertices, respectively, $V_0 \cap V_1 = \emptyset$, and the set of edges $E$ is a subset of \(\binom{V_0 \cup V_1}{2}\) $(E\cap(V_0 \cup V_1)=\emptyset)$. A simple graph is a total graph in which all vertices are full. We say that a total graph $G$ is locally irregular if every two adjacent vertices have different total degrees, where by the total degree of a vertex $v$ in $G$ we mean the number of edges in $G$ that contain $v$ plus 1 if $v$ is full, or plus 0 if $v$ is empty. A total coloring of a graph $G$ whose colors induce locally irregular total subgraphs is called locally irregular total coloring, and the minimum number of colors required in such a coloring of $G$ is denoted by ${\rm tlir}(G)$. In 2015, Baudon, Bensmail, Przybyło, and Woźniak conjectured that ${\rm tlir}(G)\leq 2$ for every graph $G$. In this paper, we prove this conjecture for cacti, subcubic graphs, and split graphs. We also provide a general upper bound for ${\rm tlir}(G)$ depending on the chromatic number of $G$, and a constant upper bound if $G$ is planar or outerplanar. In our proofs, we utilize special decompositions of graphs and the connection between acyclic vertex coloring and locally irregular total coloring.