arXiv++ Combinatorics

Let ${\mathcal W}_n$ denote any of the three families of classical Weyl groups: the symmetric groups ${\mathcal S}_n$, the hyperoctahedral groups (signed permutation groups) ${\mathcal S}^B_n$, or the even-signed permutation groups ${\mathcal S}^D_n$. In this paper we give an uniform construction of a Hamilton cycle for the restriction to involutions on these three families of groups with respect to a inverse-closed connecting set of involutions. This Hamilton cycle is optimal with respect to the Hamming distance only for the symmetric group ${\mathcal S}_n$. We also recall an optimal algorithm for a Gray code for type $B$ involutions. A modification of this algorithm would provide a Gray Code for type $D$ involutions with Hamming distance two, which would be optimal. We give such a construction for ${\mathcal S}^D_4$ and ${\mathcal S}^D_5$.

Reifegerste and independently, Petersen and Tenner studied a statistic $\mathrm{drops}()$ on permutations in $\mathfrak{S}_n$. Two other studied statistics on $\mathfrak{S}_n$ are $\mathrm{depth}$ and $\mathrm{exc}$. Using descents in ${\it canonical\ reduced\ words}$ of elements in $\mathfrak{S}_n$, we give an involution $f_A: \mathfrak{S}_n \mapsto \mathfrak{S}_n$ that leads to a neat formula for the signed trivariate enumerator of $\mathrm{drops},\mathrm{depth}, \mathrm{exc}$ in $\mathfrak{S}_n$. This gives a simple formula for the signed univariate drops enumerator in $\mathfrak{S}_n$. For the type-B Coxeter group $\mathfrak{B}_n$ as well, using similar techniques, we show analogous results. For the type D Coxeter group, we again get analogous results, but our proof is inductive. Under the famous Foata-Zeilberger bijection $φ_{FZ}$ which takes permutations to restricted Laguerre histories, we show that permutations $π$ and $f_A(π)$ map to the same Motzkin path, but have different history components. Using the Foata-Zeilberger bijection, we also get a continued fraction for the generating function enumerating the pair of statistics $\mathrm{drops}$ and $\mathrm{MAD}$. Graham and Diaconis determined the mean and the variance of the Spearman metric of disarray $D(π)$ when one samples $π$ from $\mathfrak{S}_n$ at random. As an application of our results, we get the mean and variance of the statistic $\mathrm{drops}(π)$ when we sample $π$ from $\mathcal{A}_n$ at random.

Stirling number of the first and the second kinds have seen many generalizations and applications in various areas of mathematics. We introduce some combinatorial parameters which realize $q$-analogues and Broder's $r$-variants of Stirling numbers of type $B$ of both kinds, which count signed set partitions and signed permutations respectively. Applications to orthogonality relations and power sums are given.

We characterize when the spectral variation of the signed Laplacian matrices is integral after a new edge is added to a signed graph. As an application, for every fixed signed complete graph, we fully characterize the class of signed graphs to which one can recursively add new edges keeping spectral integral variation to make the signed complete graph.

Let $\dot{\mathscr{B}}\triangleq \dot{\mathscr{B}}_{\dot{H}, μ}$ denote an arbitrary signed bipartite graph with $\dot{H}$ as a star complement for an eigenvalue $μ$, where $\dot{H}$ is a totally disconnected graph of order $s$. In this paper, by using Hadamard and Conference matrices as tools, the maximum order of $\dot{\mathscr{B}}$ and the extremal graphs are studied. It is shown that $\dot{\mathscr{B}}$ exists if and only if $μ^2$ is a positive integer. A formula of the maximum order of $\dot{\mathscr{B}}$ is given in the case of $μ^2=p\times q$ such that $p$, $q$ are integers and there exists a $p$-order Hadamard or $(p+1)$-order Conference matrix. In particular, it is proved the maximum order of $\dot{\mathscr{B}}$ is $2s$ when either $q=1$, $s=cμ^2=cp$ or $q=1$, $s=c(μ^2+1)=c(p+1)$, $ c=1,2,3,\cdots$. Futhermore, some extremal graphs are characterized.

