A classical result of MacMahon shows that the length function and the major index are equi-distributed over the symmetric group. Foata and Schützenberger gave a remarkable refinement and proved that these parameters are equi-distributed over inverse descent classes, implying bivariate equi-distribution identities. Type $B$ analogues of these results, refinements and consequences are given in this paper.
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 cancellati…
We introduce and study three new statistics on the hyperoctahedral group $B_{n}$, and show that they give two generalizations of Carlitz's identity for the descent number and major index over $S_{n}$. This answers a question posed by Foata.
We construct a subalgebra of dimension $2.3^{n-1}$ of the group algebra of a Weyl group of type $B_n$ containing its Solomon descent's algebra but also the Solomon's descent algebra of the symmetric group. This lead us to a construction of the irreducible characters of the hyperoctahedral groups by using a generalized plactic equivalence.
We extend an algebra of Mantaci and Reutenauer, acting on the free associative algebra, to a vector space of operators acting on all graded connected Hopf algebras. These operators are convolution products of certain involutions, which we view as hyperoctahedral variants of Patras's descent operators. We obtain the eigenvalues and multiplicities of all our new operators, as well as a basis of eigenvectors for a subclass akin to Adams operations. We outline how to apply this eigendata to study Markov chains, and examine in detail the case of card-shuffles with flips or rotations.
A general setting to study a certain type of formulas, expressing characters of the symmetric group $\mathfrak{S}_n$ explicitly in terms of descent sets of combinatorial objects, has been developed by two of the authors. This theory is further investigated in this paper and extended to the hyperoctahedral group $B_n$. Key ingredients are a new formula for the irreducible characters of $B_n$, the signed quasisymmetric functions introduced by Poirier, and a new family of matrices of Walsh--Hadamard type. Applications include formulas for natural $B_n$-actions on coinvariant and exterior algebras…
In a recent paper, Stasinski and Voll introduced a length-like statistic on hyperoctahedral groups and conjectured a product formula for this statistic's signed distribution over arbitrary quotients. Stasinski and Voll proved this conjecture for a few special types of quotients. We prove this conjecture in full, showing it holds for all quotients. In the case of signed permutations with at most one descent, this formula gives the Poincare polynomials for the varieties of symmetric matrices of a fixed rank.
We give a new description of the flag major index, introduced by Adin and Roichman, by using a major index defined by Reiner. This allows us to establish a connection between an identity of Reiner and some more recent results due to Chow and Gessel. Furthermore we generalize the main identity of Chow and Gessel by computing the four-variate generating series of descents, major index, length, and number of negative entries over Coxeter groups of type $B$ and $D$.
We give a combinatorial description for the weak order on the hyperoctahedral group. This characterization is then used to analyze the order-theoretic properties of the shifted products of hyperoctahedral groups. It is shown that each shifted product is a disjoint union of some intervals, which can be convex embedded into a hyperoctahedral group. As an application, we investigate the monomial basis for the Hopf algebra $\mathfrak{H}Sym$ of signed permutations, related to the fundamental basis via Möbius inversion on the weak order on hyperoctahedral groups. It turns out that the image of a mon…
Here we give a combinatorial interpretation of Solomon's rule for multiplication in the descent algebra of Weyl groups of type $D$, $ΣD_n$. From here we show that $ΣD_n$ is a homomorphic image of the descent algebra of the hyperoctahedral group, $ΣB_{n-2}$.
Equivariant Kazhdan--Lusztig Polynomials of Thagomizer Matroids with a Hyperoctahedral Group Action
School of Science, Tianjin University of Technology（天津工业大学理学院）；College of Mathematical Sciences & Institute of Mathematics and Interdisciplinary Sciences, Tianjin Normal University（天津师范大学数学科学学院与数学交叉科学研究所）
Introduced by Solomon in his 1976 paper, the descent algebra of a finite Coxeter group received significant attention over the past decades. As proved by Gessel, in the case of the symmetric group its structure constants give the comultiplication table for the fundamental basis of quasisymmetric functions. We show that this property actually implies several well known relations linked to the Robinson-Schensted-Knuth correspondence and some of its generalisations. We further use the theory of type B quasisymmetric functions introduced by Chow to provide analogue results when the Coxeter group i…
Using a new colored analogue of P-partitions, we prove the existence of a colored Eulerian descent algebra which is a subalgebra of the Mantaci-Reutenauer algebra. This algebra has a basis consisting of formal sums of colored permutations with the same number of descents (using Steingrímsson's definition of the descent set of a colored permutation). The colored Eulerian descent algebra extends familiar Eulerian descent algebras from the symmetric group algebra and the hyperoctahedral group algebra to colored permutation group algebras. We also describe a set of orthogonal idempotents that span…
Louis Solomon showed that the group algebra of the symmetric group $\mathfrak{S}_{n}$ has a subalgebra called the descent algebra, generated by sums of permutations with a given descent set. In fact, he showed that every Coxeter group has something that can be called a descent algebra. There is also a commutative, semisimple subalgebra of Solomon's descent algebra generated by sums of permutations with the same number of descents: an "Eulerian" descent algebra. For any Coxeter group that is also a Weyl group, Paola Cellini proved the existence of a different Eulerian subalgebra based on a modi…
In 1997 Bousquet-Mélou and Eriksson introduced lecture hall partitions as the inversion vectors of elements of the parabolic quotient $\widetilde{C}/C$. We provide a new view of their correspondence that allows results in one domain to be translated into the other. We determine the equivalence between combinatorial statistics in each domain and use this correspondence to translate certain generating function formulas on lecture hall partitions to new observations about $\widetilde{C}/C$.
We prove that the group algebra of the hyperoctahedral group contains a subalgebra corresponding to the flag descent number of Adin, Brenti, and Roichman. This algebra is in fact the span of the basis elements of the type A and type B Eulerian descent algebras. We describe a set of orthogonal idempotents which spans the flag descent algebra and prove that it contains the type A Eulerian descent algebra as a two-sided ideal. Using a new colored analogue of Stanley's $P$-partitions, we prove the existence of a colored Eulerian descent algebra which is a subalgebra of the Mantaci-Reutenauer algeb…
We study the joint distribution of descents and sign for elements of the symmetric group and the hyperoctahedral group (Coxeter groups of types $A$ and $B$). For both groups, this has an application to riffle shuffling: for large decks of cards the sign is close to random after a single shuffle. In both groups, we derive generating functions for the Eulerian distribution refined according to sign, and use them to give two proofs of central limit theorems for positive and negative Eulerian numbers.
Centrosymmetric involutions in the symmetric group S_{2n} are permutations πsuch that π=π^{-1} and π(i)+π(2n+1-i)=2n+1 for all i, and they are in bijection with involutions of the hyperoctahedral group. We describe the distribution of some natural descent statistics on 321-avoiding centrosymmetric involutions, including the number of descents in the first half of the involution, and the sum of the positions of these descents. Our results are based on two new bijections, one between centrosymmetric involutions in S_{2n} and subsets of {1,...,n}, and another one showing that certain statistics o…
A conjecture on descents, inversions and the weak order
Université du Québec à Montréal（蒙特利尔大学）；Université Paris-Saclay, CNRS, Laboratoire Interdisciplinaire des Sciences du Numérique（巴黎萨克雷大学，法国国家科学研究中心，数字科学跨学科实验室）
The distribution of Coxeter descents and block number over the set of fully commutative elements in the hyperoctahedral group $B_n$, $\FC(B_n)$, is studied in this paper. We prove that the associated Chow quasi-symmetric generating function is equal to a non-negative sum of products of two Schur functions. The proof involves a decomposition of $\FC(B_n)$ into a disjoint union of two-sided Barbash-Vogan combinatorial cells, a type $B$ extension of Rubey's descent preserving involution on $321$-avoiding permutations and a detailed study of the intersection of $\FC(B_n)$ with $S_n$-cosets which y…
We generalize Stembridge's enriched $P$-partitions and use this theory to outline the structure of peak algebras for the symmetric group and the hyperoctahedral group. Whereas Stembridge's enriched $P$-partitions are related to quasisymmetric functions (the coalgebra dual to Solomon's type A descent algebra), our generalized enriched $P$-partitions are related to type B quasisymmetric functions (the coalgebra dual to Solomon's type B descent algebra). Using these functions, we explore three different peak algebras: the "interior" and "left" peak algebras of type A, and a new type B peak algebr…
A variety of descent and major-index statistics have been defined for symmetric groups, hyperoctahedral groups, and their generalizations. Typically associated to pairs of such statistics is an Euler--Mahonian distribution, a bivariate generating function identity encoding these statistics. We use techniques from polyhedral geometry to establish new multivariate generalizations for many of the known Euler--Mahonian distributions. The original bivariate distributions are then straightforward specializations of these multivariate identities. A consequence of these new techniques are bijective pr…
MacMahon's classic theorem states that the 'length' and 'major index' statistics are equidistributed on the symmetric group S_n. By defining natural analogues or generalizations of those statistics, similar equidistribution results have been obtained for the alternating group A_n by Regev and Roichman, for the hyperoctahedral group B_n by Adin, Brenti and Roichman, and for the group of even-signed permutations D_n by Biagioli. We prove analogues of MacMahon's equidistribution theorem for the group of signed even permutations and for its subgroup of even-signed even permutations.
A frequent topic in the study of pattern avoidance is identifying when two sets of patterns $Π, Π'$ are Wilf equivalent, that is, when $|\text{Av}_n(Π)| = |\text{Av}_n(Π')|$ for all $n$. In recent work of Dokos et al. the notion of Wilf equivalence was refined to reflect when avoidance of classical patterns preserves certain statistics. In this article, we continue their work by examining $\text{des}$-Wilf equivalence when avoiding certain non-classical patterns.
Let $T_n$ be the set of 321-avoiding permutations of order $n$. Two properties of $T_n$ are proved: (1) The {\em last descent} and {\em last index minus one} statistics are equidistributed over $T_n$, and also over subsets of permutations whose inverse has an (almost) prescribed descent set. An analogous result holds for Dyck paths. (2) The sign-and-last-descent enumerators for $T_{2n}$ and $T_{2n+1}$ are essentially equal to the last-descent enumerator for $T_n$. The proofs use a recursion formula for an appropriate multivariate generating function.
In this paper, we compute and demonstrate the equivalence of the joint distribution of the first letter and descent statistics on six avoidance classes of permutations corresponding to two patterns of length four. This distribution is in turn shown to be equivalent to the distribution on a restricted class of inversion sequences for the statistics that record the last letter and number of distinct positive letters, affirming a recent conjecture of Lin and Kim. Members of each avoidance class of permutations and also of the class of inversion sequences are enumerated by the $n$-th large Schröde…
The classical Eulerian polynomials $A_n(t)$ are known to be gamma positive. Define the positive Eulerian polynomial $A_n^+(t)$ as the polynomial obtained when we sum descents over the alternating group. We show that $A_n^+(t)$ is gamma positive iff $n \equiv 0,1$ (mod 4). When $n \equiv 2$ (mod 4) we show that $A_n^+(t)$ can be written as a sum of two gamma positive polynomials while if $n \equiv 3$ (mod 4), we show that $A_n^+(t)$ can be written as a sum of three gamma positive polynomials. Similar results are shown when we consider the positive type-D and type-D Eulerian polynomials.
Motivated by the classical Eulerian number, descent and excedance numbers in the hyperoctahedral groups, an triangular array from staircase tableaux and so on, we study a triangular array $[\mathcal {T}_{n,k}]_{n,k\ge 0}$ satisfying the recurrence relation: \begin{equation*} \mathcal {T}_{n,k}=λ(a_0n+a_1k+a_2)\mathcal {T}_{n-1,k}+(b_0n+b_1k+b_2)\mathcal {T}_{n-1,k-1}+\frac{cd}λ(n-k+1)\mathcal {T}_{n-1,k-2} \end{equation*} with $\mathcal {T}_{0,0}=1$ and $\mathcal {T}_{n,k}=0$ unless $0\le k\le n$. We derive a functional transformation for its row-generating function $\mathcal{T}_n(x)$ from the…
A ballot permutation is a permutation $π$ such that in any prefix of $π$ the descent number is not more than the ascent number. By using a reversal concatenation map, we give a formula for the joint distribution (pk, des) of the peak and descent statistics over ballot permutations, and connect this distribution and the joint distribution (pk, dp, des) of the peak, depth, and descent statistics over ordinary permutations in terms of generating functions. As corollaries, we obtain several formulas for the bivariate generating function for (i) the peak statistic over ballot permutations,(ii) the …
We show that the distribution of the number of peaks at height $i$ modulo $k$ in $k$-Dyck paths of a given length is independent of $i\in[0,k-1]$ and is the reversal of the distribution of the total number of peaks. Moreover, these statistics, together with the number of double descents, are jointly equidistributed with any of their permutations. We also generalize this result to generalized Motzkin paths and generalized ballot paths.
A result of Foata and Schutzenberger states that two statistics on permutations, the number of inversions and the inverse major index, have the same distribution on a descent class. We give a multivariate generalization of this property: the sorted vectors of the Lehmer code, of the inverse majcode, and of a new code (the inverse saillance code), have the same distribution on a descent class, and their common multivariate generating function is a flagged ribbon Schur function.
Recently, Dokos et al. conjectured that for all $k, m\geq 1$, the patterns $ 12\ldots k(k+m+1)\ldots (k+2)(k+1) $ and $(m+1)(m+2)\ldots (k+m+1)m\ldots 21 $ are $maj$-Wilf-equivalent. In this paper, we confirm this conjecture for all $k\geq 1$ and $m=1$. In fact, we construct a descent set preserving bijection between $ 12\ldots k (k-1) $-avoiding permutations and $23\ldots k1$-avoiding permutations for all $k\geq 3$. As a corollary, our bijection enables us to settle a conjecture of Gowravaram and Jagadeesan concerning the Wilf-equivalence for permutations with given descent sets.
Two same length words are $d$-equivalent if they have same descent set and same underlying alphabet. In particular, two same length permutations are $d$-equivalent if they have same descent set. The popularity of a pattern in a set of words is the overall number of copies of the pattern within the words of the set. We show the far-from-trivial fact that two patterns are $d$-equivalent if and only if they are equipopular over any $d$-equivalence class, and this equipopularity does not follow obviously from a trivial equidistribution.
The descent set of an oscillating (or up-down) tableau is introduced. This descent set plays the same role in the representation theory of the symplectic groups as the descent set of a standard tableau plays in the representation theory of the general linear groups. In particular, we show that the descent set is preserved by Sundaram's correspondence. This gives a direct combinatorial interpretation of the branching rules for the defining representations of the symplectic groups; equivalently, for the Frobenius character of the action of a symmetric group on an isotypic subspace in a tensor po…
