arxiv: v1 [math.co] 8 Dec 2013

Similar documents
LOWER BOUNDARY HYPERPLANES OF THE CANONICAL LEFT CELLS IN THE AFFINE WEYL GROUP W a (Ãn 1) Jian-yi Shi

arxiv: v1 [math.co] 17 Jan 2019

ON THE BRUHAT ORDER OF THE SYMMETRIC GROUP AND ITS SHELLABILITY

FULLY COMMUTATIVE ELEMENTS AND KAZHDAN LUSZTIG CELLS IN THE FINITE AND AFFINE COXETER GROUPS. Jian-yi Shi

Ramanujan-type Congruences for Broken 2-Diamond Partitions Modulo 3

Ramanujan-type congruences for overpartitions modulo 16. Nankai University, Tianjin , P. R. China

New results on the combinatorial invariance of Kazhdan-Lusztig polynomials

Nearly Equal Distributions of the Rank and the Crank of Partitions

Ramanujan-type congruences for broken 2-diamond partitions modulo 3

KAZHDAN LUSZTIG CELLS IN INFINITE COXETER GROUPS. 1. Introduction

The spt-crank for Ordinary Partitions

Bruhat order, rationally smooth Schubert varieties, and hyperplane arrangements

An improved tableau criterion for Bruhat order

Climbing Eements in Finite Coxeter Groups

1 Examples of Weak Induction

Kernels of Directed Graph Laplacians. J. S. Caughman and J.J.P. Veerman

Quotients of Poincaré Polynomials Evaluated at 1

arxiv:math/ v1 [math.co] 6 Dec 2005

J. Combin. Theory Ser. A 116(2009), no. 8, A NEW EXTENSION OF THE ERDŐS-HEILBRONN CONJECTURE

arxiv: v1 [math.co] 28 Mar 2016

SOME VARIANTS OF LAGRANGE S FOUR SQUARES THEOREM

Acta Arith., 140(2009), no. 4, ON BIALOSTOCKI S CONJECTURE FOR ZERO-SUM SEQUENCES. 1. Introduction

MULTI-RESTRAINED STIRLING NUMBERS

Bilateral truncated Jacobi s identity

Constructive proof of deficiency theorem of (g, f)-factor

The Sorting Order on a Coxeter Group

Generalized Fibonacci Numbers and Blackwell s Renewal Theorem

Shortest path poset of finite Coxeter groups

ACI-matrices all of whose completions have the same rank

Clusters, Coxeter-sortable elements and noncrossing partitions

TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS

Graph coloring, perfect graphs

On a refinement of Wilf-equivalence for permutations

BRUHAT INTERVAL POLYTOPES

CHRISTOS A. ATHANASIADIS, THOMAS BRADY, AND COLUM WATT

arxiv: v1 [math.gr] 5 Feb 2008

Permutation Statistics and q-fibonacci Numbers

On the order bound of one-point algebraic geometry codes.

DEPTH OF FACTORS OF SQUARE FREE MONOMIAL IDEALS

The initial involution patterns of permutations

A classification of commutative parabolic Hecke algebras

Combinatorial properties of the Temperley Lieb algebra of a Coxeter group

A Characterization of (3+1)-Free Posets

arxiv: v1 [math.co] 13 May 2016

arxiv: v2 [math.co] 31 Jul 2015

Properties of θ-super positive graphs

Higher Bruhat order on Weyl groups of Type B

ON PARABOLIC CLOSURES IN COXETER GROUPS

arxiv: v3 [math.co] 25 Feb 2019

Zeros of Generalized Eulerian Polynomials

On the number of subsequences with a given sum in a finite abelian group

arxiv: v3 [math.co] 11 Dec 2009

Classification of root systems

The Eulerian polynomials of type D have only real roots

Polynomials with palindromic and unimodal coefficients

arxiv:math/ v1 [math.co] 30 Jan 2004

An Involution for the Gauss Identity

Two-boundary lattice paths and parking functions

The subword complexity of a class of infinite binary words

arxiv: v1 [math.co] 8 Feb 2014

A Questionable Distance-Regular Graph

On the adjacency matrix of a block graph

Simple explicit formulas for the Frame-Stewart numbers

