chromatic number
2136 papers tagged with this keyword
Extremality in semidistributive lattices
We establish several independent results concerning extremal, left modular, congruence uniform, and semidistributive lattices. An equivalent characterization of left modular lattices is obtained in terms of edge-labellings, together with necessary and sufficient conditions on the doubling steps in the construction of congruence normal lattices that ensure left modularity or extremality. We prove that a congruence uniform lattice is shellable if and only if it is extremal. We answer a question of Barnard by constructing a counterexample showing that an induced subcomplex of a canonical join complex need not itself be such a complex. Finally, we show that the order dimension of a semidistributive extremal lattice equals the chromatic number of the complement of its Galois graph, generalizing a theorem of Dilworth for distributive lattices. As an application, we determine the dimensions of generalizations of the Hochschild lattice, of the parabolic Tamari lattice, and of some lattices of torsion classes.
Independent sets and colorings of $K_{t,t,t}$-free graphs
Alon, Krivelevich, and Sudakov conjectured in 1999 that every $F$-free graph of maximum degree at most $Δ$ has chromatic number $O(Δ/ \log Δ)$. This was previously known only for almost bipartite graphs, that is, for subgraphs of $K_{1,t,t}$ (verified by Alon, Krivelevich, and Sudakov themselves), while most recent results were concerned with improving the leading constant factor in the case where $F$ is almost bipartite. We prove this conjecture for all $3$-colorable graphs $F$, i.e. subgraphs of $K_{t,t,t}$, representing the first progress toward the conjecture since it was posed.
A closely related conjecture of Ajtai, Erdős, Komlós, and Szemerédi from 1981 asserts that for every graph $F$, every $n$-vertex $F$-free graph of average degree $d$ contains an independent set of size $Ω(n \log d / d)$. We prove this conjecture in a strong form for all 3-colorable graphs $F$. More precisely, we show that every $n$-vertex $K_{t,t,t}$-free graph of average degree $d$ contains an independent set of size at least $(1 - o(1)) n \log d / d$, matching Shearer's celebrated bound for triangle-free graphs (the case $t = 1$) and thereby yielding a substantial strengthening of it. Our proof combines a new variant of the Rödl nibble method for constructing independent sets with a Turán-type result on $K_{t,t,t}$-free graphs.
Optimal chromatic bound for ($P_2\cup P_4$, HVN)-free graphs
The HVN is a graph formed by removing two edges incident to the same vertex from the complete graph $K_5$. In this paper, we prove that every ($P_2\cup P_4$, HVN)-free graph $G$ satisfies $χ(G)\leq\lceil\frac{4}{3}ω(G)\rceil$ when $ω(G)\ge4$, where $χ(G)$ and $ω(G)$ denote the chromatic number and clique number of $G$, respectively. Furthermore, this bound is optimal for every $ω(G)\ge4$. Constructions demonstrating the optimality of the bound are provided. Our work unifies several previously known results on $χ$-binding functions for several graph classes.
On Fair and Tolerant Colorings of Graphs
Published
• View Publication
• BIB
A (not necessarily proper) vertex coloring of a graph $G$ with color classes $V_1$, $V_2$, $\dots$, $V_k$, is said to be a {\it Fair And Tolerant vertex coloring of $G$ with $k$ colors}, whenever $V_1$, $V_2$, $\dots$, $V_k$ are nonempty and there exist two real numbers $α$ and $β$ such that $α\in [0,1]$ and $β\in [0,1]$ and the following condition holds for each arbitrary vertex $v$ and every arbitrary color class $V_i$: $$ \bigl| V_i \cap N (v) \bigr| = \begin{cases}
α°(v) & \mbox{ if } \ \ v \notin V_i
β°(v) & \mbox{ if } \ \ v \in V_i . \end{cases} $$ The {\it FAT chromatic number} of $G$, denoted by $χ^{\rm FAT} (G)$, is defined as the maximum positive integer $k$ for which $G$ admits a Fair And Tolerant vertex coloring with $k$ colors. The concept of the FAT chromatic number of graphs was introduced and studied by Beers and Mulas, where they asked for the existence of a function $f \colon \mathbb{N} \to \mathbb{R}$ in such a way that the inequality $χ^{\rm FAT} (G) \ \leq \ f \big( χ(G) \big)$ holds for all graphs $G$. Another similar interesting question concerns the existence of some function $g \colon \mathbb{N} \to \mathbb{R}$ such that the inequality $χ(G) \ \leq \ g \left( χ^{\rm FAT} (G) \right)$ holds for every graph $G$. In this paper, we establish that both questions admit negative resolutions.
Colouring ($P_2\cup P_4$, diamond)-free graphs with $ω$ colours
In this paper, we establish an optimal $χ$-binding function for $(P_2\cup P_4,\text{ diamond})$-free graphs. We prove that for any graph $G$ in this class, $χ(G)\le 4$ when $ω(G)=2$, $χ(G)\le 6$ when $ω(G)=3$, and $χ(G)=ω(G)$ when $ω(G)\ge 4$, where $χ(G)$ and $ω(G)$ denote the chromatic number and clique number of $G$, respectively. This result extends the known chromatic bounds for $(P_2\cup P_3,\text{ diamond})$-free graphs by showing that $(P_2\cup P_4,\text{ diamond})$-free graphs admit the same $χ$-binding function. It also refines the chromatic bound obtained by Angeliya, Karthick and Huang [arXiv:2501.02543v3 [math.CO], 2025] for $(P_2\cup P_4,\text{ diamond})$-free graphs.
Packing coloring of graphs with long paths
The packing coloring problem has diverse applications, including frequency assignment in wireless networks, resource distribution and facility location in smart cities and post-disaster management, as well as in biological diversity. Formally, the packing coloring of a graph is a vertex coloring in which any two vertices assigned color $i$ are at a distance of at least $i+1$, and the smallest number of colors admitting such a coloring is called the packing chromatic number. Goddard et al.~\cite{goddard2008broadcast} showed that the packing chromatic numbers of paths and cycles are at most 3 and 4, respectively. In this paper, we introduce \emph{path-aligned graph products}, a natural extension of paths with unbounded diameter. We extend the result of~\cite{goddard2008broadcast} by proving that the packing chromatic number remains bounded by a constant for several families of path-aligned cycle and path-aligned complete products. We then investigate the packing chromatic number of caterpillars, another class of graphs characterized by long induced paths. Sloper~\cite{sloper} proved that the packing chromatic number of caterpillars is at most 7; here, we provide a complete structural characterization of caterpillars with packing chromatic number at most 3. Finally, several open research questions are posed.
Exploring the 3-Token Graph of Particular Graphs
Published
• View Publication
• BIB
This study investigates the properties of the 3-token graph derived from path graphs, with a particular focus on its structural characteristics and key attributes. We analyze how the 3-token graph is constructed from path graphs and explore fundamental properties such as connectivity, diameter, and chromatic number. Furthermore, we extend our analysis to the 3-token graph of the disjoint union of two given graphs, examining its unique features and how the structure of the original graphs influences the resulting 3-token graph. The findings of this study contribute to a deeper understanding of token graphs and their applications in graph theory. (We would like to note that an earlier version of this manuscript was previously made available as a preprint on Preprints.org (DOI: 10.20944/preprints202505.1605.v1). The current submission corresponds to the revised version that has been uploaded to arXiv, in accordance with the journal's requirement for preprint deposition. We confirm that both versions refer to the same work and no duplicate submission is intended.)
Commuting graphs of inverse semigroups and completely regular semigroups
The general ideal of this paper is to answer the following question: given a numerical property of commuting graphs, a class of semigroups $\mathcal{C}$ and $n\in\mathbb{N}$, is it possible to find a semigroup in $\mathcal{C}$ such that the chosen property is equal to $n$? We study this question for the classes of Clifford semigroups, inverse semigroups and completely regular semigroups. Moreover, the properties of commuting graphs we consider are the girth, clique number, chromatic number and knit degree.
Four plane unit vectors generate a $3$-colorable graph
We show that given an arbitrary set of four plane unit vectors $v_1, v_2, v_3, v_4$, the Cayley graph generated by $\{\pm v_1, \pm v_2, \pm v_3, \pm v_4\}$ is always $3$-colorable. Indeed, we show that this is a specific case of a much more general result wherein we determine the chromatic number of an arbitrary abelian Cayley graph generated by a set of four elements and their negatives, subject to the constraint that the group of relations between those elements has rank no more than $2$.
Proof of a conjectured spectral upper bound on the chromatic number of a graph
Published
• View Publication
• BIB
Let $G$ be a simple graph on $n$ vertices and $m$ edges with chromatic number $χ$, and let $λ_n$ denote the least adjacency eigenvalue. Solving a conjecture of Fan, Yu and Wang~[Electron. J. Combin., 2012], we prove that when $3\le χ\le n-1$, the chromatic number satisfies the following upper bound: $$ χ\le \left(\frac{n}{2}+1+λ_n\right) + \sqrt{\left(\frac{n}{2}+1+λ_n\right)^{2}-4(λ_n+1)\left(λ_n+\frac{n}{2}\right)}, $$ with equality if and only if $G \cong \left(K_{\fracχ{2}}\cup\tfrac{n-χ}{2}K_1\right) \vee \left(K_{\fracχ{2}}\cup\tfrac{n-χ}{2}K_1\right)$, where both $n$ and $χ$ are even. This extends the validity of the Fan--Yu--Wang bound from the range $3\le χ\le \frac{n}{2}$ to the full range $3\le χ\le n-1$.
We also compare this bound with the well-known bound due to Wilf that $χ\le 1 + λ_1$, where $λ_1$ denotes the largest eigenvalue. In particular we show that while Wilf's bound is an upper bound for some parameters larger than $χ$, this bound using $λ_n$ is not an upper bound for these parameters. We conclude with a similar conjectured upper bound for $χ(G)$, which uses $m$ in place of $n$.
The structure of $Δ(1, 2, 2)$-free tournaments
We extend the list of tournaments $S$ for which the complete structural description for tournaments excluding $S$ as a subtournament is known. Specifically, let $Δ(1, 2, 2)$ be a tournament on five vertices obtained from a cyclic triangle by substituting a two-vertex tournament for two of its vertices. In this paper, we show that tournaments excluding $Δ(1, 2, 2)$ as a subtournament are either isomorphic to one of three small tournaments, obtained from a transitive tournament by reversing edges in vertex-disjoint directed paths, or obtained from a smaller tournament with the same property by applying one of two operations. In particular, one of these operations creates a homogeneous set that induces a subtournament isomorphic to one of three fixed tournaments, and the other creates a homogeneous pair such that their union induces a subtournament isomorphic to a fixed tournament. As an application of this result, we present an upper bound for the chromatic number, a lower bound for the size of a largest transitive subtournament, and a lower bound for the number of vertex-disjoint cyclic triangles for such tournaments. The bounds that we present are all best possible.
Extension of the Gyárfás-Sumner conjecture to signed graphs
The balanced chromatic number of a signed graph G is the minimum number of balanced sets that cover all vertices of G. Studying structural conditions which imply bounds on the balanced chromatic number of signed graphs is among the most fundamental problems in graph theory. In this work, we initiate the study of coloring hereditary classes of signed graphs. More precisely, we say that a set F = {F_1, F_2, ..., F_l} is a GS (for Gyárfás-Sumner) set if there exists a constant c such that signed graphs with no induced subgraph switching equivalent to a member of F admit a balanced c-coloring. The focus of this work is to study GS sets of order 2. We show that if F is a GS set of order 2, then F_1 is either (K_3, -) or (K_4, -), and F_2 is a linear forest. In the case of F_1 = (K_3, -), we show that any choice of a linear forest for F_2 works. In the case of F_1 = (K_4, -), we show that if each connected component of F_2 is a path of length at most 4, then {F_1, F_2} is a GS set.
Commuting graphs and semigroup constructions
The aim of this paper is to see how commuting graphs interact with two semigroup constructions: the zero-union and the direct product. For both semigroup constructions, we investigate the diameter, clique number, girth, chromatic number and knit degree of their commuting graphs and, when possible, we exhibit the relationship between each one of these properties and the corresponding properties of the commuting graphs of the original semigroups.
Chromatic numbers of rank-two Abelian Cayley graphs
A connected Cayley graph for an Abelian group generated by a finite symmetric subset $S$ can be represented by an integer matrix, its Heuberger matrix. We call the number of columns of that matrix its rank and the number of rows its dimension. Several previous papers have dealt with the question of finding a formula for the chromatic number of an Abelian Cayley graph in terms of an associated Heuberger matrix. In this paper, we fully resolve this matter for all integer matrices of rank $\leq 2$. Prior results provide such formulas when the rank is 1, as well as when the rank is 2 and the dimension is no more than 4. Here, we complete the picture for the rank-two case by showing that when the rank is 2 and the dimension is at least 5, then the chromatic number equals 3 unless the graph has loops (in which case it is uncolorable); the graph is bipartite (in which case the chromatic number is 2); or the matrix has a zero row (in which case, the chromatic number does not change when that row is deleted).
A Lovász-Kneser theorem for triangulations
We show that the Kneser graph of triangulations of a convex $n$-gon has chromatic number $n-2$.
Commuting graphs of completely 0-simple semigroups
The aim of this paper is to study commuting graphs of completely $0$-simple semigroups, using the characterization of these semigroups as $0$-Rees matrix semigroups over a groups. We establish a method to decide whether the commuting graph of this semigroup construction is connected or not. If it is not connected, we also supply a way to identify the connected components of the commuting graph. We show how to obtain the diameter of the commuting graph (when it is connected) and the diameters of the connected components of the commuting graph (when it is not connected). Moreover, we obtain the clique number and girth of the commuting graph of such a semigroup, as well as two upper bounds (either of which can be the best in different situations) for its chromatic number. We also determine the knit degree of such a semigroup.
Finally, we use the results regarding the properties of the commuting graph of a $0$-Rees matrix semigroup over a group to determine the set of possible values for the diameter, clique number, girth, chromatic number and knit degree of the commuting graph of a completely $0$-simple semigroup.
On the b-chromatic number of star graph operators
A $b$-coloring is a proper coloring such that for each color class, there exists at least one vertex that is adjacent to at least one vertex in every other color class. The $b$-chromatic number of a graph $G$ is the maximum number $k$ such that $G$ admits a $b$-coloring with $k$ colors. This paper focuses on the $b$-chromatic number of the power graph of the Cartesian product of star graphs. In addition, we also study the total graph and the line graph of the Cartesian product of star graphs. Our main result generalizes the result shown in \cite{qn} on the b-chromatic number of the Cartesian product of two stars. We find exact values for the b-chromatic number of particular Cartesian products of complete graphs and explore the bounds of the generalized Cartesian product of complete graphs.
Planarity and dimension I
The dimension of a partially ordered set $P$ (poset for short) is the least positive integer $d$ such that $P$ is isomorphic to a subposet of $\mathbb{R}^d$ with the natural product order. Dimension is arguably the most widely studied measure of complexity for posets, and standard examples in posets are the canonical structure forcing dimension to be large. In many ways, dimension for posets is analogous to chromatic number for graphs with standard examples in posets playing the role of cliques in graphs. However, planar graphs have chromatic number at most four, while posets with planar diagrams may have arbitrarily large dimension. The key feature of all known constructions of such posets is that large dimension is forced by a large standard example. The question of whether every poset of large dimension and with a planar cover graph contains a large standard example has been a critical challenge in posets theory since the early 1980s, with very little progress over the years. We answer the question in the affirmative. Namely, we show that every poset $P$ with a planar cover graph has dimension $\mathcal{O}(s^8)$, where $s$ is the maximum order of a standard example in $P$.
On the non-zero divisor graph of the Hamilton quaternions over $\mathbb Z_{2^n}$
Published
• View Publication
• BIB
Let $R$ be a ring with unity. The non-zero divisor graph of $R$, $Φ(R)$, is the graph with vertex set $R\backslash \{0,1,-1\}$, and two vertices $x$ and $y$ are adjacent if and only if either $xy$ or $yx$ is non-zero. In this article we associate $Φ(R)$ to the ring of Hamilton quaternions over $\mathbb Z_{2^n}$, $\mathbb H(\mathbb Z_{2^n})$. The detailed structure of the elements in $\mathbb H(\mathbb Z_{2^n})$ is presented, based on which various structural properties of the graph $Φ(\mathbb H(\mathbb Z_{2^n}))$, such as connectedness, adjacency of vertices, traversability, and planarity, are studied. Furthermore, we derive bounds for clique number and chromatic number.
Brooks' theorem for signed graphs with $Δ=3$
Circular $r$-coloring of a signed graph $(G,σ)$ is a mapping of its vertices to a circle of circumference $r$ such that: I. each pair of vertices with a negative connection is at distance at least $1$, and II. for each pair with a positive connection, the distance of one from the antipodal of the other is at least $1$. A signed graph $(G,σ)$ admits a circular $r$-coloring for some values of $r$ if and only if it has no negative loop. The smallest value of such $r$ is the circular chromatic number, denoted $χ_{c}(G,σ)$. The circular chromatic number is a refinement of the balanced chromatic number, which is mostly studied under the equivalent term $0$-free coloring in the literature.
Extending Brooks' theorem, Má\v cajová, Raspaud, and Škoviera showed that if $Δ(G)$ is an even number, $G$ is connected, and $(G,σ)$ is not (switching) isomorphic to $(K_{Δ+1},-)$ or $C_{-\ell}$ (when $Δ(G)=2$), then $χ_c(G,σ)\leq Δ(G)$ and that the upper bound is tight. For the odd values of $Δ(G)$, assuming a connected signed graph $(G,σ)$ is not isomorphic to $(K_{Δ+1},-)$, determining the best upper bound for $χ_c(G, σ)$ proves to be more of a challenge. In this work, addressing the first step of this question, we show that if $(G, σ)$ is a signed graph of maximum degree 3 with no component isomorphic to $(K_4, -)$, then $χ_{c}(G, σ)\leq \frac{10}{3}$. The upper bound is tight even among signed cubic graphs of girth 5. In particular, there is a signature on the Petersen graph for which the upper of $\frac{10}{3}$ is achieved.