Obviously Strategy-proof Choice of Social Acts

Resumen Técnico: La elección de actos sociales con estrategia-protección obvia

Planteamiento del problema
Este artículo investiga la implementación de funciones de elección social (SCF, por sus siglas en inglés) dentro del marco de la elección social sobre actos sociales, introducido originalmente por Bahel y Sprumont (2020). En este entorno, un planificador social debe seleccionar un plan contingente (un acto que mapea estados de la naturaleza a resultados) antes de que se resuelva la incertidumbre. Los agentes evalúan estos actos utilizando el criterio de Utilidad Esperada Subjetiva (SEU), lo que significa que poseen tanto valoraciones subjetivas de los resultados como medidas de probabilidad subjetivas sobre los estados de la naturaleza.

Si bien Bahel y Sprumont (2020) demostraron que la clase de las SCF unanimes y con estrategia-protección (strategy-proof) en este dominio es rica —caracterizada específicamente como reglas de "selección de tope bilateral local"—, este artículo se pregunta si estas reglas satisfacen la condición más fuerte de Estrategia-Protección Obvia (OSP). La OSP, introducida por Li (2017), requiere que el reporte sincero sea una estrategia dominante obvia, lo que significa que incluso el peor resultado posible de seguir la estrategia sea al menos tan bueno como el mejor resultado posible de cualquier desviación. La cuestión central es si la flexibilidad permitida por la estrategia-protección estándar sobrevive cuando se requiere que los agentes comprendan "obviamente" la optimalidad de la veracidad.

Metodología y Modelo
Los autores adoptan el modelo formal de Bahel y Sprumont (2020), definido por:

• Un conjunto finito de agentes $N$, un conjunto finito de estados de la naturaleza $\Omega$, y un conjunto de resultados sociales $X$.
• Los agentes poseen preferencias SEU estrictas, representadas por funciones de valoración inyectivas $v_i$ y medidas de probabilidad inyectivas $p_i$.
• Las funciones de elección social mapean perfiles de preferencias a actos ($\phi: D^n \to X^\Omega$).

El artículo utiliza la definición de mecanismos OSP como juegos de forma extensiva (árboles) donde los agentes reportan sus preferencias en los nodos internos. Un mecanismo es OSP si, en cada nodo de decisión para un agente, la utilidad del peor resultado de seguir el camino veraz es mayor o igual a la utilidad del mejor resultado de cualquier desviación.

La estrategia de prueba se basa en la caracterización de las SCF unánimes y con estrategia-protección proporcionada por Bahel y Sprumont (2020), que son reglas de selección de tope bilateral local. Estas reglas particionan el espacio de estados $\Omega$ en eventos, donde la asignación de estados a los agentes está determinada por reglas que son constantes, bilateralmente dictatoriales o bilateralmente consensuadas. Los autores analizan entonces las restricciones estructurales impuestas por la OSP sobre estas reglas de asignación específicas.

Una herramienta técnica clave es el Lema 1, que establece que para cualquier creencia $p_i$, se puede construir una función de valoración $v_i$ con una progresión geométrica específica de valores tal que la preferencia resultante sea estricta (sin indiferencia entre actos distintos) para todos los valores de los parámetros excepto para un número finito de ellos. Esto permite a los autores construir perfiles de preferencia específicos donde los agentes tienen preferencias estrictas sobre los resultados generados por diferentes reglas de asignación, facilitando un argumento de contradicción.

Resultos Clave
El principal resultado del artículo, el Teorema 1, proporciona una caracterización completa:

Una SCF $\phi$ es unánime y es implementable mediante OSP si y solo si es dictatorial.

La prueba procede por contradicción, asumiendo la existencia de una SCF unánime e implementable mediante OSP que no sea dictatorial. Basándose en la caracterización de Bahel y Sprumont, tal función correspondería a una regla de asignación bilateral local. Los autores demuestran que si más de un agente tiene asignado un conjunto no vacío de estados (lo cual es necesario para una regla no dictatorial), se pueden construir dos perfiles de preferencia que divergen en un nodo específico del mecanismo OSP. Al elegir cuidadosamente las valoraciones (usando el Lema 1), muestran que en el nodo de divergencia, la condición OSP requeriría que un agente prefiera un resultado que contradice sus preferencias construidas.

Específicamente, la prueba demuestra:

1. Afirmación 1: Para cualquier agente, el conjunto de estados asignados a él es o bien vacío para todos los perfiles de creencia, o bien no vacío para todos los perfiles de creencia.
2. Afirmación 2: Al menos un agente debe tener asignado un conjunto no vacío de estados para todos los perfiles (debido a las propiedades de unanimidad y partición).
3. Afirmación 3: Es imposible que dos agentes distintos tengan asignados conjuntos no vacíos de estados para todos los perfiles. Si dos agentes tuvieran asignados conjuntos no vacíos de estados, la condición OSP se violaría al construir un escenario donde un agente prefiere el resultado asociado con los estados asignados al otro agente, creando un ciclo de dominancia que la OSP no puede resolver.

Consecuentemente, solo un agente puede tener asignado el espacio de estados completo $\Omega$ a través de todos los perfiles, convirtiendo a la SCF en dictatorial. Por el contrario, los autores señalan que las SCF dictatoriales son trivialmente implementables mediante OSP.

Significancia y Contribución
El artículo contribuye a la literatura sobre la estrategia-protección obvia demostrando que las implicaciones de la OSP son altamente sensibles al entorno económico. Mientras que estudios previos en entornos de votación con dominios de pico único (Bade y Gonczarowski, 2016; Arribillaga et al., 2020) o problemas de división (Arribillaga et al., 2023) han encontrado reglas implementables mediante OSP no dictatoriales, este trabajo muestra que, en el contexto de la elección social sobre actos con incertidumbre subjetiva, la OSP es extremadamente restrictiva.

Los autores sostienen que su resultado resalta una "fuerte tensión entre la simplicidad de incentivos y la elección colectiva no dictatorial" en entornos donde los agentes poseen preferencias de utilidad esperada subjetiva. Mientras que Bahel y Sprumont (2020) encontraron que la estrategia-protección permite una clase rica de reglas bilaterales locales, la imposición del requisito de "obviedad" colapsa esta flexibilidad por completo, dejando únicamente a las reglas dictatoriales como candidatas viables para la implementación mediante OSP. Esto sugiere que en entornos complejos que involucran incertidumbre subjetiva, los mecanismos que son fáciles de entender para los agentes (OSP) pueden ser incompatibles con la elección social unánime y no dictatorial.