arXiv++ Combinatorics

We determine the zero-forcing number of maximal biconnected outerplanar graphs. When the weak dual is a path, the zero-forcing number and the induced path-covering number are both two. Otherwise, the branching faces determine a canonical core and a family of terminal strips. We prove that an optimal forcing process can be chosen in a normal form governed by explicit vertex and face capacities on the core. After fixing forests on the terminal strips, the zero-forcing number is expressed through an optimization over core-edge selections and the minimum number of root connections that must be removed to obtain an executable orientation. The path-covering number is obtained from the same capacity optimization without the repair cost. We characterize executable orientations by blocking-circuit equations and identify the two-path obstruction with a first cohomology class of a signed contact multigraph. Local replacements and a finite comparison of boundary recurrences establish the normal form for graphs of arbitrary size. A fifty-six-state recurrence constructs a minimum zero-forcing set and a complete forcing chronology in linear time from indexed triangle adjacency. We also obtain exact replacement results for rooted blocks and construct infinite families in which the zero-forcing number exceeds the path-covering number.

Spectral conditions for Hamiltonian cycles are a fundamental subject in extremal spectral graph theory. For simple unsigned graphs, Fiedler and Nikiforov [Linear Algebra Appl., 432 (2010), 2170-2173] pioneered this direction, and Li and Ning [Linear Multilinear Algebra, 64 (2016), 2252-2269] later extended these results by introducing minimum degree parameters. In this paper, we study the spectral conditions for the existence of a negative Hamiltonian cycle in unbalanced signed graphs of order n > 8. We first determine the maximum index among all n-vertex unbalanced signed graphs containing no negative Hamiltonian cycle, and characterize the corresponding extremal graphs up to switching isomorphism. Furthermore, we establish an upper bound on the number of edges in unbalanced signed graphs of order n >= 7 with frustration index one, and classify all extremal graphs achieving this bound.

The extremal problem of determining the graphs with maximum spectral radius among all graphs with a prescribed number of edges was resolved by Rowlinson [Linear Algebra Appl. 110 (1988) 43--53]. A signed graph $Γ=(G,σ)$ is called $C_k^-$-free if it contains no negative $k$-cycle as a signed subgraph. The index of a signed graph is defined as the largest eigenvalue of its adjacency matrix. This paper addresses the maximization of the index of unbalanced signed graphs. For signed graphs of a prescribed order, Wang and Lin [Discrete Appl. Math. 372 (2025) 164--172] determined the maximum index of $C_4^{-}$-free unbalanced signed graphs. Subsequently, Wang, Peng and Hou [Discrete Math. 349 (2026) 114871] characterized the unbalanced signed graphs of prescribed size with maximum index. This paper treats the edge spectral Turán-type problem for $C_4^-$-free unbalanced signed graphs. The all-positive signed graph with underlying graph $G$ is denoted by $(G,+)$. Evidently, $A((G,+))=A(G)$. In particular, $(H_{d,t},+)$ is the all-positive signed graph whose underlying graph is $H_{d,t}$, where $H_{d,0}=K_d$ and for $t>0$, $H_{d,t}$ is obtained from $K_d$ by adding a single vertex adjacent to exactly $t$ vertices of $K_d$. Let $m-3=\binom{d}{2}+t$ with $0\le t\le d-1$. Up to switching isomorphism and the addition of isolated vertices, the unique extremal unbalanced signed graph is obtained by attaching a negative triangle to a specified vertex of the all-positive signed graph $(H_{d,t},+)$.

We study the topological degree on the positive orthant of a map $F:\mathbb{R}^n_{>0}\to\mathbb{R}^n$ whose components are real polynomials, possibly with real exponents, with the same support $\mathcal{A}$ of $N=n+k+1$ monomials. This degree is well defined under a half-space condition on the columns of the coefficient matrix indexed by the faces of the Newton polytope, which holds for generic exponents and coefficients. We give three formulas for it, all in terms of signs of maximal minors. The first one is a Viro formula: the degree is a signed count of the simplices of a regular triangulation of $\mathcal{A}$ which are positively decorated in the sense of Bihan, Santos and Spaenlehauer. The second one is a sum over the facets of the Newton polytope, and the third one a sum over the vertices of the polyhedron of the Gale dual system. As a consequence, the degree only depends on the oriented matroids of the exponent and coefficient matrices restricted to the vertices of the Newton polytope. We also obtain a Descartes rule of signs for the degree and, in the generic case, the upper bound $|°F|<\frac12\min(M(n,N),M(k,N))$, where $M(d,N)$ is the largest number of facets of a $d$-polytope with $N$ vertices. This bound is sharp when $n=2$ or $k=2$. Using the H-duality of Bihan, Dickenstein and Forsgård, we show that the set of possible degrees is symmetric in $n$ and $k$. Since a nonzero degree forces a positive zero, our formulas give sign conditions for the existence of positive solutions, as well as parity statements for their number.

Long weighted walks seem to sample mod-$t$ flows uniformly, but at even moduli a persistent parity bias survives. Writing $C_G(t)$ for the flow polynomial of a connected graph $G$ of genus $g$, the proportion of nowhere-zero flows under uniform sampling is $C_G(t)/t^g$. For arbitrary positive directed weights and all moduli, we determine the exact leading corrections for both closed walks and nonbacktracking closed walks, which we call circuits. Only the circuit result requires $g\ge2$. For closed walks, the canonical character governs the leading correction through the canonical modulating flow polynomial $D_G$; for circuits, the period character, when it exists, governs the leading correction through the period modulating flow polynomial $D_{G,η}$. At even moduli these give parity-dependent corrections: the two mechanisms coincide on nonbipartite graphs and separate only in the bipartite circuit problem. More generally, each integral-homology character $ζ$ determines a balanced-dichromatic specialization $D_{G,ζ}$. These polynomials form a character-indexed family whose finite-order members give Fourier coefficients of the nowhere-zero flow set and whose retained edge sets are the central sets of a gain semimatroid. We further show that $D_G$ is a cycle-matroid invariant and a signed-Tutte specialization satisfying signed deletion-contraction. Finally, an integral nowhere-zero approximation theorem implies that asymptotically almost every weighted circuit traverses every edge.

Let $\eps=(\eps_i)_{i\ge1}$ be a sequence with $\eps_i\in\{-1,1\}$, and let $v_n(\eps)$ be the positive denominator of $\sum_{i=1}^n\eps_i/i$ in lowest terms. We prove that $|\{1\le n\le x:v_n(\eps)\ne v_{n+1}(\eps)\}|=o(x)$ uniformly in $\eps$. In particular, the set of positive integers $n$ with $v_n(\eps)=v_{n+1}(\eps)$ has asymptotic density one for every sequence of signs. This answers a problem of Wu and Chen, \emph{J. Number Theory} \textbf{200} (2019), 397--406.

We use spectral methods to determine Turán coefficients of signed graphs under containment that preserves negative edges and allows positive edges to be realized by either sign. For a fixed forbidden signed graph $\sF$ with at least one edge, the coefficient $\tht(\sF)$ is the supremum of the weights $ρ\ge1$ for which every $\sF$-free signed graph $\sG$ of order $n$ satisfies $e^+(\sG)+ρe^-(\sG)\le\binom n2+o(n^2)$. We prove a variational characterization of the weighted extremal density and show that $\tht(\sF)=1+1/L(\sF)$, where $L(\sF)$ is the supremum of the adjacency spectral radii of $\sF$-admissible graphs. The coefficient is infinite exactly when the underlying graph $F$ is bipartite, and equals one exactly when $F$ has no independent set meeting every negative edge. When $χ(F)=3$, the possible coefficients are exactly $1$, $3/2$, $1+1/\sqrt3$, $(1+\sqrt5)/2$, $1+1/\sqrt2$, and $2$, each of which is realized by a signed graph. In this case, if $\tht(\sF)>1$, then $L(\sF)$ is attained by an admissible graph on at most five vertices, and the order bound is sharp. More generally, when some path is inadmissible, we obtain explicit order bounds for connected admissible graphs with bounded maximum degree. We also derive restrictions on the algebraic degree and rational values of $\tht(\sF)$.

