symmetric group
1727 papers tagged with this keyword
On bar lengths in partitions
Published in Proceedings of the Edinburgh Mathematical Society, Vol 55 (2012), 1-16
• View Publication
• BIB
In this paper, we present, given a odd integer $d$, a decomposition of the multiset of bar lengths of a bar partition $λ$ as the union of two multisets, one consisting of the bar lengths in its $\bar{d}$-core partition $\bar{c}_d(λ)$ and the other consisting of modified bar lengths in its $\bar{d}$-quotient partition. In particular, we obtain that the multiset of bar lengths in $\bar{c}_d(λ)$ is a sub-multiset of the multiset of bar lengths in $λ$. Also we obtain a relative bar formula for the degrees of spin characters of the Schur extensions of the symmetric group. The proof involves a recent similar result for partitions, proved in [1].
Mahonian Pairs
Published
• View Publication
• BIB
We introduce the notion of a Mahonian pair. Consider the set, P^*, of all words having the positive integers as alphabet. Given finite subsets S,T of P^*, we say that (S,T) is a Mahonian pair if the distribution of the major index, maj, over S is the same as the distribution of the inversion number, inv, over T. So the well-known fact that maj and inv are equidistributed over the symmetric group, S_n, can be expressed by saying that (S_n,S_n) is a Mahonian pair. We investigate various Mahonian pairs (S,T) with S different from T. Our principal tool is Foata's fundamental bijection f: P^* -> P^* since it has the property that maj w = inv f(w) for any word w. We consider various families of words associated with Catalan and Fibonacci numbers. We show that, when restricted to words in {1,2}^*, f transforms familiar statistics on words into natural statistics on integer partitions such as the size of the Durfee square. The Rogers-Ramanujan identities, the Catalan triangle, and various q-analogues also make an appearance. We generalize the definition of Mahonian pairs to infinite sets and use this as a tool to connect a partition bijection of Corteel-Savage-Venkatraman with the Greene-Kleitman decomposition of a Boolean algebra into symmetric chains. We close with comments about future work and open problems.
Direct bijective computation of the generating series for 2 and 3-connection coefficients of the symmetric group
Published
• View Publication
• BIB
We evaluate combinatorially certain connection coefficients of the symmetric group that count the number of factorizations of a long cycle as a product of three permutations. Such factorizations admit an important topological interpretation in terms of unicellular constellations on orientable surfaces. Algebraic computation of these coefficients was first done by Jackson using irreducible characters of the symmetric group. However, bijective computations of these coefficients are so far limited to very special cases. Thanks to a new bijection that refines the work of Schaeffer and Vassilieva, and Vassilieva, we give an explicit closed form evaluation of the generating series for these coefficients. The main ingredient in the bijection is a modified oriented tricolored tree tractable to enumerate. Finally, reducing this bijection to factorizations of a long cycle into two permutations, we get the analogue formula for the corresponding generating series.
Cohomology of Coxeter arrangements and Solomon's descent algebra
Published
• View Publication
• BIB
We refine a conjecture by Lehrer and Solomon on the structure of the Orlik-Solomon algebra of a finite Coxeter group $W$ and relate it to the descent algebra of $W$. As a result, we claim that both the group algebra of $W$, as well as the Orlik-Solomon algebra of $W$ can be decomposed into a sum of induced one-dimensional representations of element centralizers, one for each conjugacy class of elements of $W$. We give a uniform proof of the claim for symmetric groups. In addition, we prove that a relative version of the conjecture holds for every pair $(W, W_L)$, where $W$ is arbitrary and $W_L$ is a parabolic subgroup of $W$ all of whose irreducible factors are of type $A$.
Combinatorics of $B$-orbits and Bruhat--Chevalley order on involutions
Published in Transformation Groups 17 (2012), no.3, 747-780
• View Publication
• BIB
Let $B$ be the group of invertible upper-triangular complex $n\times n$ matrices, $\mathfrak{u}$ the space of upper-triangular complex matrices with zeroes on the diagonal and $\mathfrak{u}^*$ its dual space. The group $B$ acts on $\mathfrak{u}^*$ by $(g.f)(x)=f(gxg^{-1})$, $g\in B$, $f\in\mathfrak{u}^*$, $x\in\mathfrak{u}$.
To each involution $σ$ in $S_n$, the symmetric group on $n$ letters, one can assign the $B$-orbit $Ω_σ\in\mathfrak{u}^*$. We present a combinatorial description of the partial order on the set of involutions induced by the orbit closures. The answer is given in terms of rook placements and is dual to A. Melnikov's results on $B$-orbits on $\mathfrak{u}$.
Using results of F. Incitti, we also prove that this partial order coincides with the restriction of the Bruhat--Chevalley order to the set of involutions.
A new fusion procedure for the Brauer algebra and evaluation homomorphisms
Published in IMRN (2012), 2571-2606
• View Publication
• BIB
We give a new fusion procedure for the Brauer algebra by showing that all primitive idempotents can be found by evaluating a rational function in several variables which has the form of a product of R-matrix type factors. In particular, this provides a new fusion procedure for the symmetric group involving an arbitrary parameter. The R-matrices are solutions of the Yang--Baxter equation associated with the classical Lie algebras g_N of types B, C and D. Moreover, we construct an evaluation homomorphism from a reflection equation algebra B(g_N) to U(g_N) and show that the fusion procedure provides an equivalence between natural tensor representations of B(g_N) with the corresponding evaluation modules.
A triangulation of $\CC P^3$ as symmetric cube of $S^2$
Published in Discrete Comput Geom 48 (2012), 310--329
• View Publication
• BIB
The symmetric group $S_3$ acts on $S^2 \times S^2 \times S^2$ by coordinate permutation, and the quotient space $(S^2 \times S^2 \times S^2)/S_3$ is homeomorphic to the complex projective space $\CC P^3$. In this paper, we construct an 124-vertex simplicial subdivision $(S^2 \times S^2 \times S^2)_{124}$ of the 64-vertex standard cellulation $S^2_4 \times S^2_4 \times S^2_4$ of $S^2 \times S^2 \times S^2$, such that the $S_3$-action on this cellulation naturally extends to an action on $(S^2 \times S^2 \times S^2)_{124}$. Further, the $S_3$-action on $(S^2 \times S^2 \times S^2)_{124}$ is "good", so that the quotient simplicial complex $(S^2 \times S^2 \times S^2)_{124}/S_3$ is a 30-vertex triangulation $\CC P^3_{30}$ of $\CC P^3$. In other words, we construct a simplicial realization $(S^2 \times S^2 \times S^2)_{124} \to \CC P^3_{30}$ of the branched covering $S^2 \times S^2 \times S^2 \to \CC P^3$. Finally, we apply the BISTELLAR program of Lutz on $\CC P^3_{30}$, resulting in an 18-vertex 2-neighbourly triangulation $\CC P^3_{18}$ of $\CC P^3$. The automorphism group of $\CC P^3_{18}$ is trivial. It may be recalled that, by a result of Arnoux and Marin, any triangulation of $\CC P^3$ requires at least 17 vertices. So, $\CC P^3_{18}$ is close to vertex-minimal, if not actually vertex-minimal. Moreover, no explicit triangulation of $\CC P^3$ was known so far.
Relative symmetric polynomials and money change problem
This article is devoted to the number of non-negative solutions of the linear Diophantine equation $$ a_1t_1+a_2t_2+... a_nt_n=d, $$ where $a_1, ..., a_n$, and $d$ are positive integers. We obtain a relation between the number of solutions of this equation and characters of the symmetric group, using {\em relative symmetric polynomials}. As an application, we give a necessary and sufficient condition for the space of the relative symmetric polynomials to be non-zero.
The biHecke monoid of a finite Coxeter group and its representations
Published in Algebra and Number Theory Vol. 7 (2013), No. 3, 595-671
• View Publication
• BIB
For any finite Coxeter group W, we introduce two new objects: its cutting poset and its biHecke monoid. The cutting poset, constructed using a generalization of the notion of blocks in permutation matrices, almost forms a lattice on W. The construction of the biHecke monoid relies on the usual combinatorial model for the 0-Hecke algebra H_0(W), that is, for the symmetric group, the algebra (or monoid) generated by the elementary bubble sort operators. The authors previously introduced the Hecke group algebra, constructed as the algebra generated simultaneously by the bubble sort and antisort operators, and described its representation theory. In this paper, we consider instead the monoid generated by these operators. We prove that it admits |W| simple and projective modules. In order to construct the simple modules, we introduce for each w in W a combinatorial module T_w whose support is the interval [1,w]_R in right weak order. This module yields an algebra, whose representation theory generalizes that of the Hecke group algebra, with the combinatorics of descents replaced by that of blocks and of the cutting poset.
Algebra of differential operators associated with Young diagrams
Published in Journal of Geometry and Physics 62 (2012), pp. 148-155
• View Publication
• BIB
We establish a correspondence between Young diagrams and differential operators of infinitely many variables. These operators form a commutative associative algebra isomorphic to the algebra of the conjugated classes of finite permutations of the set of natural numbers. The Schur functions form a complete system of common eigenfunctions of these differential operators, and their eigenvalues are expressed through the characters of symmetric groups. The structure constants of the algebra are expressed through the Hurwitz numbers.
Idempotents with polynomial coefficients
We combine Young idempotents in the group algebra of the symmetric group with the action of the symmetric group on products of Vandermonde determinants to obtain idempotents with polynomial coefficients.
Pfaffian Stochastic Dynamics of Strict Partitions
Published
• View Publication
• BIB
We study a family of continuous time Markov jump processes on strict partitions (partitions with distinct parts) preserving the distributions introduced by Borodin (1997) in connection with projective representations of the infinite symmetric group. The one-dimensional distributions of the processes (i.e., the Borodin's measures) have determinantal structure. We express the dynamical correlation functions of the processes in terms of certain Pfaffians and give explicit formulas for both the static and dynamical correlation kernels using the Gauss hypergeometric function. Moreover, we are able to express our correlation kernels (both static and dynamical) through those of the z-measures on partitions obtained previously by Borodin and Olshanski in a series of papers.
The results about the fixed time case were announced in the author's note arXiv:1002.2714. A part of the present paper contains proofs of those results.
Intersecting Families of Permutations
Published
• View Publication
• BIB
A set of permutations $I \subset S_n$ is said to be {\em k-intersecting} if any two permutations in $I$ agree on at least $k$ points. We show that for any $k \in \mathbb{N}$, if $n$ is sufficiently large depending on $k$, then the largest $k$-intersecting subsets of $S_n$ are cosets of stabilizers of $k$ points, proving a conjecture of Deza and Frankl. We also prove a similar result concerning $k$-cross-intersecting subsets. Our proofs are based on eigenvalue techniques and the representation theory of the symmetric group.
Generator Sets for the Alternating Group
Although the alternating group is an index 2 subgroup of the symmetric group, there is no generating set that gives a Coxeter structure on it. Various generating sets were suggested and studied by Bourbaki, Mitsuhashi, Regev-Roichman, Vershik-Vserminov and others. In a recent work of Brenti- Reiner-Roichman it is explained that palindromes in Mitsuhashi's generating set play a role similar to that of re ections in a Coxeter system. We study in detail the length function with respect to the set of palindromes. Results include an explicit combinatorial description, a generating function, and an interesting connection to Broder's restricted Stirling numbers.
The Weak Bruhat Order and Separable Permutations
In this paper we consider the rank generating function of a separable permutation $π$ in the weak Bruhat order on the two intervals $[\text{id}, π]$ and $[π, w_0]$, where $w_0 = n,(n-1),..., 1$. We show a surprising result that the product of these two generating functions is the generating function for the symmetric group with the weak order. We then obtain explicit formulas for the rank generating functions on $[\text{id}, π]$ and $[π, w_0]$, which leads to the rank-symmetry and unimodality of the two graded posets.
Generators of the Hecke algebra of $(S_{2n},B_n)$
A set of ring generators for the Hecke algebra of the Gel'fand pair $(S_{2n},B_n)$, where $B_n$ is the hyperoctahedral subgroup of the symmetric group $S_{2n}$ is presented. Various corollaries are given. A conjecture of Sho Matsumoto is proven.
The Rees product of posets
Published in Journal of Combinatorics 2 (2011), no. 2, 165--191
• View Publication
• BIB
We determine how the flag f-vector of any graded poset changes under the Rees product with the chain, and more generally, any t-ary tree. As a corollary, the Möbius function of the Rees product of any graded poset with the chain, and more generally, the t-ary tree, is exactly the same as the Rees product of its dual with the chain, respectively, t-ary chain. We then study enumerative and homological properties of the Rees product of the cubical lattice with the chain. We give a bijective proof that the Möbius function of this poset can be expressed as n times a signed derangement number. From this we derive a new bijective proof of Jonsson's result that the Möbius function of the Rees product of the Boolean algebra with the chain is given by a derangement number. Using poset homology techniques we find an explicit basis for the reduced homology and determine a representation for the reduced homology of the order complex of the Rees product of the cubical lattice with the chain over the symmetric group.
Stability anaylsis for k-wise intersecting families
Published in Stability analysis for $k$-wise intersecting families, Electronic Journal of Combinatorics, 18 (2011), no. 1, Paper 115, 8 pp
• View Publication
• BIB
We consider the following generalization of the seminal Erdős-Ko-Rado theorem, due to Frankl. For some k>=2, let F be a k-wise intersecting family of r-subsets of an n element set X, i.e. for any k sets F1,...,Fk in F, their intersection is nonempty. If r <= ((k-1)n)/k, then |F|<= {n-1 \choose r-1}. We prove a stability version of this theorem, analogous to similar results of Dinur-Friedgut, Keevash-Mubayi and others for the Erdős-Ko-Rado theorem. The technique we use is a generalization of Katona's circle method, initially employed by Keevash, which uses expansion properties of a particular Cayley graph of the symmetric group.
Exponential Dowling structures
Published in European J Combinatorics, 30 (2009), 311--326
• View Publication
• BIB
The notion of exponential Dowling structures is introduced, generalizing Stanley's original theory of exponential structures. Enumerative theory is developed to determine the Möbius function of exponential Dowling structures, including a restriction of these structures to elements whose types satisfy a semigroup condition. Stanley's study of permutations associated with exponential structures leads to a similar vein of study for exponential Dowling structures. In particular, for the extended r-divisible partition lattice we show the Möbius function is, up to a sign, the number of permutations in the symmetric group on rn+k elements having descent set {r, 2r, ..., nr}. Using Wachs' original EL-labeling of the r-divisible partition lattice, the extended r-divisible partition lattice is shown to be EL-shellable.
Vector-Valued Jack Polynomials from Scratch
Published in SIGMA 7 (2011), 026, 48 pages
• View Publication
• BIB
Vector-valued Jack polynomials associated to the symmetric group ${\mathfrak S}_N$ are polynomials with multiplicities in an irreducible module of ${\mathfrak S}_N$ and which are simultaneous eigenfunctions of the Cherednik-Dunkl operators with some additional properties concerning the leading monomial. These polynomials were introduced by Griffeth in the general setting of the complex reflections groups $G(r,p,N)$ and studied by one of the authors (C. Dunkl) in the specialization $r=p=1$ (i.e. for the symmetric group). By adapting a construction due to Lascoux, we describe an algorithm allowing us to compute explicitly the Jack polynomials following a Yang-Baxter graph. We recover some properties already studied by C. Dunkl and restate them in terms of graphs together with additional new results. In particular, we investigate normalization, symmetrization and antisymmetrization, polynomials with minimal degree, restriction etc. We give also a shifted version of the construction and we discuss vanishing properties of the associated polynomials.