Pseudo-Substitutability: A Maximal Domain for Pairwise Stability in Matching Markets with Contracts

Resumen Técnico: Pseudo-Substituibilidad en Mercados de Emparejamiento con Contratos

1. Planteamiento del Problema

El artículo aborda un problema fundamental en la teoría de emparejamiento con contratos (matching with contracts): la existencia de asignaciones estables en mercados de muchos-a-muchos.

• Contexto: Se estudian mercados donde agentes (médicos y hospitales) pueden formar múltiples relaciones bilaterales mediante contratos. La unidad básica de análisis es el contrato, no solo el agente.
• Concepto de Estabilidad: El foco se centra en la estabilidad pareada (pairwise stability), que prohíbe desviaciones bilaterales (un médico y un hospital firmando un contrato mutuamente aceptable fuera de la asignación actual). Esto se distingue de la estabilidad de núcleo (corewise stability), que prohíbe desviaciones de coaliciones arbitrarias. En entornos muchos-a-muchos, estas dos nociones no son equivalentes.
• El Desafío: En general, la existencia de asignaciones estables no está garantizada si las preferencias son arbitrarias. La literatura clásica (Kelso y Crawford, 1982; Hatfield y Milgrom, 2005) establece que la sustituibilidad de las preferencias es una condición suficiente (y a menudo necesaria) para garantizar la existencia de estabilidad. Sin embargo, la sustituibilidad es una restricción fuerte que prohíbe cualquier tipo de complementariedad entre contratos (es decir, que la deseabilidad de un contrato dependa positivamente de la presencia de otro).
• Pregunta de Investigación: ¿Existe un dominio de preferencias más amplio que el de las preferencias sustituibles, que permita ciertas complementariedades limitadas, pero que aún garantice la existencia de asignaciones estables? Además, ¿cuál es el dominio máximo (en el sentido de que cualquier extensión mayor haría que la existencia de estabilidad fallara) que contiene a las preferencias sustituibles y asegura la estabilidad pareada?

2. Metodología y Definiciones Clave

Los autores desarrollan un marco teórico basado en la estructura de las preferencias y la noción de sub-preferencias.

• Sub-Preferencia ($P'_a \sqsubseteq P_a$): Se define una relación jerárquica entre preferencias. Una preferencia $P'_a$ es una sub-preferencia de $P_a$ si:

  1. Racionalidad Individual: Cualquier conjunto de contratos aceptable bajo $P'_a$ también es aceptable bajo $P_a$ (la elección de $P'_a$ coincide con la de $P_a$ sobre esos conjuntos).
  2. Consistencia en Bloqueos: Si un contrato $x$ bloquea un conjunto aceptable bajo $P_a$, entonces también debe bloquearlo bajo $P'_a$.
  • Propiedad clave: Si una asignación es estable bajo una sub-preferencia, también lo es bajo la preferencia original (Proposición 1).

• Definición de Pseudo-Sustituibilidad:
  Una preferencia $P_a$ es pseudo-sustituible si existe al menos una preferencia sustituible $P'_a$ tal que $P'_a \sqsubseteq P_a$.

  • Intuitivamente, esto significa que, aunque la preferencia original pueda tener complementariedades, contiene una "estructura interna" sustituible mínima que gobierna la estabilidad.
  • Se demuestra que las sub-preferencias sustituibles son minimales y comparten el mismo conjunto de conjuntos aceptables y el mismo orden parcial de Blair.

• Enfoque de la Prueba:
  El argumento central no construye un nuevo algoritmo de emparejamiento, sino que utiliza la existencia de la sub-preferencia sustituible. Dado que se sabe que los mercados con preferencias sustituibles tienen asignaciones estables (Teorema de existencia clásico), y que cualquier asignación estable de la sub-preferencia es también estable para la preferencia original, la existencia se hereda.

3. Contribuciones Clave

1. Introducción del Dominio Pseudo-Sustituible:
   Los autores definen formalmente el dominio de las preferencias pseudo-sustituibles. Este dominio es estrictamente más grande que el dominio clásico de preferencias sustituibles, permitiendo ciertas formas de complementariedad controlada.