Most of the traditional third-order mock theta functions occur naturally as specialized values of partition-rank generating functions. The same finite rank kernels also occur in the ordinary and odd unimodal-rank series studied previously in the literature. We organize a parallel collection of corner series by retaining these kernels and replacing their quadratic core weights by linear peak weights. Their root-of-unity specializations are governed by partial and false theta identities recorded in Ramanujan's Lost Notebook; in one exceptional case the corner companion is itself a mock theta function. The classical rank series and Ramanujan identities are used as inputs. Our new results include exact two- and three-color partition identities with sparse theta discrepancies and an oriented three-dimensional corner with a distinct tower. In both color cases, positive decompositions separate the colored companion into copies of the relevant odd-corner series and a corresponding decorated even-corner series. Thus both sparse discrepancies become signed differences between natural corner families. Burson's boxed modular involution provides a common rank-refined model for the two corrections, whose surviving fixed points produce the exceptional quadratic sequences. For the side rank of the three-dimensional corners we obtain an exact formula at $z=-1$, a strict parity bias, quartic and cubic root-of-unity rank-difference identities, and exact equidistribution modulo $3$ on the progression $6n+5$. The cubic identity also gives exact congruence formulas on the progressions $6n+2$ and $6n+3$. We further classify the associated binary triangular support modulo every integer and derive general congruence families.

Let G be a simple connected graph with the vertex set V (G) and the edge set E(G) such that |V (G)| = n and |E(G)| = q. The common neighborhood graph con(G) of G has the same set of vertices as that of G and uv is an edge in con(G) if u and v have at least one common neighbor in G. By a signed graph S, we mean a graph G whose edges has been assigned sign plus or minus. In this paper, the concept of common neighborhood graph has been initiated in the realm of signed graphs, that is, we define a common neighborhood signed graph of a signed graph.

We give a computer-assisted proof that every finite simplicial triangulation of real projective five-space has at least twenty-four vertices. Together with the construction of Guyer, Steinerberger, and Yang, this determines the minimum. A cup-product argument produces an induced subcomplex on sixteen or seventeen vertices. Transfer to the spherical double cover then imposes a covering condition on its lifted faces. In the sixteen-vertex case, a direct capacity bound excludes twenty-two vertices. For twenty-three vertices, a cochain extension argument reduces every relevant completion to one of 115 critical signed complexes; integer weights and exact covering certificates exclude all of them. The argument requires no assumption that the triangulation is combinatorial.

The energy $\mathcal{E}(Γ)$ of a signed graph $Γ=(G,σ)$ is the sum of the absolute values of the eigenvalues of its adjacency matrix $A(Γ)$. In this article, we prove that $\mathcal{E}(Γ)\geq 2τ(G)$, where $τ(G)$ is the vertex cover number of $G$. The case of unsigned graphs, a 1980s conjecture proved only recently, is a special case of this result. Moreover, we completely characterize the equality case: equality holds if and only if every connected component of $Γ$ is switching equivalent to an \emph{additive rook graph} $\Rook_N(a,b)$. This graph is constructed on an $N\times N$ board with $a_i+b_j$ vertices on square $(i,j)$. Two vertices are joined by a positive edge if they share only a row, and by a negative edge if they share only a column. As consequences, we obtain a balanced/antibalanced trichotomy for the extremal signed graphs and deduce the characterization of the extremal unsigned graphs. Finally, an example shows that the bound does not extend to the Hermitian adjacency matrices of mixed graphs or to complex unit gain graphs.

We construct a weighted signed dual multigraph for the Cayley $2$-complex of a finite presentation and represent its $\ell^2$ face Laplacian as a signed graph Laplacian with a diagonal potential. We prove that the face spectral gap above the kernel vanishes for the Baumslag--Solitar groups $\operatorname{BS}(1,m)$, $m\ge2$, using explicit finitely supported face chains. Our main vanishing theorem gives the same conclusion for every finitely presented amenable group with ordinary first Betti number at least two.