arxiv: v1 [math.rt] 11 Sep 2009

1. Introduction

joint with Alberto Mínguez

Homework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4

Counting Peaks and Valleys in a Partition of a Set

COMBINATORIAL CURVE NEIGHBORHOODS FOR THE AFFINE FLAG MANIFOLD OF TYPE A 1 1

arxiv: v2 [math.co] 19 Jun 2018

A generalized class of modified R-polynomials

arxiv:math/ v1 [math.co] 3 Sep 2000

On the Fully Commutative Elements of Coxeter Groups

Constructing differential 4-uniform permutations from know ones

Uniform Star-factors of Graphs with Girth Three

Better bounds for k-partitions of graphs

Combinatorial Proofs of Bivariate Generating Functions on Coxeter Groups

arxiv: v1 [math.co] 25 Jun 2014

Permuting the partitions of a prime

arxiv: v2 [math.nt] 9 Oct 2013

Turán s problem and Ramsey numbers for trees. Zhi-Hong Sun 1, Lin-Lin Wang 2 and Yi-Li Wu 3

A DIVISIBILITY RESULT ON COMBINATORICS OF GENERALIZED BRAIDS

Every rayless graph has an unfriendly partition

Partitions, rooks, and symmetric functions in noncommuting variables

SKEW-SPECTRA AND SKEW ENERGY OF VARIOUS PRODUCTS OF GRAPHS. Communicated by Ivan Gutman

On the intersection of infinite matroids

ON EXPLICIT FORMULAE AND LINEAR RECURRENT SEQUENCES. 1. Introduction

LECTURE 11: SOERGEL BIMODULES

arxiv: v1 [math.co] 25 Apr 2018

Fix-Mahonian Calculus, I: two transformations. Dominique Foata and Guo-Niu Han

Linear transformations preserving the strong q-log-convexity of polynomials

arxiv: v1 [math.co] 17 Dec 2007

THE COMBINATORICS OF BERNSTEIN FUNCTIONS

arxiv:math/ v1 [math.co] 4 Mar 2007

HW2 Solutions Problem 1: 2.22 Find the sign and inverse of the permutation shown in the book (and below).

Welsh s problem on the number of bases of matroids

When Sets Can and Cannot Have Sum-Dominant Subsets

arxiv: v2 [math.co] 24 Oct 2012

Centralizers of Coxeter Elements and Inner Automorphisms of Right-Angled Coxeter Groups

Cyclic Derangements. Sami H. Assaf. Department of Mathematics MIT, Cambridge, MA 02139, USA

Transcription:

1 A Class of Kazhdan-Lusztig R-Polynomials and q-fibonacci Numbers William Y.C. Chen 1, Neil J.Y. Fan 2, Peter L. Guo 3, Michael X.X. Zhong 4 arxiv:1312.2170v1 [math.co] 8 Dec 2013 1,3,4 Center for Combinatorics, LPMC-TJKLC Nankai University, Tianjin 300071, P.R. China 2 Department of Mathematics Sichuan University, Chengdu, Sichuan 610064, P.R. China 1 chen@nankai.edu.cn, 2 fan@scu.edu.cn, 3 lguo@nankai.edu.cn 4 michaelzhong@mail.nankai.edu.cn Abstract Let S n denote the symmetric group on {1,2,...,n}. For two permutations u,v S n suchthat u v inthe Bruhatorder, let R u,v and R u,v denotethe Kazhdan-LusztigRpolynomialand R-polynomial, respectively. Let v n = 34 n12, andletσ be apermutation such that σ v n. We obtain a formula for the R-polynomials R σ,vn in terms of the q- Fibonacci numbers depending on a parameter determined by the reduced expression of σ. When σ is the identity e, this reduces to a formula obtained by Pagliacci. In another direction, we obtain a formula for the R-polynomial R e,vn,i, where v n,i = 34 in(i+ 1) (n 1)12. In a more general context, we conjecture that for any two permutations σ,τ S n such that σ τ v n, the R-polynomial R σ,τ can be expressed as a product of q-fibonacci numbers multiplied by a power of q. Keywords: Kazhdan-Lusztig R-polynomial, q-fibonacci number, symmetric group AMS Classification: 05E15, 20F55 1 Introduction Let S n denote the symmetric group on {1,2,...,n}. For two permutations u,v S n such that u v in the Bruhat order, let R u,v be the Kazhdan-Lusztig R-polynomial, and R u,v be the Kazhdan-Lusztig R-polynomial. Let v n = 34 n12, and let σ be a permutation such that σ v n. The main result of this paper is a formula for the R-polynomials R σ,vn in terms of the q-fibonacci numbers depending on a parameter determined by the reduced expression of σ. When σ is the identity permutation e, a formula for the R-polynomials has been given by Pagliacci [6, Theorem 4.1]. We also derive a formula for the R-polynomials R e,vn,i, where v n,i = 34 in(i + 1) (n 1)12, which can be viewed as a generalization of Pagliacci s formula [6, Theorem 4.1] in another direction. We conclude this paper with a conjecture that for any two permutations σ,τ S n such that σ τ v n, the R-polynomial Rσ,τ can be expressed as a product of q-fibonacci numbers and a power of q. Let us give an overview of some notation and background. For each permutation π in S n, it is known that π can be expressed as a product of simple transpositions s i = (i,i+1) subject

