Determinant formula for the weak-order raising operator
Let be the weak order on the symmetric group , ranked by inversion number, and let be the order-raising operator defined by
For , let be the matrix of the map after dividing every entry by . The determinant conjecture.
This formula has been verified for all pairs with and , as well as in a few additional cases. If true, it would establish the required nonsingularity of the raising maps and hence strong Sperner properties for the weak order.
References
Primary source
Richard P. Stanley, “Some Schubert shenanigans”, arXiv:1704.00851 (2017).
Progress summary
Never refreshed
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
No solutions have been posted yet.