arXiv++ Combinatorics

As shown by Robertson and Seymour, deciding whether the complete graph $K_t$ is a minor of an input graph $G$ is a fixed parameter tractable problem when parameterized by $t$. From the approximation viewpoint, the gap to fill is quite large, as there is no PTAS for finding the largest complete minor unless $P = NP$, whereas a polytime $O(\sqrt n)$-approximation algorithm was given by Alon, Lingas and Wahlén. We investigate the complexity of finding $K_t$ as interval minor in ordered graphs (i.e. graphs with a linear order on the vertices, in which intervals are contracted to form minors). Our main result is a polytime $f(t)$-approximation algorithm, where $f$ is triply exponential in $t$ but independent of $n$. The algorithm is based on delayed decompositions and shows that ordered graphs without a $K_t$ interval minor can be constructed via a bounded number of three operations: closure under substitutions, edge union, and concatenation of a stable set. As a byproduct, graphs avoiding $K_t$ as an interval minor have bounded chromatic number.

A packing $k$-coloring of a graph $G$ is a partition of $V(G)$ into $k$ disjoint non-empty classes $V_1, \dots, V_k$, such that if $u,v \in V_i$, $i\in [k]$, $u\ne v$, then the distance between $u$ and $v$ is greater than $i$. The packing chromatic number of $G$ is the smallest integer $k$ which admits a packing $k$-coloring of $G$. In this paper, the packing chromatic number of the unitary Cayley graph of $\mathbb{Z}_n$ is computed. Two metaheuristic algorithms for calculating the packing chromatic number are also proposed.

Let $G=(V,E)$ be a graph of order $n$ with chromatic number $χ(G)$. Let $ k \geq χ(G) $ and $S \subseteq V$. Let $ C_0 $ be a $k$-coloring of the induced subgraph $ G[S] $. The coloring $C_0$ is called an extendable coloring, if $C_0$ can be extended to a $k$-coloring of $G$ and it is a $k$- Sudoku coloring of $G$, if $C_0$ can be uniquely extended to a $k$-coloring of $G$. The smallest order of such an induced subgraph $G[S]$ of $G$ which admits a $k$- Sudoku coloring is called $k$- Sudoku number of $G$ and is denoted by $sn(G,k)$. When $k=χ(G)$, we call $k$- Sudoku number of $G$ as Sudoku number of $G$ and is denoted by $sn(G)$. In this paper, we have obtained the $3$- Sudoku number of some bipartite graphs $P_n$, $C_{2n}$, $K_{m,n}$, $B_{m,n}$ and $G \circ lK_1$, where $G$ is a bipartite graph and $l\geq1$. Also, we have obtained the necessary and sufficient conditions for a bipartite graph $G$ to have $sn(G,3)$ equal to $n$, $n-1$ or $n-2$. Also, we study the relation between $k$- Sudoku number of a graph $G$ and the Sudoku number of a supergraph $H$ of $G$.

Chromatic-choosablility is a notion of fundamental importance in list coloring. A graph is chromatic-choosable when its chromatic number is equal to its list chromatic number. In 1990, Kostochka and Sidorenko introduced the list color function of a graph $G$, denoted $P_{\ell}(G,m)$, which is the list analogue of the chromatic polynomial of $G$, $P(G,m)$. It is known that for any graph $G$ there is a positive integer $k$ such that $P_{\ell}(G,m) = P(G,m)$ whenever $m \geq k$. In this paper, we study enumerative chromatic-choosability. A graph $G$ is enumeratively chromatic-choosable when $P_{\ell}(G,m) = P(G,m)$ whenever $m \in \mathbb{N}$. We completely determine the graphs of chromatic number two that are enumeratively chromatic-choosable. We construct examples of graphs that are chromatic-choosable but fail to be enumeratively-chromatic choosable, and finally, we explore a conjecture as to whether for every graph $G$, there is a $p \in \mathbb{N}$ such that the join of $G$ and $K_p$ is enumeratively chromatic-choosable. The techniques we use to prove results are diverse and include probabilistic ideas and ideas from DP (or correspondence)-coloring.

