Single-Peaked Domain Augmented with Complete Indifference: A Characterization of Target Rules with a Default

1. Il Problema di Ricerca

Il lavoro si inserisce nel campo della scelta sociale e studia un problema decisionale pubblico in cui una società finita deve selezionare un livello di un bene pubblico da un intervallo chiuso $A = [0, 1]$.
La novità fondamentale risiede nella definizione del dominio delle preferenze. Gli agenti possono appartenere a due categorie distinte:

1. Preferenze a picco singolo (Single-Peaked): Gli agenti hanno una preferenza ideale (picco) e preferiscono alternative più vicine a tale picco rispetto a quelle più lontane.
2. Indifferenza Completa: Gli agenti sono completamente indifferenti tra tutte le alternative possibili ($R_0$).

Questo secondo tipo di agente modella situazioni di astensione o l'adozione di una posizione "Nessuna delle precedenti" (NOTA), dove l'agente partecipa al processo decisionale ma non esprime una preferenza specifica per alcun livello del bene pubblico. Il dominio studiato è quindi l'unione di queste due classi: $S_0 = S \cup \{R_0\}$.

L'obiettivo è caratterizzare le regole di scelta sociale (funzioni di scelta sociale - SCF) su questo dominio "arricchito".

2. Metodologia e Assiomi

Gli autori adottano un approccio assiomatico basato sull'incentivazione e sulla copertura dell'intervallo. Le proprietà chiave analizzate sono:

• Onto-ness (Sovraiettività): Ogni alternativa nell'intervallo $A$ deve essere selezionabile in almeno un profilo di preferenze. Questo è un requisito di ricchezza della regola, più debole dell'efficienza.
• Strategia-proofness a coppie (Pairwise Strategy-Proofness - PSP): Una condizione di robustezza agli incentivi. Una regola è PSP se nessun gruppo di al massimo due agenti può manipolare congiuntamente il risultato riportando preferenze false per ottenere un esito che renda tutti i membri del gruppo almeno indifferentemente meglio, con almeno uno strettamente meglio.
  • Nota metodologica: La PSP è un indebolimento della Group Strategy-Proofness (che vieta manipolazioni da parte di coalizioni di qualsiasi dimensione), ma è sufficientemente forte da evitare la complessità combinatoria delle grandi coalizioni, pur mantenendo un fondamento comportamentale plausibile (è più facile coordinarsi in due che in grandi gruppi).
• Efficienza: Un'alternativa è efficiente se non esiste un'altra alternativa che tutti preferiscono o almeno uno preferisce strettamente. Sul dominio $S_0$, per profili non completamente indifferenti, l'insieme delle alternative efficienti è l'intervallo $[\underline{\tau}(R), \overline{\tau}(R)]$, dove $\underline{\tau}$ e $\overline{\tau}$ sono rispettivamente il picco minimo e massimo tra gli agenti con preferenze a picco singolo.
• Proprietà "Tops-Only": L'esito della regola dipende solo dai picchi degli agenti con preferenze a picco singolo e dall'insieme degli agenti indifferenti, non dalla forma specifica delle preferenze oltre il picco.

3. Risultati Principali

Il risultato centrale del paper è il Teorema 1, che fornisce una caratterizzazione completa per $n \ge 3$ agenti.

Teorema 1: Una funzione di scelta sociale $f: S_0^n \to A$ è onto e pairwise strategy-proof se e solo se è una Regola Target con Default (Target Rule with a Default).

Definizione di "Regola Target con Default"

Una tale regola è definita da due parametri fissi nell'intervallo $A$:

1. Un livello Target ($x$).
2. Un livello Default ($y$).

Il comportamento della regola è il seguente:

