growth diagrams on compositions by mantepse · Pull Request #41750 · sagemath/sage

mantepse · 2026-03-04T15:07:03Z

This resurrects growth diagrams on compositions

…Mason's insertion algorithm

github-actions · 2026-03-04T16:24:12Z

Documentation preview for this PR (built with commit 56556d8; changes) is ready! 🎉
This preview will update shortly after each push to this PR.

…mpositions

tscrim · 2026-03-27T07:58:59Z

+    The saturated chains in the :meth:`Q_graph` are not familiar to
+    the author::


It's slightly ambiguous who the "author" is here. Is it you or of those the author(s) of the paper(s) you mentioned above? I would say something more definitive like "This sequence is not currently known by OEIS."

(Side note: It is almost A058122, but just 68 instead of 69. Unfortunately there are not more data points in that entry.)

you got me so curious that I installed semigroups and smallsemi, asked an LLM a program to compute it, and made its code work.

Its 68.

The entry in sequence A058122? The entry A058118 has two more numbers: 1376, 7510. They probably are just different generally, but the similarity up until that point was curious.

Co-authored-by: Martin Rubey <axiomize@yahoo.de> Co-authored-by: Travis Scrimshaw <clfrngrown@aol.com>

tscrim · 2026-03-30T01:26:16Z

+    The saturated chains in the :meth:`Q_graph` are not familiar to
+    the author::


The entry in sequence A058122? The entry A058118 has two more numbers: 1376, 7510. They probably are just different generally, but the similarity up until that point was curious.

…mpositions

tscrim

Last little thing, on top of my previous comments above.

Co-authored-by: Travis Scrimshaw <clfrngrown@aol.com>

Co-authored-by: Travis Scrimshaw <clfrngrown@aol.com> Co-authored-by: Martin Rubey <axiomize@yahoo.de>

tscrim

Thank you. One last blankline you missed and one thing I missed. Once changed, then you can change this to a positive review.

mantepse · 2026-04-22T09:08:19Z

+    The saturated chains in the :meth:`Q_graph` are not in the OEIS
+    as of 2026::


Actually, it is quite easy to explain the numbers. As it turns out, the number of saturated chains to a fixed composition is just the number of standard Young tableaux of the corresponding partition shape. So the total number equals $\sum_{\mu\vdash n} |SYT(\mu)| c_\mu$, where $c_\mu$ is https://www.findstat.org/StatisticsDatabase/St000278/

Should I add this? Note that I did not check it, it's only experimental, although I am completely sure that it is true. I would also guess that it is in the literature, although a popular LLM tells me that this statement is new. Should I add it?

I would perhaps add it to FindStat and/or OEIS. You could add it here too, but I don't have a strong opinion either way for that.

Co-authored-by: Martin Rubey <axiomize@yahoo.de>

mantepse · 2026-04-22T09:21:55Z

One final-final thing: in #23941 (comment) you considered various options where to put mason_insert and mason. I am guessing that the best place is rsk.py. I discovered only now that the design there is very similar to the design for the growth diagrams. (N.B., I am still amazed by your skill when you did this redesign, and grateful for it, it works so well!) However, I am a bit afraid that I am opening another week of coding, which I really shouldn't do.

mantepse · 2026-04-22T12:36:45Z

I just realised that my reference is wrong. The dual graded graphs were split into a different paper, with only Steph as author. I have to change this.

…om:mantepse/sage into u/mantepse/growth_diagrams_on_compositions

…mpositions

mantepse · 2026-04-27T08:37:09Z

@tscrim I fixed the reference, and renamed mason and mason_insert to underscore methods, to make it clear that they are not intended for public use yet. It seems not completely trivial to merge them into rsk.py, so I'd like to postpone that.

tscrim · 2026-04-27T09:10:56Z

In your last push, they are not underscored. Is this coming on an forthcoming push (or gobbled in a merge)?

mantepse · 2026-04-27T09:26:13Z

Thank you for looking! Some things I'll never understand :-)

mantepse · 2026-04-29T13:01:49Z

Dear @tscrim, sorry for any confusion: can I set this to positive already?

…mpositions

mantepse · 2026-05-18T08:38:03Z

superseded by #42079

gh-42079: Growth/testsuite To facilitate checking backward and forward rules, we check the forced cases. Supersedes #42093 and #41750 URL: #42079 Reported by: Martin Rubey Reviewer(s): Frédéric Chapoton, Martin Rubey

mantepse added 4 commits September 29, 2017 18:14

initial version for LeftCompositions

3634461

fix typo, include code for is_Q_edge and is_P_edge

344820d

implement a conjectural forward rule for LeftCompositions, and Sarah …

6932277

…Mason's insertion algorithm

Merge branch 'develop' into u/mantepse/growth_diagrams_on_compositions

ed0b6de

github-actions Bot added the s: needs review label Mar 4, 2026

mantepse commented Mar 20, 2026

View reviewed changes

Comment thread src/sage/combinat/growth.py Outdated

