arXiv++ Combinatorics

We introduce the Primitive Eulerian polynomial $P_{\cal A}(z)$ of a central hyperplane arrangement ${\cal A}$. It is a reparametrization of its cocharacteristic polynomial. Previous work of the first author implicitly show that, for simplicial arrangements, $P_{\cal A}(z)$ has nonnegative coefficients. For reflection arrangements of type A and B, the same work interprets the coefficients of $P_{\cal A}(z)$ using the (flag)excedance statistic on (signed) permutations. The main result of this article is to provide an interpretation of the coefficients of $P_{\cal A}(z)$ for all simplicial arrangements only using the geometry and combinatorics of ${\cal A}$. This new interpretation sheds more light to the case of reflection arrangements and, for the first time, gives combinatorial meaning to the coefficients of the Primitive Eulerian polynomial of the reflection arrangement of type D. In type B, we find a connection between the Primitive Eulerian polynomial and the $1/2$-Eulerian polynomial of Savage and Viswanathan (2012). We present some real-rootedness results and conjectures for $P_{\cal A}(z)$.

Volume computation for $d$-polytopes $\mathcal{P}$ is fundamental in mathematics. There are known volume computation algorithms, mostly based on triangulation or signed-decomposition of $\mathcal{P}$. We consider $ \mathrm{cone}(\mathcal{P})$ as a lift of $\mathcal{P}$ in view of Ehrhart theory. By using technique from algebraic combinatorics, we obtain a volume algorithm using only signed simplicial cone decompositions of $ \mathrm{cone}(¶)$. Each cone is associated with a simple algebraic volume formula. Summing them gives the volume of the polytope. Our volume formula applies to various kind of cases. In particular, we use it to explain the traditional triangulation method and Lawrence's signed decomposition method. Moreover, we give a completely new primal-dual method for volume computation. This solves the traditional problem in this area: All existing methods are hopelessly impractical for either the class of simple polytopes or the class of simplicial polytopes. Our method has a good performance in computer experiments.

A signed graph is a graph whose edges are labeled either as positive or negative. The concept of vector valued switching and balancing dimension of signed graphs were introduced by S. Hameed et al. In this paper, we deal with the balancing dimension of various products of signed graphs, namely the Cartesian product, the lexicographic product, the tensor product and the strong product.

We study chip-firing on a signed graph $G_φ$, employing a general theory of chip-firing on invertible matrices introduced by Guzmán and Klivans. Here a negative edge designates an adversarial relationship, so that firing a vertex incident to such an edge leads to a loss of chips at both endpoints. The chip-firing rule for $G_φ$ is described by its reduced Laplacian matrix $L_{G_φ}$, which also defines the critical group ${\mathcal K}(G_φ)$. The valid chip configurations are given by the lattice points of a rational cone determined by $G_φ$ and the underlying graph $G$. This gives rise to notions of critical as well as $z$-superstable configurations, both of which are counted by the determinant of $L_{G_φ}$. We establish general results regarding these configurations, focusing on efficient methods of verifying the underlying properties. We then study the critical groups of signed graphs in the context of vertex switching and Smith normal forms. We use this to compute the critical groups of various classes of signed graphs including signed cycles, wheels, complete graphs, and fans, in the process generalizing results of Biggs and others.

Suppose that $\dot{G}$ is an unbalanced signed graph of order $n$ with $e(\dot{G})$ edges. Let $ρ(\dot{G})$ be the spectral radius of $\dot{G}$, and $\mathcal{K}_4^-$ be the set of the unbalanced $K_4$. In this paper, we prove that if $\dot{G}$ is a $\mathcal{K}_4^-$-free unbalanced signed graph of order $n$, then $e(\dot{G})\leqslant \frac{n(n-1)}{2}-(n-3)$ and $ρ(\dot{G})\leqslant n-2$. Moreover, the extremal graphs are completely characterized.

