📈 economics

Revealed Preference Analysis of Shapley-Scarf Housing Markets

Este artigo estabelece condições de teoria dos grafos para determinar se as realocações observadas de objetos indivisíveis em mercados de habitação de Shapley-Scarf são racionalizáveis como Pareto eficientes, individualmente racionais ou de núcleo fraco estável, demonstrando que, embora verificar a estabilidade do núcleo fraco seja NP-completo, esses critérios relaxados eliminam efetivamente um conjunto mais amplo de possibilidades de mercado e são aplicados com sucesso a dados de habitação social na Inglaterra.

Autores originais: Umutcan Salman, Michele Lombardi, Francesco Ciardiello, Riccardo Saulle

Publicado 2026-08-21

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Umutcan Salman, Michele Lombardi, Francesco Ciardiello, Riccardo Saulle

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine uma cidade onde cada família recebe uma casa do governo, mas as regras do bairro permitem que elas troquem de casas umas com as outras se ambas concordarem. Isso acontece em muitos lugares, desde habitação social no Reino Unido até postos de trabalho dentro de agências governamentais. A autoridade central que atribui as casas iniciais não sabe o que as famílias realmente querem; ela apenas vê quem acaba onde após as trocas serem finalizadas. A grande questão para os responsáveis é simples, mas difícil de responder: essas trocas melhoraram as coisas para todos ou apenas remanejaram as pessoas sem resolver os problemas subjacentes? Sem poder perguntar diretamente às famílias o que elas preferem, os funcionários não podem simplesmente olhar para a lista final de quem mora onde e declarar o sistema um sucesso ou um fracasso. Eles precisam de uma maneira de olhar para o resultado e perguntar: "Existe algum conjunto possível de desejos que poderia explicar este resultado como um processo justo e eficiente?"

Este é o enigma abordado por uma equipe de pesquisadores que estudou como julgar essas trocas do mundo real usando apenas os dados de quem começou com o quê e quem terminou com o quê. Eles se concentraram em um tipo específico de mercado onde os itens não podem ser divididos, como uma casa ou um emprego específico, e onde nenhum dinheiro troca de mãos para equilibrar a troca. Em tal mundo, uma troca só é considerada boa se todos os envolvidos estiverem mais felizes do que estavam antes, e se nenhum grupo de pessoas pudesse ter trocado seus itens originais entre si para tornar todos nesse grupo estritamente melhor situados. Os pesquisadores desenvolveram um método para testar se as trocas observadas se ajustam a esses padrões, mesmo que nunca tenham visto as preferências que impulsionaram as decisões.

A equipe aplicou seu método a dados reais de habitação social na Inglaterra, analisando milhares de famílias em dezoito diferentes áreas locais. Eles trataram cada autoridade local como seu próprio mercado separado e reconstruíram as trocas comparando dois instantâneos do sistema de habitação tomados com seis meses de intervalo. Como não podiam rastrear famílias individuais ao longo do tempo, eles agruparam as pessoas em categorias baseadas em características compartilhadas, como idade e tamanho da unidade familiar, assumindo que pessoas na mesma categoria teriam preferências semelhantes. Eles então aplicaram três testes diferentes aos dados. O primeiro teste verificou se as trocas eram eficientes, ou seja, se ninguém poderia ter sido beneficiado sem que outra pessoa fosse prejudicada. O segundo teste verificou a estabilidade, garantindo que nenhum grupo de famílias pudesse ter se separado e trocado suas casas originais entre si para melhorar sua situação. O terceiro teste adicionou uma camada de realismo ao assumir que as preferências seguiam uma ordem lógica, como famílias de maior renda geralmente preferindo casas maiores.

Os resultados mostraram que os testes foram poderosos o suficiente para distinguir entre mercados que funcionavam bem e aqueles que não funcionavam. Em algumas áreas, os dados sugeriram que as trocas eram consistentes com um sistema justo e eficiente. Em outras, os padrões de movimentação eram tão contraditórios que nenhum conjunto razoável de preferências poderia explicá-los como um sucesso. Por exemplo, em um mercado, os dados mostraram um ciclo onde uma família com uma casa pequena mudou-se para uma casa grande, enquanto outra família com uma casa grande mudou-se para uma casa pequena, e uma terceira família mudou-se de uma forma que criou um loop de insatisfação que nunca poderia ser resolvido. Os pesquisadores descobriram que os dois testes frequentemente davam respostas diferentes para o mesmo mercado; um mercado poderia passar no teste de eficiência, mas falhar no teste de estabilidade, ou vice-versa. Isso significa que olhar apenas para um aspecto da troca daria uma imagem incompleta.

