Showing 1–50 of 53 results for author: Zabrocki, M

The lattice of submonoids of the uniform block permutations containing the symmetric group

Authors: Rosa Orellana, Franco Saliola, Anne Schilling, Mike Zabrocki

Abstract: We study the lattice of submonoids of the uniform block permutation monoid containing the symmetric group (which is its group of units). We prove that this lattice is distributive under union and intersection by relating the submonoids containing the symmetric group to downsets in a new partial order on integer partitions. Furthermore, we show that the sizes of the $\mathscr{J}$-classes of the uni… ▽ More We study the lattice of submonoids of the uniform block permutation monoid containing the symmetric group (which is its group of units). We prove that this lattice is distributive under union and intersection by relating the submonoids containing the symmetric group to downsets in a new partial order on integer partitions. Furthermore, we show that the sizes of the $\mathscr{J}$-classes of the uniform block permutation monoid are sums of squares of dimensions of irreducible modules of the monoid algebra. △ Less

Submitted 15 May, 2024; originally announced May 2024.

Comments: 15 pages

MSC Class: 06D10; 05E16; 20M18

From quasi-symmetric to Schur expansions with applications to symmetric chain decompositions and plethysm

Authors: Rosa Orellana, Franco Saliola, Anne Schilling, Mike Zabrocki

Abstract: It is an important problem in algebraic combinatorics to deduce the Schur function expansion of a symmetric function whose expansion in terms of the fundamental quasisymmetric function is known. For example, formulas are known for the fundamental expansion of a Macdonald symmetric function and for the plethysm of two Schur functions, while the Schur expansions of these expressions are still elusiv… ▽ More It is an important problem in algebraic combinatorics to deduce the Schur function expansion of a symmetric function whose expansion in terms of the fundamental quasisymmetric function is known. For example, formulas are known for the fundamental expansion of a Macdonald symmetric function and for the plethysm of two Schur functions, while the Schur expansions of these expressions are still elusive. Egge, Loehr and Warrington provided a method to obtain the Schur expansion from the fundamental expansion by replacing each quasisymmetric function by a Schur function (not necessarily indexed by a partition) and using straightening rules to obtain the Schur expansion. Here we provide a new method that only involves the coefficients of the quasisymmetric functions indexed by partitions and the quasi-Kostka matrix. As an application, we identify the lexicographically largest term in the Schur expansion of the plethysm of two Schur functions. We provide the Schur expansion of $s_w[s_h](x,y)$ for $w=2,3,4$ using novel symmetric chain decompositions of Young's lattice for partitions in a $w\times h$ box. For $w=4$, this is first known combinatorial expression for the coefficient of $s_λ$ in $s_{w}[s_{h}]$ for two-row partitions $λ$, and for $w=3$ the combinatorial expression is new. △ Less

Submitted 6 April, 2024; originally announced April 2024.

Comments: 27 pages; 5 figures

MSC Class: 05E05; 05E10

Representations of the quasi-partition algebras

Authors: Rosa Orellana, Nancy Wallace, Mike Zabrocki

Abstract: The quasi-partition algebras were introduced by Daugherty and the first author as centralizers of the symmetric group. In this article, we give a more general definition of these algebras and give a construction of their simple modules. In addition, we introduce two new algebras, we give linear bases and show that for specializations of their parameters, these new algebras are isomorphic to centra… ▽ More The quasi-partition algebras were introduced by Daugherty and the first author as centralizers of the symmetric group. In this article, we give a more general definition of these algebras and give a construction of their simple modules. In addition, we introduce two new algebras, we give linear bases and show that for specializations of their parameters, these new algebras are isomorphic to centralizer algebras. We provide a generalized Bratteli diagram that illustrates how the representation theory of the three algebras discussed in this paper are related. Moreover, we give combinatorial formulas for the dimensions of the simple modules of these algebras. △ Less

Submitted 10 August, 2023; v1 submitted 29 June, 2023; originally announced June 2023.

Comments: 33 pages, 2 figures

MSC Class: 05E10 (Primary) 20C30 (Secondary)

The mystery of plethysm coefficients

Authors: Laura Colmenarejo, Rosa Orellana, Franco Saliola, Anne Schilling, Mike Zabrocki

Abstract: Composing two representations of the general linear groups gives rise to Littlewood's (outer) plethysm. On the level of characters, this poses the question of finding the Schur expansion of the plethysm of two Schur functions. A combinatorial interpretation for the Schur expansion coefficients of the plethysm of two Schur functions is, in general, still an open problem. We identify a proof techniq… ▽ More Composing two representations of the general linear groups gives rise to Littlewood's (outer) plethysm. On the level of characters, this poses the question of finding the Schur expansion of the plethysm of two Schur functions. A combinatorial interpretation for the Schur expansion coefficients of the plethysm of two Schur functions is, in general, still an open problem. We identify a proof technique of combinatorial representation theory, which we call the "$s$-perp trick", and point out several examples in the literature where this idea is used. We use the $s$-perp trick to give algorithms for computing monomial and Schur expansions of symmetric functions. In several special cases, these algorithms are more efficient than those currently implemented in {\sc SageMath}. △ Less

Submitted 14 June, 2024; v1 submitted 15 August, 2022; originally announced August 2022.

MSC Class: 05E05; 05E10

Quasisymmetric harmonics of the exterior algebra

Authors: Nantel Bergeron, Kelvin Chan, Farhad Soltani, Mike Zabrocki

Abstract: We study the ring of quasisymmetric polynomials in $n$ anticommuting (fermionic) variables. Let $R_n$ denote the polynomials in $n$ anticommuting variables. The main results of this paper show the following interesting facts about quasisymmetric polynomials in anticommuting variables: (1) The quasisymmetric polynomials in $R_n$ form a commutative sub-algebra of $R_n$. (2) There is a basis of t… ▽ More We study the ring of quasisymmetric polynomials in $n$ anticommuting (fermionic) variables. Let $R_n$ denote the polynomials in $n$ anticommuting variables. The main results of this paper show the following interesting facts about quasisymmetric polynomials in anticommuting variables: (1) The quasisymmetric polynomials in $R_n$ form a commutative sub-algebra of $R_n$. (2) There is a basis of the quotient of $R_n$ by the ideal $I_n$ generated by the quasisymmetric polynomials in $R_n$ that is indexed by ballot sequences. The Hilbert series of the quotient is given by $$ \text{Hilb}_{R_n/I_n}(q) = \sum_{k=0}^{\lfloor{n/2}\rfloor} f^{(n-k,k)} q^k\,,$$ where $f^{(n-k,k)}$ is the number of standard tableaux of shape $(n-k,k)$. (3) There is a basis of the ideal generated by quasisymmetric polynomials that is indexed by sequences that break the ballot condition △ Less

Submitted 25 November, 2022; v1 submitted 4 June, 2022; originally announced June 2022.

Comments: 17 pages, minor corrections to paper, including remarks from Darij Grinberg

MSC Class: 05E05; 16W55

A basis for the Diagonal Harmonic Alternants

Authors: Adriano Garsia, Mike Zabrocki

