Riepilogo Tecnico: Voto con Ordini Parziali – Le Classi della Pluralità e dell'Anti-Pluralità

1. Enunciato del Problema

Il documento affronta il problema del processo decisionale collettivo quando le preferenze individuali sono rappresentate come ordini parziali stretti anziché i classici ordini lineari (classifiche complete) utilizzati nella teoria della scelta sociale tradizionale. In molti scenari pratici, richiedere agli elettori di classificare completamente un ampio insieme di alternative è eccessivamente oneroso. Gli ordini parziali permettono agli elettori di esprimere preferenze strette per alcune coppie, rimanendo indifferenti o incapaci di confrontare altre.

La sfida centrale consiste nell'estendere la ben nota regola della pluralità (selezionare l'alternativa classificata al primo posto più frequentemente) e la regola dell'anti-pluralità (selezionare l'alternativa classificata all'ultimo posto meno frequentemente, nota anche come Veto) a questo dominio. Sorge una difficoltà fondamentale perché, in un ordine parziale, un elettore può avere multiple alternative "in cima" (nessuna preferita ad esse) o multiple alternative "in fondo" (nessuna preferita ad esse), e la struttura di questi insiemi può variare significativamente tra gli elettori. Il documento mira a identificare e caratterizzare assiomaticamente le classi naturali di regole di voto che generalizzano queste regole standard agli ordini parziali.

2. Metodologia

Gli autori adottano un approccio assiomatico all'interno di un modello di elettorati variabili (dove qualsiasi sottoinsieme finito di un universo infinito di elettori può partecipare).

Il Modello

• Alternative: Un insieme finito $A$ con $|A| = m \geq 3$.
• Preferenze: Un ordine parziale stretto $\succ$ (irriflessivo, antisimmetrico, transitivo).
• Insiemi Chiave:
  • $T(\succ)$: L'insieme delle alternative in cima (elementi massimali).
  • $B(\succ)$: L'insieme delle alternative in fondo (elementi minimali).
  • $NT(\succ)$ e $NB(\succ)$: Gli insiemi non in cima e non in fondo, rispettivamente.
• Regole di Voto: Funzioni che mappano profili di ordini parziali in un insieme non vuoto di alternative vincitrici.

Regole di Punteggio

Il documento si concentra sulle regole di punteggio posizionali, dove il punteggio di un'alternativa dipende esclusivamente dalla sua posizione nel grafo delle preferenze. Gli autori definiscono diverse classi di regole in base a come i punteggi sono assegnati agli insiemi in cima e in fondo:

1. Classe della Pluralità: Le alternative non in cima ricevono un punteggio costante $k'$, mentre le alternative in cima ricevono punteggi $\geq k'$, con almeno un'alternativa in cima che riceve un punteggio strettamente superiore.
2. Classe della Pluralità Semplice: Tutte le alternative in cima ricevono lo stesso punteggio $k$.
3. Classe della Pluralità Semplice Monotona: La differenza di punteggio tra le alternative in cima e quelle non in cima aumenta al diminuire della dimensione dell'insieme in cima (premiando le classifiche "più decisive" in cima).
4. Regola Uniforme della Pluralità: Una regola specifica in cui ogni alternativa in cima ottiene 1 punto e ogni alternativa non in cima ottiene 0.
5. Classi dell'Anti-Pluralità: Definite simmetricamente, focalizzandosi sugli insiemi in fondo (le non-in-fondo ottengono punteggio $k$, le in-fondo ottengono $\leq k$).

Assiomi

Le caratterizzazioni si basano su un insieme di assiomi, inclusi quelli standard adattati per gli ordini parziali e nuovi ispirati al voto di approvazione:

• Standard: Anonimato, Neutralità, Rinforzo (Coerenza) e Continuità.
• Responsività: Fedeltà Parziale (un singolo elettore seleziona le alternative in cima), Fedeltà (un singolo elettore seleziona esattamente le alternative in cima), Avversione Parziale (un singolo elettore non seleziona tutte le alternative in fondo), Avversione (un singolo elettore non seleziona alcuna alternativa in fondo).
• Congruità: Congruità-T (aggiungere elettori che non classificano $x$ in cima non dovrebbe far vincere $x$) e Congruità-B (aggiungere elettori che non classificano $x$ in fondo non dovrebbe far perdere $x$).
• Contrazione/Espansione: Vincoli su come cambia l'esito quando un elettore riduce il proprio insieme in cima o espande il proprio insieme in fondo.
• Proprietà Tecniche: Solo-in-Cima e Solo-in-Fondo (gli esiti dipendono esclusivamente dagli insiemi in cima/in fondo).

3. Contributi e Risultati Chiave

Caratterizzazione delle Regole di Punteggio

Il Teorema 1 stabilisce che una regola di voto soddisfa Anonimato, Neutralità, Rinforzo e Continuità se e solo se è una regola di punteggio posizionale. Questo adatta il risultato classico di Young (1975) al dominio degli ordini parziali.

La Famiglia della Pluralità

Il documento fornisce caratterizzazioni assiomatiche per le classi della Pluralità:

