Résumé technique : Vote avec ordres partiels – Les classes Pluralité et Anti-Pluralité

1. Énoncé du problème

L'article aborde le problème de la décision collective lorsque les préférences individuelles sont représentées par des ordres partiels stricts plutôt que par les ordres linéaires (classements complets) standards utilisés dans la théorie classique du choix social. Dans de nombreux scénarios pratiques, exiger que les électeurs classent entièrement un grand ensemble d'alternatives est excessivement contraignant. Les ordres partiels permettent aux électeurs d'exprimer des préférences strictes pour certaines paires tout en restant indifférents ou incapables de comparer d'autres.

Le défi central consiste à étendre la bien connue règle de la pluralité (sélectionner l'alternative classée première le plus fréquemment) et la règle de l'anti-pluralité (sélectionner l'alternative classée dernière le moins fréquemment, également connue sous le nom de Veto) à ce domaine. Une difficulté majeure surgit car, dans un ordre partiel, un électeur peut avoir plusieurs alternatives « premières » (aucune n'est préférée à elles) ou plusieurs alternatives « dernières » (aucune n'est préférée à elles), et la structure de ces ensembles peut varier considérablement d'un électeur à l'autre. L'article vise à identifier et à caractériser axiomatiquement les classes naturelles de règles de vote qui généralisent ces règles standards aux ordres partiels.

2. Méthodologie

Les auteurs emploient une approche axiomatique dans un modèle d'électorats variables (où n'importe quel sous-ensemble fini d'un univers infini d'électeurs peut participer).

Le modèle

• Alternatives : Un ensemble fini $A$ avec $|A| = m \geq 3$.
• Préférences : Un ordre partiel strict $\succ$ (irréflexif, antisymétrique, transitif).
• Ensembles clés :
  • $T(\succ)$ : L'ensemble des alternatives premières (éléments maximaux).
  • $B(\succ)$ : L'ensemble des alternatives dernières (éléments minimaux).
  • $NT(\succ)$ et $NB(\succ)$ : Les ensembles non-premiers et non-derniers, respectivement.
• Règles de vote : Des fonctions qui mappent des profils d'ordres partiels vers un ensemble non vide d'alternatives gagnantes.

Règles de score

L'article se concentre sur les règles de score positionnelles, où le score d'une alternative dépend uniquement de sa position dans le graphe de préférence. Les auteurs définissent plusieurs classes de règles basées sur la manière dont les scores sont attribués aux ensembles premiers et derniers :

1. Classe de la pluralité : Les alternatives non-premières reçoivent un score constant $k'$, tandis que les alternatives premières reçoivent des scores $\geq k'$, avec au moins une alternative première recevant strictement plus.
2. Classe de la pluralité simple : Toutes les alternatives premières reçoivent le même score $k$.
3. Classe de la pluralité simple monotone : La différence de score entre les alternatives premières et non-premières augmente à mesure que la taille de l'ensemble premier diminue (récompensant les classements premiers « plus décisifs »).
4. Règle uniforme de la pluralité : Une règle spécifique où chaque alternative première obtient 1 point et chaque alternative non-première obtient 0.
5. Classes de l'anti-pluralité : Définies symétriquement, en se concentrant sur les ensembles derniers (les non-derniers obtiennent le score $k$, les derniers obtiennent $\leq k$).

Axiomes

Les caractérisations reposent sur un ensemble d'axiomes, incluant des axiomes standards adaptés aux ordres partiels et de nouveaux axiomes inspirés du vote par approbation :

• Standards : Anonymat, Neutralité, Renforcement (Cohérence) et Continuité.
• Réactivité : Fidélité partielle (un seul électeur sélectionne les premiers), Fidélité (un seul électeur sélectionne exactement les premiers), Aversion partielle (un seul électeur ne sélectionne pas tous les derniers), Aversion (un seul électeur ne sélectionne aucun dernier).
• Congruité : T-Congruité (ajouter des électeurs qui ne classent pas $x$ premier ne devrait pas faire gagner $x$) et B-Congruité (ajouter des électeurs qui ne classent pas $x$ dernier ne devrait pas faire perdre $x$).
• Contraction/Expansion : Contraintes sur la manière dont le résultat change lorsqu'un électeur réduit son ensemble premier ou étend son ensemble dernier.
• Propriétés techniques : Uniquement-premiers et Uniquement-derniers (les résultats dépendent uniquement des ensembles premiers/derniers).

3. Contributions et résultats clés

Caractérisation des règles de score

Le théorème 1 établit qu'une règle de vote satisfait l'Anonymat, la Neutralité, le Renforcement et la Continuité si et seulement si c'est une règle de score positionnelle. Cela adapte le résultat classique de Young (1975) au domaine des ordres partiels.

La famille de la pluralité

L'article fournit des caractérisations axiomatiques pour les classes de la pluralité :

• Théorème 2 : Une règle appartient à la classe de la pluralité si et seulement si elle satisfait l'Anonymat, la Neutralité, le Renforcement, la Continuité, la Fidélité partielle et la T-Congruité.
• Corollaire 3 : La classe de la pluralité simple est caractérisée en remplaçant la Fidélité partielle par la Fidélité.
• Théorème 4 : La classe de la pluralité simple monotone est caractérisée en ajoutant l'axiome de Contraction aux axiomes de la classe de la pluralité simple.
• Théorème 6 : La règle uniforme de la pluralité est caractérisée par l'Anonymat, la Neutralité, le Renforcement, la Fidélité partielle et la Contraction forte. La preuve repose sur la démonstration que la Contraction forte implique Uniquement-premiers, réduisant le problème au cas des ordres linéaires où la caractérisation de Sekiguchi (2012) s'applique.

La famille de l'anti-pluralité

Des résultats symétriques sont fournis pour les classes de l'anti-pluralité :

• Théorème 9 : Une règle appartient à la classe de l'anti-pluralité si et seulement si elle satisfait l'Anonymat, la Neutralité, le Renforcement, la Continuité, l'Aversion partielle et la B-Congruité.
• Corollaire 10 : La classe de l'anti-pluralité simple est caractérisée en remplaçant l'Aversion partielle par l'Aversion.
• Théorème 11 : La classe de l'anti-pluralité simple monotone est caractérisée en ajoutant l'axiome d'Expansion.
• Théorème 13 : La règle uniforme de l'anti-pluralité est caractérisée par l'Anonymat, la Neutralité, le Renforcement, l'Aversion partielle et l'Expansion forte.

Indépendance des axiomes

Les auteurs démontrent l'indépendance logique des axiomes utilisés dans ces caractérisations (Propositions 7, 8, 14, 15) en construisant des règles contre-exemples qui satisfont tous les axiomes sauf un. Notamment, ils soulignent que la Continuité est nécessaire pour leurs caractérisations des classes de la pluralité et de l'anti-pluralité dans le cadre des ordres partiels, alors qu'elle est souvent dispensable pour la règle standard de la pluralité sur les ordres linéaires (par exemple, Ching, 1996). Cette nécessité découle du fait que les structures variables des ensembles premiers/derniers dans les ordres partiels rendent des axiomes comme la T-Congruité et la Contraction moins restrictifs sans la Continuité.

Applications au vote par approbation

L'article montre que leurs résultats s'appliquent au vote par approbation, où un bulletin est un ordre partiel avec des ensembles premiers et derniers disjoints couvrant toutes les alternatives ($T(\succ) \cap B(\succ) = \emptyset$ et $T(\succ) \cup B(\succ) = A$).

• Corollaire 16 : Les règles de vote par approbation basées sur la taille (où le score dépend de la taille de l'ensemble d'approbation) sont caractérisées par les axiomes de la classe de la pluralité simple monotone (avec Fidélité partielle).
• Corollaires 17 et 18 : La règle standard de vote par approbation est caractérisée par les axiomes des règles uniformes de la pluralité et de l'anti-pluralité, respectivement.
• Corollaire 19 : Les règles de vote par approbation « anti-taille » (favorisant les ensembles d'approbation plus grands) sont caractérisées par les axiomes de la classe de l'anti-pluralité simple monotone.

4. Importance et affirmations

L'article prétend fournir les premières caractérisations axiomatiques de règles de type pluralité et de type anti-pluralité pour le domaine des ordres partiels. Son importance réside dans :

1. Généralisation : Il étend avec succès la logique intuitive de la pluralité et de l'anti-pluralité (se concentrant sur les positions premières et dernières) à un cadre où « premier » et « dernier » sont des ensembles plutôt que des éléments uniques, respectant la richesse structurelle des ordres partiels.
2. Unification : Il unifie la compréhension de ces règles à travers les ordres linéaires, les ordres partiels et le vote par approbation. Les auteurs notent que leurs caractérisations pour les ordres linéaires convergent vers les résultats de la littérature établie, validant la généralisation.
3. Nouvelles perspectives pour le vote par approbation : En dérivant ces résultats du cadre des ordres partiels, l'article offre de nouvelles caractérisations axiomatiques indépendantes pour les règles standards et basées sur la taille du vote par approbation, évitant la dépendance directe à l'hypothèse « Uniquement-premiers » souvent implicite dans la littérature sur le vote par approbation.
4. Subtilité du domaine : Les résultats illustrent les subtilités spécifiques du vote avec des ordres partiels, en particulier la nécessité de l'axiome de Continuité dans ce contexte plus large, ce qui le distingue du cas des ordres linéaires.

Les auteurs concluent que, bien qu'ils se soient concentrés sur la pluralité et l'anti-pluralité, leur cadre ouvre la voie à des généralisations similaires d'autres règles de score (par exemple, Borda, Cumulatif, Échelonné) vers le domaine des ordres partiels.