arXiv++ Combinatorics

The notion of an Abstract Young (briefly: AY) representation is a natural generalization of the classical Young orthogonal form. The AY representations of the symmetric group are characterized by Adin, Brenti and Roichman in [U2]. In this paper we present several types of minimal AY representation of $D_n$ associated with standard D-Young tableaux which are a natural generalization of usual standard Young tableaux. We give an explicit combinatorial view (the representation space is spanned by certain standard tableaux while the action is a generalized Young orthogonal form) of representations which are induced into $D_n$ from minimal AY representations of one of the natural embeddings of $S_n$ into $D_n$. Then we show that these induced representations are isomorphic to the direct sum of two or three minimal AY representations of $D_n$ also associated with standard D-Young tableaux. It is done by constructing a continuous path between representation matrices where one end of the path is the mentioned direct sum; another end is the classical form of induced representation. In the last section we briefly explain how the similar results may be obtained for the group $B_n$ instead of $D_n$.

We study signed differential posets, a signed version of differential posets. These posets satisfy enumerative identities which are signed analogues of those satisfied by differential posets. Our main motivations are the sign-imbalance identities for partition shapes originally conjectured by Stanley, now proven by Lam, Reifergerste and Sjostrand. We show that these identities result from a signed differential poset structure on Young's lattice, and explain similar identities for Fibonacci shapes.

Given a permutation P in Sn, let G(P) be the graph on n vertices {1,...,n}, where two vertices i<j are adjacent if i appears right of j in P and there are no integers k with i<k<j and k appearing between i and j in P. Let G'(P) be the graph obtained by dropping the condition that i appears right of j, i.e. two vertices are adjacent if the rectangle [i,P(i)] x [j,P(j)] is empty. In the study of the strong order on permutation, Adin and Roichman introduced these graphs and computed their maximum number of edges. We generalize these results to the Weyl group of signed permutations Bn, working with graphs on vertices {-n,...,n}\{0}, using new variants of a classical theorem of Turan.

The set D of distinct signed degrees of the vertices in a signed graph G is called its signed degree set. In this paper, we prove that every non-empty set of positive (negative) integers is the signed degree set of some connected signed graph and determine the smallest possible order for such a signed graph. We also prove that every non-empty set of integers is the signed degree set of some connected signed graph.

A signed bipartite graph G(U, V) is a bipartite graph in which each edge is assigned a positive or a negative sign. The signed degree of a vertex x in G(U, V) is the number of positive edges incident with x less the number of negative edges incident with x. The set S of distinct signed degrees of the vertices of G(U, V) is called its signed degree set. In this paper, we prove that every set of integers is the signed degree set of some connected signed bipartite graph. \medskip \medskip

To each permutation $σ$ in $S_{n}$ we associate a triangulation of a fixed $(n+2)$-gon. We then determine the fibers of this association and show that they coincide with the sylvester classes depicted By Novelli, Hivert and Thibon. A signed version of this construction allows us to reformulate the four color theorem in terms of the existence of a signable path between any two permutations in the Cayley graph of the symmetric group $S_{n}.

The flag-major index "fmaj" and the classical length function "$\ell$" are used to construct two $q$-analogs of the generating polynomial for the hyperoctahedral group~$B_n$ by number of positive and negative fixed points (resp. pixed points). Specializations of those $q$-analogs are also derived dealing with signed derangements and desarrangements, as well as several classical results that were previously proved for the symmetric group.

