arXiv++ Combinatorics

In 2017, Igusa and Todorov gave a bijection between signed exceptional sequences and ordered partial clusters. In this paper, we show that every term in an exceptional sequence is either relatively projective or relatively injective or both and we refine this bijection to one between projectively signed exceptional sequences and ordered partial positive clusters. We also give a characterization of relatively projective/injective objects in terms of supports of the objects in the exceptional sequence.

In 2020, Behr defined the problem of edge coloring of signed graphs and showed that every signed graph $(G, σ)$ can be colored using exactly $Δ(G)$ or $Δ(G) + 1$ colors, where $Δ(G)$ is the maximum degree in graph $G$. In this paper, we focus on products of signed graphs. We recall the definitions of the Cartesian, tensor, strong, and corona products of signed graphs and prove results for them. In particular, we show that $(1)$ the Cartesian product of $Δ$-edge-colorable signed graphs is $Δ$-edge-colorable, $(2)$ the tensor product of a $Δ$-edge-colorable signed graph and a signed tree requires only $Δ$ colors and $(3)$ the corona product of almost any two signed graphs is $Δ$-edge-colorable. We also prove some results related to the coloring of products of signed paths and cycles.

Recently the collection $\cal G$ of all signed graphs for which the adjacency matrix has all but at most two eigenvalues equal to $\pm 1$ has been determined. Here we investigate $\cal G$ for cospectral pairs, and for signed graphs determined by their spectrum (up to switching). If the order is at most 20, the outcome is presented in a clear table. If the spectrum is symmetric we find all signed graphs in $\cal G$ determined by their spectrum, and we obtain all signed graphs cospectral with the bipartite double of the complete graph. In addition we determine all signed graphs cospectral with the Friendship graph $F_\ell$, and show that there is no connected signed graph cospectral but not switching equivalent with $F_\ell$.

This paper gives tight upper bounds on the number of edges and the index for $\mathcal{K}^-_{r + 1}$-free unbalanced signed graphs, where $\mathcal{K}^-_{r + 1}$ is the set of $r+1$-vertices unbalanced signed complete graphs. \indent We first prove that if $Γ$ is an $n$-vertices $\mathcal{K}^-_{r + 1}$-free unbalanced signed graph, then the number of edges of $Γ$ is $$e(Γ) \leq \frac{n(n-1)}{2} - (n - r ).$$ \indent Let $Γ_{1,r-2}$ be a signed graph obtained by adding one negative edge and $r - 2$ positive edges between a vertex and an all positive signed complete graph $K_{n - 1}$. Secondly, we show that if $Γ$ is an $n$-vertices $\mathcal{K}^-_{r + 1}$-free unbalanced signed graph, then the index of $Γ$ is $$λ_{1}(Γ) \leq λ_{1}(Γ_{1,r-2}), $$ with equality holding if and only if $Γ$ is switching equivalent to $Γ_{1,r-2}$. \indent It is shown that these results are significant in extremal graph theory. Because they can be regarded as extensions of Tur{á}n's Theorem [Math. Fiz. Lapok 48 (1941) 436--452] and spectral Tur{á}n problem [Linear Algebra Appl. 428 (2008) 1492--1498] on signed graphs, respectively. Furthermore, the second result partly resolves a recent open problem raised by Wang [arXiv preprint arXiv:2309.15434 (2023)].

In this paper, we enumerate with signs the holomorphic maps between Real Riemann surfaces. We relate the signs and the numbers obtained to the Real Gromov-Witten theory of the target. For a finite group $G$ with a non-trivial morphism to $\{ \pm 1 \}$, we present a signed count of principal $G$-bundles yielding a Klein Topological Quantum Field Theory.

