## CYCLIC SIEVING, SKEW MACDONALD POLYNOMIALS AND SCHUR POSITIVITY

## PER ALEXANDERSSON AND JOAKIM UHLIN

Abstract. When λ is a partition, the specialized non-symmetric Macdonald polynomial E λ ( x ; q ; 0) is symmetric and related to a modified Hall-Littlewood polynomial. We show that whenever all parts of the integer partition λ is a multiple of n , the underlying set of fillings exhibit the cyclic sieving phenomenon (CSP) under a cyclic shift of the columns. The corresponding CSP polynomial is given by E λ ( x ; q ; 0). In addition, we prove a refined cyclic sieving phenomenon where the content of the fillings is fixed. This refinement is closely related to an earlier result by B. Rhoades.

We also introduce a skew version of E λ ( x ; q ; 0). We show that these are symmetric and Schur-positive via a variant of the Robinson-Schenstedt-Knuth correspondence and we also describe crystal raising- and lowering operators for the underlying fillings. Moreover, we show that the skew specialized non-symmetric Macdonald polynomials are in some cases vertical-strip LLT polynomials. As a consequence, we get a combinatorial Schur expansion of a new family of LLT polynomials.

## Contents

| 1.         | Introduction                                              |   1 |
|------------|-----------------------------------------------------------|-----|
| 2.         | Preliminaries                                             |   3 |
| 3.         | Cyclic sieving on coinversion-free fillings               |  11 |
| 4.         | Refined CSP on COF( nλ )                                  |  13 |
| 5.         | Skew specialized Macdonald polynomials                    |  14 |
| 6.         | Crystal operators on words and SSYT                       |  19 |
| 7.         | Schur expansion of certain vertical-strip LLT polynomials |  23 |
| 8.         | Appendix: How to compute Kostka-Foulkes polynomials       |  26 |
| References | References                                                |  27 |

## 1. Introduction

The cyclic sieving phenomenon (CSP), introduced by V. Reiner, D. Stanton and D. White [RSW04], is currently an active research topic. In this article, we

provide families of cyclic sieving on tableaux related to certain specializations of nonsymmetric Macdonald polynomials. This settles an earlier conjecture by the authors presented in [Uhl19]. The non-symmetric Macdonald polynomials are in our case closely related to the transformed Hall-Littlewood functions and Kostka-Foulkes polynomials, previously studied in the CSP context by B. Rhoades [Rho10b]. The family of polynomials we study is the specialization of the non-symmetric Macdonald polynomials E λ ( x , . . . , x 1 m ; q, t ) when λ is an integer partition and t = 0. They can be defined as a weighted sum over certain fillings of the Young diagram λ . We denote this set of fillings COF( λ, m ), which is defined further down.

1.1. Main results. For an integer partition λ , we let nλ := ( nλ , . . . , nλ 1 /lscript ). We show that there is a natural action φ on the fillings COF( nλ, m ) each block of n consecutive columns is cyclically rotated one step. Consequently φ generates a C n -action on COF( nλ, m ). In Theorem 23, we prove that for every integer partition λ , m ∈ N + and n ∈ N + , the triple

$$( \text{COF} ( n \lambda, m ), \langle \phi \rangle, \text{E} _ { n \lambda } ( 1 ^ { m }, q, 0 ) )$$

exhibits the cyclic sieving phenomenon. Moreover, as λ is held fixed and n = 1 2 3 , , , . . . , this family is a Lyndon-like family , a notion by P. Alexandersson, S. Linusson and S. Potka [ALP19] (see also [Gor19]) meaning that fixed points under the group action are in natural bijection with smaller instances of the combinatorial objects. When λ = (1), this phenomenon reduces to a classical cyclic sieving phenomenon on words of length n in the alphabet [ m ], see Example 13 below. A skew version of (1) is given in Theorem 37.

We also prove a refined cyclic sieving phenomenon. Let COF( nλ, ν ) denote the set of coinversion-free fillings with shape nλ and content ν . In Theorem 28, we show that

$$( \text{COF} ( n \lambda, \nu ), \langle \phi \rangle, [ \mathfrak { m } _ { \nu } ] E _ { n \lambda } ( \mathbf x, q, 0 ) )$$

exhibits the cyclic sieving phenomenon. When λ = ( n ), we recover the cyclic sieving phenomenon on words of length n with content ν , and

$$[ m _ { \nu } ] E _ { ( n ) } ( { \mathbf x }, q, 0 ) = \begin{bmatrix} n \\ \nu \end{bmatrix} _ { q },$$

a q -multinomial coefficient. We remark that if we take λ = (1 ), [m k ν ]E nλ ( x , q, 0) in (2) can be seen as a q -analogue of n -tuples of k -subsets of [ m ] with content ν . We expect that many properties of the usual major index extend to this generalization.

Finally in Section 5 we introduce a skew version of E λ ( x , q, 0) and prove that these are symmetric and Schur positive. We provide an explicit Schur expansion using a generalization of charge in Theorem 34. As an application, in Theorem 45 we obtain a combinatorial Schur-expansion of a certain family of vertical-strip LLT polynomials , which has not been considered before. Combining Theorem 45 and Theorem 34, we have the following main result.

Theorem 1. Let λ/µ be a skew shape with /lscript rows, such that no column contains no more than two boxes. Let α be the composition defined as α i = λ i -µ i and let ν be the tuple of skew shapes such that ν j is the vertical strip 1 λ j / 1 µ j . Then

$$\text{LLT} _ { \nu } ( { \mathbf x } ; q ) = q ^ { \min i n v ( \nu ) } \sum _ { \rho \vdash | \lambda ^ { \prime } / \mu ^ { \prime } | } s _ { \rho ^ { \prime } } ( { \mathbf x } ) \sum _ { T \in \text{SSYT} ( \rho, \alpha ) } q ^ { \text{charge} _ { \mu } ( T ) }$$

where charge µ is a natural generalization of the charge statistic, and mininv( ν ) is a simple statistic that only depend on the tuple ν .

The paper is structured as follows. In Section 2, we define the cyclic sieving phenomenon and give a brief overview of the relevant symmetric functions. In Section 3, we give a proof of the CSP in (1), and in Section 4 we prove (2). In Section 5 we introduce the skew specialized Macdonald polynomials and give the Schur expansion of these. We then prove a result in Section 7 which implies Theorem 1.

We note that some of the results in this paper are based on earlier work done in the second author's master's thesis [Uhl19].

## 2. Preliminaries

## 2.1. Partitions and compositions.

Definition 2. Let n and r be natural numbers. A weak composition λ of n into r parts is defined to be an r -tuple λ = ( λ , . . . , λ 1 r ) of non-negative integers such that λ 1 + · · · + λ r = n . We say that the numbers λ , . . . , λ 1 r are the parts of λ . If all parts of λ are positive, we say that λ is a composition , and we write λ glyph[satisfies] n . If λ has multiple parts of the same size, we may suppress them using exponents. As an example, (7 7 0 1 1 1 4 4 4 4) may be expressed as (7 , , , , , , , , , 2 , 0 1 , 3 , 4 ). 4 We write m λ j ( ) for the number of parts of λ equal to j and nλ := ( nλ , . . . , nλ 1 /lscript ) for n ∈ N . If further λ 1 ≥ λ 2 ≥ · · · ≥ λ r , then λ is a partition of n , and denote this by λ /turnstileleft n . The parts of λ are the positive entries of λ . The length of λ is the number of parts and is denoted /lscript ( λ ). We identify partitions that only differ by trailing zeros, so (4 , 2 2 1 0 0 0)=(4 2 2 1 0)=(4 2 2 1) as partitions. There is one unique partition , , , , , , , , , , , , of 0, namely ∅ which is referred to as the empty partition .

Note that in some cases, the word parts is ambiguous. When λ is a weak composition, a part can be zero whereas when λ is a partition, a part must be a positive integer. This conflicting terminology is unfortunately very standard, see e.g. [Sta01].

## 2.2. Semistandard Young tableau.

Definition 3. Let λ = ( λ , . . . , λ 1 r ) /turnstileleft n . The Young diagram of λ is defined as the set { ( i, j ) ∈ Z 2 : 1 ≤ i ≤ λ j } . Geometrically, we think of this diagram as a set of n boxes with r left-justified rows and i boxes in row i , counting from top to bottom, starting from row 1 and column 1. The box in position ( i, j ) is the box in the i th row and j th column. We use the notation λ to both refer to the partition and to the Young diagram described by λ .

Define the conjugate of λ , denoted λ ′ , to be the Young diagram obtained by transposing λ . Geometrically, the conjugate of λ is obtained by reflecting λ across the line y = -x . We write λ ′ = ( λ , . . . , λ ′ 1 ′ l ). If λ is a partition on the form λ = ( a b ), then λ is a rectangular Young diagram .

Throughout this article, all the diagrams are displayed in English notation, using matrix coordinates, with a few exceptions in Section 7.

Figure 1. To the left: A Young diagram of shape λ = (5 5 2 1). , , , To the right: A semistandard Young tableau of shape λ .

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00083v1-figure-9445ae45-1741-4314-b8f0-943323199151.jpg)

Definition 4. Let λ be a Young diagram. A filling of λ is a map λ → N + and a semistandard Young tableau is a filling of λ with positive integers such that in each row the entries are weakly increasing and in each row the entries are strictly increasing. The set of all semistandard Young tableaux of shape λ is denoted SSYT( ). λ

Let T be a semistandard Young tableau. Define the reading word of T , denoted rw( T ), as the word obtained by reading the entries T from the bottom row to the top row and in each row from left to right. For example, the semistandard Young tableau in Figure 1 has reading word rw( T ) = 6452445511123. We let x T := ∏ j x m T j ( ) j where m T j ( ) is the number of entries in T equal to j . The semistandard Young tableau T in Figure 1 gives x T = x x x x x x 3 1 2 2 3 3 4 2 5 6 .

There are several equivalent ways to define the Schur functions but the following is the most useful for our purposes. We let the Schur function indexed by the integer partition λ be defined as

$$s _ { \lambda } ( { \mathbf x } ) \coloneqq \sum _ { T \in { \mathrm S S Y T } ( \lambda ) } { \mathbf x } ^ { T }.$$

Example 5. Let λ = (7 6 3 3 3 1) be a partition. Then , , , , , | λ | = 23, the conjugate partition, λ ′ , is given by (6 , 5 5 2 2 2 1) and 3 , , , , , λ = (21 18 9 9 9 3). Furthermore, , , , , , m λ 1 ( ) = 1, m λ 2 ( ) = 0 and m λ 3 ( ) = 3.

2.3. Burge words and RSK. The Robinson-Schenstedt-Knuth correspondence (RSK) is a famous combinatorial bijection with many different applications [Sta01, Kra06]. The version we use in this paper is a bijection between pairs of certain biwords and pairs of semistandard Young tableaux. We note that the biwords we consider are not lexigraphically ordered, which is otherwise typical.

Definition 6. A Burge word is a two-line array with positive integers

$$W = \begin{pmatrix} i _ { 1 } & i _ { 2 } & \cdots & i _ { m } \\ j _ { 1 } & j _ { 2 } & \cdots & j _ { m } \end{pmatrix}$$

sorted primarily increasingly in the first row and secondarily on the second row decreasingly. Furthermore, all columns are unique. As an example, ( 1 1 2 3 3 3 3 5 6 6 6 3 1 2 6 4 3 2 4 5 3 1 ) is a Burge word. A pair ( i c , j c ) is called a biletter . The first row of W is called the recording word and the second row of the biword is called the charge word -the reason for this terminology will be apparent in Proposition 33.

