Resumo Técnico: Sobre a Estabilidade da Agregação Utilitarista

1. Problema e Contexto

O artigo aborda o Teorema de Agregação de Harsanyi (1955), um resultado fundamental na teoria da escolha social e na economia do bem-estar. O teorema original estabelece que, sob condições estritas de unanimidade de Pareto (tanto para preferências estritas quanto para indiferença), uma função de utilidade coletiva ($u_0$) que representa o julgamento de um grupo de indivíduos deve ser uma soma ponderada linear (agregador utilitarista) das utilidades individuais ($u_i$).

O problema central identificado pelo autor é a instabilidade prática desse teorema. Em cenários reais de tomada de decisão (seja por um planejador social ou um decisor consultando especialistas), as preferências individuais são frequentemente conhecidas apenas de forma aproximada, ou os princípios de Pareto podem ser violados ligeiramente devido a incertezas, erros de especificação ou custos de informação. O teorema clássico é "frágil": uma violação exata de uma condição de Pareto pode invalidar completamente a conclusão de que a agregação é linear.

A questão de pesquisa é: Se as condições de Pareto forem violadas de forma limitada (aproximadamente satisfeitas), a regra de agregação resultante permanece próxima de uma agregação utilitarista? O objetivo é quantificar a estabilidade do teorema de Harsanyi.

2. Metodologia e Estrutura Teórica

2.1. Ambiente e Premissas

O autor trabalha no contexto de utilidades de von Neumann-Morgenstern (vN-M) sobre um conjunto de alternativas $X$ (que pode ser um conjunto de loterias ou atos).

• Agentes: Um tomador de decisão (DM) com utilidade $u_0$ e $N$ indivíduos com utilidades $u_1, \dots, u_N$.
• Estrutura: As funções de utilidade são afins (preservam misturas), e o conjunto de alternativas é convexo. O autor considera tanto domínios compactos com utilidades contínuas quanto o caso geral de vN-M.

2.2. Definição de Agregação Aproximada

O autor define formalmente o que significa $u_0$ ser um "agregador utilitarista aproximado". Existem duas formas equivalentes (Proposição 1):

1. Forma com Oscilação: $u_0(x) = \sum a_i u_i(x) + e(x)$, onde a oscilação da função de erro $e(x)$ é limitada por um parâmetro $\epsilon$.
2. Forma de Distância Supremum: A distância entre $u_0$ e o conjunto de agregadores utilitaristas exatos ($W$) é limitada por $\epsilon/2$ na norma supremum ($\|u_0 - w\|_\infty \le \epsilon/2$).

2.3. Axiomas de Pareto Relaxados

Para caracterizar essa agregação aproximada, o autor propõe versões "fracas" dos axiomas de Pareto, parametrizadas por $\epsilon \ge 0$:

• $\epsilon$-Pareto Semiforte: Se todos os indivíduos preferem (ou são indiferentes) a $x$ em relação a $y$, então o DM considera $x$ pelo menos $\epsilon$-ótimo em relação a $y$ (ou seja, $u_0(x) \ge u_0(y) - \epsilon$).
• $\epsilon$-Indiferença de Pareto: Se todos são indiferentes entre $x$ e $y$, o DM é "quase indiferente" ($|u_0(x) - u_0(y)| \le \epsilon$).
• $\epsilon$-Pareto Forte e Sequencial: Versões mais fortes que garantem pesos estritamente positivos, incorporando conceitos de eficiência própria (proper efficiency) para evitar casos patológicos onde a linearidade falha mesmo com violações pequenas.

2.4. Ferramentas Matemáticas

A prova dos teoremas principais baseia-se fortemente em:

• Teorema Minimax: Utilizado para estabelecer a dualidade entre a violação dos axiomas de Pareto e a distância da função de utilidade ao conjunto de agregadores lineares.
• Análise Convexa e Topologia: Uso de conjuntos compactos, fechos convexos e decomposição de Jordan para medidas.
• Lema de Farkas e Teoremas de Alternativa: Para casos de dimensão finita.

3. Resultados Principais

3.1. Estabilidade Quantitativa (Teoremas 2 e 3)

O resultado central do artigo é a demonstração de que a violação limitada do princípio de Pareto implica uma agregação aproximadamente utilitarista.

