[논문 리뷰] Obvious Manipulations in Matching without and with Contracts

R. Pablo Arribillaga, Eliana Pepa Risma|arXiv (Cornell University)|2023. 06. 30.

Game Theory and Voting Systems인용 수 4

한 줄 요약

이 논문은 병원의 선호가 공개되고 상호 대체 가능할 때, 계약이 있는 및 없는 양방향 다对일 매칭 시장에서 의사의 전략적 유인에 초점을 맞춰 명백한 조작을 분석한다. 병원의 선호가 공개되고 상호 대체 가능한 조건에서, 의사 최적의 매칭 규칙만이 둘 다에서 비명백한 조작이 가능하다(NOM)로 증명되며, 계약이 있는 경우 병원 최적의 규칙조차도 명백한 조작이 가능함을 보여주며, 이는 계약이 없는 경우와 대조된다.

ABSTRACT

This paper explores many-to-one matching models, both with and without contracts, where doctors' preferences are private and hospitals' preferences are public and substitutable. It is known that any stable-dominating mechanism --which is either stable or individually rational and Pareto-dominates (from the doctors' perspective) a stable mechanism--, is susceptible to manipulation by doctors. Our study focuses on extit{obvious manipulations} and identifies stable-dominating mechanisms that prevent them. Without contracts, we show that more efficient mechanisms are less likely to be obviously manipulable and that any stable-dominating mechanism is not obviously manipulable. However, with contracts, none of these results hold. While we demonstrate that the Doctor-Proposing Deferred Acceptance (DA) Mechanism remains not obviously manipulable, we show that the Hospital-Proposing DA Mechanism and any efficient mechanism that Pareto-dominates the Doctor-Proposing DA Mechanism become (very) obviously manipulable, in the model with contracts.

연구 동기 및 목표

• 병원의 선호가 공개되고 상호 대체 가능한 조건에서 의사가 명백한 조작을 피할 수 있는 안정된 매칭 규칙가 존재하는지 검토하는 것.
• 특히 병원 최적의 규칙와 의사 최적의 규칙에 중점을 두어 계약이 있는 및 없는 매칭 모델의 전략적 유인을 비교하는 것.
• 의사와 병원 최적 결과 사이를 조절하는 분위수 안정 규칙(quantile stable rules)이 비명백한 조작이 가능할 수 있는지 판단하는 것.
• 특히 상호 대체 가능한 선호 조건에서 안정된 매칭 규칙이 명백한 조작에 얼마나 견고한지 조건을 규명하는 것.

제안 방법

• Troyan과 Morrill(2020)에서 정의한 명백한 조작 개념을 사용하며, 이는 조작 시 가장 좋은 결과가 진술 시 가장 좋은 결과를 엄격히 능가하거나, 조작 시 가장 나쁜 결과가 진술 시 가장 나쁜 결과를 엄격히 능가할 경우를 의미한다.
• Hatfield와 Milgrom(2005)이 일반화한 연기된 수락 알고리즘을 사용하여 상호 대체 가능한 병원 선호 조건 하에서 안정적 할당을 구성한다.
• q-분위수 안정 규칙을 정의하며, 이는 의사 최적(=0)과 병원 최적(=1) 규칙 사이를 선형으로 보간하는 것으로, 각 의사의 ⌈kq⌉-번째로 좋은 안정적 할당을 선택한다.
• 일对일 및 다대일 설정에서 반례를 구성하여 비의사 최적 규칙의 명백한 조작 가능성을 입증한다.
• 모든 q∈(0,1]에 대해, 어떤 의사라도 선호를 잘못 신고함으로써 q-분위수 규칙을 명백하게 조작할 수 있는 시장이 존재함을 증명한다.
• 의사-병원 쌍 간에 다수의 계약이 허용되는지 여부를 비교함으로써 계약의 영향을 분석하며, 계약이 전략적 취약성을 증가시킴을 보여준다.

실험 결과

연구 질문

• RQ1 계약이 있는 및 없는 두 매칭 모델에서 의사 최적의 매칭 규칙은 비명백한 조작이 가능한가(NOM)?
• RQ2 계약이 존재하는 상황에서, 일대일 경우조차도 병원 최적의 매칭 규칙은 NOM인가?
• RQ3 계약이 있는 다대일 매칭 모델에서 q∈(0,1)인 분위수 안정 규칙 중에서 NOM인 것이 존재하는가?
• RQ4 상호 대체 가능한 선호와 총수요의 법칙이 비명백한 조작이 가능한 안정된 규칙의 존재에 어떤 영향을 미치는가?
• RQ5 계약이 있는 및 없는 매칭 모델 간의 전략적 차이점은 명백한 조작 가능성 측면에서 어떻게 드러나는가?

주요 결과

• 의사 최적의 매칭 규칙은 계약이 있는 및 없는 다대일 매칭 모델 양쪽 모두에서 비명백한 조작이 가능하다(NOM).
• 계약이 있는 다대일 매칭 모델에서 병원 최적의 규칙은 일대일 경우조차도 명백한 조작이 가능하다.
• 반면, 계약이 없는 다대일 매칭 모델에서는 병원 최적의 규칙가 NOM임을 보여주며, 이는 두 설정 간의 핵심적 차이를 드러낸다.
• 분위수 안정 규칙의 경우, 오직 의사 최적의 규칙(q=0)만이 NOM이며, q∈(0,1]인 나머지 모든 규칙는 명백한 조작이 가능하다.
• q>0인 모든 q-분위수 규칙 하에서 의사가 선호를 잘못 신고함으로써 자신의 최선의 결과를 엄격히 개선할 수 있는 반례를 구성하였다.
• 계약의 존재는 전략적 유인을 근본적으로 변화시키며, 이로 인해 이전에는 견고하였던 병원 최적의 규칙도 명백한 조작에 취약해졌다.