coloring
4497 papers tagged with this keyword
Fractional coloring with local demands and applications to degree-sequence bounds on the independence number
Published in Journal of Combinatorial Theory, Series B. Volume 169, November 2024, Pages 298-337
• View Publication
• BIB
In a fractional coloring, vertices of a graph are assigned measurable subsets of the real line and adjacent vertices receive disjoint subsets; the fractional chromatic number of a graph is at most $k$ if it has a fractional coloring in which each vertex receives a subset of $[0, 1]$ of measure at least $1/k$. We introduce and develop the theory of "fractional colorings with local demands" wherein each vertex "demands" a certain amount of color that is determined by local parameters such as its degree or the clique number of its neighborhood. This framework provides the natural setting in which to generalize degree-sequence type bounds on the independence number. Indeed, by Linear Programming Duality, all of the problems we study have an equivalent formulation as a problem concerning weighted independence numbers, and they often imply new bounds on the independence number.
Our results and conjectures are inspired by many of the most classical results and important open problems concerning the independence number and the chromatic number, often simultaneously. We conjecture a local strengthening of both Shearer's bound on the independence number of triangle-free graphs and the fractional relaxation of Molloy's recent bound on their chromatic number, as well as a longstanding problem of Ajtai et al.\ on the independence number of $K_r$-free graphs and the fractional relaxations of Reed's $ω, Δ, χ$ Conjecture and the Total Coloring Conjecture. We prove an approximate version of the first two, and we prove "local demands" versions of Vizing's Theorem and of some $χ$-boundedness results.
Partial Difference Sets in $C_{2^n} \times C_{2^n}$
We give an algorithm for enumerating the regular nontrivial partial difference sets (PDS) in the group $G_n = C_{2^n}\times C_{2^n}$. We use our algorithm to obtain all of these PDS in $G_n$ for $2\leq n\leq 9$, and we obtain partial results for $n=10$ and $n=11$. Most of these PDS are new. For $n\le 4$ we also identify group-inequivalent PDS. Our approach involves constructing tree diagrams and canonical colorings of these diagrams. Both the total number and the number of group-inequivalent PDS in $G_n$ appear to grow super-exponentially in $n$. For $n=9$, a typical canonical coloring represents in excess of $10^{146}$ group-inequivalent PDS, and there are precisely $2^{520}$ reversible Hadamard difference sets.
Efficient constructions of convex combinations for 2-edge-connected subgraphs on fundamental classes
Finding the exact integrality gap $α$ for the LP relaxation of the 2-edge-connected spanning multigraph problem (2EC) is closely related to the same problem for the Held-Karp relaxation of the metric traveling salesman problem (TSP). While the former problem seems easier than the latter, since it is less constrained, currently the upper bounds on the respective integrality gaps for the two problems are the same.
An approach to proving integrality gaps for both of these problems is to consider fundamental classes of extreme points. For 2EC, better bounds on the integrality gap are known for certain important special cases of these fundamental points. For example, for half-integer square points, the integrality gap is between $\frac{6}{5}$ and $\frac{4}{3}$. Our main result is to improve the approximation factor to $\frac{9}{7}$ for 2EC for these points. Our approach is based on constructing convex combinations and our key tool is the top-down coloring framework for tree augmentation, whose flexibility we employ to exploit beneficial properties in both the initial spanning tree and in the input graph. We also show how these tools can be tailored to the closely related problem of uniform covers for which the proofs of the best-known bounds do not yield polynomial-time algorithms. Another key ingredient is to use a rainbow spanning tree decomposition, which allows us to obtain a convex combination of spanning trees with particular properties
On the chromatic number of disjointness graphs of curves
Published
• View Publication
• BIB
Let $ω(G)$ and $χ(G)$ denote the clique number and chromatic number of a graph $G$, respectively. The {\em disjointness graph} of a family of curves (continuous arcs in the plane) is the graph whose vertices correspond to the curves and in which two vertices are joined by an edge if and only if the corresponding curves are disjoint. A curve is called {\em $x$-monotone} if every vertical line intersects it in at most one point. An $x$-monotone curve is {\em grounded} if its left endpoint lies on the $y$-axis.
We prove that if $G$ is the disjointness graph of a family of grounded $x$-monotone curves such that $ω(G)=k$, then $χ(G)\leq \binom{k+1}{2}$. If we only require that every curve is $x$-monotone and intersects the $y$-axis, then we have $χ(G)\leq \frac{k+1}{2}\binom{k+2}{3}$. Both of these bounds are best possible. The construction showing the tightness of the last result settles a 25 years old problem: it yields that there exist $K_k$-free disjointness graphs of $x$-monotone curves such that any proper coloring of them uses at least $Ω(k^{4})$ colors. This matches the upper bound up to a constant factor.
Colouring of generalized signed planar graphs
Assume $G$ is a graph. We view $G$ as a symmetric digraph, in which each edge $uv$ of $G$ is replaced by a pair of opposite arcs $e=(u,v)$ and $e^{-1}=(v,u)$. Assume $S$ is an inverse closed subset of permutations of positive integers. We say $G$ is $S$-$k$-colourable if for any mapping $σ: E(G) \to S$ with $σ(x,y) = (σ(y,x))^{-1}$, there is a mapping $f: V(G) \to [k]=\{1,2, \ldots, k\}$ such that for each arc $e=(x,y)$, $σ_e(f(x)) \ne f(y)$.
The concept of $S$-$k$-colouring is a common generalization of many colouring concepts, including $k$-colouring, signed $k$-colouring defined by Máčajová, Raspaud and Škoviera, signed $k$-colouring defined by Kang and Steffen, correspondence $k$-colouring defined by Dvořák and Postle, and group colouring defined by Jaeger, Linial, Payan and Tarsi.
We are interested in the problem as for which subset $S$ of $S_4$, every planar graph is $S$-colourable. Such a subset $S$ is called good. The famous four colour theorem is equivalent to say that $S=\{id\}$ is good. There are two conjectures on signed graph colouring, one is equivalent to $S=\{id, (12)(34)\}$ be good and the other is equivalent to $S=\{id, (12)\}$ be good. We say two subsets $S$ and $S'$ of $S_k$ are conjugate if there is a permutation $π\in S_k$ such that $S'= \{πσπ^{-1}: σ\in S\}$. This paper proves that if $S$ is a good subset of $S_4$ containing $id$, then $S$ is conjugate to a subset of $\{id, (12), (34), (12)(34)\}$. However, it remains an open problem if there is any good subset $S$ which contains $id$ and has cardinality $|S| \ge 2$. We also prove that $S=\{(12),(13),(23),(123),(132)\}$ is not good.
Hardness results for rainbow disconnection of graphs
Let $G$ be a nontrivial connected, edge-colored graph. An edge-cut $S$ of $G$ is called a rainbow cut if no two edges in $S$ are colored with a same color. An edge-coloring of $G$ is a rainbow disconnection coloring if for every two distinct vertices $s$ and $t$ of $G$, there exists a rainbow cut $S$ in $G$ such that $s$ and $t$ belong to different components of $G\setminus S$. For a connected graph $G$, the {\it rainbow disconnection number} of $G$, denoted by $rd(G)$, is defined as the smallest number of colors such that $G$ has a rainbow disconnection coloring by using this number of colors. In this paper, we show that for a connected graph $G$, computing $rd(G)$ is NP-hard. In particular, it is already NP-complete to decide if $rd(G)=3$ for a connected cubic graph. Moreover, we prove that for a given edge-colored (with an unbounded number of colors) connected graph $G$ it is NP-complete to decide whether $G$ is rainbow disconnected.
A refinement of choosability of graphs
Published
• View Publication
• BIB
Assume $k$ is a positive integer, $λ=\{k_1, k_2, \ldots, k_q\}$ is a partition of $k$ and $G$ is a graph. A $λ$-list assignment of $G$ is a $k$-list assignment $L$ of $G$ such that the colour set $\cup_{v\in V(G)}L(v)$ can be partitioned into $q$ subsets $C_1 \cup C_2 \ldots \cup C_q$ and for each vertex $v$ of $G$, $|L(v) \cap C_i| \ge k_i$. We say $G$ is $λ$-choosable if for each $λ$-list assignment $L$ of $G$, $G$ is $L$-colourable. It follows from the definition that if $λ=\{k\}$, then $λ$-choosable is the same as $k$-choosable, if $λ=\{1,1,\ldots, 1\}$, then $λ$-choosable is equivalent to $k$-colourable. For the other partitions of $k$ sandwiched between $\{k\}$ and $\{1,1,\ldots, 1\}$ in terms of refinements, $λ$-choosability reveals a complex hierarchy of colourability of graphs.
We prove that for two partitions $λ, λ'$ of $k$, every $λ$-choosable graph is $λ'$-choosable if and only if $λ'$ is a refinement of $λ$.
Then we concentrate on $λ$-choosability of planar graphs for partitions $λ$ of $4$.
Several conjectures concerning colouring of generalized signed planar graphs are proposed and relations between these conjectures and list colouring conjectures for planar graphs are explored. In particular, it is proved that a conjecture of Kündgen and Ramamurthi on list colouring of planar graphs is implied by the conjecture that every planar graph is $\{2,2\}$-choosable, and also implied by the conjecture of Máčajová, Raspaud and Škoviera which asserts that every planar graph is signed MRS-$4$-colourable, and that a conjecture of Kang and Steffen asserting that every planar graph is signed KS-$4$-colourable implies that every planar graph is $\{1,1,2\}$-choosable.
A note on long rainbow arithmetic progressions
Jungić et al (2003) defined $T_{k}$ as the minimal number $t \in \mathbb{N}$ such that there is a rainbow arithmetic progression of length $k$ in every equinumerous $t$-coloring of $[t n]$ for every $n \in \mathbb{N}$. They proved that for every $k \geq 3$, $\lfloor \frac{k^2}{4} \rfloor < T_{k} \leq \frac{k(k-1)^2}{2}$ and conjectured that $T_{k} = Θ(k^2)$. We prove for all $ε> 0$ that $T_{k} = O(k^{5/2+ε})$ using the Kővári-Sós-Turán theorem and Wigert's bound on the divisor function.
Gallai-Ramsey numbers for a class of graphs with five vertices
Published
• View Publication
• BIB
Given two graphs $G$ and $H$, the $k$-colored Gallai-Ramsey number $gr_k(G : H)$ is defined to be the minimum integer $n$ such that every $k$-coloring of the complete graph on $n$ vertices contains either a rainbow copy of $G$ or a monochromatic copy of $H$. In this paper, we consider $gr_k(K_3 : H)$ where $H$ is a connected graph with five vertices and at most six edges. There are in total thirteen graphs in this graph class, and the Gallai-Ramsey numbers for some of them have been studied step by step in several papers. We determine all the Gallai-Ramsey numbers for the remaining graphs, and we also obtain some related results for a class of unicyclic graphs.
Forbidden rainbow subgraphs that force large monochromatic or multicolored k-connected subgraphs
Published
• View Publication
• BIB
Let $n, k, m$ be positive integers with $n\gg m\gg k$, and let $\mathcal{A}$ be the set of graphs $G$ of order at least 3 such that there is a $k$-connected monochromatic subgraph of order at least $n-f(G,k,m)$ in any rainbow $G$-free coloring of $K_n$ using all the $m$ colors. In this paper, we prove that the set $\mathcal{A}$ consists of precisely $P_6$, $P_3\cup P_4$, $K_2\cup P_5$, $K_2\cup 2P_3$, $2K_2\cup K_3$, $2K_2\cup P^{+}_4$, $3K_2\cup K_{1,3}$ and their subgraphs of order at least 3. Moreover, we show that for any graph $H\in \mathcal{A}$, if $n$ sufficiently larger than $m$ and $k$, then any rainbow $(P_3\cup H)$-free coloring of $K_n$ using all the $m$ colors contains a $k$-connected monochromatic subgraph of order at least $cn$, where $c=c(H)$ is a constant, not depending on $n$, $m$ or $k$.
Furthermore, we consider a parallel problem in complete bipartite graphs. Let $s, t, k, m$ be positive integers with ${\rm min}\left\{s, t\right\}\gg m\gg k$ and $m\geq |E(H)|$, and let $\mathcal{B}$ be the set of bipartite graphs $H$ of order at least 3 such that there is a $k$-connected monochromatic subgraph of order at least $s+t-f(H,k,m)$ in any rainbow $H$-free coloring of $K_{s,t}$ using all the $m$ colors, where $f(H,k,m)$ is not depending on $s$ or $t$. We prove that the set $\mathcal{B}$ consists of precisely $2P_3$, $2K_2\cup K_{1,3}$ and their subgraphs of order at least 3.
Finally, we consider the large $k$-connected multicolored subgraph instead of monochromatic subgraph. We show that for $1\leq k \leq 3$ and $n$ sufficiently large, every Gallai-3-coloring of $K_n$ contains a $k$-connected subgraph of order at least $n-\left\lfloor\frac{k-1}{2}\right\rfloor$ using at most two colors. We also show that the above statement is false for $k=4t$, where $t$ is an positive integer.
Monochromatic Schur triples in randomly perturbed dense sets of integers
Published
• View Publication
• BIB
Given a dense subset $A$ of the first $n$ positive integers, we provide a short proof showing that for $p=ω(n^{-2/3})$ the so-called {\sl randomly perturbed} set $A \cup [n]_p$ a.a.s. has the property that any $2$-colouring of it has a monochromatic Schur triple, i.e.\ a triple of the form $(a,b,a+b)$. This result is optimal since there are dense sets $A$, for which $A\cup [n]_p$ does not possess this property for $p=o(n^{-2/3})$.
Polynomial Schur's theorem
Published
• View Publication
• BIB
We resolve the Ramsey problem for $\{x,y,z:x+y=p(z)\}$ for all polynomials $p$ over $\mathbb{Z}$. In particular, we characterise all polynomials that are $2$-Ramsey, that is, those $p(z)$ such that any $2$-colouring of $\mathbb{N}$ contains infinitely many monochromatic solutions for $x+y=p(z)$. For polynomials that are not $2$-Ramsey, we characterise all $2$-colourings of $\mathbb{N}$ that are not $2$-Ramsey, revealing that certain divisibility barrier is the only obstruction to $2$-Ramseyness for $x+y=p(z)$.
Another Note on Intervals in the Hales-Jewett Theorem
The Hales-Jewett Theorem states that any $r$-colouring of $[m]^n$ contains a monochromatic combinatorial line if $n$ is large enough. Shelah's proof of the theorem implies that for $m = 3$ there always exists a monochromatic combinatorial lines whose set of active coordinates is the union of at most $r$ intervals. Conlon and Kamčev proved the existence of colourings for which it cannot be fewer than $r$ intervals if $r$ is odd. For $r = 2$ however, Leader and Räty showed that one can always find a monochromatic combinatorial line whose active coordinate set is a single interval. In this paper, we extend the result of Leader and Räty to the case of all even $r$, showing that one can always find a monochromatic combinatorial line in $[3]^n$ whose set of active coordinate is the union of at most $r-1$ intervals.
Investigating First Returns: The Effect of Multicolored Vectors
By definition, a first return is the immediate moment that a path, using vectors in the Cartesian plane, touches the $x$-axis after leaving it previously from a given point; the initial point is often the origin. In this case, using certain diagonal and horizontal vectors while restricting the movements to the first quadrant will cause almost every first return to end at the point $(2n,0)$, where $2n$ counts the equal number of up and down steps in a path. The exception will be explained further in the sections below.
Using the first returns of Catalan, Schröder, and Motzkin numbers, which resulted from the lattice paths formed using a combination of diagonal and/or horizontal vectors, we then investigated the effect that coloring select vectors will have on each of the original generating functions.
DP-4-colorability of two classes of planar graphs
Published
• View Publication
• BIB
DP-coloring (also known as correspondence coloring) is a generalization of list coloring introduced recently by Dvořák and Postle (2017). In this paper, we prove that every planar graph $G$ without $4$-cycles adjacent to $k$-cycles is DP-$4$-colorable for $k=5$ and $6$. As a consequence, we obtain two new classes of $4$-choosable planar graphs. We use identification of verticec in the proof, and actually prove stronger statements that every pre-coloring of some short cycles can be extended to the whole graph.
The Eternal Game Chromatic Number of a Graph
Game coloring is a well-studied two-player game in which each player properly colors one vertex of a graph at a time until all the vertices are colored. An `eternal' version of game coloring is introduced in this paper in which the vertices are colored and re-colored from a color set over a sequence of rounds. In a given round, each vertex is colored, or re-colored, once, so that a proper coloring is maintained. Player 1 wants to maintain a proper coloring forever, while player 2 wants to force the coloring process to fail. The eternal game chromatic number of a graph $G$ is defined to be the minimum number of colors needed in the color set so that player 1 can always win the game on $G$. We consider several variations of this new game and show its behavior on some elementary classes of graphs.
The multicolour size-Ramsey number of powers of paths
Published
• View Publication
• BIB
Given a positive integer $s$, a graph $G$ is $s$-Ramsey for a graph $H$, denoted $G\rightarrow (H)_s$, if every $s$-colouring of the edges of $G$ contains a monochromatic copy of $H$. The $s$-colour size-Ramsey number ${\hat{r}}_s(H)$ of a graph $H$ is defined to be ${\hat{r}}_s(H)=\min\{|E(G)|\colon G\rightarrow (H)_s\}$. We prove that, for all positive integers $k$ and $s$, we have ${\hat{r}}_s(P_n^k)=O(n)$, where $P_n^k$ is the $k$th power of the $n$-vertex path $P_n$.
List Coloring a Cartesian Product with a Complete Bipartite Factor
Published
• View Publication
• BIB
We study the list chromatic number of the Cartesian product of any graph $G$ and a complete bipartite graph with partite sets of size $a$ and $b$, denoted $χ_\ell(G \square K_{a,b})$. We have two motivations. A classic result on the gap between list chromatic number and the chromatic number tells us $χ_\ell(K_{a,b}) = 1 + a$ if and only if $b \geq a^a$. Since $χ_\ell(K_{a,b}) \leq 1 + a$ for any $b \in \mathbb{N}$, this result tells us the values of $b$ for which $χ_\ell(K_{a,b})$ is as large as possible and far from $χ(K_{a,b})=2$. In this paper we seek to understand when $χ_\ell(G \square K_{a,b})$ is far from $χ(G \square K_{a,b}) = \max \{χ(G), 2 \}$. It is easy to show $χ_\ell(G \square K_{a,b}) \leq χ_\ell (G) + a$. In 2006, Borowiecki, Jendrol, Král, and Miskuf showed that this bound is attainable if $b$ is sufficiently large; specifically, $χ_\ell(G \square K_{a,b}) = χ_\ell (G) + a$ whenever $b \geq (χ_\ell(G) + a - 1)^{a|V(G)|}$. Given any graph $G$ and $a \in \mathbb{N}$, we wish to determine the smallest $b$ such that $χ_\ell(G \square K_{a,b}) = χ_\ell (G) + a$. In this paper we show that the list color function, a list analogue of the chromatic polynomial, provides the right concept and tool for making progress on this problem. Using the list color function, we prove a general improvement on Borowiecki et al.'s 2006 result, and we compute the smallest such $b$ exactly for some large families of chromatic-choosable graphs.
A simplified disproof of Beck's three permutations conjecture and an application to root-mean-squared discrepancy
Published
• View Publication
• BIB
A $k$-permutation family on $n$ vertices is a set system consisting of the intervals of $k$ permutations of the integers $1$ through $n$. The discrepancy of a set system is the minimum over all red-blue vertex colorings of the maximum difference between the number of red and blue vertices in any set in the system. In 2011, Newman and Nikolov disproved a conjecture of Beck that the discrepancy of any $3$-permutation family is at most a constant independent of $n$. Here we give a simpler proof that Newman and Nikolov's sequence of $3$-permutation families has discrepancy $Ω(\log n)$. We also exhibit a sequence of $6$-permutation families with root-mean-squared discrepancy $Ω(\sqrt{\log n})$; that is, in any red-blue vertex coloring, the square root of the expected difference between the number of red and blue vertices in an interval of the system is $Ω(\sqrt{\log n})$.
Unavoidable chromatic patterns in 2-colorings of the complete graph
Published
• View Publication
• BIB
We consider unavoidable chromatic patterns in $2$-colorings of the edges of the complete graph. Several such problems are explored being a junction point between Ramsey theory, extremal graph theory (Turán type problems), zero-sum Ramsey theory, and interpolation theorems in graph theory. A role-model of these problems is the following: Let $G$ be a graph with $e(G)$ edges. We say that $G$ is omnitonal if there exists a function ${\rm ot}(n,G)$ such that the following holds true for $n$ sufficiently large: For any $2$-coloring $f: E(K_n) \to \{red, blue \}$ such that there are more than ${\rm ot}(n,G)$ edges from each color, and for any pair of non-negative integers $r$ and $b$ with $r+b = e(G)$, there is a copy of $G$ in $K_n$ with exactly $r$ red edges and $b$ blue edges. We give a structural characterization of omnitonal graphs from which we deduce that omnitonal graphs are, in particular, bipartite graphs, and prove further that, for an omnitonal graph $G$, ${\rm ot}(n,G) = \mathcal{O}(n^{2 - \frac{1}{m}})$, where $m = m(G)$ depends only on $G$. We also present a class of graphs for which ${\rm ot}(n,G) = ex(n,G)$, the celebrated Turán numbers. Many more results and problems of similar flavor are presented.