📈 economics

The algebraic structures of social organizations: the operad of cooperative games

Este artículo establece un marco conceptual para la teoría de juegos cooperativos mediante la teoría de operados algebraicos, demostrando que la estructura de estos juegos es isomorfa a la de las álgebras triasociativas conmutativas y que conceptos clave como el núcleo y el valor de Shapley se comportan de manera predecible bajo composición.

Autores originales: Dylan Laplace Mermoud, Victor Roca i Lucio

Publicado 2026-04-08

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Dylan Laplace Mermoud, Victor Roca i Lucio

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que la Teoría de Juegos Cooperativos es como un gigantesco manual de instrucciones para entender cómo se organizan las sociedades, desde una pequeña reunión de amigos para elegir una película, hasta la formación de gobiernos complejos o la toma de decisiones en la Unión Europea.

El problema que los autores de este artículo (Dylan Laplace Mermoud y Victor Roca i Lucio) quieren resolver es que, hasta ahora, estudiar estos juegos era como intentar entender una ciudad mirando solo una foto estática de cada edificio por separado. Sabíamos cómo funcionaba cada grupo pequeño, pero nos costaba entender cómo se unían esos grupos para formar algo más grande.

Aquí tienes la explicación de su descubrimiento, usando analogías sencillas:

1. El Juego de los "Juegos" (La idea central)

Imagina que tienes un juego de bloques de construcción (LEGO).

Un juego cooperativo es como un pequeño castillo que has construido con algunos bloques. Representa un grupo de personas que deciden trabajar juntas.
La gran pregunta es: ¿Qué pasa si tomo un bloque de un castillo y lo reemplazo por otro castillo entero?

Los autores dicen: "¡Eso es lo que hacemos en la vida real!". Por ejemplo, en una elección nacional, no votamos como individuos aislados; votamos como partidos, que a su vez están formados por miembros, y esos miembros tienen sus propias dinámicas internas.

El papel propone una nueva forma de matemáticas (llamada "Operad") que actúa como una "caja de herramientas universal" para pegar estos juegos entre sí de manera lógica y predecible.

2. La "Fórmula Mágica" (La Composición)

Antes de este trabajo, los matemáticos tenían varias formas de sumar o multiplicar juegos, pero eran como recetas de cocina separadas: una para hornear pasteles, otra para hacer sopa, pero ninguna decía cómo hacer un "pastel de sopa".

Los autores han creado una fórmula maestra (una operación de composición) que unifica todas esas recetas anteriores.

La analogía: Imagina que tienes un juego simple: "Si tienes una llave, abres la puerta".
Ahora, en lugar de una sola llave, decides que esa "llave" es en realidad un equipo de 5 personas que tienen que ponerse de acuerdo para girarla.
La fórmula de los autores te dice exactamente cómo calcular el poder de ese nuevo equipo gigante basándose en cómo funcionaba la llave sola y cómo funciona el equipo de 5.

3. El Secreto: Todo se reduce a dos bloques básicos

Lo más sorprendente del artículo es que descubrieron que cualquier juego complejo (sin importar cuántas personas participen) se puede descomponer y reconstruir usando solo dos tipos de "bloques fundamentales":

El Juego del Dictador: Donde una sola persona tiene todo el poder (como un rey absoluto).
El Juego de la Negociación: Donde dos personas deben ponerse de acuerdo para ganar (como un matrimonio que decide qué cenar).

La analogía: Es como descubrir que cualquier edificio del mundo, desde una cabaña hasta un rascacielos, se puede construir usando solo ladrillos rojos y azules. Si entiendes cómo funcionan esos dos ladrillos y cómo se pegan, puedes entender cualquier estructura social.

4. ¿Por qué es útil esto? (Las "Sub-estructuras")

El papel también demuestra que ciertas "clases" de juegos son estables.

Si tomas juegos que ya son "justos" o "equilibrados" y los pegas usando su fórmula, el resultado sigue siendo justo y equilibrado.
Esto es como decir: "Si mezclas agua pura con agua pura, sigues teniendo agua pura". No necesitas preocuparte de que se convierta en lodo.
Esto ayuda a los economistas y políticos a saber que, al analizar sistemas complejos (como el mercado o las leyes), las propiedades básicas de cooperación no se rompen al hacer la cuenta.

5. Las Soluciones: ¿Quién gana qué?

En la teoría de juegos, siempre nos preguntamos: "¿Cómo se reparten las ganancias?". Hay dos formas famosas de hacerlo:

El Valor de Shapley: Una forma de repartir basándose en la contribución promedio de cada uno.
El Índice de Banzhaf: Una forma de medir el poder real de voto (¿qué tan probable es que tu voto decida el resultado?).

