Stronger core results with multidimensional prices

1. Planteamiento del Problema

El artículo aborda el problema de los emparejamientos unilaterales con dotaciones en ausencia de dinero (one-sided matchings with endowments in the absence of money). Este es un problema fundamental en economía con aplicaciones en asignación de cursos, elección escolar y asignación de recursos.

• Contexto: Existen $n$ agentes y $n$ bienes indivisibles. Cada agente $i$ posee una dotación inicial $\omega_i$ de bienes y tiene preferencias representadas por funciones de utilidad de von Neumann-Morgenstern (vNM).
• El Desafío: El objetivo es asignar bienes de manera eficiente y justa.
  • El trabajo seminal de [HZ79] (Hylland y Zeckhauser) propuso un enfoque de "pseudomercado" con dinero artificial, demostrando que un Equilibrio Competitivo (CE) siempre existe y es eficiente. Sin embargo, este enfoque asume dotaciones iguales.
  • Cuando los agentes tienen dotaciones iniciales privadas (endowments), la situación cambia drásticamente. Se sabe desde [SS74] y [RP77] que, en presencia de saciación (agentes que no desean más bienes una vez satisfechos), un equilibrio competitivo puede no existir y el núcleo fuerte (strong core) puede estar vacío.
  • La razón principal es que los agentes saciados pueden estar dispuestos a regalar sus excedentes, creando coaliciones que bloquean asignaciones competitivas, o que ciertos bienes son "infinitamente más valiosos" que otros, rompiendo la continuidad de la demanda.

2. Metodología y Concepto Propuesto

Los autores proponen una generalización del equilibrio competitivo llamada Equilibrio de Dividendos Lexicográfico (LDE - Lexicographic Dividend Equilibrium).

A. Estructura del LDE

Un LDE se compone de tres elementos:

1. Una asignación ($x$): Una matriz de asignación de bienes a agentes.
2. Una matriz de precios ($P \in \mathbb{R}^{d \times n}$): En lugar de un vector de precios unidimensional, se utiliza una matriz de $d$ dimensiones (donde $d$ es el número de "monedas" o niveles de precios).
3. Una matriz de redistribución de dividendos ($\alpha \in \mathbb{R}^{d \times n}_{+}$): Representa el excedente redistribuido a cada agente en cada moneda.

B. Ordenamiento Lexicográfico y Presupuesto

La innovación clave es el uso del orden lexicográfico ($\leq_{lex}$) para definir el conjunto presupuestario.

• Cada fila de la matriz de precios representa una "moneda". La primera moneda es infinitamente más valiosa que la segunda, la segunda que la tercera, etc.
• El conjunto presupuestario de un agente $i$ con dotación $\omega_i$ y dividendos $\alpha_i$ es el cierre de:
  $$\{x \in \Delta^n : P x \leq_{lex} P \omega_i + \alpha_i \}$$
• Interpretación:
  • Si un agente tiene riqueza positiva en la primera moneda, los bienes con precio cero en esa moneda son "gratuitos" para él, incluso si tienen precios positivos en monedas inferiores (puede convertir una cantidad $\epsilon$ de la primera moneda en una cantidad infinita de la segunda).
  • Si un agente no tiene riqueza en la primera moneda, no puede comprar bienes con precio positivo en esa moneda, incluso si tiene excedentes en monedas inferiores. Esos excedentes se redistribuyen.

C. Propiedades de "Banda Más Barata" (Cheapest Bundle Properties)

Para garantizar la eficiencia y la estabilidad, el LDE debe satisfacer ciertas propiedades de minimización de costos lexicográficos:

• Propiedad de Banda Fuerte (Strong Cheapest Bundle): No existe un paquete preferido débilmente que sea estrictamente más barato lexicográficamente.
• Propiedad de Banda Débil y Agregada: Versiones más relajadas que permiten ciertos ajustes en precios sin afectar la demanda, útiles para la convergencia del núcleo.

3. Contribuciones Clave y Resultados Principales

Resultado 1: Existencia y Estabilidad en el Núcleo Rejective

Teorema 3.3: Para cualquier mercado de emparejamiento unilateral con dotaciones, existe un Equilibrio de Dividendos Lexicográfico (LDE) que satisface la propiedad de banda fuerte.

