arXiv++ Combinatorics

Browse math.CO papers from arXiv

coloring

4497 papers tagged with this keyword
A note on adaptable choosability and choosability with separation of planar graphs
Let $F$ be a (possibly improper) edge-coloring of a graph $G$; a vertex coloring of $G$ is \emph{adapted to} $F$ if no color appears at the same time on an edge and on its two endpoints. If for some integer $k$, a graph $G$ is such that given any list assignment $L$ to the vertices of $G$, with $|L(v)| \ge k$ for all $v$, and any edge-coloring $F$ of $G$, $G$ admits a coloring $c$ adapted to $F$ where $c(v) \in L(v)$ for all $v$, then $G$ is said to be \emph{adaptably $k$-choosable}. A {\em $(k,d)$-list assignment} for a graph $G$ is a map that assigns to each vertex $v$ a list $L(v)$ of at least $k$ colors such that $|L(x) \cap L(y)| \leq d$ whenever $x$ and $y$ are adjacent. A graph is {\em $(k,d)$-choosable} if for every $(k,d)$-list assignment $L$ there is an $L$-coloring of $G$. It has been conjectured that planar graphs are $(3,1)$-choosable. We give some progress on this conjecture by giving sufficient conditions for a planar graph to be adaptably $3$-choosable. Since $(k,1)$-choosability is a special case of adaptable $k$-choosablity, this implies that a planar graph satisfying these conditions is $(3,1)$-choosable.
2020-10-29 v4
Perfect colorings of the infinite square grid: coverings and twin colors
Published in Electron. J. Comb. 30(2) 2023, #P2.4(1-59) • View Publication • BIB
A perfect coloring (equivalent concepts are equitable partition and partition design) of a graph $G$ is a function $f$ from the set of vertices onto some finite set (of colors) such that every node of color $i$ has exactly $S(i,j)$ neighbors of color $j$, where $S(i,j)$ are constants, forming the matrix $S$ called quotient. If $S$ is an adjacency matrix of some simple graph $T$ on the set of colors, then $f$ is called a covering of the target graph $T$ by the cover graph $G$. We characterize all coverings by the infinite square grid, proving that every such coloring is either orbit (that is, corresponds to the orbit partition under the action of some group of graph automorphisms) or has twin colors (that is, two colors such that unifying them keeps the coloring perfect). The case of twin colors is separately classified. Keywords: perfect coloring, equitable partition, partition design, square grid, rectangular grid, wallpaper group, twin colors, graph covering
2020-10-22
Probabilistic Zero Forcing on Grid, Regular, and Hypercube Graphs
Probabilistic zero-forcing is a coloring process on a graph. In this process, an initial set of vertices is colored blue, and the remaining vertices are colored white. At each time step, blue vertices have a non-zero probability of forcing white neighbors to blue. The expected propagation time is the expected amount of time needed for every vertex to be colored blue. We derive asymptotic bounds for the expected propagation time of several families of graphs. We prove the optimal asymptotic bound of $Θ(m+n)$ for $m\times n$ grid graphs. We prove an upper bound of $O \left(\frac{\log d}{d} \cdot n \right)$ for $d$-regular graphs on $n$ vertices and provide a graph construction that exhibits a lower bound of $Ω\left(\frac{\log \log d}{d} \cdot n \right)$. Finally, we prove an asymptotic upper bound of $O(n \log n)$ for hypercube graphs on $2^n$ vertices.
Asymmetric Ramsey Properties of Random Graphs for Cliques and Cycles
Published • View Publication • BIB
We say that $G \to (F,H)$ if, in every edge colouring $c: E(G) \to \{1,2\}$, we can find either a $1$-coloured copy of $F$ or a $2$-coloured copy of $H$. The well-known Kohayakawa--Kreuter conjecture states that the threshold for the property $G(n,p) \to (F,H)$ is equal to $n^{-1/m_{2}(F,H)}$, where $m_{2}(F,H)$ is given by \[ m_{2}(F,H):= \max \left\{\dfrac{e(J)}{v(J)-2+1/m_2(H)} : J \subseteq F, e(J)\ge 1 \right\}. \] In this paper, we show the $0$-statement of the Kohayakawa--Kreuter conjecture for every pair of cycles and cliques.
2020-10-18 v2
A Ramsey Characterisation of Eventually Periodic Words
Published • View Publication • BIB
A factorisation $x = u_1 u_2 \cdots$ of an infinite word $x$ on alphabet $X$ is called `monochromatic', for a given colouring of the finite words $X^*$ on alphabet $X$, if each $u_i$ is the same colour. Wojcik and Zamboni proved that the word $x$ is periodic if and only if for every finite colouring of $X^*$ there is a monochromatic factorisation of $x$. On the other hand, it follows from Ramsey's theorem that, for \textit{any} word $x$, for every finite colouring of $X^*$ there is a suffix of $x$ having a monochromatic factorisation. A factorisation $x = u_1 u_2 \cdots$ is called `super-monochromatic' if each word $u_{k_1} u_{k_2} \cdots u_{k_n}$, where $k_1 < \cdots < k_n$, is the same colour. Our aim in this paper is to show that a word $x$ is eventually periodic if and only if for every finite colouring of $X^*$ there is a suffix of $x$ having a super-monochromatic factorisation. Our main tool is a Ramsey result about alternating sums that may be of independent interest.
2020-10-18 v3
Colourings of $(m, n)$-coloured mixed graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:2, Graph Theory (January 9, 2025) dmtcs:6848 • View Publication • BIB
A mixed graph is, informally, an object obtained from a simple undirected graph by choosing an orientation for a subset of its edges. A mixed graph is $(m, n)$-coloured if each edge is assigned one of $m \geq 0$ colours, and each arc is assigned one of $n \geq 0$ colours. Oriented graphs are $(0, 1)$-coloured mixed graphs, and 2-edge-coloured graphs are $(2, 0)$-coloured mixed graphs. We show that results of Sopena for vertex colourings of oriented graphs, and of Kostochka, Sopena and Zhu for vertex colourings oriented graphs and 2-edge-coloured graphs, are special cases of results about vertex colourings of $(m, n)$-coloured mixed graphs. Both of these can be regarded as a version of Brooks' Theorem.
2020-10-15
Circular chromatic number of signed graphs
Published • View Publication • BIB
A signed graph is a pair $(G, σ)$, where $G$ is a graph and $σ: E(G) \to \{+, -\}$ is a signature which assigns to each edge of $G$ a sign. Various notions of coloring of signed graphs have been studied. In this paper, we extend circular coloring of graphs to signed graphs. Given a signed graph $(G, σ)$ a circular $r$-coloring of $(G, σ)$ is an assignment $ψ$ of points of a circle of circumference $r$ to the vertices of $G$ such that for every edge $e=uv$ of $G$, if $σ(e)=+$, then $ψ(u)$ and $ψ(v)$ have distance at least $1$, and if $σ(e)=-$, then $ψ(v)$ and the antipodal of $ψ(u)$ have distance at least $1$. The circular chromatic number $χ_c(G, σ)$ of a signed graph $(G, σ)$ is the infimum of those $r$ for which $(G, σ)$ admits a circular $r$-coloring. For a graph $G$, we define the signed circular chromatic number of $G$ to be $\max\{χ_c(G, σ): σ\text{ is a signature of $G$}\}$. We study basic properties of circular coloring of signed graphs and develop tools for calculating $χ_c(G, σ)$. We explore the relation between the circular chromatic number and the signed circular chromatic number of graphs, and present bounds for the signed circular chromatic number of some families of graphs. In particular, we determine the supremum of the signed circular chromatic number of $k$-chromatic graphs of large girth, of simple bipartite planar graphs, $d$-degenerate graphs, simple outerplanar graphs and series-parallel graphs. We construct a signed planar simple graph whose circular chromatic number is $4+\frac{2}{3}$. This is based and improves on a signed graph built by Kardos and Narboni as a counterexample to a conjecture of Máčajová, Raspaud, and Škoviera.
2020-10-14
Extremal graphs and classification of planar graphs by MC-numbers
Published • View Publication • BIB
An edge-coloring of a connected graph $G$ is called a {\em monochromatic connection coloring} (MC-coloring for short) if any two vertices of $G$ are connected by a monochromatic path in $G$. For a connected graph $G$, the {\em monochromatic connection number} (MC-number for short) of $G$, denoted by $mc(G)$, is the maximum number of colors that ensure $G$ has a monochromatic connection coloring by using this number of colors. This concept was introduced by Caro and Yuster in 2011. They proved that $mc(G)\leq m-n+k$ if $G$ is not a $k$-connected graph. In this paper we depict all graphs with $mc(G)=m-n+k+1$ and $mc(G)= m-n+k$ if $G$ is a $k$-connected but not $(k+1)$-connected graph. We also prove that $mc(G)\leq m-n+4$ if $G$ is a planar graph, and classify all planar graphs by their monochromatic connectivity numbers.
2020-10-14
Group connectivity and group coloring: small groups versus large groups
Published in The Electronic Journal of Combinatorics (2020): P1-49 • View Publication • BIB
A well-known result of Tutte says that if Gamma is an Abelian group and G is a graph having a nowhere-zero Gamma-flow, then G has a nowhere-zero Gamma'-flow for each Abelian group Gamma' whose order is at least the order of Gamma. Jaeger, Linial, Payan, and Tarsi observed that this does not extend to their more general concept of group connectivity. Motivated by this we define g(k) as the least number such that, if G is Gamma-connected for some Abelian group Gamma of order k, then G is also Gamma'-connected for every Abelian group Gamma' of order |Gamma'| > g(k). We prove that g(k) exists and satisfies for infinitely many k, (2 - o(1))k < g(k) <= 8k^3 + 1. The upper bound holds for all k. Analogously, we define h(k) as the least number such that, if G is Gamma-colorable for some Abelian group Gamma of order k, then G is also Gamma'-colorable for every Abelian group Gamma' of order |Gamma'| > h(k). Then h(k) exists and satisfies for infinitely many k, (2 - o(1))k < h(k) < (2 + o(1))k ln(k). The upper bound (for all k) follows from a result of Král', Pangrác, and Voss. The lower bound follows by duality from our lower bound on g(k) as that bound is demonstrated by planar graphs.
2020-10-08
Rainbow Solutions to the Sidon Equation in Cyclic Groups
Published • View Publication • BIB
Given a coloring of group elements, a rainbow solution to an equation is a solution whose every element is assigned a different color. The rainbow number of $\mathbb{Z}_n$ for an equation $eq$, denoted $rb(\mathbb{Z}_n,eq)$, is the smallest number of colors $r$ such that every exact $r$-coloring of $\mathbb{Z}_n$ admits a rainbow solution to the equation $eq$. We prove that for every exact $4$-coloring of $\mathbb{Z}_p$, where $p\geq 3$ is prime, there exists a rainbow solution to the Sidon equation $x_1+x_2=x_3+x_4$. Furthermore, we determine the rainbow number of $\mathbb{Z}_n$ for the Sidon equation.
2020-10-06
On a colored Turán problem of Diwan and Mubayi
Published • View Publication • BIB
Suppose that $R$ (red) and $B$ (blue) are two graphs on the same vertex set of size $n$, and $H$ is some graph with a red-blue coloring of its edges. How large can $R$ and $B$ be if $R\cup B$ does not contain a copy of $H$? Call the largest such integer $\mathrm{mex}(n, H)$. This problem was introduced by Diwan and Mubayi, who conjectured that (except for a few specific exceptions) when $H$ is a complete graph on $k+1$ vertices with any coloring of its edges $\mathrm{mex}(n,H)=\mathrm{ex}(n, K_{k+1})$. This conjecture generalizes Turán's theorem. Diwan and Mubayi also asked for an analogue of Erdős-Stone-Simonovits theorem in this context. We prove the following asymptotic characterization of the extremal threshold in terms of the chromatic number $χ(H)$ and the \textit{reduced maximum matching number} $\mathcal{M}(H)$ of $H$. $$\mathrm{mex}(n, H)=\left(1- \frac{1}{2(χ(H)-1)} - Ω\left(\frac{\mathcal{M}(H)}{χ(H)^2}\right)\right)\frac{n^2}{2}.$$ $\mathcal{M}(H)$ is, among the set of proper $χ(H)$-colorings of $H$, the largest set of disjoint pairs of color classes where each pair is connected by edges of just a single color. The result is also proved for more than $2$ colors and is tight up to the implied constant factor. We also study $\mathrm{mex}(n, H)$ when $H$ is a cycle with a red-blue coloring of its edges, and we show that $\mathrm{mex}(n, H)\lesssim \frac{1}{2}\binom{n}{2}$, which is tight.
2020-10-04
On decidability of hyperbolicity
We prove that a wide range of coloring problems in graphs on surfaces can be resolved by inspecting a finite number of configurations.
2020-10-01 v2
Injective edge-coloring of graphs with given maximum degree
Published • View Publication • BIB
A coloring of edges of a graph $G$ is injective if for any two distinct edges $e_1$ and $e_2$, the colors of $e_1$ and $e_2$ are distinct if they are at distance $1$ in $G$ or in a common triangle. Naturally, the injective chromatic index of $G$, $χ'_{inj}(G)$, is the minimum number of colors needed for an injective edge-coloring of $G$. We study how large can be the injective chromatic index of $G$ in terms of maximum degree of $G$ when we have restrictions on girth and/or chromatic number of $G$. We also compare our bounds with analogous bounds on the strong chromatic index.
A Tight Bound for Conflict-free Coloring in terms of Distance to Cluster
Published • View Publication • BIB
Given an undirected graph $G = (V,E)$, a conflict-free coloring with respect to open neighborhoods (CFON coloring) is a vertex coloring such that every vertex has a uniquely colored vertex in its open neighborhood. The minimum number of colors required for such a coloring is the CFON chromatic number of $G$, denoted by $χ_{ON}(G)$. In previous work [WG 2020], we showed the upper bound $χ_{ON}(G) \leq dc(G) + 3$, where $dc(G)$ denotes the distance to cluster parameter of $G$. In this paper, we obtain the improved upper bound of $χ_{ON}(G) \leq dc(G) + 1$. We also exhibit a family of graphs for which $χ_{ON}(G) > dc(G)$, thereby demonstrating that our upper bound is tight.
2020-09-28 v2
Orthogonal Colourings of Tensor Graphs
Published • View Publication • BIB
In this paper, perfect k-orthogonal colourings of tensor graphs are studied. First, the problem of determining if a given graph has a perfect 2-orthogonal colouring is reformulated as a tensor subgraph problem. Then, it is shown that if two graphs have a perfect $k$-orthogonal colouring, then so does their tensor graph. This provides an upper bound on the $k$-orthogonal chromatic number for general tensor graphs. Lastly, two other conditions for a tensor graph to have a perfect $k$-orthogonal colouring are given.
2020-09-27 v6
Graph theoretic and algorithmic aspect of the equitable coloring problem in block graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 2, special issue in honour of Maurice Pouzet, Special issues (November 30, 2022) dmtcs:6860 • View Publication • BIB
An equitable coloring of a graph $G=(V,E)$ is a (proper) vertex-coloring of $G$, such that the sizes of any two color classes differ by at most one. In this paper, we consider the equitable coloring problem in block graphs. Recall that the latter are graphs in which each 2-connected component is a complete graph. The problem remains hard in the class of block graphs. In this paper, we present some graph theoretic results relating various parameters. Then we use them in order to trace some algorithmic implications, mainly dealing with the fixed-parameter tractability of the problem.
2020-09-26 v2
Reconstruction of a coloring from its homogeneous sets
We study a reconstruction problem for colorings. Given a finite or countable set $X$, a coloring on $X$ is a function $\varphi: [X]^{2}\to \{0,1\}$, where $[X]^{2}$ is the collection of all 2-elements subsets of $X$. A set $H\subseteq X$ is homogeneous for $\varphi$ when $\varphi$ is constant on $[H]^2$. Let $hom(\varphi)$ be the collection of all homogeneous sets for $\varphi$. The coloring $1-\varphi$ is called the complement of $\varphi$. We say that $\varphi$ is {\em reconstructible} up to complementation from its homogeneous sets, if for any coloring $ψ$ on $X$ such that $hom(\varphi)=hom(ψ)$ we have that either $ψ=\varphi$ or $ψ=1-\varphi$. We present several conditions for reconstructibility and non reconstructibility. We show that there is a Borel way to reconstruct a coloring from its homogeneous sets.
On the signed chromatic number of some classes of graphs
Published • View Publication • BIB
A signed graph $(G, σ)$ is a graph $G$ along with a function $σ: E(G) \to \{+,-\}$. A closed walk of a signed graph is positive (resp., negative) if it has an even (resp., odd) number of negative edges, counting repetitions. A homomorphism of a (simple) signed graph to another signed graph is a vertex-mapping that preserves adjacencies and signs of closed walks. The signed chromatic number of a signed graph $(G, σ)$ is the minimum number of vertices $|V(H)|$ of a signed graph $(H, π)$ to which $(G, σ)$ admits a homomorphism.Homomorphisms of signed graphs have been attracting growing attention in the last decades, especially due to their strong connections to the theories of graph coloring and graph minors. These homomorphisms have been particularly studied through the scope of the signed chromatic number. In this work, we provide new results and bounds on the signed chromatic number of several families of signed graphs (planar graphs, triangle-free planar graphs, $K_n$-minor-free graphs, and bounded-degree graphs).
Fractional vertex-arboricity of planar graphs
We initiate a systematic study of the fractional vertex-arboricity of planar graphs and demonstrate connections to open problems concerning both fractional coloring and the size of the largest induced forest in planar graphs. In particular, the following three long-standing conjectures concern the size of a largest induced forest in a planar graph, and we conjecture that each of these can be generalized to the setting of fractional vertex-arboricity. In 1979, Albertson and Berman conjectured that every planar graph has an induced forest on at least half of its vertices, in 1987, Akiyama and Watanabe conjectured that every bipartite planar graph has an induced forest on at least five-eighths of its vertices, and in 2010, Kowalik, Lužar, and Škrekovski conjectured that every planar graph of girth at least five has an induced forest on at least seven-tenths of its vertices. We make progress toward the fractional generalization of the latter of these, by proving that every planar graph of girth at least five has fractional vertex-arboricity at most $2 - 1/324$.
2020-09-22
On the cyclic coloring conjecture
Published • View Publication • BIB
A cyclic coloring of a plane graph $G$ is a coloring of its vertices such that vertices incident with the same face have distinct colors. The minimum number of colors in a cyclic coloring of a plane graph $G$ is its cyclic chromatic number $χ_c(G)$. Let $Δ^*(G)$ be the maximum face degree of a graph $G$. In this note we show that to prove the Cyclic Coloring Conjecture of Borodin from 1984, saying that every connected plane graph $G$ has $χ_c(G) \leq \lfloor \frac{3}{2}Δ^*(G)\rfloor$, it is enough to do it for subdivisions of simple $3$-connected plane graphs. We have discovered four new different upper bounds on $χ_c(G)$ for graphs $G$ from this restricted family; three bounds of them are tight. As corollaries, we have shown that the conjecture holds for subdivisions of plane triangulations, simple $3$-connected plane quadrangulations, and simple $3$-connected plane pentagulations with an even maximum face degree, for regular subdivisions of simple $3$-connected plane graphs of maximum degree at least 10, and for subdivisions of simple $3$-connected plane graphs having the maximum face degree large enough in comparison with the number of vertices of their longest paths consisting only of vertices of degree two.