[論文レビュー] How Many Vote Operations Are Needed to Manipulate A Voting System?

Lirong Xia|arXiv (Cornell University)|Apr 5, 2012

Game Theory and Voting Systems参考文献 52被引用数 6

ひとこと要約

本稿は、『票操作』—例えば操作、買収、制御—を通じて戦略的投票行動を分析する統一枠組みを導入する。独立同一分布（i.i.d.）の票生成のもとで、固定された代替案をもついかなる投票制度に対しても、操作に必要な最小数が確率的に4つのカテゴリーのいずれかに収束することを証明している：0、Θ(√n)、Θ(n)、または ∞。この結果は、ボーダ、プラリティ、コペランド、STV、順位ペアリングを含む、すべての整数一般スコーリング規則に対して成り立つ。

ABSTRACT

In this paper, we propose a framework to study a general class of strategic behavior in voting, which we call vote operations. We prove the following theorem: if we fix the number of alternatives, generate $n$ votes i.i.d. according to a distribution $π$, and let $n$ go to infinity, then for any $ε>0$, with probability at least $1-ε$, the minimum number of operations that are needed for the strategic individual to achieve her goal falls into one of the following four categories: (1) 0, (2) $Θ(\sqrt n)$, (3) $Θ(n)$, and (4) $\infty$. This theorem holds for any set of vote operations, any individual vote distribution $π$, and any integer generalized scoring rule, which includes (but is not limited to) almost all commonly studied voting rules, e.g., approval voting, all positional scoring rules (including Borda, plurality, and veto), plurality with runoff, Bucklin, Copeland, maximin, STV, and ranked pairs. We also show that many well-studied types of strategic behavior fall under our framework, including (but not limited to) constructive/destructive manipulation, bribery, and control by adding/deleting votes, margin of victory, and minimum manipulation coalition size. Therefore, our main theorem naturally applies to these problems.

研究の動機と目的

• 操作、買収、制御などの『票操作』を用いた戦略的行動を分析する一般枠組みの構築。
• 大規模な選挙において戦略的選挙者が目的を達成するために必要な最小票操作数の漸近的性質の特定。
• すべての整数一般スコーリング規則において、操作の複雑さに関する普遍的な二分法の確立。これは、特定の規則や票分布に依存しない。
• 計算的障壁に関する先行研究を統合・拡張し、操作の複雑さが選挙規模nに従って予測可能にスケーリングされることの証明。

提案手法

• 票操作を、選挙結果を変更するために票を変更する行動として定義する。操作、買収、制御を含む。
• 一般スコーリング規則（GSRs）を、投票制度を統一的にモデル化するための枠組みとして用いる。各投票は一般スコーリングベクトルにマッピングされ、合計スコアベクトルの関数gによって勝者（winner）が選ばれる。
• 戦略的選挙者が候補者を勝者にすることに成功するための最小操作数（CVO）を、線形計画法の緩和と整数計画法の可解性を用いて分析する。
• 確率的集中不等式と尾部確率の境界を用いて、n → ∞ のとき、CVOが高確率で4つのカテゴリーのいずれかに属することを示す。
• 一般スコーリングベクトル空間の構造とスコーリング空間の次元数を用いて、必要な操作数の上限を導出する。
• 任意の分布πと任意の操作集合に対して、nが増加するに従い、CVOが確率1に近づいて0、Θ(√n)、Θ(n)、または∞のいずれかに収束することを証明する。

実験結果

リサーチクエスチョン

• RQ1 票がi.i.d.であり、選挙規模nが無限大に近づくとき、投票制度を操作するために必要な最小票操作数の漸近的性質は何か？
• RQ2 ボーダ、プラリティ、コペランド、STV、順位ペアリングを含む、さまざまな投票規則において、操作の複雑さはどのようにスケーリングされるか？
• RQ3 買収、制御、操作といった多様な戦略的行動を、共通の複雑さ分類で統一できる理論的枠組みは存在するか？
• RQ4 最小操作数が高確率で有界（0）、部分線形に増加（Θ(√n)）、線形に増加（Θ(n)）、または不可能（∞）となる条件は何か？
• RQ5 一般スコーリング規則の構造と票の分布は、操作の可能性とコストにどのように影響するか？

主な発見

• 固定された代替案に対して、n → ∞ のとき、投票制度を操作するために必要な最小票操作数は、高確率で4つのカテゴリーのいずれかに収束する：0、Θ(√n)、Θ(n)、または ∞。
• Θ(√n)の状態は、戦略的選挙者が総一般スコーリングベクトルの成分の相対順序をわずかにでも変更する必要がある場合に生じる。
• Θ(n)の状態は、スコーリングベクトル内で多くのペアワイズ比較を逆転させる必要がある場合に発生し、線形の操作数を要する。
• 0のケースは、現在の票プロファイルのもとで望ましい候補者がすでに勝者である場合に発生し、一般的な規則では確率的に約1/mに近い。
• ∞のケースは、有限回の操作列では望ましい候補者を勝者にできない場合に発生するが、ボーダやコペランドのような対称的規則では低確率で発生する。
• この結果は、承認投票、ボーダ、プラリティ、STV、順位ペアリング、マキシミンを含む、すべての整数一般スコーリング規則に普遍的に適用可能であり、任意のi.i.d.票分布πのもとで成り立つ。