The complexity of the list homomorphism problem for signed graphs appears difficult to classify. Existing results focus on special classes of signed graphs, such as trees and reflexive signed graphs. Irreflexive signed graphs are in a certain sense the heart of the problem, as noted by a recent paper of Kim and Siggers. We focus on a special class of irreflexive signed graphs, namely those in which the unicoloured edges form a spanning path or cycle, which we call separable signed graphs. We classify the complexity of list homomorphisms to these separable signed graphs; we believe that these signed graphs will play an important role for the general resolution of the irreflexive case. We also relate our results to a conjecture of Kim and Siggers concerning the special case of semi-balanced irreflexive signed graphs; we have proved the conjecture in another paper, and the present results add structural information to that topic.

Signed difference sets have interesting applications in communications and coding theory. A $(v,k,λ)$-difference set in a finite group $G$ of order $v$ is a subset $D$ of $G$ with $k$ distinct elements such that the expressions $xy^{-1}$ for all distinct two elements $x,y\in D$, represent each non-identity element in $G$ exactly $λ$ times. A $(v,k,λ)$-signed difference set is a generalization of a $(v,k,λ)$-difference set $D$, which satisfies all properties of $D$, but has a sign for each element in $D$. We will show some new existence results for signed difference sets by using partial difference sets, product methods, and cyclotomic classes.

For a non-bipartite finite Cayley graph, we show the non-trivial eigenvalues of its normalized adjacency matrix lie in the interval $$\left[-1+\frac{ch_{out}^2}{d},1-\frac{Ch_{out}^2}{d}\right],$$ for some absolute constant $c$ and $C$, where $h_{out}$ stands for the outer vertex boundary isoperimetric constant. This improves upon recent obtained estimates aiming at a quantitative version of a result due to Breuillard, Green, Guralnick and Tao. We achieve this by extending the work of Bobkov, Houdré and Tetali on vertex isoperimetry to the setting of signed graphs. We further extend our interval estimate to the settings of vertex transitive graphs and Cayley sum graphs. As a byproduct, we answer positively open questions proposed recently by Moorman, Ralli and Tetali.

We give a characterization of when a signed graph $G$ with a pair of distinguished edges $e_1, e_2 \in E(G)$ has the property that all cycles containing both $e_1$ and $e_2$ have the same sign. This answers a question of Zaslavsky.

Jaeger, Linial, Payan, and Tarsi introduced the notion of $A$-connectivity for graphs in 1992, and proved a decomposition for cubic graphs from which $A$-connectivity follows for all 3-edge-connected graphs when $|A|\geq 6$. The concept of $A$-connectivity was generalized to signed graphs by Li, Luo, Ma, and Zhang in 2018 and they proved that all 4-edge-connected flow-admissible signed graphs are $A$-connected when $|A|\geq 4$ and $|A|\neq 5$. We prove that all 3-edge-connected flow-admissible signed graphs are $A$-connected when $|A|\geq 6$ and $|A|\neq 7$. Our proof is based on a decomposition that is a signed-graph analogue of the decomposition found by Jaeger et. al, and which may be of independent interest.

The alternating sign matrices-descending plane partitions (ASM-DPP) bijection problem is one of the most intriguing open problems in bijective combinatorics, which is also relevant to integrable combinatorics. The notion of a signed set and a signed bijection is used in [Fischer, I. \& Konvalinka, M., Electron. J. Comb., 27 (2020) 3-35.] to construct a bijection between $\text{ASM}_n \times \text{DPP}_{n-1}$ and $\text{DPP}_n \times \text{ASM}_{n-1}$. Here, we shall construct a more natural alternative to a signed bijection between alternating sign matrices and shifted Gelfand-Tsetlin patterns which is presented in that paper, based on the notion of compatibility which we introduce to measure the naturalness of a signed bijection. In addition, we give a bijective proof for the refined enumeration of an extension of alternating sign matrices with $n+3$ statistics, first proved in [Fischer, I. \& Schreier-Aigner, F., Advances in Mathematics 413 (2023) 108831.].

