Resumen Técnico: Votación con Ordenes Parciales – Las Clases de Pluralidad y Anti-Pluralidad

1. Planteamiento del Problema

El artículo aborda el problema de la toma de decisiones colectivas cuando las preferencias individuales se representan como órdenes parciales estrictos en lugar de los órdenes lineales estándar (clasificaciones completas) utilizados en la teoría clásica de la elección social. En muchos escenarios prácticos, exigir a los votantes que clasifiquen completamente un gran conjunto de alternativas es excesivamente demandante. Los órdenes parciales permiten a los votantes expresar preferencias estrictas para algunos pares mientras permanecen indiferentes o incapaces de comparar otros.

El desafío central es extender la bien conocida regla de Pluralidad (seleccionar la alternativa clasificada en primer lugar con mayor frecuencia) y la regla de Anti-Pluralidad (seleccionar la alternativa clasificada en último lugar con menor frecuencia, también conocida como Veto) a este dominio. Una dificultad clave surge porque, en un orden parcial, un votante puede tener múltiples alternativas "superiores" (ninguna preferida sobre ellas) o múltiples alternativas "inferiores" (ninguna preferida sobre ellas), y la estructura de estos conjuntos puede variar significativamente entre los votantes. El artículo busca identificar y caracterizar axiomáticamente las clases naturales de reglas de votación que generalizan estas reglas estándar a los órdenes parciales.

2. Metodología

Los autores emplean un enfoque axiomático dentro de un modelo de electorados variables (donde cualquier subconjunto finito de un universo infinito de votantes puede participar).

El Modelo

• Alternativas: Un conjunto finito $A$ con $|A| = m \geq 3$.
• Preferencias: Un orden parcial estricto $\succ$ (irreflexivo, antisimétrico, transitivo).
• Conjuntos Clave:
  • $T(\succ)$: El conjunto de alternativas superiores (elementos maximales).
  • $B(\succ)$: El conjunto de alternativas inferiores (elementos minimales).
  • $NT(\succ)$ y $NB(\succ)$: Los conjuntos no superiores y no inferiores, respectivamente.
• Reglas de Votación: Funciones que mapean perfiles de órdenes parciales a un conjunto no vacío de alternativas ganadoras.

Reglas de Puntuación

El artículo se centra en las reglas de puntuación posicional, donde la puntuación de una alternativa depende únicamente de su posición en el grafo de preferencias. Los autores definen varias clases de reglas basadas en cómo se asignan las puntuaciones a los conjuntos superiores e inferiores:

1. Clase de Pluralidad: Las alternativas no superiores reciben una puntuación constante $k'$, mientras que las alternativas superiores reciben puntuaciones $\geq k'$, con al menos una alternativa superior recibiendo estrictamente más.
2. Clase de Pluralidad Simple: Todas las alternativas superiores reciben la misma puntuación $k$.
3. Clase de Pluralidad Simple Monótona: La diferencia de puntuación entre las alternativas superiores y las no superiores aumenta a medida que disminuye el tamaño del conjunto superior (recompensando clasificaciones superiores "más decisivas").
4. Regla de Pluralidad Uniforme: Una regla específica donde cada alternativa superior obtiene 1 punto y cada no superior obtiene 0.
5. Clases de Anti-Pluralidad: Definidas simétricamente, enfocándose en los conjuntos inferiores (los no inferiores obtienen puntuación $k$, los inferiores obtienen $\leq k$).

Axiomas

Las caracterizaciones se basan en un conjunto de axiomas, incluidos los estándar adaptados para órdenes parciales y nuevos inspirados en la votación por aprobación:

• Estándar: Anonimato, Neutralidad, Refuerzo (Consistencia) y Continuidad.
• Responsividad: Fieles Parcial (un solo votante selecciona lo superior), Fidelidad (un solo votante selecciona exactamente lo superior), Aversión Parcial (un solo votante no selecciona todo lo inferior), Aversión (un solo votante no selecciona nada de lo inferior).
• Congruencia: T-Congruencia (añadir votantes que no clasifican a $x$ como superior no debería hacer que $x$ gane) y B-Congruencia (añadir votantes que no clasifican a $x$ como inferior no debería hacer que $x$ pierda).
• Contracción/Expansión: Restricciones sobre cómo cambia el resultado cuando un votante reduce su conjunto superior o expande su conjunto inferior.
• Propiedades Técnicas: Solo Superiores y Solo Inferiores (los resultados dependen únicamente de los conjuntos superiores/inferiores).

3. Contribuciones y Resultados Clave

Caracterización de las Reglas de Puntuación

Teorema 1 establece que una regla de votación satisface Anonimato, Neutralidad, Refuerzo y Continuidad si y solo si es una regla de puntuación posicional. Esto adapta el resultado clásico de Young (1975) al dominio de los órdenes parciales.

La Familia de Pluralidad

El artículo proporciona caracterizaciones axiomáticas para las clases de Pluralidad:

