coloring
4497 papers tagged with this keyword
Improved Ramsey-type theorems for Fibonacci numbers and other sequences
Published in Integers 25 (2025)
• Search Publication
Van der Waerden's theorem states that for any positive integers $k$ and $r$, there exists a smallest value $n = w(k,r)$, called the van der Waerden number, such that every $r$-coloring of $\{1,\dots,n\}$ contains a monochromatic $k$-term arithmetic progression. We consider two variants of van der Waerden numbers: the numbers $n = n(AP_D,k;r)$, the smallest value where every $r$-coloring of $\{1,\dots,n\}$ contains a monochromatic $k$-term arithmetic progression with common difference in $D$, and the numbers $n = Δ(D,k;r)$, the smallest value $n$ where every $r$-coloring of $\{1,\dots,n\}$ contains a sequence $x_1 < \dots < x_k$ where the differences between consecutive terms are members of $D$. We study the case when $D$ is set of Fibonacci numbers $F$ and give improved bounds for the largest $r$ where $n(AP_F,k;r)$ and $Δ(F,k;r)$ exist for all $k$. Moreover, we give some computational data on $Δ(D,k;r)$ for other sets $D$.
$4$-choosability of planar graphs with $4$-cycles far apart via the Combinatorial Nullstellensatz
Published
• View Publication
• BIB
By a well-known theorem of Thomassen and a planar graph depicted by Voigt, we know that every planar graph is $5$-choosable, and the bound is tight. In 1999, Lam, Xu and Liu reduced $5$ to $4$ on $C_4$-free planar graphs. In the paper, by applying the famous Combinatorial Nullstellensatz, we design an effective algorithm to deal with list coloring problems. At the same time, we prove that a planar graph $G$ is $4$-choosable if any two $4$-cycles having distance at least $5$ in $G$, which extends the result of Lam et al.
On Fork-free T-perfect Graphs
Published
• View Publication
• BIB
In an attempt to understanding the complexity of the independent set problem, Chv{á}tal defined t-perfect graphs. While a full characterization of this class is still at large, progress has been achieved for claw-free graphs [Bruhn and Stein, Math.\ Program.\ 2012] and $P_{5}$-free graphs [Bruhn and Fuchs, SIAM J.\ Discrete Math.\ 2017]. We take one more step to characterize fork-free t-perfect graphs, and show that they are strongly t-perfect and three-colorable. We also present polynomial-time algorithms for recognizing and coloring these graphs.
Approximate Graph Colouring and the Crystal with a Hollow Shadow
Published in SIAM Journal on Computing 54(4) (2025) 1138-1192
• View Publication
• BIB
We show that approximate graph colouring is not solved by the lift-and-project hierarchy for the combination of linear programming and linear Diophantine equations. The proof is based on combinatorial tensor theory.
Proper Conflict-free Coloring of Graphs with Large Maximum Degree
Published in SIAM J. Discrete Math. 38 (2024), 3004-3027
• View Publication
• BIB
A proper coloring of a graph is \emph{conflict-free} if, for every non-isolated vertex, some color is used exactly once on its neighborhood. Caro, Petruševski, and Škrekovski proved that every graph $G$ has a proper conflict-free coloring with at most $5Δ(G)/2$ colors and conjectured that $Δ(G)+1$ colors suffice for every connected graph $G$ with $Δ(G)\ge 3$. Our first main result is that even for list-coloring, $\left\lceil 1.6550826Δ(G)+\sqrt{Δ(G)}\right\rceil$ colors suffice for every graph $G$ with $Δ(G)\ge 10^{8}$; we also prove slightly weaker bounds for all graphs with $Δ(G)\ge 750$. These results follow from our more general framework on proper conflict-free list-coloring of a pair consisting of a graph $G$ and a "conflict" hypergraph ${\mathcal H}$. As another corollary of our results in this general framework, every graph has a proper $(\sqrt{30}+o(1))Δ(G)^{1.5}$-list-coloring such that every bi-chromatic component is a path on at most three vertices, where the number of colors is optimal up to a constant factor. Our proof uses a fairly new type of recursive counting argument called Rosenfeld counting, which is a variant of the Lovász Local Lemma or entropy compression.
We also prove an asymptotically optimal result for a fractional analogue of our general framework for proper conflict-free coloring for pairs of a graph and a conflict hypergraph. A corollary states that every graph $G$ has a fractional $(1+o(1))Δ(G)$-coloring such that every fractionally bi-chromatic component has at most two vertices. In particular, it implies that the fractional analogue of the conjecture of Caro et al.\ holds asymptotically in a strong sense.
A note on unavoidable patterns in locally dense colourings
We show that there is a constant $C$ such that for every $\varepsilon>0$ any $2$-coloured $K_n$ with minimum degree at least $n/4+\varepsilon n$ in both colours contains a complete subgraph on $2t$ vertices where one colour class forms a $K_{t,t}$, provided that $n\geq \varepsilon^{-Ct}$. Also, we prove that if $K_n$ is $2$-coloured with minimum degree at least $\varepsilon n$ in both colours then it must contain one of two natural colourings of a complete graph. Both results are tight up to the value of $C$ and they answer two recent questions posed by Kamčev and Müyesser.
Brooks-type theorem for $r$-hued coloring of graphs
Published
• View Publication
• BIB
An $r$-hued coloring of a simple graph $G$ is a proper coloring of its vertices such that every vertex $v$ is adjacent to at least $\min\{r, °(v)\}$ differently colored vertices. The minimum number of colors needed for an $r$-hued coloring of a graph $G$, the $r$-hued chromatic number, is denoted by $χ_{r}(G)$. In this note we show that $$χ_r(G) \leq (r - 1)(Δ(G) + 1) + 2,$$ for every simple graph $G$ and every $r \geq 2$, which in the case when $r < Δ(G)$ improves the presently known $Δ(G)$-based upper bound on $χ_r(G)$, namely $r Δ(G) + 1$.
We also discuss the existence of graphs whose $r$-hued chromatic number is close to $(r-1)(Δ+ 1 ) + 2$ and we prove that there is a bipartite graph of maximum degree $Δ$ whose $r$-hued chromatic number is $(r-1)Δ+ 1$ for every $r \in \{2, \dots, 9\}$ and infinitely many values of $Δ\geq r + 2$; we believe that $(r-1)Δ(G) + 1$ is the best upper bound on the $r$-hued chromatic number of any bipartite graph $G$.
Upper Bounds for Covering Arrays of Higher Index
A \emph{covering array} is an $N \times k$ array of elements from a $v$-ary alphabet such that every $N \times t$ subarray contains all $v^t$ tuples from the alphabet of size $t$ at least $λ$ times; this is denoted as $\CA_λ(N; t, k, v)$.
Covering arrays have applications in the testing of large-scale complex systems; in systems that are nondeterministic, increasing $λ$ gives greater confidence in the system's correctness.
The \emph{covering array number}, $\CAN_λ(t,k,v)$ is the smallest number of rows for which a covering array on the other parameters exists.
For general $λ$, only several nontrivial bounds are known, the smallest of which was asymptotically $\log k + λ\log \log k + o(λ)$ when $v, t$ are fixed.
Additionally it has been conjectured that the $\log \log k$ term can be removed.
First, we affirm the conjecture by deriving an asymptotically optimal bound for $\CAN_λ(t,k,v)$ for general $λ$ and when $v, t$ are constant using the Stein--Lovász--Johnson paradigm.
Second, we improve upon the constants of this method using the Lovász local lemma.
Third, when $λ=2$, we extend a two-stage paradigm of Sarkar and Colbourn that improves on the general bound and often produces better bounds than even when $λ=1$ of other results.
Fourth, we extend this two-stage paradigm further for general $λ$ to obtain an even stronger upper bound, including using graph coloring.
And finally, we determine a bound on how large $λ$ can be for when the number of rows is fixed.
The List Square Coloring Conjecture fails for bipartite planar graphs and their line graphs
Kostochka and Woodall (2001) conjectured that the square of every graph has the same chromatic number and list chromatic number. In 2015 Kim and Park disproved this conjecture for non-bipartite and bipartite graphs. It was asked by several authors whether this conjecture holds for bipartite graphs with small degrees, claw-free graphs, or line graphs. In this paper, we introduce several kinds of counterexamples to this conjecture to solve three open problems posed by Kim and Park~(2015), Kim, Kwon, and Park~(2015), and Dai, Wang, Yang, and Yu~(2018). In particular, we disprove a planar version of this conjecture proposed by Havet, Heuvel, McDiarmid, and Reed (2017).
This conjecture was originally proposed to make a stronger version of the List Total Coloring Conjecture. In order to make a revised version, it remains to decide whether this conjecture holds for bipartite graphs $G$ by imposing a lower bound on the chromatic number of the square graph $G^2$ in terms of its maximum degree as the condition $χ(G^2) \ge \frac{1}{2} Δ(G^2)+1$ (or by adding an upper bound on the number of colors used in lists for a weaker version). To support this version, we will show that the bipartite condition cannot be dropped even by increasing the lower bound arbitrarily.
Finally, we investigate non-choosable graphs with bounded maximum degree in bipartite or planar graphs. Consequently, we improve several graph constructions due to Erd\H os, Rubin, and Taylor~(1980), Bessy, Havet, and Palaysi (2002), Voigt (1993), Mirzakhani (1996), and Glebov, Kostochka, and Tashkinov (2005) in terms of maximum degree or order. In addition, we characterize edge-minimal $3$-chromatic non-$3$-choosable (resp. $4$-chromatic non-$4$-choosable) graphs of order at most $9$ (resp. $11$) and settle a question posed by Nelsen~(2019).
Reconfiguration of colorings in triangulations of the sphere
In 1973, Fisk proved that any $4$-coloring of a $3$-colorable triangulation of the $2$-sphere can be obtained from any $3$-coloring by a sequence of Kempe-changes. On the other hand, in the case where we are only allowed to recolor a single vertex in each step, which is a special case of a Kempe-change, there exists a $4$-coloring that cannot be obtained from any $3$-coloring. In this paper, we present a characterization of a $4$-coloring of a $3$-colorable triangulation of the $2$-sphere that can be obtained from a $3$-coloring by a sequence of recoloring operations at single vertices, and a criterion for a $3$-colorable triangulation of the $2$-sphere that all $4$-colorings can be obtained from a $3$-coloring by such a sequence. Moreover, our first result can be generalized to a high-dimensional case, in which ``$4$-coloring,'' ``$3$-colorable,'' and ``$2$-sphere'' above are replaced with ``$k$-coloring,'' ``$(k-1)$-colorable,'' and ``$(k-2)$-sphere'' for $k \geq 4$, respectively. In addition, we show that the problem of deciding whether, for given two $(k+1)$-colorings, one can be obtained from the other by such a sequence is PSPACE-complete for any fixed $k \geq 4$. Our results above can be rephrased as new results on the computational problems named {\sc $k$-Recoloring} and {\sc Connectedness of $k$-Coloring Reconfiguration Graph}, which are fundamental problems in the field of combinatorial reconfiguration.
Local aspects of the Sidorenko property for linear equations
Published in Forum of Mathematics, Sigma 13 (2025) e177
• View Publication
• BIB
A system of linear equations in $\mathbb{F}_p^n$ is \textit{Sidorenko} if any subset of $\mathbb{F}_p^n$ contains at least as many solutions to the system as a random set of the same density, asymptotically as $n\to \infty$. A system of linear equations is \textit{common} if any 2-colouring of $\mathbb{F}_p^n$ yields at least as many monochromatic solutions to the system of equations as a random 2-colouring, asymptotically as $n\to \infty$. Both classification problems remain wide open despite recent attention.
We show that a certain generic family of systems of two linear equations is not Sidorenko. In fact, we show that systems in this family are not locally Sidorenko, and that systems in this family which do not contain additive tuples are not weakly locally Sidorenko. This endeavour answers a conjecture and question of Kamčev--Liebenau--Morrison. Insofar as methods, we observe that the true complexity of a linear system is not maintained under Fourier inversion; our main novelty is the use of higher-order methods in the frequency space of systems which have complexity one. We also give a shorter proof of the recent result of Kamčev--Liebenau--Morrison and independently Versteegen that any linear system containing a four term arithmetic progression is uncommon.
Additive and multiplicative Gower's Ramsey theorem
W. T. Gower generalized Hindman's Finite sum theorem over $X_{k}=\left\{ \left(n_{1},n_{2},\ldots,n_{k}\right):n_{1}\neq0\right\} $ by showing that for any finite coloring of $X_{k}$ there exists a sequence such that the Gower subspace generated by that sequence is monochromatic. For $k=1,$ this immediately gives the finite sum theorem. In this article we will show that for any finite coloring of $X_{k}$ there exist two sequences $\left\{ \mathbf{n_{i}}:i\in I\right\} $ and $\left\{ \mathbf{m_{i}}:i\in I\right\} $ such that the Gower subspace generated by $\left\{ \mathbf{n_{i}}:i\in I\right\} $ and set of all finite products of $\left\{ \mathbf{m_{i}}:i\in I\right\} $ are in a single color. This immediately generalize a result of V. Bergelson and N. Hindman which says that for any finite coloring of $\mathbb{N}$, there exist two sequences $\left(x_{n}\right)_{n}$ and $\left(y_{n}\right)_{n}$ such that the finite sum and product generated by $\left(x_{n}\right)_{n}$ and $\left(y_{n}\right)_{n}$ are in a same color.
A conditional approach for monochromatic unit distance in a plane for four and five coloring
A measure theoretic approach of the problem that there exits a finite unit-distance graphs in the plane that are not five (or four) colorable.
Ramsey numbers of large even cycles and fans
Published
• View Publication
• BIB
For graphs $F$ and $H$, the Ramsey number $R(F, H)$ is the smallest positive integer $N$ such that any red/blue edge coloring of $K_N$ contains either a red $F$ or a blue $H$. Let $C_n$ be a cycle of length $n$ and $F_n$ be a fan consisting of $n$ triangles all sharing a common vertex. In this paper, we prove that for all sufficiently large $n$, \[ R(C_{2\lfloor an\rfloor}, F_n)= \left\{ \begin{array}{ll} (2+2a+o(1))n & \textrm{if $1/2\leq a< 1$,}\\ (4a+o(1))n & \textrm{if $ a\geq 1$.} \end{array} \right. \]
Composite Ramsey theorems via trees
We prove a theorem ensuring that the compositions of certain Ramsey families are still Ramsey. As an application, we show that in any finite coloring of $\mathbb{N}$ there is an infinite set $A$ and an as large as desired finite set $B$ with $(A+B)\cup (AB)$ monochromatic, answering a question from a recent paper of Kra, Moreira, Richter, and Robertson. In fact, we prove an iterated version of this result that also generalizes a Ramsey theorem of Bergelson and Moreira that was previously only known to hold for fields. Our main new technique is an extension of the color focusing method that involves trees rather than sequences.
Berge's conjecture for cubic graphs with small colouring defect
A long-standing conjecture of Berge suggests that every bridgeless cubic graph can be expressed as a union of at most five perfect matchings. This conjecture trivially holds for $3$-edge-colourable cubic graphs, but remains widely open for graphs that are not $3$-edge-colourable. The aim of this paper is to verify the validity of Berge's conjecture for cubic graphs that are in a certain sense close to $3$-edge-colourable graphs. We measure the closeness by looking at the colouring defect, which is defined as the minimum number of edges left uncovered by any collection of three perfect matchings. While $3$-edge-colourable graphs have defect $0$, every bridgeless cubic graph with no $3$-edge-colouring has defect at least $3$. In 2015, Steffen proved that the Berge conjecture holds for cyclically $4$-edge-connected cubic graphs with colouring defect $3$ or $4$. Our aim is to improve Steffen's result in two ways. We show that all bridgeless cubic graphs with defect $3$ satisfy Berge's conjecture irrespectively of their cyclic connectivity. If, additionally, the graph in question is cyclically $4$-edge-connected, then four perfect matchings suffice, unless the graph is the Petersen graph. The result is best possible as there exists an infinite family of cubic graphs with cyclic connectivity $3$ which have defect $3$ but cannot be covered with four perfect matchings.
Monochromatic products and sums in the rationals
Published in Forum of Mathematics, Pi 12 (2024) e17
• View Publication
• BIB
We show that for every coloring of the rationals into finitely many colors, one of the colors contains a set of the form $\{x,y,xy,x+y\}$ for some nonzero $x$ and $y$.
Rainbow Connection for Complete Multipartite Graphs
Published in Involve 18 (2025) 755-766
• View Publication
• BIB
A path in an edge-colored graph is said to be rainbow if no color repeats on it. An edge-colored graph is said to be rainbow $k$-connected if every pair of vertices is connected by $k$ internally disjoint rainbow paths. The rainbow $k$-connection number $\mathrm{rc}_k(G)$ is the minimum number of colors $\ell$ such that there exists a coloring with $\ell$ colors that makes $G$ rainbow $k$-connected. Let $f(k,t)$ be the minimum integer such that every $t$-partite graph with part sizes at least $f(k,t)$ has $\mathrm{rc}_k(G) \le 4$ if $t=2$ and $\mathrm{rc}_k(G) \le 3$ if $t \ge 3$. Answering a question of Fujita, Liu and Magnant, we show that
\[
f(k,t) = \left\lceil \frac{2k}{t-1} \right\rceil
\]
for all $k\geq 2$, $t\geq 2$. We also give some conditions for which $\mathrm{rc}_k(G) \le 3$ if $t=2$ and $\mathrm{rc}_k(G) \le 2$ if $t \ge 3$.
Edges not covered by monochromatic bipartite graphs
Published
• View Publication
• BIB
Let $f_k(n,H)$ denote the maximum number of edges not contained in any monochromatic copy of~$H$ in a $k$-coloring of the edges of $K_n$, and let $ex(n,H)$ denote the Turán number of $H$. In place of $f_2(n,H)$ we simply write $f(n,H)$. Keevash and Sudakov proved that $f(n,H)=ex(n,H)$ if $H$ is an edge-critical graph or $C_4$ and asked if this equality holds for any graph $H$. All known exact values of this question require $H$ to contain at least one cycle. In this paper we focus on acyclic graphs and have the following results:
(1) We prove $f(n,H)=ex(n,H)$ when $H$ is a spider or a double broom.
(2) A \emph{tail} in $H$ is a path $P_3=v_0v_1v_2$ such that $v_2$ is only adjacent to $v_1$ and $v_1$ is only adjacent to $v_0,v_2$ in $H$. We obtain a tight upper bound for $f(n,H)$ when $H$ is a bipartite graph with a tail. This result provides the first bipartite graphs which answer the question of Keevash and Sudakov in the negative.
(3) Liu, Pikhurko and Sharifzadeh asked if $f_k(n,T)=(k-1)ex(n,T)$ when $T$ is a tree. We provide an upper bound for $f_{2k}(n,P_{2k})$ and show it is tight when $2k-1$ is prime. This provides a negative answer to their question.
Decomposing cubic graphs into isomorphic linear forests
A common problem in graph colouring seeks to decompose the edge set of a given graph into few similar and simple subgraphs, under certain divisibility conditions. In 1987 Wormald conjectured that the edges of every cubic graph on $4n$ vertices can be partitioned into two isomorphic linear forests. We prove this conjecture for large connected cubic graphs. Our proof uses a wide range of probabilistic tools in conjunction with intricate structural analysis, and introduces a variety of local recolouring techniques.