This paper aims to address the problem: what is the maximum index among all $\mathcal{C}^-_r$-free unbalanced signed graphs, where $\mathcal{C}^-_r$ is the set of unbalanced cycle of length $r$. Let $Γ_1 = C_3^- \bullet K_{n-2}$ be a signed graph obtained by identifying a vertex of $K_{n-2}$ with a vertex of $C_3^-$ whose two incident edges in $C_3^-$ are all positive, where $C_3^-$ is an unbalanced triangle with one negative edge. It is shown that if $Γ$ is an unbalanced signed graph of order $n$, $r$ is an integer in $\{4, \cdots, \lfloor \frac{n}{3}\rfloor + 1 \}$, and $$λ_{1}(Γ) \geq λ_{1}(Γ_1), $$ then $Γ$ contains an unbalanced cycle of length $r$, unless $Γ\sim Γ_1$. \indent It is shown that the result are significant in spectral extremal graph problems. Because they can be regarded as a extension of the spectral Tur{á}n problem for cycles [Linear Algebra Appl. 428 (2008) 1492--1498] in the context of signed graphs. Furthermore, our result partly resolved a recent open problem raised by Lin and Wang [arXiv preprint arXiv:2309.04101 (2023)].

In this note, we give a simple closed formula for an arbitrary product, landing in dimension 0, of boundary classes on the Deligne--Mumford moduli space M_0,n-bar. For any such boundary strata $X_{T_1}, \ldots, X_{T_\ell}$, we show the intersection product $\int \prod_{i=1}^\ell [X_{T_i}]$ is either a signed product of multinomial coefficients, or zero, and provide a simple criterion for determining when it is nonzero. We do not claim originality for our product formula, but to our knowledge it does not appear elsewhere in the literature.

We associate a matroid $M(\widetildeΓ/Γ)$ to a harmonic double cover $π:\widetildeΓ\to Γ$ of metric graphs. The matroid $M(\widetildeΓ/Γ)$ is a geometric interpretation of Zaslavsky's signed graphic matroid. We show that the principalization $\mathrm{Prym}_p(\widetildeΓ/Γ)$ of the tropical Prym variety of the double cover can be reconstructed from $M(\widetildeΓ/Γ)$, equipped with certain additional decorations. We describe the simplification of the matroid $M(\widetildeΓ/Γ)$ and show that the Prym variety does not change under simplification.

We prove a new signed elementary symmetric function expansion of the chromatic quasisymmetric function of any natural unit interval graph. We then use a sign-reversing involution to prove a new combinatorial formula for K-chains, which are graphs formed by joining cliques at single vertices. This formula immediately implies $e$-positivity and $e$-unimodality for K-chains. We also prove a version of our signed $e$-expansion for arbitrary graphs.

We consider a pair of semigroups associated to a signed poset, called the root semigroup and the weight semigroup, and their semigroup rings, $R_P^\mathrm{rt}$ and $R_P^\mathrm{wt}$, respectively. Theorem 4.1.5 gives generators for the toric ideal of affine semigroup rings associated to signed posets and, more generally, oriented signed graphs. These are the subrings of Laurent polynomials generated by monomials of the form $t_i^{\pm 1},t_i^{\pm 2},t_i^{\pm 1}t_j^{\pm 1}$. This result appears to be new and generalizes work of Boussicault, Féray, Lascoux and Reiner, of Gitler, Reyes, and Villarreal, and of Villarreal. Theorem 4.2.12 shows that strongly planar signed posets $P$ have rings $R_P^\mathrm{rt}$, $R_{P^{\scriptscriptstyle\vee}}$ which are complete intersections, with Corollary 4.2.20 showing how to compute $Ψ_P$ in this case. Theorem 5.2.3 gives a Gröbner basis for the toric ideal of $R_P^{\mathrm{wt}}$ in type B, generalizing Proposition 6.4 of Féray and Reiner. Theorems 5.3.10 and 5.3.1 give two characterizations (via forbidden subposets versus via inductive constructions) of the situation where this Gröbner basis gives a complete intersection presentation for its initial ideal, generalizing Theorems 10.5 and 10.6 of Féray and Reiner.

Stanley introduced in 1986 the order polytope and the chain polytope for a given finite poset. These polytopes contain much information about the poset and have given rise to important examples in polyhedral geometry. In 1993, Reiner introduced signed posets as natural type-B analogues of posets. We define and study signed order and chain polytopes. Our results include convex-hull and halfspace descriptions, unimodular triangulations, Ehrhart $h^*$-polynomials and their relations to signed permutation statistics, and a Gorenstein characterization of signed order and chain polytopes.

