coloring
4410 papers tagged with this keyword
Coloring Planar Graphs via Colored Paths in the Associahedra
Published
• View Publication
• BIB
Hassler Whitney's theorem of 1931 reduces the task of finding proper, vertex 4-colorings of triangulations of the 2-sphere to finding such colorings for the class \(\mathfrak H\) of triangulations of the 2-sphere that have a Hamiltonian circuit. This has been used by Whitney and others from 1936 to the present to find equivalent reformulations of the 4 Color Theorem (4CT). Recently there has been activity to try to use some of these reformuations to find a shorter proof of the 4CT. Every triangulation in \(\mathfrak H\) has a dual graph that is a union of two binary trees with the same number of leaves. Elements of a group known as Thompson's group \(F\) are equivalence classes of pairs of binary trees with the same number of leaves. This paper explores this resemblance and finds that some recent reformulations of the 4CT are essentially attempting to color elements of \(\mathfrak H\) using expressions of elements of \(F\) as words in a certain generating set for \(F\). From this, we derive information about not just the colorability of certain elements of \(\mathfrak H\), but also about all possible ways to color these elements. Because of this we raise (and answer some) questions about enumeration. We also bring in an extension \(E\) of the group \(F\) and ask whether certain elements ``parametrize'' the set of all colorings of the elements of \(\mathfrak H\) that use all four colors.
The Komlos Conjecture Holds for Vector Colorings
The Komlos conjecture in discrepancy theory states that for some constant K and for any m by n matrix A whose columns lie in the unit ball there exists a +/- 1 vector x such that the infinity norm of Ax is bounded above by K. This conjecture also implies the Beck-Fiala conjecture on the discrepancy of bounded degree hypergraphs. Here we prove a natural relaxation of the Komlos conjecture: if the columns of A are assigned unit real vectors rather than +/- 1 then the Komlos conjecture holds with K=1. Our result rules out the possibility of a counterexample to the conjecture based on semidefinite programming. It also opens the way to proving tighter efficient (polynomial-time computable) upper bounds for the conjecture using semidefinite programming techniques.
Interval non-edge-colorable bipartite graphs and multigraphs
Published
• View Publication
• BIB
An edge-coloring of a graph $G$ with colors $1,...,t$ is called an interval $t$-coloring if all colors are used, and the colors of edges incident to any vertex of $G$ are distinct and form an interval of integers. In 1991 Erdős constructed a bipartite graph with 27 vertices and maximum degree 13 which has no interval coloring. Erdős's counterexample is the smallest (in a sense of maximum degree) known bipartite graph which is not interval colorable. On the other hand, in 1992 Hansen showed that all bipartite graphs with maximum degree at most 3 have an interval coloring. In this paper we give some methods for constructing of interval non-edge-colorable bipartite graphs. In particular, by these methods, we construct three bipartite graphs which have no interval coloring, contain 20,19,21 vertices and have maximum degree 11,12,13, respectively. This partially answers a question that arose in [T.R. Jensen, B. Toft, Graph coloring problems, Wiley Interscience Series in Discrete Mathematics and Optimization, 1995, p. 204]. We also consider similar problems for bipartite multigraphs.
Long geodesics in subgraphs of the cube
Published
• View Publication
• BIB
A path in the hypercube $Q_n$ is said to be a geodesic if no two of its edges are in the same direction. Let $G$ be a subgraph of $Q_n$ with average degree $d$. How long a geodesic must $G$ contain? We show that $G$ must contain a geodesic of length $d$. This result, which is best possible, strengthens a theorem of Feder and Subi. It is also related to the `antipodal colourings' conjecture of Norine.
Strong chromatic index of sparse graphs
A coloring of the edges of a graph $G$ is strong if each color class is an induced matching of $G$. The strong chromatic index of $G$, denoted by $χ_{s}^{\prime}(G)$, is the least number of colors in a strong edge coloring of $G$. In this note we prove that $χ_{s}^{\prime}(G)\leq (4k-1)Δ(G)-k(2k+1)+1$ for every $k$-degenerate graph $G$. This confirms the strong version of conjecture stated recently by Chang and Narayanan [3]. Our approach allows also to improve the upper bound from [3] for chordless graphs. We get that $% χ_{s}^{\prime}(G)\leq 4Δ-3$ for any chordless graph $G$. Both bounds remain valid for the list version of the strong edge coloring of these graphs.
Spectral bounds for the independence ratio and the chromatic number of an operator
Published in Israel J. Math. 202 (2014), 227-254
• View Publication
• BIB
We define the independence ratio and the chromatic number for bounded, self-adjoint operators on an L^2-space by extending the definitions for the adjacency matrix of finite graphs. In analogy to the Hoffman bounds for finite graphs, we give bounds for these parameters in terms of the numerical range of the operator. This provides a theoretical framework in which many packing and coloring problems for finite and infinite graphs can be conveniently studied with the help of harmonic analysis and convex optimization. The theory is applied to infinite geometric graphs on Euclidean space and on the unit sphere.
Coloring triangle-free rectangle overlap graphs with $O(\log\log n)$ colors
Published in Discrete Comput.Geom. 53 (2015) 199-220
• View Publication
• BIB
Recently, it was proved that triangle-free intersection graphs of $n$ line segments in the plane can have chromatic number as large as $Θ(\log\log n)$. Essentially the same construction produces $Θ(\log\log n)$-chromatic triangle-free intersection graphs of a variety of other geometric shapes---those belonging to any class of compact arc-connected sets in $\mathbb{R}^2$ closed under horizontal scaling, vertical scaling, and translation, except for axis-parallel rectangles. We show that this construction is asymptotically optimal for intersection graphs of boundaries of axis-parallel rectangles, which can be alternatively described as overlap graphs of axis-parallel rectangles. That is, we prove that triangle-free rectangle overlap graphs have chromatic number $O(\log\log n)$, improving on the previous bound of $O(\log n)$. To this end, we exploit a relationship between off-line coloring of rectangle overlap graphs and on-line coloring of interval overlap graphs. Our coloring method decomposes the graph into a bounded number of subgraphs with a tree-like structure that "encodes" strategies of the adversary in the on-line coloring problem. Then, these subgraphs are colored with $O(\log\log n)$ colors using a combination of techniques from on-line algorithms (first-fit) and data structure design (heavy-light decomposition).
$G$-colorings of posets, coverings and presentations of the fundamental group
We introduce the notion of a coloring of a poset, which consists of a labeling of the edges in its Hasse diagram by elements in a given group $G$. We use $G$-colorings to describe the covering maps of posets and present a new method based on colorings to obtain concrete and simple presentations of the fundamental group of polyhedra.
Enumerating Colorings, Tensions and Flows in Cell Complexes
Published in Journal of Combinatorial Theory Series A 122 (2014), 82-106
• View Publication
• BIB
We study quasipolynomials enumerating proper colorings, nowhere-zero tensions, and nowhere-zero flows in an arbitrary CW-complex $X$, generalizing the chromatic, tension and flow polynomials of a graph. Our colorings, tensions and flows may be either modular (with values in $\mathbb{Z}/k\mathbb{Z}$ for some $k$) or integral (with values in $\{-k+1,\dots,k-1\}$). We obtain deletion-contraction recurrences and closed formulas for the chromatic, tension and flow quasipolynomials, assuming certain unimodularity conditions. We use geometric methods, specifically Ehrhart theory and inside-out polytopes, to obtain reciprocity theorems for all of the aforementioned quasipolynomials, giving combinatorial interpretations of their values at negative integers as well as formulas for the numbers of acyclic and totally cyclic orientations of $X$.
Quantitative Combinatorial Nullstellensatz
Published in Uwe Schauz: Algebraically Solvable Problems: Describing Polynomials as Equivalent to Explicit Solutions. The Electronic Journal of Combinatorics 15 (2008), #R10
• Search Publication
The main result of this paper is a coefficient formula that sharpens and generalizes Alon and Tarsi's Combinatorial Nullstellensatz, which provides some information about the polynomial map $P|_{\X_1\times...\times\X_n}$ when only incomplete information about the polynomial $P(X_1,...c,X_n)$ is given.
In a very general working frame, the grid points $x\in\X_1\times\...b\times\X_n$ which do not vanish under an algebraic solution -- a certain describing polynomial $P(X_1,...c,X_n)$ -- correspond to the explicit solutions of a problem. As a consequence of the coefficient formula, we prove that the existence of an algebraic solution is equivalent to the existence of a nontrivial solution to a problem. By a problem, we mean everything that "owns" both, a set $§$, which may be called the \emph{set of solutions}; and a subset $\St\subseteq§$, the \emph{set of trivial solutions}.
We give several examples of how to find algebraic solutions, and how to apply our coefficient formula. These examples are mainly from graph theory and combinatorial number theory, but we also prove several versions of Chevalley and Warning's Theorem, including a generalization of Olson's Theorem, as examples and useful corollaries.
We obtain a permanent formula by applying our coefficient formula to the matrix polynomial, which is a generalization of the graph polynomial. This formula is an integrative generalization and sharpening of:
1. Ryser's permanent formula. 2. Alon's Permanent Lemma. 3. Alon and Tarsi's Theorem about orientations and colorings of graphs.
Furthermore, in combination with the Vigneron-Ellingham-Goddyn property of planar (n)regular graphs, the formula contains as very special cases:
4. Scheim's formula for the number of edge (n)-colorings of such graphs. 5. Ellingham and Goddyn's partial answer to the list coloring conjecture.
Locally identifying coloring in bounded expansion classes of graphs
A proper vertex coloring of a graph is said to be locally identifying if the sets of colors in the closed neighborhood of any two adjacent non-twin vertices are distinct. The lid-chromatic number of a graph is the minimum number of colors used by a locally identifying vertex-coloring. In this paper, we prove that for any graph class of bounded expansion, the lid-chromatic number is bounded. Classes of bounded expansion include minor closed classes of graphs. For these latter classes, we give an alternative proof to show that the lid-chromatic number is bounded. This leads to an explicit upper bound for the lid-chromatic number of planar graphs. This answers in a positive way a question of Esperet et al [L. Esperet, S. Gravier, M. Montassier, P. Ochem and A. Parreau. Locally identifying coloring of graphs. Electronic Journal of Combinatorics, 19(2), 2012.].
On coloring of fractional powers of graphs
For $m, n\in \N$, the fractional power $\Gmn$ of a graph $G$ is the $m$th power of the $n$-subdivision of $G$, where the $n$-subdivision is obtained by replacing each edge in $G$ with a path of length $n$. It was conjectured by Iradmusa that if $G$ is a connected graph with $Δ(G)\ge 3$ and $1<m<n$, then $χ(\Gmn)=ω(\Gmn)$. Here we show that the conjecture does not hold in full generality by presenting a graph $H$ for which $χ(H^{3/5})>ω(H^{3/5})$. However, we prove that the conjecture is true if $m$ is even. We also study the case when $m$ is odd, obtaining a general upper bound $χ(\Gmn)\leq ω(\Gmn)+2$ for graphs with $Δ(G)\geq 4$.
Subword complexity and Sturmian colorings of regular trees
Published in Ergod. Th. Dynam. Sys. 35 (2015) 461-481
• View Publication
• BIB
In this article, we study subword complexity of colorings of regular trees. We characterize colorings of bounded subword complexity and study Sturmian colorings, which are colorings of minimal unbounded subword complexity.
We classify Sturmian colorings using their type sets. We show that any Sturmian coloring is a lifting of a coloring on a quotient graph of the tree which is a geodesic or a ray with loops possibly attached, thus a lifting of an "infinte word". We further give a complete characterization of the quotient graph for eventually periodic ones.
Hadwiger's conjecture for graphs with infinite chromatic number
We construct a connected graph H such that (1) χ(H) = ω; (2) K_ω, the complete graph on ωpoints, is not a minor of H. Therefore Hadwiger's conjecture does not hold for graphs with infinite coloring number.
On the balanced decomposition number
Published
• View Publication
• BIB
A {\em balanced coloring} of a graph $G$ means a triple $\{P_1,P_2,X\}$ of mutually disjoint subsets of the vertex-set $V(G)$ such that $V(G)=P_1 \uplus P_2 \uplus X$ and $|P_1|=|P_2|$. A {\em balanced decomposition} associated with the balanced coloring $V(G)=P_1 \uplus P_2 \uplus X$ of $G$ is defined as a partition of $V(G)=V_1 \uplus \cdots \uplus V_r$ (for some $r$) such that, for every $i \in \{1,\cdots,r\}$, the subgraph $G[V_i]$ of $G$ is connected and $|V_i \cap P_1| = |V_i \cap P_2|$. Then the {\em balanced decomposition number} of a graph $G$ is defined as the minimum integer $s$ such that, for every balanced coloring $V(G)=P_1 \uplus P_2 \uplus X$ of $G$, there exists a balanced decomposition $V(G)=V_1 \uplus \cdots \uplus V_r$ whose every element $V_i (i=1, \cdots, r)$ has at most $s$ vertices. S. Fujita and H. Liu [\/SIAM J. Discrete Math. 24, (2010), pp. 1597--1616\/] proved a nice theorem which states that the balanced decomposition number of a graph $G$ is at most $3$ if and only if $G$ is $\lfloor\frac{|V(G)|}{2}\rfloor$-connected. Unfortunately, their proof is lengthy (about 10 pages) and complicated. Here we give an immediate proof of the theorem. This proof makes clear a relationship between balanced decomposition number and graph matching.
Cartesian powers of graphs and consecutive radio labelings
For $k\in\mathbb{Z}^+$ and $G$ a simple connected graph, a $k$-radio labeling $f:V_G\to\Z^+$ of $G$ requires all pairs of distinct vertices $u$ and $v$ to satisfy $|f(u)-f(v)|\geq k+1-d(u,v)$. When $k=1$, this requirement gives rise to the familiar labeling known as vertex coloring for which each vertex of a graph is labeled so that adjacent vertices have different "colors". We consider $k$-radio labelings of $G$ when $k=\diam(G)$. In this setting, no two vertices can have the same label, so graphs that have radio labelings of consecutive integers are one extreme on the spectrum of possibilities. Examples of such graphs of high diameter are especially rare and desirable. We construct examples of arbitrarily high diameter, and explore further the tool we used to do this -- the Cartesian product of graphs -- and its effect on radio labeling.
Triangle-free geometric intersection graphs with large chromatic number
Published in Discrete Comput.Geom. 50 (2013) 714-726
• View Publication
• BIB
Several classical constructions illustrate the fact that the chromatic number of a graph can be arbitrarily large compared to its clique number. However, until very recently, no such construction was known for intersection graphs of geometric objects in the plane. We provide a general construction that for any arc-connected compact set $X$ in $\mathbb{R}^2$ that is not an axis-aligned rectangle and for any positive integer $k$ produces a family $\mathcal{F}$ of sets, each obtained by an independent horizontal and vertical scaling and translation of $X$, such that no three sets in $\mathcal{F}$ pairwise intersect and $χ(\mathcal{F})>k$. This provides a negative answer to a question of Gyarfas and Lehel for L-shapes. With extra conditions, we also show how to construct a triangle-free family of homothetic (uniformly scaled) copies of a set with arbitrarily large chromatic number. This applies to many common shapes, like circles, square boundaries, and equilateral L-shapes. Additionally, we reveal a surprising connection between coloring geometric objects in the plane and on-line coloring of intervals on the line.
Coloring the cube with rainbow cycles
Published
• View Publication
• BIB
For every even positive integer $k\ge 4$ let $f(n,k)$ denote the minimim number of colors required to color the edges of the $n$-dimensional cube $Q_n$, so that the edges of every copy of $k$-cycle $C_k$ receive $k$ distinct colors. Faudree, Gyárfás, Lesniak and Schelp proved that $f(n,4)=n$ for $n=4$ or $n>5$. We consider larger $k$ and prove that if $k \equiv 0$ (mod 4), then there are positive constants $c_1, c_2$ depending only on $k$ such that $$c_1n^{k/4} < f(n,k) < c_2 n^{k/4}.$$ Our upper bound uses an old construction of Bose and Chowla of generalized Sidon sets. For $k \equiv 2$ (mod 4), the situation seems more complicated. For the smallest case k=6 we show that $$n \le f(n, 6) < n^{1+o(1)}.$$ The upper bound is obtained from Behrend's construction of a subset of the integers with no three term arithmetic progression.
Going after the k-SAT Threshold
Published in Proc. 45 th STOC (2013) 705 - 714
• View Publication
• BIB
Random $k$-SAT is the single most intensely studied example of a random constraint satisfaction problem. But despite substantial progress over the past decade, the threshold for the existence of satisfying assignments is not known precisely for any $k\geq3$. The best current results, based on the second moment method, yield upper and lower bounds that differ by an additive $k\cdot \frac{\ln2}2$, a term that is unbounded in $k$ (Achlioptas, Peres: STOC 2003). The basic reason for this gap is the inherent asymmetry of the Boolean value `true' and `false' in contrast to the perfect symmetry, e.g., among the various colors in a graph coloring problem. Here we develop a new asymmetric second moment method that allows us to tackle this issue head on for the first time in the theory of random CSPs. This technique enables us to compute the $k$-SAT threshold up to an additive $\ln2-\frac12+O(1/k)\approx 0.19$. Independently of the rigorous work, physicists have developed a sophisticated but non-rigorous technique called the "cavity method" for the study of random CSPs (Mézard, Parisi, Zecchina: Science 2002). Our result matches the best bound that can be obtained from the so-called "replica symmetric" version of the cavity method, and indeed our proof directly harnesses parts of the physics calculations.
Graph Homomorphisms for Quantum Players
Published in Journal of Combinatorial Theory, Series B, (2016), Volume 118, 228-267
• View Publication
• BIB
A homomorphism from a graph $X$ to a graph $Y$ is an adjacency preserving mapping $f:V(X) \rightarrow V(Y)$. We consider a nonlocal game in which Alice and Bob are trying to convince a verifier with certainty that a graph $X$ admits a homomorphism to $Y$. This is a generalization of the well-studied graph coloring game. Via systematic study of quantum homomorphisms we prove new results for graph coloring. Most importantly, we show that the Lovász theta number of the complement lower bounds the quantum chromatic number, which itself is not known to be computable. We also show that some of our newly introduced graph parameters, namely quantum independence and clique numbers, can differ from their classical counterparts while others, namely quantum odd girth, cannot. Finally, we show that quantum homomorphisms closely relate to zero-error channel capacity. In particular, we use quantum homomorphisms to construct graphs for which entanglement-assistance increases their one-shot zero-error capacity.