Pseudo-Substitutability: A Maximal Domain for Pairwise Stability in Matching Markets with Contracts

1. Il Problema di Ricerca

Il paper si concentra sui mercati di accoppiamento "molti-a-molti" con contratti, un quadro teorico che generalizza modelli classici come l'assegnazione di medici agli ospedali o l'ammissione universitaria. In questi mercati, gli agenti (medici e ospedali) possono formare molteplici relazioni bilaterali simultanee, e l'unità di base dell'analisi è il contratto, che specifica sia le parti coinvolte che i termini dell'accordo.

Il problema centrale è l'esistenza di allocazioni stabili. La letteratura distingue due concetti di stabilità:

• Stabilità del nucleo (Corewise stability): Esclude deviazioni da parte di qualsiasi coalizione di agenti.
• Stabilità pairwise (Pairwise stability): Esclude solo deviazioni bilaterali (la formazione di un singolo contratto tra un medico e un ospedale che non è presente nell'allocazione corrente).

Mentre la stabilità del nucleo è un requisito più forte, la stabilità pairwise è spesso più rilevante in contesti decentralizzati dove le deviazioni avvengono tramite negoziazioni bilaterali. Tuttavia, in ambienti molti-a-molti, la stabilità pairwise non è garantita in generale. La condizione classica di sostituibilità (introdotta da Kelso e Crawford, 1982, e Hatfield e Milgrom, 2005) garantisce l'esistenza di allocazioni stabili, ma è una condizione restrittiva che esclude le complementarità tra contratti (ad esempio, un ospedale potrebbe voler assumere due medici solo se entrambi sono disponibili, rifiutandoli singolarmente).

L'obiettivo del paper è identificare un dominio di preferenze che sia massimale (nel senso che non può essere esteso ulteriormente senza perdere la garanzia di esistenza) e che contenga il dominio classico delle preferenze sostituibili, garantendo comunque l'esistenza di allocazioni pairwise stabili.

2. Metodologia e Definizioni Chiave

Gli autori introducono un nuovo concetto di dominio delle preferenze chiamato Pseudo-Sostituibilità. La metodologia si basa sulla decomposizione strutturale delle preferenze degli agenti.

A. Sotto-preferenze (Sub-preferences)

Il cuore della metodologia è la definizione di una "sotto-preferenza". Dato un agente $a$ e una relazione di preferenza $P_a$, una relazione $P'_a$ è una sotto-preferenza di $P_a$ (denotata $P'_a \sqsubseteq P_a$) se soddisfa due condizioni:

1. Razionalità individuale preservata: Se un insieme di contratti è scelto da $P'_a$ su un certo insieme di opzioni, lo è anche da $P_a$.
2. Blocco preservato: Se un contratto esterno è accettabile per $P_a$ quando aggiunto a un insieme scelto da $P'_a$, allora deve essere accettabile anche per $P'_a$ in quel contesto.

Questa relazione definisce una gerarchia: una sotto-preferenza è una versione "più restrittiva" della preferenza originale che mantiene la struttura valutativa di base.

B. Pseudo-Sostituibilità

Una preferenza $P_a$ è definita pseudo-sostituibile se ammette almeno una sotto-preferenza sostituibile ($P'_a$).

• Questo significa che anche se la preferenza originale contiene complementarità (violando la sostituibilità globale), esiste una "struttura interna" sostituibile che può essere estratta.
• Le sotto-preferenze sostituibili sono minimali: non ammettono altre sotto-preferenze sostituibili distinte con insiemi di contratti accettabili più piccoli.

3. Risultati Principali

Teorema 1: Esistenza

Se il profilo di preferenze di un mercato è pseudo-sostituibile, allora l'insieme delle allocazioni pairwise stabili ($S(P)$) è non vuoto.

• Dimostrazione: Poiché ogni preferenza pseudo-sostituibile ammette una sotto-preferenza sostituibile, e poiché è noto che i mercati con preferenze sostituibili ammettono allocazioni stabili, l'allocazione stabile generata dalla sotto-preferenza sostituibile è anche un'allocazione stabile per la preferenza originale (grazie alla Proposizione 1, che stabilisce che $S(P') \subseteq S(P)$ se $P' \sqsubseteq P$).

Teorema 2: Massimalità

Il dominio delle preferenze pseudo-sostituibili è massimale.

• Se anche un solo agente ha preferenze che non sono pseudo-sostituibili, è possibile costruire un profilo di preferenze per tutti gli altri agenti (che sono pseudo-sostituibili) tale che nessuna allocazione pairwise stabile esista.
• Questo dimostra che il dominio pseudo-sostituibile è il più ampio possibile che garantisce l'esistenza di stabilità pairwise.

Proprietà Strutturali

• Indipendenza dal contratto: A differenza di altre rilassazioni della sostituibilità (come la "sostituibilità debole" o "osservabile") che dipendono dalla struttura specifica dei contratti, la pseudo-sostituibilità è definita a livello di preferenze. Rimane valida anche in modelli di accoppiamento senza contratti.
• Coerenza interna: Tutte le sotto-preferenze sostituibili di una data preferenza pseudo-sostituibile condividono lo stesso insieme di insiemi accettabili e preservano l'ordine parziale di Blair.

4. Confronto con la Letteratura Esistente

Il paper posiziona la pseudo-sostituibilità rispetto ad altri domini noti:

• Sostituibilità Classica: La pseudo-sostituibilità è una sua estensione stretta (contiene preferenze non sostituibili).
• Sostituibilità Debole (Hatfield & Kojima, 2008): Risponde alla domanda aperta su un dominio necessario e sufficiente, ma per la stabilità pairwise invece che per quella del nucleo.
• Sostituibilità Bilaterale (Hatfield & Kojima, 2010): I due domini sono indipendenti. Esistono preferenze pseudo-sostituibili che non sono bilateralmente sostituibili e viceversa.
• Completamento Sostituibile (Hatfield & Kominers, 2019): Mentre il completamento richiede di estendere le preferenze a un ambiente più ampio, la pseudo-sostituibilità lavora all'interno dello spazio delle preferenze originali.
• WOSAD (Weak Observable Substitutability Across Doctors): I domini sono indipendenti; la pseudo-sostituibilità non implica WOSAD e viceversa.

5. Significato e Contributi

1. Estensione del Dominio di Stabilità: Il lavoro dimostra che la stabilità pairwise esiste in una classe di mercati molto più ampia di quanto si credesse, permettendo complementarità limitate tra contratti purché queste siano "strutturalmente decomponibili" in componenti sostituibili.
2. Robustezza in Mercati Non Vincolanti: Gli autori offrono un'interpretazione economica importante. In mercati dove gli agenti possono rifiutare unilateralmente un'accordo (mercati non vincolanti, come il mercato dei medici), le allocazioni pairwise stabili generate da sotto-preferenze sostituibili garantiscono una forma di robustezza: se un agente si ritira, l'allocazione residua rimane razionalmente individuale. Questo non è garantito per le allocazioni del nucleo in presenza di complementarità.
3. Approccio Strutturale vs. Comportamentale: A differenza di approcci che impongono restrizioni comportamentali sulle funzioni di scelta, la pseudo-sostituibilità identifica componenti strutturali (sotto-preferenze) all'interno delle preferenze stesse, offrendo una fondazione più generale per l'analisi della stabilità.

In sintesi, il paper fornisce una caratterizzazione completa e massimale delle condizioni sotto le quali i mercati di accoppiamento molti-a-molti con contratti ammettono soluzioni stabili bilaterali, superando i limiti imposti dalla classica condizione di sostituibilità.