We use the same row insertion bumping algorithm as the standard RSK on biwords, which we assume the readers are familiar with. Properties of our version of RSK is the third variant described by C. Krattenthaler [Kra06].

Table 1. Computing the image of a Burge word under RSK via a sequence of row insertions.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00083v1-figure-7a61da99-e181-489d-85cf-c7d1ba6ac4e4.jpg)

Proposition 7. The RSK-algorithm yields a bijection between Burge words and pairs of fillings ( P, Q ) of the same shape such that the insertion tableau P is semistandard and the recording tableau Q has the property that Q t is semistandard.

As an example of Proposition 7, the procedure in Table 1 shows that we have the following correspondence.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00083v1-figure-9b9d76ef-3267-42e0-8df4-a93381ca8508.jpg)

2.4. q -analogues. A q -analogue of a certain expression is a rational function in the variable q from which we can obtain the original expression by letting q → 1.

Definition 8. Let n ∈ N . Define the q -analogue of n as [ n ] q := 1 + q + · · · + q n -1 . Furthermore, define the q -factorial of n as [ n ] q ! := [ n ] q [ n -1] q · · · [1] q . Lastly, the q -binomial coefficient are defined as

$$\left [ \begin{matrix} n \\ k \end{matrix} \right ] _ { q } \coloneqq \frac { [ n ] _ { q }! } { [ n - k ] _ { q }! [ k ] _ { q }! } \text{ if } n \geq k \geq 0, \text{ and } 0 \text{ otherwise.}$$

Theorem 9 ( q -Lucas theorem, see e.g [Sag92]) . Let n, k ∈ N . Let n , n 1 0 , k 1 , k 0 be the unique natural numbers satisfying 0 ≤ n , k 0 0 ≤ d -1 and n = n d 1 + n 0 , k = k d 1 + k 0 . Then

$$\begin{bmatrix} n \\ k \end{bmatrix} _ { q } \equiv \begin{pmatrix} n _ { 1 } \\ k _ { 1 } \end{pmatrix} \begin{bmatrix} n _ { 0 } \\ k _ { 0 } \end{bmatrix} _ { q } \pmod { \Phi _ { d } ( q ) }$$

where Φ ( ) d q is the d th cyclotomic polynomial. In particular, we have

$$\begin{bmatrix} n \\ k \end{bmatrix} _ { \xi } = \begin{pmatrix} n _ { 1 } \\ k _ { 1 } \end{pmatrix} \begin{bmatrix} n _ { 0 } \\ k _ { 0 } \end{bmatrix} _ { \xi }.$$

if ξ is a primitive d th root

Theorem 9 will be used in later sections.

## 2.5. Cyclic sieving.

Definition 10 (Cyclic sieving, see [RSW04]) . Let X be a set of combinatorial objects and C n be the cyclic group of order n acting on X . Let f ( q ) ∈ N [ q ] be a polynomial with non-negative integer coefficients. We say that the triple ( X,C ,f q n ( )) exhibits the cyclic sieving phenomenon, (CSP) if for all d ∈ Z ,

$$\# \{ x \in X \, \colon g ^ { d } \cdot x = x \} = f ( \xi ^ { d } )$$

where ξ is a primitive n th root of unity.

Note that it follows immediately from the definition that # X = f (1). It is almost always tacitly assumed that the group action of C n on X and the polynomial f ( q ) should be natural in some sense. The group action could be some form of rotation or cyclic shift of the elements of X . The polynomial usually has a closed form and is also typically the generating polynomial for some combinatorial statistic defined on X .

In Table 2 we summarize some of the most famous and relevant instances of cyclic sieving. For a more comprehensive list, see B. Sagan's article [Sag11].

| Set                                                                                        | Group action                                                          | Polynomial                                                                                 | Reference                                 |
|--------------------------------------------------------------------------------------------|-----------------------------------------------------------------------|--------------------------------------------------------------------------------------------|-------------------------------------------|
| k -subsets of [ n ] Words with content α Non-cross. perf. matchings SYT( n m ) 01-matrices | Nearly free action Cyclic shift Rotation Promotion Shift rows/columns | [ n k ] q [ | α | α 1 ,...,α /lscript ] q 1 [ n +1] q [ 2 n n ] q f λ ( q ) See Theorem 26 | [RSW04] [RSW04] [PPR08] [Rho10a] [Rho10b] |

Table 2. A few known instances of cyclic sieving.

One of the main results of this paper, Theorem 23, is a generalization of the first instance of cyclic sieving in Table 2 and it is also closely related to the last instance in the table.

Example 11 ( k -subset CSP, see [RSW04]) . Let ( [ n ] k ) be the set of k -subsets of [ n ]. Suppose that C N is generated by a permutation σ ∈ S n , where the cycles of σ consists of N -cycles and one or zero singletons. Let C N act on [ n ] in the natural way (this is referred to as C N acting nearly freely on [ n ]). Then ( ( [ n ] k ) , C N , [ n k ] q ) exhibits the cyclic sieving phenomenon.

The situation is even more interesting when different instances of the cyclic sieving phenomenon are related in a certain fashion.

Definition 12 (Lyndon-like CSP, [ALP19]) . Let { X n } ∞ n =1 be a family of combinatorial objects with a cyclic group action C n acting on X n . Furthermore, let { f n ( q ) } ∞ n =1 be a sequence of polynomials in N [ q ], such that for each n = 1 2 , , . . . , the triple ( X ,C ,f n n n ( q )) exhibits the cyclic sieving phenomenon. We say that the family of triples { ( X ,C ,f n n n ( q )) } ∞ n =1 is Lyndon-like if f n/d (1) = f n ( e 2 πi d ) for all positive integers d , n such that d n | .

Phrased in a different manner, the family is Lyndon-like if and only if the number of elements in X n fixed by g d is in bijection with X d where g is an element of order n in C n . We note that the notion of Lyndon-like is also studied from a different perspective (called q -Gauß congruences) in [Gor19].

Example 13. Let W nk be the set of words of length n in the alphabet [ k ]. Let C n act on W nk by cyclic rotation. Take f n ( q ) = ∑ w W ∈ nk q maj( w ) . Then ( W nk , C n , f n ( q )) exhibits the cyclic sieving phenomenon. Furthermore, if we fix k , this family of CSP-triples is Lyndon-like.

One can show that the group action on a Lyndon-like family X n corresponds to rotation on some set of words of length n . When X n is the set of binary words of length n , the orbits of length n are in bijection with Lyndon words , see A001037 in [Slo19]. Each Lyndon-like family of combinatorial objects then has an analogue of Lyndon words.

2.6. Symmetric functions and plethysm. We use standard notation (see e.g. [Mac95, Sta01]) for symmetric functions. We have the elementary symmetric functions e λ , complete homogeneous symmetric functions h λ , the power-sum symmetric functions p λ and the Schur functions s λ . Recall also the standard involution on symmetric functions ω , with the defining properties that for λ /turnstileleft n ,

$$\omega ( h _ { \lambda } ) = e _ { \lambda }, \quad \omega ( s _ { \lambda } ) = s _ { \lambda ^ { \prime } }, \quad \omega ( p _ { \lambda } ) = ( - 1 ) ^ { n - \ell ( \lambda ) } p _ { \lambda }.$$

We shall also require a few identities related to plethysm - for a comprehensive background on plethysm and the notation used, see J. Haglund's book [Hag07]. In this paper, we only need the following few properties. When f is a symmetric function, we let the plethystic substitution p [ k f ] for k ∈ N be defined as

$$\mathfrak { p } _ { k } [ f ] \coloneqq f ( x _ { 1 } ^ { k }, x _ { 2 } ^ { k }, x _ { 3 } ^ { k }, \dots ).$$

Note that in particular, p [p k m ] = p km . It is clear from the definition that for symmetric functions f and g ,

$$\mathfrak { p } _ { k } [ f + g ] = \mathfrak { p } _ { k } [ f ] + \mathfrak { p } _ { k } [ g ] \text{ and } \mathfrak { p } _ { k } [ f \cdot g ] = \mathfrak { p } _ { k } [ f ] \cdot \mathfrak { p } _ { k } [ g ].$$

Lemma 14. For any homogeneous symmetric function f of degree n , we have that

$$p _ { k } [ \omega f ] = ( - 1 ) ^ { ( k + 1 ) n } \omega ( p _ { k } [ f ] ).$$

Proof. Since plethysm is linear, it suffices to prove the identity for f = p , where λ λ /turnstileleft n . We have that p [ k ω p ] is λ equal to p k [( -1) n -/lscript ( λ ) p ] = ( λ -1) n -/lscript ( λ ) p kλ = ( -1) ( n -/lscript ( λ ))+( kn -/lscript ( λ )) ω (p kλ ) which can be simplified to ( -1) ( k +1) n ω (p k [p λ ]). glyph[square]

2.7. Hall-Littlewood and non-symmetric Macdonald polynomials. The family of non-symmetric Macdonald polynomials, { E ( α x ; q, t ) } α where α ∈ N n is a basis for C [ x , . . . , x 1 n ]. These were introduced by E. Opdam [Opd95, Mac95], and further developed by I. Chrednik [Che95]. The first definition of non-symmetric Macdonald polynomials is quite cumbersome and indirect. J. Haglund, M. Haiman and N. Loehr [HHL08] found a combinatorial formula for computing E α ( x ; q, t ), using the notion of non-attacking fillings , thus generalizing F. Knop and S. Sahi's earlier formula for Jack polynomials [KS97]. In this paper, we shall only study a special case of the non-symmetric Macdonald polynomials, namely the case when

λ is a partition and t = 0. Here, we use the same notation as P. Alexandersson and M. Sawney [AS17, AS19], which differs slightly from Haglund et al. [HHL08]. The notation E α ( x ; q, t ) in this paper is equal to E rev( α ) ( x ; q, t ) in theirs where the composition has been reversed. Since we shall only study the specialization E ( λ x ; q, 0), so we do not introduce the non-symmetric Macdonald polynomials in full generality.

Let λ = ( λ , . . . , λ 1 r ) be a Young diagram, m ∈ N with m ≥ r . Let F : λ → [ m ] be a filling of λ . Three boxes a , b c in F form a triple if a is just to the left of b and c is somewhere under b . The entries in a triple form an inversion-triple if they are ordered increasingly in a counter-clockwise orientation. If two entries in the triple are equal, then the entry with the largest subscript in (6) is considered to be the biggest.

$$\begin{smallmatrix} \frac { \left [ a _ { 3 } \right ] b _ { 1 } \right ] } { \odot \colon } \\ \frac { \left [ c _ { 2 } \right ] } { \underbrace { c _ { 2 } } \right ] } \end{smallmatrix}$$

A filling of shape λ is called a coinversion-free filling if every triple is an inversiontriple and the first column is strictly decreasing from top to bottom. The set of such fillings where the entries are in [ m ] is denoted COF( λ, m ). Note that the conditions imply that every column in a coinversion-free filling must have distinct entries.

Remark 15. The definition of coinversion-free filling is essentially the same as used by P. Alexandersson and M. Sawhney [AS17] and by J. Uhlin [Uhl19] with the exception that the aforementioned texts also include basements . However, it is easy to see that these different definitions both yield E λ ( x ; q, 0). Arguably, our definition makes the results in this article more natural. S. Assaf [Ass18] and S. Assaf, N. Gonzáles [AG18] study a generalized form of coinversion-free fillings, which also allows composition-shaped fillings. Therein, they are called semistandard key tabloids .