El artículo da una receta exacta para calcular quién gana en un juego compuesto.

La analogía: Si quieres saber cuánto dinero le toca a un empleado en una gran corporación, no necesitas hacer una encuesta nueva. Solo necesitas saber cuánto valía el empleado en su pequeño equipo (su juego original) y cuánto valía el equipo en la gran empresa (el juego quotient). Los autores te dan la fórmula para multiplicar esos dos valores y obtener el resultado final.

En resumen

Este papel es como encontrar el ADN de la cooperación social.
Demuestra que, aunque las sociedades humanas parecen caóticas y complejas, en el fondo siguen reglas matemáticas muy ordenadas. Nos dicen que podemos entender cualquier sistema social complejo descomponiéndolo en sus partes más pequeñas (dictadores y negociadores) y usando una "pegamento matemático" especial para volver a armarlo, sabiendo exactamente cómo cambiará el poder y la riqueza en el proceso.

Es un avance enorme porque transforma el estudio de la cooperación de una colección de casos aislados a una ciencia unificada y predecible.

A continuación presento un resumen técnico detallado del artículo "The Algebraic Structures of Social Organizations: The Operad of Cooperative Games" de Dylan Laplace Mermoud y Victor Roca i Lucio.

1. Planteamiento del Problema

La teoría de juegos cooperativos modela situaciones donde grupos de individuos deciden cooperar. Un juego cooperativo se define matemáticamente como una función $v$ que asigna un valor a cada coalición posible de un conjunto de $n$ jugadores. Sin embargo, la teoría tradicional enfrenta una dificultad fundamental: la falta de estructura algebraica inherente.

Complejidad: Describir un juego de $n$ jugadores requiere especificar $2^n - 1$ valores, lo que hace que la complejidad crezca exponencialmente.
Composición de Juegos: En la realidad social (ej. elecciones parlamentarias, consejos de la UE), los juegos suelen ser compuestos: el comportamiento de un jugador está determinado por sub-juegos (ej. elecciones nacionales).
Falta de Marco Unificado: Aunque existen nociones previas de suma, producto y composición de juegos (introducidas por von Neumann, Morgenstern, Shapley y Owen), estas son ad hoc y carecen de un tratamiento algebraico sistemático. No existe un marco unificado que permita estudiar la agregación y desagregación de juegos de manera general y rigurosa.

El objetivo principal del artículo es establecer un marco conceptual algebraico donde la noción de composición/agregación de juegos sea la estructura definitoria, permitiendo analizar cómo las soluciones y propiedades de los juegos se comportan bajo estas operaciones.

2. Metodología

Los autores utilizan la teoría de operados algebraicos (algebraic operads) para codificar la estructura composicional de los juegos cooperativos.

Operados: Un operado es una estructura algebraica que codifica operaciones con múltiples entradas y una salida, junto con reglas de composición. En este contexto, los elementos del operado son los juegos cooperativos.
Composición Parcial: Se define una operación de composición parcial $\circ_i$ $\circ_{i}$ que reemplaza al jugador $i$ $i$ en un juego $\Gamma_A$ $Γ_{A}$ por un sub-juego $\Gamma_B$ $Γ_{B}$ .
- Si $\Gamma_A = (A, \alpha)$ y $\Gamma_B = (B, \beta)$ , el juego compuesto $\Gamma_A \circ_i \Gamma_B$ tiene un conjunto de jugadores $(A \setminus \{i\}) \cup B$ .
- La función de valor $\gamma$ se define mediante la fórmula:
  $\gamma(S) = \beta(B)\alpha(S_A) + \partial_i \alpha(S_A) \cdot \beta(S_B)$
  Donde $S_A = S \cap A$ , $S_B = S \cap B$ y $\partial_i \alpha$ es la derivada marginal del jugador $i$ . Esta fórmula combina el valor del juego base (escalado por el valor total del sub-juego) y la contribución marginal del jugador reemplazado multiplicada por el valor del sub-juego.
Transformada de Möbius: Se utiliza la transformada de Möbius (que codifica los dividendos de Harsanyi) como una herramienta clave para cambiar de base en el espacio de juegos, pasando de la base de juegos de Dirac a la base de juegos de unanimidad.

3. Contribuciones Clave y Resultados Principales

A. Estructura de Operado de los Juegos Cooperativos

Teorema 1: Se demuestra que el conjunto de todos los juegos cooperativos, dotado de las aplicaciones de composición parcial $\{\circ_i\}$ , forma un operado unital.
Generalización: Esta estructura generaliza todas las nociones previas de composición (suma y producto de Shapley, composición tensorial de Owen) como casos particulares de composición total en el operado.

