[論文レビュー] Stable Matchings in Metric Spaces: Modeling Real-World Preferences using Proximity

Hossein Karkeh Abadi, Balaji Prabhakar|arXiv (Cornell University)|Oct 15, 2017

Game Theory and Voting Systems参考文献 14被引用数 6

ひとこと要約

本稿は、距離（例：k次元ハイパーキューブ内や直線上の距離）に基づく好みを有するメトリック空間における安定マッチングを研究しており、デートサイトやライドシェアリングなどの現実世界のシステムをモデル化する。ハミング距離または重み付きハミング距離を用い、十分に高い次元数（k = Ω(n⁶) または k > (2+ε)log n）の下で、安定マッチングは高確率で一意であり、安定パートナーまでの期待距離はnに関して対数的に減少することが示された。

ABSTRACT

Suppose each of $n$ men and $n$ women is located at a point in a metric space. A woman ranks the men in order of their distance to her from closest to farthest, breaking ties at random. The men rank the women similarly. An interesting problem is to use these ranking lists and find a stable matching in the sense of Gale and Shapley. This problem formulation naturally models preferences in several real world applications; for example, dating sites, room renting/letting, ride hailing and labor markets. Two key questions that arise in this setting are: (a) When is the stable matching unique without resorting to tie breaks? (b) If $X$ is the distance between a randomly chosen stable pair, what is the distribution of $X$ and what is $E(X)$? We study dating sites and ride hailing as prototypical examples of stable matchings in discrete and continuous metric spaces, respectively. In the dating site model, each person is assigned to a point on the $k$-dimensional hypercube based on their answers to a set of binary $k$ questions. We consider two different metrics on the hypercube: Hamming and Weighted Hamming. Under both metrics, there are exponentially many stable matchings when $k = \lfloor\log n floor$. There is a unique stable matching, with high probability, under the Hamming distance when $k = Ω(n^6)$, and under the Weighted Hamming distance when $k > (2+ε) \log n$ for some $ε>0$. In the ride hailing model, passengers and cabs are modeled as points on the line and matched based on Euclidean distance. Assuming the locations of the passengers and cabs are independent Poisson processes of different intensities, we derive bounds on the distribution of $X$ in terms of busy periods at a last-come-first-served preemptive-resume (LCFS-PR) queue.

研究の動機と目的

• デートサイトやライドシェアリングのような現実世界のマッチングシステムを、メトリック空間内の近接性を用いてモデル化すること。
• タイブレーキングなしで安定マッチングが一意である条件を特定すること。
• このような近接に基づくモデルにおける安定ペアの分布および期待距離 E(X) を分析すること。
• マッチングの数および一意性に関する確率的境界を導出すること。

提案手法

• 参加者をメトリック空間（例：ハミング距離または重み付きハミング距離を用いたk次元ハイパーキューブ）内の点としてモデル化する。
• 各参加者からの距離が増加する順に好みを割り当て、ランダムなタイブレーキングを適用する。
• 確率的解析および集中不等式（例：チェルノフの不等式）を用いて、同着や複数の安定パートナーが生じる確率を上限付ける。
• 和集合の不等式および組合せ的議論を用い、kが増加するにつれて非一意なマッチングの確率が消滅することを示す。
• ライドシェアリングモデルに関しては、ポアソン過程およびLCFS-PRキューのビジーステート期間を用いて、X（安定パートナーまでの距離）の分布を上限付ける。
• 重み付きハミング距離のもとで、k > (1+ε)log n のとき、log(X)/log(n) → -1 が n → ∞ で成り立つという漸近的結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 メトリック空間および次元数に関して、タイブレーキングなしで安定マッチングが一意である条件は何か？
• RQ2 近接に基づくマッチングモデルにおける、ランダムに選ばれた安定ペア間の距離Xの分布は何か？
• RQ3 このようなモデルにおいて、期待距離 E(X) はnに関してどのようにスケーリングするか？
• RQ4 参加者が複数の安定パートナーを持つ確率は何か？ そして、次元数kが増加するにつれてどのように減少するか？
• RQ5 近接性による好みの相関は、安定マッチングの数および構造にどのように影響するか？

主な発見

• k = Ω(n⁶) のとき、ハミング距離メトリック下で安定マッチングは高確率で一意である。
• 重み付きハミング距離のもとで、任意の ε > 0 に対して k > (2+ε)log n のとき、安定マッチングは高確率で一意である。
• 重み付きハミング距離のもとで k > (1+ε)log n のとき、n → ∞ で log(X)/log(n) → -1 となる。これは、安定パートナーまでの期待距離がnのべき乗として減少することを示唆する。
• ハミング距離のもとで k = Ω(n⁶) のとき、参加者が複数の安定パートナーを持つ確率はnが増加するにつれて消滅する。
• ポアソン分布に従うタクシーと乗客を想定したライドシェアリングモデルにおいて、組合せ論的およびキューイング理論的手法を用いてE(X)の境界が導出された。
• 複数の安定マッチングが生じる確率は n²·2⁻ᵏ で上界付けられ、k > (2+ε)log n のとき 0 に近づくため、高確率で一意性が保証される。