Technische Samenvatting: Stemmen met Partiële Ordeningen – De Pluraliteit en Anti-Pluraliteit Klassen

1. Probleemstelling

Het artikel behandelt het probleem van collectieve besluitvorming wanneer individuele voorkeuren worden weergegeven als strikt partiële ordeningen in plaats van de standaard lineaire ordeningen (volledige rangschikkingen) die worden gebruikt in de klassieke theorie van sociale keuzes. In veel praktische scenario's is het te veeleisend om kiezers te verplichten een groot aantal alternatieven volledig te rangschikken. Partiële ordeningen stellen kiezers in staat om strikte voorkeuren voor sommige paren tot uitdrukking te brengen, terwijl ze voor andere indifferent blijven of geen vergelijking kunnen maken.

De centrale uitdaging bestaat erin om de bekende Pluraliteitsregel (selectie van het meest frequent bovenaan gerangschikte alternatief) en de Anti-Pluraliteitsregel (selectie van het minst frequent onderaan gerangschikte alternatief, ook wel Veto genoemd) uit te breiden naar dit domein. Een belangrijke moeilijkheid ontstaat omdat een kiezer in een partiële ordening meerdere "bovenste" alternatieven kan hebben (waarvan geen enkel een voorkeur heeft) of meerdere "onderste" alternatieven (waarvan geen enkel een voorkeur heeft), en de structuur van deze verzamelingen aanzienlijk kan variëren tussen kiezers. Het artikel tracht de natuurlijke klassen van stemregels te identificeren en axiomatisch te karakteriseren die deze standaardregels generaliseren naar partiële ordeningen.

2. Methodologie

De auteurs hanteren een axiomatische benadering binnen een model met variërende electoraten (waarbij elke eindige deelverzameling van een oneindig universum van kiezers kan deelnemen).

Het Model

• Alternatieven: Een eindige verzameling $A$ met $|A| = m \geq 3$.
• Voorkeuren: Een strikte partiële ordening $\succ$ (irreflexief, antisymmetrisch, transitief).
• Belangrijke Verzamelingen:
  • $T(\succ)$: De verzameling bovenste alternatieven (maximale elementen).
  • $B(\succ)$: De verzameling onderste alternatieven (minimale elementen).
  • $NT(\succ)$ en $NB(\succ)$: Respectievelijk de niet-bovenste en niet-onderste verzamelingen.
• Stemregels: Functies die profielen van partiële ordeningen afbeelden op een niet-lege verzameling winnende alternatieven.

Score-regels

Het artikel richt zich op positionele score-regels, waarbij de score van een alternatief uitsluitend afhankelijk is van zijn positie in het voorkeursgrafiek. De auteurs definiëren verschillende klassen van regels op basis van hoe scores worden toegewezen aan bovenste en onderste verzamelingen:

1. Pluraliteitsklasse: Niet-bovenste alternatieven ontvangen een constante score $k'$, terwijl bovenste alternatieven scores $\geq k'$ ontvangen, waarbij ten minste één bovenste alternatief strikt meer ontvangt.
2. Eenvoudige Pluraliteitsklasse: Alle bovenste alternatieven ontvangen dezelfde score $k$.
3. Monotone Eenvoudige Pluraliteitsklasse: Het scoreverschil tussen bovenste en niet-bovenste alternatieven neemt toe naarmate de grootte van de bovenste verzameling afneemt (beloning van "beslissendere" bovenste rangschikkingen).
4. Uniforme Pluraliteitsregel: Een specifieke regel waarbij elk bovenste alternatief 1 punt krijgt en elk niet-bovenste 0.
5. Anti-Pluraliteitsklassen: Symmetrisch gedefinieerd, met focus op onderste verzamelingen (niet-onderste krijgen score $k$, onderste krijgen $\leq k$).

Axioma's

De karakterisering steunt op een set axioma's, waaronder standaardaxioma's die zijn aangepast voor partiële ordeningen en nieuwe axioma's geïnspireerd door goedkeuringstemming:

• Standaard: Anonimiteit, Neutraliteit, Versterking (Consistentie) en Continuïteit.
• Responsiviteit: Partiële Trouw (één kiezer kiest bovenste), Trouw (één kiezer kiest exact bovenste), Partiële Afkeer (één kiezer kiest niet alle onderste), Afkeer (één kiezer kiest geen enkele onderste).
• Congruïteit: T-Congruïteit (het toevoegen van kiezers die $x$ niet bovenaan rangschikken, mag $x$ niet laten winnen) en B-Congruïteit (het toevoegen van kiezers die $x$ niet onderaan rangschikken, mag $x$ niet laten verliezen).
• Contractie/Expansie: Beperkingen op hoe het resultaat verandert wanneer een kiezer zijn bovenste verzameling verkleint of zijn onderste verzameling uitbreidt.
• Technische Eigenschappen: Alleen-Bovenste en Alleen-Onderste (resultaten hangen uitsluitend af van bovenste/onderste verzamelingen).

3. Belangrijkste Bijdragen en Resultaten

Karakterisering van Score-regels

Stelling 1 stelt dat een stemregel Anonimiteit, Neutraliteit, Versterking en Continuïteit voldoet dan en slechts dan als het een positionele score-regel is. Dit past het klassieke resultaat van Young (1975) aan op het domein van partiële ordeningen.

De Pluraliteitsfamilie

Het artikel biedt axiomatische karakterisering voor de Pluraliteitsklassen:

• Stelling 2: Een regel behoort tot de Pluraliteitsklasse dan en slechts dan als hij voldoet aan Anonimiteit, Neutraliteit, Versterking, Continuïteit, Partiële Trouw en T-Congruïteit.
• Corollarium 3: De Eenvoudige Pluraliteitsklasse wordt gekarakteriseerd door Partiële Trouw te vervangen door Trouw.
• Stelling 4: De Monotone Eenvoudige Pluraliteitsklasse wordt gekarakteriseerd door het Contractie-axioma toe te voegen aan de axioma's van de Eenvoudige Pluraliteitsklasse.
• Stelling 6: De Uniforme Pluraliteitsregel wordt gekarakteriseerd door Anonimiteit, Neutraliteit, Versterking, Partiële Trouw en Sterke Contractie. Het bewijs berust op het aantonen dat Sterke Contractie Alleen-Bovenste impliceert, waardoor het probleem wordt gereduceerd tot het geval van lineaire ordeningen waar de karakterisering van Sekiguchi (2012) van toepassing is.

De Anti-Pluraliteitsfamilie

Symmetrische resultaten worden geboden voor de Anti-Pluraliteitsklassen:

• Stelling 9: Een regel behoort tot de Anti-Pluraliteitsklasse dan en slechts dan als hij voldoet aan Anonimiteit, Neutraliteit, Versterking, Continuïteit, Partiële Afkeer en B-Congruïteit.
• Corollarium 10: De Eenvoudige Anti-Pluraliteitsklasse wordt gekarakteriseerd door Partiële Afkeer te vervangen door Afkeer.
• Stelling 11: De Monotone Eenvoudige Anti-Pluraliteitsklasse wordt gekarakteriseerd door het Expansie-axioma toe te voegen.
• Stelling 13: De Uniforme Anti-Pluraliteitsregel wordt gekarakteriseerd door Anonimiteit, Neutraliteit, Versterking, Partiële Afkeer en Sterke Expansie.

Onafhankelijkheid van Axioma's

De auteurs demonstreren de logische onafhankelijkheid van de axioma's die worden gebruikt in deze karakterisering (Proposities 7, 8, 14, 15) door tegenstootregels te construeren die aan alle behalve één axioma voldoen. Opmerkelijk is dat zij benadrukken dat Continuïteit noodzakelijk is voor hun karakterisering van de Pluraliteits- en Anti-Pluraliteitsklassen in de setting van partiële ordeningen, terwijl het vaak overbodig is voor de standaard Pluraliteitsregel bij lineaire ordeningen (bijv. Ching, 1996). Deze noodzaak ontstaat omdat de variërende structuren van bovenste/onderste verzamelingen in partiële ordeningen axioma's zoals T-Congruïteit en Contractie minder restrictief maken zonder Continuïteit.

Toepassingen op Goedkeuringstemming

Het artikel toont aan dat hun resultaten van toepassing zijn op Goedkeuringstemming, waarbij een stembiljet een partiële ordening is met disjuncte bovenste en onderste verzamelingen die alle alternatieven bestrijken ($T(\succ) \cap B(\succ) = \emptyset$ en $T(\succ) \cup B(\succ) = A$).

• Corollarium 16: Grootte-afhankelijke goedkeuringstemregels (waarbij de score afhankelijk is van de grootte van de goedkeuringsverzameling) worden gekarakteriseerd door de axioma's van de Monotone Eenvoudige Pluraliteitsklasse (met Partiële Trouw).
• Corollaria 17 & 18: De standaard goedkeuringstemregel wordt gekarakteriseerd door de axioma's van respectievelijk de Uniforme Pluraliteits- en Uniforme Anti-Pluraliteitsregels.
• Corollarium 19: "Anti-grootte" goedkeuringstemregels (die grotere goedkeuringsverzamelingen bevoordelen) worden gekarakteriseerd door de axioma's van de Monotone Eenvoudige Anti-Pluraliteitsklasse.

4. Betekenis en Claims

Het artikel beweert de eerste axiomatische karakterisering te bieden van Pluraliteits-achtige en Anti-Pluraliteits-achtige regels voor het domein van partiële ordeningen. De betekenis ligt in:

1. Generalisatie: Het breidt de intuïtieve logica van Pluraliteit en Anti-Pluraliteit (focus op bovenste en onderste posities) succesvol uit naar een setting waar "boven" en "onder" verzamelingen zijn in plaats van enkele elementen, en respecteert daarbij de structurele rijkdom van partiële ordeningen.
2. Unificatie: Het verenigt het begrip van deze regels over lineaire ordeningen, partiële ordeningen en goedkeuringstemming. De auteurs merken op dat hun karakterisering voor lineaire ordeningen convergeert naar gevestigde literatuurresultaten, wat de generalisatie valideert.
3. Nieuwe inzichten voor Goedkeuringstemming: Door deze resultaten af te leiden uit het kader van partiële ordeningen, biedt het artikel nieuwe, onafhankelijke axiomatische karakterisering voor standaard en grootte-afhankelijke goedkeuringstemregels, waardoor de directe afhankelijkheid van de "Alleen-Bovenste"-aanname wordt vermeden die vaak impliciet is in de literatuur over goedkeuringstemming.
4. Subtiliteit van het Domein: De resultaten illustreren de specifieke subtiliteiten van stemmen met partiële ordeningen, met name de noodzaak van het Continuïteitsaxioma in deze bredere context, wat het onderscheidt van het geval van lineaire ordeningen.

De auteurs concluderen dat, hoewel zij zich hebben gefocust op Pluraliteit en Anti-Pluraliteit, hun kader de deur opent voor soortgelijke generalisaties van andere score-regels (bijv. Borda, Cumulatief, Stapsgewijs) naar het domein van partiële ordeningen.