Resumen Técnico: Centralización y Estabilidad en Constituciones Formales

1. Declaración del Problema

El artículo investiga la dinámica de los procedimientos de toma de decisiones dentro de sistemas formales, centrándose específicamente en si un método de votación (Función de Elección Social o SCF) puede ser estable frente a su reemplazo por otro método. Esto se motiva por la observación de que en sistemas como las Organizaciones Autónomas Descentralizadas (DAO), el propio mecanismo de votación está sujeto a cambios mediante propuestas. La pregunta central es: ¿Qué reglas de votación son "automantenibles"?

Una SCF se define como automantenible si, cuando los agentes votan según sus preferencias ex-ante entre la SCF incumbente y cualquier SCF de reemplazo potencial, la SCF incumbente agrupa esos votos para rechazar el reemplazo. El artículo explora cómo la estabilidad de estas reglas se correlaciona con la centralización, preguntando específicamente si las estructuras democráticas u oligárquicas tienden a evolucionar hacia la dictadura bajo diversas estructuras de creencias y reglas de desempate.

2. Metodología

2.1 Modelo Formal

• Agentes y Creencias: El modelo considera $n \ge 3$ agentes. Los agentes sostienen creencias sobre la distribución de los vectores de votación futuros (decisiones). Estas creencias se modelan como distribuciones de probabilidad $F$ sobre $\{0, 1\}^n$.
• Utilidad: La utilidad ex-ante de un agente para una SCF $f$ es la probabilidad de que el resultado de $f$ coincida con la preferencia del agente para una decisión extraída de su distribución de creencias: $u_i(f, F) = P_{v \sim F}[f(v) = v_i]$.
• Condición de Automantenimiento: Una SCF $f$ es automantenible si, para cualquier alternativa $f'$, el voto para reemplazar $f$ con $f'$ (donde los agentes votan basándose en comparar $u_i(f)$ y $u_i(f')$) falla cuando es agregado por $f$.
• Desempate: El artículo analiza dos reglas de desempate para agentes indiferentes entre $f$ y $f'$:
  1. Arbitrario: Los agentes pueden votar de cualquier manera.
  2. Sesgo por el Statu Quo (SQB): Los agentes indiferentes votan por mantener la regla actual ($f$).

2.2 Enfoques sobre las Creencias

Los autores evalúan la estabilidad bajo tres enfoques epistémicos distintos:

1. Optimista: Una SCF es automantenible si existe una creencia común $F$ que la respalda.
2. Pesimista: Una SCF es automantenible solo si es respaldada por todas las creencias comunes $F$.
3. I.I.D. (Independientes e Idénticamente Distribuidas): Las preferencias de los agentes se modelan como variables de Bernoulli con parámetro $p$. El artículo se centra en el caso imparcial ($p=0.5$) y en los casos sesgados.

2.3 Dominios

El análisis se realiza a través de tres dominios de SCF:

1. Funciones Booleanas Generales ($D_G$): Todas las aplicaciones $\{0, 1\}^n \to \{0, 1\}$.
2. Juegos Simples ($D_S$): SCF monótonas y no triviales (incentivo-compatible).
3. Juegos de Mayoría Ponderada ($D_W$): SCF definidas por pesos y un umbral (por ejemplo, votación basada en tokens).

2.4 Extensiones

• Agentes con Visión de Futuro: Los agentes consideran la trayectoria a largo plazo de los cambios (por ejemplo, si cambiar a $f'$ conduce a $f''$, podrían preferir quedarse en $f$).
• Valor Común (Teorema del Jurado de Condorcet): Los agentes derivan utilidad no solo de ganar (extractiva) sino de tomar la decisión "correcta" basada en señales agregadas (participativa).

3. Contribuciones y Resultados Clave

3.1 Enfoque Optimista

• Desempate Arbitrario: Una SCF es automantenible si y solo si es propia (nunca produce 1 tanto para un vector $v$ como para su negación $\neg v$). En el dominio de los Juegos de Mayoría Ponderada, todas las reglas son propias, lo que significa que todo el dominio es automantenible.
• Sesgo por el Statu Quo (SQB): Una SCF es automantenible si es propia o preservadora de nulos (produce 0 cuando todos votan 0). Dado que todos los juegos simples y los juegos de mayoría ponderada son preservadores de nulos, todo el dominio es automantenible bajo SQB.

3.2 Enfoque Pesimista

• Desempate Arbitrario: En el dominio general $D_G$, solo la función constante-0 es automantenible. En $D_S$ y $D_W$, ninguna SCF es automantenible.
• Sesgo por el Statu Quo (SQB): El artículo proporciona una caracterización ajustada para $D_S$ y $D_W$. Las únicas reglas automantenibles son:
  1. Dictadura: Un solo agente decide.
  2. 3-Oligopolio: Una regla donde una mayoría de un conjunto específico de 3 agentes decide.
  3. Poli-Duopolios (PDP): Reglas donde las coaliciones ganadoras mínimas son pares, y un agente específico aparece en todos los pares (por ejemplo, un "jugador de veto" combinado con un socio).
  • Nota: El artículo demuestra que cualquier regla con una coalición ganadora mínima de tamaño $\ge 3$ (distinta del 3-oligopolio) es inestable bajo creencias pesimistas.

3.3 Enfoque I.I.D. (Imparcial)

• Funciones Booleanas Generales: Las únicas reglas automantenibles son las Dictaduras, las Anti-Dictaduras y la función Constante-0.
• Juegos Simples: Solo las Dictaduras son automantenibles.
• Juegos de Mayoría Ponderada: Aunque las dictaduras son estables, el artículo identifica una brecha donde ciertos PDP (específicamente aquellos con un jugador de veto y un umbral) pueden ser automantenibles bajo creencias i.i.d. imparciales, a diferencia de lo que ocurre en el dominio general de juegos simples.

3.4 Agentes con Visión de Futuro

Cuando los agentes anticipan cambios futuros (modelados como un grafo acíclico dirigido de transiciones):

• Para $n=3$, el conjunto de reglas automantenibles con visión de futuro es idéntico al conjunto de SQB pesimista.
• Para $n=4$ y $n=5$, el conjunto se expande estrictamente. Las reglas que no son estables bajo un análisis de un solo paso se vuelven estables porque los agentes se dan cuenta de que moverse a una alternativa "mejor" podría conducir a un resultado peor más adelante. Estas nuevas reglas estables a menudo tienen un mayor bienestar de Nash y bienestar social que las dictaduras u oligarquías estándar.

3.5 Valor Común (Extractivo vs. Participativo)

En un modelo donde la utilidad es una mezcla de poder extractivo ($\lambda$) y precisión de la decisión ($p$):

• Alto Extractivo ($\lambda \to 1$): El sistema converge hacia Dictadura o pequeñas oligarquías (Consenso-Duopolio).
• Alto Participativo ($\lambda \to 0$): El sistema converge hacia Democracia Plena (grandes comités).
• Caso Mixto: Existe una relación monótona donde aumentar la naturaleza extractiva de la economía o la precisión de las señales individuales ($p$) conduce a oligarquías estables más pequeñas.
• Dinámica: El sistema exhibe sensibilidad a las condiciones iniciales. Comenzar con una asignación de tokens altamente distribuida (por ejemplo, mediante airdrops) puede conducir a un comité grande estable, mientras que los puntos de partida concentrados conducen a la dictadura.

4. Significado y Afirmaciones

El artículo afirma proporcionar un "marco básico y un cuerpo de resultados para la dinámica de centralización y la estabilidad". Sus contribuciones principales son:

1. Fundamento Teórico para la Gobernanza de DAO: Ofrece un microfundamento para la centralización observada en las DAO, sugiriendo que, sin restricciones específicas, la dinámica de las reglas de votación autorreferenciales impulsa naturalmente a los sistemas hacia la centralización (dictadura o pequeñas oligarquías).
2. Refutación de la Estabilidad de la Mayoría Simple: En contraste con trabajos anteriores (Barbera & Jackson, 2004) que encontraron la mayoría simple estable bajo anonimato, este artículo muestra que eliminar la restricción de anonimato (permitiendo votación ponderada o reglas no neutrales) conduce al colapso de la estabilidad democrática hacia la dictadura bajo supuestos pesimistas o i.i.d.
3. Papel del Desempate y las Creencias: Los resultados destacan que la estabilidad es altamente sensible a las reglas de desempate (SQB vs. Arbitrario) y a la naturaleza de las creencias de los agentes (Optimista vs. Pesimista).
4. Implicaciones de Política: Los autores sugieren que lograr estados estables inclusivos y descentralizados en sistemas formales (como las DAO) requiere condiciones iniciales específicas, como asignaciones distributivas de tokens (airdrops/ICOs), para arrancar el sistema hacia una cuenca de atracción para grandes comités en lugar de dictaduras.
5. Extensión de la Teoría de la Elección Social: El artículo extiende el concepto de "autoselectividad" (Koray, 2000) relajando el axioma de neutralidad, argumentando que las constituciones naturalmente diferencian entre el statu quo y el cambio, y mostrando cómo esto afecta los resultados de estabilidad.

El artículo concluye que, aunque la "sabiduría de las multitudes" (efectos del Teorema del Jurado de Condorcet) puede apoyar comités grandes estables, la naturaleza extractiva de la asignación de recursos en muchos sistemas crea una fuerte atracción gravitacional hacia la centralización.