Many-to-many stable matching in large economies

1. Formulação do Problema

O artigo aborda o desafio de estabelecer a existência de resultados estáveis em mercados de emparelhamento muitos-para-muitos em rede, onde os agentes possuem espaços de tipos contínuos (grandes) e espaços de contratos gerais.

• Contexto: A teoria tradicional de emparelhamento (por exemplo, Gale-Shapley) frequentemente depende de conjuntos finitos de agentes ou tipos. Embora existam resultados de existência para estabilidade em mercados finitos, estendê-los para "grandes economias" (contínuo de agentes) com espaços de tipos e contratos poloneses (separáveis, completamente metrizáveis) arbitrários não é trivial.
• Desafios Específicos:
  • Complexidade Muitos-para-Muitos: Diferentemente do emparelhamento um-para-um, os mercados muitos-para-muitos carecem de uma única definição canônica de estabilidade. Diferentes noções (par, estabilidade em árvore, núcleo) exigem estruturas de bloqueio distintas.
  • Continuidade e Topologia: Em grandes mercados, os agentes são modelados como uma distribuição e não como indivíduos discretos. Definir "bloqueio" requer amostragem a partir de distribuições. Além disso, permitir espaços de contratos contínuos (por exemplo, salários, quantidades) e a possibilidade de assinar o mesmo contrato múltiplas vezes (multiconjuntos) introduz complexidades topológicas relacionadas à convergência e compacidade.
  • Transferibilidade: A literatura existente frequentemente assume um número finito de tipos ou contratos. Os autores visam preencher a lacuna entre resultados de existência para tipos finitos e espaços poloneses gerais, sem impor suposições restritivas como substituibilidade nas preferências.

2. Metodologia

Os autores desenvolvem um kit de ferramentas de transferência mecânica que permite estender resultados de existência de modelos de emparelhamento finitos para modelos grandes e distribucionais.

A. Estrutura do Modelo

• Espaços:
  • $T$: Um espaço polonês de tipos de agentes com uma distribuição populacional $\nu \in \Delta(T)$.
  • $Y$: Um espaço polonês de contratos.
  • $X = Y \times \{1, 2\}$: Lados do contrato (por exemplo, papéis de comprador/vendedor).
• Resultados: Definidos como uma medida de probabilidade conjunta $\mu$ sobre tipos e escolhas de contratos.
  • Os agentes assinam multiconjuntos de contratos (permitindo múltiplas instâncias do mesmo contrato).
  • O espaço de escolhas de contratos é $X(\le N)$, o conjunto de multiconjuntos com no máximo $N$ elementos.
  • Inovação Topológica: Os autores desenvolvem uma nova teoria topológica para multiespaços poloneses (Apêndice A), provando que, se $X$ é polonês, o espaço de multiconjuntos $X(n)$ também é polonês. Isso é crucial para lidar com a convergência de escolhas de contratos.
• Viabilidade: Definida por meio de uma correspondência contínua e de valores compactos $\chi: T \Rightarrow X(\le N)$, derivada de uma correspondência base $\bar{\chi}$ entre tipos.

B. Definições de Estabilidade em Grandes Mercados

O artigo adapta conceitos de estabilidade para o cenário distribucional usando amostragem aleatória:

• Bloqueio: Um bloqueio é formado por um grupo finito de agentes (uma amostra) que pode desviar para um novo conjunto de contratos para melhorar estritamente a utilidade.
• Condição de Estabilidade: Um resultado $\mu$ é estável se a probabilidade de desenhar uma amostra bloqueadora a partir de $\mu$ for zero.
• Noções:
  • Estabilidade Par: Blocos formados por dois agentes (uma aresta).
  • Estabilidade em Árvore: Blocos formados por agentes conectados em uma estrutura de árvore (grafos acíclicos).
  • Estabilidade Geral: Blocos formados por qualquer estrutura de grafo.

C. O Mecanismo de Transferência

A contribuição metodológica central é um argumento de compacidade e aproximação:

1. Aproximação: Aproximar os espaços poloneses gerais ($T, Y$) com subespaços finitos ($T_F, Y_F$).
2. Existência Finita: Assumir que um resultado estável existe para a aproximação finita (com base na literatura existente).
3. Convergência: Usar um argumento de compacidade (teorema de Prohorov) para mostrar que uma sequência de resultados estáveis para as aproximações finitas converge para um resultado limite $\mu$ para o espaço geral.
4. Verificação de Continuidade: Provar que o resultado limite $\mu$ retém a estabilidade. Isso depende de:
   • A continuidade da função de utilidade $u$.
   • A continuidade da correspondência de contratos $\chi$.
   • O fato de que o conjunto de "amostras bloqueadas" é aberto (Lema 3), garantindo que, se um bloqueio existir no limite, ele deve ter existido nas aproximações com probabilidade não nula, contradizendo a estabilidade das aproximações.

3. Contribuições Principais

1. Teorema Geral de Existência (Teorema 1):
   O artigo prova que, se um resultado $G$-estável existe para todos os problemas de emparelhamento finitos (com espaços de tipos e contratos finitos), então um resultado $G$-estável existe para o modelo geral com espaços de tipos e contratos poloneses. Isso efetivamente desacopla a prova de existência da topologia específica dos espaços, desde que sejam poloneses.

2. Teoria Topológica de Multiconjuntos:
   Os autores fornecem uma fundação topológica rigorosa para multiespaços poloneses (Apêndice A). Eles definem uma métrica em multiconjuntos que os torna espaços poloneses, permitindo o tratamento rigoroso de agentes assinando múltiplos contratos idênticos em um cenário contínuo.

3. Extensão de Jagadeesan e Vocke (2024):
   Ao combinar seu teorema de transferência com o resultado de existência finita de Jagadeesan e Vocke (2024), os autores estabelecem que resultados estáveis em árvore (e consequentemente estáveis em par) existem em grandes mercados muitos-para-muitos em rede com preferências gerais e espaços de tipos/contratos poloneses arbitrários.

4. Relaxação de Suposições:
   Os resultados valem sem exigir a suposição de substituibilidade, que é tipicamente necessária para a existência em mercados muitos-para-muitos finitos. Em grandes mercados, a "lei dos grandes números" e a abordagem distribucional permitem a estabilidade mesmo com complementaridades ou estruturas de rede complexas.

4. Resultados Chave

• Corolário 1: Resultados estáveis em árvore e estáveis em par existem para espaços gerais de tipos e contratos (espaços poloneses).
• Transferibilidade: O método é agnóstico à noção específica de estabilidade. Qualquer conceito de estabilidade que tenha uma prova de existência em mercados finitos pode ser transferido para grandes mercados usando esta estrutura.
• Exemplos: O artigo ilustra a estrutura com:
  • Um problema de colegas com preferências assortativas no intervalo $[0,1]$, mostrando um resultado estável onde os agentes se emparelham com seu próprio tipo.
  • Um problema cíclico de colegas em um círculo, demonstrando como os resultados estáveis dependem do parâmetro de deslocamento $\alpha$ (por exemplo, emparelhamento com o mesmo tipo versus o lado oposto do círculo).

5. Significado

• Unificação Teórica: O artigo fornece um kit de ferramentas "caixa preta" para economistas. Em vez de reprovarem a existência para cada novo conceito de estabilidade em cada novo modelo de grande mercado, os pesquisadores agora podem confiar em resultados de existência finitos e aplicar o mecanismo de transferência.
• Realismo: Permite a modelagem realista de mercados com características contínuas (por exemplo, distribuições de renda, níveis de habilidade) e contratos contínuos (por exemplo, salários, pagamentos de transferência), que anteriormente eram difíceis de modelar rigorosamente em configurações muitos-para-muitos.
• Economia de Redes: Estende a teoria do emparelhamento em redes para grandes economias, confirmando que estruturas de rede complexas (como árvores) não impedem a existência de resultados estáveis, mesmo sem restrições fortes de preferência como a substituibilidade.
• Rigor Metodológico: Ao formalizar a topologia dos multiconjuntos e a continuidade dos conjuntos de bloqueio, o artigo resolve ambiguidades técnicas sobre como o "bloqueio" é definido e medido em economias contínuas.

Em resumo, Greinecker e Vocke demonstram que a suposição de "grande mercado" não é apenas uma conveniência matemática, mas uma estrutura robusta que preserva e estende a existência de estabilidade em ambientes complexos, em rede e muitos-para-muitos de emparelhamento.