arXiv · 2603.23038
Stable Matching with Choice Correspondences: Beyond Path Independence
Abstract
We study stable matching with agents' choice correspondences as primitives. For many-to-many markets we introduce Individually Rational Persistence (IRP), which admits status-quo persistence, and show that substitutability (SUB) and IRP guarantee a stable matching; the constructive proof yields a symmetric matching algorithm with no proposing side and long-term contracts. For one-to-one markets we introduce replacement-based stability and show that SUB together with binary acyclicity (BA) guarantees existence. Combining the two, in the many-to-one setting, where SUB and irrelevance of rejected contracts (IRC) guarantee stability, we show that SUB with IRP on firms and BA on workers guarantees existence. We show that, in the presence of SUB, IRC is not necessary for existence in any of the three models, so stable matchings exist outside the domain of path independence.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Varun Bansal, Mihir Bhattacharya, Ojasvi Khare. 2026-03-24. Stable Matching with Choice Correspondences: Beyond Path Independence. https://arxiv.org/abs/2603.23038
Cite the original work for its findings. Save a collection to share your selection of sources.