Given a graph $G$, a subset $M\subseteq V(G)$ is a mutual-visibility (MV) set if for every $u,v\in M$, there exists a $u,v$-geodesic whose internal vertices are not in $M$. We investigate proper vertex colorings of graphs whose color classes are mutual-visibility sets. The main concepts that arise in this investigation are independent mutual-visibility (IMV) sets and vertex partitions into these sets (IMV colorings). The IMV number $μ_{i}$ and the IMV chromatic number $χ_{μ_{i}}$ are defined as maximum and minimum cardinality taken over all IMV sets and IMV colorings, respectively. Along the way, we also continue with the study of MV chromatic number $χ_μ$ (as the smallest number of sets in a vertex partition into MV sets), which was initiated in an earlier paper. We establish a close connection between the (I)MV chromatic numbers of subdivisions of complete graphs and Ramsey numbers $R(4^k;2)$. From the computational point of view, we prove that the problems of computing $χ_{μ_{i}}$ and $μ_{i}$ are NP-complete, and that it is NP-hard to decide whether a graph $G$ satisfies $\imv(G)=α(G)$ where $α(G)$ is the independence number of $G$. Several tight bounds on $χ_{μ_{i}}$, $χ_μ$ and $μ_{i}$ are given. Exact values/formulas for these parameters in some classical families of graphs are proved. In particular, we prove that $χ_{μ_{i}}(T)=χ_μ(T)$ holds for any tree $T$ of order at least $3$, and determine their exact formulas in the case of lexicographic product graphs. Finally, we give tight bounds on the (I)MV chromatic numbers for the Cartesian and strong product graphs, which lead to exact values in some important families of product graphs.

Consider A to be a commutative, integral and non-degenerate residuated lattice. In this work, we introduce the graph of comaximal filters on the residuated lattice A. We willdenote by Cf(A) this graph for which the set of vertices are proper filters of A which are not contained in the radical of A, and the adjacency relation on vertices is given as: consider two filters F and G, there are adjacent if and only if F v G; the filter generated by F u G is equal to A. The elementary properties of this graph are provided, we establish a link between this comaximal filter graphs and the zero-divisor graphs. Furthermore, we investigate the chromatic number, the clique number, the planarity and the perfection of the graph Cf(A). We also briefly describe all the comaximal filter graphs constructed on specific residuated lattices of small size.

We show that the strong odd chromatic number on any proper minor-closed graph class is bounded by a constant. We almost determine the smallest such constant for outerplanar graphs.

Motivated by algorithmic applications, Kun, O'Brien, Pilipczuk, and Sullivan introduced the parameter linear chromatic number as a relaxation of treedepth and proved that the two parameters are polynomially related. They conjectured that treedepth could be bounded from above by twice the linear chromatic number. In this paper we investigate the properties of linear chromatic number and provide improved bounds in several graph classes.

As evidence for the Odd Hadwiger Conjecture, Simonyi and Zsbán (2010) showed that every Kneser graph $G$ with large enough order (compared to $χ(G)$) contains a totally odd subdivision of $K_{χ(G)}$. A recent result of Steiner (2024), shows that every Schriver graph, and thus every Kneser graph, satisfies the Odd Hadwiger Conjecture, that is, it contains $K_{χ(G)}$ as an odd minor. We strengthen these results for Kneser graphs in two ways. We show that for every $t\ge 8$, there are $t$-chromatic Kneser graphs that contain arbitrarily large complete totally odd subdivisions (and thus, odd minors). We also show that every Kneser graph contains a totally odd subdivision of $K_{χ(G)}$. Kneser graphs are the prime example of graphs having chromatic number equal to its topological lower bounds. Motivated by our main results, we also study totally odd immersions on graphs with this property, proving, in particular, that if the chromatic number of $G$ is equal to any of its topological lower bounds, then $G$ contains a totally odd immersion of $K_{\lfloor χ(G)/2 \rfloor +1}$. This gives evidence for the immersion-analogue of the Odd Hadwiger Conjecture.

We prove that the set of the smallest eigenvalues attained by $3$-colorable graphs is dense in $(-\infty, -λ^*)$, where $λ^* = ρ^{1/2} + ρ^{-1/2} \approx 2.01980$ and $ρ$ is the positive real root of $x^3 = x + 1$. As a consequence, in the context of spherical two-distance sets, our result precludes any further refinement of the forbidden-subgraph method through the chromatic number of signed graphs.