Abstract: It will be shown here that there are differential operators $E,F$ and $H=[E,F]$ for each $n\ge 1$, acting on Diagonal Harmonics, yielding that $DH_n$ is a representation of $sl[2]$ (see [3] Chapter 3). Our main effort here is to use $sl[2]$ theory to predict a basis for the Diagonal Harmonic Alternants, $DHA_n$. It can be shown that the irreducible representations $sl[2]$ are all of the form… ▽ More It will be shown here that there are differential operators $E,F$ and $H=[E,F]$ for each $n\ge 1$, acting on Diagonal Harmonics, yielding that $DH_n$ is a representation of $sl[2]$ (see [3] Chapter 3). Our main effort here is to use $sl[2]$ theory to predict a basis for the Diagonal Harmonic Alternants, $DHA_n$. It can be shown that the irreducible representations $sl[2]$ are all of the form $P,EP,E^2P,\cdots,E^kP$, with $FP=0$ and $E^{k+1}P=0$. The polynomial $P$ is known to be called a "String Starter". From $sl[2]$ theory it follows that $DHA_n$ is a direct sum of strings. Our main result so far is a formula for the number of string starters. A recent paper by Carlsson and Oblomkov (see [2]) constructs a basis for the space of Diagonal Coinvariants by Algebraic Geometrical tools. It would be interesting to see if any our results can be derived from theirs. △ Less

Submitted 18 April, 2022; v1 submitted 4 April, 2022; originally announced April 2022.

Comments: 12 pages, 7 figures

MSC Class: 20C30; 05E10

Plethysm and the algebra of uniform block permutations

Authors: Rosa Orellana, Franco Saliola, Anne Schilling, Mike Zabrocki

Abstract: We study the representation theory of the uniform block permutation algebra in the context of the representation theory of factorizable inverse monoids. The uniform block permutation algebra is a subalgebra of the partition algebra and is also known as the party algebra. We compute its characters and provide a Frobenius characteristic map to symmetric functions. This reveals connections of the cha… ▽ More We study the representation theory of the uniform block permutation algebra in the context of the representation theory of factorizable inverse monoids. The uniform block permutation algebra is a subalgebra of the partition algebra and is also known as the party algebra. We compute its characters and provide a Frobenius characteristic map to symmetric functions. This reveals connections of the characters of the uniform block permutation algebra and plethysms of Schur functions. △ Less

Submitted 24 August, 2022; v1 submitted 27 December, 2021; originally announced December 2021.

Comments: 45 pages; incorporated comments by referee, corrected character tables in Section 5

MSC Class: 05E10; 05E05

Journal ref: Algebraic Combinatorics, Volume 5 (2022) no. 5, pp. 1165-1203

Howe duality of the symmetric group and a multiset partition algebra

Authors: Rosa Orellana, Mike Zabrocki

Abstract: We introduce the multiset partition algebra, ${\rm M\!P}_{r,k}(x)$, that has bases elements indexed by multiset partitions, where $x$ is an indeterminate and $r$ and $k$ are non-negative integers. This algebra can be realized as a diagram algebra that generalizes the partition algebra. When $x$ is an integer greater or equal to $2r$, we show that ${\rm M\!P}_{r,k}(x)$ is isomorphic to a centralize… ▽ More We introduce the multiset partition algebra, ${\rm M\!P}_{r,k}(x)$, that has bases elements indexed by multiset partitions, where $x$ is an indeterminate and $r$ and $k$ are non-negative integers. This algebra can be realized as a diagram algebra that generalizes the partition algebra. When $x$ is an integer greater or equal to $2r$, we show that ${\rm M\!P}_{r,k}(x)$ is isomorphic to a centralizer algebra of the symmetric group, $S_n$, acting on the polynomial ring on the variables $x_{ij}$, $1\leq i \leq n$ and $1\leq j\leq k$. We describe the representations of ${\rm M\!P}_{r,k}(x)$, branching rule and restriction of its representations in the case that $x$ is an integer greater or equal to $2r$. △ Less

Submitted 14 July, 2020; originally announced July 2020.

Comments: 24 pages

MSC Class: 05E10 (Primary) 05E05 (Secondary)

A combinatorial model for the decomposition of multivariate polynomial rings as $S_n$-modules

Authors: Rosa Orellana, Mike Zabrocki

Abstract: We consider the symmetric group $S_n$-module of the polynomial ring with $m$ sets of $n$ commuting variables and $m'$ sets of $n$ anti-commuting variables and show that the multiplicity of an irreducible indexed by the partition $λ$ (a partition of $n$) is the number of multiset tableaux of shape $λ$ satisfying certain column and row strict conditions. We also present a finite generating set for t… ▽ More We consider the symmetric group $S_n$-module of the polynomial ring with $m$ sets of $n$ commuting variables and $m'$ sets of $n$ anti-commuting variables and show that the multiplicity of an irreducible indexed by the partition $λ$ (a partition of $n$) is the number of multiset tableaux of shape $λ$ satisfying certain column and row strict conditions. We also present a finite generating set for the ring of $S_n$ invariant polynomials of this ring. △ Less

Submitted 4 July, 2020; v1 submitted 3 June, 2019; originally announced June 2019.

MSC Class: 05E05; 05E10; 20C30

An insertion algorithm on multiset partitions with applications to diagram algebras

Authors: Laura Colmenarejo, Rosa Orellana, Franco Saliola, Anne Schilling, Mike Zabrocki

Abstract: We generalize the Robinson-Schensted-Knuth algorithm to the insertion of two row arrays of multisets. This generalization leads to new enumerative results that have representation theoretic interpretations as decompositions of centralizer algebras and the spaces they act on. In addition, restrictions on the multisets lead to further identities and representation theory analogues. For instance, we… ▽ More We generalize the Robinson-Schensted-Knuth algorithm to the insertion of two row arrays of multisets. This generalization leads to new enumerative results that have representation theoretic interpretations as decompositions of centralizer algebras and the spaces they act on. In addition, restrictions on the multisets lead to further identities and representation theory analogues. For instance, we obtain a bijection between words of length $k$ with entries in $[n]$ and pairs of tableaux of the same shape with one being a standard Young tableau of size $n$ and the other being a standard multiset tableau of content $[k]$. We also obtain an algorithm from partition diagrams to pairs of a standard tableau and a standard multiset tableau of the same shape, which has the remarkable property that it is well-behaved with respect to restricting a representation to a subalgebra. This insertion algorithm matches recent representation-theoretic results of Halverson and Jacobson. △ Less

Submitted 9 April, 2020; v1 submitted 6 May, 2019; originally announced May 2019.

Comments: 30 pages

MSC Class: 05E10 (primary)

Journal ref: J. Algebra 557 no. 1, (2020), 97-128

A module for the Delta conjecture

Authors: Mike Zabrocki

Abstract: We define a module that is an extension of the diagonal harmonics and whose graded Frobenius characteristic is conjectured to be the symmetric function expression which appears in `the Delta conjecture' of Haglund, Remmel and Wilson [arXiv:1509.07058]. We define a module that is an extension of the diagonal harmonics and whose graded Frobenius characteristic is conjectured to be the symmetric function expression which appears in `the Delta conjecture' of Haglund, Remmel and Wilson [arXiv:1509.07058]. △ Less

Submitted 7 June, 2019; v1 submitted 24 February, 2019; originally announced February 2019.

Comments: 2 pages

MSC Class: 05E05; 05E10; 20C30

The Hopf structure of symmetric group characters as symmetric functions

Authors: Rosa Orellana, Mike Zabrocki

Abstract: In arXiv:1605.06672 the authors introduced inhomogeneous bases of the ring of symmetric functions. The elements in these bases have the property that they evaluate to characters of symmetric groups. In this article we develop further properties of these bases by proving product and coproduct formulae. In addition, we give the transition coefficients between the elementary symmetric functions and t… ▽ More In arXiv:1605.06672 the authors introduced inhomogeneous bases of the ring of symmetric functions. The elements in these bases have the property that they evaluate to characters of symmetric groups. In this article we develop further properties of these bases by proving product and coproduct formulae. In addition, we give the transition coefficients between the elementary symmetric functions and the irreducible character basis. △ Less