The elements in the hyperoctahedral group $\mathfrak{B}_n$ can be treated as signed permutations with the natural order $\cdots<-2<-1<0<1<2<\cdots$, or as colored permutations with the $r$-order $-1<_r-2<_r\cdots<_r0<_r1<_r2<_r\cdots$. For any $π\in\mathfrak{B}_n$, let $\operatorname{des}^B(π)$ and $\operatorname{ides}^B(π)$ be the number of descents and inverse descents in $π$ under the natural order, and let $\operatorname{des}_B(π)$ and $\operatorname{ides}_B(π)$ be the number of descents and inverse descents in $π$ under the $r$-order. In this paper, by investigating signed permutation grids under both the natural order and the $r$-order, we give combinatorial proofs for six recurrence formulas of the joint distribution of descents and inverse descents over the hyperoctahedral group $\mathfrak{B}_n$, the set in involutions of $\mathfrak{B}_n$ denoted by $\mathcal{I}_n^B$, and the set of fixed-point free involutions in $\mathfrak{B}_n$ denoted by $\mathcal{J}_n^B$, respectively. Some of these six formulas are new, and some reveal the combinatorial essences of the results obtained by Visontai, Moustakas and Cao-Liu through algebraic approaches such as quasisymmetric functions. Furthermore, from these formulas, we conclude that $(\operatorname{des}^B,\operatorname{ides}^B)$ and $(\operatorname{des}_B,\operatorname{ides}_B)$ are equidistributed over both $\mathfrak{B}_n$ and $\mathcal{I}_n^B$, but not on $\mathcal{J}_n^B$.

For a given graph $G$, let $f:V(G)\to \{1,2,\ldots,n\}$ be a bijective mapping. For a given edge $uv \in E(G)$, $σ(uv)=+$, if $f(u)$ and $f(v)$ have the same parity and $σ(uv)=-$, if $f(u)$ and $f(v)$ have opposite parity. The resultant signed graph is called a parity signed graph and the mapping $σ$ is called a parity signature of $G$. Let us denote a parity signed graph $S=(G,σ)$ by $G_σ$. Let $E^-(G_σ)$ be a set of negative edges in a parity signed graph and let $Si(G)$ be the set of all parity signatures for the underlying graph $G$. We define the \textit{rna} number of $G$ as $σ^-(G)=\min\{|E^-(G_σ)|:σ\in Si(G)\}$. In this paper, we prove a non-trivial upper bound in the case of trees: $σ^-(T)\leq \lceil\frac{n}{2}\rceil$, where $T$ is a tree of order $n+1$. We have found families of trees whose \textit{rna} numbers are bounded above by $\lceil\fracΔ{2}\rceil$ and also we have shown that for any $i\leq \lceil\frac{n}{2}\rceil$, there exists a tree $T$ (of order $n+1$) with $σ^-(T)=i$. This paper gives a characterization of graphs with \textit{rna} number 1 in terms of its spanning trees and also a characterization of graphs with \textit{rna} number 2.

In this paper we consider ordinal sums of combinatorial games where each summand is a number, not necessarily in canonical form. In doing so we give formulas for the value of an ordinal sum of numbers where the literal form of the base has certain properties. These formulas include a closed form of the value of any ordinal sum of numbers where the base is in canonical form. Our work employs a recent result of Clow which gives a criteria for an ordinal sum G : K = H : K when G and H do not have the same literal form, as well as expanding this theory with the introduction of new notation, a novel ruleset, Teetering Towers, and a novel construction of the canonical forms of numbers in Teetering Towers. In doing so, we resolve the problem of determining the value of an ordinal sum of numbers in all but a few cases appearing in Conway's On Numbers and Games; thus generalizing a number of existing results and techniques including Berlekamp' sign rule, van Roode's signed binary number method, and recent work by Carvalho, Huggan, Nowakowski, and Pereira dos Santos. We conclude with a list of open problems related to our results.

Complex unit gain graphs may exhibit various kinds of symmetry. In this work, we explore structural symmetry, spectral symmetry and sign-symmetry in such graphs, and their respective relations to one-another. Our main result is a construction that transforms an arbitrary complex unit gain graph into infinitely many switching-distinct ones whose spectral symmetry does not imply sign-symmetry. This provides a more general answer to the analogue of an existence question that was recently treated in the context of signed graphs.

