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

Resumo Técnico: Pseudo-Substituibilidade em Mercados de Correspondência com Contratos

1. Problema e Contexto

O artigo investiga a existência de alocações estáveis por pares (pairwise stable) em mercados de correspondência muitos-para-muitos com contratos. O problema central é identificar restrições de domínio de preferências que garantam a existência de tais alocações.

• Contexto Clássico: A literatura tradicional, baseada em Kelso e Crawford (1982) e Hatfield e Milgrom (2005), estabelece que a substituibilidade (substitutability) é uma condição suficiente para a existência de alocações estáveis. Sob preferências substituíveis, a rejeição de um contrato não torna outro contrato anteriormente rejeitado aceitável.
• Limitação: A substituibilidade é uma condição forte que proíbe qualquer forma de complementaridade entre contratos. Em muitos cenários reais (ex: médicos com habilidades complementares), agentes podem desejar contratos apenas em conjunto, violando a substituibilidade clássica.
• Objetivo: O artigo busca definir um domínio de preferências que seja estritamente mais amplo que o domínio substituível, mas que ainda garanta a existência de alocações estáveis por pares, e provar que este domínio é maximal (ou seja, não é possível expandi-lo sem perder a garantia de existência).

2. Metodologia e Definições Fundamentais

A abordagem metodológica baseia-se na estruturação das preferências através do conceito de sub-preferências.

• Sub-Preferência ($P'_a \sqsubseteq P_a$): Uma relação de preferência $P'_a$ é uma sub-preferência de $P_a$ se:

  1. Qualquer conjunto de contratos escolhido sob $P'_a$ também é escolhido sob $P_a$ (consistência na escolha).
  2. Se um contrato é escolhido sob $P_a$ quando adicionado a um conjunto aceitável sob $P'_a$, ele também deve ser escolhido sob $P'_a$ (preservação da avaliação marginal).
     Essa definição garante que o conjunto de alocações estáveis sob a sub-preferência esteja contido no conjunto de alocações estáveis sob a preferência original.

• Definição de Pseudo-Substituibilidade: Uma preferência $P_a$ é definida como pseudo-substituível se ela admite pelo menos uma sub-preferência substituível ($P'_a$).

  • Isso significa que, mesmo que a preferência original contenha complementaridades, existe uma "estrutura interna" substituível que pode ser extraída.
  • O artigo demonstra que, para preferências pseudo-substituíveis, as sub-preferências substituíveis são mínimas (não admitem outras sub-preferências substituíveis estritamente menores) e compartilham o mesmo conjunto de conjuntos aceitáveis e a mesma ordem parcial de Blair.

• Distinção de Estabilidade: O foco é estritamente na estabilidade por pares (bloqueio apenas por pares de agente-contrato), e não na estabilidade do núcleo (corewise stability), que exige estabilidade contra desvios de coalizões arbitrárias. Em mercados muitos-para-muitos, essas duas noções divergem.

3. Contribuições Principais e Resultados

A. Existência de Alocações Estáveis (Teorema 1)
O resultado central é que, se o perfil de preferências de todos os agentes pertence ao domínio pseudo-substituível, o conjunto de alocações estáveis por pares é não vazio.

• Lógica da Prova: Como cada preferência pseudo-substituível possui uma sub-preferência substituível, e como mercados substituíveis garantem a existência de alocações estáveis (via algoritmos de oferta diferida ou similar), aplica-se o resultado de existência ao perfil de sub-preferências. Pelo Teorema 1 do artigo, qualquer alocação estável sob as sub-preferências também é estável sob as preferências originais.

B. Maximalidade do Domínio (Teorema 2 e Corolário 1)
O artigo prova que o domínio pseudo-substituível é maximal.

• Interpretação: Se qualquer agente tiver uma preferência que não seja pseudo-substituível, é possível construir preferências para os demais agentes (dentro do domínio pseudo-substituível) de tal forma que nenhuma alocação estável por pares exista.
• Isso estabelece que a pseudo-substituibilidade é a condição mais fraca possível (no sentido de domínio maximal) que ainda garante a existência de estabilidade por pares em mercados muitos-para-muitos unitários (onde um agente e um outro podem ter múltiplos contratos, mas apenas um contrato por par específico).

C. Propriedades Estruturais

• Independência de Representação Contratual: Diferente de outras relaxações (como substituibilidade fraca ou bilateral) que dependem da estrutura dos contratos, a pseudo-substituibilidade é definida diretamente sobre as preferências. Isso torna o conceito válido mesmo em modelos de correspondência sem contratos explícitos, onde a maioria das outras relaxações colapsa para a substituibilidade clássica.
• Não-Linearidade: Preferências pseudo-substituíveis podem violar a propriedade de independência do caminho (path-independence) e a substituibilidade global, mas mantêm uma estrutura ordenada suficiente para a estabilidade.

4. Comparação com a Literatura Existente

O artigo posiciona a pseudo-substituibilidade em relação a outros domínios conhecidos:

• Substituibilidade Fraca e Bilateral (Hatfield e Kojima): A pseudo-substituibilidade é independente desses conceitos. Existem preferências que são pseudo-substituíveis mas não bilateralmente substituíveis, e vice-versa. Enquanto a bilateral foca em restrições comportamentais sobre ofertas, a pseudo-substituibilidade foca na decomposição estrutural da preferência.
• Completabilidade Substituível (Hatfield e Kominers): A pseudo-substituibilidade não exige que a preferência possa ser "completada" para um ambiente muitos-para-muitos substituível. Ela extrai a estrutura substituível diretamente da preferência original.
• WOSAD (Weak Observable Substitutability Across Doctors): O domínio pseudo-substituível e o WOSAD são independentes; nenhum é um refinamento do outro.

5. Significado e Implicações

• Teórico: O trabalho resolve uma questão aberta na literatura sobre qual é o domínio maximal para a existência de estabilidade. Ele demonstra que a estabilidade por pares pode ser garantida em um espaço de preferências muito mais rico do que o previsto pela substituibilidade clássica, permitindo certas complementaridades controladas.
• Prático/Econômico: O conceito oferece uma ferramenta para analisar mercados descentralizados (como o mercado de médicos residentes) onde agentes podem formar múltiplos relacionamentos. A pseudo-substituibilidade garante que, mesmo com preferências complexas, o mercado não entrará em colapso (falta de equilíbrio), desde que as preferências admitam uma "núcleo substituível".
• Robustez: Em mercados não vinculantes (onde agentes podem recusar contratos pós-alocação), a pseudo-substituibilidade garante que alocações estáveis por pares derivadas de sub-preferências substituíveis mantenham a racionalidade individual mesmo após desengajamentos unilaterais, oferecendo uma noção de robustez superior à estabilidade do núcleo em certos contextos.

Em suma, o artigo estabelece a pseudo-substituibilidade como o limite fundamental para a existência de estabilidade por pares em mercados de correspondência com contratos, generalizando a teoria clássica sem sacrificar a garantia de existência de equilíbrio.