We prove that the triangle $C_3$ is the only integral unicyclic graph with an odd cycle. The main tool is a spectral inequality that does not require integrality: if $G$ is a connected non-bipartite graph and $G-e$ is bipartite for some edge $e$, then the eigenvalues $λ_1\ge\cdots\geλ_n$ of $G$ satisfy $\sum_{i}(λ_i+λ_{n+1-i})^+\le 2$ and $0<λ_1+λ_n\le 1$. It follows from comparing $A(G)$ with the signed adjacency matrix obtained by reversing the sign of $e$, which is similar to $-A(G)$, through a common rank-one perturbation and Weyl's monotonicity theorem. For integral graphs in this class, an arithmetic lemma then gives $λ_n=1-λ_1$ and at least $λ_1-1\ge1$ triangles, which yields the classification. We also prove that an integral graph of odd girth $g$ has at least $(g-1)!/2$ cycles of length $g$, with equality for the Petersen graph when $g=5$, and we derive consequences for quantum periodicity a

We give a deterministic polynomial-time algorithm for the Bilu--Linial signing problem on bipartite graphs. For every finite simple bipartite graph of maximum degree at most an integer $Δ\ge3$, the algorithm assigns signs to its edges so that the signed adjacency matrix has operator norm strictly less than $2\sqrt{Δ-1}$. Our algorithm builds on the randomized recursive repair framework of Jadbabaie, Saberi, and Sra~\cite{JSS26}, with deterministic rules for sign selection and vertex deletion.

We prove a general inversion formula in the equivariant incidence algebras of geometric lattices that relates the equivariant Chow function with the equivariant super-reduced characteristic function. We apply this result to the case of minimal wonderful models for hyperplane arrangements associated to root systems, with the natural action of the corresponding Weyl group. Applying this formula to type $A$ (i.e. the partition lattices), we recover Getzler's compositional identity in type $A$. In type $B$ (i.e. the signed partition lattice), we recover Henderson's result, expressing the equivariant Chow generating series in terms of the same series in type $A$ and the equivariant characteristic generating series of type $B$. Moreover, we obtain a new compositional identity for the equivariant Chow generating series.

We prove that Chapoton's $q$-Zeta numerator has nonnegative coefficients for the positive-root poset of every finite reduced irreducible crystallographic root system, graded by root height minus one and normalized by Chapoton's prescribed denominator. The same holds for every interval of the root poset with zero adjoined. The key observation is that adjoining a minimum changes the numerator only by the substitution $t\mapsto qt$. The numerator thereby becomes a nonnegative combination of flag $h$-numbers of a lower-semimodular lattice, and a classical labelling of the dual lattice gives a positive descent expansion. To make the coefficients explicit, we construct signed edge-lexicographic (EL) labellings of Ferrers-cell posets with nonincreasing boundaries. They give ballot-word formulas in types $A$, $B$, and $C$, which prove an observation of Chapoton in type $B$, and a coloured path formula in type $D$. For trapezoidal boundaries, one-boundary major-index enumerators evaluate the path sums in Gaussian-binomial form.

Let $h_n$ denote the complete homogeneous symmetric function of degree $n$, $s_ν$ the Schur function indexed by a partition $ν$, and $\langle\cdot,\cdot\rangle$ the Hall inner product. The plethysm coefficient $\langle h_n[h_m], s_ν\rangle$ is the multiplicity of the Weyl module $W_ν(\mathbb{C}^N)$ in $\mathrm{Sym}^n(\mathrm{Sym}^m(\mathbb{C}^N))$ whenever $ν$ has at most $N$ parts. For a partition $λ$, let $λ[mn]=(mn-|λ|,λ_1,λ_2,\dots)$. Bowman and Paget proved that $\langle h_n[h_m], s_{λ[mn]}\rangle$ is independent of $m$ and $n$ once $m,n\ge|λ|$. We prove that this coefficient is already constant for $m\geλ_1$ and $n\ge\lfloor(|λ|+λ_1)/2\rfloor$, and that its stable value equals $\langle s_λ, H[H-1-h_1]\rangle$, where $H=\sum_{i\ge0}h_i$; the proof uses the skewing operators adjoint to multiplication by complete homogeneous symmetric functions. We give a short new proof of the Bowman-Paget theorem based on stability of vector-partition functions, which count the ways of writing a vector of non-negative integers as an unordered sum of non-zero such vectors (its parts). Using a Vandermonde-type determinantal identity, we deduce that the stable value is a signed sum of numbers of vector partitions all of whose parts have entries summing to at least 2. The same method gives a short proof of Brion's stability theorem. We show that the stable value equals the multiplicity of $W_λ(\mathbb{C}^k)$, where $k=\lfloor|λ|/2\rfloor$, in an explicit representation of $GL_k(\mathbb{C})$ independent of $m$ and $n$, obtained by modifying the polynomial induction of Narayanan, Paul, Prasad and Srivastava. Finally, we prove an explicit positive formula for the stable value, which counts the number of lattice points in a polytope, when $λ_1\le 4$.

