On voting rules satisfying false-name-proofness and participation
Dieser Beitrag untersucht Abstimmungsregeln in Umgebungen mit nicht verifizierten Identitäten und zeigt, dass zwar die False-Name-Proofness und die Partizipation in allgemeinen Präferenzbereichen generell mit den Eigenschaften der Neutralität und der Onto-Kompatibilität unvereinbar sind, sie jedoch spezifisch innerhalb des maximalen Bereichs separabler Präferenzen gleichzeitig mit Anonymität, Objektneutralität und der Tops-Only-Eigenschaft erfüllt werden können.
Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen
Stellen Sie sich vor, Sie organisieren eine massive Online-Abstimmung, um über ein neues Merkmal für einen Park zu entscheiden. Sie haben eine Liste von Optionen: einen Brunnen, einen Spielplatz, einen Garten oder vielleicht eine Kombination aus allem. In einer perfekten Welt erscheint jeder mit einem Ausweis, stimmt einmal ab, und das Ergebnis ist fair. Doch in der chaotischen Realität des Internets wird es kompliziert.
Dieser Artikel ist wie eine Detektivgeschichte, die die Spielregeln untersucht, um zu prüfen, ob wir ein Wahlsystem entwerfen können, das gegen zwei spezifische Tricks unhackbar ist:
- Der „Sockenpuppen"-Trick (False-Name-Proofness): Ein Wähler erstellt Fake-Accounts, um dieselbe Stimme mehrfach abzugeben.
- Der „Aussteigen"-Trick (Partizipation): Ein Wähler entscheidet: „Wenn ich nicht stimme, wird das Ergebnis besser für mich", und bleibt daher zu Hause, um das Ergebnis zu manipulieren.
Die Autoren fragen: Können wir einen Satz von Regeln formulieren, der beide Tricks verhindert und gleichzeitig allen und allem gerecht wird?
Hier ist das, was sie entdeckt haben, aufgeteilt in einfache Konzepte.
1. Die „Identitätskrise" (Universeller Bereich)
Zunächst betrachteten die Autoren ein Szenario, in dem die Optionen völlig zufällig und unstrukturiert sind (wie die Wahl zwischen „Äpfel", „Blau" und „Dienstag").
Sie entdeckten eine überraschende Wendung: Wenn Sie eine Regel entwickeln, die verhindert, dass Menschen falsche Namen verwenden, und verhindert, dass Menschen durch Aussteigen profitieren, wird diese Regel automatisch „anonym".
- Die Analogie: Stellen Sie sich eine Wahlkabine vor, in der die Maschine nicht interessiert ist, wer Sie sind, sondern nur, was Sie gewählt haben. Die Autoren bewiesen, dass Ihr System, wenn es immun gegen Sockenpuppen und Aussteigen ist, jeden Wähler als gesichtslose Zahl behandeln muss. Sie können „Wähler A" nicht gegenüber „Wähler B" bevorzugen.
Die schlechte Nachricht: Da das System alle gleich behandeln muss (anonym), kann es die Optionen nicht gleich behandeln (neutral).
- Die Metapher: Stellen Sie sich einen Richter vor, der jeden Angeklagten genau gleich behandeln muss. Wenn der Richter das tut, kann er nicht gleichzeitig versprechen, jedes Verbrechen genau gleich zu behandeln. Die Mathematik zeigt, dass Sie kein System haben können, das sowohl den Wählern als auch den Optionen völlig gerecht wird, wenn die Optionen völlig unstrukturiert sind.
2. Das „Einkaufswagen"-Problem (Teilmengen von Objekten)
Als Nächstes betrachteten sie ein realistischeres Szenario: Die Optionen sind Kombinationen von Dingen. Denken Sie an einen Einkaufswagen. Sie können nur einen Apfel, nur eine Banane oder beides kaufen. Dies ist der „Bereich der Teilmengen".
Hier fügten sie drei weitere „nice-to-have"-Regeln für ein gutes Wahlsystem hinzu:
- Ontoness: Jede mögliche Kombination (sogar „nichts" oder „alles") sollte ein möglicher Gewinner sein.
- Tops-Only: Das System sollte nur Ihre Lieblingswahl Nr. 1 kennen müssen, nicht Ihre gesamte Rangliste von 100 Artikeln. (Dies ist entscheidend für Online-Wahlen, bei denen die Menschen müde werden.)
- Objekt-Neutralität: Die Namen der Artikel sollten keine Rolle spielen. Wenn Sie bei allen Listen „Äpfel" und „Banane" austauschen, sollte sich das Ergebnis entsprechend nur austauschen.
Die große Unmöglichkeit:
Wenn Sie versuchen, alle fünf dieser guten Eigenschaften (Verhinderung von Sockenpuppen, Verhinderung von Aussteigen, plus die drei „nice-to-haves") in einer Welt zu kombinieren, in der Menschen beliebige verrückte Präferenzen haben können, ist es unmöglich.
- Die Analogie: Es ist wie der Versuch, ein Auto zu bauen, das:
- Kugelsicher ist.
- Wasserdicht ist.
- Feuerfest ist.
- Selbst fährt.
- 500 Dollar kostet.
Der Artikel beweist, dass Sie für „jede mögliche Präferenz" dieses Auto nicht bauen können. Wenn Sie versuchen, alle diese Bedingungen zu erfüllen, bricht die Mathematik zusammen.
3. Die „Magische Zone" (Trennbare Präferenzen)
Ist das Spiel also vorbei? Nicht ganz. Die Autoren fanden eine spezielle „Magische Zone", in der all diese Regeln funktionieren.
Diese Zone heißt Trennbare Präferenzen.
- Die Metapher: Stellen Sie sich vor, Sie packen einen Koffer.
- Trennbar: Sie lieben Ihre Zahnbürste (sie ist „gut") und hassen Ihre alten Socken (sie sind „schlecht"). Wenn Sie eine Zahnbürste haben, macht das Hinzufügen einer weiteren Zahnbürste den Koffer besser. Wenn Sie Socken haben, macht das Hinzufügen von mehr Socken ihn schlechter. Ihre Entscheidungen sind konsistent.
- Nicht trennbar (das Chaos): Sie lieben die Zahnbürste, es sei denn, Sie haben auch die Socken, in welchem Fall Sie die Zahnbürste hassen. Oder vielleicht wollen Sie die Socken nur, wenn Sie auch einen Hut haben. Ihre Präferenzen hängen von seltsamen Kombinationen ab.
Der Artikel zeigt, dass Sie, wenn Sie die Wähler darauf beschränken, nur „trennbare" Präferenzen zu haben (bei denen Artikel für sich genommen konsistent gut oder schlecht sind), ein perfektes Wahlsystem erstellen können, das alle fünf Regeln erfüllt.
4. Der „Rand der Klippe" (Maximalität)
Schließlich fragten die Autoren: „Wie groß kann diese Magische Zone sein? Können wir ein paar Wähler mit „seltsamen" (nicht trennbaren) Präferenzen hereinlassen?"
Die Antwort: Nein. Die Magische Zone hat bereits ihre maximale Größe erreicht.
- Die Analogie: Stellen Sie sich vor, die „trennbaren" Präferenzen sind eine feste Insel. Die „nicht trennbaren" Präferenzen sind der Ozean. Der Artikel beweist, dass die Insel bereits so groß ist, wie sie nur sein kann. Wenn Sie versuchen, auch nur eine einzige Person mit einer seltsamen, nicht trennbaren Präferenz auf die Insel zu lassen, bricht das perfekte Wahlsystem zusammen. Das „Wasser" (die Unmöglichkeit) wird hereinfluten, und mindestens eine Ihrer fünf Regeln wird brechen.
Zusammenfassung
- Das Problem: Bei Online-Wahlen können Menschen betrügen, indem sie falsche Namen verwenden oder sich weigern zu stimmen.
- Die Entdeckung: Wenn Sie ein System bauen, um diese Betrugsversuche zu stoppen, verlieren Sie die Fähigkeit, Wähler unterschiedlich zu behandeln, was es unmöglich macht, in einem allgemeinen Setting allen Optionen gerecht zu werden.
- Die Lösung: Wenn die Wahlmöglichkeiten Kombinationen von Artikeln sind (wie ein Einkaufswagen), können Sie ein perfektes System haben, ABER nur wenn die Präferenzen aller „konsistent" (trennbar) sind.
- Die Grenze: Sie können diese Lösung nicht erweitern, um Menschen mit „inkonsistenten" oder „seltsamen" Präferenzen einzuschließen. Sobald Sie das tun, bricht das perfekte System zusammen.
Der Artikel zieht im Wesentlichen eine harte Linie im Sand: Damit ein Wahlsystem gegen diese spezifischen Internet-Ära-Betrugsversuche wirklich robust ist, muss es darauf angewiesen sein, dass die Wähler konsistente, vorhersehbare Präferenzen haben.
Ertrinken Sie in Arbeiten in Ihrem Fachgebiet?
Erhalten Sie tägliche Digests der neuesten Arbeiten passend zu Ihren Forschungsbegriffen — mit technischen Zusammenfassungen, in Ihrer Sprache.