Opened 2 years ago

Last modified 2 years ago

#23941 needs_work enhancement

growth diagrams on compositions

Reported by: mantepse Owned by:
Priority: major Milestone: sage-8.2
Component: combinatorics Keywords:
Cc: sage-combinat, tscrim Merged in:
Authors: Martin Rubey Reviewers:
Report Upstream: N/A Work issues:
Branch: u/mantepse/growth_diagrams_on_compositions (Commits) Commit: 6932277f0306a0f3012f3123fe01f69480f37b5a
Dependencies: #23319 Stopgaps:

Description (last modified by mantepse)

This implements the dual graded graph introduced by Vasu Tewari and Stephanie Van Willigenburg in https://arxiv.org/pdf/1512.04614v1.pdf.

I don't know whether local rules are available. I made up a forward rule which yields Sarah Mason's insertion algorithm.

I also don't know a name for the saturated chains ("standard tableaux") in the Q-graph.

Main question: where should I put Sarah Mason's insertion algorithm?

It takes a word with positive integer letters and yields a CompositionTableau.

  • into a new file mason.py?
  • into composition_tableau.py?
  • into rsk.py?
  • into permutation.py?

Change History (8)

comment:1 Changed 2 years ago by mantepse

  • Branch set to u/mantepse/growth_diagrams_on_compositions

comment:2 Changed 2 years ago by mantepse

  • Authors set to Martin Rubey
  • Branch u/mantepse/growth_diagrams_on_compositions deleted
  • Component changed from PLEASE CHANGE to combinatorics
  • Dependencies set to #23319
  • Description modified (diff)
  • Status changed from new to needs_info
  • Type changed from PLEASE CHANGE to enhancement

comment:3 Changed 2 years ago by mantepse

  • Branch set to u/mantepse/growth_diagrams_on_compositions

comment:4 Changed 2 years ago by git

  • Commit set to 344820d010acc8c25d24916314f6c7f2c5d8265c

Branch pushed to git repo; I updated commit sha1. New commits:

344820dfix typo, include code for is_Q_edge and is_P_edge

comment:5 Changed 2 years ago by git

  • Commit changed from 344820d010acc8c25d24916314f6c7f2c5d8265c to 6932277f0306a0f3012f3123fe01f69480f37b5a

Branch pushed to git repo; I updated commit sha1. New commits:

6932277implement a conjectural forward rule for LeftCompositions, and Sarah Mason's insertion algorithm

comment:6 Changed 2 years ago by mantepse

  • Description modified (diff)

comment:7 Changed 2 years ago by mantepse

  • Status changed from needs_info to needs_review

comment:8 Changed 2 years ago by tscrim

  • Cc sage-combinat tscrim added
  • Milestone changed from sage-8.1 to sage-8.2
  • Status changed from needs_review to needs_work

Sorry for taking so long to look at this. IMO, Mason insertion should go into the rsk.py file as it is a similar sort of insertion algorithm and be added as an option to RSK. Although I am not fully convinced that is the best place because the result is a CompositionTableau rather than a Tableau, but it runs parallel enough that I think it is fine. Plus it is more discoverable as part of RSK. The other option is we create a new insertion_algorithm.py file and add it there. Something else to consider is adding a mason_insert() method to CompositionTableau (or moving the mason_insert function there). Your thoughts?

There are also some methods that do not have docstrings and some of the one-line descriptions do not match Sage's formatting (it starts on the next line after """).

Note: See TracTickets for help on using tickets.