[논문 리뷰] Low Sample Complexity Participatory Budgeting

Mohak Goyal, Sukolsak Sakshuwong외 2명|arXiv (Cornell University)|2023. 01. 01.

Auction Theory and Applications인용 수 4

한 줄 요약

이 논문은 세 명의 랜덤으로 샘플링된 투표자 중 두 명이 랜덤으로 선택된 나쉬 협상 기반으로, 세 번째 투표자의 선호 예산을 협상의 불이행 지점으로 삼아 최대 1.66의 왜곡을 달성하는 저표본 복잡도 참가 예산 배분 메커니즘을 제안한다. 이는 이중선형 최적화와 낙관적 왜곡 분석을 활용하여 최악의 성능을 상한선으로 제한함으로써 오랫동안 유지되어 온 2-왜곡 장벽을 돌파한다.

ABSTRACT

We study low sample complexity mechanisms in participatory budgeting (PB), where each voter votes for a preferred allocation of funds to various projects, subject to project costs and total spending constraints. We analyse the distortion that PB mechanisms introduce relative to the minimum-social-cost outcome in expectation. The Random Dictator mechanism for this problem obtains a distortion of 2. In a special case where every voter votes for exactly one project, [Fain et al., 2017] obtain a distortion of 4/3. We show that when PB outcomes are determined as any convex combination of the votes of two voters, the distortion is 2. When three uniformly randomly sampled votes are used, we give a PB mechanism that obtains a distortion of at most 1.66, thus breaking the barrier of 2 with the smallest possible sample complexity. We give a randomized Nash bargaining scheme where two uniformly randomly chosen voters bargain with the disagreement point as the vote of a voter chosen uniformly at random. This mechanism has a distortion of at most 1.66. We provide a lower bound of 1.38 for the distortion of this scheme. Further, we show that PB mechanisms that output a median of the votes of three voters chosen uniformly at random, have a distortion of at most 1.80.

연구 동기 및 목표

• 최소한의 투표자 샘플링으로 2 이하의 왜곡을 달성하는 저표본 복잡도 참가 예산 배분 메커니즘을 설계하기.
• 균일하게 랜덤으로 샘플링된 세 명의 투표자만을 사용하여 메커니즘의 왜곡을 분석하고 상한선을 설정하기.
• 프로젝트 간 상호작용을 고려하면서도 낮은 왜곡을 유지하는 랜덤화된 나쉬 협상 기반 메커니즘을 개발하기.
• κ=6를 사용한 낙관적 왜곡 프레임워크를 구축하여 제안된 메커니즘의 왜곡을 상한선으로 제한하기.
• 세 명의 샘플링된 투표자의 중앙값 기반 집계 방식이 왜곡을 유한하게 유지함(≤1.80)함을 증명하고, 투표자가 프로젝트 상호작용을 존중할 경우 결과도 동일하게 존중함을 보장하기.

제안 방법

• 두 명의 샘플링된 투표자가 세 번째 투표자의 선호 예산을 불이행 지점으로 삼아 랜덤화된 나쉬 협상 기반 메커니즘을 적용한다.
• 최악의 왜곡을 상한선으로 제한하기 위해 κ=6를 사용한 낙관적 왜곡(PD) 프레임워크를 적용하며, 문제를 상수 크기의 이차형 최적화 프로그램으로 환원한다.
• 투표자의 선호를 프로젝트 할당의 누적 공간으로 투영하여 투표자 하위집단 간 상대적 선호를 포착한다.
• 고정된 크기의 이차형 최적화 프로그램(κ=6에 의존)을 해결하여 랜덤화된 나쉬 협상 기반 메커니즘의 왜곡 상한선을 계산한다.
• 단형단순체의 대칭성과 구조적 성질을 활용하여 조합적 복잡도에도 불구하고 최적화 문제를 효율적으로 해결한다.
• 중앙값 집계 기반 메커니즘(M)을 사용하여 세 명의 샘플링된 선호 예산의 중앙값을 출력함으로써 강인성과 상호작용 일관성을 확보한다.

실험 결과

연구 질문

• RQ1 세 명의 샘플링된 투표자만을 사용하는 참가 예산 배분 메커니즘이 2 이하의 왜곡을 달성할 수 있는가?
• RQ2 단위단순체 모델에서 세 명의 균일하게 랜덤 샘플링된 표본으로 달성 가능한 최소 왜곡은 얼마인가?
• RQ3 두 명의 샘플링된 투표자 간 나쉬 협상이 세 번째 투표자의 선호 예산을 불이행 지점으로 삼을 경우 2 이하의 왜곡을 달성할 수 있는가?
• RQ4 세 명의 샘플링된 투표자를 집계하는 메커니즘(예: 중앙값 또는 협상)이 보완성 및 대체성과 같은 프로젝트 상호작용 제약 조건을 어떻게 유지하는가?
• RQ5 고정된 κ=6를 사용한 낙관적 왜곡 분석이 저표본 메커니즘의 왜곡에 대해 날카운 상한선을 제공할 수 있는가?

주요 결과

• 제안된 랜덤화된 나쉬 협상 기반 메커니즘(nrand)은 세 명의 샘플링된 투표자를 사용하여 최대 1.66의 왜곡을 달성하며, 2-왜곡 장벽을 돌파한다.
• 랜덤화된 나쉬 협상 기반 메커니즘의 왜곡에 대해 최소 1.38의 하한선이 확립되어 있으며, 이는 향후 개선 여지를 시사하지만 강력한 성능을 보여준다.
• 균일하게 랜덤으로 샘플링된 세 명의 투표자 선호 예산을 중앙값 기반으로 집계할 경우 최대 1.80의 왜곡을 달성하며, 협상 기반 메커니즘에 대한 강인한 대안을 제공한다.
• 메커니즘이 투표자가 선호하는 예산이 프로젝트 상호작용(보완성/대체성)을 존중할 경우 결과 역시 동일하게 존중함으로써 예산 효율성을 유지한다.
• κ=6를 사용한 낙관적 왜곡 프레임워크는 임의의 투표자 수에 대해 왜곡의 유효한 상한선을 제공하며, 분석의 실현 가능성을 보장한다.
• 랜덤화된 나쉬 협상 기반 메커니즘의 이차형 최적화 프로그램은 고정된 크기(κ=6에 의존)를 가지며, 이는 왜곡 상한선의 고정 시간 계산을 가능하게 한다.