We give a combinatorial construction, not involving a presentation, of almost all untwisted affine Kac--Moody algebras modulo their one-dimensional centres in terms of signed raising and lowering operators on a certain distributive lattice ${\Cal B}$. The lattice ${\Cal B}$ is constructed combinatorially as a set of ideals of a ``full heap'' over the Dynkin diagram, which leads to a kind of categorification of the positive roots for the Kac--Moody algebra. The lattice ${\Cal B}$ is also a crystal in the sense of Kashiwara, and its span affords representations of the associated quantum affine algebra and affine Weyl group. There are analogues of these results for two infinite families of twisted affine Kac--Moody algebras, which we hope to treat more fully elsewhere. By restriction, we obtain combinatorial constructions of the finite dimensional simple Lie algebras over $\complex$, except those of types $E_8$, $F_4$ and $G_2$. The Chevalley basis corresponding to an arbitrary orientation of the Dynkin diagram is then represented explicitly by raising and lowering operators. We also obtain combinatorial constructions of the spin modules for Lie algebras of types $B$ and $D$, which avoid Clifford algebras, and in which the action of Chevalley bases on the canonical bases of the modules may be explicitly calculated.

We give some new Wilf equivalences for signed patterns which allow the complete classification of signed patterns of lengths three and four. The problem is considered for pattern avoidance by general as well as involutive signed permutations.

We introduce variants of Barvinok's algorithm for counting lattice points in polyhedra. The new algorithms are based on irrational signed decomposition in the primal space and the construction of rational generating functions for cones with low index. We give computational results that show that the new algorithms are faster than the existing algorithms by a large factor.

We discuss several well known results about Schur functions that can be proved using cancellations in alternating summations; notably we shall discuss the Pieri and Murnaghan-Nakayama rules, the Jacobi-Trudi identity and its dual (Von N{ä}gelsbach-Kostka) identity, their proofs using the correspondence with lattice paths of Gessel and Viennot, and finally the Littlewood-Richardson rule. Our our goal is to show that the mentioned statements are closely related, and can be proved using variations of the same basic technique. We also want to emphasise the central part that is played by matrices over $\{0,1\}$ and over $\N$; we show that the Littlewood-Richardson rule as generalised by Zelevinsky has elegant formulations using either type of matrix, and that in both cases it can be obtained by two successive reductions from a large signed enumeration of such matrices, where the sign depends only on the row and column sums of the matrix.

The numbers of even and odd permutations with a given ascent number are investigated using an operator that was previously introduced by the author. Their difference is called a signed Eulerian number. By means of the operator the recurrence relation for signed Eulerian numbers is deduced, which was obtained by an analytic method. Our approach is straightforward and enables us to deduce other properties including divisibility by prime powers.

There is a simple formula for the Ehrhart polynomial of a cyclic polytope. The purpose of this paper is to show that the same formula holds for a more general class of polytopes, lattice-face polytopes. We develop a way of decomposing any d-dimensional simplex in general position into d! signed sets, each of which corresponds to a permutation in the symmetric group, and reduce the problem of counting lattice points in a polytope in general position to that of counting lattice points in these special signed sets. Applying this decomposition to a lattice-face simplex, we obtain signed sets with special properties that allow us to count the number of lattice points inside them. We are thus able to conclude the desired formula for the Ehrhart polynomials of lattice-face polytopes.

Let $G$ be a signed graph. Let $\hat{G}$ be the graph obtained from $G$ by replacing each edge $e$ by a chain or a sheaf. We first establish a relation between the $Q$-polynomial of $\hat{G}$[6] and the $W$-polynomial of $G$ [9]. Two special dual cases are derived from the relation, one of which has been studied in [8]. Based on the one to one correspondence between signed plane graphs and link diagrams, and the correspondence between the $Q$-polynomial of signed plane graph and the Kauffman bracket of link diagram, we can compute the Kauffman bracket of link diagram corresponding to $\hat{G}$ by means of the $W$-polynomial of $G$. By this way we use transfer matrix approach to compute the Kauffman bracket of rational links, and obtain their closed-form formulae. Finally we provide an example to point out that the relation we built can be used to deal with a wide type of link family.

We give a bijective proof of the MacMahon-type equidistribution over the group of signed even permutations C_2 \wr A_n that was stated in [Bernstein. Electron. J. Combin. 11 (2004) 83]. This is done by generalizing the bijection that was introduced in the bijective proof of the equidistribution over the alternating group A_n in [Bernstein and Regev. Sem. Lothar. Combin. 53 (2005) B53b].

