arXiv++ Combinatorics

Amdeberhan recently proposed certain equalities between sums in the character table of symmetric groups. These equalities are between signed column sums in the character table, summing over the rows labeled by partitions in $\Ev$, where $λ$ is a partition of $n$ with $r$ nonzero parts and $\Ev$ is a multiset containing $2^r$ partitions of $2n$. While we observe that these equalities are not true in general, we prove that they do hold in interesting special cases. These lead to new equalities between sums of degrees of irreducible characters for the symmetric group and a new combinatorial interpretation for the Riordan numbers in terms of degrees of irreducible characters labeled by partitions with three parts of the same parity. This is the first, to our knowledge, theorem about degrees of symmetric group characters with parity conditions imposed on the partitions indexing the characters.

We prove that the signed counting (with respect to the parity of the ``$\operatorname{inv}$'' statistic) of partition matrices equals the cardinality of a subclass of inversion sequences. In the course of establishing this result, we introduce an interesting class of partition matrices called improper partition matrices. We further show that a subset of improper partition matrices is equinumerous with the set of Motzkin paths. Such an equidistribution is established both analytically and bijectively.

In 1995, Stanley introduced the chromatic symmetric function of a graph, which specializes to its chromatic polynomial, and which has been the focus of intense research. In 2017, Shareshian, Wachs, and Ellzey defined a refinement of this function for a directed graph, that appears to be in $QSym$, the algebra of quasisymmetric functions, which is of great interest in algebraic combinatorics. Our goal is to extend this work to signed graphs, taking into account the perspective of the hyperplane arrangement associated with a signed graph, developed by Zaslavsky. We introduce the signed chromatic quasisymmetric invariant, and obtain structural properties. As a consequence, we define and study $SQSym$, the algebra of signed quasisymmetric functions.

Let $S^B_n$ be the Coxeter group of type B. We denote the set of indices where $σ\in S^B_n$ has a peak as $Peak(σ)$ and let $P^{B}(S;n)=\{σ\in S^{B}_n~|~ Peak(σ)=S\}$. In \cite{metrics}, Diaz-Lopez, Haymaker, Keough, Park and White considered metrics for unsigned permutations with the same peak set. In this paper, we generalize their result by studying Hamming, $l_{\infty}$, and the word metrics on $P^{B}(S;n)$ for all $S$. We also determine the minimum and maximum possible values that these metrics can achieve in these subsets of $S^B_n$.

This paper studies signed graphs with possible outer-edges. We introduce and investigate the chain group, the boundary operator, the co-boundary operator, the flow group, the tension group, the homology group, the cohomology group, with coefficients in an abelian group. We also introduce and investigate the bivariate flow polynomial for signed graphs. The guiding principle is the correspondence between representable matroids over $\mathbb{R}$ on a ground set $E$ of edges and the subspaces of the vector space of real-valued chains on the same ground set. The frame matroid of signed graph emerges naturally by defining circuits as minimal supports of nonzero flows, rather than listing circuit patterns abruptly. Likewise, bonds, or co-circuits, can be obtained as minimal supports of nonzero tensions. In addition to standardizing the concepts and their meanings of signed graphs, we update the following results: (1) Characterization of cuts and bonds of signed graph with outer-edges. (2) The structures of flow group, boundary group, and homology group, with coefficients in an arbitrary abelian group. (3) Introduction of bivariate flow polynomial of signed graph, revealing the mystery of inexistence of univariate flow polynomial of signed graph in the literature.

We study the "top-to-random-and-reverse shuffle", defined as the top-to-random shuffle in the symmetric group algebra composed with the permutation $w_0$ (which sends each $i$ to $n+1-i$). More generally, we analyze the composition of any B-basis element of the descent algebra with $w_0$. We show that the minimal polynomial of any such composition (over $\mathbb{Q}$) factors into distinct linear factors, which correspond to the "signed knapsack numbers" of set compositions. This is a counterpart to an analogous property of the B-basis elements themselves, which was proved by Brown using Bidigare's face monoid. In the case of the top-to-random-and-reverse shuffle, the minimal polynomial turns out to be $\prod_{k \in \set{-n+2} \cup \interval{-n+4, n-3} \cup \set{0} \cup \set{n}} \tup{x-k}$.

