arXiv++ Combinatorics

Browse math.CO papers from arXiv

coloring

4497 papers tagged with this keyword
A New Lower Bound for van der Waerden Numbers
Published • View Publication • BIB
In this paper we prove a new recurrence relation on the van der Waerden numbers, $w(r,k)$. In particular, if $p$ is a prime and $p\leq k$ then $w(r, k) > p \cdot \left(w\left(r - \left\lceil \frac{r}{p}\right\rceil, k\right) -1\right)$. This recurrence gives the lower bound $w(r, p+1) > p^{r-1}2^p$ when $r \leq p$, which generalizes Berlekamp's theorem on 2-colorings, and gives the best known bound for a large interval of $r$. The recurrence can also be used to construct explicit valid colorings, and it improves known lower bounds on small van der Waerden numbers.
2017-05-25
On Star Coloring of Splitting Graphs
In this paper, we consider the problem of a star coloring. In general case the problems in NP-complete. We establish the star chromatic number for splitting graph of complete and complete bipartite graphs, as well of paths and cycles. Our proofs are constructive, so they lead to appropriate star colorings of graphs under consideration.
2017-05-25
Covering complete graphs by monochromatically bounded sets
Published • View Publication • BIB
Given a $k$-colouring of the edges of the complete graph $K_n$, are there $k-1$ monochromatic components that cover its vertices? This important special case of the well-known Lovász-Ryser conjecture is still open. In this paper we consider a strengthening of this question, where we insist that the covering sets are not merely connected but have bounded diameter. In particular, we prove that for any colouring of $E(K_n)$ with 4 colours, there is a choice of sets $A_1, A_2, A_3$ that cover all vertices, and colours $c_1, c_2, c_3$, such that for each $i = 1,2,3$ the monochromatic subgraph induced by the set $A_i$ and the colour $c_i$ has diameter at most 160.
Clique-Width for Graph Classes Closed under Complementation
Clique-width is an important graph parameter due to its algorithmic and structural properties. A graph class is hereditary if it can be characterized by a (not necessarily finite) set ${\cal H}$ of forbidden induced subgraphs. We initiate a systematic study into the boundedness of clique-width of hereditary graph classes closed under complementation. First, we extend the known classification for the $|{\cal H}|=1$ case by classifying the boundedness of clique-width for every set ${\cal H}$ of self-complementary graphs. We then completely settle the $|{\cal H}|=2$ case. In particular, we determine one new class of $(H,\overline{H})$-free graphs of bounded clique-width (as a side effect, this leaves only six classes of $(H_1,H_2)$-free graphs, for which it is not known whether their clique-width is bounded). Once we have obtained the classification of the $|{\cal H}|=2$ case, we research the effect of forbidding self-complementary graphs on the boundedness of clique-width. Surprisingly, we show that for a set ${\cal F}$ of self-complementary graphs on at least five vertices, the classification of the boundedness of clique-width for $(\{H,\overline{H}\}\cup {\cal F})$-free graphs coincides with the one for the $|{\cal H}|=2$ case if and only if ${\cal F}$ does not include the bull (the only non-empty self-complementary graphs on fewer than five vertices are $P_1$ and $P_4$, and $P_4$-free graphs have clique-width at most $2$). Finally, we discuss the consequences of our results for the Colouring problem.
2017-05-22 v2
Constraining the clustering transition for colorings of sparse random graphs
Published • View Publication • BIB
Let $Ω_q$ denote the set of proper $q$-colorings of the random graph $G_{n,m}, m=dn/2$ and let $H_q$ be the graph with vertex set $Ω_q$ and an edge $\{σ,τ\}$ where $σ,τ$ are mappings $[n]\to[q]$ iff $h(σ,τ)=1$. Here $h(σ,τ)$ is the Hamming distance $|\{v\in [n]:σ(v)\neqτ(v)\}|$. We show that w.h.p. $H_q$ contains a single giant component containing almost all colorings in $Ω_q$ if $d$ is sufficiently large and $q\geq \frac{cd}{\log d}$ for a constant $c>3/2$.
2017-05-22 v2
Hodge theory in combinatorics
Published • View Publication • BIB
George Birkhoff proved in 1912 that the number of proper colorings of a finite graph G with n colors is a polynomial in n, called the chromatic polynomial of G. Read conjectured in 1968 that for any graph G, the sequence of absolute values of coefficients of the chromatic polynomial is unimodal: it goes up, hits a peak, and then goes down. Read's conjecture was proved by June Huh in a 2012 paper making heavy use of methods from algebraic geometry. Huh's result was subsequently refined and generalized by Huh and Katz, again using substantial doses of algebraic geometry. Both papers in fact establish log-concavity of the coefficients, which is stronger than unimodality. The breakthroughs of Huh and Huh-Katz left open the more general Rota-Welsh conjecture where graphs are generalized to (not necessarily representable) matroids and the chromatic polynomial of a graph is replaced by the characteristic polynomial of a matroid. The Huh and Huh-Katz techniques are not applicable in this level of generality, since there is no underlying algebraic geometry to which to relate the problem. But in 2015 Adiprasito, Huh, and Katz announced a proof of the Rota-Welsh conjecture based on a novel approach motivated by but not making use of any results from algebraic geometry. The authors first prove that the Rota-Welsh conjecture would follow from combinatorial analogues of the Hard Lefschetz Theorem and Hodge-Riemann relations in algebraic geometry. They then implement an elaborate inductive procedure to prove the combinatorial Hard Lefschetz Theorem and Hodge-Riemann relations using purely combinatorial arguments. We will survey these developments.
On uniquely k-list colorable planar graphs, graphs on surfaces, and regular graphs
Published • View Publication • BIB
A graph $G$ is called uniquely k-list colorable (U$k$LC) if there exists a list of colors on its vertices, say $L=\lbrace S_v \mid v \in V(G) \rbrace $, each of size $k$, such that there is a unique proper list coloring of $G$ from this list of colors. A graph $G$ is said to have property $M(k)$ if it is not uniquely $k$-list colorable. Mahmoodian and Mahdian characterized all graphs with property $M(2)$. For $k\geq 3$ property $M(k)$ has been studied only for multipartite graphs. Here we find bounds on $M(k)$ for graphs embedded on surfaces, and obtain new results on planar graphs. We begin a general study of bounds on $M(k)$ for regular graphs, as well as for graphs with varying list sizes.
Colourings of cubic graphs inducing isomorphic monochromatic subgraphs
Published • View Publication • BIB
A $k$-bisection of a bridgeless cubic graph $G$ is a $2$-colouring of its vertex set such that the colour classes have the same cardinality and all connected components in the two subgraphs induced by the colour classes (monochromatic components in what follows) have order at most $k$. Ban and Linial conjectured that every bridgeless cubic graph admits a $2$-bisection except for the Petersen graph. A similar problem for the edge set of cubic graphs has been studied: Wormald conjectured that every cubic graph $G$ with $|E(G)| \equiv 0 \pmod 2$ has a $2$-edge colouring such that the two monochromatic subgraphs are isomorphic linear forests (i.e. a forest whose components are paths). Finally, Ando conjectured that every cubic graph admits a bisection such that the two induced monochromatic subgraphs are isomorphic. In this paper, we give a detailed insight into the conjectures of Ban-Linial and Wormald and provide evidence of a strong relation of both of them with Ando's conjecture. Furthermore, we also give computational and theoretical evidence in their support. As a result, we pose some open problems stronger than the above mentioned conjectures. Moreover, we prove Ban-Linial's conjecture for cubic cycle permutation graphs. As a by-product of studying $2$-edge colourings of cubic graphs having linear forests as monochromatic components, we also give a negative answer to a problem posed by Jackson and Wormald about certain decompositions of cubic graphs into linear forests.
2017-05-17 v3
Infinite combinatorics plain and simple
Published • View Publication • BIB
We explore a general method based on trees of elementary submodels in order to present highly simplified proofs to numerous results in infinite combinatorics. While countable elementary submodels have been employed in such settings already, we significantly broaden this framework by developing the corresponding technique for countably closed models of size continuum. The applications range from various theorems on paradoxical decompositions of the plane, to coloring sparse set systems, results on graph chromatic number and constructions from point-set topology. Our main purpose is to demonstrate the ease and wide applicability of this method in a form accessible to anyone with a basic background in set theory and logic.
On the Nonexistence of Some Generalized Folkman Numbers
Published • View Publication • BIB
For an undirected simple graph $G$, we write $G \rightarrow (H_1, H_2)^v$ if and only if for every red-blue coloring of its vertices there exists a red $H_1$ or a blue $H_2$. The generalized vertex Folkman number $F_v(H_1, H_2; H)$ is defined as the smallest integer $n$ for which there exists an $H$-free graph $G$ of order $n$ such that $G \rightarrow (H_1, H_2)^v$. The generalized edge Folkman numbers $F_e(H_1, H_2; H)$ are defined similarly, when colorings of the edges are considered. We show that $F_e(K_{k+1},K_{k+1};K_{k+2}-e)$ and $F_v(K_k,K_k;K_{k+1}-e)$ are well defined for $k \geq 3$. We prove the nonexistence of $F_e(K_3,K_3;H)$ for some $H$, in particular for $H=B_3$, where $B_k$ is the book graph of $k$ triangular pages, and for $H=K_1+P_4$. We pose three problems on generalized Folkman numbers, including the existence question of edge Folkman numbers $F_e(K_3, K_3; B_4)$, $F_e(K_3, K_3; K_1+C_4)$ and $F_e(K_3, K_3; \overline{P_2 \cup P_3} )$. Our results lead to some general inequalities involving two-color and multicolor Folkman numbers.
2017-05-13 v2
On differences between DP-coloring and list coloring
Published • View Publication • BIB
DP-coloring (also known as correspondence coloring) is a generalization of list coloring introduced recently by Dvořák and Postle. Many known upper bounds for the list-chromatic number extend to the DP-chromatic number, but not all of them do. In this note we describe some unusual properties of DP-coloring that set it aside from list coloring. In particular, we give an example of a planar bipartite graph with DP-chromatic number $4$ and prove that the edge-DP-chromatic number of a $d$-regular graph with $d\geq 2$ is always at least $d+1$.
2017-05-10
A note on panchromatic colorings
Published • View Publication • BIB
This paper studies the quantity $p(n,r)$, that is the minimal number of edges of an $n$-uniform hypergraph without panchromatic coloring (it means that every edge meets every color) in $r$ colors. If $r \leq c \frac{n}{\ln n}$ then all bounds have a type $A_1(n, \ln n, r)(\frac{r}{r-1})^n \leq p(n, r) \leq A_2(n, r, \ln r) (\frac{r}{r-1})^n$, where $A_1$, $A_2$ are some algebraic fractions. The main result is a new lower bound on $p(n,r)$ when $r$ is at least $c \sqrt n$; we improve an upper bound on $p(n,r)$ if $n = o(r^{3/2})$. Also we show that $p(n,r)$ has upper and lower bounds depend only on $n/r$ when the ratio $n/r$ is small, which can not be reached by the previous probabilistic machinery. Finally we construct an explicit example of a hypergraph without panchromatic coloring and with $(\frac{r}{r-1} + o(1))^n$ edges for $r = o(\sqrt{\frac{n}{\ln n}})$.
2017-05-09 v2
The Interactive Sum Choice Number of Trees
We study the interactive sum choice number, a game coloring parameter introduced by Bonamy and Meeks, and obtain a recursive formula for the interactive sum choice number of forests. This formula coincides with a formula for the slow coloring cost of forests, a parameter introduced by Mahoney, Puleo, and West, and shows that these parameters are equal on forests. This answers a question of Bonamy and Meeks.
Incidence Choosability of Graphs
Published • View Publication • BIB
An incidence of a graph G is a pair (v, e) where v is a vertex of G and e is an edge of G incident with v. Two incidences (v, e) and (w, f) of G are adjacent whenever (i) v = w, or (ii) e = f , or (iii) vw = e or f. An incidence p-colouring of G is a mapping from the set of incidences of G to the set of colours {1,. .. , p} such that every two adjacent incidences receive distinct colours. Incidence colouring has been introduced by Brualdi and Quinn Massey in 1993 and, since then, studied by several authors. In this paper, we introduce and study the list version of incidence colouring. We determine the exact value of -- or upper bounds on -- the incidence choice number of several classes of graphs, namely square grids, Halin graphs, cactuses and Hamiltonian cubic graphs.
Induced Ramsey-type results and binary predicates for point sets
Published in The Electronic Journal of Combinatorics 24 (2017), Issue 4, P4.24, 22 pp • View Publication • BIB
Let $k$ and $p$ be positive integers and let $Q$ be a finite point set in general position in the plane. We say that $Q$ is $(k,p)$-Ramsey if there is a finite point set $P$ such that for every $k$-coloring $c$ of $\binom{P}{p}$ there is a subset $Q'$ of $P$ such that $Q'$ and $Q$ have the same order type and $\binom{Q'}{p}$ is monochromatic in $c$. Nešetřil and Valtr proved that for every $k \in \mathbb{N}$, all point sets are $(k,1)$-Ramsey. They also proved that for every $k \ge 2$ and $p \ge 2$, there are point sets that are not $(k,p)$-Ramsey. As our main result, we introduce a new family of $(k,2)$-Ramsey point sets, extending a result of Nešetřil and Valtr. We then use this new result to show that for every $k$ there is a point set $P$ such that no function $Γ$ that maps ordered pairs of distinct points from $P$ to a set of size $k$ can satisfy the following "local consistency" property: if $Γ$ attains the same values on two ordered triples of points from $P$, then these triples have the same orientation. Intuitively, this implies that there cannot be such a function that is defined locally and determines the orientation of point triples.
2017-05-03
Asymptotically optimal bound on the adjacent vertex distinguishing edge choice number
Published • View Publication • BIB
An adjacent vertex distinguishing edge colouring of a graph $G$ without isolated edges is its proper edge colouring such that no pair of adjacent vertices meets the same set of colours in $G$. We show that such colouring can be chosen from any set of lists associated to the edges of $G$ as long as the size of every list is at least $Δ+CΔ^{\frac{1}{2}}(\logΔ)^4$, where $Δ$ is the maximum degree of $G$ and $C$ is a constant. The proof is probabilistic. The same is true in the environment of total colourings.
2017-05-02 v2
Differential algebra of cubic planar graphs
Published • View Publication • BIB
In this article we associate a combinatorial differential graded algebra to a cubic planar graph G. This algebra is defined combinatorially by counting binary sequences, which we introduce, and several explicit computations are provided. In addition, in the appendix by K. Sackel the F(q)-rational points of its graded augmentation variety are shown to coincide with (q+1)-colorings of the dual graph.
2017-05-02 v2
The Lovász Theta Function for Random Regular Graphs and Community Detection in the Hard Regime
Published • View Publication • BIB
We derive upper and lower bounds on the degree $d$ for which the Lovász $\vartheta$ function, or equivalently sum-of-squares proofs with degree two, can refute the existence of a $k$-coloring in random regular graphs $G_{n,d}$. We show that this type of refutation fails well above the $k$-colorability transition, and in particular everywhere below the Kesten-Stigum threshold. This is consistent with the conjecture that refuting $k$-colorability, or distinguishing $G_{n,d}$ from the planted coloring model, is hard in this region. Our results also apply to the disassortative case of the stochastic block model, adding evidence to the conjecture that there is a regime where community detection is computationally hard even though it is information-theoretically possible. Using orthogonal polynomials, we also provide explicit upper bounds on $\vartheta(\overline{G})$ for regular graphs of a given girth, which may be of independent interest.
2017-05-01
Orientations of 1-Factorizations and the List Chromatic Index of Small Graphs
Published • View Publication • BIB
As starting point, we formulate a corollary to the Quantitative Combinatorial Nullstellensatz. This corollary does not require the consideration of any coefficients of polynomials, only evaluations of polynomial functions. In certain situations, our corollary is more directly applicable and more ready-to-go than the Combinatorial Nullstellensatz itself. It is also of interest from a numerical point of view. We use it to explain a well-known connection between the sign of 1-factorizations (edge colorings) and the List Edge Coloring Conjecture. For efficient calculations and a better understanding of the sign, we then introduce and characterize the sign of single 1-factors. We show that the product over all signs of all the 1-factors in a 1-factorization is the sign of that 1-factorization. Using this result in an algorithm, we attempt to prove the List Edge Coloring Conjecture for all graphs with up to 10 vertices. This leaves us with some exceptional cases that need to be attacked with other methods.
Coloring Properties of Categorical Product of General Kneser Hypergraphs
Published • View Publication • BIB
More than 50 years ago Hedetniemi conjectured that the chromatic number of categorical product of two graphs is equal to the minimum of their chromatic numbers. This conjecture has received a considerable attention in recent years. Hedetniemi's conjecture were generalized to hypergraphs by Zhu in 1992. Hajiabolhassan and Meunier (2016) introduced the first nontrivial lower bound for the chromatic number of categorical product of general Kneser hypergraphs and using this lower bound, they verified Zhu's conjecture for some families of hypergraphs. In this paper, we shall present some colorful type results for the coloring of categorical product of general Kneser hypergraphs, which generalize the Hajiabolhassan-Meunier result. Also, we present a new lower bound for the chromatic number of categorical product of general Kneser hypergraphs which can be extremely better than the Hajiabolhassan-Meunier lower bound. Using this lower bound, we enrich the family of hypergraphs satisfying Zhu's conjecture.