📈 economics

$p$ -orderings: From Slater to Kemeny-Young to Ranked Pairs

Cet article introduit une famille unifiée de règles de classement appelées $p$ -ordonnancements, qui minimisent la norme $p$ des désaccords de majorité par paires et englobent les ordonnancements de Slater, Kemeny-Young et les Paires Classées comme des limites ou des cas spécifiques, tout en démontrant que ces règles sont caractérisées de manière unique par des axiomes naturels d'invariance d'échelle et de monotonie.

Auteurs originaux : Amir Babak Aazami, Hubert Lewis Bray

Publié 2026-06-30

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Amir Babak Aazami, Hubert Lewis Bray

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous essayez de trancher un débat entre des amis sur le meilleur film de l'année. Tout le monde a voté, mais les résultats sont désordonnés. Certains préfèrent le Film A au B, d'autres préfèrent le B au C, mais étonnamment, un troisième groupe pense que le C est meilleur que le A. Cela crée une boucle (A > B > C > A), rendant impossible la déclaration d'un vainqueur unique et parfait en regardant simplement qui a battu qui.

Ce document présente une nouvelle famille de règles flexibles appelées p-ordonnancements pour résoudre ce problème complexe. Considérez cette famille comme un « cadran » ou un « curseur » que vous pouvez tourner pour changer l'importance accordée à la taille du désaccord entre les électeurs.

Voici comment fonctionne ce cadran, en passant d'une extrémité à l'autre :

1. L'extrémité du « Comptage » (Ordonnancements de Slater)

Le cadran est réglé sur presque zéro ( $p \to 0$ ).
Imaginez que vous êtes un comptable strict qui ne se soucie que du nombre de fois où les gens sont en désaccord avec votre classement, et non de la force de leur conviction.

L'analogie : Vous avez une pile de cartes rouges. Chaque fois que votre classement contredit le vote de la majorité (par exemple, vous dites que A est meilleur que B, mais la foule dit que B est meilleur), vous recevez une carte rouge.
L'objectif : Vous voulez le classement avec le moins de cartes rouges.
Le résultat : C'est l'ordonnancement de Slater. Il traite une différence de 1 vote de la même manière qu'une différence massive de 1 000 votes. Il se contente de compter les erreurs.

2. L'extrémité du « Milieu » (Règle de Kemeny-Young)

Le cadran est réglé sur 1 ( $p = 1$ ).
Maintenant, vous commencez à vous soucier de la taille du désaccord. Une différence de 10 voix semble dix fois pire qu'une différence de 1 voix.

L'analogie : Au lieu de simplement compter les cartes rouges, vous mesurez maintenant la « distance » du désaccord. Si la foule est en désaccord avec vous par une grande marge, cela affecte votre score plus durement.
L'objectif : Vous voulez minimiser la somme totale de ces tailles de désaccord.
Le résultat : C'est la célèbre règle de Kemeny-Young. C'est comme essayer de trouver le chemin qui nécessite le moins d'« effort » total pour expliquer les préférences des électeurs.

3. L'extrémité du « Plus Gros Problème » (Paires Classées)

Le cadran est tourné au maximum (Grand $p$ ).
Maintenant, vous devenez obsédé par les plus gros désaccords. Vous ne vous souciez plus des petites choses ; vous ne vous intéressez qu'à la contradiction massive et flagrante.

L'analogie : Imaginez que vous êtes un juge examinant une liste de crimes. Vous ne vous souciez pas des 50 contraventions mineures ; vous ne vous souciez que du meurtre. Si vous réglez le problème du meurtre, peu importe si vous créez accidentellement 10 nouvelles contraventions. Vous priorisez la violation la plus « lourde » avant tout le reste.
L'objectif : Vous repérez la plus grande marge de victoire (par exemple, « A bat B par 50 voix »). Vous verrouillez cela. Ensuite, vous regardez la suivante. Si elle s'insère dans la première, vous la verrouillez. Si elle crée une boucle (une contradiction), vous la rejetez car c'est le « maillon faible » de cette chaîne logique spécifique.
Le résultat : C'est la méthode des Paires Classées (Ranked Pairs). Le document prouve que si vous tournez le cadran suffisamment haut, votre « p-ordonnancement » devient exactement les Paires Classées.

