arXiv++ Combinatorics

This paper surveys recent development of concepts related to coloring of signed graphs. Various approaches are presented and discussed.

We characterize all signed Minkowski sums that define generalized permutahedra, extending results of Ardila-Benedetti-Doker (2010). We use this characterization to give a complete classification of all positive, translation-invariant, symmetric Minkowski linear functionals on generalized permutahedra. We show that they form a simplicial cone and explicitly describe their generators. We apply our results to prove that the linear coefficients of Ehrhart polynomials of generalized permutahedra, which include matroid polytopes, are non-negative, verifying conjectures of De Loera-Haws-Koeppe (2009) and Castillo-Liu (2018) in this case. We also apply this technique to give an example of a solid-angle polynomial of a generalized permutahedron that has negative linear term and obtain inequalities for beta invariants of contractions of matroids.

A complex unit gain graph (or ${\mathbb T}$-gain graph) is a triple $Φ=(G, {\mathbb T}, \varphi)$ (or $(G, \varphi)$ for short) consisting of a simple graph $G$, as the underlying graph of $(G, \varphi)$, the set of unit complex numbers $\mathbb{T}= \{ z \in C:|z|=1 \}$ and a gain function $\varphi: \overrightarrow{E} \rightarrow \mathbb{T}$ with the property that $\varphi(e_{i,j})=\varphi(e_{j,i})^{-1}$. In this paper, we prove that $2m(G)-2c(G) \leq r(G, \varphi) \leq 2m(G)+c(G)$, where $r(G, \varphi)$, $m(G)$ and $c(G)$ are the rank of the Hermitian adjacency matrix $H(G, \varphi)$, the matching number and the cyclomatic number of $G$, respectively. Furthermore, the complex unit gain graphs $(G, \mathbb{T}, \varphi)$ with $r(G, \varphi)=2m(G)-2c(G)$ and $r(G, \varphi)=2m(G)+c(G)$ are characterized. These results generalize the corresponding known results about undirected graphs, mixed graphs and signed graphs. Moreover, we show that $2m(G-V_{0}) \leq r(G, \varphi) \leq 2m(G)+b(G)$ holds for any subset $V_0$ of $V(G)$ such that $G-V_0$ is acyclic and $b(G)$ is the minimum integer $|S|$ such that $G-S$ is bipartite for $S \subset V(G)$.

We consider signed graphs, i.e, graphs with positive or negative signs on their edges. We determine the admissible parameters for the $\{5,6,\ldots,10\}$-regular signed graphs which have only two distinct eigenvalues. For each obtained parameter we provide some examples of signed graphs having two distinct eigenvalues. It turns out to construction of infinitely many signed graphs of each mentioned valency with only two distinct eigenvalues. We prove that for any $k\geq 5$ there are infinitely many connected signed $k$-regular graphs having maximum eigenvalue $\sqrt{k}$. Moreover for each $m\geq 4$ we construct a signed $8$-regular graph with spectrum $[4^m,-2^{2m}]$. These yield infinite family of $k$-regular Ramanujan graphs, for each $k$.

Two signed graphs are called switching isomorphic if one of them is isomorphic to a switching equivalent of the other. To determine the number of switching non-isomorphic signed graphs on a specific graph, we will establish a method based on the action of its automorphism group. As an application and computational results, we classify all the switching non-isomorphic signed graphs arising from the complete graph K5 and the generalized Petersen graph GP(7; 2). Moreover, some results on the automorphism groups of the target signed graphs are obtained.

We construct infinitely many signed graphs having symmetric spectrum, by using the NEPS and rooted product of signed graphs. We also present a method for constructing large cospectral signed graphs. Although the obtained family contains only a minority of signed graphs, it strengthen the belief that the signed graphs with symmetric spectrum are deeper than bipartite graphs, i.e the unsigned graphs with symmetric spectrum.

We define a class of amenable Weyl group elements in the Lie types B, C, and D, which we propose as the analogues of vexillary permutations in these Lie types. Our amenable signed permutations index flagged theta and eta polynomials, which generalize the double theta and eta polynomials of Wilson and the author. In geometry, we obtain corresponding formulas for the cohomology classes of symplectic and orthogonal degeneracy loci.