A descent 1 of a filling F is a box ( i, j ) such that F i, j ( -1) &lt; F i, j ( ). In particular, there are no descents in the first column. The set of descents is denoted Des( F ). The leg of a box b is the number of boxes that lie strictly to the right of b in the diagram. In other words, if b = ( i, j ), then leg( b ) = λ i -j . The major index of F is defined as

$$\max _ { \ } ( F ) = \sum _ { b \in \text{Des} ( F ) } ( \text{eg} ( b ) + 1 ) ).$$

Given a filling F of shape λ , we let the weight of F , wt( F ) = ( w , . . . , w 1 m ), be the vector such that w i count the number of occurrences of i in F . Furthermore, we let x F denote the monomial ∏ ( i,j ) ∈ λ x F i,j ( ) , see Figure 2.

The (specialized) non-symmetric Macdonald polynomial E ( λ x ; q, 0) is then defined as

$$E _ { \lambda } ( x _ { 1 }, \dots, x _ { m } ; q, 0 ) = \sum _ { F \in \text{COF} ( \lambda, m ) } q ^ { \text{maj} ( F ) } \mathbf x ^ { F }.$$

1 Note that this seems non-standard compared to descents in words. This terminology is due to the usage of skyline diagrams used when describing the non-symmetric Macdonald polynomials [HHL08]. We use English notation rather than skyline diagrams.

Figure 2. A coinversion-free filling with descents marked and weight (1 3 2 4 3 1 4). Its major index is 1 + 2 + 2 + 1 = 6. , , , , , ,

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00083v1-figure-039986d3-777b-4694-9ca4-37176496ceea.jpg)

One can verify that this definition agrees with the one given in [Ale15]. Despite the name, the specialization E λ ( x ; q, 0) is in fact a symmetric polynomial 2 as we shall see below.

Example 16. As can be computed by summing all monomials in Figure 3, we have that E (2 1) , ( x , x 1 2 , x 3 ; q, 0) is given by

$$& x _ { 1 } ^ { 2 } x _ { 2 } + x _ { 1 } x _ { 2 } ^ { 2 } + x _ { 1 } ^ { 2 } x _ { 3 } + x _ { 1 } x _ { 3 } ^ { 2 } + x _ { 2 } ^ { 2 } x _ { 3 } + x _ { 2 } x _ { 3 } ^ { 2 } + 2 x _ { 1 } x _ { 2 } x _ { 3 } + q x _ { 1 } x _ { 2 } x _ { 3 } \\ & = ( 2 + q ) m _ { 1 1 1 } ( x _ { 1 }, x _ { 2 }, x _ { 3 } ) + m _ { 2 1 } ( x _ { 1 }, x _ { 2 }, x _ { 3 } ).$$

Figure 3. All coinversion-free fillings of shape λ = (2 1) in three , variables with their respective contribution to Equation (7).

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00083v1-figure-7042e3f0-15e2-46a9-a632-b82f06bc99c6.jpg)

We shall also briefly make use of the modified Macdonald polynomials further down. Let λ/µ be a skew shape and let F : λ/µ → [ m ] be a filling with no restrictions. The notion of inversion triples with the cases in (6) is extended to skew shapes, where the box a may now lie outside the diagram.

a

3

b

1

glyph[anticlockwise]

.

.

.

c

2

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00083v1-figure-d8465c85-2b08-4ebc-bc1a-3073cb0fe6af.jpg)

Such boxes outside the diagram λ/µ are considered to have value ∞ , in which case it is required F b ( 1 ) &gt; F c ( 2 ) in order for the triple to be an inversion triple. The notion of descent is extended to skew shapes, so that ( i, j ) is a descent of F if F i, j ( -1) &lt; F i, j ( ), and we let maj( F ) = ∑ b ∈ Des( F ) (leg( b )+1) as before. Similarly,

2 There is an extension of the notion of inversion triples to diagrams indexed by weak compositions and then one has that E λ ( x ; q, 0) is independent of the order of entries in λ , see [Ale15, Prop. 17].

the notion of weight is extended in the natural way. The (skew) modified Macdonald polynomial ˜ H λ/µ ( x ; q, t ) is defined as

$$\tilde { H } _ { \lambda / \mu } ( x _ { 1 }, \dots, x _ { m } ; q, t ) = \sum _ { F \colon \lambda / \mu \to [ m ] } q ^ { \text{m} ] ( F ) } t ^ { \text{inv} ( F ) } \mathbf x ^ { F }.$$

This stabilizes to a symmetric function as m → ∞ . Note that [ t ∗ ]H ˜ λ ( x ; q, t ) = E ( λ x ; q, 0), that is, the coefficient of the highest power of t that appears is given by a specialized Macdonald polynomial.

Proposition 17 (See [AS17, AS19]) . Let λ be a partition with /lscript parts and let S , S 1 2 , . . . , S /lscript be subsets of [ m ] such that | S j | = λ j . Then there is a unique coinversion-free filling F of shape λ ′ such that the entries in column j of F are given by S j .

Proposition 17 implies that E λ ′ ( x ; 1; 0) = e λ ( x ). In fact, this identity generalizes to the non-symmetric setting, see [AS19].

We shall also make use of the transformed Hall-Littlewood polynomials , Q ( ′ µ x ; q ). There are many different ways to define these, for example via the Kostka-Foulkes polynomials K λµ ( q ):

$$Q ^ { \prime } _ { \mu } ( { \mathbf x } ; q ) = \sum _ { \lambda } K _ { \lambda \mu } ( q ) s _ { \lambda } ( { \mathbf x } ).$$

We refer to [Mac95, DLT94, TZ03] for more background and properties. For completeness, we provide a combinatorial method for computing K λµ ( q ) in Section 8. The transformed Hall-Littlewood polynomials are closely related to our specialization of the non-symmetric Macdonald polynomials.

Proposition 18 (See [AS17, Thm. 14] or [Hag07]) . For any partition λ

$$E _ { \lambda } ( { \mathbf x } ; q ; 0 ) = \omega Q ^ { \prime } _ { \lambda ^ { \prime } } ( { \mathbf x } ; q ).$$

2.8. Evaluations at roots of unity. Our first goal is to evaluate E λ ( x ; q ; 0) when q is a root of unity. We need a few intermediate results.

Proposition 19 (See [LLT94, Thm. 2.1]) . Let λ be a partition of n . Let d be a positive integer and write m λ j ( ) = dm ′ j + r j with 0 ≤ r j &lt; d . Furthermore, let ξ be a primitive d th root of unity. Then

$$\dot { Q } ^ { \prime } _ { \lambda } ( { \boldsymbol x } ; \xi ) = Q ^ { \prime } _ { \bar { \lambda } } ( { \boldsymbol x } ; \xi ) \prod _ { j = 1 } ^ { n } \left ( Q ^ { \prime } _ { ( j ^ { d } ) } ( { \boldsymbol x } ; \xi ) \right ) ^ { m ^ { \prime } _ { j } }$$

where ˜ λ is the partition (1 r 1 , 2 r 2 , . . . , n r n ) .

Proposition 20 (See [LLT94, Thm. 2.2]) . Let ξ be a primitive n th root of unity. Then

$$Q ^ { \prime } _ { k ^ { n } } ( { \mathbf x } ; \xi ) = ( - 1 ) ^ { k ( n - 1 ) } p _ { n } [ { \mathbf h } _ { k } ( { \mathbf x } ) ].$$

Theorem 21. Let µ be an integer partition and n ∈ N . Furthermore, let ξ be a primitive n th root of unity and d a divisor of n . Then

$$\dot { \kappa } _ { \quad } \dot { \mathrm E } _ { n \mu } ( 1 ^ { m } ; \xi ^ { d }, 0 ) = \prod _ { j \geq 1 } \binom { m } { j } ^ { d \cdot m _ { j } ( \mu ^ { \prime } ) }.$$

Proof. We have that ξ d is a primitive ( n d ) th root of unity. By Proposition 19,

$$Q ^ { \prime } _ { ( n \mu ) ^ { \prime } } ( { \mathbf x } ; \xi ^ { d } ) = \prod _ { j \geq 1 } \left ( Q ^ { \prime } _ { j ^ { n / d } } ( { \mathbf x } ; \xi ^ { d } ) \right ) ^ { d \cdot m _ { j } ( \mu ^ { \prime } ) }.$$

Using Proposition 20, we then have

$$Q ^ { \prime } _ { ( n \mu ) ^ { \prime } } ( { \mathbf x } ; \xi ^ { d } ) = \prod _ { j \geq 1 } \left ( ( - 1 ) ^ { j ( n / d - 1 ) } { \mathbf p } _ { n / d } [ { \mathbf h } _ { j } ( { \mathbf x } ) ] \right ) ^ { d \cdot m _ { j } ( \mu ^ { \prime } ) }. \quad \quad ( 1 4 )$$

Applying the ω -involution on both sides of (14) and using Proposition 18 and Lemma 14 gives

$$E _ { n \mu } ( { \mathbf x } ; \xi ^ { d }, 0 ) = \prod _ { j \geq 1 } \left ( \mathfrak { p } _ { n / d } [ e _ { j } ( { \mathbf x } ) ] \right ) ^ { d \cdot m _ { j } ( \mu ^ { \prime } ) } = \prod _ { j \geq 1 } \left ( e _ { j } ( x _ { 1 } ^ { \frac { n } { d } }, x _ { 2 } ^ { \frac { n } { d } }, \dots ) \right ) ^ { d \cdot m _ { j } ( \mu ^ { \prime } ) }.$$

Finally, we set ( x , . . . , x 1 m ) = (1 , q, q 2 , . . . , q m -1 ) and remaining variables are set to zero. Formulas for the principal specialization of elementary symmetric functions, see [Sta01, p. 303], give

$$E _ { n \mu } ( 1, q, q ^ { 2 }, \dots, q ^ { m - 1 } ; \xi ^ { d }, 0 ) = \prod _ { j \geq 1 } \left ( q ^ { \frac { n } { d } ( \frac { j } { 2 } ) } \begin{bmatrix} m \\ j \end{bmatrix} _ { q ^ { \frac { n } { d } } } \right ) ^ { d \cdot m _ { j } ( \mu ^ { \prime } ) }. \quad \quad ( 1 5 )$$

In particular, with q = 1 we obtain (13).

glyph[square]

Example 22. Let µ = 885322, n = 12 and d = 4. Then µ ′ = 66433222 and

$$\mathbf E _ { 1 2 \mu } ( 1 ^ { m } ; e ^ { \frac { 2 \pi i 4 } { 1 2 } }, 0 ) = \left ( \binom { m } { 2 } ^ { 3 } \binom { m } { 3 } ^ { 2 } \binom { m } { 4 } \binom { m } { 6 } ^ { 2 } \right ) ^ { 4 }.$$

## 3. Cyclic sieving on coinversion-free fillings

Recall that COF( nλ, m ) denotes the set of coinversion-free fillings of shape nλ and entries in [ m ]. Let φ act on COF( nλ, m ) by cyclically shifting the first n columns one step to the right, the next n columns one step to the right, and so on. Finally, the elements in each column are rearranged so that the result is again a coinversion-free filling in COF( nλ, m ). This action is well-defined according to Proposition 17. Clearly, φ generates a cyclic group of order n acting on COF( nλ, m ), see Figure 4 for an example. We are now ready to prove one of the main results of

Figure 4. The action of φ on a filling of shape nλ = 3(2 2 1). , ,

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00083v1-figure-cd93d9f7-a6c4-43bd-a79e-739632244e81.jpg)

the paper.