In the context of generating functions for $P$-partitions, we revisit three flavors of quasisymmetric functions: Gessel's quasisymmetric functions, Chow's type B quasisymmetric functions, and Poirier's signed quasisymmetric functions. In each case we use the inner coproduct to give a combinatorial description (counting pairs of permutations) to the multiplication in: Solomon's type A descent algebra, Solomon's type B descent algebra, and the Mantaci-Reutenauer algebra, respectively. The presentation is brief and elementary, our main results coming as consequences of $P$-partition theorems already in the literature.

Las Vergnas Cube Conjecture states that the cube matroid has exactly one class of orientations. We prove that this conjecture is equivalent to saying that the oriented matroid of the affine dependencies of the n-cube can be reconstructed from the underlying matroid and one of the following partial lists of signed circuits or cocircuits: A) the signed circuits of rank 3, or B) the positive signed cocircuits.

Given a simplicial hyperplane arrangement H and a subspace arrangement A embedded in H, we define a simplicial complex Delta_{A,H} as the subdivision of the link of A induced by H. In particular, this generalizes Steingrimsson's coloring complex of a graph. We do the following: (1) When A is a hyperplane arrangement, Delta_{A,H} is shown to be shellable. As a special case, we answer affirmatively a question of Steingrimsson on coloring complexes. (2) For H being a Coxeter arrangement of type A or B we obtain a close connection between the Hilbert series of the Stanley-Reisner ring of Delta_{A,H} and the characteristic polynomial of A. This extends results of Steingrimsson and provides an interpretation of chromatic polynomials of hypergraphs and signed graphs in terms of Hilbert polynomials.

The napkin problem was first posed by John H. Conway, and written up as a `toughie' in "Mathematical Puzzles: A Connoisseur's Collection," by Peter Winkler. To paraphrase Winkler's book, there is a banquet dinner to be served at a mathematics conference. At a particular table, $n$ men are to be seated around a circular table. There are $n$ napkins, exactly one between each of the place settings. Being doubly cursed as both men and mathematicians, they are all assumed to be ignorant of table etiquette. The men come to sit at the table one at a time and in random order. When a guest sits down, he will prefer the left napkin with probability $p$ and the right napkin with probability $q=1-p$. If there are napkins on both sides of the place setting, he will choose the napkin he prefers. If he finds only one napkin available, he will take that napkin (though it may not be the napkin he wants). The third possibility is that no napkin is available, and the unfortunate guest is faced with the prospect of going through dinner without any napkin! We think of the question of how many people don't get napkins as a statistic for signed permutations, where the permutation gives the order in which people sit and the sign tells us whether they initially reach left or right. We also keep track of the number of guests who get a napkin, but not the napkin they prefer. We build a generating function for the joint distribution of these statistics, and use it to answer questions like: What is the probability that every guest receives a napkin? How many guests do we expect to be without a napkin? How many guests are happy with the napkin they receive?

We address the following question: When a randomly chosen regular bipartite multi--graph is drawn in the plane in the ``standard way'', what is the distribution of its maximum size planar matching (set of non--crossing disjoint edges) and maximum size planar subgraph (set of non--crossing edges which may share endpoints)? The problem is a generalization of the Longest Increasing Sequence (LIS) problem (also called Ulam's problem). We present combinatorial identities which relate the number of $r$-regular bipartite multi--graphs with maximum planar matching (maximum planar subgraph)of at most $d$ edges to a signed sum of restricted lattice walks in $\ZZ^d$, and to the number of pairs of standard Young tableaux of the same shape and with a ``descend--type'' property. Our results are obtained via generalizations of two combinatorial proofs through which Gessel's identity can be obtained (an identity that is crucial in the derivation of a bivariate generating function associated to the distribution of LISs, and key to the analytic attack on Ulam's problem).