Strategy-Proof Probabilistic Social Choice Correspondences under Conditional Expected Utility

Resumen Técnico: Correspondencias de Elección Social Probabilística con Garantía de Estrategia bajo la Utilidad Esperada Condicional

Planteamiento del Problema
Este artículo investiga la estructura de las Correspondencias de Elección Social Probabilística (CESP), que asignan loterías sobre subconjuntos no vacíos de alternativas en lugar de alternativas individuales. El estudio se centra en dos propiedades deseables: unanimidad (si todos los agentes califican un conjunto específico como el más alto, dicho conjunto se selecciona con probabilidad uno) y garantía de estrategia (la declaración veraz es una estrategia dominante).

El análisis se lleva a cabo bajo el marco de la Utilidad Esperada Condicional (UEC), donde los agentes evalúan los conjuntos seleccionados basándose en sus creencias sobre una etapa posterior de desempate o selección final. El artículo examina dos dominios de preferencias introducidos por Barberá et al. (2001):

1. UEC (Consistente con la Utilidad Esperada Condicional): Los agentes poseen evaluaciones (creencias) subjetivas respecto a la probabilidad de que diferentes alternativas sean seleccionadas de un conjunto.
2. UECEP (Consistente con la Utilidad Esperada Condicional con Probabilidades Iguales): Los agentes tratan todas las alternativas dentro de un conjunto seleccionado como igualmente probables de ser el resultado final.

La pregunta central de investigación es si permitir la aleatorización sobre conjuntos de alternativas (CESP) expande la clase de reglas admisibles con garantía de estrategia más allá del envolvente convexo de las correspondencias deterministas con garantía de estrategia (CDCES), o si las reglas probabilísticas simplemente se reducen a loterías sobre reglas deterministas.

Metodología y Marco de Trabajo
Los autores formalizan el entorno de elección social con $n$ agentes y $m$ alternativas ($m \ge 3$).

• Preferencias: Los agentes poseen preferencias sobre subconjuntos no vacíos de alternativas derivadas de una función de utilidad $v$ y una evaluación $\lambda$. En el dominio UEC, $\lambda$ es subjetiva; en el dominio UECEP, $\lambda$ es uniforme.
• Garantía de Estrategia: Definida mediante el Dominio Estocástico de Primer Orden (DSEO). Un agente compara la lotería sobre conjuntos resultante de un reporte veraz frente a la de un reporte erróneo. La definición se basa en la preferencia ordinal del agente sobre los conjuntos, asegurando que la condición sea independiente de la representación (es decir, que se cumpla para cualquier par de utilidad/evaluación que genere la preferencia reportada).
• Enfoque Analítico: El artículo emplea la inducción sobre el número de agentes y utiliza lemas estructurales específicos para restringir el soporte de la distribución de probabilidad. Herramientas clave incluyen:
  • Establecer que las CESP unánimes y con garantía de estrategia deben ser de tipo "solo tops" (los resultados dependen únicamente de los conjuntos mejor calificados).
  • Demostrar que el soporte de la lotería está restringido a singletes y dobletes de la unión de los conjuntos mejor calificados de los agentes.
  • Construir perfiles de preferencia específicos para derivar contradicciones o igualdades en las probabilidades, permitiendo así caracterizar las reglas permisibles.

Resultados Clave y Caracterizaciones

El artículo proporciona una caracterización completa de las CESP unánimes y con garantía de estrategia en los dos dominios, revelando que el impacto de la aleatorización depende del dominio.

1. El Dominio UEC (Evaluaciones Subjetivas)

• Resultado: Toda CESP unánime y con garantía de estrategia en el dominio UEC es una Regla de Dictadura Aleatoria.
• Implicación: Aunque a la regla se le permite aleatorizar sobre conjuntos arbitrarios, la garantía de estrategia y la unanimidad fuerzan a que la masa de probabilidad se asigne exclusivamente a conjuntos singletes que son los mejores calificados por los agentes. La aleatorización sobre conjuntos no genera flexibilidad adicional; la clase de reglas colapsa a la dictadura aleatoria estándar encontrada en las funciones de elección social probabilísticas (Gibbard, 1977).