Theorem 23. For every integer partition λ and n ≥ 1 , the triple

$$( \text{COF} ( n \lambda, m ), \langle \phi \rangle, \text{E} _ { n \lambda } ( 1 ^ { m }, q, 0 ) )$$

exhibits the cyclic sieving phenomenon. Moreover, the family

$$\{ ( \text{COF} ( n \lambda, m ), \langle \phi \rangle, E _ { n \lambda } ( 1 ^ { m }, q, 0 ) ) \} _ { n = 1 } ^ { \infty }$$

is a Lyndon-like family.

Proof. We first need to compute the number of elements fixed under φ d whenever d n | . Since coinversion-free fillings are uniquely determined by their column sets, a coinversion-free filling in COF( nλ, m ) fixed under φ d is uniquely determined by the first d columns in each consecutive block of n columns. Hence,

$$\# \{ F \in \text{COF} ( n \lambda, m ) \colon \phi ^ { d } \cdot F = F \} = \# \text{COF} \left ( d \lambda, m \right ) = \prod _ { j \geq 1 } \binom { m \choose k } ^ { d \cdot m _ { j } ( \lambda ^ { \prime } ) }. \quad ( 1 6 )$$

By using Theorem 21, the statements in the theorem now follows.

glyph[square]

There is another natural group action on coinversion-free fillings. Pick σ ∈ S m and let σ : COF( λ, m ) → COF( λ, m ) act by letting F ′ = σ F ( ) be given by F ′ ( i, j ) = σF i, j ( ) for all ( i, j ) ∈ λ , followed by rearranging the elements in each column of F ′ to obtain a new coinversion-free filling. By Proposition 17, this action is well defined. Let C M = 〈 σ 〉 . Recall the notion of C M acting nearly freely on [ m ] from Example 11. This induces a C M -action on COF( λ, m ).

Theorem 24. Let n and m be positive integers and let λ be a partition. If C n acts nearly freely on [ m ] , then

$$( \text{COF} ( \lambda, m ), C _ { n }, \text{E} _ { \lambda } ( 1, q, q ^ { 2 }, \dots, q ^ { m - 1 } ; 1, 0 ) )$$

exhibits the cyclic sieving phenomenon.

Proof. The proof of the case when λ is rectangular can be found in [Uhl19], and extends to the general case without extra effort. Suppose C n is generated by σ . Write λ ′ = ( λ , . . . , λ ′ 1 ′ c ) and consider the set of c -tuples s = ( s , . . . , s 1 c ), so that s i ⊆ [ m ] and # s i = λ ′ i . We let C n act on such c -tuples by letting σ s = ( σs , . . . , σs 1 c ). Proposition 17 implies that we can identify a coinversion-free filling with its columns sets. Hence, there is a bijection from COF( λ, m ) to the set of c -tuples on the above form and it is clear that this bijection is equivariant with respect to σ , so it suffices to show that the set of c -tuples exhibits the cyclic sieving phenomenon.

But the set of c -tuples is a direct product of sets which we know exhbit the cyclic sieving phenomenon - this is just Example 11. Furthermore, the product of the CSP-polynomials in the example agree with (15) (when ξ = 1). It is straightforward to show that that CSP is preserved under taking direct products (see [Uhl19, Lem. 4.13 ( )]) so we are done. i glyph[square]

Example 25. Note that the above theorem does in general not hold if C M does not act nearly freely on [ m ]. Suppose that n = k = 1 and C 4 is generated by the permutation 〈 (1234) . 〉 Then, the CSP-polynomial E n k (1 , q, q 2 , . . . , q m -1 ; 1 , 0) = 1 + q + q 2 + q 3 + q 4 + q 5 , which evaluated at a primitive 4 th of unity ξ = i yields 1 + i .

Figure 5. An example of the action of σ = (1234567).

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00083v1-figure-e777e5cf-e627-458f-87da-0f47e6a9fb08.jpg)

## 4. Refined CSP on COF( nλ )

Let [m ν ] f denote the coefficient of m ν in the symmetric function f . It follows from Proposition 18 and (10) that

$$[ m _ { \nu } ] E _ { \lambda } ( { \mathbf x } ; q ; 0 ) = \sum _ { \mu } K _ { \mu \nu } ( 1 ) K _ { \mu ^ { \prime } \lambda ^ { \prime } } ( q ).$$

Theorem 26 (See [Rho10b, Thm. 1.4]) . Let µ and ν be compositions of n , with cyclic symmetries a and b , respectively. Let X µ,ν ( ) be the set of /lscript ( λ ) × /lscript ( ν ) binary matrices with row content µ and column-content ν . Then the product Z /lscript ( µ /a ) × Z /lscript ( ν /b ) act on X by a -fold row-rotation and b -fold column-rotation, respectively. Then

$$\left ( X ( \mu, \nu ), \mathbb { Z } _ { \ell ( \mu ) / a } \times \mathbb { Z } _ { \ell ( \nu ) / b }, \delta _ { n } ( q, t ) \sum _ { \lambda \vdash n } K _ { \lambda \mu } ( q ) K _ { \lambda ^ { \prime } \nu } ( t ) \right )$$

exhibits the bi-cyclic sieving phenomenon. Here, δ n ( q, t ) is a messy polynomial taking on values ± 1 at relevant roots of unity. Furthermore, one can check that δ n ( q, t ) ≡ 1 in the case q = 1 .

By only considering the action on the columns in Theorem 26, we get the following corollary.

Corollary 27. Let n ∈ N , λ /turnstileleft k where /lscript = /lscript ( λ ) , ν glyph[satisfies] nk with m parts and let X ν,nλ ( ) be the set of m × nλ 1 binary matrices with row-content ν and columncontent given by the conjugate of nλ . Let Z n act on X ν,nλ ( ) by cyclic rotation of each block of n consecutive columns. Then

$$\left ( X ( \nu, n \lambda ), \mathbb { Z } _ { n }, \sum _ { \mu \vdash n k } K _ { \mu, \nu } ( 1 ) K _ { \mu ^ { \prime }, ( n \lambda ) ^ { \prime } } ( q ) \right )$$

is a CSP-triple.

Proof. Note that there is an easy correspondence between n -fold rotation of columns and rotation of each block of n consecutive columns. glyph[square]

Recall the definition of φ in Section 3, which cyclically shifts each block of n consecutive columns.

Theorem 28. Let n ∈ N , λ /turnstileleft k and let ν be a weak composition of nk with m parts. Then

$$( C O F ( n \lambda, \nu ), \langle \phi \rangle, [ m _ { \nu } ] E _ { n \lambda } ( { \mathbf x }, q, 0 ) )$$

exhibits the cyclic sieving phenomenon.

Proof. Let ϕ denote the one-step cyclic rotation of each block of n consecutive columns in a matrix. By (17) it suffices to show that there is a bijection A : X ν,nλ ( ) → COF( nλ, ν ) such that φ ◦ A M ( ) = A ◦ ϕ M ( ). We let A M ( ) = F if and only if

$$M ( i, j ) = 1 \quad \Longleftrightarrow \quad \text{ column } j \text{ in } F \text{ contains } i.$$

It is straightforward to verify that φ ◦ A M ( ) = A ◦ ϕ M ( ), so fixed-points under ϕ d are mapped to fixed-points under φ d for all d ∈ Z . This proves the theorem. glyph[square]

See Figure 6 for an illustration of Theorem 28.

Figure 6. The orbits of COF(84 (8 2 2)) under , , , φ . The CSPpolynomial is f q ( ) = [m (8 2 2) , , ]E 84 ( x , q, 0) = 1+ q + q 2 + q 3 + q 4 + q 6 . One can easily check that for a primitive 4 th root of unity ξ , f ξ ( ) = 0, f ( ξ 2 ) = 2 and f ( ξ 4 ) = 6 and thus agreeing with the definition of CSP in (4).

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00083v1-figure-b45f22b0-19e6-494f-854f-006dd1b2c8af.jpg)

## 5. Skew specialized Macdonald polynomials

There is a natural generalization of E λ ( x ; q, 0) to skew diagrams. In this section, we shall see that E λ/µ ( x ; q, 0) is symmetric and Schur positive. Interestingly, the coefficients in the Schur expansion are not related to skew Kostka-Foulkes polynomials which at first glance is a natural guess.

A skew specialized Macdonald filling of shape λ/µ is a filling F of the skew shape λ/µ such that each column of F contains distinct entries, the first column is strictly decreasing, and every triple in F is an inversion-triple as in (8). We let COF( λ/µ ) denote the set of all such fillings. It is not difficult to see that Proposition 17 can be generalized to the skew-case as well. In other words a skew specialized Macdonald filling is completely determined by the shape of the diagram and the ordered tuple of column sets.

Definition 29. Let λ/µ be a skew shape, and define the skew (specialized) nonsymmetric Macdonald polynomial as

$$E _ { \lambda / \mu } ( { \mathbf x } ; q, 0 ) = \sum _ { F \in \text{COF} ( \lambda / \mu ) } { \mathbf x } ^ { F } q ^ { \text{maj} ( F ) }.$$

One can quite easily see that these polynomials generalize the skew Schur functions:

$$E _ { \lambda / \mu } ( { \mathbf x } ; 0, 0 ) = s _ { \lambda / \mu } ( { \mathbf x } ).$$

As in the non-skew case, the functions E λ/µ ( x ; q, 0) are actually symmetric, and we are justified to work in any number of variables. It is clear from the definition that

$$E _ { \lambda / \mu } ( { \mathbf x } ; q, 0 ) \coloneqq [ t ^ { * } ] \tilde { H } _ { \lambda / \mu } ( { \mathbf x } ; q, t ).$$

The fact that these are symmetric follows from Theorem 34 below. Symmetry was proved earlier in the non-skew case [Uhl19] by using a variant of the LascouxSchützenberger involutions , see Definition 42 below.

Given a filling F ∈ COF( λ/µ ) and some large integer M , we define the extended filling ˆ as the filling of shape F λ obtained from F as

$$\hat { F } ( i, j ) = \begin{cases} M - i \text{ if } ( i, j ) \in \mu \\ F ( i, j ) \text{ otherwise.} \end{cases}$$

Note that ˆ is a specialized Macdonald filling and that maj( F F ) = maj( ˆ ). F We shall make use of this definition in the next subsection.

Figure 7. Left: A skew specialized Macdonald filling of shape λ/µ with λ = (6 5 4 3 3 2) and , , , , , µ = (3 1 1) with descents marked. , , The weight of the filling is (2 2 3 4 1 3 0 3). , , , , , , , Right: ˆ F with M = 20.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00083v1-figure-9bd4798b-f90b-48bf-b83d-c768cf033e71.jpg)

5.1. Charge, RSK and Schur expansion. We assume that the reader is familiar with the (row-insertion) Robinson-Schenstedt-Knuth correspondence, (RSK), described briefly in Section 2.3. See the appendix, Section 8, for the definition of charge on words and semistandard Young tableaux.

Definition 30. Let µ be a partition and let w be a word with content β (which can be a weak composition) such that µ + β is a partition. The postfix charge charge µ ( w ) is defined via the usual charge statistic as

$$\text{charge} _ { \mu } ( w ) \coloneqq \text{charge} \left ( w \, \cdot \, \ell ^ { \mu _ { \ell } } \cdots 2 ^ { \mu _ { 2 } } 1 ^ { \mu _ { 1 } } \right ).$$

That is, we concatenate a postfix to w with content µ , where the letters appear in decreasing order. For example, charge 21 (12231233) = charge(12231233 · 211) = 2.

