coloring
4497 papers tagged with this keyword
Some multivariable Rado numbers
The Rado number of an equation is a Ramsey-theoretic quantity associated to the equation. Let $\mathcal{E}$ be a linear equation. Denote by $\operatorname{R}_r(\mathcal{E})$ the minimal integer, if it exists, such that any $r$-coloring of $[1,\operatorname{R}_r(\mathcal{E})]$ must admit a monochromatic solution to $\mathcal{E}$. In this paper, we give upper and lower bounds for the Rado number of $\sum_{i=1}^{m-2}x_i+kx_{m-1}=\ell x_{m}$, and some exact values are also given. Furthermore, we derive some results for the cases that $\ell=m=4$ and $m=5, \ell=k+i \ (1\leq i\leq 5)$. As a generalization, the \emph{$r$-color Rado numbers} for linear equations $\mathcal{E}_1,\mathcal{E}_2,...,\mathcal{E}_r$ is defined as the minimal integer, if it exists, such that any $r$-coloring of $[1,\operatorname{R}_r(\mathcal{E}_1,\mathcal{E}_2,...,\mathcal{E}_r)]$ must admit a monochromatic solution to some $\mathcal{E}_i$, where $1\leq i\leq r$. A lower bound for $\operatorname{R}_r(\mathcal{E}_1,\mathcal{E}_2,...,\mathcal{E}_r)$ and the exact values of $\operatorname{R}_2(x+y=z,\ell x=y)=5k$ and $\operatorname{R}_2(x+y=z, x+a=y)$ was given by Lovász Local Lemma.
Coloring closed Noetherian graphs
Published
• View Publication
• BIB
If G is a closed Noetherian graph on a sigma-compact Polish space without an infinite clique, it is consistent with the choiceless set theory ZF+DC that G is countably chromatic and there is no Vitali set.
A note on the conflict-free chromatic index
Published
• View Publication
• BIB
Let $G$ be a graph with maximum degree $Δ$ and without isolated vertices. An edge colouring $c$ of $G$ is conflict-free if the closed neighbourhood of every edge includes a uniquely coloured element. The least number of colours admitting such $c$ is the conflict-free chromatic index of $G$, denoted by $χ'_{CF}(G)$. In "Conflict-free chromatic number versus conflict-free chromatic index" [J. Graph Theory, 2022; 99: 349--358] it was recently proved by means of the probabilistic method that $χ'_{CF}(G)\leq C_1\log_2Δ+C_2$, where $C_1>337$ and $C_2$ are constants, whereas there are families of graphs with $χ'_{CF}(G)\geq (1-o(1))\log_2Δ$. In this note we provide an explicit simple proof of the fact that $χ'_{CF}(G)\leq 3\log_2Δ+1$, which is a corollary of a stronger result: $χ'_{CF}(G)\leq 3\log_2χ(G)+1$. For this aim we prove a few auxiliary observations, implying in particular that $χ'_{CF}(G)\leq 4$ for bipartite graphs.
Remarks on proper conflict-free colorings of graphs
Published
• View Publication
• BIB
A vertex coloring of a graph is said to be \textit{conflict-free} with respect to neighborhoods if for every non-isolated vertex there is a color appearing exactly once in its (open) neighborhood. As defined in [Fabrici et al., \textit{Proper Conflict-free and Unique-maximum Colorings of Planar Graphs with Respect to Neighborhoods}, arXiv preprint], the minimum number of colors in any such proper coloring of graph $G$ is the PCF chromatic number of $G$, denoted $χ_{\mathrm{pcf}}(G)$. In this paper, we determine the value of this graph parameter for several basic graph classes including trees, cycles, hypercubes and subdivisions of complete graphs. We also give upper bounds on $χ_{\mathrm{pcf}}(G)$ in terms of other graph parameters. In particular, we show that $χ_{\mathrm{pcf}}(G) \leq5Δ(G)/2$ and characterize equality. Several sufficient conditions for PCF $k$-colorability of graphs are established for $4\le k\le 6$. The paper concludes with few open problems.
A study on edge coloring and edge sum coloring of integral sum graphs
Frank Harary introduced the concept of integral sum graph. A graph $G$ is an \emph{ integral sum graph} if its vertices can be labeled with distinct integers so that $e = uv$ is an edge of $G$ if and only if the sum of the labels on vertices $u$ and $v$ is also a label in $G.$ For any non-empty set of integers $S$, let $G^+(S)$ denote the integral sum graph on the set $S$. In $G^+(S)$, we define an \emph{edge-sum class} as the set of all edges each with same edge sum number and call $G^+(S)$ an \emph{edge sum color graph} if each edge-sum class is considered as an edge color class of $G^+(S)$. The number of distinct edge-sum classes of $G^+(S)$ is called its \emph{ edge sum chromatic number}. The main results of this paper are (i) the set of all edge-sum classes of an integral sum graph partitions its edge set; (ii) the edge chromatic number and the edge sum chromatic number are equal for the integral sum graphs $G_{0,s}$ and $S_n$, Star graph of order $n$, whereas it is not in the case of $G_{r,s} = G^+([r,s])$, $r < 0 < s$, $n,s \geq 2$, $n,r,s\in\mathbb{N}$. We also obtain an interesting integral sum labeling of Star graphs.
Improved bounds for acyclic coloring parameters
Published
• View Publication
• BIB
The {\em acyclic chromatic number} of a graph is the least number of colors needed to properly color its vertices so that none of its cycles has only two colors. The {\em acyclic chromatic index} is the analogous graph parameter for edge colorings. We first show that the acyclic chromatic index is at most $2Δ-1$, where $Δ$ is the maximum degree of the graph. We then show that for all $ε>0$ and for $Δ$ large enough (depending on $ε$), the acyclic chromatic number of the graph is at most $\lceil(4^{-1/3} +ε) Δ^{4/3} \rceil +Δ+ 1$. Both results improve long chains of previous successive advances. Both are algorithmic, in the sense that the colorings are generated by randomized algorithms. Previous randomized algorithms assume the availability of enough colors to guarantee properness deterministically and use additional colors in dealing with the bichromatic cycles in a randomized fashion. In contrast, our algorithm initially generates colorings that are not necessarily proper; it only aims at avoiding cycles where all pairs of edges, or vertices, that are one edge, or vertex, apart in a traversal of the cycle are homochromatic (of the same color). When this goal is reached, the algorithm checks for properness and if necessary it repeats until properness is attained. Thus savings in the number of colors is attained.
Tower Gaps in Multicolour Ramsey Numbers
Published
• View Publication
• BIB
Resolving a problem of Conlon, Fox, and Rödl, we construct a family of hypergraphs with arbitrarily large tower height separation between their $2$-colour and $q$-colour Ramsey numbers. The main lemma underlying this construction is a new variant of the Erdős--Hajnal stepping-up lemma for a generalized Ramsey number $r_k(t;q,p)$, which we define as the smallest integer $n$ such that every $q$-colouring of the $k$-sets on $n$ vertices contains a set of $t$ vertices spanning fewer than $p$ colours. Our results provide the first tower-type lower bounds on these numbers.
On sufficient conditions for planar graphs to be 5-flexible
Published
• View Publication
• BIB
In this paper, we study the flexibility of two planar graph classes $\mathcal{H}_1$, $\mathcal{H}_2$, where $\mathcal{H}_1$, $\mathcal{H}_2$ denote the set of all hopper-free planar graphs and house-free planar graphs, respectively. Let $G$ be a planar graph with a list assignment $L$. Suppose a preferred color is given for some of the vertices. We prove that if $G\in \mathcal{H}_1$ or $G\in \mathcal{H}_2$ such that all lists have size at least $5$, then there exists an $L$-coloring respecting at least a constant fraction of the preferences.
Odd Colourings of Graph Products
The odd colouring number is a new graph parameter introduced by Petruševski and Škrekovski. In this note, we show that graphs with so called product structure have bounded odd-colouring number. By known results on the product structure of $k$-planar graphs, this implies that $k$-planar graphs have bounded odd-colouring number, which answers a question of Cranston, Lafferty, and Song.
Exact Matching in Graphs of Bounded Independence Number
In the Exact Matching Problem (EM), we are given a graph equipped with a fixed coloring of its edges with two colors (red and blue), as well as a positive integer $k$. The task is then to decide whether the given graph contains a perfect matching exactly $k$ of whose edges have color red. EM generalizes several important algorithmic problems such as perfect matching and restricted minimum weight spanning tree problems. When introducing the problem in 1982, Papadimitriou and Yannakakis conjectured EM to be $\textbf{NP}$-complete. Later however, Mulmuley et al.~presented a randomized polynomial time algorithm for EM, which puts EM in $\textbf{RP}$. Given that to decide whether or not $\textbf{RP}=\textbf{P}$ represents a big open challenge in complexity theory, this makes it unlikely for EM to be $\textbf{NP}$-complete, and in fact indicates the possibility of a deterministic polynomial time algorithm. EM remains one of the few natural combinatorial problems in $\textbf{RP}$ which are not known to be contained in $\textbf{P}$, making it an interesting instance for testing the hypothesis $\textbf{RP}=\textbf{P}$. Despite EM being quite well-known, attempts to devise deterministic polynomial algorithms have remained illusive during the last 40 years and progress has been lacking even for very restrictive classes of input graphs. In this paper we finally push the frontier of positive results forward by proving that EM can be solved in deterministic polynomial time for input graphs of bounded independence number, and for bipartite input graphs of bounded bipartite independence number. This generalizes previous positive results for complete (bipartite) graphs which were the only known results for EM on dense graphs.
Odd coloring of sparse graphs and planar graphs
Published
• View Publication
• BIB
An {\it odd $c$-coloring} of a graph is a proper $c$-coloring such that each non-isolated vertex has a color appearing an odd number of times on its neighborhood. This concept was introduced very recently by Petru\v sevski and \v Skrekovski and has attracted considerable attention. Cranston investigated odd colorings of graphs with bounded maximum average degree, and conjectured that every graph $G$ with $mad(G)\leq \frac{4c-4}{c+1}$ has an odd $c$-coloring for $c\geq 4$, and proved the conjecture for $c\in\{5, 6\}$. In particular, planar graphs with girth at least $7$ and $6$ have an odd $5$-coloring and an odd $6$-coloring, respectively.
We completely resolve Cranston's conjecture. For $c\geq 7$, we show that the conjecture is true, in a stronger form that was implicitly suggested by Cranston, but for $c=4$, we construct counterexamples, which all contain $5$-cycles. On the other hand, we show that a graph $G$ with $mad(G)<\frac{22}{9}$ and no induced $5$-cycles has an odd $4$-coloring. This implies that a planar graph with girth at least 11 has an odd $4$-coloring. We also prove that a planar graph with girth at least 5 has an odd $6$-coloring.
On the bijective colouring of Cantor trees based on transducers
Published
• View Publication
• BIB
Given a vertex colouring of the infinite $n$-ary Cantor tree with $m$ colours ($n,m\geq 2$), the natural problem arises: may this colouring induce a bijective colouring of the infinite paths starting at the root, i.e., that every infinite $m$-coloured string is used for some of these paths but different paths are not coloured identically? In other words, we ask if the above vertex colouring may define a bijective short map between the corresponding Cantor spaces. We show that the answer is positive if and only if $n\geq m$, and provide an effective construction of the bijective colouring in terms of Mealy automata and functions defined by such automata. We also show that a finite Mealy automaton may define such a bijective colouring only in the trivial case, i.e. $m=n$.
Uni-width subgroups, universal elements, and lambda number of finite groups
A cyclic subgroup $N$ of a finite group $G$ is called a uni-width subgroup of $G$ if $N$ is the unique cyclic subgroup of $G$ of order $|N|$. In this article, we prove that a finite group $G$ admits a unique largest uni-width subgroup denoted by $U(1;G)$. We then show that the prime factors of the order of $U(1;G)$ influence the structure decomposition of its Fitting subgroup ${\mathrm{Fit}}(G)$. A power graph $Γ_G$ of a finite group is defined by $G$ being its set of vertices, and a pair of distinct elements $x,y \in G$ are connected by an edge if either $x \in \langle y \rangle$ or $y \in \langle x \rangle$. A universal element of a graph is a vertex that is adjacent to each of the remaining vertices. Our following result shows that a power graph $Γ_G$ of a finite non-trivial group admits a non-identity universal element if and only if it is either cyclic or a generalized quaternion $2$-group. The lambda number $λ(G)$ of a finite group $G$ is a measure of the least number of colors required for an $L(2,1)$-type of vertex coloring on $Γ_G$, which is known to be $\geq |G|$. Generalizing an earlier result, we then derive a necessary condition on a finite group $G$ such that $λ(G) = |G|$. Finally, we show that this result is best possible by exhibiting a family of groups without the necessary condition for which $λ(G) > |G|$.
Weak-odd chromatic index of special digraph classes
Published
• View Publication
• BIB
Give a digraph $D=(V(D),A(D))$, let $\partial^+_D(v)=\{vw|w\in N^+_D(v)\}$ and $\partial^-_D(v)=\{uv|u\in N^-_D(v)\}$ be semi-cuts of $v$. A mapping $\varphi:A(D)\rightarrow [k]$ is called a weak-odd $k$-edge coloring of $D$ if it satisfies the condition: for each $v\in V(D)$, there is at least one color with an odd number of occurrences on each non-empty semi-cut of $v$. We call the minimum integer $k$ the weak-odd chromatic index of $D$. When limit to 2 colors, use $def(D)$ to denote the defect of $D$, the minimum number of vertices in $D$ at which the above condition is not satisfied. In this paper, we give a descriptive characterization about the weak-odd chromatic index and the defect of semicomplete digraphs and extended tournaments, which generalize results of tournaments to broader classes. And we initiated the study of weak-odd edge covering on digraphs.
Recoloring Unit Interval Graphs with Logarithmic Recourse Budget
In this paper we study the problem of coloring a unit interval graph which changes dynamically. In our model the unit intervals are added or removed one at the time, and have to be colored immediately, so that no two overlapping intervals share the same color. After each update only a limited number of intervals is allowed to be recolored. The limit on the number of recolorings per update is called the recourse budget. In this paper we show, that if the graph remains $k$-colorable at all times, and the updates consist of insertions only, then we can achieve the amortized recourse budget of $O(k^7 \log n)$ while maintaining a proper coloring with $k$ colors. This is an exponential improvement over the result in [Bosek et al., Recoloring Interval Graphs with Limited Recourse Budget. SWAT 2020] in terms of both $k$ and $n$. We complement this result by showing the lower bound of $Ω(n)$ on the amortized recourse budget in the fully dynamic setting. Our incremental algorithm can be efficiently implemented.
As a byproduct of independent interest we include a new result on coloring proper circular arc graphs. Let $L$ be the maximum number of arcs intersecting in one point for some set of unit circular arcs $\mathcal{A}$. We show that if there is a set $\mathcal{A}'$ of non-intersecting unit arcs of size $L^2-1$ such that $\mathcal{A} \cup \mathcal{A}'$ does not contain $L+1$ arcs intersecting in one point, then it is possible to color $\mathcal{A}$ with $L$ colors. This complements the work on unit circular arc coloring, which specifies sufficient conditions needed to color $\mathcal{A}$ with $L+1$ colors or more.
A new discrete theory of pseudoconvexity
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:1, Combinatorics (May 3, 2023) dmtcs:9255
• View Publication
• BIB
Recently geometric hypergraphs that can be defined by intersections of pseudohalfplanes with a finite point set were defined in a purely combinatorial way. This led to extensions of earlier results about points and halfplanes to pseudohalfplanes, including polychromatic colorings and discrete Helly-type theorems about pseudohalfplanes.
Here we continue this line of research and introduce the notion of convex sets of such pseudohalfplane hypergraphs. In this context we prove several results corresponding to classical results about convexity, namely Helly's Theorem, Carathéodory's Theorem, Kirchberger's Theorem, Separation Theorem, Radon's Theorem and the Cup-Cap Theorem. These results imply the respective results about pseudoconvex sets in the plane defined using pseudohalfplanes.
It turns out that most of our results can be also proved using oriented matroids and topological affine planes (TAPs) but our approach is different from both of them. Compared to oriented matroids, our theory is based on a linear ordering of the vertex set which makes our definitions and proofs quite different and perhaps more elementary. Compared to TAPs, which are continuous objects, our proofs are purely combinatorial and again quite different in flavor. Altogether, we believe that our new approach can further our understanding of these fundamental convexity results.
Improved bounds for randomly colouring simple hypergraphs
We study the problem of sampling almost uniform proper $q$-colourings in $k$-uniform simple hypergraphs with maximum degree $Δ$. For any $δ> 0$, if $k \geq\frac{20(1+δ)}δ$ and $q \geq 100Δ^{\frac{2+δ}{k-4/δ-4}}$, the running time of our algorithm is $\tilde{O}(\mathrm{poly}(Δk)\cdot n^{1.01})$, where $n$ is the number of vertices. Our result requires fewer colours than previous results for general hypergraphs (Jain, Pham, and Voung, 2021; He, Sun, and Wu, 2021), and does not require $Ω(\log n)$ colours unlike the work of Frieze and Anastos (2017).
Edge-coloured graphs with only monochromatic perfect matchings and their connection to quantum physics
Published
• View Publication
• BIB
Krenn, Gu and Zeilinger initiated the study of PMValid edge-colourings because of its connection to a problem from quantum physics. A graph is defined to have a PMValid $k$-edge-colouring if it admits a $k$-edge-colouring (i.e. an edge colouring with $k$-colours) with the property that all perfect matchings are monochromatic and each of the $k$ colour classes contain at least one perfect matching.
The matching index of a graph $G$, $μ(G)$ is defined as the maximum value of $k$ for which $G$ admits a PMValid $k$-edge-colouring. It is easy to see that $μ(G)\geq 1$ if and only if $G$ has a perfect matching (due to the trivial $1$-edge-colouring which is PMValid). Bogdanov observed that for all graphs non-isomorphic to $K_4$, $μ(G)\leq 2$ and $μ(K_4)=3$. However, the characterisation of graphs for which $μ(G)=1$ and $μ(G)=2$ is not known. In this work, we answer this question. Using this characterisation, we also give a fast algorithm to compute $μ(G)$ of a graph $G$. In view of our work, the structure of PMValid $k$-edge-colourable graphs is now fully understood for all $k$. Our characterisation, also has an implication to the aforementioned quantum physics problem. In particular, it settles a conjecture of Krenn and Gu for a sub-class of graphs.
The $m$-bipartite Ramsey number $BR_m(H_1,H_2)$
Published
• View Publication
• BIB
In a $(G^1,G^2)$ coloring of a graph $G$, every edge of $G$ is in $G^1$ or $G^2$. For two bipartite graphs $H_1$ and $H_2$, the bipartite Ramsey number $BR(H_1, H_2)$ is the least integer $b\geq 1$, such that for every $(G^1, G^2)$ coloring of the complete bipartite graph $K_{b,b}$, results in either $H_1\subseteq G^1$ or $H_2\subseteq G^2$. As another view, for bipartite graphs $H_1$ and $H_2$ and a positive integer $m$, the $m$-bipartite Ramsey number $BR_m(H_1, H_2)$ of $H_1$ and $H_2$ is the least integer $n$, such that every subgraph $G$ of $K_{m,n}$ results in $H_1\subseteq G$ or $H_2\subseteq \overline{G}$. The size of $m$-bipartite Ramsey number $BR_m(K_{2,2}, K_{2,2})$, the size of $m$-bipartite Ramsey number $BR_m(K_{2,2}, K_{3,3})$ and the size of $m$-bipartite Ramsey number $BR_m(K_{3,3}, K_{3,3})$ have been computed in several articles up to now. In this paper we determine the exact value of $BR_m(K_{2,2}, K_{4,4})$ for each $m\geq 2$.
Minimum rank and failed zero forcing number of graphs
Let $G$ be a simple, finite, and undirected graph with vertices each given an initial coloring of either blue or white. Zero forcing on graph $G$ is an iterative process of forcing its white vertices to become blue after a finite application of a specified color-change rule. We say that an initial set $S$ of blue vertices of $G$ is a zero forcing set for $G$ under the specified color-change rule if a finite number of iterations of zero forcing results to an updated coloring where all vertices of $G$ are blue. Otherwise, we say that $S$ is a failed zero forcing set for $G$ under the specified color-change rule. It is not difficult to see that any subset of a failed zero forcing set is also failed. Hence, our interest lies on the maximum possible cardinality of a failed zero forcing set, which we refer to as the failed zero forcing number of $G$. In this paper, we consider two color-change rules $-$ standard and positive semidefinite. We compute for the failed zero forcing numbers of several graph families. Furthermore, under each graph family, we characterize the graphs $G$ for which the failed zero forcing number is equal to the minimum rank of $G$.