Sequential Apportionment from Stationary Divisor Methods

Aquí presento un resumen técnico detallado del artículo "Sequential Apportionments from Stationary Divisor Methods" (Asignaciones Secuenciales desde Métodos de Divisor Estacionario), escrito por Michael A. Jones, Brittany Ohlinger y Jennifer Wilson.

1. Introducción y Planteamiento del Problema

El artículo aborda un aspecto menos explorado de los métodos de asignación de escaños en sistemas de representación proporcional: la secuencia en la que se otorgan los escaños, más allá del resultado final de la distribución.

• Contexto: Los métodos de divisor (como D'Hondt/Jefferson, Adams, Sainte-Laguë/Webster) son conocidos por satisfacer la monotonía de la cámara (house monotonicity), lo que permite asignar escaños de forma secuencial (uno a uno).
• Aplicación Práctica: Esta secuencia es crucial en la formación de gobiernos de coalición (ej. Irlanda del Norte), donde el orden de asignación determina qué partido obtiene qué ministerio. También tiene aplicaciones en problemas de secuencia "Just-in-Time" (JIT) en la producción industrial.
• El Problema: Aunque se sabe que los métodos de divisor estacionario generan secuencias periódicas cuando los votos son enteros, no existía una caracterización completa de todas las secuencias posibles, ni una fórmula para contarlas en función de los votos y el parámetro del método.
• Objetivo: Caracterizar el conjunto de todas las secuencias de asignación posibles para métodos de divisor estacionario, establecer su relación con el parámetro de corte $c$, y determinar el número de secuencias distintas para $n$ partidos.

2. Metodología y Marco Teórico

Los autores se centran en los métodos de divisor estacionario, definidos por un punto de corte fijo $c \in [0, 1]$. El divisor para un partido $i$ con $a_i$ escaños actuales es $a_i + c$.

• Métodos Clave:
  • $c=0$: Método de Adams (favorece a partidos pequeños).
  • $c=0.5$: Método de Sainte-Laguë/Webster.
  • $c=1$: Método de D'Hondt/Jefferson (favorece a partidos grandes).
• Propiedades Utilizadas:
  • Homogeneidad y Proporcionalidad Débil: Si los votos son proporcionales a los escaños, el método asigna exactamente esos escaños.
  • Periodicidad: Para votos enteros, la secuencia de asignación es periódica. El periodo $P$ es $(p_1 + \dots + p_n) / \text{mcd}(p_1, \dots, p_n)$.
  • Consistencia: La asignación entre dos partidos no depende de la presencia de terceros. Esto permite construir secuencias de $n$ partidos a partir de pares de partidos.

3. Contribuciones Clave y Resultados

A. Reinterpretación del Sesgo de Tamaño

El artículo redefine el concepto de "sesgo" en los métodos de asignación. Tradicionalmente, se veía como una diferencia en el número de escaños totales. Los autores proponen una visión refinada basada en el orden lexicográfico de las secuencias:

• El sesgo no es solo cuántos escaños recibe un partido, sino cuándo los recibe.
• Se establece un ordenamiento lexicográfico: si $c > c'$, la secuencia $S_c$ es lexicográficamente menor o igual que $S_{c'}$.
• Teorema 1: Existe una relación directa entre los métodos de Adams ($c=0$) y D'Hondt ($c=1$). La secuencia de Adams es simplemente la secuencia de D'Hondt desplazada, donde los primeros $n$ escaños se asignan uno a cada partido (ordenados por tamaño de voto), seguidos por la secuencia de D'Hondt.

B. Caracterización para Dos Partidos ($n=2$)

Para dos partidos con votos $p_1 > p_2$ (coprimos):