Bilu and Linial conjectured that every finite $d$-regular graph with $d \geq 2$ admits an edge signing $σ$ whose signed adjacency matrix $A_σ$ has spectral radius at most $2\sqrt{d-1}$. We prove that every signing meeting the mixed-root condition $r_{A_σ}\leq\sqrt{2(d-1)}$ satisfies \[ ρ(A_σ) < \frac{3+\sqrt5}{2}\sqrt{d-1}, \] where $r_{A_σ}$ is the largest root of the mixed determinantal polynomial $χ[A_σ,-A_σ]$. The interlacing theorem of Ravichandran and Srivastava guarantees a signing satisfying the mixed-root condition, so our result improves the coefficient $2\sqrt2$ in their two-sided spectral bound. In the proof, we construct a positive matrix-valued probability measure supported on the roots of $χ[A_σ,-A_σ]$. The second moment gives a simple matrix inequality $A_σ^2 + dI \preceq 4r_{A_σ}^2I$, which yields a preliminary coefficient $\sqrt{7}$. Estimates for the fourth moment use information about short walks to obtain the coefficient $(3+\sqrt{5})/2$. For triangle-free graphs, the coefficient improves to $\sqrt6$, and for graphs with girth at least five, it improves to $\sqrt{35/6}$. As a result of independent interest, we extend the construction to $χ[A_1,\ldots,A_k]$ for Hermitian matrices $A_1,\ldots,A_k$ with zero diagonal, and compute the first two moments explicitly. Finally, an explicit signing of $K_8$ shows that the mixed-root condition alone cannot guarantee a coefficient below $(4+\sqrt5)/\sqrt6$.

The theory of combinatorial Hopf algebras (CHA) is a powerful framework for studying algebraic invariants of combinatorial objects. For instance, Stanley's chromatic symmetric function and the chromatic polynomial arise naturally from the CHA of graphs. In this paper, we define a CHA of signed graphs in order to study, in the same spirit, invariants of signed graphs such as the signed chromatic polynomial. The key ingredient of our construction is a well-chosen character, from which the signed chromatic invariants are obtained. Via the antipode, we obtain new proofs of combinatorial reciprocity results for these invariants. Moreover, by deforming the character with an additional parameter, we incorporate bivariate invariants into this framework, both for classical and signed graphs. In the classical case, this technique recovers the Tutte polynomial.

We present monotonicity inequalities for certain functions involving eigenvalues of $p$-Laplacians on signed graphs with respect to $p$. Inspired by such monotonicity, we propose new spectrum-based graph invariants, called (variational) cut-off adjacency eigenvalues, that are relevant to certain eigenvector-dependent nonlinear eigenvalue problem. Using these invariants, we obtain new lower bounds for the $p$-Laplacian variational eigenvalues, essentially giving the state-of-the-art spectral asymptotics for these eigenvalues. Moreover, based on such invariants, we establish two inertia bounds regarding the cardinalities of a maximum independent set and a minimum edge cover, respectively. The first inertia bound enhances the classical Cvetković bound, and the second one implies that the $k$-th $p$-Laplacian variational eigenvalue is of the order $2^p$ as $p$ tends to infinity whenever $k$ is larger than the cardinality of a minimum edge cover of the underlying graph. We further discover an interesting connection between graph $p$-Laplacian eigenvalues and tensor eigenvalues and discuss applications of our invariants to spectral problems of tensors.