coloring
4497 papers tagged with this keyword
Coloring of cozero-divisor graphs of commutative von Neumann regular rings
Published
• View Publication
• BIB
Let $R$ be a commutative ring with non-zero identity. The cozero-divisor graph of $R$, denoted by $Γ^{\prime}(R)$, is a graph with vertices in $W^*(R)$, which is the set of all non-zero and non-unit elements of $R$, and two distinct vertices $a$ and $b$ in $W^*(R)$ are adjacent if and only if $a\not\in Rb$ and $b\not\in Ra$. In this paper, we show that the cozero-divisor graph of a von Neumann regular ring with finite clique number is not only weakly perfect but also perfect. Also, an explicit formula for the clique number is given.
Rooted complete minors in line graphs with a Kempe coloring
Published in Graphs and Combinatorics (2019) 35:551-557
• View Publication
• BIB
It has been conjectured that if a finite graph has a vertex coloring such that the union of any two color classes induces a connected graph, then for every set $T$ of vertices containing exactly one member from each color class there exists a complete minor such that $T$ contains exactly one member from each branching set. Here we prove the statement for line graphs.
One-dependent colorings of the star graph
Published
• View Publication
• BIB
This paper is concerned with symmetric $1$-dependent colorings of the $d$-ray star graph $\mathscr{S}^d$ for $d \ge 2$. We compute the critical point of the $1$-dependent hard-core processes on $\mathscr{S}^d$, which gives a lower bound for the number of colors needed for a $1$-dependent coloring of $\mathscr{S}^d$. We provide an explicit construction of a $1$-dependent $q$-coloring for any $q \ge 5$ of the infinite subgraph $\mathscr{S}^3_{(1,1,\infty)}$, which is symmetric in the colors and whose restriction to any path is some symmetric $1$-dependent $q$-coloring. We also prove that there is no such coloring of $\mathscr{S}^3_{(1,1,\infty)}$ with $q = 4$ colors. A list of open problems are presented.
On incidence choosability of cubic graphs
Published
• View Publication
• BIB
An incidence of a graph $G$ is a pair $(u,e)$ where $u$ is a vertex of $G$ and $e$ is an edge of $G$ incident with $u$. Two incidences $(u,e)$ and $(v,f)$ of $G$ are adjacent whenever (i) $u=v$, or (ii) $e=f$, or (iii) $uv=e$ or $uv=f$. An incidence $k$-coloring of $G$ is a mapping from the set of incidences of $G$ to a set of $k$ colors such that every two adjacent incidences receive distinct colors. The notion of incidence coloring has been introduced by Brualdi and Quinn Massey (1993) from a relation to strong edge coloring, and since then, attracted by many authors. On a list version of incidence coloring, it was shown by Benmedjdoub et. al. (2017) that every Hamiltonian cubic graph is incidence 6-choosable. In this paper, we show that every cubic (loopless) multigraph is incidence 6-choosable. As a direct consequence, it implies that the list strong chromatic index of a $(2,3)$-bipartite graph is at most 6, where a (2,3)-bipartite graph is a bipartite graph such that one partite set has maximum degree at most 2 and the other partite set has maximum degree at most 3.
Progress on the adjacent vertex distinguishing edge colouring conjecture
Published in SIAM Journal on Discrete Mathematics, 34/4:2221-2238, 2020
• View Publication
• BIB
A proper edge colouring of a graph is adjacent vertex distinguishing if no two adjacent vertices see the same set of colours. Using a clever application of the Local Lemma, Hatami (2005) proved that every graph with maximum degree $Δ$ and no isolated edge has an adjacent vertex distinguishing edge colouring with $Δ+ 300$ colours, provided $Δ$ is large enough. We show that this bound can be reduced to $Δ+ 19$. This is motivated by the conjecture of Zhang, Liu, and Wang (2002) that $Δ+ 2$ colours are enough for $Δ\geq 3$.
Generalized Hypergraph Coloring
Published
• View Publication
• BIB
A smooth hypergraph property $\mathcal{P}$ is a class of hypergraphs that is hereditary and non-trivial, i.e., closed under induced subhypergraphs and it contains a non-empty hypergraph but not all hypergraphs. In this paper we examine $\mathcal{P}$-colorings of hypergraphs with smooth hypergraph properties $\mathcal{P}$. A $\mathcal{P}$-coloring of a hypergraph $H$ with color set $C$ is a function $\varphi:V(H) \to C$ such that $H[\varphi^{-1}(c)]$ belongs to $\mathcal{P}$ for all $c \in C$. Let $L: V(H) \to 2^C$ be a so called list-assignment of the hypergraph $H$. Then, a $(\mathcal{P},L)$-coloring of $H$ is a $\mathcal{P}$-coloring $\varphi$ of $H$ such that $\varphi(v) \in L(v)$ for all $v \in V(H)$. The aim of this paper is a characterization of $(\mathcal{P},L)$-critical hypergraphs. Those are hypergraphs $H$ such $H-v$ is $(\mathcal{P},L)$-colorable for all $v \in V(H)$ but $H$ itself is not. Our main theorem is a Gallai-type result for critical hypergraphs, which implies a Brooks-type result for $(\mathcal{P},L)$-colorable hypergraphs. In the last section, we prove a Gallai bound for the degree sum of $(\mathcal{P},L)$-critical locally linear hypergraphs.
On coprime percolation, the visibility graphon, and the local limit of the GCD profile
Published
• View Publication
• BIB
Colour an element of $\mathbb{Z}^d$ white if its coordinates are coprime and black otherwise. What does this colouring look like when seen from a "uniformly chosen" point of $\mathbb{Z}^d$? More generally, label every element of $\mathbb{Z}^d$ by its GCD: what do the labels look like around a "uniform" point of $\mathbb{Z}^d$? We answer these questions and generalisations of them, provide results of graphon convergence, as well as a "local/graphon" convergence. One can also investigate the percolative properties of the colouring under study.
Solvability of Mazes by Blind Robots
In this paper we introduce and investigate a new type of automata which turns out to be rich in deep and complex phenomena. For our model, a maze is a countable strongly connected digraph called the board together with a proper colouring of its edges (the edges leaving a vertex have distinct colours) and two special vertices: the origin and the destination. A pointer or robot starts at the origin of a maze and moves naturally between its vertices, according to a finite or infinite sequence of specific instructions from the set of all colours called an algorithm; if the robot is at a vertex for which there is no out-edge of the colour indicated by the instruction, it remains at that vertex and proceeds to execute the next instruction in the sequence. The central object of study is the existence of algorithms that simultaneously solve, that is guide the robot to visit the destination in, certain large sets of mazes.
One of the most natural and interesting sets of mazes arises from the square lattice $\Z^2$ viewed as a graph with arbitrarily many edges removed (each edge corresponds to a pair of opposite directed edges), together with the suggestive colouring that assigns to each directed edge the corresponding cardinal direction. In this set-up, a research question of Leader and Spink from 2011, which proved to be very profound, asks whether there exists an algorithm which solves this set of mazes.
In this paper we make progress towards this question. We consider the subset of all such mazes which have arbitrarily many horizontal edges removed but only finitely many vertical edges removed in consecutive columns, and construct an algorithm which solves this subset of mazes.
Partitions of hypergraphs under variable degeneracy constraints
Published
• View Publication
• BIB
The paper deals with partitions of hypergraphs into induced subhypergraphs satisfying constraints on their degeneracy. Our hypergraphs may have multiple edges, but no loops. Given a hypergraph $H$ and a sequence $f=(f_1,f_2, \ldots, f_p)$ of $p\geq 1$ vertex functions $f_i:V(H) \to \mathbb{N}_0$ such that $f_1(v)+f_2(v)+ \cdots + f_p(v)\geq d_H(v)$ for all $v\in V(H)$, we want to find a sequence $(H_1,H_2, \ldots, H_p)$ of vertex disjoint induced subhypergraphs containing all vertices of $H$ such that each hypergraph $H_i$ is strictly $f_i$-degenerate, that is, for every non-empty subhypergraph $H'\subseteq H_i$ there is a vertex $v\in V(H')$ such that $d_{H'}(v)<f_i(v)$. Our main result in this paper says that such a sequence of hypergraphs exists if and only if $(H,f)$ is not a so-called hard pair. Hard pairs form a recursively defined family of configurations, obtained from three basic types of configurations by the operation of merging a vertex. Our main result has several interesting applications related to generalized hypergraph coloring problems.
Every planar graph without adjacent cycles of length at most $8$ is $3$-choosable
Published
• View Publication
• BIB
DP-coloring as a generalization of list coloring was introduced by Dvořák and Postle in 2017, who proved that every planar graph without cycles from 4 to 8 is 3-choosable, which was conjectured by Borodin {\it et al.} in 2007. In this paper, we prove that every planar graph without adjacent cycles of length at most $8$ is $3$-choosable, which extends this result of Dvořák and Postle.
Rapid mixing of Glauber dynamics for colorings below Vigoda's $11/6$ threshold
A well-known conjecture in computer science and statistical physics is that Glauber dynamics on the set of $k$-colorings of a graph $G$ on $n$ vertices with maximum degree $Δ$ is rapidly mixing for $k \geq Δ+2$. In FOCS 1999, Vigoda showed rapid mixing of flip dynamics with certain flip parameters on the set of proper $k$-colorings for $k > \frac{11}{6}Δ$, implying rapid mixing for Glauber dynamics. In this paper, we obtain the first improvement beyond the $\frac{11}{6}Δ$ barrier for general graphs by showing rapid mixing for $k > (\frac{11}{6} - η)Δ$ for some positive constant $η$. The key to our proof is combining path coupling with a new kind of metric that incorporates a count of the extremal configurations of the chain. Additionally, our results extend to list coloring, a widely studied generalization of coloring. Combined, these results answer two open questions from Frieze and Vigoda's 2007 survey paper on Glauber dynamics for colorings.
Monochromatic balanced components, matchings, and paths in multicolored complete bipartite graphs
Published
• View Publication
• BIB
It is well-known that in every $r$-coloring of the edges of the complete bipartite graph $K_{n,n}$ there is a monochromatic connected component with at least ${2n\over r}$ vertices. It would be interesting to know whether we can additionally require that this large component be balanced; that is, is it true that in every $r$-coloring of $K_{n,n}$ there is a monochromatic component that meets both sides in at least $n/r$ vertices?
Over forty years ago, Gyárfás and Lehel and independently Faudree and Schelp proved that any $2$-colored $K_{n,n}$ contains a monochromatic $P_n$. Very recently, Bucić, Letzter and Sudakov proved that every $3$-colored $K_{n,n}$ contains a monochromatic connected matching (a matching whose edges are in the same connected component) of size $\lceil n/3 \rceil$. So the answer is strongly "yes" for $1\leq r\leq 3$.
We provide a short proof of (a non-symmetric version of) the original question for $1\leq r\leq 3$; that is, every $r$-coloring of $K_{m,n}$ has a monochromatic component that meets each side in a $1/r$ proportion of its part size. Then, somewhat surprisingly, we show that the answer to the question is "no" for all $r\ge 4$. For instance, there are $4$-colorings of $K_{n,n}$ where the largest balanced monochromatic component has $n/5$ vertices in both partite classes (instead of $n/4$). Our constructions are based on lower bounds for the $r$-color bipartite Ramsey number of $P_4$, denoted $f(r)$, which is the smallest integer $\ell$ such that in every $r$-coloring of the edges of $K_{\ell,\ell}$ there is a monochromatic path on four vertices. Furthermore, combined with earlier results, we determine $f(r)$ for every value of $r$.
Uniqueness for the 3-State Antiferromagnetic Potts Model on the Tree
Published
• View Publication
• BIB
The antiferromagnetic $q$-state Potts model is perhaps the most canonical model for which the uniqueness threshold on the tree is not yet understood, largely because of the absence of monotonicities. Jonasson established the uniqueness threshold in the zero-temperature case, which corresponds to the $q$-colourings model. In the permissive case (where the temperature is positive), the Potts model has an extra parameter $β\in(0,1)$, which makes the task of analysing the uniqueness threshold even harder and much less is known.
In this paper, we focus on the case $q=3$ and give a detailed analysis of the Potts model on the tree by refining Jonasson's approach. In particular, we establish the uniqueness threshold on the $d$-ary tree for all values of $d\geq 2$. When $d\geq3$, we show that the 3-state antiferromagnetic Potts model has uniqueness for all $β\geq 1-3/(d+1)$. The case $d=2$ is critical since it relates to the 3-colourings model on the binary tree ($β=0$), which has non-uniqueness. Nevertheless, we show that the Potts model has uniqueness for all $β\in (0,1)$ on the binary tree. Both of these results are tight since it is known that uniqueness does not hold in the complementary regime.
Our proof technique gives for general $q>3$ an analytical condition for proving uniqueness based on the two-step recursion on the tree, which we conjecture to be sufficient to establish the uniqueness threshold for all non-critical cases ($q\neq d+1$).
Perfect colourings of regular graphs
Published
• View Publication
• BIB
A vertex colouring of some graph is called perfect if each vertex of colour $i$ has exactly $a_{ij}$ neighbours of colour $j$. Being perfect imposes several restrictions on the colour incidence matrix $(a_{ij})$. We list several (old and new) necessary conditions for a matrix to be the colour incidence matrix of a perfect colouring. Moreover we show that a certain combination of these conditions is also sufficient. Using this we determine a list of all colour incidence matrices corresponding to perfect colourings of 3-regular, 4-regular and 5-regular graphs with two, three and four colours, respectively. As an application we determine all perfect colourings of the edge graphs of the Platonic solids with two, three and four colours, respectively.
Colorings v.s. list colorings of uniform hypergraphs
Published
• View Publication
• BIB
Let $r$ be an integer with $r\ge 2$ and $G$ be a connected $r$-uniform hypergraph with $m$ edges. By refining the broken cycle theorem for hypergraphs, we show that if $k>\frac{m-1}{\ln(1+\sqrt{2})}\approx 1.135 (m-1)$ then the $k$-list assignment of $G$ admitting the fewest colorings is the constant list assignment. This extends the previous results of Donner, Thomassen and the current authors for graphs.
Three-colour bipartite Ramsey number for graphs with small bandwidth
Published
• View Publication
• BIB
We estimate the $3$-colour bipartite Ramsey number for balanced bipartite graphs $H$ with small bandwidth and bounded maximum degree. More precisely, we show that the minimum value of $N$ such that in any $3$-edge colouring of $K_{N,N}$ there is a monochromatic copy of $H$ is at most $\big(3/2+o(1)\big)|V(H)|$. In particular, we determine asymptotically the $3$-colour bipartite Ramsey number for balanced grid graphs.
Boxicity, poset dimension, and excluded minors
Published in Electronic Journal of Combinatorics 25(4) (2018), #P4.51
• View Publication
• BIB
In this short note, we relate the boxicity of graphs (and the dimension of posets) with their generalized coloring parameters. In particular, together with known estimates, our results imply that any graph with no $K_t$-minor can be represented as the intersection of $O(t^2\log t)$ interval graphs (improving the previous bound of $O(t^4)$), and as the intersection of $\tfrac{15}2 t^2$ circular-arc graphs.
Single-conflict colouring
Given a multigraph, suppose that each vertex is given a local assignment of $k$ colours to its incident edges. We are interested in whether there is a choice of one local colour per vertex such that no edge has both of its local colours chosen. The least $k$ for which this is always possible given any set of local assignments we call the {\em single-conflict chromatic number} of the graph. This parameter is closely related to separation choosability and adaptable choosability. We show that single-conflict chromatic number of simple graphs embeddable on a surface of Euler genus $g$ is $O(g^{1/4}\log g)$ as $g\to\infty$. This is sharp up to the logarithmic factor.
Colouring set families without monochromatic k-chains
Published
• View Publication
• BIB
A coloured version of classic extremal problems dates back to Erdős and Rothschild, who in 1974 asked which $n$-vertex graph has the maximum number of 2-edge-colourings without monochromatic triangles. They conjectured that the answer is simply given by the largest triangle-free graph. Since then, this new class of coloured extremal problems has been extensively studied by various researchers. In this paper we pursue the Erdős--Rothschild versions of Sperner's Theorem, the classic result in extremal set theory on the size of the largest antichain in the Boolean lattice, and Erdős' extension to $k$-chain-free families.
Given a family $\mathcal{F}$ of subsets of $[n]$, we define an $(r,k)$-colouring of $\mathcal{F}$ to be an $r$-colouring of the sets without any monochromatic $k$-chains $F_1 \subset F_2 \subset \dots \subset F_k$. We prove that for $n$ sufficiently large in terms of $k$, the largest $k$-chain-free families also maximise the number of $(2,k)$-colourings. We also show that the middle level, $\binom{[n]}{\lfloor n/2 \rfloor}$, maximises the number of $(3,2)$-colourings, and give asymptotic results on the maximum possible number of $(r,k)$-colourings whenever $r(k-1)$ is divisible by three.
Algebras with two multiplications and their cumulants
Published in Journal of Algebraic Combinatorics 52, 157-186 (2020)
• View Publication
• BIB
Cumulants are a notion that comes from the classical probability theory, they are an alternative to a notion of moments. We adapt the probabilistic concept of cumulants to the setup of a linear space equipped with two multiplication structures. We present an algebraic formula which involves those two multiplications as a sum of products of cumulants. In our approach, beside cumulants, we make use of standard combinatorial tools as forests and their colourings. We also show that the resulting statement can be understood as an analogue of Leonov--Shiraev's formula. This purely combinatorial presentation leads to some conclusions about structure constant of Jack characters.