Un resultado formal de la teoría de la elección social que afirma que toda regla de votación determinista y no dictatorial que mapea órdenes de preferencia individuales en una única elección colectiva, cuando hay al menos tres alternativas y la regla es sobreyectiva, es susceptible de manipulación estratégica por parte de algún votante (es decir, existe un perfil en el que un votante puede falsificar su preferencia para obtener un resultado estrictamente mejor para sí mismo).

Principio

Bajo las hipótesis del teorema, la estrategia‑proofness es inalcanzable para funciones de elección social deterministas y sobreyectivas con tres o más alternativas: los diseñadores deben aceptar vulnerabilidad estratégica, restringir dominios de preferencia, permitir aleatoriedad o admitir rasgos dictatoriales para impedir la manipulación.

Demostración

Escenario ilustrativo: Situación: una regla determinista selecciona un ganador entre tres candidatos. Reconocimiento: un votante advierte que ordenando por delante de su opción preferida a un candidato menos preferido pero más viable puede cambiar el resultado hacia uno que prefiere. Acción: el votante falsea su preferencia. Consecuencia: la elección refleja cálculo estratégico en lugar de preferencias sinceras y la regla es manipulable para ciertos perfiles.

Aplicación incorrecta

Inferir que todas las elecciones reales están dominadas por la manipulación o que manipular siempre es factible y trivial. El error es obviar las limitaciones de información, los costos de coordinación y las características institucionales que restringen la manipulabilidad práctica aun cuando exista vulnerabilidad formal.

Consecuencia

El teorema informa el diseño de mecanismos: para reducir la manipulabilidad se pueden restringir los dominios de preferencia admisibles (por ejemplo, preferencias unimodales), emplear mecanismos aleatorizados o no deterministas, o aceptar compensaciones entre expresividad e incompatibilidad de incentivos.

Inversión

Si el dominio de preferencias se restringe (por ejemplo, a preferencias unimodales) o la regla permite aleatoriedad o limita el rango de resultados, pueden existir mecanismos strategy‑proof; la imposibilidad se aplica únicamente bajo las condiciones enunciadas (determinista, sobreyectiva, ≥3 alternativas, dominio irrestricto, no dictadura).

Límite

Claramente dentro: funciones de elección social deterministas y sobreyectivas que agregan órdenes completos de preferencia sobre tres o más alternativas. Caso límite: reglas con dominios de preferencia restringidos o con solo dos alternativas. Claramente fuera: mecanismos aleatorizados, esquemas que solicitan utilidades cardinales o reglas de decisión fuera de las hipótesis del teorema.

Tensión semántica

Incentivos ↔ Expresividad/Eficiencia — maximizar la expresividad de una regla o su eficiencia suele aumentar la vulnerabilidad a la manipulación, por lo que los diseñadores deben sacrificar algo de expresividad para ganar compatibilidad de incentivos.

Síntesis

Gibbard‑Satterthwaite formaliza una compensación de incentivos: si un sistema pretende agregar preferencias ordinales no restringidas de forma determinista y no dictatorial, debe ser manipulable o aceptar restricciones (dominios restringidos, aleatoriedad o menor expresividad).