arXiv++ Combinatorics

Slater's list of Rogers-Ramanujan type identities remains a central source of striking series-product formulas in the theory of partitions and basic hypergeometric series. Although many of these identities admit elegant analytic proofs through Bailey pairs, Bailey chains, or transformations of basic hypergeometric series, the partition-theoretic meaning of their series sides is often much less apparent. In this paper, which continues the program initiated in arXiv:2603.14179, we apply Andrews' theory of separable integer partition classes to further identities from Slater's list. We construct a strict overpartition class and two families of overpartitions with positional gap conditions, in which overlining is permitted only at alternating positions. Their multivariate generating functions give natural refinements of the series sides of Slater's identities (12), (28), (29), (47), (48), (50), and (51). We then use Heine-type transformations, a limiting form of Heine's transformations, Watson's $q$-analogue of Whipple's theorem, and classical theta-product identities to obtain alternative series representations and recover the associated products. In addition, we derive a new companion identity to a Slater identity and a signed companion formula. Our results further demonstrate that SIP classes provide a flexible framework for converting basic hypergeometric series into structured partition generating functions, while simultaneously producing refinements, transformations, and new Rogers-Ramanujan type identities.

Let $\mathcal Y(z;t)$ be the modified Greaves--Jing--Zhu operator on the odd power-sum ring. We first point out that this operator can be obtained from the classical neutral operator by a simple diagonal change of variables. We then study products in which the two deformation parameters are not necessarily the same. For two parameters $t$ and $s$, we compute the scalar factor that appears in the mixed product. This factor has an explicit exponential form and, in a completed setting, can also be written as a quotient of infinite $t$-Pochhammer products. We also give a recurrence for its coefficients, a product formula for several mixed operators, and formulas for the coefficients obtained after applying the operators to $\mathbf 1$. A particularly simple case occurs when $s=t^M$. In this case the scalar factor becomes the finite quotient $(u;t)_M/(-u;t)_M$. Its coefficients are signed principal specializations of one-row Schur $Q$-functions. As a result, after removing the signs, these coefficients are nonnegative palindromic polynomials. We also give a Gaussian-binomial formula and a finite-order recurrence.

Signed total Roman domination is a variant of the classic Roman domination-problem in graphs. A signed total Roman dominating function (STRD function) on a graph $G=(V,E)$ is a function $f: V \to \{-1,1,2\}$ such that (i) $\sum_{u \in N(v)} f(u) \geq 1$ for all $v \in V$, where $N(v)$ denotes the neighborhood of $v$, and (ii) every vertex $v$ with $f(v) = -1$ is adjacent to a vertex $u$ with $f(u) = 2$. The weight of $f$ is $\sum_{v \in V} f(v)$. The signed total Roman domination number of $G$ is the minimum weight among all its STRD functions. A signed total Roman dominating family (STRD family) on $G$ is a family $\{f_1, \ldots, f_d\}$ of pairwise distinct STRD functions such that $\sum_{i=1}^{d} f_i(v) \leq 1$ for all $v \in V$. The signed total Roman domatic number of $G$ is the maximum size among all its STRD families. In this paper, we relate the signed total Roman domination number of a cubic graph to its open packing number, 2-tuple total domination number, and signed total domination number, allowing us to derive sharp bounds on the first invariant and to establish new $\mathcal{NP}$-completeness results for all four invariants. We demonstrate that having a degree-3 vertex determines a graph's signed total Roman domatic number. Combined with known results this implies that the associated decision problem is easy for graphs with maximum degree at most three and $\mathcal{NP}$-complete otherwise. To contrast these general hardness results, we determine signed total Roman domination and domatic numbers in complete multipartite graphs. Despite their simple structure, this is a non-trivial task.

