Quadratic Votingはなぜ平方根を取るのか

なぜ平方根を取るのか
Quadratic Voting: How Mechanism Design Can Radicalize Democracyの記述を少し補足して解説

既存のAかBかを選ぶ二択投票において、投票者は+1か-1の投票しかできない
- それを足し合わせたものが0より大きければAの勝ち
その結果「Aであることがとても大事なんだ！」(+10)の人と「どっちでもいいけど、どっちかといったらBかな〜」(-1)の人の投票が同じ力を持ち相殺する
- よくないね！
そこで「どれくらい強くその結果を望んでいるのか」 $u_{i}$ を表明させることにする
- しかし素朴に「どれくらい強い？」と聞いたら多い数を答えた方が自分の望む結果になる確率が高まるのでみんな上限いっぱいの強さを主張して実質一人一票になってしまう
- だから「強さ」を大きくすることに対してコスト $c (v_{i})$ の支払いを要求する
- このコストをどう設計するのが「良い」かなというのがこの論文のトピック
まず「良さ」を定義する必要がある
- robustly optimal: $\sum v_{i}$ と $\sum u_{i}$ が同じ符号であること
- つまり票数を足し合わせた場合の判断結果と、「気持ちの強さ」を考慮して足し合わせた場合の判断結果が一致すること
Mueller (1973) と Laine (1977)が提案したmarginal pivotality of votes $p$ に全員同意しているとする
- 1票入れた時の結果が変わる確率
- この仮定はかなり強い仮定だと思う
- 多分入れないと解が出ないんだと思う
この場合の合理的な投票数は $2 u_{i} p v_{i} - c (v_{i})$ を最大化するものになる
- なぜこうなるのかは書いてないのでmarginal pivotalityに関する他の論文にあるのだろう
- Slideでナッシュ均衡を使って説明してる
これらの仮定を置いた場合、cが二次関数である場合に限りrobustly optimalになることが証明できる
- 証明は別紙で展開されていて、本文では簡単に要約している
- 簡単に言えば
  - $2 u_{i} p v_{i} - c (v_{i})$ が最大化されているのだからvで微分すれば0になる
  - $2 p u_{i} = c (v_{i})^{'}$ が成り立つ
  - robustly optimalであるためには $u_{i} \propto v_{i}$ (比例する)のが都合がいい
  - そうなるのは $c$ が二次関数の時だけ

具体例

3人の投票者がいて、気持ちの強さが+2, -1, -1であるとする
一人一票の投票ならマイナスが2票でマイナスの勝ち
QVの場合は気持ちの強さに比例した投票が行われてプラスマイナスゼロで均衡すると考える
- この時プラスの人は4のコスト支払いをしている
  - 若干直感的でないように思う
  - (人は「気持ちの強さ」と「支払う額」を同一視しがち)
1ドル1票などの、固定コストの場合(=票数とコストが比例する場合)
- プラス側はマイナス側よりも一票に大きな効用を感じている
- どちらの一票も同じ価格なので、マイナス側が一票を買うケースでは、プラス側も買う
- このことにより全員が合理的に振る舞った場合にはマイナス側が勝つことはなく、それを予見できる十分賢いマイナス側エージェントは無意味な票を買わない
- プラス側が最小単位の票を買って「最も気持ちの強い人による独裁制」になる

コストの払い方に関して補足

コストをどう払うのかは少なくとも2通りのメジャーな実装がある
1: 金で払う
- Quadratic Fundingにつながる路線
- Gitcoinなどの事例はこちら
2: 参加者に例えば99票与えて、それを投票する
- 台湾総統杯ハッカソンなど
- これは「投票締め切り時刻に消滅する譲渡不能な仮想通貨を定額配布してそれで支払わせる」に相当する
- 99などの数には本質的な意味はなく、単に大部分の投票者にとって「実数値で投票」は理解しにくいので見た目を変えてあるだけ
- 通貨が投票にしか使えないことにより、残すインセンティブがないので参加者はみんな与えられた量を使い切り、1と違って全員の消費コストがイコールになる
- この手法は「票v」ではなく「コストc(v)」を「票」と読んでいるので「平方根を取る」という表現になる
元々この論文は1をイメージしていた
一方で「投票参加者にリアルマネーの支払いをさせる」という特徴によって実社会応用の困難があって、2が生まれた
1にはのちにQuadratic Fundingと呼ばれるようになったので、逆にQuadratic Votingと行った場合に2を指しているケースが増えた

🪴 Quartz 4.0

Quadratic Votingはなぜ平方根を取るのか

Graph View

Backlinks