Strategy-Proof Probabilistic Social Choice Correspondences under Conditional Expected Utility

Technische Samenvatting: Strategie-proof Probabilistische Sociale Keuze Correspondenties Onder Conditionele Verwachte Nut

Probleemstelling
Dit artikel onderzoekt de structuur van Probabilistische Sociale Keuze Correspondenties (PSCC's), die loterijen toewijzen over niet-lege deelverzamelingen van alternatieven in plaats van over enkelvoudige alternatieven. De studie richt zich op twee wenselijke eigenschappen: unanimiteit (als alle agenten een specifieke verzameling als het hoogst rangschikken, wordt die verzameling met waarschijnlijkheid één geselecteerd) en strategie-proofness (waarbij eerlijke rapportage een dominante strategie is).

De analyse wordt uitgevoerd binnen het kader van Conditioneel Verwacht Nut (CEU), waarbij agenten de geselecteerde verzamelingen evalueren op basis van hun overtuigingen over een daaropvolgende tie-breaking of definitieve selectiefase. Het artikel onderzoekt twee specifieke preferentiedomeinen geïntroduceerd door Barbera et al. (2001):

1. CEUC (Conditionally Expected Utility Consistent): Agenten hebben subjectieve beoordelingen (overtuigingen) met betrekking tot de waarschijnlijkheid dat verschillende alternatieven uit een verzameling worden geselecteerd.
2. CEUCEP (Conditionally Expected Utility Consistent with Equal Probabilities): Agenten behandelen alle alternatieven binnen een geselecteerde verzameling als even waarschijnlijk als de uiteindelijke uitkomst.

De centrale onderzoeksvraag is of het toestaan van randomisatie over verzamelingen van alternatieven (PSCC's) de klasse van toelaatbare strategie-proof regels uitbreidt voorbij de convexe huls van deterministische strategie-proof correspondenties (DSCC's), of dat de probabilistische regels simpelweg reduceren tot loterijen over deterministische regels.

Methodologie en Kader
De auteurs formaliseren de sociale keuzemgeving met $n$ agenten en $m$ alternatieven ($m \ge 3$).

• Preferenties: Agenten bezitten voorkeuren over niet-lege deelverzamelingen van alternatieven afgeleid van een nutfunctie $v$ en een beoordeling $\lambda$. In het CEUC-domein is $\lambda$ subjectief; in het CEUCEP-domein is $\lambda$ uniform.
• Strategie-proofness: Gedefinieerd via First-Order Stochastic Dominance (FOSD). Een agent vergelijkt de loterij over verzamelingen die voortvloeit uit eerlijke rapportage met de loterij die voortvloeit uit een foutieve rapportage. De definitie berust op de ordinale voorkeur van de agent over verzamelingen, wat ervoor zorgt dat de conditie representatie-onafhankelijk is (dat wil zeggen, dat deze geldt voor elk nut/beoordelingspaar dat de gerapporteerde voorkeur genereert).
• Analytische Benadering: Het artikel maakt gebruik van inductie op het aantal agenten en gebruikt specifieke structurele lemma's om de ondersteuning van de waarschijnlijkheidsverdeling te beperken. Belangrijke instrumenten zijn onder meer:
  • Het vaststellen dat unanieme en strategie-proof PSCC's tops-only moeten zijn (uitkomsten hangen alleen af van de hoogst gerankte verzamelingen).
  • Het bewijzen dat de ondersteuning van de loterij beperkt is tot singletons en doubletons van de unie van de hoogst gerankte verzamelingen van de agenten.
  • Het construeren van specifieke preferentieprofielen om tegenstrijdigheden of gelijkheden in waarschijnlijkheden af te leiden, waarmee de toegestane regels worden gekarakteriseerd.

Belangrijkste Resultaten en Karakteriseringen

Het artikel biedt een volledige karakterisering van unanieme en strategie-proof PSCC's over de twee domeinen, waarbij wordt onthuld dat de impact van randomisatie domein-afhankelijk is.

1. Het CEUC-domein (Subjectieve Beoordelingen)

• Resultaat: Elke unanieme en strategie-proof PSCC op het CEUC-domein is een Random Dictatorial Rule.
• Implicatie: Hoewel de regel wordt toegestaan te randomiseren over willekeurige deelverzamelingen, dwingen strategie-proofness en unanimiteit de waarschijnlijkheidsmassa exclusief toe te wijzen aan singleton-verzamelingen die door de agenten als hoogst gerankt worden beschouwd. Randomisatie over verzamelingen levert geen extra flexibiliteit op; de klasse van regels valt terug op de standaard random dictatuur die wordt gevonden in probabilistische sociale keuzefuncties (Gibbard, 1977).

2. Het CEUCEP-domein (Gelijke Waarschijnlijkheden)
De karakterisering hier is genuanceerder en hangt af van het aantal agenten ($n$) en alternatieven ($m$).

• Geval A: $n \le 3$ (Elke $m \ge 3$)

  • Resultaat: De klasse van regels is exact de verzameling van Random Bi-dictatorial Rules.
  • Definitie: Dit zijn convexe combinaties van deterministische bi-dictatoriale regels (die de unie selecteren van de top-gerankte verzamelingen van twee agenten).
  • Implicatie: Voor kleine samenlevingen genereren probabilistische regels geen nieuwe structuren; ze zijn slechts loterijen over deterministische bi-dictaturen.

• Geval B: $n \ge 4$ en $m = 3$

  • Resultaat: De klasse breidt zich uit naar Coalition-Weighted Rules.
  • Definitie: Deze regels worden gegenereerd door een coalitie-gewichtfunctie $v: 2^N \to [0, 1]$ die waarschijnlijkheden toewijst op basis van de omvang en compositie van de coalitie die een alternatief ondersteunt. De waarschijnlijkheid van een singleton $\{x\}$ is $v(N_x)$, en de waarschijnlijkheid van een doubleton $\{x, y\}$ is $v(N_x \cup N_y) - v(N_x) - v(N_y)$.
  • Significantie: Deze klasse is strikt groter dan de verzameling van random bi-dictatoriale regels. Het artikel levert een expliciet voorbeeld (Voorbeeld 3) van een unanieme en strategie-proof PSCC die niet als een convexe combinatie van deterministische strategie-proof correspondenties kan worden geschreven. Dit toont aan dat randomisatie in deze specifieke configuratie werkelijk nieuwe regels kan genereren.

• Geval C: $n \ge 4$ en $m \ge 4$

  • Resultaat: De klasse valt terug naar Random Bi-dictatorial Rules.
  • Implicatie: De "extra vrijheid" waargenomen in het geval met drie alternatieven verdwijnt wanneer er vier of meer alternatieven zijn. Het artikel bewijst dat voor $m \ge 4$, elke coalitie-gewogen regel equivalent is aan een random bi-dictatoriale regel.

Significantie en Claims

Het artikel claimt een specifieke, domein-afhankelijke rol voor randomisatie in verzameling-gebaseerde sociale keuze te hebben geïdentificeerd:

1. Domein-gevoeligheid: Terwijl randomisatie over het algemeen de klasse van strategie-proof regels niet uitbreidt in de onbeperkte of CEUC-domeinen, doet het dat wel in het CEUCEP-domein, maar alleen wanneer het aantal alternatieven precies drie is en het aantal agenten minstens vier.
2. Nieuwigheid van Probabilistische Regels: De auteurs benadrukken dat in het $m=3, n \ge 4$ geval, de toegestane probabilistische regels niet louter convexe combinaties zijn van deterministische regels. Dit daagt de intuïtie uit dat probabilistische mechanismen simpelweg loterijen over deterministische regels zijn.
3. Verbinding met Deterministische Baselines: Het artikel stelt vast dat hoewel de probabilistische klasse uitbreidt voor $m=3, n \ge 4$, de deterministische leden van deze uitgebreide klasse exact samenvallen met de bi-dictatoriale regels die door Barbera et al. (2001) worden gekarakteriseerd. Hiermee wordt bewezen dat de uitbreiding een puur probabilistisch fenomeen is.
4. Structureel Inzicht: Het werk verheldert dat de "terugval" naar random bi-dictatuur voor $m \ge 4$ een structurele beperking is die wordt opgelegd door het aantal alternatieven, waarbij het geval met drie alternatieven wordt onderscheiden als een anomalie waar coalitie-gewogen regels een rijkere structuur bieden.

Samenvattend demonstreert het artikel dat de relatie tussen deterministische en probabilistische strategie-proof regels niet uniform is; randomisatie kan fundamenteel nieuwe strategie-proof correspondenties genereren, maar dit fenomeen is zeer gevoelig voor de specifieke parameters van de sociale keuzemgeving (met name het aantal alternatieven en agenten) en de aard van de overtuigingen van agenten over het selectieproces.