[논문 리뷰] Two-Sided Matching Markets with Correlated Random Preferences

Hugo Gimbert, Claire Mathieu외 1명|arXiv (Cornell University)|2019. 04. 08.

Game Theory and Voting Systems참고 문헌 12인용 수 2

한 줄 요약

이 논문은 상관된 선호도를 가진 이원 시장에서의 안정적 매칭을 연구하며, 여성의 선호도가 높이 상관되어 있을 경우(예: 인기도 분포에서 추출됨), 어떤 여성의 최고 및 최악의 안정적 파트너 간의 순위 차이의 기대값이 상수로 유계임을 보여주고, 대부분의 여성은 유일한 안정적 파트너를 가짐을 보임. 이는 남성의 선호도가 적대적이거나 상관이 없더라도 전략적 조작에 대한 유인은 제한적임을 시사함.

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.

연구 동기 및 목표

• 선호도 목록의 상관관계가 이원 시장에서의 안정적 매칭의 구조와 조작 가능성에 어떤 영향을 미치는지 이해하기.
• 상관된 선호도가 핵심 수렴(core convergence) — 즉, 안정적 매칭의 수가 작은 집합이 되는가 — 를 유도하는지 조사하기.
• 특히 인기도 기반 분포를 사용할 때, 개인당 안정적 파트너의 수를 정량화하기.
• 예상 가능한 조작 가능성에 대한 이론적 유계를 설정하기, 예를 들어 안정적 파트너 간의 순위 차이와 안정적 매칭의 유일성

제안 방법

• 각 개인이 잠재적 파트너에게 점수를 부여하는 인기도 기반 선호도를 중심으로, 선호도 목록을 정규 분포에서 임의로 추출하는 모델을 사용함.
• 기본 기반으로 남성 제안 기반의 연기 수용 알고리즘을 사용하고, 선호도를 점진적으로 드러내는 확률적 과정을 통해 안정적 파트너를 분석함.
• 인기도 점수에 대한 볼록성과 젠센의 부등식을 적용하여, 인기도 점수의 농도 불등식과 로그 유계를 사용해 기대되는 안정적 파트너 수에 대한 유계를 도출함.
• 제안 순서와 인기도 비율의 재귀적 분석을 통해 안정적 파트너 수를 유계화함. 특히 큰 인기도 격차가 존재할 경우에 초점을 맞춤.
• 알고리즘 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²)로, 여성의 두 안정적 남성 파트너 간의 인기도 비율은 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))) 이하로 유계이며, 이는 현실적인 선호도 모델 하에서 날카로운 로그 상한을 제공함.