MacNeille completions of parabolic quotients

Yibo Gao, Hanlin Xu

Alternating sign matrices (ASMs) arise as the Dedekind-MacNeille completion of the Bruhat order on the symmetric group. They enjoy fruitful combinatorial and geometric properties,…