coloring
4536 papers tagged with this keyword
Monochromatic products in random integer sets
A well-known consequence of Schur's theorem is that for $r\in \mathbb{N}$, if $n$ is sufficiently large, then any $r$-colouring of $[n]$ results in monochromatic $a,b,c\in [n]$ such that $ab=c$. In this paper we are interested in the threshold at which the binomial random set $[n]_p$ almost surely inherits this Ramsey-type property. In particular for $r=2$ colours, we show that this threshold lies between $n^{-1/9-o(1)}$ and $n^{-1/11}$. Whilst analogous questions for solutions to (sets of) linear equations are now well understood, our work suggests that both the behaviour of the thresholds and the proof methods needed to determine them differ substantially in the non-linear setting.
Extremal diameters of 3-coloring graphs of trees
Given a tree $T$, its 3-coloring graph $\mathcal{C}_3(T)$ has as vertices the proper 3-colorings of $T$, with edges joining colorings that differ at exactly one vertex. We call the diameter of $\mathcal{C}_3(T)$ the 3-coloring diameter of $T$. We introduce the notion of balanced labelings of $T$ and show that the 3-coloring diameter equals the maximum $L_1$-norm of a balanced labeling. Using this equivalence, we determine the maximum and minimum values of the 3-coloring diameter over all trees on $n$ vertices and characterize the extremal trees.
Exactly Colored Complete Subgraphs of Infinite Graphs
Given integers $m\le c$ and an exact $c$-coloring of the edges of a complete countably infinite graph (i.e. a coloring that uses exactly $c$ colors), must there be an infinite subgraph that is exactly $m$-colored? Using the Infinite Ramsey Theorem It is easy to show that the statement is true if $m=1,2$ or $c$. Erickson conjectured that it is false in all other cases. Stacey and Weidl proved that for each $m\ge 3$ there is some large enough $C(m)$ such that the conjecture is true for all pairs $(c,m)$ with $c>C(m)$. The main aim of this paper is to show that for all large enough $m$ the conjecture holds for all $c>m$. This reduces the number of cases needed to fully verify the conjecture to a finite number.
The edge chromatic transformation index of graphs
Given a graph or multigraph $G$, let $χ'_{trans}(G)$ denote the minimum integer $n$ such that any proper $χ'(G)$--edge coloring of $G$ can be transformed into any other proper $χ'(G)$--edge coloring of $G$ by a series of transformations such that each of the intermediate colorings is a proper $χ'(G)$--edge coloring of $G$ and each of the transformations involves at most $n$ color classes of the previous coloring. We call $χ'_{trans}(G)$ the {\it edge chromatic transformation index of $G$}.
In this paper we show that if $G$ is a graph with maximum degree at least $4$, where every block is either a bipartite graph, a series-parallel graph, a chordless graph, a wheel graph or a planar graph of girth at least $7$, then $χ'_{trans}(G)\leq 4$. This bound is sharp for series-parallel and wheel graphs. We also show that $χ'_{trans}(G)\leq 8$ for all planar graphs $G$, $χ'_{trans}(G)\leq 5$ if $G$ is a Halin graph and $χ'_{trans}(G)=2$ if $G$ is a regular bipartite planar multigraph. Finally, we consider the analogous problem for vertex colorings, and show that for any $k\geq 3$ there is an infinite class $\cal G$$(k)$ of graphs with chromatic number $k$ such that for every $G\in \cal G$$(k)$ any two proper $k$-vertex colorings of $G$
can be transformed to each other only by a transformation, involving all $k$ color classes.
Kempe changes in $H$-free graphs
Given a $k$-colouring of a graph $G$ and two of the colours, a $Kempe$ $chain$ is a connected component of the subgraph of $G$ induced by the vertices coloured with one of these two colours. A $Kempe$ $swap$ changes one colouring into another by interchanging the colours of the vertices in a Kempe chain. Two colourings are $Kempe$ $equivalent$ if each can be obtained from the other by a series of Kempe swaps; the set of Kempe equivalent colourings is called a $Kempe$ $class$. For a graph $G$, let $χ(G)$ denote its chromatic number and let $\mathcal{C}_{k}(G)$ denote the set of all $k$-colourings of $G$. We say $G$ is $Kempe$ $connected$ if for all $k\ge χ(G)$, $\mathcal{C}_{k}(G)$ forms a Kempe class. For a graph $H$, graph $G$ is called $H$-$free$ if no induced subgraph of $G$ is isomorphic to $H$.
We prove that every $H$-free graph is Kempe connected if and only if $H$ is an induced subgraph of the path on four vertices, $P_4$.
The graph 2$K_2$ consists of four vertices and two edges which are not adjacent. We prove that for all $p\ge 0$, there is a $k$-colourable 2$K_2$-free graph $G$ such that $\mathcal{C}_{k+p}(G)$ does not form a Kempe class.
Complexity Aspects of Homomorphisms of Ordered Graphs
We examine ordered graphs, defined as graphs with linearly ordered vertices, from the perspective of homomorphisms (and colorings) and their complexities. We demonstrate the corresponding computational and parameterized complexities, along with algorithms associated with related problems. These questions are interesting, and we show that numerous problems lead to various complexities. The reduction from homomorphisms of unordered structures to homomorphisms of ordered graphs is proved, achieved with the use of ordered bipartite graphs. We then determine the NP-completeness of the problem of finding ordered homomorphisms of ordered graphs and the XP and W[1]-hard nature of this problem parameterized by the number of vertices of the image ordered graph. Classes of ordered graphs for which this problem can be solved in polynomial time are also presented.
On the structure of ($4K_1$, $C_4$, $P_6$)-free graphs
Determining the complexity of colouring ($4K_1, C_4$)-free graph is a long open problem. Recently Penev showed that there is a polynomial-time algorithm to colour a ($4K_1, C_4, C_6$)-free graph. In this paper, we will prove that if $G$ is a ($4K_1, C_4, P_6$)-free graph that contains a $C_6$, then $G$ has bounded clique-width. To this purpose, we use a new method to bound the clique-width, that is of independent interest. As a consequence, there is a polynomial-time algorithm to colour ($4K_1, C_4, P_6$)-free graphs.
New Obstacles to Multiple Recurrence
We show that there is a set which is not a set of multiple recurrence despite being a set of recurrence for nil-Bohr sets. This answers Huang, Shao, and Ye's \enquote{higher-order} version of Katznelson's Question on Bohr recurrence and topological recurrence in the negative. Equivalently, we construct a set $S$ so that there is a finite coloring of $\mathbb{N}$ without three-term arithmetic progressions with common differences in $S$, but so that $S$ lacks the usual polynomial obstacles to arithmetic progressions.
Off-Diagonal Continuous Rado Numbers $x_1 + x_2 + \dots + x_k = x_0$
In 2001, Robertson and Schaal found the 2-color off-diagonal generalized Schur numbers: for two positive integers $k$ and $l$, they determined the smallest positive integer $S = S(k, l)$ such that for any coloring of the integers from 1 to $S$ using red and blue, there must be a red solution to the equation $x_1 + x_2 + \dots + x_k = x_0$ or a blue solution to the equation $x_1 + x_2 + \dots + x_l = x_0$. We extend this result to find the continuous version: for two positive integers $k$ and $l$, we find the smallest real number $S = S_\mathbb{R} (k, l)$ such that for any coloring of the real numbers from 1 to $S$ using red and blue, there must be a red solution to the equation $x_1 + x_2 + \dots + x_k = x_0$ or a blue solution to the equation $x_1 + x_2 + \dots + x_l = x_0$.
Majority additive coloring and the maximum degree
Published
• View Publication
• BIB
Kamyczura introduced the notion of a majority additive $k$-coloring of a graph $G$ as a function $c: V(G) \to \{1,2,\ldots,k\}$ such that $$\left|\left\{u \in N_G(v):\sum_{w \in N_G(u)} c(w) = s \right\}\right|\leq \max\left\{1,\frac{d_G(v)}{2}\right\}$$ for every vertex $v$ of $G$ and every positive integer $s$. We show that every graph $G$ of maximum degree $Δ$ admitting a majority additive coloring has a majority additive $\mathcal{O}\left(Δ^2\right)$-coloring. Under additional restrictions we improve this to sublinear in $Δ$. We show that determining whether a majority additive $k$-coloring exists for a given graph is NP-complete for all $k\geq 2$.
Independent sets and colorings of $K_{t,t,t}$-free graphs
Alon, Krivelevich, and Sudakov conjectured in 1999 that every $F$-free graph of maximum degree at most $Δ$ has chromatic number $O(Δ/ \log Δ)$. This was previously known only for almost bipartite graphs, that is, for subgraphs of $K_{1,t,t}$ (verified by Alon, Krivelevich, and Sudakov themselves), while most recent results were concerned with improving the leading constant factor in the case where $F$ is almost bipartite. We prove this conjecture for all $3$-colorable graphs $F$, i.e. subgraphs of $K_{t,t,t}$, representing the first progress toward the conjecture since it was posed.
A closely related conjecture of Ajtai, Erdős, Komlós, and Szemerédi from 1981 asserts that for every graph $F$, every $n$-vertex $F$-free graph of average degree $d$ contains an independent set of size $Ω(n \log d / d)$. We prove this conjecture in a strong form for all 3-colorable graphs $F$. More precisely, we show that every $n$-vertex $K_{t,t,t}$-free graph of average degree $d$ contains an independent set of size at least $(1 - o(1)) n \log d / d$, matching Shearer's celebrated bound for triangle-free graphs (the case $t = 1$) and thereby yielding a substantial strengthening of it. Our proof combines a new variant of the Rödl nibble method for constructing independent sets with a Turán-type result on $K_{t,t,t}$-free graphs.
Rainbow Turán problems for forbidden subposets
A family $\mathcal{G}$ of sets is a copy of a poset $(P,\leqslant)$ if $(\mathcal{G},\subseteq)$ is isomorphic to $(P,\leqslant)$. The forbidden subposet problem asks for determining $La^*(n,P)$, the maximum size of a family $\mathcal{F}\subseteq 2^{[n]}$ that does not contain any copy of $P$. We study the rainbow version of this problem: what is the maximum size $La_R^*(n,P)$ of a family $\mathcal{F}=\cup_{i=1}^mA^i$ such that all $A^i$ are antichains and there is no copy of $P$ with all sets coming from distinct $A^i$ or equivalently $\mathcal{F}$ admits a proper coloring (sets $F\subset F'$ must receive different colors) with no rainbow copy of $P$.
A poset $(Q,\leqslant')$ rainbow forces $(P,\leqslant)$ if any proper coloring $c$ of $Q$ ($q\leqslant' q'$ or $q'\leqslant' q$ implies $c(q)\neq c(q')$) admits a rainbow copy of $P$. We establish connection between the $La^*$ and the $La^*_R$ functions via poset rainbow forcing, determine the asymptotics of $La_R^*(n,T)$ for all tree posets and obtain further exact or asymptotic results for antichains and complete bipartite posets.
On Fair and Tolerant Colorings of Graphs
Published
• View Publication
• BIB
A (not necessarily proper) vertex coloring of a graph $G$ with color classes $V_1$, $V_2$, $\dots$, $V_k$, is said to be a {\it Fair And Tolerant vertex coloring of $G$ with $k$ colors}, whenever $V_1$, $V_2$, $\dots$, $V_k$ are nonempty and there exist two real numbers $α$ and $β$ such that $α\in [0,1]$ and $β\in [0,1]$ and the following condition holds for each arbitrary vertex $v$ and every arbitrary color class $V_i$: $$ \bigl| V_i \cap N (v) \bigr| = \begin{cases}
α°(v) & \mbox{ if } \ \ v \notin V_i
β°(v) & \mbox{ if } \ \ v \in V_i . \end{cases} $$ The {\it FAT chromatic number} of $G$, denoted by $χ^{\rm FAT} (G)$, is defined as the maximum positive integer $k$ for which $G$ admits a Fair And Tolerant vertex coloring with $k$ colors. The concept of the FAT chromatic number of graphs was introduced and studied by Beers and Mulas, where they asked for the existence of a function $f \colon \mathbb{N} \to \mathbb{R}$ in such a way that the inequality $χ^{\rm FAT} (G) \ \leq \ f \big( χ(G) \big)$ holds for all graphs $G$. Another similar interesting question concerns the existence of some function $g \colon \mathbb{N} \to \mathbb{R}$ such that the inequality $χ(G) \ \leq \ g \left( χ^{\rm FAT} (G) \right)$ holds for every graph $G$. In this paper, we establish that both questions admit negative resolutions.
Planar graphs without cycles of length 4 or 5 are $(7m:2m)$-DP-colorable
It was conjectured by Steinberg in 1976 that planar graphs without cycles of length 4 or 5 are 3-colorable. This conjecture attracted a substantial amount of attention and was finally refuted by Cohen-Addad, Hebdige, Král', Li and Salgado in 2017. Although Steinberg's conjecture is settled, coloring of this family of graphs, as well as some other families of planar graphs forbidding certain cycle lengths have been attracting a lot of recent attention and many challenging problems remain open. One problem of interest is multiple coloring and multiple list coloring of this family of graphs. It was proved by Dvǒrák and Hu that
planar graphs without cycles of length 4 or 5 are $(11,3)$-colorable, and this result was improved by Wang, who proved that graphs in this family are $(7:2)$-colorable. On the other hand, it was proved by Xu and Zhu that for every positive integer $m$, there is a graph in this family which is not $(3m + \lfloor \frac{m-1}{12} \rfloor, m)$-choosable.
In this paper, we prove that for any positive integer $m$, graphs in this family are $(7m:2m)$-DP-colorable, and hence $(7m,2m)$-choosable.
Colouring ($P_2\cup P_4$, diamond)-free graphs with $ω$ colours
In this paper, we establish an optimal $χ$-binding function for $(P_2\cup P_4,\text{ diamond})$-free graphs. We prove that for any graph $G$ in this class, $χ(G)\le 4$ when $ω(G)=2$, $χ(G)\le 6$ when $ω(G)=3$, and $χ(G)=ω(G)$ when $ω(G)\ge 4$, where $χ(G)$ and $ω(G)$ denote the chromatic number and clique number of $G$, respectively. This result extends the known chromatic bounds for $(P_2\cup P_3,\text{ diamond})$-free graphs by showing that $(P_2\cup P_4,\text{ diamond})$-free graphs admit the same $χ$-binding function. It also refines the chromatic bound obtained by Angeliya, Karthick and Huang [arXiv:2501.02543v3 [math.CO], 2025] for $(P_2\cup P_4,\text{ diamond})$-free graphs.
The star edge coloring of cubic Halin graphs with star chromatic index $5$
Published
• View Publication
• BIB
The star chromatic index of a graph $G$, denoted by $χ'_{st}(G) $, is the minimum number of colors needed to properly color the edges of $G$ such that no path or cycle of length four is bi-colored. Casselgren et al. and Hou et al. independently proved that the star chromatic index of a cubic Halin graph, except a special graph, is at most $6$. It remains an open problem to determine which of such graphs have star chromatic index $5$. In this paper, we show that if $G\ne N_{e_2}$ is a cubic Halin graph whose tree is a caterpillar or a complete tree, then $χ'_{st}(G)=5$.
Counterexamples to conjectures on strong maximality and minimality
Published
• View Publication
• BIB
We provide counterexamples to several conjectures concerning strongly maximal and strongly minimal structures in infinite graphs and hypergraphs. In particular, we construct 3-uniform hypergraphs without strongly maximal matchings and without strongly minimal covers, and from our construction for covers we build a graph with no strongly minimal colouring. We also consider several refinements of these problems.
Our results resolve conjectures and questions of Aharoni; Aharoni and Berger; Aharoni, Berger, Georgakopoulos, and Sprüssel; Aharoni and Korman; and Tardos.
Rainbow subgraphs of star-coloured graphs
An edge-colouring of a graph $G$ can fail to be rainbow for two reasons: either it contains a monochromatic cherry (a pair of incident edges), or a monochromatic matching of size two. A colouring is a proper colouring if it forbids the first structure, and a star-colouring if it forbids the second structure. In this paper, we study rainbow subgraphs in star-coloured graphs and determine the maximum number of colours in a star-colouring of a large complete graph which does not contain a rainbow copy of a given graph $H$. This problem is a special case of one studied by Axenovich and Iverson on generalised Ramsey numbers and we extend their results in this case.
Packing coloring of graphs with long paths
The packing coloring problem has diverse applications, including frequency assignment in wireless networks, resource distribution and facility location in smart cities and post-disaster management, as well as in biological diversity. Formally, the packing coloring of a graph is a vertex coloring in which any two vertices assigned color $i$ are at a distance of at least $i+1$, and the smallest number of colors admitting such a coloring is called the packing chromatic number. Goddard et al.~\cite{goddard2008broadcast} showed that the packing chromatic numbers of paths and cycles are at most 3 and 4, respectively. In this paper, we introduce \emph{path-aligned graph products}, a natural extension of paths with unbounded diameter. We extend the result of~\cite{goddard2008broadcast} by proving that the packing chromatic number remains bounded by a constant for several families of path-aligned cycle and path-aligned complete products. We then investigate the packing chromatic number of caterpillars, another class of graphs characterized by long induced paths. Sloper~\cite{sloper} proved that the packing chromatic number of caterpillars is at most 7; here, we provide a complete structural characterization of caterpillars with packing chromatic number at most 3. Finally, several open research questions are posed.
The class of $(2P_3,C_4,C_6)$-free graphs, part I: $(2P_3,C_4,C_6)$-free graphs that contain an induced $C_7$ or an induced $T_0$
This is the first in a series of two papers dealing with $(2P_3,C_4,C_6)$-free graphs, or equivalently, $(2P_3,\text{even hole})$-free graphs. In this two-paper series, we give a full structural description of $(2P_3,C_4,C_6)$-free graphs that contain no simplicial vertices, and we show that such graphs have bounded clique-width. This implies that Graph Coloring can be solved in polynomial time for $(2P_3,C_4,C_6)$-free graphs. In this paper, we describe the structure of $(2P_3,C_4,C_6)$-free graphs that contain an induced $C_7$ or an induced $T_0$ (where $T_0$ is a certain 2-connected graph on nine vertices in which all holes are of length five), and we show that such graphs either contain a simplicial vertex or have bounded clique-width. In the second part of this series, we describe the structure of all $(2P_3,C_4,C_6,C_7,T_0)$-free graphs that contain no simplicial vertices, and we show that such graphs have bounded clique-width. The full statement of the theorem describing the structure of $(2P_3,C_4,C_6)$-free graphs that contain no simplicial vertices is given in the second paper of this series.