• Ubicación en el Núcleo: Este LDE reside dentro del Núcleo Rejective (Rejective Core), definido por [Kon05].
• Definición del Núcleo Rejective: Un bloque ocurre si una coalición puede redistribuir sus dotaciones iniciales y asignaciones actuales de tal manera que un subconjunto de la coalición mejore estrictamente y el resto mejore débilmente (con al menos una mejora estricta).
• Significado: El LDE es estrictamente más fuerte que la estabilidad del núcleo débil. Garantiza eficiencia ex-ante, racionalidad individual y estabilidad frente a bloqueos complejos que el núcleo débil no captura.

Resultado 2: Convergencia del Núcleo

Teorema 4.2: A medida que la economía se replica (crece infinitamente), la intersección de los núcleos rejectivos de todas las economías replicadas coincide exactamente con el conjunto de LDEs.

• Teorema 4.3 y 4.4: Se demuestra que el conjunto de LDEs es igual a la intersección de los núcleos rejectivos en economías grandes.
• Implicación: Esto valida al LDE como el único concepto de solución viable en mercados grandes con saciación, extendiendo el teorema clásico de convergencia del núcleo (Edgeworth, Debreu-Scarf) a entornos sin insaciación y con dotaciones privadas.

4. Detalles Técnicos de la Prueba

La demostración de la existencia (Teorema 3.3) utiliza un argumento de límite:

1. Economías Perturbadas: Se considera una secuencia de economías $(u, \omega_\epsilon)$ donde se redistribuye una fracción $\epsilon$ de los bienes para asegurar que exista un equilibrio competitivo unidimensional (o de dividendos).
2. Análisis de Tasas de Convergencia: Se analiza cómo convergen los precios $p_\epsilon$ a medida que $\epsilon \to 0$.
3. Descomposición: Los precios se descomponen en sus componentes principales basados en sus tasas de convergencia ($\Theta(1)$, $O(\epsilon)$, etc.). Cada tasa de convergencia distinta corresponde a una nueva "moneda" en la matriz de precios lexicográfica.
4. Reducción a Cuasi-equilibrios: La prueba se basa en la idea de que un equilibrio competitivo existe en el sub-mercado de agentes sin ingresos, y el LDE construye una estructura de precios que maneja jerárquicamente estos sub-mercados.

La demostración de la convergencia del núcleo (Teorema 4.2) utiliza un argumento de separación de hiperplanos recursivo:

• Se identifica un hiperplano que separa los intercambios preferidos del ortante negativo.
• Se eliminan los bienes con precios positivos y se repite el proceso para los bienes restantes, construyendo así las filas sucesivas de la matriz de precios.
• Se demuestra que cualquier asignación en el núcleo rejectivo de una economía grande debe satisfacer las condiciones de un LDE con precios simples.

5. Significado e Impacto

• Resolución de la No-Existencia: El trabajo resuelve el problema de la no existencia de equilibrios competitivos en economías con saciación y dotaciones privadas, sin sacrificar propiedades deseables como la racionalidad individual o la estabilidad del núcleo.
• Generalización de Conceptos: Extiende el concepto de Equilibrio de Dividendos (que requiere condiciones suficientes para existir) a una solución que siempre existe mediante el uso de precios multidimensionales.
• Interpretación Económica: Introduce una interpretación rica de "monedas" lexicográficas donde bienes con precios cero en una moneda superior son accesibles para quienes tienen riqueza en esa moneda, pero inaccesibles para quienes solo tienen riqueza en monedas inferiores, reflejando la jerarquía de valor en la economía.
• Aplicabilidad: Aunque la demostración asume preferencias lineales (vNM) para la propiedad de banda fuerte, los autores discuten que las ideas de convergencia podrían extenderse a preferencias convexas, aunque con matices técnicos sobre la dualidad fuerte.

En resumen, el artículo establece que los Equilibrios de Dividendos Lexicográficos son la generalización natural y robusta de los equilibrios competitivos para mercados de emparejamiento con dotaciones, garantizando existencia, estabilidad fuerte y convergencia en grandes mercados.