arXiv++ Combinatorics

Extending the notion of maxcut, the study of the frustration index of signed graphs is one of the basic questions in the theory of signed graphs. Recently two of the authors initiated the study of critically frustrated signed graphs. That is a signed graph whose frustration index decreases with the removal of any edge. The main focus of this study is on critical signed graphs which are not edge-disjoint unions of critically frustrated signed graphs (namely non-decomposable signed graphs) and which are not built from other critically frustrated signed graphs by subdivision. We conjecture that for any given $k$ there are only finitely many critically $k$-frustrated signed graphs of this kind. Providing support for this conjecture we show that there are only two of such critically $3$-frustrated signed graphs where there is no pair of edge-disjoint negative cycles. Similarly, we show that there are exactly ten critically $3$-frustrated signed planar graphs that are neither decomposable nor subdivisions of other critically frustrated signed graphs. We present a method for building non-decomposable critically frustrated signed graphs based on two given such signed graphs. We also show that the condition of being non-decomposable is necessary for our conjecture.

A signed graph $(G,Σ)$ is a graph $G$ together with a set $Σ\subseteq E(G)$ of negative edges. A circuit is positive if the product of the signs of its edges is positive. A signed graph $(G,Σ)$ is balanced if all its circuits are positive. The frustration index $l(G,Σ)$ is the minimum cardinality of a set $E \subseteq E(G)$ such that $(G-E,Σ-E)$ is balanced, and $(G,Σ)$ is $k$-critical if $l(G,Σ) = k$ and $l(G-e, Σ- e)<k$, for every $e \in E(G)$. We study decomposition and subdivision of critical signed graphs and completely determine the set of $t$-critical signed graphs, for $t \leq 2$. Critical signed graphs are characterized. We then focus on non-decomposable critical signed graphs. In particular, we characterize the set $S^*$ of non-decomposable $k$-critical signed graphs not containing a decomposable $t$-critical signed subgraph for every $t \leq k$. We prove that $S^*$ consists of cyclically 4-edge-connected projective-planar cubic graphs. Furthermore, we construct $k$-critical signed graphs of $S^*$ for every $k \geq 1$.

There are many concepts of signed graph coloring which are defined by assigning colors to the vertices of the graphs. These concepts usually differ in the number of self-inverse colors used. We introduce a unifying concept for this kind of coloring by assigning elements from symmetric sets to the vertices of the signed graphs. In the first part of the paper, we study colorings with elements from symmetric sets where the number of self-inverse elements is fixed. We prove a Brooks'-type theorem and upper bounds for the corresponding chromatic numbers in terms of the chromatic number of the underlying graph. These results are used in the second part where we introduce the symset-chromatic number $χ_{sym}(G,σ)$ of a signed graph $(G,σ)$. We show that the symset-chromatic number gives the minimum partition of a signed graph into independent sets and non-bipartite antibalanced subgraphs. In particular, $χ_{sym}(G,σ) \leq χ(G)$. In the final section we show that these colorings can also be formalized as $DP$-colorings.