mantepse mentioned this pull request Mar 20, 2026

add Huang and Nguyen's bumpless pipe dream growth diagrams #41829

Draft

Merge branch 'sagemath:develop' into u/mantepse/growth_diagrams_on_co…

f958194

…mpositions

tscrim requested changes Mar 27, 2026

View reviewed changes

Apply suggestions from code review

c62bee6

Co-authored-by: Martin Rubey <axiomize@yahoo.de> Co-authored-by: Travis Scrimshaw <clfrngrown@aol.com>

tscrim reviewed Mar 30, 2026

View reviewed changes

Merge branch 'sagemath:develop' into u/mantepse/growth_diagrams_on_co…

ef2fa9b

…mpositions

tscrim requested changes Apr 21, 2026

View reviewed changes

Comment thread src/sage/combinat/growth.py

remove blank line

d50779d

Co-authored-by: Travis Scrimshaw <clfrngrown@aol.com>

mantepse commented Apr 21, 2026

View reviewed changes

Comment thread src/sage/combinat/growth.py Outdated

mantepse commented Apr 21, 2026

View reviewed changes

Comment thread src/sage/combinat/growth.py Outdated

mantepse commented Apr 21, 2026

View reviewed changes

Comment thread src/sage/combinat/growth.py Outdated

mantepse and others added 4 commits April 21, 2026 15:26

Apply suggestions from code review, removing debugging statements etc.

f18a7f4

Co-authored-by: Travis Scrimshaw <clfrngrown@aol.com> Co-authored-by: Martin Rubey <axiomize@yahoo.de>

minor touchups

ee5c05f

fix references

45f08f1

undo mistaken commit

1c70f7a

tscrim approved these changes Apr 22, 2026

View reviewed changes

Comment thread src/sage/combinat/growth.py

Comment thread src/sage/combinat/growth.py Outdated

mantepse commented Apr 22, 2026

View reviewed changes

Comment thread src/sage/combinat/growth.py Outdated

mantepse commented Apr 22, 2026

View reviewed changes

Comment thread src/sage/combinat/growth.py Outdated

Apply suggestions from code review

89e9674

Co-authored-by: Martin Rubey <axiomize@yahoo.de>

fix references, take 2

a67ae2c

mantepse and others added 3 commits April 26, 2026 13:47

fix references

5eb8135

Uncomment doc subdirectory in meson.build

b7f9aa3

fix reference, take 3

57a5ad8

mantepse mentioned this pull request Apr 27, 2026

Growth/compositions2 #42093

Draft

mantepse and others added 2 commits April 27, 2026 10:34

Merge branch 'u/mantepse/growth_diagrams_on_compositions' of github.c…

e9458a2

…om:mantepse/sage into u/mantepse/growth_diagrams_on_compositions

Merge branch 'sagemath:develop' into u/mantepse/growth_diagrams_on_co…

54ba85f

…mpositions

make mason and mason_insert underscore functions

68a5ba1

mantepse added 2 commits May 5, 2026 14:52

Merge branch 'sagemath:develop' into u/mantepse/growth_diagrams_on_co…

179b7f1

…mpositions

Merge branch 'develop' into u/mantepse/growth_diagrams_on_compositions

56556d8

mantepse mentioned this pull request May 9, 2026

Growth/testsuite #42079

Merged

mantepse closed this May 18, 2026

github-actions Bot removed the s: needs review label May 18, 2026

vbraun pushed a commit that referenced this pull request May 29, 2026

a134aad

gh-42079: Growth/testsuite To facilitate checking backward and forward rules, we check the forced cases. Supersedes #42093 and #41750 URL: #42079 Reported by: Martin Rubey Reviewer(s): Frédéric Chapoton, Martin Rubey

		The saturated chains in the :meth:`Q_graph` are not familiar to
		the author::

		The saturated chains in the :meth:`Q_graph` are not in the OEIS
		as of 2026::

Uh oh!

Conversation

mantepse commented Mar 4, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

github-actions Bot commented Mar 4, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

tscrim Mar 27, 2026

Choose a reason for hiding this comment

Uh oh!

mantepse Mar 27, 2026

Choose a reason for hiding this comment

Uh oh!

tscrim Mar 30, 2026

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

tscrim Mar 30, 2026

Choose a reason for hiding this comment

Uh oh!

tscrim left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

tscrim left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

mantepse Apr 22, 2026

Choose a reason for hiding this comment

Uh oh!

tscrim Apr 27, 2026

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

mantepse commented Apr 22, 2026

Uh oh!

mantepse commented Apr 22, 2026

Uh oh!

mantepse commented Apr 27, 2026

Uh oh!

tscrim commented Apr 27, 2026

Uh oh!

mantepse commented Apr 27, 2026

Uh oh!

mantepse commented Apr 29, 2026

Uh oh!

mantepse commented May 18, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

mantepse commented Mar 4, 2026 •

edited

Loading

github-actions Bot commented Mar 4, 2026 •

edited

Loading