La « Magie » du Cadran

Les auteurs ont découvert quelque chose de fascinant : ce cadran n'est pas aléatoire.

Ils se sont demandé : « Y a-t-il une raison mathématique pour laquelle nous devrions utiliser cette formule spécifique ( $|x|^p$ ) ? »
Ils ont prouvé que si vous voulez une règle qui :

Fonctionne de la même manière que tout le monde vote une fois ou dix fois (Invariance d'échelle).
Se soucie uniquement de la taille de la marge, et non de la direction (Dépendance de la magnitude).
Traite les marges plus grandes comme étant plus importantes (Monotonie).

...alors la seule formule que vous pouvez utiliser est ce cadran $|x|^p$ . C'est la façon « canonique » (standard) de mesurer ces désaccords.

L'effet de « Gel »

Le document explique également ce qui se passe lorsque vous continuez à tourner le cadran de plus en plus haut.

Au début, à mesure que vous augmentez $p$ , le classement peut fluctuer un peu alors que différentes combinaisons de votes deviennent plus ou moins importantes.
Cependant, une fois que vous avez passé un certain « point de bascule » (un nombre $p^*$ spécifique), le classement se fige.
Peu importe à quel point vous tournez le cadran plus haut après ce point, le résultat ne change plus jamais. Il s'est verrouillé sur la solution des Paires Classées.

Résumé

Considérez le p-ordonnancement comme une machine universelle unique pour classer des candidats.

Tournez le bouton vers 0, et il compte les erreurs (Slater).
Tournez le bouton vers 1, et il additionne la douleur des erreurs (Kemeny-Young).
Tournez le bouton vers l'infini, et il priorise les plus gros désaccords avant tout le reste (Paires Classées).

Le document montre que ces trois méthodes célèbres, apparemment différentes, sont en fait simplement des réglages différents sur la même machine, et que cette machine est mathématiquement la seule qui respecte les règles de base de l'équité concernant les marges de vote.

Résumé technique : p-ORDERINGS : DE SLATER À KEMENY-YOUNG ET RANKED PAIRS

Énoncé du problème
Dans les élections préférentielles, les bulletins induisent des marges de majorité par paires entre les candidats. Bien que de nombreuses règles de bien-être social reposent sur cette information de marge par paire plutôt que sur le profil complet, l'absence d'un cadre unifié reliant les différentes règles de classement distinctes persistait. Plus précisément, l'article traite de la relation entre trois règles de marges proéminentes : les ordonnancements de Slater (minimisant le nombre de désaccords par paires), la règle de Kemeny-Young (minimisant la somme des magnitudes de désaccord) et Ranked Pairs (priorisant les marges les plus importantes de manière lexicographique). Le problème central est de déterminer si ces règles peuvent être considérées comme les membres d'une seule famille canonique de règles de classement dérivées d'un principe d'optimisation spécifique sur la matrice de la marge de victoire (m.o.v.).

Méthodologie
Les auteurs introduisent une famille de règles de classement appelée p-orderings, définie par la minimisation de la $p$ -norme des marges de majorité par paires qui sont en désaccord avec un classement donné.

Définition de la $p$ -norme sur les matrices m.o.v. : Pour un ordre de candidats donné, les auteurs isolent les entrées de la partie triangulaire supérieure de la matrice m.o.v. qui sont négatives (indiquant un désaccord avec l'ordre). Ils définissent la $p$ -norme d'un ordre $\pi$ comme étant :
$\|\pi\|_p = \left( \sum_{i<j, m_{ij}<0} |m_{ij}|^p \right)^{1/p}$
Le p-ordering est la permutation des candidats qui minimise cette quantité.
Justification canonique (Théorème 1) : L'article soutient que le choix de la fonction $f(x) = |x|^p$ n'est pas arbitraire. Sous trois hypothèses naturelles — invariance d'échelle, dépendance uniquement à la magnitude de la marge et monotonicité par rapport à la taille de la marge — les auteurs prouvent que la seule fonction de score continue compatible avec cette construction est de la forme $c|x|^p$ . Cela établit la famille p comme étant canonique parmi les constructions basées sur les marges.
Optimisation via la Q-somme : Pour faciliter l'analyse, les auteurs définissent une « Q-somme » (Corollaire 2), qui additionne les magnitudes signées $\sum \mu_{ij} |m_{ij}|^p$ . Maximiser cette somme est équivalent à minimiser la $p$ -norme des entrées négatives.

Résultats clés
L'article établit le comportement des p-orderings à travers le spectre de $p > 0$ :

Limite quand $p \to 0^+$ (Proposition 1) : Minimiser la $p$ -norme devient équivalent à minimiser le nombre de désaccords par paires. Ainsi, le p-ordering converge vers l'ordonnancement de Slater.
Cas $p = 1$ (Proposition 2) : L'ordonnancement de la 1-norme est mathématiquement équivalent à la règle de Kemeny-Young, qui minimise la somme des marges de désaccord absolues.
Limite quand $p \to \infty$ (Théorème 2) : Pour toute élection présentant des marges de victoire par paires distinctes et non nulles, il existe un seuil $p^*$ $p^{*}$ tel que pour tout $p \geq p^*$ $p \geq p^{*}$ , le p-ordering coïncide exactement avec l'ordonnancement de Ranked Pairs.
- Mécanisme : La preuve repose sur une « Propriété de dominance cumulative » (Lemme 3). À mesure que $p$ augmente, le terme correspondant à la plus grande marge de victoire domine la somme de tous les termes plus petits. Par conséquent, la procédure d'optimisation devient lexicographique : elle priorise la satisfaction des plus grandes marges en premier, puis les suivantes, reflétant exactement l'algorithme de Ranked Pairs.
Stabilisation : L'ensemble des p-orderings est constant sur un nombre fini d'intervalles sur l'axe positif de $p$ (Proposition 9). Pour un $p$ suffisamment grand, la solution se stabilise vers l'ordonnancement unique de Ranked Pairs (en supposant des marges distinctes).

Propriétés des p-orderings
L'article analyse les propriétés axiomatiques de la famille des p-orderings :

Cohérence de Smith : Pour tout $p > 0$ , les p-orderings classent les candidats de l'ensemble de Smith au-dessus de ceux qui en sont hors de l'ensemble (Proposition 5).
Compatibilité de Condorcet : Si un vainqueur de Condorcet existe, il est classé premier ; si un perdant de Condorcet existe, il est classé dernier.
Monotonicité : Si le p-ordering est unique, il satisfait la propriété de monotonicité (Proposition 7).
Indépendance du dernier placé (Last Place Loser Independence) : Le retrait du candidat classé dernier dans l'élection des bulletins inversés ne modifie pas le vainqueur de l'élection originale (Proposition 6).
Invariance par clone : La famille n'est pas généralement invariante par clone, car la règle de Kemeny-Young ( $p=1$ ) échoue à ce critère (Proposition 3).

Signification
L'article prétend unifier trois règles de vote distinctes — Slater, Kemeny-Young et Ranked Pairs — en une seule famille de règles à un paramètre basée sur les marges de majorité par paires. En démontrant que Ranked Pairs est le membre limite de grande valeur de $p$ de cette famille canonique, ce travail fournit un pont théorique entre les approches basées sur le comptage, la somme et le lexicographique. Les auteurs soulignent que Ranked Pairs n'est pas une heuristique isolée mais la limite naturelle d'un processus d'optimisation continu piloté par les magnitudes de marge. Les résultats sont prouvés sous l'hypothèse de marges distinctes et non nulles pour éviter les complications liées aux égalités, la convergence vers Ranked Pairs étant vérifiée pour tout $p$ suffisamment grand.