coloring
4536 papers tagged with this keyword
First-order transducibility among classes of sparse graphs
We prove several negative results about first-order transducibility for classes of sparse graphs:
- for every $t \in \mathbb{N}$, the class of graphs of treewidth at most $t+1$ is not transducible from the class of graphs of treewidth at most $t$;
- for every $t \in \mathbb{N}$, the class of graphs with Hadwiger number at most $t+2$ is not transducible from the class of graphs with Hadwiger number at most $t$; and
- the class of graphs of treewidth at most $4$ is not transducible from the class of planar graphs.
These results are obtained by combining the known upper and lower bounds on the weak coloring numbers of the considered graph classes with the following two new observations:
- If a weakly sparse graph class $\mathscr D$ is transducible from a class $\mathscr C$ of bounded expansion, then for some $k \in \mathbb{N}$, every graph $G \in \mathscr D$ is a $k$-congested depth-$k$ minor of a graph $H^\circ$ obtained from some $H\in \mathscr C$ by adding a universal vertex.
- The operations of adding a universal vertex and of taking $k$-congested depth-$k$ minors, for a fixed $k$, preserve the degree of the distance-$d$ weak coloring number of a graph class, understood as a polynomial in $d$.
Quantum n-coloring is undecidable for every n $\ge$ 3
The quantum $n$-coloring problem, given graph $G$, asks whether there exists a perfect quantum strategy for the $n$-coloring game of $G$. Previously it was known that quantum $n$-coloring is undecidable only for $n=3$. We extend this to all $n\geq 3$ with one elementary reduction. Letting $G'=(G\square K_3)\lor K_{n-3}$, we show that $G$ is quantum $3$-colorable if and only if $G'$ is quantum $n$-colorable.
A note on the injective edge coloring of graphs with bounded maximum degree
Let $G$ be a graph. Under an \emph{injective edge coloring} of $G$, any two edges at distance $2$ or belonging to a common triangle receive distinct colors. The \emph{injective chromatic index} of $G$, denoted by $χ'_{inj}(G)$, is the smallest integer $k$ such that $G$ admits an injective edge coloring with $k$ colors. Let $Δ$ be the maximum degree of $G$. Ferdjallah et al.~proved that $χ'_{inj}(G) \le 2(Δ-1)^2$. In this paper, we improve this bound by proving that $χ'_{inj}(G) \le 2(Δ- 1)^2 -Δ+ 3$ if $Δ\ge 4$.
Frugal colourings of graphs via sparse hypergraph colouring
A proper colouring of a graph $G$ is $β$-frugal if every colour appears at most $β$ times in the neighbourhood of each vertex. Let $χ_β(G)$ denote the minimum number of colours required for a $β$-frugal colouring of $G$. For a fixed frugality $β$, Hind et al. showed that $χ_β(G) = \mathcal{O}(Δ(G)^{1 + 1/β})$, and a bipartite construction of Alon certifies the tightness of this upper bound up to a constant factor. Using a sparse hypergraph colouring theorem of Li and Postle, we show that for all fixed $β\ge 2$ and $t\ge 2$, if $G$ excludes either $C_{2t}$ or $K_{β,t}$ as a subgraph, then $χ_β(G) = \mathcal{O}(Δ(G)^{1 + 1/β} / (\logΔ(G))^{1/β})$. Furthermore, we show that these upper bounds are tight up to a constant factor due to the existence of graphs $G$ with arbitrarily large maximum degree $Δ$ and girth such that $χ_β(G) = Ω(Δ^{1 + 1/β} / (\logΔ)^{1/β})$. Finally, we show that excluding an arbitrary bipartite subgraph does not necessarily reduce the order of growth of $χ_β$, as there exist $K_{4^{β+1},4^{β+1}}$-free graphs $G$ with arbitrarily large maximum degree $Δ$ such that $χ_β(G) = Ω(Δ^{1 + 1/β})$.
Proof of the mad conjecture and its coloring applications
For a finite graph $G$, the maximum average degree $\operatorname{mad}(G)$ is the largest average degree of a nonempty subgraph of $G$. Hendrey, Norin and Wood asked whether this parameter is partitionable, that is, whether for all positive reals $a,b$ every graph $G$ with $\operatorname{mad}(G)<a+b$ admits a vertex partition $V(G)=A\cup B$ with $\operatorname{mad}(G[A])<a$ and $\operatorname{mad}(G[B])<b$. In this note, we answer this question affirmatively. Moreover, we generalize this to an arbitrary number of partition classes.
The clustered chromatic number $χ_\star(\mathrm{G})$ of a graph class $\mathrm{G}$ is the minimum integer $k$ such that, for some integer $c$, every graph in $\mathrm{G}$ has a $k$-coloring in which every monochromatic component has at most $c$ vertices. We apply this result to show that $χ_\star(\mathrm{A}_m)=\left\lfloor\frac{m}{2}\right\rfloor+1$, where $\mathrm{A}_m$ is the family of graphs $G$ with $\operatorname{mad}(G)\leq m$. This solves an open problem posed in Wood's survey and highlighted by Hendrey and Wood.
As another application of our general partition result for $\operatorname{mad}$, we obtain a bound for relaxed colorings. Namely, for non-negative integers $d_1,\ldots,d_k$, every graph $G$ with \[\operatorname{mad}(G)<\sum_{i=1}^k \frac{2d_i+2}{d_i+2}\] admits a partition $V(G)=V_1\cup\ldots\cup V_k$ such that $Δ(G[V_i])\leq d_i$ for each $i\in[k]$. In particular, this provides the first non-trivial bounds for $k\ge3$ with arbitrary $d_i$ and improves the previously known bound for $(d+1,d)$-colorings with $d \ge 2$.
Sparse coloring for isosceles-free grids: an AI-assisted proof case study
We study the largest size $C(n)$ of a subset of the $n\times n$ integer grid containing no isosceles triple, including equally spaced collinear triples. We prove $C(n)=Ω\left(n\sqrt{\log\log n/\log n}\right)$ by applying the sparse hypergraph coloring theorem of Cooper and Mubayi. Elementary geometry and primitive-direction counts give maximum degree $O(n^2\log n)$ and pair-codegree at most $5n$ for the forbidden-triple hypergraph. The resulting bound improves the explicit guarantee in PatternBoost by a factor of order $\sqrt{\log\log n}$. Recovered interaction records document how a Codex literature proposal, human route selection, finite verification, and author-relayed review informed proof synthesis and repair. We connect these actions to successive proof artifacts and extract two case-derived checking practices: tracking objects, parameters and conclusions in theorem applications, and seeding a definitional omission to test a finite verifier. Separately implemented enumerators agree on complete edge sets for every $2\le n\le12$; suppressing the degenerate-case branch loses exactly the equally spaced collinear triples. These records document assistance under human direction, and finite checks support implementation consistency rather than the asymptotic theorem itself.
Non-isomorphic graphs have distinct vertex-Ramsey classes
For a graph $H$, its $k$-colour vertex Ramsey class is the set of all graphs $G$ such that any colouring of the vertices of $G$ in $k$ colours results in a monochromatic (induced) copy of $H$. We prove that for any $k$, Ramsey classes of any non-isomorphic graphs are distinct.
Partitioning an $S$-packing coloring into broadcast dominating sets
Given a graph $G$ and a positive integer $k$, a packing $k$-domatic coloring of $G$ is a function $f: V(G) \to \{1,\ldots,t\}$ such that (1) for any color $j \in \{1,\ldots, t\}$ and any two distinct vertices $u,v\in V(G)$ with $f(u)=f(v)=j$ we have $d_G(u,v)>j$, and (2) $V(G)$ admits a partition into $k$ sets $A_1,\ldots,A_k$ such that for any $v\in V(G)$ and any $i\in\{1,\ldots,k\}$ there exists a vertex $w\in A_i$ such that $d_G(v,w)\le f(w)$. The minimum integer $t$ such that $G$ admits a packing $k$-domatic coloring of $G$ using colors in $\{1,\ldots,t\}$ is denoted by $χ_{ρ,k}(G)$. The condition (1) in the definition of a packing $k$-domatic coloring implies that $G$ is a packing coloring, hence $χ_{ρ,k}(G)\ge χ_ρ(G)$ holds for any graph $G$, where $χ_ρ(G)$ is the packing chromatic number of $G$. On the other hand, the new concept also leads to a generalization of the domatic number of a graph due to which one can easily see that $χ_{ρ,2}(G)=χ_ρ(G)$ holds for any graph with no isolated vertices. One of the main result in this paper is that $χ_{ρ,3}(G)=χ_ρ(G)$ holds in any connected graph $G$ with minimum degree at least $2$, and the bound is best possible in two different senses. In addition, we provide several exact values and bounds on the new invariant in paths and cycles. We prove that $χ_{ρ,k}(P_n)=k$ for any $k\in\{3,4,5\}$ as soon as $n\ge 8$, and, in contrast, $χ_{ρ,k}(P_n)>k$ for any $n\ge k\ge 12$. We also prove the exact values of $χ_{ρ,k}(P_\infty)$ when $k\in \{3,4,5\}$ for the two-way infinite path $P_\infty$, and exact values of $χ_{ρ,k}(C_n)$ when $k\in\{3,4\}$ for all cycles $C_n$. We also consider a general framework of $S$-packing $k$-domatic colorings, where $S$ is an arbitrary sequence of non-negative integers, and present some basic results in this context.
Resolving Erdős-Ulam Monochromatic Union-Closed Family Conjectures
We prove both Erdős-Ulam conjectures on monochromatic union-closed families. Every two-colouring of the subsets of a finite set contains a monochromatic union-closed family whose size grows faster than any fixed power of the size of the set, while suitable colourings admit no monochromatic union-closed family of exponential size. Both results hold for any number of colours and are verified in Lean.
On the Classical and Parameterized Complexity of Strong Odd Coloring
A strong odd $k$-coloring of a graph $G$ is a proper $k$-coloring such that every color appearing in the neighborhood of a non-isolated vertex appears an odd number of times. The minimum $k$ for which $G$ admits a strong odd $k$-coloring is the \emph{strong odd chromatic number}, denoted by $χ_{\text{so}}(G)$, of $G$. Given a graph $G$ and an integer $k$, \textsc{strong odd $k$-colorability} problem asks whether $G$ admits a strong odd $k$-coloring.
It is known that STRONG ODD $k$-COLORABILITY is NP-complete in general graphs. In this paper, we prove that the problem is NP-complete on perfect elimination bipartite graphs for $k\geq3$, which is a subclass of bipartite graphs. Furthermore, we show that $χ_{\text{so}}(G)$ is inapproximable within a factor of $O(n^{\frac{1}{2}-\varepsilon})$ for every $\varepsilon>0$. On the positive side, we obtain a linear time algorithm to compute an optimal strong odd coloring for block graphs. From a parameterized perspective, we present an FPT algorithm for STRONG ODD $k$-COLORABILITY when parameterized by treewidth. Moreover, we show that the problem cannot be solved in time $(k-\varepsilon)^{\texttt{tw}}n^{O(1)}$ for every $k\geq3$ and $\varepsilon>0$ when parameterized by treewidth under SETH. Furthermore, we show that STRONG ODD $k$-COLORABILITY does not admit a polynomial kernel when parameterized by feedback vertex set. Lastly, we prove that STRONG ODD $k$-COLORABILITY is W[1]-hard when parameterized by clique-width.
Coloring 3-colorable graphs with $O(n^{4/23})$ colors via a Gaussian-cover recursion
We give a randomized polynomial-time algorithm that colors any promised $3$-colorable graph on $n$ vertices with $\smash{O(n^{4/23}) = O(n^{0.17391\ldots})}$ colors, improving on the recent bounds of $O(n^{0.19539})$ by Bansal, Huang, and Lee and Narang and Tang who obtained $O(n^{(13-\sqrt{97})/18+ε})=O(n^{0.17506\dots + ε})$ colors for every fixed $\smash{ε>0}$.
To prove our result, we start from a fixed-level semidefinite relaxation, where we use a finite-depth recursion on Gaussian covers. Fixing a root vertex, we group vertices by correlation with the root vector. Here, each step extends a cover of directions by one edge and transfers it to a successor group. Our key analytic ingredient is a variance bound for Gaussian maxima: for a maximum of $m\geq 2$ centered linear forms with coefficient norms at most $r$, mean $μ$, and variance $v$, we prove $v\leq r^2-μ^2/(2\log m)$ using Chen's Gaussian convexity theorem. Together with a variance-scale lower-tail estimate, this controls the threshold loss at each extension, which shows that root-conditioned vector colorings can either extract a large independent set from a group or bound its size, forcing a contradiction after constantly many steps. The resulting sparse-case guarantee combines with the dense progress bound of Kawarabayashi, Thorup, and Yoneda, and the recursion's numerical inequalities are verified via rational interval arithmetic.
On c-polynomial factorisations
c-Polynomials are polynomials whose (non-zero) coefficients are all equal to 1. Taking a theorem by Carlitz and Moser as a motivation, we prove a structure theorem for the factorisations of the c-polynomial $(x^n-1)/(x-1)$ into c-irreducible factors by relating c-torisations into c-polynomials to joint ordered factorisations arising from the integer n. The question of how many different joint ordered factorisations there are leads to the precise chromatic polynomial for path graphs, counting the ways of path graph colourings with $m$ colours under the condition that all colours are used. Moreover, we give similar counting formulae for joint ordered factorisations under the constraints that all factors are primes, or that all factors are square-free.
Bicoloured-interval and interval-sandwich graphs: two new classes in the tolerance hierarchy
We introduce two new graph classes, the bicoloured-interval graphs and the interval-sandwich graphs, arising from the study of the robust line fitting problem in computer vision. In a bicoloured-interval graph, each vertex is assigned a real interval and one of two colours. Vertices of different colours are adjacent precisely when their intervals intersect, and vertices of the same colour precisely when the centre of one interval lies in the other. Discarding the colouring yields the interval-sandwich graphs, sandwiched between the $50\%$-tolerance graph and the intersection graph of a family of intervals.
We prove structural results for both classes, determining which holes, antiholes, trees, and complete bipartite graphs each contains. Consequently, neither class is characterised by finitely many forbidden induced subgraphs. We place both classes strictly between the unit tolerance graphs and the co-comparability graphs in the tolerance hierarchy, separating them from the neighbouring classes. In particular, we construct an infinite family of proper tolerance graphs, each of which is a minimal forbidden induced subgraph for the bicoloured-interval graphs.
Finally, we consider the recognition problems for both classes. We show that every graph in either class has a polynomial-size integer representation, and hence that both problems lie in~$\textsf{NP}$.
The Four Color Theorem with Linearly Many Reducible Configurations and Near-Linear Time Coloring
We give a near-linear time 4-coloring algorithm for planar graphs, improving on the previous quadratic time algorithm by Robertson et al. from 1996. Such an algorithm cannot be achieved by the known proofs of the Four Color Theorem (4CT). Technically speaking, we show the following significant generalization of the 4CT: every planar triangulation contains linearly many pairwise non-touching reducible configurations or pairwise non-crossing obstructing cycles of length at most 5 (which all allow for making effective 4-coloring reductions).
The known proofs of the 4CT only show the existence of a single reducible configuration or obstructing cycle in the above statement. The existence is proved using the discharging method based on combinatorial curvature. It identifies reducible configurations in parts where the local neighborhood has positive combinatorial curvature. Our result significantly strengthens the known proofs of 4CT, showing that we can also find reductions in large ``flat" parts where the curvature is zero, and moreover, we can make reductions almost anywhere in a given planar graph. This also opens possibilities for extensions to higher surfaces since we can find such flat parts in any large-width triangulation of any fixed surface.
From a computational perspective, the old proofs allowed us to apply induction on a problem that is smaller by some additive constant. The inductive step took linear time, resulting in a quadratic total time. With our linear number of reducible configurations or obstructing cycles, we can reduce the problem size by a constant factor. Our inductive step takes $O(n\log n)$ time, yielding a 4-coloring in $O(n\log n)$ total time. To efficiently handle a linear number of reducible configurations, we need them to be sufficiently robust to be useful in other applications. All our reducible configurations are what is known as D-reducible.
Another proof that the two color bipartite Ramsey number is $O(2^t)$
For positive integers $t$ and $q$ let $b_q(t)$ be the smallest integer $n$ so that any coloring of the edges of the complete bipartite graph $K_{n,n}$ with $q$ colors yields a monochromatic copy of $K_{t,t}$. We give an independent proof that $b_2(t)\le 128\cdot 2^t$ for every positive integer $t$. More generally, for $0< p\le 1/2$, every bipartite graph of edge density at least $p$, with both classes of size at least $128\cdot p^{-t}$, contains $K_{t,t}$. This gives $b_q(t)\le 128\cdot q^t$ for every integer $q\ge 2$ and a uniform consequence for Zarankiewicz numbers.
$(2,\mathcal{F})$-Avoiding Coloring and B-Coloring under Bipartite Exclusions
Let $\mathcal{F}$ be a nonempty family of connected bipartite graphs, each with at least two edges. For a graph $G$, a proper vertex coloring of $G$ is $(2,\mathcal{F})$-avoiding if no member of $\mathcal{F}$ occurs bichromatically, and $χ_{2,\mathcal{F}}(G)$ denotes the minimum number of colors in such a coloring. A B-coloring of $G$ is a proper edge-coloring in which every $4$-cycle is rainbow, and $q_B(G)$ denotes the minimum number of colors in a B-coloring of $G$. For a fixed connected bipartite graph $F$ with at least one edge and bipartition classes $X_F$ and $Y_F$, define $k(F)=\min\{|I|:I\subseteq X_F\text{ or }I\subseteq Y_F,F-I\text{ is a forest}\}$.
Let $m\ge2$ be the minimum number of edges in a member of $\mathcal{F}$. We prove that if $k(F)\le m-2$, then every $F$-free graph $G$ of sufficiently large maximum degree $Δ$ satisfies $χ_{2,\mathcal{F}}(G)=O((\frac{Δ^m}{\logΔ})^{\frac{1}{m-1}})$, which gives a positive answer to Chuet's Problem A and C in a sharp sense, thereby extending the results of Chuet [arXiv:2603.23379] from frugal colorings to $(2,\mathcal{F})$-avoiding colorings.
For B-colorings, put $k=k(F)$, $h=|V(F)|$, and $s=\min\{|X_F|,|Y_F|\}$. We prove that every $F$-free graph $G$ of sufficiently large maximum degree $Δ$ satisfies \[ q_B(G)\le \begin{cases} Δ+Δ^{1-η}+1, & \text{if }s\le2,\\ (4h-2)(Δ-1)+1, & \text{if }s\ge3\text{ and }k\le1,\\ C\frac{Δ^{2-\frac{1}{k}}}{\logΔ}, & \text{if }k\ge2, \end{cases} \] where $η>0$ and $C>0$ depend only on $F$. For $k\le1$, the linear order is best possible, and for $k\ge2$, the bound is nearly sharp.
To prove these results, we develop a common reduction of the coloring problems to $P$-perfect matching problems in auxiliary hypergraphs and apply the forbidden-submatching theorem of Delcourt and Postle.
Sub-quorum colorings of some infinite families of caterpillars
A partition $π=\{V_{1},V_{2},...,V_{k}\}$ of the vertex set $V$ of a graph $G$ into $k$ color classes $V_{i},$ with $i\in\{1,...,k\}$ is called a {\it quorum coloring} if for every vertex $v\in V,$ at least half of the vertices in the closed neighborhood $N[v]$ of $v$ have the same color as $v.$ The maximum cardinality of a quorum coloring of $G$ is called the {\it quorum coloring number} of $G$ and is denoted by $ψ_{q}(G).$ A {\it sub-quorum coloring} of $G$ is an onto partial function $f:V\rightarrow\left\{1,2,\ldots,\ell\right\}$ having the property that for every vertex $v\in V,$ if $f(v)$ is defined, then at least half of the vertices in $N[v]$ having an image by $f$, have the same color as $v.$ The {\it sub-quorum coloring number} $ψ_{sq}(G)$ equals the maximum value $\ell$ in a sub-quorum coloring of $G.$ In this paper, we determine the exact value of the sub-quorum coloring number for some infinite families of caterpillars including complete $n$-tuple caterpillars and complete caterpillars with minimum spine-vertex degree three.
Hamilton-connected cores and five cycle--wheel Ramsey numbers
Let $W_s=K_1+C_{s-1}$ denote the wheel on $s$ vertices. We give structural proofs that $R(C_{14},W_{11})=27$ and $R(C_{15},W_{11})=29$. Together with the theorem of Chen et al. for $n\ge16$, these equalities give $R(C_n,W_{11})=2n-1$ for every $n\ge14$. The two boundary values were included in an earlier survey announcement. We also give structural proofs of $R(C_8,W_7)=15$, $R(C_9,W_7)=17$, and $R(C_8,W_9)=15$. The common starting point is a Hamilton-connected core lemma. For the eleven-vertex wheel, bounds on vertex connectivity and on the matching number of a bipartite graph associated with a local cycle yield a vertex cut of order nine. Paths with prescribed endpoints then rule out every possible pair of orders of the two remaining vertex sets. For the smaller wheels, we use the structure of critical cycle colorings and local cycle-shortening arguments. We also give complete structural classifications of the $(C_8,C_6)$- and $(C_9,C_6)$-critical colorings, recovering the previously reported counts 24 and 26. All proofs are combinatorial and use no exhaustive graph enumeration.
An elementary proof of the 2-regularity of Pythagorean triples
We give a new proof of the fact that every 2-coloring of the positive integers contains a monochromatic Pythagorean triple. This result was originally proven by Heule, Kullmann, and Marek with SAT solvers in 2016, answering a decades-old question of Graham. This proof uses elementary techniques and requires neither lengthy computation nor difficult analytic machinery.
Pair-Defensive Silver Colourings of Hypercubes
A silver colouring is a proper colouring in which every colour appears in the closed neighbourhood of each vertex of a prescribed independent set. This local condition suffices when vertices are tested one at a time. We study a stronger requirement for simultaneous testing: whenever one or two vertices of the independent set are attacked together, each colour must supply distinct nearby defenders for them. We call this a pair-defensive silver colouring. For the hypercube $Q_d$, with one parity class as the attacked set, we prove that the maximum number of colours in a pair-defensive silver colouring is at most $\lfloor(d+3)/2\rfloor$, roughly half the ordinary silver-colouring target $d+1$. We construct colourings attaining this bound in four consecutive dimensions around every power of two, and we study the structure of the extremal, bound-attaining colourings. In each odd critical dimension, we characterize the extremal colourings by a partition of the defender parity into regular, triangle-free subgraphs of the halved cube. This characterization also has a local form in terms of coordinate matchings and a defect coordinate