New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Implement the multiplicative bases of WQSym #25152
Comments
This comment has been minimized.
This comment has been minimized.
comment:1
I'm moving the fundamental basis to #25151 since it uses the same order as the Q-basis. |
This comment has been minimized.
This comment has been minimized.
comment:2
Judging from the FQSym monomial-basis code, we first need a function pseudopermutahedron_lequal, that returns whether u<=v. Then we should be able to analogously define pseudopermutahedron_greater, and the associated triangular change of basis. I don't know how to generalise permutahedron_lequal to pseudopermutahedron_lequal, because permutahedron_lequal uses the composition of permutations, rather than simply comparing inversions as I wrote in the description. I suppose we could just code that comparison of inversions instead, and ignore what's in permutahedron_lequal. (I want to try to do this, but I can't connect to SageMathCloud / CoCalc at the moment) |
comment:3
(fixed the inversion comparison in the description) |
This comment has been minimized.
This comment has been minimized.
comment:4
I need to go to bed now, but here's what I have for coding pseudopermutahedron_lequal. Still lacking many many things. I might do more about 10 hours later, but this is pretty hard for me.
|
comment:6
Well, this is far less important than the tickets you listed so of course you guys should prioritise those. (My WQSym research project is on hold at the moment so I'm not in any rush to have this.) I am being greedy asking for so many things! Thanks for writing so much CHA code! |
comment:7
A few observations:
|
Please implement the S and E bases from Novelli-Thibon (https://arxiv.org/abs/math/0605061 section 2.6 and line 47). They are sums of monomials over the pseudo-permutohedron order:
Let p be an ordered set partition.
A pair i<j is a full inversion in p if the block containing i is strictly to the right of the block containing j.
A pair i<j is a half inversion in p if i and j are in the same block.
Two ordered set partitions satisfy u<=v if every full inversion in u is a full inversion in v, and every half inversion in u is a half or full inversion in v.
Then S_u = sum of M_v over v<=u; E_u = sum of M_v over v>=u.
CC: @darijgr @tscrim @saliola @zabrocki @alauve
Component: combinatorics
Keywords: IMA coding sprint, CHAs
Issue created by migration from https://trac.sagemath.org/ticket/25152
The text was updated successfully, but these errors were encountered: