Null player neutrality in TU-games: Egalitarian and Shapley solutions

Resumen Técnico: Neutralidad del Jugador Nulo en Juegos Cooperativos con Utilidad Transferible (JUT)

Enunciado del Problema
En la teoría de juegos cooperativos con utilidad transferible (JUT), la asignación del valor entre los jugadores suele regirse por axiomas estructurales como la eficiencia, la linealidad y la simetría. Dos soluciones polares dominan la literatura: el valor de Shapley, que encarna una perspectiva marginalista al recompensar a los jugadores en función de sus contribuciones marginales esperadas, y la solución de división igualitaria, que asigna el valor de la coalición grande de manera uniforme independientemente de la productividad individual.

El valor de Shapley se caracteriza clásicamente por la Propiedad del Jugador Nulo, que exige que cualquier jugador que no contribuye a ninguna coalición reciba un pago de cero. Aunque matemáticamente elegante, esta propiedad incorpora supuestos normativos que pueden entrar en conflicto con principios igualitarios o basados en necesidades de la justicia distributiva (por ejemplo, la equidad rawlsiana), ya que excluye a los agentes no productivos de cualquier parte de la riqueza colectiva. Por el contrario, la solución de división igualitaria satisface un conjunto diferente de intuiciones pero falla en cumplir la propiedad del jugador nulo.

El artículo aborda la brecha entre estos extremos introduciendo un nuevo axioma, la Neutralidad del Jugador Nulo, para analizar sistemáticamente cómo el debilitamiento de los requisitos estrictos de la propiedad del jugador nulo afecta al conjunto de soluciones admisibles.

Metodología
Los autores emplean un enfoque axiomático dentro del marco de los juegos con utilidad transferible. La metodología implica:

1. Definición de Nuevos Axiomas: El artículo introduce la Neutralidad del Jugador Nulo y su dual, la Neutralidad del Jugador Anulador.
   • Neutralidad del Jugador Nulo: Para cualquier juego $v$ y dos juegos de ampliación $w$ y $u$ donde el jugador $i$ es nulo en ambos, si los valores de la coalición grande son iguales ($w(N) = u(N)$), entonces el pago al jugador $i$ en los juegos ampliados debe ser idéntico ($\phi_i(v+w) = \phi_i(v+u)$). Esto debilita la Equivalencia Estratégica Coalicional clásica, que exige que el pago permanezca inalterado independientemente del valor total del juego de ampliación.
   • Neutralidad del Jugador Anulador: Un axioma paralelo para los "jugadores anuladores" (aquellos que reducen el valor de cualquier coalición a cero).
2. Análisis Lógico: Los autores establecen relaciones lógicas entre los nuevos axiomas y las propiedades existentes (por ejemplo, la Propiedad del Jugador Nulo, la Equivalencia Estratégica Coalicional y la propiedad del "Jugador Nulo en un Entorno Productivo").
3. Teoremas de Caracterización: Utilizando la base de los juegos de unanimidad y la linealidad, el artículo deriva condiciones necesarias y suficientes para familias específicas de soluciones.

Contribuciones y Resultados Clave

1. Caracterización de Combinaciones Lineales (Teorema 2):
   El resultado principal demuestra que la Eficiencia, Linealidad, Simetría y Neutralidad del Jugador Nulo caracterizan de manera única a la familia de soluciones definida por:
   $$\phi = \alpha \phi^{ED} + (1-\alpha) \phi^{Sh}$$
   donde $\alpha \in \mathbb{R}$.

   • Esta familia extiende estrictamente los conocidos valores de Shapley $\alpha$-igualitarios (donde $\alpha \in [0, 1]$) a números reales arbitrarios.
   • El resultado generaliza la caracterización clásica de Shapley: reemplazar la Propiedad del Jugador Nulo con la más débil Neutralidad del Jugador Nulo expande el conjunto de soluciones de un solo punto ($\alpha=0$, el valor de Shapley) a una familia de un parámetro.
   • El artículo aclara que la Propiedad del Jugador Nulo es la restricción específica que fuerza $\alpha = 0$.

2. Comparación con la Literatura Existente:

   • vs. Monotonía Débil: El artículo contrasta su resultado con van den Brink et al. (2013), quienes caracterizaron la subfamilia $\alpha \in [0, 1]$ utilizando la Monotonía Débil. Los autores muestran que la Neutralidad del Jugador Nulo es lógicamente independiente de la Monotonía Débil y permite $\alpha < 0$ y $\alpha > 1$, ampliando así estrictamente el conjunto admisible.
   • vs. Propiedad del Entorno Productivo: El artículo compara con Casajus y Huettner (2013), quienes utilizaron la propiedad del "Jugador Nulo en un Entorno Productivo" para caracterizar la subfamilia con $\alpha \geq 0$. Los autores demuestran que, bajo linealidad, la propiedad del entorno productivo implica la Neutralidad del Jugador Nulo, pero el recíproco no se cumple, lo que explica el alcance más amplio del Teorema 2.

3. Análisis Dual de Jugadores Anuladores (Teorema 4):
   El artículo introduce un análisis paralelo para los jugadores anuladores.

   • A diferencia del caso del jugador nulo, se demuestra que la Neutralidad del Jugador Anulador es equivalente a la Equivalencia Coalicional Estándar (Proposición 2).
   • En consecuencia, la Eficiencia, Simetría y Neutralidad del Jugador Anulador caracterizan de manera única a la Solución de División Igualitaria ($\phi \equiv \phi^{ED}$).
   • Cabe destacar que esta caracterización no requiere el axioma de Linealidad, a diferencia del caso del jugador nulo. Esto crea una dicotomía nítida: la Neutralidad del Jugador Nulo permite un continuo de soluciones, mientras que la Neutralidad del Jugador Anulador colapsa el conjunto a una única solución.

Significado y Afirmaciones
El artículo afirma que la introducción de la Neutralidad del Jugador Nulo ofrece un "punto medio natural" que relaja la rigidez normativa de la Propiedad del Jugador Nulo sin descartar la disciplina estructural de la eficiencia y la simetría.

• Implicación Normativa: La relajación permite soluciones que pueden compensar a los jugadores nulos (cuando $\alpha > 1$) o penalizar el componente de división igualitaria en relación con el valor de Shapley (cuando $\alpha < 0$), proporcionando una base axiomática más flexible para estudiar la solidaridad y la redistribución.
• Perspectiva Estructural: El trabajo destaca una asimetría fundamental en la teoría de juegos cooperativos: el tratamiento de los jugadores nulos (que no añaden valor) permite un espectro de asignaciones, whereas el tratamiento de los jugadores anuladores (que destruyen valor) impone rígidamente la división igualitaria.
• Unificación Teórica: Al extender los valores de Shapley $\alpha$-igualitarios a $\alpha \in \mathbb{R}$, el artículo proporciona un marco unificado que abarca tanto los extremos marginalistas e igualitarios como las combinaciones lineales entre ellos y más allá.

Los autores mantienen una postura modesta, señalando que su caracterización depende del conjunto específico de axiomas elegido y que la independencia de estos axiomas (demostrada en las Observaciones 3 y 6) confirma la necesidad de cada condición para los resultados derivados.