Pith. sign in

REVIEW 2 major objections 2 minor 122 references

A Littlewood-Richardson Rule for Forest Polynomials via the Schubert Bialgebra

T0 review · 2 major / 2 minor · reviewed 2026-06-26 · grok-4.3

Pith's one-line read The coefficients in products of forest polynomials are counted by pairs of forest RC graphs under a lift product.

desk verdict The paper gives the first explicit LR-style count for forest polynomial structure constants by lifting multiplication through a Schubert bialgebra. read the letter →

arxiv 2606.23876 v1 pith:TB6U7UNC submitted 2026-06-22 math.CO math.AGmath.RT

classification math.COmath.AGmath.RT
keywords forestpolynomialsLittlewood-RichardsonruleRCgraphsSchubertbialgebraquasisymmetricflagvarietystructureconstantsdualbasescupproduct
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper supplies an explicit counting rule for the structure constants in the multiplication of forest polynomials, which form a Z-basis for the polynomial ring in countably many variables. The rule states that the coefficient of one forest polynomial in the product of two others equals the number of pairs of forest RC graphs with the input codes whose lift product yields a graph with the matching output code and weight. The same counting rule governs the cup product in the cohomology of the quasisymmetric flag variety. The proof proceeds by building a Schubert bialgebra whose dual multiplication lifts to an operation on bounded RC graphs, and the same lift produces rules for several dual bases.

What carries the argument

The lift product on the free abelian group BRC of bounded RC graphs, which lifts the multiplication from the graded dual of the Schubert bialgebra A while preserving forest-codes and weights when restricted to forest RC graphs.

What would settle it

A direct expansion of the product of two forest polynomials for small codes a and b that produces a coefficient for P_c different from the number of qualifying pairs of forest RC graphs under the lift product would disprove the rule.

Watch

Extended reading notes

Core claim

The structure constants β^c_{a,b} in the product of forest polynomials P_a P_b equal the number of pairs of forest RC graphs of forest-codes a and b whose lift product lands on a forest RC graph of forest-code and weight both equal to c. This enumerative rule descends to the cup product on H^•(QFl_n). The proof introduces a Schubert bialgebra A and lifts the multiplication on its graded dual D to a product on the free abelian group BRC of bounded RC graphs; the same machinery yields enumerative LR rules for the dual Schubert, dual key, dual forest, and dual slide bases of D.

Load-bearing premise

The lift product on bounded RC graphs is compatible with the grading and bialgebra structure so that it preserves forest-codes and weights on forest RC graphs.

Editorial extensions

If this is right

  • The cup product structure constants on the cohomology of the quasisymmetric flag variety are given by the same count of lift-product pairs.
  • Littlewood-Richardson rules exist for the dual Schubert, dual key, dual forest, and dual slide bases of the dual space D.
  • The structure constants are nonnegative integers because they count combinatorial objects.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The bialgebra construction may extend to other families of polynomials that admit similar combinatorial models or dual bases.
  • The lift product could be used to derive recursive formulas or positivity preservations for the coefficients beyond the basic counting.
  • A geometric lift of the operation to correspondences or intersections inside the quasisymmetric flag variety would connect the rule more directly to geometry.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 2 minor

Summary. The paper establishes a Littlewood-Richardson rule for the structure constants β^c_{a,b} of the forest polynomials rak{P}_a, which form a b{Z}-basis for the cohomology ring of the quasisymmetric flag variety. The rule asserts that β^c_{a,b} equals the number of pairs of forest RC graphs with forest-codes a and b whose lift product is a forest RC graph whose forest-code and weight both equal c. The same count governs the cup product in H^•(QFl_n). The proof constructs a new Schubert bialgebra A whose graded dual D carries a multiplication that lifts to a product on the free abelian group BRC of bounded RC graphs; the resulting enumerative rules also apply to the dual Schubert, dual key, dual forest, and dual slide bases.

