A House Monotone, Coherent, and Droop Proportional Ranked Candidate Voting Method

Este artículo describe un método de votación por candidatos clasificados basado en el procedimiento de Phragmén que genera una lista proporcional coherente y monótona respecto al tamaño de la casa, cumple con el criterio de proporcionalidad Droop y asegura que el candidato mejor clasificado sea el ganador de la elección instantánea por rondas.

Lo esencial

Imagina que organizar una elección política es como organizar una gran cena familiar donde hay que elegir quiénes se sientan a la mesa. El problema es que hay muchos comensales (votantes) con gustos diferentes y queremos que la mesa refleje fielmente a todos los grupos, sin que nadie se sienta ignorado ni que un grupo pequeño robe el lugar de un grupo grande.

Este paper de Ross Hyman presenta una nueva "receta" para elegir a los ganadores de una votación. Es una mezcla de matemáticas antiguas y lógica moderna para crear una lista de candidatos que sea justa, estable y proporcional.

Aquí te lo explico con analogías sencillas:

1. El Problema: La "Paradoja de la Mesa"

Antiguamente, existían métodos para repartir asientos (como el de Hamilton) que tenían un defecto extraño: si añadías más sillas a la mesa, ¡alguien podía perder su lugar! O si añadías un nuevo invitado a la fiesta, alguien más podía perder su asiento. A esto se le llama la "Paradoja de Alabama" o la "Paradoja del Nuevo Estado".

La mayoría de los países usan métodos matemáticos (métodos de divisores) para evitar esto en las elecciones de partidos. Pero cuando los votantes eligen personas y las ordenan por preferencia (como en el sistema de "Voto Único Transferible" o STV), estos métodos a veces fallan y crean esas paradojas.

2. La Solución: Una "Lista de Espera" Perfecta

El autor propone un método nuevo que hace tres cosas importantes:

• Proporcionalidad Droop: Si un grupo de gente es lo suficientemente grande (más de un "cuarto" del total, por ejemplo), aseguran tener sus representantes en la mesa. Nadie puede ignorar a una minoría grande.
• Monotonía de la Casa (House Monotonicity): Si ganas en una elección de 3 personas, también deberías ganar en una elección de 4, 5 o 10. No puedes "perder" tu puesto solo porque añadieron más sillas a la mesa.
• Coherencia: Si divides la fiesta en dos salones separados y haces las elecciones por separado, los resultados deben ser los mismos que si hicieras la elección en la sala grande junta. No importa cómo agrupes a la gente, la lógica debe mantenerse.

3. El Método: "Top-Down Phragmén" (El Chef que Construye desde Arriba)

El autor usa una idea matemática de un hombre llamado Phragmén (de 1895), pero la adapta para que funcione con listas de preferencias.

Imagina que el método funciona como un chef que construye una torre de platos:

• El enfoque "Bottom-Up" (De abajo hacia arriba): Algunos métodos antiguos intentan quitar el plato más feo de la base, luego el siguiente, hasta que solo queda la torre perfecta. El problema es que a veces, al quitar el plato de abajo, la torre se desmorona y el primer plato (el ganador principal) cambia. ¡Es inestable!
• El enfoque "Top-Down" (De arriba hacia abajo) de Hyman: Este método empieza por elegir al ganador indiscutible (el plato más bonito de la cima). Una vez que ese ganador está seguro, el método busca al segundo mejor, asegurándose de que el primero siga ahí. Luego busca el tercero, asegurándose de que los dos primeros sigan ahí.

La analogía de la "Carga de Asientos":
Imagina que cada voto es una persona que lleva una mochila. Cuando una persona vota por un candidato, le pone una "carga" a ese candidato.

• Si un candidato ya tiene demasiada carga (demasiados votos), el sistema le dice: "Baja un poco, deja que otros compartan la carga".
• El sistema busca al candidato que tenga la carga más equilibrada (la mochila más ligera) para elegirlo.
• La innovación de Hyman es que, al elegir al siguiente candidato, el sistema "recuerda" quiénes ya ganaron y ajusta las mochilas de los nuevos candidatos para que no se sientan injustamente favorecidos o perjudicados por los ganadores anteriores.

4. ¿Por qué es especial?

La mayoría de los métodos actuales (como el STV tradicional) pueden dar resultados extraños si cambias el número de ganadores. Por ejemplo, podrías ganar siendo el número 1 en una elección de 3 personas, pero perder si la elección fuera de 4 personas. Eso es confuso y poco justo.

El método de Hyman garantiza que:

