We study the set of incentive compatible and efficient two-sided matching mechanisms. We classify all such mechanisms under an additional assumption -- "gender-neutrality" -- which guarantees that the two sides be treated symmetrically. All group strategy-proof, efficient and gender-neutral mechanisms are recursive and the outcome is decided in a sequence of rounds. In each round, two agents are selected, one from each side. These agents are either "matched-by-default" or "unmatched-by-default.".

Link

https://arxiv.org/abs/2301.13037