• Teorema 2 (Domínio Compacto): Em um ambiente com utilidades contínuas e domínio compacto, se o par $(u_0, U)$ satisfaz o $\epsilon$-Pareto Semiforte, então $u_0$ está a uma distância de no máximo $\epsilon/2$ de um agregador utilitarista com pesos não negativos.
• Teorema 3 (Caso Geral): Estende o resultado para qualquer ambiente vN-M (sem assumir compacidade), provando que a equivalência entre o $\epsilon$-Pareto e a agregação aproximada mantém-se.
• Interpretação: O parâmetro $\epsilon$ que mede a violação do axioma de Pareto é o mesmo que limita a distância da regra de agregação à forma linear exata. Isso responde afirmativamente à questão de Ulam sobre a estabilidade de equações funcionais neste contexto.

3.2. Dualidade e Limites Ótimos (Teorema 1)

O autor estabelece uma fórmula de dualidade que conecta a violação máxima de Pareto à oscilação do termo residual:
$$\min_{w \in W^+} \|u_0 - w\|_\infty = \frac{1}{2} \max \{ u_0(y) - u_0(x) : (x,y) \in V \}$$
Onde $V$ é o conjunto de pares que violam o Pareto. Isso mostra que a distância mínima ao agregador utilitarista é exatamente metade da maior violação cardinal observada.

3.3. Pesos Positivos (Teoremas 5 e 6)

Para garantir que os pesos na agregação sejam estritamente positivos (evitando que o DM ignore alguns indivíduos), o autor introduz o $\epsilon$-Pareto Forte Sequencial.

• O Teorema 5 mostra que esta condição é necessária e suficiente para que $u_0$ seja aproximadamente um agregador com pesos estritamente positivos.
• O Teorema 6 simplifica essa condição para o caso onde o conjunto de alternativas é o casco convexo de um número finito de pontos (comum em loterias finitas), onde o $\epsilon$-Pareto Forte padrão já é suficiente.

3.4. Aplicações a Probabilidades e Gostos (Seção 3.3 e Proposição 2)

O autor aplica os resultados a dois contextos específicos:

1. Agregação de Gostos (Tastes): Mostra que, se os gostos dos indivíduos são suficientemente próximos (dentro de $\epsilon$), é possível uma agregação não-ditatorial de probabilidades, mesmo sob condições de independência linear que, no caso exato, forçariam um ditador de probabilidades (contrariando resultados de Mongin, 1998).
2. Agregação de Probabilidades: Em um ambiente Savage, sob condições de Pareto de Loteria e Dominância de Probabilidade aproximadas, a probabilidade subjetiva do DM ($P_0$) é uma combinação linear aproximada das probabilidades individuais ($P_i$), com um erro de medida limitado por $\epsilon$.

4. Contribuições e Significância

1. Robustez do Teorema de Harsanyi: O paper demonstra que o teorema de Harsanyi é estável. Pequenos desvios nas premissas (devido a incerteza ou erro de medição) não destroem a conclusão de que a agregação é utilitarista; apenas introduzem um termo de erro controlado.
2. Tratamento da Incerteza Epistêmica: Oferece uma estrutura formal para lidar com situações onde as preferências individuais são apenas aproximações da realidade. Permite que um decisor adote uma regra de agregação linear mesmo quando não há unanimidade perfeita, desde que as violações sejam pequenas.
3. Conexão com a Literatura de Estabilidade: Conecta a teoria da escolha social à literatura de estabilidade de equações funcionais (problema de Ulam) e a resultados quantitativos em teoria da impossibilidade (como a versão quantitativa do Teorema de Arrow de Mossel).
4. Novas Condições de Pareto: Introduz e formaliza axiomas de Pareto relaxados ($\epsilon$-Pareto) que são mais aplicáveis a cenários empíricos e de decisão sob incerteza do que os axiomas clássicos.
5. Implicações para Dictatorship: Mostra que, em aproximações, a necessidade de ditadores (de utilidade ou probabilidade) pode ser mitigada se houver uma certa homogeneidade nos gostos ou crenças dos indivíduos, permitindo agregações lineares não-ditatoriais aproximadas.

Em suma, o artigo fornece uma fundamentação teórica robusta para o uso de regras de agregação utilitarista em cenários do mundo real, onde a precisão matemática exata dos axiomas de Pareto raramente é atingida, garantindo que as conclusões normativas permaneçam válidas dentro de limites de erro bem definidos.