1. El Ganador #1 siempre será el mismo que ganaría en una elección de "uno contra todos" (como el sistema de IRV que usan muchos países).
2. Si eres el Ganador #1, #2 y #3 en una lista de 3, seguirás siendo el #1, #2 y #3 si la lista se expande a 100.
3. No necesitas buscar "coaliciones perfectas" (grupos de votantes que votan exactamente igual en todo) para que funcione. Funciona incluso si la gente tiene preferencias un poco mezcladas.

En resumen

Este paper describe un nuevo algoritmo para elegir representantes que es como un arquitecto muy cuidadoso. En lugar de construir la casa desde los cimientos y esperar a ver si el techo aguanta, construye desde el techo hacia abajo, asegurándose de que cada nuevo piso (cada nuevo ganador) encaje perfectamente con los anteriores sin que nadie se caiga.

Es una forma de decir: "Si eres lo suficientemente popular para ganar hoy, seguirás siendo popular mañana, y tu lugar en la lista será justo para todos los grupos de votantes".

Resumen técnico

Resumen Técnico: Un Método de Votación por Candidatos Clasificados Monótono, Coherente y Proporcional Droop

1. Planteamiento del Problema

El artículo aborda una limitación fundamental en los sistemas de representación proporcional de candidatos clasificados, específicamente el Voto Único Transferible (STV) utilizado en países como Australia, Irlanda y Nueva Zelanda. Aunque el STV cumple con el criterio de proporcionalidad de Droop para coaliciones sólidas, adolece de dos defectos críticos que lo hacen inadecuado para generar listas de candidatos proporcionales (necesarias para elecciones de partidos):

1. Falta de Monotonía de la Casa (House Monotonicity): En el STV, los ganadores de una elección de $N$ puestos no siempre son un subconjunto de los ganadores de una elección de $N+1$ puestos. Esto impide crear una lista ordenada donde los primeros $N$ candidatos sean los ganadores de una elección de $N$ puestos. Este fenómeno es análogo a la "Paradoja de Alabama" en la asignación de escaños.
2. Falta de Coherencia: Si un conjunto de votos se divide en dos subconjuntos con candidatos disjuntos, el método no garantiza que el resultado combinado sea consistente con los resultados de los subconjuntos tratados por separado. Esto es análogo a la "Paradoja del Nuevo Estado".

Los métodos de divisor (usados en la asignación de escaños estatales en EE. UU. y en listas de partidos) evitan estas paradojas, pero no funcionan nativamente con votos clasificados por preferencia individual. El objetivo del autor es desarrollar un método que combine la flexibilidad del voto clasificado con las propiedades matemáticas de los métodos de divisor.

2. Metodología

El autor propone un nuevo método de votación basado en la procedimiento de Phragmén, diseñado específicamente para ser de arriba hacia abajo (top-down).

Conceptos Clave:

• Criterio de Proporcionalidad de Droop: Garantiza que si una coalición sólida de votantes (que prefieren un conjunto de candidatos sobre todos los demás) supera $K$ cuotas de Droop ($Q_N = V_{total} / (N+1)$), al menos $K$ candidatos de esa coalición deben ser elegidos.
• Monotonía de la Casa: Los ganadores de $N$ puestos deben ser los mismos $N$ primeros de la lista generada para $N+1$ puestos.
• Coherencia: La consistencia de resultados al dividir o combinar conjuntos de votos con candidatos disjuntos.

El Método Propuesto (Top-down Phragmén):
A diferencia de los métodos "bottom-up" (que eliminan candidatos desde el final de la lista) o el STV tradicional (que usa cuotas fijas), este método construye la lista de ganadores desde el primer puesto hasta el $N$-ésimo.

1. Prioridades y Cargas de Asiento: Utiliza el sistema de Phragmén donde cada voto tiene una "carga de asiento" que contribuye a la elección de candidatos. La prioridad de un candidato se calcula como $P_C = V_C / (1 + S_C)$, donde $V_C$ son los votos y $S_C$ es la carga acumulada.
2. Manejo de Candidatos "Previos" vs. "Esperanzados":
   • En una elección para $M$ puestos, los $M-1$ ganadores anteriores se consideran "previamente elegidos".
   • Los candidatos restantes son "esperanzados".
