Obviously Strategy-proof Choice of Social Acts

Sintesi Tecnica: Scelta di Atti Sociali Ovvisamente Strategicamente Fondata

Enunciato del Problema
Questo articolo investiga l'implementazione di funzioni di scelta sociale (SCF) all'interno del quadro della scelta sociale su atti sociali, introdotto originariamente da Bahel e Sprumont (2020). In questo ambiente, un pianificatore sociale deve selezionare un piano contingente (un atto che mappa gli stati della natura verso gli esiti) prima che l'incertezza venga risolta. Gli agenti valutano tali atti utilizzando il criterio dell'Utilità Attesa Soggettiva (SEU), il che significa che possiedono sia valutazioni soggettive degli esiti sia misure di probabilità soggettive sugli stati della natura.

Sebbene Bahel e Sprumont (2020) abbiano dimostrato che la classe di SCF unanimi e strategicamente fondate in questo dominio è ricca — specificamente caratterizzata come regole di "selezione del top bilaterale locale" — questo articolo si chiede se tali regole soddisfino la condizione più forte di Obvious Strategy-Proofness (OSP) (Ovvia Fondatezza Strategica). L'OSP, introdotta da Li (2017), richiede che il reporting veritiero sia una strategia dominante ovvia, il che significa che anche il peggiore esito possibile derivante dal seguire tale strategia è almeno quanto il migliore esito possibile di qualsiasi deviazione. La questione centrale è se la flessibilità consentita dalla standard strategia-fondatezza sopravviva quando gli agenti sono tenuti a comprendere "ovviamente" l'ottimalità del reporting veritiero.

Metodologia e Modello
Gli autori adottano il modello formale di Bahel e Sprumont (2020), definito da:

• Un insieme finito di agenti $N$, un insieme finito di stati della natura $\Omega$, e un insieme di esiti sociali $X$.
• Gli agenti possiedono preferenze SEU strette, rappresentate da funzioni di valutazione iniettive $v_i$ e misure di probabilità iniettive $p_i$.
• Le funzioni di scelta sociale mappano i profili di preferenza in atti ($\phi: D^n \to X^\Omega$).

L'articolo utilizza la definizione di meccanismi OSP come giochi in forma estesa (alberi) in cui gli agenti riportano le preferenze ai nodi interni. Un meccanismo è OSP se, in ogni nodo decisionale per un agente, l'utilità del peggiore esito derivante dal seguire il percorso veritiero è maggiore o uguale all'utilità del migliore esito di qualsiasi deviazione.

La strategia di prova si basa sulla caratterizzazione delle SCF unime e strategicamente fondate fornita da Bahel e Sprumont (2020), che sono regole di selezione del top bilaterale locale. Queste regole partizionano lo spazio degli stati $\Omega$ in eventi, dove l'assegnazione degli stati agli agenti è determinata da regole che sono o costanti, o bilateralmente dittatoriali, o bilateralmente consensuali. Gli autori analizzano quindi i vincoli strutturali imposti dall'OSP su queste specifiche regole di assegnazione.

Uno strumento tecnico chiave è il Lemma 1, che stabilisce come, per ogni credenza $p_i$, sia possibile costruire una funzione di valutazione $v_i$ con una specifica progressione geometrica di valori tale che la risultante preferenza sia stretta (nessuna indifferenza tra atti distinti) per tutti i valori dei parametri tranne per un numero finito di essi. Ciò consente agli autori di costruire profili di preferenza specifici dove gli agenti hanno preferenze strette sugli esiti generati da diverse regole di assegnazione, facilitando un argomento per contraddizione.

Risultati Principali
Il risultato principale dell'articolo, il Teorema 1, fornisce una caratterizzazione completa:

Un'SCF $\phi$ è unanimemente e ovvisamente implementabile (OSP) se e solo se è dittatoriale.

La prova procede per contraddizione, assumendo l'esistenza di un'SCF unanimmente implementabile e OSP che non sia dittatoriale. In base alla caratterizzazione di Bahel e Sprumont, tale funzione corrisponderebbe a una regola di assegnazione bilaterale locale. Gli autori dimostrano che se più di un agente riceve in assegnazione un insieme non vuoto di stati (il che è necessario per una regola non dittatoriale), è possibile costruire due profili di preferenza che divergono in un nodo specifico del meccanismo OSP. Scegliendo accuratamente le valutazioni (usando il Lemma 1), dimostrano che al nodo di divergenza, la condizione OSP richiederebbe a un agente di preferire un esito che contraddice le sue costruite preferenze.

Nello specifico, la prova dimostra:

1. Claim 1: Per ogni agente, l'insieme degli stati assegnati a lui è o vuoto per tutti i profili di credenza o non vuoto per tutti i profili di credenza.
2. Claim 2: Almeno un agente deve essere assegnato un insieme non vuoto di stati per tutti i profili (a causa delle proprietà di unanimità e partizione).
3. Claim 3: È impossibile che due agenti distinti siano entrambi assegnati insiemi non vuoti di stati per tutti i profili. Se due agenti fossero assegnati stati, la condizione OSP sarebbe violata costruendo uno scenario in cui un agente preferisce l'esito associato agli stati assegnati all'altro agente, creando un ciclo di dominanza che l'OSP non può risolvere.

Di conseguenza, solo un agente può essere assegnato l'intero spazio degli stati $\Omega$ attraverso tutti i profili, rendendo l'SCF dittatoriale. Viceversa, gli autori osservano che le SCF dittatoriali sono trivialmente implementabili tramite OSP.

Significatività e Contributo
L'articolo contribuisce alla letteratura sulla obvious strategy-proofness dimostrando che le implicazioni dell'OSP sono altamente sensibili all'ambiente economico. Mentre studi precedenti in ambienti di voto con domini a picco singolo (Bade e Gonczarowski, 2016; Arribillaga et al., 2020) o problemi di divisione (Arribillaga et al., 2023) hanno trovato regole implementabili tramite OSP non dittatoriali, questo articolo mostra che nel contesto della scelta sociale su atti con incertezza soggettiva, l'OSP è estremamente restrittiva.

Gli autori affermano che il loro risultato evidenzia una "forte tensione tra semplicità d'incentivo e scelta collettiva non dittatoriale" in ambienti in cui gli agenti possiedono preferenze di utilità attesa soggettiva. Mentre Bahel e Sprumont (2020) hanno trovato che la strategia-fondatezza permette una ricca classe di regole bilaterali locali, l'imposizione del requisito di "ovvietà" collassa interamente questa flessibilità, lasciando solo le regole dittatoriali come candidati viabili per l'implementazione OSP. Ciò suggerisce che in ambienti complessi che coinvolgono l'incertezza soggettiva, i meccanismi che sono facili da comprendere per gli agenti (OSP) possono essere incompatibili con una scelta sociale unime e non dittatoriale.