coloring
4497 papers tagged with this keyword
Borel fractional colorings of Schreier graphs
Published
• View Publication
• BIB
Let $Γ$ be a countable group and let $G$ be the Schreier graph of the free part of the Bernoulli shift of $Γ$ (with respect to some finite subset $F \subseteq Γ$). We show that the Borel fractional chromatic number of $G$ is equal to $1$ over the measurable independence number of $G$. As a consequence, we asymptotically determine the Borel fractional chromatic number of $G$ when $Γ$ is the free group, answering a question of Meehan.
Infinite monochromatic patterns in the integers
Published
• View Publication
• BIB
We show the existence of several infinite monochromatic patterns in the integers obtained as values of suitable symmetric polynomials. The simplest example is the following. For every finite coloring of the natural numbers $\mathbb{N}=C_1\cup\ldots\cup C_r$, there exists an increasing sequence $a<b<c<\ldots$ such that all elements below are monochromatic, that is, they belong to the same $C_i$: $$a,b,c,\ldots, a+b+ab, a+c+ac, b+c+bc,\ldots,a+b+c+ab+ac+bc+abc,\ldots.$$ The proofs use algebra in the space of ultrafilters $β\mathbb{Z}$.
On game chromatic vertex-critical graphs
Published
• View Publication
• BIB
Several games that arise from graph coloring have been introduced and studied. Let $\varphi$ denote a graph invariant that arises from such a game. If $G$ is a graph and $\varphi(G-x)\neq \varphi(G)=k$, $k \geq 1$, holds true for every vertex $x \in V(G)$, then $G$ is called a $k$-$\varphi$-game-vertex-critical graph. We study the concept of $\varphi$-game-vertex-criticality for $\varphi \in \{χ_g, χ_i, χ_{ig}^{A}, χ_{ig}^{AB}\}$, where $χ_g$ denotes the standard game chromatic number, $χ_i$ denotes the indicated game chromatic number and $χ_{ig}^{A}$, $χ_{ig}^{AB}$ denote two versions of the independence game chromatic number. Since the game chromatic number $\varphi(G-x)$ can either decrease or increase with respect to $\varphi(G)$, we distinguish between lower, upper and mixed vertex-criticality. We show that for $\varphi \in \{χ_g, χ_{ig}^{A}, χ_{ig}^{AB}\}$ the difference $\varphi(G)-\varphi(G-x)$, $x \in V(G)$, can be arbitrarily large. A characterization of $2$-$\varphi$-game-vertex-critical and (connected) $3$-$\varphi$-lower-game-vertex-critical graphs for all $\varphi \in \{χ_g, χ_i, χ_{ig}^{A}, χ_{ig}^{AB}\}$ is given. It is shown that $χ_g$-game-vertex-critical, $χ_{ig}^{A}$-game-vertex-critical and $χ_{ig}^{AB}$-game-vertex-critical graphs are not necessarily connected. However, it is also shown that $χ_i$-lower-game-vertex-critical graphs are always connected.
Total Coloring and Total Matching: Polyhedra and Facets
Published
• View Publication
• BIB
A total coloring of a graph $G = (V, E)$ is an assignment of colors to vertices and edges such that neither two adjacent vertices nor two incident edges get the same color, and, for each edge, the end-points and the edge itself receive different colors. Any valid total coloring induces a partition of the elements of $G$ into total matchings, which are defined as subsets of vertices and edges that can take the same color. In this paper, we propose Integer Linear Programming models for both the Total Coloring and the Total Matching problems, and we study the strength of the corresponding Linear Programming relaxations. The total coloring is formulated as the problem of finding the minimum number of total matchings that cover all the graph elements. This covering formulation can be solved by a Column Generation algorithm, where the pricing subproblem corresponds to the Weighted Total Matching Problem. Hence, we study the Total Matching Polytope. We introduce three families of nontrivial valid inequalities: vertex-clique inequalities based on standard clique inequalities of the Stable Set Polytope, congruent-$2k3$ cycle inequalities based on the parity of the vertex set induced by the cycle, and even-clique inequalities induced by complete subgraphs of even order. We prove that congruent-$2k3$ cycle inequalities are facet-defining only when $k = 4$, while the vertex-clique and even-cliques are always facet-defining. Finally, we present preliminary computational results of a Column Generation algorithm for the Total Coloring Problem and a Cutting Plane algorithm for the Total Matching Problem.
Stability for the Erdős-Rothschild problem
Published
• View Publication
• BIB
Given a sequence $\mathbf{k} := (k_1,\ldots,k_s)$ of natural numbers and a graph $G$, let $F(G;\mathbf{k})$ denote the number of colourings of the edges of $G$ with colours $1,\dots,s$ such that, for every $c \in \{1,\dots,s\}$, the edges of colour $c$ contain no clique of order $k_c$. Write $F(n;\mathbf{k})$ to denote the maximum of $F(G;\mathbf{k})$ over all graphs $G$ on $n$ vertices. This problem was first considered by Erdős and Rothschild in 1974, but it has been solved only for a very small number of non-trivial cases. In previous work with Yilma, we constructed a finite optimisation problem whose maximum is equal to the limit of $\log_2 F(n;\mathbf{k})/{n\choose 2}$ as $n$ tends to infinity and proved a stability theorem for complete multipartite graphs $G$.
In this paper we provide a sufficient condition on $\mathbf{k}$ which guarantees a general stability theorem for any graph $G$, describing the asymptotic structure of $G$ on $n$ vertices with $F(G;\mathbf{k}) = F(n;\mathbf{k}) \cdot 2^{o(n^2)}$ in terms of solutions to the optimisation problem. We apply our theorem to systematically recover existing stability results as well as all cases with $s=2$. The proof uses a novel version of symmetrisation on edge-coloured weighted multigraphs.
On $r$-dynamic coloring on lexicographic product of star graphs
In this research, the exact results on $r$-dynamic coloring of lexicographic product of path with star graph, path with double star graph, path with triple star graph and finally complete graph with path are obtained.
Rainbow trees in uniformly edge-coloured graphs
Published
• View Publication
• BIB
We obtain sufficient conditions for the emergence of spanning and almost-spanning bounded-degree {\sl rainbow} trees in various host graphs, having their edges coloured independently and uniformly at random, using a predetermined palette. Our first result asserts that a uniform colouring of $\mathbb{G}(n,ω(1)/n)$, using a palette of size $n$, a.a.s. admits a rainbow copy of any given bounded-degree tree on at most $(1-\varepsilon)n$ vertices, where $\varepsilon > 0$ is arbitrarily small yet fixed. This serves as a rainbow variant of a classical result by Alon, Krivelevich, and Sudakov pertaining to the embedding of bounded-degree almost-spanning prescribed trees in $\mathbb{G}(n,C/n)$, where $C > 0$ is independent of $n$.
Given an $n$-vertex graph $G$ with minimum degree at least $δn$, where $δ> 0$ is fixed, we use our aforementioned result in order to prove that a uniform colouring of the randomly perturbed graph $G \cup \mathbb{G}(n,ω(1)/n)$, using $(1+α)n$ colours, where $α> 0$ is arbitrarily small yet fixed, a.a.s. admits a rainbow copy of any given bounded-degree {\sl spanning} tree. This can be viewed as a rainbow variant of a result by Krivelevich, Kwan, and Sudakov who proved that $G \cup \mathbb{G}(n,C/n)$, where $C > 0$ is independent of $n$, a.a.s. admits a copy of any given bounded-degree spanning tree.
Finally, and with $G$ as above, we prove that a uniform colouring of $G \cup \mathbb{G}(n,ω(n^{-2}))$ using $n-1$ colours a.a.s. admits a rainbow spanning tree. Put another way, the trivial lower bound on the size of the palette required for supporting a rainbow spanning tree is also sufficient, essentially as soon as the random perturbation a.a.s. has edges.
Conflict-Free Coloring: Graphs of Bounded Clique Width and Intersection Graphs
Published
• View Publication
• BIB
A conflict-free coloring of a graph $G$ is a (partial) coloring of its vertices such that every vertex $u$ has a neighbor whose assigned color is unique in the neighborhood of $u$. There are two variants of this coloring, one defined using the open neighborhood and one using the closed neighborhood. For both variants, we study the problem of deciding whether the conflict-free coloring of a given graph $G$ is at most a given number $k$.
In this work, we investigate the relation of clique-width and minimum number of colors needed (for both variants) and show that these parameters do not bound one another. Moreover, we consider specific graph classes, particularly graphs of bounded clique-width and types of intersection graphs, such as distance hereditary graphs, interval graphs and unit square and disk graphs. We also consider Kneser graphs and split graphs. We give (often tight) upper and lower bounds and determine the complexity of the decision problem on these graph classes, which improve some of the results from the literature. Particularly, we settle the number of colors needed for an interval graph to be conflict-free colored under the open neighborhood model, which was posed as an open problem.
An improved lower bound for multicolor Ramsey numbers and the half-multiplicity Ramsey number problem
Published
• View Publication
• BIB
The multicolor Ramsey number problem asks, for each pair of natural numbers $\ell$ and $t$, for the largest $\ell$-coloring of a complete graph with no monochromatic clique of size $t$. Recent works of Conlon-Ferber and Wigderson have improved the longstanding lower bound for this problem. We make a further improvement by replacing an explicit graph appearing in their constructions by a random graph. Graphs useful for this construction are exactly those relevant for a problem of Erdős on graphs with no large cliques and few large independent sets. We also make some basic observations about this problem.
Star coloring of sparse graphs
Published in Journal of Graph Theory, Vol. 62(3), November 2009, Pages 201-219
• View Publication
• BIB
A proper coloring of the vertices of a graph is called a \emph{star coloring} if the union of every two color classes induces a star forest. The star chromatic number $χ_s(G)$ is the smallest number of colors required to obtain a star coloring of $G$. In this paper, we study the relationship between the star chromatic number $χ_s(G)$ and the maximum average degree $\mbox{Mad}(G)$ of a graph $G$. We prove that: (1) If $G$ is a graph with $\mbox{Mad}(G) < \frac{26}{11}$, then $χ_s(G)\leq 4$. (2) If $G$ is a graph with $\mbox{Mad}(G) < \frac{18}{7}$ and girth at least 6, then $χ_s(G)\leq 5$. (3) If $G$ is a graph with $\mbox{Mad}(G) < \frac{8}{3}$ and girth at least 6, then $χ_s(G)\leq 6$. These results are obtained by proving that such graphs admit a particular decomposition into a forest and some independent sets.
Low Diameter Monochromatic Covers of Complete Multipartite Graphs
Published
• View Publication
• BIB
Let the diameter cover number, $D^t_r(G)$, denote the least integer $d$ such that under any $r$-coloring of the edges of the graph $G$, there exists a collection of $t$ monochromatic subgraphs of diameter at most $d$ such that every vertex of $G$ is contained in at least one of the subgraphs. We explore the diameter cover number with two colors and two subgraphs when $G$ is a complete multipartite graph with at least three parts. We determine exactly the value of $D_2^2(G)$ for all complete tripartite graphs $G$, and almost all complete multipartite graphs with more than three parts.
Almost color-balanced perfect matchings in color-balanced complete graphs
Published
• View Publication
• BIB
For a graph $G$ and a not necessarily proper $k$-edge coloring $c:E(G)\to \{ 1,\ldots,k\}$, let $m_i(G)$ be the number of edges of $G$ of color $i$, and call $G$ {\it color-balanced} if $m_i(G)=m_j(G)$ for every two colors $i$ and $j$. Several famous open problems relate to this notion; Ryser's conjecture on transversals in latin squares, for instance, is equivalent to the statement that every properly $n$-edge colored complete bipartite graph $K_{n,n}$ has a color-balanced perfect matching. We contribute some results on the question posed by Kittipassorn and Sinsap (arXiv:2011.00862v1) whether every $k$-edge colored color-balanced complete graph $K_{2kn}$ has a color-balanced perfect matching $M$. For a perfect matching $M$ of $K_{2kn}$, a natural measure for the total deviation of $M$ from being color-balanced is $f(M)=\sum\limits_{i=1}^k|m_i(M)-n|$. While not every color-balanced complete graph $K_{2kn}$ has a color-balanced perfect matching $M$, that is, a perfect matching with $f(M)=0$, we prove the existence of a perfect matching $M$ with $f(M)=O\left(k\sqrt{kn\ln(k)}\right)$ for general $k$ and $f(M)\leq 2$ for $k=3$; the case $k=2$ has already been studied earlier. An attractive feature of the problem is that it naturally invites the combination of a combinatorial approach based on counting and local exchange arguments with probabilistic and geometric arguments.
Edge coloring graphs with large minimum degree
Published
• View Publication
• BIB
Let $G$ be a simple graph with maximum degree $Δ(G)$. A subgraph $H$ of $G$ is overfull if $|E(H)|>Δ(G)\lfloor |V(H)|/2 \rfloor$. Chetwynd and Hilton in 1985 conjectured that a graph $G$ with $Δ(G)>|V(G)|/3$ has chromatic index $Δ(G)$ if and only if $G$ contains no overfull subgraph. The 1-factorization conjecture is a special case of this overfull conjecture, which states that for even $n$, every regular $n$-vertex graph with degree at least about $n/2$ has a 1-factorization and was confirmed for large graphs in 2014. Supporting the overfull conjecture as well as generalizing the 1-factorization conjecture in an asymptotic way, in this paper, we show that for any given $0<\varepsilon <1$, there exists a positive integer $n_0$ such that the following statement holds: if $G$ is a graph on $2n\ge n_0$ vertices with minimum degree at least $(1+\varepsilon)n$, then $G$ has chromatic index $Δ(G)$ if and only if $G$ contains no overfull subgraph.
Partitioning H-Free Graphs of Bounded Diameter
Published
• View Publication
• BIB
A natural way of increasing our understanding of NP-complete graph problems is to restrict the input to a special graph class. Classes of $H$-free graphs, that is, graphs that do not contain some graph $H$ as an induced subgraph, have proven to be an ideal testbed for such a complexity study. However, if the forbidden graph $H$ contains a cycle or claw, then these problems often stay NP-complete. A recent complexity study on the $k$-Colouring problem shows that we may still obtain tractable results if we also bound the diameter of the $H$-free input graph. We continue this line of research by initiating a complexity study on the impact of bounding the diameter for a variety of classical vertex partitioning problems restricted to $H$-free graphs. We prove that bounding the diameter does not help for Independent Set, but leads to new tractable cases for problems closely related to 3-Colouring. That is, we show that Near-Bipartiteness, Independent Feedback Vertex Set, Independent Odd Cycle Transversal, Acyclic 3-Colouring and Star 3-Colouring are all polynomial-time solvable for chair-free graphs of bounded diameter. To obtain these results we exploit a new structural property of 3-colourable chair-free graphs.
Filtered simplicial homology, graph dissimilarity and überhomology
Published
• View Publication
• BIB
We introduce a filtration on the simplicial homology of a finite simplicial complex X using bi-colourings of its vertices. This yields two dual homology theories closely related to discrete Morse matchings on X. We give an explicit expression for the associated graded object of these homologies when X is the matching complex of the Tait graph of a plane graph $G$, in terms of subgraphs determined by certain matchings on the dual of G. We then use one of these homologies, in the case where X is a graph, to define a conjecturally optimal dissimilarity pseudometric for graphs; we prove various results for this dissimilarity and provide several computations. We further show that, by organising the horizontal homologies of a simplicial complex in the poset of its colourings, we obtain a triply graded homology theory which we call überhomology. This latter homology is not a homotopy invariant, but nonetheless encodes both combinatorial and topological information on X. For example, we prove that if X is a subdivision, the überhomology vanishes in its lowest degree, while for an homology manifold it coincides with the fundamental class in its top degree. We compute the überhomology on several classes of examples and infinite families, and prove some of its properties; namely that, in its extremal degrees, it is well-behaved under coning and taking suspension. We then focus on the case where X is a simple graph, and prove a detection result. Finally, we define some singly-graded homologies for graphs obtained by specialising the überhomology in certain bi-degrees, provide some computations and use computer aided calculations to make some conjectures.
Discrepancy and Sparsity
Published
• View Publication
• BIB
We study the connections between the notions of combinatorial discrepancy and graph degeneracy. In particular, we prove that the maximum discrepancy over all subgraphs $H$ of a graph $G$ of the neighborhood set system of $H$ is sandwiched between $Ω(\log\mathrm{deg}(G))$ and $\mathcal{O}(\mathrm{deg}(G))$, where $\mathrm{deg}(G)$ denotes the degeneracy of $G$. We extend this result to inequalities relating weak coloring numbers and discrepancy of graph powers and deduce a new characterization of bounded expansion classes.
Then, we switch to a model theoretical point of view, introduce pointer structures, and study their relations to graph classes with bounded expansion. We deduce that a monotone class of graphs has bounded expansion if and only if all the set systems definable in this class have bounded hereditary discrepancy.
Using known bounds on the VC-density of set systems definable in nowhere dense classes we also give a characterization of nowhere dense classes in terms of discrepancy. As consequences of our results, we obtain a corollary on the discrepancy of neighborhood set systems of edge colored graphs, a polynomial-time algorithm to compute $\varepsilon$-approximations of size $\mathcal{O}(1/\varepsilon)$ for set systems definable in bounded expansion classes, an application to clique coloring, and even the non-existence of a quantifier elimination scheme for nowhere dense classes.
Compelling Colorings: A generalization of the dominator chromatic number
Published
• View Publication
• BIB
We define a $P$-compelling coloring as a proper coloring of the vertices of a graph such that every subset consisting of one vertex of each color has property $P$. The $P$-compelling chromatic number is the minimum number of colors in such a coloring. We show that this notion generalizes the dominator and total dominator chromatic numbers, and provide some general bounds and algorithmic results. We also investigate the specific cases where $P$ is that the subset contains at least one edge or that the subset is connected.
$2\times n$ Grids have Unbounded Anagram-Free Chromatic Number
Published
• View Publication
• BIB
We show that anagram-free vertex colouring a $2\times n$ square grid requires a number of colours that increases with $n$. This answers an open question in Wilson's thesis and shows that even graphs of pathwidth $2$ do not have anagram-free colourings with a bounded number of colours.
2-distance list $(Δ+ 3)$-coloring of sparse graphs
Published
• View Publication
• BIB
A 2-distance list k-coloring of a graph is a proper coloring of the vertices where each vertex has a list of at least k available colors and vertices at distance at most 2 cannot share the same color. We prove the existence of a 2-distance list $(Δ+ 3)$-coloring for graphs with maximum average degree less than $\frac83$ and maximum degree $Δ\geq 4$ as well as graphs with maximum average degree less than $\frac{14}5$ and maximum degree $Δ\geq 6$.
Sampling Colorings and Independent Sets of Random Regular Bipartite Graphs in the Non-Uniqueness Region
Published
• View Publication
• BIB
For spin systems, such as the $q$-colorings and independent-set models, approximating the partition function in the so-called non-uniqueness region, where the model exhibits long-range correlations, is typically computationally hard for bounded-degree graphs. We present new algorithmic results for approximating the partition function and sampling from the Gibbs distribution for spin systems in the non-uniqueness region on random regular bipartite graphs. We give an $\mathsf{FPRAS}$ for counting $q$-colorings for even $q=O\big(\tfracΔ{\logΔ}\big)$ on almost every $Δ$-regular bipartite graph. This is within a factor $O(\logΔ)$ of the sampling algorithm for general graphs in the uniqueness region and improves significantly upon the previous best bound of $q=O\big(\tfrac{\sqrtΔ}{(\logΔ)^2}\big)$ by Jenssen, Keevash, and Perkins (SODA'19). Analogously, for the hard-core model on independent sets weighted by $λ>0$, we present an $\mathsf{FPRAS}$ for estimating the partition function when $λ=Ω\big(\tfrac{\logΔ}Δ\big)$, which improves upon previous results by an $Ω(\log Δ)$ factor. Our results for the colorings and hard-core models follow from a general result that applies to arbitrary spin systems. Our main contribution is to show how to elevate probabilistic/analytic bounds on the marginal probabilities for the typical structure of phases on random bipartite regular graphs into efficient algorithms, using the polymer method. We further show evidence that our result for colorings is within a constant factor of best possible using current polymer-method approaches.