3. Coaliciones Sólidas Imperfectas: El desafío principal es que, al proteger a los ganadores previos, las prioridades de los candidatos esperanzados pueden distorsionarse si no se cuenta correctamente la carga de los ganadores previos en las coaliciones.
   • El método define coaliciones sólidas imperfectas: conjuntos de votos donde un candidato esperanzado $H$ y un subconjunto de candidatos previamente elegidos son preferidos sobre los demás.
   • Para calcular la prioridad de un candidato esperanzado, el algoritmo simula la elección de $M-1$ candidatos previos dentro de la coalición específica de ese voto, ajustando las cargas de asiento para reflejar que esos candidatos ya están "sentados".
4. Algoritmo de Selección:
   • Se realiza una simulación de Phragmén en un conjunto de votos modificado donde se eliminan candidatos de rango inferior para aislar la competencia.
   • Se promueve al candidato con la prioridad más alta hasta que queda un solo candidato esperanzado.
   • Si un candidato es excluido, se restauran las cargas y se repite el proceso hasta encontrar al ganador del puesto $M$.
   • El método no utiliza cuotas fijas para decidir exclusiones, lo que es crucial para evitar las paradojas de Alabama y Nuevo Estado.

3. Contribuciones Clave

1. Nuevo Algoritmo Top-Down: Presenta un método de lista proporcional basado en Phragmén que no requiere la identificación explícita y exhaustiva de todas las coaliciones sólidas (a diferencia de métodos anteriores de Aziz et al.), haciéndolo computacionalmente más viable.
2. Cumplimiento Triple: El método demuestra matemáticamente que satisface simultáneamente:
   • Proporcionalidad de Droop: Garantiza la representación justa de coaliciones sólidas.
   • Monotonía de la Casa: Permite generar una lista única y ordenada donde los primeros $N$ son siempre los ganadores de una elección de $N$ puestos.
   • Coherencia: Asegura que la división de votos no altere la jerarquía relativa de los candidatos dentro de grupos disjuntos.
3. Resolución de la Discrepancia IRV-STV: Asegura que el primer candidato de la lista (el ganador del puesto 1) sea siempre el ganador del Recuento Instantáneo (IRV), resolviendo la inconsistencia de los métodos bottom-up donde el primer candidato de la lista podía diferir del ganador de una elección de un solo puesto.

4. Resultados y Evidencia

El autor valida el método mediante:

• Ejemplos Numéricos: Utiliza el "Conjunto de Votos Ejemplo 1" (200 votos, 4 candidatos) para demostrar paso a paso cómo el método genera la lista $C > A > B > D$.
  • Para 1 ganador: Gana C (coincide con IRV).
  • Para 2 ganadores: Ganan C y A.
  • Para 3 ganadores: Ganan C, A y B.
  • Esto confirma la monotonía de la casa, ya que el conjunto de ganadores crece consistentemente.
• Pruebas Formales (Sección VI):
  • Prueba de Monotonía: Demuestra que ningún candidato previamente elegido es excluido en rondas posteriores.
  • Prueba de Coherencia: Muestra que las prioridades de un grupo de candidatos dependen solo de los votos de ese grupo, independientemente de otros grupos disjuntos.
  • Prueba de Proporcionalidad de Droop: Mediante inducción, demuestra que el ganador del puesto $M$ siempre pertenece a al menos un conjunto de $N$ ganadores que cumple con el criterio de Droop para todo $N \ge M$.
• Comparación: Se contrasta con el STV tradicional y el método de Otten, mostrando cómo estos últimos fallan en la proporcionalidad de Droop o en la monotonía en casos con candidatos clon (Ejemplo 2).

5. Significado e Implicaciones

Este trabajo es significativo por varias razones:

• Puente Teórico: Cierra la brecha entre los métodos de asignación de escaños (divisores) y los sistemas de voto preferencial (STV/IRV), ofreciendo un marco matemático unificado.
• Aplicabilidad Práctica: Proporciona una solución viable para partidos políticos que necesitan generar listas de candidatos ordenadas mediante votación interna de miembros, asegurando que la lista refleje la voluntad proporcional de la base sin caer en paradojas lógicas.
• Robustez: Al eliminar la dependencia de cuotas fijas para la exclusión, el método evita las inestabilidades que afectan a los métodos basados en cuotas (como el STV estándar o Phragmén basado en cuotas), ofreciendo un sistema más estable y predecible.
• Legitimidad Democrática: Al garantizar que el ganador de un solo puesto (IRV) sea el líder de la lista y que la lista sea coherente y proporcional, aumenta la confianza en los procesos de selección interna de partidos y en las elecciones de representación proporcional.

En conclusión, Ross Hyman presenta un método elegante y rigurosamente probado que supera las limitaciones históricas de los métodos de votación por candidatos clasificados, ofreciendo una herramienta robusta para la democracia representativa moderna.