Let $D$ be an oriented graph, and let $f_T(D)$ denote the number of copies of $D$ in a tournament $T$. We say that $D$ is \emph{converse invariant} if $f_T(D)=f_T(\overline D)$ for every tournament $T$, where $\overline D$ is obtained from $D$ by reversing all arcs. Ai, Gutin, Lei, Yeo, and Zhou introduced a digraph polynomial for studying this property and conjectured that an orientation of a tree of maximum degree at least $3$ is converse invariant if and only if it is self-converse or can be obtained recursively by bridge-mirroring from an orientation of a path. We disprove this conjecture. More precisely, we characterize converse-invariant orientations of trees of diameter four and exhibit non-self-converse examples that do not arise from the recursive bridge-mirroring construction. To prove the classification, we introduce a multilinear polynomial $P_D$ encoding the difference $f_T(D)-f_T(\overline D)$ over all tournaments $T$, and we give a coefficient formula for $P_D$ as a signed sum over copies of subgraphs of the underlying graph of $D$. This polynomial method yields parity obstructions, gives new proofs that oriented paths and cycles are converse invariant, and provides the main tool for the diameter-four classification.

A signed graph $Σ=(G,σ)$ is a graph $G$ with edges given signs $1$ or $-1$ defined by the function $σ$. The adjacency matrix of $Σ$ is defined as per these signs. The relation between the largest eigenvalue of $G$ and $G-v$ has been studied in recent years, where $G-v$ is the graph obtained from $G$ by deleting the vertex $v$. In 2020, Sun and Das proved that the difference of the squares of the largest eigenvalues of the graphs $G$ and $G-v$ is bounded above by $2d(v)-1$ where $d(v)$ is the degree of $v$. A similar result need not be true for the largest eigenvalues of signed graphs. In this paper, we prove that the result is valid for the spectral radius of signed graphs. On the other hand, the signed graph version of Hoffman's chromatic number bound and Cvetkovic's lower bound was proved by Wang et al. in 2021. They also discussed the difficulty in proving the extended version encompassing all eigenvalues of $Σ$ as was done for unsigned graphs by Wocjan et al. We give a lower bound for the chromatic number in terms of all the eigenvalues of $Σ$ and $Σ_-$, where $Σ_-$ is the spanning subgraph induced by the negative edges.

In this article, for a convex lattice polytope, we further investigate the summatory function of its Ehrhart polynomial, which is called the summatory Ehrhart polynomial, and introduce its summatory Ehrhart series. We prove several fundamental properties of these invariants. In particular, we derive a summatory analogue of the classical Ehrhart--Macdonald reciprocity law, which establishes a signed functional equation between the polytope and its relative interior via the substitution $t \mapsto 1-t.$

Let $S = (D, σ)$ be a signed digraph, where $D=(\mathcal{V},\mathcal{A})$ is the underlying digraph of $S$ and $σ:\mathcal{A}\rightarrow\{-1,+1\}$ is a sign function. In this paper, we study the singular values of adjacency matrix of $S$ and show that unlike eigenvalues, the singular values of unicyclic and bicyclic digraphs remain invariant under signing, thereby providing two families of switching non-isomorphic signed digraphs having same singular values. We also provide examples where singular values of digraphs change with signing. We study rank of signed digraphs and determine signed digraphs with rank one by using interlacing property of singular values. As an application of this result, we obtain a lower bound for the trace norm of signed digraphs and characterize the extremal signed digraphs.

Recently, the Turán problem for graphs with bounded clique number has attracted considerable attention. Since a graph can be regarded as a signed graph without negative edges, it is natural to extend the study of such Turán-type problems to signed graphs. With this motivation, we investigate the Turán-type problem for unbalanced $C_{2k+1}^{-}$-free signed graphs with bounded clique number. In fact, we establish a general result via the classical stability theorem. Specifically, for sufficiently large $n$ and a color-critical graph $F$, we determine the maximum number of edges among all $n$-vertex $C_{2k+1}^{-}$-free unbalanced signed graphs whose underlying graphs are $F$-free.

We present an algorithm for computing the join of two elements in the weak order of the Coxeter group of type B. This extends Markowsky's algorithm for computing joins of standard permutations to signed permutations, and allows us to confirm a conjecture of Dyer concerning a geometric interpretation of these joins.