Submitted 14 July, 2022; v1 submitted 30 December, 2018; originally announced January 2019.

Comments: arXiv admin note: text overlap with arXiv:1605.06672; remark 1: irreducible character basis of the rook algebra

MSC Class: 05E05; 05E10; 20C30

Products of characters of the symmetric group

Authors: Rosa Orellana, Mike Zabrocki

Abstract: In a recent paper, the authors introduced a new basis of the ring of symmetric functions which evaluate to the irreducible characters of the symmetric group at roots of unity. The structure coefficients for this new basis are the stable Kronecker coefficients. In this paper we give combinatorial descriptions for several products that have as consequences several versions of the Pieri rule for this… ▽ More In a recent paper, the authors introduced a new basis of the ring of symmetric functions which evaluate to the irreducible characters of the symmetric group at roots of unity. The structure coefficients for this new basis are the stable Kronecker coefficients. In this paper we give combinatorial descriptions for several products that have as consequences several versions of the Pieri rule for this new basis of symmetric functions. In addition, we give several applications of the products studied in this paper. △ Less

Submitted 23 September, 2017; originally announced September 2017.

Comments: 24 pages

MSC Class: 05E05; 05E10; 20C30

A proof of the $4$-variable Catalan polynomial of the Delta conjecture

Authors: Mike Zabrocki

Abstract: In The Delta Conjecture (arxiv:1509.07058), Haglund, Remmel and Wilson introduced a four variable $q,t,z,w$ Catalan polynomial, so named because the specialization of this polynomial at the values $(q,t,z,w) = (1,1,0,0)$ is equal to the Catalan number $\frac{1}{n+1}\binom{2n}{n}$. We prove the compositional version of this conjecture (which implies the non-compositional version) that states that t… ▽ More In The Delta Conjecture (arxiv:1509.07058), Haglund, Remmel and Wilson introduced a four variable $q,t,z,w$ Catalan polynomial, so named because the specialization of this polynomial at the values $(q,t,z,w) = (1,1,0,0)$ is equal to the Catalan number $\frac{1}{n+1}\binom{2n}{n}$. We prove the compositional version of this conjecture (which implies the non-compositional version) that states that the coefficient of $s_{r,1^{n-r}}$ in the expression $Δ_{h_\ell} \nabla C_α$ is equal to a weighted sum over decorated Dyck paths. △ Less

Submitted 9 October, 2018; v1 submitted 12 September, 2016; originally announced September 2016.

MSC Class: 05E05

Symmetric group characters as symmetric functions

Authors: Rosa Orellana, Mike Zabrocki

Abstract: We introduce a basis of the symmetric functions that evaluates to the (irreducible) characters of the symmetric group, just as the Schur functions evaluate to the irreducible characters of $GL_n$ modules. Our main result gives three different characterizations for this basis. One of the characterizations shows that the structure coefficients for the (outer) product of these functions are the stabl… ▽ More We introduce a basis of the symmetric functions that evaluates to the (irreducible) characters of the symmetric group, just as the Schur functions evaluate to the irreducible characters of $GL_n$ modules. Our main result gives three different characterizations for this basis. One of the characterizations shows that the structure coefficients for the (outer) product of these functions are the stable Kronecker coefficients. The results in this paper focus on develo** the fundamental properties of this basis. △ Less

Submitted 9 August, 2021; v1 submitted 21 May, 2016; originally announced May 2016.

Comments: 35 pages; this is the more complete version of arXiv:1510.00438; v5 differs from previous versions with minor edits and the addition of an appendix about using Sagemath to do computations with these bases (this appendix does not appear in the published journal version)

MSC Class: 05E05; 05E10; 06B15; 20C30

Journal ref: Adv. Math. 390 (2021), Paper No. 107943

Symmetric group characters as symmetric functions (extended abstract)

Authors: Rosa Orellana, Mike Zabrocki

Abstract: The irreducible characters of the symmetric group are a symmetric polynomial in the eigenvalues of a permutation matrix. They can therefore be realized as a symmetric function that can be evaluated at a set of variables and form a basis of the symmetric functions. This basis of the symmetric functions is of non-homogeneous degree and the (outer) product structure coefficients are the stable Kronec… ▽ More The irreducible characters of the symmetric group are a symmetric polynomial in the eigenvalues of a permutation matrix. They can therefore be realized as a symmetric function that can be evaluated at a set of variables and form a basis of the symmetric functions. This basis of the symmetric functions is of non-homogeneous degree and the (outer) product structure coefficients are the stable Kronecker coefficients. We introduce the irreducible character basis by defining it in terms of the induced trivial characters of the symmetric group which also form a basis of the symmetric functions. The irreducible character basis is closely related to character polynomials and we obtain some of the change of basis coefficients by making this connection explicit. Other change of basis coefficients come from a representation theoretic connection with the partition algebra, and still others are derived by develo** combinatorial expressions. This document is an extended abstract which can be used as a review reference so that this basis can be implemented in Sage. A more complete version of the results in this abstract can be found in {\tt arXiv:1605.06672}. △ Less

Submitted 24 May, 2016; v1 submitted 1 October, 2015; originally announced October 2015.

Comments: 11 pages; this is an extended abstract of arXiv:1605.06672

MSC Class: 05E05; 05E10; 06B15; 20C30

Some new applications of the Stanley-Macdonald Pieri Rules

Authors: A. M. Garsia, J. Haglund, G. Xin, M. Zabrocki

Abstract: In a seminal paper Richard Stanley derived Pieri rules for the Jack symmetric function basis. These rules were extended by Macdonald to his now famous symmetric function basis. The original form of these rules had a forbidding complexity that made them difficult to use in explicit calculations. In the early 90's it was discovered that, due to massive cancellations, the dual rule, which expresses s… ▽ More In a seminal paper Richard Stanley derived Pieri rules for the Jack symmetric function basis. These rules were extended by Macdonald to his now famous symmetric function basis. The original form of these rules had a forbidding complexity that made them difficult to use in explicit calculations. In the early 90's it was discovered that, due to massive cancellations, the dual rule, which expresses skewing by $e_1$ the modified Macdonald polynomial ${\tilde H}_μ[X;q,t]$, can be given a very simple combinatorial form in terms of corner weights of the Ferrers' diagram of $μ$. A similar formula was later obtained by the last named author for the multiplication of ${\tilde H}_μ[X;q,t]$ by $e_1$, but never published. In the years that followed we have seen some truly remarkable uses of these two Pieri rules in establishing highly non trivial combinatorial results in the Theory of Macdonald polynomials. This theory has recently been spectacularly enriched by various Algebraic Geometrical results in the works of Hikita, Schiffmann, Schiffmann-Vasserot, A. Negut and Gorsky-Negut. This development opens up the challenging task of deriving their results by purely Algebraic Combinatorial methods. In this paper we present the progress obtained by means of Pieri rules. △ Less

Submitted 29 July, 2014; originally announced July 2014.

Comments: TeX; 25 pages; for Stanley@70. Massachusetts institute of technology, June 23-27, 2014

MSC Class: 05E05

The Pieri rule for dual immaculate quasi-symmetric functions

Authors: Nantel Bergeron, Juana Sánchez-Ortega, Mike Zabrocki

Abstract: The immaculate basis of the non-commutative symmetric functions was recently introduced by the first and third author to lift certain structures in the symmetric functions to the dual Hopf algebras of the non-commutative and quasi-symmetric functions. It was shown that immaculate basis satisfies a positive, multiplicity free right Pieri rule. It was conjectured that the left Pieri rule may contain… ▽ More The immaculate basis of the non-commutative symmetric functions was recently introduced by the first and third author to lift certain structures in the symmetric functions to the dual Hopf algebras of the non-commutative and quasi-symmetric functions. It was shown that immaculate basis satisfies a positive, multiplicity free right Pieri rule. It was conjectured that the left Pieri rule may contain signs but that it would be multiplicity free. Similarly, it was also conjectured that the dual quasi-symmetric basis would also satisfy a signed multiplicity free Pieri rule. We prove these two conjectures here. △ Less

