arXiv++ Combinatorics

Browse math.CO papers from arXiv

coloring

4410 papers tagged with this keyword
2015-01-12
Graphs with Eulerian unit spheres
d-spheres in graph theory are inductively defined as graphs for which all unit spheres S(x) are (d-1)-spheres and that the removal of one vertex renders the graph contractible. Eulerian d-spheres are geometric d-spheres which are d+1 colorable. We prove here that G is an Eulerian sphere if and only if the degrees of all the (d-2)-dimensional sub-simplices in G are even. This generalizes a Kempe-Heawood result for d=2 and is work related to the conjecture that all d-spheres have chromatic number d+1 or d+2 which is based on the geometric conjecture that every d-sphere can be embedded in an Eulerian (d+1)-sphere. For d=2, such an embedding into an Eulerian 3-sphere would lead to a geometric proof of the 4 color theorem, allowing to see "why 4 colors suffice". To achieve the goal of coloring a d-sphere G with d+2 colors, we hope to embed it into a (d+1)-sphere and refine or thin out the later using special homotopy deformations without touching the embedded sphere. Once rendered Eulerian and so (d+2)-colorable, it colors the embedded graph G. In order to define the degree of a simplex, we introduce a notion of dual graph H' of a subgraph H in a general finite simple graph G. This leads to a natural sphere bundle over the simplex graph. We look at geometric graphs which admit a unique geodesic flow: their unit spheres must be Eulerian. We define Platonic spheres graph theoretically as d-spheres for which all unit spheres S(x) are graph isomorphic Platonic (d-1)-spheres. Gauss-Bonnet allows a classification within graph theory: all spheres are Platonic for d=1, the octahedron and icosahedron are the Platonic 2-spheres, the sixteen and six-hundred cells are the Platonic 3-spheres. The cross polytop is the unique Platonic d-sphere for d>3. It is Eulerian.
A list version of graph packing
We consider the following generalization of graph packing. Let $G_{1} = (V_{1}, E_{1})$ and $G_{2} = (V_{2}, E_{2})$ be graphs of order $n$ and $G_{3} = (V_{1} \cup V_{2}, E_{3})$ a bipartite graph. A bijection $f$ from $V_{1}$ onto $V_{2}$ is a list packing of the triple $(G_{1}, G_{2}, G_{3})$ if $uv \in E_{2}$ implies $f(u)f(v) \notin E_{2}$ and $vf(v) \notin E_{3}$ for all $v \in V_{1}$. We extend the classical results of Sauer and Spencer and Bollobás and Eldridge on packing of graphs with small sizes or maximum degrees to the setting of list packing. In particular, we extend the well-known Bollobás--Eldridge Theorem, proving that if $Δ(G_{1}) \leq n-2, Δ(G_{2}) \leq n-2, Δ(G_{3}) \leq n-1$, and $|E_1| + |E_2| + |E_3| \leq 2n-3$, then either $(G_{1}, G_{2}, G_{3})$ packs or is one of 7 possible exceptions. Hopefully, the concept of list packing will help to solve some problems on ordinary graph packing, as the concept of list coloring did for ordinary coloring.
All face 2-colorable d-angulations are Grünbaum colorable
Published in Journal of Combinatorial Mathematics and Combinatorial Computing, 95 (2015), 301-307 • Search Publication
A $d$-angulation of a surface is an embedding of a 3-connected graph on that surface that divides it into $d$-gonal faces. A $d$-angulation is said to be Grünbaum colorable if its edges can be $d$-colored so that every face uses all $d$ colors. Up to now, the concept of Grünbaum coloring has been related only to triangulations ($d = 3$), but in this note, this concept is generalized for an arbitrary face size $d \geqslant 3$. It is shown that the face 2-colorability of a $d$-angulation $P$ implies the Grünbaum colorability of $P$. Some wide classes of triangulations have turned out to be face 2-colorable.
2015-01-05 v2
Some Remarks on Rainbow Connectivity
Published in J. Graph Theory, 83 (2016), p. 372 - 383 • View PublicationBIB
An edge (vertex) coloured graph is rainbow-connected if there is a rainbow path between any two vertices, i.e. a path all of whose edges (internal vertices) carry distinct colours. Rainbow edge (vertex) connectivity of a graph $G$ is the smallest number of colours needed for a rainbow edge (vertex) colouring of $G$. In this paper we propose a very simple approach to studying rainbow connectivity in graphs. Using this idea, we give a unified proof of several known results, as well as some new ones.
2015-01-05
On colored set partitions of type $B_n$
Published in Cent. Eur. J. Math. 12(9) (2014), 1372--1381 • View PublicationBIB
Generalizing Reiner's notion of set partitions of type $B_n$, we define colored $B_n$-partitions by coloring the elements in and not in the zero-block respectively. Considering the generating function of colored $B_n$-partitions, we get the exact formulas for the expectation and variance of the number of non-zero-blocks in a random colored $B_n$-partition. We find an asymptotic expression of the total number of colored $B_n$-partitions up to an error of $O(n^{-1/2}\log^{7/2}{n})$, and prove that the centralized and normalized number of non-zero-blocks is asymptotic normal over colored $B_n$-partitions.
2015-01-02
The coloring of the regular graph of ideals
The regular graph of ideals of the commutative ring $R$, denoted by $Γ_{reg}(R)$, is a graph whose vertex set is the set of all non-trivial ideals of $R$ and two distinct vertices $I$ and $J$ are adjacent if and only if either $I$ contains a $J$-regular element or $J$ contains an $I$-regular element. In this paper, it is shown that for every Artinian ring $R$, the edge chromatic number of $Γ_{reg}(R)$ equals its maximum degree. Then a formula for the clique number of $Γ_{reg}(R)$ is given. Also, it is proved that for every reduced ring $R$ with $n(\geq3)$ minimal prime ideals, the edge chromatic number of $Γ_{reg}(R)$ is $2^{n-1}-2$. Moreover, we show that both of the clique number and vertex chromatic number of $Γ_{reg}(R)$ are $n-1$, for every reduced ring $R$ with $n$ minimal prime ideals.
2015-01-01 v2
Coloring games and algebraic problems on matroids
This thesis is basically devoted to matroids -- fundamental structure of combinatorial optimization -- though some of our results concern simplicial complexes, or Euclidean spaces. We study old and new problems for these structures, with combinatorial, algebraic, and topological flavor.
2014-12-31
Colorful monochromatic connectivity of random graphs
An edge-coloring of a connected graph $G$ is called a {\it monochromatic connection coloring} (MC-coloring, for short), introduced by Caro and Yuster, if there is a monochromatic path joining any two vertices of the graph $G$. Let $mc(G)$ denote the maximum number of colors used in an MC-coloring of a graph $G$. Note that an MC-coloring does not exist if $G$ is not connected, and in this case we simply let $mc(G)=0$. We use $G(n,p)$ to denote the Erdös-Rényi random graph model, in which each of the $\binom{n}{2}$ pairs of vertices appears as an edge with probability $p$ independently from other pairs. For any function $f(n)$ satisfying $1\leq f(n)<\frac{1}{2}n(n-1)$, we show that if $\ell n \log n\leq f(n)<\frac{1}{2}n(n-1)$ where $\ell\in \mathbb{R}^+$, then $p=\frac{f(n)+n\log\log n}{n^2}$ is a sharp threshold function for the property $mc\left(G\left(n,p\right)\right)\ge f(n)$; if $f(n)=o(n\log n)$, then $p=\frac{\log n}{n}$ is a sharp threshold function for the property $mc\left(G\left(n,p\right)\right)\ge f(n)$.
2014-12-29
Maximum Cardinality Neighbourly Sets in Quadrilateral Free Graphs
Published in J Comb Optim 33(2): 422-444 (2017) • View PublicationBIB
Neighbourly set of a graph is a subset of edges which either share an end point or are joined by an edge of that graph. The maximum cardinality neighbourly set problem is known to be NP-complete for general graphs. Mahdian (M.Mahdian, On the computational complexity of strong edge coloring, Discrete Applied Mathematics, 118:239-248, 2002) proved that it is in polynomial time for quadrilateral-free graphs and proposed an O(n^{11}) algorithm for the same (along with a note that by a straightforward but lengthy argument it can be proved to be solvable in O(n^5) running time). In this paper we propose an O(n^2) time algorithm for finding a maximum cardinality neighbourly set in a quadrilateral-free graph.
2014-12-29 v4
Odd graph and its applications to the strong edge coloring
Published in Applied Mathematics and Computation, 325 (2018), 246--251 • View PublicationBIB
A strong edge coloring of a graph is a proper edge coloring in which every color class is an induced matching. The strong chromatic index $χ_s'(G)$ of a graph $G$ is the minimum number of colors in a strong edge coloring of $G$. Let $Δ\geq 4$ be an integer. In this note, we study the odd graphs and show the existence of some special walks. By using these results and Chang's ideas in [Discuss. Math. Graph Theory 34 (4) (2014) 723--733], we show that every planar graph with maximum degree at most $Δ$ and girth at least $10 Δ- 4$ has a strong edge coloring with $2Δ- 1$ colors. In addition, we prove that if $G$ is a graph with girth at least $2Δ- 1$ and mad$(G) < 2 + \frac{1}{3Δ- 2}$, where $Δ$ is the maximum degree and $Δ\geq 4$, then $χ_s'(G) \leq 2Δ- 1$, if $G$ is a subcubic graph with girth at least $8$ and mad$(G) < 2 + \frac{2}{23}$, then $χ_s'(G) \leq 5$.
2014-12-29 v2
Graph colouring and the total Betti number
The total Betti number of the independence complex of a graph is an intriguing graph invariant. Kalai and Meshulam have raised the question on its relation to cycles and the chromatic number of a graph, and a recent conjecture on that theme was proved by Bonamy, Charbit and Thomasse. We show an upper bound on the total Betti number in terms of the number of vertex disjoint cycles in a graph. The main technique is discrete Morse theory and building poset maps. Ramanujan graphs with arbitrary chromatic number and girth log(n) is a classical construction. We show that any subgraph of them with less than n^0.003 vertices have smaller total Betti number than some planar graph of the same order, although it is part of a graph with high chromatic number.
Splitting necklaces and measurable colorings of the real line
Published in Proceedings of the American Mathematical Society 137 (2009), no. 5, 1593-1599 • View PublicationBIB
A (continuous) necklace is simply an interval of the real line colored measurably with some number of colors. A well-known application of the Borsuk-Ulam theorem asserts that every $k$-colored necklace can be fairly split by at most $k$ cuts (from the resulting pieces one can form two collections, each capturing the same measure of every color). Here we prove that for every $k\geq 1$ there is a measurable $(k+3)$-coloring of the real line such that no interval can be fairly split using at most $k$ cuts. In particular, there is a measurable $4$-coloring of the real line in which no two adjacent intervals have the same measure of every color. An analogous problem for the integers was posed by Erdős in 1961 and solved in the affirmative in 1991 by Keränen. Curiously, in the discrete case the desired coloring also uses four colors.
Coloring, sparseness, and girth
Published • View PublicationBIB
An $r$-augmented tree is a rooted tree plus $r$ edges added from each leaf to ancestors. For $d,g,r\in\mathbb{N}$, we construct a bipartite $r$-augmented complete $d$-ary tree having girth at least $g$. The height of such trees must grow extremely rapidly in terms of the girth. Using the resulting graphs, we construct sparse non-$k$-choosable bipartite graphs, showing that maximum average degree at most $2(k-1)$ is a sharp sufficient condition for $k$-choosability in bipartite graphs, even when requiring large girth. We also give a new simple construction of non-$k$-colorable graphs and hypergraphs with any girth $g$.
2014-12-24
Distance Regular Colorings of $n$-Dimensional Rectangular Grid
We study the infinite graph of $n$-dimensional rectangular grid that doesn't appear distance regular and the distance regular colorings of this graph, which are defined as the distance colorings with respect to completely regular codes. It is proved that the elements of the parameter matrix of an arbitrary distance regular coloring form two monotonic sequences. It is shown that every irreducible distance regular coloring of the $n$-dimensional rectangular grid has at most $2n+1$ colors.
2014-12-23
Local distributions for eigenfunctions and for perfect colorings of q-ary hypercube
Under study are the eigenfunctions and perfect colorings of the graph of $n$-dimensional $q$-ary Hamming space. We obtain the interdependence of local distributions of an eigenfunction in two orthogonal faces. We prove also an analogous result for perfect colorings.
2014-12-22
Coloring graphs using topology
Higher dimensional graphs can be used to colour two-dimensional geometric graphs. If G the boundary of a three dimensional graph H for example, we can refine the interior until it is colourable with 4 colours. The later goal is achieved if all interior edge degrees are even. Using a refinement process which cuts the interior along surfaces we can adapt the degrees along the boundary of that surface. More efficient is a self-cobordism of G with itself with a host graph discretizing the product of G with an interval. It follows from the fact that Euler curvature is zero everywhere for three dimensional geometric graphs, that the odd degree edge set O is a cycle and so a boundary if H is simply connected. A reduction to minimal colouring would imply the four colour theorem. The method is expected to give a reason "why 4 colours suffice" and suggests that every two dimensional geometric graph of arbitrary degree and orientation can be coloured by 5 colours: since the projective plane can not be a boundary of a 3-dimensional graph and because for higher genus surfaces, the interior H is not simply connected, we need in general to embed a surface into a 4-dimensional simply connected graph in order to colour it. This explains the appearance of the chromatic number 5 for higher degree or non-orientable situations, a number we believe to be the upper limit. For every surface type, we construct examples with chromatic number 3,4 or 5, where the construction of surfaces with chromatic number 5 is based on a method of Fisk. We have implemented and illustrated all the topological aspects described in this paper on a computer. So far we still need human guidance or simulated annealing to do the refinements in the higher dimensional host graph.
Incidence coloring of graphs with high maximum average degree
Published • View PublicationBIB
An incidence of an undirected graph G is a pair $(v,e)$ where $v$ is a vertex of $G$ and $e$ an edge of $G$ incident with $v$. Two incidences $(v,e)$ and $(w,f)$ are adjacent if one of the following holds: (i) $v = w$, (ii) $e = f$ or (iii) $vw = e$ or $f$. An incidence coloring of $G$ assigns a color to each incidence of $G$ in such a way that adjacent incidences get distinct colors. In 2005, Hosseini Dolama \emph{et al.}~\citep{ds05} proved that every graph with maximum average degree strictly less than $3$ can be incidence colored with $Δ+3$ colors. Recently, Bonamy \emph{et al.}~\citep{Bonamy} proved that every graph with maximum degree at least $4$ and with maximum average degree strictly less than $\frac{7}{3}$ admits an incidence $(Δ+1)$-coloring. In this paper we give bounds for the number of colors needed to color graphs having maximum average degrees bounded by different values between $4$ and $6$. In particular we prove that every graph with maximum degree at least $7$ and with maximum average degree less than $4$ admits an incidence $(Δ+3)$-coloring. This result implies that every triangle-free planar graph with maximum degree at least $7$ is incidence $(Δ+3)$-colorable. We also prove that every graph with maximum average degree less than 6 admits an incidence $(Δ+ 7)$-coloring. More generally, we prove that $Δ+k-1$ colors are enough when the maximum average degree is less than $k$ and the maximum degree is sufficiently large.
2014-12-19 v3
New Bounds for the Acyclic Chromatic Index
Published in Discrete Mathematics, vol. 339 (2016), n. 10, 2543--2552 • View PublicationBIB
An edge coloring of a graph $G$ is called an acyclic edge coloring if it is proper and every cycle in $G$ contains edges of at least three different colors. The least number of colors needed for an acyclic edge coloring of $G$ is called the acyclic chromatic index of $G$ and is denoted by $a'(G)$. Fiamčik and independently Alon, Sudakov, and Zaks conjectured that $a'(G) \leq Δ(G)+2$, where $Δ(G)$ denotes the maximum degree of $G$. The best known general bound is $a'(G)\leq 4(Δ(G)-1)$ due to Esperet and Parreau. We apply a generalization of the Lovász Local Lemma to show that if $G$ contains no copy of a given bipartite graph $H$, then $a'(G) \leq 3Δ(G)+o(Δ(G))$. Moreover, for every $\varepsilon>0$, there exists a constant $c$ such that if $g(G)\geq c$, then $a'(G)\leq(2+\varepsilon)Δ(G)+o(Δ(G))$, where $g(G)$ denotes the girth of $G$.
The chromatic number of a signed graph
In 1982, Zaslavsky introduced the concept of a proper vertex colouring of a signed graph $G$ as a mapping $φ\colon V(G)\to \mathbb{Z}$ such that for any two adjacent vertices $u$ and $v$ the colour $φ(u)$ is different from the colour $σ(uv)φ(v)$, where is $σ(uv)$ is the sign of the edge $uv$. The substantial part of Zaslavsky's research concentrated on polynomial invariants related to signed graph colourings rather than on the behaviour of colourings of individual signed graphs. We continue the study of signed graph colourings by proposing the definition of a chromatic number for signed graphs which provides a natural extension of the chromatic number of an unsigned graph. We establish the basic properties of this invariant, provide bounds in terms of the chromatic number of the underlying unsigned graph, investigate the chromatic number of signed planar graphs, and prove an extension of the celebrated Brooks theorem to signed graphs.
Numerical Algorithm for Pólya Enumeration Theorem
Published • View PublicationBIB
Although the Pólya enumeration theorem has been used extensively for decades, an optimized, purely numerical algorithm for calculating its coefficients is not readily available. We present such an algorithm for finding the number of unique colorings of a finite set under the action of a finite group.