arXiv++ Combinatorics

In this paper, we introduce the notion of a $(a,b)$-rectangle pattern on permutations that not only generalizes the notion of successive elements (bonds) in permutations, but is also related to mesh patterns introduced recently by Brändén and Claesson. We call the $(k,k)$-rectangle pattern the $k$-box pattern. To provide an enumeration result on the maximum number of occurrences of the 1-box pattern, we establish an enumerative result on pattern-avoiding signed permutations. Further, we extend the notion of $(k,\ell)$-rectangle patterns to words and binary matrices, and provide distribution of $(1,\ell)$-rectangle patterns on words; explicit formulas are given for up to 7 letter alphabets where $\ell \in \{1,2\}$, while obtaining distributions for larger alphabets depends on inverting a matrix we provide. We also provide similar results for the distribution of bonds over words. As a corollary to our studies we confirm a conjecture of Mathar on the number of "stable LEGO walls" of width 7 as well as prove three conjectures due to Hardin and a conjecture due to Barker. We also enumerate two sequences published by Hardin in the On-Line Encyclopedia of Integer Sequences.

The pressing game on black-and-white graphs is the following: Given a graph $G(V,E)$ with its vertices colored with black and white, any black vertex $v$ can be pressed, which has the following effect: (a) all neighbors of $v$ change color, i.e. white neighbors become black and \emph{vice versa}, (b) all pairs of neighbors of $v$ change connectivity, i.e. connected pairs become unconnected, unconnected ones become connected, (c) and finally, $v$ becomes a separated white vertex. The aim of the game is to transform $G$ into an all white, empty graph. It is a known result that the all white empty graph is reachable in the pressing game if each component of $G$ contains at least one black vertex, and for a fixed graph, any successful transformation has the same number of pressed vertices. The pressing game conjecture is that any successful pressing path can be transformed into any other successful pressing path with small alterations. Here we prove the conjecture for linear graphs. The connection to genome rearrangement and sorting signed permutations with reversals is also discussed.

FPSAC 2013 Extended Abstract. We introduce a new basis of the non-commutative symmetric functions whose elements have Schur functions as their commutative images. Dually, we build a basis of the quasi-symmetric functions which expand positively in the fundamental quasi-symmetric functions and decompose Schur functions according to a signed combinatorial formula.

Up to switching isomorphism there are six ways to put signs on the edges of the Petersen graph. We prove this by computing switching invariants, especially frustration indices and frustration numbers, switching automorphism groups, chromatic numbers, and numbers of proper 1-colorations, thereby illustrating some of the ideas and methods of signed graph theory. We also calculate automorphism groups and clusterability indices, which are not invariant under switching. In the process we develop new properties of signed graphs, especially of their switching automorphism groups.

Let n>0 be an integer and let B_{n} denote the hyperoctahedral group of rank n. The group B_{n} acts on the polynomial ring Q[x_{1},...,x_{n},y_{1},...,y_{n}] by signed permutations simultaneously on both of the sets of variables x_{1},...,x_{n} and y_{1},...,y_{n}. The invariant ring M^{B_{n}}:=Q[x_{1},...,x_{n},y_{1},...,y_{n}]^{B_{n}} is the ring of diagonally signed-symmetric polynomials. In this article we provide an explicit free basis of M^{B_{n}} as a module over the ring of symmetric polynomials on both of the sets of variables x_{1}^{2},..., x^{2}_{n} and y_{1}^{2},..., y^{2}_{n} using signed descent monomials.

This paper deals with adjacency matrices of signed cycle graphs and chemical descriptors based on them. The eigenvalues and eigenvectors of the matrices are calculated and their efficacy in classifying different signed cycles is determined. The efficacy of some numerical indices is also examined.