Recall the definition of elementary Knuth transforms , stating that yzx ∼ K yxz whenever x &lt; y ≤ z and xzy ∼ K zxy whenever x ≤ y &lt; z . Two words are Knuthequivalent , if one can obtain one from the other via a sequence of elementary Knuth transforms. If w has partition-content, then its equivalence class contains a unique word which is the reading word of a semistandard Young tableau. Moreover, two words of partition content, w and w ′ are Knuth-equivalent if and only if they insert to the same semistandard Young tableau under RSK.

Lemma 31. Let µ be a partition and suppose u and v are Knuth-equivalent. Then u · /lscript µ /lscript · · · 2 µ 2 1 µ 1 and v · /lscript µ /lscript · · · 2 µ 2 1 µ 1 are Knuth-equivalent and charge µ ( u ) = charge µ ( v ) .

Proof. The first statement follows easily from the definition of Knuth-equivalence. Furthermore, if two words are Knuth-equivalent, they have the same charge, [But94, Cor. 2.4.38]. glyph[square]

Recall the notion of a Burge word from Definition 6.

Definition 32. For each skew specialized Macdonald filling F we associate a Burge word W = W F ( ) as follows. For each entry e = F i, j ( ), let ( j e ) be a biletter in W . Take W to be the (unique) Burge word with all such biletters.

The non-skew case of Definition 32 was first given in [AS17]. Recall Proposition 17 and note that we can easily recover the column sets of F from W . The map W from fillings in COF( λ/µ, m ) to biwords where the top row is a weakly increasing sequence with j entries equal to λ ′ j -µ ′ j , and bottom row being elements in [ m ], strictly decreasing on each block of identical elements in the top row, is therefore a bijection. Note that W is a bijection when we fix some shape λ/µ . However, two skew specialized Macdonald fillings of different shapes may give the same biword. For example,

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00083v1-figure-73a06da6-b954-4c75-9a59-2d12424acfee.jpg)

both have the same biword ( 1 1 2 2 3 1 2 1 ).

Note that the content of F is equal to the content of P and is also given by the bottom row of W while the content of Q is given by the top row of W .

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00083v1-figure-95ac2e4a-7a09-4e60-ac2f-42800bb6b724.jpg)

Figure 8. A skew specialized Macdonald filling F , the corresponding biword, and the result ( P, Q ) = (ins( F , ) rec( F )) under RSK.

Proposition 33. Suppose λ/µ is a skew shape and F ∈ COF( λ/µ ) . Then maj( F ) = charge µ ′ (cw( F )) .

Proof. A short proof in the case µ = ∅ was given in [AS19]. Let F ∈ COF( λ/µ ) and let ˆ be the extended filling of F F as in (20). Recall that maj( F ) = maj( ˆ ). F It follows from the definition of the biword that cw( ˆ ) = cw( F F ) · /lscript µ ′ /lscript · · · 2 µ ′ 2 1 µ ′ 1 . The case µ = ∅ and Lemma 31 imply that maj( F ) = maj( ˆ ) = charge(cw( ˆ )) = F F charge µ ′ (cw( F )). glyph[square]

The Robinson-Schenstedt-Knuth correspondence has the essential property that if the word w inserts to P under RSK, then charge( w ) = charge( P ). From this property it follows that RSK provides a bijection

$$\text{COF} ( \lambda / \mu ) \xleftarrow { R S K } \bigcup _ { \nu \vdash | \lambda / \mu | } \text{SSYT} ( \nu, \alpha ) \times \text{SSYT} ( \nu ^ { \prime } ), \quad \alpha _ { i } \coloneqq \lambda _ { i } ^ { \prime } - \mu _ { i } ^ { \prime }, \quad ( 2 1 )$$

such that if F RSK ← - -→ ( P, Q ) then maj( F ) = charge µ ′ (cw( F )) = charge µ ′ ( P ).

We now have the setup needed to prove the following theorem.

Theorem 34 (The Schur expansion of skew specialized Macdonald polynomials) . Let λ/µ be a skew shape and let α be the weak composition given by α i := λ ′ i -µ ′ i . Then

$$E _ { \lambda / \mu } ( { \mathbf x } ; q, 0 ) \coloneqq \sum _ { \nu \vdash | \lambda / \mu | } s _ { \nu ^ { \prime } } ( { \mathbf x } ) \sum _ { T \in { \mathrm S S Y T } ( \nu, \alpha ) } q ^ { \text{charge} _ { \mu ^ { \prime } } ( T ) }.$$

Proof. By definition, E λ/µ ( x ; q, 0) is equal to ∑ F ∈ COF( λ/µ ) x F q maj( F ) , which is equal to ∑ F ∈ COF( λ/µ ) x F q charge µ ′ (cw( F )) by using Proposition 33. Applying the RSK bijection in (21), we then have that

$$E _ { \lambda / \mu } ( { \mathbf x } ; q, 0 ) = \sum _ { \nu } \left ( \sum _ { P \in { \mathrm S S Y T } ( \nu ^ { \prime }, \alpha ) } q ^ { \text{charge} _ { \mu ^ { \prime } } ( P ) } \right ) \, s _ { \nu ^ { \prime } } ( { \mathbf x } ),$$

which is exactly the statement in (22).

Table 3. Here are the Schur expansions of E λ/µ ( x ; q, 0) in the cases | λ | - | µ | ≤ 3.

| Shape λ/µ   | Schur expansion of E λ/µ ( x ; q, 0)   |
|-------------|----------------------------------------|
| 1           | s 1                                    |
| 2           | s 2 + q s 11                           |
| 11          | s 11                                   |
| 21 / 1      | s 2 +s 11                              |
| 3           | s 3 +( q + q 2 )s 21 + q 3 s 111       |
| 21          | s 21 + q s 111                         |
| 111         | s 111                                  |
| 22 / 1      | s 21 + q s 111                         |
| 31 / 1      | s 3 +(1 + q )s 21 + q s 111            |
| 211 / 1     | s 21 +s 111                            |
| 321 / 21    | s 3 +2s 21 +s 111                      |

Recall that the Littlewood-Richardson coefficients c λ µν are defined via the relation s µ ν s = ∑ λ c λ µν s λ , and that the skew Schur functions expand as s λ/µ = ∑ ν c λ µν s ν .

Corollary 35 (A Littlewood-Richardson rule) . Let λ/µ be a skew shape and let α be the weak composition α i := λ ′ i -µ ′ i . Let

$$K _ { \lambda / \mu } ^ { \nu } ( q ) \coloneqq \sum _ { T \in \text{SSYT} ( \nu, \alpha ) } q ^ { \text{charge} _ { \mu ^ { \prime } } ( T ) }.$$

glyph[square]

Then

- (a) K ν λ/µ (0) = c λ µν ′ , a Littlewood-Richardson coefficient,
- (b) K ν λ/µ (1) = K να , a Kostka coefficient,
- (c) The product

$$E _ { \lambda } ( { \mathbf x } ; q, 0 ) E _ { \mu } ( { \mathbf x } ; q, 0 ) = \sum _ { \nu } K ^ { \nu } _ { \kappa / c ^ { r } } ( q ) s _ { \nu ^ { \prime } } ( { \mathbf x } )$$

$$\text{where } c = \mu _ { 1 }, \, r = \ell ( \lambda ), \, a n d \, \kappa = ( c + \lambda _ { 1 }, \dots, c + \lambda _ { \ell ( \lambda ) }, \mu _ { 1 }, \mu _ { 2 }, \dots, \mu _ { \ell ( \mu ) } ).$$

Proof. The first and second identity follows from Theorem 34 and (18). The third identity follows from the observation that the product in the left hand side can be realized as a single skew specialized Macdonald polynomial, E ( λ + c,µ /c ) r ( x ; q, 0), see the diagram in (24).

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00083v1-figure-c6d1caa5-e133-4294-aa0b-6538ccb91e83.jpg)

glyph[square]

The coefficients K ν λ/µ ( q ) might be related to the parabolic Kostka polynomials , whose constant terms are also Littlewood-Richardson coefficients, see [SW00, KSS01] for details.

We end this subsection with proving an additonal property of postfix-charge. Recall that the charge statistic is Mahonian , meaning that ∑ σ ∈ S n q charge( σ ) = [ n ] q !. There is a natural generalization of this identity for charge µ ( ). ·

## Proposition 36. Let µ /turnstileleft m and n ≥ 0 . Then

$$\sum _ { \sigma \in S _ { n } } q ^ { \text{charge} _ { \mu } ( \sigma ) } = n! \prod _ { i \geq 1 } \frac { [ \lambda _ { i } - \mu _ { i } ] _ { q }! } { ( \lambda _ { i } - \mu _ { i } )! }$$

where λ ′ = ( µ ′ 1 +1 , µ ′ 2 +1 , . . . , µ ′ n +1 , µ n +1 , . . . ) .

Proof. First note that the shape λ/µ has exactly one box in each of the first n columns. For example, µ = 53111 and n = 8 gives the following skew shape λ/µ :

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00083v1-figure-0e3c3a72-86df-43c8-9eda-1418d8cba450.jpg)

We use Proposition 33 together with the fact that every permutation appear as charge word appears exactly one when summing over fillings with weight 1 n . Hence,

$$[ x _ { 1 } x _ { 2 } \cdots x _ { n } ] E _ { \lambda / \mu } ( { \mathbf x } ; q ) = \sum _ { \sigma \in S _ { n } } q ^ { \text{charge} _ { \mu } ( \sigma ) }.$$

But the left hand side is easy to compute directly since the rows of λ/µ occupy disjoint columns; there are n / ! (( λ 1 -µ 1 ) · · · ( λ /lscript -µ /lscript )) ways to distribute { 1 2 , , . . . , n } in the rows of λ/µ . Furthermore, in row i , the major index gives the Mahonian

distribution [ λ i -µ i ] q ! when summing over all permutations of the entries. This implies the formula. glyph[square]

5.2. CSP on skew specialized Macdonald polynomials. We can generalize Theorem 23 to the skew setting. We let φ act on COF( nλ/nµ,m ) as before, by cyclically shifting each block of n consecutive columns one step to the right, followed by rearranging the entries in each column such that a (unique) specialized Macdonald filling is obtained. Again, 〈 φ 〉 is a cyclic group of order n .

Theorem 37. For every skew shape λ/µ and n ≥ 1 , the triple

$$\left ( \text{COF} ( n \lambda / n \mu, m ), \langle \phi \rangle, \text{E} _ { n \lambda / n \mu } ( 1 ^ { m }, q, 0 ) \right )$$

exhibits the cyclic sieving phenomenon. Furthermore, the family

$$\{ ( \text{COF} ( n \lambda / n \mu, m ), \langle \phi \rangle, \text{E} _ { n \lambda / n \mu } ( 1 ^ { m }, q, 0 ) ) \} _ { n = 1 } ^ { \infty }$$

is Lyndon-like, as described in Definition 12.

Proof. We first note that the number of descents between two adjacent columns of the same height only depends on the set of entries in each column, see [Uhl19]. Now consider the blocks of columns, where each block consists of n consecutive columns (of the same height). Descents involving two entries from different blocks only contribute with a multiple of n to the major index. Hence, in order to determine the major index mod n of a filling, it suffices to examine the columns in each block separately. Let ν be the partition, such that the parts of ν ′ is given by the multiset { λ ′ i -µ ′ i : i = 1 2 , , . . . } . By the previous observations,

$$E _ { n \lambda / n \mu } ( 1 ^ { m }, q, 0 ) \equiv E _ { n \nu } ( 1 ^ { m }, q, 0 ) \mod ( q ^ { n } - 1 ).$$

