{"id":"arxiv/2610.12720","url":"https://arxiv.org/abs/2610.12720","tags":["math.CO","cs.DM"],"score":0,"title":"The Stable Marriage Polytope is Box-Totally Dual Integral","domain":"math.CO","source":"arxiv","authors":["Michele Barbato","Emiliano Lancini"],"reviews":0,"subject":"math.CO","summary":"A stable matching in a bipartite preference system is a matching that has no unmatched pair whose endpoints both prefer each other to their current assignments. Rothblum gave a linear description of the stable marriage polytope, the convex hull of the incidence vectors of stable matchings. We prove that this polytope is box-totally dual integral. The proof uses the affine representation of the stable marriage polytope as an order polytope together with the matricial characterization of box-TDI polyhedra. Since Kiraly and Pap proved that Rothblum's description is totally dual integral, our…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-08","reactions":{}}