[논문 리뷰] An Arrow-Debreu Extension of the Hylland-Zeckhauser Scheme: Equilibrium Existence and Algorithms.

Jugal Garg, Thorben Tröbst외 1명|arXiv (Cornell University)|2020. 09. 22.

Game Theory and Voting Systems참고 문헌 17인용 수 8

한 줄 요약

이 논문은 일방적 매칭 시장에 대한 Hylland-Zeckhauser 체계의 확장인 $ε$-근사 ADHZ 모델을 제안하여 원래 모델에서 균형의 비존재 문제를 해결한다. 선형 유용성 하에서 $ε$-근사 균형의 존재를 증명하고, 이중 유용성에 대한 조합적 다항시간 알고리즘을 제공하며, 균형이 존재하지 않는 조건을 규명함으로써 매칭 시장에 대한 메커니즘 설계에서 중요한 격차를 메운다.

ABSTRACT

The Arrow-Debreu extension of the classic Hylland-Zeckhauser scheme for a one-sided matching market -- called ADHZ in this paper -- has natural applications but has instances which do not admit equilibria. By introducing approximation, we define the $\\epsilon$-approximate ADHZ model. We give the following results. * Existence of equilibrium for the $\\epsilon$-approximate ADHZ model under linear utility functions. The equilibrium satisfies Pareto optimality, approximate envy-freeness and incentive compatibility in the large. * A combinatorial polynomial time algorithm for an $\\epsilon$-approximate ADHZ equilibrium for the case of dichotomous, and more generally bi-valued, utilities. * An instance of ADHZ, with dichotomous utilities and a strongly connected demand graph, which does not admit an equilibrium. * A rational convex program for HZ under dichotomous utilities; a combinatorial polynomial time algorithm for this case was given by Vazirani and Yannakakis (2020). The $\\epsilon$-approximate ADHZ model fills a void, described in the paper, in the space of general mechanisms for one-sided matching markets.

연구 동기 및 목표

• 일방적 매칭 시장에 대한 원래 Arrow-Debreu 확장인 Hylland-Zeckhauser(ADHZ) 체계에서 균형의 비존재 문제를 해결하기 위해.
• 선형 유용성 함수 하에서 $ε$-근사 균형의 존재를 확립하여 파레토 최적성과 근사적 선호 불만 없음을 보장하기 위해.
• 이중 및 이중 유용성 유형의 경우 $ε$-근사 균형을 계산하기 위한 조합적 다항시간 알고리즘을 개발하기 위해.
• 조직화된 유용성 설정에서 조차도 균형이 존재하지 않는 조건을 규명하기 위해.
• 일방적 매칭 시장에 대한 일반 메커니즘 설계의 격차를 메우기 위해 강력하고 근사화된 균형 프레임워크를 도입하기 위해.

제안 방법

• 엄격한 균형 조건을 약간의 허용 가능한 편차로 허용함으로써 $ε$-근사 ADHZ 모델을 도입한다.
• 합리적 볼록 프로그래밍 기법을 활용하여 선형 유용성 하에서 $ε$-근사 균형의 존재를 증명한다.
• 유량 분해와 반복적 개선 기반의 조합 알고리즘을 설계하여 이중 유용성 사례에 적합한 알고리즘을 개발한다.
• 참가자들의 선호도에서 수요 그래프를 구성하고 연결성을 분석하여 균형 비존재 사례를 규명한다.
• 조직화된 유용성 하에서 HZ 메커니즘에 합리적 볼록 프로그래밍 이론을 적용하여 다항시간 계산 가능성을 확보한다.
• 그래프 이론적 분석을 통해 조직화된 유용성과 강하게 연결된 수요 그래프를 가진 반례를 규명한다.

실험 결과

연구 질문

• RQ1 선형 유용성 함수 하에서 ADHZ 모델에 $ε$-근사 균형이 존재하는가?
• RQ2 이중 유용성인 경우 $ε$-근사 균형을 계산하기 위한 조합적 다항시간 알고리즘을 설계할 수 있는가?
• RQ3 조직화된 유용성과 강하게 연결된 수요 그래프를 가진 ADHZ 모델의 사례 중 어떤 것도 균형을 가질 수 없는가?
• RQ4 $ε$-근사 ADHZ 모델은 원래 ADHZ 체계와 비교해 공정성 및 효율성 특성에서 어떻게 다를까?
• RQ5 조직화된 유용성 하에서 HZ 메커니즘은 합리적 볼록 프로그래밍으로 표현 가능하여 효율적인 계산이 가능한가?

주요 결과

• 선형 유용성 하에서 $ε$-근사 ADHZ 균형이 존재하며, 파레토 최적성과 근사적 선호 불만 없음을 만족한다.
• 이중 및 이중 유용성 유형의 경우 $ε$-근사 균형을 계산하기 위한 조합적 다항시간 알고리즘이 존재한다.
• 조직화된 유용성과 강하게 연결된 수요 그래프를 가진 ADHZ의 명시적 사례를 구성하였고, 이는 어떤 균형도 존재하지 않는다.
• 조직화된 유용성 하에서 HZ 메커니즘은 합리적 볼록 프로그래밍으로 표현 가능하여 효율적인 계산이 가능하다.
• $ε$-근사 ADHZ 모델은 일방적 매칭 시장 메커니즘 설계에서 중요한 격차를 메우는 강력한 프레임워크를 제공한다.
• 이 모델은 대규모 상황에서의 인센티브 호환성을 보장하여 메커니즘의 전략적 안정성을 지원한다.