Source author record

Peter L. Guo

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

11works
3topics
4close collaborators

Published work

11 publications

preprint2020arXiv

Upper Bounds of Schubert Polynomials

Let ww be a permutation of {1,2,…,n}\{1,2,\ldots,n \}, and let D(w)D(w) be the Rothe diagram of ww. The Schubert polynomial Sw(x)\mathfrak{S}_w(x) can be realized as the dual character of the flagged Weyl module associated to D(w)D(w). This implies a coefficient-wise inequality Minw(x)≤Sw(x)≤Maxw(x),\mathrm{Min}_w(x)\leq \mathfrak{S}_w(x)\leq \mathrm{Max}_w(x), where both Minw(x)\mathrm{Min}_w(x) and Maxw(x)\mathrm{Max}_w(x) are polynomials determined by D(w)D(w). Fink, Mészáros and St. \,Dizier found that Sw(x)\mathfrak{S}_w(x) equals the lower bound Minw(x)\mathrm{Min}_w(x) if and only if ww avoids twelve permutation patterns. In this paper, we show that Sw(x)\mathfrak{S}_w(x) reaches the upper bound Maxw(x)\mathrm{Max}_w(x) if and only if ww avoids two permutation patterns 1432 and 1423. Similarly, for any given composition α∈Z≥0nα\in \mathbb{Z}_{\geq 0}^n, one can define a lower bound Minα(x)\mathrm{Min}_α(x) and an upper bound Maxα(x)\mathrm{Max}_α(x) for the key polynomial κα(x)κ_α(x). Hodges and Yong established that κα(x)κ_α(x) equals Minα(x)\mathrm{Min}_α(x) if and only if αα avoids five composition patterns. We show that κα(x)κ_α(x) equals Maxα(x)\mathrm{Max}_α(x) if and only if αα avoids a single composition pattern (0,2)(0,2). As an application, we obtain that when αα avoids (0,2)(0,2), the key polynomial κα(x)κ_α(x) is Lorentzian, partially verifying a conjecture of Huh, Matherne, Mészáros and St. \,Dizier.

preprint2020arXiv

Vertices of Schubitopes

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.

preprint2015arXiv

On parabolic Kazhdan-Lusztig R-polynomials for the symmetric group

Parabolic RR-polynomials were introduced by Deodhar as parabolic analogues of ordinary RR-polynomials defined by Kazhdan and Lusztig. In this paper, we are concerned with the computation of parabolic RR-polynomials for the symmetric group. Let SnS_n be the symmetric group on {1,2,…,n}\{1,2,\ldots,n\}, and let S={si ∣ 1≤i≤n−1}S=\{s_i\,|\, 1\leq i\leq n-1\} be the generating set of SnS_n, where for 1≤i≤n−11\leq i\leq n-1, sis_i is the adjacent transposition. For a subset J⊆SJ\subseteq S, let (Sn)J(S_n)_J be the parabolic subgroup generated by JJ, and let (Sn)J(S_n)^{J} be the set of minimal coset representatives for Sn/(Sn)JS_n/(S_n)_J. For u≤v∈(Sn)Ju\leq v\in (S_n)^J in the Bruhat order and x∈{q,−1}x\in \{q,-1\}, let Ru,vJ,x(q)R_{u,v}^{J,x}(q) denote the parabolic RR-polynomial indexed by uu and vv. Brenti found a formula for Ru,vJ,x(q)R_{u,v}^{J,x}(q) when J=S∖{si}J=S\setminus\{s_i\}, and obtained an expression for Ru,vJ,x(q)R_{u,v}^{J,x}(q) when J=S∖{si−1,si}J=S\setminus\{s_{i-1},s_i\}. We introduce a statistic on pairs of permutations in (Sn)J(S_n)^J for J=S∖{si−2,si−1,si}J=S\setminus\{s_{i-2},s_{i-1},s_i\}. Then we give a formula for Ru,vJ,x(q)R_{u,v}^{J,x}(q), where J=S∖{si−2,si−1,si}J=S\setminus\{s_{i-2},s_{i-1},s_i\} and ii appears after i−1i-1 in vv. We also pose a conjecture for Ru,vJ,x(q)R_{u,v}^{J,x}(q), where J=S∖{sk,sk+1,…,si}J=S\setminus\{s_{k},s_{k+1},\ldots,s_i\} with 1≤k≤i≤n−11\leq k\leq i\leq n-1 and the elements k+1,k+2,…,ik+1,k+2,\ldots, i appear in increasing order in vv.