Let $G$ be a group and $S$ be the set of all non-trivial proper subgroups of $G$. \textit{The co-maximal hypergraph of $G$}, denoted by $Co_\mathcal{H}(G)$, is a hypergraph whose vertex set is $\{H \in S \,\, | \,\, H K = G \,\, \text{for some} \, K \in S \}$ and hyperedges are the maximal subsets of the vertex set with the property that the product of any two vertices is equal to $G$. The aim of this paper is to study the co-maximal hypergraph of dihedral groups, $Co_\mathcal{H}(D_n)$. We examine some of the structural properties, viz., diameter, girth and chromatic number of $Co_\mathcal{H}(D_n)$. Also, we provide characterizations for hypertrees, star structures and 3-uniform hypergraphs of $Co_\mathcal{H}(D_n)$. Further, we discuss the possibilities of $Co_\mathcal{H}(D_n)$ which can be embedded on the plane, torus and projective plane.

A hole is a chordless cycle with at least four vertices. A hole is odd if it has an odd number of vertices. A dart is a graph which vertices $a, b, c, d, e$ and edges $ab, bc, bd, be, cd, de$. Dart-free graphs have been actively studied in the literature. We prove that a (dart, odd hole)-free graph is perfect, or does not contain a stable set on three vertices, or is the join or co-join of two smaller graphs. Using this structure result, we design a polynomial-time algorithm for finding an optimal colouring of (dart, odd hole)-free graphs. A graph $G$ is perfectly divisible if every induced subgraph $H$ of $G$ contains a set $X$ of vertices such that $X$ meets all largest cliques of $H$, and $X$ induces a perfect graph. The chromatic number of a perfectly divisible graph $G$ is bounded by $ω^2$ where $ω$ denotes the number of vertices in a largest clique of $G$. We prove that (dart, odd hole)-free graphs are perfectly divisible.

We investigate the extent to which the $k$-coloring graph $\mathcal{C}_{k}(G)$ uniquely determines the base graph $G$ and the number of colors $k$. The vertices of $\mathcal{C}_{k}(G)$ are the proper $k$-colorings of $G$, and edges connect colorings that differ on exactly one vertex. There are nonisomorphic graphs $G_1$ and $G_2$ with isomorphic coloring graphs, so $\mathcal{C}_{k}(G)$ is not a complete invariant in general. However, for color palettes with surplus colors (when the number of colors $k$ is greater than the chromatic number), we prove that the coloring graph is a complete invariant. Specifically, provided that $k_1 > χ(G_1)$, we show that $\mathcal{C}_{k_1}(G_1)\cong \mathcal{C}_{k_2}(G_2)$ implies $G_1\cong G_2$ and $k_1=k_2$. Thus, there is a natural bijection between pairs $(G, k)$ with $k > χ(G)$ and their coloring graphs $\mathcal{C}_k(G)$. Furthermore, no coloring graph of the form $\mathcal{C}_{χ(G)}(G)$ is isomorphic to a coloring graph with surplus colors. Our constructive proof provides a method to decide whether a coloring graph is generated with surplus colors, although the resulting algorithms are inefficient.

A bull is a graph obtained from a four-vertex path by adding a vertex adjacent to the two middle vertices of the path. A graph $G$ is bull-free if no induced subgraph of $G$ is a bull. We prove that for all $k,t\in \mathbb{N}$, if $G$ is a bull-free graph of clique number at most $k$ and every triangle-free induced subgraph of $G$ has chromatic number at most $t$, then $G$ has chromatic number at most $k^{\mathcal{O}(\log t)}$. We further show that the bound $k^{\mathcal{O}(\log t)}$ is best possible up to a multiplicative constant in the exponent. Thomassé, Trotignon and Vušković (2017) were the first to give a bound, of the form $2^{p\log p}$ where $p=\mathcal{O}(k^2+t)$, with a proof that uses Chudnovsky's structure theorem for bull-free graphs. This was improved by Chudnovsky, Cook, Davies and Oum (2023) to a bound that is polynomial in $k$ (of degree linear in $t$), with a 10-page proof that again relies heavily on Chudnovsky's structure theorem. Our proof is a single page long and completely avoids the structure theorem; instead using only one result of Chudnovsky and Safra (which itself has a short proof).

