coloring
4497 papers tagged with this keyword
Vexing Vexillological Logic
Published
• View Publication
• BIB
We define a new impartial combinatorial game, Flag Coloring, based on flood filling. We then generalize to a graph game, and find values for many positions on two colors. We demonstrate that the generalized game is PSPACE-complete for two colors or more via a reduction from Avoid True, determine the outcome classes of games based on real-world flags, and discuss remaining open problems.
Relaxation of Wegner's Planar Graph Conjecture for maximum degree 4
Published
• View Publication
• BIB
The famous Wegner's Planar Graph Conjecture asserts tight upper bounds on the chromatic number of the square $G^2$ of a planar graph $G$, depending on the maximum degree $Δ(G)$ of $G$. The only case that the conjecture is resolved is when $Δ(G)=3$, which was proven to be true by Thomassen, and independently by Hartke, Jahanbekam, and Thomas. For $Δ(G)=4$, Wegner's Planar Graph Conjecture states that the chromatic number of $G^2$ is at most 9; even this case is still widely open, and very recently Bousquet, de Meyer, Deschamps, and Pierron claimed an upper bound of 12.
We take a completely different approach, and show that a relaxation of properly coloring the square of a planar graph $G$ with $Δ(G)=4$ can be achieved with 9 colors. Instead of requiring every color in the neighborhood of a vertex to be unique, which is equivalent to a proper coloring of $G^2$, we seek a proper coloring of $G$ such that at most one color is allowed to be repeated in the neighborhood of a vertex of degree 4, but nowhere else.
Monochromatic quotients, products and polynomial sums in the rationals
Published
• View Publication
• BIB
Let $k,a\in \mathbb{N}$ and let $p_1,\cdots,p_k\in \mathbb{Q}[n]$ with zero constant term. We show that for any finite coloring of $\mathbb{Q}$, there are non-zero $x,y\in \mathbb{Q}$ such that there exists a color which contains a set of the form $$\Big\{x,\frac{x}{y^a},x+p_{1}(y),\cdots,x+p_{k}(y)\Big\}$$ and there are non-zero $v,u\in \mathbb{Q}$ such that there exists a color which contains a set of the form $$\Big\{v,v\cdot {u^a},v+p_{1}(u),\cdots,v+p_{k}(u)\Big\}.$$
On conflict-free proper colourings of graphs without small degree vertices
Published
• View Publication
• BIB
A proper vertex colouring of a graph $G$ is referred to as conflict-free if in the neighbourhood of every vertex some colour appears exactly once, while it is called $h$-conflict-free if there are at least $h$ such colours for each vertex of $G$. The least numbers of colours in such colourings of $G$ are denoted $χ_{\rm pcf}(G)$ and $χ_{\rm pcf}^h(G)$, respectively. It is known that $χ_{\rm pcf}^h(G)$ can be as large as $(h+1)(Δ+1)\approx Δ^2$ for graphs with maximum degree $Δ$ and $h$ very close to $Δ$. We provide several new upper bounds for these parameters for graphs with minimum degrees $δ$ large enough and $h$ detached from $δ$. In particular we show that $χ_{\rm pcf}^h(G)\leq (1+o(1))Δ$ if $δ\gg\lnΔ$ and $h\ll δ$, and that $χ_{\rm pcf}(G)\leq Δ+O(\ln Δ)$ for regular graphs. These specifically refer to the conjecture of Caro, Petruševski and Škrekovski that $χ_{\rm pcf}(G)\leq Δ+1$ for every connected graph $G$ of maximum degree $Δ\geq 3$, towards which they proved that $χ_{\rm pcf}(G)\leq \left\lfloor\frac{5Δ}{2}\right\rfloor$ if $Δ\geq 1$.
Approximate counting using Taylor's theorem: a survey
Published in Bulletin of EATCS 138, no. 3 (2022)
• Search Publication
In this article we consider certain well-known polynomials associated with graphs including the independence polynomial and the chromatic polynomial. These polynomials count certain objects in graphs: independent sets in the case of the independence polynomial and proper colourings in the case of the chromatic polynomial. They also have interpretations as partition functions in statistical physics.
The algorithmic problem of (approximately) computing these types of polynomials has been studied for close to 50 years, especially using Markov chain techniques. Around eight years ago, Barvinok devised a new algorithmic approach based on Taylor's theorem for computing the permanent of certain matrices, and the approach has been applied to various graph polynomials since then. This article is intended as a gentle introduction to the approach as well as a partial survey of associated techniques and results.
A random coloring process gives improved bounds for the Erdős-Gyárfás problem on generalized Ramsey numbers
Published
• View Publication
• BIB
The Erdős-Gyárfás number $f(n, p, q)$ is the smallest number of colors needed to color the edges of the complete graph $K_n$ so that all of its $p$-clique spans at least $q$ colors. In this paper we improve the best known upper bound on $f(n, p, q)$ for many fixed values of $p, q$ and large $n$. Our proof uses a randomized coloring process, which we analyze using the so-called differential equation method to establish dynamic concentration.
Rainbow variations on a theme by Mantel: extremal problems for Gallai colouring templates
Published
• View Publication
• BIB
Let $\mathbf{G}:=(G_1, G_2, G_3)$ be a triple of graphs on the same vertex set $V$ of size $n$. A rainbow triangle in $\mathbf{G}$ is a triple of edges $(e_1, e_2, e_3)$ with $e_i\in G_i$ for each $i$ and $\{e_1, e_2, e_3\}$ forming a triangle in $V$. The triples $\mathbf{G}$ not containing rainbow triangles, also known as Gallai colouring templates, are a widely studied class of objects in extremal combinatorics.
In the present work, we fully determine the set of edge densities $(α_1, α_2, α_3)$ such that if $\vert E(G_i)\vert> α_i n^2$ for each $i$ and $n$ is sufficiently large, then $\mathbf{G}$ must contain a rainbow triangle. This resolves a problem raised by Aharoni, DeVos, de la Maza, Montejanos and Šámal, generalises several previous results on extremal Gallai colouring templates, and proves a recent conjecture of Frankl, Györi, He, Lv, Salia, Tompkins, Varga and Zhu.
Two Ramsey-Turán numbers involving triangles
Published
• View Publication
• BIB
Given integers $p, q\ge2$, we say that a graph $G$ is $(K_p,K_q)$-free if there exists a red/blue edge coloring of $G$ such that it contains neither a red $K_p$ nor a blue $K_q$. Fix a function $f( n )$, the Ramsey-Turán number $RT( {n,p,q,f( n ))} $ is the maximum number of edges in an $n$-vertex $(K_p,K_q)$-free graph with independence number at most $f( n )$. For any $δ>0$, let $ρ(p, q,δ) = \mathop {\lim }\limits_{n \to \infty } \frac{RT(n,p, q,δn)}{n^2}$. We always call $ρ(p, q):= \mathop {\lim }\limits_{δ\to 0}ρ(p, q,δ)$ the Ramsey-Turán density of $K_p$ and $K_q$.
In 1993, Erdős, Hajnal, Simonovits, Sós and Szemerédi proposed to determine the value of $ρ(3,q)$ for $q\ge3$, and they conjectured that for $q \ge 2$, $ρ\left( {3,2q - 1} \right) = \frac{1}{2}(1 - \frac{1}{r(3,q) - 1})$. Recently, Kim, Kim and Liu (2019) conjectured that for $q \ge 2$, $ρ( {3,2q } ) = \frac{1}{2}( 1 - \frac{1}{r( {3,q} )})$. Erdős et al. (1993) determined $ρ(3,q)$ for $q=3,4,5$ and $ρ(4,4)$. There is no progress on the Ramsey-Turán density $ρ(p, q)$ in the past thirty years. In this paper, we obtain $ρ(3,6)=\frac{5}{12}$ and $ρ(3,7)=\frac{7}{16}$. Moreover, we show that the corresponding asymptotically extremal structures are weakly stable, which answers a problem of Erdős et al. (1993) for the two cases.
A lower bound for set-colouring Ramsey numbers
The set-colouring Ramsey number $R_{r,s}(k)$ is defined to be the minimum $n$ such that if each edge of the complete graph $K_n$ is assigned a set of $s$ colours from $\{1,\ldots,r\}$, then one of the colours contains a monochromatic clique of size $k$. The case $s = 1$ is the usual $r$-colour Ramsey number, and the case $s = r - 1$ was studied by Erdős, Hajnal and Rado in 1965, and by Erdős and Szemerédi in 1972.
The first significant results for general $s$ were obtained only recently, by Conlon, Fox, He, Mubayi, Suk and Verstraëte, who showed that $R_{r,s}(k) = 2^{Θ(kr)}$ if $s/r$ is bounded away from $0$ and $1$. In the range $s = r - o(r)$, however, their upper and lower bounds diverge significantly. In this note we introduce a new (random) colouring, and use it to determine $R_{r,s}(k)$ up to polylogarithmic factors in the exponent for essentially all $r$, $s$ and $k$.
Partition regularity of infinite parallelepiped sets
A proper infinite parallelepiped (IP) set in a semigroup is an infinite set consisting of a sequence $\myseq{a}$ and its finite sums, or a superset of such a set.
Hindman's theorem asserts that the proper IP sets of natural numbers are partition regular: for each finite coloring of a proper IP set of natural numbers there is a monochromatic proper IP subset.
Furstenberg generalized this question to arbitrary semigroups, in which the analogous result does not hold in general. We provide a complete classification of the semigroups for which the proper IP sets are partition regular, and show that this property is equivalent to other fundamental notions of additive Ramsey theory.
Optimal thresholds for Latin squares, Steiner Triple Systems, and edge colorings
Published
• View Publication
• BIB
We show that the threshold for the binomial random $3$-partite, $3$-uniform hypergraph $G^{3}((n,n,n),p)$ to contain a Latin square is $Θ(\log{n}/n)$. We also prove analogous results for Steiner triple systems and proper list edge-colorings of the complete (bipartite) graph with random lists. Our results answer several related questions of Johansson, Luria-Simkin, Casselgren-Häggkvist, Simkin, and Kang-Kelly-Kühn-Methuku-Osthus.
A refinement on the structure of vertex-critical ($P_5$, gem)-free graphs
Published
• View Publication
• BIB
We give a new, stronger proof that there are only finitely many $k$-vertex-critical ($P_5$,~gem)-free graphs for all $k$. Our proof further refines the structure of these graphs and allows for the implementation of a simple exhaustive computer search to completely list all $6$- and $7$-vertex-critical $(P_5$, gem)-free graphs. Our results imply the existence of polynomial-time certifying algorithms to decide the $k$-colourability of $(P_5$, gem)-free graphs for all $k$ where the certificate is either a $k$-colouring or a $(k+1)$-vertex-critical induced subgraph. Our complete lists for $k\le 7$ allow for the implementation of these algorithms for all $k\le 6$.
Bounds for the Grundy chromatic number of graphs in terms of domination number
Published in Bull. Belg. Math. Soc. Simon Stevin 29(2) (2022) 193--206
• View Publication
• BIB
For any graph $G$, the Grundy (or First-Fit) chromatic number of $G$, denoted by $Γ(G)$ (also $χ_{_{\sf FF}}(G)$), is defined as the maximum number of colors used by the First-Fit (greedy) coloring of the vertices of $G$. Determining the Grundy number is $NP$-complete, and obtaining bounds for $Γ(G)$ in terms of the known graph parameters is an active research topic. By a star partition of $G$ we mean any partition of $V(G)$ into say $V_1, \ldots, V_k$ such that each $G[V_i]$ contains a vertex adjacent to any other vertex in $V_i$. In this paper using the star partition of graphs we obtain the first upper bounds for the Grundy number in terms of the domination number. We also prove some bounds in terms of the domination number and girth of graphs.
On odd colorings of sparse graphs
Published in Discrete Applied Mathematics, 345 (2024) 156--169
• View Publication
• BIB
An \emph{odd $c$-coloring} of a graph is a proper $c$-coloring such that each non-isolated vertex has a color appearing an odd number of times within its open neighborhood. A \emph{proper conflict-free $c$-coloring} of a graph is a proper $c$-coloring such that each non-isolated vertex has a color appearing exactly once within its neighborhood. Clearly, every proper conflict-free $c$-coloring is also an odd $c$-coloring. Cranston conjectured that every graph $G$ with maximum average degree $\text{mad}(G) < \frac{4c}{c+2}$ (where $c \geq 4$) has an odd $c$-coloring, and he proved this conjecture for $c \in \{5, 6\}$. Note that the bound $\frac{4c}{c+2}$ is best possible. Cho et al. solved Cranston's conjecture for $c \geq 5$, strengthening the result by transitioning from odd $c$-coloring to proper conflict-free $c$-coloring. However, they did not provide all the extremal non-colorable graphs $G$ with $\text{mad}(G) = \frac{4c}{c+2}$, which remains an open question of interest.
In this paper, we tackle this intriguing extremal problem. We aim to characterize all non-proper conflict-free $c$-colorable graphs $G$ with $\text{mad}(G) = \frac{4c}{c+2}$. For the case of $c=4$, Cranston's conjecture is not true, as evidenced by the existence of a counterexample: a graph whose every block is a $5$-cycle. Cho et al.\ proved that a graph $G$ with $\text{mad}(G) < \frac{22}{9}$ and no induced $5$-cycles has an odd $4$-coloring. We improve this result by proving that a graph $G$ with $\text{mad}(G) \leq \frac{22}{9}$ (with equality allowed) is not odd $4$-colorable if and only if $G$ belongs to a specific class of graphs. On the other hand, Cho et al.\ established that a planar graph with girth at least $5$ has an odd $6$-coloring; we improve it by proving that a planar graph without $4^{-}$-cycles adjacent to $7^{-}$-cycles also has an odd $6$-coloring.
An improved bound for 2-distance coloring of planar graphs with girth six
Published in Discrete Applied Mathematics, 361, 121-135, 2025
• View Publication
• BIB
A vertex coloring of a graph $G$ is said to be a 2-distance coloring if any two vertices at distance at most $2$ from each other receive different colors, and the least number of colors for which $G$ admits a $2$-distance coloring is known as the $2$-distance chromatic number $χ_2(G)$ of $G$. When $G$ is a planar graph with girth at least $6$ and maximum degree $Δ\geq 6$, we prove that $χ_2(G)\leq Δ+4$. This improves the best-known bound for 2-distance coloring of planar graphs with girth six.
On the Size of Chromatic Delaunay Mosaics
Published
• View Publication
• BIB
Given a locally finite set $A \subseteq \mathbb{R}^d$ and a coloring $χ\colon A \to \{0,1,\ldots,s\}$, we introduce the chromatic Delaunay mosaic of $χ$, which is a Delaunay mosaic in $\mathbb{R}^{s+d}$ that represents how points of different colors mingle. Our main results are bounds on the size of the chromatic Delaunay mosaic, in which we assume that $d$ and $s$ are constants. For example, if $A$ is finite with $n = \#{A}$, and the coloring is random, then the chromatic Delaunay mosaic has $O(n^{\lceil{d/2}\rceil})$ cells in expectation. In contrast, for Delone sets and Poisson point processes in $\mathbb{R}^d$, the expected number of cells within a closed ball is only a constant times the number of points in this ball. Furthermore, in $\mathbb{R}^2$ all colorings of a dense set of $n$ points have chromatic Delaunay mosaics of size $O(n)$. This encourages the use of chromatic Delaunay mosaics in applications.
Graph Coloring as a Measure of Network Vulnerability
We consider new parameters for conditional network vulnerability related to graph coloring. We define a network to be in operation if the chromatic number (or index) is greater than some specified value k. The parameters of interest, the minimum k- chromatic number and the minimum k-chromatic index consider the least number of failures in the network which could render the network inoperable. In this paper, we consider edge failure, vertex failures, as well as mixed failures for paths, cycles, and complete graphs.
Kempe Equivalent List Colorings Revisited
Published
• View Publication
• BIB
A \emph{Kempe chain} on colors $a$ and $b$ is a component of the subgraph induced by colors $a$ and $b$. A \emph{Kempe change} is the operation of interchanging the colors of some Kempe chain. For a list-assignment $L$ and an $L$-coloring $\varphi$, a Kempe change is \emph{$L$-valid} for $\varphi$ if performing the Kempe change yields another $L$-coloring. Two $L$-colorings are \emph{$L$-equivalent} if we can form one from the other by a sequence of $L$-valid Kempe changes. A \emph{degree-assignment} is a list-assignment $L$ such that $L(v)\ge d(v)$ for every $v\in V(G)$. Cranston and Mahmoud (\emph{Combinatorica}, 2023) asked: For which graphs $G$ and degree-assignment $L$ of $G$ is it true that all the $L$-colorings of $G$ are $L$-equivalent? We prove that for every 4-connected graph $G$ which is not complete and every degree-assignment $L$ of $G$, all $L$-colorings of $G$ are $L$-equivalent.
Resolving Prime Modules: The Structure of Pseudo-cographs and Galled-Tree Explainable Graphs
Published
• View Publication
• BIB
The modular decomposition of a graph $G$ is a natural construction to capture key features of $G$ in terms of a labeled tree $(T,t)$ whose vertices are labeled as "series" ($1$), "parallel" ($0$) or "prime". However, full information of $G$ is provided by its modular decomposition tree $(T,t)$ only, if $G$ is a cograph, i.e., $G$ does not contain prime modules. In this case, $(T,t)$ explains $G$, i.e., $\{x,y\}\in E(G)$ if and only if the lowest common ancestor $\mathrm{lca}_T(x,y)$ of $x$ and $y$ has label "$1$". Pseudo-cographs, or, more general, GaTEx graphs $G$ are graphs that can be explained by labeled galled-trees, i.e., labeled networks $(N,t)$ that are obtained from the modular decomposition tree $(T,t)$ of $G$ by replacing the prime vertices in $T$ by simple labeled cycles. GaTEx graphs can be recognized and labeled galled-trees that explain these graphs can be constructed in linear time.
In this contribution, we provide a novel characterization of GaTEx graphs in terms of a set $\mathfrak{F}_{\mathrm{GT}}$ of 25 forbidden induced subgraphs. This characterization, in turn, allows us to show that GaTEx graphs are closely related to many other well-known graph classes such as $P_4$-sparse and $P_4$-reducible graphs, weakly-chordal graphs, perfect graphs with perfect order, comparability and permutation graphs, murky graphs as well as interval graphs, Meyniel graphs or very strongly-perfect and brittle graphs. Moreover, we show that every GaTEx graph as twin-width at most 1 and and provide linear-time algorithms to solve several NP-hard problems (clique, coloring, independent set) on GaTEx graphs by utilizing the structure of the underlying galled-trees they explain.
Cutting corners
Published in Journal of Combinatorial Theory, Series B, 2026, Vol. 177, pp. 273--292
• View Publication
• BIB
We say that a subset $M$ of $\mathbb R^n$ is exponentially Ramsey if there are $ε>0$ and $n_0$ such that $χ(\mathbb R^n,M)\ge(1+ε)^n$ for any $n>n_0$, where $χ(\mathbb R^n,M)$ stands for the minimum number of colors in a coloring of $\mathbb R^n$ such that no copy of $M$ is monochromatic. One important result in Euclidean Ramsey theory is due to Frankl and Rödl, and states the following (under some mild extra conditions): if both $N_1$ and $N_2$ are exponentially Ramsey then so is $N_1\times N_2$. Applied several times to two-point sets, this result implies that any subset of a `hyperrectangle' is exponentially Ramsey.
However, generally, such `embeddings' result in very inefficient bounds on the aforementioned $ε$. In this paper, we present another way of combining exponentially Ramsey sets, which gives much better estimates in some important cases. In particular, we show that the chromatic number of $\mathbb R^n$ with a forbidden equilateral triangle satisfies $χ(\mathbb R^n,\triangle)\ge\big(1.0742...+o(1)\big)^n$, greatly improving upon the previous constant $1.0144$. We also obtain similar strong results for regular simplices of larger dimensions, as well as for related geometric Ramsey-type questions in Manhattan norm.
We then show that the same technique implies several interesting corollaries in other combinatorial problems. In particular, we give an explicit upper bound on the size of a family $\mathcal F\subset2^{[n]}$ that contains no weak $k$-sunflowers, i.e. no collection of $k$ sets with pairwise intersections of the same size. This bound improves upon previously known results for all $k\ge4$. Finally, we also present a simple deduction of the (other) celebrated Frankl--Rödl theorem from an earlier result of Frankl and Wilson. It gives probably the shortest known proof of Frankl and Rödl result with the most efficient bounds.