[論文レビュー] Metric Distortion of Social Choice Rules: Lower Bounds and Fairness Properties

Ashish Goel, A. Krishnaswamy+1 more|arXiv (Cornell University)|Dec 9, 2016

Game Theory and Voting Systems参考文献 26被引用数 25

ひとこと要約

この論文は、社会選択ルールのメトリック歪度に関する未解決の問題を解消し、順位付けペアリング（Ranked Pairs）が最悪ケース歪度が少なくとも 5 であることを証明することで、3 という予想された上限を否定した。さらに、任意の確率的トーナメントルールが期待される最悪ケース歪度を 3 未満に抑えることは不可能であり、コペランド（Copeland）と確率的独裁（Randomized Dictatorship）は、近似マジョライゼーションの下でそれぞれ定数倍の公平性比 5 と 3 を達成することを示した。

ABSTRACT

We study social choice rules under the utilitarian distortion framework, with an additional metric assumption on the agents' costs over the alternatives. In this approach, these costs are given by an underlying metric on the set of all agents plus alternatives. Social choice rules have access to only the ordinal preferences of agents but not the latent cardinal costs that induce them. Distortion is then defined as the ratio between the social cost (typically the sum of agent costs) of the alternative chosen by the mechanism at hand, and that of the optimal alternative chosen by an omniscient algorithm. The worst-case distortion of a social choice rule is, therefore, a measure of how close it always gets to the optimal alternative without any knowledge of the underlying costs. Under this model, it has been conjectured that Ranked Pairs, the well-known weighted-tournament rule, achieves a distortion of at most 3 [Anshelevich et al. 2015]. We disprove this conjecture by constructing a sequence of instances which shows that the worst-case distortion of Ranked Pairs is at least 5. Our lower bound on the worst case distortion of Ranked Pairs matches a previously known upper bound for the Copeland rule, proving that in the worst case, the simpler Copeland rule is at least as good as Ranked Pairs. And as long as we are limited to (weighted or unweighted) tournament rules, we demonstrate that randomization cannot help achieve an expected worst-case distortion of less than 3. Using the concept of approximate majorization within the distortion framework, we prove that Copeland and Randomized Dictatorship achieve low constant factor fairness-ratios (5 and 3 respectively), which is a considerable generalization of similar results for the sum of costs and single largest cost objectives. In addition to all of the above, we outline several interesting directions for further research in this space.

研究の動機と目的

• メトリック選好の下で順位付けペアリングが最悪ケース歪度 3 以下を達成するという未解決の予想を解消すること。
• 確率的トーナメントルールが期待される最悪ケース歪度において、確率的独裁を上回る性能を示せるかを特定すること。
• 特に和ではないコスト目的関数の文脈において、歪度モデル下での社会選択における公平性の分析フレームワークを構築すること。
• コペランドや確率的独裁といった代表的なメカニズムについて、近似マジョライゼーションを用いて定数倍の公平性比を確立すること。

提案手法

• 幾何的・組合せ的議論を複雑に組み合わせ、順位付けペアリングが最悪ケース歪度を少なくとも 5 にまで引き上げるメトリックインスタンスの系列を構築する。
• 近似マジョライゼーションの概念を用いて、さまざまなコスト関数における社会選択ルールの公平性比を定義・分析する。
• 三角不等式およびメトリック空間におけるトップ選好エージェント集合の性質を活用して、公平性比の上界を導出する。
• 確率的解析および期待値の境界を用いて、さまざまなコスト目的関数下での確率的ルール（例：確率的独裁）の性能を比較する。
• 期待されるトップ-kコストの合計が最適代替案に対して有界であることを示し、確率的独裁の公平性比が 3 未満であることを証明する。
• コストの和の二乗といった凸コスト関数の下で、確率的独裁の歪度が無限大に発散することを示し、コペランドの性能の頑健性を強調する。

実験結果

リサーチクエスチョン

• RQ1 メトリック歪度枠組み下で、順位付けペアリングは最悪ケース歪度が 3 以下に抑えられるか？
• RQ2 確率的トーナメントルールは、期待される最悪ケース歪度を 3 よりも低く抑えられるか？
• RQ3 コストの和を超えた文脈で、社会選択における公平性を意味的に測定可能か？ もしそうなら、どのように測定できるか？
• RQ4 コペランドや確率的独裁といったメカニズムは、広範なコスト関数クラスにおいて優れた性能を維持するか？
• RQ5 確率的トーナメントルールの期待される最悪ケース歪度に、根本的な限界があるか？

主な発見

• 順位付けペアリングの最悪ケース歪度は少なくとも 5 であり、3 という予想された上限が否定された。
• 任意の確率的トーナメントルールは、期待される最悪ケース歪度を 3 よりも小さくすることはできず、このメカニズムクラスに下界が確立された。
• 近似マジョライゼーションの下でコペランドは公平性比が 5 未満であることが示され、コストの和を超える公平性の一般化が達成された。
• 確率的独裁は公平性比が 3 未満であることが示され、さまざまなコスト関数において優れた性能を示した。
• コストの和の二乗といった凸コスト関数の下で、確率的独裁の歪度は無限大に発散し、このルールの限界が浮き彫りになった。
• コペランドの性能は頑健であり、最高の既知の決定的歪度バウンディング（5）に加え、一般クラスのコスト関数においても強い公平性比を達成した。