El teorema de la imposibilidad de Arrow establece que no hay un procedimiento para agregar ordenamientos de preferencia individual en un ordenamiento de preferencia colectivo que satisfaga ciertos axiomas aparentemente deseables. A menudo se ha interpretado esto como que no hay tal cosa como un buen sistema de votación. Sin embargo, los sistemas de votación reales no suelen intentar generar un orden social (completo). El objetivo, más bien, es simplemente seleccionar un candidato que gobernará, y la tarea de clasificar a los demás, aunque tal vez interesante, no es de importancia práctica inmediata. Esto plantea una pregunta simple: ¿se extiende el resultado de Arrow a los procedimientos de agregación de preferencias que eligen un solo candidato basándose en un perfil de preferencias individuales?
Para hacer esto más preciso, permítanme (informalmente) reformular los axiomas de Arrow adaptados al problema en cuestión:
Dominio irrestricto. El procedimiento elige al mejor candidato para cada lista posible de ordenamientos individuales.
Debilidad de Pareto. Si todos los votantes prefieren al candidato A sobre el candidato B, entonces no se elige al candidato B.
No-dictadura. No hay ningún votante que solo determine qué candidato es elegido (independientemente de los ordenamientos de preferencia de los otros votantes).
Independencia de alternativas irrelevantes. Si el candidato A es elegido cuando se le opone a un conjunto de candidatos rivales, entonces A seguirá siendo elegido cuando se le oponga a algún subconjunto de este conjunto de candidatos rivales.
(Nótese que el axioma de transitividad no puede, al parecer, adaptarse a este contexto.)
Pregunta: ¿existe un sistema de votación que satisfaga todos los axiomas mencionados anteriormente?