I discuss the work of many authors on various matrices used to study signed graphs, concentrating on adjacency and incidence matrices and the closely related topics of Kirchhoff (`Laplacian') matrices, line graphs, and very strong regularity.

An edge uv in a graph Γ is directionally 2-signed (or, (2,d)-signed) by an ordered pair (a,b), a,b in {+,-}, if the label l(uv) = (a,b) from u to v, and l(vu) = (b,a) from v to u. Directionally 2-signed graphs are equivalent to bidirected graphs, where each end of an edge has a sign. A bidirected graph implies a signed graph, where each edge has a sign. We extend a theorem of Sriraj and Sampathkumar by proving that the signed graph is antibalanced (all even cycles and only even cycles have positive edge sign product) if, and only if, in the bidirected graph, after suitable reorientation of edges every vertex is a source or a sink.

These lecture notes are a personal introduction to signed graphs, concentrating on the aspects that have been most persistently interesting to me. They are just a few corners of signed graph theory; I am leaving out a great deal. The emphasis is on the way signed graphs arise naturally from geometry, especially from the geometry of the classical root systems. Most of the properties I discuss generalize those of unsigned graphs, but the constructions and proofs are often more complicated. My aim is a coherent presentation of the subject, with a few illustrative proofs and adequate references. Hence the arrangement of the notes is topical with only occasional remarks about the historical course of development. Though this is mainly an expository survey, some of the results have not hitherto been published.

Given a norm on the plane and 2013 unit vectors in this norm, there is a signed sum of these vectors whose norm is at most one.

We introduce a new statistic on the hyperoctahedral groups (Coxeter groups of type B), and give a conjectural formula for its signed distributions over arbitrary descent classes. The statistic is analogous to the classical Coxeter length function, and features a parity condition. For descent classes which are singletons the conjectured formula gives the Poincaré polynomials of the varieties of symmetric matrices of fixed rank. For several descent classes we prove the conjectural formula. For this we construct suitable "supporting sets" for the relevant generating functions. We prove cancellations on the complements of these supporting sets using suitably defined sign reversing involutions.

Let $M$ be a positive homogeneously presented cancellative monoid ${< L \mid R >}_{mo}$ equipped with the degree map $°:M \to \Z_{\ge0}$ defined by assigning to each equivalence class of words the length of the words, and let $P_{M, °}(t):= \sum_{u \in\ M}t^{°(u)}$ be its generating series, called the growth function. If $M$ satisfies the condition that any subset $J$ of $I_0$ ($:=$ the image of the set $L$ in $M$) admits either the least right common multiple $Δ_{J}$ or no common multiple in $M$, then the inversion function $P_{M, °}(t)^{-1}$ is given by the polynomial $\sum_{J \subset I_{0}}(-1)^{#J} t^{°(Δ_{J})}$, where the summation index $J$ runs over all subsets of $I_0$ whose least right common multiple exists. Since a monoid $M$ generally may not admit the least right common multiple $Δ_{J}$ for a given subset $J$ of it, if we attempt to generalize the formula, the consideration to obtain the above formula is invalid. To resolve this obstruction, we will examine the set $\mathrm{mcm}(J)$ of minimal common right multiples of $J$. Then, we need to introduce a concept of a tower of minimal common multiples of elements of $M$ and denote the set of all the towers in $M$ by $\mathrm{Tmcm}(M)$. Considering the structure of the set $\mathrm{Tmcm}(M)$, K. Saito has proved the inversion formula \[ P_{M,°}(t). N_{M,°}(t)=1, \] where the second factor in LHS is a suitably signed generating series \[ N_{M,°}(t):= 1 + \sum_{T\in \mathrm{Tmcm}(M)}(-1)^{#J_1+...+#J_{n}-n+1}\sum_{Δ\in \mathrm{mcm}(J_n)} t^{°(Δ)}, \] called the skew growth function. In this article, we present several explicit calculations of examples of the skew growth functions for the monoid of type $\mathrm{B_{ii}}$ and others whose towers do not stop on the first stage $J_1$.

We describe combinatorial approaches to the question of whether families of real matrices admit pairs of nonreal eigenvalues passing through the imaginary axis. When the matrices arise as Jacobian matrices in the study of dynamical systems, these conditions provide necessary conditions for Hopf bifurcations to occur in parameterised families of such systems. The techniques depend on the spectral properties of additive compound matrices: in particular, we associate with a product of matrices a signed, labelled digraph termed a DSR^[2] graph, which encodes information about the second additive compound of this product. A condition on the cycle structure of this digraph is shown to rule out the possibility of nonreal eigenvalues with positive real part. The techniques developed are applied to systems of interacting elements termed "interaction networks", of which networks of chemical reactions are a special case.

Graph coverings are known to induce surjections of their critical groups. Here we describe the kernels of these morphisms in terms of data parametrizing the covering. Regular coverings are parametrized by voltage graphs, and the above kernel can be identified with a naturally defined voltage graph critical group. For double covers, the voltage graph is a signed graph, and the theory takes a particularly pleasant form, leading also to a theory of double covers of signed graphs.

A signed graph is a graph whose edges are given (-1,+1) weights. In such a graph, the sign of a cycle is the product of the signs of its edges. A signed graph is called balanced if its adjacency matrix is similar to the adjacency matrix of an unsigned graph via conjugation by a diagonal (-1,+1) matrix. For a signed graph $Σ$ on n vertices, its exterior k-th power, where k=1,..,n-1, is a graph $\bigwedge^{k} Σ$ whose adjacency matrix is given by \[ A({$\bigwedge^{k} Σ$}) = P^{\dagger} A(Σ^{\Box k}) P, \] where P is the projector onto the anti-symmetric subspace of the k-fold tensor product space $(\mathbb{C}^{n})^{\otimes k}$ and $Σ^{\Box k}$ is the k-fold Cartesian product of $Σ$ with itself. The exterior power creates a signed graph from any graph, even unsigned. We prove sufficient and necessary conditions so that $\bigwedge^{k} Σ$ is balanced. For k=1,..,n-2, the condition is that either $Σ$ is a signed path or $Σ$ is a signed cycle that is balanced for odd k or is unbalanced for even k; for k=n-1, the condition is that each even cycle in $Σ$ is positive and each odd cycle in $Σ$ is negative.

Recently, Choi and Park introduced an invariant of a finite simple graph, called signed a-number, arising from computing certain topological invariants of some specific kinds of real toric manifolds. They also found the signed a-numbers of path graphs, cycle graphs, complete graphs, and star graphs. We introduce a signed a-polynomial which is a generalization of the signed a-number and gives a-, b-, and c-numbers. The signed a-polynomial of a graph $G$ is related to the Poincaré polynomial $P_{M(G)}(z)$, which is the generating function for the Betti numbers of the real toric manifold $M(G)$. We give the generating functions for the signed a-polynomials of not only path graphs, cycle graphs, complete graphs, and star graphs, but also complete bipartite graphs and complete multipartite graphs. As a consequence, we find the Euler characteristic number and the Betti numbers of the real toric manifold $M(G)$ for complete multipartite graphs $G$.

We provide the first example of a sign pattern $S$ for which there exist orthogonal matrices $Q_1$ and $Q_2$ with sign pattern $S$ such that $\det Q_1=1$ and $\det Q_2=-1$. The existence of such matrices is raised by C. Waters in {"Sign Pattern Matrices That Allow Orthogonality"}, Linear Algebra and Its Applications, 235:1-13 (1996).

The derangement polynomial for the symmetric group enumerates derangements by the number of excedances. It can be interpreted as the local $h$-polynomial, in the sense of Stanley, of the barycentric subdivision of the simplex. Motivated by this interpretation, we define a derangement polynomial for the even-signed permutation group. The coefficients of this polynomial are nonnegative, symmetric and unimodal. We show that they enumerate derangements in the even-signed permutation group according to a notion of excedance, which is analogous to the one introduced by Brenti for signed permutations. We also give an explicit formula for the corresponding exponential generating function.

This paper proves that for any positive integer $k$, every essentially $(2k+1)$-unbalanced $(12k-1)$-edge connected signed graph has circular flow number at most $2+\frac 1k$.

We study perfect state transfer of quantum walks on signed graphs. Our aim is to show that negative edges are useful for perfect state transfer. Specific results we prove include: (1) The signed join of a negative 2-clique with any positive (n,3)-regular graph has perfect state transfer even if the unsigned join does not. Curiously, the perfect state transfer time improves as n increases. (2) A signed complete graph has perfect state transfer if its positive subgraph is a regular graph with perfect state transfer and its negative subgraph is periodic. This shows that signing is useful for creating perfect state transfer since no complete graph (except for the 2-clique) has perfect state transfer. (3) The double-cover of a signed graph has perfect state transfer if the positive subgraph has perfect state transfer and the negative subgraph is periodic. Here, signing is useful for constructing unsigned graphs with perfect state transfer. Furthermore, we study perfect state transfer on a family of signed graphs called the exterior powers which is derived from a many-fermion quantum walk on graphs.