arXiv++ Combinatorics

The Odd Hadwiger number of a graph $G$ is the largest integer $r$ such that $G$ has a clique of size $r$ as an odd minor. In this paper, we investigate how large is the Odd Hadwiger number of the product of two graphs, when considering any of the four standard graph products: Cartesian, direct, lexicographic, strong. We provide an optimal lower bound in the cases of the strong and lexicographic products.

An immersion of a graph $H$ in a graph $G$ is a minimal subgraph $I$ of $G$ for which there is an injection ${\rm i} \colon V(H) \to V(I)$ and a set of edge-disjoint paths $\{P_e: e \in E(H)\}$ in $I$ such that the end vertices of $P_{uv}$ are precisely ${\rm i}(u)$ and ${\rm i}(v)$. The immersion analogue of Hadwiger Conjecture (1943), posed by Lescure and Meyniel (1985), asks whether every graph $G$ contains an immersion of $K_{χ(G)}$. Its restriction to graphs with independence number 2 has received some attention recently, and Vergara (2017) raised the weaker conjecture that every graph with independence number 2 has an immersion of $K_{χ(G)}$. This implies that every graph with independence number 2 has an immersion of $K_{\lceil n/2 \rceil}$. In this paper, we verify Vergara Conjecture for graphs with bounded maximum degree. Specifically, we prove that if $G$ is a graph with independence number $2$, maximum degree less than $2n/3 - 1$ and clique covering number at most $3$, then $G$ contains an immersion of $K_{χ(G)}$ (and thus of $K_{\lceil n/2 \rceil}$). Using a result of Jin (1995), this implies that if $G$ is a graph with independence number $2$ and maximum degree less than $19n/29 - 1$, then $G$ contains an immersion of $K_{χ(G)}$ (and thus of $K_{\lceil n/2 \rceil}$).

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.

For a graph $G$, let $im(G)$ denote the maximum integer $t$ such that $G$ contains $K_t$ as an immersion. A recent paper of Collins, Heenehan, and McDonald (2023) studied the behaviour of this parameter under graph products, asking how large can $im(G\ast H)$ be in terms of $im(G)$ and $im(H)$, when $\ast$ is one of the four standard graph products. We consider a similar question for the parameter $toi(G)$ which denotes the maximum integer $t$ such that $G$ contains $K_t$ as a totally odd immersion. As an application, we obtain that no minimum counterexample to the immersion-analogue of the Odd Hadwiger Conjecture can be obtained from the Cartesian, direct (tensor), lexicographic or strong product of graphs.

The game of cops and robber is a turn based vertex pursuit game played on a connected graph between a team of cops and a single robber. The cops and the robber move alternately along the edges of the graph. We say the team of cops win the game if a cop and the robber are at the same vertex of the graph. The minimum number of cops required to win in each component of a graph is called the cop number of the graph. Sivaraman [Discrete Math. 342(2019), pp. 2306-2307] conjectured that for every $t\geq 5$, the cop number of a connected $P_t$-free graph is at most $t-3$, where $P_t$ denotes a path on $t$~vertices. Turcotte [Discrete Math. 345 (2022), pp. 112660] showed that the cop number of any $2K_2$-free graph is at most $2$, which was earlier conjectured by Sivaraman and Testa. Note that if a connected graph is $2K_2$-free, then it is also $P_5$-free. Liu showed that the cop number of a connected ($P_t$, $H$)-free graph is at most $t-3$, where $H$ is a cycle of length at most $t$ or a claw. So the conjecture of Sivaraman is true for ($P_5$, $H$)-free graphs, where $H$ is a cycle of length at most $5$ or a claw. In this paper, we show that the cop number of a connected ($P_5,H$)-free graph is at most $2$, where $H\in \{C_4$, $C_5$, diamond, paw, $K_4$, $2K_1\cup K_2$, $K_3\cup K_1$, $P_3\cup P_1\}$.

This paper discusses the complete structure of the (bull, diamond)-free graphs. As an application of that, we give the characterization of the partitionable (bull, diamond)-free graphs. Moreover, we show that such a partition for a partitionable (bull, diamond)-free graph can be found in polynomial time. Additionally, we show that the cop number of a (bull, diamond)-free graph containing a triangle is at most two less than its diameter. Furthermore, the cop number of a connected ($P_n$, bull, diamond)-free graph with a triangle, is at most $n-3$, for any natural number $n>3$. We also discuss a couple of applications of the structural theorem of the (bull, diamond)-free graphs in the conclusions.

A strong edge coloring of a graph $G$ is a proper edge coloring of $G$ such that every color class is an induced matching. The minimum number of colors required is termed the strong chromatic index. In this paper, we determine the exact value of the strong chromatic index of all unitary Cayley graphs. Our investigations reveal an underlying product structure from which the unitary Cayley graphs emerge. We then go on to give tight bounds for the strong chromatic index of the Cartesian product of two trees, including an exact formula for the product in the case of stars. Further, we give bounds for the strong chromatic index of the product of a tree with a cycle. For any tree, those bounds may differ from the actual value only by not more than a small additive constant (at most 2 for even cycles and at most 5 for odd cycles), moreover they yield the exact value when the length of the cycle is divisible by $4$.

We study the exact square chromatic number of subcubic planar graphs. An exact square coloring of a graph G is a vertex-coloring in which any two vertices at distance exactly 2 receive distinct colors. The smallest number of colors used in such a coloring of G is its exact square chromatic number, denoted $χ^{\sharp 2}(G)$. This notion is related to other types of distance-based colorings, as well as to injective coloring. Indeed, for triangle-free graphs, exact square coloring and injective coloring coincide. We prove tight bounds on special subclasses of planar graphs: subcubic bipartite planar graphs and subcubic K 4-minor-free graphs have exact square chromatic number at most 4. We then turn our attention to the class of fullerene graphs, which are cubic planar graphs with face sizes 5 and 6. We characterize fullerene graphs with exact square chromatic number 3. Furthermore, supporting a conjecture of Chen, Hahn, Raspaud and Wang (that all subcubic planar graphs are injectively 5-colorable) we prove that any induced subgraph of a fullerene graph has exact square chromatic number at most 5. This is done by first proving that a minimum counterexample has to be on at most 80 vertices and then computationally verifying the claim for all such graphs.

We show that every ($P_6$, diamond, $K_4$)-free graph is $6$-colorable. Moreover, we give an example of a ($P_6$, diamond, $K_4$)-free graph $G$ with $χ(G) = 6$. This generalizes some known results in the literature.

A hereditary class $\mathcal{G}$ of graphs is $χ$-bounded if there is a $χ$-binding function, say $f$ such that $χ(G) \leq f(ω(G))$, for every $G \in \cal{G}$, where $χ(G)$ ($ω(G)$) denote the chromatic (clique) number of $G$. It is known that for every $2K_2$-free graph $G$, $χ(G) \leq \binom{ω(G)+1}{2}$, and the class of ($2K_2, 3K_1$)-free graphs does not admit a linear $χ$-binding function. In this paper, we are interested in classes of $2K_2$-free graphs that admit a linear $χ$-binding function. We show that the class of ($2K_2, H$)-free graphs, where $H\in \{K_1+P_4, K_1+C_4, \overline{P_2\cup P_3}, HVN, K_5-e, K_5\}$ admits a linear $χ$-binding function. Also, we show that some superclasses of $2K_2$-free graphs are $χ$-bounded.