The classical spectral Turán problem is to determine the maximum spectral radius of an $\mathcal{F}$-free graph of order $n$. Zhai and Wang [Linear Algebra Appl, 437 (2012) 1641-1647] determined the maximum spectral radius of ${C}_{4}$-free graphs of given order. Additionally, Nikiforov obtained spectral strengthenings of the Kővari-Sós-Turán theorem [Linear Algebra Appl, 432 (2010) 1405-1411] when the forbidden graphs are complete bipartite. The spectral Turán problem concerning forbidden complete bipartite graphs in signed graphs has also attracted considerable attention. Let $\mathcal{K}_{s,t}^-$ be the set of all unbalanced signed graphs with underlying graphs $K_{s,t}$. Since the cases where $s=1$ or $t=1$ do not conform to the definition of $\mathcal{K}_{s,t}^-$, it follows that $s,t\geq 2$. Wang and Lin [Discrete Appl. Math, 372 (2025) 164-172] have solved the case of $s=t=2$ since $\mathcal{K}_{2,2}^-$ is $\mathcal{C}_{4}^{-}$ in this situation. This paper gives an answer for $s=t=3$ and completely characterizes the corresponding extremal signed graphs.

Elizalde constructed a bijection $φ$ from the cyclic permutations $π\in S_{n+1}$ to the symmetric group $S_n$ satisfying $\operatorname{Des}(π)\cap \{1,2,\ldots,n-1\}=\operatorname{Des}(φ(π))$. We give a corresponding result on the signed symmetric group $B_n$ by constructing a function $Φ$ from the cyclic signed permutations $π\in B_{n+1}$ to $B_n$ satisfying $\operatorname{Des}(π)\cap \{0,1,\ldots,n-1\}=\operatorname{Des}(Φ(π))$. Moreover, letting $D_{n+1}\subseteq B_{n+1}$ be the subgroup consisting of signed permutations with an even number of sign changes, we show that the restriction of $Φ$ to the cyclic signed permutations in $D_{n+1}$ or its complement is a bijection. Our function $Φ$ reduces to Elizalde's original bijection $φ$ under the natural identification of the symmetric groups as subgroups of the signed symmetric groups. One application of our results is asymptotic normality of the descent and flag major index statistics on the cyclic signed permutations in $B_{n}$ and $D_n$.

We explicitly describe the tropicalization of a cluster variety of finite type C, realizing it as the space of axially symmetric phylogenetic trees. We also find all occurring sign patterns of coordinates, for both the cluster variety and the cluster configuration space. We show that each of the corresponding signed tropicalizations is, combinatorially, dual to either a cyclohedron or an associahedron. As additional results, we construct Gröbner and tropical bases for the defining ideals of both varieties, and classify the arising toric degenerations.

In this paper, we study the net-regular strongly regular signed graphs with degree 6 and determine all connected 6-regular and net-regular strongly regular signed graphs. There are three, six and four 6-regular strongly regular signed graphs with net-degree 4, 2 and 0, respectively.

