[논문 리뷰] Unbalanced Random Matching Markets with Partial Preferences

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

Game Theory and Voting Systems인용 수 1

한 줄 요약

이 논문은 부분적 선호를 가진 비균형 시장에서, 안정적인 매칭이 높은 확률로 완벽해지는 조건을 규명함으로써 오랫동안 남아있던 열린 문제를 해결한다. 비균형 시장에서 각 에이전트의 선호 목록 길이 d가 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는 무엇인가?라는 근본적인 열린 질문을 해결하기 위해.
• 완전한 선호를 가진 균형 시장에 대한 이전 결과를 부분적 선호를 가진 비균형 시장으로 확장하기 위해.
• 경쟁의 '극단적 영향'—즉, 시장의 비균형이 증가할수록 제안자들이 얻는 안정적 매칭의 질이 어떻게 악화되는지 수량화하기 위해.
• 완벽한 안정적 매칭의 존재 여부를 갈라내는 임계값 d0에 대한 날카운 점근적 경계를 제공하기 위해.
• 완전한 선호 목록과 비균형 시장 규모에 일반화된 고전적 연기 수락 알고리즘 분석을 확장하기 위해.

제안 방법

• n(α+1)명의 지원자와 n개의 직무를 가진 이원 매칭 시장 모델을 정의하며, 각 에이전트는 무작위 이분 에르되시-레니 그래프에서 이웃에 대해 균일하게 무작위로 선택된 길이 d의 선호 목록을 가진다.
• 제안 동역학과 미매칭 확률을 분석하기 위해 일본 비례 연기 수락(JPDA) 알고리즘을 확률 모델로 사용한다.
• JPDA 과정과 볼-인-빈 과정 간의 확률적 쌍용을 적용하여 제안 수와 미매칭 에이전트의 기대 수를 근사한다.
• 집중 불등식과 조건부 기대값을 사용하여 제안 수의 상한과 하한을 유도한다.
• d=1인 확률 게임 모델을 통해 기각 체인과 제안 성공 확률을 분석하여 실패 확률을 근사한다.
• 대칭성과 쌍용 논증을 사용하여 지원자가 받는 제안 수를 그 안정적 파artner의 기대 순위와 연결한다.

실험 결과

연구 질문

• RQ1 부분적 선호를 가진 랜덤 매칭 시장에서, 완벽한 안정적 매칭이 높은 확률로 보장되기 위해 필요한 최소 선호 목록 길이 d는 무엇인가?
• RQ2 시장의 비균형도(α > 0)는 완벽한 안정적 매칭 존재를 위한 임계값 d0에 어떤 영향을 미치는가?
• RQ3 비균형 시장에서 부분적 선호를 가진 경우에도 완벽한 매칭에 대한 날카운 임계값이 유지되는가? 만약 그렇다면, 그 점근적 형태는 무엇인가?
• RQ4 경쟁(비균형도)이 증가할수록 제안자가 달성할 수 있는 최상의 안정적 파artner의 기대 순위는 어떻게 영향을 받는가?
• RQ5 경쟁이 증가할수록 제안자 결과가 악화되는 '극단적 경쟁 효과'는 부분적 선호를 가진 시장에서 수량화될 수 있는가?

주요 결과

• 균형 시장(α = 0)에서는 완벽한 안정적 매칭이 높은 확률로 존재할 조건은 d > (1+ε)ln²n이며, d < (1−ε)ln²n이면 높은 확률로 완벽한 매칭이 존재하지 않는다.
• α = o(1)인 비균형 시장에서는 완벽한 안정적 매칭에 대한 날카운 임계값은 d0 = ln n · ln((1+α)/(α + 1/(n(α+1))))이다.
• 지원자가 확보할 수 있는 최상의 안정적 파artner의 기대 순위는 최소 (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)이 여전히 임계값으로 유지됨을 증명한다.