Las loterías máximas se refieren a una regla de votación probabilística . El método utiliza papeletas preferenciales y devuelve una distribución de probabilidad (o combinación lineal ) de candidatos que una mayoría de votantes preferiría débilmente a cualquier otro. [1]
Las loterías máximas satisfacen una amplia gama de propiedades deseables: eligen al ganador de Condorcet con probabilidad 1 si existe [1] y nunca eligen candidatos fuera del conjunto de Smith . [1] Además, satisfacen el reforzamiento , [2] la participación , [3] y la independencia de los clones . [2] La regla de votación probabilística que devuelve todas las loterías máximas es la única regla que satisface el reforzamiento, la consistencia de Condorcet y la independencia de los clones. [2] La función de bienestar social que clasifica a las loterías máximas se ha caracterizado de forma única utilizando la independencia de alternativas irrelevantes de Arrow y la eficiencia de Pareto . [4]
Las loterías máximas no satisfacen la noción estándar de estrategia a prueba, como Allan Gibbard ha demostrado que sólo las dictaduras aleatorias pueden satisfacer la estrategia a prueba y la eficiencia ex post. [5] Las loterías máximas también son no monótonas en probabilidades, es decir, es posible que la probabilidad de una alternativa disminuya cuando un votante clasifica esta alternativa hacia arriba. [1] Sin embargo, satisfacen la monotonía relativa, es decir, la probabilidad de relativa a la de no disminuye cuando se mejora con respecto a . [6]
El apoyo de las loterías máximas, lo que se conoce como el conjunto esencial o elEl conjunto bipartidista ha sido estudiado en detalle.[7][8][9][10]
Las loterías máximas fueron propuestas por primera vez por el matemático y científico social francés Germain Kreweras en 1965 [11] y popularizadas por Peter Fishburn [1] . Desde entonces, han sido redescubiertas varias veces por economistas, [8] matemáticos, [1] [12] politólogos, filósofos [13] y científicos informáticos. [14]
Se han observado varias dinámicas naturales que convergen hacia loterías máximas en biología, física, química y aprendizaje automático. [15] [16] [17]
La entrada a este sistema de votación consiste en las preferencias ordinales de los agentes sobre los resultados (no loterías sobre alternativas), pero se puede construir una relación sobre el conjunto de loterías de la siguiente manera: si y son loterías sobre alternativas, si el valor esperado del margen de victoria de un resultado seleccionado con distribución en una votación cara a cara contra un resultado seleccionado con distribución es positivo. En otras palabras, si es más probable que un votante seleccionado aleatoriamente prefiera las alternativas muestreadas de a la alternativa muestreada de que viceversa. [4] Si bien esta relación no es necesariamente transitiva, siempre admite al menos un elemento maximal.
Es posible que existan varias loterías máximas de este tipo, como resultado de los empates. Sin embargo, la lotería máxima es única siempre que el número de votantes sea impar. [18] Por el mismo argumento, el conjunto bipartidista se define de manera única tomando el apoyo de la lotería máxima única que resuelve un juego de torneo. [8]
Las loterías máximas son equivalentes a estrategias maximin mixtas (o equilibrios de Nash ) del juego simétrico de suma cero dado por los márgenes de mayoría por pares. Como tales, tienen una interpretación natural en términos de competencia electoral entre dos partidos políticos [19] y pueden ser calculadas en tiempo polinomial mediante [programación lineal].
Supongamos que hay cinco votantes que tienen las siguientes preferencias sobre tres alternativas:
Las preferencias por pares de los votantes se pueden representar en la siguiente matriz antisimétrica , donde la entrada para la fila y la columna denota el número de votantes que prefieren menos el número de votantes que prefieren .
Esta matriz puede interpretarse como un juego de suma cero y admite un único equilibrio de Nash (o estrategia minimax ) donde , , . Por definición, esta es también la lotería máxima única del perfil de preferencia anterior. El ejemplo fue elegido cuidadosamente para no tener un ganador de Condorcet . Muchos perfiles de preferencia admiten un ganador de Condorcet, en cuyo caso la lotería máxima única asignará probabilidad 1 al ganador de Condorcet. Si el último votante en el ejemplo anterior intercambia alternativas y en su relación de preferencia, se convierte en el ganador de Condorcet y será seleccionado con probabilidad 1.