Many-to-many stable matching in large economies

1. Enunciato del Problema

Il documento affronta la sfida di stabilire l'esistenza di esiti stabili in mercati di matching molti-a-molti in rete in cui gli agenti possiedono spazi di tipo continui (grandi) e spazi contrattuali generali.

• Contesto: La teoria tradizionale del matching (ad es. Gale-Shapley) si basa spesso su insiemi finiti di agenti o tipi. Sebbene esistano risultati di esistenza per la stabilità nei mercati finiti, estendere questi risultati a "grandi economie" (continuum di agenti) con spazi di tipo e contrattuali arbitrari di tipo polacco (separabili, completamente metrizzabili) non è banale.
• Sfide Specifiche:
  • Complessità Molti-a-Molti: A differenza del matching uno-a-uno, i mercati molti-a-molti mancano di una singola definizione canonica di stabilità. Diverse nozioni (stabilità a coppie, stabilità ad albero, nucleo) richiedono strutture di blocco differenti.
  • Continuità e Topologia: Nei grandi mercati, gli agenti sono modellati come una distribuzione piuttosto che come individui discreti. Definire il "blocco" richiede il campionamento da distribuzioni. Inoltre, la possibilità di spazi contrattuali continui (ad es. salari, quantità) e la possibilità di firmare lo stesso contratto più volte (multinsiemi) introducono complessità topologiche riguardanti la convergenza e la compattezza.
  • Trasferibilità: La letteratura esistente spesso assume un numero finito di tipi o contratti. Gli autori mirano a colmare il divario tra i risultati di esistenza per tipi finiti e gli spazi polacchi generali senza imporre assunzioni restrittive come la sostituibilità sulle preferenze.

2. Metodologia

Gli autori sviluppano un toolkit meccanico di trasferimento che consente di estendere i risultati di esistenza dai modelli di matching finiti ai modelli distributivi su larga scala.

A. Quadro del Modello

• Spazi:
  • $T$: Uno spazio polacco di tipi di agenti con una distribuzione di popolazione $\nu \in \Delta(T)$.
  • $Y$: Uno spazio polacco di contratti.
  • $X = Y \times \{1, 2\}$: Lati contrattuali (ad es. ruoli acquirente/venditore).
• Esiti: Definiti come una misura di probabilità congiunta $\mu$ su tipi e scelte contrattuali.
  • Gli agenti firmano multinsiemi di contratti (consentendo più istanze dello stesso contratto).
  • Lo spazio delle scelte contrattuali è $X(\le N)$, l'insieme dei multinsiemi con al massimo $N$ elementi.
  • Innovazione Topologica: Gli autori sviluppano una nuova teoria topologica per i multispazi polacchi (Appendice A), dimostrando che se $X$ è polacco, anche lo spazio dei multinsiemi $X(n)$ è polacco. Ciò è cruciale per gestire la convergenza delle scelte contrattuali.
• Fattibilità: Definita tramite una corrispondenza continua a valori compatti $\chi: T \Rightarrow X(\le N)$, derivata da una corrispondenza di base $\bar{\chi}$ tra i tipi.

B. Definizioni di Stabilità nei Grandi Mercati

Il documento adatta i concetti di stabilità al contesto distributivo utilizzando il campionamento casuale:

• Blocco: Un blocco è formato da un gruppo finito di agenti (un campione) che possono deviare verso un nuovo insieme di contratti per migliorare strettamente l'utilità.
• Condizione di Stabilità: Un esito $\mu$ è stabile se la probabilità di estrarre un campione bloccante da $\mu$ è zero.
• Nozioni:
  • Stabilità a Coppie: Blocchi formati da due agenti (un singolo arco).
  • Stabilità ad Albero: Blocchi formati da agenti connessi in una struttura ad albero (grafi aciclici).
  • Stabilità Generale: Blocchi formati da qualsiasi struttura di grafo.

C. Il Meccanismo di Trasferimento

Il contributo metodologico centrale è un argomento di compattezza e approssimazione:

