Strategyproof and fair matching mechanism for union of symmetric m-convex constraints

PLoS One. 2024 Feb 8;19(2):e0289965. doi: 10.1371/journal.pone.0289965. eCollection 2024.

Abstract

We identify a new class of distributional constraints defined as a union of symmetric M-convex sets, which can represent a wide range of real-life constraints in two-sided matching settings. Since M-convexity is not closed under union, a union of symmetric M-convex sets does not belong to this well-behaved class of constraints. Consequently, devising a fair and strategyproof mechanism to handle this new class is challenging. We present a novel mechanism for it called Quota Reduction Deferred Acceptance (QRDA), which repeatedly applies the standard Deferred Acceptance mechanism by sequentially reducing artificially introduced maximum quotas. We show that QRDA is fair and strategyproof when handling a union of symmetric M-convex sets, which extends previous results obtained for a subclass of the union of symmetric M-convex sets: ratio constraints. QRDA always yields a weakly better matching for students than a baseline mechanism called Artificial Cap Deferred Acceptance (ACDA). We also experimentally show that QRDA outperforms ACDA in terms of nonwastefulness.

Grants and funding

Makoto Yokoo receives funding from the JSPS KAKENHI, with grant number JP20H00609, JP21H04979, and JP22K19813. The website of the funder is https://www.jsps.go.jp/english/. JSPS did not participate in the research or preparation for this submission.