coloring
4497 papers tagged with this keyword
Unsplittable coverings in the plane
Published
• View Publication
• BIB
A system of sets forms an {\em $m$-fold covering} of a set $X$ if every point of $X$ belongs to at least $m$ of its members. A $1$-fold covering is called a {\em covering}. The problem of splitting multiple coverings into several coverings was motivated by classical density estimates for {\em sphere packings} as well as by the {\em planar sensor cover problem}. It has been the prevailing conjecture for 35 years (settled in many special cases) that for every plane convex body $C$, there exists a constant $m=m(C)$ such that every $m$-fold covering of the plane with translates of $C$ splits into $2$ coverings. In the present paper, it is proved that this conjecture is false for the unit disk. The proof can be generalized to construct, for every $m$, an unsplittable $m$-fold covering of the plane with translates of any open convex body $C$ which has a smooth boundary with everywhere {\em positive curvature}. Somewhat surprisingly, {\em unbounded} open convex sets $C$ do not misbehave, they satisfy the conjecture: every $3$-fold covering of any region of the plane by translates of such a set $C$ splits into two coverings. To establish this result, we prove a general coloring theorem for hypergraphs of a special type: {\em shift-chains}. We also show that there is a constant $c>0$ such that, for any positive integer $m$, every $m$-fold covering of a region with unit disks splits into two coverings, provided that every point is covered by {\em at most} $c2^{m/2}$ sets.
Colouring quadrangulations of projective spaces
Published in Journal of Combinatorial Theory, Series B 113: 1-17, 2015
• View Publication
• BIB
A graph embedded in a surface with all faces of size 4 is known as a quadrangulation. We extend the definition of quadrangulation to higher dimensions, and prove that any graph G which embeds as a quadrangulation in the real projective space P^n has chromatic number n+2 or higher, unless G is bipartite. For n=2 this was proved by Youngs [J. Graph Theory 21 (1996), 219-227]. The family of quadrangulations of projective spaces includes all complete graphs, all Mycielski graphs, and certain graphs homomorphic to Schrijver graphs. As a corollary, we obtain a new proof of the Lovasz-Kneser theorem.
Multipass greedy coloring of simple uniform hypergraphs
Published
• View Publication
• BIB
Let $m^*(n)$ be the minimum number of edges in an $n$-uniform simple hypergraph that is not two colorable. We prove that $m^*(n)=Ω(4^n/\ln^2(n))$. Our result generalizes to $r$-coloring of $b$-simple uniform hypergraphs. For fixed $r$ and $b$ we prove that a maximum vertex degree in $b$-simple $n$-uniform hypergraph that is not $r$-colorable must be $Ω(r^n /\ln(n))$. By trimming arguments it implies that every such graph has $Ω((r^n /\ln(n))^{b+1/b})$ edges. For any fixed $r \geq 2$ our techniques yield also a lower bound $Ω(r^n/\ln(n))$ for van der Waerden numbers $W(n,r)$.
Brooks' theorem on powers of graphs
Published
• View Publication
• BIB
We prove that for $k\geq 3$, the bound given by Brooks' theorem on the chromatic number of $k$-th powers of graphs of maximum degree $Δ\geq 3$ can be lowered by 1, even in the case of online list coloring.
Groups and Semigroups Defined by Colorings of Synchronizing Automata
Published in International Journal of Algebra and Computation (2014), Volume 24(06), pp. 773-793
• View Publication
• BIB
In this paper we combine the algebraic properties of Mealy machines generating self-similar groups and the combinatorial properties of the corresponding deterministic finite automata (DFA). In particular, we relate bounded automata to finitely generated synchronizing automata and characterize finite automata groups in terms of nilpotency of the corresponding DFA. Moreover, we present a decidable sufficient condition to have free semigroups in an automaton group. A series of examples and applications is widely discussed, in particular we show a way to color the De Bruijn automata into Mealy automata whose associated semigroups are free, and we present some structural results related to the associated groups.
Large monochromatic triple stars in edge colourings
Published
• View Publication
• BIB
Following problems posed by Gyárfás, we show that for every $r$-edge-colouring of $K_n$ there is a monochromatic triple star of order at least $n/(r-1)$, improving a previous result by Ruszinkó.
An edge colouring of a graph is called a local $r$-colouring if every vertex spans edges of at most $r$ distinct colours. We prove the existence of a monochromatic triple star with at least $rn/(r^2-r+1)$ vertices in every local $r$-colouring of $K_n$.
Topological Additive Numbering of Directed Acyclic Graphs
Published in Information Processing Letters, Volume 115, Issue 2 (2015), 199--202
• View Publication
• BIB
We propose to study a problem that arises naturally from both Topological Numbering of Directed Acyclic Graphs, and Additive Coloring (also known as Lucky Labeling). Let $D$ be a digraph and $f$ a labeling of its vertices with positive integers; denote by $S(v)$ the sum of labels over all neighbors of each vertex $v$. The labeling $f$ is called \emph{topological additive numbering} if $S(u) < S(v)$ for each arc $(u,v)$ of the digraph. The problem asks to find the minimum number $k$ for which $D$ has a topological additive numbering with labels belonging to $\{ 1, \ldots, k \}$, denoted by $η_t(D)$.
We characterize when a digraph has topological additive numberings, give a lower bound for $η_t(D)$, and provide an integer programming formulation for our problem, characterizing when its coefficient matrix is totally unimodular. We also present some families for which $η_t(D)$ can be computed in polynomial time. Finally, we prove that this problem is \np-Hard even when its input is restricted to planar bipartite digraphs.
On Ramsey numbers of complete graphs with dropped stars
Published
• View Publication
• BIB
Let $r(G,H)$ be the smallest integer $N$ such that for any $2$-coloring (say, red and blue) of the edges of $K\_n$, $n\geqslant N$, there is either a red copy of $G$ or a blue copy of $H$. Let $K\_n-K\_{1,s}$ be the complete graph on $n$ vertices from which the edges of $K\_{1,s}$ are dropped. In this note we present exact values for $r(K\_m-K\_{1,1},K\_n-K\_{1,s})$ and new upper bounds for $r(K\_m,K\_n-K\_{1,s})$ in numerous cases. We also present some results for the Ramsey number of Wheels versus $K\_n-K\_{1,s}$.
Chromatic Bounds On Orbital Chromatic Roots
Published
• View Publication
• BIB
Given a group $G$ of automorphisms of a graph $Γ$, the orbital chromatic polynomial $OP_{Γ,G}(x)$ is the polynomial whose value at a positive integer $k$ is the number of orbits of $G$ on proper $k$-colorings of $Γ.$ In \cite{Cameron}, Cameron et. al. explore the roots of orbital chromatic polynomials, and in particular prove that orbital chromatic roots are dense in $\mathbb{R}$, extending Thomassen's famous result (see \cite{Thomassen}) that chromatic roots are dense in $[\frac{32}{27},\infty)$. Cameron et al \cite{Cameron} further conjectured that the real roots of the orbital chromatic polynomial of any graph are bounded above by the largest real root of its chromatic polynomial. We resolve this conjecture in the negative, and provide a process for generating families of counterexamples. We additionally show that the answer is true for various classes of graphs, including many outerplanar graphs.
Hypergraph Colouring and Degeneracy
A hypergraph is "$d$-degenerate" if every subhypergraph has a vertex of degree at most $d$. A greedy algorithm colours every such hypergraph with at most $d+1$ colours. We show that this bound is tight, by constructing an $r$-uniform $d$-degenerate hypergraph with chromatic number $d+1$ for all $r\geq2$ and $d\geq1$. Moreover, the hypergraph is triangle-free, where a "triangle" in an $r$-uniform hypergraph consists of three edges whose union is a set of $r+1$ vertices.
Universal Limit Theorems in Graph Coloring Problems With Connections to Extremal Combinatorics
Published in Annals of Applied Probability, Vol. 27 (1), 337-394, 2017
• View Publication
• BIB
This paper proves limit theorems for the number of monochromatic edges in uniform random colorings of general random graphs. These can be seen as generalizations of the birthday problem (what is the chance that there are two friends with the same birthday?). It is shown that if the number of colors grows to infinity, the asymptotic distribution is either a Poisson mixture or a Normal depending solely on the limiting behavior of the ratio of the number of edges in the graph and the number of colors. This result holds for any graph sequence, deterministic or random. On the other hand, when the number of colors is fixed, a necessary and sufficient condition for asymptotic normality is determined. Finally, using some results from the emerging theory of dense graph limits, the asymptotic (non-normal) distribution is characterized for any converging sequence of dense graphs. The proofs are based on moment calculations which relate to the results of Erd\H os and Alon on extremal subgraph counts. As a consequence, a simpler proof of a result of Alon, estimating the number of isomorphic copies of a cycle of given length in graphs with a fixed number of edges, is presented.
A note on the 3-rainbow index of $K_{2,t}$
A tree $T$, in an edge-colored graph $G$, is called {\em a rainbow tree} if no two edges of $T$ are assigned the same color. For a vertex subset $S\in V(G)$, a tree that connects $S$ in $G$ is called an $S$-tree. A {\em $k$-rainbow coloring} of $G$ is an edge coloring of $G$ having the property that for every set $S$ of $k$ vertices of $G$, there exists a rainbow $S$-tree $T$ in $G$. The minimum number of colors needed in a $k$-rainbow coloring of $G$ is the {\em $k$-rainbow index of $G$}, denoted by $rx_k(G)$. In this paper, we obtain the exact values of $rx_3(K_{2,t})$ for any $t\geq 1$.
Some upper bounds for 3-rainbow index of graphs
A tree $T$, in an edge-colored graph $G$, is called {\em a rainbow tree} if no two edges of $T$ are assigned the same color. A {\em $k$-rainbow coloring}of $G$ is an edge coloring of $G$ having the property that for every set $S$ of $k$ vertices of $G$, there exists a rainbow tree $T$ in $G$ such that $S\subseteq V(T)$. The minimum number of colors needed in a $k$-rainbow coloring of $G$ is the {\em $k$-rainbow index of $G$}, denoted by $rx_k(G)$. In this paper, we consider 3-rainbow index $rx_3(G)$ of $G$. We first show that for connected graph $G$ with minimum degree $δ(G)\geq 3$, the tight upper bound of $rx_3(G)$ is $rx_3(G[D])+4$, where $D$ is the connected 2-dominating set of $G$. And then we determine a tight upper bound for $K_{s,t}(3\leq s\leq t)$ and a better bound for $(P_5,C_5)$-free graphs. Finally, we obtain a sharp bound for 3-rainbow index of general graphs.
Selective and Ramsey ultrafilters on $G$-spaces
Published in Notre Dame J. Formal Logic 58, no. 3 (2017), 453-459
• View Publication
• BIB
Let $G$ be a group, $X$ be an infinite transitive $G$-space. A free ultrafilter $\UU$ on $X$ is called $G$-selective if, for any $G$-invariant partition $\PP$ of $X$, either one cell of $\PP$ is a member of $\UU$, or there is a member of $\UU$ which meets each cell of $\PP$ in at most one point. We show (Theorem 1) that in ZFC with no additional set-theoretical assumptions there exists a $G$-selective ultrafilter on $X$, describe all $G$-spaces $X$ (Theorem 2) such that each free ultrafilter on $X$ is $G$-selective, and prove (Theorem 3) that a free ultrafilter $\UU$ on $ω$ is selective if and only if $\UU$ is $G$-selective with respect to the action of any countable group $G$ of permutations of $ω$.
A free ultrafilter $\UU$ on $X$ is called $G$-Ramsey if, for any $G$-invariant coloring $χ:[G]^2 \to \{0,1\}$, there is $U\in \UU$ such that $[U]^2$ is $χ$-monochrome. By Theorem 4, each $G$-Ramsey ultrafilter on $X$ is $G$-selective. Theorems 5 and 6 give us a plenty of $\mathbb{Z}$-selective ultrafilters on $\mathbb{Z}$ (as a regular $\mathbb{Z}$-space) but not $\mathbb{Z}$-Ramsey. We conjecture that each $\mathbb{Z}$-Ramsey ultrafilter is selective.
A note on random greedy coloring of uniform hypergraphs
Published
• View Publication
• BIB
The smallest number of edges forming an n-uniform hypergraph which is not r-colorable is denoted by m(n,r). Erdős and Lovász conjectured that m(n,2)=θ(n 2^n)$. The best known lower bound m(n,2)=Ω(sqrt(n/log(n)) 2^n) was obtained by Radhakrishnan and Srinivasan in 2000. We present a simple proof of their result. The proof is based on analysis of random greedy coloring algorithm investigated by Pluhár in 2009. The proof method extends to the case of r-coloring, and we show that for any fixed r we have m(n,r)=Ω((n/log(n))^(1-1/r) r^n) improving the bound of Kostochka from 2004. We also derive analogous bounds on minimum edge degree of an n-uniform hypergraph that is not r-colorable.
Approximations to $m$-coloured complete infinite hypergraphs
Published
• View Publication
• BIB
Given an edge colouring of a graph with a set of $m$ colours, we say that the graph is (exactly) $m$-coloured if each of the colours is used. In 1999, Stacey and Weidl, partially resolving a conjecture of Erickson from 1994, showed that for a fixed natural number $m>2$ and for all sufficiently large $k$, there is a $k$-colouring of the complete graph on $\mathbb{N}$ such that no complete infinite subgraph is exactly $m$-coloured. In the light of this result, we consider the question of how close we can come to finding an exactly $m$-coloured complete infinite subgraph. We show that for a natural number $m$ and any finite colouring of the edges of the complete graph on $\mathbb{N}$ with $m$ or more colours, there is an exactly ${\hat m}$-coloured complete infinite subgraph for some ${\hat m}$ satisfying $|m-{\hat m}|\le \sqrt{m/2} + 1/2$; this is best-possible up to the additive constant. We also obtain analogous results for this problem in the setting of $r$-uniform hypergraphs. Along the way, we also prove a recent conjecture of the second author and investigate generalisations of this conjecture to $r$-uniform hypergraphs.
Order polynomials and Pólya's enumeration theorem
Published
• View Publication
• BIB
Pólya's enumeration theorem is concerned with counting labeled sets up to symmetry. Given a finite group acting on a finite set of labeled elements it states that the number of labeled sets up to symmetry is given by a polynomial in the number of labels. We give a new perspective on this theorem by generalizing it to partially ordered sets and order preserving maps. Further we prove a reciprocity statement in terms of strictly order preserving maps generalizing a classical result by Stanley (1970). We apply our results to counting graph colorings up to symmetry.
Complexity of Coloring Graphs without Paths and Cycles
Published
• View Publication
• BIB
Let $P_t$ and $C_\ell$ denote a path on $t$ vertices and a cycle on $\ell$ vertices, respectively. In this paper we study the $k$-coloring problem for $(P_t,C_\ell)$-free graphs. Maffray and Morel, and Bruce, Hoang and Sawada, have proved that 3-colorability of $P_5$-free graphs has a finite forbidden induced subgraphs characterization, while Hoang, Moore, Recoskie, Sawada, and Vatshelle have shown that $k$-colorability of $P_5$-free graphs for $k \geq 4$ does not. These authors have also shown, aided by a computer search, that 4-colorability of $(P_5,C_5)$-free graphs does have a finite forbidden induced subgraph characterization. We prove that for any $k$, the $k$-colorability of $(P_6,C_4)$-free graphs has a finite forbidden induced subgraph characterization. We provide the full lists of forbidden induced subgraphs for $k=3$ and $k=4$. As an application, we obtain certifying polynomial time algorithms for 3-coloring and 4-coloring $(P_6,C_4)$-free graphs. (Polynomial time algorithms have been previously obtained by Golovach, Paulusma, and Song, but those algorithms are not certifying); To complement these results we show that in most other cases the $k$-coloring problem for $(P_t,C_\ell)$-free graphs is NP-complete. Specifically, for $\ell=5$ we show that $k$-coloring is NP-complete for $(P_t,C_5)$-free graphs when $k \ge 4$ and $t \ge 7$; for $\ell \ge 6$ we show that $k$-coloring is NP-complete for $(P_t,C_\ell)$-free graphs when $k \ge 5$, $t \ge 6$; and additionally, for $\ell=7$, we show that $k$-coloring is also NP-complete for $(P_t,C_7)$-free graphs if $k = 4$ and $t\ge 9$. This is the first systematic study of the complexity of the $k$-coloring problem for $(P_t,C_\ell)$-free graphs. We almost completely classify the complexity for the cases when $k \geq 4, \ell \geq 4$, and identify the last three open cases.
On Coloring the Arcs of Biregular Graphs
Published
• View Publication
• BIB
Recalling each edge of a graph $H$ has 2 oppositely oriented arcs, each vertex $v$ of $H$ is identified with the set of arcs, denoted $(v,e)$, departing from $v$ along the edges $e$ of $H$ incident to $v$. Let $H$ be a $(λ,μ)$-biregular graph with bipartition $(Y,X)$, where $|Y|=kμ$ and $|X|=kλ$, ($0<k,λ,μ\in\mathbb{Z}$). We consider the problem, for each edge $e=yx$ in $H$, of assigning, a color (given by an element) of $Y$, resp. $X$, to the arc $(y,e)$, resp. $(x,e)$, so that each color is assigned exactly once in the set of arcs departing from each vertex of $H$. Furthermore, we set such assignment to fulfill a specific bicolor weight function over a monotonic subset of $Y\times X$. This problem applies to the Design of Experiments for Industrial Chemistry, Molecular Biology, Cellular Neuroscience, etc. An algorithmic construction based on biregulzr graphs with bipartitions given by cyclic-group pairs is presented, as well as 3 essentially different solutions to the Great Circle Challenge Puzzle based on a different biregular graph whose bipartition is formed by the vertices and 5-cycles of the Petersen graph.
Beyond the Shannon's Bound
Let $G=(V,E)$ be a multigraph of maximum degree $Δ$. The edges of $G$ can be colored with at most $\frac{3}{2}Δ$ colors by Shannon's theorem. We study lower bounds on the size of subgraphs of $G$ that can be colored with $Δ$ colors.
Shannon's Theorem gives a bound of $\fracΔ{\lfloor\frac{3}{2}Δ\rfloor}|E|$. However, for $Δ=3$, Kamiński and Kowalik [SWAT'10] showed that there is a 3-edge-colorable subgraph of size at least $\frac{7}{9}|E|$, unless $G$ has a connected component isomorphic to $K_3+e$ (a $K_3$ with an arbitrary edge doubled). Here we extend this line of research by showing that $G$ has a $Δ$-edge colorable subgraph with at least $\fracΔ{\lfloor\frac{3}{2}Δ\rfloor-1}|E|$ edges, unless $Δ$ is even and $G$ contains $\fracΔ{2}K_3$ or $Δ$ is odd and $G$ contains $\frac{Δ-1}{2}K_3+e$. Moreover, the subgraph and its coloring can be found in polynomial time.
Our results have applications in approximation algorithms for the Maximum $k$-Edge-Colorable Subgraph problem, where given a graph $G$ (without any bound on its maximum degree or other restrictions) one has to find a $k$-edge-colorable subgraph with maximum number of edges. In particular, for every even $k \ge 4$ we obtain a $\frac{2k+2}{3k+2}$-approximation and for every odd $k\ge 5$ we get a $\frac{2k+1}{3k}$-approximation. When $4\le k \le 13$ this improves over earlier algorithms due to Feige et al. [APPROX'02]