Lattice operations for the pairwise stable set in many-to-many markets via re-equilibration dynamics

Resumo Técnico: Operações de Rede para o Conjunto Estável Par a Par em Mercados Muitos-para-Muitos via Dinâmicas de Reequilíbrio

Enunciado do Problema
O artigo aborda o cálculo de operações de rede (supremo e ínfimo) para o conjunto de emparelhamentos estáveis par a par em mercados muitos-para-muitos. Embora a estrutura de rede dos emparelhamentos estáveis seja uma ferramenta fundamental na teoria de emparelhamento — sustentando resultados sobre conflitos de interesse e a existência de resultados ótimos para um dos lados —, calcular essas operações em configurações muitos-para-muitos não é trivial.

Em mercados um-para-um com preferências estritas, o supremo e o ínfimo são construídos por meio de atribuições pontuais simples de parceiros preferidos. No entanto, em mercados muitos-para-um e muitos-para-muitos com funções de escolha independentes do caminho, essas construções diretas falham em preservar a estabilidade. Abordagens anteriores para resolver isso ou impuseram condições mais fortes do que a independência do caminho (como "separabilidade com cota") ou recorreram a constructos teóricos complexos como "pré-emparelhamentos" (entidades com interpretações econômicas difíceis) para definir operadores de Tarski. Os autores buscam calcular operações de rede sob a única exigência de independência do caminho, fornecendo um método com uma interpretação econômica transparente que evita pré-emparelhamentos.

Metodologia
Os autores propõem um quadro baseado em emparelhamentos quase-estáveis e operadores de Tarski para fechar a lacuna entre emparelhamentos candidatos iniciais e resultados estáveis.

1. Definições de Quase-Estabilidade: O artigo introduz e formaliza dois conceitos de estabilidade relaxados:

   • Quase-estabilidade do trabalhador ($Q_W$): Emparelhamentos que são individualmente racionais e onde nenhum trabalhador pode formar um par de bloqueio que perturbe relacionamentos existentes do lado dos trabalhadores.
   • Quase-estabilidade da firma ($Q_F$): A definição simétrica onde relacionamentos do lado das firmas são protegidos.
     Os autores demonstram que esses conjuntos formam redes sob ordens parciais específicas (ordens de Blair).

2. Construção de Emparelhamentos Candidatos: Dados dois emparelhamentos estáveis, $\mu$ e $\mu'$, os autores constroem um supremo candidato, $\lambda_{\mu,\mu'}$, atribuindo a cada firma o subconjunto de trabalhadores selecionados por sua função de escolha a partir da união de seus parceiros em $\mu$ e $\mu'$. Da mesma forma, um supremo candidato para trabalhadores, $\gamma_{\mu,\mu'}$, é construído. Os autores mostram que, embora esses candidatos não sejam necessariamente estáveis, eles são garantidamente quase-estáveis (especificamente, $\lambda_{\mu,\mu'}$ é quase-estável do lado dos trabalhadores).

3. Operadores de Tarski e Reequilíbrio: O núcleo da metodologia envolve a definição de operadores de Tarski ($T^F$ em $Q_W$ e $T^W$ em $Q_F$) que mapeiam emparelhamentos quase-estáveis para novos emparelhamentos quase-estáveis.

   • Mecanismo: O operador $T^F$ toma um emparelhamento quase-estável do lado dos trabalhadores, identifica todos os trabalhadores que estão atualmente emparelhados a uma firma ou formam um par de bloqueio com ela, e reotimiza a escolha da firma a partir desse conjunto expandido.
   • Dinâmicas: Esses operadores são isotônicos (preservadores de ordem) e melhoram no sentido de Pareto para o lado que otimiza. Os autores interpretam a iteração desses operadores como dinâmicas de reequilíbrio. Em um ambiente quase-estável do lado dos trabalhadores, isso assemelha-se a "cadeias de demissão", onde trabalhadores desempregados ou deslocados candidatam-se a firmas preferidas, desencadeando uma cascata de ajustes. Em ambientes quase-estáveis do lado das firmas, assemelha-se a dinâmicas de "cadeia de vagas".

4. Convergência para Ponto Fixo: Pelo Teorema do Ponto Fixo de Tarski, iterar esses operadores a partir de um ponto de partida quase-estável converge para um ponto fixo. Os autores provam que o conjunto de pontos fixos desses operadores coincide exatamente com o conjunto de emparelhamentos estáveis par a par ($S$).

Principais Contribuições e Resultados

• Estrutura de Rede dos Conjuntos Quase-Estáveis: O artigo prova que os conjuntos de emparelhamentos quase-estáveis do lado dos trabalhadores e do lado das firmas formam redes sob as ordens de Blair. Isso estende resultados anteriores de modelos muitos-para-um para a configuração muitos-para-muitos.
• Cálculo de Operações de Rede: O resultado principal (Teorema 3) estabelece que o supremo de dois emparelhamentos estáveis em relação à ordem das firmas ($\mu \vee_F \mu'$) é obtido aplicando iterativamente o operador de Tarski do lado das firmas ($T^F$) ao candidato quase-estável do lado dos trabalhadores $\lambda_{\mu,\mu'}$ até que um ponto fixo seja alcançado.
  • $\mu \vee_F \mu' = F^F(\lambda_{\mu,\mu'})$
  • $\mu \wedge_F \mu' = F^W(\gamma_{\mu,\mu'})$
  • Por dualidade, o ínfimo para um lado corresponde ao supremo para o outro.
• Interpretação Econômica do Método de Blair: Os autores mostram que o método de Blair (1988) para calcular operações de rede, que anteriormente carecia de um mecanismo econômico transparente, é equivalente ao método de ponto fixo aplicado a essas redes quase-estáveis. Isso fornece uma base econômica sólida para o constructo original de Blair.
• Exemplos Contrários e Necessidade de Iteração: Por meio de exemplos (incluindo um adaptado de Li, 2013), o artigo demonstra que a construção direta $\lambda_{\mu,\mu'}$ nem sempre é estável, tornando necessária a processo iterativo de reequilíbrio. Também destaca que a rede de emparelhamentos estáveis não é necessariamente distributiva sob a independência do caminho apenas.

Significado e Alegações
O artigo alega fornecer uma interpretação unificada e operacional do equilíbrio como o ponto final de correção endógena do mercado. Ao utilizar emparelhamentos quase-estáveis em vez de pré-emparelhamentos, os autores oferecem um método que é tanto teoricamente rigoroso (exigindo apenas independência do caminho) quanto economicamente intuitivo (modelado como processos de ajuste descentralizados, como cadeias de demissão ou de vagas).

Os autores observam que, embora a estrutura de rede se mantenha sob independência do caminho, a rede não é necessariamente distributiva. Eles esclarecem ainda que, se a "lei da demanda agregada" for adicionada, os emparelhamentos candidatos $\lambda_{\mu,\mu'}$ e $\gamma_{\mu,\mu'}$ tornam-se estáveis diretamente, e a rede torna-se distributiva, alinhando-se com resultados de Alkan (2002). No entanto, sob a única suposição de independência do caminho, a abordagem iterativa de operadores de Tarski é necessária para calcular as operações de rede. O artigo conclui que, embora a estrutura de semiredes de supremo dos emparelhamentos quase-estáveis esteja estabelecida, o cálculo direto do ínfimo entre emparelhamentos quase-estáveis arbitrários permanece uma questão em aberto.