We investigate two recently introduced graph parameters, both of which measure the complexity of the tree decompositions of a given graph. Recall that the treewidth ${\rm tw}(G)$ of a graph $G$ measures the largest number of vertices required in a bag of every tree decomposition of $G$. Similarly, the tree-independence number ${\rm tree\textnormal{-}}α(G)$ and the tree-chromatic number ${\rm tree\textnormal{-}}χ(G)$ measure the largest independence number, respectively the largest chromatic number, required in a bag of every tree decomposition of $G$. Recently, Dallard, Milanič, and Štorgel asked (JCTB, 2024) whether for all graphs $G$ it holds that ${\rm tw}(G)+1 \leq {\rm tree\textnormal{-}}α(G) \cdot {\rm tree\textnormal{-}}χ(G)$. We provide a negative answer for this question in a strong form: for every function $f\colon {\mathbb N} \rightarrow {\mathbb N}$, there exists a graph $G$ such that ${\rm tw}(G) > {\rm tree\textnormal{-}}α(G) \cdot f({\rm tree\textnormal{-}}χ(G))$. On the other hand, we complement this result with an upper bound, by showing that ${\rm tw}(G)+1 \leq {\rm tree\textnormal{-}}α(G)^2 \cdot {\rm tree\textnormal{-}}χ(G)$ for every graph $G$.

For a graph class $\mathcal G$ and a graph $H$, the four $\mathcal G$-covering numbers of $H$, namely global ${\rm cn}_{g}^{\mathcal{G}}(H)$, union ${\rm cn}_{u}^{\mathcal{G}}(H)$, local ${\rm cn}_{l}^{\mathcal{G}}(H)$, and folded ${\rm cn}_{f}^{\mathcal{G}}(H)$, each measure in a slightly different way how well $H$ can be covered with graphs from $\mathcal G$. For every $\mathcal G$ and $H$ it holds \[ {\rm cn}_{g}^{\mathcal{G}}(H) \geq {\rm cn}_{u}^{\mathcal{G}}(H) \geq {\rm cn}_{l}^{\mathcal{G}}(H) \geq {\rm cn}_{f}^{\mathcal{G}}(H) \] and in general each inequality can be arbitrarily far apart. We investigate structural properties of graph classes $\mathcal G$ and $\mathcal H$ such that for all graphs $H \in \mathcal{H}$, a larger $\mathcal G$-covering number of $H$ can be bounded in terms of a smaller $\mathcal G$-covering number of $H$. For example, we prove that if $\mathcal G$ is hereditary and the chromatic number of graphs in $\mathcal H$ is bounded, then there exists a function $f$ (called a binding function) such that for all $H \in \mathcal{H}$ it holds ${\rm cn}_{u}^{\mathcal{G}}(H) \leq f({\rm cn}_{g}^{\mathcal{G}}(H))$. For $\mathcal G$ we consider graph classes that are component-closed, hereditary, monotone, sparse, or of bounded chromatic number. For $\mathcal H$ we consider graph classes that are sparse, $M$-minor-free, of bounded chromatic number, or of bounded treewidth. For each combination and every pair of $\mathcal G$-covering numbers, we either give a binding function $f$ or provide an example of such $\mathcal{G},\mathcal{H}$ for which no binding function exists.

