On the stability of utilitarian aggregation

Aquí presento un resumen técnico detallado del artículo "On the stability of utilitarian aggregation" (Sobre la estabilidad de la agregación utilitarista) de Leandro Nascimento, publicado en abril de 2026.

1. Problema y Motivación

El artículo aborda la agregación de utilidades de von Neumann-Morgenstern (vN-M) en un contexto de decisión grupal. Se basa en el famoso Teorema de Agregación de Harsanyi (1955), el cual establece que, bajo condiciones de unanimidad de Pareto (si todos los individuos prefieren $x$ a $y$, la sociedad también debe hacerlo), la función de utilidad social $u_0$ debe ser una suma ponderada lineal de las utilidades individuales $u_i$ (agregación utilitarista).

El problema central: En la realidad económica y en modelos de comportamiento, las preferencias y las funciones de utilidad son aproximaciones imperfectas de la realidad. Las condiciones exactas de Pareto rara vez se cumplen debido a:

• Incertidumbre sobre las preferencias verdaderas de los individuos.
• Errores de especificación en las funciones de utilidad.
• Costos prohibitivos para obtener recomendaciones precisas de expertos.

La pregunta de investigación es: ¿Qué sucede con la conclusión de Harsanyi (agregación lineal) si las condiciones de Pareto se violan de manera acotada? El autor busca demostrar la estabilidad del teorema: ¿las reglas de agregación siguen siendo "cercanas" al utilitarismo si las violaciones de Pareto son pequeñas?

2. Metodología y Marco Teórico

2.1. Configuración

• Dominio: Un conjunto de alternativas $X$ (subconjunto convexo de un espacio vectorial real), que incluye loterías y actos (en el marco de Anscombe-Aumann o Savage).
• Utilidades: Se asume que $u_0$ (decisorio) y $u_i$ (individuos) son funciones afines (preservan mezclas), típicas de las utilidades vN-M.
• Violaciones Acotadas: Se introduce un parámetro $\epsilon \geq 0$ que cuantifica la desviación de la unanimidad de Pareto.

2.2. Definición de Agregación Aproximada

El autor define que $u_0$ es aproximadamente utilitarista si existe un agregador utilitarista $w(x) = \sum a_i u_i(x) + b$ tal que la distancia entre $u_0$ y $w$ es pequeña. Formalmente, esto se expresa de dos formas equivalentes (Proposición 1):

1. $u_0(x) = \sum a_i u_i(x) + e(x)$, donde la oscilación de $e$ (diferencia entre su máximo y mínimo) es $\leq \epsilon$.
2. $\|u_0 - w\|_\infty \leq \epsilon/2$.

2.3. Principios de Pareto Debilitados

Se proponen axiomas relajados que permiten violaciones controladas por $\epsilon$:

• $\epsilon$-Semifuerza de Pareto: Si $u_i(x) \geq u_i(y)$ para todo $i$, entonces $u_0(x) \geq u_0(y) - \epsilon$.
• $\epsilon$-Indiferencia de Pareto: Si $u_i(x) = u_i(y)$ para todo $i$, entonces $|u_0(x) - u_0(y)| \leq \epsilon$.
• $\epsilon$-Pareto Fuerte (Secuencial): Una versión más estricta que asegura que las ponderaciones de Pareto sean estrictamente positivas, evitando soluciones de eficiencia "impropias" (casos límite donde la eficiencia no puede ser alcanzada por una suma ponderada estrictamente positiva).

2.4. Herramientas Matemáticas

• Teorema Minimax: La prueba central se basa en el Teorema Minimax (de Sion/Kneser) aplicado al espacio de diferencias de utilidades. Esto permite establecer una relación de dualidad entre la violación del axioma de Pareto y la distancia a la agregación lineal.
• Análisis de Convexidad y Topología: Se utilizan propiedades de conjuntos compactos y convexos, y teoremas de extensión para pasar de subconjuntos finitos a dominios generales.

3. Resultados Principales

3.1. Estabilidad Cuantitativa (Teoremas 2 y 3)

El resultado central es que la violación acotada de los principios de Pareto implica una agregación aproximada.

