[논문 리뷰] Proportionally Representative Participatory Budgeting: Axioms and Algorithms

Haris Aziz, Barton E. Lee외 1명|arXiv (Cornell University)|2017. 11. 22.

Game Theory and Voting Systems참고 문헌 13인용 수 22

한 줄 요약

이 논문은 비용이 다른 프로젝트를 고려한 승인 기반 다수결 선거의 공리 체계를 일반화하여 비례 대표성에 기반한 참가 예산 편성에 대한 형식적 공리 체계를 제안한다. BPJR-L이라는 강력한 비례성 공리를 제안하고, 일반화된 프라그멘 기반 알고리즘인 GPseq를 도입하여 이 공리를 충족하는 예산을 이론적 보장과 함께 효율적으로 계산한다.

ABSTRACT

Participatory budgeting is one of the exciting developments in deliberative grassroots democracy. We concentrate on approval elections and propose proportional representation axioms in participatory budgeting, by generalizing relevant axioms for approval-based multi-winner elections. We observe a rich landscape with respect to the computational complexity of identifying proportional budgets and computing such, and present budgeting methods that satisfy these axioms by identifying budgets that are representative to the demands of vast segments of the voters.

연구 동기 및 목표

• 참가 예산 편성(PB)에서 다수결 결과가 일관된 소수 집단을 충분히 대변하지 못하는 형식적 비례성의 부족을 해결하기 위해.
• 큰 일관된 투표자 집단이 PB에서 정당화될 수 있는 공리 체계를 개발하여 단순한 승인 수를 넘어서 공정성을 보장하기 위해.
• 예산 제약과 투표자 선호를 존중하면서도 비례성을 보장하는 계산적으로 효율적인 알고리즘을 설계하기 위해.
• 비례성 공리 간의 논리적 계층을 수립하고 그 계산 복잡도를 분석하기 위해.
• 승인 기반 다수결 선거와 참가 예산 편성 간 격차를 메우기 위해 비례성 개념을 비용이 있는 프로젝트 선택으로 확장하기 위해.

제안 방법

• 다수결 선거에서의 정당화된 대표성(JR) 및 비례 정당화된 대표성(PJR) 공리를 비용이 다른 프로젝트를 포함하는 참가 예산 편성으로 일반화한다.
• 적절한 규모와 동일한 지원을 보이는 투표자 집단이 비례적으로 대표됨을 보장하는 강력한 비례성 공리인 BPJR-L을 도입한다.
• 프라그멘의 방법을 비용이 있는 프로젝트로 확장하여 투표자 간 예산 기여를 비례적으로 분배하는 일반화된 프라그멘의 순차적 규칙(GPseq)을 제안한다.
• 각 투표자가 일부 프로젝트를 승인하는 가중 승인 모델을 사용하며, 알고리즘이 선택된 프로젝트에 걸쳐 각 투표자의 기여가 균형을 이루도록 보장한다.
• 총 비용이 예산 한도 L을 초과하지 않도록 보장하는 나이프선파일 제약 조건을 사용한다.
• 공리 간 논리적 함의 관계를 분석한다(예: Strong-BPJR-L ⇒ BPJR-L ⇒ Local-BPJR-L ⇒ BJR-L), 공정성 보장 수준의 계층을 수립한다.

실험 결과

연구 질문

• RQ1 비용이 다른 프로젝트를 포함하는 참가 예산 편성에서 비례 대표성을 형식적으로 포괄할 수 있는 공리는 무엇인가?
• RQ2 기존의 다수결 선거 공리들(예: JR, PJR)은 참가 예산 편성의 비용이 있는 설정으로 어떻게 일반화될 수 있는가?
• RQ3 예산 제약과 투표자 선호를 존중하면서도 비례성을 보장하는 효율적인 알고리즘을 설계할 수 있는가?
• RQ4 다양한 비례성 공리를 충족하는 예산을 검증하거나 계산하는 데 필요한 계산 복잡도는 무엇인가?
• RQ5 제안된 공리와 알고리즘은 공정성, 대표성, 효율성 측면에서 어떻게 비교될 수 있는가?

주요 결과

• BPJR-L는 크기와 프로젝트 지원 수준에 기반해 일관된 투표자 집단이 공정하게 대표됨을 보장하는 설득력 있고 계산적으로 실현 가능한 비례성 공리로 확인되었다.
• 일반화된 프라그멘의 순차적 규칙인 GPseq는 BPJR-L를 충족하는 예산을 다항 시간 보장과 함께 효과적이고 효율적으로 계산하는 데 성공한 알고리즘이다.
• 공리 간 논리적 계층이 수립되었다: Strong-BPJR-L는 BPJR-L를 함의하고, BPJR-L는 Local-BPJR-L를 함의하며, Local-BPJR-L는 BJR-L를 함의한다. 이는 점점 더 강력하고 공정한 보장 수준을 의미한다.
• 완전한 BPJR-W 및 BPJR-L 예산을 계산하는 것은 NP-난이도임을 입증하여, 완전한 비례성을 달성하는 데 내재된 계산적 과제를 시사한다.
• W-버전 공리들(예: BPJR-W)은 L-버전에 비해 더 덜 엄격하며, 항상 만족 가능함(예: 빈 예산으로)을 보여주지만, L-버전은 예산 고갈을 요구한다.
• 연구는 비용이 있는 설정에서 프라그멘의 규칙이 비례 승인 투표(PAV)보다 더 잘 일반화될 수 있음을 입증하였으며, 특히 계산적 및 공리적 성질에서 우월함을 보였다.