coloring
4536 papers tagged with this keyword
The List Total Colouring Conjecture is False
We exhibit a cubic graph with total chromatic number equal to four and list total chromatic number five. This disproves the List Total Colouring Conjecture of Borodin--Kostochka--Woodall, Juvan--Mohar--Škrekovski and Hilton--Johnson from the late 1990s. ChatGPT 6 Astra Ultra discovered the counterexample with little input from the author.
Frugal coloring in planar graphs with maximum degree 4 and 5
A proper coloring of vertices of a graph $G$ is called $t$-frugal if no color appears more than $t$ times in the neighborhood of any vertex of $G$. While $1$-frugal coloring coincides with $2$-distance coloring, we study $2$-frugal colorings of planar graphs with maximum degree $4$ and $5$, respectively. We prove that every planar graph with maximum degree $4$ admits a $2$-frugal coloring with $7$ colors, while a planar graph with maximum degree $5$ admits a $2$-frugal coloring with $10$ colors. The results present variations of parts of the famous Wegner's conjecture, which for planar graphs with maximum degree $Δ\in\{4,\ldots,7\}$ states that their $2$-distance chromatic number is at most $Δ+5$.
Measurable obstructions for unmeasurable colourings
Due to the availability of powerful analytic techniques, vastly superior lower bounds are known for the measurable chromatic number of Euclidean spaces compared to their ordinary chromatic number. Indeed, even the breakthrough lower bound of 5 for the famous Hadwiger-Nelson problem lagged over 35 years behind that of the measurable setting. This raises the fundamental question of whether the measurable and ordinary chromatic number of Euclidean spaces differ as conjectured by Székely in 1984.
Our main result is that $\overlineα(\mathbb{R}^4)=m_1(\mathbb{R}^4)$ and $χ(\mathbb{R}^4)=χ^{(m)}(\mathbb{R}^4)$, and for $d\ge5$ that \[ \overlineα(\mathbb{Q}^d) = \overlineα(\mathbb{R}^d)=m_1(\mathbb{R}^d) \qquad\text{and}\qquad χ(\mathbb{Q}^d) = χ(\mathbb{R}^d)=χ^{(m)}(\mathbb{R}^d). \] Our theorem also holds for multiple forbidden distances $D=\{d_1,\ldots,d_t\}$ provided that $d_1^2,\ldots,d_t^2 \in \mathbb{Q}$. As a consequence, we immediately lift numerous measurable chromatic number results into the ordinary setting. We also take the opportunity to further optimize the new bounds.
For multiple distances, Erdős asked whether the chromatic number of $\mathbb{R}^d$ with up to $k$ forbidden distances $D$ grows exponentially in $k$. By a theorem of Bukh, we obtain for $d \ge 4$ that \[ \sup_{|D|=k}χ_D(\mathbb{R}^d) \ge m_1(\mathbb{R}^d)^{-k}. \]
Making progress on another problem of Erdős, we prove that \[ (2+o(1))^d \le χ(\mathbb{R}^d) \le \left(\frac{3\sqrt{3}}{4}+o(1)\right)^d. \] We also vastly improve the lower bounds for $χ(\mathbb{R}^d)$ for small $d\ge4$.
We expect that our techniques could be developed much further. This includes the possibility of extending our main theorem that $χ(\mathbb{R}^d)=χ^{(m)}(\mathbb{R}^d)$ for $d\ge 4$ to $d=3$ or possibly even to $d=2$ to tackle the Hadwiger-Nelson problem.
Lower bounds for Ramsey numbers: $\mathrm{R}(6,8)\ge 135$ and $\mathrm{R}(8,10)\ge 345$
We prove the lower bounds $\mathrm{R}(6,8)\ge 135$ and $\mathrm{R}(8,10)\ge 345$, improving the bounds 134 and 343 listed in the April 2026 revision of Radziszowski's dynamic survey. We give explicit red/blue colorings of $K_{134}$ with no red $K_6$ or blue $K_8$, and of $K_{344}$ with no red $K_8$ or blue $K_{10}$, and verify them with two independently written exhaustive clique checkers. Starting from published colorings, we find these witnesses by adding vertices and repairing the resulting monochromatic cliques through local search. The search uses exact conflict counts, preparation moves aimed at making remaining cliques cheaper to break, and mutations followed by repair. A loss based on the largest monochromatic clique containing each edge yielded a useful intermediate state for the $\mathrm{R}(6,8)$ construction. Guided by the author, an AI coding agent wrote and ran the search code; we describe the methods and document the ancestry of the resulting colorings.
Fractional majority coloring of digraphs: bounds and inapproximability
A set of vertices in a digraph is majority-stable if each of its vertices has at most half of its outneighbors in the set. A fractional majority coloring assigns nonnegative weights to such sets, covering each vertex to total weight at least one; its minimum total weight is the fractional majority coloring number. We prove that every finite loopless digraph has fractional majority coloring number at most \(523/140<3.736\), improving the bound \(3.9602\) of Anastos, Lamaison, Steiner and Szabó. Our construction uses exclusive sampling from pairs in random cycle matchings, followed by deletion and a correction on the acyclic remainder. The same approach yields bounds below \(3.430\) for digraphs with a directed cycle factor, \(3.287\) for those with an even cycle factor, and \(3.324\) for tournaments. As a consequence, for every fixed \(\varepsilon>0\), we obtain a randomized \((2.491+\varepsilon)\)-approximation algorithm producing an explicit fractional majority coloring in expected polynomial time. On the complexity side, we prove NP-completeness of deciding whether the fractional majority coloring number equals $3/2$, and establish a multiplicative inapproximability threshold of $72/71$ and an additive upper-estimation threshold of $3/142$. All three results hold for acyclic oriented digraphs with outdegrees zero or two in which every directed path has length at most two.
Arithmetic Progressions in Midpoint Colourings
We introduce an asymmetric variant of a classic problem by Roth about colourings of integers and midpoints. The new problem cannot be solved with the standard approach by Erdös-Sárközy-Sós which uses symmetry. We describe a Fourier Analytic approach which gives asymptotically tight bounds. In the $\mathbb{F}_3^n$ setting, the density increment we show is efficient and together with the Freiman-Ruzsa Theorem provides an affine subspace of near optimal codimension within the distinguished set. This approach adopted to the setting of the integers from $1$ to $N$ via Bohr sets and Bogolyubov-Ruzsa Lemma gives a progression of length being a power of $N$ which only depends on the number of colours. We then use Chang's Lemma and Balog-Szemerédi-Gowers Theorem to further improve the dependence on the number of colours.
Decomposition Profiles and Weisfeiler-Leman Dimension for Graphs of Bounded Rank Width
The Weisfeiler-Leman (WL) algorithm tests graph isomorphism by assigning colours to $d$-tuples of vertices and iteratively refining the colouring according to neighbourhood configurations until it stabilizes. Increasing $d$ allows the test to detect finer structural differences between graphs, but the computational cost grows exponentially with $d$. The central question is which dimension allows us to distinguish nonisomorphic graphs. We relate a sufficient such dimension to the structure of a graph $G$ through a rank decomposition over $\mathbb F_2$. The two parameters governing the bound are the maximum cut rank $w$ and the fork load $\ell$, which is the largest sum of the parent and two child cut ranks at a fork in the decomposition tree. We prove that WL in dimension $\max\{\ell+1,2w+2\}$ distinguishes every finite nonempty vertex-coloured graph $G$ with such a decomposition from every graph not isomorphic to $G$. Consequently, for $k\geq1$, graphs of rank width at most $k$ can be distinguished from every nonisomorphic graph in dimension $3k+1$, graphs of linear rank width at most $k$ in dimension $2k+2$, and edgeless graphs in dimension one. Uncoloured Cai-Fürer-Immerman (CFI) constructions give linear lower bounds for both width parameters, so the upper bounds are tight up to constant factors.
Obstructions to $k$-colouring $H$-free graphs
A graph is $H$-free if it has no induced subgraph isomorphic to $H$. In 2020, Chudnovsky, Goedgebeur, Schaudt, and Zhong characterized all graphs $H$ such that there are only finitely many minimal obstructions to $3$-colouring $H$-free graphs. In general, the minimal obstructions to $k$-colouring $H$-free graphs are the $(k+1)$-vertex-critical $H$-free graphs, those are, the $H$-free graphs $G$ with $χ(G)=k+1$ but $χ(G-v)=k$ for every vertex in $G$. In this paper we complete the characterization for all $k > 4$ by showing that there are onky finitely $k$-vertex-critical $H$-free graphs if and only if $H$ is an induced subgraph of $P_4+\ell P_1$ for some $\ell \geq 0$.
Coloring Monomial Cayley Graphs: The One-Parameter Case
How do algebraic relations among unit directions influence the chromatic number of the plane? We introduce monomial Cayley graphs as a framework for investigating this question, beginning with graphs whose allowed unit steps are signed powers of a single complex parameter. Transcendental parameters give bipartite graphs, while for roots of unity we determine both the chromatic and circular chromatic numbers. As a geometric consequence, every graph admitting a unit-distance embedding in the plane in which the angle between any two edge directions is a rational multiple of $π$ is three-colorable. For algebraic noninteger parameters, four colors suffice, and three suffice when the primitive integer minimal polynomial has leading coefficient at least three. We conjecture that three colors suffice for every algebraic noninteger direction parameter and that four suffice for every direction parameter.
Fair and Tolerant (FAT) Graph Colorings
We introduce and study Fair and Tolerant colorings (FAT colorings), where each vertex tolerates a given fraction of same-colored neighbors while fairness is preserved across the other coloring classes. Moreover, we define the FAT chromatic number $χ^{\mathrm{FAT}}(G)$ as the largest integer $k$ for which $G$ admits a FAT $k$-coloring. We establish general bounds on $χ^{\mathrm{FAT}}$, relate it to structural and spectral properties of graphs, and characterize it completely for several families of graphs. We conclude with a list of open questions that suggest future directions.
Double-Partition Coloring problem: a unified approach for conflict-free coloring of hypergraphs and other coloring problems in graphs
The Double-Partition Coloring Problem (DPCP) is a recently introduced generalization of several coloring problems on graphs and hypergraphs, including the Partition Coloring Problem, the List Coloring Problem, and the Conflict-Free Coloring Problem (CFCP). In this work, we further investigate the structural and computational properties of the DPCP and develop exact and heuristic solution approaches. We derive structural results that allow the detection of infeasible instances and the reduction of their size. We propose one-step and two-step heuristics for obtaining high-quality solutions. These procedures are incorporated into an enhanced branch-and-price algorithm based on a set covering formulation of the DPCP. The algorithm further includes new strategies for solving the NP-hard pricing problem. Computational experiments show that the proposed branch-and-price algorithm and a compact integer programming formulation complement each other: while the compact formulation is generally more effective on sparse instances, branch-and-price performs particularly well on denser and larger instances. In particular, these are the first exact algorithms to be computationally evaluated on various CFCP instances.
On Hypergraph Colorings and Completely Independent Spanning Trees in Chordal Graphs
In this paper, we study the existence problem of completely independent spanning trees (CIST) in chordal graphs through appropriate hypergraph representations and their panchromatic and bipanchromatic colorings. First, we disprove a conjecture stating an exact relationship between the panchromatic number, the bipanchromatic number, and the minimum number of unique colors in an optimal panchromatic coloring of a hypergraph. Then, by relating CIST to panchromatic and bipanchromatic colorings of the associated hypergraphs, we derive structural conditions for their existence in chordal graphs and specifically strictly chordal graphs.
Embedding equitable (s,p)-edge-colorings of $K_n$
An $(s,p)$-edge-coloring of a graph $G$ is an edge coloring using $s$ colors such that exactly $p$ colors appear at each vertex. To generalize the notion of proper edge-coloring, these colorings are defined to be equitable: the numbers of edges of each color incident to a vertex are fairly distributed. We find the necessary and sufficient conditions for embedding an equitable $(s_1,p_1)$-edge-coloring of $K_{n_1}$ into an equitable $(s_2,p_2)$-edge-coloring of $K_{n_2}$. We focus on the values of $n_1$, $p_1$, $n_2$, and $p_2$ where $s_1$ is necessarily larger than $p_1$ and $s_2$ is necessarily larger than $p_2$.
An upper bound on the proper hat guessing number of graphs
We study the proper hat guessing game on graphs, introduced by Adriaensen et al. in Hat guessing with proper colorings. In this game, the players are seated on the vertices of a graph $G$ and assigned hats from a set of $k$ colors such that the resulting assignment forms a proper coloring. The visibility of each vertex is limited to the hat colors of their neighborhood. Then they must simultaneously output a guess about the color of their own hat. The players win if at least one guess is correct. A parameter related to this problem is the proper hat guessing number $\operatorname{HG}_{P}(G)$ that is the maximum number of colors $m$ such that the players can guarantee a winning strategy. Motivated by the work of Shurman et al. \cite{shurman2026upper}, we establish the first upper bound that depends both on the number of vertices $n$ and the maximum degree $Δ$ in the case where $Δ\geq \frac{n}{e+1}$. This result leads us to show that the proper hat guessing number of the binomial random graph $G_{n,1/2}$ is bounded above by $cn$, where $c \approx 1.366$. Finally, we prove that graphs of maximum degree $(1-γ)n$ for some fixed $γ\in (0,1]$ cannot have $\operatorname{HG}_{P}(G) = (2-o(1))n$.
Stationary common-neighborhood properties and partition hypotheses
We use stationary common-neighborhood properties to study highly connected Ramsey relations and partition hypotheses. For weakly compact $κ$, $\operatorname{Coll}(ω_1,{<}κ)$ forces $ω_2\to_{\mathrm{hc},<5}(ω_2)^2_ω$ and $\operatorname{PH}_1(ω_2)$. If $κ$ is $T^{κ^+}_{ω_1}$-Ramsey, the same collapse forces that every countable coloring of $[ω_2]^2$ has a stationary set $X\subseteqω_2$ and a color $i$ such that every finite subset of $X$ has stationarily many color-$i$ common neighbors in $X$. From one weakly compact cardinal, we obtain a model of the ${<}5$-edge relation at $ω_3$ and $\operatorname{PH}_1(ω_3)$, in which $\check H^2(ω_3,A_d)\ne0$ for every nontrivial abelian group $A$. This separates $\operatorname{PH}_1(ω_3)$ from $\operatorname{PH}_2(ω_3)$, with the exact consistency strength of one weakly compact cardinal. We also show that $\operatorname{PH}_1(ω_2\timesω_5)$ is equiconsistent with two weakly compact cardinals.
On the majority game chromatic number of forests and other graphs
A majority coloring of a graph $G$ is a vertex coloring of $G$ in which no vertex has more than half of its neighbors colored with its own color. The least number of colors required for a majority coloring of $G$ is the majority chromatic number $μ(G)$. The majority coloring game, introduced by Bosek et al. (2019), is a two-player Maker-Breaker-type game where the players alternately color vertices while maintaining the majority condition at each vertex; the least number of colors required for the first player to have a winning strategy on $G$ is the majority game chromatic number $μ_g(G)$. In contrast with the static case, Bosek et al. show that $μ_g(G)$ is unbounded in general, while $μ_g(G)\le col_g(G)$, where $col_g(G)$ is the game coloring number of $G$.
It is known (cf. Faigle et al. (1993)) that, for any acyclic graph $G$, $col_g(G) \leq 4$, so $μ_g(G) \leq 4$ as well. We improve this bound by showing that $μ_g(G) \leq 3$ for any acyclic graph $G$ of maximum degree at most $4$. We also show that $μ_g(G) = 2$ if $G$ is a nonempty path, star, or complete graph, or a disjoint union of such graphs. These improve the results of Bosek et al. We also initiate the study of the computational complexity of the pre-coloring extension problem for the static and game versions of majority coloring. We show that the Majority $k$-precoloring Extension problem is NP-complete for each $k \geq 2$. When $k = 2$, it remains NP-complete on the class of bipartite graphs where maximum degrees of each part are $5$ and $6$, and when $k = 3$ it remains NP-complete on the class of $12$-regular planar graphs. We show that the game version is PSPACE-complete, even when the number of colors $k=χ(G)$, and even when $k=2$ and $G$ is a bipartite graph in which one part has maximum degree equal to $9$. The results on the game versions also hold for the variation where Bob starts the game.
The 3-state Potts model on planar triangulations: explicit algebraic solution
We consider the $3$-state Potts generating function $T(ν,w)$ of planar triangulations; that is, the bivariate series that counts planar triangulations with vertices coloured in $3$ colours, weighted by their size (number of vertices, recorded by the variable $w$) and by the number of monochromatic edges (variable $ν$).
This series was proved to be algebraic 15 years ago by Bernardi and the first author: this follows from its link with the solution of a discrete differential equation (DDE), and from general algebraicity results on such equations. However, despite recent progresses on the effective solution of DDEs, the exact value of $T(ν,w)$ has remained unknown so far -- except in the case $ν=0$, corresponding to proper colourings and solved by Tutte in the sixties. We determine here this exact value, proving that $T(ν,w)$ satisfies a polynomial equation of degree $11$ in $T$ and genus $1$ in $w$ and $T$. We prove that the critical value of $ν$ is $ν_c=1+3/\sqrt{47}$, with a critical exponent $6/5$ in the series $T(ν_c, \cdot)$, while the other values of $ν$ yield the usual map exponent $3/2$.
By duality of the planar Potts model, our results also characterize the 3-state Potts generating function of planar cubic maps, in which all vertices have degree $3$. In particular, the annihilating polynomial, still of degree $11$, that we obtain for properly 3-coloured cubic maps proves a conjecture by Bruno Salvy from 2009.
Property B for random non-uniform hypergraphs
We show that, in random hypergraphs with several permitted edge sizes, non-uniformity affects existential and algorithmic bounds for 2-colorability (Property B) in fundamentally different ways. Assigning weight $2^{-k}$ to each $k$-edge, we obtain upper and lower bounds in terms of the total edge weight that asymptotically match the uniform bounds as the minimum permitted edge size grows, regardless of how edges are distributed among sizes. We also extend the best-known algorithm for 2-coloring random uniform hypergraphs to the non-uniform setting. With weight $\frac{k}{2^k}$ assigned to each $k$-edge, we construct non-uniform instances whose expected total edge weight per vertex is arbitrarily large, yet the algorithm finds a proper coloring asymptotically almost surely. In the uniform setting, the algorithm fails with high probability once this quantity exceeds a constant. Our construction uses sufficiently separated edge sizes, so that edges of different sizes become relevant at well-separated stages of the execution and their effects are essentially independent.
A note on the list chromatic number of two matroids
We study list coloring of common independent sets of two matroids. We construct a graphic matroid $M_1$ and a partition matroid $M_2$ with common chromatic number two and common list chromatic number three, showing that the two parameters need not be equal. This resolves a question raised by Király, later stated as a conjecture by Aharoni, Berger, Guo, and Kotlar. We also show that if two strongly base-orderable matroids are each $2$-colorable, then their intersection is $2$-list-colorable.
On the Average Sizes of Ideals and Antichains in Some Infinite Families of Posets
We study the average sizes of ideals and antichains in several families of posets arising from rooted unlabeled trees. For ideals, we encode order ideals by coloring vertices red, with the condition that every descendant of a red vertex is also red. Using generating functions and singularity analysis, we show that for every family governed by a quadratic root decomposition, the average number of red vertices in a tree of size $n$ is asymptotic to $n/3$. This includes binary plane trees, plane 1-2 trees, plane 2-trees, and 0-1-trees, while unrestricted rooted plane trees instead have average ideal size asymptotic to $2n/5$. For antichains, represented by pairwise incomparable blue vertices, the corresponding asymptotic constants depend on the particular branching function; for example, binary plane trees have average antichain size asymptotic to $n/6$. We also consider plane trees in which every vertex has at most $k$ children and prove that the asymptotic proportion of red vertices increases strictly with $k$, from $1/3$ when $k=2$ to the limiting value $2/5$ for unrestricted rooted plane trees. The asymptotic proportion of blue vertices also increases strictly with $k$, tending to $3/10$. The proofs are based on bivariate generating functions together with the analytic implicit-function and smooth implicit-function methods of analytic combinatorics.