It is then straightforward to use the same arguments as in the non-skew case, Theorem 23, to finish the proof. glyph[square]

Note that Theorem 28 can be generalized to the skew setting using a similar argument - we leave the details to the reader.

## 6. Crystal operators on words and SSYT

We now recall some minimal background on crystal operators on words and semistandard Young tableaux, see [BS17, Shi] for more background.

The operators ˜ , e i ˜ : f i N k → N k ∪{∅} are defined as follows. Given a word w ∈ N k consider the subword w i consisting only of the letters i and i +1. Replace each instance of i with a right bracket and each i +1 with a left bracket. Remove all pairs of matching brackets and consider the remaining unmatched brackets, which now consist of a right-brackets and b left-brackets. These brackets correspond to a subword w ′ of the form i a ( i +1) b in w . The operator ˜ e i acting on w turns the leftmost i +1 of w ′ into an i , if such an entry exists, otherwise, ˜ ( e i w ) := ∅ . Similarly, ˜ f i acting on w ′ turns the rightmost i in w ′ into an i +1, if such an entry exists, otherwise, ˜ ( f i w ) := ∅ . For example,

˜ (2 e 1 , 1 3 1 2 4 2 1 1 3 1 2 3 2 1 2 1) = 2 1 3 1 2 4 2 1 1 3 1 1 3 2 1 2 1 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , .

The operator ˜ e i is a crystal raising operator while ˜ f i is a crystal lowering operator . The operators also act on semistandard Young tableaux by acting on the reading word. We define a graph structure on words (or semistandard Young tableaux) by having a labeled directed edge u → v with label i if f i ( u ) = v . Examples on such components are given in Figure 9.

Figure 9. A crystal graph on words and one on SSYT.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00083v1-figure-50bed830-0874-4b26-bf4f-37eb1f68a130.jpg)

6.1. Crystal operators on COF and RSK. We shall now define crystal operators on the set COF( λ/µ ). These operators are considered in [Uhl19], and the non-skew case was recently considered by S. Assaf and N. Gonzáles [AG18], where the authors prove that they are indeed crystal operators. Here, we take a slightly different route and define the operators on biwords instead - it is straightforward to verify that our definitions are equivalent with theirs. These crystal biwords are closely related to the biwords we have seen previously.

Definition 38 (Crystal operators on fillings) . Let F ∈ COF( λ/µ ) and define the crystal biword ˜ , with entry ( W j c ) appearing in ˜ W if and only if there is a box with value j in column c . The entries in ˜ W are then sorted decreasingly, primarily on the bottom row entry , see Figure 10. Note that this is map to ˜ W is invertible if λ/µ is fixed. We then define ˜ ( e i F ), and ˜ ( f i F ) as the result when applying e i and f i , respectively, on the first row of ˜ . W

For the subset of coinversion-free fillings F with maj( F ) = 0, these operators are essentially a generalization of the raising- and lowering operators defined on semistandard Young tableaux.

$$F = \frac { 3 | 3 | 1 } { 2 | 2 } }, \ \tilde { W } = \begin{pmatrix} 3 \ 1 \ 2 \ 1 \ 4 \ 3 \ 2 \ 3 \ 2 \ 1 \\ 5 \ 4 \ 3 \ 3 \ 2 \ 2 \ 2 \ 1 \ 1 \ 1 \end{pmatrix}, \ \ W = \begin{pmatrix} 1 \ 1 \ 1 \ 2 \ 2 \ 2 \ 3 \ 3 \ 3 \ 4 \\ 4 \ 3 \ 1 \ 3 \ 2 \ 1 \ 5 \ 2 \ 1 \ 2 \end{pmatrix}$$

Figure 10. A skew specialized Macdonald filling F , the corresponding crystal biword ˜ W and the biword W used for RSK. Note that the only difference between ˜ W and W is the ordering of the entries.

The following theorem was proven independently by S. Assaf and N. Gonzáles [AG18] and the second author [Uhl19].

/negationslash

Theorem 39 (See [Uhl19, AG18]) . The operators ˜ e i and ˜ f i preserve major index. That is, suppose that F and F ′ are in COF( λ/µ ) and that ˜ ( e i F , f ) ˜ ( i F ′ ) = ∅ . Then

$$\ m a j ( \tilde { e } _ { i } ( F ) ) = \ m a j ( F ) \ a n d \ m a j ( \tilde { f } _ { i } ( F ^ { \prime } ) ) = \ m a j ( F ^ { \prime } ).$$

Furthermore, F , ˜ ( e i F ) and ˜ ( f i F ) differ only at boxes with entries i and i +1 .

In Theorem 41 below we prove that the operators ˜ e i and ˜ f i define proper crystal graphs on the set COF( λ/µ ). See Figure 11 for examples of crystal graphs on coinversion-free fillings.

There is an important interaction between the crystal operators and the RSK correspondence, as we shall see in the following example.

## Example 40. Suppose F ∈ COF( ) with biword λ W

$$W = \begin{pmatrix} 1 & 1 & 1 & 2 & 2 & 3 & 3 & 4 \\ 4 & 3 & 1 & 3 & 2 & 1 & 5 & 2 & 1 & 2 \end{pmatrix}.$$

The crystal biword is

$$\tilde { W } = \begin{pmatrix} 3 & 1 & 2 & 1 & 4 & 3 & 2 & 3 & 2 & 1 \\ 5 & 4 & 3 & 3 & 2 & 2 & 2 & 1 & 1 & 1 \end{pmatrix}.$$

Apply e 1 on the top row; We have the subword 121221 which turn into 121121 under e 1 .

$$\begin{pmatrix} 3 & 1 & 2 & 1 & 4 & 3 & \underline { 1 } & 3 & 2 & 1 \\ 5 & 4 & 3 & 3 & 2 & 2 & 1 & 1 & 1 \end{pmatrix}$$

Sort columns again to obtain the biword W ′ that correspond to ˜ ( e 1 F ).

$$\tilde { e } _ { 1 } ( F ) \leftrightarrow \begin{pmatrix} 1 & 1 & 1 & 2 & 2 & 3 & 3 & 4 \\ 4 & 3 & 2 & 1 & 3 & 1 & 5 & 2 & 1 & 2 \end{pmatrix}.$$

If we now perform RSK on W and W ′ we see in Figure 12 that ˜ e 1 has a predictable effect on the corresponding insertion- and recording tableau, see Theorem 41.

/negationslash

/negationslash

Theorem 41. Let F ∈ COF( λ/µ ) and suppose ˜ ( e i F ) = ∅ . Then ins( F ) = ins(˜ ( e i F )) and e i (rec( F )) = rec(˜ ( e i F )) . Stated equivalently on biwords: Let W be a biword and let ˜ W be its entries reordered such that it is a crystal biword. Suppose ˜ ( e i ˜ ) = W ∅ , and that W ′ is the biword corresponding to ˜ ( e i ˜ ) W . Then ins( W ) = ins( W ′ ) and e i (rec( W )) = rec( W ′ ) . The analogous statements for ˜ f i also hold.

Figure 11. The crystal structure on skew coinversion-free fillings of shape λ/µ with λ = (3 2) and , µ = (1) in 3 variables. Notice that the large component is isomorphic to the crystal graphs in Figure 9.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00083v1-figure-af5cd704-9847-41ae-90e6-d3ae96dacb04.jpg)





Figure 12. An example of the raising operator at the level of RSK.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00083v1-figure-e8ee0c83-dc2a-4708-93c4-70c824bdc8ad.jpg)

The pairs of tableaux correspond to the two biwords in Example 40.

Proof sketch: The fact that ins( F ) = ins(˜ ( e i F )) follows from properties of the classical RSK algorithm.

The second property requires some more work, but every step is a routine transformation using known properties of various versions of RSK. First restate the property to the analogous statement about the dual RSK insertion algorithm (using column insertion), see [Kra06, Sec. 4.3]. One can then use that dual RSK and classical RSK are related in a simple manner (see e.g. [But94, Prop. 2.3.14]) and reduce the problem further to the case of the classical RSK. For classical RSK, the interaction with crystal operators is well-documented, see e.g. [Shi, Las03, BS17]. glyph[square]

Using the bijection in Theorem 41, we see that the set COF( λ/µ ) is indeed a crystal graph under the raising- and lowering operators, since we have an equivariant bijection with crystals and crystal operators on semistandard tableaux. We remark that S. Assaf and N. Gonzáles [AG18] proved the same result in the non-skew case by verifying the local characterization axioms introduced by Stembridge, see [Ste03].

We shall now briefly discuss an application of the crystal operators. Using the crystal operators ˜ e i and ˜ , f i we can define involutions on COF( λ/µ ). For a coinversion-free filling F , denote m i = m F i ( ) the number of i -entries of F .

Definition 42. For i ∈ N , define the operators ˜ s i on COF( λ/µ ) by letting

$$\tilde { s } _ { i } ( F ) \coloneqq \begin{cases} ( \tilde { e } _ { i } ) ^ { m _ { i + 1 } - m _ { i } } ( F ) & \text{if $m<m_{i+1}$} \\ ( \tilde { f } _ { i } ) ^ { m - m _ { i + 1 } } ( F ) & \text{if $m_{i}>m_{i+1}$} \\ F & \text{if $m_{i}=m_{i+1}$}. \end{cases}$$

Restricted to the set of coinversion-free fillings with maj = 0, the operators ˜ s i are essentially the famous Lascoux-Schützenberger involutions [LS78]. The difference being that the elements with maj = 0 have weakly decreasing rows and strictly increasing columns as opposed to the weakly increasing in rows and strictly increasing in columns for in semistandard Young tableaux.

It is clear by Theorem 39 that the operators ˜ s i are maj-preserving involutions. Furthermore, if F ∈ COF( λ/µ ) and wt( F ) = ( w , . . . , w 1 r ), then ˜ ( s i F ) = ( w , . . . , w 1 i +1 , w , . . . , w i r ). This yields yet another proof that E λ/µ ( x ; q, 0) is symmetric. In fact, it follows from general theory of crystals that the operators ˜ , ˜ , s 1 s 2 . . . , s ˜ r -1 generate an S r -action on COF( λ/µ, r ).

## 7. Schur expansion of certain vertical-strip LLT polynomials

In this section, we briefly sketch that E λ/µ ( x ; q, 0) sometimes is a vertical strip LLT polynomial , up to a power of q . As a consequence, we therefore obtain an explicit formula for the Schur expansion of these particular LLT polynomials. Hence, we provide a new family of LLT polynomials with a combinatorial Schur expansion, not covered by previous results. We note that it is a major open problem in general to describe the LLT polynomials in the Schur basis.

Definition 43 (As in [HHL05]) . Let ν be a k -tuple of skew Young diagrams. Given such a tuple, we let SSYT( ν ) = SSYT( ν 1 ) × SSYT( ν 2 ) ×··· × SSYT( ν k ) where SSYT( λ/µ ) is the set of skew semistandard Young tableaux of shape λ/µ . Given T = ( T 1 , T 2 , . . . , T k ) ∈ SSYT( ν ), let x T := x T 1 · · · x T k where x T i is the same monomial weight of T i as for Schur polynomials. Given a cell u = ( r, c ) (row, column) in a skew diagram, the content is defined as c u ( ) := c -r . Entries T i ( u ) &gt; T j ( v ) in a tuple form an inversion if and only if

$$i < j \text{ and } c ( u ) = c ( v ), \text{ \ or \ } i > j \text{ and } c ( u ) = c ( v ) - 1.$$