Uma parte significativa do trabalho deles envolveu descobrir o quão difícil é realizar esses testes. Eles provaram que, embora verificar a eficiência simples seja direto e possa ser feito rapidamente, verificar a condição de estabilidade mais complexa é computacionalmente difícil, pertencendo a uma classe de problemas que são notoriamente difíceis de resolver à medida que o número de pessoas e casas cresce. No entanto, eles descobriram que, na prática, essa dificuldade raramente importa. Em quase todos os casos em que seus testes rejeitaram um mercado como instável, o motivo era óbvio desde o início: os próprios dados continham uma contradição que não exigia nenhum cálculo complexo para ser detectada. A busca complexa só era necessária para uma fração minúscula dos casos e, mesmo assim, o computador os resolvia em menos de um segundo.

Quando aplicaram o teste mais restritivo, que assumia que as preferências seguiam uma ordem lógica única baseada na qualidade das casas, apenas um dos dezoito mercados passou em todas as verificações. Isso sugere que, embora alguns mercados habitacionais locais possam estar funcionando bem, muitos outros estão produzindo resultados que não podem ser explicados por um sistema de preferências simples e racional. Os pesquisadores não concluíram que o sistema de habitação social inglês está quebrado, mas mostraram que seu método pode identificar quais mercados são consistentes com uma troca bem-sucedida e quais não são. O trabalho deles fornece uma nova ferramenta para formuladores de políticas olharem para os resultados das trocas de habitação e perguntarem se o sistema está realmente servindo às pessoas que ele pretende ajudar, ou se uma abordagem diferente é necessária.

Resumo Técnico: Análise de Preferência Revelada de Mercados de Habitação de Shapley–Scarf

Definição do Problema
Este artigo investiga as implicações testáveis dos resultados de mercado em mercados de habitação de Shapley–Scarf, onde objetos indivisíveis são inicialmente atribuídos por uma autoridade central e, posteriormente, realocados através de trocas voluntárias entre os destinatários. O desafio central é que as preferências individuais não são observadas. Os autores questionam se uma realocação observada (a dotação inicial $\omega$ e a atribuição final $x$ ) pode ser racionalizada como consistente com critérios normativos específicos: eficiência de Pareto combinada com racionalidade individual (PI), ou estabilidade do núcleo fraco (WC).

Para tornar o problema testável, os autores adotam o arcabouço de Echenique et al. (2013), agrupando indivíduos em "tipos" com base em características observáveis. Assume-se que indivíduos do mesmo tipo compartilham preferências idênticas. Sem essa restrição, qualquer realocação é trivialmente racionalizável ao assumir que cada indivíduo prefere seu objeto final acima de todos os outros. O artigo busca determinar se existe um perfil de preferências específicas por tipo tal que a alocação observada satisfaça a noção de estabilidade ou eficiência escolhida.

Metodologia e Caracterizações

O artigo fornece três caracterizações distintas, cada uma correspondendo a um teste específico:

Racionalizabilidade PI (Eficiência de Pareto + Racionalidade Individual):
Os autores constroem um Grafo de Alocação Agregada (AG) onde os vértices representam objetos. Existe uma aresta direcionada de $h$ para $h'$ se um indivíduo dotado de $h$ termina com $h'$ , e um membro do mesmo tipo detém atualmente $h$ .
- Teorema 1: Uma alocação é PI-racionalizável se, e somente se, o AG for acíclico.
- Mecanismo: Um ciclo neste grafo implica que um grupo de indivíduos pode trocar ciclicamente seus objetos atribuídos para melhorar estritamente, violando a eficiência de Pareto. O teste é computacionalmente eficiente (tempo polinomial) e baseia-se na detecção padrão de ciclos.
Racionalizabilidade WC (Estabilidade do Núcleo Fraco):
O núcleo fraco exige que nenhuma coalizão possa redistribuir suas dotações iniciais entre si para tornar cada membro estritamente melhor. Isso é mais difícil de testar do que o PI porque envolve comparações contrafatuais de objetos que um tipo não detém atualmente.
- O Grafo Misto: Os autores introduzem um grafo misto $G$ $G$ com vértices representando pares tipo-objeto $(t, h)$ $(t, h)$ . Ele contém:
  - Arcos intra (direcionados): Preferências reveladas dentro de um tipo (ex: um movente prefere seu novo objeto à sua dotação).
  - Arcos inter (direcionados): Transferências de dotação entre tipos.
  - Arestas não direcionadas: Pares de objetos detidos pelo mesmo tipo para os quais os dados não revelam uma ordem de preferência.
- Teorema 2: Uma alocação é WC-racionalizável se, e somente se, existe uma orientação das arestas não direcionadas tal que:
  1. O subgrafo resultante para cada tipo seja acíclico (classificação consistente).
  2. O grafo orientado completo não contenha ciclos alternados (ciclos que alternam entre arcos intra e arcos inter, representando uma coalizão de bloqueio lucrativa).
