[論文レビュー] 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

ひとこと要約

この論文は、2段階市場における両側に対して、安定マッチングメカニズムが明らかに戦略的不正（OSP）でないことを示している。これは、申請者に対して戦略的不正であるとされる遅延受け入れ（DA）アルゴリズムがあるにもかかわらず、その通りである。本研究は、戦略的不正性が条件付きの推論を伴わず透明に確認できる必要がある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）であるように設計できるかどうかを調査すること。これは、標準的な戦略的不正性よりも強いインcentive性の性質である。
• 学校選択や労働市場で広く使われている遅延受け入れ（DA）メカニズムが、その戦略的不正性が参加者にとって認知的に透明になるように実装可能かどうかという未解決の問いを解消すること。
• 安定メカニズムにおける戦略的推論の認知的複雑さを調査し、順次的実装が弱いインcentive性を持つにもかかわらず、なぜ依然としてより誠実な行動を引き起こすのかを説明すること。
• 安定マッチングのためのOSPメカニズムを構築できる条件を特定すること。特に、市場の一方の側にサイクルのない好みがある場合に焦点を当てる。

提案手法

• Li（2017）が提唱した明らかに戦略的不正（OSP）の概念を採用し、戦略的不正性が条件付きの推論を伴わず検証可能であることを要件とする。
• 安定メカニズムの構造的制限を分析し、安定マッチングを実装するいかなるメカニズムに対しても、市場のいずれの側に対してもOSPでないことを証明する。
• 非申請者側の好みがサイクルのない場合に、安定マッチングを実装し、申請者に対してOSPである新しい逐次的メカニズムを構築する。
• Ergin（2002）が定義したサイクルのない好み（acyclical preferences）の概念を用いて、OSP安定性が達成可能なドメインを定義し、完全に一致する好みのシリアルディクタトリの一般化として展開する。
• 静的および逐次的DAの実装を比較し、逐次的バージョンがOSPでないものの、認知的負荷を軽減し、実際のところ誠実な行動を促進することを示す。
• 形式的ゲーム理論的分析を用いて、安定性とOSPが両立しないことを証明し、安定性制約の2段階性がその原因であることを明らかにする。

実験結果

リサーチクエスチョン

• RQ1 2段階市場のいずれの側に対しても、安定マッチングメカニズムが明らかに戦略的不正（OSP）である可能性はあるか？
• RQ2 遅延受け入れのような戦略的不正メカニズムが使われているにもかかわらず、現実のマッチング市場の参加者がなぜまだ好みを誤って報告するのか？
• RQ3 サイクルのない好みのようなドメイン制限が、明らかに戦略的不正な安定メカニズムの構築を可能にする領域があるのか？
• RQ4 DAの逐次的実装は、OSPでないにもかかわらず、戦略的行動にどのような影響を与えるか？
• RQ5 静的DAに比べて逐次的DAが誠実な報告を促進するという経験的観察は、弱いインcentive性にもかかわらず、何によって説明できるか？

主な発見

• 安定マッチングを実装するいかなるメカニズムに対しても、市場のいずれの側に対しても明らかに戦略的不正（OSP）でないことが示され、安定性とOSPの間に根本的な不整合があることを確立した。
• 非提示側の参加者がサイクルのない好みを持つ場合に限り、安定マッチングのための明らかに戦略的不正なメカニズムが存在し、特定のドメイン制限下での構成的解決策を提供した。
• 遅延受け入れメカニズムは戦略的不正であるが、明らかに戦略的不正ではない。これは、参加者が複雑な推論を経ずにそのインcentive性を理解できないことを意味する。
• DAの逐次的実装は認知的負荷を軽減し、誠実な行動を促進するが、OSPでなく、誠実な行動が支配的戦略でない可能性がある。
• 安定メカニズムに関する推論の認知的複雑さが、真実を述べることが最適でも参加者が好みを誤って報告する理由を説明できる。
• OSPメカニズムが一般の安定マッチングには実現不可能である一方で、逐次的メカニズムは意思決定を単純化し、安定性を損なわずに実用的な代替手段であると示唆している。