Resumen Técnico: Costos Posterior-Separables y Preferencias sobre Menús

1. Planteamiento del Problema

El artículo aborda la modelización de la atención racional (rational inattention) en entornos económicos donde un tomador de decisiones (DM) debe adquirir información antes de elegir una acción. El problema central es caracterizar axiomáticamente las preferencias sobre menús de actos que surgen cuando los costos de la información son posterior-separables.

En la literatura estándar (ej. Sims, 2003), el costo de un experimento $\pi$ se modela como una integral de una función de incertidumbre $\psi$ sobre las creencias posteriores:
$$c(\pi) = \int \psi(p) \pi(dp)$$
Sin embargo, la representación de estos costos no es única y puede carecer de propiedades de suavidad necesarias para garantizar soluciones bien comportadas en problemas de diseño de información (Bayesian persuasion). El objetivo de los autores es identificar qué axiomas de comportamiento sobre los menús garantizan que el costo subyacente sea posterior-separable y, además, satisfaga condiciones de suavidad que aseguren la unicidad de la hiperplano óptimo en la concavificación del problema.

2. Metodología y Marco Teórico

2.1. Preferencias Racionalmente Inatentas

El modelo asume que el DM elige entre menús de actos, sabiendo que podrá obtener información costosa antes de seleccionar un acto final. La utilidad indirecta $V(\varphi_F)$ de un menú $F$ se representa como:
$$V(\varphi_F) = \max_{\pi \in \Pi(p_0)} \int [\varphi_F(p) - \psi(p)] \pi(dp)$$
donde $\varphi_F(p)$ es la utilidad máxima esperada dado el menú $F$ y la creencia $p$, y $\Pi(p_0)$ son las distribuciones sobre creencias posteriores consistentes con el prior $p_0$.

Este problema se reformula geométricamente como la concavificación de la función neta $N_F = \varphi_F - \psi$. La solución corresponde a encontrar el hiperplano más bajo que esté por encima de la gráfica de $N_F$ (el "hiperplano óptimo").

2.2. Axiomas Propuestos

Los autores introducen dos axiomas clave sobre las preferencias de los menús:

1. Independencia de Alternativas Irrelevantes (IIA):
   Si el DM es indiferente entre dos menús $F$ y $G$, y también indiferente entre su intersección $F \cap G$, entonces debe ser indiferente a su unión $F \cup G$.

   • Intuición: Si las opciones fuera de la intersección no aportan valor adicional por separado, su combinación tampoco debería alterar la valoración.

2. Equivalencia de la Ignorancia (Ignorance Equivalence - IE):
   Para cada menú $F$, existe un acto $h$ tal que $h \sim F \sim F \cup \{h\}$.

   • Intuición: Existe un "equivalente de ignorancia" (similar al equivalente de certeza en riesgo) que hace que la adquisición de información sea innecesaria. Añadir este acto al menú no cambia su valor, ya que el DM puede optar por no adquirir información y elegir $h$ sin pérdida.

2.3. Propiedad de Suavidad: Diferenciabilidad Direccional Conjunta (JDD)

Para conectar los axiomas con la estructura del costo, los autores definen una propiedad de suavidad para la función de incertidumbre $\psi$:

• Diferenciabilidad Direccional Conjunta (JDD): La función $\psi$ satisface JDD si no existen puntos $\{p_i\}$ en el dominio efectivo tales que $p_0$ esté en su envolvente convexa, y exista una dirección $\delta \neq 0$ donde $\psi$ sea no diferenciable en la misma dirección $\delta$ en todos esos puntos.
• Geométricamente, esto impide que existan "kinks" (quinas) en la función de costo que compartan una dirección de no suavidad ortogonal a las direcciones desde el prior hacia los puntos de soporte.

3. Resultados Principales

Teorema 1: Caracterización Axiomática

El resultado central establece la equivalencia entre tres afirmaciones:

1. La preferencia $\succsim$ es racionalmente inatenta y satisface IIA y IE.
2. La preferencia tiene una representación posterior-separable con una medida de incertidumbre canónica $\psi$ que satisface JDD.
3. La preferencia tiene una representación posterior-separable con una medida de incertidumbre canónica $\psi$ que satisface la Propiedad del Hiperplano Único (UHP).

Implicaciones Clave:

• Unicidad: Bajo estos axiomas, la medida de incertidumbre $\psi$ es única (fijada la función de utilidad $u$).
• Relación con la Geometría: La satisfacción de IIA e IE garantiza que, para cualquier menú, el problema de concavificación tenga una solución única (un único hiperplano óptimo). Sin JDD, podrían existir múltiples hiperplanos óptimos, lo que violaría la consistencia de las preferencias bajo IIA.
• Cobertura: La clase de funciones que satisfacen JDD es densa e incluye todas las funciones diferenciables, así como costos comunes como la entropía, la verosimilitud logarítmica y la varianza residual.

Teorema 2: Invarianza del Prior

Cuando se considera que el costo de la información es invariante al prior (es decir, la misma estructura de costos aplica para cualquier prior $p_0$), los axiomas IIA e IE implican que el costo es uniformemente posterior-separable y que la función $\psi$ es diferenciable en el interior relativo de su dominio.

• Esto refuerza la conexión con el costo de información mutua (entropía relativa), que es el caso más estudiado en la literatura.

4. Contribuciones y Significado

1. Fundamentación Axiomática de la Suavidad: El artículo proporciona una justificación conductual (axiomática) para asumir que las funciones de costo de información son suaves (diferenciables o JDD). Antes, esta suavidad a menudo se asumía por conveniencia analítica; ahora se demuestra que es necesaria para evitar violaciones de la independencia de alternativas irrelevantes.
2. Unicidad de la Representación: Resuelve el problema de la no unicidad en la representación de costos posterior-separables. Al imponer JDD (o UHP), se elimina la ambigüedad en la identificación de la función de costo $\psi$ a partir de las preferencias observadas.
3. Conexión con el Diseño de Información: Al vincular las preferencias de menús con la existencia de un hiperplano único, el trabajo facilita la aplicación de herramientas de diseño de información (Bayesian persuasion) en modelos de atención racional. Permite tratar el problema del DM como un problema de optimización convexa bien definido.
4. Generalización de la Literatura: Extiende los resultados de De Oliveira et al. (2017) y Müller-Itten et al. (2023), integrando la noción de "equivalente de ignorancia" para caracterizar costos específicos y ofreciendo un marco para la identificación empírica de costos de información.

Conclusión

El trabajo demuestra que la Independencia de Alternativas Irrelevantes y la Equivalencia de la Ignorancia son las condiciones necesarias y suficientes para que un agente con atención racional tenga costos de información que sean posterior-separables, suaves (JDD) y que generen una solución única en el espacio de hiperplanos. Esto valida el uso de funciones de costo diferenciables en la teoría económica y proporciona una base sólida para modelos de diseño de mecanismos y predicción de comportamiento en entornos de información imperfecta.