Efficient Elicitation of Collective Disagreements

Sintesi Tecnica: Elicitazione Efficiente dei Disaccordi Collettivi

Enunciato del Problema
La teoria della scelta sociale si è tradizionalmente concentrata sul consenso e sulle regole di aggregazione delle preferenze. Tuttavia, il processo decisionale collettivo richiede spesso di affrontare e risolvere i disaccordi prima di raggiungere un accordo. La letteratura esistente offre varie misure di disaccordo, polarizzazione e divisività, ma queste si basano tipicamente su classifiche complete delle preferenze o su confronti a coppie. Gli autori identificano una limitazione critica: i confronti a coppie (informazioni di grado 2) sono insufficienti per distinguere tra diverse forme strutturali di disaccordo. Ad esempio, una popolazione con classifiche distribuite uniformemente e una popolazione divisa in due fazioni opposte possono produrre dati di confronto a coppie identici, pur possedendo strutture di disaccordo fondamentalmente diverse. Inoltre, l'elicita zione di classifiche complete impone un alto carico cognitivo agli elettori, creando un compromesso tra ricchezza informativa e usabilità pratica. Il lavoro mira a determinare le informazioni minime aggregate sulle preferenze necessarie per calcolare specifiche misure di disaccordo e a progettare protocolli di elicita zione che bilancino tale esigenza informativa con il carico cognitivo degli elettori.

Metodologia
Gli autori introducono un modello probabilistico delle preferenze degli elettori e propongono una nuova rappresentazione chiamata matrice di pluralità.

• La Matrice di Pluralità: Per un insieme di alternative $A$, la matrice registra, per ogni sottoinsieme $S \subseteq A$ e ogni alternativa $a \in S$, la probabilità $p_S(a)$ che $a$ sia classificata al primo posto all'interno di $S$.
• Gerarchia dei Gradi: La matrice è stratificata in base alla dimensione del sottoinsieme $S$. I dati di "grado $k$" si riferiscono alle voci dove $|S|=k$. I confronti a coppie corrispondono al grado 2, mentre i punteggi di pluralità completi corrispondono al grado $m$.
• Livello di una Misura: Una misura di disaccordo è definita di "livello $k$" se può essere espressa utilizzando dati di grado al massimo $k$, ma non di grado $k-1$.
• Protocolli di Elicitazione: Per stimare la matrice di pluralità senza richiedere classifiche complete, gli autori propongono due protocolli basati su sequenze di confronti a coppie:
  1. $k$-catena: Un elettore esegue $k-1$ confronti a coppie sequenziali per determinare un vincitore all'interno di un sottoinsieme di dimensione $k$.
  2. $k$-classifica: Un elettore fornisce una classifica completa di un sottoinsieme di dimensione $k$ tramite confronti a coppie.
     Gli autori analizzano il compromesso tra il numero totale di elettori (budget) e il carico cognitivo massimo (numero di confronti per elettore) necessario per raggiungere una specifica accuratezza di stima ($\epsilon$) con un livello di confidenza ($1-\delta$).

Principali Contributi

1. Formalizzazione della Matrice di Pluralità: Il lavoro definisce la matrice di pluralità come un quadro per organizzare i dati aggregati delle preferenze in base alla dimensione del sottoinsieme, consentendo l'analisi delle misure di disaccordo basate sulle informazioni minime richieste.
2. Analisi del Livello delle Misure di Disaccordo:
   • L'Indice di Accordo è dimostrato essere di livello 2, basandosi esclusivamente su confronti a coppie.
   • Le misure di Varianza di Classifica e Divisività sono dimostrate essere di livello 3. Gli autori dimostrano che queste misure non possono essere calcolate esclusivamente dai dati a coppie, poiché profili di preferenze distinti possono condividere dati identici di grado 2 ma differire al grado 3.
   • Il lavoro dimostra la rigidità della gerarchia: per ogni $k$, esistono profili che coincidono fino al grado $k$ ma differiscono al grado $k+1$.
   • Gli autori costruiscono misure specifiche per ogni livello $k$, come il momento centrale $k$-esimo della distribuzione delle classifiche (livello $k+1$), che cattura proprietà come l'asimmetria (livello 4) e la curtosi (livello 5).
3. Assunzioni Strutturali: Si dimostra che la gerarchia collassa al livello 2 sotto specifiche assunzioni strutturali. Se le preferenze degli elettori seguono il modello Plackett-Luce o sono a picco singolo, tutte le informazioni di grado superiore possono essere recuperate dai soli confronti a coppie.
4. Protocolli di Elicitazione e Compromessi: Due protocolli ($k$-catena e $k$-classifica) sono progettati per stimare la matrice di pluralità. L'analisi teorica che utilizza la disuguaglianza di Hoeffding caratterizza il compromesso tra il numero di elettori necessari e il carico cognitivo per elettore. Gli autori dimostrano che le catene sono ottimali per vincoli di carico cognitivo basso o popolazioni ampie, mentre le classifiche sono più efficienti per popolazioni più piccole disposte a rispondere a query complesse.

Risultati

• Teorici: Il lavoro stabilisce che molte misure standard di disaccordo (Varianza di Classifica, Divisività) richiedono intrinsecamente informazioni oltre i confronti a coppie (grado 3). Dimostra che nessuna misura di livello $k$ può distinguere tra profili che concordano fino al grado $k$.
• Sperimentali/Sintetici: Esperimenti numerici su dati sintetici (utilizzando modelli come Mallows, Plackett-Luce e a Picco Singolo) illustrano che misure di grado superiore (asimmetria e curtosi) possono distinguere tra distribuzioni di classifica unimodali e bimodali che sono indistinguibili al livello 3.
• Dati Reali: L'analisi di dati elettorali reali (STV di Glasgow, Assemblea Legislativa del NSW e sondaggio presidenziale francese) mostra che i disaccordi del mondo reale popolano il "piano dei momenti" (asimmetria vs. curtosi) in modi diversificati, incluse distribuzioni bimodali che indicano polarizzazione a due campi.
• Efficienza dei Protocolli: I limiti derivati mostrano che, per una accuratezza fissa, aumentare la dimensione del sottoinsieme $k$ (e quindi il carico cognitivo) riduce il numero di elettori necessari, ma solo fino al punto in cui il vincolo di carico cognitivo è soddisfatto.

Significato e Affermazioni
Il lavoro afferma di fornire un quadro fondamentale per comprendere i requisiti teorico-informativi della misurazione del disaccordo collettivo. Introducendo il concetto di "livello", chiarisce che i confronti a coppie sono insufficienti per catturare strutture di disaccordo sfumate come la divisività e la varianza di classifica. Il lavoro offre una via pratica avanti per l'elicita zione: identificando il grado specifico di informazioni necessario per una data misura, i praticanti possono progettare protocolli che minimizzano il carico cognitivo senza sacrificare la capacità di rilevare tipi specifici di disaccordo. Gli autori notano che il loro quadro è limitato alle misure esprimibili tramite la matrice di pluralità e assume risposte veritiere e prive di rumore, suggerendo che lavori futuri potrebbero estendersi a ordini parziali, schede di approvazione o modelli di risposta rumorosa.