• Teorema 2: En un entorno con utilidades vN-M continuas y dominio compacto, el cumplimiento del $\epsilon$-Semifuerza de Pareto es equivalente a que $u_0$ sea aproximadamente utilitarista con una distancia máxima de $\epsilon/2$ de un agregador lineal con pesos no negativos.
• Teorema 3: Se elimina la necesidad de suposiciones topológicas (compactidad/continuidad) mediante un argumento de extensión, demostrando que el resultado se mantiene en configuraciones generales de vN-M.
• Fórmula de Dualidad (Teorema 1): Bajo ciertas condiciones, se establece una fórmula exacta:
  $$\min_{w \in W^+} \|u_0 - w\|_\infty = \frac{1}{2} \max \{ u_0(y) - u_0(x) : (x,y) \in V \}$$
  Donde $V$ es el conjunto de pares que violan la unanimidad de Pareto. Esto demuestra que la distancia al utilitarismo es exactamente la mitad de la máxima intensidad de la violación de Pareto.

3.2. Pesos Positivos (Teoremas 5 y 6)

Para garantizar que los pesos de la agregación sean estrictamente positivos ($a_i > 0$), se requiere una condición más fuerte ($\epsilon$-Pareto Fuerte Secuencial).

• El Teorema 5 caracteriza la agregación aproximada con pesos positivos bajo esta condición secuencial.
• El Teorema 6 muestra que si el conjunto de alternativas es el casco convexo de un número finito de puntos (ej. loterías sobre un número finito de premios), la condición de Pareto Fuerte estándar es suficiente para garantizar pesos positivos, sin necesidad de la versión secuencial.

3.3. Aplicaciones a Probabilidades y Gustos

En el marco de utilidad esperada subjetiva (Anscombe-Aumann), el autor aplica estos resultados para desagregar la utilidad en dos componentes:

• Gustos (Tastes): Se demuestra que si los gustos de los individuos son aproximadamente iguales, la agregación de gustos puede ser no dictatorial y aproximadamente lineal, incluso si las probabilidades subjetivas difieren.
• Probabilidades (Beliefs): Bajo condiciones de $\epsilon$-Dominancia de Probabilidad, se demuestra que la medida de probabilidad del decisorio $P_0$ es una combinación lineal aproximada de las probabilidades individuales $P_i$, con un error acotado en la norma de variación total ($\|R\|_1 \leq \epsilon_2$).

4. Contribuciones Clave

1. Estabilidad del Teorema de Harsanyi: Responde afirmativamente a la pregunta de Ulam sobre la estabilidad de las ecuaciones funcionales en el contexto de la agregación social. Muestra que pequeñas desviaciones en los axiomas de Pareto no destruyen la estructura utilitarista, sino que solo introducen un término de error acotado.
2. Cuantificación del Error: Proporciona un límite superior explícito ($\epsilon/2$) para la distancia entre la utilidad social real y la mejor aproximación utilitarista, vinculado directamente al grado de violación de Pareto.
3. Generalización de Axiomas: Introduce y caracteriza axiomas de Pareto "casi" satisfechos ($\epsilon$-Pareto), que son más realistas para modelos económicos donde la información es incompleta o ruidosa.
4. Desagregación de Probabilidades y Gustos: Extiende la lógica de agregación a problemas de consenso sobre creencias (probabilidades) y preferencias (gustos) en entornos de incertidumbre, mostrando cómo la incertidumbre en las preferencias individuales se traduce en un error acotado en la agregación de probabilidades.

5. Significado e Implicaciones

• Para la Teoría de la Elección Social: El trabajo valida el uso de reglas utilitaristas en escenarios prácticos donde la unanimidad perfecta es inalcanzable. Sugiere que si los expertos o individuos están "casi" de acuerdo, la regla social óptima sigue siendo una suma ponderada, con un margen de error predecible.
• Para la Economía del Comportamiento y la Decisión: Ofrece un marco para modelar la toma de decisiones bajo incertidumbre sobre las preferencias. Un decisorio que consulta a un panel de expertos puede justificar una decisión "satisfactoria" (near-optimal) que se desvía ligeramente de la unanimidad estricta sin abandonar la lógica utilitarista.
• Robustez ante Especificación: A diferencia de los modelos que asumen que las utilidades individuales son verdaderas, este enfoque permite que las utilidades observadas sean aproximaciones. El resultado muestra que el decisorio puede recuperar la estructura de los gustos verdaderos (agregación lineal de las utilidades verdaderas) incluso si las utilidades observadas son ruidosas, algo que la agregación exacta de Pareto no permitiría (ver Ejemplo 5 del artículo).

En resumen, el artículo establece que el utilitarismo es una estructura robusta: pequeñas imperfecciones en la información o en la unanimidad de preferencias no colapsan la agregación social, sino que la mantienen dentro de un radio de cercanía controlado a la forma lineal clásica.