1. Approssimazione: Approssimare gli spazi polacchi generali ($T, Y$) con sottospazi finiti ($T_F, Y_F$).
2. Esistenza Finita: Assumere che un esito stabile esista per l'approssimazione finita (basandosi sulla letteratura esistente).
3. Convergenza: Utilizzare un argomento di compattezza (teorema di Prohorov) per dimostrare che una sequenza di esiti stabili per le approssimazioni finite converge a un esito limite $\mu$ per lo spazio generale.
4. Verifica della Continuità: Dimostrare che l'esito limite $\mu$ mantiene la stabilità. Ciò si basa su:
   • La continuità della funzione di utilità $u$.
   • La continuità della corrispondenza contrattuale $\chi$.
   • Il fatto che l'insieme dei "campioni bloccati" sia aperto (Lemma 3), garantendo che se un blocco esiste nel limite, deve essere esistito nelle approssimazioni con probabilità non nulla, contraddicendo la stabilità delle approssimazioni.

3. Contributi Chiave

1. Teorema Generale di Esistenza (Teorema 1):
   Il documento dimostra che se un esito $G$-stabile esiste per tutti i problemi di matching finiti (con spazi di tipo e contrattuali finiti), allora un esito $G$-stabile esiste per il modello generale con spazi di tipo e contrattuali polacchi. Ciò disaccoppia efficacemente la prova di esistenza dalla topologia specifica degli spazi, purché siano polacchi.

2. Teoria Topologica dei Multinsiemi:
   Gli autori forniscono una fondazione topologica rigorosa per i multispazi polacchi (Appendice A). Definiscono una metrica sui multinsiemi che li rende spazi polacchi, consentendo il trattamento rigoroso di agenti che firmano contratti identici multipli in un contesto di continuum.

3. Estensione di Jagadeesan e Vocke (2024):
   Combinando il loro teorema di trasferimento con il risultato di esistenza finita di Jagadeesan e Vocke (2024), gli autori stabiliscono che esiti stabili ad albero (e di conseguenza stabili a coppie) esistono in grandi mercati molti-a-molti in rete con preferenze generali e spazi di tipo/contrattuali polacchi arbitrari.

4. Rilassamento delle Assunzioni:
   I risultati valgono senza richiedere l'assunzione di sostituibilità, che è tipicamente necessaria per l'esistenza nei mercati molti-a-molti finiti. Nei grandi mercati, la "legge dei grandi numeri" e l'approccio distributivo consentono la stabilità anche con complementarità o strutture di rete complesse.

4. Risultati Chiave

• Corollario 1: Esistono esiti stabili ad albero e stabili a coppie per spazi di tipo e contrattuali generali (spazi polacchi).
• Trasferibilità: Il metodo è agnostico rispetto alla specifica nozione di stabilità. Qualsiasi concetto di stabilità che abbia una prova di esistenza nei mercati finiti può essere trasferito ai grandi mercati utilizzando questo quadro.
• Esempi: Il documento illustra il quadro con:
  • Un problema dei coinquilini con preferenze assortative sull'intervallo $[0,1]$, mostrando un esito stabile in cui gli agenti si accoppiano con il proprio tipo.
  • Un problema dei coinquilini ciclico su un cerchio, dimostrando come gli esiti stabili dipendano dal parametro di spostamento $\alpha$ (ad es. accoppiamento con lo stesso tipo rispetto al lato opposto del cerchio).

5. Significato

• Unificazione Teorica: Il documento fornisce un toolkit "scatola nera" per gli economisti. Invece di dover riprovare l'esistenza per ogni nuovo concetto di stabilità in ogni nuovo modello di grande mercato, i ricercatori possono ora fare affidamento sui risultati di esistenza finita e applicare il meccanismo di trasferimento.
• Realismo: Consente una modellazione realistica di mercati con caratteristiche continue (ad es. distribuzioni di reddito, livelli di abilità) e contratti continui (ad es. salari, pagamenti di trasferimento), che in precedenza erano difficili da modellare rigorosamente in contesti molti-a-molti.
• Economia di Rete: Estende la teoria del matching nelle reti alle grandi economie, confermando che strutture di rete complesse (come gli alberi) non precludono l'esistenza di esiti stabili, anche senza forti restrizioni sulle preferenze come la sostituibilità.
• Rigor Metodologico: Formalizzando la topologia dei multinsiemi e la continuità degli insiemi di blocco, il documento risolve ambiguità tecniche riguardanti come il "blocco" sia definito e misurato nelle economie di continuum.

In sintesi, Greinecker e Vocke dimostrano che l'assunzione di "grande mercato" non è solo una comodità matematica, ma un quadro robusto che preserva ed estende l'esistenza della stabilità in ambienti di matching complessi, in rete e molti-a-molti.