coloring
4497 papers tagged with this keyword
Recoloring graphs of treewidth 2
Published
• View Publication
• BIB
Two (proper) colorings of a graph are adjacent if they differ on exactly one vertex. Jerrum proved that any $(d + 2)$-coloring of any d-degenerate graph can be transformed into any other via a sequence of adjacent colorings. A result of Bonamy et al. ensures that a shortest transformation can have a quadratic length even for $d = 1$. Bousquet and Perarnau proved that a linear transformation exists for between $(2d + 2)$-colorings. It is open to determine if this bound can be reduced. In this note, we prove that it can be reduced for graphs of treewidth 2, which are 2-degenerate. There exists a linear transformation between 5-colorings. It completes the picture for graphs of treewidth 2 since there exist graphs of treewidth 2 such a linear transformation between 4-colorings does not exist.
Local Coloring Problems on Smooth Graphs
Published
• View Publication
• BIB
We construct a smooth locally finite Borel graph $G$ and a local coloring problem $Π$ such that $G$ has a coloring $V(G) \to \mathbb{N}$ that solves $Π$, but no such coloring can be Borel.
A note on fractional covers of a graph
Published in Art Discrete Appl. Math. 6(1), P1.06 (2023)
• View Publication
• BIB
A fractional colouring of a graph $G$ is a function that assigns a non-negative real value to all possible colour-classes of $G$ containing any vertex of $G$, such that the sum of these values is at least one for each vertex. The fractional chromatic number is the minimum sum of the values assigned by a fractional colouring over all possible such colourings of $G$. Introduced by Bosica and Tardif, fractional covers are an extension of fractional colourings whereby the real-valued function acts on all possible subgraphs of $G$ belonging to a given class of graphs. The fractional chromatic number turns out to be a special instance of the fractional cover number. In this work we investigate fractional covers acting on $(k+1)$-clique-free subgraphs of $G$ which, although sharing some similarities with fractional covers acting on $k$-colourable subgraphs of $G$, they exhibit some peculiarities. We first show that if a simple graph $G_2$ is a homomorphic image of a simple graph $G_1$, then the fractional cover number defined on the $(k+1)$-clique-free subgraphs of $G_1$ is bounded above by the corresponding number of $G_2$. We make use of this result to obtain bounds for the associated fractional cover number of graphs that are either $n$-colourable or $a\!\!:\!\!b$-colourable.
On Grundy and b-chromatic number of some families of graphs: a comparative study
Published in Graphs and Combinatorics 37, 605--620 (2021)
• View Publication
• BIB
The Grundy and the {\rm b}-chromatic number of graphs are two important chromatic parameters. The Grundy number of a graph $G$, denoted by $Γ(G)$ is the worst case behavior of greedy (First-Fit) coloring procedure for $G$ and the {\rm b}-chromatic number ${\rm{b}}(G)$ is the maximum number of colors used in any color-dominating coloring of $G$. Because the nature of these colorings are different they have been studied widely but separately in the literature. This paper presents a comparative study of these coloring parameters. There exists a sequence $\{G_n\}_{n\geq 1}$ with limited {\rm b}-chromatic number but $Γ(G_n)\rightarrow \infty$. We obtain families of graphs $\mathcal{F}$ such that for some adequate function $f(.)$, $Γ(G)\leq f({\rm{b}}(G))$, for each graph $G$ from the family. This verifies a previous conjecture for these families.
Digraphs and variable degeneracy
Published
• View Publication
• BIB
Let $D$ be a digraph, let $p \geq 1$ be an integer, and let $f: V(D) \to \mathbb{N}_0^p$ be a vector function with $f=(f_1,f_2,\ldots,f_p)$. We say that $D$ has an $f$-partition if there is a partition $(D_1,D_2,\ldots,D_p)$ into induced subdigraphs of $D$ such that for all $i \in [1,p]$, the digraph $D_i$ is weakly $f_i$-degenerate, that is, in every non-empty subdigraph $D'$ of $D_i$ there is a vertex $v$ such that $\min\{d_{D'}^+(v), d_{D'}^-(v)\} < f_i(v)$. In this paper, we prove that the condition $f_1(v) + f_2(v) + \ldots + f_p(v) \geq \max \{d_D^+(v),d_D^-(v)\}$ for all $v \in V(D)$ is almost sufficient for the existence of an $f$-partition and give a full characterization of the bad pairs $(D,f)$. Moreover, we describe a polynomial time algorithm that (under the previous conditions) either verifies that $(D,f)$ is a bad pair or finds an $f$-partition. Among other applications, this leads to a generalization of Brooks' Theorem as well as the list-version of Brooks' Theorem for digraphs, where a coloring of digraph is a partition of the digraph into acyclic induced subdigraphs. We furthermore obtain a result bounding the $s$-degenerate chromatic number of a digraph in terms of the maximum of maximum in-degree and maximum out-degree.
Big Ramsey degrees in universal inverse limit structures
Published
• View Publication
• BIB
We build a collection of topological Ramsey spaces of trees giving rise to universal inverse limit structures,extending Zheng's work for the profinite graph to the setting of Fraïssé classes of finite ordered binary relational structures with the Ramsey property. This work is based on the Halpern-Läuchli theorem, but different from the Milliken space of strong subtrees. Based on these topological Ramsey spaces and the work of Huber-Geschke-Kojman on inverse limits of finite ordered graphs, we prove that for each such Fraïssé class, its universal inverse limit structure has finite big Ramsey degrees under finite Baire-measurable colorings. For such \Fraisse\ classes satisfying free amalgamation as well as finite ordered tournaments and finite partial orders with a linear extension, we characterize the exact big Ramsey degrees.
Hamiltonian chromatic number of trees
Published
• View Publication
• BIB
Let $G$ be a simple finite connected graph of order $n$. The detour distance between two distinct vertices $u$ and $v$ denoted by $D(u,v)$ is the length of a longest $uv$-path in $G$. A hamiltonian coloring $h$ of a graph $G$ of order $n$ is a mapping $h : V(G) \rightarrow \{0,1,2,...\}$ such that $D(u,v) + |h(u)-h(v)| \geq n-1$, for every two distinct vertices $u$ and $v$ of $G$. The span of $h$, denoted by $span(h)$, is $\max\{|h(u)-h(v)| : u, v \in V(G)\}$. The hamiltonian chromatic number of $G$ is defined as $hc(G) := \min\{span(h)\}$ with minimum taken over all hamiltonian coloring $h$ of $G$. In this paper, we give an improved lower bound for the hamiltonian chromatic number of trees and give a necessary and sufficient condition to achieve the improved lower bound. Using this result, we determine the hamiltonian chromatic number of two families of trees.
Rainbow Perfect and Near-Perfect Matchings in Complete Graphs with Edges Colored by Circular Distance
Given an edge-colored complete graph $K_n$ on $n$ vertices, a perfect (respectively, near-perfect) matching $M$ in $K_n$ with an even (respectively, odd) number of vertices is rainbow if all edges have distinct colors. In this paper, we consider an edge coloring of $K_n$ by circular distance, and we denote the resulting complete graph by $K^{\bullet}_n$. We show that when $K^{\bullet}_n$ has an even number of vertices, it contains a rainbow perfect matching if and only if $n=8k$ or $n=8k+2$, where $k$ is a nonnegative integer. In the case of an odd number of vertices, Kirkman matching is known to be a rainbow near-perfect matching in $K^{\bullet}_n$. However, real-world applications sometimes require multiple rainbow near-perfect matchings. We propose a method for using a recursive algorithm to generate multiple rainbow near-perfect matchings in $K^{\bullet}_n$.
Clustered colouring of graph classes with bounded treedepth or pathwidth
Published
• View Publication
• BIB
The "clustered chromatic number" of a class of graphs is the minimum integer $k$ such that for some integer $c$ every graph in the class is $k$-colourable with monochromatic components of size at most $c$. We determine the clustered chromatic number of any minor-closed class with bounded treedepth, and prove a best possible upper bound on the clustered chromatic number of any minor-closed class with bounded pathwidth. As a consequence, we determine the fractional clustered chromatic number of every minor-closed class.
Rainbow and monochromatic circuits and cuts in binary matroids
Given a matroid together with a coloring of its ground set, a subset of its elements is called rainbow colored if no two of its elements have the same color. We show that if a binary matroid of rank $r$ is colored with exactly $r$ colors, then $M$ either contains a rainbow colored circuit or a monochromatic cut. As the class of binary matroids is closed under taking duals, this immediately implies that if $M$ is colored with exactly $n-r$ colors, then $M$ either contains a rainbow colored cut or a monochromatic circuit. As a byproduct, we give a characterization of binary matroids in terms of reductions to partition matroids.
Motivated by a conjecture of Bérczi et al., we also analyze the relation between the covering number of a binary matroid and the maximum number of colors or the maximum size of a color class in any of its rainbow circuit-free colorings. For simple graphic matroids, we show that there exists a rainbow circuit-free coloring that uses each color at most twice only if the graph is $(2,3)$-sparse, that is, it is independent in the $2$-dimensional rigidity matroid. Furthermore, we give a complete characterization of minimally rigid graphs admitting such a coloring.
Discrepancies of Spanning Trees and Hamilton Cycles
Published
• View Publication
• BIB
We study the multicolour discrepancy of spanning trees and Hamilton cycles in graphs. As our main result, we show that under very mild conditions, the $r$-colour spanning-tree discrepancy of a graph $G$ is equal, up to a constant, to the minimum $s$ such that $G$ can be separated into $r$ equal parts by deleting $s$ vertices. This result arguably resolves the question of estimating the spanning-tree discrepancy in essentially all graphs of interest. In particular, it allows us to immediately deduce as corollaries most of the results that appear in a recent paper of Balogh, Csaba, Jing and Pluhár, proving them in wider generality and for any number of colours. We also obtain several new results, such as determining the spanning-tree discrepancy of the hypercube. For the special case of graphs possessing certain expansion properties, we obtain exact asymptotic bounds.
We also study the multicolour discrepancy of Hamilton cycles in graphs of large minimum degree, showing that in any $r$-colouring of the edges of a graph with $n$ vertices and minimum degree at least $\frac{r+1}{2r}n + d$, there must exist a Hamilton cycle with at least $\frac{n}{r} + 2d$ edges in some colour. This extends a result of Balogh et al., who established the case $r = 2$. The constant $\frac{r+1}{2r}$ in this result is optimal; it cannot be replaced by any smaller constant.
Coloring of Graphs Avoiding Bicolored Paths of a Fixed Length
The problem of finding the minimum number of colors to color a graph properly without containing any bicolored copy of a fixed family of subgraphs has been widely studied. Most well-known examples are star coloring and acyclic coloring of graphs (Grünbaum, 1973) where bicolored copies of $P_4$ and cycles are not allowed, respectively. In this paper, we introduce a variation of these problems and study proper coloring of graphs not containing a bicolored path of a fixed length and provide general bounds for all graphs. A $P_k$-coloring of an undirected graph $G$ is a proper vertex coloring of $G$ such that there is no bicolored copy of $P_k$ in $G,$ and the minimum number of colors needed for a $P_k$-coloring of $G$ is called the $P_k$-chromatic number of $G,$ denoted by $s_k(G).$ We provide bounds on $s_k(G)$ for all graphs, in particular, proving that for any graph $G$ with maximum degree $d\geq 2,$ and $k\geq4,$ $s_k(G)=O(d^{\frac{k-1}{k-2}}).$ Moreover, we find the exact values for the $P_k$-chromatic number of the products of some cycles and paths for $k=5,6.$
Graph Polynomials and Group Coloring of Graphs
Published
• View Publication
• BIB
Let $Γ$ be an Abelian group and let $G$ be a simple graph. We say that $G$ is $Γ$-colorable if for some fixed orientation of $G$ and every edge labeling $\ell:E(G)\rightarrow Γ$, there exists a vertex coloring $c$ by the elements of $Γ$ such that $c(y)-c(x)\neq \ell(e)$, for every edge $e=xy$ (oriented from $x$ to $y$).
Langhede and Thomassen proved recently that every planar graph on $n$ vertices has at least $2^{n/9}$ different $\mathbb{Z}_5$-colorings. By using a different approach based on graph polynomials, we extend this result to $K_5$-minor-free graphs in the more general setting of field coloring. More specifically, we prove that every such graph on $n$ vertices is $\mathbb{F}$-$5$-choosable, whenever $\mathbb{F}$ is an arbitrary field with at least $5$ elements. Moreover, the number of colorings (for every list assignment) is at least $5^{n/4}$.
Distributed algorithms for fractional coloring
Published
• View Publication
• BIB
In this paper we study fractional coloring from the angle of distributed computing. Fractional coloring is the linear relaxation of the classical notion of coloring, and has many applications, in particular in scheduling. It was proved by Hasemann, Hirvonen, Rybicki and Suomela (2016) that for every real $α>1$ and integer $Δ$, a fractional coloring of total weight at most $α(Δ+1)$ can be obtained deterministically in a single round in graphs of maximum degree $Δ$, in the LOCAL model of computation. However, a major issue of this result is that the output of each vertex has unbounded size. Here we prove that even if we impose the more realistic assumption that the output of each vertex has constant size, we can find fractional colorings of total weight arbitrarily close to known tight bounds for the fractional chromatic number in several cases of interest. More precisely, we show that for any fixed $ε> 0$ and $Δ$, a fractional coloring of total weight at most $Δ+ε$ can be found in $O(\log^*n)$ rounds in graphs of maximum degree $Δ$ with no $K_{Δ+1}$, while finding a fractional coloring of total weight at most $Δ$ in this case requires $Ω(\log \log n)$ rounds for randomized algorithms and $Ω( \log n)$ rounds for deterministic algorithms. We also show how to obtain fractional colorings of total weight at most $2+ε$ in grids of any fixed dimension, for any $ε>0$, in $O(\log^*n)$ rounds. Finally, we prove that in sparse graphs of large girth from any proper minor-closed family we can find a fractional coloring of total weight at most $2+ε$, for any $ε>0$, in $O(\log n)$ rounds.
On tripartite common graphs
Published
• View Publication
• BIB
A graph H is common if the number of monochromatic copies of H in a 2-edge-colouring of the complete graph is minimised by the random colouring. Burr and Rosta, extending a famous conjecture by Erdos, conjectured that every graph is common. The conjectures by Erdos and by Burr and Rosta were disproved by Thomason and by Sidorenko, respectively, in the late 1980s. Collecting new examples for common graphs had not seen much progress since then, although very recently, a few more graphs are verified to be common by the flag algebra method or the recent progress on Sidorenko's conjecture.
Our contribution here is to give a new class of tripartite common graphs. The first example class is so-called triangle-trees, which generalises two theorems by Sidorenko and answers a question by Jagger, Šťovíček, and Thomason from 1996. We also prove that, somewhat surprisingly, given any tree T, there exists a triangle-tree such that the graph obtained by adding T as a pendant tree is still common. Furthermore, we show that adding arbitrarily many apex vertices to any connected bipartite graph on at most five vertices give a common graph.
Tight Bounds on the Probabilistic Zero Forcing on Hypercubes and Grids
Published
• View Publication
• BIB
Zero forcing is a deterministic iterative graph colouring process in which vertices are coloured either blue or white, and in every round, any blue vertices that have a single white neighbour force these white vertices to become blue. Here we study probabilistic zero forcing, where blue vertices have a non-zero probability of forcing each white neighbour to become blue. We explore the propagation time for probabilistic zero forcing on hypercubes and grids.
Equitable [[2,10],[6,6]]-partitions of the 12-cube
Published in Cryptogr. Commun. 16(5) 2024, 975-996
• View Publication
• BIB
We describe the computer-aided classification of equitable partitions of the $12$-cube with quotient matrix $[[2,10],[6,6]]$, or, equivalently, simple orthogonal arrays OA$(1536,12,2,7)$, or order-$7$ correlation-immune Boolean functions in $12$ variables with $1536$ ones (which completes the classification of unbalanced order-$7$ correlation-immune Boolean functions in $12$ variables). We find that there are $103$ equivalence classes of the considered objects, and there are only two almost-OA$(1536,12,2,8)$ among them. Additionally, we find that there are $40$ equivalence classes of pairs of disjoint simple OA$(1536,12,2,7)$ (equivalently, equitable partitions of the $12$-cube with quotient matrix $[[2,6,4], [6,2,4], [6,6,0]]$) and discuss the existence of a non-simple OA$(1536,12,2,7)$.
Keywords: orthogonal arrays, correlation-immune Boolean functions, equitable partitions, perfect colorings, intriguing sets.
The role of the Axiom of Choice in proper and distinguishing colourings
Published
• View Publication
• BIB
Call a colouring of a graph distinguishing if the only automorphism which preserves it is the identity. We investigate the role of the Axiom of Choice in the existence of certain proper or distinguishing colourings in both vertex and edge variants with special emphasis on locally finite connected graphs. We show that every locally finite connected graph has a distinguishing colouring with at most countable number of colours or every locally finite connected graph has a proper colouring with at most countable number of colours if and only if Kőnig's Lemma holds. This statement holds for both vertex and edge colourings. Furthermore, we show that it is not provable in ZF that such colourings exist even for every connected graph with maximum degree 3. We also formulate a few conditions about distinguishing and proper colourings which are equivalent to the Axiom of Choice.
On Ramsey-minimal infinite graphs
Published in The Electronic Journal of Combinatorics 28(1) (2021), #P1.46
• View Publication
• BIB
For fixed finite graphs $G$, $H$, a common problem in Ramsey theory is to study graphs $F$ such that $F \to (G,H)$, i.e. every red-blue coloring of the edges of $F$ produces either a red $G$ or a blue $H$. We generalize this study to infinite graphs $G$, $H$; in particular, we want to determine if there is a minimal such $F$. This problem has strong connections to the study of self-embeddable graphs: infinite graphs which properly contain a copy of themselves. We prove some compactness results relating this problem to the finite case, then give some general conditions for a pair $(G,H)$ to have a Ramsey-minimal graph. We use these to prove, for example, that if $G=S_\infty$ is an infinite star and $H=nK_2$, $n \ge 1$ is a matching, then the pair $(S_\infty,nK_2)$ admits no Ramsey-minimal graphs.
Turan and Ramsey numbers in linear triple systems
In this paper we study Turán and Ramsey numbers in linear triple systems, defined as $3$-uniform hypergraphs in which any two triples intersect in at most one vertex.
A famous result of Ruzsa and Szemerédi is that for any fixed $c>0$ and large enough $n$ the following Turán-type theorem holds. If a linear triple system on $n$ vertices has at least $cn^2$ edges then it contains a {\em triangle}: three pairwise intersecting triples without a common vertex. In this paper we extend this result from triangles to other triple systems, called {\em $s$-configurations}. The main tool is a generalization of the induced matching lemma from $aba$-patterns to more general ones.
We slightly generalize $s$-configurations to {\em extended $s$-configurations}. For these we cannot prove the corresponding Turán-type theorem, but we prove that they have the weaker, Ramsey property: they can be found in any $t$-coloring of the blocks of any sufficiently large Steiner triple system. Using this, we show that all unavoidable configurations with at most 5 blocks, except possibly the ones containing the sail $C_{15}$ (configuration with blocks 123, 345, 561 and 147), are $t$-Ramsey for any $t\geq 1$. The most interesting one among them is the {\em wicket}, $D_4$, formed by three rows and two columns of a $3\times 3$ point matrix. In fact, the wicket is $1$-Ramsey in a very strong sense: all Steiner triple systems except the Fano plane must contain a wicket.