On the stability of utilitarian aggregation

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la théorie du choix social et de la théorie de la décision, en se concentrant sur le théorème d'agrégation de Harsanyi (1955). Ce théorème établit que, sous des conditions de cohérence (notamment le principe d'unanimité de Pareto), une fonction d'utilité collective $u_0$ représentant les jugements d'un groupe de $N$ individus doit être une somme pondérée linéaire des utilités individuelles $u_i$ (agrégation utilitariste).

Cependant, l'auteur souligne une limitation majeure des modèles économiques standards : ils reposent sur des hypothèses exactes qui sont rarement vérifiées dans la réalité. En particulier :

• Les préférences individuelles ne sont souvent que partiellement connues ou mal spécifiées.
• Les fonctions d'utilité $u_i$ sont des approximations des préférences réelles.
• Dans des contextes de décision complexe (consultation d'experts, incertitude), le décideur (DM) peut ne pas pouvoir respecter strictement le principe de Pareto.

La question centrale est donc la stabilité du théorème de Harsanyi : si les conditions de Pareto ne sont pas satisfaites exactement mais seulement de manière approchée (avec de petites violations), la fonction d'utilité collective $u_0$ reste-t-elle proche d'une agrégation utilitariste ?

2. Méthodologie et Cadre Théorique

L'auteur travaille dans un cadre d'utilité de von Neumann-Morgenstern (vN-M) sur un ensemble d'alternatives $X$ (souvent des loteries ou des actes).

Définitions Clés

• Agrégateur Utilitariste : Une fonction $w(x) = \sum a_i u_i(x) + b$.
• Condition de Pareto $\epsilon$-Semiforte : Au lieu d'exiger que si $u_i(x) \ge u_i(y)$ pour tout $i$, alors $u_0(x) \ge u_0(y)$, l'auteur impose :
  $$u_0(x) \ge u_0(y) - \epsilon$$
  Cela signifie que si tous les individus préfèrent (ou sont indifférents à) $x$ par rapport à $y$, le décideur ne peut pas préférer $y$ à $x$ de plus de $\epsilon$.
• Indifférence de Pareto $\epsilon$ : Si $u_i(x) = u_i(y)$ pour tout $i$, alors $|u_0(x) - u_0(y)| \le \epsilon$.

Outils Mathématiques

La méthodologie repose sur :

1. L'analyse fonctionnelle : Utilisation de la norme supremum ($\|\cdot\|_\infty$) et de l'oscillation des fonctions ($\omega$) pour quantifier l'écart entre $u_0$ et un agrégateur linéaire.
2. Le théorème Minimax : C'est l'outil central pour établir des relations de dualité entre les violations du principe de Pareto et la distance à l'agrégation utilitariste.
3. La géométrie convexe : Analyse des ensembles de différences d'utilité et de leurs propriétés d'efficacité (notamment la distinction entre points efficaces et properly efficient points).

3. Résultats Principaux

L'article établit plusieurs théorèmes caractérisant l'agrégation approchée.

A. Équivalence entre Violations Bornées et Agrégation Approchée

Le résultat fondamental (Théorèmes 2, 3 et 4) démontre l'équivalence suivante :

• Si le couple $(u_0, U)$ satisfait la condition de Pareto $\epsilon$-Semiforte, alors $u_0$ est $\epsilon/2$-proche d'un agrégateur utilitariste $w \in W^+$ (somme pondérée avec poids non négatifs).
• Mathématiquement, il existe des poids $a_i \ge 0$ et une fonction de résidu $r(x)$ telle que :
  $$u_0(x) = \sum_{i=1}^N a_i u_i(x) + r(x)$$
  où la norme du résidu est bornée : $\|r\|_\infty \le \epsilon/2$.
• De manière équivalente, $u_0(x) = \sum a_i u_i(x) + e(x)$ où l'oscillation de $e$ est bornée par $\epsilon$.

B. Formule de Dualité (Théorème 1)

Dans un cadre avec des utilités continues et un domaine compact, l'auteur établit une formule de dualité précise :
$$\min_{w \in W^+} \|u_0 - w\|_\infty = \frac{1}{2} \max \{ u_0(y) - u_0(x) : (x,y) \in V \}$$
où $V$ est l'ensemble des paires $(x,y)$ violant le principe de Pareto (c'est-à-dire où $u_i(x) \ge u_i(y)$ pour tout $i$ mais $u_0(y) > u_0(x)$).
Cela signifie que la distance minimale entre la fonction du décideur et l'ensemble des agrégateurs utilitaristes est exactement proportionnelle à l'intensité maximale des violations du principe de Pareto.

