Lattice operations for the pairwise stable set in many-to-many markets via re-equilibration dynamics

Resumen Técnico: Operaciones de Retículo para el Conjunto de Estabilidad Pareto en Mercados Muchos-a-Muchos mediante Dinámicas de Reequilibrio

Enunciado del Problema
El artículo aborda el cálculo de las operaciones de retículo (supremo e ínfimo) para el conjunto de emparejamientos estables por pares en mercados muchos-a-muchos. Si bien la estructura de retículo de los emparejamientos estables es una herramienta fundamental en la teoría de emparejamientos —sustentando resultados sobre conflictos de intereses y la existencia de resultados óptimos para un lado—, calcular estas operaciones en entornos muchos-a-muchos no es trivial.

En mercados uno-a-uno con preferencias estrictas, el supremo y el ínfimo se construyen mediante asignaciones puntuales simples de socios preferidos. Sin embargo, en mercados muchos-a-uno y muchos-a-muchos con funciones de elección independientes del camino, estas construcciones directas fallan en preservar la estabilidad. Los enfoques anteriores para resolver esto han impuesto condiciones más fuertes que la independencia del camino (como "separabilidad con cuota") o han dependido de constructos teóricos complejos como "pre-emparejamientos" (entidades con interpretaciones económicas difíciles) para definir operadores de Tarski. Los autores buscan calcular las operaciones de retículo bajo el único requisito de independencia del camino, proporcionando un método con una interpretación económica transparente que evita los pre-emparejamientos.

Metodología
Los autores proponen un marco basado en emparejamientos cuasi-estables y operadores de Tarski para cerrar la brecha entre los emparejamientos candidatos iniciales y los resultados estables.

1. Definiciones de Cuasi-estabilidad: El artículo introduce y formaliza dos conceptos relajados de estabilidad:

   • Cuasi-estabilidad de los trabajadores ($Q_W$): Emparejamientos que son individualmente racionales y donde ningún trabajador puede formar un par de bloqueo que interrumpa las relaciones existentes en el lado de los trabajadores.
   • Cuasi-estabilidad de las empresas ($Q_F$): La definición simétrica donde se protegen las relaciones en el lado de las empresas.
     Los autores demuestran que estos conjuntos forman retículos bajo órdenes parciales específicos (órdenes de Blair).

2. Construcción de Emparejamientos Candidatos: Dados dos emparejamientos estables, $\mu$ y $\mu'$, los autores construyen un candidato de supremo, $\lambda_{\mu,\mu'}$, asignando a cada empresa el subconjunto de trabajadores seleccionados por su función de elección a partir de la unión de sus socios en $\mu$ y $\mu'$. De manera similar, se construye un candidato de supremo para los trabajadores, $\gamma_{\mu,\mu'}$. Los autores muestran que, aunque estos candidatos no son necesariamente estables, se garantiza que son cuasi-estables (específicamente, $\lambda_{\mu,\mu'}$ es cuasi-estable para los trabajadores).

3. Operadores de Tarski y Reequilibrio: El núcleo de la metodología implica definir operadores de Tarski ($T^F$ sobre $Q_W$ y $T^W$ sobre $Q_F$) que mapean emparejamientos cuasi-estables a nuevos emparejamientos cuasi-estables.

   • Mecanismo: El operador $T^F$ toma un emparejamiento cuasi-estable para los trabajadores, identifica a todos los trabajadores que están actualmente emparejados con una empresa o forman un par de bloqueo con ella, y reoptimiza la elección de la empresa a partir de este conjunto ampliado.
   • Dinámicas: Estos operadores son isotónicos (preservadores del orden) y de mejora de Pareto para el lado que optimiza. Los autores interpretan la iteración de estos operadores como dinámicas de reequilibrio. En un entorno cuasi-estable para los trabajadores, esto se asemeja a "cadenas de despidos" donde los trabajadores desempleados o desplazados solicitan empleo en empresas preferidas, desencadenando una cascada de ajustes. En entornos cuasi-estables para las empresas, se asemeja a dinámicas de "cadenas de vacantes".

4. Convergencia a Punto Fijo: Por el Teorema del Punto Fijo de Tarski, iterar estos operadores desde un punto de partida cuasi-estable converge a un punto fijo. Los autores demuestran que el conjunto de puntos fijos de estos operadores coincide exactamente con el conjunto de emparejamientos estables por pares ($S$).

Contribuciones y Resultados Clave

• Estructura de Retículo de Conjuntos Cuasi-estables: El artículo demuestra que los conjuntos de emparejamientos cuasi-estables para trabajadores y para empresas forman retículos bajo los órdenes de Blair. Esto extiende resultados anteriores de modelos muchos-a-uno al entorno muchos-a-muchos.
• Cálculo de Operaciones de Retículo: El resultado principal (Teorema 3) establece que el supremo de dos emparejamientos estables con respecto al orden de las empresas ($\mu \vee_F \mu'$) se obtiene aplicando iterativamente el operador de Tarski del lado de las empresas ($T^F$) al candidato cuasi-estable para trabajadores $\lambda_{\mu,\mu'}$ hasta alcanzar un punto fijo.
  • $\mu \vee_F \mu' = F^F(\lambda_{\mu,\mu'})$
  • $\mu \wedge_F \mu' = F^W(\gamma_{\mu,\mu'})$
  • Por dualidad, el ínfimo para un lado corresponde al supremo para el otro.
• Interpretación Económica del Método de Blair: Los autores muestran que el método de Blair (1988) para calcular operaciones de retículo, que anteriormente carecía de un mecanismo económico transparente, es equivalente al método de punto fijo aplicado a estos retículos cuasi-estables. Esto proporciona una base económica sólida para el constructo original de Blair.
• Contrajemplos y Necesidad de Iteración: Mediante ejemplos (incluyendo uno adaptado de Li, 2013), el artículo demuestra que la construcción directa $\lambda_{\mu,\mu'}$ no siempre es estable, haciendo necesaria la iteración del proceso de reequilibrio. También destaca que el retículo de emparejamientos estables no es necesariamente distributivo bajo la independencia del camino por sí sola.

Significado y Afirmaciones
El artículo afirma proporcionar una interpretación unificada y operativa del equilibrio como el punto final de la corrección endógena del mercado. Al utilizar emparejamientos cuasi-estables en lugar de pre-emparejamientos, los autores ofrecen un método que es tanto teóricamente riguroso (requiriendo solo independencia del camino) como económicamente intuitivo (modelado como procesos de ajuste descentralizados como cadenas de despidos o vacantes).

Los autores señalan que, si bien la estructura de retículo se mantiene bajo independencia del camino, el retículo no es necesariamente distributivo. Aclaran además que si se añade la "ley de la demanda agregada", los emparejamientos candidatos $\lambda_{\mu,\mu'}$ y $\gamma_{\mu,\mu'}$ se vuelven estables directamente, y el retículo se vuelve distributivo, alineándose con los resultados de Alkan (2002). Sin embargo, bajo el único supuesto de independencia del camino, se requiere el enfoque iterativo de operadores de Tarski para calcular las operaciones de retículo. El artículo concluye que, si bien se ha establecido la estructura de semiretículo de supremo de los emparejamientos cuasi-estables, el cálculo directo del ínfimo entre emparejamientos cuasi-estables arbitrarios sigue siendo una pregunta abierta.