[論文レビュー] Unbalanced Random Matching Markets with Partial Preferences

Aditya Potukuchi, Shikha Singh|arXiv (Cornell University)|Feb 15, 2024

Game Theory and Voting Systems被引用数 1

ひとこと要約

この論文は、部分的選好を持つ非平衡市場において、安定マッチングが高確率で完全であるための条件を解明し、平衡市場では d = Θ(ln²n)、非平衡市場（非平衡度 α）では d = Θ(ln n · ln((1+α)/(α+1/(n(α+1)))) が成り立つことを証明した。著者らは、確率的解析に基づく遅延受け入れアルゴリズムを用いて鋭い閾値を確立し、Kanoria ら（2021）の予想を解決した。

ABSTRACT

Properties of stable matchings in the popular random-matching-market model have been studied for over 50 years. In a random matching market, each agent has complete preferences drawn uniformly and independently at random. Wilson (1972), Knuth (1976) and Pittel (1989) proved that in balanced random matching markets, the proposers are matched to their $\ln n$th choice on average. In this paper, we consider markets where agents have partial (truncated) preferences, that is, the proposers only rank their top $d$ partners. Despite the long history of the problem, the following fundamental question remained unanswered: \emph{what is the smallest value of $d$ that results in a perfect stable matching with high probability?} In this paper, we answer this question exactly -- we prove that a degree of $\ln^2 n$ is necessary and sufficient. That is, we show that if $d < (1-ε) \ln^2 n$ then no stable matching is perfect and if $d > (1+ ε) \ln^2 n$, then every stable matching is perfect with high probability. This settles a recent conjecture by Kanoria, Min and Qian (2021). We generalize this threshold for unbalanced markets: we consider a matching market with $n$ agents on the shorter side and $n(α+1)$ agents on the longer side. We show that for markets with $α=o(1)$, the sharp threshold characterizing the existence of perfect stable matching occurs when $d$ is $\ln n \cdot \ln \left(\frac{1 + α}{α+ (1/n(α+1))} ight)$. Finally, we extend the line of work studying the effect of imbalance on the expected rank of the proposers (termed the ``stark effect of competition''). We establish the regime in unbalanced markets that forces this stark effect to take shape in markets with partial preferences.

研究の動機と目的

• ランダムマッチング市場における部分的選好の長さ d が、高確率で完全安定マッチングを保証する最小の d は何か、という根本的な未解決問題を解消すること。
• 完全選好を持つ平衡市場に関する先行研究を、部分的選好を持つ非平衡市場へと拡張すること。
• 「競争の激しさの効果」——つまり、非平衡度の増加がプロポーザーの安定マッチの質をどのように低下させるか——を定量化すること。
• 完全安定マッチングの存在と非存在の境界を分ける閾値 d0 のタイトな漸近的境界を提供すること。
• 古典的な遅延受け入れアルゴリズムの解析を、部分的選好リストおよび非平衡な市場規模へと一般化すること。

提案手法

• n(α+1)人の候補者とn個の職業を持つ二面的マッチング市場を形式化し、各エージェントはランダムな二部グラフ（Erdős–Rényi）における隣接エージェントのうち、一様にランダムに選ばれた長さ d の選好リストを持つ。
• 提案動態と未マッチ確率の分析に、日本式割当確率的アルゴリズム（JPDA）を確率的モデルとして用いる。
• JPDAプロセスとボール・イン・ビン過程との確率的カップリングを用いて、提案回数と未マッチエージェント数の期待値を評価する。
• 集中不等式と条件付き期待値を用いて、提案回数の上界と下界を導出する。
• パラメータ d=1 の確率ゲームモデルを用いて、拒否チェーンと提案成功確率を分析し、失敗確率を評価する。
• 対称性とカップリングの議論を用いて、候補者が受ける提案数とその安定パートナーの期待順位との関係を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 ランダムマッチング市場における部分的選好において、高確率で完全安定マッチングを保証する最小の選好リスト長 d は何か？
• RQ2 市場の非平衡度（α > 0）は、完全安定マッチングの存在閾値 d0 にどのように影響するか？
• RQ3 非平衡市場における部分的選好のもとでも、完全マッチングの鋭い閾値が維持されるか。もしそうなら、その漸近的形は何か？
• RQ4 競争（非平衡度）の増加は、プロポーザーが達成できる最良の安定パートナーの期待順位にどのように影響するか？
• RQ5 「競争の激しさの効果」——つまり、競争が激しくなるとプロポーザーの結果が劣化する——は、部分的選好を持つ市場で定量的に評価可能か？

主な発見

• 平衡市場（α = 0）では、完全安定マッチングが高確率で存在するための必要十分条件は、d > (1+ε)ln²n であり、d < (1−ε)ln²n であれば高確率で完全マッチングは存在しない。
• 非平衡度 α = o(1) の非平衡市場では、完全安定マッチングの鋭い閾値は d0 = ln n · ln((1+α)/(α + 1/(n(α+1)))) である。
• 候補者が得られる最良の安定パートナーの期待順位は、少なくとも (1−o(1))·d / ln((1+α)/(α + 1/(n(α+1)))) 以上である。
• JPDA終了時点で任意の職業が未マッチの確率は 1/n^{1+γ/2} 未満であり、未マッチ職業の期待数は o(1) 未満である。
• JPDAアルゴリズムにおける期待提案回数は、O(m·ln((1+α)/(α+1/m))) で抑えられ、ここで m = n(1+α) であり、タイトな集中性が保証される。
• Kanoria ら（2021）の予想が解決され、d = Θ(ln²n) が多項式的に小さい非平衡度下でも閾値として成立することが証明された。