This paper introduces two canonical constructions that transform arbitrary finite graphs into perfect graphs: the symmetric lift $\mathrm{HL}'_2(G)$, which is purely structural and label-invariant, and the ordered lift $\mathrm{HL}_2(G)$, which depends explicitly on vertex labeling and encodes directional information. Both lifts arise as line graphs of bipartite double covers and are box-perfect. The symmetric lift $\mathrm{HL}'_2(G)$ forms a canonical 2-cover of the line graph $L(G)$. This involution decomposes $\mathrm{HL}'_2(G)$ into symmetric and antisymmetric components: the symmetric part recovers $L(G)$, while the antisymmetric part yields a signed graph $L^-(G)$, the antisymmetric line graph, with +1/-1 edges encoding consistent vs. crossed overlaps. Thus, all adjacency and Laplacian eigenvalues of $L(G)$, with multiplicities, appear within those of $\mathrm{HL}'_2(G)$, despite $L(G)$ typically not being a subgraph. For regular graphs such as Paley graphs, this yields infinite families of sparse, highly structured regular and box-perfect expanders that also retain large cliques. The lift retains much of the spectral expansion of the base while improving the combinatorial expansion. Much the same behavior is observed with random regular base graphs, allowing for the possibility of the study of box-perfect random regular graphs. Finally, we generalize these constructions to parameterized lifts $\mathrm{HL}_{r,d}(G)$ and $\mathrm{HL}_{r,d}'(G)$ defined on ordered $r$-tuples connected by Hamming distance constraints, which structurally encode the base graph and remain box-perfect.

In this paper, we determine all connected net-regular strongly regular signed graphs with degree 5. There are five and two strongly regular signed graphs with net-degree 3 and 1, respectively.

Let $\mathcal{M}_{n,a}$ be the set consisting of involutions in symmetric group $\mathfrak{S}_n$ with exactly $a$ fixed points and apply the orbit harmonics method to obtain a graded $\mathfrak{S}_n$-module $R(\mathcal{M}_{n,a})$. Liu, Ma, Rhoades, and Zhu figured out a signed combinatorial formula for the graded Frobenius image $\mathrm{grFrob}(R(\mathcal{M}_{n,a});q)$ of $R(\mathcal{M}_{n,a})$. Our goal is to cancel these signs. Finally, we find two positive combinatorial formulae for $\mathrm{grFrob}(R(\mathcal{M}_{n,a});q)$. As an application, we deduce a series of $\mathfrak{S}_n$-equivariant isomorphisms between graded components $R(\mathcal{M}_{n,a})_d$ and $R(\mathcal{M}_{n,a^{\prime}})_d$ for some integers $a\neq a^{\prime}$ and $d$. Our positive formulae also yield potential attempts to find a linear basis for $R(\mathcal{M}_{n,a})$ and a statistic $\mathrm{stat}:\mathcal{M}_{n,a}\rightarrow\mathbb{Z}_{\ge0}$ to interpret the Hilbert series $\mathrm{Hilb}(R(\mathcal{M}_{n,a});q)$ of $R(\mathcal{M}_{n,a})$.

Correlation clustering provides a method for separating the vertices of a signed graph into the optimum number of clusters without specifying that number in advance. The main goal in this type of clustering is to minimize the number of disagreements: the number of negative edges inside clusters plus the number of positive edges between clusters. In this paper, we present an algorithm for correlation clustering in general case. Also, we show that there is a necessary and sufficient condition under which the lower bound, maximum number of edge disjoint weakly negative cycles, is equal to minimum number of disagreements. Finally, we prove that the presented algorithm gives a $2$-approximation for a subclass of signed graphs.

We use the tropical trigonal construction to calculate the second moment of the tropical Prym variety of all double covers $π:\widetildeΓ\to Γ$ of tropical curves of genus $g(Γ)\leq 4$. The answer is expressed in terms of the signed graphic matroid of the double cover and consists a polynomial and piecewise-polynomial term. We relate the latter term, which does not occur in the analogous formula for the tropical Jacobian, to the problem of extending the Prym--Torelli map from the moduli space of admissible double covers to the second Voronoi compactification of the moduli space of principally polarized abelian varieties.