The Laplacian matrix $L$ of a signed graph $G$ may or may not be invertible. We present a combinatorial formula of the Moore-Penrose inverse of $L$. This is achieved by finding a combinatorial formula for the Moore-Penrose inverse of an incidence matrix of $G$. This work generalizes related known results on incidence and Laplacian matrices of an unsigned graph. Several examples are provided to show the usefulness of these combinatorial formulas.

The largest balanced element in signed graphs plays a vital role in helping researchers understand the fundamental structure of the graph, as it reveals valuable information about the complex relationships between vertices in the network. The challenge is an NP-hard problem; there is no current baseline to evaluate state-of-the-art signed graphs derived from real networks. In this paper, we propose a scalable state-of-the-art approach for the maximum balanced sub-graph detection in the network of any size. The proposed approach finds the largest balanced sub-graph by considering only the top $K$ balanced states with the lowest frustration index. We show that the ABCD method selects a subset from an extensive signed network with millions of vertices and edges, and the size of the discovered subset is double that of the state-of-the-art in a similar time frame.

Structural balance modeling for signed graph networks presents how to model the sources of conflicts. The state-of-the-art focuses on computing the frustration index of a signed graph, a critical step toward solving problems in social and sensor networks and scientific modeling. The proposed approaches do not scale to large signed networks of tens of millions of vertices and edges. This paper proposes two efficient algorithms, a tree-based \emph{graphBpp} and a gradient descent-based \emph{graphL}. We show that both algorithms outperform state-of-art in terms of efficiency and effectiveness for discovering the balanced state for \emph{any} network size. We introduce the first comparison for large graphs for the exact, tree-based, and gradient descent-based methods. The speedup of the methods is around \emph{300+ times faster} than the state-of-the-art for large signed graphs. We find that the exact method excels at optimally finding the frustration for small graphs only. \emph{graphBpp} scales this approximation to large signed graphs at the cost of accuracy. \emph{graphL} produces a state with a lower frustration at the cost of selecting a proper variable initialization and hyperparameter tuning.

Bermond, Jackson and Jaeger [{\em J. Combin. Theory Ser. B} 35 (1983): 297-308] proved that every bridgeless ordinary graph $G$ has a circuit $4$-cover and Fan [{\em J. Combin. Theory Ser. B} 54 (1992): 113-122] showed that $G$ has a circuit $6$-cover which together implies that $G$ has a circuit $k$-cover for every even integer $k\ge 4$. The only left case when $k = 2$ is the well-know circuit double cover conjecture. For signed circuit $k$-cover of signed graphs, it is known that for every integer $k\leq 5$, there are infinitely many coverable signed graphs without signed circuit $k$-cover and there are signed eulerian graphs that admit nowhere-zero $2$-flow but don't admit a signed circuit $1$-cover. Fan conjectured that every coverable signed graph has a signed circuit $6$-cover. This conjecture was verified only for signed eulerian graphs and for signed graphs whose bridgeless-blocks are eulerian. In this paper, we prove that this conjecture holds for signed $K_4$-minor-free graphs. The $6$-cover is best possible for signed $K_4$-minor-free graphs.

A triangle-path in a graph $G$ is a sequence of distinct triangles $T_1,T_2,\ldots,T_m$ in $G$ such that for any $i, j$ with $1\leq i < j \leq m$, $|E(T_i)\cap E(T_{i+1})|=1$ and $E(T_i)\cap E(T_j)=\emptyset$ if $j > i+1$. A connected graph $G$ is triangularly connected if for any two nonparallel edges $e$ and $e'$ there is a triangle-path $T_1T_2\cdots T_m$ such that $e\in E(T_1)$ and $e'\in E(T_m)$. For ordinary graphs, Fan {\it et al.}~(J. Combin. Theory Ser. B 98 (2008) 1325-1336) characterize all triangularly connected graphs that admit nowhere-zero $3$-flows or $4$-flows. Corollaries of this result include integer flow of some families of ordinary graphs, such as, locally connected graphs due to Lai (J. Graph Theory 42 (2003) 211-219) and some types of products of graphs due to Imrich et al.(J. Graph Theory 64 (2010) 267-276). In this paper, Fan's result for triangularly connected graphs is further extended to signed graphs. We proved that every flow-admissible triangularly connected signed graph admits a nowhere-zero $4$-flow if and only if it is not the wheel $W_5$ associated with a specific signature. Moreover, this result is sharp since there are infinitely many unbalanced triangularly connected signed graphs admitting a nowhere-zero $4$-flow but not $3$-flow.