Submitted 29 July, 2014; v1 submitted 16 July, 2013; originally announced July 2013.

Comments: 14 pages, corrections from v1 and v2

Journal ref: Annals of Combinatorics, Volume 20, Issue 2, pp 283-300, 2016

Multiplicative structures of the immaculate basis of non-commutative symmetric functions

Authors: Chris Berg, Nantel Bergeron, Franco Saliola, Luis Serrano, Mike Zabrocki

Abstract: We continue our development of a new basis for the algebra of non-commutative symmetric functions. This basis is analogous to the Schur basis for the algebra of symmetric functions, and it shares many of its wonderful properties. For instance, in this article we describe non-commutative versions of the Littlewood-Richardson rule and the Murnaghan-Nakayama rule. A surprising relation develops among… ▽ More We continue our development of a new basis for the algebra of non-commutative symmetric functions. This basis is analogous to the Schur basis for the algebra of symmetric functions, and it shares many of its wonderful properties. For instance, in this article we describe non-commutative versions of the Littlewood-Richardson rule and the Murnaghan-Nakayama rule. A surprising relation develops among non-commutative Littlewood-Richardson coefficients, which has implications to the commutative case. Finally, we interpret these new coefficients geometrically as the number of integer points inside a certain polytope. △ Less

Submitted 7 April, 2016; v1 submitted 20 May, 2013; originally announced May 2013.

Comments: 30 pages: we cleaned and fixed many details in the proofs. The interested reader may toggle \specialcomments in the TeX file to reveal 6 added pages of details and ideas (in red)

Journal ref: Journal of Combinatorial Theory, Series A 152 (2017) 10--44

Indecomposable modules for the dual immaculate basis of quasi-symmetric functions

Authors: Chris Berg, Nantel Bergeron, Franco Saliola, Luis Serrano, Mike Zabrocki

Abstract: We construct indecomposable modules for the 0-Hecke algebra whose characteristics are the dual immaculate basis of the quasi-symmetric functions. We construct indecomposable modules for the 0-Hecke algebra whose characteristics are the dual immaculate basis of the quasi-symmetric functions. △ Less

Submitted 3 April, 2013; originally announced April 2013.

MSC Class: 05E10

Journal ref: Proc. Amer. Math. Soc. 143 (2015), 991-1000

The immaculate basis of the non-commutative symmetric functions

Authors: Chris Berg, Nantel Bergeron, Franco Saliola, Luis Serrano, Mike Zabrocki

Abstract: FPSAC 2013 Extended Abstract. We introduce a new basis of the non-commutative symmetric functions whose elements have Schur functions as their commutative images. Dually, we build a basis of the quasi-symmetric functions which expand positively in the fundamental quasi-symmetric functions and decompose Schur functions according to a signed combinatorial formula. FPSAC 2013 Extended Abstract. We introduce a new basis of the non-commutative symmetric functions whose elements have Schur functions as their commutative images. Dually, we build a basis of the quasi-symmetric functions which expand positively in the fundamental quasi-symmetric functions and decompose Schur functions according to a signed combinatorial formula. △ Less

Submitted 19 March, 2013; originally announced March 2013.

Comments: arXiv admin note: substantial text overlap with arXiv:1208.5191

MSC Class: 05E05

Journal ref: FPSAC 2013 Extended Abstract

$k$-Schur functions and affine Schubert calculus

Authors: Thomas Lam, Luc Lapointe, Jennifer Morse, Anne Schilling, Mark Shimozono, Mike Zabrocki

Abstract: This book is an exposition of the current state of research of affine Schubert calculus and $k$-Schur functions. This text is based on a series of lectures given at a workshop titled "Affine Schubert Calculus" that took place in July 2010 at the Fields Institute in Toronto, Ontario. The story of this research is told in three parts: 1. Primer on $k$-Schur Functions 2. Stanley symmetric functions a… ▽ More This book is an exposition of the current state of research of affine Schubert calculus and $k$-Schur functions. This text is based on a series of lectures given at a workshop titled "Affine Schubert Calculus" that took place in July 2010 at the Fields Institute in Toronto, Ontario. The story of this research is told in three parts: 1. Primer on $k$-Schur Functions 2. Stanley symmetric functions and Peterson algebras 3. Affine Schubert calculus △ Less

Submitted 24 October, 2013; v1 submitted 15 January, 2013; originally announced January 2013.

Comments: 213 pages; conference website: http://www.fields.utoronto.ca/programs/scientific/10-11/schubert/, updates and corrections since v1. This material is based upon work supported by the National Science Foundation under Grant No. DMS-0652641

MSC Class: 05E05; 14N15

Journal ref: Fields Institute Monographs 33 (2014) (Springer), ISBN 978-1-4939-0682-6 (eBook)

A three shuffle case of the compositional parking function conjecture

Authors: Adriano M. Garsia, Guoce Xin, Mike Zabrocki

Abstract: We prove here that the polynomial <nabla(C_p(1)), e_a h_b h_c> q, t-enumerates, by the statistics dinv and area, the parking functions whose supporting Dyck path touches the main diagonal according to the composition p of size a + b + c and have a reading word which is a shuffle of one decreasing word and two increasing words of respective sizes a, b, c. Here Cp(1) is a rescaled Hall-Littlewood po… ▽ More We prove here that the polynomial <nabla(C_p(1)), e_a h_b h_c> q, t-enumerates, by the statistics dinv and area, the parking functions whose supporting Dyck path touches the main diagonal according to the composition p of size a + b + c and have a reading word which is a shuffle of one decreasing word and two increasing words of respective sizes a, b, c. Here Cp(1) is a rescaled Hall-Littlewood polynomial and "nabla" is the Macdonald eigenoperator introduced in [1]. This is our latest progress in a continued effort to settle the decade old shuffle conjecture of [14]. It includes as special cases all previous results connected with this conjecture such as the q, t-Catalan [3] and the Schroder and h, h results of Haglund in [12] as well as their compositional refinements recently obtained in [9] and [10]. It also confirms the possibility that the approach adopted in [9] and [10] has the potential to yield a resolution of the shuffle parking function conjecture as well as its compositional refinement more recently proposed by Haglund, Morse and Zabrocki in [15]. △ Less

Submitted 8 May, 2013; v1 submitted 28 August, 2012; originally announced August 2012.

Comments: 30 pages

A lift of the Schur and Hall-Littlewood bases to non-commutative symmetric functions

Authors: Chris Berg, Nantel Bergeron, Franco Saliola, Luis Serrano, Mike Zabrocki

Abstract: We introduce a new basis of the non-commutative symmetric functions whose commutative images are Schur functions. Dually, we build a basis of the quasi-symmetric functions which expand positively in the fundamental quasi-symmetric functions and decompose Schur functions. We then use the basis to construct a non-commutative lift of the Hall-Littlewood symmetric functions with similar properties to… ▽ More We introduce a new basis of the non-commutative symmetric functions whose commutative images are Schur functions. Dually, we build a basis of the quasi-symmetric functions which expand positively in the fundamental quasi-symmetric functions and decompose Schur functions. We then use the basis to construct a non-commutative lift of the Hall-Littlewood symmetric functions with similar properties to their commutative counterparts. △ Less

Submitted 13 June, 2013; v1 submitted 26 August, 2012; originally announced August 2012.

