arXiv++ Combinatorics

We introduce and study a loopless multigraph associated with a split graph $S$: the factor graph of $S$, denoted by $Φ(S)$, which encodes the combinatorial information about 2-switch transformations over $S$. This construction provides a cleaner, compact and non-redundant alternative to the graph $A_4(S)$ by Barrus and West, for the particular case of split graphs. If $Φ(S)$ is simple and connected, we obtain a precise description of the underlying structure of $S$, particularly when $Φ(S)$ is complete, highlighting the usefulness of the factor graph for understanding 2-switch dynamics in balanced and indecomposable split graphs, as well as its 2-switch-degree classification.

The 2-switch-degree of $G$ is the number of distinct 2-switches acting on a graph $G$. In this work we study structural properties of the 2-switch-degree, with a focus on split graphs. Our approach is motivated by the Tyshkevich decomposition, which uniquely expresses any graph as a composition $G_r \circ \ldots \circ G_1$ of indecomposable graphs, where $G_2, \ldots, G_r$ are split. Our key tool is the factor graph $Φ(S)$, a multigraph associated with a split graph $S$ that encodes 2-switch-degree information via edge multiplicities between independet vertices of $S$. By leveraging $Φ(S)$, we reduce the problem of classifying indecomposable split graphs to enumerating and analyzing unlabeled connected multigraphs of fixed size. Using this method, we fully classify indecomposable split graphs of degrees 1, 2, 3, and 4. Further, we introduce and investigate the $Δ$-property, a surprising connection between Graph Theory and Number Theory that arises from $n$-simple triangles (3-cycles with uniform edge multiplicity $n$) of the factor graph.

Given any two forests with the same degree sequence, we show in an algorithmic way that one can be transformed into the other by a sequence of 2-switches in such a way that all the intermediate graphs of the transformation are forests. We also prove that the 2-switch operation perturbs minimally some well-known integer parameters in families of graphs with the same degree sequence. Then, we apply these results to conclude that the studied parameters have the interval property on those families.