2 to the following braid relations s i s j = s j s i, for i j > 1; s i s i+1 s i = s i+1 s i s i+1, for 1 i n 2. An expression ω of π is said to be reduced if the number of simple transpositions appearing in ω is minimum. The following word property is due to Tits, see Björner and Brenti [1, Theorem 3.3.1]. Theorem 1.1 (Word Property) Let π be a permutation of S n, and ω 1 and ω 2 be two reduced expressions of π. Then ω 1 and ω 2 can be obtained from each other by applying a sequence of braid relations. Let l(π) denote the length of π, that is, the number of simple transpositions in a reduced expression of π. Write D R (π) for the set of right descents of π, namely, D R (π) = {s i : 1 i n 1, l(πs i ) < l(π)}. The exchange condition gives a characterization for the (right) descents of a permutation in terms of reduced expressions, see Humphreys [4, Section 1.7]. Theorem 1.2 (Exchange Condition) Let π = s i1 s i2 s ik be a reduced expression of π. If s i D R (π), then there exists an index i j for which πs i = s i1 ŝ ij s ik, where ŝ ij means that s ij is missing. In particular, π has a reduced expression ending with s i if and only if s i D R (π). The following subword property serves as a definition of the Bruhat order. For other equivalent definitions of the Bruhat order, see Björner and Brenti [1]. For a reduced expression ω = s i1 s i2 s ik, we say that s ij1 s ij2 s ijm is a subword of ω if 1 j 1 < j 2 < < j m k. Theorem 1.3 (Subword Property) Let u and v be two permutation in S n. Then u v in the Bruhat order if and only if every reduced expression of v has a subword that is a reduced expression of u. The Bruhat order satisfies the following lifting property, see Björner and Brenti [1, Proposition 2.2.7]. Theorem 1.4 (Lifting Property) Suppose that u and v are two permutations in S n such that u < v. For any simple transposition s i in D R (v)\d R (u), we have u vs i and us i v. The Kazhdan-Lusztig R-polynomials, which were introduced by Kazhdan and Lusztig [5], can be recursively determined by the following properties, see also Humpreys [4, Section 7.5]. Theorem 1.5 For any u,v S n, (i) R u,v = 0, if u v;