Let $Γ= (G, σ)$ be a signed graph, where $G = (V(G),E(G))$ is an (unsigned) graph, called the underlying graph. The net Laplacian matrix of $Γ$ is defined as $L^{\pm}(Γ) = D^{\pm}(Γ) - A(Γ)$, where $D^{\pm}(Γ)$ and $A(Γ)$ are the diagonal matrix of net-degrees and the adjacency matrix of $Γ$, respectively. The nullity of $L^{\pm}(Γ)$, written as $ η(L^{\pm} (Γ))$, is the multiplicity of 0 as an eigenvalue of $L^{\pm}(Γ)$. In this paper, we focus our attention on the nullity of the net Laplacian matrix of a connected signed graph $Γ$ and prove that $1 \leq η(L^{\pm} (Γ)) \leq min\{ β(Γ) + 1, |V(Γ)| - 1 \}$, where $β(Γ) = |E(Γ)| - |V(Γ)| + 1$ is the cyclomatic number of $Γ$. The connected signed graphs with nullity $|V(Γ)| - 1$ are completely determined. Moreover, we characterize the signed cactus graphs with nullity $1$ or $β(Γ) + 1$

Given two signed graphs $Γ_1$ with nodes $\{u_1,u_2,\cdots,u_n\}$ and $Γ_2$, the neighbourhood corona, $Γ_1*Γ_2$ is the signed graph obtained by taking one copy of $Γ_1$ and $n_1$ copies of $Γ_2$, and joining every neighbour of the $i^{th}$ node with each nodes of the $i^{th}$ copy of $Γ_2$ by a new signed edge. In this paper we will determine the condition for $Γ_1*Γ_2$ to be balanced. We also determine the adjacency spectrum of $Γ_1*Γ_2$ for arbitrary $Γ_1$ and $Γ_2$, and Laplacian and signless Laplacian spectrum of $Γ_1*Γ_2$ for regular $Γ_1$ and arbitrary $Γ_2$, in terms of the corresponding spectrum of $Γ_1$ and $Γ_2$.

This paper explores interlacing inequalities in the Laplacian spectrum of signed cycles and investigates interlacing relationship between the spectrum of the net-Laplacian of a signed graph and its subgraph formed by removing a vertex together with its incident edges. Additionally, an inequality is derived between the net-Laplacian spectrum of a complete co-regular signed graph $Γ$ and the Laplacian spectrum of the graph obtained by removing any vertex $v$ from $Γ$. Also for a signed graph $Γ$, the net-Laplacian matrix is normalized and an inequality is derived between the spectrum of the normalized net-Laplacian of a signed graph and its subgraph, formed by contraction of edge and vertex.

In this paper, we study the Turán problem for $C_{2k+1}^{-}$. Suppose that $\dot{G}$ is an unbalanced signed graph of order $n$ with $e(\dot{G})$ edges. Let $λ_{1} (\dot{G})$ be the largest eigenvalue of $\dot{G}$, and $C_{2k+1}^{-}$ be the set of the negative cycle with length $2k+1$($3 \le k \le \frac{n}{15}$). We prove that if $\dot{G}$ is a $C_{2k+1}^{-}$-free unbalanced signed graph, then $e(\dot{G}) \le e(C_{3}^{-} \cdot K_{n-2})$ and $λ_{1}(\dot{G}) \le λ_{1}(C_{3}^{-} \cdot K_{n-2})$, with equality holding if and only if $\dot{G}$ is switching equivalent to $C_{3}^{-} \cdot K_{n-2}$.