coloring
4497 papers tagged with this keyword
Minimal reconstructions of a coloring
A coloring on a finite or countable set $X$ is a function $\varphi: [X]^{2} \to \{0,1\}$, where $[X]^{2}$ is the collection of unordered pairs of $X$. The collection of homogeneous sets for $\varphi$, denoted by $Hom(\varphi)$, consist of all $H \subseteq X$ such that $\varphi$ is constant on $[H]^2$; clearly, $Hom(\varphi) = Hom(1-\varphi)$. A coloring $\varphi$ is \textit{reconstructible} up to complementation from its homogeneous sets if, for any coloring $ψ$ on $X$ such that $Hom(\varphi) = Hom(ψ)$, either $ψ= \varphi$ or $ψ= 1-\varphi$. By $\mathcal{R}$ we denote the collection of all colorings reconstructible from their homogeneous sets. Let $\varphi$ and $ψ$ be colorings on $X$, and set \[ D(\varphi, ψ) = \{ \{x,y\} \in [X]^2: \; ψ\{x,y\} \neq \varphi\{x,y\}\}. \] If $\varphi\not\in \mathcal{R}$, let \[ r(\varphi) = \min\{|D(\varphi, ψ)|: \; Hom(\varphi) = Hom(ψ), \, ψ\neq \varphi, \, ψ\neq 1-\varphi\}. \] A coloring $ψ$ such that $Hom(\varphi)=Hom(ψ)$, $\varphi\neq ψ$ and $1-\varphi\neq ψ$ is called a {\em non trivial reconstruction} of $\varphi$. If, in addition, $r(\varphi) =|D(\varphi, ψ)|$, we call $ψ$ a {\em minimal reconstruction} of $\varphi$. The purpose of this article is to study the minimal reconstructions of a coloring. We show that, for large enough $X$, $r(\varphi)$ can only takes the values $1$ or $4$.
$C_{2k+1}$-coloring of bounded-diameter graphs
For a fixed graph $H$, in the graph homomorphism problem, denoted by $Hom(H)$, we are given a graph $G$ and we have to determine whether there exists an edge-preserving mapping $\varphi: V(G) \to V(H)$. Note that $Hom(C_3)$, where $C_3$ is the cycle of length $3$, is equivalent to $3$-Coloring. The question whether $3$-Coloring is polynomial-time solvable on diameter-$2$ graphs is a well-known open problem. In this paper we study the $Hom(C_{2k+1})$ problem on bounded-diameter graphs for $k\geq 2$, so we consider all other odd cycles than $C_3$. We prove that for $k\geq 2$, the $Hom(C_{2k+1})$ problem is polynomial-time solvable on diameter-$(k+1)$ graphs -- note that such a result for $k=1$ would be precisely a polynomial-time algorithm for $3$-Coloring of diameter-$2$ graphs.
Furthermore, we give subexponential-time algorithms for diameter-$(k+2)$ graphs.
We complement these results with a lower bound for diameter-$(2k+2)$ graphs -- in this class of graphs the $Hom(C_{2k+1})$ problem is NP-hard and cannot be solved in subexponential-time, unless the ETH fails.
Finally, we consider another direction of generalizing $3$-Coloring on diameter-$2$ graphs. We consider other target graphs $H$ than odd cycles but we restrict ourselves to diameter $2$. We show that if $H$ is triangle-free, then $Hom(H)$ is polynomial-time solvable on diameter-$2$ graphs.
The Berge-Füredi conjecture on the chromatic index of hypergraphs with large hyperedges
This paper is concerned with two conjectures which are intimately related. The first is a generalization to hypergraphs of Vizing's Theorem on the chromatic index of a graph and the second is the well-known conjecture of Erdős, Faber and Lovász which deals with the problem of coloring a family of cliques intersecting in at most one vertex. We are led to study a special class of uniform and linear hypergraphs for which a number of properties are established.
On the Ohba Number and Generalized Ohba Numbers of Complete Bipartite Graphs
Published
• View Publication
• BIB
We say that a graph $G$ is chromatic-choosable when its list chromatic number $χ_{\ell}(G)$ is equal to its chromatic number $χ(G)$. Chromatic-choosability is a well-studied topic, and in fact, some of the most famous results and conjectures related to list coloring involve chromatic-choosability. In 2002 Ohba showed that for any graph $G$ there is an $N \in \mathbb{N}$ such that the join of $G$ and a complete graph on at least $N$ vertices is chromatic-choosable. The Ohba number of $G$ is the smallest such $N$. In 2014, Noel suggested studying the Ohba number, $τ_{0}(a,b)$, of complete bipartite graphs with partite sets of size $a$ and $b$. In this paper we improve a 2009 result of Allagan by showing that $τ_{0}(2,b) = \lfloor \sqrt{b} \rfloor - 1$ for all $b \geq 2$, and we show that for $a \geq 2$, $τ_{0}(a,b) = Ω( \sqrt{b} )$ as $b \rightarrow \infty$. We also initiate the study of some relaxed versions of the Ohba number of a graph which we call generalized Ohba numbers. We present some upper and lower bounds of generalized Ohba numbers of complete bipartite graphs while also posing some questions.
Colouring of Maximal $F$-free Subsets
For each finite poset $F$ with $|F| > 1$, $χ_{ac}(F)$ denotes the smallest integer $n$ (if it exists) such that the elements of every finite poset $P$ with $|P| > 1$ can be coloured with at most $n$ colours so that every maximal $F$-free subset of $P$ with more than one element gets at least two colours. In this note we discuss the problem of determining $χ_{ac}(F)$ for each poset $F$, give one new result, and summarize what is known for posets $F$ with at most four elements.
On the $Δ$-edge stability number of graphs
Published in European J. Combin. 127 (2025) Paper 104167, 10 pp
• View Publication
• BIB
The $Δ$-edge stability number ${\rm es}_Δ(G)$ of a graph $G$ is the minimum number of edges of $G$ whose removal results in a subgraph $H$ with $Δ(H) = Δ(G)-1$. Sets whose removal results in a subgraph with smaller maximum degree are called mitigating sets. It is proved that there always exists a mitigating set which induces a disjoint union of paths of order $2$ or $3$. Minimum mitigating sets which induce matchings are characterized. It is proved that to obtain an upper bound of the form ${\rm es}_Δ(G) \leq c |V(G)|$ for an arbitrary graph $G$ of given maximum degree $Δ$, where $c$ is a given constant, it suffices to prove the bound for $Δ$-regular graphs. Sharp upper bounds of this form are derived for regular graphs. It is proved that if $Δ(G) \geq\frac{|V(G)|-2}{3}$ or the induced subgraph on maximum degree vertices has a $Δ(G)$-edge coloring, then ${\rm es}_Δ(G) \le \lceil |V(G)|/2\rceil$.
On balanceable and simply balanceable regular graphs
Published in European Journal of Combinatorics 124 (2025) 104045
• View Publication
• BIB
We continue the study of balanceable graphs, defined by Caro, Hansberg, and Montejano in 2021 as graphs $G$ such that any $2$-coloring of the edges of a sufficiently large complete graph containing sufficiently many edges of each color contains a balanced copy of $G$. While the problem of recognizing balanceable graphs was conjectured to be NP-complete by Dailly, Hansberg, and Ventura in 2021, balanceable graphs admit an elegant combinatorial characterization: a graph is balanceable if and only there exist two vertex subsets, one containing half of all the graph's edges and another one such that the corresponding cut contains half of all the graph's edges. We consider a special case of this property, namely when one of the two sets is a vertex cover, and call the corresponding graphs simply balanceable. We prove a number of results on balanceable and simply balanceable regular graphs. First, we characterize simply balanceable regular graphs via a condition involving the independence number of the graph. Second, we address a question of Dailly, Hansberg, and Ventura from 2021 and show that every cubic graph is balanceable. Third, using Brooks' theorem, we show that every $4$-regular graph with order divisible by $4$ is balanceable. Finally, we show that it is NP-complete to determine if a $9$-regular graph is simply balanceable.
Improved Lower Bounds for Property B
If an $n$-uniform hypergraph can be 2-colored, then it is said to have property B. Erdős (1963) was the first to give lower and upper bounds for the minimal size $m(n)$ of an $n$-uniform hypergraph without property B. His asymptotic upper bound $O(n^22^n)$ still is the best we know, his lower bound $2^{n-1}$ has seen a number of improvements, with the current best $Ω$ $(2^n\sqrt{n/\log(n)})$ established by Radhakrishnan and Srinivasan (2000). Cherkashin and Kozik (2014) provided a simplified proof of this result, using Pluhár's (2009) idea of a random greedy coloring. In the present paper, we use a refined version of this argument to obtain improved lower bounds on $m(n)$ for small values of $n$. We also study $m(n,v)$, the size of the smallest $n$-hypergraph without property B having $v$ vertices.
On the multicolor Ramsey numbers of balanced double stars
Published
• View Publication
• BIB
The balanced double star on $2n+2$ vertices, denoted $S_{n,n}$, is the tree obtained by joining the centers of two disjoint stars each having $n$ leaves. Let $R_r(G)$ be the smallest integer $N$ such that in every $r$-coloring of the edges of $K_N$ there is a monochromatic copy of $G$, and let $R_r^{\mathrm{bip}}(G)$ be the smallest integer $N$ such that in every $r$-coloring of the edges of $K_{N,N}$ there is a monochromatic copy of $G$. It is known that $R_2(S_{n,n})=3n+2$ and $R_2^{\mathrm{bip}}(S_{n,n})=2n+1$ \cite{HJ}, but very little is known about $R_r(S_{n,n})$ and $R^{\mathrm{bip}}_r(S_{n,n})$ when $r\geq 3$ (other than the bounds which follow from considerations on the number of edges in the majority color class).
In this paper we prove the following for all $n\geq 1$ (where the lower bounds are adapted from existing examples): \[(r-1)2n+1\leq R_r(S_{n,n})\leq (r-\frac{1}{2})(2n+2)-1,\]and
\[(2r-4)n+1\leq R^{\mathrm{bip}}_r(S_{n,n})\leq (2r-3+\frac{2}{r}+O(\frac{1}{r^2}))n.\] These bounds are similar to the best known bounds on $R_r(P_{2n+2})$ and $R_r^{\mathrm{bip}}(P_{2n+2})$, where $P_{2n+2}$ is a path on $2n+2$ vertices (which is also a balanced tree). We also give an example which improves the lower bound on $R^{\mathrm{bip}}_r(S_{n,n})$ when $r=3$ and $r=5$.
Quandle Coloring Quivers of general Torus links by dihedral quandles
Published
• View Publication
• BIB
We completely characterize the coloring quivers of general torus links by dihedral quandles by first exhausting all possible numbers of colorings, followed by determining the interconnections between colorings in each case. The quiver is obtained as function of the number of colorings. The quiver always contains complete subgraphs, in particular a complete subgraph corresponding to the trivial colorings, but the total number of subgraphs in the quiver and the weights of their edges varies depending on the number of colorings.
Symmetric Perfect $2$-colorings on $J(10,3)$
Published
• View Publication
• BIB
We study perfect $2$-coloring of the Johnson graphs $J(n,3)$ associated with the third largest eigenvalue and symmetric quotient matrix, which exists only when $n \in \{6, 10\}$. We survey the known constructions in the case $n=6$, give a new construction for the two known perfect $2$-colorings in the case $n=10$, and prove that these are the only possible ones.
On the mod $k$ chromatic index of graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:3, Graph Theory (November 10, 2024) dmtcs:13187
• View Publication
• BIB
For a graph $G$ and an integer $k\geq 2$, a $χ'_{k}$-coloring of $G$ is an edge coloring of $G$ such that the subgraph induced by the edges of each color has all degrees congruent to $1 ~ (\mod k)$, and $χ'_{k}(G)$ is the minimum number of colors in a $χ'_{k}$-coloring of $G$. In ["The mod $k$ chromatic index of graphs is $O(k)$", J. Graph Theory. 2023; 102: 197-200], Botler, Colucci and Kohayakawa proved that $χ'_{k}(G)\leq 198k-101$ for every graph $G$. In this paper, we show that $χ'_{k}(G) \leq 177k-93$.
Bounds for Rainbow-uncommon Graphs
Published
• View Publication
• BIB
We say a graph $H$ is $r$-rainbow-uncommon if the maximum number of rainbow copies of $H$ under an $r$-coloring of $E(K_n)$ is asymptotically (as $n \to \infty$) greater than what is expected from uniformly random $r$-colorings. Via explicit constructions, we show that for $H\in\{K_3,K_4, K_5\}$, $H$ is $r$-rainbow-uncommon for all $r\geq {|V(H)|\choose 2}$. We also construct colorings to show that for $t \geq 6$, $K_t$ is $r$-rainbow-uncommon for sufficiently large $r$.
On some path-critical Ramsey numbers
Published
• View Publication
• BIB
For graphs $G$ and $H$, the Ramsey number $R(G,H)$ is the smallest $r$ such that any red-blue edge coloring of $K_r$ contains a red $G$ or a blue $H$. The path-critical Ramsey number $R_π(G,H)$ is the largest $n$ such that any red-blue edge coloring of $K_r \setminus P_{n}$ contains a red $G$ or a blue $H$, where $r=R(G,H)$ and $P_{n}$ is a path of order $n$. In this note, we show a general upper bound for $R_π(G,H)$, and determine the exact values for some cases of $R_π(G,H)$.
e-injective coloring: injective and 2-distance colorings conjectures
Published
• View Publication
• BIB
An injective coloring of a given graph G = (V, E) is a vertex coloring of G such that any two vertices with common neighbor receive distinct colors. An e-injective coloring of a graph G is a vertex coloring of G such that any two vertices with common edge neighbor receive distinct colors; in the other words, if u and v are the end of a path P4 in a graph G, then they are assigned with different labels. With this new definition, we want to take a review at injective coloring of a graph from the new point of view. For this purpose, we will have a comparison between e-injective coloring with usual coloring, injective coloring, and 2-distance coloring. As well, we review the conjectures raised so far in the literature of injective coloring and 2-distance coloring, from the new approach, e-injective coloring. Finally, we precisely investigate the e-injective coloring of trees, join of two graphs, a family of standard graphs, grid graphs, cylinder graphs and tori graphs.
Combinatorial designs, difference sets and bent functions as perfect colorings of graphs and multigraphs
Published in Siberian Mathematical Journal, 2020, Vol. 61, No. 5, P. 867-877
• View Publication
• BIB
It is proved that 1) the indicator function of some onefold or multifold independent set in a regular graph is a perfect coloring if and only if the set attain the Delsarte--Hoffman bound; 2) each transversal in a uniform regular hypergraph is an independent set attaining the Delsarte--Hoffman bound in the vertex adjacency multigraph of this hypergraph; 3) combinatorial designs with parameters $t$-$(v,k,λ)$ and similar $q$-designs, difference sets, Hadamard matrices, and bent functions are equivalent to perfect colorings of special graphs and multigraphs, in particular, it is true in the cases of the Johnson graphs $J(n,k)$ for $(k-1)$-$(v,k,λ)$ designs and the Grassmann graphs $J_2(n,2)$ for bent functions.
Keywords: perfect coloring, equitable partition, transversal of hypergraph, combinatorial design, $q$-design, difference set, bent function, Johnson graph, Grassmann graph, Delsarte--Hoffman bound
The clique chromatic number of sparse random graphs
Published
• View Publication
• BIB
The clique chromatic number of a graph is the smallest number of colors in a vertex coloring so that no maximal clique is monochromatic. In this paper, we determine the order of magnitude of the clique chromatic number of the random graph G_{n,p} for most edge-probabilities p in the range n^{-2/5} \ll p \ll 1. This resolves open problems and questions of Lichev, Mitsche and Warnke as well as Alon and Krievelevich.
One major proof difficulty stems from high-degree vertices, which prevent maximal cliques in their neighborhoods: we deal with these vertices by an intricate union bound argument, that combines the probabilistic method with new degree counting arguments in order to enable Janson's inequality. This way we determine the asymptotics of the clique chromatic number of G_{n,p} in some ranges, and discover a surprising new phenomenon that contradicts earlier predictions for edge-probabilities p close to n^{-2/5}.
Bounds for the independence and chromatic numbers of locally sparse graphs
Published
• View Publication
• BIB
In this note we consider a more general version of local sparsity introduced recently by Anderson, Kuchukova, and the author. In particular, we say a graph $G = (V, E)$ is $(k, r)$-locally-sparse if for each vertex $v \in V(G)$, the subgraph induced by its neighborhood contains at most $k$ cliques of size $r$. For $r \geq 3$ and $ε\in [0, 1]$, we show that an $n$-vertex $(Δ^{εr}, r)$-locally-sparse graph $G$ of maximum degree $Δ$ satisfies $α(G) \geq (1-o(1))\dfrac{n}{ηΔ}$ and $χ(G) \leq Θ\left(ηΔ\right)$, where $η:= ε+ \dfrac{r\log\log Δ}{\log Δ}$. For $ε$ not too large, the hidden constant in the $Θ(\cdot)$ can be taken to be $1+o(1)$. Setting $ε= 0$, we recover classical results on $K_{r+1}$-free graphs due to Shearer and Johansson, which were more recently improved by Davies, Kang, Pirot, and Sereni. We prove a stronger result on the independence number in terms of the occupancy fraction in the hard-core model, and establish a local version of the coloring result in the more general setting of correspondence coloring.
Turtles, Hats and Spectres: Aperiodic structures on a Rhombic tiling
These notes derive aperiodic monotiles (arXiv:2303.10798) from a set of rhombuses with matching rules. This dual construction is used to simplify the proof of aperiodicity by considering the tiling as a colouring game on a Rhombille tiling. A simple recursive substitution system is then introduced to show the existence of a non-periodic tiling without the need for computer-aided verification.
A new cut-and-project style construction linking the Turtle tiling with 1-dimensional Fibonacci words provides a second proof of non-periodicity, and an alternative demonstration that the Turtle can tile the plane.
Deforming the Turtle into the Hat tile then provides a third proof for non-periodicity by considering the effect on the lattice underlying the Rhombille tiling.
Finally, attention turns to the Spectre tile. In collaboration with Erhard Künzel and Yoshiaki Araki, we present two new substitution rules for generating Spectre tilings. This pair of conjugate rules show that the aperiodic monotile tilings can be considered as a 2-dimensional analog to Sturmian words.
Coloring locally sparse graphs
Published
• View Publication
• BIB
A graph $G$ is $k$-locally sparse if for each vertex $v \in V(G)$, the subgraph induced by its neighborhood contains at most $k$ edges. Alon, Krivelevich, and Sudakov showed that for $f > 0$ if a graph $G$ of maximum degree $Δ$ is $Δ^2/f$-locally-sparse, then $χ(G) = O\left(Δ/\log f\right)$. We introduce a more general notion of local sparsity by defining graphs $G$ to be $(k, F)$-locally-sparse for some graph $F$ if for each vertex $v \in V(G)$ the subgraph induced by the neighborhood of $v$ contains at most $k$ copies of $F$. Employing the Rödl nibble method, we prove the following generalization of the above result: for every bipartite graph $F$, if $G$ is $(k, F)$-locally-sparse, then $χ(G) = O\left( Δ/\log\left(Δk^{-1/|V(F)|}\right)\right)$. This improves upon results of Davies, Kang, Pirot, and Sereni who consider the case when $F$ is a path. Our results also recover the best known bound on $χ(G)$ when $G$ is $K_{1, t, t}$-free for $t \geq 4$, and hold for list and correspondence coloring in the more general so-called ''color-degree'' setting.