-
Monk rules for type $GL_n$ Macdonald polynomials
Authors:
Tom Halverson,
Arun Ram
Abstract:
In this paper we give Monk rules for Macdonald polynomials which are analogous to the Monk rules for Schubert polynomials. These formulas are similar to the formulas given by Baratta (2008), but our method of derivation is to use Cherednik's interwiners. Deriving Monk rules by this technique addresses the relationship between the work of Baratta and the product formulas of Yip (2010). Specializati…
▽ More
In this paper we give Monk rules for Macdonald polynomials which are analogous to the Monk rules for Schubert polynomials. These formulas are similar to the formulas given by Baratta (2008), but our method of derivation is to use Cherednik's interwiners. Deriving Monk rules by this technique addresses the relationship between the work of Baratta and the product formulas of Yip (2010). Specializations of the Monk formula's at $q=0$ and/or $t=0$ provide Monk rules for Iwahori-spherical polynomials and for finite and affine key polynomials.
△ Less
Submitted 7 December, 2022;
originally announced December 2022.
-
Signal Processing on the Permutahedron: Tight Spectral Frames for Ranked Data Analysis
Authors:
Yilin Chen,
Jennifer DeJong,
Tom Halverson,
David I Shuman
Abstract:
Ranked data sets, where m judges/voters specify a preference ranking of n objects/candidates, are increasingly prevalent in contexts such as political elections, computer vision, recommender systems, and bioinformatics. The vote counts for each ranking can be viewed as an n! data vector lying on the permutahedron, which is a Cayley graph of the symmetric group with vertices labeled by permutations…
▽ More
Ranked data sets, where m judges/voters specify a preference ranking of n objects/candidates, are increasingly prevalent in contexts such as political elections, computer vision, recommender systems, and bioinformatics. The vote counts for each ranking can be viewed as an n! data vector lying on the permutahedron, which is a Cayley graph of the symmetric group with vertices labeled by permutations and an edge when two permutations differ by an adjacent transposition. Leveraging combinatorial representation theory and recent progress in signal processing on graphs, we investigate a novel, scalable transform method to interpret and exploit structure in ranked data. We represent data on the permutahedron using an overcomplete dictionary of atoms, each of which captures both smoothness information about the data (typically the focus of spectral graph decomposition methods in graph signal processing) and structural information about the data (typically the focus of symmetry decomposition methods from representation theory). These atoms have a more naturally interpretable structure than any known basis for signals on the permutahedron, and they form a Parseval frame, ensuring beneficial numerical properties such as energy preservation. We develop specialized algorithms and open software that take advantage of the symmetry and structure of the permutahedron to improve the scalability of the proposed method, making it more applicable to the high-dimensional ranked data found in applications.
△ Less
Submitted 15 August, 2021; v1 submitted 6 March, 2021;
originally announced March 2021.
-
Transition matrices between Young's natural and seminormal representations
Authors:
Sam Armon,
Tom Halverson
Abstract:
We derive a formula for the entries in the change-of-basis matrix between Young's seminormal and natural representations of the symmetric group. These entries are determined as sums over weighted paths in the weak Bruhat graph on standard tableaux, and we show that they can be computed recursively as the weighted sum of at most two previously-computed entries in the matrix. We generalize our resul…
▽ More
We derive a formula for the entries in the change-of-basis matrix between Young's seminormal and natural representations of the symmetric group. These entries are determined as sums over weighted paths in the weak Bruhat graph on standard tableaux, and we show that they can be computed recursively as the weighted sum of at most two previously-computed entries in the matrix. We generalize our results to work for affine Hecke algebras, Ariki-Koike algebras, Iwahori-Hecke algebras, and complex reflection groups given by the wreath product of a finite cyclic group with the symmetric group.
△ Less
Submitted 7 December, 2020;
originally announced December 2020.
-
Set-partition tableaux and representations of diagram algebras
Authors:
Tom Halverson,
Theodore N. Jacobson
Abstract:
The partition algebra is an associative algebra with a basis of set-partition diagrams and multiplication given by diagram concatenation. It contains as subalgebras a large class of diagram algebras including the Brauer, planar partition, rook monoid, rook-Brauer, Temperley-Lieb, Motzkin, planar rook monoid, and symmetric group algebras. We give a construction of the irreducible modules of these a…
▽ More
The partition algebra is an associative algebra with a basis of set-partition diagrams and multiplication given by diagram concatenation. It contains as subalgebras a large class of diagram algebras including the Brauer, planar partition, rook monoid, rook-Brauer, Temperley-Lieb, Motzkin, planar rook monoid, and symmetric group algebras. We give a construction of the irreducible modules of these algebras in two isomorphic ways: first, as the span of symmetric diagrams on which the algebra acts by conjugation twisted with an irreducible symmetric group representation and, second, on a basis indexed by set-partition tableaux such that diagrams in the algebra act combinatorially on tableaux. The first representation is analogous to the Gelfand model and the second is a generalization of Young's natural representation of the symmetric group on standard tableaux. The methods of this paper work uniformly for the partition algebra and its diagram subalgebras. As an application, we express the characters of each of these algebras as nonnegative integer combinations of symmetric group characters whose coefficients count fixed points under conjugation.
△ Less
Submitted 25 June, 2019; v1 submitted 24 August, 2018;
originally announced August 2018.
-
Partition Algebras and the Invariant Theory of the Symmetric Group
Authors:
Georgia Benkart,
Tom Halverson
Abstract:
The symmetric group $\mathsf{S}_n$ and the partition algebra $\mathsf{P}_k(n)$ centralize one another in their actions on the $k$-fold tensor power $\mathsf{M}_n^{\otimes k}$ of the $n$-dimensional permutation module $\mathsf{M}_n$ of $\mathsf{S}_n$. The duality afforded by the commuting actions determines an algebra homomorphism…
▽ More
The symmetric group $\mathsf{S}_n$ and the partition algebra $\mathsf{P}_k(n)$ centralize one another in their actions on the $k$-fold tensor power $\mathsf{M}_n^{\otimes k}$ of the $n$-dimensional permutation module $\mathsf{M}_n$ of $\mathsf{S}_n$. The duality afforded by the commuting actions determines an algebra homomorphism $Φ_{k,n}: \mathsf{P}_k(n) \to \mathsf{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k})$ from the partition algebra to the centralizer algebra $\mathsf{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k})$, which is a surjection for all $k, n \in \mathbb{Z}_{\ge 1}$, and an isomorphism when $n \ge 2k$. We present results that can be derived from the duality between $\mathsf{S}_n$ and $\mathsf{P}_k(n)$; for example, (i) expressions for the multiplicities of the irreducible $\mathsf{S}_n$-summands of $\mathsf{M}_n^{\otimes k}$, (ii) formulas for the dimensions of the irreducible modules for the centralizer algebra $\mathsf{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k})$, (iii) a bijection between vacillating tableaux and set-partition tableaux, (iv) identities relating Stirling numbers of the second kind and the number of fixed points of permutations, and (v) character values for the partition algebra $\mathsf{P}_k(n)$. When $2k >n$, the map $Φ_{k,n}$ has a nontrivial kernel which is generated as a two-sided ideal by a single idempotent. We describe the kernel and image of $Φ_{k,n}$ in terms of the orbit basis of $\mathsf{P}_k(n)$ and explain how the surjection $Φ_{k,n}$ can also be used to obtain the fundamental theorems of invariant theory for the symmetric group.
△ Less
Submitted 20 September, 2017;
originally announced September 2017.
-
Partition algebras $\mathsf{P}_k(n)$ with $2k>n$ and the fundamental theorems of invariant theory for the symmetric group $\mathsf{S}_n$
Authors:
Georgia Benkart,
Tom Halverson
Abstract:
Assume $\mathsf{M}_n$ is the $n$-dimensional permutation module for the symmetric group $\mathsf{S}_n$, and let $\mathsf{M}_n^{\otimes k}$ be its $k$-fold tensor power. The partition algebra $\mathsf{P}_k(n)$ maps surjectively onto the centralizer algebra $\mathsf{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k})$ for all $k, n \in \mathbb{Z}_{\ge 1}$ and isomorphically when $n \ge 2k$. We describe th…
▽ More
Assume $\mathsf{M}_n$ is the $n$-dimensional permutation module for the symmetric group $\mathsf{S}_n$, and let $\mathsf{M}_n^{\otimes k}$ be its $k$-fold tensor power. The partition algebra $\mathsf{P}_k(n)$ maps surjectively onto the centralizer algebra $\mathsf{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k})$ for all $k, n \in \mathbb{Z}_{\ge 1}$ and isomorphically when $n \ge 2k$. We describe the image of the surjection $Φ_{k,n}:\mathsf{P}_k(n) \to \mathsf{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k})$ explicitly in terms of the orbit basis of $\mathsf{P}_k(n)$ and show that when $2k > n$ the kernel of $Φ_{k,n}$ is generated by a single essential idempotent $\mathsf{e}_{k,n}$, which is an orbit basis element. We obtain a presentation for $\mathsf{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k})$ by imposing one additional relation, $\mathsf{e}_{k,n} = 0$, to the standard presentation of the partition algebra $\mathsf{P}_k(n)$ when $2k > n$. As a consequence, we obtain the fundamental theorems of invariant theory for the symmetric group $\mathsf{S}_n$. We show under the natural embedding of the partition algebra $\mathsf{P}_n(n)$ into $\mathsf{P}_k(n)$ for $k \ge n$ that the essential idempotent $\mathsf{e}_{n,n}$ generates the kernel of $Φ_{k,n}$. Therefore, the relation $\mathsf{e}_{n,n} = 0$ can replace $\mathsf{e}_{k,n} = 0$ when $k \ge n$.
△ Less
Submitted 5 July, 2017;
originally announced July 2017.
-
Dimensions of irreducible modules for partition algebras and tensor power multiplicities for symmetric and alternating groups
Authors:
Georgia Benkart,
Tom Halverson,
Nate Harman
Abstract:
The partition algebra $\mathsf{P}_k(n)$ and the symmetric group $\mathsf{S}_n$ are in Schur-Weyl duality on the $k$-fold tensor power $\mathsf{M}_n^{\otimes k}$ of the permutation module $\mathsf{M}_n$ of $\mathsf{S}_n$, so there is a surjection $\mathsf{P}_k(n) \to \mathsf{Z}_k(n) := \mathsf{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k}),$ which is an isomorphism when $n \ge 2k$. We prove a dimens…
▽ More
The partition algebra $\mathsf{P}_k(n)$ and the symmetric group $\mathsf{S}_n$ are in Schur-Weyl duality on the $k$-fold tensor power $\mathsf{M}_n^{\otimes k}$ of the permutation module $\mathsf{M}_n$ of $\mathsf{S}_n$, so there is a surjection $\mathsf{P}_k(n) \to \mathsf{Z}_k(n) := \mathsf{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k}),$ which is an isomorphism when $n \ge 2k$. We prove a dimension formula for the irreducible modules of the centralizer algebra $\mathsf{Z}_k(n)$ in terms of Stirling numbers of the second kind. Via Schur-Weyl duality, these dimensions equal the multiplicities of the irreducible $\mathsf{S}_n$-modules in $\mathsf{M}_n^{\otimes k}$. Our dimension expressions hold for any $n \geq 1$ and $k\ge0$. Our methods are based on an analog of Frobenius reciprocity that we show holds for the centralizer algebras of arbitrary finite groups and their subgroups acting on a finite-dimensional module. This enables us to generalize the above result to various analogs of the partition algebra including the centralizer algebra for the alternating group acting on $\mathsf{M}_n^{\otimes k}$ and the quasi-partition algebra corresponding to tensor powers of the reflection representation of $\mathsf{S}_n$.
△ Less
Submitted 31 May, 2016; v1 submitted 20 May, 2016;
originally announced May 2016.
-
Topological Data Analysis of Biological Aggregation Models
Authors:
Chad M. Topaz,
Lori Ziegelmeier,
Tom Halverson
Abstract:
We apply tools from topological data analysis to two mathematical models inspired by biological aggregations such as bird flocks, fish schools, and insect swarms. Our data consists of numerical simulation output from the models of Vicsek and D'Orsogna. These models are dynamical systems describing the movement of agents who interact via alignment, attraction, and/or repulsion. Each simulation time…
▽ More
We apply tools from topological data analysis to two mathematical models inspired by biological aggregations such as bird flocks, fish schools, and insect swarms. Our data consists of numerical simulation output from the models of Vicsek and D'Orsogna. These models are dynamical systems describing the movement of agents who interact via alignment, attraction, and/or repulsion. Each simulation time frame is a point cloud in position-velocity space. We analyze the topological structure of these point clouds, interpreting the persistent homology by calculating the first few Betti numbers. These Betti numbers count connected components, topological circles, and trapped volumes present in the data. To interpret our results, we introduce a visualization that displays Betti numbers over simulation time and topological persistence scale. We compare our topological results to order parameters typically used to quantify the global behavior of aggregations, such as polarization and angular momentum. The topological calculations reveal events and structure not captured by the order parameters.
△ Less
Submitted 11 March, 2015; v1 submitted 19 December, 2014;
originally announced December 2014.
-
McKay Centralizer Algebras
Authors:
Jeffrey M. Barnes,
Georgia Benkart,
Tom Halverson
Abstract:
For a finite subgroup $G$ of the special unitary group $SU_2$, we study the centralizer algebra $Z_k(G) = End_G(V^{\otimes k})$ of $G$ acting on the $k$-fold tensor product of its defining representation $V= \mathbb{C}^2$. These subgroups are in bijection with the simply-laced affine Dynkin diagrams. The McKay correspondence relates the representation theory of these groups to the associated Dynki…
▽ More
For a finite subgroup $G$ of the special unitary group $SU_2$, we study the centralizer algebra $Z_k(G) = End_G(V^{\otimes k})$ of $G$ acting on the $k$-fold tensor product of its defining representation $V= \mathbb{C}^2$. These subgroups are in bijection with the simply-laced affine Dynkin diagrams. The McKay correspondence relates the representation theory of these groups to the associated Dynkin diagram, and we use this connection to show that the structure and representation theory of $Z_k(G)$ as a semisimple algebra is controlled by the combinatorics of the corresponding Dynkin diagram.
△ Less
Submitted 15 December, 2015; v1 submitted 18 December, 2013;
originally announced December 2013.
-
Gelfand Models for Diagram Algebras
Authors:
Tom Halverson,
Mike Reeks
Abstract:
A Gelfand model for a semisimple algebra A over C is a complex linear representation that contains each irreducible representation of A with multiplicity exactly one. We give a method of constructing these models that works uniformly for a large class of semisimple, combinatorial diagram algebras including: the partition, Brauer, rook monoid, rook-Brauer, Temperley-Lieb, Motzkin, and planar rook m…
▽ More
A Gelfand model for a semisimple algebra A over C is a complex linear representation that contains each irreducible representation of A with multiplicity exactly one. We give a method of constructing these models that works uniformly for a large class of semisimple, combinatorial diagram algebras including: the partition, Brauer, rook monoid, rook-Brauer, Temperley-Lieb, Motzkin, and planar rook monoid algebras. In each case, the model representation is given by diagrams acting via "signed conjugation" on the linear span of their vertically symmetric diagrams. This representation is a generalization of the Saxl model for the symmetric group, and, in fact, our method is to use the Jones basic construction to lift the Saxl model from the symmetric group to each diagram algebra. In the case of the planar diagram algebras, our construction exactly produces the irreducible representations of the algebra.
△ Less
Submitted 27 May, 2014; v1 submitted 25 February, 2013;
originally announced February 2013.
-
Representations of the Rook-Brauer Algebra
Authors:
Elise delMas,
Tom Halverson
Abstract:
We study the representation theory of the rook-Brauer algebra RB_k(x), also called the partial Brauer algebra. This algebra has a basis of "rook-Brauer" diagrams, which are Brauer diagrams that allow for the possibility of missing edges. The Brauer, Temperley-Lieb, Motzkin, rook monoid, and symmetric group algebras are all subalgebras of the rook-Brauer algebra. We prove that RB_k(n) is the centra…
▽ More
We study the representation theory of the rook-Brauer algebra RB_k(x), also called the partial Brauer algebra. This algebra has a basis of "rook-Brauer" diagrams, which are Brauer diagrams that allow for the possibility of missing edges. The Brauer, Temperley-Lieb, Motzkin, rook monoid, and symmetric group algebras are all subalgebras of the rook-Brauer algebra. We prove that RB_k(n) is the centralizer algebra of the complex orthogonal group O(n) acting on the k-fold tensor power of the sum of its 1-dimensional trivial module and its n-dimensional defining module, and thus the rook-Brauer algebra and the orthogonal group are in Schur-Weyl duality on this tensor space. In the case where the parameter x is chosen so that RB_k(x) is semisimple, we use its Bratteli diagram to explicitly construct a complete set of irreducible representations for the rook-Brauer algebra as the span of paths in this diagram. These are analogs of Young's seminormal representations of the symmetric group.
△ Less
Submitted 25 July, 2012; v1 submitted 20 June, 2012;
originally announced June 2012.
-
Motzkin Algebras
Authors:
Georgia Benkart,
Tom Halverson
Abstract:
We introduce an associative algebra $\M_k(x)$ whose dimension is the $2k$-th Motzkin number. The algebra $\M_k(x)$ has a basis of "Motzkin diagrams," which are analogous to Brauer and Temperley-Lieb diagrams, and it contains the Temperley-Lieb algebra $\TL_k(x)$ as a subalgebra. We prove that for a particular value of $x$, the algebra $\M_k(x)$ is the centralizer algebra of $\uqsl$ acting on the…
▽ More
We introduce an associative algebra $\M_k(x)$ whose dimension is the $2k$-th Motzkin number. The algebra $\M_k(x)$ has a basis of "Motzkin diagrams," which are analogous to Brauer and Temperley-Lieb diagrams, and it contains the Temperley-Lieb algebra $\TL_k(x)$ as a subalgebra. We prove that for a particular value of $x$, the algebra $\M_k(x)$ is the centralizer algebra of $\uqsl$ acting on the $k$-fold tensor power of the sum of the 1-dimensional and 2-dimensional irreducible $\uqsl$-modules. We show that $\M_k(x)$ is generated by special diagrams $\ell_i, t_i, r_i \ (1 \le i < k)$ and $p_j \ (1 \le j \le k)$, and that it has a factorization into three subalgebras $\M_k(x) = \RP_k \TL_k(x)\, \LP_k$, all of which have dimensions given by Catalan numbers. We define an action of $\M_k(x)$ on Motzkin paths of rank $r$, and in this way, construct a set of indecomposable modules $\C_k^{(r)}$, $0 \le r \le k$. We prove that $\M_k(x)$ is cellular in the sense of Graham and Lehrer and that the $\C_k^{(r)}$ are the left cell representations. We compute the determinant of the Gram matrix of a bilinear form on $\C_k^{(r)}$ for each $r$ and use these determinants to show that $\M_k(x)$ is semisimple exactly when $x$ is not the root of certain Chebyshev polynomials.
△ Less
Submitted 18 June, 2013; v1 submitted 26 June, 2011;
originally announced June 2011.
-
The Planar Rook Algebra and Pascal's Triangle
Authors:
Daniel Flath,
Tom Halverson,
Kathryn Herbig
Abstract:
We study the combinatorial representation theory of the ``planar rook algebra" $P_n$. This algebra has a basis consisting of planar rook diagrams and multiplication given by diagram concatenation. For each integer $0 \le k \le n$, we construct natural representations $V^n_k$ which form a complete set of non-isomorphic, irreducible $P_n$-representations. We explicitly decompose the regular repres…
▽ More
We study the combinatorial representation theory of the ``planar rook algebra" $P_n$. This algebra has a basis consisting of planar rook diagrams and multiplication given by diagram concatenation. For each integer $0 \le k \le n$, we construct natural representations $V^n_k$ which form a complete set of non-isomorphic, irreducible $P_n$-representations. We explicitly decompose the regular representation of $P_n$ into a direct sum of irreducible modules. We compute the Bratteli diagram for the tower of algebras $P_0 \subseteq P_1 \subseteq P_2 \subseteq ...$ and show that this Bratteli diagram is Pascal's triangle. In fact, we show that many of the binomial identities, both additive and multiplicative, have interpretations in terms of the representation theory of the planar rook algebra.
△ Less
Submitted 24 June, 2008;
originally announced June 2008.
-
$q$-Partition Algebra Combinatorics
Authors:
Tom Halverson,
Nathaniel Thiem
Abstract:
We compute the dimension $d_{n,r}(q) = \dim(\IR_q^r)$ of the defining module $\IR_q^r$ for the $q$-partition algebra. This module comes from $r$-iterations of Harish-Chandra restriction and induction on $\GL_n(\FF_q)$. This dimension is a polynomial in $q$ that specializes as $d_{n,r}(1) = n^r$ and $d_{n,r}(0) = B(r)$, the $r$th Bell number. We compute $d_{n,r}(q)$ in two ways. The first is pure…
▽ More
We compute the dimension $d_{n,r}(q) = \dim(\IR_q^r)$ of the defining module $\IR_q^r$ for the $q$-partition algebra. This module comes from $r$-iterations of Harish-Chandra restriction and induction on $\GL_n(\FF_q)$. This dimension is a polynomial in $q$ that specializes as $d_{n,r}(1) = n^r$ and $d_{n,r}(0) = B(r)$, the $r$th Bell number. We compute $d_{n,r}(q)$ in two ways. The first is purely combinatorial. We show that $d_{n,r}(q) = \sum_λf^λ(q) m_r^λ$, where $f^λ(q)$ is the $q$-hook number and $m_r^λ$ is the number of $r$-vacillating tableaux. Using a Schensted bijection, we write this as a sum over integer sequences which, when $q$-counted by inverse major index, gives $d_{n,r}(q)$. The second way is algebraic. We find a basis of $\IR_q^r$ that is indexed by $n$-restricted $q$-set partitions of $\{1,..., r\}$, and we show that there are $d_{n,r}(q)$ of these.
△ Less
Submitted 8 September, 2009; v1 submitted 24 June, 2008;
originally announced June 2008.
-
Commuting Families in Temperley-Lieb Algebras
Authors:
Tom Halverson,
Manuela Mazzocco,
Arun Ram
Abstract:
We define analogs of the Jucys-Murphy elements for the affine Temperley-Lieb algebra and give their explicit expansion in terms of the basis of planar Brauer diagrams. These Jucys-Murphy elements are a family of commuting elements in the affine Temperley-Lieb algebra, and we compute their eigenvalues on the generic irreducible representations. We show that they come from Jucys-Murphy elements in…
▽ More
We define analogs of the Jucys-Murphy elements for the affine Temperley-Lieb algebra and give their explicit expansion in terms of the basis of planar Brauer diagrams. These Jucys-Murphy elements are a family of commuting elements in the affine Temperley-Lieb algebra, and we compute their eigenvalues on the generic irreducible representations. We show that they come from Jucys-Murphy elements in the affine Hecke algebra of type A, which in turn come from the Casimir element of the quantum group $U_h\mathfrak{gl}_n$. We also give the explicit specializations of these results to the finite Temperley-Lieb algebra.
△ Less
Submitted 2 October, 2007;
originally announced October 2007.
-
RSK Insertion for Set Partitions and Diagram Algebras
Authors:
Tom Halverson,
Tim Lewandowski
Abstract:
We give combinatorial proofs of two identities from the representation theory of the partition algebra $C A_k(n), n \ge 2k$. The first is $n^k = \sum_λf^λm_k^λ$, where the sum is over partitions $λ$ of $n$, $f^λ$ is the number of standard tableaux of shape $λ$, and $m_k^λ$ is the number of "vacillating tableaux" of shape $λ$ and length $2k$. Our proof uses a combination of Robinson-Schensted-Knu…
▽ More
We give combinatorial proofs of two identities from the representation theory of the partition algebra $C A_k(n), n \ge 2k$. The first is $n^k = \sum_λf^λm_k^λ$, where the sum is over partitions $λ$ of $n$, $f^λ$ is the number of standard tableaux of shape $λ$, and $m_k^λ$ is the number of "vacillating tableaux" of shape $λ$ and length $2k$. Our proof uses a combination of Robinson-Schensted-Knuth insertion and jeu de taquin. The second identity is $B(2k) = \sum_λ(m_k^λ)^2$, where $B(2k)$ is the number of set partitions of $\{1, >..., 2k\}$. We show that this insertion restricts to work for the diagram algebras which appear as subalgebras of the partition algebra: the Brauer, Temperley-Lieb, planar partition, rook monoid, planar rook monoid, and symmetric group algebras.
△ Less
Submitted 1 July, 2005;
originally announced July 2005.
-
q-rook monoid algebras, Hecke algebras and Schur-Weyl duality
Authors:
Tom Halverson,
Arun Ram
Abstract:
q-rook monoid algebras, Hecke algebras and Schur-Weyl duality
q-rook monoid algebras, Hecke algebras and Schur-Weyl duality
△ Less
Submitted 23 January, 2004;
originally announced January 2004.
-
Partition Algebras
Authors:
Tom Halverson,
Arun Ram
Abstract:
The partition algebras are algebras of diagrams (which contain the group algebra of the symmetric group and the Brauer algebra) such that the multiplication is given by a combinatorial rule and such that the structure constants of the algebra depend polynomially on a parameter. This is a survey paper which proves the primary results in the theory of partition algebras. Some of the results in thi…
▽ More
The partition algebras are algebras of diagrams (which contain the group algebra of the symmetric group and the Brauer algebra) such that the multiplication is given by a combinatorial rule and such that the structure constants of the algebra depend polynomially on a parameter. This is a survey paper which proves the primary results in the theory of partition algebras. Some of the results in this paper are new. This paper gives: (a) a presentation of the partition algebras by generators and relations, (b) shows that each partition algebra has an ideal which is isomorphic to a basic construction and such that the quotient is isomorphic to the group algebra of the symmetric gropup, (c) shows that partition algebras are in "Schur-Weyl duality" with the symmetric groups on tensor space, (d) provides a construction of "Specht modules" for the partition algebras (integral lattices in the generic irreducible modules), (e) determines (with a couple of exceptions) the values of the parameter where the partition algebras are semisimple, (f) provides "Murphy elements" for the partition algebras that play exactly analogous roles to the classical Murphy elements for the group algebra of the symmetric group. The primary new results in this paper are (a) and (f).
△ Less
Submitted 11 February, 2004; v1 submitted 23 January, 2004;
originally announced January 2004.
-
Murnaghan-Nakayama rules for characters of Iwahori-Hecke algebras of the complex reflection groups G(r,p,n)
Authors:
Arun Ram,
Tom Halverson
Abstract:
Iwahori-Hecke algebras for the infinite series of complex reflection groups $G(r,p,n)$ were constructed recently in the work of Ariki and Koike, Broué and Malle, and Ariki. In this paper we give Murnaghan-Nakayama type formulas for computing the irreducible characters of these algebras. Our method is a generalization of that in our earlier paper in which we derived Murnaghan-Nakayama rules for t…
▽ More
Iwahori-Hecke algebras for the infinite series of complex reflection groups $G(r,p,n)$ were constructed recently in the work of Ariki and Koike, Broué and Malle, and Ariki. In this paper we give Murnaghan-Nakayama type formulas for computing the irreducible characters of these algebras. Our method is a generalization of that in our earlier paper in which we derived Murnaghan-Nakayama rules for the characters of the Iwahori-Hecke algebras of the classical Weyl groups. In both papers we have been motivated by C. Greene, who gave a new derivation of the Murnaghan-Nakayama formula for irreducible symmetric group characters by summing diagonal matrix entries in Young's seminormal representations. We use the analogous representations of the Iwahori-Hecke algebra of $G(r,p,n)$ given by Ariki and Koike.
△ Less
Submitted 22 November, 1995;
originally announced November 1995.
