[논문 리뷰] Generalizing Top Trading Cycles for Housing Markets with Fractional Endowments.

Haris Aziz|arXiv (Cornell University)|2015. 09. 14.

Game Theory and Voting Systems참고 문헌 19인용 수 7

한 줄 요약

이 논문은 분수적 소유권을 가진 주택 시장에 일반화된 Gale의 상위 거래 사이클(TTC) 알고리즘인 FTTC를 소개한다. 이 알고리즘은 선형 시간 내에 작동하며, 선호도의 동등성 조건이 존재하더라도 핵심 안정성과 파레토 최적성을 확보한다. 또한 전략적 거래의 가능성과 핵심 안정성 간의 호환성에 관한 불가능성 정리들을 증명하여 열린 문제를 해결한다.

ABSTRACT

The housing market setting constitutes a fundamental model of exchange economies of goods. In most of the work concerning housing markets, it is assumed that agents own and are allocated discrete houses. The drawback of this assumption is that it does not cater for randomized assignments or allocation of time-shares. Recently, house allocation with fractional endowment of houses was considered by Athanassoglou and Sethuraman (2011) who posed the open problem of generalizing Gale's Top Trading Cycles (TTC) algorithm to the case of housing markets with fractional endowments. In this paper, we address the problem and present a generalization of TTC called FTTC that is polynomial-time as well as core stable and Pareto optimal with respect to stochastic dominance even if there are indifferences in the preferences. We prove that if each agent owns one discrete house, FTTC coincides with a state of the art strategyproof mechanism for housing markets with discrete endowments and weak preferences. We show that FTTC satisfies a maximal set of desirable properties by proving two impossibility theorems. Firstly, we prove that with respect to stochastic dominance, core stability and no justified envy are incompatible. Secondly, we prove that there exists no individual rational, Pareto optimal and weak strategyproof mechanism, thereby answering another open problem posed by Athanassoglou and Sethuraman (2011). The second impossibility implies a number of results in the literature.

연구 동기 및 목표

• 에이전트들이 주택의 분수적 소유권을 가진 주택 시장에 대해 Gale의 상위 거래 사이클(TTC) 알고리즘을 일반화하여, 랜덤 또는 시간 공유 할당을 가능하게 한다.
• Athanassoglou와 Sethuraman(2011)이 제기한, TTC를 분수적 소유권으로 확장하는 데 관한 열린 문제를 해결한다.
• 선형 시간 내에 작동하며, 핵심 안정성, 파레토 최적성, 선형 시간 내에서의 전략적 거래의 불가능성(스토하스틱 지배 기준)을 보장하는 메커니즘을 설계한다. 이는 선호도의 동등성 조건이 존재하더라도 가능하다.
• 핵심 안정성과 정당한 불만이 없는 조건이 동시에 성립할 수 없음을 보여주는 불가능성 정리들을 증명한다. 또한 개인적 합리성, 파레토 최적성, 약한 전략적 거래의 불가능성은 상호 배타적임을 보여준다.

제안 방법

• 분수적 소유권을 가진 주택에 대해 TTC를 확장하기 위해, 에이전트들이 주택의 주식을 사이클 단위로 거래할 수 있도록 허용하는 새로운 알고리즘인 FTTC(Fractional Top Trading Cycle)를 제안한다.
• 분수적 할당에서 효율성과 공정성을 평가하기 위해 스트로하스틱 지배를 선호도 비교 기준으로 사용한다.
• 약한 순서를 사용하여 분수적 할당에 대한 에이전트의 선호도를 모델링하고, 동등성 조건을 허용하며, 스트로하스틱 지배 기반으로 안정성과 최적성을 정의한다.
• 각 거래 사이클이 유한한 시간 내에 계산되고, 사이클 수가 에이전트 수 이내로 제한되므로, FTTC가 선형 시간 내에 작동함을 증명한다.
• 스트로하스틱 지배 기준 하에서 상호 거래를 통해 어떤 연합도 약하게 향상될 수 없음을 보여, 핵심 안정성을 확립한다.
• 스트로하스틱 지배 기준 하에서 어떤 다른 할당도 모든 에이전트의 복지 수준을 약하게 향상시킬 수 없음을 증명함으로써, 파레토 최적성을 입증한다.

실험 결과

연구 질문

• RQ1 Gale의 상위 거래 사이클 알고리즘이 분수적 소유권을 가진 주택 시장으로 일반화될 수 있는가? 이 경우 안정성과 효율성과 같은 바람직한 성질을 유지할 수 있는가?
• RQ2 선호도의 동등성 조건이 존재할 때, 스트로하스틱 지배 기준 하에서 핵심 안정성, 파레토 최적성, 약한 전략적 거래의 불가능성을 동시에 달성할 수 있는 메커니즘이 존재하는가?
• RQ3 분수적 주택 시장에서 개인적 합리성, 파레토 최적성, 약한 전략적 거래의 불가능성을 동시에 만족시키는 메커니즘을 설계하는 데 있어 근본적인 제약 조건은 무엇인가?
• RQ4 스트로하스틱 지배 기준 하에서 분수적 주택 시장에서 핵심 안정성과 정당한 불만이 없는 조건이 동시에 성립할 수 있는가?

주요 결과

• FTTC는 분수적 소유권을 가진 주택 시장에 일반화된 선형 시간 알고리즘으로, 선호도의 동등성 조건이 존재하더라도 핵심 안정성과 파레토 최적성을 스트로하스틱 지배 기준 하에서 보장한다.
• 각 에이전트가 한 개의 이산적 주택을 소유할 경우, FTTC는 약한 선호도를 가진 이산 주택 시장에서 알려진 전략적 거래의 불가능한 메커니즘으로 축소된다.
• 논문은 불가능성 결과를 증명한다: 스트로하스틱 지배 기준 하에서 분수적 주택 시장에서 핵심 안정성과 정당한 불만이 없는 조건은 상호 배타적이다.
• 다른 불가능성 결과는 분수적 주택 시장에서 개인적 합리성, 파레토 최적성, 약한 전략적 거래의 불가능성이 동시에 성립할 수 없다는 것을 보여주며, Athanassoglou와 Sethuraman(2011)이 제기한 열린 문제를 해결한다.
• 불가능성 정리들은 이전 문헌에서 제안된 분수 주택 할당 결과들이 모든 바람직한 성질를 동시에 만족시킬 수 없음을 암시한다.
• 불가능성 제약 조건을 고려할 때, FTTC는 스트로하스틱 지배 기준 하에서 핵심 안정성, 파레토 최적성, 약한 전략적 거래의 불가능성을 동시에 달성하는 唯 하나의 메커니즘으로, 바람직한 성질의 최대 집합을 만족한다.