Instant Runoff Voting and the Reinforcement Paradox

Resumen Técnico: Votación de Recuento Instantáneo (IRV) y la Paradoja de Refuerzo

1. El Problema

El artículo analiza la vulnerabilidad del método de Votación de Recuento Instantáneo (IRV), también conocido como voto preferencial o elección por rondas, ante una paradoja menos estudiada conocida como Paradoja de Refuerzo (o paradoja de consistencia).

• Definición de la Paradoja: Ocurre cuando un candidato $X$ gana en dos elecciones distintas (sub-elecciones) bajo IRV, pero pierde en la elección combinada formada al fusionar los boletos de ambas.
• Implicación Administrativa: A diferencia de métodos como el escrutinio mayoritario (plurality), donde los resultados por distrito pueden sumarse directamente, IRV requiere la transmisión de la información completa de las preferencias de todos los votantes a un centro de conteo. La paradoja de refuerzo demuestra que la identidad del ganador no es una propiedad "local" que se preserva al agregar grupos de votantes, lo que complica la administración y la percepción de equidad.
• Enfoque del Estudio: A diferencia de estudios previos que generaban dos elecciones independientes y las combinaban, los autores adoptan un enfoque inverso: toman una única elección real o simulada y determinan si existe alguna partición de sus boletos en dos subconjuntos ($B_1$ y $B_2$) tal que el ganador en $B_1$ y el ganador en $B_2$ sean el mismo candidato, pero diferente al ganador de la elección original ($B_1 \cup B_2$).

2. Metodología

Los autores emplean un enfoque híbrido que combina teoría algebraica, simulación computacional y análisis empírico de datos reales.

• Condiciones Necesarias y Suficientes (Sección 3):

  • Derivaron condiciones algebraicas precisas para elecciones de tres candidatos.
  • Distinguen dos tipos de paradojas:
    1. Paradoja del Perdedor por Pluralidad: El candidato con menos votos de primera preferencia gana en ambas sub-elecciones.
    2. Paradoja del Subcampeón (Runner-up): El candidato que queda en segundo lugar en la elección original gana en ambas sub-elecciones.
  • Proporcionan fórmulas para casos de boletos completos (Proposición 1) y boletos parciales (Proposición 2), considerando eliminaciones en rondas y transferencias de votos.

• Simulaciones de Monte Carlo (Sección 5):

  • Generaron 100,000 perfiles electorales sintéticos bajo diversos modelos de comportamiento de votantes:
    • Modelos Espaciales 1D: Distribución normal, bimodal (polarización) y bimodal ponderada.
    • Modelos de Simplicidad de Boletos: Distribuciones Dirichlet ($\text{Dir}(\alpha)$), incluyendo el modelo de Cultura Imparcial (IC) y Cultura Imparcial Anónima (IAC).
  • Se evaluó la frecuencia de la paradoja bajo estos modelos teóricos.

• Análisis Empírico (Sección 6):

  • Utilizaron un conjunto de datos masivo de 416 elecciones reales de un solo ganador con voto preferencial (EE. UU., Escocia, APA).
  • Redujeron las elecciones con más de tres candidatos a escenarios de tres candidatos aplicando el algoritmo IRV hasta que quedaban tres finalistas.
  • Particiones Geográficas: Para un subconjunto de elecciones con datos de distritos y precintos, formularon el problema como un Programa Lineal Entero Binario (ILP) para buscar particiones geográficas "naturales" (no arbitrarias) que generen la paradoja.
  • Bootstrapping No Paramétrico: Generaron "pseudoprofiles" muestreando con reemplazo de los datos reales para evaluar la robustez de la paradoja ante pequeñas perturbaciones en los votos.

3. Contribuciones Clave

