On the stability of utilitarian aggregation

1. Il Problema di Ricerca

Il lavoro si colloca nel contesto della teoria della scelta sociale e della decisione individuale, focalizzandosi sul teorema di aggregazione di Harsanyi (1955). Il teorema classico stabilisce che, se le preferenze di un decisore collettivo (o di un decisore che rappresenta un gruppo) soddisfano il principio di unanimità di Pareto (esatto) e le preferenze individuali sono rappresentate da funzioni di utilità di von Neumann-Morgenstern (vN-M), allora l'utilità collettiva deve essere una somma ponderata lineare delle utilità individuali (aggregazione utilitaristica).

Tuttavia, il paper identifica un limite fondamentale: nei modelli economici reali, le preferenze sono spesso note solo in modo approssimato o sono soggette a incertezza. Le condizioni esatte di Pareto raramente si verificano in modo perfetto. Il problema centrale è determinare se le conclusioni del teorema di Harsanyi rimangano valide (o stabili) quando le assunzioni di base (i principi di Pareto) sono violate in modo limitato o "approssimato".

2. Metodologia e Impostazione Teorica

L'autore utilizza un approccio basato sulla teoria dell'utilità attesa (vN-M) e sulla stabilità delle equazioni funzionali (in linea con la domanda di Ulam).

• Ambiente: Si considera un insieme di alternative $X$ (convesso, spesso un insieme di lotterie o atti) e un insieme di $N$ individui con funzioni di utilità $u_i$ e un decisore (DM) con funzione $u_0$. Le funzioni sono affini (preservano le miscele).
• Violazioni Parametrizzate: Viene introdotta una violazione parametrica $\epsilon \geq 0$ dei principi di Pareto. Invece di richiedere che se tutti preferiscono $x$ a $y$, allora il DM preferisca $x$ a $y$, si richiede che $u_0(x) \geq u_0(y) - \epsilon$ (o una versione più forte per l'indifferenza).
• Strumenti Matematici:
  • Teorema Minimax: Utilizzato come strumento centrale per dimostrare l'esistenza di pesi di aggregazione e per stabilire relazioni di dualità.
  • Oscillazione e Norme: L'errore di aggregazione è misurato tramite l'oscillazione di una funzione residua o la norma supremo ($\|\cdot\|_\infty$).
  • Geometria Convessa e Efficienza Proper: Per il caso dei pesi strettamente positivi, vengono utilizzati concetti di efficienza propria (Geoffrion) e proprietà di insiemi poliiedrici per evitare casi patologici di efficienza.

3. Contributi Chiave e Risultati Principali

Il paper definisce e caratterizza l'aggregazione utilitaristica approssimata, dimostrando che piccole violazioni dei principi di Pareto portano a regole di aggregazione che rimangono vicine alla forma utilitaristica lineare.

A. Definizione di Aggregazione Approssimata

L'autore dimostra l'equivalenza tra due modi di vedere l'utilità del DM come approssimazione di un aggregatore utilitaristico:

1. $u_0(x) = \sum a_i u_i(x) + e(x)$, dove l'oscillazione di $e$ è limitata da $\epsilon$.
2. $u_0$ è a distanza $\epsilon/2$ (nella norma supremo) da un aggregatore utilitaristico esatto $w(x) = \sum a_i u_i(x) + b$.

B. Teoremi di Aggregazione

• Teorema 1 (Dualità): In un setting con domini compatti e utilità continue, viene stabilita una formula di dualità. La distanza minima tra $u_0$ e l'insieme degli aggregatori utilitaristici (con pesi non negativi) è esattamente la metà della massima violazione del principio di Pareto Semiforte (misurata come differenza di utilità $u_0(y) - u_0(x)$ quando tutti gli individui preferiscono $x$ a $y$).
• Teorema 2 e 3 (Aggregazione con Pesi Non Negativi): Dimostrano che la soddisfazione della condizione di $\epsilon$-Pareto Semiforte è equivalente all'esistenza di un'aggregazione utilitaristica approssimata con pesi non negativi. Il Teorema 3 estende questo risultato rimuovendo le assunzioni topologiche (compattezza) tramite un argomento di estensione.
• Teorema 4 (Indifferenza): Estende i risultati alla condizione di $\epsilon$-Indifferenza di Pareto, mostrando che se gli individui sono indifferenti, il DM è "quasi" indifferente (differenza di utilità $\leq \epsilon$), il che implica ancora un'aggregazione approssimata.
• Teorema 5 e 6 (Pesi Strettamente Positivi): Per garantire pesi strettamente positivi ($a_i > 0$), l'autore introduce una versione rafforzata chiamata $\epsilon$-Pareto Forte Sequenziale. Questo evita problemi di efficienza impropria. Il Teorema 6 mostra che, in domini finiti (convessi di un numero finito di punti), la versione semplice di Pareto Forte è sufficiente.

C. Applicazioni Specifiche

Il paper applica i risultati a due contesti importanti:

1. Aggregazione di Gusti e Probabilità (Anscombe-Aumann): In un setting dove le preferenze dipendono sia da gusti che da credenze soggettive, il paper mostra che l'aggregazione approssimata permette di evitare la necessità di un "dittatore probabilistico" (un risultato noto come impossibilità di Mongin 1998). Se i gusti sono sufficientemente simili (vicini entro $\epsilon$), è possibile un pooling lineare approssimato delle probabilità senza che una singola opinione prevalga.
2. Dominanza di Likelihood: Vengono introdotte condizioni per l'aggregazione approssimata delle misure di probabilità, mostrando che la probabilità del DM è una combinazione lineare approssimata delle probabilità individuali più un termine di errore limitato.

4. Significato e Implicazioni

• Stabilità del Teorema di Harsanyi: Il contributo più importante è la dimostrazione della stabilità del teorema di Harsanyi. Piccole deviazioni dalle condizioni di unanimità non distruggono la struttura utilitaristica; portano invece a una struttura utilitaristica "sporca" da un residuo limitato.
• Robustezza contro l'Incertezza: Il modello offre una giustificazione teorica per l'uso di regole di aggregazione utilitaristiche anche quando le preferenze individuali non sono perfettamente conosciute o sono soggette a errori di specificazione. Il decisore può adottare un comportamento "soddisfacente" (satisficing) senza abbandonare completamente la logica utilitaristica.
• Connessione con la Finanza e la Teoria della Scelta: Il lavoro collega l'aggregazione delle preferenze a concetti di assenza di arbitraggio e stabilità funzionale, mostrando analogie con risultati recenti in finanza (Acciaio et al.) e teoria della scelta stocastica.
• Superamento delle Impossibilità: In contesti come l'aggregazione di credenze soggettive, l'approccio approssimato mitiga i risultati di impossibilità (come quelli di Mongin), permettendo soluzioni non dittatoriali quando le divergenze tra gli individui sono piccole ma non nulle.

In sintesi, Nascimento fornisce un quadro rigoroso per quantificare quanto un sistema di preferenze collettive si discosti dall'utilitarismo puro in base alla qualità delle informazioni sulle preferenze individuali, confermando che l'utilitarismo è una struttura robusta e stabile di fronte a piccole imperfezioni nei dati.