• Teorema 2: Una regla pertenece a la Clase de Pluralidad si y solo si satisface Anonimato, Neutralidad, Refuerzo, Continuidad, Fieles Parcial y T-Congruencia.
• Corolario 3: La Clase de Pluralidad Simple se caracteriza reemplazando Fieles Parcial por Fidelidad.
• Teorema 4: La Clase de Pluralidad Simple Monótona se caracteriza añadiendo el axioma de Contracción a los axiomas de la Clase de Pluralidad Simple.
• Teorema 6: La Regla de Pluralidad Uniforme se caracteriza mediante Anonimato, Neutralidad, Refuerzo, Fieles Parcial y Contracción Fuerte. La prueba se basa en demostrar que la Contracción Fuerte implica Solo Superiores, reduciendo el problema al caso de orden lineal donde aplica la caracterización de Sekiguchi (2012).

La Familia de Anti-Pluralidad

Se proporcionan resultados simétricos para las clases de Anti-Pluralidad:

• Teorema 9: Una regla pertenece a la Clase de Anti-Pluralidad si y solo si satisface Anonimato, Neutralidad, Refuerzo, Continuidad, Aversión Parcial y B-Congruencia.
• Corolario 10: La Clase de Anti-Pluralidad Simple se caracteriza reemplazando Aversión Parcial por Aversión.
• Teorema 11: La Clase de Anti-Pluralidad Simple Monótona se caracteriza añadiendo el axioma de Expansión.
• Teorema 13: La Regla de Anti-Pluralidad Uniforme se caracteriza mediante Anonimato, Neutralidad, Refuerzo, Aversión Parcial y Expansión Fuerte.

Independencia de los Axiomas

Los autores demuestran la independencia lógica de los axiomas utilizados en estas caracterizaciones (Proposiciones 7, 8, 14, 15) construyendo reglas de contraejemplo que satisfacen todos menos un axioma. Notablemente, destacan que la Continuidad es necesaria para sus caracterizaciones de las clases de Pluralidad y Anti-Pluralidad en el contexto de orden parcial, mientras que a menudo es prescindible para la regla estándar de Pluralidad de orden lineal (por ejemplo, Ching, 1996). Esta necesidad surge porque las estructuras variables de los conjuntos superiores/inferiores en los órdenes parciales hacen que axiomas como T-Congruencia y Contracción sean menos restrictivos sin Continuidad.

Aplicaciones a la Votación por Aprobación

El artículo muestra que sus resultados se aplican a la Votación por Aprobación, donde una papeleta es un orden parcial con conjuntos superiores e inferiores disjuntos que cubren todas las alternativas ($T(\succ) \cap B(\succ) = \emptyset$ y $T(\succ) \cup B(\succ) = A$).

• Corolario 16: Las reglas de votación por aprobación basadas en tamaño (donde la puntuación depende del tamaño del conjunto de aprobación) se caracterizan por los axiomas de la Clase de Pluralidad Simple Monótona (con Fieles Parcial).
• Corolarios 17 y 18: La regla estándar de votación por aprobación se caracteriza por los axiomas de las reglas de Pluralidad Uniforme y Anti-Pluralidad Uniforme, respectivamente.
• Corolario 19: Las reglas de aprobación "anti-tamaño" (que favorecen conjuntos de aprobación más grandes) se caracterizan por los axiomas de Anti-Pluralidad Simple Monótona.

4. Significado y Afirmaciones

El artículo afirma proporcionar las primeras caracterizaciones axiomáticas de reglas tipo Pluralidad y tipo Anti-Pluralidad para el dominio de los órdenes parciales. Su significado radica en:

1. Generalización: Extiende con éxito la lógica intuitiva de la Pluralidad y la Anti-Pluralidad (enfocándose en las posiciones superior e inferior) a un entorno donde "superior" e "inferior" son conjuntos y no elementos individuales, respetando la riqueza estructural de los órdenes parciales.
2. Unificación: Unifica la comprensión de estas reglas a través de órdenes lineales, órdenes parciales y votación por aprobación. Los autores señalan que sus caracterizaciones para órdenes lineales convergen a resultados establecidos en la literatura, validando la generalización.
3. Nuevas Perspectivas para la Votación por Aprobación: Al derivar estos resultados del marco de orden parcial, el artículo ofrece nuevas caracterizaciones axiomáticas independientes para las reglas estándar y basadas en tamaño de la votación por aprobación, evitando la dependencia directa de la suposición de "Solo Superiores" a menudo implícita en la literatura sobre votación por aprobación.
4. Sutileza del Dominio: Los resultados ilustran las sutilezas específicas de la votación con órdenes parciales, particularmente la necesidad del axioma de Continuidad en este contexto más amplio, lo que lo distingue del caso de orden lineal.

Los autores concluyen que, aunque se han centrado en la Pluralidad y la Anti-Pluralidad, su marco abre la puerta a generalizaciones similares de otras reglas de puntuación (por ejemplo, Borda, Acumulativa, Escalonada) al dominio de los órdenes parciales.