• Caso 1 (Esiste almeno un agente con preferenze a picco singolo):
  • Se il livello target $x$ è efficiente (cioè $x \in [\underline{\tau}(R), \overline{\tau}(R)]$), la regola seleziona $x$.
  • Se $x < \underline{\tau}(R)$, la regola seleziona il picco minimo $\underline{\tau}(R)$.
  • Se $x > \overline{\tau}(R)$, la regola seleziona il picco massimo $\overline{\tau}(R)$.
  • In sintesi: Se il target è raggiungibile senza violare l'efficienza, viene scelto; altrimenti, si sceglie il picco degli agenti a picco singolo più vicino al target.
• Caso 2 (Tutti gli agenti sono completamente indifferenti - Profilo $R_0^N$):
  • La regola seleziona il livello Default $y$.

Implicazioni Derivate

Il teorema dimostra che le proprietà di onto-ness e pairwise strategy-proofness implicano automaticamente:

1. Efficienza: Le regole target con default sono efficienti.
2. Proprietà Tops-Only: La scelta dipende solo dai picchi.
3. Anonimato: Il risultato non dipende dall'identità degli agenti.
4. Group Strategy-Proofness: Sebbene l'assioma richiesto sia solo PSP, le regole risultanti sono in realtà robuste contro manipolazioni di gruppi di qualsiasi dimensione.

4. Osservazioni Critiche e Controesempi

• Il caso $n=2$: Il teorema richiede $n \ge 3$. Per $n=2$, esistono regole che sono onto e pairwise strategy-proof ma non sono regole target con default (es. una regola che seleziona il picco del primo agente se non è indifferente, altrimenti il picco del secondo, con un default per il caso di totale indifferenza). Questo dimostra che la caratterizzazione è specifica per società con almeno tre membri.
• Indebolimento degli assiomi: Se si indebolisce la pairwise strategy-proofness a semplice strategy-proofness (individuale) o a weakly group strategy-proofness (che vieta solo deviazioni che migliorano strettamente tutti i membri), la caratterizzazione crolla.
  • Esempio 1: Viene mostrato un esempio di regola che è onto e weakly group strategy-proof ma non è né efficiente né soddisfa la proprietà tops-only. Questo evidenzia che la forza della PSP è cruciale per garantire efficienza e struttura "tops-only" su questo dominio specifico.
• Relazione con la letteratura precedente:
  • Su dominio classico a picco singolo ($S$), onto-ness e strategy-proofness implicano già efficienza e tops-only.
  • Su dominio arricchito ($S_0$), questo non è più vero senza rafforzare l'assioma di strategia-proofness (da individuale a di coppia) o aggiungere assiomi di solidarietà.
  • Il lavoro si distingue dalle caratterizzazioni basate su principi di solidarietà (es. Thomson 1993, Ching & Thomson 1993) fornendo una fondazione puramente basata sugli incentivi.

5. Significato e Contributo

Il contributo principale del paper è triplice:

1. Modellazione Realistica: Introduce formalmente l'indifferenza completa (astensione/NOTA) nel contesto delle preferenze a picco singolo, un aspetto spesso trascurato ma rilevante nelle decisioni pubbliche reali.
2. Caratterizzazione Incentivale: Fornisce una caratterizzazione delle "Target Rules" che non fa affidamento su assiomi di equità o solidarietà (come la dominanza della sostituzione o la monotonia della popolazione), ma si basa esclusivamente su requisiti di robustezza agli incentivi (pairwise strategy-proofness) e copertura dell'alternativa (onto-ness).
3. Robustezza della PSP: Dimostra che la pairwise strategy-proofness, pur essendo un indebolimento della group strategy-proofness, è sufficientemente potente da garantire risultati strutturali forti (efficienza, tops-only, anonimato) su domini arricchiti, rendendola un'alternativa teoricamente solida e gestibile per l'analisi delle regole di voto.

In conclusione, il paper stabilisce che, in una società con almeno tre membri, l'unica via per garantire che ogni alternativa sia raggiungibile e che nessun gruppo di due persone possa manipolare il sistema, è adottare una regola che punta a un obiettivo fisso (target) e ricorre a un valore di default solo in caso di totale apatia collettiva.