coloring
4497 papers tagged with this keyword
Refined upper bounds on Schur-like numbers
For positive integers $r, m$ and $N$, every $r$-coloring of $\{1, \dots, N\}$ contains a monochromatic solution to $x_1+\dots+x_{m+1}=y_1+\dots+y_m$ provided that $N \ge 3^r (r!)^{1/m}$, which is qualitatively optimal when $m$ is logarithmic in $r$.
From b-Coloring to $b^*$-Coloring: Large Girth and Parameterized Complexity
A b-coloring is a proper vertex coloring such that every color class contains a vertex, a so-called b-vertex, which sees all colors in its closed neighborhood. This type of coloring has been intensively studied from both structural and algorithmic point of view. Recently, Zaker [DAM 2025] introduced the notion of a b*-coloring, which is a b-coloring in which there is a vertex that sees a b-vertex of every color in its closed neighborhood. The b*-chromatic number is the maximum integer k such that there is a b*-coloring with k colors.
We partially answer a question posed by Zaker and prove that graphs of girth at least 7 are b*-monotonic, which means that the b*-chromatic number does not increase by taking an induced subgraph. In addition, we discover a class of d-regular graphs of girth at least 5 with b*-chromatic number d+1, which strengthens a result about b-colorings by Dettlaff, Furmańczyk, Peterin, Roux, and Ziemann [AMC 2024].
We also study the parameterized complexity of finding b*-colorings, and show that for many structural parameters, the complexity coincides with that of finding b-colorings. In particular, the b*-chromatic number can be computed in polynomial time on any class of bounded clique-width. For most parameters, the translation from b-colorings is straightforward but for the feedback edge number, the FPT algorithm for b*-colorings is actually much simpler than that for b-colorings by Balabán [MFCS 2026].
A Lovász Theta Parameter and Theta Body for Signed Graphs
We introduce a Lovász-type semidefinite parameter for balanced colouring of signed graphs. Its homomorphism target is a unit sphere equipped with an orthogonal involution: the fixed and anti-fixed components play different roles, while applying the involution to one endpoint realizes switching. The resulting parameter admits a symmetric formulation with two positive semidefinite matrices and an equally symmetric dual. It is also one half of the strict vector chromatic number of the ordinary graph formed by the negative edges of the double switching graph. Our second main contribution is a hierarchy of convex corners. Starting from the balanced induced subgraph polytope, we define signed analogues of the stable-set, theta, and clique-inequalities relaxations in the original vertex space. The signed theta body has an intrinsic two-matrix description, its all-ones gauge is the new scalar parameter, and the ordinary stable-set hierarchy is recovered exactly from signed digon graphs. For all-negative signatures, the construction becomes a relaxation of the maximum induced bipartite subgraph problem and is related to the generalized theta number. Finally, we propose a notion of balanced perfectness and show that it is strictly weaker than perfectness of the associated double-cover graph.
Ramsey multiplicity for ordered graphs
Let \(\cG_1,\ldots,\cG_k\) be fixed vertex-ordered graphs, each containing at least one edge. The ordered Ramsey number \(\oR(\cG_1,\ldots,\cG_k)\) is the least integer \(N\) such that every \(k\)-edge-coloring of the ordered complete graph \(\cK_N\) contains an order-preserving copy of \(\cG_i\) in color \(i\) for some \(i\in[k]\). For positive weights \(\blambda=(λ_1,\ldots,λ_k)\), let \(\oM_{\blambda}(n;\cG_1,\ldots,\cG_k)\) denote the minimum weighted number of correctly colored, order-preserving copies of the target graphs over all \(k\)-edge-colorings of \(\cK_n\). When \(\blambda=\bf{1}\), \(\oM_{\bf{1}}(n;\cG_1,\ldots,\cG_k)=\oM(n;\cG_1,\ldots,\cG_k)\) is called the ordered Ramsey multiplicity. In this paper, we first establish the amplification inequality \[ \oM_{\blambda}(n;\cG_1,\ldots,\cG_k) \ge \oM_{\blambda}(t;\cG_1,\ldots,\cG_k) \frac{\binom{n}{\hmin}}{\binom{t}{\hmin}}, \] where $h_i=v(\cG_i),\hmin=\min_{i\in[k]}h_i$, and $n\ge t\ge\oR(\cG_1,\ldots,\cG_k)$. Let $\cS_{r,s}$ be the ordered star whose center has $r-1$ leaves to its left and $s-1$ leaves to its right, and let $\bB_m$ be the family of all ordered perfect matchings on $[2m]$ containing the edge $\{1,2m\}$. We apply the amplification inequality to obtain the multiplicity lower bounds for ordered stars and ordered perfect matchings. We then obtain the upper bound $\oM_{\boldsymbolλ} (n;\cS_{r_1,s_1},\cS_{r_2,s_2}) \le \min\{λ_1 B_{h_1}(n),λ_2 B_{h_2}(n)\}$ by constructions, where $B_{h_i}(n):= \binom{\lfloor n/2\rfloor}{h_i} + \binom{\lceil n/2\rceil}{h_i}$ and $h_i=r_i+s_i-1$ for $i\in [2]$. We also derive a random-coloring upper bound for ordered stars and prove \[\oM(n; \bB_m,\bB_m) \le \binom{n}{2m} \frac{(2m-2)!}{2^{2m-2}(m-1)!}.\] Finally, we establish a regularity-based lifting theorem for ordered colorings.
The DP Color Function of Bipartite Graphs
DP-coloring (or correspondence coloring) is a generalization of list coloring that has been widely studied since its introduction by Dvořák and Postle in 2015. As the analogue of $P(G,q)$, the chromatic polynomial of a graph $G$, the DP color function of $G$, denoted by $P_{DP}(G,q)$, counts the minimum number of DP-colorings over all $q$-fold covers of $G$. It follows that $P_{DP}(G,q) \leq P(G,q)$. It is known that there are graphs for which $P_{DP}(G,q) < P(G,q)$ for all sufficiently large $q$; in fact, all bipartite graphs containing a cycle have this property. A fundamental open question about DP color functions asks whether, for every graph $G$, there exist $N \in \mathbb{N}$ and a polynomial $p$ such that $P_{DP}(G,q) = p(q)$ whenever $q \geq N$. In this paper we answer this question affirmatively for all bipartite graphs. Specifically, if $G$ is an $n$-vertex bipartite graph with $c$ components, then $P_{DP}(G,q) = (-1)^{n-c}q^c \;T_G(1-q,1)$ for all sufficiently large $q$, where $T_G(x,y)$ is the Tutte polynomial of $G$. The ideas we develop also yield an asymptotic formula for $P(G,q)-P_{DP}(G,q)$ whenever the girth of $G$ is even.
On (1,1,2,3)- and (1,1,3,3,3)-Packing Colorings of Claw-Free Subcubic Graphs
For a non-decreasing sequence $S=(a_1,a_2,\ldots,a_r)$ of positive integers, an $S$-packing coloring of a graph $G$ is a partition of $V(G)$ into sets $A_1,\ldots,A_r$ such that any two distinct vertices in $A_i$ are at distance greater than $a_i$, for every $i\in\{1,\ldots,r\}$. Gastineau and Togni [\emph{Discrete Math.} 339 (2016), 2461--2470] asked whether every subcubic graph, except the Petersen graph, is $(1,1,2,3)$-packing colorable. In this paper, we prove that every claw-free subcubic graph is $(1,1,2,3)$-packing colorable. Moreover, we show that every connected claw-free subcubic graph, except a single graph $\mathcal{H}$, is $(1,1,3,3,3)$-packing colorable, thereby confirming a conjecture of the first two authors. Both results are best possible. Our proofs rely on a structural framework based on the skeleton and core graphs of a claw-free subcubic graph, together with a Hall-type matching argument that reduces the construction of suitable $3$-packings to a matching problem in an auxiliary bipartite graph.
Vertex-distinguishing chromatic index of digraphs
Let $D$ be a digraph. In this note, an \emph{arc coloring} of $D$ is an assignment of colors to the arcs of $D$ such that no two arcs with a common tail receive the same color and no two arcs with a common head receive the same color. Under such a coloring, each vertex $v$ is associated with an \emph{out-color set} and an \emph{in-color set}, consisting of the colors assigned to the arcs with tail $v$ and to the arcs with head $v$, respectively. An arc coloring of $D$ is \emph{vertex-distinguishing} if any two distinct vertices have different out-color sets and different in-color sets. The minimum number of colors required for a vertex-distinguishing arc coloring of $D$ is called the \emph{vertex-distinguishing chromatic index} of $D$, denoted $χ_{vd}^{\prime}(D)$. In 2016, Li, Bai, He, and Sun conjectured that $χ_{vd}^{\prime}(D)=k(D)$ for any digraph $D$ with at most one source and at most one sink, where $k(D)$ is a natural lower bound determined by the outdegree and indegree sequences of $D$. We confirm this conjecture.
Symmetric Numerical Three-Dimensional Matching: Intractability and Inapproximability
Symmetric Numerical Three-Dimensional Matching (SN3DM) asks whether three disjoint labeled classes with identical weight multisets can be partitioned into class-transversal triples of one common target sum. Its theme is role recovery under marginal symmetry: identical numerical catalogues force the asymmetric source roles to be reconstructed from incidence structure alone. This tutorial develops three complementary hardness results for that symmetry restriction.
Part I gives a unary-polynomial reduction from N3DM. Source roles become ports in one common occurrence set, a uniquely forced filler system reserves one main incidence per port, bipartite edge coloring restores the output-class labels, and a no-carry mixed-radix encoding packs four coordinates into positive integers. Hence SN3DM is strongly NP-complete.
Part II studies Max-SN3DM, for which strong NP-hardness alone does not exclude a PTAS. Two numerical compilers lift Petrank's perfect-completeness gap for bounded 3DM to unary Max-N3DM, and a defect-stability lemma shows that a symmetric matching of size 13n - d yields a source matching of size at least n - 21d, where n is the multiset cardinality, and d is a symmetric defect. Hence, for some epsilon > 0, it is NP-hard to separate perfect instances from those of optimum at most (1- epsilon) times perfect, so no PTAS exists unless P = NP. Every maximal legal triple matching is a 3-approximation, placing the problem in APX.
Part III supplies the approximation-preserving reduction Part II does not claim. An exact pair compiler and a one-live-port separation map degree-three Maximum 3DM to unary Max-SN3DM with OPT(Max-SN3DM) = Gamma + OPT(Max-3DM) for a fixed offset Gamma and one-for-one optimum-error transfer. The L-reduction has constants alpha = 764 and beta = 1, so Max-SN3DM is APX-complete. The two are incomparable; worked yes / no instances audit each construction.
Proper conflict-free 7-coloring of planar graphs
A proper conflict-free coloring is a proper vertex coloring in which every nonisolated vertex has a color occurring uniquely in its open neighborhood. We prove that every graph with neither a $K_5$-minor nor a $Q_6$-minor admits such a coloring with at most seven colors, where $Q_6=K_3\vee\overline{K_3}$. In particular, this improves the previous general upper bound of eight for planar graphs. The proof combines a previously developed iterated distance-three selector construction with a general anchor-contraction lifting principle. The first supplies independently colored witnesses in closed neighborhoods, while the second combines those witnesses with a proper coloring of a suitable minor. We also develop the parity analogue of the first mechanism and show that, whenever the $K_{k+1}$ case of Hadwiger's conjecture holds, every $K_{k+1}$-minor-free graph can be proper vertex colored with $2k-1$ colors such that every nonisolated vertex has a color occurring an odd number of times in its open neighborhood.
Odd-Girth Bounds for Defective Edge Coloring
A $(k,d)$-edge coloring of a loopless multigraph $G$ is an edge coloring using at most $k$ colors such that the subgraph formed by each color class has maximum degree at most $d$. The least such $k$ is denoted by $χ'_d(G)$. Let $G$ be a loopless non-bipartite multigraph with maximum degree $Δ(G)$ and odd girth $g_0(G)$, and let $d\ge1$ be odd. We prove that \[ χ'_d(G)\le\left\lceil\frac{g_0(G)Δ(G)-1}{dg_0(G)-1}\right\rceil. \] For $d=1$, this is Goldberg's odd-girth refinement of Shannon's theorem, while for $g_0(G)=3$ it is the defective Shannon bound of Aboulker, Aubian, and Huang. For every odd $d>1$, every odd $g_0\ge3$, and every $Δ>d$, an almost full ring multigraph $R(Δ,g_0)$, an odd cycle with edge multiplicities alternating between $\lfloorΔ/2\rfloor$ and $\lceilΔ/2\rceil$, except that two consecutive edges have multiplicity $\lfloorΔ/2\rfloor$, attains equality. We also derive a range in which the defective Goldberg--Seymour conjecture holds.
Temporal Role Colouring
A role colouring of a graph $G$ is an assignment of colours to the vertices of $G$ such that two vertices of the same colour have identical sets of colours in their neighbourhoods. This model is used to capture the idea of vertices having roles in a contact network, consistent with the set of roles of their contacts. We define an extension of the role colouring problem to temporal graphs. Temporal roles are defined via an automaton with states and transitions capturing both the current colour of a vertex and information about its current and past adjacencies. We show, by a reduction from the static problem, that the temporal role colouring problem is NP-complete. To contend with this intractability, we explore several parameterisations. We give fixed-parameter tractability results with respect to the number of states of the automaton combined with either the vertex-interval-membership width or the tree-interval-membership width of the temporal graph. We further show the problem is in FPT parameterised by the treewidth of the underlying graph, the lifetime of the temporal graph and the number of colours combined.
Graph k-Coloring in Average Sublinear Time
Graph $k$-coloring is one of the classic NP-complete problems. Previous work has studied its average time complexity, defined to be the average runtime of computing a $k$-coloring over the set of all $k$-colorable graphs on $n$ vertices. A highly influential result of Dyer-Frieze from 1989 gave an algorithm with $O(n^2)$ average runtime for constant $k$. This quadratic runtime appeared natural (and possibly even optimal) since almost all $k$-colorable graphs have $Θ(n^2)$ edges, so one needs at least this time in order to read the (entire) input. However, this was later improved by Kučera in 1995 to average runtime $O(n^2/k)$ for every $k \leq n^{c}$ where $c \in (0, 1)$. Nevertheless, in the most interesting case of $k = O(1)$, the best-known bound remained quadratic in $n$. The true average complexity of the $k$-coloring problem has remained elusive for the last three decades.
We break the longstanding quadratic barrier. Our main result in this paper shows that the exact average-case complexity of this fundamental problem is $Θ(nk)$ for every $k \leq n^{c'}$ and some $c' \in (0, 1)$. For $k = O(1)$, this reveals the average sublinear nature of $k$-colorability: the average-case complexity is linear in $n$, and thus sublinear in the size of the input. We further show that our $Θ(nk)$ average runtime is optimal, since a simple bound proves that every algorithm that correctly $k$-colors all $k$-colorable graphs requires $Ω(n k)$ average runtime.
Our proofs draw on ideas from sublinear and local algorithms and also yield a local computation algorithm (LCA) for $k$-coloring with average-case probe complexity $\text{poly}(k)$. A key new ingredient in our algorithm is a method for certifying the unique colorability of random subgraphs, using tools from the theory of graph regularity.
Coloring semiminimal Cayley Graphs
In 1978 Babai raised the question whether all semiminimal Cayley graphs have bounded chromatic number. In this paper we show that semiminimal Cayley graphs of abelian and generalized dihedral groups have circular chromatic number at most 4, thus extending a result of Barajas and Serra.
An Optimal Bound for Ramsey Goodness of Cycles
For graphs $F$ and $H$, the Ramsey number $R(F,H)$ is the minimum integer $N$ such that every $N$-vertex graph contains $F$ or its complement contains $H$. If $F$ is connected and $|F|\geσ(H)$, a construction of Burr gives $R(F,H)\ge(χ(H)-1)(|F|-1)+σ(H)$, where $σ(H)$ denotes the minimum order of a color class in a proper $χ(H)$-coloring of $H$. Burr proved that this bound is attained for $F=C_n$ when $n$ is sufficiently large. Allen, Brightwell and Skokan conjectured that equality already holds whenever $n\geq |H| χ(H)$, while Haslegrave, Hyde, Kim and Liu subsequently proved it whenever $n\ge C|H|\log^4χ(H)$.
Pokrovskiy and Sudakov conjectured that the optimal linear condition $n\geq C|H|$ suffices; this conjecture was also highlighted by Montgomery in his 2026 ICM survey (see Conjecture 9.2). In this paper, we resolve this conjecture by proving that there is an absolute constant $C>0$ such that $R(C_n,H)=(χ(H)-1)(n-1)+σ(H)$ for every nonempty graph $H$ and every $n\ge C|H|$. This gives the first bound linear in $|H|$, and is best possible up to a constant factor. Our proof builds on the framework of Haslegrave, Hyde, Kim and Liu, and combines some new ideas in expansion and switching cycle lengths.
Sharp bounds for the fractional chromatic number of high-girth $d$-degenerate graphs
Martinsson and Steiner recently proved that the fractional chromatic number of any $d$-degenerate triangle-free graph $G$ satisfies $χ_f(G) = O\left(\frac{d}{\log d}\right)$. They further conjectured a sharp leading constant $1 + o(1)$. In this paper, we confirm their upper bound conjecture for graphs having girth at least $5$. Our proof is constructive: it gives an efficient randomized algorithm that, with high probability, computes a fractional coloring of weight at most $(1 + o(1))\frac{d}{\log d}$ in such graphs.
Furthermore, we establish their conjectured lower bound in a stronger form: for any constant $g \ge 4$, there exist $d$-degenerate graphs having girth at least $g$ with $χ_f(G) \ge (1 - o(1))\frac{d}{\log d}$. This lower bound is achieved by analyzing a random graph based on the uniform attachment model. Notably, our results reveal that this model lacks the typical computational complexity barriers found in Erdős-Rényi graphs, where there is a conjectured factor-$2$ algorithmic gap for this problem.
Diamond-free, claw-free cubic graphs are (1, 1, 2, 3)-packing colorable
A $(1, 1, 2, k)$-packing coloring of a graph $G$ is a partition of $V(G)$ into two independent sets, a 2-packing, and a $k$-packing. Recently, the question was posed in [A short proof that every claw-free cubic graph is (1, 1, 2, 2)-packing colorable, arXiv:2512.24001v1] as to whether every claw-free cubic graph is $(1, 1, 2, 3)$-packing colorable. We provide an answer in the affirmative in the case that $G$ is a diamond-free, claw-free cubic graph.
Optimal coloring of $\{\mathrm{cap},\mathrm{even\ hole}\}$-free graphs with no short odd holes
A \emph{hole} is an induced cycle of length at least four, and an \emph{even hole} is a hole of even length. A \emph{cap} is obtained from a hole by adding a vertex adjacent to exactly two consecutive vertices of the hole. Chen, Xu, and Xu proved that every $\{\mathrm{cap},\mathrm{even\ hole}\}$-free graph $G$ satisfies $χ(G)\leq \left\lceil\frac{5}{4}ω(G)\right\rceil$, and improved this bound to $χ(G)\leq \left\lceil\frac{7}{6}ω(G)\right\rceil$ when $5$-holes are also excluded. They asked whether, for every integer $q\geq3$, every $\{\mathrm{cap},\mathrm{even\ hole}\}$-free graph $G$ with no odd hole of length at most $2q-1$ satisfies $$ χ(G)\leq \left\lceil\frac{2q+1}{2q}ω(G)\right\rceil. $$ We answer this question affirmatively and show that the bound is sharp for every $q\geq3$.
Schrijver Number Quasi-Tensorization and Multicolor Ramsey Bounds via Robust OR Polynomials
We introduce a robust OR polynomial framework for composing positive semidefinite certificates across OR constraints. We demonstrate the power of this method in two applications.
The first is on acute-free families. A set $\mathcal F=\{(x_i^{(1)},\ldots,x_i^{(r)})\}_{i=1}^M \subseteq (S^{n-1})^r$ is $r$-way acute-free if, for every $i\neq j$, there is a coordinate $t\in[r]$ such that $\langle x_i^{(t)},x_j^{(t)}\rangle\leq 0$. We write $M_r(n)$ for the maximum size of such a set, and $M_r^{\pm}(n)$ for the hypercube restriction. On the hypercube, $r$-way acute-free sets are independent sets for some strong power graph $G_n^{\boxtimes r}$. The Lovász theta number $\vartheta(G_n)$ is multiplicative but exponentially loose, whereas the Schrijver number $\vartheta'(G_n)$ gives the correct order, but is not multiplicative. We bypass this obstruction by proving a general quasi-tensorization result for the Schrijver number. That is, for every collection of graphs $G_1,\ldots, G_r$ satisfying $\vartheta'(G_i)\geq 2$, there is an absolute constant $C$ such that $\vartheta'(G_1\boxtimes \cdots \boxtimes G_r) \leq \prod_{i=1}^r \vartheta'(G_i)^{C\log r \log \vartheta'(G_i)}$. Applying this result gives that $M_r^{\pm}(n) \le M_r(n) \le (2n)^{C_0 r\log r\log(2n)}$ for some absolute constant $C_0$.
The second application is on multicolor Ramsey numbers. The $r$-color Ramsey number $R_r(k)$ is the minimum $n$ such that every $r$-coloring of the edges of the complete graph on $n$ vertices contains a monochromatic copy of $K_k$. In a breakthrough result, Balister et al. [arXiv:2410.17197] showed that $R_r(k)\le \exp(-Ω(k/r^{12}))r^{rk}$ via a geometric lemma. By improving the $r$ dependency in their geometric lemma via the OR polynomial framework, we prove that $R_r(k)\le \exp(-Ω(k/(r^9(\log r)^6)))r^{rk}$.
A diamond-free claw-free cubic graph with strong chromatic index 7
A strong edge coloring is a proper edge coloring in which every color class is an induced matching; the least number of colors is the strong chromatic index $χ'_s(G)$. Lin and Lin proved that every claw-free subcubic graph other than the triangular prism satisfies $χ'_s(G) \le 7$, with all their tight examples containing diamonds. Kardos (Problem 4.1 of the open-problem collection of the 33rd Workshop on Cycles and Colourings) asked whether every diamond-free claw-free cubic graph is strongly 6-edge-colorable, equivalently whether $χ'_s(T(G))=6$ for every cubic graph $G$, where $T(G)$ is the truncation of $G$. We exhibit an explicit connected, simple, diamond-free, claw-free cubic graph $H$ on 18 vertices with $χ'_s(H)=7$, and show that it has the fewest vertices possible for such a non-prism example. Hence the first formulation, over simple cubic graphs, is false even after excluding the prism; and since $H$ is the truncation of a cubic multigraph with parallel edges, the two formulations are not equivalent unless "cubic graph" is allowed to mean loopless multigraph, under which reading the problem is answered negatively. The narrower version restricted to truncations of simple base graphs remains open.
Multivariate growth series of graph products of groups
Right-angled Artin groups (RAAGs) and right-angled Coxeter groups (RACGs) associated with finite simple graphs are fundamental objects in geometric group theory. Their one-variable growth series with respect to the standard generating sets was classically expressed by Chiswell in terms of the one-variable independence polynomial of the defining graph [2] with suitable substitutions of the variable.
In this paper, we investigate the multivariate growth series of graph products of groups and derive explicit formulas in terms of the multivariate independence polynomial of the underlying graph through suitable substitutions of variables. As special cases, we obtain multivariate growth series formulas for RAAGs and RACGs, thereby extending the classical one-variable identities.
We further show that the coefficients of the multivariate growth series of RAAGs and RACGs admit explicit descriptions in terms of the double-marked and marked chromatic polynomials of graphs. This connection reveals a rich interplay between growth series and graph coloring invariants. In particular, we obtain completely explicit formulas for all the coefficients in the case of chordal graphs, which include, for example, trees and complete graphs.