[论文解读] Stable Matching Mechanisms are Not Obviously Strategy-Proof

Itai Ashlagi, Yannai A. Gonczarowski|arXiv (Cornell University)|Nov 2, 2015

Game Theory and Voting SystemsEconomics, Econometrics and Finance被引用 19

一句话总结

本文证明，即使在申请人侧的延迟接受（DA）算法是策略无关的，任何稳定匹配机制对双边市场中的任一侧都不是显然策略无关的（OSP）。它证明了OSP——要求策略无关性无需条件推理即可透明验证——与稳定性不相容，并提出了一种新颖的OSP机制，仅当非提议方具有无环偏好时，该机制可实现稳定匹配。

ABSTRACT

Many two-sided matching markets, from labor markets to school choice programs, use a clearinghouse based on the applicant-proposing deferred acceptance algorithm, which is well known to be strategy-proof for the applicants. Nonetheless, a growing amount of empirical evidence reveals that applicants misrepresent their preferences when this mechanism is used. This paper shows that no mechanism that implements a stable matching is "obviously strategy-proof" for any side of the market, a stronger incentive property than strategy-proofness that was introduced by Li (2017). A stable mechanism that is obviously strategy-proof for applicants is introduced for the case in which agents on the other side have acyclical preferences.

研究动机与目标

• 探究是否可以设计出具有显然策略无关性（OSP）的稳定匹配机制，该性质强于标准策略无关性。
• 解决一个开放性问题：广泛应用于学校选择和劳动力市场的延迟接受（DA）机制，是否可以以一种使其中策略无关性在认知上透明的方式实现。
• 探讨稳定机制中策略推理的认知复杂性，并解释为何尽管顺序实现的激励属性较弱，仍可能促使更真诚的行为。
• 刻画可构建显然策略无关稳定匹配机制的条件，重点关注市场一方具有无环偏好时的情形。

提出的方法

• 采用李（2017）提出的显然策略无关性（OSP）概念，要求策略无关性无需条件推理即可验证。
• 通过证明任何实现稳定匹配的机制都无法对市场任一侧实现OSP，分析稳定机制的结构性限制。
• 构建一种新颖的顺序机制，该机制可实现稳定匹配，并在非申请人方具有无环偏好时对申请人实现OSP。
• 利用Ergin（2002）提出的无环偏好概念，定义一个OSP稳定性可实现的领域，从完全对齐偏好情况下的序列独裁推广而来。
• 比较静态与顺序实现的DA机制，表明顺序版本并非OSP，但可降低认知负担，并在实践中提升真诚行为。
• 采用形式博弈论分析，证明由于稳定约束的双边性质，OSP与稳定性不相容。

实验结果

研究问题

• RQ1 是否存在任何稳定匹配机制，使其对双边市场中任一侧都是显然策略无关的？
• RQ2 为何在现实匹配市场中，参与者即使使用如延迟接受这样的策略无关机制，仍会错误报告偏好？
• RQ3 是否存在某种领域限制（如无环偏好），使得可构造出显然策略无关的稳定匹配机制？
• RQ4 顺序实现的DA机制如何影响策略行为，尽管其本身并非OSP？
• RQ5 为何实证观察显示，尽管顺序DA的激励属性较弱，却仍导致比静态DA更真诚的报告行为？

主要发现

• 任何实现稳定匹配的机制都无法对市场任一侧实现显然策略无关性，确立了稳定性与OSP之间根本性的不相容性。
• 当非提议方的参与者具有无环偏好时，存在一种显然策略无关的稳定匹配机制，为特定领域限制提供了构造性解决方案。
• 延迟接受机制虽具策略无关性，但并非显然策略无关，意味着其激励属性无法在无需复杂推理的情况下被参与者直观理解。
• 顺序实现的DA机制降低了认知负担，即使其并非OSP，也可能促使参与者更真诚地报告偏好。
• 对稳定机制进行策略推理的认知复杂性，解释了为何即使在诚实报告为最优策略时，参与者仍可能错误报告偏好。
• 结果表明，尽管一般稳定匹配无法实现OSP机制，但顺序机制通过简化决策过程，在不牺牲稳定性的前提下，成为一种实用的替代方案。