Null player neutrality in TU-games: Egalitarian and Shapley solutions

Sintesi Tecnica: Neutralità del Giocatore Nullo nei Giochi TU

Enunciato del Problema
Nella teoria dei giochi cooperativi con utilità trasferibile (giochi TU), l'allocazione del valore tra i giocatori è tipicamente governata da assiomi strutturali quali efficienza, linearità e simmetria. Due soluzioni polarizzate dominano la letteratura: il valore di Shapley, che incarna una prospettiva marginalista premiando i giocatori in base ai loro contributi marginali attesi, e la soluzione di divisione uguale, che alloca il valore della grande coalizione in modo uniforme indipendentemente dalla produttività individuale.

Il valore di Shapley è classicamente caratterizzato dalla Proprietà del Giocatore Nullo, che impone che qualsiasi giocatore che non contribuisce a nessuna coalizione riceva un pagamento nullo. Sebbene matematicamente elegante, questa proprietà incorpora assunzioni normative che possono entrare in conflitto con principi egualitari o basati sui bisogni di giustizia distributiva (ad esempio, l'equità rawlsiana), poiché esclude gli agenti non produttivi da qualsiasi quota della ricchezza collettiva. Al contrario, la soluzione di divisione uguale soddisfa un diverso insieme di intuizioni ma fallisce la proprietà del giocatore nullo.

Il lavoro affronta il divario tra questi estremi introducendo un nuovo assioma, la Neutralità del Giocatore Nullo, per analizzare sistematicamente come l'indebolimento dei requisiti rigorosi della proprietà del giocatore nullo influenzi l'insieme delle soluzioni ammissibili.

Metodologia
Gli autori adottano un approccio assiomatico all'interno del quadro dei giochi TU. La metodologia prevede:

1. Definizione di Nuovi Assiomi: Il lavoro introduce la Neutralità del Giocatore Nullo e il suo duale, la Neutralità del Giocatore Nullificante.
   • Neutralità del Giocatore Nullo: Per qualsiasi gioco $v$ e due giochi di potenziamento $w$ e $u$ in cui il giocatore $i$ è nullo in entrambi, se i valori della grande coalizione sono uguali ($w(N) = u(N)$), allora il pagamento al giocatore $i$ nei giochi potenziati deve essere identico ($\phi_i(v+w) = \phi_i(v+u)$). Questo indebolisce la classica Equivalenza Strategica Coalizionale, che richiede che il pagamento rimanga invariato indipendentemente dal valore totale del gioco di potenziamento.
   • Neutralità del Giocatore Nullificante: Un assioma parallelo per i "giocatori nullificanti" (coloro che riducono il valore di qualsiasi coalizione a zero).
2. Analisi Logica: Gli autori stabiliscono relazioni logiche tra i nuovi assiomi e le proprietà esistenti (ad esempio, la Proprietà del Giocatore Nullo, l'Equivalenza Strategica Coalizionale e la proprietà del "Giocatore Nullo in un Ambiente Produttivo").
3. Teoremi di Caratterizzazione: Utilizzando la base dei giochi di unanimità e la linearità, il lavoro deriva condizioni necessarie e sufficienti per specifiche famiglie di soluzioni.

Contributi e Risultati Chiave

1. Caratterizzazione delle Combinazioni Lineari (Teorema 2):
   Il risultato principale dimostra che Efficienza, Linearità, Simmetria e Neutralità del Giocatore Nullo caratterizzano univocamente la famiglia di soluzioni definita da:
   $$\phi = \alpha \phi^{ED} + (1-\alpha) \phi^{Sh}$$
   dove $\alpha \in \mathbb{R}$.

   • Questa famiglia estende rigorosamente i noti valori di Shapley $\alpha$-egualitari (dove $\alpha \in [0, 1]$) a numeri reali arbitrari.
   • Il risultato generalizza la caratterizzazione classica di Shapley: sostituire la Proprietà del Giocatore Nullo con la più debole Neutralità del Giocatore Nullo espande l'insieme delle soluzioni da un singolo punto ($\alpha=0$, il valore di Shapley) a una famiglia a un parametro.
   • Il lavoro chiarisce che la Proprietà del Giocatore Nullo è il vincolo specifico che impone $\alpha = 0$.

2. Confronto con la Letteratura Esistente:

   • vs. Monotonia Debole: Il lavoro confronta il proprio risultato con van den Brink et al. (2013), che hanno caratterizzato la sottogruppo $\alpha \in [0, 1]$ utilizzando la Monotonia Debole. Gli autori dimostrano che la Neutralità del Giocatore Nullo è logicamente indipendente dalla Monotonia Debole e permette $\alpha < 0$ e $\alpha > 1$, ampliando così rigorosamente l'insieme ammissibile.
   • vs. Proprietà dell'Ambiente Produttivo: Il lavoro confronta con Casajus e Huettner (2013), che hanno utilizzato la proprietà del "Giocatore Nullo in un Ambiente Produttivo" per caratterizzare la sottogruppo con $\alpha \geq 0$. Gli autori dimostrano che, sotto la linearità, la proprietà dell'ambiente produttivo implica la Neutralità del Giocatore Nullo, ma il contrario non vale, spiegando il più ampio ambito del Teorema 2.

3. Analisi Duale dei Giocatori Nullificanti (Teorema 4):
   Il lavoro introduce un'analisi parallela per i giocatori nullificanti.

   • A differenza del caso del giocatore nullo, la Neutralità del Giocatore Nullificante è mostrata essere equivalente alla Equivalenza Standard Coalizionale (Proposizione 2).
   • Di conseguenza, Efficienza, Simmetria e Neutralità del Giocatore Nullificante caratterizzano univocamente la Soluzione di Divisione Uguale ($\phi \equiv \phi^{ED}$).
   • È notevole che questa caratterizzazione non richieda l'assioma di Linearità, a differenza del caso del giocatore nullo. Ciò crea una netta dicotomia: la Neutralità del Giocatore Nullo permette un continuum di soluzioni, mentre la Neutralità del Giocatore Nullificante collassa l'insieme in una singola soluzione.

Significato e Affermazioni
Il lavoro afferma che l'introduzione della Neutralità del Giocatore Nullo offre una "via di mezzo naturale" che allenta la rigidità normativa della Proprietà del Giocatore Nullo senza scartare la disciplina strutturale di efficienza e simmetria.

• Implicazione Normativa: L'allentamento permette soluzioni che possono compensare i giocatori nulli (quando $\alpha > 1$) o penalizzare la componente di divisione uguale rispetto al valore di Shapley (quando $\alpha < 0$), fornendo una base assiomatica più flessibile per lo studio della solidarietà e della ridistribuzione.
• Insight Strutturale: Il lavoro evidenzia un'asimmetria fondamentale nella teoria dei giochi cooperativi: il trattamento dei giocatori nulli (che non aggiungono valore) permette uno spettro di allocazioni, whereas il trattamento dei giocatori nullificanti (che distruggono valore) impone rigidamente la divisione uguale.
• Unificazione Teorica: Estendendo i valori di Shapley $\alpha$-egualitari a $\alpha \in \mathbb{R}$, il lavoro fornisce un quadro unificato che abbraccia sia gli estremi marginalisti che quelli egualitari e le combinazioni lineari tra essi e oltre.

Gli autori mantengono una posizione modesta, notando che la loro caratterizzazione si basa sull'insieme specifico di assiomi scelto e che l'indipendenza di tali assiomi (dimostrata nelle Osservazioni 3 e 6) conferma la necessità di ciascuna condizione per i risultati derivati.