Let $Γ= (G, σ)$ be a signed graph and $v$ a non-isolated vertex of $Γ$. Let $Γ-v$ denote the graph obtained by deleting the vertex $v$ together with all signed edges incident to it from $Γ$, and $d_Γ(v)$ the degree of $v$ in $Γ$. In this paper, we prove that the largest eigenvalue $λ_1(Γ)$ of $Γ$ satisfies \[ λ_1(Γ) \le \sqrt{λ_1^2(Γ- v) + 2d_Γ(v) - 1}, \] and we also present a refined version of this bound. Moreover, we characterize the extremal signed graphs achieving equality when $Γ$ is connected and $d_Γ(v)\ge 2$, which are switching equivalent to the balanced complete signed graph.

We study Euler characteristics of tropical subvarieties of tropical abelian varieties. We prove that every H-regular subvariety, locally modeled on tropicalizations of sufficiently well-behaved very affine varieties, has nonnegative signed Euler characteristic. This gives a tropical analogue of a theorem of Green-Lazarsfeld for subvarieties of complex abelian varieties. The main input is a local vanishing theorem for H-regular tropical fans, which also yields a Lefschetz-type theorem for affine H-regular tropical varieties. We further show that the signed Euler characteristic inequality fails for general tropical subvarieties of tropical abelian varieties, and we construct a 3-dimensional tropical fan whose link is not homotopy equivalent to a bouquet of 2-spheres.

Let $a_2''(n)$ and $b_2''(n)$ be the signed partition functions introduced by Andrews and El Bachraoui for interval-restricted partitions whose parts greater than $1$ are controlled by the smallest even part and by the number of ones. We prove two conjectures for these functions. The first gives the generating function for $a_2''(n)$ as an elementary rational term plus a false theta series with periodic signs; the second asserts that the companion coefficients $b_2''(n)$ take only the values $-1,0,1,2$. The central structural result introduces an auxiliary variable $z$ recording the number of non-compulsory parts greater than $1$. We obtain closed forms for the two resulting generating functions and prove the master identity $(1+q^2)\mathcal B(z,q)-(1+q)\mathcal A(z,q)=-q^4/(1-q^3)$ using both analytic and combinatorial techniques. At $z=-1$, this identity, together with a Rogers--Fine evaluation, gives the false theta formula for $a_2''(n)$ and an explicit generating function for $b_2''(n)$. The latter formula implies the asserted coefficient range and leads to an exact coefficient description of $b_2''(n)$. We also include a direct Heine--Rogers--Fine proof of the false theta formula, ordinary and fixed-refinement consequences of the master identity, and the resulting quantum modular interpretation.

A signed graph is a graph with signatures ($+1$ or $-1$) on its edges. A cycle is called positive if the product of its edge signatures is positive, and a signed graph is called balanced if each cycle in it is positive. The frustration index is the minimum number of edges whose deletion makes the signed graph balanced, which is considered to be a measurement of the imbalance of the signed graph. In this paper, we compare the frustration index of the all-negative signature with the maximum frustration index of all possible signatures on the unsigned graph. We classify some families of graphs into three scenarios: the all-negative signature does not maximise the frustration index, the all-negative signature maximises the frustration index non-uniquely, and the all-negative signature maximises the frustration index uniquely. For all three scenarios, we can exhibit chordal and non-chordal graphs alike. The classes we consider include apex trees, fan graphs, wheel graphs, and complete split graphs. Moreover, for the families of fan graphs and wheel graphs, we fully characterise and count the signatures maximising the frustration index. Throughout our study, we exhibit different classes of signed graphs for which the frustration index equals the number of edge-disjoint negative triangles. Moreover, as part of our study, we are able to refute three conjectures of Zaslavsky on the frustration index.

We give a short analytic proof of Raposo's signed refinement of Pohst's inequality.

