coloring
4497 papers tagged with this keyword
The Balanced Four-Color Theorem
We show that every planar graph with $n \geq 3$ vertices admits a 4-coloring in which each color is used on fewer than $n/2$ vertices. This bound is the best possible. Moreover, such a coloring can be found in $O(n \log n)$ time. We also extend these results to five or more colors and to graphs on general surfaces.
A Polynomial-Time Algorithm for Coloring Perfect Graphs Based on Walk Counting
We present a polynomial-time algorithm for optimally coloring perfect graphs that is based entirely on graph-theoretic operations. At its core, the algorithm decides whether a perfect graph contains a clique of a given size by iteratively counting walks in the graph with certain weights assigned to its edges and nonedges. These weights are initialized according to a uniform scheme and then updated in each iteration based on the walk counts from the previous iteration.
Cut-homotopies and the complexity of edge-coloring problems
We study the computational complexity of problems that ask if a given graph admits an edge-coloring that does not contain an edge-colored clique from some fixed finite family. We show that every such problem is poly-time equivalent to a Constraint Satisfaction Problem, yielding a P vs. NP-complete dichotomy. Our main contribution lies in the reduction from the CSP to the coloring problem where we apply methods from Ramsey theory and a novel notion of cut-homotopy.
Combinatorial constructions of Schubert subspace codes
We study Schubert subspace codes, which are constant-dimension subspace codes with prescribed intersection conditions with a fixed subspace. Our goal is to construct codes of maximum possible size in the extremal distance cases where a natural counting upper bound applies. We give two families of constructions. The first one uses a direct-sum decomposition of the ambient space, together with partial spreads and colorings of powers of $q$-Johnson graphs. For this construction, we also prove necessary conditions, which show how chromatic and clique obstructions arise. The second family is obtained by field reduction from evasive and scattered subspaces over extension fields. This gives codes whose size can be computed exactly in the scattered case and recovers the only previously known construction as a special case.
On the recolorability of $(2K_2, K_4)$-free graphs
Given a graph $G$ and an integer $\ell>χ(G)$, the reconfiguration graph of the $\ell$-colorings of $G$ has as its vertices as the proper $\ell$-colorings of $G$, with an edge between two colorings whenever they differ on exactly one vertex. We say that $G$ is \emph{recolorable} if this reconfiguration graph is connected for every $\ell>χ(G)$. Belavadi and Cameron determined which $(F_1,F_2)$-free graphs are recolorable whenever $F_1$ and $F_2$ are graphs on at most four vertices, with the single exception of $(2K_2,K_4)$-free graphs. Gaspers and Huang showed such graphs are $4$-colorable. The $3$-colorable case within this class has also been resolved, leaving the open question of whether every $(2K_2,K_4)$-free graph with chromatic number $4$ is recolorable. In this paper, we provide evidence toward an affirmative answer by establishing recolorability for three subclasses: $(2K_2,K_4,C_5)$-free graphs, $(2K_2,K_4,H_a,H_b)$-free graphs for any distinct $a,b\in \{2,3,4\}$, and $(2K_2,K_4,H_4)$-free graphs containing an induced $W_5$, where $H_i$ denotes the unique $2K_2$-free graph obtained from a $W_5$ by keeping exactly $i$ edges from the universal vertex to the cycle.
An Erdős-Pósa theorem for cycles and faces of distinct lengths
We show that for every $k \in \mathbb{N}$, every graph $G$ contains $k$ vertex-disjoint cycles of different lengths, or there exists a set $X \subseteq V(G)$ with $|X| \in \mathcal{O}(k^6\mathsf{polylog}(k))$ such that $G-X$ has at most $k-1$ cycle lengths.
We also prove analogous results for facial lengths of embedded graphs. Let $G$ be a graph with a closed 2-cell embedding $ψ$ on a surface $Σ$ of Euler genus $g$, let $c$ be a colouring of the faces $\mathcal{F}(ψ)$ of $ψ$, and let $R(G,ψ)$ be the radial graph of $(G, ψ)$. Then there exist $k$ faces $F_1, \ldots , F_k \in \mathcal{F}(ψ)$ that are given pairwise distinct colours by $c$ and are pairwise at distance at least $d$ in $ψ$, or there exists a set $X \subseteq V(G)$ of order at most $\mathcal{O}(k^2dg)$ such that $|\{ c(F) \mid F \in \mathcal{F}(ψ) \text{ and } V(F) \cap \bigcup_{x \in X} N^d_{R(G,ψ)}(x) = \emptyset \}| \leq k(k+2)$.
Finally, using a result from additive combinatorics, we show that there are subdivided ladders with only a small number of cycle lengths. This suggests that it may be difficult to improve our bounds.
Coloring digraphs with $Δ-b$ colors
The dichromatic number of a digraph is the minimum number of colors needed to partition its vertex set into acyclic subdigraphs. A biclique is a set of vertices inducing all possible pairs of opposite arcs. For a digraph $D$, define $Δ(D) = \max_{v\in V(D)} \sqrt{d^+(v) \cdot d^-(v)}$.
We prove that, for every fixed integer $b\in\mathbb{N}$, every digraph $D$ with $Δ(D) = Δ$ being sufficiently large with respect to $b$ either contains a biclique whose size exceeds $Δ-2b$ or has dichromatic number at most $Δ-b$.
This extends a classical result of Reed to the directed setting and supports a conjecture of the present authors. Furthermore, the theorem is tight, as for all integers $b$ and $Δ\geq 3b$ there exists a digraph $D$ with $Δ(D)= Δ$, dichromatic number $Δ-b+1$, and whose largest biclique has size $Δ-2b+1$.
Dyck paths on colored lattices
Fried recently enumerated Dyck paths having equally many black and white cells below them, for the chessboard coloring (Narayana numbers) and the column-alternating coloring (Fuss--Catalan numbers). We prove a generalization here: for the coloring of columns modulo any $c\ge2$, the number of Dyck paths of semilength $n$ whose $c$ residue classes carry equal weight is the Raney number $\Raney_{c+1,r}(m)$, where $n=cm+r-1$.
Coloring t-perfect graphs with fewer colors
Recently, Chudnovsky, Cook, Davies, Oum, and Tan obtained the first finite bound on the chromatic number of t-perfect graphs, showing that they are 199053-colorable. We improve this bound to 186 by refining their proof.
The original proof establishes that every graph with large odd girth and large chromatic number contains a certain structure called an r-arithmetic rope, and that its existence in a certain leveling of a graph with large odd girth would imply an odd wheel as a t-minor, a known obstruction of t-perfectness. While their technique requires a lower bound on the chromatic number that is exponential in r, we show that the existence of an r-arithmetic rope can already be guaranteed under a linear bound. Using a slightly weakened notion of arithmetic ropes allows us to reduce the bound even further.
Star Coloring of Hypergraphs
We study a generalization of the star coloring problem on hypergraphs. For a family of connected subhypergraphs $\mathcal{F}$, we define an $\mathcal{F}$-coloring of a hypergraph as a coloring avoiding monochromatic hyperedges and any 2-colored member of $\mathcal{F}$. We let $χ^r_{\mathcal{F}}(d)$ be the maximum of the minimum number of colors needed for an $\mathcal{F}$-coloring of an $r$-uniform hypergraph with maximum degree $d.$ We show bounds for $χ^r_{\mathcal{F}}(d)$, that also yield results on star and acyclic coloring problem on hypergraphs.
Some new results on Sylvester colorings of cubic graphs
If $G$ and $H$ are two cubic multi-graphs, then an $H$-coloring of $G$ is a mapping $f: E(G)\rightarrow E(H)$, such that for every $v\in V(G)$ there is a vertex $x\in V(H)$, such that $f(\partial_G(v))=\partial_H(x)$. If $G$ admits an $H$-coloring then it is common to write $H\prec G$. The Petersen coloring conjecture predicts that for any bridgeless cubic graph $G$ one has $P_{10}\prec G$. Here $P_{10}$ is the Petersen graph. Let $f: E(G)\rightarrow E(H)$ be any mapping. Define: $V(f)=\{v\in V(G):\exists x\in V(H), f(\partial_G(v))=\partial_H(x)\}$. Let $S_{10}$ be the smallest cubic multi-graph that has no perfect matching. It has ten vertices. Define $S_{12}$ as the cubic graph that is obtained from $S_{10}$, by replacing its unique vertex $z$ adjacent to three bridges with a triangle. In this paper we show that (1) for every cubic multi-graph $G$ with a perfect matching, there is a mapping $f:E(G)\rightarrow E(S_{12})$, such that $|V(f)|\geq \frac{4}{5}\cdot |V(G)|$, and (2) for every cubic multi-graph $G$, there is a mapping $f:E(G)\rightarrow E(S_{10})$, such that $|V(f)|\geq \frac{5}{6}\cdot |V(G)|$. Our second result improves the $\frac{4}{5}$-bound by Hakobyan and the second author from 2018.
The crumby coloring conjecture for subcubic outerplanar graphs
The red-blue vertex partitions now known as crumby colorings originate in a conjecture of Thomassen related to Wegner's conjecture on squares of planar graphs. In such a coloring, the blue vertices induce a graph of maximum degree at most one, while the red vertices induce a graph with no isolated vertices and no simple path with three edges. Barát, Blázsik and Damásdi proved that every 2-connected outerplanar graph of maximum degree at most three admits a crumby coloring, and conjectured that the 2-connectivity assumption can be removed. We prove this conjecture: every finite simple subcubic outerplanar graph admits a crumby coloring. To prove the conjecture, we introduce a rooted grammar for subcubic outerplanar graphs. The grammar describes such graphs recursively using rooted branches and two-terminal path fragments; cyclic blocks are handled by deleting the root to obtain a path fragment. We correspondingly extend crumby colorings to crumby-admissible colorings: in a rooted branch the root, and in a path fragment the two terminals, are allowed to be temporary isolated red vertices. This relaxation makes induction along the grammar possible while retaining only finite boundary information. The induction reduces to verifying an explicit finite family of lower certificates, namely nonempty sets of boundary types and root states. The required verification has two parts: the family must be closed under all steps of the decomposition, and every certified completed branch must contain a final-legal root state, so that the temporary defect disappears and the resulting coloring is a genuine crumby coloring. This final step is computer-assisted: a stand-alone certificate checker, supplied with the paper, verifies the stated closure and crumby conditions for the supplied certificate. All structural reductions and the certificate-induction principle are proved by hand.
Pythagorean triples in level sets of completely multiplicative functions
We show that given completely multiplicative functions $f_1,\dots,f_d$ taking values in the unit circle, there exist Pythagorean triples (i.e., integer solutions to $x^2+y^2=z^2$) with $f_i(x),f_i(y),f_i(z)$ all arbitrarily close to $1$ for all $i$. This is a new special case of the conjecture that any finite colouring of $\mathbb{N}$ has a monochromatic Pythagorean triple. Our proof combines vanishing averages for aperiodic functions with concentration estimates for pretentious functions. A similar proof is applied to obtain the analogous statement for more general equations of the form $ax^2+by^2=cz^2$ whenever $a,b,c$ are perfect squares satisfying the Rado's condition.
The list coloring number of uncrowded hypergraphs
We prove that for every fixed integer $r\geq 2$ and every $\varepsilon>0$, every sufficiently large finite uncrowded $(r+1)$-uniform hypergraph of maximum degree $Δ$ has list chromatic number at most \[
(1+\varepsilon)\left(\frac{rΔ}{\logΔ}\right)^{1/r}. \] The proof is a semi-random list-coloring nibble carried out directly on the original hypergraph. We encode the remaining coloring problem by active edge-color constraints and control all residual sizes through a binomial degree bound. After the nibble reaches a sparse terminal state, the coloring is completed by a Rosenfeld-style counting argument.
A sharp lower bound for some reciprocal Rado numbers
Let $f_r(k)$ be the smallest $n$ such that every $r$-coloring of $\{1,2,\ldots,n\}$ has a monochromatic solution to the equation \[\frac{1}{x_1}+\frac{1}{x_2}+\cdots+\frac{1}{x_k}=\frac{1}{x_{k+1}}, \] where $x_1,x_2,\ldots,x_k$ are not necessarily distinct. In this paper, we prove that $f_r(2)\geq 4^r/2$ for all $r\geq1$, and $f_r(k)\geq(2^r-1)k^r$ for all $k\geq3$ and $r\geq1$. When $r=2$, we show that, if $k=3\cdot2^m$ for some positive integer $m$, then $f_2(k)=3k^2$; and if $k=p^m$ for some odd prime number $p$ and positive integer $m$, then $f_2(k)\geq3k^2+1$. We also provide new computational results for $f_2(k)$ and $f_3(k)$, as well as a generalization of our lower bounds for $f_2(k)$ to equations with general coefficients.
AVD Total Coloring of Central Graphs, Subdivision Graphs, and the Join of Graphs
In 2020, Panda, Verma, and Keerti asked whether the central graph of every graph satisfies the AVD-total coloring conjecture. In this paper, we verify the conjecture for central graphs of regular graphs, complete bipartite graphs, graphs that can be expressed as the join of two graphs of the same order, and several other graph classes, thereby providing partial progress towards this open problem. We further determine the AVD-total chromatic number of subdivision graphs and establish new results on the AVD-total coloring of joins of graphs.
3-Colouring Graphs Excluding a Fixed Minor
We show that, for every fixed graph $H$, every $n$-vertex graph $G$ that excludes $H$ as a minor is $3$-colourable with clustering $O_H(n^{4/9})$. That is, there exists a function $f$ such that for every graph $H$, every $n\ge 1$, every $n$-vertex graph $G$ that excludes $H$ as a minor has a vertex colouring with $3$ colours in which each monochromatic component has size at most $f(H)\cdot n^{4/9}$. This generalizes a recent result of Dujmović, Morin, Norin, and Wood (\textit{arXiv}:2507.03163) from planar graphs to all proper minor-closed graph classes and is the first improvement on clustered $3$-colouring of proper minor-closed graph classes since the upper bound of $O_H(\sqrt{n})$ due to Linial, Matoušek, Sheffet, and Tardos (\textit{Comb. Prob. Comput.}, \textbf{17}(4):577--589, 2008).
One-Weight Colorings, the Symmetric Class, and Lower Bounds for Hales--Jewett Numbers
A coloring of the Hales--Jewett cube $[t]^n$ is symmetric if it is invariant under all coordinate permutations, and one-weight if it reads only an integer-weighted count of the letters. We prove that the two classes coincide -- a radix weight realizes every symmetric coloring -- so the symmetric lower-bound problem for the Hales--Jewett numbers is exactly a one-dimensional coloring problem about homothetic copies of a $t$-point set, the case $d=1$ of Gallai's theorem. Optimizing the weight yields $\mathrm{HJ}(3,3)\ge22$ and $\mathrm{HJ}(4,2)\ge14$, the latter in closed form from the new Gallai homothety numbers $G_2(\{0,2,3,5\})=67$ and $G_2(\{0,1,5,6\})=80$; new values at three colors -- $G_3(\{0,1,3\})=42$, $G_3(\{0,1,4\})=57$ and $G_3(\{0,2,5\})\ge77$ -- give $\mathrm{HJ}(3,3)\ge16$ from a one-line certificate. An anatomy of the $(4,2)$ palette locates the source of its compression: it is an extremal object of the bracket regime plus a single boundary scale. An exhaustive census shows how thin the class is: of the $1644$ line-free $2$-colorings of $[3]^3$, exactly $36$ are symmetric. For lines with at most $K$ active coordinates the same machinery gives infinite bracket numbers, $\mathrm{HJ}^{[12]}(3,3)=\mathrm{HJ}^{[12]}(4,2)=\infty$, strictly beyond the sum-type ceilings $κ_{\mathrm{sum}}(3,3)=11$ and $κ_{\mathrm{sum}}(4,2)=10$; for lines whose active set is an interval the machinery is provably blind, the interval ceiling $λ(3,r)$ is settled for every $r$ by assembling the known bounds, and a SAT computation gives the exact value $\mathrm{HJ}^{(1)}(3)=5>4=\mathrm{HJ}(3)$. We close with the Collapse, diagonal-only, and symmetric-extremality conjectures and with open problems on optimal weights. Every certificate displayed in this note has been re-verified by direct enumeration, independently of any solver.
Towards the Overfull Conjecture II
Let $G$ be a simple graph with maximum degree $Δ(G)$. A subgraph $H\subseteq G$ is $Δ(G)$-overfull if $|E(H)|>Δ(G)\left\lfloor |V(H)|/2\right\rfloor$. In any edge coloring of $G$, each color class restricted to $H$ is a matching of size at most $\left\lfloor |V(H)|/2\right\rfloor$. Thus, if $G$ contains a $Δ(G)$-overfull subgraph, then $G$ cannot be edge-colored with only $Δ(G)$ colors. By Vizing's Theorem, $χ'(G)\le Δ(G)+1$, and hence $G$ is class $2$. In 1986, Chetwynd and Hilton conjectured that whenever $Δ(G)>|V(G)|/3$, the converse also holds: every class $2$ graph $G$ contains a $Δ(G)$-overfull subgraph. This statement, commonly known as the Overfull Conjecture, is one of the most influential conjectures in graph edge coloring. It would imply a polynomial-time algorithm for determining the chromatic index of graphs $G$ with $Δ(G)>|V(G)|/3$, and would also imply several other longstanding conjectures in the area, including the Just-overfull Conjecture and the Vertex-splitting Conjecture. In previous work, the third author verified the conjecture for large graphs $G$ with maximum degree at least $13|V(G)|/14$. In this paper, we confirm the conjecture for robust expanders satisfying certain density constraints. As a consequence, for every $0<\varepsilon<1$, the conjecture holds for all sufficiently large graphs $G$ with maximum degree at least $(1+\varepsilon)|V(G)|/2$.
Multiplicity for partially ordered sets
Let $\mathcal Q=\{Q_a:a\geq1\}$ be a nested family of finite posets such that $Q_a\subseteq Q_{a+1}$ and $|Q_a|<|Q_{a+1}|$. For a poset $Q$, let $\mathcal C_t(Q)$ denote the set of all strict $t$-chains in $Q$. Given an $r$-coloring of $\mathcal C_t(Q_a)$ and posets $P_1,\ldots,P_r$, a weak copy of $P_i$ is called monochromatic of color $i$ if all $t$-chains in the copy have color $i$; the strong version is defined in the same way for induced copies. The corresponding weak and strong multiplicity parameters are the minimum possible total number of such monochromatic copies in the host poset.For the Boolean lattice $B_n$, define $E_n={(S,T,U)\in B_n^3:S\subsetneq T\subsetneq U,\ |S|+|T|=|U|}.$ For a two-coloring $χ:B_n\to{0,1}$, a triple $(S,T,U)\in E_n$ is monochromatic if $χ(S)=χ(T)=χ(U)$. Let $R^{\mathrm{arith}}_2$ be the least integer $n$ such that every two-coloring of $B_n$ contains a monochromatic triple in $E_n$, and let $M^{\mathrm{arith}}_2(B_n)$ be the minimum number of monochromatic triples in $E_n$ over all two-colorings of $B_n$. We prove that $R^{\mathrm{arith}}_2=9.$ Moreover, $|E_n|=\binom{2n}{n}-[x^n](1+x+x^2)^n-2^n+1=\frac{4^n}{\sqrt{πn}}\bigl(1+o(1)\bigr),$ and $2^{δn+o(n)}\le M^{\mathrm{arith}}_2(B_n)\le 2^{γn+o(n)}, $ where $δ\approx 1.356779$ and $γ\approx 1.567837$ are explicit entropy constants. For general nested host families, we prove a double-counting lower bound for strong poset multiplicity. For an arbitrary finite host poset $R$, we also introduce a Fourier-Möbius method and give an exact Fourier expansion for strong multiplicity, a Parseval-type error bound, and a spectral lower bound.