A signed graph is a graph together with an assignment of signs to the edges. A closed walk in a signed graph is said to be positive (negative) if it has an even (odd) number of negative edges, counting repetition. Recognizing the signs of closed walks as one of the key structural properties of a signed graph, we define a homomorphism of a signed graph $(G,σ)$ to a signed graph $(H, π)$ to be a mapping of vertices and edges of $G$ to (respectively) vertices and edges of $H$ which preserves incidence, adjacency and the signs of closed walks. In this work we first give a characterization of the sets of closed walks in a graph $G$ that correspond to the set of negative walks in some signed graph on $G$. We also give an easy algorithm for the corresponding decision problem. After verifying the equivalence between this definition and earlier ones, we discuss the relation between homomorphisms of signed graphs and those of 2-edge-colored graphs. Next we provide some basic no-homomorphism lemmas. These lemmas lead to a general method of defining chromatic number which is discussed at length. Finally, we list a few problems that are the driving force behind the study of homomorphisms of signed graphs.

An ordering of colours in an Adinkra leads to an embedding of this Adinkra into a Riemann surface $X$, and a branched covering map $β_X:X\to\mathbb{CP}^1$. This paper shows how the dashing of edges in an Adinkra determines a signed permutation version of the monodromy group, and shows that it is isomorphic to a Salingaros Vee group.

A signified graph is a pair $(G, Σ)$ where $G$ is a graph, and $Σ$ is a set of edges marked with '$-$'. Other edges are marked with '$+$'. A signified coloring of the signified graph $(G, Σ)$ is a homomorphism into a signified graph $(H, Δ)$. The signified chromatic number of the signified graph $(G, Σ)$ is the minimum order of $H$. In this paper we show that for every 2-dimensional grid $(G, Σ)$ there exists homomorphism from $(G, Σ)$ into the signed Paley graphs $SP_9$. Hence signified chromatic number of the signified grids is at most 9. This improves upper bound on this number obtained recently by Bensmail.

Ikeda-Mihalcea-Naruse's double Schubert polynomials represent the equivariant cohomology classes of Schubert varieties in the type C flag varieties. The goal of this paper is to obtain a new tableau formula of these polynomials associated to vexillary signed permutations introduced by Anderson-Fulton. To achieve that goal, we introduce flagged factorial (Schur) $Q$-functions, combinatorially defined in terms of (flagged) marked shifted tableaux for flagged strict partitions, and prove their Schur-Pfaffian formula. As an application, we also obtain a new combinatorial formula of factorial $Q$-functions of Ivanov in which monomials bijectively correspond to flagged marked shifted tableaux.

Many basic properties in Tutte's flow theory for unsigned graphs do not have their counterparts for signed graphs. However, signed graphs without long barbells in many ways behave like unsigned graphs from the point view of flows. In this paper, we study whether some basic properties in Tutte's flow theory remain valid for this family of signed graphs. Specifically let $(G,σ)$ be a flow-admissible signed graph without long barbells. We show that it admits a nowhere-zero $6$-flow and that it admits a nowhere-zero modulo $k$-flow if and only if it admits a nowhere-zero integer $k$-flow for each integer $k\geq 3$ and $k \not = 4$. We also show that each nowhere-zero positive integer $k$-flow of $(G,σ)$ can be expressed as the sum of some $2$-flows. For general graphs, we show that every nowhere-zero $\frac{p}{q}$-flow can be normalized in such a way, that each flow value is a multiple of $\frac{1}{2q}$. As a consequence we prove the equality of the integer flow number and the ceiling of the circular flow number for flow-admissible signed graphs without long barbells.

In 1983, Bouchet proposed a conjecture that every flow-admissible signed graph admits a nowhere-zero $6$-flow. Bouchet himself proved that such signed graphs admit nowhere-zero $216$-flows and Zyka further proved that such signed graphs admit nowhere-zero $30$-flows. In this paper we show that every flow-admissible signed graph admits a nowhere-zero 11-flow.

