arXiv++ Combinatorics

Extending the notions of Kneser graphs and Schrijver graphs, we define the $G$-stable Kneser graph $KG(G,k)$ (where $k\geq 2$ and $G$ is a graph on $n\geq 2k$ vertices) as the graph whose vertices are the $k$-element independent sets in $G$ and whose edges join pairs of disjoint independent sets. The well-known result of Lovász on the chromatic number of Kneser graphs implies that $χ(KG(G,k)) \leq n-2k+2$ for any $G$. We call $G$ $k$-tight if equality holds, and we study the following question: Which graphs are $k$-tight? A result of Daneshpajouh et al.\ implies a characterization of $2$-tight graphs. We prove a necessary condition for a graph to be $k$-tight for $k\geq 3$ which extends this characterization, and we conjecture it to be sufficient. Another result gives a lower bound to the chromatic number of the $G$-stable Kneser graphs when $G$ is a disjoint union of cycles. We use this result to give a short proof of the fact that $4$-regular graphs on $3k$ vertices consisting of two vertex-disjoint cycles and $k$ cycles of length $3$ admit an independent set of size $k$.

In an oriented graph, the inversion of a subset of vertices X is the operation reversing the direction of every arc with both endpoints in X. Given a graph G, the inversion distance between two orientations G is the minimum number of inversions transforming one into the other. The inversion diameter diam(G) is the maximum such distance over all pairs of orientations of G. Through an equivalent formulation of inversions over 2-edge-colorings of G, we introduce the use of homomorphism-universal 2-edge-colored graphs to obtain bounds on the inversion diameter of various classes of graphs. Our first result upper bounds the inversion diameter by a linear function of the acyclic chromatic number, improving on the previous quadratic dependency. We then consider the inversion diameter of planar graphs, exhibiting a lower bound of 6, as well as new lower and upper bounds for those of a given girth, in particular settling the girth 7 case. We then show that any triangle-free graph G with maximum degree D satisfies diam(G) <= D + log D, making progress on the conjecture of Havet et al. that diam(G) <= D. Finally, we prove a general result about subdivisions: if a graph has inversion diameter k, any of its subdivisions has inversion diameter at most k + log k + 5.

The Lovász complex $L(G)$ of a graph $G$ is a deformation retract of its neighborhood complex, equipped with a canonical $Z_2$-action. We show that, under mild assumptions, $L(G)$ is homeomorphic to a surface if and only if $G$ is a non-bipartite quadrangulation of the orbit space $L(G)/Z_2$ in which every $4$-cycle is facial. This yields a classification of the Lovász complexes of all such quadrangulations. As an application, we contextualize a result of Archdeacon \emph{et al.}\ and Mohar and Seymour on the chromatic number of quadrangulations, obtaining a stronger statement about the $Z_2$-index.