coloring
4497 papers tagged with this keyword
Color-avoiding directed paths in tournaments
We study the following Ramsey-theoretic question: given a $q$-coloring of the edges of a tournament, how long of a directed path can we guarantee whose edges avoid one of the colors? Questions of this type have applications in many areas, such as vector sequences, convex geometry, and extremal hypergraph theory, and have been extensively studied over the past 50 years.
We prove that if $\varepsilon>0$ is fixed and $q$ is sufficiently large, then every $q$-edge-colored $N$-vertex tournament contains a color-avoiding directed path of length $N^{1-\varepsilon}$. This answers a question of Gowers and Long, strengthens several of their results, and extends earlier work of Loh.
Vertex-distinguishing edge coloring of graphs
Let $k \ge 1$ be an integer and let $G$ be a nonempty simple graph. An \emph{edge-$k$-coloring} $\varphi$ of $G$ is an assignment of colors from $\{1,\ldots,k\}$ to the edges of $G$ such that no two adjacent edges receive the same color. For a vertex $v \in V(G)$, we write $\varphi(v)$ for the set of colors assigned to the edges incident with $v$. The coloring $\varphi$ is called \emph{vertex-distinguishing} if $\varphi(u) \ne \varphi(v)$ for every pair of distinct vertices $u,v \in V(G)$. A vertex-distinguishing edge-$k$-coloring exists if and only if $G$ has at most one isolated vertex and no isolated edge. The least integer $k$ for which such a coloring exists is called the \emph{vertex-distinguishing chromatic index} of $G$, denoted $χ'_{vd}(G)$. In 1997, Burris and Schelp conjectured that for every graph $G$ with at most one isolated vertex and no isolated edge, $ k(G) \;\le\; χ'_{vd}(G) \;\le\; k(G)+1$, where $k(G)$ is the natural lower bound required for a vertex-distinguishing coloring in $G$. In 2004, Balister, Kostochka, Li, and Schelp verified the conjecture for graphs $G$ satisfying $Δ(G) \ge \sqrt{2|V(G)|} + 4 $ and $δ(G) \ge 5$. For graphs that do not satisfy these conditions, the best known general upper bound on $χ'_{vd}(G)$ remains $|V(G)| + 1$, established in 1999 by Bazgan, Harkat-Benhamdine, Li, and Woźniak. In this paper, we prove that $χ'_{vd}(G) \le \floor{5.5k(G)+6.5}$, which represents a substantial improvement over the bound $|V(G)| + 1$ whenever $k(G) = o(|V(G)|)$. We further show that $χ'_{vd}(G) \le k(G) + 3$, for all $d$-regular graphs $G$ with $d \ge \log_2 |V(G)|\geq 8$.
Concerning FAT Colorings of Graphs
Let $G$ be a graph and let $C$ be a color set of cardinality $k$. Suppose $c \colon V(G) \to C$ is a (not necessarily proper) vertex coloring whose all color classes are $V_1$, $V_2$, $\dots$, $V_k$, each of which is nonempty. The vertex coloring $c$ is said to be a {\it FAT $k$-coloring of $G$} if there exist real numbers $α$ and $β$, both in $[0,1]$, such that for every vertex $v\in V(G)$ and every color class $V_i$ the following equalities hold: $$ \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} $$ Let $k > 1$ be a fixed integer, and let $α\in \left[ 0 , \frac{1}{k-1} \right) \cap \mathbb{Q}$ and $β\in [ 0 , 1 ] \cap \mathbb{Q}$ be some fixed rational numbers satisfying $ β+ (k-1) α= 1 $. It was asked for the existence of a graph $G$ with $δ(G) > 0$ admitting some FAT $k$-coloring with the corresponding parameters $α$ and $β$. This paper settles the question in the affirmative. We explicitly construct a sequence $\displaystyle\left\{G_n\right\}_{n=1}^{\infty}$ of pairwise non-homomorphically equivalent graphs, each being a regular graph of positive degree, admitting a FAT $k$-coloring with the corresponding parameters $α$ and $β$.
Coloring Geometric Hypergraphs: A Survey
The \emph{chromatic number} of a hypergraph is the smallest number of colors needed to color the vertices such that no edge of at least two vertices is monochromatic. Given a family of geometric objects $\mathcal{F}$ that covers a subset $S$ of the Euclidean space, we can associate it with a hypergraph whose vertex set is $\mathcal F$ and whose edges are those subsets ${\mathcal{F}'}\subset \mathcal F$ for which there exists a point $p\in S$ such that ${\mathcal F}'$ consists of precisely those elements of $\mathcal{F}$ that contain $p$. The question whether $\mathcal F$ can be split into 2 coverings is equivalent to asking whether the chromatic number of the hypergraph is equal to 2.
There are a number of competing notions of the chromatic number that lead to deep combinatorial questions already for abstract hypergraphs. In this paper, we concentrate on \emph{geometrically defined} (in short, \emph{geometric}) hypergraphs, and survey many recent coloring results related to them. In particular, we study and survey the following problem, dual to the above covering question. Given a set of points $S$ in the Euclidean space and a family $\mathcal{F}$ of geometric objects of a fixed type, define a hypergraph ${\mathcal H}_m$ on the point set $S$, whose edges are the subsets of $S$ that can be obtained as the intersection of $S$ with a member of $\mathcal F$ and have at least $m$ elements. Is it true that if $m$ is large enough, then the chromatic number of ${\mathcal H}_m$ is equal to 2?
Sums, products, and exponents in two-colorings of the naturals
We prove that for any coloring of the naturals using two colors there are monochromatic sets of the form $\{x,y,xy,x+iy:i\leq k\}$ and $\{x,y,x^y,xy^i:i\leq k\}$ for any $k$.
Colouring Graphs Without a Subdivided H-Graph: A Full Complexity Classification
We consider Colouring on graphs that are $H$-subgraph-free for some fixed graph $H$, i.e., graphs that do not contain $H$ as a subgraph. It is known that even $3$-Colouring is NP-complete for $H$-subgraph-free graphs whenever $H$ has a cycle; or a vertex of degree at least $5$; or a component with two vertices of degree $4$, while Colouring is polynomial-time solvable for $H$-subgraph-free graphs if $H$ is a forest of maximum degree at most $3$, in which each component has at most one vertex of degree $3$. For connected graphs $H$, this means that it remains to consider when $H$ is tree of maximum degree $4$ with exactly one vertex of degree $4$, or a tree of maximum degree $3$ with at least two vertices of degree $3$. We let $H$ be a so-called subdivided "H"-graph, which is either a subdivided $\mathbb{H}_0$: a tree of maximum degree $4$ with exactly one vertex of degree $4$ and no vertices of degree $3$, or a subdivided $\mathbb{H}_1$: a tree of maximum degree $3$ with exactly two vertices of degree $3$. In the literature, only a limited number of polynomial-time and NP-completeness results for these cases are known. We develop new polynomial-time techniques that allow us to determine the complexity of Colouring on $H$-subgraph-free graphs for all the remaining subdivided "H"-graphs, so we fully classify both cases. As a consequence, the complexity of Colouring on $H$-subgraph-free graphs has now been settled for all connected graphs $H$ except when $H$ is a tree of maximum degree $4$ with exactly one vertex of degree $4$ and at least one vertex of degree $3$; or a tree of maximum degree $3$ with at least three vertices of degree $3$. We also employ our new techniques to obtain the same new polynomial-time results for another classic graph problem, namely Stable Cut.
Raimi's theorem for manifolds with circle symmetry
Raimi's classical theorem establishes a partition of the natural numbers with a remarkable unavoidability property: for every finite coloring of $\mathbb{N}$, there is a color class whose translate meets both parts of the partition in infinitely many points. Recently, Kang, Koh, and Tran have extended this phenomenon to the circle group, proving that there exists a measurable partition of the circle such that every finite measurable cover admits a rotation whose image meets each part of the partition in positive measure. This paper shows that this phenomenon extends beyond compact abelian groups to a wide class of non-group geometric surfaces that still exhibit \textit{a hidden one-dimensional symmetry}. Specifically, we establish analogs of Raimi's theorem for three families of surfaces (with their natural surface measures): the unit sphere $S^{n-1} \subset \mathbb{R}^n$, rotational power surfaces (such as cones and paraboloids), and circular cylindrical surfaces. The common feature is that each of these surfaces carries a natural measure-preserving action of the circle group by rotation in a fixed plane and admits a measurable trivialization as a product $C \times Y$. This circle-bundle structure allows the measurable Raimi partition on the base circle to be lifted to an unavoidable partition on the manifold. Our approach is unified through a general circle-bundle theorem, which reduces all three geometric cases to verifying suitable equivariance and product disintegration properties of the surface measure.
Online Ramsey turnaround numbers
The online Ramsey turnaround game is a game between two players, Builder and Painter, on a board of $n$ vertices using $3$ colors, for a fixed graph $H$ on at most $n$ vertices. The goal of Painter is to force a monochromatic copy of $H$, the goal of Builder is to avoid this as long as possible. In each round of the game, Builder exposes one new edge and is allowed to forbid the usage of one color for Painter to color this newly exposed edge, and Painter colors the edge according to this restriction. The game is over as soon as Painter manages to achieve a monochromatic copy of $H$. For sufficiently large $n$, we consider the smallest number $f(n, H)$ of edges so that Painter can always win after $f(n, H)$ edges have been exposed by Builder. In addition, we define $f(H)$ to be the smallest $n$ such that Painter can always win on a clique with $n$ vertices. We give bounds for both functions and show that this problem is closely related to other concepts in extremal graph theory, such as polychromatic colorings, set-coloring Ramsey numbers, chromatic Ramsey numbers, and 2-color Turán numbers.
Stationary list colorings
Komjath studied the list chromatic number of infinite graphs and introduced the notion of restricted list chromatic number. For a graph $X=(V_X,E_X)$ and a cardinal $κ$, we say that $X$ is restricted list colorable for $κ$ if for every $L:V_X\to[κ]^κ$ there is a choice function $c$ of $L$ such that $c(v)\neq c(w)$ whenever ${v,w}\in E_X$. In this paper, we discuss a variation, stationary list colorability for $κ$, obtained by replacing $[κ]^κ$ with the set of all stationary subsets of $κ$. We compare the stationary list colorability with other coloring properties. Among other things, we prove that the stationary list colorability is essentially different from other coloring properties including the restricted list colorability. We also prove the consistency result showing that for some $κ<λ$, restricted and stationary list colorability at $κ$ do not imply the corresponding properties at $λ$.
A new improvement to the Overfull Conjecture
Let $G$ be a simple graph with order $n$, maximum degree $\D(G)$, minimum degree $δ(G)$ and chromatic index $χ'(G)$, respectively. A graph $G$ is called {\em $\D$-critical} if $χ'(G)=\D(G)+1$ and $χ'(H)\textless χ'(G)$ for every proper subgraph $H$ of $G$, and $G$ is overfull if $\left|E(G)\right|>Δ(G)\lfloor n/2\rfloor$. In 1986, Chetwynd and Hilton proposed the Overfull Conjecture: Every $\D$-critical graph $G$ with $\D(G)\textgreater\frac{n}{3}$ is overfull. The Overfull Conjecture has many implications, such as that it implies a polynomial-time algorithm for determining the chromatic index of graphs $G$ with $\D(G)\textgreater\frac{n}{3}$, and implies several longstanding conjectures in the area of graph edge coloring. Recently, Cao, Chen, Jing and Shan (SIAM J. Discrete Math. 2022) verified the Overfull Conjecture for $\D(G)-7δ(G)/4\ge (3n-17)/4$. In this paper, we improve it for $\D(G)-5δ(G)/3\ge (2n-7)/3$.
3-Coloring $P_t$-Free Graphs With Only One Prescribed Induced Odd Cycle Length
Published
• View Publication
• BIB
A graph is $P_t$-free if it contains no induced subgraph isomorphic to a $t$-vertex path. A graph is not bipartite if and only if it contains an induced subgraph isomorphic to a $k$-vertex cycle, where $k$ is odd. We focus on the 3-coloring problem for $P_t$-free graphs that have only one prescribed induced odd cycle length. For any integer $t$ and any odd integer $k$, let $\mathcal{G}_{t,k}$ be the class of graphs that are $P_{t}$-free and all their induced odd cycles must be $C_k$. In this paper, we present a polynomial-time algorithm that solves the 3-coloring problem for any graph in $\mathcal{G}_{10,7}$.
On the Word-Representability of 5-Regular Circulant Graphs
Published
• View Publication
• BIB
A graph $G = (V, E)$ is word-representable if there exists a word $w$ over the alphabet $V$ such that, for any two distinct vertices $x, y \in V$, $xy \in E$ if and only if $x$ and $y$ alternate in $w$. Two letters $x$ and $y$ are said to alternate in $w$ if, after removing all other letters from $w$, the resulting word is of the form $xyxy\dots$ or $yxyx\dots$ (of even or odd length). For a given set $R = \{r_1, r_2, \dots, r_k\}$ of jump elements, an undirected circulant graph $C_n(R)$ on $n$ vertices has vertex set $\{0, 1, \dots, n-1\}$ and edge set $ E = \left\{ \{i,j\} \;\middle|\; |i - j| \bmod n \in \{r_1, r_2, \dots, r_k\} \right\}, $ where $0 < r_1 < r_2 < \dots < r_k < \frac{n}{2}$. Recently, Kitaev and Pyatkin proved that every 4-regular circulant graph is word-representable. Srinivasan and Hariharasubramanian further investigated circulant graphs and obtained bounds on the representation number for $k$-regular circulant graphs with $2 \le k \le 4$. In addition to these positive results, their work also presents examples of non-word-representable circulant graphs. In this work, we study word-representability and the representation number of 5-regular circulant graphs via techniques from elementary number theory and group theory, as well as graph coloring, graph factorization and morphisms.
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.
$2$-large sets are sets of Bohr recurrence
Let $α_1, \cdots, α_d$ be real numbers, and let $S$ be the set of integers $s$ so that $||α_i s||_{\mathbb{R}/\mathbb{Z}}>δ$ for some $i$ and some fixed $δ>0$. We prove $S$ is not \enquote{$2$-large}, i.e. there is a $2$-coloring of $\mathbb{N}$ that avoids arbitrarily long arithmetic progressions with common differences in $S$.
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.