preprint2014arXiv

Vacillating Hecke Tableaux and Linked Partitions

We introduce the structure of vacillating Hecke tableaux, and establish a one-to-one correspondence between vacillating Hecke tableaux and linked partitions by using the Hecke insertion algorithm developed by Buch, Kresch, Shimozono, Tamvakis and Yong. Linked partitions arise in free probability theory. Motivated by the Hecke insertion algorithm, we define a Hecke diagram as a Young diagram possibly with a marked corner. A vacillating Hecke tableau is defined as a sequence of Hecke diagrams subject to certain addition and deletion of rook strips. The notion of a rook strip was introduced by Buch in the study of the Littlewood-Richardson rule for stable Grothendieck polynomials. A rook strip is a skew Young diagram with at most one square in each row and column. We show that the crossing number and the nesting number of a linked partition can be determined by the maximal number of rows and the maximal number of columns of the diagrams in the corresponding vacillating Hecke tableau. The proof relies on a theorem due to Thomas and Yong concerning the lengths of the longest strictly increasing and the longest strictly decreasing subsequences in a word. This implies that the crossing number and the nesting number have a symmetric joint distribution over linked partitions, confirming a conjecture of de Mier. We also prove a conjecture of Kim which states that the crossing number and the nesting number have a symmetric joint distribution over the front representations of partitions.

preprint2013arXiv

Combinatorial Proof of the Inversion Formula on the Kazhdan-Lusztig R-Polynomials

Let WW be a Coxeter group, and for u,v∈Wu,v\in W, let Ru,v(q)R_{u,v}(q) be the Kazhdan-Lusztig RR-polynomial indexed by uu and vv. In this paper, we present a combinatorial proof of the inversion formula on RR-polynomials due to Kazhdan and Lusztig. This problem was raised by Brenti. Based on Dyer's combinatorial interpretation of the RR-polynomials in terms of increasing Bruhat paths, we reformulate the inversion formula in terms of VV-paths. By a VV-path from uu to vv with bottom ww we mean a pair (Δ1,Δ2)(Δ_1,Δ_2) of Bruhat paths such that Δ1Δ_1 is a decreasing path from uu to ww and Δ2Δ_2 is an increasing path from ww to vv. We find a reflection principle on VV-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 VV-paths from uu to vv with maximal length. This provides a direct interpretation for the equi-distribution property that any nontrivial interval [u,v][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.

preprint2013arXiv

s-Inversion Sequences and P-Partitions of Type B

Given a sequence s=(s1,s2,…)s=(s_1,s_2,\ldots) of positive integers, the inversion sequences with respect to ss, or ss-inversion sequences, were introduced by Savage and Schuster in their study of lecture hall polytopes. A sequence (e1,e2,…,en)(e_1,e_2,\ldots,e_n) of nonnegative integers is called an ss-inversion sequence of length nn if 0≤ei<si0\leq e_i < s_i for 1≤i≤n1\leq i\leq n. Let I(n) be the set of ss-inversion sequences of length nn for s=(1,4,3,8,5,12,…)s=(1,4,3,8,5,12,\ldots), that is, s2i=4is_{2i}=4i and s2i−1=2i−1s_{2i-1}=2i-1 for i≥1i\geq1, and let PnP_n be the set of signed permutations on {12,22,…,n2}\{1^2,2^2,\ldots,n^2\}. Savage and Visontai conjectured that when n=2kn=2k, the ascent number over InI_n is equidistributed with the descent number over PkP_k. For a positive integer nn, we use type BB PP-partitions to give a characterization of signed permutations over which the descent number is equidistributed with the ascent number over InI_n. When nn is even, this confirms the conjecture of Savage and Visontai. Moreover, let In′I'_n be the set of ss-inversion sequences of length nn for s=(2,2,6,4,10,6,…)s=(2,2,6,4,10,6,\ldots), that is, s2i=2is_{2i}=2i and s2i−1=4i−2s_{2i-1}=4i-2 for i≥1i\geq1. We find a set of signed permutations over which the descent number is equidistributed with the ascent number over In′I'_n.