The notion of corona of two graphs was introduced by Frucht and Harary in 1970. In this paper we generalize their definition of corona product of two graphs and introduce corona product of two signed graphs by utilizing the framework of marked graphs, which was introduced by Beineke and Harary in 1978. We study the structural and spectral properties of corona product of signed graphs. Further we define signed corona graphs by considering corona product of a fixed small signed graph with itself iteratively, and we call the small graph as the seed graph for the corresponding corona graphs. Signed corona graphs can be employed as a signed network generative model for large growing signed networks. We study structural properties of corona graphs that include statistics of signed links, all types of signed triads and degree distribution. Besides we analyze algebraic conflict of signed corona graphs generated by specially structured seed graphs. Finally we show that a suitable choice of a seed graph can produce corona graphs which preserve properties of real signed networks.

We study the representability problem for torsion-free arithmetic matroids. By using a new operation called "reduction" and a "signed Hermite normal form", we provide and implement an algorithm to compute all the representations, up to equivalence. As an application, we disprove two conjectures about the poset of layers and the independence poset of a toric arrangement.

The total graph is built by joining the graph to its line graph by means of the incidences. We introduce a similar construction for signed graphs. Under two similar definitions of the line signed graph, we define the corresponding total signed graph and we show that it is stable under switching. We consider balance, the frustration index and frustration number, and the largest eigenvalue. In the regular case we compute the spectrum of the adjacency matrix of the total graph and the spectra of certain compositions, and we determine some with exactly two main eigenvalues.

A well--known fact in Spectral Graph Theory is the existence of pairs of isospectral nonisomorphic graphs (known as PINGS). The work of A.J. Schwenk (in 1973) and of C. Godsil and B. McKay (in 1982) shed some light on the explanation of the presence of isospectral graphs, and they gave routines to construct PINGS. Here, we consider the Godsil-McKay--type routines developed for graphs, whose adjacency matrices are $(0,1)$-matrices, to the level of signed graphs, whose adjacency matrices allow the presence of $-1$'s. We show that, with suitable adaption, such routines can be successfully ported to signed graphs, and we can build pairs of cospectral switching nonisomorphic signed graphs.

Given two tropical polynomials $f, g$ on $\mathbb{R}^n$, we provide a characterization for the existence of a factorization $f= h \odot g$ and the construction of $h$. As a ramification of this result we obtain a parallel result for the Minkowski factorization of polytopes. Using our construction we show that for any given polytopal fan there is a polytope factorization basis, i.e. a finite set of polytopes with respect to which any polytope whose normal fan is refined by the original fan can be uniquely written as a signed Minkowski sum. We explicitly study the factorization of polymatroids and their generalizations, Coxeter matroid polytopes, and give a hyperplane description of the cone of deformations for this class of polytopes.

In this paper, we study Eulerian polynomials for permutations and signed permutations of the multiset $\{1,1,2,2,\ldots,n,n\}$. Properties of these polynomials, including recurrence relations and unimodality are discussed. In particular, we give a unified proof of the fact that these polynomials are unimodal with modes in the middle.

In a graph $G$, a vertex dominates itself and its neighbors. A subset $D \subseteq V(G)$ is a double dominating set of $G$ if $D$ dominates every vertex of $G$ at least twice. A signed graph $Σ= (G,σ)$ is a graph $G$ together with an assignment $σ$ of positive or negative signs to all its edges. A cycle in a signed graph is positive if the product of its edge signs is positive. A signed graph is balanced if all its cycles are positive. A subset $D \subseteq V(Σ)$ is a double dominating set of $Σ$ if it satisfies the following conditions: (i) $D$ is a double dominating set of $G$, and (ii) $Σ[D:V \setminus D]$ is balanced, where $Σ[D:V \setminus D]$ is the subgraph of $Σ$ induced by the edges of $Σ$ with one end point in $D$ and the other end point in $V \setminus D$. The cardinality of a minimum double dominating set of $Σ$ is the double domination number $γ_{\times 2}(Σ)$. In this paper, we give bounds for the double domination number of signed cubic graphs. We also obtain some bounds on the double domination number of signed generalized Petersen graphs and signed I-graphs.