C. Cas des Poids Strictement Positifs (Théorèmes 5 et 6)

Pour garantir que les poids $a_i$ soient strictement positifs (condition de Pareto forte), l'auteur introduit une condition plus forte : le Pareto $\epsilon$-Fort Séquentiel.

• Cette condition empêche des violations asymptotiques où un individu préfère strictement $x$ à $y$ tandis que le décideur et les autres individus sont presque indifférents, mais avec un écart qui ne tend pas vers zéro correctement.
• Le Théorème 6 montre que si l'ensemble des alternatives $X$ est l'enveloppe convexe d'un nombre fini de points (ex: loteries sur un nombre fini de prix), alors la condition de Pareto forte $\epsilon$ suffit à garantir des poids strictement positifs.

D. Applications aux Probabilités et Goûts (Proposition 2)

Dans le cadre d'Anscombe-Aumann (choix sous incertitude avec croyances et goûts), l'auteur applique ces résultats pour montrer que :

• Si les préférences de Pareto sur les loteries sont satisfaites à $\epsilon_1$, les goûts (fonctions d'utilité sur les conséquences) sont une agrégation approchée.
• Si une condition de dominance de vraisemblance $\epsilon_2$ est satisfaite, la probabilité subjective du décideur $P_0$ est une combinaison linéaire approchée des probabilités individuelles $P_i$ (avec une erreur de mesure $\|R\|_1 \le \epsilon_2$).
• Cela permet d'éviter le résultat de dictature des probabilités (souvent présent dans les théorèmes exacts comme celui de Mongin) lorsque les goûts sont suffisamment proches.

4. Contributions et Signification

Contribution Théorique

1. Stabilité du Théorème de Harsanyi : L'article répond affirmativement à la question de la stabilité (au sens d'Ulam) pour l'agrégation utilitariste. De petites violations des axiomes de Pareto entraînent de petites déviations par rapport à la forme utilitariste.
2. Quantification Précise : Contrairement à des résultats qualitatifs, ce papier fournit des bornes quantitatives précises ($\epsilon/2$) reliant la violation de l'axiome à l'erreur d'approximation de l'agrégation.
3. Nouvelles Conditions d'Axiomes : L'introduction des conditions de Pareto $\epsilon$ et séquentielles offre un cadre plus robuste pour modéliser des situations où l'information est imparfaite ou où les préférences sont incertaines.

Signification Économique et Décisionnelle

• Robustesse face à l'erreur de spécification : Le modèle permet de justifier une agrégation utilitariste même lorsque les préférences individuelles sont mal connues ou approximées, tant que le décideur reste "satisfaisant" (satisficing) par rapport à l'unanimité.
• Éviter les Dictatures : Dans les modèles d'agrégation de croyances (probabilités), l'approche approchée permet d'éviter les résultats de dictature (où un seul individu dicte les croyances collectives) qui sont souvent inévitables dans les modèles exacts sous des hypothèses d'indépendance linéaire.
• Applications Pratiques : Ces résultats sont pertinents pour la conception de mécanismes de vote, l'agrégation d'avis d'experts, et la finance (agrégation de mesures de risque ou de probabilités de défaut), où les données sont toujours bruitées.

En résumé, l'article démontre que l'agrégation utilitariste est une structure robuste : elle ne s'effondre pas en présence de petites imperfections dans les préférences individuelles, mais se maintient comme une approximation de haute qualité, avec une erreur contrôlée par le degré de violation des principes de Pareto.