• Estructura de la Secuencia: La secuencia periódica tiene la forma $1^{k_1}, 2, 1^{k_2}, 2, \dots, 1^{k_{p_2}}, 2, 1^{p_1 - \sum k_i}$.
• Lema 1: Un partido más pequeño (2) nunca recibe dos escaños consecutivos.
• Teorema 3 y 4: Se derivan fórmulas explícitas para los exponentes $k_i$ en función de $c$. Se demuestra que la secuencia es constante en intervalos de la forma $[\frac{\ell}{p_1-p_2}, \frac{\ell+1}{p_1-p_2})$.
• Conteo: El número de secuencias distintas para dos partidos es $p_1 - p_2 + 1$ (incluyendo el caso $c=1$).

C. Extensión a $n$ Partidos y Algoritmo de "Lifting"

El artículo generaliza los resultados a $n$ partidos mediante la propiedad de consistencia:

• Algoritmo 1 (Lifting): Propone un algoritmo mecánico para construir la secuencia de $n$ partidos a partir de las $\binom{n}{2}$ secuencias de pares de partidos.
  • El algoritmo superpone las secuencias de pares. En cada paso, el partido que aparece como el primer elemento en $n-1$ de las secuencias de pares es el que recibe el siguiente escaño en la secuencia global.
• Teorema 6: Demuestra que este algoritmo genera correctamente la secuencia de asignación para $n$ partidos.
• Teorema 7: Proporciona condiciones necesarias y suficientes para que una secuencia periódica dada sea generada por un método de divisor estacionario, verificando que todas sus subsecuencias de pares satisfagan las condiciones de los dos partidos.

D. Conteo de Secuencias Distintas ($n$ Partidos)

• Teorema 8: Utiliza el Principio de Inclusión-Exclusión para contar el número total de secuencias distintas posibles.
  • Se define un conjunto de puntos de corte para cada par de partidos.
  • El número total de secuencias es $1 + |\bigcup A_k|$, donde $A_k$ son los conjuntos de puntos de corte de los pares.
  • La fórmula final involucra el máximo común divisor (mcd) de los denominadores de los intervalos de los pares.
• Corolario 5: Si hay partidos con votos iguales, el número de secuencias es el mismo que si se considerara solo un subconjunto de partidos con votos distintos (los partidos con votos iguales se asignan en bloque secuencial).

4. Ejemplos y Aplicaciones

• Irlanda del Norte (2022): Los autores analizan la formación del gabinete de Irlanda del Norte. Muestran cómo cambiar el método de divisor (variando $c$) alteraría el orden en que los partidos (SF, DUP, AP, UUP) obtienen los ministerios, incluso si el número total de escaños final fuera similar.
• Caso Numérico: Presentan ejemplos detallados con $p=(16, 11, 7)$ y $p=(25, 17, 13, 5)$, calculando explícitamente las secuencias y el número de variaciones posibles (17 secuencias para el segundo caso).

5. Significado e Impacto

1. Avance Teórico: Es el primer trabajo que caracteriza completamente el espacio de secuencias posibles para métodos de divisor estacionario y proporciona fórmulas exactas para su conteo.
2. Nueva Perspectiva sobre el Sesgo: Cambia el paradigma de ver el sesgo como una cantidad estática a verlo como una dinámica temporal (orden de llegada). Esto ofrece una herramienta más matizada para evaluar la equidad de los sistemas electorales.
3. Herramienta Práctica: El algoritmo de "lifting" y las fórmulas de conteo permiten a legisladores y analistas predecir cómo cambiaría la asignación de ministerios o recursos bajo diferentes reglas de divisor, facilitando la negociación política y la planificación en sistemas JIT.
4. Relación Adams-D'Hondt: La identificación de la relación estructural entre los métodos extremos (Adams y D'Hondt) ofrece una comprensión más profunda de la familia de métodos de divisor.

En conclusión, el paper demuestra que, aunque los métodos de divisor estacionario pueden parecer similares en sus resultados finales, generan un conjunto discreto y finito de trayectorias secuenciales distintas, cuyo número y estructura dependen matemáticamente de la relación entre los votos de los partidos y el parámetro de corte $c$.