B. Presentación Explícita e Isomorfismo

Teorema 4: Se establece un isomorfismo canónico entre el operado de juegos cooperativos ( $\mathcal{G}$ $G$ ) y el operado que codifica las álgebras trialgebras conmutativas ( $\text{ComTriass}$ $ComTriass$ ), definido por Vallette.
- El isomorfismo se realiza a través de la transformada de Möbius.
- Generadores: Cualquier juego cooperativo de $n$ $n$ jugadores puede expresarse como una combinación lineal de composiciones iteradas de dos juegos básicos de 2 jugadores:
  1. El juego de bargaining (negociación) de 2 jugadores ( $B$ ).
  2. Los juegos de dictador de 2 jugadores ( $d_1, d_2$ ).
Esto proporciona una presentación explícita del operado mediante generadores y relaciones.

C. Suboperados Estables

Los autores identifican que muchas clases importantes de juegos en la literatura son suboperados (estables bajo la composición parcial), lo que significa que la composición de juegos de estas clases permanece dentro de la misma clase:

Juegos Normalizados y Simples Monótonos: Recuperan la estructura de los "clutters" combinatorios.
Capacidades (Medidas Difusas): Juegos no negativos y monótonos.
Juegos Convexos (y $k$ -monótonos): Incluyen las funciones de creencia (belief functions) de la teoría de Dempster-Shafer.
Juegos Submodulares (y $k$ -alternantes): Incluyen las medidas de plausibilidad.
Juegos Balanceados: Juegos con núcleo no vacío (teorema de Bondareva-Shapley).

D. Geometría: Permutahedros Generalizados

Existe una biyección entre juegos convexos no negativos y permutahedros generalizados (en el sentido de Postnikov).
Corolario: La colección de todos los permutahedros generalizados hereda una estructura de operado a través de esta correspondencia. Esto conecta la teoría de juegos con la geometría discreta y la teoría de matroides (polimatroides).

E. Agregación de Soluciones

El estudio de cómo las soluciones clásicas se comportan bajo la composición es un aporte fundamental:

Núcleo (Core): Se demuestra que el núcleo es compatible con la estructura de operado. Si los núcleos de los componentes son no vacíos, el núcleo del juego compuesto también lo es. Se define un producto tensorial parcial que mapea el producto de los núcleos de los componentes al núcleo del juego compuesto.
Valor de Shapley: Se deriva una fórmula explícita para el valor de Shapley de un juego compuesto en términos de la transformada de Möbius de los componentes.
Índice de Banzhaf: Se demuestra un resultado notable: el índice de Banzhaf de un juego compuesto es el producto tensorial parcial del índice de Banzhaf del juego "cuociente" (el juego base) y el valor de Shapley del juego componente (sub-juego), escalado por un factor $2^{|B|-1}$ .
$\psi(\Gamma_A \circ_i \Gamma_B) = \frac{\psi(\Gamma_A) \otimes_i \phi(\Gamma_B)}{2^{|B|-1}}$
Esto revela una profunda relación algebraica entre estos dos conceptos de poder.

4. Significado e Impacto

Este trabajo representa un cambio de paradigma en la teoría de juegos cooperativos al:

Unificar la Teoría: Proporciona el primer marco algebraico sistemático que engloba todas las nociones dispersas de composición de juegos, permitiendo tratar problemas de agregación de manera unificada.
Conectar Disciplinas: Establece puentes sólidos entre la teoría de juegos, la teoría de operados (álgebra homotópica), la geometría combinatoria (permutahedros) y la teoría de la evidencia (Dempster-Shafer).
Nuevas Estructuras Geométricas: La inducción de una estructura de operado sobre los permutahedros generalizados abre nuevas vías de investigación en geometría discreta y optimización combinatoria.
Robustez de Soluciones: Al demostrar que clases importantes de juegos (como los convexos o balanceados) son suboperados, se garantiza que las propiedades deseables de estos juegos se preservan al modelar sistemas sociales complejos y jerárquicos.
Fórmulas Nuevas: Las fórmulas explícitas para el Valor de Shapley y el Índice de Banzhaf en juegos compuestos ofrecen herramientas computacionales y teóricas para analizar sistemas de votación y distribución de recursos en estructuras multinivel.

En resumen, el artículo demuestra que la estructura subyacente de las organizaciones sociales, modeladas como juegos cooperativos, es rica y algebraicamente estructurada, permitiendo descomponer problemas complejos en componentes más simples mediante una teoría de composición rigurosa.