Comments: new version includes edits, references to forthcoming research, and a 'hook-length' formula for the number of standard immaculate tableaux

Journal ref: Canadian Journal of Mathematics, 66(2014), 525-565

A new `dinv' arising from the two part case of the Shuffle Conjecture

Authors: Adrian Duane, Adriano M. Garsia, Mike Zabrocki

Abstract: In a recent paper J. Haglund showed that a certain symmetric function expresion enumerates by t^{area} q^{dinv} of the parking functions whose diagonal word is in the shuffle of 12...j and j+1...j+n with k of the cars j+1,...,j+n in the main diagonal including car j+n in the cell (1,1). In view of some recent conjectures of Haglund-Morse-Zabrocki it is natural to conjecture that replacing E_{n,k}… ▽ More In a recent paper J. Haglund showed that a certain symmetric function expresion enumerates by t^{area} q^{dinv} of the parking functions whose diagonal word is in the shuffle of 12...j and j+1...j+n with k of the cars j+1,...,j+n in the main diagonal including car j+n in the cell (1,1). In view of some recent conjectures of Haglund-Morse-Zabrocki it is natural to conjecture that replacing E_{n,k} by the modified Hall-Littlewood functions would yield a polynomial that enumerates the same collection of parking functions but now restricted by the requirement that the Dyck path supporting cars j+1,...,j+n hits the diagonal according to the composition p=(p_1,p_2,...,p_k). We prove here this conjecture by deriving a recursion for the symmetric function expression then using this recursion to construct a new dinv statistic we will denote ndinv and show that this polynomial enumerates the latter parking functions by t^{area} q^{ndinv}. △ Less

Submitted 28 May, 2012; originally announced May 2012.

Comments: 32 pages, 28 figures

MSC Class: 05E05

Expansions of $k$-Schur functions in the affine nilCoxeter algebra

Authors: Chris Berg, Nantel Bergeron, Steven Pon, Mike Zabrocki

Abstract: We give a type free formula for the expansion of k-Schur functions indexed by fundamental coweights within the affine nilCoxeter algebra. Explicit combinatorics are developed in affine type C. We give a type free formula for the expansion of k-Schur functions indexed by fundamental coweights within the affine nilCoxeter algebra. Explicit combinatorics are developed in affine type C. △ Less

Submitted 17 June, 2012; v1 submitted 15 November, 2011; originally announced November 2011.

MSC Class: 05E05; 20F55; 14N15

Journal ref: Electronic Journal of Combinatorics, 19-2 P55, 2012

Symmetries on the lattice of $k$-bounded partitions

Authors: Chris Berg, Nathan Williams, Mike Zabrocki

Abstract: In 2002 R. Suter identified a dihedral symmetry on certain order ideals in Young's lattice and gave a combinatorial action on the partitions in these order ideals. Viewing this result geometrically, the order ideals can be seen to be seen to be in bijection with the alcoves in a 2-fold dilation in the geometric realization of the affine symmetric group. By considering the m-fold dilation we observ… ▽ More In 2002 R. Suter identified a dihedral symmetry on certain order ideals in Young's lattice and gave a combinatorial action on the partitions in these order ideals. Viewing this result geometrically, the order ideals can be seen to be seen to be in bijection with the alcoves in a 2-fold dilation in the geometric realization of the affine symmetric group. By considering the m-fold dilation we observe a larger set of order ideals in the k-bounded partition lattice that was considered by L. Lapointe, A. Lascoux, and J. Morse in the study of k-Schur functions. We identify the order ideal and the cyclic action on it explicitly in a geometric and combinatorial form. △ Less

Submitted 7 October, 2014; v1 submitted 11 November, 2011; originally announced November 2011.

MSC Class: 05E99; 06B99

Expansion of $k$-Schur functions for maximal $k$-rectangles within the affine nilCoxeter algebra

Authors: Chris Berg, Nantel Bergeron, Hugh Thomas, Mike Zabrocki

Abstract: We give several explicit combinatorial formulas for the expansion of k-Schur functions indexed by maximal rectangles in terms of the standard basis of the affine nilCoxeter algebra. Using our result, we also show a commutation relation of k-Schur functions corresponding to rectangles with the generators of the affine nilCoxeter algebra. We give several explicit combinatorial formulas for the expansion of k-Schur functions indexed by maximal rectangles in terms of the standard basis of the affine nilCoxeter algebra. Using our result, we also show a commutation relation of k-Schur functions corresponding to rectangles with the generators of the affine nilCoxeter algebra. △ Less

Submitted 15 June, 2012; v1 submitted 18 July, 2011; originally announced July 2011.

Comments: to appear in Journal of Combinatorics, 28 pages

MSC Class: 05E05; 05E18

Journal ref: J. of Combinatorics 3-3 (2012) pp. 563-589

Supercharacters, symmetric functions in noncommuting variables, and related Hopf algebras

Authors: Marcelo Aguiar, Carlos Andre, Carolina Benedetti, Nantel Bergeron, Zhi Chen, Persi Diaconis, Anders Hendrickson, Samuel Hsiao, I. Martin Isaacs, Andrea Jedwab, Kenneth Johnson, Gizem Karaali, Aaron Lauve, Tung Le, Stephen Lewis, Huilan Li, Kay Magaard, Eric Marberg, Jean-Christophe Novelli, Amy Pang, Franco Saliola, Lenny Tevlin, Jean-Yves Thibon, Nathaniel Thiem, Vidya Venkateswaran , et al. (3 additional authors not shown)

Abstract: We identify two seemingly disparate structures: supercharacters, a useful way of doing Fourier analysis on the group of unipotent uppertriangular matrices with coefficients in a finite field, and the ring of symmetric functions in noncommuting variables. Each is a Hopf algebra and the two are isomorphic as such. This allows developments in each to be transferred. The identification suggests a rich… ▽ More We identify two seemingly disparate structures: supercharacters, a useful way of doing Fourier analysis on the group of unipotent uppertriangular matrices with coefficients in a finite field, and the ring of symmetric functions in noncommuting variables. Each is a Hopf algebra and the two are isomorphic as such. This allows developments in each to be transferred. The identification suggests a rich class of examples for the emerging field of combinatorial Hopf algebras. △ Less

Submitted 22 December, 2011; v1 submitted 21 September, 2010; originally announced September 2010.

Comments: To Appear in Advances in Mathematics (2012), 23 pages

MSC Class: 05E10

Journal ref: Advances in Mathematics 229 (2012) 2310--2337

A compositional shuffle conjecture specifying touch points of the Dyck path

Authors: James Haglund, Jennifer Morse, Mike Zabrocki

Abstract: We introduce a $q,t$-enumeration of Dyck paths which are forced to touch the main diagonal at specific points and forbidden to touch elsewhere and conjecture that it describes the action of the Macdonald theory $\nabla$ operator applied to a Hall-Littlewood polynomial. Our conjecture refines several earlier conjectures concerning the space of diagonal harmonics including the "shuffle conjecture" (… ▽ More We introduce a $q,t$-enumeration of Dyck paths which are forced to touch the main diagonal at specific points and forbidden to touch elsewhere and conjecture that it describes the action of the Macdonald theory $\nabla$ operator applied to a Hall-Littlewood polynomial. Our conjecture refines several earlier conjectures concerning the space of diagonal harmonics including the "shuffle conjecture" (Duke J. Math. $\mathbf {126}$ (2005), pp. 195-232) for $\nabla e_n[X]$. We bring to light that certain generalized Hall-Littlewood polynomials indexed by compositions are the building blocks for the algebraic combinatorial theory of $q,t$-Catalan sequences and we prove a number of identities involving these functions. △ Less

Submitted 24 June, 2011; v1 submitted 4 August, 2010; originally announced August 2010.

Comments: 20 pages

MSC Class: 05E05; 05E10; 05A30

The Murnaghan-Nakayama rule for k-Schur functions

Authors: Jason Bandlow, Anne Schilling, Mike Zabrocki

Abstract: We prove the Murgnaghan--Nakayama rule for $k$-Schur functions of Lapointe and Morse, that is, we give an explicit formula for the expansion of the product of a power sum symmetric function and a $k$-Schur function in terms of $k$-Schur functions. This is proved using the noncommutative $k$-Schur functions in terms of the nilCoxeter algebra introduced by Lam and the affine analogue of noncommutati… ▽ More We prove the Murgnaghan--Nakayama rule for $k$-Schur functions of Lapointe and Morse, that is, we give an explicit formula for the expansion of the product of a power sum symmetric function and a $k$-Schur function in terms of $k$-Schur functions. This is proved using the noncommutative $k$-Schur functions in terms of the nilCoxeter algebra introduced by Lam and the affine analogue of noncommutative symmetric functions of Fomin and Greene. △ Less

Submitted 20 January, 2011; v1 submitted 27 April, 2010; originally announced April 2010.

Comments: 23 pages, updated to reflect referee comments, to appear in Journal of Combinatorial Theory, Series A

Journal ref: Journal of Combinatorial Theory, Series A, 118(5) (2011) 1588-1607

Words and polynomial invariants of finite groups in non-commutative variables

Authors: Anouk Bergeron-Brlek, Christophe Hohlweg, Mike Zabrocki

Abstract: Let V be a complex vector space with basis {x_1,x_2,...,x_n} and G be a finite subgroup of GL(V). The tensor algebra T(V) over the complex is isomorphic to the polynomials in the non-commutative variables x_1, x_2,..., x_n with complex coefficients. We want to give a combinatorial interpretation for the decomposition of T(V) into simple G-modules. In particular, we want to study the graded space… ▽ More Let V be a complex vector space with basis {x_1,x_2,...,x_n} and G be a finite subgroup of GL(V). The tensor algebra T(V) over the complex is isomorphic to the polynomials in the non-commutative variables x_1, x_2,..., x_n with complex coefficients. We want to give a combinatorial interpretation for the decomposition of T(V) into simple G-modules. In particular, we want to study the graded space of invariants in T(V) with respect to the action of G. We give a general method for decomposing the space T(V) into simple modules in terms of words in a Cayley graph of the group G. To apply the method to a particular group, we require a homomorphism from a subalgebra of the group algebra into the character algebra. In the case of G as the symmetric group, we give an example of this homomorphism from the descent algebra. When G is the dihedral group, we have a realization of the character algebra as a subalgebra of the group algebra. In those two cases, we have an interpretation for the graded dimensions of the invariant space in term of those words. △ Less

Submitted 2 March, 2010; v1 submitted 6 July, 2009; originally announced July 2009.

Expressions for Catalan Kronecker Products

Authors: Andrew Brown, Stephanie van Willigenburg, Mike Zabrocki

Abstract: We give some elementary manifestly positive formulae for the Kronecker products s_(d,d) * s_(d+k,d-k) and s_(d,d) * s_(2d-k,1^k). These formulae demonstrate some fundamental properties of the Kronecker coefficients, and we use them to deduce a number of enumerative and combinatorial results. We give some elementary manifestly positive formulae for the Kronecker products s_(d,d) * s_(d+k,d-k) and s_(d,d) * s_(2d-k,1^k). These formulae demonstrate some fundamental properties of the Kronecker coefficients, and we use them to deduce a number of enumerative and combinatorial results. △ Less

Submitted 19 September, 2008; originally announced September 2008.

Comments: 19 pages

MSC Class: 05E05; 20C30

Journal ref: Pacific J. Math. 248:31--48 (2010)

A Filtration of (q,t)-Catalan numbers

Authors: N. Bergeron, F. Descouens, M. Zabrocki

Abstract: We define new generalizations of (q,t)-Catalan numbers applying nabla operator on k-Schur functions indexed by column partitions. In some special cases, we give a combinatorial interpretation of these numbers using configurations of Dyck paths. In some other special cases, we also interpret these new polynomial as Hilbert series of explicit sub-modules of the alternating diagonal harmonics built… ▽ More We define new generalizations of (q,t)-Catalan numbers applying nabla operator on k-Schur functions indexed by column partitions. In some special cases, we give a combinatorial interpretation of these numbers using configurations of Dyck paths. In some other special cases, we also interpret these new polynomial as Hilbert series of explicit sub-modules of the alternating diagonal harmonics built using differential operators. △ Less

Submitted 12 September, 2008; v1 submitted 18 June, 2008; originally announced June 2008.

Journal ref: Adv. in Appl. Math. 44 (2010), no. 1, 16--36

A non-commutative generalization of $k$-Schur functions

Authors: N. Bergeron, F. Descouens, M. Zabrocki

Abstract: We introduce non-commutative analogues of $k$-Schur functions of Lapointe-Lascoux and Morse. We give an explicit formulas for the expansions of non-commutive functions with one and two parameters in terms of these new functions. These results are similar to the conjectures existing in the commutative case. We introduce non-commutative analogues of $k$-Schur functions of Lapointe-Lascoux and Morse. We give an explicit formulas for the expansions of non-commutive functions with one and two parameters in terms of these new functions. These results are similar to the conjectures existing in the commutative case. △ Less

Submitted 6 April, 2008; originally announced April 2008.

MSC Class: 16W30; 05E05

Journal ref: Discrete Math. 309 (2009), no. 16, 5092-5105

Analytic aspects of the shuffle product

Authors: Marni Mishna, Mike Zabrocki

Abstract: There exist very lucid explanations of the combinatorial origins of rational and algebraic functions, in particular with respect to regular and context free languages. In the search to understand how to extend these natural correspondences, we find that the shuffle product models many key aspects of D-finite generating functions, a class which contains algebraic. We consider several different ta… ▽ More There exist very lucid explanations of the combinatorial origins of rational and algebraic functions, in particular with respect to regular and context free languages. In the search to understand how to extend these natural correspondences, we find that the shuffle product models many key aspects of D-finite generating functions, a class which contains algebraic. We consider several different takes on the shuffle product, shuffle closure, and shuffle grammars, and give explicit generating function consequences. In the process, we define a grammar class that models D-finite generating functions. △ Less

Submitted 20 February, 2008; originally announced February 2008.

Journal ref: Dans Proceedings of the 25th Annual Symposium on the Theoretical Aspects of Computer Science - STACS 2008, Bordeaux : France (2008)

On the S_n-module structure of the noncommutative harmonics

Authors: Emmanuel Briand, Mercedes Rosas, Mike Zabrocki

Abstract: Using a noncommutative analog of Chevalley's decomposition of polynomials into symmetric polynomials times coinvariants due to Bergeron, Reutenauer, Rosas, and Zabrocki we compute the graded Frobenius series for their two sets of noncommutative harmonics with respect to the left action of the symmetric group (acting on variables). We use these results to derive the Frobenius series for the envel… ▽ More Using a noncommutative analog of Chevalley's decomposition of polynomials into symmetric polynomials times coinvariants due to Bergeron, Reutenauer, Rosas, and Zabrocki we compute the graded Frobenius series for their two sets of noncommutative harmonics with respect to the left action of the symmetric group (acting on variables). We use these results to derive the Frobenius series for the envelo** algebra of the derived free Lie algebra in n variables. △ Less

Submitted 2 October, 2007; v1 submitted 9 April, 2007; originally announced April 2007.

Comments: 13 pages. Expanded version of a paper to appear in "Journal of Combinatorial Theory, series A" (http://www.elsevier.com/locate/jcta)

MSC Class: 16W50; 05A18; 05E05

Journal ref: Journal of Combinatorial Theory, Series A, Volume 115, Issue 6, August 2008, pages 1077-1085.

Posets related to the connectivity set of Coxeter groups

Authors: Nantel Bergeron, Christophe Hohlweg, Mike Zabrocki

Abstract: We define the notion of connectivity set for elements of any finitely generated Coxeter group. Then we define an order related to this new statistic and show that the poset is graded and each interval is a shellable lattice. This implies that any interval is Cohen-Macauley. We also give a Galois connection between intervals in this poset and a boolean poset. This allows us to compute the Mobius… ▽ More We define the notion of connectivity set for elements of any finitely generated Coxeter group. Then we define an order related to this new statistic and show that the poset is graded and each interval is a shellable lattice. This implies that any interval is Cohen-Macauley. We also give a Galois connection between intervals in this poset and a boolean poset. This allows us to compute the Mobius function for any interval. △ Less

Submitted 9 February, 2006; v1 submitted 13 September, 2005; originally announced September 2005.

Comments: 13 pages; 4 figures; final version; accepted in Journal of Algebra

MSC Class: 20F55; 06A11

Journal ref: J. Algebra 303 (2006), no. 2, 831-846

The Hopf algebras of symmetric functions and quasisymmetric functions in non-commutative variables are free and cofree

Authors: Nantel Bergeron, Mike Zabrocki

Abstract: We uncover the structure of the space of symmetric functions in non-commutative variables by showing that the underlined Hopf algebra is both free and co-free. We also introduce the Hopf algebra of quasi-symmetric functions in non-commutative variables and define the product and coproduct on the monomial basis of this space and show that this Hopf algebra is free and cofree. In the process of lo… ▽ More We uncover the structure of the space of symmetric functions in non-commutative variables by showing that the underlined Hopf algebra is both free and co-free. We also introduce the Hopf algebra of quasi-symmetric functions in non-commutative variables and define the product and coproduct on the monomial basis of this space and show that this Hopf algebra is free and cofree. In the process of looking for bases which generate the space we define orders on the set partitions and set compositions which allow us to define bases which have simple and natural rules for the product of basis elements. △ Less

Submitted 19 October, 2005; v1 submitted 12 September, 2005; originally announced September 2005.

Comments: 22 pages; 9 figures in eps form

MSC Class: 16W30 (primary) 05A18; 06A07 (secondary)

Journal ref: J. of Algebra and its Applications (8)(2009), No 4, 581--600

Grothendieck bialgebras, Partition lattices and symmetric functions in noncommutative variables

Authors: Nantel Bergeron, Christophe Hohlweg, Mercedes Rosas, Mike Zabrocki

Abstract: We show that the Grothendieck bialgebra of the semi-tower of partition lattice algebras is isomorphic to the graded dual of the bialgebra of symmetric functions in noncommutative variables. In particular this isomorphism singles out a canonical new basis of the symmetric functions in noncommutative variables which would be an analogue of the Schur function basis for this bialgebra. We show that the Grothendieck bialgebra of the semi-tower of partition lattice algebras is isomorphic to the graded dual of the bialgebra of symmetric functions in noncommutative variables. In particular this isomorphism singles out a canonical new basis of the symmetric functions in noncommutative variables which would be an analogue of the Schur function basis for this bialgebra. △ Less

Submitted 17 June, 2005; originally announced June 2005.

Comments: 17 pages

MSC Class: 16S99 (Primary); 05E05; 05E10; 16G30; 16S34; 16W30; (secondary)

Journal ref: Electron. J. Combin. 13 (2006), no. 1, Research Paper 75, 19 pp.

On the Wilf-Stanley limit of 4231-avoiding permutations and a conjecture of Arratia

Authors: M. H. Albert, M. Elder, A. Rechnitzer, P. Westcott, M. Zabrocki

Abstract: We construct a sequence of finite automata that accept subclasses of the class of 4231-avoiding permutations. We thereby show that the Wilf-Stanley limit for the class of 4231-avoiding permutations is bounded below by 9.35. This bound shows that this class has the largest such limit among all classes of permutations avoiding a single permutation of length 4 and refutes the conjecture that the Wi… ▽ More We construct a sequence of finite automata that accept subclasses of the class of 4231-avoiding permutations. We thereby show that the Wilf-Stanley limit for the class of 4231-avoiding permutations is bounded below by 9.35. This bound shows that this class has the largest such limit among all classes of permutations avoiding a single permutation of length 4 and refutes the conjecture that the Wilf-Stanley limit of a class of permutations avoiding a single permutation of length k cannot exceed (k-1)^2. △ Less

Submitted 23 February, 2005; originally announced February 2005.

Comments: Submitted to Advances in Applied Mathematics

MSC Class: 05A05; 05A15

Journal ref: Advances in Applied Mathematics 36(2) Special Issue on Pattern Avoiding Permutations (2006) pages 96-105

Invariants and Coinvariants of the Symmetric Group in Noncommuting Variables

Authors: Nantel Bergeron, Christophe Reutenauer, Mercedes Rosas, Mike Zabrocki

Abstract: We introduce a natural Hopf algebra structure on the space of noncommutative symmetric functions which was recently studied as a vector space by Rosas and Sagan. The bases for this algebra are indexed by set partitions. We show that there exist a natural inclusion of the Hopf algebra of noncommutative symmetric functions indexed by compositions in this larger space. We also consider this algebra… ▽ More We introduce a natural Hopf algebra structure on the space of noncommutative symmetric functions which was recently studied as a vector space by Rosas and Sagan. The bases for this algebra are indexed by set partitions. We show that there exist a natural inclusion of the Hopf algebra of noncommutative symmetric functions indexed by compositions in this larger space. We also consider this algebra as a subspace of noncommutative polynomials and use it to understand the structure of the spaces of harmonics and coinvariants with respect to this collection of noncommutative polynomials. △ Less

Submitted 3 February, 2005; originally announced February 2005.

Comments: 30 pages

MSC Class: 05E05; 05A18

Journal ref: Canad. J. Math. 60 (2008), no. 2, 266-296

Deformed universal characters for classical and affine algebras

Authors: Mark Shimozono, Mike Zabrocki

Abstract: Creation operators are given for the three distinguished bases of the type BCD universal character ring of Koike and Terada yielding an elegant way of treating computations for all three types in a unified manner. Deformed versions of these operators create symmetric function bases whose expansion in the universal character basis, has polynomial coefficients in $q$ with non-negative integer coef… ▽ More Creation operators are given for the three distinguished bases of the type BCD universal character ring of Koike and Terada yielding an elegant way of treating computations for all three types in a unified manner. Deformed versions of these operators create symmetric function bases whose expansion in the universal character basis, has polynomial coefficients in $q$ with non-negative integer coefficients. We conjecture that these polynomials are one-dimensional sums associated with crystal bases of finite-dimensional modules over quantized affine algebras for all nonexceptional affine types. These polynomials satisfy a Macdonald-type duality. △ Less

Submitted 16 April, 2004; originally announced April 2004.

Comments: 29 pages

MSC Class: 81R10; 05E10

A bijective proof of an unusual symmetric group generating function

Authors: Mike Zabrocki

Abstract: For $σ\in S_n$, let $D(σ) = \{i : σ_{i} > σ_{i+1}\}$ denote the descent set of $σ$. The length of the permutation is the number of inversions, denoted by $inv(σ) = \big | \{(i,j) : i<j, σ_i > σ_j\} \big |$. Define an unusual quadratic statisitic by $baj(σ) = \sum_{i \in D(σ)} i (n-i)$. We present here a bijective proof of the identity… ▽ More For $σ\in S_n$, let $D(σ) = \{i : σ_{i} > σ_{i+1}\}$ denote the descent set of $σ$. The length of the permutation is the number of inversions, denoted by $inv(σ) = \big | \{(i,j) : i<j, σ_i > σ_j\} \big |$. Define an unusual quadratic statisitic by $baj(σ) = \sum_{i \in D(σ)} i (n-i)$. We present here a bijective proof of the identity $\sum_{{σ\in S_n} \atop {σ(n) = k}} q^{baj(σ) - inv(σ)} = \prod_{i=1}^{n-1} {1-q^{i (n-i)} \over {1-q^i}}$ where $k$ is a fixed integer. △ Less

Submitted 19 October, 2003; originally announced October 2003.

Comments: 4 pages

MSC Class: 05A05 (primary) 20F55

A q-analog of Schur's Q-functions

Authors: Geanina Tudose, Michael Zabrocki

Abstract: We present a family of analogs of the Hall-Littlewood symmetric functions in the $Q$-function algebra. The change of basis coefficients between this family and Schur's $Q$-functions are $q$-analogs of numbers of marked shifted tableaux. These coefficients exhibit many parallel properties to the Kostka-Foulkes polynomials. We present a family of analogs of the Hall-Littlewood symmetric functions in the $Q$-function algebra. The change of basis coefficients between this family and Schur's $Q$-functions are $q$-analogs of numbers of marked shifted tableaux. These coefficients exhibit many parallel properties to the Kostka-Foulkes polynomials. △ Less

Submitted 10 March, 2002; v1 submitted 5 March, 2002; originally announced March 2002.

Comments: 24 pages

MSC Class: 05E05; 05E10

q and q,t-Analogs of Non-commutative Symmetric Functions

Authors: Nantel Bergeron, Mike Zabrocki

Abstract: We introduce two families of non-commutative symmetric functions that have analogous properties to the Hall-Littlewood and Macdonald symmetric functions. We introduce two families of non-commutative symmetric functions that have analogous properties to the Hall-Littlewood and Macdonald symmetric functions. △ Less

Submitted 14 December, 2001; v1 submitted 29 June, 2001; originally announced June 2001.

Comments: Different from analogues in math.CO/0106191 - v2: 26 pages - added a definition in terms of triangularity/scalar product relations - to be submitted FPSAC'02

MSC Class: 05E99

Journal ref: Discrete Math. 298 (2005), no. 1-3, 79--103

Polynomiality of the q,t-Kostka Revisited

Authors: A. M. Garsia, Mike Zabrocki

Abstract: Let $K(q,t)= \|K_{\laμ}(q,t)\|_{\la,μ}$ be the Macdonald q,t-Kostka matrix and $K(t)=K(0,t)$ be the matrix of the Kostka-Foulkes polynomials K_{\laμ}(t). In this paper we present a new proof of the polynomiality of the q,t-Kostka coefficients that is both short and elementary. More precisely, we derive that $K(q,t)$ has entries in \ZZ[q,t] directly from the fact that the matrix $K(t)^{-1}$ has e… ▽ More Let $K(q,t)= \|K_{\laμ}(q,t)\|_{\la,μ}$ be the Macdonald q,t-Kostka matrix and $K(t)=K(0,t)$ be the matrix of the Kostka-Foulkes polynomials K_{\laμ}(t). In this paper we present a new proof of the polynomiality of the q,t-Kostka coefficients that is both short and elementary. More precisely, we derive that $K(q,t)$ has entries in \ZZ[q,t] directly from the fact that the matrix $K(t)^{-1}$ has entries in \ZZ[t]. The proof uses only identities that can be found in the original paper [7] of Macdonald. △ Less

Submitted 25 August, 2000; originally announced August 2000.

Comments: 19 pages; to appear in a Volume dedicated to the memory of G. C. Rota edited by Domenico Senato U. of Basilicata

MSC Class: 05E05

q-Analogs of symmetric function operators

Authors: Mike Zabrocki

Abstract: For any homomorphism V on the space of symmetric functions, we introduce an operation which creates a q-analog of V. By giving several examples we demonstrate that this quantization occurs naturally within the theory of symmetric functions. In particular, we show that the Hall-Littlewood symmetric functions are formed by taking this q-analog of the Schur symmetric functions and the Macdonald sym… ▽ More For any homomorphism V on the space of symmetric functions, we introduce an operation which creates a q-analog of V. By giving several examples we demonstrate that this quantization occurs naturally within the theory of symmetric functions. In particular, we show that the Hall-Littlewood symmetric functions are formed by taking this q-analog of the Schur symmetric functions and the Macdonald symmetric functions appear by taking the q-analog of the Hall-Littlewood symmetric functions in the parameter t. This relation is then used to derive recurrences on the Macdonald q,t-Kostka coefficients. △ Less

Submitted 19 January, 2002; v1 submitted 24 August, 2000; originally announced August 2000.

Comments: 17 pages - minor revisions to appear in Discrete Mathematics issue for LaCIM'2000

MSC Class: 05E05

Ribbon Operators and Hall-Littlewood Symmetric Functions

Authors: Mike Zabrocki

Abstract: Given a partition $\la = (\la_1, \la_2, ... \la_k)$, let $\la^{rc} = (\la_2-1, \la_3-1, ... \la_k-1)$. It is easily seen that the diagram $\la\slash \la^{rc}$ is connected and has no $2 \times 2$ subdiagrams which we shall refer to as a ribbon. To each ribbon $R$, we associate a symmetric function operator $S^R$. We may define the major index of a ribbon $maj(R)$ to be the major index of any per… ▽ More Given a partition $\la = (\la_1, \la_2, ... \la_k)$, let $\la^{rc} = (\la_2-1, \la_3-1, ... \la_k-1)$. It is easily seen that the diagram $\la\slash \la^{rc}$ is connected and has no $2 \times 2$ subdiagrams which we shall refer to as a ribbon. To each ribbon $R$, we associate a symmetric function operator $S^R$. We may define the major index of a ribbon $maj(R)$ to be the major index of any permutation that fits the ribbon. This paper is concerned with the operator $H_{1^k}^q = \sum_R q^{maj(R)} S^R$ where the sum is over all $2^{k-1}$ ribbons of size $k$. We show here that $H_{1^k}^q$ has truly remarkable properties, in particular that it is a Rodriguez operator that adds a column to the Hall-Littlewood symmetric functions. We believe that some of the tools we introduce here to prove our results should also be of independent interest and may be useful to establish further symmetric function identities. △ Less

Submitted 22 August, 2000; originally announced August 2000.

Comments: 10 pages; to appear Advances in Mathematics

MSC Class: 05E05

Journal ref: Advances in Mathematics, 156, No. 1 (2000), pp.33-43

Some remarks on the characters of the general Lie superalgebra

Authors: R. C. Orellana, Mike Zabrocki

Abstract: We compute an explicit formula the Hilbert (Poincaré) series for the ring of hook Schur functions and (equivalently) the generating function for partitions which fit in a $(k,l)$-hook. We compute an explicit formula the Hilbert (Poincaré) series for the ring of hook Schur functions and (equivalently) the generating function for partitions which fit in a $(k,l)$-hook. △ Less

Submitted 18 August, 2000; originally announced August 2000.

Comments: 3 pages; wanted: a bijective proof of this result!

MSC Class: 05A15; 05A17; 05E99; 17B10