The Machiavellian frontier of stable mechanisms
Authors:
Qiufu Chen,
Yuanmei Li,
Xiaopeng Yin,
Luosai Zhang,
Siyi Zhou
Abstract:
Market design in one-to-one matching problems aims to establish an ideal mechanism ensuring stability with both stated and true preferences. However, the impossibility theorem in Roth (1982) reveals that no stable mechanism can satisfy strategy-proofness1. This paper focuses on exploring the Machiavellian frontier of stable mechanisms by weakening strategy-proofness. We aim to examine the extent t…
▽ More
Market design in one-to-one matching problems aims to establish an ideal mechanism ensuring stability with both stated and true preferences. However, the impossibility theorem in Roth (1982) reveals that no stable mechanism can satisfy strategy-proofness1. This paper focuses on exploring the Machiavellian frontier of stable mechanisms by weakening strategy-proofness. We aim to examine the extent to which we can relax strategy-proofness while either preserving or overturning Roth (1982)'s impossibility result. Three main results are demonstrated. Firstly, unless only one stable matching exists, no stable mechanism satisfies truncation-invariance, an axiom much weaker than strategy-proofness. Secondly, the M-optimal and W-optimal stable mechanisms satisfy truncation-proofness, an axiom weaker than truncation-invariance (and strategy-proofness). Lastly, truncation-proofness and stability are not logically interdependent; some stable mechanisms lack truncation-proofness, and some truncation-proof mechanisms are not stable. In addition, truncation-proofness and stability cannot characterize M-optimal and W-optimal stable mechanisms.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.