The LLT polynomial associated with the k -tuple ν is given by

$$\text{LLT} _ { \nu } ( \mathbf x ; q ) = \sum _ { T \in \text{SSYT} ( \nu ) } q ^ { \text{inv} ( T ) } \mathbf x ^ { T }$$

where inv( T ) is the total number of inversions appearing in T . One can show that LLT ( ν x ; q ) is a symmetric function, see [HHL05] or [AP18] for short proofs.

LLT polynomials such that each ν j is a skew shape of the form 1 a / 1 b with a ≥ b are called vertical strip LLT polynomials . Given a k -tuple ν , we let mininv( ν ) be the minimum number of inversions obtainable over all fillings. That is,

$$\min \text{inv} ( \nu ) \coloneqq \min _ { T \in \text{SSYT} ( \nu ) } \text{inv} ( T ).$$

Example 44. A k -tuple of skew shapes is traditionally illustrated using the French convention where box (1 1) of each shape , ν i is placed on the line y = x with content 0, and Cartesian coordinates are used. Below, we illustrate an element

$$T \in \text{SSYT} ( 1 ^ { 3 } / \emptyset ) \times \text{SSYT} ( 1 ^ { 3 } / 1 ^ { 1 } ) \times \text{SSYT} ( 1 ^ { 2 } / 1 ^ { 1 } ) \times \text{SSYT} ( 1 ^ { 3 } / \emptyset )$$

which appears when computing the vertical-strip LLT polynomial LLT ν ( x ; q ) for ν = (111 / ∅ , 111 1 11 / , / 1 111 , / ∅ ).

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00083v1-figure-cd7717b5-f749-4d0d-ac7f-caae1914a86f.jpg)

There are two inversions involving boxes u and v where c u ( ) = c v ( ) and six inversions for which c u ( ) = c v ( ) -1. Hence, T contributes with q 8 x x x x x x 1 2 2 3 2 4 2 5 6 . The full LLT polynomial LLT ν ( x ; q ) in the Schur basis is given by q 8 s 333 + q 7 s 432 +( q 9 + q 10 + q 11 )s 3222 +( q 8 +2 q 9 + q 10 )s 3321 +( q 8 + q 9 )s 4221 + q 8 s 4311 +( q 10 + q 11 + q 12 + q 13 )s 22221 +( q 9 +3 q 10 +2 q 11 + q 12 )s 32211 +( q 9 + q 10 + q 11 )s 33111 +( q 9 + q 10 )s 42111 +(2 q 11 +2 q 12 + q 13 + q 14 )s 222111 +( q 10 +2 q 11 +2 q 12 + q 13 )s 321111 + q 11 s 411111 +( q 12 +2 q 13 + q 14 + q 15 )s 2211111 +( q 12 + q 13 + q 14 )s 3111111 +( q 14 + q 15 + q 16 )s 21111111 + q 17 s 111111111 .

As q 7 is the lowest power of q that appear in the expansion, we must have that mininv( ν ) = 7.

The current state-of-the-art regarding combinatorial proofs of Schur positivity of LLT polynomials is as follows.

- · When all shapes in ν are non-skew, the coefficients in the Schur basis are known to be certain parabolic Kazhdan-Lusztig polynomials, see [LT00]. Hence, the coefficients are in N [ q ]. In particular, this case contains the Hall-Littlewood symmetric functions.
- · Whenever the k -tuple of shapes ν consists of at most 3 shapes, all avoiding an arrangement of 2 × 2-boxes (that is, they are ribbons), Schur positivity is given by a combinatorial formula, see J. Blasiak [Bla16].
- · A few other cases when each shape in ν is a single box is given in [HNY18].

Theorem 45. Let λ/µ be a skew shape such that no column contains more than two boxes. Then

$$E _ { \lambda ^ { \prime } / \mu ^ { \prime } } ( { \mathbf x } ; q, 0 ) = q ^ { - \min v ( \nu ) } L L T _ { \nu } ( { \mathbf x } ; q )$$

where ν j is the vertical strip ( λ j ) / µ ( j ) .

Proof sketch. For the modified Macdonald polynomials ˜ H ( λ x ; q, t ), we have the symmetry ˜ H ( λ x ; q, t ) = ˜ H λ ′ ( x ; t, q ). This interchanges the rôle of inversion triples and major index, see [Hag07]. This relationship extends to modified Macdonald polynomials indexed by skew shapes λ/µ as long as each column contains at most two boxes, see J. Brandlow, [Bra07, Thm. 5].

There is a correspondence between inversion triples and inversions that appearing definition of LLT polynomials. In [HHL05, Eq. (23)], the authors provide (via a straightforward bijective argument) an expansion of the form

$$\tilde { H } _ { \lambda } ( { \mathbf x } ; q, t ) = \sum _ { D } q ^ { \text{maj} ( D ) } t ^ { - \text{stat} ( D ) } L L T _ { \nu ( D ) } ( { \mathbf x } ; t ),$$

where the sum runs over all subsets (possible descents) of boxes ( i, j ) with i &gt; 1 of the diagram λ . In particular, the coefficient of the terms maximizing the major index a vertical-strip LLT polynomial. This expansion has a natural extension to skew shapes and one can check that stat( ) corresponds to mininv( ) for the · · highest-degree term. Combining all these observations we have

$$E _ { \lambda ^ { \prime } / \mu ^ { \prime } } ( { \mathbf x } ; q, 0 ) = [ t ^ { * } ] \tilde { \mathbf H } _ { \lambda ^ { \prime } / \mu ^ { \prime } } ( { \mathbf x } ; t, q ) = [ t ^ { * } ] \tilde { \mathbf H } _ { \lambda / \mu } ( { \mathbf x } ; q, t ) = q ^ { - \min i n i v ( \nu ) } L L T _ { \nu } ( { \mathbf x } ; q ).$$

The first identity is due to (19). The second identity is the tricky part and relies on [Bra07]. The third identity is a simple generalization of (26). glyph[square]

Example 46. We illustrate Theorem 45 in the case λ/µ = 4431 31. / The skew shape λ/µ is illustrated in (27) where we have labeled the boxes from right to left, top to bottom. The corresponding k -tuple of vertical strips is shown to the right. The labeling has the property that it maps inversion pairs in the filling to the right, to inversions in the LLT diagram, see [HHL05] for details.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00083v1-figure-eb4530a1-1dd4-4f4d-82af-d8d2a5020f8c.jpg)

Notice that no column contains more than two boxes so the conditions in the theorem applies. The k -tuple ν is 1111 / 111, 1111 / 1, 111 / ∅ , 1 / ∅ , and it is easy (for

a computer) to check that

$$E _ { \lambda ^ { \prime } / \mu ^ { \prime } } ( x ; q, 0 ) & = s _ { 3 3 2 } + s _ { 4 2 2 } + ( 1 + q ^ { 2 } ) s _ { 2 2 2 2 } + ( 2 + 2 q ) s _ { 3 2 2 1 } + s _ { 3 3 1 1 } + s _ { 4 2 1 1 } \\ & \quad + ( 3 q + q ^ { 2 } ) s _ { 2 2 2 1 1 } + 4 q s _ { 3 2 1 1 1 } + q s _ { 4 1 1 1 1 } + 4 q ^ { 2 } s _ { 2 2 1 1 1 } + 3 q ^ { 2 } s _ { 3 1 1 1 1 1 1 } \\ & \quad + 3 q ^ { 3 } s _ { 2 1 1 1 1 1 1 } + q ^ { 4 } s _ { 1 1 1 1 1 1 1 1 1 } \\.$$

and that this is also equal to q -1 LLT ( ν x ; q ).

As a final check, we verify one of the coefficients with the combinatorial formula. Using the notation in Theorem 34, α = 1331. The term (2 + 2 )s q 3221 then arises from the four semistandard tableaux

1 2 2 2

3 3 3

4

1

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00083v1-figure-287f9411-3cae-4861-ab6f-d82451bcf19c.jpg)

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00083v1-figure-d00404f4-0063-487a-8bbf-f0f17df81600.jpg)

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00083v1-figure-3777168d-443a-4db1-b547-23ad48bceeb6.jpg)

1

where the value of charge 31 ( w ) = charge( w · 2111) is shown under each tableau.

Acknowledgements. The authors would like to thank Svante Linusson and Samu Potka for helpful discussions. We also thank Jim Haglund for suggesting to look at the connection with LLT polynomials and the relevance of [Bra07]. The first author is funded by the Swedish Research Council (Vetenskapsrådet), grant 2015-05308.

## 8. Appendix: How to compute Kostka-Foulkes polynomials

We shall briefly describe how to compute the coefficients K λµ ( q ) appearing in Equation (10). This combinatorial model was first described by A. Lascoux and M. Schützenberger in [LS78]. For a permutation σ ∈ S k , let Des( σ ) := { i ∈ [ k -1] : σ i +1 &lt; σ i } , and let rev( σ ) be the reverse, σ , σ n k -1 , . . . , σ 1 . We can now introduce the notion of charge of a permutation.

$$\text{charge} ( \sigma ) \coloneqq \text{maj} ( \text{rev} ( \sigma ^ { - 1 } ) ) = \sum _ { i \notin \text{Des} ( \sigma ^ { - 1 } ) } ( k - i ).$$

For example, charge(198423765) = maj(rev(156498732)) = maj(237894651) = 20 .

Given a word w with content µ /turnstileleft n , we partition its entries into standard subwords as follows. Start from the right of w and mark the first occurrence of 1. Proceed to the left, and mark the first occurrence of 2, then 3 and so on, wrapping around the end if nessecary, until µ ′ 1 entries have been marked. This subword is the first standard subword of w . Remove this subword, and repeat the process to find the second standard subword, of length µ ′ 2 .

For example, the first standard subword in w = 21123543411223 has been circled.

$$2, 1, 1, ( 2 ), 3, ( 5 ), 4, 3, ( 4 ), 1, ( 1 ), 2, 2, ( 3 ).$$

In total, we have four standard subwords in w , with corresponding charge values charge(25413) = 3 , charge(2431) = 2 charge(132) = 2 charge(12) = 1 ,

and we define charge( w ) as the sum of the charge values of the standard subwords. In the example above, charge( w ) = 8.

,

,

.

Recall the definition of the reading word rw( T ) of a semistandard Young tableau from Definition 4. We then define charge( T ) := charge(rw( T )) and the KostkaFoulkes polynomial K λµ ( q ) may be computed as

$$K _ { \lambda \mu } ( q ) = \sum _ { T \in \text{SSYT} ( \lambda, \mu ) } q ^ { \text{charge} ( T ) }.$$

Example 47 (Computing a Kostka-Foulkes polynomial) . Consider the case λ = 421, µ = 3211. There are four tableaux in SSYT( λ, µ ). Below, these are displayed, each with the list of standard subwords and corresponding charge values.

1 1 1 4

1 1 1 2

2 2

3

3214

,

21

,

1

1+0+0

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00083v1-figure-cf48ebd6-414c-4961-9bb6-e76265d62fed.jpg)

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00083v1-figure-bda3179d-cd1c-436f-a0e8-5157994884f8.jpg)

2 3

4

4231

,

12

,

2+1+0

Hence, K λµ ( q ) = q +2 q 2 + q 3 .

We remark that there is also the notion of skew Kostka-Foulkes polynomials , K λ/µ,ν ( q ) see [But94]. They are defined as in (29), where the sum now ranges over the elements in SSYT( λ/µ, ν ). To our knowledge, there is no obvious relationship between these skew Kostka-Foulkes polynomials and the polynomials

