Shapley-Scarf Markets with Objective Indifferences

Resumo Técnico: Mercados de Shapley-Scarf com Indiferenças Objetivas

Definição do Problema
O artigo aborda a alocação de objetos indivisíveis (casas) entre agentes que possuem inicialmente um objeto cada, um cenário conhecido como mercado de Shapley-Scarf. No modelo clássico (Shapley e Scarf, 1974), os agentes possuem preferências estritas, e o algoritmo de Ciclos de Troca Superior de Gale (TTC - Top Trading Cycles) identifica com sucesso uma alocação no núcleo (core), que é única, Pareto eficiente e livre de estratégias (strategy-proof).

No entanto, em muitas aplicações práticas (ex.: atribuição de dormitórios, escolha de escolas), os agentes são naturalmente indiferentes entre objetos do mesmo "tipo" (ex.: plantas baixas idênticas). Quando indiferenças gerais são introduzidas, o algoritmo TTC padrão com desempate fixo (TTC$_\succ$) falha em manter suas propriedades desejáveis. Especificamente, sob indiferenças gerais, o TTC$_\succ$ não é nem Pareto eficiente nem livre de estratégias de grupo (group strategy-proof), e pode falhar em selecionar uma alocação no núcleo mesmo quando o núcleo não é vazio. O artigo investiga se existe um domínio estruturado de preferências onde o TTC$_\succ$ possa recuperar essas propriedades sem recorrer a mecanismos mais complexos.

Metodologia e Modelo
Os autores introduzem um domínio de preferências específico chamado Indiferenças Objetivas. Neste modelo:

• O conjunto de casas $H$ é particionado em blocos (tipos) $\mathcal{H} = \{H_1, \dots, H_K\}$.
• Os agentes são indiferentes entre quaisquer duas casas dentro do mesmo bloco ($h I_i h'$ se $\eta(h) = \eta(h')$), mas possuem preferências estritas entre casas de blocos diferentes.
• Crucialmente, a partição $\mathcal{H}$ é comum a todos os agentes; as indiferenças são "objetivas" em vez de subjetivas.

O estudo analisa o desempenho do TTC com desempate fixo (TTC$_\succ$) neste domínio. O mecanismo resolve as indiferenças utilizando um perfil de desempate exógeno $\succ = (\succ_1, \dots, \succ_n)$, onde $\succ_i$ é uma ordem linear estrita sobre os agentes. Isso converte preferências fracas em preferências estritas, permitindo que o algoritmo TTC padrão prossiga.

Os autores avaliam o TTC$_\succ$ contra três axiomas:

1. Eficiência de Pareto (PE): Nenhuma outra alocação torna alguém melhor sem tornar ninguém pior.
2. Livre de Estratégias de Grupo (GSP): Nenhuma coalizão pode reportar preferências falsas para tornar todos os membros fracamente melhores e pelo menos um estritamente melhor.
3. Seleção de Núcleo (CS): Se o núcleo não for vazio, o mecanismo seleciona uma alocação dentro dele.

O artigo emprega uma abordagem de maximalidade para caracterizar os domínios. Um domínio é "maximal" para uma propriedade se o mecanismo satisfaz a propriedade nesse domínio, mas falha em qualquer domínio estritamente maior. Para GSP, os autores introduzem o conceito de simetria-maximalidade, restringindo a atenção a domínios onde, se um agente pode preferir estritamente $h$ a $h'$, a preferência inversa também é possível (uma suposição padrão em desenho de mecanismos para evitar restrições arbitrárias de direção de preferência).

Principais Resultados
O artigo estabelece três teoremas primários que caracterizam os limites do TTC$_\succ$:

1. Restauração de Propriedades: Sob o domínio das indiferenças objetivas, o TTC$_\succ$ satisfaz eficiência de Pareto, livre de estratégias de grupo e seleção de núcleo.

   • Os autores provam que, se o núcleo for não vazio sob indiferenças objetivas, ele é "essencialmente de valor único", significando que todas as alocações do núcleo atribuem agentes às mesmas classes de indiferença (tipos de casas).
   • Mesmo que o núcleo seja vazio, o TTC$_\succ$ sempre seleciona uma alocação no núcleo fraco.

2. Caracterização da Maximalidade (PE e CS):

   • Teorema 1: Um domínio é um domínio maximal no qual o TTC$_\succ$ é Pareto eficiente (ou seleção de núcleo) se, e somente se, for um domínio de indiferenças objetivas.
   • Isso implica que qualquer expansão além das indiferenças objetivas (permitindo indiferenças subjetivas onde os agentes divergem sobre quais objetos são equivalentes) inevitavelmente faz com que o TTC$_\succ$ perca a eficiência de Pareto e a seleção de núcleo.

3. Caracterização da Maximalidade (GSP):

   • Teorema 2: Um domínio é um domínio de simetria-maximal no qual o TTC$_\succ$ é livre de estratégias de grupo se, e somente se, for um domínio de indiferenças objetivas.
   • Embora existam domínios não simétricos maiores que os de indiferenças objetivas onde o TTC$_\succ$ é GSP (ex.: domínios onde certas preferências estritas são impossíveis), os autores argumentam que a restrição de simetria é natural e não onerosa para o desenho de mercados.

Significância e Alegações
O artigo afirma fornecer um limite preciso para a aplicabilidade do intuitivo mecanismo TTC$_\succ$.

• Racionalização do TTC: Os resultados sugerem que, em mercados onde as indiferenças são estruturais e compartilhadas (ex.: unidades habitacionais idênticas), o TTC$_\succ$ permanece uma solução robusta, preservando eficiência, estabilidade e compatibilidade de incentivos.
• Identificação de Pontos de Falha: O artigo argumenta que a falha do TTC$_\succ$ em configurações gerais não se deve às indiferenças per se, mas sim às indiferenças subjetivas (onde os agentes discordam sobre quais objetos são equivalentes).
• Caracterização do Domínio: Os autores demonstram que as indiferenças objetivas não são apenas uma condição suficiente, mas o cenário mais geral (sob simetria para GSP) onde o TTC$_\succ$ retém suas três propriedades centrais. Isso distingue o trabalho da literatura que ou assume preferências estritas ou estuda indiferenças gerais onde o TTC falha.

O artigo conclui observando que, embora não prescreva um mecanismo específico para todos os mercados, esclarece exatamente quando o amplamente utilizado TTC$_\succ$ é teoricamente sólido. Sugere que os formuladores de políticas devem avaliar se as indiferenças em seu mercado específico (ex.: escolha de escola com trilhas de linguagem) são objetivas (compartilhadas por todos) ou subjetivas (variando por família) para determinar se o TTC$_\succ$ é apropriado. Os autores deixam a caracterização axiomática do TTC$_\succ$ sobre indiferenças objetivas e a exploração de indiferenças restritas como trabalhos futuros.