arXiv++ Combinatorics

Browse math.CO papers from arXiv

chromatic number

2053 papers tagged with this keyword
2022-09-22
On the Turán number of $K_m \vee C_{2k-1}$
Published • View PublicationBIB
Given a graph $H$ and a positive integer $n$, the Turán number of $H$ for the order $n$, denoted $ex(n,H)$, is the maximum size of a simple graph of order $n$ not containing $H$ as a subgraph. Given graphs $G$ and $H$, the notation $G \vee H$ means the joint of $G$ and $H$. $χ(G)$ denotes the chromatic number of a graph $G$. Since $χ(K_m \vee C_{2k-1})=m+3$ and there is an edge $e\in E(K_m \vee C_{2k-1})$ such that $χ(K_m \vee C_{2k-1}-e)= m+2$, by the Simonovits theorem, $ex(n, K_m \vee C_{2k-1}) = \lfloor \frac{(m+1)n^2}{2(m+2)}\rfloor$ for sufficiently large $n$. In this paper, we prove that $2(m+2)k-3(m+2)-1$ is large enough for $n$.
2022-09-20 v2
Lower bounds for piercing and coloring boxes
Published • View PublicationBIB
Given a family $\mathcal{B}$ of axis-parallel boxes in $\mathbb{R}^d$, let $τ$ denote its piercing number, and $ν$ its independence number. It is an old question whether $τ/ν$ can be arbitrarily large for given $d\geq 2$. Here, for every $ν$, we construct a family of axis-parallel boxes achieving $$τ\geq Ω_d(ν)\cdot\left(\frac{\log ν}{\log\log ν}\right)^{d-2}.$$ This not only answers the previous question for every $d\geq 3$ positively, but also matches the best known upper bound up to double-logarithmic factors. Our main construction has further implications about the Ramsey and coloring properties of configurations of boxes as well. We show the existence of a family of $n$ boxes in $\mathbb{R}^{d}$, whose intersection graph has clique and independence number $O_d(n^{1/2})\cdot \left(\frac{\log n}{\log\log n}\right)^{-(d-2)/2}.$ This is the first improvement over the trivial upper bound $O_d(n^{1/2})$, and matches the best known lower bound up to double-logarithmic factors. Finally, for every $ω$ satisfying $\frac{\log n}{\log\log n}\ll ω\ll n^{1-\varepsilon}$, we construct an intersection graph of $n$ boxes with clique number at most $ω$, and chromatic number $Ω_{d,\varepsilon}(ω)\cdot \left(\frac{\log n}{\log\log n}\right)^{d-2}.$ This matches the best known upper bound up to a factor of $O_d((\log w)(\log \log n)^{d-2})$.
Proving a directed analogue of the Gyárfás-Sumner conjecture for orientations of $P_4$
Published in The Electronic Journal of Combinatorics, 30(3), 36:1-36:27, 2023; Proceedings: European Conference on Combinatorics, Graph Theory and Applications, EUROCOMB 2023 • View PublicationBIB
An oriented graph is a digraph that does not contain a directed cycle of length two. An (oriented) graph $D$ is $H$-free if $D$ does not contain $H$ as an induced sub(di)graph. The Gyárfás-Sumner conjecture is a widely-open conjecture on simple graphs, which states that for any forest $F$, there is some function $f$ such that every $F$-free graph $G$ with clique number $ω(G)$ has chromatic number at most $f(ω(G))$. Aboulker, Charbit, and Naserasr [Extension of Gyárfás-Sumner Conjecture to Digraphs; E-JC 2021] proposed an analogue of this conjecture to the dichromatic number of oriented graphs. The dichromatic number of a digraph $D$ is the minimum number of colors required to color the vertex set of $D$ so that no directed cycle in $D$ is monochromatic. Aboulker, Charbit, and Naserasr's $\overrightarrowχ$-boundedness conjecture states that for every oriented forest $F$, there is some function $f$ such that every $F$-free oriented graph $D$ has dichromatic number at most $f(ω(D))$, where $ω(D)$ is the size of a maximum clique in the graph underlying $D$. In this paper, we perform the first step towards proving Aboulker, Charbit, and Naserasr's $\overrightarrowχ$-boundedness conjecture by showing that it holds when $F$ is any orientation of a path on four vertices.
A note on local antimagic chromatic number of lexicographic product graphs
Let $G = (V,E)$ be a connected simple graph. A bijection $f: E \rightarrow \{1,2,\ldots,|E|\}$ is called a local antimagic labeling of $G$ if $f^+(u) \neq f^+(v)$ holds for any two adjacent vertices $u$ and $v$, where $f^+(u) = \sum_{e\in E(u)} f(e)$ and $E(u$) is the set of edges incident to $u$. A graph $G$ is called local antimagic if $G$ admits at least a local antimagic labeling. The local antimagic chromatic number, denoted $χ_{la}(G)$, is the minimum number of induced colors taken over local antimagic labelings of $G$. Let $G$ and $H$ be two disjoint graphs. The graph $G[H]$ is obtained by the lexicographic product of $G$ and $H$. In this paper, we obtain sufficient conditions for $χ_{la}(G[H])\leq χ_{la}(G)χ_{la}(H)$. Consequently, we give examples of $G$ and $H$ such that $χ_{la}(G[H]) = χ(G)χ(H)$, where $χ(G)$ is the chromatic number of $G$. We conjecture that (i) there are infinitely many graphs $G$ and $H$ such that $χ_{la}(G[H])=χ_{la}(G)χ_{la}(H) = χ(G)χ(H)$, and (ii) for $k\ge 1$, $χ_{la}(G[H]) = χ(G)χ(H)$ if and only if $χ(G)χ(H) = 2χ(H) + \lceil\frac{χ(H)}{k}\rceil$, where $2k+1$ is the length of a shortest odd cycle in $G$.
2022-08-31 v3
Generalizing Körner's graph entropy to graphons
Published in European Journal of Combinatorics, Volume 114, December 2023, 103779 • View PublicationBIB
Körner introduced the notion of graph entropy in 1973 as the minimal code rate of a natural coding problem where not all pairs of letters can be distinguished in the alphabet. Later it turned out that it can be expressed as the solution of a minimization problem over the so-called vertex-packing polytope. In this paper we generalize this notion to graphons. We show that the analogous minimization problem provides an upper bound for graphon entropy. We also give a lower bound in the shape of a maximization problem. The main result of the paper is that for most graphons these two bounds actually coincide and hence precisely determine the entropy in question. Furthermore, graphon entropy has a nice connection to the fractional chromatic number and the fractional clique number.
2022-08-30 v3
Quasiperfect graph
A perfect graph is a graph which every induced subgraph has clique number equal to chromatic number. In this paper, I will introduce a new family of graphs, the quasiperfect graphs which generalizes the perfect graphs.
2022-08-23 v3
Defective coloring is perfect for minors
Published in Combinatorica 44 (2024), 467-507 • View PublicationBIB
The defective chromatic number of a graph class is the infimum $k$ such that there exists an integer $d$ such that every graph in this class can be partitioned into at most $k$ induced subgraphs with maximum degree at most $d$. Finding the defective chromatic number is a fundamental graph partitioning problem and received attention recently partially due to Hadwiger's conjecture about coloring minor-closed families. In this paper, we prove that the defective chromatic number of any minor-closed family equals the simple lower bound obtained by the standard construction, confirming a conjecture of Ossona de Mendez, Oum, and Wood. This result provides the optimal list of unavoidable finite minors for infinite graphs that cannot be partitioned into a fixed finite number of induced subgraphs with uniformly bounded maximum degree. As corollaries about clustered coloring, we obtain a linear relation between the clustered chromatic number of any minor-closed family and the tree-depth of its forbidden minors, improving an earlier exponential bound proved by Norin, Scott, Seymour, and Wood and confirming the planar case of their conjecture.
2022-08-22
The oriented relative clique number of triangle-free planar graphs is 10
In relation to oriented coloring and chromatic number, the parameter oriented relative clique number of an oriented graph $\overrightarrow{G}$, denoted by $ω_{ro}(\overrightarrow{G})$, is the main focus of this work. We solve an open problem mentioned in the recent survey on oriented coloring by Sopena (Discrete Mathematics 2016), and positively settle a conjecture due to Sen (PhD thesis 2014), by proving that the maximum value of $ω_{ro}(\overrightarrow{G})$ is $10$ when $\overrightarrow{G}$ is a planar graph.
2022-08-19
Sharp Bounds and Precise Values for the $N_i$-Chromatic Number of Graphs
Published • View PublicationBIB
Let $G$ be a connected undirected graph.~A vertex coloring $f$ of $G$ is an $N_i$-vertex coloring if for each vertex $x$ in $G$, the number of different colors assigned to $N_G(x)$ is at most $i$.~The $N_i$-chromatic number of $G$, denoted by $t_i(G)$, is the maximum number of colors which are used in an $N_i$-vertex coloring of $G$. In this paper, we provide sharp bounds for $t_i(G)$ of a graph $G$ in terms of its vertex cover number, maximum degree and diameter, respectively. We also determine precise values for $t_i(G)$ in some cases.
2022-08-16 v2
Borel chromatic numbers of locally countable $F_σ$ graphs and forcing with superperfect trees
In this work we study the uncountable Borel chromatic numbers, defined by Geschke (2011) as cardinal characteristics of the continuum, of low complexity graphs. We show that a strong form of locally countable graphs with compact totally disconnected set of vertices have Borel chromatic number bounded by the continuum of the ground model in the model obtained by adding $\aleph_2$ Laver reals. From this, we answer a question from Geschke and the second author (2022), and another question from Fisher, Friedman and Khomskii (2014) concerning regularity properties of subsets of the real line.
On graphs whose domination number is equal to chromatic and dominator chromatic numbers
Published • View PublicationBIB
For a graph $G = (V(G), E(G))$, a dominating set $D$ is a vertex subset of $V(G)$ in which every vertex of $V(G) \setminus D$ is adjacent to a vertex in $D$. The domination number of $G$ is the minimum cardinality of a dominating set of $G$ and is denoted by $γ(G)$. A coloring of $G$ is a partition $C = (V_{1}, ... ,V_{k})$ such that each of $V_{i}$ in an independent set. The chromatic number is the smallest $k$ among all colorings $C = (V_{1}, ... ,V_{k})$ of $G$ and is denoted by $χ(G)$. A coloring $C = (V_{1}, ... ,V_{k})$ is said to be dominator if, for all $V_{i}$, every vertex $v \in V_{i}$ is singleton in $V_{i}$ or is adjacent to every vertex of $V_{j}$. The dominator chromatic number of $G$ is the minimum $k$ of all dominator colorings of $G$ and is denoted by $χ_{d}(G)$. Further, a graph $G$ is $D(k)$ if $γ(G) = χ(G) = χ_{d}(G) = k$. In this paper, for $n \geq 4k - 3$, we prove that there always exists a $D(k)$ graph of order $n$. We further prove that there is no planar $D(k)$ graph when $k \in \{3, 4\}$. Namely, we prove that, for a non-trivial planar graph $G$, the graph $G$ is $D(k)$ if and only if $G$ is $K_{2, q}$ where $q \geq 2$.
2022-08-14
Borel chromatic numbers of closed graphs and forcing with uniform trees
In this work, we continue the tradition initiated by Geschke, 2011 of viewing the uncountable Borel chromatic number of analytic graphs as cardinal invariants of the continuum. We show that various uncountable Borel chromatic numbers of closed graphs can be consistently different, as well as consistently equal to the continuum. This is done using arguments that are typical to Axiom A forcing notions.
2022-08-12
Subdivisions with congruence constraints in digraphs of large chromatic number
Published • View PublicationBIB
We prove that for every digraph $F$ and every assignment of pairs of integers $(r_e,q_e)_{e \in A(F)}$ to its arcs there exists an integer $N$ such that every digraph $D$ with dichromatic number at least $N$ contains a subdivision of $F$ in which $e$ is subdivided into a directed path of length congruent to $r_e$ modulo $q_e$, for every $e \in A(F)$. This generalizes to the directed setting the analogous result by Thomassen for undirected graphs, and at the same time yields a novel short proof of his result.
2022-08-11 v2
Fan-complete Ramsey numbers
Published • View PublicationBIB
For graphs $G$ and $H$, we consider Ramsey numbers $r(G,H)$ with tight lower bounds, namely, $r(G,H) \geq (χ(G)-1)(|H|-1)+1,$ where $χ(G)$ denotes the chromatic number of $G$ and $|H|$ denotes the number of vertices in $H$. We say $H$ is $G$-good if the equality holds. Let $G+H$ be the join graph obtained from graphs $G$ and $H$ by adding all edges between the disjoint vertex sets of $G$ and $H$. Let $nH$ denote the union graph of $n$ disjoint copies of $H$. We show that $K_1+nH$ is $K_p$-good if $n$ is sufficiently large. In particular, the fan-graph $F_n=K_1 + n K_2$ is $K_p$-good if $n\geq 27p^2$, improving previous tower-type lower bounds for $n$ due to Li and Rousseau (1996). Moreover, we give a stronger lower bound inequality for Ramsey number $r(G, K_1+F)$ for the case of $G=K_p(a_1, a_2, \dots, a_p)$, the complete $p$-partite graph with $a_1=1$ and $a_i \leq a_{i+1}$. In particular, using a stability-supersaturation lemma by Fox, He and Wigderson (2021), we show that for any fixed graph $H$, \begin{align*} r(G,K_1+nH) = \left\{ \begin{array}{ll} (p-1)(n |H|+a_2-1)+1 & \textrm{if $n|H|+a_2-1$ is even or $a_2-1$ is even,}\\ (p-1)(n |H|+a_2-2)+1 & \textrm{otherwise,} \end{array} \right. \end{align*} where $G=K_p(1,a_2, \dots, a_p)$ with $a_i$'s satisfying some mild conditions and $n$ is sufficiently large. The special case of $H=K_1$ gives an answer to Burr's question (1981) about the discrepancy of $r(G, K_{1,n})$ from $G$-goodness for sufficiently large $n$. All bounds of $n$ we obtain are not of tower-types.
2022-08-11
On Zero-Divisor Graph of the ring $\mathbb{F}_p+u\mathbb{F}_p+u^2 \mathbb{F}_p$
In this article, we discussed the zero-divisor graph of a commutative ring with identity $\mathbb{F}_p+u\mathbb{F}_p+u^2 \mathbb{F}_p$ where $u^3=0$ and $p$ is an odd prime. We find the clique number, chromatic number, vertex connectivity, edge connectivity, diameter and girth of a zero-divisor graph associated with the ring. We find some of topological indices and the main parameters of the code derived from the incidence matrix of the zero-divisor graph $Γ(R).$ Also, we find the eigenvalues, energy and spectral radius of both adjacency and Laplacian matrices of $Γ(R).$
2022-08-07
Coloring in essential annihilating-ideal graphs of commutative rings
Published • View PublicationBIB
The essential annihilating-ideal graph $\mathcal{EG}(R)$ of a commutative unital ring $R$ is a simple graph whose vertices are non-zero ideals of $R$ with non-zero annihilator and there exists an edge between two distinct vertices $I,J$ if and only if $Ann(IJ)$ has a non-zero intersection with any non-zero ideal of $R$. In this paper, we show that $\mathcal{EG}(R)$ is weakly perfect, if $R$ is Noetherian and an explicit formula for the clique number of $\mathcal{EG}(R)$ is given. Moreover, the structures of all rings whose essential annihilating-ideal graphs have chromatic number $2$ are fully determined. Among other results, twin-free clique number and edge chromatic number of $\mathcal{EG}(R)$ are examined.
On the chromatic numbers of 3-dimensional slices
Published in Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI)518(2022), 94-113 • View PublicationBIB
We prove that for an arbitrary $\varepsilon > 0$ holds \[ χ(\mathbb{R}^3 \times [0,\varepsilon]^6) \geq 10, \] where $χ(M)$ stands for the chromatic number of an (infinite) graph with the vertex set $M$ and the edge set consists of pairs of monochromatic points at the distance 1 apart.
2022-07-28
Topology and chromatic number of random $ε$-distance graphs on spheres
Given $0<α\leqπ$, $ε>0$ and $n$, we define random graphs on the $d$-dimensional sphere by drawing $n$ i.i.d. uniform random points for the vertices, and edges $u {\sim} v$ whenever the geodesic distance between $u$ and $v$ is $ε$-close to $α$. This model generalizes distance graphs on spheres, and also random Borsuk graphs. Topological tools are known to give tight bounds for the chromatic number of Borsuk graphs. We now study the efficiency of one of these topological invariants, namely the connectivity of Lóvasz's neighborhood complex, to bound the chromatic number of this model of random graphs. We show that, in general, this bound performs badly, however, it still produces some useful bounds in dimensions $d=1$ and 2.
2022-07-25 v2
A Short Proof that the List Packing Number of any Graph is Well Defined
Published • View PublicationBIB
List packing is a notion that was introduced in 2021 (by Cambie et al.). The list packing number of a graph $G$, denoted $χ_{\ell}^*(G)$, is the least $k$ such that for any list assignment $L$ that assigns $k$ colors to each vertex of $G$, there is a set of $k$ proper $L$-colorings of $G$, $\{f_1, \ldots, f_k \}$, with the property $f_i(v) \neq f_j(v)$ whenever $1 \leq i < j \leq k$ and $v \in V(G)$. We present a short proof that for any graph $G$, $χ_{\ell}^*(G) \leq |V(G)|$. Interestingly, our proof makes use of Galvin's celebrated result that the list chromatic number of the line graph of any bipartite multigraph equals its chromatic number.
2022-07-24
On asymptotic packing of convex geometric and ordered graphs
Published in Journal of Graph Theory 104 (2023), 836-850 • View PublicationBIB
A convex geometric graph $G$ is said to be packable if there exist edge-disjoint copies of $G$ in the complete convex geometric graph $K_n$ covering all but $o(n^2)$ edges. We prove that every convex geometric graph with cyclic chromatic number at most $4$ is packable. With a similar definition of packability for ordered graphs, we prove that every ordered graph with interval chromatic number at most $3$ is packable. Arguments based on the average length of edges imply these results are best possible. We also identify a class of convex geometric graphs that are packable due to having many "long" edges.