arXiv++ Combinatorics

Browse math.CO papers from arXiv

coloring

4497 papers tagged with this keyword
2019-12-23
Graph fractal dimension and structure of fractal networks: a combinatorial perspective
Published • View Publication • BIB
In this paper we study self-similar and fractal networks from the combinatorial perspective. We establish analogues of topological (Lebesgue) and fractal (Hausdorff) dimensions for graphs and demonstrate that they are naturally related to known graph-theoretical characteristics: rank dimension and product (or Prague or Nešetřil-Rödl) dimension. Our approach reveals how self-similarity and fractality of a network are defined by a pattern of overlaps between densely connected network communities. It allows us to identify fractal graphs, explore the relations between graph fractality, graph colorings and graph Kolmogorov complexity, and analyze the fractality of several classes of graphs and network models, as well as of a number of real-life networks. We demonstrate the application of our framework to evolutionary studies by revealing the growth of self-organization of heterogeneous viral populations over the course of their intra-host evolution, thus suggesting mechanisms of their gradual adaptation to the host's environment. As far as the authors know, the proposed approach is the first theoretical framework for study of network fractality within the combinatorial paradigm. The obtained results lay a foundation for studying fractal properties of complex networks using combinatorial methods and algorithms.
2019-12-19
Maximal edge colorings of graphs
For a graph $G$ of order $n$ a maximal edge coloring is a proper edge coloring with $χ'(K_n)$ colors such that adding any edge to $G$ in any color makes it improper. Meszka and Tyniec proved that for some values of the number of edges there are no graphs with a maximal edge coloring, while for some other values, they provided constructions of such graphs. However, for many values of the number of edges determining whether there exists any graph with a maximal edge coloring remained open. We give a complete solution of this problem.
2019-12-16
The Last Temptation of William T. Tutte
Published • View Publication • BIB
In 1999, at one of his last public lectures, Tutte discussed a question he had considered since the times of the Four Color Conjecture. He asked whether the 4-coloring complex of a planar triangulation could have two components in which all colorings had the same parity. In this note we answer Tutte's question to the contrary of his speculations by showing that there are triangulations of the plane whose coloring complexes have arbitrarily many even and odd components. We end up with a closely related conjecture, which is based on an extensive computation, and which claims that for every planar triangulation whose 4-coloring complex is disconnected has a component of even parity and one of odd parity.
2019-12-16
Restricted extension of sparse partial edge colorings of complete graphs
Published • View Publication • BIB
Given a partial edge coloring of a complete graph $K_n$ and lists of allowed colors for the non-colored edges of $K_n$, can we extend the partial edge coloring to a proper edge coloring of $K_n$ using only colors from the lists? We prove that this question has a positive answer in the case when both the partial edge coloring and the color lists satisfy certain sparsity conditions.
2019-12-16
Colorings with only rainbow arithmetic progressions
Published • View Publication • BIB
If we want to color $1,2,\ldots,n$ with the property that all 3-term arithmetic progressions are rainbow (that is, their elements receive 3 distinct colors), then, obviously, we need to use at least $n/2$ colors. Surprisingly, much fewer colors suffice if we are allowed to leave a negligible proportion of integers uncolored. Specifically, we prove that there exist $α,β<1$ such that for every $n$, there is a subset $A$ of $\{1,2,\ldots,n\}$ of size at least $n-n^α$, the elements of which can be colored with $n^β$ colors with the property that every 3-term arithmetic progression in $A$ is rainbow. Moreover, $β$ can be chosen to be arbitrarily small. Our result can be easily extended to $k$-term arithmetic progressions for any $k\ge 3$. As a corollary, we obtain the following result of Alon, Moitra, and Sudakov, which can be used to design efficient communication protocols over shared directional multi-channels. There exist $α',β'<1$ such that for every $n$, there is a graph with $n$ vertices and at least $\binom{n}{2}-n^{1+α'}$ edges, whose edge set can be partitioned into at most $n^{1+β'}$ induced matchings.
2019-12-16
A new upper bound on the chromatic number of graphs with no odd $K_t$ minor
Published • View Publication • BIB
Gerards and Seymour conjectured that every graph with no odd $K_t$ minor is $(t-1)$-colorable. This is a strengthening of the famous Hadwiger's Conjecture. Geelen et al. proved that every graph with no odd $K_t$ minor is $O(t\sqrt{\log t})$-colorable. Using the methods the present authors and Postle recently developed for coloring graphs with no $K_t$ minor, we make the first improvement on this bound by showing that every graph with no odd $K_t$ minor is $O(t(\log t)^β)$-colorable for every $β> 1/4$.
Colored unavoidable patterns and balanceable graphs
Published • View Publication • BIB
We study a Turán-type problem on edge-colored complete graphs. We show that for any $r$ and $t$, any sufficiently large $r$-edge-colored complete graph on $n$ vertices with $Ω(n^{2-1/tr^r})$ edges in each color contains a member from certain finite family $\mathcal{F}_t^r$ of $r$-edge-colored complete graphs. We conjecture that $Ω(n^{2-1/t})$ edges in each color are sufficient to find a member from ${\mathcal{F}}_t^r$. A result of Girão and Narayanan confirms this conjecture when $r=2$. Next, we study a related problem where the corresponding Turán threshold is linear. We call an edge-coloring of a path $P_{rk}$ balanced if each color appears $k$ times in the coloring. We show that any $3$-edge-coloring of a large complete graph with $kn+o(n)$ edges in each color contains a balanced $P_{3k}$. This is tight up to a constant factor of $2$. For more colors, the problem becomes surprisingly more delicate. Already for $r=7$, we show that even $n^{2-o(1)}$ edges from each color does not guarantee existence of a balanced $P_{7k}$.
2019-12-12 v2
On the Locating Chromatic Number of Trees
Some coloring algorithms gives an upper bound for the locating chromatic number of trees with all the vertices not in an end-path colored by only two colors. That means, a better coloring algorithm could be achieved by optimizing the number of colors used in the end-paths. We provide an estimation of the locating chromatic number of trees using the locating chromatic number of its end-palms. We also study the locating chromatic number of palms, a subdivision of star. We also prove $χ_L(S_n(k))=Θ(n^{1/k})$; $χ_L(S_n(3))=(1+o(1))\sqrt[3]{4n}$; and $χ_L(O_n)=\left\lceil\log_3\left(\frac{n}{4}\right)\right\rceil+3$.
Colouring bottomless rectangles and arborescences
Published • View Publication • BIB
We study problems related to colouring bottomless rectangles. One of our main results shows that for any positive integers $m, k$, there is no semi-online algorithm that can $k$-colour bottomless rectangles with disjoint boundaries in increasing order of their top sides, so that any $m$-fold covered point is covered by at least two colours. This is, surprisingly, a corollary of a stronger result for arborescence colourings. Any semi-online colouring algorithm that colours an arborescence in leaf-to-root order with a bounded number of colours produces arbitrarily long monochromatic paths. This is complemented by optimal upper bounds given by simple online colouring algorithms from other directions. Our other main results study configurations of bottomless rectangles in an attempt to improve the \textit{polychromatic $k$-colouring number}, $m_k^*$. We show that for many families of bottomless rectangles, such as unit-width bottomless rectangles, $m_k^*$ is linear in $k$. We also present an improved lower bound for general families: $m_k^* \geq 2k-1$.
2019-12-08 v4
Cycles in Color-Critical Graphs
Published • View Publication • BIB
Tuza [1992] proved that a graph with no cycles of length congruent to $1$ modulo $k$ is $k$-colorable. We prove that if a graph $G$ has an edge $e$ such that $G-e$ is $k$-colorable and $G$ is not, then for $2\leq r\leq k$, the edge $e$ lies in at least $\prod_{i=1}^{r-1}(k-i)$ cycles of length $1\mod r$ in $G$, and $G-e$ contains at least $\frac{1}{2}\prod_{i=1}^{r-1}(k-i)$ cycles of length $0 \mod r$. A $(k,d)$-coloring of $G$ is a homomorphism from $G$ to the graph $K_{k:d}$ with vertex set $\mathbb{Z}_{k}$ defined by making $i$ and $j$ adjacent if $d\leq j-i \leq k-d$. When $k$ and $d$ are relatively prime, define $s$ by $sd\equiv 1\mod k$. A result of Zhu [2002] implies that $G$ is $(k,d)$-colorable when $G$ has no cycle $C$ with length congruent to $is$ modulo $k$ for any $i\in \{1,\ldots,2d-1\}$. In fact, only $d$ classes need be excluded: we prove that if $G-e$ is $(k,d)$-colorable and $G$ is not, then $e$ lies in at least one cycle with length congruent to $is\mod k$ for some $i$ in $\{1,\ldots,d\}$. Furthermore, if this does not occur with $i\in\{1,\ldots,d-1\}$, then $e$ lies in at least two cycles with length $1\mod k$ and $G-e$ contains a cycle of length $0 \mod k$.
Defective DP-colorings of sparse multigraphs
Published • View Publication • BIB
DP-coloring (also known as correspondence coloring) is a generalization of list coloring developed recently by Dvorak and Postle. We introduce and study $(i,j)$-defective DP-colorings of multigraphs. We concentrate on sparse multigraphs and consider $f_{DP}(i,j,n)$ --- the minimum number of edges that may have an $n$-vertex $(i,j)$-critical multigraph, that is, a multigraph $G$ that has no $(i,j)$-defective DP-coloring but whose every proper subgraph has such a coloring. For every $i$ and $j$, we find linear lower bounds on $f_{DP}(i,j,n)$ that are exact for infinitely many $n$.
2019-12-06
Tomescu's graph coloring conjecture for $\ell$-connected graphs
Published • View Publication • BIB
Let $P_G(k)$ be the number of proper $k$-colorings of a finite simple graph $G$. Tomescu's conjecture, which was recently solved by Fox, He, and Manners, states that $P_G(k) \le k!(k-1)^{n-k}$ for all connected graphs $G$ on $n$ vertices with chromatic number $k\geq 4$. In this paper, we study the same problem with the additional constraint that $G$ is $\ell$-connected. For $2$-connected graphs $G$, we prove a tight bound \[ P_G(k) \le (k-1)!((k-1)^{n-k+1} + (-1)^{n-k}), \] and show that equality is only achieved if $G$ is a $k$-clique with an ear attached. For $\ell \ge 3$, we prove an asymptotically tight upper bound \[ P_G(k) \le k!(k-1)^{n-\ell - k + 1} + O((k-2)^n), \] and provide a matching lower bound construction. For the ranges $k \geq \ell$ or $\ell \geq (k-2)(k-1)+1$ we further find the unique graph maximizing $P_G(k)$. We also consider generalizing $\ell$-connected graphs to connected graphs with minimum degree $δ$.
2019-12-05
Bounded VC-dimension implies the Schur-Erdos conjecture
Published • View Publication • BIB
In 1916, Schur introduced the Ramsey number $r(3;m)$, which is the minimum integer $n$ such that for any $m$-coloring of the edges of the complete graph $K_n$, there is a monochromatic copy of $K_3$. He showed that $r(3;m) \leq O(m!)$, and a simple construction demonstrates that $r(3;m) \geq 2^{Ω(m)}$. An old conjecture of Erd\H os states that $r(3;m) = 2^{Θ(m)}$. In this note, we prove the conjecture for $m$-colorings with bounded VC-dimension, that is, for $m$-colorings with the property that the set system $\mathcal{F}$ induced by the neighborhoods of the vertices with respect to each color class has bounded VC-dimension.
On star edge colorings of bipartite and subcubic graphs
Published in Discrete Applied Mathematics 298 (2021), 21-33 • View Publication • BIB
A star edge coloring of a graph is a proper edge coloring with no $2$-colored path or cycle of length four. The star chromatic index $χ'_{st}(G)$ of $G$ is the minimum number $t$ for which $G$ has a star edge coloring with $t$ colors. We prove upper bounds for the star chromatic index of complete bipartite graphs; in particular we obtain tight upper bounds for the case when one part has size at most $3$. We also consider bipartite graphs $G$ where all vertices in one part have maximum degree $2$ and all vertices in the other part has maximum degree $b$. Let $k$ be an integer ($k\geq 1$), we prove that if $b=2k+1$ then $χ'_{st}(G) \leq 3k+2$; and if $b=2k$, then $χ'_{st}(G) \leq 3k$; both upper bounds are sharp. Finally, we consider the well-known conjecture that subcubic graphs have star chromatic index at most $6$; in particular we settle this conjecture for cubic Halin graphs.
2019-12-05 v2
On asymmetric colourings of graphs with bounded degrees and infinite motion
Published • View Publication • BIB
A vertex colouring of a graph is called asymmetric if the only automorphism which preserves it is the identity. Tucker conjectured that if every automorphism of a connected, locally finite graph moves infinitely many vertices, then there is an asymmetric colouring with $2$ colours. We make progress on this conjecture in the special case of graphs with bounded maximal degree. More precisely, we prove that if every automorphism of a connected graph with maximal degree $Δ$ moves infinitely many vertices, then there is an asymmetric colouring using $\mathcal O(\sqrt Δ\log Δ)$ colours. This is the first improvement over the trivial bound of $\mathcal O(Δ)$.
2019-12-05 v3
Almost-monochromatic sets and the chromatic number of the plane
Published • View Publication • BIB
In a colouring of $\mathbb{R}^d$ a pair $(S,s_0)$ with $S\subseteq \mathbb{R}^d$ and with $s_0\in S$ is \emph{almost monochromatic} if $S\setminus \{s_0\}$ is monochromatic but $S$ is not. We consider questions about finding almost monochromatic similar copies of pairs $(S,s_0)$ in colourings of $\mathbb{R}^d$, $\mathbb{Z}^d$, and in $\mathbb{Q}$ under some restrictions on the colouring. Among other results, we characterise those $(S,s_0)$ with $S\subseteq \mathbb{Z}$ for which every finite colouring of $\mathbb{R}$ without an infinite monochromatic arithmetic progression contains an almost monochromatic similar copy of $(S,s_0)$. We also show that if $S\subseteq \mathbb{Z}^d$ and $s_0$ is outside of the convex hull of $S\setminus \{s_0\}$, then every finite colouring of $\mathbb{R}^d$ without a similar monochromatic copy of $\mathbb{Z}^d$ contains an almost monochromatic similar copy of $(S,s_0)$. Further, we propose an approach of finding almost-monochromatic sets that might lead to a non-computer assisted proof of $χ(\R^2)\geq 5$.
Multi-color forcing in graphs
Published • View Publication • BIB
Let $G=(V,E)$ be a finite connected graph along with a coloring of the vertices of $G$ using the colors in a given set $X$. In this paper, we introduce multi-color forcing, a generalization of zero-forcing on graphs, and give conditions in which the multi-color forcing process terminates regardless of the number of colors used. We give an upper bound on the number of steps required to terminate a forcing procedure in terms of the number of vertices in the graph on which the procedure is being applied. We then focus on multi-color forcing with three colors and analyze the end states of certain families of graphs, including complete graphs, complete bipartite graphs, and paths, based on various initial colorings. We end with a few directions for future research.
On the deficiency of complete multipartite graphs
An edge-coloring of a graph $G$ with colors $1,\ldots,t$ is an \emph{interval $t$-coloring} if all colors are used, and the colors of edges incident to each vertex of $G$ are distinct and form an integer interval. It is well-known that there are graphs that do not have interval colorings. The \emph{deficiency} of a graph $G$, denoted by $\mathrm{def}(G)$, is the minimum number of pendant edges whose attachment to $G$ leads to a graph admitting an interval coloring. In this paper we investigate the problem of determining or bounding of the deficiency of complete multipartite graphs. In particular, we obtain a tight upper bound for the deficiency of complete multipartite graphs. We also determine or bound the deficiency for some classes of complete multipartite graphs.
2019-12-02 v2
More on Poincare-Hopf and Gauss-Bonnet
We illustrate connections between differential geometry on finite simple graphs G=(V,E) and Riemannian manifolds (M,g). The link is that curvature can be defined integral geometrically as an expectation in a probability space of Poincare-Hopf indices of coloring or Morse functions. Regge calculus with an isometric Nash embedding links then the Gauss-Bonnet-Chern integrand of a Riemannian manifold with the graph curvature. There is also a direct nonstandard approach: if V is a finite set containing all standard points of M and E contains pairs which are infinitesimally close in the sense of internal set theory, one gets a finite simple graph (V,E) which gets a curvature which as a measure corresponds to the standard curvature. The probabilistic approach is an umbrella framework which covers discrete spaces, piecewise linear spaces, manifolds or varieties.
2019-11-30 v3
Total dominator total chromatic numbers of cycles and paths
Published • View Publication • BIB
The total dominator total coloring of a graph is a total coloring of the graph such that each object of the graph is adjacent or incident to every object of some color class. The minimum namber of the color classes of a total dominator total coloring of a graph is called the total dominator total chromatic number of the graph. Here, we will find the total dominator chromatic numbers of cycles and paths.