arXiv++ Combinatorics

In this paper, we study the Cartesian product of signed graphs as defined by Germina, Hameed and Zaslavsky (2011). Here we focus on its algebraic properties and look at the chromatic number of some Cartesian products. One of our main results is the unicity of the prime factor decomposition of signed graphs. This leads us to present an algorithm to compute this decomposition in linear time based on a decomposition algorithm for oriented graphs by Imrich and Peterin (2018). We also study the chromatic number of a signed graph, that is the minimum order of a signed graph to which the input signed graph admits a homomorphism, of graphs with underlying graph of the form P n [] P m , of Cartesian products of signed paths, of Cartesian products of signed complete graphs and of Cartesian products of signed cycles.

A signed graph is a pair $(G, σ)$, where $G$ is a graph and $σ: E(G) \to \{+, -\}$ is a signature which assigns to each edge of $G$ a sign. Various notions of coloring of signed graphs have been studied. In this paper, we extend circular coloring of graphs to signed graphs. Given a signed graph $(G, σ)$ a circular $r$-coloring of $(G, σ)$ is an assignment $ψ$ of points of a circle of circumference $r$ to the vertices of $G$ such that for every edge $e=uv$ of $G$, if $σ(e)=+$, then $ψ(u)$ and $ψ(v)$ have distance at least $1$, and if $σ(e)=-$, then $ψ(v)$ and the antipodal of $ψ(u)$ have distance at least $1$. The circular chromatic number $χ_c(G, σ)$ of a signed graph $(G, σ)$ is the infimum of those $r$ for which $(G, σ)$ admits a circular $r$-coloring. For a graph $G$, we define the signed circular chromatic number of $G$ to be $\max\{χ_c(G, σ): σ\text{ is a signature of $G$}\}$. We study basic properties of circular coloring of signed graphs and develop tools for calculating $χ_c(G, σ)$. We explore the relation between the circular chromatic number and the signed circular chromatic number of graphs, and present bounds for the signed circular chromatic number of some families of graphs. In particular, we determine the supremum of the signed circular chromatic number of $k$-chromatic graphs of large girth, of simple bipartite planar graphs, $d$-degenerate graphs, simple outerplanar graphs and series-parallel graphs. We construct a signed planar simple graph whose circular chromatic number is $4+\frac{2}{3}$. This is based and improves on a signed graph built by Kardos and Narboni as a counterexample to a conjecture of Máčajová, Raspaud, and Škoviera.

Kostochka and Thomason independently showed that any graph with average degree $Ω(r\sqrt{\log r})$ contains a $K_r$ minor. In particular, any graph with chromatic number $Ω(r\sqrt{\log r})$ contains a $K_r$ minor, a partial result towards Hadwiger's famous conjecture. In this paper, we investigate analogues of these results in the directed setting. There are several ways to define a minor in a digraph. One natural way is as follows. A strong $\overrightarrow{K}_r$ minor is a digraph whose vertex set is partitioned into $r$ parts such that each part induces a strongly-connected subdigraph, and there is at least one edge in each direction between any two distinct parts. We investigate bounds on the dichromatic number and minimum out-degree of a digraph that force the existence of strong $\overrightarrow{K}_r$ minors as subdigraphs. In particular, we show that any tournament with dichromatic number at least $2r$ contains a strong $\overrightarrow{K}_r$ minor, and any tournament with minimum out-degree $Ω(r\sqrt{\log r})$ also contains a strong $\overrightarrow{K}_r$ minor. The latter result is tight up to the implied constant, and may be viewed as a strong-minor analogue to the classical result of Kostochka and Thomason. Lastly, we show that there is no function $f: \mathbb{N} \rightarrow \mathbb{N}$ such that any digraph with minimum out-degree at least $f(r)$ contains a strong $\overrightarrow{K}_r$ minor, but such a function exists when considering dichromatic number.