Significance. If the stated compatibilities hold, the result supplies the first explicit combinatorial rule for the nonnegative coefficients of forest polynomials, paralleling the classical Littlewood-Richardson rule. The Schubert bialgebra construction simultaneously yields rules for four additional bases and therefore constitutes a reusable framework rather than an ad-hoc device for a single family.

major comments (2)
  1. [§3.3] §3.3, Definition of the lift product on BRC: the claim that the product restricts to forest RC graphs and preserves both forest-code and weight is load-bearing for the equality with β^c_{a,b}. The verification that the product of two forest RC graphs remains inside the forest subclass (rather than merely landing in BRC) must be checked explicitly against the grading and the bialgebra coproduct on A; without this step the count could include extraneous terms.
  2. [Theorem 5.1] Theorem 5.1 (the main enumerative statement): the argument that the lifted product reproduces the structure constants of D relies on the freeness of BRC and the fact that the forest RC graphs form a basis. It is not immediate that the same lifting works uniformly for the dual Schubert and dual key bases; a uniform statement or a separate verification for each basis is needed to support the claim that the machinery yields LR rules for all four families.
minor comments (2)
  1. [§2] The notation for bounded RC graphs versus forest RC graphs is introduced without a running example; a small diagram in §2 illustrating a forest-code, its RC graph, and the lift product would clarify the objects being counted.
  2. [§6] The descent from the bialgebra rule to the cup product on H^•(QFl_n) is asserted but the precise quotient map or stabilization argument is not spelled out; a one-paragraph outline would help readers who are primarily interested in the geometric application.

Simulated Author's Rebuttal

2 responses · 0 unresolved

Thank you for the opportunity to respond to the referee's report. We appreciate the positive evaluation of the paper's significance and the constructive major comments, which identify points where additional explicit verification would strengthen the exposition. We address each comment below and will revise the manuscript accordingly.

read point-by-point responses
  1. Referee: [§3.3] §3.3, Definition of the lift product on BRC: the claim that the product restricts to forest RC graphs and preserves both forest-code and weight is load-bearing for the equality with β^c_{a,b}. The verification that the product of two forest RC graphs remains inside the forest subclass (rather than merely landing in BRC) must be checked explicitly against the grading and the bialgebra coproduct on A; without this step the count could include extraneous terms.

    Authors: We agree that an explicit verification of the restriction is required to confirm that the lift product of forest RC graphs stays within the forest subclass and preserves the relevant invariants. In the revised manuscript we will insert a new proposition in §3.3 that carries out this check directly against the grading on A and the coproduct, showing that the product of two forest RC graphs is again a forest RC graph with the same forest-code and weight. This will ensure the count contains no extraneous terms. revision: yes

  2. Referee: [Theorem 5.1] Theorem 5.1 (the main enumerative statement): the argument that the lifted product reproduces the structure constants of D relies on the freeness of BRC and the fact that the forest RC graphs form a basis. It is not immediate that the same lifting works uniformly for the dual Schubert and dual key bases; a uniform statement or a separate verification for each basis is needed to support the claim that the machinery yields LR rules for all four families.

    Authors: The lifting construction is uniform because BRC is the free abelian group on all bounded RC graphs and the four dual bases (Schubert, key, forest, slide) are simply different bases of the same graded dual D; the structure constants are therefore lifted by the same rule in each case. To make this uniformity explicit, the revised version of Theorem 5.1 will include a uniform statement clarifying that the enumerative rule applies identically to all four families, together with a short remark explaining why the freeness and basis arguments carry over without change. A brief appendix verification for the dual Schubert and dual key cases can be added if the referee prefers. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity detected

full rationale

The paper constructs a new Schubert bialgebra A whose graded dual D has the forest polynomials as a basis, then defines a lift product on the free abelian group BRC of bounded RC graphs such that the product restricts to forest RC graphs and reproduces the multiplication in D. The claimed LR rule is the direct count of pairs whose lift product yields a graph of the target forest-code and weight; this count is shown equal to the structure constants by the construction itself. No parameter is fitted to a subset of the target coefficients and then renamed a prediction, no self-citation supplies a load-bearing uniqueness theorem, and the bialgebra is introduced as new machinery rather than derived from the forest polynomials. The derivation is therefore self-contained against external benchmarks and receives the default non-circularity finding.

