[論文レビュー] Two-Sided Matching Markets with Correlated Random Preferences

Hugo Gimbert, Claire Mathieu+1 more|arXiv (Cornell University)|Apr 8, 2019

Game Theory and Voting Systems参考文献 12被引用数 2

ひとこと要約

本稿は相関のある好みを持つ二面的市場における安定マッチングを研究し、女性の好みが高頻度に相関している場合（例えば、人気度分布から抽出される場合）、任意の女性の最良および最悪の安定パートナー間のランク差が定数で有界であり、大多数の女性が一意の安定パートナーを持つことを示している。これは、男性の好みが敵対的または相関のない場合でさえ、戦略的操作のインcentiveが限定的であることを示唆する。

ABSTRACT

Stable matching in a community consisting of men and women is a classical combinatorial problem that has been the subject of intense theoretical and empirical study since its introduction in 1962 in a seminal paper by Gale and Shapley, who designed the celebrated ``deferred acceptance'' algorithm for the problem. In the input, each participant ranks participants of the opposite type, so the input consists of a collection of permutations, representing the preference lists. A bipartite matching is unstable if some man-woman pair is blocking: both strictly prefer each other to their partner in the matching. Stability is an important economics concept in matching markets from the viewpoint of manipulability. The unicity of a stable matching implies non-manipulability, and near-unicity implies limited manipulability, thus these are mathematical properties related to the quality of stable matching algorithms. This paper is a theoretical study of the effect of correlations on approximate manipulability of stable matching algorithms. Our approach is to go beyond worst case, assuming that some of the input preference lists are drawn from a distribution. Our model encompasses a discrete probabilistic process inspired by a popularity model introduced by Immorlica and Mahdian, that provides a way to capture correlation between preference lists. Approximate manipulability is approached from several angles : when all stable partners of a person have approximately the same rank; or when most persons have a unique stable partner. Another quantity of interest is a person's number of stable partners. Our results aim to paint a picture of the manipulability of stable matchings in a ``beyond worst case'' setting.

研究の動機と目的

• 好みのリストにおける相関が二面的市場における安定マッチングの構造と操作可能性に与える影響を理解すること。
• 相関のある好みがコア収束（すなわち、少数の安定マッチング）を引き起こすかどうかを調査すること、これにより戦略的インセンティブが低減する。
• 特に人気度ベースの分布を用いたモデル下での個人ごとの安定パートナー数を定量化すること。
• 近似的な操作可能性に関する理論的境界を確立すること、例えば安定パートナー間のランク差やマッチングの一意性を含む。

提案手法

• 好みのリストを、各個人が潜在的なパートナーにスコアを割り当てる人気度ベースの分布からのランダムサンプリングとしてモデル化する。
• ベースラインとして男性提案型の延期受け入れアルゴリズムを用い、好みの順序を段階的に明らかにする確率過程を用いて安定パートナーを分析する。
• 凸性とジェンセンの不等式を用いて人気度スコアに適用し、安定パートナーの期待数に対する濃縮不等式と対数的境界を適用する。
• 提案順序と人気度比の再帰的解析を用いて、特に人気度の大きな差が生じる状況下での安定パートナー数を有界化する。
• アルゴリズム3の実行をモデル化するため、好みの公開に関する確率過程を導入し、特定の女性のすべての安定した夫を列挙する。
• 提案順序と人気度比の対数関数を用いて、期待される安定パートナー数の上界を導出する。

実験結果

リサーチクエスチョン

• RQ1 女性の好みリストにおける相関が、彼女たちの最良および最悪の安定パートナー間のランク差にどのように影響するか？
• RQ2 どのような条件下で大多数の個人が一意の安定パートナーを持つようになり、戦略的操作のインセンティブが低下するか？
• RQ3 男性と女性の両方が人気度ベースの好みを持つ場合、女性が持てる安定パートナーの期待数はどの程度か？
• RQ4 相関のある好みのもとで、安定パートナー間の人気度比は市場規模にどのようにスケーリングするか？
• RQ5 好みがほぼ一様または高頻度に相関している場合、安定パートナー数が多項対数時間内に有界化できるか？

主な発見

• 女性の好みが正規分布から抽出され、男性をk位分前に順位づける確率がu_kで有界である場合、任意の女性の安定パートナー間の期待ランク差は(1 + 2 exp(Σk≥1 k u_k)) · Σk≥1 k² u_k以下である。
• 女性の好みが高頻度に相関している（すなわち、ほぼ同一の順位付け）場合、最良と最悪の安定パートナー間の期待ランク差は定数で有界であり、操作のインセンティブが限定的であることを示唆する。
• 男性の好みが任意であっても、女性の好みが高頻度に相関している場合、大多数の女性が一意の安定パートナーを持つため、戦略的操作の機会が著しく低減する。
• 人気度ベースの好みの場合、男性の好みがほぼ一様（R_Mが1に近い）であれば、女性の期待される安定パートナー数はO(log N)で有界であり、この境界は女性の好みの類似度（Q_W）に依存する。
• 高確率（≥1 - 2/N²）で、女性の任意の2人の安定夫の人気度比はN^5 · Q_W^(1 + 4 ln N (1 + log₂ N) / ln(1 + 1/R_M))以下である。これは、極端な人気度の差が生じにくいことを示している。
• 期待される安定パートナー数はln(|L_w|) + ln(max_m∈L_w D_w(m)/D_w(μ_M(w)))で有界であり、これは現実的な好みモデル下でタイトな対数的上界を提供する。