[論文レビュー] Triadic Consensus: A Randomized Algorithm for Voting in a Crowd

Ashish Goel, David Lee|arXiv (Cornell University)|Oct 2, 2012

Game Theory and Voting Systems参考文献 17被引用数 4

ひとこと要約

本稿では、各参加者が選挙人としても候補者としても機能するランダム化投票アルゴリズム「Triadic Consensus」を提案する。ランダムに選ばれた三者比較を用いて、コンドルセ勝者に収束する。この手法は、各参加者あたり平均でO(1/ε² log²(n/ε²))回の比較を用いて、高確率で(1−ε/√n)-近似を得ることができ、循環的好みが許容される中でも準真実的ナッシュ均衡を有する。

ABSTRACT

Typical voting rules do not work well in settings with many candidates. If there are just several hundred candidates, then even a simple task such as choosing a top candidate becomes impractical. Motivated by the hope of developing group consensus mechanisms over the internet, where the numbers of candidates could easily number in the thousands, we study an urn-based voting rule where each participant acts as a voter and a candidate. We prove that when participants lie in a one-dimensional space, this voting protocol finds a $(1-ε/sqrt{n})$ approximation of the Condorcet winner with high probability while only requiring an expected $O(\frac{1}{ε^2}\log^2 \frac{n}{ε^2})$ comparisons on average per voter. Moreover, this voting protocol is shown to have a quasi-truthful Nash equilibrium: namely, a Nash equilibrium exists which may not be truthful, but produces a winner with the same probability distribution as that of the truthful strategy.

研究の動機と目的

• 数千人の候補者が存在する大規模なクラウドソーシング環境における、スケーラブルな選挙メカニズムの設計。
• すべての候補者を順位付けすることが現実的でない大規模選挙において、参加者一人あたりの通信および認知的負担を軽減すること。
• 単一ピーク型好みの下でコンドルセ勝者への収束を維持しつつ、比較回数を最小限に抑える選挙ルールの開発。
• 参加者が真実を述べない場合でも戦略的操作に耐えるメカニズムの探索。
• ランダム化選挙プロトコルにおける収束性および均衡行動に関する理論的保証の確立。

提案手法

• 各参加者は1つの提案を提出し、システムはランダムに3名の参加者を組み合わせた三者組（triad）を形成して、対比較を行う。
• 各三者組において、参加者は残りの2名のうちのどちらかを選ぶ。過半数が得られた場合、敗者2名は勝者と同じコピーに置き換えられ、このプロセスは1名が残るまで繰り返される。
• アルゴリズムは2つのウエルト（壺）を比較するカップリング論法を用いる。1つは真実的参加者、もう1つは戦略的参加者を想定する。両者において、勝者分布が同一であることを示す。
• この方法は、真実的戦略が長期的に任意の非真実的戦略を確率的に支配することを示すために、x-優位性カップリング技術に依存している。
• 分析では単一ピーク型好みと距離に基づく効用モデルを仮定し、高確率で中央値（コンドルセ勝者）への収束を証明できる。
• 平均比較回数を最小化するように設計されており、推定される計算量はO(log n)であるが、証明された上限はO(log²n)である。

実験結果

リサーチクエスチョン

• RQ1 大規模な環境において、通信コストがサブ線形であるランダム化選挙プロトコルが、高確率でコンドルセ勝者に収束できるか？
• RQ2 循環的好みが許容される中でも、準真実的ナッシュ均衡を持つ選挙ルールが存在するか？
• RQ3 参加者あたりの対比較回数をO(log n)にまで削減しつつ、強い収束保証を維持できるか？
• RQ4 このアルゴリズムは、高次元空間や非ユークリッド的好み空間でも効果的に動作するか？
• RQ5 このフレームワークは、参加型意思決定システムにおける真実の投票ルールをサポートするために拡張可能か？

主な発見

• Triadic Consensusは、高確率で(1−ε/√n)-近似を得る。これにより、95%の確率で勝者が上位1%の候補者に含まれ、99.99%の確率で上位2%に含まれる。
• アルゴリズムは参加者あたり期待でO(1/ε² log²(n/ε²))回の比較を要する。n=10,000の場合、平均177回の比較（推定では13.3回）となる。
• プロトコルは準真実的ナッシュ均衡を有する：非真実的均衡は存在するが、真実的投票と同一の勝者分布を生じる。
• カップリング論法により、真実的戦略が長期的に任意の非真実的戦略を確率的に支配することが証明され、コンドルセ勝者への収束が保証される。
• 循環的好み（例：a>b, b>c, c>a）を示す参加者であっても、投票ダイナミクスの確率的構造のおかげで、この手法は頑健性を保つ。
• 理論的枠組みは、高次元好み空間への拡張や、参加者あたり最大比較回数が有界な通信効率の良い投票ルールへの応用の可能性を示唆している。