Shapley-Scarf Markets with Objective Indifferences

Resumen Técnico: Mercados de Shapley-Scarf con Indiferencias Objetivas

Planteamiento del Problema
El artículo aborda la asignación de objetos indivisibles (viviendas) entre agentes que poseen inicialmente un objeto cada uno, un escenario conocido como el mercado de Shapley-Scarf. En el modelo clásico (Shapley y Scarf, 1974), los agentes poseen preferencias estrictas y el algoritmo de Ciclos de Comercio Superior (TTC, por sus siglas en inglés) de Gale identifica con éxito una asignación en el núcleo, la cual es única, Pareto eficiente y a prueba de estrategias.

Sin embargo, en muchas aplicaciones prácticas (por ejemplo, asignación de dormitorios, elección de escuelas), los agentes son naturalmente indiferentes entre objetos del mismo "tipo" (por ejemplo, planos de planta idénticos). Cuando se introducen indiferencias generales, el algoritmo TTC estándar con desempate fijo (TTC$_\succ$) no logra mantener sus propiedades deseables. Específicamente, ante indiferencias generales, el TTC$_\succ$ no es ni Pareto eficiente ni a prueba de estrategias de grupo, y puede fallar en seleccionar una asignación en el núcleo incluso cuando este no es vacío. El artículo investiga si existe un dominio estructurado de preferencias donde el TTC$_\succ$ pueda recuperar estas propiedades sin recurrir a mecanismos más complejos.

Metodología y Modelo
Los autores introducen un dominio de preferencias específico llamado Indiferencias Objetivas. En este modelo:

• El conjunto de viviendas $H$ se particiona en bloques (tipos) $\mathcal{H} = \{H_1, \dots, H_K\}$.
• Los agentes son indiferentes entre cualquier par de viviendas dentro del mismo bloque ($h I_i h'$ si $\eta(h) = \eta(h')$) pero tienen preferencias estrictas entre viviendas de diferentes bloques.
• Crucialmente, la partición $\mathcal{H}$ es común para todos los agentes; las indiferencias son "objetivas" en lugar de subjetivas.

El estudio analiza el desempeño del TTC con desempate fijo (TTC$_\succ$) en este dominio. El mecanismo resuelve las indiferencias utilizando un perfil de desempate exógeno $\succ = (\succ_1, \dots, \succ_n)$, donde $\succ_i$ es un orden lineal estricto sobre los agentes. Esto convierte las preferencias débiles en preferencias estrictas, permitiendo que el algoritmo TTC estándar proceda.

Los autores evalúan el TTC$_\succ$ frente a tres axiomas:

1. Eficiencia de Pareto (PE): Ninguna otra asignación hace a alguien mejor sin hacer a alguien peor.
2. A prueba de Estrategias de Grupo (GSP): Ninguna coalición puede reportar erróneamente sus preferencias para hacer a todos los miembros débilmente mejores y al menos a uno estrictamente mejor.
3. Selección de Núcleo (CS): Si el núcleo no es vacío, el mecanismo selecciona una asignación dentro de él.

El artículo emplea un enfoque de maximalidad para caracterizar los dominios. Un dominio es "maximal" para una propiedad si el mecanismo satisface la propiedad en ese dominio, pero falla en cualquier dominio estrictamente mayor. Para GSP, los autores introducen el concepto de simetría-maximalidad, restringiendo la atención a dominios donde si un agente puede preferir estrictamente $h$ a $h'$, la preferencia inversa también es posible (una suposición estándar en el diseño de mecanismos para evitar restricciones arbitrarias en las direcciones de preferencia).

Resultados Clave
El artículo establece tres teoremas principales que caracterizan los límites de TTC$_\succ$:

1. Restauración de Propiedades: Bajo el dominio de las indiferencias objetivas, el TTC$_\succ$ satisface la eficiencia de Pareto, la a prueba de estrategias de grupo y la selección de núcleo.

   • Los autores demuestran que si el núcleo no es vacío bajo las indiferencias objetivas, es "esencialmente univalente", lo que significa que todas las asignaciones del núcleo asignan a los agentes a las mismas clases de indiferencia (tipos de vivienda).
   • Incluso si el núcleo es vacío, el TTC$_\succ$ siempre selecciona una asignación en el núcleo débil.

2. Caracterización de la Maximalidad (PE y CS):

   • Teorema 1: Un dominio es un dominio maximal en el que el TTC$_\succ$ es Pareto eficiente (o selector de núcleo) si y solo si es un dominio de indiferencias objetivas.
   • Esto implica que cualquier expansión más allá de las indiferencias objetivas (permitiendo indiferencias subjetivas donde los agentes difieren en qué objetos son equivalentes) provoca inevitablemente que el TTC$_\succ$ pierda la eficiencia de Pareto y la selección de núcleo.

3. Caracterización de la Maximalidad (GSP):

   • Teorema 2: Un dominio es un dominio de simetría-maximal en el que el TTC$_\succ$ es a prueba de estrategias de grupo si y solo si es un dominio de indiferencias objetivas.
   • Aunque existen dominios no simétricos más grandes que los de indiferencias objetivas donde el TTC$_\succ$ es GSP (por ejemplo, dominios donde ciertas preferencias estrictas son imposibles), los autores argumentan que la restricción de simetría es natural y no onerosa para el diseño de mercados.

Significancia y Reivindicaciones
El artículo afirma proporcionar un límite preciso para la aplicabilidad del intuitivo mecanismo TTC$_\succ$.

• Racionalización de TTC: Los resultados sugieren que en mercados donde las indiferencias son estructurales y compartidas (por ejemplo, unidades de vivienda idénticas), el TTC$_\succ$ sigue siendo una solución robusta, preservando la eficiencia, la estabilidad y la compatibilidad de incentivos.
• Identificación de Puntos de Falla: El artículo argumenta que el fallo del TTC$_\succ$ en entornos generales no se debe a las indiferencias per se, sino a las indiferencias subjetivas (donde los agentes discrepan sobre qué objetos son equivalentes).
• Caracterización del Dominio: Los autores demuestran que las indiferencias objetivas no son solo una condición suficiente, sino el escenario más general (bajo simetría para GSP) donde el TTC$_\succ$ retiene sus tres propiedades fundamentales. Esto distingue el trabajo de la literatura que o bien asume preferencias estrictas o bien estudia indiferencias generales donde el TTC falla.

El artículo concluye señalando que, si bien no prescribe un mecanismo específico para todos los mercados, aclara exactamente cuándo el ampliamente utilizado TTC$_\succ$ es teóricamente sólido. Sugiere que los responsables de políticas deben evaluar si las indiferencias en su mercado específico (por ejemplo, la elección de escuela con trayectorias de idiomas) son objetivas (compartidas por todos) o subjetivas (que varían por familia) para determinar si el TTC$_\succ$ es apropiado. Los autores dejan como trabajo futuro la caracterización axiomática de TTC$_\succ$ en indiferencias objetivas y la exploración de las indiferencias restringidas.