3 (ii) R u,v = 1, if u = v; (iii) If u < v and s D R (v), R us,vs, if s D R (u); R u,v = qr us,vs +(q 1)R u,vs, if s / D R (u). While R-polynomials may contain negative coefficients, a variant of the R-polynomials introduced by Dyer [3], which has been called the R-polynomials, has only nonnegative coefficients. For an alternative definition of the R-polynomials for the symmetric group, see Brenti [2]. The following two theorems are due to Dyer [3], see also Brenti [2]. Theorem 1.6 Let u,v S n with u v. Then, for s D R (v), R us,vs, if s D R (u); R u,v = R us,vs +q R u,vs, if s / D R (u). (1.1) Theorem 1.7 Let u,v S n with u v. Then R u,v = q l(v) l(u) 2 Ru,v (q 1 2 q 1 2). Recall that v n = 34 n12 and v n,i = 34 in(i + 1) (n 1)12. We shall use the recurrence relations in Theorem 1.6 to deduce a formula for the R-polynomials R σ,vn, from which we also find a formula for the R-polynomial R e,vn,i. 2 Main result The main result of this paper is an equation for R σ,vn, where v n = 34 n12 and σ v n in the Bruhat order. Combining this equation with a formula of Pagliacci [6], we obtain an expression of R σ,vn in terms of q-fibonacci numbers. To describe our result, we need the following reduced expression of v n. Proposition 2.1 For n 3, is a reduced expression of v n. Ω n = s 2 s 1 s 3 s 2 s n 1 s n 2 Let σ be a permutation of S n such that σ v n. By the subword property in Theorem 1.3, σ can be expressed as a reduced subword of Ω n. We introduce two statistics of a reduced subword of Ω n. Let ω = s i1 s i2 s ik be a reduced subword of Ω n. Define D(ω) = {1 t < k: i t i t+1 = 1}.

4 We use d(ω) to denote the cardinality of D(ω), and let h(ω) = n l(ω)+d(ω). (2.1) For example, for a reduced subword ω = s 2 s 3 s 4 s 3 s 6 s 5 s 7 of Ω 9, we have D(ω) = {3,5}, and thus d(ω) = 2 and h(ω) = 4. Note that h(ω) depends on both ω and n. This causes no confusion since the index n is always clear from the context. The main result in this paper is the following equation for the R-polynomials R σ,vn. Theorem 2.2 For n 3, let σ be a permutation in S n such that σ v n, and let ω be any reduced expression of σ that is a subword of Ω n. Then we have R σ,vn = q l(ω) 2d(ω) Re,vh(ω). (2.2) Let F n be the q-fibonacci numbers, that is, F 0 = F 1 = 1 and for n 2, Pagliacci [6, Theorem 4.1] has shown that F n = F n 1 +qf n 2. R e,vn = q 2n 4 F n 2 (q 2 ). (2.3) As a consequence of Theorem 2.2 and formula (2.3), we obtain an expression of R σ,vn in terms of q-fibonacci numbers. Corollary 2.3 For n 3, let σ be a permutation in S n such that σ v n, and let ω be any reduced expression of σ that is a subword of Ω n. Then we have R σ,vn = q 2n l(σ) 4 F h(ω) 2 (q 2 ). (2.4) To give an inductive proof of Theorem 2.2, we need three lemmas. Assume that ω is a reduced subword of Ω n. When ωs n 1 Ω n, the first two lemmas are concerned with the existence of a reduced expression ω of ωs n 1 such that d(ω ) = d(ω). When ωs n 1 Ω n, the third lemma shows that h(ω) = 2. Lemma 2.4 Let ω be a reduced subword of Ω n. If ωs n 1 Ω n and s n 1 D R (ω), then there exists a reduced expression ω of ωs n 1 such that ω is a subword of Ω n and d(ω ) = d(ω). Proof. We use induction on n. It is easy to check that the lemma holds for n 3. Assume that n > 3 and the assertion holds for n 1. We now consider the case for n. By definition, we have Ω n = Ω n 1 s n 1 s n 2. Since ω is a subword of Ω n, we can write ω = ω 1 ω 2, where ω 1 is a subword of Ω n 1 and ω 2 is a subword of s n 1 s n 2. Because s n 1 D R (ω), we have the following two cases. Case 1: ω = ω 1 s n 1. Set ω = ω 1. Clearly, ω is a reduced expression of ωs n 1. Moreover, it is easy to check that D(ω) = D(ω ), and thus d(ω ) = d(ω), that is, ω is a desired reduced expression of ωs n 1. Case 2: ω = ω 1 s n 1 s n 2. Since s n 1 D R (ω), by Theorem 1.2, there exists a reduced expressionofω endingwiths n 1. HencethewordpropertyinTheorem1.1ensurestheexistence

