The orbit-by-orbit genomic tableau inequality

From papers

Let OLR(α,\scalebox.5\yng(1),β,γ)\mathcal{O} \subseteq \mathrm{LR}(\alpha,\scalebox{.5}{\yng(1)},\beta, \gamma) be an orbit of ω\omega. Let K1(O)K_1(\mathcal{O}) and K2(O)K_2(\mathcal{O}) denote the sets of genomic tableaux occurring in this orbit in Phases 1 and 2, respectively, via the bijections φ1\varphi_1 and φ2\varphi_2. Orbit-by-orbit genomic tableau conjecture. For i=1,2i=1,2, one has

Ki(O)O1.|K_i(\mathcal{O})| \geq |\mathcal{O}|-1.

Numerical evidence supports the inequality. It has been verified in Phase 1 when β\beta has two rows and in Phase 2 when β\beta has two columns; it also holds for orbits of size two, with equality for fixed points of ω\omega.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Maria Monks Gillespie and Jake Levinson, “Monodromy and K-theory of Schubert Curves via Generalized Jeu de Taquin”, arXiv:1512.06259 (2015).

Solutions 0

No solutions have been posted yet.