Pipe Dream Rectification and Dual RSK Correspondence
We prove Dennin's conjecture (Conjecture 8.9 of arXiv:2506.21052) that his variant of dual RSK correspondence is symmetric when restricted to biGrassmannian permutations. For a binary matrix $A$, let $A^\dagger$ denote its transpose-complement, and let $\operatorname{ins}(A)$ and $\operatorname{rec}(A)$ denote its inse...