Given a graph $G$, its orientation covering number $σ(G)$ is the smallest non-negative integer $k$ with the property that we can choose $k$ orientations of $G$ such that whenever $x, y, z$ are vertices of $G$ with $xy,xz\in E(G)$ then there is a chosen orientation in which both $xy$ and $xz$ are oriented away from $x$. Esperet, Gimbel and King showed that $σ(G)\leq σ\left(K_{χ(G)}\right)$, where $χ(G)$ is the chromatic number of $G$, and asked whether we always have equality. In this note we prove that it is indeed always the case that $σ(G)=σ(K_{χ(G)})$. We also determine the exact value of $σ(K_n)$ explicitly for `most' values of $n$.

Very recently, the first geometric-arithmetic index $GA$ and arithmetic-geometric index $AG$ were introduced in mathematical chemistry. In the present paper, we first obtain some lower and upper bounds on $AG$ and characterize the extremal graphs. We also establish various relations between $AG$ and other topological indices, such as the first geometric-arithmetic index $GA$, atom-bond-connectivity index $ABC$, symmetric division deg index $SDD$, chromatic number $χ$ and so on. Finally, we present some sufficient conditions of $GA(G)>GA(G-e)$ or $AG(G)>AG(G-e)$ for an edge $e$ of a graph $G$. In particular, for the first geometric-arithmetic index, we also give a refinement of Bollobás-Erdős-type theorem obtained in [3].

Suppose that $R$ (red) and $B$ (blue) are two graphs on the same vertex set of size $n$, and $H$ is some graph with a red-blue coloring of its edges. How large can $R$ and $B$ be if $R\cup B$ does not contain a copy of $H$? Call the largest such integer $\mathrm{mex}(n, H)$. This problem was introduced by Diwan and Mubayi, who conjectured that (except for a few specific exceptions) when $H$ is a complete graph on $k+1$ vertices with any coloring of its edges $\mathrm{mex}(n,H)=\mathrm{ex}(n, K_{k+1})$. This conjecture generalizes Turán's theorem. Diwan and Mubayi also asked for an analogue of Erdős-Stone-Simonovits theorem in this context. We prove the following asymptotic characterization of the extremal threshold in terms of the chromatic number $χ(H)$ and the \textit{reduced maximum matching number} $\mathcal{M}(H)$ of $H$. $$\mathrm{mex}(n, H)=\left(1- \frac{1}{2(χ(H)-1)} - Ω\left(\frac{\mathcal{M}(H)}{χ(H)^2}\right)\right)\frac{n^2}{2}.$$ $\mathcal{M}(H)$ is, among the set of proper $χ(H)$-colorings of $H$, the largest set of disjoint pairs of color classes where each pair is connected by edges of just a single color. The result is also proved for more than $2$ colors and is tight up to the implied constant factor. We also study $\mathrm{mex}(n, H)$ when $H$ is a cycle with a red-blue coloring of its edges, and we show that $\mathrm{mex}(n, H)\lesssim \frac{1}{2}\binom{n}{2}$, which is tight.

A coloring of edges of a graph $G$ is injective if for any two distinct edges $e_1$ and $e_2$, the colors of $e_1$ and $e_2$ are distinct if they are at distance $1$ in $G$ or in a common triangle. Naturally, the injective chromatic index of $G$, $χ'_{inj}(G)$, is the minimum number of colors needed for an injective edge-coloring of $G$. We study how large can be the injective chromatic index of $G$ in terms of maximum degree of $G$ when we have restrictions on girth and/or chromatic number of $G$. We also compare our bounds with analogous bounds on the strong chromatic index.

Given an undirected graph $G = (V,E)$, a conflict-free coloring with respect to open neighborhoods (CFON coloring) is a vertex coloring such that every vertex has a uniquely colored vertex in its open neighborhood. The minimum number of colors required for such a coloring is the CFON chromatic number of $G$, denoted by $χ_{ON}(G)$. In previous work [WG 2020], we showed the upper bound $χ_{ON}(G) \leq dc(G) + 3$, where $dc(G)$ denotes the distance to cluster parameter of $G$. In this paper, we obtain the improved upper bound of $χ_{ON}(G) \leq dc(G) + 1$. We also exhibit a family of graphs for which $χ_{ON}(G) > dc(G)$, thereby demonstrating that our upper bound is tight.

The dichromatic number of a digraph $D$ is the minimum number of colors needed to color its vertices in such a way that each color class induces an acyclic digraph. As it generalizes the notion of the chromatic number of graphs, it has been a recent center of study. In this work we look at possible extensions of Gyárfás-Sumner conjecture. More precisely, we propose as a conjecture a simple characterization of finite sets $\mathcal F$ of digraphs such that every oriented graph with sufficiently large dichromatic number must contain a member of $\mathcal F$ as an induce subdigraph. Among notable results, we prove that oriented triangle-free graphs without a directed path of length $3$ are $2$-colorable. If condition of "triangle-free" is replaced with "$K_4$-free", then we have an upper bound of $414$. We also show that an orientation of complete multipartite graph with no directed triangle is 2-colorable. To prove these results we introduce the notion of \emph{nice sets} that might be of independent interest.

In this paper, perfect k-orthogonal colourings of tensor graphs are studied. First, the problem of determining if a given graph has a perfect 2-orthogonal colouring is reformulated as a tensor subgraph problem. Then, it is shown that if two graphs have a perfect $k$-orthogonal colouring, then so does their tensor graph. This provides an upper bound on the $k$-orthogonal chromatic number for general tensor graphs. Lastly, two other conditions for a tensor graph to have a perfect $k$-orthogonal colouring are given.

A signed graph $(G, σ)$ is a graph $G$ along with a function $σ: E(G) \to \{+,-\}$. A closed walk of a signed graph is positive (resp., negative) if it has an even (resp., odd) number of negative edges, counting repetitions. A homomorphism of a (simple) signed graph to another signed graph is a vertex-mapping that preserves adjacencies and signs of closed walks. The signed chromatic number of a signed graph $(G, σ)$ is the minimum number of vertices $|V(H)|$ of a signed graph $(H, π)$ to which $(G, σ)$ admits a homomorphism.Homomorphisms of signed graphs have been attracting growing attention in the last decades, especially due to their strong connections to the theories of graph coloring and graph minors. These homomorphisms have been particularly studied through the scope of the signed chromatic number. In this work, we provide new results and bounds on the signed chromatic number of several families of signed graphs (planar graphs, triangle-free planar graphs, $K_n$-minor-free graphs, and bounded-degree graphs).

A cyclic coloring of a plane graph $G$ is a coloring of its vertices such that vertices incident with the same face have distinct colors. The minimum number of colors in a cyclic coloring of a plane graph $G$ is its cyclic chromatic number $χ_c(G)$. Let $Δ^*(G)$ be the maximum face degree of a graph $G$. In this note we show that to prove the Cyclic Coloring Conjecture of Borodin from 1984, saying that every connected plane graph $G$ has $χ_c(G) \leq \lfloor \frac{3}{2}Δ^*(G)\rfloor$, it is enough to do it for subdivisions of simple $3$-connected plane graphs. We have discovered four new different upper bounds on $χ_c(G)$ for graphs $G$ from this restricted family; three bounds of them are tight. As corollaries, we have shown that the conjecture holds for subdivisions of plane triangulations, simple $3$-connected plane quadrangulations, and simple $3$-connected plane pentagulations with an even maximum face degree, for regular subdivisions of simple $3$-connected plane graphs of maximum degree at least 10, and for subdivisions of simple $3$-connected plane graphs having the maximum face degree large enough in comparison with the number of vertices of their longest paths consisting only of vertices of degree two.

Let $n\ge 1$ and $s\ge 1$ be integers. An almost $s$-stable subset $A$ of $[n]=\{1,\dots,n\}$ is a subset such that for any two distinct elements $i, j\in A$, one has $|i-j|\ge s$. For a family $\cal F$ of non-empty subsets of $[n]$ and an integer $r\ge 2$, the chromatic number of the $r$-uniform Kneser hypergraph $\mbox{KG}^r({\cal F})$, whose vertex set is $\cal F$ and whose edge set is the set of $\{A_1,\dots, A_r\}$ of pairwise disjoint elements in $\cal F$, has been studied extensively in the literature and Abyazi Sani and Alishahi were able to give a lower bound for it in terms of the equatable $r$-colorability defect, $\mbox{ecd}^r({\cal F})$. In this article, the methods of Chen for the special family of all $k$-subsets of $[n]$, are modified to give lower bounds for the chromatic number of almost stable general Kneser hypergraph $\mbox{KG}^r({\cal F}_s)$ in terms of $\mbox{ecd}^s({\cal F})$. Here ${\cal F}_s$ is the collection of almost $s$-stable elements of $\cal F$. We also propose a generalization of a conjecture of Meunier.

We provide a gentle introduction, aimed at non-experts, to Borel combinatorics that studies definable graphs on topological spaces. This is an emerging field on the borderline between combinatorics and descriptive set theory with deep connections to many other areas. After giving some background material, we present in careful detail some basic tools and results on the existence of Borel satisfying assignments: Borel versions of greedy algorithms and augmenting procedures, local rules, Borel transversals, etc. Also, we present the construction of Andrew Marks of acyclic Borel graphs for which the greedy bound $Δ+1$ on the Borel chromatic number is best possible. In the remainder of the paper we briefly discuss various topics such as relations to LOCAL algorithms, measurable versions of Hall's marriage theorem and of Lovász Local Lemma, applications to equidecomposability, etc.

Given a graph, the conflict-free coloring problem on open neighborhoods (CFON) asks to color the vertices of the graph so that all the vertices have a uniquely colored vertex in its open neighborhood. The smallest number of colors required for such a coloring is called the conflict-free chromatic number and denoted $χ_{ON}(G)$. In this note, we study this problem on $S_k$-free graphs where $S_k$ is a star on $k+1$ vertices. When $G$ is $S_k$-free, we show that $χ_{ON}(G) = O(k\cdot \log^{2+ε}Δ)$, for any $ε> 0$, where $Δ$ denotes the maximum degree of $G$. Further, we show existence of claw-free ($S_3$-free) graphs that require $Ω(\log Δ)$ colors.

Let $n\ge 1$, $r\ge 2$, and $s\ge 0$ be integers and ${\cal P}=\{P_1,\dots, P_l\}$ be a partition of $[n]=\{1,\dots, n\}$ with $|P_i|\le r$ for $i=1,\dots, l$. Also, let $\cal F$ be a family of non-empty subsets of $[n]$. The $r$-uniform Kneser-type hypergraph $\mbox{KG}^r({\cal F}, {\cal P},s)$ is the hypergraph with the vertex set of all $\cal P$-admissible elements $F\in {\cal F}$, that is $|F\cap P_i|\le 1$ for $i=1,\dots, l$ and the edge set of all $r$-subsets $\{F_1,\dots, F_r\}$ of the vertex set that $|F_i\cap F_j|\le s$ for all $1\le i<j\le r$. In this article, we extend the equitable $r$-colorability defect $\mbox{ecd}^r({\cal F})$ of Abyazi Sani and Alishahi to the case when one allows intersection among the vertices of an edge. It will be denoted by $\mbox{ecd}^r({\cal F},s)$. We then, give (under certain assumptions) lower bounds for the chromatic number of $\mbox{KG}^r({\cal F}, {\cal P},s)$ and some of its variants in terms of $\mbox{ecd}^r({\cal F},\lfloor s/2\rfloor)$. This work generalizes many existing results in the literature of the Kneser hypergraphs. It generalizes the previous results of the current authors from the special family of all $k$-subsets of $[n]$ to a general family $\cal F$ of subsets.

A 2-edge-colored graph or a signed graph is a simple graph with two types of edges. A homomorphism from a 2-edge-colored graph $G$ to a 2-edge-colored graph $H$ is a mapping $\varphi: V(G) \rightarrow V(H)$ that maps every edge in $G$ to an edge of the same type in $H$. Switching a vertex $v$ of a 2-edge-colored or signed graph corresponds to changing the type of each edge incident to $v$. There is a homomorphism from the signed graph $G$ to the signed graph $H$ if after switching some subset of the vertices of $G$ there is a 2-edge-colored homomorphism from $G$ to $H$. The chromatic number of a 2-edge-colored (resp. signed) graph $G$ is the order of a smallest 2-edge-colored (resp. signed) graph $H$ such that there is a homomorphism from $G$ to $H$. The chromatic number of a class of graph is the maximum of the chromatic numbers of the graphs in the class. We study the chromatic numbers of 2-edge-colored and signed graphs (connected and not necessarily connected) of a given bounded maximum degree. More precisely, we provide exact bounds for graphs of maximum degree 2. We then propose specific lower and upper bounds for graphs of maximum degree 3, 4, and 5. We finally propose general bounds for graphs of maximum degree $k$, for every $k$.

The celebrated Erdős--Stone--Simonovits theorem characterizes the asymptotic maximum edge density in $\mathcal{F}$-free graphs as $1 - 1/(χ(\mathcal{F})-1) + o(1)$, where $χ(\mathcal{F})$ is the minimum chromatic number of a graph in $\mathcal{F}$. In Examples 25 and 31 of [L. N. Coregliano and A. A. Razborov. Semantic limits of dense combinatorial objects. Uspekhi Mat. Nauk, 75(4(454)):45-152, 2020], it was shown that this result can be extended to the general setting of graphs with extra structure: the maximum asymptotic density of a graph with extra structure without some induced subgraphs is $1 - 1/(χ(I) - 1) + o(1)$ for an appropriately defined abstract chromatic number $χ(I)$. As the name suggests, the original formula for the abstract chromatic number is so abstract that its (algorithmic) computability was left open. In this paper, we both extend this result to characterize maximum asymptotic density of $t$-cliques in of graphs with extra structure without some induced subgraphs in terms of $χ(I)$ and we present a more concrete formula for $χ(I)$ that allows us to show its computability when both the extra structure and the forbidden subgraphs can be described by a finitely axiomatizable universal first-order theory. Our alternative formula for $χ(I)$ makes use of a partite version of Ramsey's Theorem for structures on first-order relational languages.

$χ$-bounded classes are studied here in the context of star colorings and more generally $χ_p$-colorings. This leads to natural extensions of the notion of bounded expansion class and to structural characterization of these. In this paper we solve two conjectures related to star coloring boundedness. One of the conjectures is disproved and in fact we determine which weakening holds true. We give structural characterizations of (strong and weak) $χ_p$-bounded classes. On the way, we generalize a result of Wood relating the chromatic number of a graph to the star chromatic number of its $1$-subdivision. As an application of our characterizations, among other things, we show that for every odd integer $g>3$ even hole-free graphs $G$ contain at most $\varphi(g,ω(G))\,|G|$ holes of length $g$.

An edge labeling of a connected graph $G = (V, E)$ is said to be local antimagic if it is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted by $χ_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. In this paper, we (i) give a sufficient condition for a graph with one pendant to have $χ_{la}\ge 3$. A necessary and sufficient condition for a graph to have $χ_{la}=2$ is then obtained; (ii) give a sufficient condition for every circulant graph of even order to have $χ_{la} = 3$; (iii) construct infinitely many bipartite and tripartite graphs with $χ_{la} = 3$ by transformation of cycles; (iv) apply transformation of cycles to obtain infinitely many one-point union of regular (possibly circulant) or bi-regular graphs with $χ_{la} = 2,3$. The work of this paper suggests many open problems on the local antimagic chromatic number of bipartite and tripartite graphs.