A characterization of the von Neumann and Morgenstern stable set in matching markets

Resumo Técnico: Uma Caracterização do Conjunto Estável de von Neumann e Morgenstern em Mercados de Casamento

Enunciado do Problema
Este artigo investiga a estrutura e a computabilidade de conjuntos estáveis de von Neumann–Morgenstern (vNM) em mercados de casamento um-para-um com preferências estritas. Embora a estabilidade por pares e a estabilidade pelo núcleo coincidam neste cenário e sejam bem compreendidas, a estabilidade vNM é definida através de relações de dominância entre conjuntos de casamentos, em vez de resultados individuais. Um conjunto estável vNM deve satisfazer duas condições: estabilidade interna (nenhum casamento no conjunto domina outro dentro do conjunto) e estabilidade externa (todo casamento fora do conjunto é dominado por algum casamento dentro do conjunto). Apesar de seu papel fundamental na teoria dos jogos cooperativos, os conjuntos estáveis vNM têm se mostrado notoriamente difíceis de caracterizar devido à interação recursiva entre estabilidade interna e externa. O artigo aborda se existe uma caracterização tratável e economicamente significativa para os conjuntos estáveis vNM no modelo clássico de casamento um-para-um.

Metodologia
Os autores empregam uma abordagem estrutural fundamentada na teoria de casamentos, estendendo ferramentas clássicas para analisar relações de dominância. A metodologia procede através de três estágios principais:

1. Generalização do Lema de Decomposição: O artigo estabelece primeiro um Lema de Decomposição generalizado. Enquanto o lema clássico descreve a relação entre casamentos do núcleo, esta versão aplica-se a qualquer par de casamentos dentro de um mesmo conjunto internamente estável. Demonstra que as diferenças entre tais casamentos são organizadas através de estruturas cíclicas específicas (denominadas "ciclos-IS") que ligam empresas e trabalhadores.
2. Identificação de Pares Irrelevantes: Os autores identificam duas fontes distintas de restrições que tornam certos relacionamentos bilaterais irrelevantes para a estabilidade vNM:
   • Restrições baseadas em reticulados: Pares que deixam de ser mutuamente aceitáveis durante a redução recursiva do perfil de preferências ao longo do reticulado de casamentos do núcleo (uma adaptação do procedimento de Irving e Leather).
   • Restrições baseadas em eficiência: Pares que atuam como obstáculos a melhorias baseadas em dominância, identificados através de uma adaptação do mecanismo de Aceitação Diferida Ajustado pela Eficiência (EADA) (Kesten, 2010). Estes são "pares interruptores" que impedem melhorias de Pareto.
3. Construção de um Perfil Reduzido: Ao remover sistematicamente os pares identificados nas duas fontes acima, os autores constroem um perfil de preferências reduzido, denotado por $P^*$. Este perfil elimina todos os pares que não podem desempenhar um papel essencial na sustentação de casamentos não dominados.

Principais Contribuições e Resultados
A principal contribuição do artigo é uma caracterização estrutural completa do conjunto estável vNM, gerando os seguintes resultados:

• Unicidade e Existência: O artigo prova que o conjunto estável vNM em mercados de casamento um-para-um é único.
• Caracterização via Núcleo Reduzido: O único conjunto estável vNM coincide exatamente com o núcleo do perfil de preferências reduzido $P^*$. Formalmente, $vNM(P) = \{C(P^*)\}$.
• Procedimento Construtivo: A caracterização fornece um algoritmo construtivo para computar o conjunto estável vNM. Ao aplicar ferramentas padrão de teoria de casamentos (especificamente, computar o núcleo) ao perfil reduzido $P^*$ explicitamente construído, obtém-se o conjunto estável vNM do mercado original.
• Lema de Decomposição para Conjuntos Internamente Estáveis: O artigo contribui com um Lema de Decomposição generalizado mostrando que quaisquer dois casamentos em um conjunto internamente estável diferem apenas via ciclos-IS. Este resultado estende a compreensão estrutural dos mercados de casamento além do núcleo.
• Relação com o Núcleo: O conjunto estável vNM contém o núcleo original $C(P)$, mas o estende para incluir resultados que se tornam não dominados somente após a remoção de pares "irrelevantes" específicos identificados pelas restrições de reticulado e de eficiência.

Significância e Alegações
O artigo alega preencher a lacuna entre a linguagem abstrata dos conjuntos estáveis na teoria dos jogos cooperativos e as ferramentas estruturais padrão da teoria de casamentos. Ao demonstrar que um conceito de solução definido através de complexas relações de dominância pode ser totalmente caracterizado como o núcleo de um ambiente adequadamente reduzido, os autores fornecem uma "descrição estrutural nítida" da estabilidade vNM.

A significância deste trabalho reside em sua capacidade de traduzir um conceito de solução cooperativa difícil em um objeto computável usando mecanismos de casamento familiares. Os autores argumentam que sua abordagem não depende de truncamentos exaustivos de preferências ou propriedades específicas de agentes não pareados, mas sim de condições estruturais que determinam quais pares podem sustentar resultados não dominados. Consequentemente, o artigo entrega uma resposta definitiva sobre a existência, unicidade e computabilidade de conjuntos estáveis vNM em mercados um-para-um, resolvendo questões que permaneceram amplamente dependentes de suposições ambientais específicas na literatura anterior.