Showing 1–19 of 19 results for author: Billey, S C

Cyclotomic generating functions

Authors: Sara C. Billey, Joshua P. Swanson

Abstract: It is a remarkable fact that for many statistics on finite sets of combinatorial objects, the roots of the corresponding generating function are each either a complex root of unity or zero. We call such polynomials \textbf{cyclotomic generating functions} (CGF's). Previous work studied the support and asymptotic distribution of the coefficients of several families of CGF's arising from tableau and… ▽ More It is a remarkable fact that for many statistics on finite sets of combinatorial objects, the roots of the corresponding generating function are each either a complex root of unity or zero. We call such polynomials \textbf{cyclotomic generating functions} (CGF's). Previous work studied the support and asymptotic distribution of the coefficients of several families of CGF's arising from tableau and forest combinatorics. In this paper, we continue these explorations by studying general CGF's from algebraic, analytic, and asymptotic perspectives. We review some of the many known examples of CGF's; describe their coefficients, moments, cumulants, and characteristic functions; and give a variety of necessary and sufficient conditions for their existence arising from probability, commutative algebra, and invariant theory. We further show that CGF's are ``generically'' asymptotically normal, generalizing a result of Diaconis. We include several open problems concerning CGF's. △ Less

Submitted 3 January, 2024; v1 submitted 12 May, 2023; originally announced May 2023.

Comments: 36 pages. Updated funding information

MSC Class: 05A16 (Primary) 60C05; 60F05 (Secondary)

Criteria for smoothness of Positroid varieties via pattern avoidance, Johnson graphs, and spirographs

Authors: Sara C. Billey, Jordan E. Weaver

Abstract: Positroids are certain representable matroids originally studied by Postnikov in connection with the totally nonnegative Grassmannian and now used widely in algebraic combinatorics. The positroids give rise to determinantal equations defining positroid varieties as subvarieties of the Grassmannian variety. Rietsch, Knutson-Lam-Speyer, and Pawlowski studied geometric and cohomological properties of… ▽ More Positroids are certain representable matroids originally studied by Postnikov in connection with the totally nonnegative Grassmannian and now used widely in algebraic combinatorics. The positroids give rise to determinantal equations defining positroid varieties as subvarieties of the Grassmannian variety. Rietsch, Knutson-Lam-Speyer, and Pawlowski studied geometric and cohomological properties of these varieties. In this paper, we continue the study of the geometric properties of positroid varieties by establishing several equivalent conditions characterizing smooth positroid varieties using a variation of pattern avoidance defined on decorated permutations, which are in bijection with positroids. This allows us to give two formulas for counting the number of smooth positroids along with two $q$-analogs. Furthermore, we give a combinatorial method for determining the dimension of the tangent space of a positroid variety at key points using an induced subgraph of the Johnson graph. We also give a Bruhat interval characterization of positroids. △ Less

Submitted 13 July, 2022; originally announced July 2022.

Comments: 52 pages, 12 figures, arXiv:2204.09013, submitted to Transactions of the American Mathematical Society

MSC Class: 05E14 (Primary); 14N20; 05B35; 14M15 (Secondary)

A Pattern Avoidance Characterization for Smoothness of Positroid Varieties

Authors: Sara C. Billey, Jordan E. Weaver

Abstract: Positroids are certain representable matroids originally studied by Postnikov in connection with the totally nonnegative Grassmannian and now used widely in algebraic combinatorics. The positroids give rise to determinantal equations defining positroid varieties as subvarieties of the Grassmannian variety. Rietsch, Knutson-Lam-Speyer and Pawlowski studied geometric and cohomological properties of… ▽ More Positroids are certain representable matroids originally studied by Postnikov in connection with the totally nonnegative Grassmannian and now used widely in algebraic combinatorics. The positroids give rise to determinantal equations defining positroid varieties as subvarieties of the Grassmannian variety. Rietsch, Knutson-Lam-Speyer and Pawlowski studied geometric and cohomological properties of these varieties. In this paper, we continue the study of the geometric properties of positroid varieties by establishing several equivalent conditions characterizing smooth positroid varieties using a variation of pattern avoidance defined on decorated permutations, which are in bijection with positroids. Furthermore, we give a combinatorial method for determining the dimension of the tangent space of a positroid variety at key points using an induced subgraph of the Johnson graph. We also give a Bruhat interval characterization of positroids. △ Less

Submitted 19 April, 2022; originally announced April 2022.

Comments: Accepted as a talk at FPSAC 2022 in Bangalore, India

MSC Class: 05E14 (Primary); 14N20; 05B35; 14M15 (Secondary)

The metric space of limit laws for $q$-hook formulas

Authors: Sara C. Billey, Joshua P. Swanson

Abstract: In earlier work, Billey--Konvalinka--Swanson studied the asymptotic distribution of the coefficients of Stanley's $q$-hook length formula, or equivalently the major index on standard tableaux of straight shape and certain skew shapes. We extend those investigations to Stanley's $q$-hook-content formula related to semistandard tableaux and $q$-hook length formulas of Björner--Wachs related to linea… ▽ More In earlier work, Billey--Konvalinka--Swanson studied the asymptotic distribution of the coefficients of Stanley's $q$-hook length formula, or equivalently the major index on standard tableaux of straight shape and certain skew shapes. We extend those investigations to Stanley's $q$-hook-content formula related to semistandard tableaux and $q$-hook length formulas of Björner--Wachs related to linear extensions of labeled forests. We show that, while their coefficients are ``generically'' asymptotically normal, there are uncountably many non-normal limit laws. More precisely, we introduce and completely describe the compact closure of the metric space of distributions of these statistics in several regimes. The additional limit distributions involve generalized uniform sum distributions which are topologically parameterized by certain decreasing sequence spaces with bounded $2$-norm. The closure of these distributions in the Lévy metric gives rise to the space of DUSTPAN distributions. As an application, we completely classify the limiting distributions of the size statistic on plane partitions fitting in a box. △ Less

Submitted 23 August, 2023; v1 submitted 23 October, 2020; originally announced October 2020.

Comments: 52 pages

MSC Class: 05A16 (Primary) 60C05; 60F05 (Secondary)

On the distribution of the major index on standard Young tableaux

Authors: Sara C. Billey, Matjaž Konvalinka, Joshua P. Swanson

Abstract: The study of permutation and partition statistics is a classical topic in enumerative combinatorics. The major index statistic on permutations was introduced a century ago by Percy MacMahon in his seminal works. In this extended abstract, we study the well-known generalization of the major index to standard Young tableaux. We present several new results. In one direction, we introduce and study tw… ▽ More The study of permutation and partition statistics is a classical topic in enumerative combinatorics. The major index statistic on permutations was introduced a century ago by Percy MacMahon in his seminal works. In this extended abstract, we study the well-known generalization of the major index to standard Young tableaux. We present several new results. In one direction, we introduce and study two partial orders on the standard Young tableaux of a given partition shape, in analogy with the strong and weak Bruhat orders on permutations. The existence of such ranked poset structures allows us to classify the realizable major index statistics on standard tableaux of arbitrary straight shape and certain skew shapes, and has representation-theoretic consequences, both for the symmetric group and for Shephard-Todd groups. In a different direction, we consider the distribution of the major index on standard tableaux of arbitrary straight shape and certain skew shapes. We classify all possible limit laws for any sequence of such shapes in terms of a simple auxiliary statistic, "aft," generalizing earlier results of Canfield-Janson-Zeilberger, Chen-Wang-Wang, and others. We also study unimodality, log-concavity, and local limit properties. △ Less

Submitted 20 May, 2020; originally announced May 2020.

Comments: 12 pages, 2 figures. Extended abstract accepted to FPSAC2020, to appear in Seminaire Lotharingien de Combinatoire. See arXiv:1809.07386 and arXiv:1905.00975 for full papers

MSC Class: 05E10; 05A16; 05A17

Existence and hardness of conveyor belts

Authors: Molly Baird, Sara C. Billey, Erik D. Demaine, Martin L. Demaine, David Eppstein, Sándor Fekete, Graham Gordon, Sean Griffin, Joseph S. B. Mitchell, Joshua P. Swanson

Abstract: An open problem of Manuel Abellanas asks whether every set of disjoint closed unit disks in the plane can be connected by a conveyor belt, which means a tight simple closed curve that touches the boundary of each disk, possibly multiple times. We prove three main results. First, for unit disks whose centers are both $x$-monotone and $y$-monotone, or whose centers have $x$-coordinates that differ b… ▽ More An open problem of Manuel Abellanas asks whether every set of disjoint closed unit disks in the plane can be connected by a conveyor belt, which means a tight simple closed curve that touches the boundary of each disk, possibly multiple times. We prove three main results. First, for unit disks whose centers are both $x$-monotone and $y$-monotone, or whose centers have $x$-coordinates that differ by at least two units, a conveyor belt always exists and can be found efficiently. Second, it is NP-complete to determine whether disks of varying radii have a conveyor belt, and it remains NP-complete when we constrain the belt to touch disks exactly once. Third, any disjoint set of $n$ disks of arbitrary radii can be augmented by $O(n)$ "guide" disks so that the augmented system has a conveyor belt touching each disk exactly once, answering a conjecture of Demaine, Demaine, and Palop. △ Less

Submitted 20 August, 2019; originally announced August 2019.

MSC Class: 52C26 ACM Class: G.2.0

Journal ref: Electronic J. Combinatorics 27 (4), Paper 4.25, 2020

Asymptotic normality of the major index on standard tableaux

Authors: Sara C. Billey, Matjaž Konvalinka, Joshua P. Swanson

Abstract: We consider the distribution of the major index on standard tableaux of arbitrary straight shape and certain skew shapes. We use cumulants to classify all possible limit laws for any sequence of such shapes in terms of a simple auxiliary statistic, aft, generalizing earlier results of Canfield--Janson--Zeilberger, Chen--Wang--Wang, and others. These results can be interpreted as giving a very prec… ▽ More We consider the distribution of the major index on standard tableaux of arbitrary straight shape and certain skew shapes. We use cumulants to classify all possible limit laws for any sequence of such shapes in terms of a simple auxiliary statistic, aft, generalizing earlier results of Canfield--Janson--Zeilberger, Chen--Wang--Wang, and others. These results can be interpreted as giving a very precise description of the distribution of irreducible representations in different degrees of coinvariant algebras of certain complex reflection groups. We conclude with some conjectures concerning unimodality, log-concavity, and local limit theorems. △ Less

Submitted 2 May, 2019; originally announced May 2019.

Comments: 28 pages

MSC Class: 05A16

Boolean product polynomials, Schur positivity, and Chern plethysm

Authors: Sara C. Billey, Brendon Rhoades, Vasu Tewari

Abstract: Let $1\leq k \leq n$ and let $X_n = (x_1, \dots, x_n)$ be a list of $n$ variables. The {\em Boolean product polynomial} $B_{n,k}(X_n)$ is the product of the linear forms $\sum_{i \in S} x_i$ where $S$ ranges over all $k$-element subsets of $\{1, 2, \dots, n\}$. We prove that Boolean product polynomials are Schur positive. We do this via a new method of proving Schur positivity using vector bundles… ▽ More Let $1\leq k \leq n$ and let $X_n = (x_1, \dots, x_n)$ be a list of $n$ variables. The {\em Boolean product polynomial} $B_{n,k}(X_n)$ is the product of the linear forms $\sum_{i \in S} x_i$ where $S$ ranges over all $k$-element subsets of $\{1, 2, \dots, n\}$. We prove that Boolean product polynomials are Schur positive. We do this via a new method of proving Schur positivity using vector bundles and a symmetric function operation we call {\em Chern plethysm}. This gives a geometric method for producing a vast array of Schur positive polynomials whose Schur positivity lacks (at present) a combinatorial or representation theoretic proof. We relate the polynomials $B_{n,k}(X_n)$ for certain $k$ to other combinatorial objects including derangements, positroids, alternating sign matrices, and reverse flagged fillings of a partition shape. We also relate $B_{n,n-1}(X_n)$ to a bigraded action of the symmetric group $\mathfrak{S}_n$ on a divergence free quotient of superspace. △ Less

Submitted 28 February, 2019; originally announced February 2019.

Comments: 20 pages

Tableau posets and the fake degrees of coinvariant algebras

Authors: Sara C. Billey, Matjaž Konvalinka, Joshua P. Swanson

Abstract: We introduce two new partial orders on the standard Young tableaux of a given partition shape, in analogy with the strong and weak Bruhat orders on permutations. Both posets are ranked by the major index statistic offset by a fixed shift. The existence of such ranked poset structures allows us to classify the realizable major index statistics on standard tableaux of arbitrary straight shape and ce… ▽ More We introduce two new partial orders on the standard Young tableaux of a given partition shape, in analogy with the strong and weak Bruhat orders on permutations. Both posets are ranked by the major index statistic offset by a fixed shift. The existence of such ranked poset structures allows us to classify the realizable major index statistics on standard tableaux of arbitrary straight shape and certain skew shapes. By a theorem of Lusztig--Stanley, this classification can be interpreted as determining which irreducible representations of the symmetric group exist in which homogeneous components of the corresponding coinvariant algebra, strengthening a recent result of the third author for the modular major index. Our approach is to identify patterns in standard tableaux that allow one to mutate descent sets in a controlled manner. By work of Lusztig and Stembridge, the arguments extend to a classification of all nonzero fake degrees of coinvariant algebras for finite complex reflection groups in the infinite family of Shephard--Todd groups. △ Less

Submitted 16 May, 2020; v1 submitted 13 September, 2018; originally announced September 2018.

Comments: 47 pages, 10 figures. Incorporated referee comments, added Future Work section. Name changed ("Tableaux" to "Tableau"). To appear in Advances in Mathematics

MSC Class: 05E10

Boolean product polynomials and Schur-positivity

Authors: Louis J. Billera, Sara C. Billey, Vasu Tewari

Abstract: We study a family of symmetric polynomials that we refer to as the Boolean product polynomials. The motivation for studying these polynomials stems from the computation of the characteristic polynomial of the real matroid spanned by the nonzero vectors in $\mathbb{R}^n$ all of whose coordinates are either $0$ or $1$. To this end, one approach is to compute the zeros of the Boolean product polynomi… ▽ More We study a family of symmetric polynomials that we refer to as the Boolean product polynomials. The motivation for studying these polynomials stems from the computation of the characteristic polynomial of the real matroid spanned by the nonzero vectors in $\mathbb{R}^n$ all of whose coordinates are either $0$ or $1$. To this end, one approach is to compute the zeros of the Boolean product polynomials over finite fields. The zero loci of these polynomials cut out hyperplane arrangements known as resonance arrangements, which show up in the context of double Hurwitz polynomials. By relating the Boolean product polynomials to certain total Chern classes of vector bundles, we establish their Schur-positivity by appealing to a result of Pragacz relying on earlier work on numerical positivity by Fulton-Lazarsfeld. Subsequently, we study a two-alphabet version of these polynomials from the viewpoint of Schur-positivity. As a special case of these polynomials, we recover symmetric functions first studied by Désarménien and Wachs in the context of descents in derangements. △ Less

Submitted 7 June, 2018; originally announced June 2018.

Comments: Extended abstract to appear in FPSAC 2018 conference proceedings

A bijective proof of Macdonald's reduced word formula

Authors: Sara C. Billey, Alexander E. Holroyd, Benjamin Young

Abstract: We give a bijective proof of Macdonald's reduced word identity using pipe dreams and Little's bum** algorithm. This proof extends to a principal specialization due to Fomin and Stanley. Such a proof has been sought for over 20 years. Our bijective tools also allow us to solve a problem posed by Fomin and Kirillov from 1997 using work of Wachs, Lenart, Serrano and Stump. These results extend earl… ▽ More We give a bijective proof of Macdonald's reduced word identity using pipe dreams and Little's bum** algorithm. This proof extends to a principal specialization due to Fomin and Stanley. Such a proof has been sought for over 20 years. Our bijective tools also allow us to solve a problem posed by Fomin and Kirillov from 1997 using work of Wachs, Lenart, Serrano and Stump. These results extend earlier work by the third author on a Markov process for reduced words of the longest permutation. △ Less

Submitted 9 February, 2017; originally announced February 2017.

Comments: 39 pages

MSC Class: 05A19

Parabolic double cosets in Coxeter groups

Authors: Sara C. Billey, Matjaž Konvalinka, T. Kyle Petersen, William Slofstra, Bridget E. Tenner

Abstract: Parabolic subgroups $W_I$ of Coxeter systems $(W,S)$, as well as their ordinary and double quotients $W / W_I$ and $W_I \backslash W / W_J$, appear in many contexts in combinatorics and Lie theory, including the geometry and topology of generalized flag varieties and the symmetry groups of regular polytopes. The set of ordinary cosets $w W_I$, for $I \subseteq S$, forms the Coxeter complex of $W$,… ▽ More Parabolic subgroups $W_I$ of Coxeter systems $(W,S)$, as well as their ordinary and double quotients $W / W_I$ and $W_I \backslash W / W_J$, appear in many contexts in combinatorics and Lie theory, including the geometry and topology of generalized flag varieties and the symmetry groups of regular polytopes. The set of ordinary cosets $w W_I$, for $I \subseteq S$, forms the Coxeter complex of $W$, and is well-studied. In this article we look at a less studied object: the set of all double cosets $W_I w W_J$ for $I, J \subseteq S$. Double coset are not uniquely presented by triples $(I,w,J)$. We describe what we call the lex-minimal presentation, and prove that there exists a unique such object for each double coset. Lex-minimal presentations are then used to enumerate double cosets via a finite automaton depending on the Coxeter graph for $(W,S)$. As an example, we present a formula for the number of parabolic double cosets with a fixed minimal element when $W$ is the symmetric group $S_n$ (in this case, parabolic subgroups are also known as Young subgroups). Our formula is almost always linear time computable in $n$, and we show how it can be generalized to any Coxeter group with little additional work. We spell out formulas for all finite and affine Weyl groups in the case that $w$ is the identity element. △ Less

Submitted 14 December, 2017; v1 submitted 2 December, 2016; originally announced December 2016.

Comments: to appear in The Electronic Journal of Combinatorics

MSC Class: Primary: 20F55; Secondary: 05A15

The contributions of Stanley to the fabric of symmetric and quasisymmetric functions

Authors: Sara C. Billey, Peter R. W. McNamara

Abstract: We weave together a tale of two rings, SYM and QSYM, following one gold thread spun by Richard Stanley. The lesson we learn from this tale is that "Combinatorial objects like to be counted by quasisymmetric functions." We weave together a tale of two rings, SYM and QSYM, following one gold thread spun by Richard Stanley. The lesson we learn from this tale is that "Combinatorial objects like to be counted by quasisymmetric functions." △ Less

Submitted 28 May, 2015; v1 submitted 5 May, 2015; originally announced May 2015.

Comments: 22 pages, 3 figures. Written for the 70th-birthday volume honoring Richard Stanley. v2: minor edits

MSC Class: 05E05 (Primary); 05A05; 05C15; 05E10; 05E18; 06A07; 06A11; 14M15; 20C30 (Secondary)

Journal ref: The Mathematical Legacy of Richard P. Stanley, P. Hersh, T. Lam, P. Pylyavskyy, and V. Reiner (Eds.), American Mathematical Society, 2016, 83-104

Fingerprint databases for theorems

Authors: Sara C. Billey, Bridget E. Tenner

Abstract: We discuss the advantages of searchable, collaborative, language-independent databases of mathematical results, indexed by "fingerprints" of small and canonical data. Our motivating example is Neil Sloane's massively influential On-Line Encyclopedia of Integer Sequences. We hope to encourage the greater mathematical community to search for the appropriate fingerprints within each discipline, and t… ▽ More We discuss the advantages of searchable, collaborative, language-independent databases of mathematical results, indexed by "fingerprints" of small and canonical data. Our motivating example is Neil Sloane's massively influential On-Line Encyclopedia of Integer Sequences. We hope to encourage the greater mathematical community to search for the appropriate fingerprints within each discipline, and to compile fingerprint databases of results wherever possible. The benefits of these databases are broad - advancing the state of knowledge, enhancing experimental mathematics, enabling researchers to discover unexpected connections between areas, and even improving the refereeing process for journal publication. △ Less

Submitted 13 April, 2013; originally announced April 2013.

Comments: to appear in Notices of the AMS

MSC Class: 00-02; 00A20

Affine partitions and affine Grassmannians

Authors: Sara C. Billey, Stephen A. Mitchell

Abstract: We give a bijection between certain colored partitions and the elements in the quotient of an affine Weyl group modulo its Weyl group. By Bott's formula these colored partitions give rise to some partition identities. In certain types, these identities have previously appeared in the work of Bousquet-Melou-Eriksson, Eriksson-Eriksson and Reiner. In other types the identities appear to be new. Fo… ▽ More We give a bijection between certain colored partitions and the elements in the quotient of an affine Weyl group modulo its Weyl group. By Bott's formula these colored partitions give rise to some partition identities. In certain types, these identities have previously appeared in the work of Bousquet-Melou-Eriksson, Eriksson-Eriksson and Reiner. In other types the identities appear to be new. For type $A_{n}$, the affine colored partitions form another family of combinatorial objects in bijection with $n+1$-core partitions and $n$-bounded partitions. Our main application is to characterize the rationally smooth Schubert varieties in the affine Grassmannians in terms of affine partitions and a generalization of Young's lattice which refines weak order and is a subposet of Bruhat order. Several of the proofs are computer assisted. △ Less

Submitted 28 September, 2008; v1 submitted 25 March, 2008; originally announced March 2008.

MSC Class: 14M15; 05E15; 22E67

Smooth and palindromic Schubert varieties in affine Grassmannians

Authors: Sara C. Billey, Stephen A. Mitchell

Abstract: Let G be a simply-connected simple compact Lie group over the complex numbers. The affine Grassmannian is a projective ind-variety, homotopy-equivalent to the loop space of G and closely analogous to a maximal flag variety of the classical Grassmannian manifold. It has a Schubert cell decomposition indexed by the coroot lattice or equivalently by the minimal length coset representatives for the… ▽ More Let G be a simply-connected simple compact Lie group over the complex numbers. The affine Grassmannian is a projective ind-variety, homotopy-equivalent to the loop space of G and closely analogous to a maximal flag variety of the classical Grassmannian manifold. It has a Schubert cell decomposition indexed by the coroot lattice or equivalently by the minimal length coset representatives for the affine Weyl group modulo the Weyl group for G. The closure of an affine Schubert cell is a finite dimensional projective variety that we call an affine Schubert variety. In this paper we completely determine the smooth and palindromic (rationally smooth) affine Schubert varieties. △ Less

Submitted 17 December, 2007; originally announced December 2007.

Comments: 53 pages

MSC Class: 14M15; 05E15; 22E67

Embedded factor patterns for Deodhar elements in Kazhdan-Lusztig theory

Authors: Sara C. Billey, Brant C. Jones

Abstract: The Kazhdan-Lusztig polynomials for finite Weyl groups arise in the geometry of Schubert varieties and representation theory. It was proved very soon after their introduction that they have nonnegative integer coefficients, but no completely combinatorial interpretation for them is known in general. Deodhar (1990) has given a framework for computing the Kazhdan-Lusztig polynomials, which general… ▽ More The Kazhdan-Lusztig polynomials for finite Weyl groups arise in the geometry of Schubert varieties and representation theory. It was proved very soon after their introduction that they have nonnegative integer coefficients, but no completely combinatorial interpretation for them is known in general. Deodhar (1990) has given a framework for computing the Kazhdan-Lusztig polynomials, which generally involves recursion. We define embedded factor pattern avoidance for general Coxeter groups and use it to characterize when Deodhar's algorithm yields a simple combinatorial formula for the Kazhdan-Lusztig polynomials of finite Weyl groups. Equivalently, if $(W, S)$ is a Coxeter system for a finite Weyl group, we classify the elements $w \in W$ for which the Kazhdan-Lusztig basis element $C'_w$ can be written as a monomial of $C'_s$ where $s \in S$. This work generalizes results of Billey-Warrington (2001) which identified the Deodhar elements in type $A$ as 321-hexagon-avoiding permutations, and Fan-Green (1997) which identified the fully-tight Coxeter groups. △ Less

Submitted 23 April, 2007; v1 submitted 1 December, 2006; originally announced December 2006.

Comments: 42 pages

MSC Class: 20C08

Maximal singular loci of Schubert varieties in SL(n)/B

Authors: Sara C. Billey, Gregory S. Warrington

Abstract: We give an explicit combinatorial description of the irreducible components of the singular locus of the Schubert variety X_w for any element w in S_n. Our description of the irreducible components is computationally more efficient (O(n^6)) than the previously best known algorithms. This result proves a conjecture of Lakshmibai and Sandhya regarding this singular locus. Furthermore, we give simp… ▽ More We give an explicit combinatorial description of the irreducible components of the singular locus of the Schubert variety X_w for any element w in S_n. Our description of the irreducible components is computationally more efficient (O(n^6)) than the previously best known algorithms. This result proves a conjecture of Lakshmibai and Sandhya regarding this singular locus. Furthermore, we give simple formulas for calculating the Kazhdan-Lusztig polynomials at the maximum singular points. △ Less

Submitted 20 February, 2001; originally announced February 2001.

Comments: 50 pages, 50 figures

MSC Class: 14M15; 05E15

Kazhdan-Lusztig polynomials for 321-hexagon-avoiding permutations

Authors: Sara C. Billey, Gregory S. Warrington

Abstract: We give a combinatorial formula for the Kazhdan-Lusztig polynomials $P_{x,w}$ in the symmetric group when $w$ is a 321-hexagon-avoiding permutation. Our formula, which depends on a combinatorial framework developed by Deodhar, can be expressed in terms of a simple statistic on all subexpressions of any fixed reduced expression for $w$. We also show that $w$ being 321-hexagon-avoiding is equivale… ▽ More We give a combinatorial formula for the Kazhdan-Lusztig polynomials $P_{x,w}$ in the symmetric group when $w$ is a 321-hexagon-avoiding permutation. Our formula, which depends on a combinatorial framework developed by Deodhar, can be expressed in terms of a simple statistic on all subexpressions of any fixed reduced expression for $w$. We also show that $w$ being 321-hexagon-avoiding is equivalent to several other conditions, such as the Bott-Samelson resolution of the Schubert variety $X_w$ being small. We conclude with a simple method for completely determining the singular locus of $X_w$ when $w$ is 321-hexagon-avoiding. △ Less

Submitted 5 May, 2000; originally announced May 2000.

Comments: 24 pages, 18 figures, AMS-LaTeX

MSC Class: 05E15 (Primary) 20F55; 32S45; 14M15 (Secondary)