Topological bounds, odd subdivisions and odd immersions
Authors:
Henry Echeverría,
Andrea Jiménez,
Suchismita Mishra,
Adrián Pastine,
Daniel A. Quiroz,
Mauricio Yépez
Abstract:
The analogue of Hadwiger's conjecture for the immersion order states that every graph $G$ contains $K_{χ(G)}$ as an immersion. Our work is motivated by a strengthening of this conjecture which asserts that every graph $G$ contains $K_{χ(G)}$ as a totally odd immersion. As evidence for this strengthened conjecture and inspired by a result of Steiner (2024), we show that if the chromatic number of…
▽ More
The analogue of Hadwiger's conjecture for the immersion order states that every graph $G$ contains $K_{χ(G)}$ as an immersion. Our work is motivated by a strengthening of this conjecture which asserts that every graph $G$ contains $K_{χ(G)}$ as a totally odd immersion. As evidence for this strengthened conjecture and inspired by a result of Steiner (2024), we show 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}$.
Kneser and Generalised Mycielski graphs are canonical examples of graphs satisfying such equalities for their chromatic numbers. 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)}$, thus satisfying the motivating conjecture in a strong sense. We show that, in fact, for every $t\ge 8$, there are $t$-chromatic Kneser graphs that contain arbitrarily large complete totally odd subdivisions. We also study totally odd subdivisions and immersions in Generalised Mycielski graphs, in particular showing that these graphs cannot be minimum counterexamples to the motivating conjecture.
△ Less
Submitted 5 May, 2025;
originally announced May 2025.
Totally odd immersions of complete graphs in graph products
Authors:
Henry Echeverría,
Andrea Jiménez,
Suchismita Mishra,
Daniel A. Quiroz,
Mauricio Yépez
Abstract:
The counterexamples that Catlin used to disprove Hajós' conjecture (that every graph $G$ contains a subdivision of $K_{χ(G)}$) are the lexicographic product of cliques and cycles. In 1989, Lescure and Meyniel made a conjecture that is a weakening of Hajós' and that remains open: every graph contains an immersion of $K_{χ(G)}$. Can minimal counterexamples to this conjecture be produced through grap…
▽ More
The counterexamples that Catlin used to disprove Hajós' conjecture (that every graph $G$ contains a subdivision of $K_{χ(G)}$) are the lexicographic product of cliques and cycles. In 1989, Lescure and Meyniel made a conjecture that is a weakening of Hajós' and that remains open: every graph contains an immersion of $K_{χ(G)}$. Can minimal counterexamples to this conjecture be produced through graph products? Collins, Heenehan, and McDonald recently gave a negative answer to this question for the lexicographic and Cartesian product. We consider a strengthening of the Lescure and Meyniel conjecture, different from that of Hajós, based on the notion of totally odd immersions. We study the largest totally odd immersion appearing in the graph product of two graphs. Our results imply that no minimal counterexample to this strengthened conjecture can be obtained from the Cartesian, lexicographic, direct (tensor) or strong product of graphs.
△ Less
Submitted 14 May, 2025; v1 submitted 14 February, 2025;
originally announced February 2025.
