coloring
4497 papers tagged with this keyword
Two-distance and list-two-distance coloring of cacti: the subcubic case and the C5 obstruction
The square $G^2$ of a graph joins two vertices at distance at most two; a proper coloring of $G^2$ is a 2-distance coloring of $G$. For a cactus $G$ (every edge on at most one cycle) we determine both the 2-distance chromatic number $χ(G^2)$ and the choice number $\mathrm{ch}(G^2)$ exactly: they are always equal, and the common value is $Δ+1$ if $Δ\ge4$, is 4 if $Δ=3$ and $G$ has no block equal to $C_5$, is 5 if $Δ=3$ and $G$ has a $C_5$ block, and is the classical value if $Δ\le2$. For $Δ\ge6$ the value $Δ+1$ is already known, since cacti are outerplanar and hence $K_{2,3}$-minor-free (Hetherington-Woodall; Agnarsson-Halldorsson). Our contribution is the small-degree regime. For subcubic cacti we obtain a complete classification in both the ordinary and list settings, with the 5-cycle as the unique obstruction; the list statement has no prior analogue and is a genuine positive instance of the List Square Coloring Conjecture, which is false in general. A single elimination order then handles all $Δ\ge4$ uniformly and, in particular, settles the two cases $Δ\in\{4,5\}$ that the superclass bounds leave at $Δ+2$. The number 5 turns out to be one obstruction wearing three disguises: $C_5^2=K_5$, the Frobenius number of $\{3,4\}$, and a degenerate $K_4$ list-coloring instance.
List Coloring of the Square of 4-Irregular Graphs
The square of a graph $G$ is the graph obtained from $G$ after adding an edge between any two vertices of distance $2$. A $k$-irregular graph is a graph with maximum degree $k$ such that vertices of degree $k$ are not adjacent. A \textit{list assignment} of a graph is a function $L$ that assigns to each vertex a list of permissible colors. The graph is said to be \textit{$L$-colorable} if there exists a proper coloring $f$ such that $f(v) \in L(v)$ for every vertex $v$. A graph $G$ is called \textit{$k$-choosable} if it is $L$-colorable for every list assignment where each list has exactly $k$ colors. The \textit{list chromatic number} of $G$, denoted by $χ_l(G)$, is the smallest integer $k$ for which $G$ is $k$-choosable. Cranston and Kim \cite{ck} showed that $χ_l(G^2) \leq 8$ for all subcubic graphs except the Petersen Graph. Moreover, Cranston and Kim \cite{ck} conjectured that for graphs with maximum degree $k$ and maximum clique size $w (G^2)\leq k^2-1$, we have $χ_l(G^2) \leq k^2-1$. We prove that for a 4-irregular graph $G$, we have $χ_l(G^2) \leq 11$. Moreover, we provide an example to show that this bound is sharp.
Large Monochromatic Components in Colored Random Graphs
We study the size of the largest monochromatic connected component that must appear in any edge-coloring of a random graph.
Let $G\sim G(n,p)$ with $p\gg 1/n$ and $p=o(1)$, and write $np=he^h$. We show that, with high probability, every $2$-edge-coloring of $G$ contains a monochromatic connected component of order at least $n-Θ(ne^{-h})$. Moreover, we construct colorings showing that this bound is best possible up to constant factors.
We extend this result to three colors: for $p\gg 1/n$ and $p=o(1)$, with high probability every $3$-edge-coloring of $G$ contains a monochromatic connected component of size at least $\frac{n}{2}-Θ(1/p)$, and this estimate is again tight up to constant factors.
In the bipartite setting $G\sim G(n,n,p)$, under the same assumptions on $p$, we prove an analogous statement: with high probability, every $2$-edge-coloring contains two monochromatic components whose union covers all but $Θ(ne^{-h})$ vertices, and this bound is asymptotically sharp.
Our approach is elementary and is based on analyzing large connected structures across suitably balanced vertex partitions.
A counterexample for the polar conjecture of Spencer-Brown
In 1976, George Spencer-Brown announced a proof of the four color theorem, using operations on Tait colorings for trivalent plane graphs. In subsequent work he formulated these operations in terms of an algorithm that he called a parity-pass and claimed that when the parity pass algorithm is performed on a non-polar pentagon region, it necessarily terminates in an edge coloring that is extendable to the entire graph. We provide here a counterexample to show that this claim is false. We then raise questions related to the existence of this sort of counterexample.
An $O(t\log^2 t)$ Bound for $k$-Connected Subgraphs in Dense $K_t$-Minor-Free Graphs
Delcourt and Postle reduced the Linear Hadwiger Conjecture to coloring $K_t$-minor-free graphs on $O(t\log^4 t)$ vertices. An important theorem in their proof process asserts that every sufficiently dense $K_t$-minor-free graph contains a small, highly connected subgraph. In this paper, we show that such a subgraph can be chosen to be smaller. More precisely, there exists an integer constant $C \ge 1$ such that, for all integers $t \ge 3$ and $k \ge t$, every $K_t$-minor-free graph $G$ with $d(G) \ge Ck$ contains a nonempty $k$-connected subgraph $H$ satisfying $v(H) \le C^2 t\log^2 t$. Thus the structural bound improves from $O(t\log^3 t)$ to $O(t\log^2 t)$, and the graphs occurring in the reduction have order $O(t\log^3 t)$ rather than $O(t\log^4 t)$.
An Improved Upper Bound for Colorings Without Symmetrically Colored $k$-Term Arithmetic Progressions
Given a coloring $c$ and an even $k\ge 4$, a nontrivial $k$-term arithmetic progression~($k$-AP) $a,a+d,\ldots,a+(k-1)d$ is called symmetrically colored if $c(a+(i-1)d)=c(a+(k-i)d)$, $\forall i\in[k/2]$. Deng, Tidor, and Zhao asked whether $[N]$ admits a coloring with $N^{o(1)}$ colors and no such 4-APs, and gave an $O(N^{\log_{22}3})$-coloring of $[N]$. We give an $O_k(p)$-coloring of $\mathbb Z/p^{k^2/4}\mathbb Z$ without such $k$-APs for every even $k\ge 4$ and every prime $p>k$, and hence an $O(N^{4/k^2})$-coloring of $[N]$, improving the exponent in the upper bound for $4$-APs from $\log_{22}3$ to $1/4$. The construction combines a carry-control coloring of base-$p$ digits with a layered field norm mapping. Together with Behrend-style product colorings, our result for $4$-APs gives $h(N)\leq N^{1/4+o(1)}$ in Erdős's Problem~160 on coloring every nontrivial 4-AP with at least three colors. This result also yields $ρ_4(α)=O_\varepsilon(α^{5-\varepsilon})$ for every $\varepsilon>0$, improving the bound toward Ruzsa's question. Our result for $k$-APs disproves Gowers' conjectured lower bound for all even $k\ge6$ for the first time.
A Sharp Ramsey Theorem for Admissible Colorings of Ordered Cliques
Let \(f(k)\) be the minimum integer \(N\) such that any red--blue edge-coloring of the ordered complete graph on \(N\) vertices contains a set of \(k\) vertices whose induced coloring is admissible. In this note, we obtain the exact value of $f(k)$ for $k\ge 3$, which confirms a conjecture posed by Bradač, Liu, Wu and Xu.
The chromatic number of Euclidean space with dense color classes
In this note we construct colorings of Euclidean space $\mathbb{R}^n$ with finitely many colors such that any two points at unit distance have different colors and, in addition, each color class is dense in $\mathbb{R}^n$. In particular, 12 dense colors suffice to color $\mathbb{R}^2$. In arbitrary dimension, we show that $nχ(\mathbb{R}^n)+1$ colors suffice, where $χ(\mathbb{R}^n)$ denotes the chromatic number of $\mathbb{R}^n$ in the standard formulation.
Strong Colouring of the Qualitative Independence Hypergraph $3\text{-}QI(11,2)$
We determine the strong independence number of the qualitative independence hypergraph, $3\text{-}QI(11, 2)$, using a technique that involves considering its vertices as subsets of $\{1,2, \ldots, 11\}$ and assessing them as intersecting set systems. This gives the maximum size of colour classes in any strong colouring and thus, a lower bound on the strong chromatic number of $3\text{-}QI(11,2)$. We leverage this bound along with an upper bound of the strong chromatic number of $3\text{-}QI(10,2)$, to consequently, establish that the covering array number of $3\text{-}QI(11, 2)$, $CAN(3\text{-}QI(11,2),2) = 11$ and give a sufficient condition for a hypergraph $H$ to have $CAN(H, 2)=11$.
Hindman's theorem does not code $\emptyset^{(ω)}$ in one application
We prove that for every non-arithmetic set~$C$ and every arithmetic finite coloring of~$\mathbb{N}$, there is an infinite set $H \subseteq \mathbb{N}$ whose non-empty finite sums of distinct elements is monochromatic, and $C$ is not $H$-computable. We also study restrictions of Hindman's theorem to simple colorings.
A positive answer to the Owings's sumsets question
The paper gives a positive answer to Owings's sumsets question. That is, it is shown that for any $2$-coloring of natural numbers, there is an infinite $B\subset \mathbb{N}$ such that $B+B$ is monochromatic. Meanwhile, some weighted forms of this result are also presented.
On totally synchronizing graphs
A coloring of a finite $k$-out directed graph $G$ is viewed as a deterministic complete automaton with state set $V(G)$. The graph $G$ is called \emph{totally synchronizing} if every coloring is synchronizing. We prove that total synchronization imposes strong restrictions on symmetry: if $G$ is strongly connected and totally synchronizing, then $Aut(G)$ contains no semiregular element; in particular, if $|Aut(G)|$ is divisible by a prime $p>k$, then $G$ is not totally synchronizing. We then give general constructions of strongly connected $k$-out graphs with prescribed quotients and prescribed automorphism group that are \emph{not} totally synchronizing. On the quotient side, we relate graph congruences to strong lumpability of the uniform random walk on $G$ and introduce \emph{totally simple} graphs, characterized by the absence of nontrivial congruences. In this setting we obtain a Perron--Frobenius sufficient condition for total synchronization: a strongly connected non-lumpable graph whose integer Perron--Frobenius eigenvector admits at most one nontrivial equipartition is totally synchronizing. Finally, we show that deciding whether a primitive $k$-out graph admits a non-synchronizing coloring is NP-complete, resolving an open problem of Gusev--Szykuła, and prove NP-completeness of deciding whether a graph admits a nontrivial Eulerian lumping.
The unlabeled list color function of disconnected graphs
Given a graph $G$, its chromatic polynomial $P (G, k)$ counts proper $k$-colorings, while the corresponding list color function $P_{\ell} (G, k)$ counts the minimum number of proper colorings across all assignments of $k$ colors to each vertex. While it is clear that $P_{\ell} (G, k) \leq P (G, k)$, Donner showed in 1992 that $P_{\ell} (G, k) = P (G, k)$ whenever $k$ is sufficiently large. In 1985, Hanlon defined and studied the chromatic polynomial for an unlabeled graph. A list version of Hanlon's notion was introduced in 2024 by Kaul and Mudrock, who further raised the question of whether the analog of Donner's result holds in the unlabeled case. While they proved this for all connected point-determining graphs, even the case of the edgeless graph on $n$ vertices remained open and was posed as a conjecture. We prove this conjecture and show that it implies that, more generally, a disconnected graph satisfies the unlabeled analog of Donner's result if all of its connected components do.
Complexity Classification of Colouring Problems with Parity Constraints
We study variants of graph colouring with parity constraints. More specifically, we consider $q$-colourings $c\colon V(G)\rightarrow \{1,\dots,q\}$ of a graph $G$ where, for every vertex $v\in V(G)$, the number of neighbours $w$ of $v$ with $c(w)=c(v)$ is restricted to be odd, even, positive, zero or a combination thereof. For every colour $i\neq c(v)$ the number of neighbours $w$ of $v$ with $c(w)=i$ is restricted by a constraint of similar type. Many known colouring problems such as proper colouring, defective colouring, exact defective colouring, odd colouring, and strong odd colouring can be described within this framework of constraining graph colourings, and therefore considering variants constitutes a natural generalisation of known colouring problems. We provide a comprehensive study of the computational complexity of different combinations of constraints involving parity.
D-coloring of planar graphs
A proper edge-coloring of a graph $G$ is a D-coloring if every subgraph isomorphic to $K_4-e$ is rainbow. The minimum number of colors in such a coloring is the D-chromatic index $χ'_D(G)$. Wang conjectured that every planar graph of maximum degree $Δ\ge 4$ satisfies $χ'_D(G) \le 9$ for $Δ= 4$, $χ'_D(G) \le 10$ for $Δ= 5$, and $χ'_D(G) \le 2Δ- 1$ for $Δ\ge 6$. We prove that every planar graph $G$ satisfies \[ χ_D'(G) \leq \begin{cases} 9, & Δ(G) \leq 4, \\ 10, & Δ(G) = 5, \\ 2Δ(G) - 1, & Δ(G) \geq 33. \end{cases} \] Each bound is best possible in its stated range. Consequently, Wang's conjecture remains open only for $6 \le Δ\le 32$.
Shifted S-templates and improved lower bounds for Schur numbers
We present an extension of the template-based approach for Schur numbers developed by Rowley. This new form of template construction, which we call shifted S-templates, was discovered during a conversation with ChatGPT 5.5 Pro, then refined, verified, and extended to multiple shifted S-templates. These new templates generalize the first ones by giving more flexibility in the coloring. Using this added flexibility with the new way to color the special label cells of the template, we exhibit a template which yields the recurrence $S(k+2) \geq 10S(k)+2$, improving on the classical Abbott-Hanson recurrence $S(k+2) \geq 9S(k)+4$ for the same step. Combined with the known bounds $S(6) \geq 536$ and $S(11) \geq 203\,828$, this implies $S(8) \geq 5\,362$ and $S(13) \geq 2\,038\,282$, improving the previously listed lower bounds $5\,286$ and $2\,011\,290$.
The order of long rainbow arithmetic progressions
Let $T_k$ be the minimum positive integer $t$ such that, for every positive integer $n$, every equinumerous $t$-coloring of $[tn]$ contains a rainbow $k$-term arithmetic progression. Jungić, Licht, Mahdian, Nešetřil and Radoičić conjectured that $T_k=Θ(k^2)$, while Conlon, Fox and Sudakov proved that $T_k=O(k^2\log k)$. We prove the matching lower bound $T_k=Ω(k^2\log k)$, and hence $T_k=Θ(k^2\log k)$.
Products of simplices are canonically Ramsey
A set of points $C \subset \mathbb{R}^n$ is called canonically Ramsey if there is some set of points $S\subset \mathbb{R}^{n'}$ such that any colouring of $S$, using any number of colours, must contain either a monochromatic copy of $C$ or a rainbow copy of $C$. Mao, Ozeki, and Wang introduced this notion, showing that 30-60-90 triangles are canonically Ramsey. Since then, various other canonically Ramsey configurations have been identified. The author showed that cuboids are canonically Ramsey, while Ge, Shu, Xu, and Yu recently showed that simplices are canonically Ramsey. We extend both of these results, proving that all products of simplices are canonically Ramsey.
The Lean Number of a Hypergraph
Inspired by the notion of tricolorability of knots, we introduce the concept of lean coloring for hypergraphs and the associated lean number of a hypergraph. Lean coloring often involves very few colors, yet still requires the methods of usual graph coloring, forcing the overall complexity to be NP-Hard. We provide two alternative formulations of the lean coloring problem that involve a type of coloring on abstract simplicial complexes and a partial coloring on bipartite graphs. We then provide bounds for the lean numbers of hypergraphs that are $k$-uniform, $k$-partite, wide-path connected, or $r$-complete. Python-like script is included to allow the implementation and study of a lean coloring algorithm. We conclude with some directions for future work and present the lean numbers of $130$ knots and links.
Coloring $(P_6,C_4)$-free graphs with $Δ- 1$ colors
For a graph $G$, let $Δ(G)$, $ω(G)$, and $χ(G)$ denote the maximum degree, clique number, and chromatic number of $G$, respectively. Let $P_n$ and $C_n$ denote the chordless path and chordless cycle on $n$ vertices, respectively. In this paper, we prove that every $(P_6,C_4)$-free graph $G$ with $Δ(G)\ge 9$ and $ω(G)<Δ(G)$ is $(Δ(G)-1)$-colorable.