preprint2011arXiv

Equivalence Classes of Full-Dimensional 0/1-Polytopes with Many Vertices

Let QnQ_n denote the nn-dimensional hypercube with the vertex set $V_n=\{0,1}^n$. A 0/1-polytope of QnQ_n is a convex hull of a subset of VnV_n. This paper is concerned with the enumeration of equivalence classes of full-dimensional 0/1-polytopes under the symmetries of the hypercube. With the aid of a computer program, Aichholzer completed the enumeration of equivalence classes of full-dimensional 0/1-polytopes for Q4Q_4, Q5Q_5, and those of Q6Q_6 up to 12 vertices. In this paper, we present a method to compute the number of equivalence classes of full-dimensional 0/1-polytopes of QnQ_n with more than 2n−32^{n-3} vertices. As an application, we finish the counting of equivalence classes of full-dimensional 0/1-polytopes of Q6Q_6 with more than 12 vertices.

preprint2011arXiv

Oscillating Rim Hook Tableaux and Colored Matchings

Motivated by the question of finding a type B analogue of the bijection between oscillating tableaux and matchings, we find a correspondence between oscillating m-rim hook tableaux and m-colored matchings, where m is a positive integer. An oscillating m-rim hook tableau is defined as a sequence (λ0,λ1,...,λ2n)(λ^0,λ^1,...,λ^{2n}) of Young diagrams starting with the empty shape and ending with the empty shape such that λiλ^{i} is obtained from λi−1λ^{i-1} by adding an m-rim hook or by deleting an m-rim hook. Our bijection relies on the generalized Schensted algorithm due to White. An oscillating 2-rim hook tableau is also called an oscillating domino tableau. When we restrict our attention to two column oscillating domino tableaux of length 2n, we are led to a bijection between such tableaux and noncrossing 2-colored matchings on {1,2,...,2n}\{1, 2,..., 2n\}, which are counted by the product CnCn+1C_nC_{n+1} of two consecutive Catalan numbers. A 2-colored matching is noncrossing if there are no two arcs of the same color that are intersecting. We show that oscillating domino tableaux with at most two columns are in one-to-one correspondence with Dyck path packings. A Dyck path packing of length 2n is a pair (D, E), where D is a Dyck path of length 2n, and E is a dispersed Dyck path of length 2n that is weakly covered by D. So we deduce that Dyck path packings of length 2n are counted by CnCn+1C_nC_{n+1}.

preprint2010arXiv

q-Hook Length Formulas for Signed Labeled Forests

A signed labeled forest is defined as a (plane) forest labeled by {1,2,..., n} along with minus signs associated to some vertices. Signed labeled forests can be viewed as an extension of signed permutations. We define the inversion number, the flag major index and the R-major index on signed labeled forests. They can be considered as type B analogues of the indices for labeled forests introduced by Bjorner and Wachs. The flag major index for signed labeled forests is based on the flag major index on signed permutations introduced by Adin and Roichman, whereas the R-major index for signed labeled forests is based on the R-major index that we introduce for signed permutations, which is closely related to the major defined by Reiner. We obtain q-hook length formulas by q-counting signed labelings of a given forest with respect to the above indices, from which we see that these three indices are equidistributed for signed labeled forests. Our formulas for the major indices and the inversion number are type B analogues of the formula due to Bjorner and Wachs. We also give a type D analogue with respect to the inversion number of even-signed labeled forests.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.