arXiv++ Combinatorics

Browse math.CO papers from arXiv

coloring

4497 papers tagged with this keyword
Distinguishing threshold of graphs
Published in Journal of Graph Theory (2022) • View Publication • BIB
A vertex coloring of a graph $G$ is called distinguishing if no non-identity automorphisms of $G$ can preserve it. The distinguishing number of $G$, denoted by $D(G)$, is the minimum number of colors required for such a coloring, and the distinguishing threshold of $G$, denoted by $θ(G)$, is the minimum number $k$ such that every $k$-coloring of $G$ is distinguishing. As an alternative definition, $θ(G)$ is one more than the maximum number of cycles in the cycle decomposition of automorphisms of $G$. In this paper, we characterize $θ(G)$ when $G$ is disconnected. Afterwards, we prove that, although for every positive integer $k\neq 2$ there are infinitely many graphs whose distinguishing thresholds are equal to $k$, we have $θ(G)=2$ if and only if $\vert V(G)\vert =2$. Moreover, we show that if $θ(G)=3$, then either $G$ is isomorphic to one of the four graphs on~3 vertices or it is of order $2p$, where $p\neq 3,5$ is a prime number. Furthermore, we prove that $θ(G)=D(G)$ if and only if $G$ is asymmetric, $K_n$ or $\overline{K_n}$. Finally, we consider all generalized Johnson graphs, $J(n,k,i)$, which are the graphs on all $k$-subsets of $\{1,\ldots , n\}$ where two vertices $A$ and $B$ are adjacent if $|A\cap B|=k-i$. After studying their automorphism groups and distinguishing numbers, we calculate their distinguishing thresholds as $θ(J(n,k,i))={n\choose k} - {n-2\choose k-1}+1$, unless $ k=\frac{n}{2}$ and $i\in\{ \frac{k}{2} , k\}$ in which case we have $θ(J(n,k,i))={n\choose k}$.
2021-07-28
Injectively $k$-colored rooted forests
Published • View Publication • BIB
We enumerate injectively $k$-colored rooted forests with a given number of vertices of each color and a given sequence of root colors. We obtain from this result some new multi-parameter distributions of Fuss-Catalan numbers. As an additional application we enumerate triangulations of regular convex polygons according to their proper 3-coloring type.
2021-07-28
On fractional version of oriented coloring
Published • View Publication • BIB
We introduce the fractional version of oriented coloring and initiate its study. We prove some basic results and study the parameter for directed cycles and sparse planar graphs. In particular, we show that for every $ε> 0$, there exists an integer $g_ε \geq 12$ such that any oriented planar graph having girth at least $g_ε$ has fractional oriented chromatic number at most $4+ε$. Whereas, it is known that there exists an oriented planar graph having girth at least $g_ε$ with oriented chromatic number equal to $5$. We also study the fractional oriented chromatic number of directed cycles and provide its exact value. Interestingly, the result depends on the prime divisors of the length of the directed cycle.
Circular $(4-ε)$-coloring of some classes of signed graphs
A circular $r$-coloring of a signed graph $(G, σ)$ is an assignment $φ$ of points of a circle $C_r$ of circumference $r$ to the vertices of $(G, σ)$ such that for each positive edge $uv$ of $(G, σ)$ the distance of $φ(v)$ and $φ(v)$ is at least 1 and for each negative edge $uv$ the distance of $φ(u)$ from the antipodal of $φ(v)$ is at least 1. The circular chromatic number of $(G, σ)$, denoted $χ_c(G, σ)$, is the infimum of $r$ such that $(G, σ)$ admits a circular $r$-coloring. This notion is recently defined by Naserasr, Wang, and Zhu who, among other results, proved that for any signed $d$-degenerate simple graph $\hat{G}$ we have $χ_c(\hat{G})\leq 2d$. For $d\geq 3$, examples of signed $d$-degenerate simple graphs of circular chromatic number $2d$ are provided. But for $d=2$ only examples of signed 2-degenerate simple graphs of circular chromatic number close enough to $4$ are given, noting that these examples are also signed bipartite planar graphs. In this work we first observe the following restatement of the 4-color theorem: If $(G,σ)$ is a signed bipartite planar simple graph where vertices of one part are all of degree 2, then $χ_c(G,σ)\leq \frac{16}{5}$. Motivated by this observation, we provide an improved upper bound of $ 4-\dfrac{2}{\lfloor \frac{n+1}{2} \rfloor}$ for the circular chromatic number of a signed 2-degenerate simple graph on $n$ vertices and an improved upper bound of $ 4-\dfrac{4}{\lfloor \frac{n+2}{2} \rfloor}$ for the circular chromatic number of a signed bipartite planar simple graph on $n$ vertices. We then show that each of the bounds is tight for any value of $n\geq 4$.
2021-07-25
The surface of a sufficiently large sphere has chromatic number at most 7
We present a method to assign, for any radius $r$ greater than about 12.44, one of seven colors to each point in $\mathbb{R}^3$ lying at distance $r$ from the origin, such that no two points at unit distance from each other are assigned the same color. The existence of such a construction contrasts with the recent demonstration that, for any positive value $\varepsilon$, if no two points assigned the same color lie at any distance in $[1,1+\varepsilon]$ (and with certain other restrictions that are also satisfied with our coloring), then eight colors are needed for any finite $r\ge18$, even though seven colors suffice in the plane when $\varepsilon \leq\frac{\sqrt{7}}{2} - 1$.
Weakening Total Coloring Conjecture: Weak TCC and Hadwiger's Conjecture on Total Graphs
Published • View Publication • BIB
Hadwiger's conjecture is one of the most important and long-standing conjectures in graph theory. Reed and Seymour showed in 2004 that Hadwiger's conjecture is true for line graphs. We investigate this conjecture on the closely related class of total graphs. The total graph of $G$, denoted by $T(G)$, is defined on the vertex set $V(G)\sqcup E(G)$ with $c_1,c_2\in V(G)\sqcup E(G)$ adjacent whenever $c_1$ and $c_2$ are adjacent to or incident on each other in $G$. We first show that there exists a constant $C$ such that, if the connectivity of $G$ is at least $C$, then Hadwiger's conjecture is true for $T(G)$. The total chromatic number $χ"(G)$ of a graph $G$ is defined to be equal to the chromatic number of its total graph. That is, $χ"(G)=χ(T(G))$. Another well-known conjecture in graph theory, the total coloring conjecture or TCC, states that for every graph $G$, $χ"(G)\leqΔ(G)+2$, where $Δ(G)$ is the maximum degree of $G$. We show that if a weaker version of the total coloring conjecture (weak TCC) namely, $χ"(G)\leqΔ(G)+3$, is true for a class of graphs $\mathcal{F}$ that is closed under the operation of taking subgraphs, then Hadwiger's conjecture is true for the class of total graphs of graphs in $\mathcal{F}$. This motivated us to look for classes of graphs that satisfy weak TCC. It may be noted that a complete proof of TCC for even 4-colorable graphs (in fact even for planar graphs) has remained elusive even after decades of effort; but weak TCC can be proved easily for 4-colorable graphs. We noticed that in spite of the interest in studying $χ"(G)$ in terms of $χ(G)$ right from the initial days, weak TCC is not proven to be true for $k$-colorable graphs even for $k=5$. In the second half of the paper, we make a contribution to the literature on total coloring by proving that $χ"(G)\leqΔ(G)+3$ for every 5-colorable graph $G$.
2021-07-19
$Z_{DP}(n)$ is upperly bounded by $n^2-(n+3)/2$
DP-coloring was introduced by Dvořák and Postle and is a generalization of proper coloring. For any graph $G$, let $χ(G)$ and $χ_{DP}(G)$ denote the chromatic number and the DP-chromatic number of $G$ respectively. In this article, we show that $χ_{DP}(G \vee K_s)=χ(G \vee K_s)$ holds for $s=\left \lceil \frac{4(k+1)m}{2k+1} \right \rceil \le \lceil 2.4m\rceil$, where $k=χ(G)$, $m=|E(G)|$ and $G \vee K_s$ is the join of $G$ and the complete graph $K_s$. Hence $Z_{DP}(n)\le n^2-(n+3)/2$ holds for every integer $n \ge 2$, where $Z_{DP}(n)$ is the minimum natural number $s$ such that $χ_{DP}(G \vee K_s)=χ(G \vee K_s)$ holds for every graph $G$ of order $n$. Our result improves the best current upper bound $Z_{DP}(n)\le 1.5n^2$ due to Bernshteyn, Kostochka and Zhu.
2021-07-17
A Deletion-Contraction Relation for the DP Color Function
Published • View Publication • BIB
DP-coloring is a generalization of list coloring that was introduced in 2015 by Dvořák and Postle. The chromatic polynomial of a graph $G$, denoted $P(G,m)$, is equal to the number of proper $m$-colorings of $G$. A well-known tool for computing the chromatic polynomial of graph $G$ is the deletion-contraction formula which relates $P(G,m)$ to the chromatic polynomials of two smaller graphs. The DP color function of a graph $G$, denoted $P_{DP}(G,m)$, is a DP-coloring analogue of the chromatic polynomial, and $P_{DP}(G,m)$ is the minimum number of DP-colorings of $G$ over all possible $m$-fold covers. In this paper we present a deletion-contraction relation for the DP color function. To make this possible, we extend the definition of the DP color function to multigraphs. We also introduce the dual DP color function of a graph $G$, denoted $P^*_{DP}(G,m)$, which counts the maximum number of DP-colorings of $G$ over certain $m$-fold covers. We show how the dual DP color function along with our deletion-contraction relation yields a new general lower bound on the DP color function of a graph.
On Vizing's edge colouring question
Published • View Publication • BIB
Soon after his 1964 seminal paper on edge colouring, Vizing asked the following question: can an optimal edge colouring be reached from any given proper edge colouring through a series of Kempe changes? We answer this question in the affirmative for triangle-free graphs.
2021-07-12 v4
A Sublinear Bound on the Page Number of Upward Planar Graphs
Published • View Publication • BIB
The page number of a directed acyclic graph $G$ is the minimum $k$ for which there is a topological ordering of $G$ and a $k$-coloring of the edges such that no two edges of the same color cross, i.e., have alternating endpoints along the topological ordering. We address the long-standing open problem asking for the largest page number among all upward planar graphs. We improve the best known lower bound to $5$ and present the first asymptotic improvement over the trivial $O(n)$ upper bound, where $n$ denotes the number of vertices in $G$. Specifically, we first prove that the page number of every upward planar graph is bounded in terms of its width, as well as its height. We then combine both approaches to show that every $n$-vertex upward planar graph has page number $O(n^{2/3} \log(n)^{2/3})$.
2021-07-12 v3
Coloring graphs with forbidden bipartite subgraphs
Published • View Publication • BIB
A conjecture of Alon, Krivelevich, and Sudakov states that, for any graph $F$, there is a constant $c_F > 0$ such that if $G$ is an $F$-free graph of maximum degree $Δ$, then $χ(G) \leq c_F Δ/ \logΔ$. Alon, Krivelevich, and Sudakov verified this conjecture for a class of graphs $F$ that includes all bipartite graphs. Moreover, it follows from recent work by Davies, Kang, Pirot, and Sereni that if $G$ is $K_{t,t}$-free, then $χ(G) \leq (t + o(1)) Δ/ \logΔ$ as $Δ\to \infty$. We improve this bound to $(1+o(1)) Δ/\log Δ$, making the constant factor independent of $t$. We further extend our result to the DP-coloring setting (also known as correspondence coloring), introduced by Dvořák and Postle.
2021-07-12 v3
On λ-backbone coloring of cliques with tree backbones in linear time
Published • View Publication • BIB
A $λ$-backbone coloring of a graph $G$ with its subgraph (also called a backbone) $H$ is a function $c \colon V(G) \rightarrow \{1,\dots, k\}$ ensuring that $c$ is a proper coloring of $G$ and for each $\{u,v\} \in E(H)$ it holds that $|c(u) - c(v)| \ge λ$. In this paper we propose a way to color cliques with tree and forest backbones in linear time that the largest color does not exceed $\max\{n, 2 λ\} + Δ(H)^2 \lceil\log{n} \rceil$. This result improves on the previously existing approximation algorithms as it is $(Δ(H)^2 \lceil\log{n} \rceil)$-absolutely approximate, i.e. with an additive error over the optimum. We also present an infinite family of trees $T$ with $Δ(T) = 3$ for which the coloring of cliques with backbones $T$ require to use at least $\max\{n, 2 λ\} + Ω(\log{n})$ colors for $λ$ close to $\frac{n}{2}$.
2021-07-09
Adaptable and conflict colouring multigraphs with no cycles of length three or four
Published • View Publication • BIB
The adaptable choosability of a multigraph $G$, denoted $\mathrm{ch}_a(G)$, is the smallest integer $k$ such that any edge labelling, $τ$, of $G$ and any assignment of lists of size $k$ to the vertices of $G$ permits a list colouring, $σ$, of $G$ such that there is no edge $e = uv$ where $τ(e) = σ(u) = σ(v)$. Here we show that for a multigraph $G$ with maximum degree $Δ$ and no cycles of length 3 or 4, $\mathrm{ch}_a(G) \leq (2\sqrt{2}+o(1))\sqrt{Δ/\lnΔ}$. Under natural restrictions we can show that the same bound holds for the conflict choosability of $G$, which is a closely related parameter defined by Dvořák, Esperet, Kang and Ozeki [arXiv:1803.10962].
2021-07-08
An Improved Lower Bound for $S(7)$ and Some Interesting Templates
In this simple paper, we exhibit a Schur partition giving rise to a triangle-free linear colouring of $K_{1697}$ in 7 colours. Thus we show that the Schur number $S(7) \ge 1696$ and the multicolour Ramsey number $R_{7}(3) \ge 1698$. We also demonstrate a specific partition of the closed integer interval $[1, 376]$ which, through repeated use of a specific construction, allows us to conclude that $S(k+5) \ge 376.S(k)+160$ for any positive integer $k$. The existence of this partition, with its specific properties, implies that $\lim_{\substack{r \rightarrow \infty}} R{_r}(3)^{1/r} > 3.273$.
2021-07-08 v2
Improved bounds for colouring circle graphs
Published • View Publication • BIB
We prove the first $χ$-bounding function for circle graphs that is optimal up to a constant factor. To be more precise, we prove that every circle graph with clique number at most $ω$ has chromatic number at most $2ω\log_2 (ω) +2ω\log_2(\log_2 (ω)) + 10ω$.
An Efficient Reduction of a Gammoid to a Partition Matroid
Our main contribution is a polynomial-time algorithm to reduce a $k$-colorable gammoid to a $(2k-2)$-colorable partition matroid. It is known that there are gammoids that can not be reduced to any $(2k-3)$-colorable partition matroid, so this result is tight. We then discuss how such a reduction can be used to obtain polynomial-time algorithms with better approximation ratios for various natural problems related to coloring and list coloring the intersection of matroids.
2021-07-06 v3
Extremal bipartite independence number and balanced coloring
Published in European Journal of Combinatorics, Volume 113, October 2023, 103750 • View Publication • BIB
In this paper, we establish a couple of results on extremal problems in bipartite graphs. Firstly, we show that every sufficiently large bipartite graph with average degree $D$ and with $n$ vertices on each side has a balanced independent set containing $(1-ε) \frac{\log D}{D} n$ vertices from each side for small $ε> 0$. Secondly, we prove that the vertex set of every sufficiently large balanced bipartite graph with maximum degree at most $Δ$ can be partitioned into $(1+ε)\fracΔ{\log Δ}$ balanced independent sets. Both of these results are algorithmic and best possible up to a factor of 2, which might be hard to improve as evidenced by the phenomenon known as `algorithmic barrier' in the literature. The first result improves a recent theorem of Axenovich, Sereni, Snyder, and Weber in a slightly more general setting. The second result improves a theorem of Feige and Kogan about coloring balanced bipartite graphs.
2021-07-06
Abstract colorings, games and ultrafilters
Published • View Publication • BIB
The main result provide a common generalization for Ramsey-type theorems concerning finite colorings of edge sets of complete graphs with vertices in infinite semigroups. We capture the essence of theorems proved in different fields: for natural numbers due to Milliken--Tylor, Deuber--Hindman, Bergelson--Hindman, for combinatorial covering properties due to Scheepers and Tsaban, and local properties in function spaces due to Scheepers. To this end, we use idempotent ultrafilters in the Čech--Stone compactifications of discrete infinite semigroups and topological games. The research is motivated by the recent breakthrough work of Tsaban about colorings and the Menger covering property.
2021-07-04 v5
Solution Regularity of k-partite Linear Systems -- A Variant of Rado's Theorem
A classical question in combinatorial number theory asks whether an equation has a solution inside a particular subset of its domain. The Rado's Theorem gives a set of necessary and sufficient conditions for a systems of linear equations to have a monochromatic solution whenever the positive integers are finitely colored. In this paper, we provide a variant of this theorem. For $k \ge 2$, we present conditions such that, when the set of variables is partitioned into $k$ subsets, there is a solution such that the variables of each subset are monochromatic, which we call a semi-monochromatic solution. We adopt the smod $p$ coloring by Graham, Rothschild, and Spencer but turn the existence of semi-monochromatic solution into the existence of common roots of linear polynomials. With this idea, one can further generalize the theorem to systems of linear equations over general algebraic number fields.
2021-07-04
55- and 56-configurations are reducible
Let $G$ be a 4-chromatic maximal planar graph (MPG) with the minimum degree of at least 4 and let $C$ be an even-length cycle of $G$.If $|f(C)|=2$ for every $f$ in some Kempe equivalence class of $G$, then we call $C$ an unchanged bichromatic cycle (UBC) of $G$, and correspondingly $G$ an unchanged bichromatic cycle maximal planar graph (UBCMPG) with respect to $C$, where $f(C)=\{f(v)| v\in V(C)\}$. For an UBCMPG $G$ with respect to an UBC $C$, the subgraph of $G$ induced by the set of edges belonging to $C$ and its interior (or exterior), denoted by $G^C$, is called a base-module of $G$; in particular, when the length of $C$ is equal to four, we use $C_4$ instead of $C$ and call $G^{C_4}$ a 4-base-module. In this paper, we first study the properties of UBCMPGs and show that every 4-base-module $G^{C_4}$ contains a 4-coloring under which $C_4$ is bichromatic and there are at least two bichromatic paths with different colors between one pair of diagonal vertices of $C_4$ (these paths are called module-paths). We further prove that every 4-base-module $G^{C_4}$ contains a 4-coloring (called decycle coloring) for which the ends of a module-path are colored by distinct colors. Finally, based on the technique of the contracting and extending operations of MPGs, we prove that 55-configurations and 56-configurations are reducible by converting the reducibility problem of these two classes of configurations into the decycle coloring problem of 4-base-modules.