BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
Buch and Rimányi proved a formula for specializations of double Grothendieck polynomials based on the Yang-Baxter equation related to the degenerate Hecke algebra. A geometric proof was found by Yong and Woo by constructing a Gröbner basis for the Kazhdan-Lusztig ideals. In this note, we give an elementary proof for this formula by using only divided difference operators.
For each permutation w, we can construct a collection of hyperplanes Aw according to the inversions of w, which is called the inversion hyperplane arrangement associated to w. It was conjectured by Postnikov and confirmed by Hultman, Linusson, Shareshian and Sjöstrand that the number of regions of Aw is less than or equal to the number of permutations below w in the Bruhat order, with the equality holds if and only if w avoids the four patterns 4231, 35142, 42513 and 351624. In this paper, we show that the number of regions of Aw is greater than or equal to the number of permutations below w in the weak Bruhat order, with the equality holds if and only if w avoids the patterns 231 and 312.
Let w be a permutation of {1,2,…,n}, and let D(w) be the Rothe diagram of w. The Schubert polynomial Sw(x) can be realized as the dual character of the flagged Weyl module associated to D(w). This implies a coefficient-wise inequality Minw(x)≤Sw(x)≤Maxw(x), where both Minw(x) and Maxw(x) are polynomials determined by D(w). Fink, Mészáros and St.Dizier found that Sw(x) equals the lower bound Minw(x) if and only if w avoids twelve permutation patterns. In this paper, we show that Sw(x) reaches the upper bound Maxw(x) if and only if w avoids two permutation patterns 1432 and 1423. Similarly, for any given composition α∈Z≥0n, one can define a lower bound Minα(x) and an upper bound Maxα(x) for the key polynomial κα(x). Hodges and Yong established that κα(x) equals Minα(x) if and only if α avoids five composition patterns. We show that κα(x) equals Maxα(x) if and only if α avoids a single composition pattern (0,2). As an application, we obtain that when α avoids (0,2), the key polynomial κα(x) is Lorentzian, partially verifying a conjecture of Huh, Matherne, Mészáros and St.Dizier.
Schubitopes were introduced by Monical, Tokcan and Yong as a specific family of generalized permutohedra. It was proven by Fink, Mészáros and St.Dizier that Schubitopes are the Newton polytopes of the dual characters of flagged Weyl modules. Important cases of Schubitopes include the Newton polytopes of Schubert polynomials and key polynomials. In this paper, we develop a combinatorial rule to generate the vertices of Schubitopes. As an application, we show that the vertices of the Newton polytope of a key polynomial can be generated by permutations in a lower interval in the Bruhat order, settling a conjecture of Monical, Tokcan and Yong.
Edelman and Greene constructed a bijection between the set of standard Young tableaux and the set of balanced Young tableaux of the same shape. Fomin, Greene, Reiner and Shimozono introduced the notion of balanced Rothe tableaux of a permutation w, and established a bijection between the set of balanced Rothe tableaux of w and the set of reduced words of w. In this paper, we introduce the notion of standard Rothe tableaux of w, which are tableaux obtained by labelling the cells of the Rothe diagram of w such that each row and each column is increasing. We show that the number of standard Rothe tableaux of w is smaller than or equal to the number of balanced Rothe tableaux of w, with equality if and only if w avoids the four patterns 2413, 2431, 3142 and 4132. When w is a dominant permutation, i.e., 132-avoiding, the Rothe diagram of w is a Young diagram, so this reduces to the result of Edelman and Greene.
Parabolic R-polynomials were introduced by Deodhar as parabolic analogues of ordinary R-polynomials defined by Kazhdan and Lusztig. In this paper, we are concerned with the computation of parabolic R-polynomials for the symmetric group. Let Sn be the symmetric group on {1,2,…,n}, and let S={si∣1≤i≤n−1} be the generating set of Sn, where for 1≤i≤n−1, si is the adjacent transposition. For a subset J⊆S, let (Sn)J be the parabolic subgroup generated by J, and let (Sn)J be the set of minimal coset representatives for Sn/(Sn)J. For u≤v∈(Sn)J in the Bruhat order and x∈{q,−1}, let Ru,vJ,x(q) denote the parabolic R-polynomial indexed by u and v. Brenti found a formula for Ru,vJ,x(q) when J=S∖{si}, and obtained an expression for Ru,vJ,x(q) when J=S∖{si−1,si}. We introduce a statistic on pairs of permutations in (Sn)J for J=S∖{si−2,si−1,si}. Then we give a formula for Ru,vJ,x(q), where J=S∖{si−2,si−1,si} and i appears after i−1 in v. We also pose a conjecture for Ru,vJ,x(q), where J=S∖{sk,sk+1,…,si} with 1≤k≤i≤n−1 and the elements k+1,k+2,…,i appear in increasing order in v.
Let W be a Coxeter group, and for u,v∈W, let Ru,v(q) be the Kazhdan-Lusztig R-polynomial indexed by u and v. In this paper, we present a combinatorial proof of the inversion formula on R-polynomials due to Kazhdan and Lusztig. This problem was raised by Brenti. Based on Dyer's combinatorial interpretation of the R-polynomials in terms of increasing Bruhat paths, we reformulate the inversion formula in terms of V-paths. By a V-path from u to v with bottom w we mean a pair (Δ1,Δ2) of Bruhat paths such that Δ1 is a decreasing path from u to w and Δ2 is an increasing path from w to v. We find a reflection principle on V-paths, which leads to a combinatorial proof of the inversion formula. Moreover, we give two applications of the reflection principle. First, we restrict this involution to V-paths from u to v with maximal length. This provides a direct interpretation for the equi-distribution property that any nontrivial interval [u,v] has as many elements of even length as elements of odd length. This property was obtained by Verma in his derivation of the Möbius function of the Bruhat order. Second, using the reflection principle for the symmetric group, we obtain a refinement of the inversion formula by restricting the summation to permutations ending with a given element.
We show that Han's bijection when restricted to permutations can be carried out in terms of the cyclic major code and the cyclic inversion code. In other words, it maps a permutation π with a cyclic major code (s1,s2,...,sn) to a permutation σ with a cyclic inversion code (s1,s2,...,sn). We also show that the fixed points of Han's map can be characterized by the strong fixed points of Foata's second fundamental transformation. The notion of strong fixed points is related to partial Foata maps introduced by Björner and Wachs.
The Springer numbers are defined in connection with the irreducible root systems of type Bn, which also arise as the generalized Euler and class numbers introduced by Shanks. Combinatorial interpretations of the Springer numbers have been found by Purtill in terms of Andre signed permutations, and by Arnol'd in terms of snakes of type Bn. We introduce the inversion code of a snake of type Bn and establish a bijection between labeled ballot paths of length n and snakes of type Bn. Moreover, we obtain the bivariate generating function for the number B(n,k) of labeled ballot paths starting at (0,0) and ending at (n,k). Using our bijection, we find a statistic α such that the number of snakes π of type Bn with α(π)=k equals B(n,k). We also show that our bijection specializes to a bijection between labeled Dyck paths of length 2n and alternating permutations on [2n].
We obtain the generating functions for partial matchings avoiding neighbor alignments and for partial matchings avoiding neighbor alignments and left nestings. We show that there is a bijection between partial matchings avoiding three neighbor patterns (neighbor alignments, left nestings and right nestings) and set partitions avoiding right nestings via an intermediate structure of integer compositions. Such integer compositions are known to be in one-to-one correspondence with self-modified ascent sequences or 31ˉ524ˉ-avoiding permutations, as shown by Bousquet-Mélou, Claesson, Dukes and Kitaev.
The Dirichlet series Lm(s) are of fundamental importance in number theory. Shanks defined the generalized Euler and class numbers in connection with these Dirichlet series, denoted by {sm,n}n≥0. We obtain a formula for the exponential generating function sm(x) of sm,n, where m is an arbitrary positive integer. In particular, for m>1, say, m=bu2, where b is square-free and u>1, we prove that sm(x) can be expressed as a linear combination of the four functions w(b,t)sec(btx)(±cos((b−p)tx)±sin(ptx)), where p is an integer satisfying 0≤p≤b, t∣u2 and w(b,t)=Kbt/u with Kb being a constant depending on b. Moreover, the Dirichlet series Lm(s) can be easily computed from the generating function formula for sm(x). Finally, we show that the main ingredient in the formula for sm,n has a combinatorial interpretation in terms of the m-signed permutations defined by Ehrenborg and Readdy. In principle, this answers a question posed by Shanks concerning a combinatorial interpretation for the numbers sm,n.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.