2. El Dominio UECEP (Probabilidades Iguales)
La caracterización aquí es más matizada y depende del número de agentes ($n$) y de alternativas ($m$).

• Caso A: $n \le 3$ (Cualquier $m \ge 3$)

  • Resultado: La clase de reglas es exactamente el conjunto de las Reglas de Bidictadura Aleatoria.
  • Definición: Estas son combinaciones convexas de reglas deterministas de bidictadura (que seleccionan la unión de los conjuntos mejor calificados de dos agentes).
  • Implicación: Para sociedades pequeñas, las reglas probabilísticas no generan estructuras nuevas; son meramente loterías sobre bidictaduras deterministas.

• Caso B: $n \ge 4$ y $m = 3$

  • Resultado: La clase se expande a Reglas Ponderadas por Coalición.
  • Definición: Estas reglas son generadas por una función de peso de coalición $v: 2^N \to [0, 1]$ que asigna probabilidades basadas en el tamaño y la composición de la coalición que apoya una alternativa. La probabilidad de un singlete $\{x\}$ es $v(N_x)$, y la probabilidad de un doblete $\{x, y\}$ es $v(N_x \cup N_y) - v(N_x) - v(N_y)$.
  • Significado: Esta clase es estrictamente mayor que el conjunto de las reglas de bidictadura aleatoria. El artículo proporciona un ejemplo explícito (Ejemplo 3) de una CESP unánime y con garantía de estrategia que no puede escribirse como una combinación convexa de correspondencias deterministas con garantía de estrategia. Esto demuestra que la aleatorización puede ampliar genuinamente el conjunto de reglas admisibles en esta configuración específica.

• Caso C: $n \ge 4$ y $m \ge 4$

  • Resultado: La clase colapsa de nuevo hacia las Reglas de Bidictadura Aleatoria.
  • Implicación: La "libertad extra" observada en el caso de tres alternativas desaparece cuando hay cuatro o más alternativas. El artículo demuestra que para $m \ge 4$, toda regla ponderada por coalición es equivalente a una regla de bidictadura aleatoria.

Significancia y Reivindicaciones
El artículo pretende identificar un papel específico, dependiente del dominio, para la aleatorización en la elección social basada en conjuntos:

1. Sensibilidad al Dominio: Mientras que la aleatorización generalmente no expande la clase de reglas con garantía de estrategia en los dominios no restringidos o UEC, sí lo hace en el dominio UECEP, pero solo cuando el número de alternativas es exactamente tres y el número de agentes es al menos cuatro.
2. Novedad de las Reglas Probabilísticas: Los autores destacan que en el caso $m=3, n \ge 4$, las reglas probabilísticas admisibles no son meramente combinaciones convexas de reglas deterministas. Esto desafía la intuición de que los mecanismos probabilísticos son simplemente loterías sobre reglas deterministas.
3. Conexión con los Basales Deterministas: El artículo establece que, si bien la clase probabilística se expande para $m=3, n \ge 4$, los miembros deterministas de esta clase expandida (reglas ponderadas por coalición que son deterministas) coinciden exactamente con las reglas de bidictadura caracterizadas por Barberá et al. (2001). Así, la expansión es un fenómeno puramente probabilístico.
4. Perspectiva Estructural: El trabajo clarifica que el "colapso" hacia la bidictadura aleatoria para $m \ge 4$ es una restricción estructural impuesta por el número de alternativas, distinguiendo el caso de tres alternativas como una anomalía donde las reglas ponderadas por coalición proporcionan una estructura más rica.

En resumen, el artículo demuestra que la relación entre las reglas con garantía de estrategia deterministas y probabilísticas no es uniforme; la aleatorización puede generar correspondencias con garantía de estrategia genuinamente nuevas, pero este fenómeno es altamente sensible a los parámetros específicos del entorno de elección social (específicamente el número de alternativas y agentes) y a la naturaleza de las creencias de los agentes sobre el proceso de selección.