coloring
4410 papers tagged with this keyword
Coloring equilateral triangles
It is consistent relative to an inaccessible cardinal that ZF+DC holds, the hypergraph of equilateral triangles on a given Euclidean space has countable chromatic number, while the hypergraph of isosceles triangles in the plane does not.
Path degeneracy and applications
In this work, we relate girth and path-degeneracy in classes with sub-exponential expansion, with explicit bounds for classes with polynomial expansion and proper minor-closed classes that are tight up to a constant factor (and tight up to second order terms if a classical conjecture on existence of $g$-cages is verified). As an application, we derive bounds on the generalized acyclic indices, on the generalized arboricities, and on the weak coloring numbers of high-girth graphs in such classes. Along the way, we prove a conjecture proposed in [T.~Bartnicki et al., Generalized arboricity of graphs with large girth, Discrete Mathematics 342 (2019), no.~5, 1343--1350.], which asserts that, for every integer $k$, there is an integer $g(p,k)$ such that every $K_k$ minor-free graph with girth at least $g(p,k)$ has $p$-arboricity at most $p+1$.
On $S$-packing Coloring of Bounded Degree Graphs
Given a sequence $S=(s_1,s_2,\ldots,s_p)$, $p\geq 2$, of non-decreasing integers, an $S$-packing coloring of a graph $G$ is a partition of its vertex set into $p$ disjoint sets $V_1,\ldots, V_p$ such that any two distinct vertices of $V_i$ are at a distance greater than $s_i$, $1\le i\le p$. In this paper, we study the $S$-packing coloring problem on graphs of bounded maximum degree and for sequences mainly containing 1's and 2's ($i^r$ in a sequence means $i$ is repeated $r$ times). Generalizing existing results for subcubic graphs, we prove a series of results on graphs of maximum degree $k$: We show that graphs of maximum degree $k$ are $(1^{k-1},2^k)$-packing colorable. Moreover, we refine this result for restricted subclasses: A graph of maximum degree $k$ is said to be $t$-saturated, $0\le t\le k$, if every vertex of degree $k$ is adjacent to at most $t$ vertices of degree $k$. We prove that any graph of maximum degree $k\ge 3$ is $(1^{k-1}, 3)$-packing colorable if it is 0-saturated, $(1^{k-1}, 2)$-packing colorable if it is $t$-saturated, $1\leq t\leq k-2$; and $(1^{k-1},2^{k-1})$-packing colorable if it is $(k-1)$-saturated. We also propose some conjectures and questions.
The Wiener index of vertex colorings
The Wiener index of a vertex coloring of a graph is defined to be the sum of all pairwise geodesic distances between vertices of the same color. We provide characterizations of vertex colorings of paths and cycles whose Wiener index is as large as possible over various natural collections. Along the way we establish a connection between the majorization order on tuples of integers and the Wiener index of vertex colorings on paths and cycles.
On almost Gallai colourings in complete graphs
For $t \in \mathbb{N}$, we say that a colouring of $E(K_n)$ is $\textit{almost}$ $t$-$\textit{Gallai}$ if no two rainbow $t$-cliques share an edge. Motivated by a lemma of Berkowitz on bounding the modulus of the characteristic function of clique counts in random graphs, we study the maximum number $τ_t(n)$ of rainbow $t$-cliques in an almost $t$-Gallai colouring of $E(K_n)$. For every $t \ge 4$, we show that $n^{2-o(1)} \leq τ_t(n) = o(n^2)$. For $t=3$, surprisingly, the behaviour is substantially different. Our main result establishes that $$\left ( \frac{1}{2}-o(1) \right ) n\log n \le τ_3(n) = O\big (n^{\sqrt{2}}\log n \big ),$$ which gives the first non-trivial improvements over the simple lower and upper bounds. Our proof combines various applications of the probabilistic method and a generalisation of the edge-isoperimetric inequality for the hypercube.
DP color functions of hypergraphs
In this article, we introduce the DP color function of a hypergraph, based on the DP coloring introduced by Bernshteyn and Kostochka, which is the minimum value where the minimum is taken over all its k-fold covers. It is an extension of its chromatic polynomial. we obtain an upper bound for the DP color functions of hypergraphs when hypergraphs are connected r-uniform hypergraphs for any r greater than one. The upper bound is attained if and only if the hypergraph is a r-uniform hypertree. We also show the cases of the DP color function equal to its chromatic polynomial. These conclusions coincide with the known results of graphs.
The $α$-representation for the Tait coloring and for the characteristic polynomial of matroid
Consider a finite field $\mathbb F_q$, $q=p^d$, where $p$ is an odd number. Let $M=(E,r)$ be a regular matroid; denote by ${\mathcal B}$ the family of its bases, $\bar s(M;α)=\sum_{B\in {\mathcal B}}\prod_{e\not\in B} α_e$, where ${α_e\in \mathbb F_q}$, $α_e\neq 0$. Let a subset $A\equiv A(α)$ in $E$ have the maximal cardinality and satisfy the condition $\bar s(M|A;α)\neq 0$, while ${r^*}(α)=|A|-r(E)$. Let us represent the value of the characteristic polynomial of the matroid $M$ at the point $q$ as the linear combination of Legendre symbols with respect to $\bar s(M|A;α)$, whose coefficients are modulo equal to $1/q^{r^*(α)/2}$. This representation generalizes the formula for a flow polynomial of a graph which was obtained by us earlier. The latter formula is an analog of the so-called $α$-representation of vacuum Feynman amplitudes in the case of a finite field, which has inspired the Kontsevich conjecture (1997). The $α$-representation technique is also applicable for expressing the number of Tait colorings for a cubic biconnected planar graph in terms of principal minors of the matrix of faces of this graph.
Steiner Quadruple Systems with Minimum Colorable Derived Designs: Constructions and Applications
An $r$-block-coloring, simply $r$-coloring, of a Steiner triple system $\mathrm{STS}(v)$ is a partition of the block set into $r$ color classes, each color class being a partial parallel class. The chromatic index of $\mathrm{STS}(v)$, denoted by $χ^{\prime}(v)$, is the smallest $r$ for which an $r$-coloring of an $\mathrm{STS}(v)$ exists. A minimum colorable Steiner triple system $\mathrm{mcSTS}(v)$ is an $\mathrm{STS}(v)$ admitting a $χ^{\prime} (v)$-coloring. We generalize the notion of an $\mathrm{RDSQS}$ (a Steiner quadruple system $\mathrm{SQS}$ with resolvable derived designs) to $\mathrm{mcDSQS}$, representing an $\mathrm{SQS}$ whose derived design at every point is minimum colorable. This is motivated from an application in non-binary diameter perfect codes. The purpose of this paper is to display a few recursive constructions to produce $\mathrm{mcDSQS}$s via Steiner systems $\mathrm{S}(3,K,v)$ with certain properties. Among others, a construction for $\mathrm{mcDSQS}$s is developed, which is also new even for $\mathrm{RDSQS}$s; special constructions concentrating only on $\mathrm{mcDSQS}(6n+2)$s are demonstrated as well. As the main results, both a new infinite family of $\mathrm{RDSQS}(6n+4)$s and the first infinite family of $\mathrm{mcDSQS}(6n+2)$s are constructed. To be specific, an $\mathrm{RDSQS}(2^{2m+1}+2)$ and an $\mathrm{mcDSQS}(2\cdot 9^{m}+2)$ are proved to exist, in which the former class gives rise to a new infinite family of large sets of Kirkman triple systems. As applications, the smallest $q$ is determined such that a diameter perfect constant-weight $(n,\frac{1}{4}\tbinom{n}{3},6;4)_{q}$ code exists where $n \in\{ 2\cdot 9^{m}+2:m\geq 1\}\bigcup\{ 2^{2m+1}+2:m\geq 0\}$.
Playing Sudoku on random 3-regular graphs
The Sudoku number $s(G)$ of graph $G$ with chromatic number $χ(G)$ is the smallest partial $χ(G)$-colouring of $G$ that determines a unique $χ(G)$-colouring of the entire graph. We show that the Sudoku number of the random $3$-regular graph $\mathcal{G}_{n,3}$ satisfies $s(\mathcal{G}_{n,3}) \leq (1+o(1))\frac{n}{3}$ asymptotically almost surely. We prove this by analyzing an algorithm which $3$-colours $\mathcal{G}_{n,3}$ in a way that produces many locally forced vertices, i.e., vertices which see two distinct colours among their neighbours. The intricacies of the algorithm present some challenges for the analysis, and to overcome these we use a non-standard application of Wormald's differential equations method that incorporates tools from finite Markov chains.
On the expressive power of $2$-edge-colourings of graphs
Given a finite set of $2$-edge-coloured graphs $\mathcal F$ and a hereditary property of graphs $\mathcal{P}$, we say that $\mathcal F$ expresses $\mathcal{P}$ if a graph $G$ has the property $\mathcal{P}$ if and only if it admits a $2$-edge-colouring not having any graph in $\mathcal F$ as an induced $2$-edge-coloured subgraph. We show that certain classic hereditary classes are expressible by some set of $2$-edge-coloured graphs on three vertices. We then initiate a systematic study of the following problem. Given a finite set of $2$-edge-coloured graphs $\mathcal F$, structurally characterize the hereditary property expressed by $\mathcal F$. In our main results we describe all hereditary properties expressed by $\mathcal F$ when $\mathcal F$ consists of 2-edge-coloured graphs on three vertices and (1) patterns have at most two edges, or (2) $\mathcal F$ consists of both monochromatic paths and a set of coloured triangles.
On the algorithmic side, we consider the $\mathcal F$-free colouring problem, i.e., deciding if an input graph admits an $\mathcal F$-free $2$-edge-colouring. It follows from our structural characterizations, that for all sets considered in (1) and (2) the $\mathcal F$-free colouring problem is solvable in polynomial time. We complement these tractability results with a uniform reduction to boolean constraint satisfaction problems which yield polynomial-time algorithms that recognize most graph classes expressible by a set $\mathcal F$ of $2$-edge-coloured graphs on at most three vertices. Finally, we exhibit some sets $\mathcal F$ such that the $\mathcal F$-free colouring problem is NP-complete.
A new density limit for unanimity in majority dynamics on random graphs
Majority dynamics is a process on a simple, undirected graph $G$ with an initial Red/Blue color for every vertex of $G$. Each day, each vertex updates its color following the majority among its neighbors, using its previous color for tie-breaking. The dynamics achieves \textit{unanimity} if every vertex has the same color after finitely many days, and such color is said to \textit{win}.
When $G$ is a $G(n,p)$ random graph, L. Tran and Vu (2019) found a codition in terms of $p$ and the initial difference $2Δ$ beteween the sizes of the Red and Blue camps, such that unanimity is achieved with probability arbitrarily close to 1. They showed that if $pΔ^2 \gg1 $, $pΔ\geq 100$, and $p\geq (1+\varepsilon) n^{-1}\log n$ for a positive constant $\varepsilon$, then unanimity occurs with probability $1 - o(1)$. If $p$ is not extremely small, namely $p > \log^{-1/16} n $, then Sah and Sawhney (2022) showed that the condition $pΔ^2 \gg 1$ is sufficient.
If $n^{-1}\log^2 n \ll p \ll n^{-1/2}\log^{1/4} n$, we show that $p^{3/2}Δ\gg n^{-1/2}\log n$ is enough. Since this condition holds if $pΔ\geq 100$ for $p$ in this range, this is an improvement of Tran's and Vu's result. For the closely related problem of finding the optimal condition for $p$ to achieve unanimity when the initial coloring is chosen uniformly at random among all possible Red/Blue assignments, our result implies a new lower bound $p \gg n^{-2/3}\log^{2/3} n$, which improves upon the previous bound of $n^{-3/5}\log n$ by Chakraborti, Kim, Lee and T. Tran (2021).
Defect and transference versions of the Alon-Frankl-Lovasz theorem
Confirming a conjecture of Erdős on the chromatic number of Kneser hypergraphs, Alon, Frankl and Lovász proved that in any $q$-colouring of the edges of the complete $r$-uniform hypergraph, there exists a monochromatic matching of size $\lfloor \frac{n+q-1}{r+q-1}\rfloor$. In this paper, we prove a transference version of this theorem. More precisely, for fixed $q$ and $r$, we show that with high probability, a monochromatic matching of approximately the same size exists in any $q$-colouring of a random hypergraph, already when the average degree is a sufficiently large constant. In fact, our main new result is a defect version of the Alon--Frankl--Lovász theorem for almost complete hypergraphs. From this, the transference version is obtained via a variant of the weak hypergraph regularity lemma. The proof of the defect version uses tools from extremal set theory developed in the study of the Erdős matching conjecture.
Eigenvalue bounds for the quantum chromatic number of graph powers
The quantum chromatic number, a generalization of the chromatic number, was first defined in relation to the non-local quantum coloring game. We generalize the former by defining the quantum $k$-distance chromatic number $χ_{kq}(G)$ of a graph $G$, which can be seen as the quantum chromatic number of the $k$-th power graph, $G^k$, and as generalization of the classical $k$-distance chromatic number $χ_k(G)$ of a graph. It can easily be shown that $χ_{kq}(G) \leq χ_k(G)$. In this paper, we strengthen three classical eigenvalue bounds for the $k$-distance chromatic number by showing they also hold for the quantum counterpart of this parameter. This shows that several bounds by Elphick et al. [J. Combinatorial Theory Ser. A 168, 2019, Electron. J. Comb. 27(4), 2020] hold in the more general setting of distance-$k$ colorings. As a consequence we obtain several graph classes for which $χ_{kq}(G)=χ_{k}(G)$, thus increasing the number of graphs for which the quantum parameter is known.
Chromatic numbers with closed local modular constraints
Generalizing the notion of odd-sum colorings, a $\mathbb{Z}$-labeling of a graph $G$ is called a closed coloring with remainder $k\mod n$ if the closed neighborhood label sum of each vertex is congruent to $k\mod n$. If such colorings exist, we write $χ_{n,k}(G)$ for the minimum number of colors used for a closed coloring with remainder $k\mod n$ such that no neighboring vertices have the same color. General estimates for $χ_{n,k}(G)$ are given along with evaluations of $χ_{n,k}(G)$ for some finite and infinite order graphs.
Gallai-Schur Triples and Related Problems
Schur's Theorem states that, for any $r \in \mathbb{Z}^+$, there exists a minimum integer $S(r)$ such that every $r$-coloring of $\{1,2,\dots,S(r)\}$ admits a monochromatic solution to $x+y=z$. Recently, Budden determined the related Gallai-Schur numbers; that is, he determined the minimum integer $GS(r)$ such that every $r$-coloring of $\{1,2,\dots,GS(r)\}$ admits either a rainbow or monochromatic solution to $x+y=z$. In this article we consider problems that have been solved in the monochromatic setting under a monochromatic-rainbow paradigm. In particular, we investigate Gallai-Schur numbers when $x \neq y$, we consider $x+y+b=z$ and $x+y<z$, and we investigate the asymptotic minimum number of rainbow and monochromatic solutions to $x+y=z$ and $x+y<z$.
Coloring one-headed directed hypergraphs
A directed hypergraph is a hypergraph in which the vertex set of each hyperedge is partitioned into two disjoint parts, a head and a tail. Keszegh and Pálvölgyi posed the following conjecture. Let $H$ be a directed hypergraph such that in every hyperedge the number of head-vertices is less than the number of tail-vertices and assume that for every pair of hyperedges $e_{1},e_{2}\in E(H)$ with $|e_{1}\cap e_{2}|=1$, the common vertex is a head-vertex in at least one of the hyperedges. Then $H$ admits a proper 2-coloring. Keszegh showed that the conjecture is also true in the special case of 3-uniform hypergraphs. A directed hypergraph is called one-headed if every hyperedge has exactly one head-vertex. The main result of this paper is that the conjecture is true for one-headed directed hypergraphs with all hyperedges having size at least three.
Directed 3-uniform hypergraphs such that in every hyperedge the number of head-vertices is one and the number of tail-vertices is two are called $2\rightarrow 1$ hypergraphs. In this paper we consider sufficient conditions for $2\rightarrow 1$ hypergraphs to be proper $k$-colorable for some small $k$.
Connected equitably $Δ$-colorable realizations with $k$-factors
A graph $G$ is said to be equitably $c$-colorable if its vertices can be partitioned into $c$ independent sets that pairwise differ in size by at most one. Chen, Lih, and Wu conjectured that every connected graph $G$ with maximum degree $Δ(G)\geq 2$ has an equitable coloring with $Δ(G)$ colors, except when $G$ is complete, an odd cycle, or a balanced bipartite graph with odd sized partitions. Suppose $G$ is a connected graph with a $k$-factor (a regular spanning subgraph) $F$ such that $G$ is not complete, a $1$-factor, nor an odd cycle. When $k\geq 1$ we demonstrate that there is a connected $(k-1)$ edge-connected equitably $Δ(G)$-colorable graph $H$ with a $k$-factor $F'$ such that $G-E(F)=H-E(F')$. If we drop the requirement that $G-E(F)=H-E(F')$, then we can say more. Considering the non-increasing degree sequence $π=(d_{1},\ldots, d_{n})$ of $G$ where $d_{i}=deg_{G}(v_{i})$ for all vertices $\{v_{1},\ldots,v_{n}\}$ of $G$, we call $m(π)=\max\{i|d_{i}\geq i\}$ the strong index of $π$. For $k\geq 0$, we can show that for every $$c\geq \max_{l\leq m(π)}\bigg\{\bigg\lfloor\frac{d_{l}+l}{2}\bigg\rfloor\bigg\}+1$$ we can find a connected $(k-1)$ edge-connected equitably $c$-colorable realization $H$ of $π$ that has a $k$-factor. In a third theorem we show that if $d_{d_{1}-d_{n}+1}\geq d_{1}-d_{n}+k-1$, then some realization of $π$ has a $k$-factor. Together, these three theorems allow us to prove that for all $k$, there is a connected equitably $Δ(G)$-colorable realization $H$ of $π$ with a $k$-factor. Thus, giving support to the validity of the Chen-Lih-Wu Conjecture.
Merge-width and First-Order Model Checking
We introduce merge-width, a family of graph parameters that unifies several structural graph measures, including treewidth, degeneracy, twin-width, clique-width, and generalized coloring numbers. Our parameters are based on new decompositions called construction sequences. These are sequences of ever coarser partitions of the vertex set, where each pair of parts has a specified default connection, and all vertex pairs of the graph that differ from the default are marked as resolved. The radius-$r$ merge-width is the maximum number of parts reached from a vertex by following a path of at most $r$ resolved edges. Graph classes of bounded merge-width -- for which the radius-$r$ merge-width parameter can be bounded by a constant, for each fixed $r=1,2,3,\ldots$ -- include all classes of bounded expansion or of bounded twin-width, thus unifying two central notions from the Sparsity and Twin-width frameworks. Furthermore, they are preserved under first-order transductions, which attests to their robustness. We conjecture that classes of bounded merge-width are equivalent to the previously introduced classes of bounded flip-width.
As our main result, we show that the model checking problem for first-order logic is fixed-parameter tractable on graph classes of bounded merge-width, assuming the input includes a witnessing construction sequence. This unites and extends two previous model checking results: the result of Dvořák, Král, and Thomas for classes of bounded expansion, and the result of Bonnet, Kim, Thomassé, and Watrigant for classes of bounded twin-width.
Finally, we suggest future research directions that could impact the study of structural and algorithmic graph theory, in particular of monadically dependent graph classes, which we conjecture to coincide with classes of almost bounded merge-width.
Planar graphs with distance of 3-cycles at least 2 and no cycles of lengths 5, 6, 7
Published in Applied Mathematics and Computation, 481 (2024) 128946
• View Publication
• BIB
Weak degeneracy of a graph is a variation of degeneracy that has a close relationship to many graph coloring parameters. In this article, we prove that planar graphs with distance of $3$-cycles at least 2 and no cycles of lengths $5, 6, 7$ are weakly $2$-degenerate. Furthermore, such graphs can be vertex-partitioned into two subgraphs, one of which has no edges, and the other is a forest.
Claw-free cubic graphs are (1, 1, 1, 3)-packing edge-colorable
Published in Discrete Applied Mathematics 379 (2026) 332-338
• View Publication
• BIB
For a non-decreasing positive integer sequence $S = (s_{1}, \dots, s_{k})$, an $S$-packing edge-coloring of a graph $G$ is a partition of the edge set of $G$ into subsets $E_{1}, \dots, E_{k}$ such that for each $1 \leq i \leq k$, the distance between any two distinct edges $e_{1}, e_{2} \in E_{i}$ is at least $s_{i} + 1$. Gastineau and Togni conjectured that cubic graphs, except the Petersen and Tietze graphs, admit $(1, 1, 1, 3)$-packing edge-colorings. In this paper, we prove that every claw-free cubic graph admits such a coloring.