Support conjecture for key polynomials

Let α\alpha be a composition, let tijt_{ij} swap positions ii and jj, and let mij(α)=α+eiejm_{ij}(\alpha)=\alpha+e_i-e_j. Define β<κα\beta<_\kappa\alpha when β\beta can be generated from α\alpha by a sequence of moves tijt_{ij} with αi<αj\alpha_i<\alpha_j and moves mijm_{ij} with αjαi>1\alpha_j-\alpha_i>1. Let κα\kappa_\alpha be the key polynomial. Key support conjecture.

κα=xα+β<καKeyα,βxβ,\kappa_\alpha=x^\alpha+\sum_{\beta<_\kappa\alpha}{\sf Key}_{\alpha,\beta}x^\beta,

with Keyα,β>0{\sf Key}_{\alpha,\beta}>0 for every β<κα\beta<_\kappa\alpha. The source gives no proof or resolution of this stronger support description.

Sources & referencesView supporting material

Primary source

Cara Monical, Neriman Tokcan and Alexander Yong, “Newton Polytopes in Algebraic Combinatorics”, arXiv:1703.02583 (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.