- Complexidade: O Teorema 3 estabelece que decidir a WC-racionalizabilidade é NP-completo. Consequentemente, não existe um teste de tempo polinomial, a menos que P=NP. A busca é sobre as orientações das arestas "abertas", o que é significativamente menor do que a busca sobre todos os perfis de preferência, mas ainda assim exponencial no pior caso.
Racionalizabilidade WC de Cruzamento Único (Single-Crossing):
Os autores restringem o domínio às preferências de cruzamento único, assumindo uma ordenação natural tanto de tipos (ex: por renda) quanto de objetos (ex: por qualidade).
- Teorema 4: A racionalizabilidade sob este domínio é caracterizada pela existência de uma função de ponto de cruzamento consistente. Esta função atribui um limiar a cada par de objetos, determinando em qual tipo a preferência muda do objeto de maior qualidade para o de menor qualidade.
- Eficiência: Embora o teste geral de WC seja NP-completo, o teste de cruzamento único pode ser formulado como um programa de inteiros mistos. Na aplicação empírica, apesar da variação no número de objetos, o teste decidiu cada instância em menos de um segundo.

Resultados Principais e Aplicação Empírica

Os autores aplicam estes testes a dados administrativos do registro de locação de habitação social na Inglaterra (CORE, 2021–22). Eles tratam 18 autoridades locais como mercados separados, reconstruindo as realocações a partir de dois cortes transversais usando Ajustamento Proporcional Iterativo (IPF) para parear agentes e habitações.

Conteúdo dos Testes: Os testes não são vazios. Eles rejeitam alocações em alguns mercados e aceitam em outros.
Independência Lógica: Os dois testes (PI e WC) são logicamente independentes. Alguns mercados são aceitos por um teste mas rejeitados pelo outro, e vice-versa. Isso implica que passar em um teste não garante o outro, e nenhum serve como substituto do outro.
Papel da Granularidade dos Dados: As taxas de aceitação aumentam conforme a definição de "tipos" torna-se mais fina (mais específica). No entanto, como a reconstrução dos dados envolve pareamento aleatório, os autores relatam uma distribuição de vereditos através de 100 sorteios, em vez de um único resultado binário.
Proposição 2 na Prática: Uma descoberta significativa é que, para a vasta maioria das rejeições (4.591 de 4.622 no estudo), a "busca" sobre as orientações é desnecessária. Os arcos fixos no grafo misto (preferências reveladas) já contêm ciclos ou ciclos alternados que rejeitam a instância imediatamente. A dificuldade computacional da busca NP-completa é um recurso de pior caso, raramente encontrado na prática.
Resultados de Cruzamento Único: Apenas um mercado (Lambeth) passou no teste de cruzamento único em todos os sorteios e partições de tipos. Isso sugere que, embora o núcleo fraco geral possa ser plausível, a premissa mais rigorosa de preferências de cruzamento único (onde tipos superiores consistentemente preferem habitação de maior qualidade) não é sustentada pelos dados na maioria dos mercados.

Significância e Alegações

O artigo afirma fornecer as primeiras implicações testáveis para a eficiência de Pareto e a estabilidade do núcleo fraco em mercados de habitação de um lado sem transferências. Sua significância reside em:

Inversão da Abordagem Padrão: Ao contrário do desenho de mecanismos, que toma as preferências como dadas para desenhar regras, este trabalho toma o resultado como dado para inferir as propriedades do mercado subjacente.
Refinamento do Escopo da Rejeição: Os autores argumentam que seus testes (PI e WC) são menos exigentes do que o núcleo estrito (conforme analisado por Tai, 2022). Portanto, rejeitar a racionalizabilidade PI ou WC elimina um conjunto mais amplo de possibilidades do que rejeitar a racionalizabilidade do núcleo estrito, fornecendo insights mais informativos sobre se um resultado de mercado é passível de melhoria ou está estável contra o reagrupamento.
Realidade Computacional: O artigo demonstra que, embora a complexidade teórica do teste do núcleo fraco seja alta (NP-completo), a aplicação prática é frequentemente trivial porque os dados em si (os arcos fixos) costumam ser suficientes para rejeitar a hipótese sem a necessidade de buscar uma orientação válida.
Cautela Metodológica: Os autores enfatizam que, com dados deste tipo (reconstruídos a partir de cortes transversais com fortes suposições de tipos), os analistas devem relatar distribuições de vereditos em vez de conclusões determinísticas únicas.

O artigo conclui que, embora a racionalizabilidade conjunta (satisfazer tanto PI quanto WC sob um único perfil) não seja totalmente caracterizada pela conjunção de seus testes separados, o arcabouço identifica com sucesso mercados onde a troca descentralizada provavelmente falhou em alcançar eficiência ou estabilidade, e onde a suposição de preferências de cruzamento único é particularmente restritiva.

Mais como este