We compare two cluster algebras related to a positive element $\mathtt{b}$ in the braid group of finite $ADE$ type. One is the localized bosonic extension ${\widetilde{\mathbb{A}}}_\mathbb{C}(\mathtt{b})$ equipped with an initial seed arising from an admissible chain $\mathfrak{C}$ of $i$-boxes, which is deeply connected to monoidal categorification. The other is the coordinate ring $\mathbb{C}[X({\underlineΔ} {\boldsymbol{i}})]$ of the braid variety $X({\underlineΔ} {\boldsymbol{i}})$ equipped with an initial seed arising from a Demazure weave $\mathfrak{W}$, where ${\boldsymbol{i}}$ and ${\underlineΔ}$ are expression sequences of $\mathtt{b}$ and the half twist $Δ$, respectively. We explicitly construct a Demazure weave $\mathfrak{W}_{\underlineΔ}(\mathfrak{C})$ for each admissible chain $\mathfrak{C}$ associated with ${\boldsymbol{i}}$, and prove that there exists an algebra isomorphism $\varphi_{\boldsymbol{i}}\colon {\widetilde{\mathbb{A}}}_\mathbb{C}(\mathtt{b})\to\mathfrak{C}[X({\underlineΔ} {\boldsymbol{i}})]$ which is compatible with the two seeds arising from $\mathfrak{C}$ and $\mathfrak{W}_{\underlineΔ}(\mathfrak{C})$. Moreover, the isomorphism $\varphi_{\boldsymbol{i}}$ sends the PBW vectors ${\overline{\mathsf{p}}}_{\boldsymbol{i},k} \in {\widetilde{\mathbb{A}}}_\mathbb{C}(\mathtt{b})$ to the coordinates $z_k \in \mathfrak{C}[X({\underlineΔ} {\boldsymbol{i}})]$ indexed by the letters of ${\boldsymbol{i}}$. As applications, we investigate a connection between Demazure weaves and signed words via the $i$-boxes and interpret the isomorphism $\varphi_{\boldsymbol{i}}$ from the viewpoint of monoidal categorification using Hernandez--Leclerc categories.

In this paper, we extend localized Turán theorems to signed graphs and study the corresponding spectral Turán problems. Firstly, we establish a vertex-localized Turán-type inequality for signed graphs and characterize the extremal graphs reaching this bound. Secondly, we derive a sharp upper bound for the largest eigenvalue of a signed graph via localized Turán parameters, and identify the extremal graphs attaining equality. Finally, we generalize a walk-based local spectral Turán inequality to signed graphs. Our results generalize and improve several existing theorems for unsigned and signed graphs.

Johnson graph are a family of graphs that play an important role in the theory of constant-weight codes, extremal combinatorics, and combinatorial geometry. We study signed analogues of classical Johnson graphs, denoted by $J_\pm(n,k)$, whose vertices are vectors of the form $\pm e_{i_1}\pm\cdots\pm e_{i_k}$, where two vertices are adjacent whenever their dot product equals $k-1$. We are particularly interested in maximum independent sets in the case $k=4$. An example of such an independent set in $J_\pm(n,4)$, which we call \emph{classical}, is obtained by lifting an arbitrary optimal $(n,4,4)$-code. Such independent sets naturally define kissing arrangements in ${\mathbb R}^n$. We develop an algorithm that is practical for computing all maximum independent sets in $J_\pm(n,4)$ up to signed permutations for $n\le 12$, $n\ne 11$. In addition to obtaining complete lists, we provide structural characterizations of all types of maximum independent sets in these dimensions, excluding $n=5$ and $n=11$. Our most striking results concern the case $n=12$. We identify $1579$ non-isomorphic maximum independent sets in $J_\pm(12,4)$, all corresponding to non-isometric kissing arrangements of size $840$ in ${\mathbb R}^{12}$. Structurally, $1575$ of these independent sets arise from three different constructions, the rest are liftings of one of four $(12,4,4)$-codes. To our knowledge, this is the first dimension in which such a large diversity of potentially optimal kissing arrangements has been observed. Beyond this finite range, we prove that for $n\equiv 2$ or $4 \pmod 6$, every maximum independent set arises from a Steiner quadruple system. We also obtain a characterization of the so-called \emph{nontrivially self-compatible} codes, namely optimal $(n,4,4)$-codes from which non-classical maximum independent sets can be constructed.

