arXiv++ Combinatorics

Browse math.CO papers from arXiv

symmetric group

1714 papers tagged with this keyword
2007-11-06
Quasi-invariant and super-coinvariant polynomials for the generalized symmetric group
Published in Formal Power Series and Algebraic Combinatorics, Linköping : Suède (2003) • Search Publication
The aim of this work is to extend the study of super-coinvariant polynomials, to the case of the generalized symmetric group $G_{n,m}$, defined as the wreath product $C_m\wr§_n$ of the symmetric group by the cyclic group. We define a quasi-symmetrizing action of $G_{n,m}$ on $\Q[x_1,...,x_n]$, analogous to those defined by Hivert in the case of $§_n$. The polynomials invariant under this action are called quasi-invariant, and we define super-coinvariant polynomials as polynomials orthogonal, with respect to a given scalar product, to the quasi-invariant polynomials with no constant term. Our main result is the description of a Gröbner basis for the ideal generated by quasi-invariant polynomials, from which we dedece that the dimension of the space of super-coinvariant polynomials is equal to $m^n C_n$ where $C_n$ is the $n$-th Catalan number.
2007-11-06
Polynômes quasi-invariants et super-coinvariants pour le groupe symétrique généralisé
Published in Annales des sciences mathématiques du Québec 27, 2 (2003) 111-121 • Search Publication
A classical result of Artin states that the ideal generated by symmetric polynomials in $n$ variables is of codimension $n!$. The author, F. Bergeron and N. Bergeron have recently obtained a surprising analogous in the case of quasi-symmetric polynomials. In this case, the ideal is of codimension given by $C_n$, the $n$-th Catalan number. Quasi-symmetric polynomials are the invariants of a certain action of the symmetric group $S_n$ defined by F. Hivert. The aim of this work is to generalize these results to the wreath product $S_n\wr \Z_m$, also known as the generalized symmetric group $G\nm$. We first define a quasi-symmetrizing action of $G\nm$ on $\C[x_1,...,x_n]$, then obtain a description of the invariants and the codimension of the associated ideal, which is $m^n C_n$.
2007-10-29
Cubist Algebras
Published • View PublicationBIB
We construct algebras from rhombohedral tilings of Euclidean space obtained as projections of certain cubical complexes. We show that these `Cubist algebras' satisfy strong homological properties, such as Koszulity and quasi-heredity, reflecting the combinatorics of the tilings. We construct derived equivalences between Cubist algebras associated to local mutations in tilings. We recover as a special case the Rhombal algebras of Michael Peach and make a precise connection to weight 2 blocks of symmetric groups.
2007-10-12 v4
Two positivity conjectures for Kerov polynomials
Published in Advances in Applied Mathematics, 41 (2008), 407-422 • View PublicationBIB
Kerov polynomials express the normalized characters of irreducible representations of the symmetric group, evaluated on a cycle, as polynomials in the free cumulants of the associated Young diagram. We present two positivity conjectures for their coefficients. The latter are stronger than the positivity conjecture of Kerov-Biane, recently proved by Feray.
2007-10-10 v2
A semigroup approach to wreath-product extensions of Solomon's descent algebras
Published • View PublicationBIB
There is a well-known combinatorial definition, based on ordered set partitions, of the semigroup of faces of the braid arrangement. We generalize this definition to obtain a semigroup Sigma_n^G associated with G wr S_n, the wreath product of the symmetric group S_n with an arbitrary group G. Techniques of Bidigare and Brown are adapted to construct an anti-homomorphism from the S_n-invariant subalgebra of the semigroup algebra of Sigma_n^G into the group algebra of G wr S_n. The generalized descent algebras of Mantaci and Reutenauer are obtained as homomorphic images when G is abelian.
2007-10-10
A new proof of the Erdős-Ko-Rado theorem for intersecting families of permutations
Published • View PublicationBIB
Let S(n) be the symmetric group on n points. A subset S of S(n) is intersecting if for any pair of permutations π, σin S there is a point i in {1,...,n} such that π(i)=σ(i). Deza and Frankl \cite{MR0439648} proved that if S a subset of S(n) is intersecting then |S| \leq (n-1)!. Further, Cameron and Ku \cite{MR2009400} show that the only sets that meet this bound are the cosets of a stabilizer of a point. In this paper we give a very different proof of this same result.
2007-09-25 v2
Combinatorial Gelfand Models
Published • View PublicationBIB
A combinatorial construction of a Gelafand model for the symmetric group and its Iwahori-Hecke algebra is presented.
2007-09-06
Symmetric Group Character Degrees and Hook Numbers
Published • View PublicationBIB
In this article we prove the following result: that for any two natural numbers k and j, and for all sufficiently large symmetric groups Sym(n), there are k disjoint sets of j irreducible characters of Sym(n), such that each set consists of characters with the same degree, and distinct sets have different degrees. In particular, this resolves a conjecture most recently made by Moretó. The methods employed here are based upon the duality between irreducible characters of the symmetric groups and the partitions to which they correspond. Consequently, the paper is combinatorial in nature.
2007-09-04 v2
Monomial bases for the centres of the group algebra and Iwahori--Hecke algebra of S_4
G. E. Murphy showed in 1983 that the centre of every symmetric group algebra has an integral basis consisting of a specific set of monomial symmetric polynomials in the Jucys--Murphy elements. While we have shown in earlier work that the centre of the group algebra of S_3 has exactly three additional such bases, we show in this paper that the centre of the group algebra of S_4 has infinitely many bases consisting of monomial symmetric polynomials in Jucys--Murphy elements, which we characterize completely. The proof of this result involves establishing closed forms for coefficients of class sums in the monomial symmetric polynomials in Jucys--Murphy elements, and solving several resulting exponential Diophantine equations with the aid of a computer. Our initial motivation was in finding integral bases for the centre of the Iwahori--Hecke algebra, and we address this question also, by finding several integral bases of monomial symmetric polynomials in Jucys--Murphy elements for the centre of the Iwahori--Hecke algebra of S_4.
2007-09-02
Symmetry classes connected with the magnetic Heisenberg ring
Published • View PublicationBIB
We define symmetry classes and commutation symmetries in the Hilbert space H of the 1D spin-1/2 Heisenberg magnetic ring with N sites and investigate them by means of tools from the representation theory of symmetric groups S_N such as decompositions of ideals of the group ring C[S_N], idempotents of C[S_N], discrete Fourier transforms of S_N, Littlewood-Richardson products. In particular, we determine smallest symmetry classes and stability subgroups of both single eigenvectors v and subspaces U of eigenvectors of the Hamiltonian of the magnet. The determination of the smallest symmetry class for U bases on an algorithm which calculates explicitely a generating idempotent for a non-direct sum of right ideals of C[S_N]. Let U be a subspace of eigenvectors of a a fixed eigenvalue μof the Hamiltonian with weight (r_1,r_2). If one determines the smallest symmetry class for every v in U then one can observe jumps of the symmetry behaviour. For ''generic'' v all smallest symmetry classes have the same maximal dimension d and structure. But U can contain linear subspaces on which the dimension of the smallest symmetry class of v jumps to a value smaller than d. Then the stability subgroup of v can increase. We can calculate such jumps explicitely. In our investigations we use computer calculations by means of the Mathematica packages PERMS and HRing.
2007-08-20
On fixed points of permutations
Published • View PublicationBIB
The number of fixed points of a random permutation of 1,2,...,n has a limiting Poisson distribution. We seek a generalization, looking at other actions of the symmetric group. Restricting attention to primitive actions, a complete classification of the limiting distributions is given. For most examples, they are trivial -- almost every permutation has no fixed points. For the usual action of the symmetric group on k-sets of 1,2,...,n, the limit is a polynomial in independent Poisson variables. This exhausts all cases. We obtain asymptotic estimates in some examples, and give a survey of related results.
New equivalences for pattern avoiding involutions
Published • View PublicationBIB
We complete the Wilf classification of signed patterns of length 5 for both signed permutations and signed involutions. New general equivalences of patterns are given which prove Jaggard's conjectures concerning involutions in the symmetric group avoiding certain patterns of length 5 and 6. In this way, we also complete the Wilf classification of S_5, S_6, and S_7 for both permutations and involutions.
2007-08-08
The hook fusion procedure and its generalisations
The fusion procedure provides a way to construct new solutions to the Yang-Baxter equation. In the case of the symmetric group the fusion procedure has been used to construct diagonal matrix elements using a decomposition of the Young diagram into its rows or columns. We present a new construction which decomposes the diagram into hooks, the great advantage of this is that it minimises the number of auxiliary parameters needed in the procedure. We go on to use the hook fusion procedure to find diagonal matrix elements computationally and calculate supporting evidence to a previous conjecture. We are motivated by the construction of certain elements that allow us to generate representations of the symmetric group and single out particular irreducible components. In this way we may construct higher representations of the symmetric group from elementary ones. We go some way to generalising the hook fusion procedure by considering other decompositions of Young diagrams, specifically into ribbons. Finally, we adapt our construction to the quantum deformation of the symmetric group algebra known as the Hecke algebra.
2007-07-18
An explicit formula for the characters of the symmetric group
Published in Mathematische Annalen 340 (2008), 383-405 • View PublicationBIB
We give an explicit expression of the normalized characters of the symmetric group in terms of the contents of the partition labelling the representation.
2007-07-18
Equidistribution of negative statistics and quotients of Coxeter groups of type B and D
Published • View PublicationBIB
We generalize some identities and q-identities previously known for the symmetric group to Coxeter groups of type B and D. The extended results include theorems of Foata and Schützenberger, Gessel, and Roselle on various distributions of inversion number, major index, and descent number. In order to show our results we provide caracterizations of the systems of minimal coset representatives of Coxeter groups of type B and D.
Multiplicity free expansions of Schur $P$-functions
Published in Ann. Comb. 11:69--77 (2007) • View PublicationBIB
After deriving inequalities on coefficients arising in the expansion of a Schur $P$-function in terms of Schur functions we give criteria for when such expansions are multiplicity free. From here we study the multiplicity of an irreducible spin character of the twisted symmetric group in the product of a basic spin character with an irreducible character of the symmetric group, and determine when it is multiplicity free.
2007-06-20 v3
The forgotten monoid
Published in RIMS Kokyuroku Bessatsu B8 (2008) 71-83 • Search Publication
We study properties of the forgotten monoid which appeared in work of Lascoux and Schutzenberger and recently resurfaced in the construction of dual equivalence graphs by Assaf. In particular, we provide an explicit characterization of the forgotten classes in terms of inversion numbers and show that there are n^2-3n+4 forgotten classes in the symmetric group S_n. Each forgotten class contains a canonical element that can be characterized by pattern avoidance. We also show that the sum of Gessel's quasi-symmetric functions over a forgotten class is a 0-1 sum of ribbon-Schur functions.
2007-06-19
The p-modular Descent Algebra of the Symmetric Group
Published in Bull. of the London Math. Soc. 29:407-414 (1997) • Search Publication
The descent algebra of the symmetric group, over a field of non-zero characteristic p, is studied. A homomorphism into the algebra of generalised p-modular characters of the symmetric group is defined. This is then used to determine the radical, and its nilpotency index. It also allows the irreducible representations of the descent algebra to be described.
2007-06-19
A Proof of Solomon's Rule
Published in J. of Algebra 206:693-698 (1998) • Search Publication
We put forward a proof of Solomon's rule, in terms of matrices, for multiplication in the descent algebra of the symmetric group. Our proof exploits the graphs that we can obtain from all the subsets of the set of transpositions, $\{(i,i+1)\}_{i=1}^{n-1}$.
2007-06-11 v2
The absolute order on the symmetric group, constructible partially ordered sets and Cohen-Macaulay complexes
Published • View PublicationBIB
The absolute order is a natural partial order on a Coxeter group W. It can be viewed as an analogue of the weak order on W in which the role of the generating set of simple reflections in W is played by the set of all reflections in W. By use of a notion of constructibility for partially ordered sets, it is proved that the absolute order on the symmetric group is homotopy Cohen-Macaulay. This answers in part a question raised by V. Reiner and the first author. The Euler characteristic of the order complex of the proper part of the absolute order on the symmetric group is also computed.