arXiv++ Combinatorics

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.

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.

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.

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$.

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.

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.

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.

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).$

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.

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.

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.

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.

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.

The Turán number $ex(n,H)$ is the maximum number of edges in an $H$-free graph on $n$ vertices. Let $T$ be any tree. The odd-ballooning of $T$, denoted by $T_o$, is a graph obtained by replacing each edge of $T$ with an odd cycle containing the edge, and all new vertices of the odd cycles are distinct. In this paper, we determine the exact value of $ex(n,T_o)$ for sufficiently large $n$ and $T_o$ being good, which generalizes all the known results on $ex(n,T_o)$ for $T$ being a star, due to Erdős et al. (1995), Hou et al. (2018) and Yuan (2018), and provides some counterexamples with chromatic number 3 to a conjecture of Keevash and Sudakov (2004), on the maximum number of edges not in any monochromatic copy of $H$ in a $2$-edge-coloring of a complete graph of order $n$.

A graph $H$ is common if the number of monochromatic copies of $H$ in a 2-edge-colouring of the complete graph $K_n$ is asymptotically minimised by the random colouring. We prove that, given $k,r>0$, there exists a $k$-connected common graph with chromatic number at least $r$. The result is built upon the recent breakthrough of Kráľ, Volec, and Wei who obtained common graphs with arbitrarily large chromatic number and answers a question of theirs.

The class of $2K_2$-free graphs has been well studied in various contexts in the past. In this paper, we study the chromatic number of $\{butterfly, hammer\}$-free graphs, a superclass of $2K_2$-free graphs and show that a connected $\{butterfly, hammer\}$-free graph $G$ with $ω(G)\neq 2$ admits $\binom{ω+1}{2}$ as a $χ$-binding function which is also the best available $χ$-binding function for its subclass of $2K_2$-free graphs. In addition, we show that if $H\in\{C_4+K_p, P_4+K_p\}$, then any $\{butterfly, hammer, H\}$-free graph $G$ with no components of clique size two admits a linear $χ$-binding function. Furthermore, we also establish that any connected $\{butterfly, hammer, H\}$-free graph $G$ where $H\in \{(K_1\cup K_2)+K_p, 2K_1+K_p\}$, is perfect for $ω(G)\geq 2p$.

Various classes of induced subgraphs are involved in the deepest results of graph theory and graph algorithms. A prominent example concerns the {\em perfection} of $G$ that the chromatic number of each induced subgraph $H$ of $G$ equals the clique number of $H$. The seminal Strong Perfect Graph Theorem confirms that the perfection of $G$ can be determined by detecting odd holes in $G$ and its complement. Chudnovsky et al. show in 2005 an $O(n^9)$ algorithm for recognizing perfect graphs, which can be implemented to run in $O(n^{6+ω})$ time for the exponent $ω<2.373$ of square-matrix multiplication. We show the following improved algorithms. 1. The tractability of detecting odd holes was open for decades until the major breakthrough of Chudnovsky et al. in 2020. Their $O(n^9)$ algorithm is later implemented by Lai et al. to run in $O(n^8)$ time, leading to the best formerly known algorithm for recognizing perfect graphs. Our first result is an $O(n^7)$ algorithm for detecting odd holes, implying an $O(n^7)$ algorithm for recognizing perfect graphs. 2. Chudnovsky et al. extend in 2021 the $O(n^9)$ algorithms for detecting odd holes (2020) and recognizing perfect graphs (2005) into the first polynomial algorithm for obtaining a shortest odd hole, which runs in $O(n^{14})$ time. We reduce the time for finding a shortest odd hole to $O(n^{13})$. 3. Conforti et al. show in 1997 the first polynomial algorithm for detecting even holes, running in about $O(n^{40})$ time. It then takes a line of intensive efforts in the literature to bring down the complexity to $O(n^{31})$, $O(n^{19})$, $O(n^{11})$, and finally $O(n^9)$. On the other hand, the tractability of finding a shortest even hole has been open for 16 years until the very recent $O(n^{31})$ algorithm of Cheong and Lu in 2022. We improve the time of finding a shortest even hole to $O(n^{23})$.

A graph is weakly perfect if its clique number and chromatic number are equal. We show that the enhanced power graph of a finite group $G$ is weakly perfect: its clique number and chromatic number are equal to the maximum order of an element of $G$. The proof requires a combinatorial lemma. We give some remarks about related graphs.

An \emph{incompatibility system} $(G,\mathcal{F})$ consists of a graph $G$ and a family $\mathcal{F}=\{F_v\}_{v\in V(G)}$ over $G$ with $F_v\subseteq \{\{e,e'\}\in {E(G)\choose 2}: e\cap e'=\{v\}\}$. We say that two edges $e,e'\in E(G)$ are \emph{incompatible} if $\{e,e'\}\in F_v$ for some $v\in V(G)$, and otherwise \emph{compatible}. A subgraph $H$ of $G$ is \emph{compatible} if every pair of edges in $H$ are compatible. An incompatibility system $(G,\mathcal{F})$ is \emph{$Δ$-bounded} if for any vertex $v$ and any edge $e$ incident with $v$, there are at most $Δ$ members of $F_v$ containing $e$. This notion was partly motivated by a concept of transition system introduced by Kotzig in 1968, and first formulated by Krivelevich, Lee and Sudakov to study the robustness of Hamiltonicity of Dirac graphs. We prove that for any $α>0$ and any graph $H$ with $h$ vertices, there exists a constant $μ>0$ such that for any sufficiently large $n$ with $n\in h\mathbb{N}$, if $G$ is an $n$-vertex graph with $δ(G)\ge(1-\frac{1}{χ^*(H)}+α)n$ and $(G,\mathcal{F})$ is a $μn$-bounded incompatibility system, then there exists a compatible $H$-factor in $G$, where the value $χ^*(H)$ is either the chromatic number $χ(H)$ or the critical chromatic number $χ_{cr}(H)$ and we provide a dichotomy as in the Kühn--Osthus result. Moreover, we give examples $H$ for which there exists an $μn$-bounded incompatibility system $(G, \mathcal{F})$ with $n\in h\mathbb{N}$ and $δ(G)\ge(1-\frac{1}{χ^*(H)}+\fracμ{2})n$ such that $G$ contains no compatible $H$-factor. Unlike in the previous work of Kühn and Osthus on embedding $H$-factors, our proof uses the lattice-based absorption method.

This paper deals with the minimum number $m_H(r)$ of edges in an $H$-free graph with the chromatic number more than $r$. We show how bounds on Ramsey and Turán numbers imply bounds on $m_H(r)$.