Obviously Strategy-proof Choice of Social Acts

Résumé Technique : Choix d'actes sociaux avec une stratégie de choix manifestement incitative (OSP)

Énoncé du Problème
Cet article examine la mise en œuvre des fonctions de choix social (FCS) dans le cadre du choix social sur les actes sociaux, introduit initialement par Bahel et Sprumont (2020). Dans cet environnement, un planificateur social doit sélectionner un plan contingent (un acte faisant correspondre des états de la nature à des issues) avant que l'incertitude ne soit levée. Les agents évaluent ces actes en utilisant le critère de l'Utilité Espérée Subjective (UES), ce qui signifie qu'ils possèdent à la fois des évaluations subjectives des issues et des mesures de probabilité subjectives sur les états de la nature.

Bien que Bahel et Sprumont (2020) aient démontré que la classe des FCS unanimes et stratégiquement incitatives dans ce domaine est riche — caractérisée spécifiquement comme des règles de « sélection de sommet localement bilatéral » — cet article demande si ces règles satisfont la condition plus forte de la Stratégie de Choix Manifestement Incitative (Obvious Strategy-Proofness ou OSP). L'OSP, introduite par Li (2017), exige que le fait de rapporter sincèrement ses préférences soit une stratégie dominante évidente, ce qui signifie que même le pire résultat possible résultant du suivi de cette stratégie est au moins aussi bon que le meilleur résultat possible d'une déviation. La question centrale est de savoir si la flexibilité permise par l'incitation stratégique standard survit lorsque les agents doivent « évidemment » comprendre l'optimalité de la sincérité.

Méthodologie et Modèle
Les auteurs adoptent le modèle formel de Bahel et Sprumont (2020), défini par :

• Un ensemble fini d'agents $N$, un ensemble fini d'états de la nature $\Omega$, et un ensemble d'issues sociales $X$.
• Les agents détiennent des préférences d'UES strictes, représentées par des fonctions de valorisation injectives $v_i$ et des mesures de probabilité injectives $p_i$.
• Les fonctions de choix social associent des profils de préférences à des actes ($\phi: D^n \to X^\Omega$).

L'article utilise la définition des mécanismes OSP comme des jeux en forme extensive (arbres) où les agents rapportent leurs préférences aux nœuds internes. Un mécanisme est OSP si, à chaque nœud de décision pour un agent, l'utilité du pire résultat issu du suivi du chemin de sincérité est supérieure ou égale à l'utilité du meilleur résultat issu de toute déviation.

La stratégie de preuve repose sur la caractérisation des FCS unanimes et stratégiquement incitatives fournie par Bahel et Sprumont (2020), qui sont des règles de sélection de sommet localement bilatéral. Ces règles partitionnent l'espace des états $\Omega$ en événements, où l'assignation des états aux agents est déterminée par des règles qui sont soit constantes, soit bilatéralement dictatoriales, soit bilatéralement consensuelles. Les auteurs analysent ensuite les contraintes structurelles imposées par l'OSP sur ces règles d'assignation spécifiques.

Un outil technique clé est le Lemme 1, qui établit que pour toute croyance $p_i$, on peut construire une fonction de valorisation $v_i$ avec une progression géométrique spécifique de valeurs telle que la préférence résultante est stricte (pas d'indifférence entre des actes distincts) pour toutes les valeurs de paramètres, sauf pour un nombre fini de celles-ci. Cela permet aux auteurs de construire des profils de préférences spécifiques où les agents ont des préférences strictes sur les issues générées par différentes règles d'assignation, facilitant ainsi un argument par l'absurde.

Résultats Clés
Le résultat principal de l'article, le Théorème 1, fournit une caractérisation complète :

Une FCS $\phi$ est unanime et implémentable par OSP si et seulement si elle est dictatoriale.

La preuve procède par l'absurde, en supposant l'existence d'une FCS unanime et implémentable par OSP qui n'est pas dictatoriale. Sur la base de la caractérisation de Bahel et Sprumont, une telle fonction correspondrait à une règle d'assignation localement bilatérale. Les auteurs démontrent que si plus d'un agent est assigné un ensemble non vide d'états (ce qui est nécessaire pour une règle non dictatoriale), on peut construire deux profils de préférences qui divergent à un nœud spécifique du mécanisme OSP. En choisissant soigneusement les valorisations (en utilisant le Lemme 1), ils montrent qu'au nœud de divergence, la condition OSP exigerait qu'un agent préfère une issue qui contredit ses préférences construites.

Plus précisément, la preuve démontre :

1. Proposition 1 : Pour tout agent, l'ensemble des états qui lui sont assignés est soit vide pour tous les profils de croyances, soit non vide pour tous les profils de croyances.
2. Proposition 2 : Au moins un agent doit se voir assigner un ensemble non vide d'états pour tous les profils (en raison de l'unanimité et des propriétés de partition).
3. Proposition 3 : Il est impossible que deux agents distincts se voient tous deux assigner des ensembles non vides d'états pour tous les profils. Si deux agents étaient assignés des ensembles non vides d'états, la condition OSP serait violée en construisant un scénario où un agent préfère l'issue associée aux états assignés à l'autre agent, créant un cycle de dominance que l'OSP ne peut résoudre.

Par conséquent, un seul agent peut être assigné l'intégralité de l'espace des états $\Omega$ à travers tous les profils, rendant la FCS dictatoriale. Inversement, les auteurs notent que les FCS dictatoriales sont trivialement implémentables par OSP.

Signification et Contribution
L'article contribue à la littérature sur la stratégie de choix manifestement incitative (OSP) en démontrant que les implications de l'OSP sont extrêmement sensibles à l'environnement économique. Alors que des études antérieures dans des environnements de vote avec des domaines à sommet unique (Bade et Gonczarowski, 2016 ; Arribillaga et al., 2020) ou des problèmes de division (Arribillaga et al., 2023) ont trouvé des règles implémentables par OSP non dictatoriales, cet article montre que dans le contexte du choix social sur les actes avec une incertitude subjective, l'OSP est extrêmement restrictive.

Les auteurs affirment que leur résultat met en lumière une « forte tension entre la simplicité de l'incitation et le choix collectif non dictatorial » dans les environnements où les agents détiennent des préférences d'utilité espérée subjective. Alors que Bahel et Sprumont (2020) ont trouvé que l'incitation stratégique permet une classe riche de règles localement bilatérales, l'imposition de l'exigence d'« évidence » (obvious) réduit totalement cette flexibilité, ne laissant que les règles dictatoriales comme candidats viables pour une implémentation OSP. Cela suggère que dans des environnements complexes impliquant une incertitude subjective, les mécanismes faciles à comprendre pour les agents (OSP) peuvent être incompatibles avec un choix social unanime et non dictatorial.