Analyzing nodal domains is a way to discern the structure of eigenvectors of operators on a graph. We give a new definition extending the concept of nodal domains to arbitrary signed graphs, and therefore to arbitrary symmetric matrices. We show that for an arbitrary symmetric matrix, a positive fraction of eigenbases satisfy a generalized version of known nodal bounds for un-signed (that is classical) graphs. We do this through an explicit decomposition. Moreover, we show that with high probability, the number of nodal domains of a bulk eigenvector of the adjacency matrix of signed a Erdős-Rényi graph is $Ω(n/\log n)$ and $o(n)$.

We introduce a new basis for the polynomial ring which lifts the complete homogeneous symmetric polynomials while retaining representation theoretic significance. Using a specialized RSK algorithm we give an explicit nonnegative expansion into key polynomials and, generalizing the special rim hook tabloids of Eğecioğlu and Remmel, give an explicit signed expansion for key polynomials into this new basis.

A signed graph $S=(G, σ)$ is a pair in which $G$ is an underlying graph and $σ$ is a function from the edge set to $\{\pm1\}$. For signed graphs $S_{1}$ and $S_{2}$ on $n_{1}$ and $n_{2}$ vertices, respectively, the signed neighbourhood corona $S_{1} \star_s S_{2}$ (in short s-neighbourhood corona) of $S_{1}$ and $S_{2}$ is the signed graph obtained by taking one copy of $S_{1}$ and $n_{1}$ copies of $S_{2}$ and joining every neighbour of the $i$th vertex of $S_{1}$ with the same sign as the sign of incident edge to every vertex in the $i$th copy of $S_{2}$. In this paper, we investigate the adjacency, Laplacian and net Laplacian spectrum of $S_{1} \star_s S_{2}$ in terms of the corresponding spectrum of $ S_{1}$ and $ S_{2}$. We determine $(i)$ the adjacency spectrum of $S_{1} \star_s S_{2}$ for arbitrary $S_{1} $ and net regular $ S_{2}$, $(ii)$ the Laplacian spectrum for regular $S_{1} $ and regular and net regular $ S_{2}$ and $(iii)$ the net Laplacian spectrum for net regular $S_{1} $ and arbitrary $ S_{2}$. As a consequence, we obtain the signed graphs with $4$ and $5$ distinct adjacency, Laplacian and net Laplacian eigenvalues. Finally, we show that the signed neighbourhood corona of two signed graphs is not determined by its adjacency (resp., Laplacian, net Laplacian) spectrum.

Extending the notion of maxcut, the study of the frustration index of signed graphs is one of the basic questions in the theory of signed graphs. Recently two of the authors initiated the study of critically frustrated signed graphs. That is a signed graph whose frustration index decreases with the removal of any edge. The main focus of this study is on critical signed graphs which are not edge-disjoint unions of critically frustrated signed graphs (namely non-decomposable signed graphs) and which are not built from other critically frustrated signed graphs by subdivision. We conjecture that for any given $k$ there are only finitely many critically $k$-frustrated signed graphs of this kind. Providing support for this conjecture we show that there are only two of such critically $3$-frustrated signed graphs where there is no pair of edge-disjoint negative cycles. Similarly, we show that there are exactly ten critically $3$-frustrated signed planar graphs that are neither decomposable nor subdivisions of other critically frustrated signed graphs. We present a method for building non-decomposable critically frustrated signed graphs based on two given such signed graphs. We also show that the condition of being non-decomposable is necessary for our conjecture.

It is well known that a graph $G$ has a symmetric spectrum if and only if it is bipartite, a signed graph $Γ=(G,σ)$ has a symmetric spectrum if $G$ is bipartite. However, there exists a spectrally symmetric signed graph $Γ=(G,σ)$ such that $G$ is not bipartite. In this paper, we focus to characterize the signed graphs with symmetric spectra. Some necessary and (or) sufficient conditions for spectrally symmetric signed graphs are given. Moreover, some methods to construct signed graphs with symmetric spectra are found and infinite families of these signed graphs are produced.