A mixed graph $\widetilde{G}$ is obtained by orienting some edges of a graph $G$, where $G$ is the underlying graph of $\widetilde{G}$. Let $r(\widetilde{G})$ be the $H$-rank of $\widetilde{G}$. Denote by $r(G)$, $κ(G)$, $m(G)$ and $m^{\ast}(G)$ the rank, the number of even cycles, the matching number and the fractional matching number of $G$, respectively. Zhou et al. [Discrete Appl. Math. 313 (2022)] proved that $2m(G)-2κ(G)\leq r(G)\leq 2m(G)+ρ(G)$, where $ρ(G)$ is the largest number of disjoint odd cycles in $G$. We extend their results to the setting of mixed graphs and prove that $2m(G)-2κ(G)\leq r(\widetilde{G}) \leq 2m^{\ast}(G)$ for a mixed graph $\widetilde{G}$. Furthermore, we characterize some classes of mixed graphs with rank $r(\widetilde{G})=2m(G)-2κ(G)$, $r(\widetilde{G})=2m(G)-2κ(G)+1$ and $r(\widetilde{G})=2m^{\ast}(G)$, respectively. Our results also improve those of Chen et al. [Linear Multiliear Algebra. 66 (2018)]. In addition, our results can be applied to signed graphs and oriented graphs in some situations.

The rank of an n x n matrix A is equal to the size of its largest square submatrix with a nonzero determinant, and it can be computed in O(n^2.37) time. Analogously, the size of the largest square submatrix with nonzero permanent is defined as the permanental rank. Computing the permanent or the coefficients of the permanental polynomial is #P-complete. The permanental nullity is defined as the multiplicity of zero as a root of the permanental polynomial. We establish a permanental analog of the rank-nullity theorem, showing that the sum of the permanental rank and the permanental nullity equals n for symmetric nonnegative matrices, positive semidefinite matrices, and adjacency matrices of balanced signed graphs. Using this theorem, we can compute the permanental nullity for symmetric nonnegative matrices and adjacency matrices of balanced signed graphs in polynomial time. For symmetric matrices with entries in {0, plus or minus 1}, we also provide a complete characterization of when the permanental rank-nullity identity holds.

Signed Minkowski decomposition is an expression of a polytope as a Minkowski sum and difference of smaller polytopes. Signed Minkowski decompositions of a polytope can be interpreted as factorizations of a max-plus (tropical) function. We review two relations about Minkowski decompositions, and we prove that any 2-dimensional integral polytopes (polygons) have a signed Minkowski decomposition which consists of integral points, integral line segments of length 1, and integral triangles of area 1/2. From this result, we also obtain that any max-plus functions with two variables and integer coefficients can be expressed as a set of specified form of simpler max-plus functions.

We show that the signed counts of normalized real polynomials, as defined by Itenberg and Zvonkine, provide the signed counts of genus zero real ramified coverings of the Riemann sphere with a point of total ramification and several other branch points with arbitrary ramification profiles.

It is well known that ascents, descents and plateaux are equidistributed over the set of classical Stirling permutations. Their common enumerative polynomials are the second-order Eulerian polynomials, which have been extensively studied by many researchers. This paper is divided into three parts. The first parts gives a convolution formula for the second-order Eulerian polynomials, which simplifies a result of Gessel. As an application, a determinantal expression for the second-order Eulerian polynomials is obtained. We then investigate the convolution formula of the trivariate second-order Eulerian polynomials. Among other things, by introducing three new statistics: proper ascent-plateau, improper ascent-plateau and trace, we discover that a six-variable Eulerian-type polynomial over a class of restricted Stirling permutations equals a six-variable Eulerian-type polynomial over signed permutations. By special parametrizations, we make use of Stirling permutations to give a unified interpretations of the $(p,q)$-Eulerian polynomials and derangement polynomials of types $A$ and $B$. The third part presents a box sorting algorithm which leads to a bijection between the terms in the expansion of $(cD)^nc$ and ordered weak set partitions, where $c$ is a smooth function in the indeterminate $x$ and $D$ is the derivative with respect to $x$. Using a map from ordered weak set partitions to standard Young tableaux, we find an expansion of $(cD)^nc$ in terms of standard Young tableaux. Combining this with grammars, we provide three interpretations of the second-order Eulerian polynomials.