[논문 리뷰] Best-of-Both-Worlds Fairness in Committee Voting

Haris Aziz, Xinhang Lu외 3명|arXiv (Cornell University)|2023. 03. 07.

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

한 줄 요약

이 논문은 승인 기반 위원회 투표에서 '모든 세계의 최고' 공정성 프레임워크를 제안하며, 사전 공정성(개별, 단결, 집단 공정 공유를 통한)과 사후 공정성(확장된 정당화 대표성(EJR) 및 완전 정당화 대표성(FJR))을 결합한다. 다항 시간 알고리즘은 사후 EJR, 사전 집단 공정 공유(GFS), 강력한 단결 공정 공유(Strong UFS)를 만족하며, 비다항 시간 알고리즘은 사후 FJR 및 강력한 UFS를 달성한다.

ABSTRACT

The best-of-both-worlds paradigm advocates an approach that achieves desirable properties both ex-ante and ex-post. We launch a best-of-both-worlds fairness perspective for the important social choice setting of approval-based committee voting. To this end, we initiate work on ex-ante proportional representation properties in this domain and formalize a hierarchy of notions including Individual Fair Share (IFS), Unanimous Fair Share (UFS), Group Fair Share (GFS), and their stronger variants. We establish their compatibility with well-studied ex-post concepts such as extended justified representation (EJR) and fully justified representation (FJR). Our first main result is a polynomial-time algorithm that simultaneously satisfies ex-post EJR, ex-ante GFS and ex-ante Strong UFS. Subsequently, we strengthen our ex-post guarantee to FJR and present an algorithm that outputs a lottery which is ex-post FJR and ex-ante Strong UFS, but does not run in polynomial time.

연구 동기 및 목표

• 자원 배분에만 적용된 바이어스된 '모든 세계의 최고' 공정성 원칙을 이젠 사회 선택 분야, 특히 승인 기반 위원회 투표로 확장하고자 한다.
• 단일 승자 공정성 개념의 확장으로서, 개인 공정 공유(IFS), 단결 공정 공유(UFS), 집단 공정 공유(GFS)를 포함한 사전 공정성 축약의 계층을 체계화하고자 한다.
• 이러한 새로운 사전 공정성 성질이 기존의 사후 공정성 보장(예: 확장된 정당화 대표성(EJR) 및 완전 정당화 대표성(FJR))과 호환되는지 조사하고자 한다.
• 특히 계산 효율성과 공정성 보장에 중점을 두어, 강력한 사전 및 사후 공정성 성질을 동시에 만족하는 알고리즘을 설계하고자 한다.

제안 방법

• 기대 대표성과 투표자 협동체를 바탕으로, 사전 공정성 축약의 계층—양적 공유, IFS, UFS, GFS 및 그 강력한 변형—을 제안한다.
• Best-Weighted (BW-MES) 알고리즘을 도입하며, 이는 수정된 등비 분배 방법(MES)과 근사적 후보자 선정 절차를 조합하여 사후 EJR, 사전 GFS, 강력한 UFS를 달성하는 다항 시간 방법이다.
• Best-Weighted (BW-GCR) 알고리즘을 개발하며, 이는 GCR(집단 공감 반응형) 접근을 확장하여 사후 FJR 및 강력한 UFS를 보장하지만, 다항 시간으로 실행되지 않는다.
• 투표자별 후보자 지불금 $ y_{ij} $ 와 가격 체계를 사용하여 공정성 보장을 분석하며, 이는 이전 연구에서 제안된 가격 가능성 개념을 응용한다.
• 논리적 및 게임 이론적 추론을 활용하여, BW-MES 알고리즘이 투표자들이 서로 다른 승인을 가질 경우에도 강력한 UFS와 GFS를 만족함을 증명한다.
• GCR 기반 알고리즘이 GFS를 보장하지 못함을 보여주는 반례를 제시하며, 더 정교한 지불 메커니즘의 필요성을 강조한다.

실험 결과

연구 질문

• RQ1 승인 기반 위원회 투표 맥락에서 GFS 및 강력한 UFS와 같은 사전 공정성 성질을 의미적으로 정의하고 체계화할 수 있는가?
• RQ2 사후 EJR와 강력한 사전 공정성(GFS 및 강력한 UFS)을 동시에 만족하는 다항 시간 알고리즘을 설계할 수 있는가?
• RQ3 더 강력한 사후 공정성 보장인 FJR과 함께 사전 GFS를 달성할 수 있는가?
• RQ4 더 강력한 사후 공정성 보장을 달성하는 비다항 시간 알고리즘과 다항 시간 알고리즘 간의 계산 비용과 공정성의 상호 교환 관계는 어떠한가?

주요 결과

• BW-MES 알고리즘은 다항 시간에 실행되며, 사후 EJR, 사전 GFS, 강력한 UFS를 만족하여, 계산 효율적인 방식으로 강력한 사전 및 사후 공정성을 결합하는 것이 가능함을 보여준다.
• BW-GCR 알고리즘은 사후 FJR 및 사전 강력한 UFS를 달성하지만, 다항 시간으로 실행되지 않아 공정성 강도와 계산 효율성 사이의 상호 교환 관계를 보여준다.
• 논문은 GCR 알고리즘이 단지 강력한 UFS를 만족할 뿐 사전 GFS를 보장하지 못함을, 세 명의 투표자와 네 명의 후보자로 구성된 반례를 통해 입증한다.
• GCR의 출력에 대해 가격 체계를 구성할 수는 있지만, 이는 승인된 후보자에 대한 투표자 기여의 0 이상 하한을 보장하지 못하므로 GFS를 이끌어내지 못한다.
• 논문은 사전 및 사후 공정성 성질 간의 논리적 계층을 수립하며, 강력한 UFS가 GFS를 함의하고, FJR가 EJR를 함의함을 보여주며, 공정성 스펙트럼 전반에 걸쳐 영향을 미친다.
• 다음 연구의 열린 질문은: 사전 GFS와 사후 FJR를 동시에 만족하는 랜덤 위원회가 존재하는가이다. 이는 향후 연구의 핵심 방향을 제시한다.