[논문 리뷰] Stable Matching Mechanisms are Not Obviously Strategy-Proof

Itai Ashlagi, Yannai A. Gonczarowski|arXiv (Cornell University)|2015. 11. 02.

Game Theory and Voting SystemsEconomics, Econometrics and Finance인용 수 19

한 줄 요약

이 논문은 이원 시장의 어느 쪽 측에도 안정적인 매칭 메커니즘이 명백한 전략적 유혹성(OSP)을 갖지 못함을 보여준다. 비록 연기된 수락(DA) 알고리즘이 지원자 측에 대해 전략적으로 안정적이지만, 전략적 안정성의 투명성 없이 조건부 추론 없이 검증되어야 하는 OSP 조건은 안정성과 호환되지 않으며, 비제안자 측의 순환하지 않는 선호가 있는 경우에만 안정적인 매칭에 대해 새로운 OSP 메커니즘이 도입된다.

ABSTRACT

Many two-sided matching markets, from labor markets to school choice programs, use a clearinghouse based on the applicant-proposing deferred acceptance algorithm, which is well known to be strategy-proof for the applicants. Nonetheless, a growing amount of empirical evidence reveals that applicants misrepresent their preferences when this mechanism is used. This paper shows that no mechanism that implements a stable matching is "obviously strategy-proof" for any side of the market, a stronger incentive property than strategy-proofness that was introduced by Li (2017). A stable mechanism that is obviously strategy-proof for applicants is introduced for the case in which agents on the other side have acyclical preferences.

연구 동기 및 목표

• 안정적인 매칭 메커니즘이 명백한 전략적 유혹성(osp)을 갖도록 설계할 수 있는지 조사하는 것.
• 학교 선택 및 노동시장에서 널리 사용되는 연기된 수락(DA) 메커니즘이 참가자의 인지적 투명성이 확보된 방식으로 구현될 수 있는지에 대한 열린 질문을 해결하는 것.
• 안정적인 메커니즘에서 전략적 추론의 인지 복잡성을 탐구하고, 순차적 구현 방식이 약한 inccentive 성질을 지님에도 불구하고 여전히 더 진정성 있는 행동을 이끌 수 있는 이유를 설명하는 것.
• OSP 메커니즘을 안정적인 매칭에 대해 구성할 수 있는 조건을 규명하는 것. 특히, 시장의 한 쪽에서 순환하지 않는 선호를 중심으로 한다.

제안 방법

• Li(2017)가 도입한 명백한 전략적 유혹성(osp)의 개념을 채택하여, 전략적 안정성이 조건부 추론 없이 검증되어야 한다는 조건을 설정한다.
• 안정적인 메커니즘의 구조적 제약을 분석하기 위해, 어떤 안정적인 매칭을 실현하는 메커니즘도 시장의 어느 쪽 측에도 OSP가 될 수 없다는 것을 증명한다.
• 비제안자 측의 선호가 순환하지 않는 경우에, 지원자 측에 대해 OSP이면서 안정적인 매칭을 실현하는 새로운 순차적 메커니즘을 구축한다.
• Ergin(2002)의 순환하지 않는 선호 개념을 사용하여, OSP 안정성이 달성 가능한 영역을 정의하고, 완전히 일치하는 선호 사례에서의 순차적 독재의 일반화를 시도한다.
• 정적 및 순차적 DA의 구현 방식을 비교하여, 순차적 버전이 OSP가 아니지만 인지 부담을 줄이고 실제 상황에서 더 진정성 있는 행동을 유도한다는 것을 보여준다.
• 게임 이론적 분석을 통해 OSP가 안정성과 호환되지 않음을 증명하며, 안정성 제약의 이원성에 기인한다.

실험 결과

연구 질문

• RQ1 이원 시장의 어느 쪽 측에도 안정적인 매칭 메커니즘이 명백한 전략적 유혹성(osp)을 갖을 수 있는가?
• RQ2 연기된 수락과 같은 전략적으로 안정적인 메커니즘을 사용하고도 실제 매칭 시장의 참가자들이 여전히 선호를 허위로 신고하는 이유는 무엇인가?
• RQ3 순환하지 않는 선호와 같은 도메인 제약 조건 하에, 명백한 전략적 유혹성 안정 메커니즘을 구성할 수 있는가?
• RQ4 DA의 순차적 구현 방식은 OSP가 아니지만, 전략적 행동에 어떤 영향을 미치는가?
• RQ5 정적 DA보다 순차적 DA가 더 진정성 있는 보고를 이끌어내는 경험적 관찰은 무엇을 설명하는가? 비록 인centive 성질이 더 약하더라도 말이다.

주요 결과

• 어느 쪽 측에도 안정적인 매칭을 실현하는 메커니즘은 명백한 전략적 유혹성(osp)을 갖지 못하며, 안정성과 OSP 사이에 본질적인 불일치가 존재함을 입증한다.
• 비제안자 측의 선호가 순환하지 않는 경우에, 안정적인 매칭에 대해 명백한 전략적 유혹성(osp) 메커니즘이 존재하며, 특정 도메인 제약 조건 하에서 구축 가능한 해법을 제공한다.
• 연기된 수락 메커니즘은 전략적으로 안정적이지만, 명백한 전략적 유혹성이 아니며, 참가자가 복잡한 추론 없이도 인centive 성질을 이해할 수 없다.
• DA의 순차적 구현은 인지 부담을 줄이고, 진정성 있는 행동을 장려하지만, OSP가 아니며 심지어 진정성 행위가 지배 전략이 되지도 않을 수 있다.
• 안정적인 메커니즘에 대한 추론의 인지 복잡성은 참가자가 진정성 있는 보고가 최적일지라도 여전히 선호를 허위로 보고하는 이유를 설명한다.
• 결과적으로, 일반적인 안정적인 매칭에 대해 OSP 메커니즘은 실현 가능하지 않지만, 순차적 메커니즘은 안정성을 유지하면서도 의사결정을 단순화함으로써 실용적인 대안이 될 수 있다.