5 of a reduced expression of ω 1 ending with s n 2. This implies that s n 2 belongs to D R (ω 1 ). By the induction hypothesis, there exists a reduced expression ω 1 of ω 1s n 2 such that ω 1 is a subword of Ω n 1 and d(ω 1 ) = d(ω 1). Set ω = ω 1 s n 1s n 2. We deduce that ω is a desired reduced subword. Since ω = ω 1 s n 1s n 2 = ω 1 s n 2 s n 1 s n 2 = ω 1 s n 1 s n 2 s n 1 = ωs n 1, we see that ω is an expression of ωs n 1. On the other hand, since ω consists of l(ω 1 ) + 2 simple transpositions and l(ω 1)+2 = l(ω 1 )+1 = l(ω) 1 = l(ωs n 1 ), we conclude that ω is a reduced expression of ωs n 1. By the construction of ω, we have This completes the proof. d(ω ) = d(ω 1)+1 = d(ω 1 )+1 = d(ω). The next lemma deals with the case s n 1 D R (ω). Lemma 2.5 Let ω be a reduced subword of Ω n. If ωs n 1 Ω n and s n 1 D R (ω), then there exists a reduced expression ω of ωs n 1 such that ω is a subword of Ω n and d(ω ) = d(ω). Proof. We use induction on n. It is easily checked that the lemma holds for n 3. Assume that n > 3 and the assertion holds for n 1. We now consider the case for n. Let ω = ω 1 ω 2, where ω 1 is a subword of Ω n 1 and ω 2 is a subword of s n 1 s n 2. Since s n 1 D R (ω), we have the following three cases. Case 1: ω = ω 1. Set ω = ω 1 s n 1. It is easily seen that ω is a desired reduced expression. Case 2: ω = ω 1 s n 2. We claim that ω = ω 1 s n 2 Ω n 1. Note that s n 1 does not appear in ω 1. Since ωs n 1 = ω 1 s n 2 s n 1, by Theorem 1.1, there does not exist any reduced expression of ωs n 1 ending with s n 2. This implies that s n 2 does not belong to D R (ωs n 1 ). Thus, by the lifting property in Theorem 1.4, we deduce that ωs n 1 Ω n s n 2 = Ω n 1 s n 1. This implies that ω = ω 1 s n 2 Ω n 1, as claimed. Sinceω = ω 1 s n 2 isreduced, weseethats n 2 D R (ω 1 ). Bytheinductionhypothesis, there exists a reduced expression ω 1 of ω 1s n 2 such that ω 1 is a subword of Ω n 1 and d(ω 1 ) = d(ω 1). Set ω = ω 1 s n 1. We find that ω is a reduced expression of ωs n 1 such that d(ω ) = d(ω). Case 3: ω = ω 1 s n 1 s n 2. We claim that s n 2 D R (ω 1 ). Suppose to the contrary that s n 2 D R (ω 1 ). By Theorem 1.2, there exists a reduced expression of ω 1 ending with s n 2. Write ω 1 = µs n 2, where µ is a reduced expression. Then we get ω = µs n 2 s n 1 s n 2 = µs n 1 s n 2 s n 1, contradicting the assumption that s n 1 D R (ω). So the claim is proved.