1. Caracterización Algebraica: Proporcionan las primeras condiciones necesarias y suficientes para determinar si una elección de tres candidatos es susceptible a una paradoja de refuerzo, tanto para boletos completos como parciales.
2. Nueva Definición de Ocurrencia: Cambian el paradigma de "generar dos elecciones" a "particionar una sola elección", alineándose con la literatura sobre consistencia en reglas de asignación y paradojas de monotonicidad.
3. Análisis de Umbrales: Demuestran que, a diferencia de otras paradojas (como la de monotonicidad), el perdedor por pluralidad puede tener una proporción de votos de primera preferencia arbitrariamente baja ($\epsilon > 0$) y aún así ganar en las sub-elecciones. Sin embargo, el subcampeón debe obtener al menos el 25% de los votos para que ocurra la paradoja.
4. Validación Empírica: Es el primer estudio que cuantifica la frecuencia de esta paradoja utilizando un gran volumen de datos reales de elecciones con voto preferencial, superando las limitaciones de estudios anteriores basados puramente en modelos teóricos.

4. Resultados Principales

• Frecuencia Teórica:

  • Bajo el modelo de Cultura Imparcial Anónima (IAC), la probabilidad de que una elección sea susceptible a la paradoja es alta: aproximadamente 24.9% (sin condicionar) y 56.8% (condicionado a la ausencia de un candidato con mayoría absoluta).
  • A medida que la competencia aumenta (modelos con $\alpha$ alto o IC), la probabilidad tiende al 100%.
  • Los modelos espaciales muestran frecuencias menores (alrededor del 16-40% condicionado), pero siguen siendo significativas.

• Frecuencia Empírica (Datos Reales):

  • En las 132 elecciones reales de tres candidatos, el 14.4% demostró ser susceptible a la paradoja.
  • En el conjunto total de 416 elecciones (reducidas a 3 candidatos), la susceptibilidad fue del 24.8%.
  • Hallazgo Crucial: En los datos reales, todas las elecciones que mostraron una paradoja del perdedor por pluralidad también mostraron una paradoja del subcampeón. Esto sugiere que en la realidad, los subcampeones son candidatos mucho más fuertes que los perdedores por pluralidad, haciendo que la paradoja del subcampeón sea la dominante.

• Particiones Geográficas:

  • Cuando se restringe la búsqueda a particiones geográficas reales (precintos/distritos), la frecuencia de la paradoja cae drásticamente (del ~25% al ~3% para particiones de precintos).
  • Se identificaron casos específicos (ej. elecciones en Portland, Oakland, Minneapolis y Alaska) donde la paradoja ocurre con particiones geográficas coherentes (ej. Norte vs. Sur), aunque son raros.

• Robustez (Bootstrapping):

  • Las elecciones reales que exhiben la paradoja suelen ser robustas: en muchos casos, más del 90% de las variaciones aleatorias (pseudoprofiles) también mantienen la paradoja.
  • Sin embargo, muchas elecciones que no muestran la paradoja en sus datos originales generan al menos un pseudoprofile que sí la muestra, indicando que el fenómeno es latente en muchos escenarios competitivos.

5. Significado y Conclusiones

• Alta Susceptibilidad: El IRV es altamente susceptible a la paradoja de refuerzo en elecciones de tres candidatos si se permiten particiones arbitrarias. Esto desafía la noción de que IRV es un método "consistente" en la práctica administrativa.
• Implicaciones de Diseño: La paradoja es más grave cuando la partición corresponde a variables significativas (geografía, demografía). Aunque las particiones geográficas "limpias" son menos frecuentes que las arbitrarias, su existencia en datos reales (como en Alaska y Maine) confirma que el problema no es solo teórico.
• Comparación con la Literatura: Los resultados contradicen estudios anteriores (como Plassmann y Tideman) que reportaban probabilidades extremadamente bajas (~0.02%). La discrepancia se debe a la metodología: los autores anteriores buscaban coincidencias en dos elecciones generadas aleatoriamente, mientras que este estudio busca cualquier partición posible dentro de una sola elección, lo que revela una vulnerabilidad mucho mayor.
• Futuro: El trabajo sugiere que la investigación futura debe centrarse en la estructura de las particiones que generan la paradoja y en la susceptibilidad de otros métodos de votación (como los métodos consistentes de Condorcet) ante este fenómeno.

En resumen, el artículo establece que la Paradoja de Refuerzo es un riesgo significativo y frecuente en las elecciones con IRV, especialmente en escenarios competitivos de tres candidatos, y que la administración de estos sistemas debe considerar que la agregación de resultados por distritos no garantiza la consistencia del ganador final.