Bumpless Pipedreams in Algebraic Combinatorics

• Bumpless pipedreams are combinatorial models in symmetric function theory that generalize classical Stanley symmetric functions using double weight enumerations and bijective tableau correspondences.
• They employ reduced signed increasing factorizations and primed tableaux to connect type A and type C Stanley symmetric functions, yielding explicit Schur function expansions.
• The framework integrates Coxeter group theory, tableau conversions, and crystal operators to offer new insights and conjectural extensions in algebraic combinatorics.

Bumpless pipedreams, in the context of symmetric function theory and representation-theoretic combinatorics, refer to combinatorial models that generalize the classical Stanley symmetric functions and their connections to crystal structures, tableaux, and algebraic identities. In particular, bumpless pipedreams facilitate the combinatorial description of double Stanley symmetric functions, which interpolate between the type $A_n$ and type $C_n$ Stanley symmetric functions via specializations in two sets of variables. These constructions interface Coxeter group theory, tableau combinatorics, and the structure of algebraic symmetric functions in a unified framework (Hawkes, 2018).

1. Coxeter Group Framework and Factorizations

The foundation utilizes Coxeter groups: let $A_n$ denote the group generated by $s_1, \dots, s_n$ with braid and commutation relations; $C_{n+1}$ is generated by $s_0, s_1, ..., s_n$ with $(s_0s_1)^4=1$, $(s_is_{i+1})^3=1$ for $i\geq1$, and $(s_is_j)^2=1$ otherwise. A “reduced signed increasing factorization” ($C_n$0) of $C_n$1 into $C_n$2 parts is a reduced word $C_n$3 (with letters in $C_n$4), subdivided into $C_n$5 contiguous factors $C_n$6 such that each $C_n$7 is strictly increasing under $C_n$8.

Define the double-weight of $C_n$9 by

$A_n$0

$A_n$1

where “bars” indicate generators $A_n$2 $A_n$3. The double Stanley symmetric polynomial for $A_n$4 in variables $A_n$5 and $A_n$6 is

$A_n$7

Letting $A_n$8 yields the formal power series $A_n$9.

2. Specialization to Stanley Symmetric Functions

The double Stanley symmetric function encapsulates established symmetric functions as special cases. If $s_1, \dots, s_n$0, restricting to reduced increasing factorizations with no barred letters retrieves the type $s_1, \dots, s_n$1 Stanley symmetric function $s_1, \dots, s_n$2. If $s_1, \dots, s_n$3, removing bar-signs and weighting each nonempty factor by $s_1, \dots, s_n$4 gives the type $s_1, \dots, s_n$5 symmetric function $s_1, \dots, s_n$6. This specialization is formalized: $s_1, \dots, s_n$7 for $s_1, \dots, s_n$8 (Hawkes, 2018).

3. Primed Tableaux and Expansion Formulas

To connect reduced signed increasing factorizations to tableau combinatorics, intermediate generating functions are introduced via primed and barred entries in skew tableaux. For fixed $s_1, \dots, s_n$9, $C_{n+1}$0, vectors $C_{n+1}$1, and $C_{n+1}$2, a primed-signed tableau $C_{n+1}$3 of shape $C_{n+1}$4 is filled from

$C_{n+1}$5

with rules enforcing weakly increasing order, limited markings per row and column, and prescribed barred/primed/unmarked counts. The double-weight $C_{n+1}$6 associates powers in the generating function $C_{n+1}$7.

For $C_{n+1}$8, a mixed Edelman–Greene insertion yields a bijection between $C_{n+1}$9 and pairs $s_0, s_1, ..., s_n$0 with $s_0, s_1, ..., s_n$1 an Edelman–Greene tableau of shape $s_0, s_1, ..., s_n$2 and $s_0, s_1, ..., s_n$3 a primed tableau of matching shape. This leads to the expansion: $s_0, s_1, ..., s_n$4 where $s_0, s_1, ..., s_n$5 is the set of Edelman–Greene increasing tableaux whose row-reading word is a reduced word for $s_0, s_1, ..., s_n$6.

4. A Type A Bicrystal Structure and Schur Product Formulas

Primed tableaux possess an $s_0, s_1, ..., s_n$7 “bicrystal” structure: crystal operators $s_0, s_1, ..., s_n$8 handle unprimed letters, while $s_0, s_1, ..., s_n$9 handle primed letters. These operators satisfy commuting relations and define a bicrystal. By bicrystal theory,

$(s_0s_1)^4=1$0

where $(s_0s_1)^4=1$1 and $(s_0s_1)^4=1$2 are Schur polynomials.

For $(s_0s_1)^4=1$3, the corresponding expansion involves highest-weight primed tableaux of shape $(s_0s_1)^4=1$4, explicitly enumerating the case and yielding a summation over products of Schur functions in both alphabets.

5. Tableaux Conversions and Algebraic Relationships

Inward and outward conversion algorithms allow the translation between primed and signed tableaux. A local swap repeatedly replaces primed $(s_0s_1)^4=1$5's with barred $(s_0s_1)^4=1$6's or vice versa, establishing a bijection $(s_0s_1)^4=1$7, weight-preserving. Specifically, primed tableaux $(s_0s_1)^4=1$8 correspond to signed tableaux $(s_0s_1)^4=1$9, and

$(s_is_{i+1})^3=1$0

i.e., the skew Schur function in the difference $(s_is_{i+1})^3=1$1.

The algebraic relationships derived include

$(s_is_{i+1})^3=1$2

$(s_is_{i+1})^3=1$3

for $(s_is_{i+1})^3=1$4.

6. Conjectural Extensions in Type $(s_is_{i+1})^3=1$5

For general signed permutations in $(s_is_{i+1})^3=1$6, “unknotted” elements are defined as those whose reduced words avoid certain forbidden patterns ($(s_is_{i+1})^3=1$7 and $(s_is_{i+1})^3=1$8). For unknotted $(s_is_{i+1})^3=1$9, analogs of EG-tableaux (signed Edelman–Greene tableaux) can be defined, and the following conjectures are proposed:

• For unknotted $i\geq1$0,

$i\geq1$1

• If in every reduced word for $i\geq1$2, at most one $i\geq1$3 occurs,

$i\geq1$4

where $i\geq1$5 counts signed EG-tableaux of shape $i\geq1$6 with $i\geq1$7 barred entries.

• For $i\geq1$8 (so no $i\geq1$9 at all),

$(s_is_j)^2=1$0

with verification for small unknotted $(s_is_j)^2=1$1.

7. Context and Future Directions

The bumpless pipedreams constructions for double Stanley symmetric functions unify combinatorial models for type $(s_is_j)^2=1$2 and type $(s_is_j)^2=1$3 symmetric functions, crystal-theoretic perspectives, and Schur function expansions. The bicrystal structure and tableau expansions enable new algebraic relationships and conjectural ties to broader symmetric function families. Further research directions include establishing the conjectures for general type $(s_is_j)^2=1$4 permutations, explicit realization of crystal operators on signed tableaux, and deeper connections to Schubert calculus and other representation-theoretic domains (Hawkes, 2018).