$$\sum _ { T \in \text{SSYT} ( \nu ^ { \prime }, \alpha ) } q ^ { \text{charge} _ { \mu ^ { \prime } } ( T ) }$$

appearing in (22).

## References

[AG18] Sami Assaf and Nicolle S. González. Crystal graphs, key tabloids, and nonsymmetric Macdonald polynomials. In 30th International Conference on Formal Power Series and Algebraic Combinatorics (Hanover) , volume 80B. Séminaire Lotharingien de Combinatoire, 2018. 12 pages. URL: https://www.mat.univie.ac.at/~slc/wpapers/FPSAC2018/ 81-Assaf-Gonzalez.html .

[Ale15] Per Alexandersson. Non-symmetric Macdonald polynomials and Demazure-Lusztig operators. ArXiv e-prints , 2015. arXiv:1602.05153 .

[ALP19] Per Alexandersson, Svante Linusson, and Samu Potka. The cyclic sieving phenomenon on circular Dyck paths. ArXiv e-prints , 2019. arXiv:1903.01327 .

[AP18] Per Alexandersson and Greta Panova. LLT polynomials, chromatic quasisymmetric functions and graphs with cycles. Discrete Mathematics , 341(12):3453-3482, December 2018. doi:10.1016/j.disc.2018.09.001 .

[AS17] Per Alexandersson and Mehtaab Sawhney. A major-index preserving map on fillings. Electronic Journal of Combinatorics , 24(4):1-30, 2017. URL: http://www.combinatorics. org/ojs/index.php/eljc/article/view/v24i4p3 .

[AS19] Per Alexandersson and Mehtaab Sawhney. Properties of non-symmetric Macdonald polynomials at q = 1 and q = 0. Annals of Combinatorics , 23(2):219-239, May 2019. doi:10.1007/s00026-019-00432-z .

[Ass18] Sami Assaf. Nonsymmetric Macdonald polynomials and a refinement of Kostka-Foulkes polynomials. Transactions of the American Mathematical Society , 370(12):8777-8796,

July 2018. doi:10.1090/tran/7374 .

[Bla16] Jonah Blasiak. Haglund's conjecture on 3-column Macdonald polynomials. Mathematische Zeitschrift , 283(1-2):601-628, January 2016. doi:10.1007/s00209-015-1612-7 .

[Bra07] Jason Brandlow. Combinatorics of Macdonald polynomials and extensions . PhD thesis, UC San Diego, 2007. URL: https://escholarship.org/uc/item/5zd262sp .

[BS17] Daniel Bump and Anne Schilling. Crystal Bases: representations and combinatorics . World Scientific, October 2017. doi:10.1142/9876 .

(30)

1

| [But94]   | Lynne M. Butler. Subgroup Lattices and Symmetric Functions . American Mathematical Society, 1994. URL: https://bookstore.ams.org/memo-112-539 .                                                                                                           |
|-----------|-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [Che95]   | Ivan Cherednik. Nonsymmetric Macdonald polynomials. International Mathematics Research Notices , 1995(10):483, 1995. doi:10.1155/s1073792895000341 .                                                                                                      |
| [DLT94]   | J. Désarménien, B. Leclerc, and J.-Y. Thibon. Hall-Littlewood functions and Kostka- Foulkes polynomials in representation theory. Séminaire Lotharingien de Combinatoire [electronic only] , 32:38, 1994. URL: http://eudml.org/doc/119019 .              |
| [Gor19]   | Ofir Gorodetsky. q -congruences, with applications to supercongruences and the cyclic sieving phenomenon. International Journal of Number Theory , May 2019. doi:10.1142/ s1793042119501069 .                                                             |
| [Hag07]   | James Haglund. The q, t -Catalan numbers and the space of diagonal harmonics (Uni- versity lecture series) . American Mathematical Society, 2007. URL: https://www.math. upenn.edu/~jhaglund/books/qtcat.pdf .                                            |
| [HHL05]   | James Haglund, Mark Haiman, and Nicholas Loehr. A combinatorial formula for Mac- donald polynomials. J. Amer. Math. Soc. , 18(03):735-762, July 2005. doi:10.1090/ s0894-0347-05-00485-6 .                                                                |
| [HHL08]   | James Haglund, Mark Haiman, and Nick Loehr. A combinatorial formula for nonsym- metric Macdonald polynomials. American Journal of Mathematics , 130(2):359-383, 2008. doi:10.1353/ajm.2008.0015 .                                                         |
| [HNY18]   | JiSun Huh, Sun-Young Nam, and Meesue Yoo. Melting lollipop chromatic quasisymmetric functions and Schur expansion of unicellular LLT polynomials. ArXiv e-prints , 2018. arXiv:1812.03445 .                                                               |
| [Kra06]   | Christian Krattenthaler. Growth diagrams, and increasing and decreasing chains in fillings of Ferrers shapes. Advances in Applied Mathematics , 37(3):404-431, September 2006. doi:10.1016/j.aam.2005.12.006 .                                            |
| [KS97]    | Friedrich Knop and Siddhartha Sahi. A recursion and a combinatorial formula for Jack polynomials. Inventiones Mathematicae , 128(1):9-22, March 1997. doi:10.1007/ s002220050134 .                                                                        |
| [KSS01]   | Anatol N. Kirillov, Anne Schilling, and Mark Shimozono. Various representations of the generalized Kostka polynomials. In The Andrews Festschrift , pages 209-226. Springer Berlin Heidelberg, 2001. doi:10.1007/978-3-642-56513-7_10 .                   |
| [Las03]   | Alain Lascoux. Double crystal graphs. In Studies in Memory of Issai Schur , pages 95-114. Birkhäuser Boston, 2003. doi:10.1007/978-1-4612-0045-1_5 .                                                                                                      |
| [LLT94]   | Alain Lascoux, Bernard Leclerc, and Jean-Yves Thibon. Green polynomials and Hall- Littlewood functions at roots of unity. European Journal of Combinatorics , 15(2):173-180, March 1994. doi:10.1006/eujc.1994.1019 .                                     |
| [LS78]    | Alain Lascoux and Marcel-Paul Schützenberger. Sur une conjecture de H. O. Foulkes. C. R. Acad. Sci. Paris Sér. A-B , 286(7):A323-A324, 1978.                                                                                                              |
| [LT00]    | Bernard Leclerc and Jean-Yves Thibon. Littlewood-Richardson coefficients and Kazhdan- Lusztig polynomials. In Combinatorial Methods in Representation Theory , volume 28, pages 155-220. Mathematical Society of Japan, 2000. doi:10.2969/aspm/02810155 . |
| [Mac95]   | Ian G. Macdonald. Symmetric functions and Hall polynomials . Oxford Mathematical Monographs. The Clarendon Press Oxford University Press, New York, second edition, 1995. With contributions by A. Zelevinsky, Oxford Science Publications.               |
| [Opd95]   | Eric M. Opdam. Harmonic analysis for certain representations of graded Hecke algebras. Acta Mathematica , 175(1):75-121, 1995. doi:10.1007/BF02392487 .                                                                                                   |
| [PPR08]   | T. Kyle Petersen, Pavlo Pylyavskyy, and Brendon Rhoades. Promotion and cyclic sieving via webs. Journal of Algebraic Combinatorics , 30(1):19-41, September 2008. doi:10.1007/s10801-008-0150-3 .                                                         |
| [Rho10a]  | Brendon Rhoades. Cyclic sieving, promotion, and representation theory. Journal of Combinatorial Theory, Series A , 117(1):38-76, January 2010. doi:10.1016/j.jcta.2009. 03.017 .                                                                          |
| [Rho10b]  | Brendon Rhoades. Hall-Littlewood polynomials and fixed point enumeration. Discrete Mathematics , 310(4):869-876, February 2010. doi:10.1016/j.disc.2009.10.003 .                                                                                          |
| [RSW04]   | Victor Reiner, Dennis Stanton, and Dennis White. The cyclic sieving phenomenon. Journal of Combinatorial Theory, Series A , 108(1):17-50, October 2004. doi:10.1016/ j.jcta.2004.04.009 .                                                                 |

| [Sag92]   | Bruce E. Sagan. Congruence properties of q -analogs. Advances in Mathematics , 95(1):127- 143, September 1992. doi:10.1016/0001-8708(92)90046-n .                                                                     |
|-----------|-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [Sag11]   | Bruce E. Sagan. The cyclic sieving phenomenon: a survey. In Robin Chapman, editor, Surveys in Combinatorics 2011 , pages 183-234. Cambridge University Press, 2011. doi:10.1017/cbo9781139004114.006 .                |
| [Shi]     | Mark Shimozono. Crystals for dummies. Online. URL: https://www.aimath.org/WWN/ kostka/crysdumb.pdf .                                                                                                                  |
| [Slo19]   | Neil J. A. Sloane. The On-Line Encyclopedia of Integer Sequences, 2019. URL: https: //oeis.org .                                                                                                                      |
| [Sta01]   | Richard P. Stanley. Enumerative Combinatorics: Volume 2 . Cambridge University Press, 1st edition, 2001. URL: http://www.worldcat.org/isbn/0521789877 .                                                               |
| [Ste03]   | John R. Stembridge. A local characterization of simply-laced crystals. Transac- tions of the American Mathematical Society , 355(12):4807-4823, 2003. doi:10.1090/ S0002-9947-03-03042-3 .                            |
| [SW00]    | Mark Shimozono and Jerzy Weyman. Graded characters of modules supported in the closure of a nilpotent conjugacy class. European Journal of Combinatorics , 21(2):257-288, February 2000. doi:10.1006/eujc.1999.0344 . |
| [TZ03]    | Geanina Tudose and Mike Zabrocki. A q-analog of Schur's Q-functions. In Naihuan Jing, editor, Algebraic Combinatorics and Quantum Groups . World Scientific, 2003. doi:10.1142/5331 .                                 |
| [Uhl19]   | Joakim Uhlin. Combinatorics of Macdonald polynomials and cyclic sieving. Master's thesis, KTH, Mathematics (Div.), January 2019. URL: http://kth.diva-portal.org/ smash/record.jsf?pid=diva2%3A1282825 .              |

Dept. of Mathematics, Royal Institute of Technology, SE-100 44 Stockholm, Sweden E-mail address : per.w.alexandersson@gmail.com, joakim\_uhlin@hotmail.com
Per Alexandersson Joakim Uhlin
Cyclic sieving, skew Macdonald polynomials and Schur positivity
When $\lambda$ is a partition, the specialized non-symmetric Macdonald
polynomial $E_{\lambda}(x;q;0)$ is symmetric and related to a modified
Hall--Littlewood polynomial. We show that whenever all parts of the integer
partition $\lambda$ is a multiple of $n$, the underlying set of fillings
exhibit the cyclic sieving phenomenon (CSP) under a cyclic shift of the
columns. The corresponding CSP polynomial is given by $E_{\lambda}(x;q;0)$. In
addition, we prove a refined cyclic sieving phenomenon where the content of the
fillings is fixed. This refinement is closely related to an earlier result by
B.~Rhoades.
  We also introduce a skew version of $E_{\lambda}(x;q;0)$. We show that these
are symmetric and Schur-positive via a variant of the
Robinson--Schenstedt--Knuth correspondence and we also describe crystal
raising- and lowering operators for the underlying fillings. Moreover, we show
that the skew specialized non-symmetric Macdonald polynomials are in some cases
vertical-strip LLT polynomials. As a consequence, we get a combinatorial Schur
expansion of a new family of LLT polynomials.