We study combinatorial structures arising from finite-time transition probabilities of the Totally Asymmetric Simple Exclusion Process with open boundary conditions. While much of the existing combinatorial theory regarding the TASEP concerns the steady-state distribution, we focus instead on the transient dynamics. We first show that the enumeration of transition sequences between two configurations of the open TASEP is equivalent to the enumeration of standard Young tableaux of a family of non-classical shapes which have been of recent interest in the combinatorial literature. This extends to the open-boundary setting the correspondence between the TASEP with periodic boundaries and cylindric tableaux. We then introduce a family of tableau-like objects associated with Young diagrams in which repetitions of cells are allowed, subject to the partial order induced by the diagram. For each diagram, we collect the numbers of these objects into an exponential generating function. We prove that the entries of the homogeneous open TASEP transition matrix can be expressed as signed sums of such generating functions over suitable families of diagrams. This gives a combinatorial and order-theoretic interpretation of finite-time transition probabilities for the open TASEP, analogous to the combinatorial mappings known for steady-state probabilities.

We introduce edgewise jump invariants and gradient-type structures for the partition graph $G_n$, whose vertices are the partitions of $n$ and whose edges correspond to elementary transfers of one unit between parts. Previous work on $G_n$ has focused mainly on vertex-level invariants such as degree, local simplex dimension, and support size. Here we study how such invariants change along edges. For an oriented edge $e=(λ,μ)$ and a vertex invariant $F$, we define the signed jump $Δ_e F=F(μ)-F(λ)$ and focus on the basic jump signature \[ J(e)=(Δ_e d,Δ_eδ,Δ_eσ), \] where $d$ is degree, $δ$ is local simplex dimension, and $σ$ is support size. We prove that support jumps are universally bounded by $2$ and describe them in terms of local multiplicity data. We also develop a taxonomy of active, neutral, pure, and mixed transitions, relate nonzero jumps of integer-valued invariants to threshold-layer crossings, and discuss strict gradient orientations associated with real-valued vertex invariants. Finally, we formulate a reproducible protocol for a computational atlas of jump spectra, transition ranks, large-jump edges, and localization patterns. No large-scale computations are carried out here; the atlas is presented as a framework for subsequent work.

We begin with the observation that the signed generalized Stirling polynomials $P_k(m,x)$, which occur in a generalization of Malmsten's integral, reduce to the falling factorials when $k=m$. The structure of these generalized Stirling polynomials is then used to obtain recurrence relations, gamma--polygamma formulas for the polynomials $P_{m-s}(m,x)$, a more transparent proof of a vanishing identity used in earlier closed forms, and a finite approximation to $\cosh πx$ with a corresponding limit formula for $π$. We also observe that these polynomials occur naturally as signed residues of the equal-period Barnes multiple zeta function, namely $P_k(m,x)=(-1)^k m!\operatorname*{Res}_{s=m+1-k}ζ_{m+1}(s,x)$. In addition, we derive the reflection formula $P_k(m,m+1-x)=(-1)^kP_k(m,x)$ and use these polynomial identities to obtain explicit identities for Stirling cycle numbers. We then turn to finite nested sums built from the hyperbolic-secant integral sequence $χ_n$. After the lower bounds are fixed, the nested sums become coefficient-counting problems: the common-lower-bound case gives binomial coefficients, while the staircase case gives Catalan numbers. Combining these counts with the closed forms for the individual $χ_j$'s produces explicit evaluations involving Catalan's constant, zeta values, and polygamma values at one quarter. A Wolfram Language package accompanies the formulas.