Las loterías máximas son una regla de votación de torneo que elige al candidato preferido por la mayoría, si existe, [1] y, en caso contrario, elige a un candidato del conjunto preferido por la mayoría mediante un procedimiento de votación aleatorio . [1] El método selecciona la distribución de probabilidad (o combinación lineal ) de candidatos que una mayoría de votantes preferiría a cualquier otro. [1]
Las loterías máximas satisfacen una amplia gama de propiedades deseables, incluido el cumplimiento de todos los axiomas de la regla de la mayoría en el sentido más estricto: eligen al ganador de Condorcet con probabilidad 1 [1] y nunca eligen candidatos fuera del conjunto de Smith . [1] Además, satisfacen el refuerzo , [2] la participación , [3] y la independencia de los clones , [2] y son débilmente resistentes a las estrategias de grupo (ver más abajo). La función de bienestar social que encabeza las loterías máximas se caracteriza únicamente por la independencia de Arrow de alternativas irrelevantes y la eficiencia de Pareto . [4]
Las loterías máximas no satisfacen la noción estándar de estrategia a prueba, como lo muestra el teorema de Gibbard . Las loterías máximas tampoco tienen probabilidades monótonas , es decir, es posible que al aumentar el rango de un candidato disminuya su probabilidad de ganar. [5]
El soporte de loterías máximas, que se conoce como el conjunto esencial [6] o elconjunto bipartidista , ha sido estudiado en detalle.[7][8]
Las loterías máximas fueron propuestas por primera vez por el matemático y científico social francés Germain Kreweras en 1965 [9] y popularizadas por Peter Fishburn . [1]
Desde entonces, han sido redescubiertos varias veces por economistas, [7] matemáticos, [1] [10] politólogos, filósofos, [11] e informáticos. [12]
También han aparecido ideas similares en el estudio del aprendizaje por refuerzo [13] y en la biología evolutiva para explicar la multiplicidad de especies coexistentes. [14]
El insumo de 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 en el conjunto de loterías de la siguiente manera: si y son loterías sobre alternativas, si el valor esperado de el margen de victoria de un resultado seleccionado con distribución en una votación directa frente a un resultado seleccionado con distribución es positivo. En otras palabras, si es más probable que un votante seleccionado al azar prefiera las alternativas muestreadas a la alternativa muestreada que viceversa. [4] Si bien esta relación no es necesariamente transitiva, siempre contiene al menos un elemento maximal.
Es posible que existan varias loterías máximas como resultado de empates. Sin embargo, la lotería máxima es única siempre que un número impar de votantes exprese preferencias estrictas. [15] Según el mismo argumento, el conjunto bipartidista se define de forma única al tomar el apoyo de todas las loterías máximas que resuelven un juego de torneo. [5]
Las loterías máximas son equivalentes a las estrategias maximin mixtas (o equilibrios de Nash ) del juego simétrico de suma cero dado por los márgenes mayoritarios por pares. Como tales, tienen una interpretación natural en términos de competencia electoral entre dos partidos políticos. [dieciséis]
Las loterías máximas satisfacen varias propiedades notables de resistencia a la estrategia, como eliminar la posibilidad de que un votante pueda, al informar erróneamente sus preferencias, obtener una lotería que estocásticamente domine a otra. [17] [18]
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 simétrica sesgada , donde la entrada para fila y 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 equilibrio de Nash único (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 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.