arXiv++ Combinatorics

Browse math.CO papers from arXiv

coloring

4497 papers tagged with this keyword
2008-07-08
ULD-Lattices and Delta-Bonds
Published • View Publication • BIB
We provide a characterization of upper locally distributive lattices (ULD-lattices) in terms of edge colorings of their cover graphs. In many instances where a set of combinatorial objects carries the order structure of a lattice this characterization yields a slick proof of distributivity or UL-distributivity. This is exemplified by proving a distributive lattice structure on Delta-bonds with invariant circular flow-difference. This instance generalizes several previously studied lattice structures, in particular, c-orientations (Propp), alpha-orientations of planar graphs (Felsner, resp. de Mendez) and planar flows (Khuller, Naor and Klein). The characterization also applies to other instances, e.g. to chip-firing games.
2008-07-01 v3
Nonhomogeneous analytic families of trees
Published • View Publication • BIB
We consider a dichotomy for analytic families of trees stating that either there is a colouring of the nodes for which all but finitely many levels of every tree are nonhomogeneous, or else the family contains an uncountable antichain. This dichotomy implies that every nontrivial Souslin poset satisfying the countable chain condition adds a splitting real. We then reduce the dichotomy to a conjecture of Sperner Theory. This conjecture is concerning the asymptotic behaviour of the product of the sizes of the m-shades of pairs of cross-t-intersecting families.
2008-06-09
Constructing regular graphs with smallest defining number
In a given graph $G$, a set $S$ of vertices with an assignment of colors is a {\sf defining set of the vertex coloring of $G$}, if there exists a unique extension of the colors of $S$ to a $\Cchi(G)$-coloring of the vertices of $G$. A defining set with minimum cardinality is called a {\sf smallest defining set} (of vertex coloring) and its cardinality, the {\sf defining number}, is denoted by $d(G, \Cchi)$. Let $ d(n, r, \Cchi = k)$ be the smallest defining number of all $r$-regular $k$-chromatic graphs with $n$ vertices. Mahmoodian et. al \cite{rkgraph} proved that, for a given $k$ and for all $n \geq 3k$, if $r \geq 2(k-1)$ then $d(n, r, \Cchi = k)=k-1$. In this paper we show that for a given $k$ and for all $n < 3k$ and $r\geq 2(k-1)$, $d(n, r, \Cchi=k)=k-1$.
2008-06-06
Degenerate and star colorings of graphs on surfaces
Published • View Publication • BIB
We study the degenerate, the star and the degenerate star chromatic numbers and their relation to the genus of graphs. As a tool we prove the following strengthening of a result of Fertin et al.: If $G$ is a graph of maximum degree $Δ$, then $G$ admits a degenerate star coloring using $O(Δ^{3/2})$ colors. We use this result to prove that every graph of genus $g$ admits a degenerate star coloring with $O(g^{3/5})$ colors. It is also shown that these results are sharp up to a logarithmic factor.
2008-05-21
A Note on Partial List Colorings
Let $G$ be a simple graph with $n$ vertices and list chromatic number $χ_\ell(G)=χ_\ell$. Suppose that $0\leq t\leq χ_\ell$ and each vertex of $G$ is assigned a list of $t$ colors. Albertson, Grossman and Haas [1] conjectured that at least $\frac{tn}{χ_\ell}$ vertices of $G$ can be colored from these lists. In this paper we find some new results in partial list coloring which help us to show that the conjecture is true for at least half of the numbers of the set $\{1,2,...,χ_\ell(G)-1\}$. In addition we introduce a new related conjecture and finally we present some results about this conjecture.
2008-05-07 v2
Fibonacci Identities and Graph Colorings
Published • View Publication • BIB
We generalize both the Fibonacci and Lucas numbers to the context of graph colorings, and prove some identities involving these numbers. As a corollary we obtain new proofs of some known identities involving Fibonacci numbers such as \[F_{r+s+t} = F_{r+1}F_{s+1}F_{t+1} + F_r F_s F_t - F_{r-1}F_{s-1}F_{t-1}.\]
Grünbaum Colorings of Toroidal Triangulations
Published • View Publication • BIB
We prove that if G is a triangulation of the torus and χ(G) \neq 5, then there is a 3-coloring of the edges of G so that the edges bounding every face are assigned three different colors.
2008-04-29
Long heterochromatic paths in heterochromatic triangle free graphs
In this paper, graphs under consideration are always edge-colored. We consider long heterochromatic paths in heterochromatic triangle free graphs. Two kinds of such graphs are considered, one is complete graphs with Gallai colorings, i.e., heterochromatic triangle free complete graphs; the other is heterochromatic triangle free graphs with $k$-good colorings, i.e., minimum color degree at least $k$. For the heterochromatic triangle free graphs $K_n$, we obtain that for every vertex $v\in V(K_n)$, $K_n$ has a heterochromatic $v$-path of length at least $d^c(v)$; whereas for the heterochromatic triangle free graphs $G$ we show that if, for any vertex $v\in V(G)$, $d^c(v)\geq k\geq 6$, then $G$ a heterochromatic path of length at least $\frac{3k}{4}$.
2008-04-29
Indestructible colourings and rainbow Ramsey theorems
Published • View Publication • BIB
We give a negative answer to a question of Erdos and Hajnal: it is consistent that GCH holds and there is a colouring $c:[{ω_2}]^2\to 2$ establishing $ω_2 \not\to [(ω_1;ω)]^2_2$ such that some colouring $g:[ω_1]^2\to 2$ can not be embedded into $c$. It is also consistent that $2^{ω_1}$ is arbitrarily large, and a function $g$ establishes $2^{ω_1} \not\to [(ω_1,ω_2)]^2_{ω_1}$ such that there is no uncountable $g$-rainbow subset of $2^{ω_1}$. We also show that for each $k\in ω$ it is consistent with Martin's Axiom that the negative partition relation $ω_1 \not\to^* [(ω_1;ω_1)]_{k-bdd}$ holds.
$d$-Regular graphs of acyclic chromatic index at least $d+2$
Published in J. Graph Theory 63 (2010), no. 3, 226-230 • View Publication • BIB
An $acyclic$ edge coloring of a graph is a proper edge coloring such that there are no bichromatic cycles. The \emph{acyclic chromatic index} of a graph is the minimum number k such that there is an acyclic edge coloring using k colors and is denoted by $a'(G)$. It was conjectured by Alon, Sudakov and Zaks (and earlier by Fiamcik) that $a'(G)\le Δ+2$, where $Δ=Δ(G)$ denotes the maximum degree of the graph. Alon et.al also raised the question whether the complete graphs of even order are the only regular graphs which require $Δ+2$ colors to be acyclically edge colored. In this paper, using a simple counting argument we observe not only that this is not true, but infact all d-regular graphs with $2n$ vertices and $d > n$, requires at least $d+2$ colors. We also show that $a'(K_{n,n}) \ge n+2$, when $n$ is odd using a more non-trivial argument(Here $K_{n,n}$ denotes the complete bipartite graph with $n$ vertices on each side). This lower bound for $K_{n,n}$ can be shown to be tight for some families of complete bipartite graphs and for small values of $n$. We also infer that for every $d,n$ such that $d \ge 5$, $n \ge 2d + 3$ and $dn$ even, there exist $d$-regular graphs which require at least $d+2$-colors to be acyclically edge colored.
Distance graphs in vector spaces over finite fields, coloring and pseudo-randomness
Published • View Publication • BIB
In this paper we systematically study various properties of the distance graph in ${\Bbb F}_q^d$, the $d$-dimensional vector space over the finite field ${\Bbb F}_q$ with $q$ elements. In the process we compute the diameter of distance graphs and show that sufficiently large subsets of $d$-dimensional vector spaces over finite fields contain every possible finite configurations.
2008-04-08
Symmetric monochromatic subsets in colorings of the Lobachevsky plane
Published in Discr. Math. & Theor. Comp. Sci. 12:1 (2010), 12-20. • View Publication • BIB
We prove that for each partition of the Lobachevsky plane into finitely many Borel pieces one of the cells of the partition contains an unbounded centrally symmetric subset.
2008-04-02 v2
Partial Chromatic Polynomials and Diagonally Distinct Sudoku Squares
Sudoku grids can be thought of as graphs where the vertices are the squares of the grid, and edges join vertices in the same row, column, or sub-grid. A Sudoku puzzle corresponds to a partial proper coloring of the Sudoku graph. We provide a new and simpler proof of the theorem which states that the number of completions of partial colorings of a graph is a polynomial in the number of colors (originally due to Herzberg and Murty). Moreover, we construct Sudoku squares of arbitrary size with distinct entries on both diagonals (a similar proof was first published by Keedwell, unknown to the author).
2008-03-17 v2
Acyclic Edge colorings of 2-degenerate graphs
Published • View Publication • BIB
An $acyclic$ edge coloring of a graph is a proper edge coloring such that there are no bichromatic cycle s. The \emph{acyclic chromatic index} of a graph is the minimum number k such that there is an acyclic e dge coloring using k colors and is denoted by $a'(G)$. A graph is called 2-$degenerate$ if any of its induced subgraph has a vertex of degree at most 2. The class of 2-$degenerate graphs$ properly conta in $series$-$parallel graphs$, $outerplanar graphs$, \emph{non-regular subcubic graphs}, \emph{planar graphs of girth at least 6} and \emph{circle graphs of girth at least 5} as subclasses. It was conjectur ed by Alon, Sudakov and Zaks (and earlier by Fiamcik) that $a'(G)\le Δ+2$, where $Δ=Δ(G)$ denotes the maximum deg ree of the graph. We prove the conjecture for 2-$degenerate$ graphs: in fact we prove a stronger bound . We prove that if $G$ is a 2-degenerate graph with maximum degree $Δ$, then $a'(G)\le Δ+ 1$.
2008-03-14 v2
Algorithmic barriers from phase transitions
Published in Proc. 49th FOCS (2008) 793 - 802 • View Publication • BIB
For many random Constraint Satisfaction Problems, by now, we have asymptotically tight estimates of the largest constraint density for which they have solutions. At the same time, all known polynomial-time algorithms for many of these problems already completely fail to find solutions at much smaller densities. For example, it is well-known that it is easy to color a random graph using twice as many colors as its chromatic number. Indeed, some of the simplest possible coloring algorithms already achieve this goal. Given the simplicity of those algorithms, one would expect there is a lot of room for improvement. Yet, to date, no algorithm is known that uses $(2-ε) χ$ colors, in spite of efforts by numerous researchers over the years. In view of the remarkable resilience of this factor of 2 against every algorithm hurled at it, we believe it is natural to inquire into its origin. We do so by analyzing the evolution of the set of $k$-colorings of a random graph, viewed as a subset of $\{1,...,k\}^{n}$, as edges are added. We prove that the factor of 2 corresponds in a precise mathematical sense to a phase transition in the geometry of this set. Roughly, the set of $k$-colorings looks like a giant ball for $k \ge 2 χ$, but like an error-correcting code for $k \le (2-ε) χ$. We prove that a completely analogous phase transition also occurs both in random $k$-SAT and in random hypergraph 2-coloring. And that for each problem, its location corresponds precisely with the point were all known polynomial-time algorithms fail. To prove our results we develop a general technique that allows us to prove rigorously much of the celebrated 1-step Replica-Symmetry-Breaking hypothesis of statistical physics for random CSPs.
2008-03-10 v2
Acyclic edge coloring
This paper has been withdrawn by the author due to an error in the proof.
2008-03-02 v2
On perfect colorings of the halved 24-cube
Published in Diskretn. Anal. Issled. Oper. 15(5) 2008, 35-46 (in Russian) • Search Publication
A vertex 2-coloring of a graph is said to be perfect with parameters $(a_{ij})_{i,j=1}^k$ if for every $i,j\in\{1,...,k\}$ every vertex of color $i$ is adjacent with exactly $a_{ij}$ vertices of color $j$. We consider the perfect 2-colorings of the distance-2 graph of the 24-cube $\{0,1\}^{24}$ with parameters $((20+c,256-c)(c,276-c))$ (i.e., with eigenvalue 20). We prove that such colorings exist for all $c$ from 1 to 128 except 1, 2, 4, 5, 7, 10, 13 and do not exist for $c=1, 2, 4, 5, 7$. Keywords: perfect coloring, equitable partition, hypercube, halved n-cube
2008-02-27 v2
Generating functions for colored 3D Young diagrams and the Donaldson-Thomas invariants of orbifolds
Published in Duke Math. J. 152, no. 1 (2010), 115-153 • View Publication • BIB
We derive two multivariate generating functions for three-dimensional Young diagrams (also called plane partitions). The variables correspond to a colouring of the boxes according to a finite Abelian subgroup G of SO(3). We use the vertex operator methods of Okounkov--Reshetikhin--Vafa for the easy case G = Z/n; to handle the considerably more difficult case G=Z/2 x Z/2, we will also use a refinement of the author's recent q--enumeration of pyramid partitions. In the appendix, we relate the diagram generating functions to the Donaldson-Thomas partition functions of the orbifold C^3/G. We find a relationship between the Donaldson-Thomas partition functions of the orbifold and its G-Hilbert scheme resolution. We formulate a crepant resolution conjecture for the Donaldson-Thomas theory of local orbifolds satisfying the Hard Lefschetz condition.
2008-02-18 v2
Folding = Colouring
The foldings of a connected graph $G$ are defined as follows. First, $G$ is a folding of itself. Let $G'$ be a graph obtained from $G$ by identifying two vertices at distance 2 in $G$. Then every folding of $G'$ is a folding of $G$. The folding number of $G$ is the minimum order of a complete folding of $G$. Theorem: The folding number of every graph equals its chromatic number.
2008-02-18
Coloring the 600 Cell
The 600 cell S has exactly 10 5-colorings. From these colorings we can construct the space of colorings $B(S)$. This complex has 1344 colorings, and is isomorphic to the space of 5 by 5 Latin Squares. These simplices split into 4 copies of a quotient of S by an involution, and two copies of a space made up of even Latin Squares.