Obviously Strategy-proof Choice of Social Acts

Technische Samenvatting: Obvious Strategy-proof Keuze van Sociale Acten

Probleemstelling
Dit artikel onderzoekt de implementatie van sociale keuzefuncties (social choice functions, SCF's) binnen het kader van sociale keuze over sociale acten, oorspronkelijk geïntroduceerd door Bahel en Sprumont (2020). In deze omgeving moet een sociale planner een contingent plan (een act die staten van de natuur koppelt aan uitkomsten) selecteren voordat de onzekerheid is opgelost. Agenten evalueren deze acten met behulp van het criterium van Subjectieve Verwachte Nut (SEU), wat betekent dat zij zowel subjectieve waarderingen van uitkomsten als subjectieve waarschijnlijkheidsmaten over staten van de natuur bezitten.

Hoewel Bahel en Sprumont (2020) hebben aangetoond dat de klasse van unanimiteits- en strategie-proofe SCF's in dit domein rijk is — specifiek gekenmerkt als "lokaal bilaterale top-selectie" regels — vraagt dit artikel zich af of deze regels voldoen aan de sterkere voorwaarde van Obvious Strategy-Proofness (OSP). OSP, geïntroduceerd door Li (2017), vereist dat waarheidsgetrouwe rapportage een overduidelijke dominante strategie is, wat betekent dat zelfs de slechtst mogelijke uitkomst van het volgen van de strategie ten minste even goed is als de best mogelijke uitkomst van een afwijking. De centrale vraag is of de flexibiliteit die toegestaan wordt door standaard strategie-proofness standhoudt wanneer agenten "duidelijk" moeten begrijpen waarom waarheidsgetrouwe rapportage optimaal is.

Methodologie en Model
De auteurs hanteren het formele model van Bahel en Sprumont (2020), gedefinieerd door:

• Een eindige verzameling agenten $N$, een eindige verzameling staten van de natuur $\Omega$, en een verzameling sociale uitkomsten $X$.
• Agenten bezitten strikte SEU-voorkeuren, gerepresenteerd door injectieve waarderingsfuncties $v_i$ en injectieve waarschijnlijkheidsmaten $p_i$.
• Sociale keuzefuncties mappen voorkeursprofielen naar acten ($\phi: D^n \to X^\Omega$).

Het artikel maakt gebruik van de definitie van OSP-mechanismen als uitgebreide-vorm spelen (trees) waarbij agenten voorkeuren rapporteren bij interne knopen. Een mechanisme is OSP als, bij elke beslissingsknoop voor een agent, het nut van de slechtst mogelijke uitkomst van het volgen van het waarheidsgetrouwe pad groter dan of gelijk is aan het nut van de best mogelijke uitkomst van een willekeurige afwijking.

De bewijsvoering steunt op de karakterisering van unanimiteits- en strategie-proofe SCF's zoals geleverd door Bahel en Sprumont (2020), welke lokaal bilaterale top-selectie regels zijn. Deze regels partitioneren de toestandsruimte $\Omega$ in gebeurtenissen, waarbij de toewijzing van staten aan agenten wordt bepaald door regels die ofwel constant, bilateraal dictatoriaal, ofwel bilateraal consensueel zijn. De auteurs analyseren vervolgens de structurele beperkingen die OSP oplegt aan deze specifie specifieke toewijzingsregels.

Een cruciaal technisch instrument is Lemma 1, dat vaststelt dat men voor elke overtuiging $p_i$ een waarderingsfunctie $v_i$ kan construeren met een specifieke geometrische progressie van waarden, zodanig dat de resulterende voorkeur strikt is (geen indifferentie tussen verschillende acten) voor bijna alle parameterwaarden. Dit stelt de auteurs in staat om specifieke voorkeursprofielen te construeren waar agenten strikte voorkeuren hebben over de uitkomsten gegenereerd door verschillende toewijzingsregels, wat een contradictie-argument faciliteert.

Belangrijkste Resultaten
Het hoofdresultaat van het artikel, Stelling 1, biedt een volledige karakterisering:

Een SCF $\phi$ is unanim en OSP implementeerbaar dan en slechts dan als zij dictatoriaal is.

Het bewijs verloopt via een bewijs uit het ongerijmde: men neemt aan dat er een unanimiteit en OSP implementeerbare SCF bestaat die niet dictatoriaal is. Gebaseerd op de karakterisering van Bahel en Sprumont, zou een dergelijke functie overeenkomen met een lokaal bilaterale toewijzingsregel. De auteurs demonstreren dat indien meer dan één agent een niet-lege verzameling staten toegewezen krijgt (wat noodzakelijk is voor een niet-dictatoriale regel), men twee voorkeursprofielen kan construeren die divergeren bij een specifieke knoop in het OSP-mechanisme. Door de waarderingen zorgvuldig te kiezen (met behulp van Lemma 1), tonen zij aan dat de OSP-voorwaarde op de divergentieknoop zou vereisen dat een agent een uitkomst verkiest die in strijd is met hun geconstrueerde voorkeuren.

Specifiek toont het bewijs aan:

1. Claim 1: Voor elke agent is de verzameling staten die aan hen is toegewezen ofwel leeg voor alle overtuigingsprofielen, ofwel niet-leeg voor alle overtuigingsprofielen.
2. Claim 2: Ten minste één agent moet een niet-lege verzameling staten toegewezen krijgen voor alle profielen (vanwege de unanimiteit en de partitie-eigenschappen).
3. Claim 3: Het is onmogelijk dat twee verschillende agenten beide niet-lege verzamelingen staten toegewezen krijgen voor alle profielen. Indien twee agenten staten toegewezen zouden krijgen, zou de OSP-voorwaarde worden geschonden door een scenario te construeren waarin één agent de uitkomst verkiest die geassocieerd is met de toegewezen staten van de andere agent, wat een cyclus van dominantie creëert die OSP niet kan oplossen.

Concluderend kan slechts één agent de gehele toestandsruimte $\Omega$ over alle profielen heen toegewezen krijgen, wat de SCF dictatoriaal maakt. Omgekeerd merken de auteurs op dat dictatoriale SCF's triviaal OSP implementeerbaar zijn.

Betekenis en Bijdrage
Het artikel draagt bij aan de literatuur over obvious strategy-proofness door aan te tonen dat de implicaties van OSP zeer gevoelig zijn voor de economische omgeving. Terwijl eerdere studies in stemomgevingen met single-peaked domeinen (Bade en Gonczarowski, 2016; Arribillaga et al., 2020) of verdelingsproblemen (Arribillaga et al., 2023) niet-dictatoriale OSP implementeerbare regels hebben gevonden, laat dit artikel zien dat in de context van sociale keuze over acten met subjectieve onzekerheid, OSP extreem restrictief is.

De auteurs stellen dat hun resultaat een "sterke spanning tussen de eenvoud van prikkels en niet-dictatoriale collectieve keuze" benadrukt in omgevingen waar agenten subjectieve verwachte nutsvoorkeuren hebben. Hoewel Bahel en Sprumont (2020) vonden dat strategie-proofness een rijke klasse van lokaal bilaterale regels toestaat, zorgt de oplegging van de "obvious" eis ervoor dat deze flexibiliteit volledig wegvalt, waardoor alleen dictatoriale regels als levensvatbare kandidaten voor OSP-implementatie overblijven. Dit suggereert dat in complexe omgevingen met subjectieve onzekerheid, mechanismen die gemakkelijk voor agenten te begrijpen zijn (OSP), mogelijk onverenigbaar zijn met niet-dictatoriale, unanimiteit respecterende sociale keuze.