6 On the other hand, since ω 1 s n 2 s n 1 s n 2 = ω 1 s n 1 s n 2 s n 1 = ωs n 1 Ω n, we have ω 1 s n 2 Ω n 1. It follows from the induction hypothesis that there exists a reduced expression ω 1 of ω 1s n 2 such that ω 1 is a subword of Ω n 1 and d(ω 1 ) = d(ω 1). Let Since ω = ω 1s n 1 s n 2. ω = ω 1s n 1 s n 2 = ω 1 s n 2 s n 1 s n 2 = ω 1 s n 1 s n 2 s n 1 = ωs n 1, we deduce that ω is a reduced expression of ωs n 1. By the construction of ω, we obtain that as required. We now come to the third lemma. d(ω ) = d(ω 1 )+1 = d(ω 1)+1 = d(ω), Lemma 2.6 Let ω be a reduced subword of Ω n. If ωs n 1 Ω n, then we have h(ω) = 2. Proof. We proceed by induction on n. It can be verified that the lemma holds for n 3. Assume that n > 3 and the assertion holds for n 1. Consider the case for n. Write ω = ω 1 ω 2, where ω 1 is a subword of Ω n 1 and ω 2 is a subword of s n 1 s n 2. Since ωs n 1 Ω n, we see that s n 1 is not a right descent of ω. We have the following two cases. Case 1: ω = ω 1 s n 2. Since ωs n 1 Ω n, we have ω = ω 1 s n 2 Ω n 1. Thus, by the induction hypothesis, we get h(ω 1 ) = 2. Noticing that l(ω 1 ) = l(ω) 1 and d(ω 1 ) = d(ω), we obtain that as required. h(ω) = n l(ω)+d(ω) = n 1 l(ω 1 )+d(ω 1 ) = h(ω 1 ) = 2, Case 2: ω = ω 1 s n 1 s n 2. We claim that ω 1 s n 2 Ω n 1. Suppose to the contrary that ω 1 s n 2 Ω n 1. Note that ωs n 1 = ω 1 s n 1 s n 2 s n 1 = ω 1 s n 2 s n 1 s n 2. This yields ωs n 1 Ω n, contradicting the assumption that ωs n 1 Ω n. So the claim is verified. Bytheinductionhypothesis,wehaveh(ω 1 ) = 2. Sincel(ω 1 ) = l(ω) 2andd(ω 1 ) = d(ω) 1, we find that as requied. h(ω) = n l(ω)+d(ω) = n 1 l(ω 1 )+d(ω 1 ) = h(ω 1 ) = 2, Next we give a proof of Theorem 2.2 based on the above lemmas. Proof of Theorem 2.2. Let and T n = R e,vn. g(ω) = l(ω) 2d(ω). (2.5)

7 Then equation (2.2) can be rewritten as R σ,vn = q g(ω) T h(ω). (2.6) We proceed to prove (2.6) by induction on n. It can be checked that (2.6) holds for n 3. Assume that n > 3 and (2.6) holds for n 1. For the case for n, let ω = ω 1 ω 2, where ω 1 is a subword of Ω n 1 and ω 2 is a subword of s n 1 s n 2. There are four cases. Case 1: ω = ω 1 s n 2. It follows from (1.1) that R σ,vn = R ω1 s n 2,Ω n 1 s n 1 s n 2 = R ω1,ω n 1 s n 1 = R ω1 s n 1,Ω n 1 +q R ω1,ω n 1. (2.7) Since ω 1 s n 1 Ω n 1, we see that the first term in (2.7) vanishes. Thus, (2.7) becomes By the induction hypothesis, we have Since d(ω 1 ) = d(ω), we get and R σ,vn = q R ω1,ω n 1. (2.8) R ω1,ω n 1 = q g(ω 1) T h(ω1 ). (2.9) g(ω 1 ) = l(ω 1 ) 2d(ω 1 ) = l(ω) 1 2d(ω) = g(ω) 1 (2.10) h(ω 1 ) = n 1 l(ω 1 )+d(ω 1 ) = n l(ω)+d(ω) = h(ω). (2.11) Plugging (2.10) and (2.11) into (2.9), we obtain R ω1,ω n 1 = q g(ω 1) T h(ω1 ) = q g(ω) 1 T h(ω), which leads to R σ,vn = q R ω1,ω n 1 = q g(ω) T h(ω). Case 2: ω = ω 1 s n 1. By Theorem 1.1, there is no reduced expression of σ that ends with s n 2. This implies that s n 2 is not a right descent of σ, so that R σ,vn = R ω1 s n 1 s n 2,Ω n 1 s n 1 +q R ω1 s n 1,Ω n 1 s n 1 = R ω1 s n 1 s n 2,Ω n 1 s n 1 +q R ω1,ω n 1. (2.12) We claim that the first term in (2.12) vanishes, or equivalently, ω 1 s n 1 s n 2 Ω n 1 s n 1. Supposeto the contrary that ω 1 s n 1 s n 2 Ω n 1 s n 1. By Theorem 1.3, there exists a subword µ of Ω n 1 s n 1 that is a reduced expression of ω 1 s n 1 s n 2. Since s n 1 must appear in µ, we may write µ in the following form µ = s i1 s i2 s ik s n 1, where s i1 s i2 s ik is a reduced subword of Ω n 1. By the word property in Theorem 1.1, ω 1 s n 1 s n 2 can be obtained from µ by applying the braid relations. However, this is impossible