The \emph{book graph} of order $(n+2)$, denoted by $B_{n}$, is the graph with $n$ distinct copies of triangles sharing a common edge called the `base'. A cycle of order $m$ is denoted by $C_{m}$. A lot of studies have been done in recent years on the Ramsey number $R(B_{n}, C_{m})$. However, the exact value remains unknown for several $n$ and $m$. In 2021, Lin and Peng obtained the value of $R(B_{n}, C_{m})$ under certain conditions on $n$ and $m$. In this paper, they remarked that the value is still unknown for the range $n\in [\frac{9m}{8}-125, 4m-14]$. In a recent paper, Hu et al. determined the value of the book-cycle Ramsey number within the range $n\in [ \frac{3m-5}{2}-125, 4m]$ where $m$ is odd and $n$ is sufficiently large. In this article, we extend the investigation to smaller values of $n$. We have obtained a bound of $R(B_{n}, C_{m})$ if $n\in [2m-3, 4m-14]$ and $m\geq 7$ is odd. This is a progress on the earlier result. A connected graph $G$ is said to be \emph{$H$-good} if the formula, \begin{equation*} R(G,H)= (|G|-1)(χ(H)-1)+σ(H) \end{equation*} holds, where $χ(H)$ is the chromatic number of $H$ and $σ(H)$ is the size of the smallest colour class for the $χ(H)$-colouring. In this article, we have studied the \emph{Ramsey goodness} of the graph pair $(C_{m}, \mathbb{K}_{2,n})$, where $\mathbb{K}_{2,n}$ is the complete biparite graph. We have obtained an exact value of $R(\mathbb{K}_{2,n},C_{m})$ for all $n$ satisfying $n\geq 3493$ and $n\geq 2m+499$ where $m\geq 7$ is odd. This shows that $\mathbb{K}_{2,n}$ is $C_{m}$-good, which extends a previous result on the Ramsey goodness of $(C_{m}, \mathbb{K}_{2,n})$. Also, this improves the lower bound on $n$ from a previous result on the Ramsey number $R(B_{n}, C_{m})$

A signed graph is a pair $(G,σ)$, where $G$ is a graph and $σ: E(G)\rightarrow \{-, +\}$, called signature, is an assignment of signs to the edges. Given a signed graph $(G,σ)$ with no negative loops, a balanced $(p,q)$-coloring of $(G,σ)$ is an assignment $f$ of $q$ colors to each vertex from a pool of $p$ colors such that each color class induces a balanced subgraph, i.e., no negative cycles. Let $(K_4,-)$ be the signed graph on $K_4$ with all edges being negative. In this work, we show that every signed (simple) subcubic graph admits a balanced $(5,3)$-coloring except for $(K_4,-)$ and signed graphs switching equivalent to it. For this particular signed graph the best balanced colorings are $(2p,p)$-colorings.

The well-known Turán theorem states that if $G$ is an $n$-vertex $K_{r+1}$-free graph, then $e(G)\le e(T_{n,r})$, with equality if and only if $G$ is the $r$-partite Turán graph $T_{n,r}$. A graph $F$ is called color-critical if it contains an edge whose deletion reduces its chromatic number. Extending the Turán theorem, Simonovits (1968) proved that for any color-critical graph $F$ with $χ(F)=r+1$ and sufficiently large $n$, the Turán graph $T_{n,r}$ is the unique graph with maximum number of edges among all $n$-vertex $F$-free graphs. Subsequently, Nikiforov [Electron. J. Combin., 16 (1) (2009)] proved a spectral version of the Simonovits theorem in terms of the adjacency spectral radius. In this paper, we show an extension of the Simonovits theorem for the signless Laplacian spectral radius. We prove that for any color-critical graph $F$ with $χ(F)=r+1\ge 4$ and sufficiently large $n$, if $G$ is an $F$-free graph on $n$ vertices, then $q(G)\le q(T_{n,r})$, with equality if and only if $G=T_{n,r}$. Our approach is to establish a signless Laplacian spectral version of the criterion of Keevash, Lenz and Mubayi [SIAM J. Discrete Math., 28 (4) (2014)]. Consequently, we can determine the signless Laplacian spectral extremal graphs for generalized books and even wheels. As an application, our result gives an upper bound on the degree power of an $F$-free graph. We show that if $n$ is sufficiently large and $G$ is an $F$-free graph on $n$ vertices with $m$ edges, then $\sum_{v\in V(G)} d^2(v) \le 2(1- \frac{1}{r})mn$, with equality if and only if $G$ is a regular Turán graph $T_{n,r}$. This extends a result of Nikiforov and Rousseau [J. Combin. Theory Ser B 92 (2004)].

An $r$-uniform hypergraph $H = (V, E)$ is $r$-partite if there exists a partition of the vertex set into $r$ parts such that each edge contains exactly one vertex from each part. We say an independent set in such a hypergraph is balanced if it contains an equal number of vertices from each partition. The balanced chromatic number of $H$ is the minimum value $q$ such that $H$ admits a proper $q$-coloring where each color class is a balanced independent set. In this note, we determine the asymptotic behavior of the balanced chromatic number for sparse $r$-uniform $r$-partite Erdős--Rényi hypergraphs. A key step in our proof is to show that any balanced colorable hypergraph of average degree $d$ admits a proper balanced coloring with $r(r-1)d + 1$ colors. This extends a result of Feige and Kogan on bipartite graphs to this more general setting.