Assumptions & free parameters 0 free parameters · 2 assumptions · 2 invented entities

The central claim rests on the existence and properties of the newly introduced Schubert bialgebra A, the lift product on BRC, and the identification of forest RC graphs as a suitable subset; these are domain constructions rather than standard background facts.

assumptions (2)
  • ad hoc to paper The Schubert bialgebra A exists and its graded dual D carries a multiplication that lifts to a product on the free abelian group BRC of bounded RC graphs.
    The proof strategy is built around introducing this bialgebra and the lift; the abstract presents it as part of the new machinery.
  • domain assumption The lift product preserves forest-codes and weights when applied to forest RC graphs.
    Required for the counting rule to land inside the forest polynomial basis.
invented entities (2)
  • Schubert bialgebra A
    purpose: To lift the multiplication on the dual D to an explicit product on bounded RC graphs so that structure constants become counts.
    New algebraic object introduced in the paper; no independent evidence outside this construction is mentioned.
  • lift product on BRC
    purpose: To realize the product of forest polynomials as an operation on diagrams whose output can be counted.
    Defined as part of the lifting machinery; no external verification supplied in the abstract.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A Littlewood-Richardson Rule for Forest Polynomials via the Schubert Bialgebra." pith.science (2026). https://pith.science/paper/TB6U7UNC

@misc{pith2026260623876,
  author       = {Pith},
  title        = {Pith review of: A Littlewood-Richardson Rule for Forest Polynomials via the Schubert Bialgebra},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/TB6U7UNC}},
  note         = {Machine review of arXiv:2606.23876}
}
abstract

The forest polynomials $\mathfrak{P}_a$ of Nadeau-Tewari form a $\mathbb{Z}$-basis of $\mathbb{Z}[x_1, x_2, \dots]$ whose role for the cohomology of the quasisymmetric flag variety parallels that of Schubert polynomials for the classical flag variety. Nonnegativity of the structure constants $\beta^c_{a,b}$ in $\mathfrak{P}_a \mathfrak{P}_b = \sum_c \beta^c_{a,b} \mathfrak{P}_c$ is known, but no Littlewood-Richardson-style enumerative rule has been available. We give such a rule: $\beta^c_{a,b}$ counts pairs of forest RC graphs of forest-codes $a$ and $b$ whose lift product lands on a forest RC graph of forest-code and weight both equal to $c$. The same rule descends to the cup product on $H^\bullet(QFl_n)$. The proof introduces a Schubert bialgebra $\mathcal{A}$ and lifts the multiplication on its graded dual $\mathcal{D}$ to a product on a free abelian group $\mathcal{B}RC$ of bounded RC graphs; the same machinery yields enumerative LR rules for the dual Schubert, dual key, dual forest, and dual slide bases of $\mathcal{D}$.

Figures

Figures reproduced from arXiv: 2606.23876 by the authors.

