coloring
4497 papers tagged with this keyword
Fan distributions via Tverberg partitions and Gale duality
Published
• View Publication
• BIB
Equipartition theory, beginning with the classical ham sandwich theorem, seeks the fair division of finite point sets in $\mathbb{R}^d$ by the full-dimensional regions determined by a prescribed geometric dissection of $\mathbb{R}^d$. Here we examine $\textit{equidistributions}$ of finite point sets in $\mathbb{R}^d$ by prescribed $\textit{low dimensional}$ subsets. Our main result states that if $r\geq 3$ is a prime power, then for any $m$-coloring of a sufficiently small point set $X$ in $\mathbb{R}^d$, there exists an $r$-fan in $\mathbb{R}^d$ -- that is, the union of $r$ ``half-flats'' of codimension $r-2$ centered about a common $(r-1)$-codimensional affine subspace -- which captures all the points of $X$ in such a way that each half-flat contains at most an $r$-th of the points from each color class. The number of points in $\mathbb{R}^d$ we require for this is essentially tight when $m\geq 2$. Additionally, we extend our equidistribution results to ''piercing'' distributions in a similar fashion to Dolnikov's hyperplane transversal generalization of the ham sandwich theorem. By analogy with recent work of Frick et al., our results are obtained by applying Gale duality to linear cases of topological Tverberg-type theorems. Finally, we extend our distribution results to multiple $r$-fans after establishing a multiple intersection version of a topological Tverberg-type theorem due to Sarkaria.
Upper bounds for multicolour Ramsey numbers
Published
• View Publication
• BIB
The $r$-colour Ramsey number $R_r(k)$ is the minimum $n \in \mathbb{N}$ such that every $r$-colouring of the edges of the complete graph $K_n$ on $n$ vertices contains a monochromatic copy of $K_k$. We prove, for each fixed $r \geqslant 2$, that $$R_r(k) \leqslant e^{-δk} r^{rk}$$ for some constant $δ= δ(r) > 0$ and all sufficiently large $k \in \mathbb{N}$. For each $r \geqslant 3$, this is the first exponential improvement over the upper bound of Erdős and Szekeres from 1935. In the case $r = 2$, it gives a different (and significantly shorter) proof of a recent result of Campos, Griffiths, Morris and Sahasrabudhe.
On the two-colour Rado number for $\sum_{i=1}^m a_ix_i=c$
Let $a_1,\ldots,a_m$ be nonzero integers, $c \in \mathbb Z$ and $r \ge 2$. The Rado number for the equation \[ \sum_{i=1}^m a_ix_i = c \] in $r$ colours is the least positive integer $N$ such that any $r$-colouring of the integers in the interval $[1,N]$ admits a monochromatic solution to the given equation. We introduce the concept of $t$-distributability of sets of positive integers, and determine exact values whenever possible, and upper and lower bounds otherwise, for the Rado numbers when the set $\{a_1,\ldots,a_{m-1}\}$ is $2$-distributable or $3$-distributable, $a_m=-1$, and $r=2$. This generalizes previous works by several authors.
Star edge coloring of generalized Petersen graphs
The star chromatic index of a graph $G$, denoted by $χ^\prime_s(G)$, is the smallest integer $k$ for which $G$ admits a proper edge coloring with $k$ colors such that every path and cycle of length four is not bicolored. Let $d$ be the greatest common divisor of $n$ and $k$. Zhu~et~al. (\footnotesize{Discussiones Mathematicae: Graph Theory, 41(2): 1265, 2021}) showed that for every integers $k$ and $n> 2k$ with $d\geq 3$, generalized Petersen graph $GP(n,k)$ admits a 5-star edge coloring, with the exception of the case that $d = 3$, $k\neq d$ and $\frac{n}{3}= 1\pmod{3}$. Also, they conjectured that for every $n>2k$, $χ^\prime_s(GP(n,k))\leq 5$, except $GP(3,1)$. In this paper, we prove that for every $GP(n,k)$ with $n\geq 2k$ and $d\geq 3$ their conjecture is true. In fact, we provide a 5-star edge coloring of $GP(n,k)$, where $n\geq 2k$ and $d\geq 3$. We also obtain some results for 5-star edge coloring of $GP(n,k)$ with $d=2$. Moreover, Dvo{ř}{á}k et al. ({\footnotesize Journal of Graph Theory, 72(3):313-326, 2013}) conjectured that the star of chromatic index of subcubic graphs is at most 6. Thus, our results also prove this conjecture for the generalized Petersen graphs, as a class of subcubic graphs.
On monochromatic solutions to linear equations over the integers
We study the number of monochromatic solutions to linear equations in a $2$-coloring of $\{1,\ldots,n\}$. We show that any nontrivial linear equation has a constant fraction of solutions that are monochromatic in any $2$-coloring of $\{1,\ldots,n\}$. We further study commonness of four-term equations and disprove a conjecture of Costello and Elvin by showing that, unlike over $\mathbb{F}_p$, the four-term equation $x_1 + 2x_2 - x_3 - 2x_4 = 0$ is uncommon over $\{1,\ldots,n\}$.
On the theory of Lucas coloring
In this paper, we introduce the notion of "$Lucas-Coloring$" associated with a planar graph $g$. When $g$ is a $4$-regular, the enumeration of $Lucas-Coloring$ has an interesting interpretation. Specifically, it yields a numerical invariant of the associated Khovanov-Lee complex of any link diagram $D$ whose projection is equal to $g$. This complex resides in the Karoubi envelope of Bar-Natan's formal cobordism category, $Cob^{3}_{/l}$ . The Karoubi envelope of $Cob^{3}_{/l}$ was introduced by Bar-Natan and Morrison to provide a conceptual proof of Lee's theorem. As an application of "Lucas-Coloring", we first show how the Alternating Sign Matrices can be retrieved as a special case of $Lucas-Coloring$. Next, we show a certain statistic on the $Lucas-Coloring$ enumerates the perfect matchings of a canonically defined graph on $g$. This construction allowed us to derive a summation formula of the enumeration of lozenge tilings of the region constructed out of a regular hexagon by removing the "maximal staircase" from its alternating corners in terms of powers of $2$. This formula is reminiscent of the celebrated Aztec Diamond Theorem of Elkies, Kuperberg, Larsen, and Propp, which concerns domino tilings of Aztec Diamonds.
The Locating Rainbow Connection Number of the Edge Corona of a Graph with a Complete Graph
A graph has a locating rainbow coloring if every pair of its vertices can be connected by a path passing through internal vertices with distinct colors and every vertex generates a unique rainbow code. The minimum number of colors needed for a graph to have a locating rainbow coloring is referred to as the locating rainbow connection number of a graph. Let $G$ and $H$ be two connected, simple, and undirected graphs on disjoint sets of $|V(G)|$ and $|V(H)|$ vertices, $|E(G)|$ and $|E(G)|$ edges, respectively. For $j\in\{1,2,...,|E(G_m)|\}$, the edge corona of $G_m$ and $H_n$, denoted as $G_m \diamond H_n$, is constructed by using a single copy of $G_m$ and $E(G_m)$ copies of $H_n$, and then connecting the two end vertices of the $j$-th edge of $G_m$ to every vertex in the $j$-th copy of $H_n$. In this paper, we determine the upper and lower bounds of the locating rainbow connection number for the class of graphs resulting from the edge corona of a graph with a complete graph. Furthermore, we demonstrate that these upper and lower bounds are tight.
Bipartite and Euclidean Gallai-Ramsey Theory
In this paper, we investigate the following Gallai-Ramsey question: how large must a complete bipartite graph $K_{n_1, n_2}$ be before any coloring of its edges with $r$ colors contains either a monochromatic copy of $G = K_{s,t}$ or a rainbow copy of $H = K_{s,t}$? We demonstrate that the answer is linear in $r$, and provide more precise bounds for the specific case $s = 2$. Furthermore, we also consider the following Euclidean Gallai-Ramsey question: given a configuration $H$ in Euclidean space, what is the smallest $n$ such that any $r$-coloring of $n$-dimensional Euclidean space contains a monochromatic or rainbow configuration congruent to $H$? Through a natural translation between edge colorings of the complete bipartite graph $K_{n_1,n_2}$ and colorings of a subset of $(n_1+n_2)$-dimensional Euclidean space, we prove new upper bounds on $n$ for some configurations which can be expressed as Cartesian products of simplices.
A uniform bound on almost colour-balanced perfect matchings in colour-balanced cliques
Published
• View Publication
• BIB
An edge-colouring of a graph $G$ is said to be colour-balanced if there are equally many edges of each available colour. We are interested in finding a colour-balanced perfect matching within a colour-balanced clique $K_{2nk}$ with a palette of $k$ colours. While it is not necessarily possible to find such a perfect matching, one can ask for a perfect matching as close to colour-balanced as possible. In particular, for a colouring $c:E(K_{2nk})\rightarrow [k]$, we seek to find a perfect matching $M$ minimising $f(M) = \sum_{i=1}^k\bigl||c^{-1}(i)\cap M|-n\bigr|$.
The previous best upper bound, due to Pardey and Rautenbach, was $\min f(M)\leq \mathcal{O}(k\sqrt{nk\log k})$. We remove the $n$-dependence, proving the existence of a matching $M$ with $f(M)\leq 4^{k^2}$ for all $k$.
Cut covers of acyclic digraphs
A cut in a digraph $D=(V,A)$ is a set of arcs $\{uv \in A: u\in U, v\notin U\}$, for some $U\subseteq V$. It is known that the arc set $A$ is covered by $k$ cuts if and only if it admits a $k$-coloring such that no two consecutive arcs $uv, vw$ receive the same color. Alon, Bollobás, Gyárfás, Lehel and Scott (2007) observed that every acyclic digraph of maximum indegree at most $\binom{k}{\lfloor k/2 \rfloor}-1$ is covered by $k$ cuts. We prove that this degree condition is best possible (if an enormous outdegree is allowed). Notably, for $k\geq 5$, powers of directed paths do not suffice as extremal examples. Instead, we locate the maximum $d$ such that the $d$-th power of an arbitrarily long directed path is covered by $k$ cuts between $(1-o(1)) \frac{1}{e} 2^k$ and $\frac{1}{2}2^k-2$. Let $k\geq 3$ and $D$ be an acyclic digraph that is not covered by $k$ cuts. We prove that the decision problem whether a digraph that admits a homomorphism to $D$ is covered by $k$ cuts is NP-complete. If $k=3$ and $D$ is the third power of the directed path on 12 vertices, then even the restriction to planar digraphs of maximum indegree and outdegree $3$ holds.
Almost colour-balanced spanning forests in complete graphs
Given $K_n$ whose edges are coloured red and blue, and a forest $F$ of order $n$, we seek embeddings of $F$ with small imbalance, that is, difference between the numbers of red and blue edges. We show that if the $2$-colouring of the edges of $K_n$ is balanced, meaning that the numbers of red and blue edges are equal, and $F$ has maximum degree $Δ$, then one can find an embedding of $F$ into $K_n$ whose imbalance is at most $Δ/2 + 18$, which is essentially best possible and resolves a conjecture of Mohr, Pardey, and Rautenbach. Furthermore, we give a tighter bound for the imbalance for small values of $Δ$. In particular, we prove that the imbalance can be taken to be constant in the case where $Δ<n(1/4 - η)$ for any constant $η>0$.
Counterexample to Babai's lonely colour conjecture
Motivated by colouring minimal Cayley graphs, in 1978, Babai conjectured that no-lonely-colour graphs have bounded chromatic number. We disprove this in a strong sense by constructing graphs of arbitrarily large girth and chromatic number that have a proper edge-colouring in which each cycle contains no colour exactly once.
Neighborhood Balanced 3-Coloring
A graph is said to be neighborhood 3-balanced if there exists a vertex labeling with three colors so that each vertex has an equal number of neighbors of each color. We give order constraints on 3-balanced graphs, determine which generalized Petersen and Pappus graphs are 3-balanced, discuss when being 3-balanced is preserved under various graph constructions, give two general characterizations of cubic 3-balanced graphs, and classify cubic 3-balanced graphs of small order.
On strong odd colorings of graphs
Published
• View Publication
• BIB
A strong odd coloring of a simple graph $G$ is a proper coloring of the vertices of $G$ such that for every vertex $v$ and every color $c$, either $c$ is used an odd number of times in the open neighborhood $N_G(v)$ or no neighbor of $v$ is colored by $c$. The smallest integer $k$ for which $G$ admits a strong odd coloring with $k$ colors is the strong odd chromatic number, $χ_{soc}(G)$. These coloring notion and graph parameter were recently defined in [H. Kwon and B. Park, Strong odd coloring of sparse graphs, ArXiv:2401.11653v2]. We answer a question raised by the originators concerning the existence of a constant bound for the strong odd chromatic number of all planar graphs. We also consider strong odd colorings of trees, unicyclic graphs and graph products.
Fractional list packing for layered graphs
Published
• View Publication
• BIB
The fractional list packing number $χ_{\ell}^{\bullet}(G)$ of a graph $G$ is a graph invariant that has recently arisen from the study of disjoint list-colourings. It measures how large the lists of a list-assignment $L:V(G)\rightarrow 2^{\mathbb{N}}$ need to be to ensure the existence of a `perfectly balanced' probability distribution on proper $L$-colourings, i.e., such that at every vertex $v$, every colour appears with equal probability $1/|L(v)|$. In this work we give various bounds on $χ_{\ell}^{\bullet}(G)$, which admit strengthenings for correspondence and local-degree versions. As a corollary, we improve theorems on the related notion of flexible list colouring. In particular we study Cartesian products and $d$-degenerate graphs, and we prove that $χ_{\ell}^{\bullet}(G)$ is bounded from above by the pathwidth of $G$ plus one. The correspondence analogue of the latter is false for treewidth instead of pathwidth.
Disproofs of four Gallai-Ramsey-type conjectures
As a significant variation of Ramsey numbers, the Gallai-Ramsey number $GR_k(H)$ refers to the smallest positive integer $r$ such that, by coloring the edges of $K_r$ with at most $k$ colors, there exists either a monochromatic subgraph isomorphic to $H$ or a rainbow triangle. Mao, Wang, Magnant, and Schiermeyer [Discrete Math., 2023], Song, Wei, Zhang, and Zhao [Discrete Math., 2020], and Zhao and Wei [Discrete Appl. Math., 2021] each proposed one conjecture on the Gallai-Ramsey numbers for fans, wheels, and kipases, respectively. We establish new lower bounds that disprove all three conjectures. Su and Liu [Graphs Combin., 2022] studied the Gallai-Ramsey-full property of graphs and conjectured that a graph is Ramsey-full if and only if it is Gallai-Ramsey-full. We present two classes of graphs that are Ramsey-full, but neither is Gallai-Ramsey-full.
Coloring Trivalent Graphs: A Defect TFT Approach
We show that the combinatorial matter of graph coloring is, in fact, quantum in the sense of satisfying the sum over all the possible intermediate state properties of a path integral. In our case, the topological field theory (TFT) with defects gives meaning to it. This TFT has the property that when evaluated on a planar trivalent graph, it provides the number of Tait-Coloring of it. Defects can be considered as a generalization of groups. With the Klein-four group as a 1-defect condition, we reinterpret graph coloring as sections of a certain bundle, distinguishing a coloring (global-sections) from a coloring process (local-sections.) These constructions also lead to an interpretation of the word problem, for a finitely presented group, as a cobordism problem and a generalization of (trivial) bundles at the level of higher categories.
$k$-local Graphs
In 2017 Day et al. introduced the notion of locality as a structural complexity-measure for patterns in the field of pattern matching established by Angluin in 1980. In 2019 Casel et al. showed that determining the locality of an arbitrary pattern is NP-complete. Inspired by hierarchical clustering, we extend the notion to coloured graphs, i.e., given a coloured graph determine an enumeration of the colours such that colouring the graph stepwise according to the enumeration leads to as few clusters as possible. Next to first theoretical results on graph classes, we propose a priority search algorithm to compute the $k$-locality of a graph. The algorithm is optimal in the number of marking prefix expansions, and is faster by orders of magnitude than an exhaustive search. Finally, we perform a case study on a DBLP subgraph to demonstrate the potential of $k$-locality for knowledge discovery.
List strong and list normal edge-coloring of (sub)cubic graphs
Published
• View Publication
• BIB
A strong edge-coloring of a graph is a proper edge-coloring, in which the edges of every path of length 3 receive distinct colors; in other words, every pair of edges at distance at most 2 must be colored differently. The least number of colors needed for a strong edge-coloring of a graph is the strong chromatic index. We consider the list version of the coloring and prove that the list strong chromatic index of graphs with maximum degree 3 is at most 10. This bound is tight and improves the previous bound of 11 colors.
We also consider the question whether the strong chromatic index and the list strong chromatic index always coincide. We answer it in negative by presenting an infinite family of graphs for which the two invariants differ. For the special case of the Petersen graph, we show that its list strong chromatic index equals 7, while its strong chromatic index is 5. Up to our best knowledge, this is the first known edge-coloring for which there are graphs with distinct values of the chromatic index and its list version.
In relation to the above, we also initiate the study of the list version of the normal edge-coloring. A normal edge-coloring of a cubic graph is a proper edge-coloring, in which every edge is adjacent to edges colored with 4 colors or to edges colored with 2 colors. It is conjectured that 5 colors suffice for a normal edge-coloring of any bridgeless cubic graph which is equivalent to the Petersen Coloring Conjecture.
Similarly to strong edge-coloring, list normal edge-coloring is much more restrictive and consequently for many graphs the list normal chromatic index is greater than the normal chromatic index. We show that there are cubic graphs with list normal chromatic index at least $9$, there are bridgeless cubic graphs with its value at least 8, and there are cyclically 4-edge-connected cubic graphs with value at least 7.
Reconfiguration graphs for vertex colorings of $P_5$-free graphs
Published
• View Publication
• BIB
For any positive integer $k$, the reconfiguration graph for all $k$-colorings of a graph $G$, denoted by $\mathcal{R}_k(G)$, is the graph where vertices represent the $k$-colorings of $G$, and two $k$-colorings are joined by an edge if they differ in color on exactly one vertex. Bonamy et al. established that for any $2$-chromatic $P_5$-free graph $G$, $\mathcal{R}_k(G)$ is connected for each $k\geq 3$. On the other hand, Feghali and Merkel proved the existence of a $7p$-chromatic $P_5$-free graph $G$ for every positive integer $p$, such that $\mathcal{R}_{8p}(G)$ is disconnected.
In this paper, we offer a detailed classification of the connectivity of $\mathcal{R} _k(G) $ concerning $t$-chromatic $P_5$-free graphs $G$ for cases $t=3$, and $t\geq4$ with $t+1\leq k \leq {t\choose2}$. We demonstrate that $\mathcal{R}_k(G)$ remains connected for each $3$-chromatic $P_5$-free graph $G$ and each $k \geq 4$. Furthermore, for each $t\geq4$ and $t+1 \leq k \leq {t\choose2}$, we provide a construction of a $t$-chromatic $P_5$-free graph $G$ with $\mathcal{R}_k(G)$ being disconnected. This resolves a question posed by Feghali and Merkel.