巨大なオンライン投票を企画して、新しい公園の設備を決めると想像してみてください。選択肢のリストには、噴水、遊具、庭園、あるいはそれらを組み合わせたものがあります。完璧な世界では、全員が1枚のIDを持って1回だけ投票し、結果は公平になります。しかし、インターネットの messy な現実では、事態は厄介になります。

この論文は、ゲームのルールを検察官のように調査し、2 つの特定のトリックによってハッキング不可能な投票システムを設計できるかどうかを調べる探偵物語のようです。

1. 「ソックパペット」トリック（偽名耐性）： 有権者が偽のアカウントを作成し、同じ投票を複数回行うこと。
2. 「ウォークアウト」トリック（参加）： 有権者が「私が投票しなければ、結果は私にとってより良くなる」と判断し、結果を操作するために投票を放棄すること。

著者たちは問いかけます：両方のトリックを阻止しつつ、すべての有権者とすべての選択肢に対して公平であるようなルールセットを記述することは可能でしょうか？

以下に、彼らが発見したことを単純な概念に分解して示します。

1. 「アイデンティティ危機」（普遍領域）

まず、著者たちは、選択肢が完全にランダムで非構造化されているシナリオ（「リンゴ」、「青」、「火曜日」から選ぶような場合）を検討しました。

彼らは驚くべき転換点を見つけました：偽名を使用するのを防ぎ、かつ投票を放棄することで利益を得るのを防ぐルールを構築すると、そのルールは自動的に「匿名性」を持つことになります。

• 比喩： 機械があなたが「誰」であるかではなく、「何」に投票したかだけを気にする投票ブースを想像してください。著者たちは、あなたのシステムがソックパペットとウォークアウトに対して耐性を持つならば、それは必然的にすべての有権者を顔のない数字として扱わなければならないことを証明しました。「有権者 A」と「有権者 B」に特別な重みを与えることはできません。

悪い知らせ： システムは全員を平等に扱わなければならない（匿名性）ため、選択肢を平等に扱う（中立性）ことはできません。

• 比喩： 被告人をすべて完全に同じように扱わなければならない裁判官を想像してください。裁判官がそうするならば、すべての「犯罪」を完全に同じように扱うことを約束することもできません。数学的には、選択肢が完全に非構造化である場合、有権者と選択肢の両方に完全に公平なシステムを持つことはできないことが示されています。

2. 「ショッピングカート」の問題（オブジェクトの部分集合）

次に、より現実的なシナリオを検討しました：選択肢はものの組み合わせです。ショッピングカートを考えてください。リンゴだけ、バナナだけ、あるいは両方を買うことができます。これは「部分集合の領域」です。

ここで、彼らは良い投票システムのためのさらに 3 つの「あれば良い」ルールを追加しました。

• 全射性（Ontoness）： すべての可能な組み合わせ（「何もない」や「すべて」さえも）が勝者となり得るべきである。
• トップのみ（Tops-Only）： システムは 100 個のアイテムの全体の順位ではなく、あなたの第 1 位の好きな選択肢だけを知ればよい。（これは人々が疲れやすいオンライン投票において重要です）。
• オブジェクト中立性： アイテムの名前は重要ではない。「リンゴ」と「バナナ」をすべての人のリストで入れ替えた場合、結果もそれに応じて入れ替わるべきである。

大きな不可能性：
人々がどのような狂った選好を持ってもよい世界で、これら 5 つの優れた性質（ソックパペットの阻止、ウォークアウトの阻止、および上記の 3 つの「あれば良い」ルール）をすべて組み合わせようとすると、それは不可能です。

• 比喩： これは、以下のような車を製造しようとするようなものです。
  1. 弾丸に耐える。
  2. 防水である。
  3. 耐火である。
  4. 自動運転する。
  5. 価格が 500 ドル。
     この論文は、「あらゆる可能な選好」に対して、このような車は製造できないことを証明しています。これらすべての条件を満たそうとすると、数学が破綻します。

3. 「魔法のゾーン」（分離可能な選好）

では、ゲームは終わりでしょうか？そうではありません。著者たちは、これらすべてのルールが実際に機能する特別な「魔法のゾーン」を見つけました。

このゾーンは分離可能な選好と呼ばれます。

• 比喩： 旅行かばんをパッキングしている状況を想像してください。
  • 分離可能： あなたは歯ブラシが好き（「良い」）で、古い靴下は嫌いです（「悪い」）。歯ブラシを持っている場合、もう 1 つの歯ブラシを追加すればかばんは良くなります。靴下を持っている場合、さらに多くの靴下を追加すれば悪くなります。あなたの選択は一貫しています。
  • 非分離可能（混沌）： あなたは靴下を持っている場合を除いて歯ブラシが好きですが、靴下を持っている場合は歯ブラシが嫌いになります。あるいは、帽子を持っている場合のみ靴下を望むかもしれません。あなたの選好は奇妙な組み合わせに依存します。

この論文は、有権者を「分離可能な」選好（アイテムがそれ自体で一貫して良いか悪いかに限定される）に制限すれば、5 つのルールすべてを満たす完璧な投票システムを構築できることを示しています。

4. 「崖の縁」（最大性）

最後に、著者たちは尋ねました：「この魔法のゾーンはどれほど大きくできるでしょうか？『奇妙な』（非分離可能な）選好を持つ有権者を数人受け入れることはできますか？」

答え： いいえ。魔法のゾーンはすでに最大サイズに達しています。

• 比喩： 「分離可能な」選好が堅固な島だと想像してください。「非分離可能な」選好は海です。この論文は、その島が可能な限り最大であることを証明しています。もし、奇妙で非分離可能な選好を持つたった 1 人の人間をその島に追加しようとすれば、完璧な投票システムは崩壊します。「水」（不可能性）が流れ込み、少なくとも 5 つのルールの 1 つが破綻します。

まとめ

• 問題： オンライン投票では、人々は偽名を使用したり、投票を拒否したりして不正を働くことができます。
• 発見： これらの不正を阻止するシステムを構築すると、有権者を区別して扱う能力を失い、一般的な設定ではすべての選択肢を公平に扱うことが不可能になります。
• 解決策： 選択肢がアイテムの組み合わせ（ショッピングカートのよう）である場合、完璧なシステムを持つことができますが、それはすべての人の選好が「一貫している」（分離可能）場合に限られます。
• 限界： この解決策を「一貫していない」または「奇妙な」選好を持つ人々を含めるように拡張することはできません。そうする瞬間、完璧なシステムは崩壊します。

この論文は本質的に、砂に引かれた明確な線を引いています：特定のインターネット時代の不正に対して真に堅牢な投票システムであるためには、有権者が一貫性があり予測可能な選好を持っていることに依存しなければなりません。