[論文レビュー] Low Sample Complexity Participatory Budgeting

Mohak Goyal, Sukolsak Sakshuwong+2 more|arXiv (Cornell University)|Jan 1, 2023

Auction Theory and Applications被引用数 4

ひとこと要約

本稿では、3名のランダムに抽出された有権者のうち2名が参加するランダム化ナッシュ交渉方式を用い、残り1名の有権者の好む予算を不成立時の交渉点として用いることで、最大1.66の歪度を達成する低サンプル複雑性の参加型予算配分メカニズムを提案する。本手法は、2次元歪度の壁を打ち破るが、サンプル数を3名に制限しており、双線形最適化と楽観的歪度解析を用いて最悪ケース性能を上限付ける。

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未満の歪度を達成する低サンプル複雑性の参加型予算配分メカニズムの設計。
• ユニット単体モデルにおいて、3名の均等にランダムに抽出された有権者のみを用いて、歪度を分析および上限付けること。
• プロジェクトの相互作用を尊重し、低歪度を維持するランダム化ナッシュ交渉方式の開発。
• κ=6を用いた楽観的歪度フレームワークを確立し、提案されたメカニズムの歪度を上界付けること。
• 3名のサンプルされた予算の中央値集約も歪度が有界（≤1.80）であることを示し、有権者のプロジェクト相互作用が尊重される場合、その結果も同様に相互作用を保つこと。

提案手法

• 2名のサンプルされた有権者が、3人目の有権者の好む予算を不成立時の交渉点として用いるランダム化ナッシュ交渉方式を採用する。
• κ=6を用いた楽観的歪度（PD）フレームワークを適用し、最悪ケース歪度を上限付ける。これにより、定数サイズの双線形計画問題に帰着される。
• 有権者の好みを、部分集合ごとの相対的好みを捉えるインクリメンタル配分空間に射影する。
• 固定サイズ（κ=6にのみ依存）の双線形計画問題を解き、ランダム化ナッシュ交渉方式の歪度の上界を計算する。
• 単体の対称性および構造的性質を活用し、組合せ的複雑性にもかかわらず効率的に最適化問題を解く。
• 中央値集約方式（M）を用い、3名のサンプルされた好ましい予算の中央値を出力することで、ロバスト性と相互作用の一貫性を確保する。

実験結果

リサーチクエスチョン

• RQ1 3名のサンプルされた予算のみを用いた参加型予算配分メカニズムで、2未満の歪度を達成できるか？
• RQ2 ユニット単体モデルにおいて、3名の均等にランダムに抽出されたサンプルで達成可能な最小歪度は何か？
• RQ3 2名のサンプルされた有権者間でナッシュ交渉を実施し、3人目の有権者を不成立時の交渉点として用いることで、2未満の歪度を達成できるか？
• RQ4 3名のサンプルされた予算を集約するメカニズム（例：中央値または交渉）は、補完性や代替性といったプロジェクト相互作用制約をどのように維持するか？
• RQ5 固定κ=6の楽観的歪度解析は、低サンプルメカニズムの歪度に対してタイトな上界を提供できるか？

主な発見

• 提案されたランダム化ナッシュ交渉方式（nrand）は、3名のサンプルされた有権者を用いて歪度が最大1.66に抑えられ、2の歪度の壁を打ち破る。
• ランダム化ナッシュ交渉方式の歪度に対して1.38の下界が確立され、改善の余地はありつつも、強力な性能を示す。
• 3名の均等にランダムに抽出された予算の中央値集約は、歪度が最大1.80に抑えられ、交渉の代替としてロバストな選択肢を提供する。
• メカニズムは、有権者の好む予算がプロジェクトの相互作用（補完性／代替性）を尊重している場合、その結果も同様に相互作用を保つことを保証し、予算効率を維持する。
• κ=6を用いた楽観的歪度フレームワークは、任意の有権者数に対して歪度の有効な上界を提供し、解析を容易にする。
• ランダム化ナッシュ交渉方式の双線形計画問題の定式化は定数サイズ（κ=6にのみ依存）であり、歪度の上界を固定時間で計算可能である。