8 since any simple transposition s n 2 appearing in µ cannot be moved to the last position by applying the braid relations. So the claim is proved, and hence (2.12) becomes It is easily seen that By the induction hypothesis, we deduce that R σ,vn = q R ω1,ω n 1. g(ω 1 ) = g(ω) 1 and h(ω 1 ) = h(ω). R σ,vn = q R ω1,ω n 1 = q g(ω 1)+1 T h(ω1 ) = q g(ω) T h(ω). Case 3: ω = ω 1 s n 1 s n 2. It is clear from (1.1) that R σ,vn = R ω1 s n 1,Ω n 1 s n 1 = R ω1,ω n 1. (2.13) Noting that d(ω) = d(ω 1 )+1, we obtain g(ω 1 ) = l(ω 1 ) 2d(ω 1 ) = l(ω 1 )+2 2d(ω) = l(ω) 2d(ω) = g(ω) and h(ω 1 ) = n 1 l(ω 1 )+d(ω 1 ) = n 2 l(ω 1 )+d(ω) = n l(ω)+d(ω) = h(ω). Thus, by (2.13) and the induction hypothesis, we find that R σ,vn = R ω1,ω n 1 = q g(ω1) T h(ω1 ) = q g(ω) T h(ω). Case 4: ω = ω 1. Here are two subcases. Subcase 1: s n 2 D R (ω 1 ). By (1.1), we deduce that R σ,vn = R ω1 s n 2,Ω n 1 s n 1 = q R ω1 s n 2,Ω n 1. (2.14) By Lemma 2.4, there exists a reduced expression ω 1 of ω 1s n 2 such that ω 1 Ω n 1 and d(ω 1 ) = d(ω 1). Consequently, is a subword of g(ω 1 ) = l(ω 1 ) 2d(ω 1 ) = l(ω 1) 1 2d(ω 1 ) = g(ω 1 ) 1 and h(ω 1) = n 1 l(ω 1)+d(ω 1) = n l(ω 1 )+d(ω 1 ) = h(ω 1 )+1. By the induction hypothesis, we obtain that R ω1 s n 2,Ω n 1 = R ω 1,Ω n 1 = q g(ω 1 ) T h(ω 1 ) = q g(ω1) 1 T h(ω1 )+1. (2.15) But h(ω) = h(ω 1 )+1, substituting (2.15) into (2.14) gives R σ,vn = q R ω1 s n 2,Ω n 1 = q g(ω) T h(ω).

9 Subcase 2: s n 2 D R (ω 1 ). By (1.1), we see that R σ,vn = R ω1 s n 2,Ω n 1 s n 1 +q R ω1,ω n 1 s n 1 = q R ω1 s n 2,Ω n 1 +q 2 Rω1,Ω n 1 (2.16) By the induction hypothesis, the second term in (2.16) equals q 2 R ω1,ω n 1 = q g(ω 1)+2 T h(ω1 ) = q g(ω)+2 T h(ω) 1. (2.17) It remains to compute the first term in (2.16). To this end, we have the following two cases. Subcase 2a: ω 1 s n 2 Ω n 1. By Lemma 2.5, there exists a reduced expression ω 1 of ω 1s n 2 such that ω 1 is a subword of Ω n 1 and d(ω 1 ) = d(ω 1 ). Hence and g(ω 1 ) = l(ω 1 ) 2d(ω 1 ) = l(ω 1)+1 2d(ω 1 ) = g(ω 1 )+1 = g(ω)+1 h(ω 1 ) = n 1 l(ω 1 )+d(ω 1 ) = n 2 l(ω 1)+d(ω 1 ) = h(ω 1 ) 1 = h(ω) 2. By the induction hypothesis, we obtain that R ω1 s n 2,Ω n 1 = q g(ω 1 ) T h(ω 1 ) = q g(ω)+1 T h(ω) 2. (2.18) Putting (2.17) and (2.18) into (2.16), we deduce that R σ,vn = q R ω1 s n 2,Ω n 1 +q 2 Rω1,Ω n 1 = q g(ω)+2 T h(ω) 2 +q g(ω)+2 T h(ω) 1 = q g(ω) (q 2 T h(ω) 2 +q 2 T h(ω) 1 ). (2.19) In view of the following relation due to Pagliacci [6] T n = q 2 T n 2 +q 2 T n 1, (2.19) can be rewritten as R σ,vn = q g(ω) T h(ω). Subcase 2b: ω 1 s n 2 Ω n 1. In this case, we have R ω1 s n 2,Ω n 1 = 0. (2.20) By Lemma 2.6, we find that h(ω 1 ) = 2. Thus (2.17) reduces to q 2 Rω1,Ω n 1 = q g(ω)+2 T 2 = q g(ω)+2. (2.21) Putting (2.20) and (2.21) into (2.16), we get R σ,vn = q g(ω)+2. (2.22) Since T 3 = q 2 and h(ω) = h(ω 1 )+1 = 3, it follows from (2.22) that R σ,vn = q g(ω) T 3 = q g(ω) T h(ω), and hence the proof is complete.