2. Teorema de Existencia (Teorema 1):
   Se demuestra que si todos los agentes en un mercado tienen preferencias pseudo-sustituibles, el conjunto de asignaciones estables pareadas ($S(P)$) es no vacío.

   • Lógica: Si $P$ es pseudo-sustituible, existe un perfil $P'$ sustituible tal que $P' \sqsubseteq P$. Como $S(P') \neq \emptyset$ y $S(P') \subseteq S(P)$, entonces $S(P) \neq \emptyset$.

3. Maximalidad del Dominio (Teorema 2 y Corolario 1):
   Este es el resultado más fuerte. Los autores demuestran que el dominio pseudo-sustituible es máximo.

   • Esto significa que si cualquier agente tiene una preferencia que no es pseudo-sustituible, es posible construir un mercado (con otros agentes teniendo preferencias pseudo-sustituibles) donde no existe ninguna asignación estable pareada.
   • Por lo tanto, no es posible extender el dominio más allá de las preferencias pseudo-sustituibles sin sacrificar la garantía de existencia de estabilidad.

4. Independencia de la Representación Contractual:
   A diferencia de otras relajaciones de la sustituibilidad (como la sustituibilidad bilateral o la sustituibilidad observable) que dependen de la estructura específica de los contratos, la pseudo-sustituibilidad se define directamente sobre las preferencias.

   • Implicación: Incluso en modelos de emparejamiento sin contratos (donde solo se emparejan agentes), el dominio pseudo-sustituible sigue siendo una extensión estricta de la sustituibilidad clásica. Otras relajaciones colapsan a la sustituibilidad estándar si se eliminan los contratos.

4. Resultados Principales y Propiedades Estructurales

• Relación con la Sustituibilidad: El dominio pseudo-sustituible contiene al dominio sustituible.
• Comportamiento de la Función de Elección: Para una preferencia pseudo-sustituible, la función de elección inducida es consistente, pero no necesariamente cumple con la independencia del camino (path-independence), una propiedad característica de las preferencias sustituibles puras. Esto refleja la presencia de complementariedades.
• Comparación con la Literatura:
  • vs. Sustituibilidad Débil (Hatfield y Kojima, 2008): La pseudo-sustituibilidad responde a la pregunta abierta sobre la existencia de un dominio necesario y suficiente, pero para la estabilidad pareada en lugar de la de núcleo.
  • vs. Sustituibilidad Bilateral (Hatfield y Kojima, 2010): Los dominios son independientes. Hay preferencias pseudo-sustituibles que no son bilateralmente sustituibles y viceversa.
  • vs. Completabilidad Sustituible (Hatfield y Kominers, 2019): La pseudo-sustituibilidad no requiere extender el mercado a un entorno de muchos-a-muchos para encontrar una completación; trabaja directamente en el espacio de preferencias original.
  • vs. WOSAD (Bando et al., 2021): Los dominios son independientes; ninguno es un refinamiento del otro.

5. Significado e Implicaciones Económicas

• Robustez en Mercados No Vinculantes: El artículo ofrece una interpretación económica profunda. En mercados donde los agentes pueden rechazar unilateralmente asignaciones (mercados no vinculantes, como el de residentes médicos), la estabilidad de núcleo puede ser frágil. La pseudo-sustituibilidad garantiza que, si una asignación se desmorona por la renuncia de un agente, el resto de la asignación sigue siendo individualmente racional. Esto proporciona una noción de robustez superior a la estabilidad clásica en entornos descentralizados.
• Generalización Teórica: El trabajo establece que la estabilidad pareada es un concepto mucho más robusto de lo que se pensaba, extendiéndose más allá de las estrictas condiciones de sustituibilidad. Proporciona un marco unificado que funciona tanto en modelos con contratos como sin ellos.
• Límites de la Estabilidad: Al probar la maximalidad, el artículo define los límites precisos de cuán "irracional" o complementario pueden ser las preferencias de los agentes antes de que el mercado deje de tener un equilibrio estable pareado.

Conclusión

El artículo de Guiñazú et al. (2026) es una contribución fundamental a la teoría de emparejamiento. Introduce el concepto de pseudo-sustituibilidad, demostrando que es el dominio más amplio posible que garantiza la existencia de asignaciones estables pareadas en mercados muchos-a-muchos. Al hacerlo, el trabajo no solo resuelve una cuestión teórica abierta sobre la maximalidad de los dominios de estabilidad, sino que también ofrece una herramienta analítica para entender la robustez de los mercados descentralizados frente a desviaciones unilaterales y complementariedades limitadas.