  Weighted enumeration of reduced pipe dreams (or rc-graphs) results in acombinatorial expression for Schubert polynomials. The duality between the setof reduced pipe dreams and certain antidiagonals has important geometricimplications [A. Knutson and E. Miller, Gr\"obner geometry of Schubertpolynomials, Ann. Math. 161, 1245-1318]. The original proof of the duality wasroundabout, relying on the algebra of certain monomial ideals and a recursivecharacterization of reduced pipe dreams. This paper provides a directcombinatorial proof.
The original proof of the duality was roundabout, relying on the algebra of certain monomial ideals and a recursive characterization of reduced pipe dreams. This paper provides a direct combinatorial proof.