This paper introduces the concept of $μ$-signed and duplication signed graphs and shows that both are always structurally balanced. Using the duplication signed graph, we define the corona product of the duplication signed graph (Duplication add vertex corona product and duplication vertex corona product) and explore their structural properties. Additionally, we provide the adjacency spectrum of both the products for any $Γ_1$ and $Γ_2$, and the Laplacian and signless Laplacian spectrum for regular $Γ_1$ and arbitrary $Γ_2$, in terms of the corresponding spectrum of $Γ_1$ and $Γ_2$. Finally, we discuss its application in generating integral and equienergetic signed graphs.

For unsigned graphs G and H, the characteristic polynomial of different graph matrices for edge corona, subdivision vertex neighbourhood corona and subdivision edge neighbourhood corona has already been studied using the concept of coronal. However, till date no work regarding the spectrum of these products has been studied for signed graphs. In our work, we have filled this gap and defined these variants of coronae by introducing the concept of reverse orientation (r-orientation). We analyzed the structural properties of these product. Also, the characteristic polynomial of adjacency matrix, Laplacian matrices (signed and signless) and normalized Laplacian matrix of these variants of corona product of regular signed graphs under $r$-orientation is obtained using the concept of signed coronal. These results help us to construct infinitely many families of pairs of cospectral signed graphs.

Signed graphs have been introduced to enrich graph structures expressing relationships between persons or general social entities, introducing edge signs to reflect the nature of the relationship, e.g., friendship or enmity. Independently, offensive alliances have been defined and studied for undirected, unsigned graphs. We join both lines of research and define offensive alliances in signed graphs, hence considering the nature of relationships. Apart from some combinatorial results, mainly on k-balanced and k-anti-balanced signed graphs (where the latter is a newly introduced family of signed graphs), we focus on the algorithmic complexity of finding smallest offensive alliances, looking at a number of parameterizations. While the parameter solution size leads to an FPT result for unsigned graphs, we obtain W[2]-completeness for the signed setting. We introduce new parameters for signed graphs, e.g., distance to weakly balanced signed graphs, that could be of independent interest. We show that these parameters yield FPT results. Here, we make use of the recently introduced parameter neighborhood diversity for signed graphs.

A cut of a graph can be represented in many different ways. Here we propose to represent a cut through a ``relation tree'', which is a spanning tree with signed edges. We show that this picture helps to classify the main greedy heuristics for the maximum cut problem, in analogy with the minimum spanning tree problem. Namely, all versions of the Sahni-Gonzalez~(SG) algorithms could be classified as the Prim class, while various Edge-Contraction~(EC) algorithms are of the Kruskal class. We further elucidate the relation of this framework to the stabilizer formalism in quantum computing, and point out that the recently proposed \textit{ADAPT-Clifford} algorithm is a reformulation of a refined version of the SG algorithm, SG3. Numerical performance of the typical algorithms from the two classes are studied with various kinds of graphs. It turns out that, the Prim-class algorithms perform better for general dense graphs, and the Kruskal-class algorithms performs better when the graphs are sparse enough.

The notion of $S$-labeling of graphs, where $S$ is a subset of a symmetric group, was introduced in 2019 by Jin, Wong, and Zhu. This notion provides the framework for a common generalization of various well studied notions of graph coloring, including classical coloring, signed $k$-coloring, signed $\mathbb{Z}_k$-coloring, DP (or correspondence) coloring, group coloring, and coloring of gained graphs. In this paper, we present a unified and simple polynomial method for giving exponential lower bounds on the number of colorings of an $S$-labeled graph for all such $S$. This algebraic technique allows us to prove new lower bounds on the number of colorings of any $S$-labeling of graphs satisfying certain sparsity conditions. We also investigate how the structure of $S$ can be exploited to improve the applicability of these bounds. Our results give new lower bounds on the number of DP-colorings, and consequently the number of all types of colorings listed above. This includes the chromatic polynomial and the number of list colorings of families of planar graphs, and the number of colorings of signed graphs. These enumerative bounds improve previously known results or are the first such known results.

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.