coloring
4497 papers tagged with this keyword
Fine structure of 4-critical triangle-free graphs II. Planar triangle-free graphs with two precolored 4-cycles
Published in SIAM J. Discrete Math 31 (2017) 865-874
• View Publication
• BIB
We study 3-coloring properties of triangle-free planar graphs $G$ with two precolored 4-cycles $C_1$ and $C_2$ that are far apart. We prove that either every precoloring of $C_1\cup C_2$ extends to a 3-coloring of $G$, or $G$ contains one of two special substructures which uniquely determine which 3-colorings of $C_1\cup C_2$ extend. As a corollary, we prove that there exists a constant $D>0$ such that if $H$ is a planar triangle-free graph and $S\subseteq V(H)$ consists of vertices at pairwise distances at least $D$, then every precoloring of $S$ extends to a 3-coloring of $H$. This gives a positive answer to a conjecture of Dvořák, Král' and Thomas, and implies an exponential lower bound on the number of 3-colorings of triangle-free planar graphs of bounded maximum degree.
Fine structure of 4-critical triangle-free graphs III. General surfaces
Published
• View Publication
• BIB
Dvořák, Král' and Thomas gave a description of the structure of triangle-free graphs on surfaces with respect to 3-coloring. Their description however contains two substructures (both related to graphs embedded in plane with two precolored cycles) whose coloring properties are not entirely determined. In this paper, we fill these gaps.
Directed paths: from Ramsey to Ruzsa and Szemerédi
Starting from an innocent Ramsey-theoretic question regarding directed paths in tournaments, we discover a series of rich and surprising connections that lead into the theory around a fundamental problem in Combinatorics: the Ruzsa-Szemerédi induced matching problem. Using these relationships, we prove that every coloring of the edges of the transitive $n$-vertex tournament using three colors contains a directed path of length at least $\sqrt{n} \cdot e^{\log^* n}$ which entirely avoids some color. We also expose connections to a family of constructions for Ramsey tournaments, and introduce and resolve some natural generalizations of the Ruzsa-Szemerédi problem which we encounter through our investigation.
Semi-algebraic colorings of complete graphs
We consider $m$-colorings of the edges of a complete graph, where each color class is defined semi-algebraically with bounded complexity. The case $m = 2$ was first studied by Alon et al., who applied this framework to obtain surprisingly strong Ramsey-type results for intersection graphs of geometric objects and for other graphs arising in computational geometry. Considering larger values of $m$ is relevant, e.g., to problems concerning the number of distinct distances determined by a point set.
For $p\ge 3$ and $m\ge 2$, the classical Ramsey number $R(p;m)$ is the smallest positive integer $n$ such that any $m$-coloring of the edges of $K_n$, the complete graph on $n$ vertices, contains a monochromatic $K_p$. It is a longstanding open problem that goes back to Schur (1916) to decide whether $R(p;m)=2^{O(m)}$, for a fixed $p$. We prove that this is true if each color class is defined semi-algebraically with bounded complexity. The order of magnitude of this bound is tight. Our proof is based on the Cutting Lemma of Chazelle {\em et al.}, and on a Szemerédi-type regularity lemma for multicolored semi-algebraic graphs, which is of independent interest. The same technique is used to address the semi-algebraic variant of a more general Ramsey-type problem of Erdős and Shelah.
Five-list-coloring graphs on surfaces II. A linear bound for critical graphs in a disk
Published in J. Combin. Theory Ser. B 119 (2016), 42-65
• View Publication
• BIB
Let $G$ be a plane graph with outer cycle $C$ and let $(L(v):v\in V(G))$ be a family of sets such that $|L(v)|\ge 5$ for every $v\in V(G)$. By an $L$-coloring of a subgraph $J$ of $G$ we mean a (proper) coloring $φ$ of $J$ such that $φ(v)\in L(v)$ for every vertex $v$ of $J$. We prove a conjecture of Dvorak et al. that if $H$ is a minimal subgraph of $G$ such that $C$ is a subgraph of $H$ and every $L$-coloring of $C$ that extends to an $L$-coloring of $H$ also extends to an $L$-coloring of $G$, then $|V(H)|\le 19|V(C)|$.
This is a lemma that plays an important role in subsequent papers, because it motivates the study of graphs embedded in surfaces that satisfy an isoperimetric inequality suggested by this result. Such study turned out to be quite profitable for the subject of list coloring graphs on surfaces.
The game colouring number of powers of forests
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 1, Graph Theory (November 24, 2015) dmtcs:648
• View Publication
• BIB
We prove that the game colouring number of the $m$-th power of a forest of maximum degree $Δ\ge3$ is bounded from above by \[\frac{(Δ-1)^m-1}{Δ-2}+2^m+1,\] which improves the best known bound by an asymptotic factor of 2.
Off-diagonal hypergraph Ramsey numbers
Published
• View Publication
• BIB
The Ramsey number $r_k(s,n)$ is the minimum $N$ such that every red-blue coloring of the $k$-subsets of $\{1, \ldots, N\}$ contains a red set of size $s$ or a blue set of size $n$, where a set is red (blue) if all of its $k$-subsets are red (blue). A $k$-uniform \emph{tight path} of size $s$, denoted by $P_{s}$, is a set of $s$ vertices $v_1 < \cdots < v_{s}$ in $\mathbb{Z}$, and all $s-k+1$ edges of the form $\{v_j,v_{j+1},\ldots, v_{j + k -1}\}$. Let $r_k(P_s, n)$ be the minimum $N$ such that every red-blue coloring of the $k$-subsets of $\{1, \ldots, N\}$ results in a red $P_{s}$ or a blue set of size $n$. The problem of estimating both $r_k(s,n)$ and $r_k(P_s, n)$ for $k=2$ goes back to the seminal work of Erdos and Szekeres from 1935, while the case $k\ge 3$ was first investigated by Erdos and Rado in 1952.
In this paper, we deduce a quantitative relationship between multicolor variants of $r_k(P_s, n)$ and $r_k(n, n)$. This yields several consequences including the following:
(1) We determine the correct tower growth rate for both $r_k(s,n)$ and $r_k(P_s, n)$ for $s \ge k+3$. The question of determining the tower growth rate of $r_k(s,n)$ for all $s \ge k+1$ was posed by Erdos and Hajnal in 1972.
(2) We show that determining the tower growth rate of $r_k(P_{k+1}, n)$ is equivalent to determining the tower growth rate of $r_k(n,n)$, which is a notorious conjecture of Erdos, Hajnal and Rado from 1965 that remains open.
Some related off-diagonal hypergraph Ramsey problems are also explored.
On incidence coloring conjecture in Cartesian products of graphs
Published
• View Publication
• BIB
An incidence in a graph $G$ is a pair $(v,e)$ where $v$ is a vertex of $G$ and $e$ is an edge of $G$ incident to $v$. Two incidences $(v,e)$ and $(u,f)$ are adjacent if at least one of the following holds: $(a)$ $v = u$, $(b)$ $e = f$, or $(c)$ $vu \in \{e,f\}$. An incidence coloring of $G$ is a coloring of its incidences assigning distinct colors to adjacent incidences. It was conjectured that at most $Δ(G) + 2$ colors are needed for an incidence coloring of any graph $G$. The conjecture is false in general, but the bound holds for many classes of graphs. We introduce some sufficient properties of the two factor graphs of a Cartesian product graph $G$ for which $G$ admits an incidence coloring with at most $Δ(G) + 2$ colors.
The Discrete Rado Number for $x_1 + x_2 + \dots + x_m + c = 2x_0$
For a positive integer $m$ and a real number $c$, let $R = R(m,c,2)$ denote the discrete 2-color Rado number for the equation $x_1 + x_2 + \dots + x_m + c = 2x_0$. In other words, $R$ is the smallest integer such that for any coloring of the integers ${1, 2, \dots, R}$, there exist numbers $x_1, x_2, \dots, x_m, x_0$, all with the same color, such that $x_1 + x_2 + \dots + x_m + c = 2x_0$. In this article we show that if $m \geq 2$ and $c > 0$, then $$ \begin{array}{cc} R(m,c,2) =
\begin{cases}
\infty & \text{for $m$ even, $c$ odd} \newline
\big\lceil \frac{m}{2} \big\lceil \frac{m+c}{2} \big\rceil + \frac{c}{2} \big\rceil & \text{otherwise.} \end{cases} \end{array} $$ For real numbers $a$ and $c$, we look at the 2-color Rado number for the equation $x_1 + c = ax_0$. We show that if $a > 1$ and $c > 0$, then the 2-color continuous Rado number is $$
R_\mathbb{R}(1, c, a) =
\begin{cases}
\infty & \text{if $a=1$ } \newline
\frac{c}{a-1} & \text{otherwise.}
\end{cases}
$$
From this, we will show that the discrete Rado number is
$$
R(1, c, a) =
\begin{cases}
\frac{c}{a-1} & \text{if $ \left( a-1 \right) \mid c$} \newline
\infty & \text{otherwise.}
\end{cases}
$$
Tetrachromagea
We construct a moduli space of four colorings on planar cubic graphs. More precisely, we introduce the notion of weak Hamiltonian, a generalization of Hamiltonian cycles, and relate it to 4-colorings. Weak Hamiltonians have a form of deformation, which we call mutation, which gives them a graph structure, the Weak Hamiltonian graph. This graph encodes the different colorings as 3 vertex cliques. Identifying vertices on these cliques, we obtain a new graph, the chromatic graph, whose vertices are exactly the colorings of the original graph. Also, this construction gives a heuristic argument on why 4 colors are sufficient to color planar maps.
Combinatorial Hopf Algebras of Simplicial Complexes
Published in SIAM J. Discrete Math. 30 (2016), no. 3, 1737--1757
• View Publication
• BIB
We consider a Hopf algebra of simplicial complexes and provide a cancellation-free formula for its antipode. We then obtain a family of combinatorial Hopf algebras by defining a family of characters on this Hopf algebra. The characters of these combinatorial Hopf algebras give rise to symmetric functions that encode information about colorings of simplicial complexes and their $f$-vectors. We also use characters to give a generalization of Stanley's $(-1)$-color theorem. A $q$-analog version of this family of characters is also studied.
Deciding 4-colorability of planar triangulations
We show, without using the Four Color Theorem, that for each planar triangulation, the number of its proper vertex colorings by 4 colors is a determinant and thus can be calculated in a polynomial time. In particular, we can efficiently decide if the number is non-zero.
List-coloring the Squares of Planar Graphs without 4-Cycles and 5-Cycles
Published in Journal of Graph Theory. Vol. 85(4), August 2017, pp. 721-737
• View Publication
• BIB
Let $G$ be a planar graph without 4-cycles and 5-cycles and with maximum degree $Δ\ge 32$. We prove that $χ_{\ell}(G^2)\le Δ+3$. For arbitrarily large maximum degree $Δ$, there exist planar graphs $G_Δ$ of girth 6 with $χ(G_Δ^2)=Δ+2$. Thus, our bound is within 1 of being optimal. Further, our bound comes from coloring greedily in a good order, so the bound immediately extends to online list-coloring. In addition, we prove bounds for $L(p,q)$-labeling. Specifically, $λ_{2,1}(G)\le Δ+8$ and, more generally, $λ_{p,q}(G)\le (2q-1)Δ+6p-2q-2$, for positive integers $p$ and $q$ with $p\ge q$. Again, these bounds come from a greedy coloring, so they immediately extend to the list-coloring and online list-coloring variants of this problem.
$χ_D(G)$, $|Aut(G)|$, and a variant of the Motion Lemma
Published
• View Publication
• BIB
The \textit{Distinguishing Chromatic Number} of a graph $G$, denoted $χ_D(G)$, was first defined in \cite{collins} as the minimum number of colors needed to properly color $G$ such that no non-trivial automorphism $φ$ of the graph $G$ fixes each color class of $G$. In this paper, 1. We prove a lemma that may be considered a variant of the Motion lemma of \cite{RS} and use this to give examples of several families of graphs which satisfy $χ_D(G)=χ(G)+1$. 2.We give an example of families of graphs that admit large automorphism groups in which every proper coloring is distinguishing. We also describe families of graphs with (relatively) very small automorphism groups which satisfy $χ_D(G)=χ(G)+1$, for arbitrarily large values of $χ(G)$. 3. We describe non-trivial families of bipartite graphs that satisfy $χ_D(G)>r$ for any positive integer $r$.
Pairwise sums in colourings of the reals
Published
• View Publication
• BIB
Suppose that we have a finite colouring of the reals. What sumset-type structures can we hope to find in some colour class? One of our aims is to show that there is such a colouring for which no uncountable set has all of its pairwise sums monochromatic. We also show that there is such a colouring such that there is no infinite set X with X+X (the pairwise sums from X, allowing repetition) monochromatic. These results assume CH. In the other direction, we show that if each colour class is measurable, or each colour class is Baire, then there is an infinite set X (and even an uncountable X, of size the reals) with X+X monochromatic. We also give versions for all of these results for k-wise sums in place of pairwise sums.
Orthogonal colorings of the sphere
Published in Mathematika 62 (2016) 492-501
• View Publication
• BIB
An orthogonal coloring of the two-dimensional unit sphere $\mathbb{S}^2$, is a partition of $\mathbb{S}^2$ into parts such that no part contains a pair of orthogonal points, that is, a pair of points at spherical distance $π/2$ apart. It is a well-known result that an orthogonal coloring of $\mathbb{S}^2$ requires at least four parts, and orthogonal colorings with exactly four parts can easily be constructed from a regular octahedron centered at the origin. An intriguing question is whether or not every orthogonal 4-coloring of $\mathbb{S}^2$ is such an octahedral coloring. In this paper we address this question and show that if every color class has a non-empty interior, then the coloring is octahedral. Some related results are also given.
An alternative proof for the constructive Asymmetric Lovász Local Lemma
Published
• View Publication
• BIB
We provide an alternative constructive proof of the Asymmetric Lovász Local Lemma. Our proof uses the classic algorithmic framework of Moser and the analysis introduced by Giotis, Kirousis, Psaromiligkos, and Thilikos in "On the algorithmic Lovász Local Lemma and acyclic edge coloring", combined with the work of Bender and Richmond on the multivariable Lagrange Inversion formula.
Coloring so that no Pythagorean Triple is Monochromatic
We address the question of the "partition regularity" of the Pythagorean equation a^2+b^2=c^2; in particular, can the natural numbers be assigned a 2-coloring, so that no Pythagorean triple (i.e., a solution to the equation) is monochromatic? We prove that the hypergraph of Pythagorean triples can contain no Steiner triple systems, a natural obstruction to 2-colorability. Then, after transforming the question into one about 3-CNF satisfiability and applying some reductions, a SAT solver is used to find a 2-coloring for {1,...,7664}. Work continues as we seek to improve the reductions and extend the computation.
On prefixal factorizations of words
Published
• View Publication
• BIB
We consider the class ${\cal P}_1$ of all infinite words $x\in A^ω$ over a finite alphabet $A$ admitting a prefixal factorization, i.e., a factorization $x= U_0 U_1U_2 \cdots $ where each $U_i$ is a non-empty prefix of $x.$ With each $x\in {\cal P}_1$ one naturally associates a "derived" infinite word $δ(x)$ which may or may not admit a prefixal factorization. We are interested in the class ${\cal P}_{\infty}$ of all words $x$ of ${\cal P}_1$ such that $δ^n(x) \in {\cal P}_1$ for all $n\geq 1$. Our primary motivation for studying the class ${\cal P}_{\infty}$ stems from its connection to a coloring problem on infinite words independently posed by T. Brown in \cite{BTC} and by the second author in \cite{LQZ}. More precisely, let ${\bf P}$ be the class of all words $x\in A^ω$ such that for every finite coloring $\varphi : A^+ \rightarrow C$ there exist $c\in C$ and a factorization $x= V_0V_1V_2\cdots $ with $\varphi(V_i)=c$ for each $i\geq 0.$ In \cite{DPZ} we conjectured that a word $x\in {\bf P}$ if and only if $x$ is purely periodic. In this paper we show that ${\bf P}\subseteq {\cal P}_{\infty},$ so in other words, potential candidates to a counter-example to our conjecture are amongst the non-periodic elements of ${\cal P}_{\infty}.$ We establish several results on the class ${\cal P}_{\infty}$. In particular, we show that a Sturmian word $x$ belongs to ${\cal P}_{\infty}$ if and only if $x$ is nonsingular, i.e., no proper suffix of $x$ is a standard Sturmian word.
Colouring graphs with constraints on connectivity
Published in Journal of Graph Theory 85 (2017), 814-838
• View Publication
• BIB
A graph $G$ has maximal local edge-connectivity $k$ if the maximum number of edge-disjoint paths between every pair of distinct vertices $x$ and $y$ is at most $k$. We prove Brooks-type theorems for $k$-connected graphs with maximal local edge-connectivity $k$, and for any graph with maximal local edge-connectivity 3. We also consider several related graph classes defined by constraints on connectivity. In particular, we show that there is a polynomial-time algorithm that, given a 3-connected graph $G$ with maximal local connectivity 3, outputs an optimal colouring for $G$. On the other hand, we prove, for $k \ge 3$, that $k$-colourability is NP-complete when restricted to minimally $k$-connected graphs, and 3-colourability is NP-complete when restricted to $(k-1)$-connected graphs with maximal local connectivity $k$. Finally, we consider a parameterization of $k$-colourability based on the number of vertices of degree at least $k+1$, and prove that, even when $k$ is part of the input, the corresponding parameterized problem is FPT.