[論文レビュー] Obvious Manipulations in Matching without and with Contracts

R. Pablo Arribillaga, Eliana Pepa Risma|arXiv (Cornell University)|Jun 30, 2023

Game Theory and Voting Systems被引用数 4

ひとこと要約

本稿は、病院の選好が公開されており、かつ置換可能であると仮定した、契約を伴う・伴わない二面的many-to-oneマッチング市場における明白な戦略的インcentiveを分析している。病院の選好が公開されている状況において、唯一の非明白な戦略的インセンティブを持つマッチングルールは、両設定において医師最適ルールであることが示されている。一方、契約を伴う場合には、病院最適ルールですら明白な戦略的インセンティブを持つ（1対1の場合でさえ）が、契約なしの状況では非明白な戦略的インセンティブを有する。

ABSTRACT

This paper explores many-to-one matching models, both with and without contracts, where doctors' preferences are private and hospitals' preferences are public and substitutable. It is known that any stable-dominating mechanism --which is either stable or individually rational and Pareto-dominates (from the doctors' perspective) a stable mechanism--, is susceptible to manipulation by doctors. Our study focuses on extit{obvious manipulations} and identifies stable-dominating mechanisms that prevent them. Without contracts, we show that more efficient mechanisms are less likely to be obviously manipulable and that any stable-dominating mechanism is not obviously manipulable. However, with contracts, none of these results hold. While we demonstrate that the Doctor-Proposing Deferred Acceptance (DA) Mechanism remains not obviously manipulable, we show that the Hospital-Proposing DA Mechanism and any efficient mechanism that Pareto-dominates the Doctor-Proposing DA Mechanism become (very) obviously manipulable, in the model with contracts.

研究の動機と目的

• 病院の選好が公開されており、かつ置換可能である場合に、安定マッチングルールが医師の明白な戦略的インセンティブを回避できるかどうかを検討すること。
• 特に病院最適ルールと医師最適ルールに注目し、契約を伴う・伴わないマッチングモデルにおける戦略的インセンティブを比較すること。
• 医師最適と病院最適の結果の間を補間する分位数安定ルール（q-quantile stable rules）が、非明白な戦略的インセンティブを有するかどうかを同定すること。
• 特に置換可能な選好の下で、安定マッチングルールが明白な戦略的インセンティブに対してどれほど頑健であるかを特定すること。

提案手法

• TroyanとMorrill（2020）が定義した『明白な戦略的インセンティブ』の概念を用いる。これは、戦略的行動によって得られる最良の結果が、正直申告による最良の結果を厳密に上回る、あるいは戦略的行動による最悪の結果が正直申告による最悪の結果を厳密に上回る戦略を指す。
• HatfieldとMilgrom（2005）が一般化した遅延選択アルゴリズムを用いて、置換可能な病院の選好のもとで安定配分を構築する。
• q-分位数安定ルールを定義する。これは、q=0で医師最適ルール、q=1で病院最適ルールに対応し、各医師について⌈kq⌉番目に良い安定配分を選択する。
• 1対1およびmany-to-oneの設定において、反例構成を用いて非医師最適ルールの明白な戦略的インセンティブを示す。
• 任意のq∈(0,1]に対して、ある市場において医師が好みを誤って申告することでq-分位数ルールを明白に操作可能であることを証明する。
• 複数の契約が医師-病院ペairに許可されるかどうかを比較することで、契約の影響を分析し、戦略的脆弱性が増加することを示す。

実験結果

リサーチクエスチョン

• RQ1 医師最適マッチングルールは、契約を伴う・伴わない両方のマッチングモデルにおいて、非明白な戦略的インセンティブ（NOM）を有するか？
• RQ2 1対1の場合でさえ、契約を伴う状況下で病院最適マッチングルールはNOMであるか？
• RQ3 q∈(0,1)のq-分位数安定ルール（many-to-oneマッチングモデル、契約あり）の中で、NOMであるものは存在するか？
• RQ4 置換可能な選好と集計需要の法則が、NOM安定ルールの存在に与える影響は何か？
• RQ5 契約を伴う・伴わないマッチングモデルの間で、明白な戦略的インセンティブという観点から、戦略的差異は何か？

主な発見

• 医師最適マッチングルールは、契約あり・なしの両方のmany-to-oneマッチングモデルにおいて、非明白な戦略的インセンティブ（NOM）を有する。
• 病院最適マッチングルールは、契約を伴うmany-to-oneマッチングモデルにおいて、1対1の場合でさえ明白な戦略的インセンティブを有する。
• これに対して、契約なしのmany-to-oneマッチングモデルでは病院最適ルールはNOMであるため、両設定の間で顕著な相違が生じる。
• q-分位数安定ルールにおいては、唯一のNOMであるのは医師最適ルール（q=0）のみであり、q∈(0,1]の他のすべてのルールは明白な戦略的インセンティブを有する。
• q>0の任意のq-分位数ルールにおいて、医師が好みを誤って申告することで、最良の結果を厳密に改善できる反例が構成された。
• 契約の存在は戦略的インセンティブを根本的に変える。病院最適ルールは、契約なしでは頑健であったが、契約ありでは明白な戦略的インセンティブの対象となる。