[논문 리뷰] The Core of the Participatory Budgeting Problem

Brandon Fain, Ashish Goel외 1명|arXiv (Cornell University)|2016. 10. 11.

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

한 줄 요약

이 논문은 공공재 시장에서의 Lindahl 균형을 특성화하여 참가예산결정(participatory budgeting)의 정의된 공정성 개념인 코어(core)를 다항시간 알고리즘으로 계산하는 방법을 제안한다. 비례 공정성(proportional fairness)을 일반화하는 새로운 볼록 최적화 프레임워크를 도입하고, 실제 데이터를 통한 실험을 통해 코어 배분이 복리 최적화 결과와 가까운 반면, 미세한 차별적 보호(differential privacy)와 약한 진실성 메커니즘을 가능하게 함으로써 검증한다.

ABSTRACT

In participatory budgeting, communities collectively decide on the allocation of public tax dollars for local public projects. In this work, we consider the question of fairly aggregating the preferences of community members to determine an allocation of funds to projects. This problem is different from standard fair resource allocation because of public goods: The allocated goods benefit all users simultaneously. Fairness is crucial in participatory decision making, since generating equitable outcomes is an important goal of these processes. We argue that the classic game theoretic notion of core captures fairness in the setting. To compute the core, we first develop a novel characterization of a public goods market equilibrium called the Lindahl equilibrium, which is always a core solution. We then provide the first (to our knowledge) polynomial time algorithm for computing such an equilibrium for a broad set of utility functions; our algorithm also generalizes (in a non-trivial way) the well-known concept of proportional fairness. We use our theoretical insights to perform experiments on real participatory budgeting voting data. We empirically show that the core can be efficiently computed for utility functions that naturally model our practical setting, and examine the relation of the core with the familiar welfare objective. Finally, we address concerns of incentives and mechanism design by developing a randomized approximately dominant-strategy truthful mechanism building on the exponential mechanism from differential privacy.

연구 동기 및 목표

• 참가예산결정의 공정성을 코어로(formalize) 정의하는 것 — 이는 공동으로 개선할 수 있는 연합을 방지하는 게임 이론적 공정성 개념이다.
• 공공재 시장에서의 Lindahl 균형을 새로운 방식으로 특성화하여 효율적인 계산이 가능하도록 하는 것.
• 참가예산결정을 위한 미세한 차별적 보호와 약한 지배 전략 진실성(dominant-strategy truthful) 메커니즘을 설계하는 것.
• 실제 투표 데이터를 바탕으로 코어 배분을 실증적으로 평가하고, 복리 최적화 해법과 비교하는 것.
• 비포화(non-satiating) 유틸리티 함수를 초월한 Lindahl 균형의 계산 복잡도를 탐구하는 것.

제안 방법

• 논문은 할당 변수에 대한 순수한 표현을 통해 공정성을 특성화하는 새로운 방법을 사용하여 Lindahl 균형을 볼록 최적화 문제로 수식화한다.
• 비례 공정성을 일반화하는 유틸리티 기반 목표 함수를 도입하여 볼록 프로그래밍을 통한 효율적 계산을 가능하게 한다.
• 메커니즘 설계에서 약한 진실성 보장을 위해 차별적 보호에서 유래한 지수 기반 메커니즘(exponential mechanism)을 사용한다.
• 후행 분포에서의 효율적 샘플링을 위해 히트-앤드-런(hit-and-run) 샘플링 알고리즘을 적용하여 다항시간 계산을 보장한다.
• 모든 할당에 대한 총 유틸리티 비율에서 유도된 로그-볼록 잠재함수(log-concave potential function)를 기반으로 알고리즘을 설계한다.
• 근사 오차에 대한 이론적 경계를 수립하여, 샘플링된 할당이 높은 확률로 코어에 가까운 것을 보여준다.

실험 결과

연구 질문

• RQ1 실제 유틸리티 함수에 대해 참가예산결정의 코어를 효율적으로 계산할 수 있는가?
• RQ2 실제로 코어 해법은 복리 최적화 해법과 어떻게 비교되는가?
• RQ3 코어 유사 할당을 계산하면서 약한 진실성 보장을 보장하는 차별적 보호 메커니즘이 존재하는가?
• RQ4 일반 유틸리티 함수에 대해 Lindahl 균형을 계산하는 데 필요한 계산 복잡도는 무엇인가?
• RQ5 왜 복리 최적화 해법이 실질적으로 공정해 보이는가? 더 깊은 이론적 설명은 무엇인가?

주요 결과

• 제안된 알고리즘은 볼록, 비포화 유틸리티 함수의 광범위한 클래스에 대해 코어를 다항시간 내에 계산한다.
• 지수 기반 메커니즘 하에서, 코어 해법은 높은 확률로 O(k ln n / (ε√n))-근사 코어이다.
• 실제 참가예산결정 데이터를 대상으로 한 실증 평가에서, 포화 유틸리티 모델 하에서 코어 할당이 복리 최적화 해법과 실질적으로 유사한 것으로 나타났다.
• 메커니즘은 약한 진실성을 보장하며, 지수 기반 메커니즘의 후행 분포에서의 샘플링이 다항시간 내로 계산 가능하다.
• 연구는 코어 할당이 그룹 공유 인centive와 약한 파레토 효율성 등 강력한 공정성 보장을 만족함을 드러냈다.
• 이론적 프레임워크는 Lindahl 균형의 새로운 볼록 프로그래밍 수식을 제공하여 효율적 계산과 비례 공정성 초월 일반화를 가능하게 한다.