• Teorema 2: Una regola appartiene alla Classe della Pluralità se e solo se soddisfa Anonimato, Neutralità, Rinforzo, Continuità, Fedeltà Parziale e Congruità-T.
• Corollario 3: La Classe della Pluralità Semplice è caratterizzata sostituendo la Fedeltà Parziale con la Fedeltà.
• Teorema 4: La Classe della Pluralità Semplice Monotona è caratterizzata aggiungendo l'assioma di Contrazione agli assiomi della Classe della Pluralità Semplice.
• Teorema 6: La Regola Uniforme della Pluralità è caratterizzata da Anonimato, Neutralità, Rinforzo, Fedeltà Parziale e Contrazione Forte. La dimostrazione si basa sul mostrare che la Contrazione Forte implica Solo-in-Cima, riducendo il problema al caso di ordine lineare dove si applica la caratterizzazione di Sekiguchi (2012).

La Famiglia dell'Anti-Pluralità

Risultati simmetrici sono forniti per le classi dell'Anti-Pluralità:

• Teorema 9: Una regola appartiene alla Classe dell'Anti-Pluralità se e solo se soddisfa Anonimato, Neutralità, Rinforzo, Continuità, Avversione Parziale e Congruità-B.
• Corollario 10: La Classe dell'Anti-Pluralità Semplice è caratterizzata sostituendo l'Avversione Parziale con l'Avversione.
• Teorema 11: La Classe dell'Anti-Pluralità Semplice Monotona è caratterizzata aggiungendo l'assioma di Espansione.
• Teorema 13: La Regola Uniforme dell'Anti-Pluralità è caratterizzata da Anonimato, Neutralità, Rinforzo, Avversione Parziale e Espansione Forte.

Indipendenza degli Assiomi

Gli autori dimostrano l'indipendenza logica degli assiomi utilizzati in queste caratterizzazioni (Proposizioni 7, 8, 14, 15) costruendo regole controesempio che soddisfano tutti tranne uno. In particolare, evidenziano che la Continuità è necessaria per le loro caratterizzazioni delle classi della Pluralità e dell'Anti-Pluralità nel contesto degli ordini parziali, mentre è spesso dispensabile per la regola standard della Pluralità su ordini lineari (es. Ching, 1996). Questa necessità deriva dal fatto che le strutture variabili degli insiemi in cima/in fondo negli ordini parziali rendono assiomi come la Congruità-T e la Contrazione meno restrittivi senza la Continuità.

Applicazioni al Voto di Approvazione

Il documento dimostra che i loro risultati si applicano al Voto di Approvazione, dove un voto è un ordine parziale con insiemi in cima e in fondo disgiunti che coprono tutte le alternative ($T(\succ) \cap B(\succ) = \emptyset$ e $T(\succ) \cup B(\succ) = A$).

• Corollario 16: Le regole di voto di approvazione basate sulla dimensione (dove il punteggio dipende dalla dimensione dell'insieme di approvazione) sono caratterizzate dagli assiomi della Classe della Pluralità Semplice Monotona (con Fedeltà Parziale).
• Corollari 17 e 18: La regola standard di voto di approvazione è caratterizzata rispettivamente dagli assiomi della Regola Uniforme della Pluralità e della Regola Uniforme dell'Anti-Pluralità.
• Corollario 19: Le regole di approvazione "anti-dimensione" (che favoriscono insiemi di approvazione più grandi) sono caratterizzate dagli assiomi dell'Anti-Pluralità Semplice Monotona.

4. Significato e Affermazioni

Il documento afferma di fornire le prime caratterizzazioni assiomatiche di regole simili alla Pluralità e all'Anti-Pluralità per il dominio degli ordini parziali. Il suo significato risiede in:

1. Generalizzazione: Estende con successo la logica intuitiva della Pluralità e dell'Anti-Pluralità (focalizzandosi sulle posizioni in cima e in fondo) a un contesto in cui "cima" e "fondo" sono insiemi e non singoli elementi, rispettando la ricchezza strutturale degli ordini parziali.
2. Unificazione: Unifica la comprensione di queste regole attraverso ordini lineari, ordini parziali e voto di approvazione. Gli autori notano che le loro caratterizzazioni per gli ordini lineari convergono ai risultati consolidati della letteratura, validando la generalizzazione.
3. Nuove Prospettive per il Voto di Approvazione: Derivando questi risultati dal quadro degli ordini parziali, il documento offre nuove caratterizzazioni assiomatiche indipendenti per le regole standard e basate sulla dimensione del voto di approvazione, evitando la dipendenza diretta dall'assunzione "Solo-in-Cima" spesso implicita nella letteratura sul voto di approvazione.
4. Sottigliezza del Dominio: I risultati illustrano le specifiche sottigliezze del voto con ordini parziali, in particolare la necessità dell'assioma di Continuità in questo contesto più ampio, che lo distingue dal caso degli ordini lineari.

Gli autori concludono che, sebbene si siano concentrati sulla Pluralità e sull'Anti-Pluralità, il loro quadro apre la strada a generalizzazioni simili di altre regole di punteggio (ad esempio, Borda, Cumulativo, Stepwise) al dominio degli ordini parziali.