10 For 2 i n 1, let n34 (n 1)12, if i = 2; v n,i = 34 in(i+1) (n 1)12, if 3 i n 1. We obtain the following formula for R e,vn,i, which reduces to formula (2.3) due to Pagliacci in the case i = n 1. Theorem 2.7 Let n 3 and 2 i n 1. Then we have n i 1 ( ) n i 1 R e,vn,i = q 3n i 2k 5 F n k 2 (q 2 ). (2.23) k Proof. Recall that k=0 see (2.3). Hence (2.23) can be rewritten as T n = R e,vn = q 2n 4 F n 2 (q 2 ), R e,vn,i = n i 1 k=0 ( ) n i 1 q n i 1 T n k. (2.24) k Note that Ω n s n 3 s n 4 s i 1 is a reduced expression of the permutation v n,i. By the defining relation (1.1) of R-polynomials, we obtain that R e,vn,i = R e,ωns n 3 s n 4 s i 1 = R si 1,Ω ns n 3 s n 4 s i +q R e,ωns n 3 s n 4 s i ) = ( Rsi 1s i,ω ns n 3s n 4 s +q R i+1 si 1,Ω ns n 3s n 4 s i+1 = = ) +q ( Rsi,Ω ns n 3s n 4 s +q R i+1 e,ωns n 3s n 4 s i+1 i 1 i 1 < <i k n 3 q n i 1 k Rsi1 s ik,ω n. (2.25) Observe that s i1 s ik is a reduced subword of Ω n with d(s i1 s ik ) = 0. By Corollary 2.3, we find that R si1 s ik,ω n = q k T n k. (2.26) Substituting (2.26) into (2.25), we get as required. R e,vn,i = = i 1 i 1 < <i k n 3 i 1 i 1 < <i k n 3 n i 1 = k=0 q n i 1 k Rsi1 s ik,ω n q n i 1 T n k ( ) n i 1 q n i 1 T n k, k We conclude this paper with the following conjecture, which has been verified for n 9.

11 Conjecture 2.8 For n 2 and e σ 1 σ 2 Ω n, we have k R σ1,σ 2 = q g(σ 1,σ 2 ) F hi (σ 1,σ 2 )(q 2 ), (2.27) where k, g(σ 1,σ 2 ) and h i (σ 1,σ 2 ) are integers depending on σ 1 and σ 2. i=1 Acknowledgments. This work was supported by the 973 Project and the National Science Foundation of China. References [1] A. Björner and F. Brenti, Combinatorics of Coxeter groups, Grad. Texts in Math., Vol. 231, Springer-Verlag, New York, 2005. [2] F. Brenti, Combinatorial properties of the Kazhdan-Lusztig R-polynomials for S n, Adv. Math. 126 (1997), 21 51. [3] M.J. Dyer, Hecke algebras and shellings of Bruhat intervals, Compos. Math. 89 (1993), 91 115. [4] J.E. Humphreys, Reflection groups and Coxeter groups, Cambridge Studies in Advanced Mathematics, No. 29, Cambridge Univ. Press, Cambridge, 1990. [5] D. Kazhdan and G. Lusztig, Representations of Coxeter groups and Hecke algebras, Invent. Math. 53 (1979), 165 184. [6] M. Pagliacci, Explicit formulae for some Kazhdan-Lusztig R-polynomials, J. Combin. Theory Ser. A 95 (2001), 74 87.