Figure 1
Figure 1. The pipe dream visualization of the bounded RC graph R with ht(R) = 5 where R = {(1, 1),(1, 2),(2, 1),(3, 1),(3, 3)} 2 2 3 1 5 4 2 1 3 6 5 1 2 3 4 5 q s We observe that in the above RC graph, the position (1, 5) does not have this configuration. Placing a crossing there would create a negative root, and the pipes would cross twice. Note that this results in a collection of ordered pairs that is not an RC graph, if s… view at source ↗
Figure 2
Figure 2. An invalid set of crossings causing pipes to cross more than once, caused by inserting a crossing at a negative root 2 2 5 3 1 5 4 2 1 3 5 6 1 2 3 4 5 4.3. Zeroing out the last row. We proceed now to define a product on BRC turning it into a ring. To do this, we need to be able to define a function Z : BRC → BRC trimming empty rows from the bottom instead of from the top. This is far more complicated. See [PITH_FUL… view at source ↗
Figure 3
Figure 3. Step-by-step computation of Z(R) for R = {(1, 2),(1, 3),(2, 2)} [PITH_FULL_IMAGE:figures/full_fig_p018_3.png] view at source ↗
Figures from the paper (3 more)
Figure 4
Figure 4. Figure 4: The two 7-row RC graphs R1 (left) and R2 (right) in Demc satisfying clip3 (Ri) ∈ Dema and trim3 (Ri) ∈ Demb. The outlined box marks the top 3 rows (the clip region). Both graphs have permutation wc = (1, 2, 3, 5, 7, 4, 10, 6, 8, 9). They differ only in their first two …
Figure 5
Figure 5. Figure 5: The two 10-row witness pipe dreams in the forest class for c. Therefore Theorem 6.4 gives f c a,b = 2 [PITH_FULL_IMAGE:figures/full_fig_p033_5.png]
Figure 6
Figure 6. Figure 6: Common clip/trim pair for both witnesses R1, R2. 7. Product rule for dual slide polynomials 7.1. Slide polynomials. Definition 7.1.1. For a word r = r1r2 · · · rk, a sequence of positive integers a1a2 · · · ak is compatible with r if ai ≤ ri for all i, ai ≤ ai+1 for al…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

122 extracted references · 13 canonical work pages

  1. [1]

    Demazure, Michel , journal=. D

  2. [2]

    Une nouvelle formule des caract

    Demazure, Michel , journal=. Une nouvelle formule des caract

  3. [3]

    Hamaker, Zachary , journal=. Dual

  4. [4]

    Schubert varieties and

    Andersen, Henning Haahr , journal=. Schubert varieties and. 1985 , publisher=

  5. [5]

    Joseph, Anthony , journal=. On the

  6. [6]

    Invariant theory and tableaux (

    Keys & standard bases , author=. Invariant theory and tableaux (. 1990 , publisher=

  7. [7]

    Key polynomials and a flagged

    Reiner, Victor and Shimozono, Mark , journal=. Key polynomials and a flagged. 1995 , publisher=

  8. [8]

    An explicit construction of type

    Mason, Sarah , journal=. An explicit construction of type. 2009 , publisher=

Show all 122 references
  1. [9]

    The crystal base and

    Kashiwara, Masaki , journal=. The crystal base and

  2. [10]

    Crystal graphs and

    Littelmann, Peter , journal=. Crystal graphs and. 1995 , publisher=

  3. [11]

    Polo, Patrick , journal=. Vari

  4. [12]

    Mathematische Zeitschrift , volume=

    Longest weight vectors and excellent filtrations , author=. Mathematische Zeitschrift , volume=. 1989 , publisher=

  5. [13]

    Filtrations of

    Mathieu, Olivier , journal=. Filtrations of

  6. [14]

    arXiv preprint arXiv:2306.10939 , year=

    Forest polynomials and the class of the permutahedral variety , author=. arXiv preprint arXiv:2306.10939 , year=

  7. [15]

    arXiv preprint arXiv:2406.01510 , year=

    Quasisymmetric divided differences , author=. arXiv preprint arXiv:2406.01510 , year=

  8. [16]

    arXiv preprint arXiv:2410.12643 , year=

    The geometry of quasisymmetric coinvariants , author=. arXiv preprint arXiv:2410.12643 , year=

  9. [17]

    Forum of Mathematics, Sigma , volume=

    Schubert polynomial expansions revisited , author=. Forum of Mathematics, Sigma , volume=

  10. [18]

    arXiv preprint arXiv:2504.15234 , year=

    Equivariant quasisymmetry and noncrossing partitions , author=. arXiv preprint arXiv:2504.15234 , year=

  11. [19]

    arXiv preprint arXiv:2508.12171 , year=

    The quasisymmetric flag variety: a toric complex on noncrossing partitions , author=. arXiv preprint arXiv:2508.12171 , year=

  12. [20]

    , journal=

    Little, David P. , journal=. Combinatorial aspects of the. 2003 , publisher=

  13. [21]

    Product of a

    Matt Samuel (https://mathoverflow.net/users/62135/matt-samuel) , HOWPUBLISHED =. Product of a. https://mathoverflow.net/q/212762 , URL =

  14. [22]

    2000 , publisher=

    Kirillov, Anatol N and Maeno, Toshiaki , journal=. 2000 , publisher=

  15. [23]

    Schubert puzzles and integrability

    Knutson, Allen and Zinn-Justin, Paul , journal=. Schubert puzzles and integrability

  16. [24]

    Shellable nonpure complexes and posets

    Bj. Shellable nonpure complexes and posets. Transactions of the American Mathematical Society , volume=

  17. [25]

    Embedding

    Yu, Tianyi , journal=. Embedding. 2025 , publisher=. doi:10.1093/imrn/rnaf336 , url=

  18. [26]

    Clusters,

    Reading, Nathan , journal=. Clusters,

  19. [27]

    1997 , publisher=

    Fomin, Sergey and Gelfand, Sergei and Postnikov, Alexander , journal=. 1997 , publisher=

  20. [28]

    1999 , publisher=

    Postnikov, Alexander , booktitle=. 1999 , publisher=

  21. [29]

    2012 , publisher=

    Classical aspects of quantum cohomology of generalized flag varieties , author=. 2012 , publisher=

  22. [30]

    Decomposition of tensor products of

    Kouno, Takafumi , journal=. Decomposition of tensor products of. 2020 , publisher=

  23. [31]

    Lam, Thomas and Shimozono, Mark , journal=

  24. [32]

    2005 , publisher=

    Woodward, Christopher T , journal=. 2005 , publisher=

  25. [33]

    arXiv preprint arXiv:2302.12765 , year=

    Strong equivariant positivity for homogeneous varieties and back-stable coproduct coefficients , author=. arXiv preprint arXiv:2302.12765 , year=

  26. [34]

    Sortable elements and

    Reading, Nathan , journal=. Sortable elements and. 2007 , publisher=

  27. [35]

    Sur la num

    Laisant, C-A , journal=. Sur la num

  28. [36]

    Advances in Mathematics , volume=

    Bumpless pipe dreams meet puzzles , author=. Advances in Mathematics , volume=. 2025 , publisher=

  29. [37]

    Samuel , title =

    Matthew J. Samuel , title =

  30. [38]

    Reflection subgroups of

    Dyer, Matthew , journal=. Reflection subgroups of. 1990 , publisher=

  31. [39]

    Reflection groups and

    Humphreys, James E , year=. Reflection groups and

  32. [40]

    Bumpless pipe dreams meet

    Fan, Neil JY and Guo, Peter L and Xiong, Rui , journal=. Bumpless pipe dreams meet

  33. [41]

    Daoji Huang , title =

  34. [42]

    The skew

    William YC Chen and Guo-Guang Yan and Arthur LB Yang , journal=. The skew. 2004 , publisher=

  35. [43]

    Bergeron, Nantel and Sottile, Frank , journal=. Skew

  36. [44]

    A combinatorial proof that

    Assaf, Sami and Bergeron, Nantel and Sottile, Frank , journal=. A combinatorial proof that

  37. [45]

    Schubert calculus and quiver varieties , author=

  38. [46]

    Richard P. Stanley. On the number of reduced decompositions of elements of C oxeter groups. European J. Combin. 1984

  39. [47]

    Skew S chubert functions and the P ieri formula for flag manifolds

    Nantel Bergeron and Frank Sottile. Skew S chubert functions and the P ieri formula for flag manifolds. Trans. Amer. Math. Soc. 2001

  40. [48]

    Tableau formulas for skew

    Tamvakis, Harry , journal=. Tableau formulas for skew

  41. [49]

    Cristian Lenart and Frank Sottile , journal=. Skew

  42. [50]

    Matthew J. Samuel. The L eibniz formula for divided difference operators associated to K ac- M oody root systems. 2014

  43. [51]

    Combinatorics of

    Anders Bj. Combinatorics of. 2005 , PUBLISHER =

  44. [52]

    Symmetric functions,

    Laurent Manivel , YEAR =. Symmetric functions,

  45. [53]

    Billey and William Jockusch and Richard P

    Sara C. Billey and William Jockusch and Richard P. Stanley. Some C ombinatorial P roperties of S chubert P olynomials. J. Algebraic Combin. 1993

  46. [54]

    Kostant, Bertram and Kumar, Shrawan , journal=. The nil. 1986 , publisher=

  47. [55]

    Lascoux and M.P

    A. Lascoux and M.P. Sch \"u tzenberger. Schubert P olynomials and the L ittlewood- R ichardson R ule. Letters in Math. Physics. 1985

  48. [56]

    Schubert polynomials, the B ruhat order, and the geometry of flag manifolds

    Nantel Bergeron and Frank Sottile. Schubert polynomials, the B ruhat order, and the geometry of flag manifolds. Duke Math. J. 1998

  49. [57]

    Chevalley

    C. Chevalley. Sur les d \'e compositions cellulaires des espaces G / B. Algebraic Groups and their Generalizations: Classical Methods, American Mathematical Society, Proceedings and Symposia in Pure Mathematics. 1994

  50. [58]

    D. Monk. The geometry of flag manifolds. Proc. London Math. Soc. 1959

  51. [59]

    I. Coskun. A L ittlewood- R ichardson rule for two-step flag varieties. Inventiones mathematicae. 2009

  52. [60]

    Fomin and R

    S. Fomin and R. P. Stanley. Schubert P olynomials and the N il C oxeter A lgebra. Advances in Math. 1994

  53. [61]

    Universal

    Fulton, William , journal=. Universal

  54. [62]

    Cauchy identities for universal

    Kirillov, Anatolii Nikolaevich , journal=. Cauchy identities for universal. 2004 , publisher=

  55. [63]

    Back stable

    Lam, Thomas and Lee, Seung Jin and Shimozono, Mark , journal=. Back stable. 2021 , publisher=

  56. [64]

    Diagram rules for the generation of

    Winkel, Rudolf , journal=. Diagram rules for the generation of. 1999 , publisher=

  57. [65]

    Recursive and combinatorial properties of

    Winkel, Rudolf , journal=. Recursive and combinatorial properties of. 1996 , publisher=

  58. [66]

    Facets of Algebraic Geometry: Volume 2: A Collection in Honor of William Fulton's 80th Birthday , volume=

    Schubert polynomials, pipe dreams, equivariant classes, and a co-transition formula , author=. Facets of Algebraic Geometry: Volume 2: A Collection in Honor of William Fulton's 80th Birthday , volume=. 2022 , publisher=

  59. [67]

    1993 , publisher=

    Bergeron, Nantel and Billey, Sara , journal=. 1993 , publisher=

  60. [68]

    Multiplication of a S chubert polynomial by a S tanley symmetric polynomial

    Assaf, Sami. Multiplication of a S chubert polynomial by a S tanley symmetric polynomial. arXiv.org:1702.00132. 2017

  61. [69]

    Schubert polynomials, pipe dreams, equivariant classes, and a co-transition formula

    Knutson, Allen. Schubert polynomials, pipe dreams, equivariant classes, and a co-transition formula. arXiv.org:1909.13777. 2019

  62. [70]

    A combinatorial proof that S chubert vs

    Sami Assaf and Nantel Bergeron and Frank Sottile. A combinatorial proof that S chubert vs. S chur coefficients are nonnegative. arXiv.org:1405.2603. 2014

  63. [71]

    Polyn \^o mes de S chubert

    Lascoux, Alain and Marcel-Paul Sch\"utzenberger. Polyn \^o mes de S chubert. Comptes Rendus de l ' Acad \'e mie des Sciences, S \'e rie I. 1982

  64. [72]

    A M olev- S agan type formula for double S chubert polynomials

    Samuel, Matthew J. A M olev- S agan type formula for double S chubert polynomials. J. Pure Appl. Algebra. 2024

  65. [73]

    Macdonald, I. G. Notes on S chubert P olynomials. 1991

  66. [74]

    Pieri ' s rule for flag manifolds and S chubert polynomials

    Sottile, Frank. Pieri ' s rule for flag manifolds and S chubert polynomials. Ann. Inst. Fourier. 1996

  67. [75]

    A P ieri formula for multiplying double S chubert polynomials by factorial S chur polynomials corresponding to partitions of row and hook shape

    Samuel, Matthew J. A P ieri formula for multiplying double S chubert polynomials by factorial S chur polynomials corresponding to partitions of row and hook shape

  68. [76]

    A L ittlewood- R ichardson rule for G rassmannian permutations

    Kevin Purbhoo and Frank Sottile. A L ittlewood- R ichardson rule for G rassmannian permutations. Proc. Am. Math. Soc. 2009

  69. [77]

    Group characters and algebra , author=. Philos. Trans. Roy. Soc. London. Series A, Containing Papers of a Mathematical or Physical Character , volume=. 1934 , publisher=

  70. [78]

    La correspondance de

    Sch. La correspondance de. Combinatoire et repr. 1977 , publisher=

  71. [79]

    Multiplication of a

    Kohnert, Axel , journal=. Multiplication of a. 1997 , publisher=

  72. [80]

    Buch and A

    Anders S. Buch and A. Kresch and K. Purbhoo and H. Tamvakis. The puzzle conjecture for the cohomology of two-step flag manifolds. J. Algebraic Combin. 2016

  73. [81]

    On the M ultiplication of S chubert P olynomials

    Rudolf Winkel. On the M ultiplication of S chubert P olynomials. Adv. Appl. Math. 1998

  74. [82]

    On the complexity of computing

    Hariharan Narayanan , journal=. On the complexity of computing. 2006 , publisher=

  75. [83]

    Mathematics: frontiers and perspectives,

    Positivity problems and conjectures in algebraic combinatorics , author=. Mathematics: frontiers and perspectives,

  76. [84]

    I. N. Bernstein and I. M. Gelfand and S. I. Gelfand , journal=. Schubert cells and the cohomology of the spaces

  77. [85]

    , journal=

    Kirillov, Anatol N. , journal=. Skew divided difference operators and. 2007 , publisher=

  78. [86]

    2003 , author =

    On the diagram of 132-avoiding permutations , journal =. 2003 , author =

  79. [87]

    Robinson, Shawn , journal=. A. 2002 , publisher=

  80. [88]

    Littlewood--

    Molev, AI , journal=. Littlewood--. 2009 , publisher=

  81. [89]

    Positivity in equivariant

    Graham, William , journal=. Positivity in equivariant. 2001 , publisher=

  82. [90]

    Puzzles and (equivariant) cohomology of

    Knutson, Allen and Tao, Terence , journal=. Puzzles and (equivariant) cohomology of. 2003 , publisher=

  83. [91]

    Journal of algebraic combinatorics , volume=

    The puzzle conjecture for the cohomology of two-step flag manifolds , author=. Journal of algebraic combinatorics , volume=. 2016 , publisher=

  84. [92]

    Kostant polynomials and the cohomology ring for

    Billey, Sara C , journal=. Kostant polynomials and the cohomology ring for. 1999 , publisher=

  85. [93]

    Factorial

    Bump, Daniel and McNamara, Peter J and Nakasuji, Maki , journal=. Factorial

  86. [94]

    Mutations of puzzles and equivariant cohomology of two-step flag varieties , author=. Ann. of Math. , pages=. 2015 , publisher=

  87. [95]

    Molev, Alexander and Sagan, Bruce , journal=. A

  88. [96]

    Is this simple symmetry of

    Matt Samuel (https://mathoverflow.net/users/62135/matt-samuel) , howpublished =. Is this simple symmetry of. https://mathoverflow.net/q/448594 , url =

  89. [97]

    A proof of

    Kogan, Mikhail and Kumar, Abhinav , journal=. A proof of

  90. [98]

    Schubert polynomials, slide polynomials,

    Assaf, Sami and Searles, Dominic , journal=. Schubert polynomials, slide polynomials,

  91. [99]

    Assaf, Sami and Schilling, Anne , journal=. A

  92. [100]

    Advances in Mathematics , volume=

    Balanced tableaux , author=. Advances in Mathematics , volume=. 1987 , publisher=

  93. [101]

    Crystal approach to affine

    Morse, Jennifer and Schilling, Anne , journal=. Crystal approach to affine. 2016 , publisher=

  94. [102]

    and Littelmann, Peter and Magyar, P

    Lakshmibai, V. and Littelmann, Peter and Magyar, P. , journal=. Standard monomial theory for. 2002 , publisher=

  95. [103]

    Graham positivity of triple

    Yibo Gao and Rui Xiong , year=. Graham positivity of triple. 2506.09421 , archivePrefix=

  96. [104]

    Lascoux, Alain and Pragacz, Piotr , journal=. Ribbon. 1988 , publisher=

  97. [105]

    2015 , publisher=

    M. 2015 , publisher=

  98. [106]

    arXiv preprint arXiv:2507.11516 , year=

    Inversions Tableaux , author=. arXiv preprint arXiv:2507.11516 , year=

  99. [107]

    Journal of Combinatorial Theory, Series A , volume=

    Bumpless pipe dreams and alternating sign matrices , author=. Journal of Combinatorial Theory, Series A , volume=. 2021 , month=

  100. [108]

    International Mathematics Research Notices , volume=

    The canonical bijection between pipe dreams and bumpless pipe dreams , author=. International Mathematics Research Notices , volume=. 2023 , month=

  101. [109]

    Journal of Combinatorial Theory, Series A , volume =

    Anna Weigandt , title =. Journal of Combinatorial Theory, Series A , volume =

  102. [110]

    Relating

    Hamaker, Zachary and Young, Benjamin , journal=. Relating. 2014 , publisher=

  103. [111]

    Chains in the

    Postnikov, Alexander and Stanley, Richard P , journal=. Chains in the. 2009 , publisher=

  104. [112]

    Knutson, Allen and Miller, Ezra , journal=. Gr. 2005 , publisher=

  105. [113]

    A positive combinatorial formula for the double

    Chou, Jack Chen-An and Yu, Tianyi , journal=. A positive combinatorial formula for the double

  106. [114]

    Advances in Mathematics , volume=

    Forest polynomials and the class of the permutahedral variety , author=. Advances in Mathematics , volume=. 2024 , publisher=

  107. [115]

    2026 , eprint =

    Annie Guo and Dora Woodruff , title =. 2026 , eprint =. doi:10.48550/arXiv.2602.04036 , note =

  108. [116]

    2024 , doi=

    Nadeau, Philippe and Tewari, Vasu , journal=. 2024 , doi=

  109. [117]

    and Guilherme, Ricardo P

    Cain, Alan J. and Guilherme, Ricardo P. and Malheiro, Ant. Quasi-crystals for arbitrary root systems and associated generalizations of the hypoplactic monoid , journal=. 2023 , note=

  110. [118]

    2026 , note =

    Positivity of branching of key polynomials: references and significance , author =. 2026 , note =

  111. [119]

    Positivity of

    Pak, Igor and Robichaux, Colleen , journal=. Positivity of

  112. [120]

    Branching

    Ressayre, Nicolas and Richmond, Edward , journal=. Branching. 2011 , note=

  113. [121]

    Inventiones Mathematicae , volume=

    Eigenvalue problem and a new product in cohomology of flag varieties , author=. Inventiones Mathematicae , volume=

  114. [122]

    Woodruff, Dora , journal=

Pith tools

Reviewed June 26, 2026 · model on record in the stance chip above.