🔢 mathematics

Sequential Apportionment from Stationary Divisor Methods

Cet article caractérise les séquences d'apportionnement périodiques des méthodes diviseurs stationnaires à deux partis, établit un lien entre leur ordre lexicographique et le paramètre d'arrondi, généralise ces résultats au cas à $n$ partis, et révèle que le biais de taille se manifeste par l'anticipation de l'attribution des sièges aux grands partis plutôt que par leur nombre total.

Auteurs originaux : Michael A. Jones, Brittany Ohlinger, Jennifer Wilson

Publié 2026-03-02

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Michael A. Jones, Brittany Ohlinger, Jennifer Wilson

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

🏛️ Le Grand Jeu de la Répartition : Qui arrive en premier ?

Imaginez que vous organisez une grande fête avec plusieurs groupes d'amis (les partis politiques). Vous avez un certain nombre de chaises (les sièges) à distribuer. La règle d'or est simple : plus un groupe a d'amis (de voix), plus il devrait avoir de chaises. C'est ce qu'on appelle la représentation proportionnelle.

Mais il y a un problème : comment décider l'ordre dans lequel les gens s'assoient ?

Dans certains pays (comme en Irlande du Nord), ce n'est pas juste une question de "qui a combien de chaises au total", mais de qui obtient sa chaise en premier, deuxième, troisième, etc. Cet ordre est crucial ! Pourquoi ? Parce que dans une coalition gouvernementale, le premier arrivé obtient souvent le poste le plus prestigieux (comme le Premier Ministre), le deuxième arrive en second, et ainsi de suite.

Ce papier scientifique, écrit par Michael Jones, Brittany Ohlinger et Jennifer Wilson, s'intéresse à cette question : Comment l'ordre d'arrivée change-t-il selon la méthode mathématique utilisée ?

🎲 La Machine à Diviser : Le "Cutpoint"

Les mathématiciens utilisent des "méthodes de diviseurs" pour faire ce calcul. Imaginez une machine magique qui distribue les chaises une par une. Cette machine a un bouton de réglage, appelé le "cutpoint" (le point de coupure), noté par la lettre c.

Ce bouton détermine la "rigidité" de la machine :

Si vous tournez le bouton vers 0 (Méthode d'Adams) : La machine est très gentille avec les petits groupes. Elle leur donne une chance de s'asseoir très tôt, même s'ils sont peu nombreux. C'est comme si elle disait : "Pas de panique les petits, vous avez votre place avant les gros !"
Si vous tournez le bouton vers 1 (Méthode de D'Hondt) : La machine favorise les gros groupes. Elle dit : "Les grands ont besoin de plus de chaises, donc ils les prennent d'abord." C'est la méthode utilisée en Irlande du Nord.
Si vous mettez le bouton au milieu (0,5) : C'est l'équilibre parfait (Méthode de Sainte-Laguë).

L'idée clé du papier : Les auteurs montrent que changer ce bouton ne change pas seulement le nombre final de chaises (qui reste souvent le même), mais change l'ordre dans lequel les groupes les obtiennent.

🎢 Le Manège des Sièges (La Périodicité)

Le papier découvre quelque chose de fascinant : si vous laissez la machine tourner pour distribuer une infinité de chaises, l'ordre dans lequel les groupes s'assoient finit par se répéter, comme un manège ou une chanson qui boucle.

L'analogie du train : Imaginez un train de chaises. Les groupes montent dans un ordre précis. Après un certain temps, le train fait un tour complet et recommence exactement le même ordre.
Les auteurs ont prouvé que pour des nombres de voix entiers, ce "train" est toujours périodique. Ils ont même trouvé la formule pour prédire exactement combien de temps dure ce cycle avant qu'il ne se répète.

🕵️‍♂️ Le Détective des Ordres (Pour 2 partis et plus)

Les auteurs ont d'abord résolu le casse-tête pour deux partis seulement. Ils ont découvert qu'il existe un nombre limité d'ordres possibles.

Si le parti A a beaucoup plus de voix que le parti B, le parti B ne pourra jamais obtenir deux chaises d'affilée. Il doit toujours attendre que le parti A en prenne une. C'est comme si le petit ne pouvait pas courir deux fois de suite sans que le grand ne fasse un pas.

Ensuite, ils ont étendu cela à plusieurs partis (3, 4, ou plus).

L'analogie du puzzle : Pour savoir comment 3 partis vont s'asseoir, vous pouvez regarder comment ils s'assoient deux par deux (A vs B, A vs C, B vs C). Si vous superposez ces petits ordres, vous pouvez reconstruire le grand ordre pour tout le monde. C'est comme assembler un puzzle à partir de ses pièces deux par deux.

⚖️ Le Biais de Taille : Une question de timing

Habituellement, on dit que certaines méthodes sont "biaisées" en faveur des gros partis.

L'ancienne vision : "La méthode X donne plus de chaises au gros parti."
La nouvelle vision de ce papier : "La méthode X ne donne pas plus de chaises, elle fait arriver le gros parti plus tôt dans la file."

C'est une différence subtile mais importante !

Avec la méthode Adams (bouton à 0), le petit parti arrive avant le gros parti dans la file d'attente.
Avec la méthode D'Hondt (bouton à 1), le gros parti arrive avant le petit.

Les auteurs ont classé tous les ordres possibles du "plus gentil avec les petits" au "plus gentil avec les gros". C'est comme une échelle de priorité où chaque méthode occupe une place précise.

🌍 Pourquoi est-ce important ?

Pour la politique : Dans des gouvernements de coalition, savoir qui arrive en premier peut déterminer qui devient Ministre de la Défense, de la Santé, etc. Si vous utilisez une méthode qui fait arriver votre parti en premier, vous obtenez le meilleur poste.
Pour la gestion (Juste-à-temps) : Ce système n'est pas seulement pour les élections. Il est aussi utilisé dans les usines pour décider dans quel ordre traiter les commandes. Si vous avez beaucoup de petites commandes et quelques grosses, l'ordre dans lequel vous les traitez change tout pour l'efficacité.

🏁 En résumé

Ce papier est une carte au trésor pour comprendre l'ordre dans lequel les sièges sont distribués.

Il montre que l'ordre est prévisible et cyclique.
Il prouve que vous pouvez calculer exactement combien d'ordres différents existent selon la méthode choisie.
Il nous rappelle que la "justice" n'est pas seulement une question de quantité (combien de chaises), mais aussi de timing (qui arrive en premier).

En fin de compte, les auteurs nous disent : "Ne regardez pas seulement le résultat final, regardez la file d'attente. C'est là que se cache la vraie nature de la méthode."

1. Problématique et Contexte

L'article s'intéresse à la séquentialité des méthodes d'attribution de sièges (apportionment) dans les systèmes de représentation proportionnelle. Bien que les méthodes diviseur (comme D'Hondt, Adams, Sainte-Laguë) soient bien connues pour leur propriété de monotonie de la taille de la chambre (house monotonicity), qui permet d'attribuer les sièges un par un, la littérature s'est peu penchée sur la séquence exacte dans laquelle ces sièges sont distribués.

Cette séquence est cruciale dans deux domaines pratiques :

Formation des gouvernements : Dans certaines coalitions (ex. : Assemblée d'Irlande du Nord), l'ordre d'attribution des sièges détermine l'ordre de sélection des postes ministériels.
Ordonnancement Juste-à-Temps (JIT) : La séquence d'attribution des sièges est isomorphe à des problèmes de traitement d'éléments pour répondre à une demande, où l'objectif est de minimiser les écarts de traitement.

Le problème central est de caractériser l'ensemble des séquences possibles générées par les méthodes diviseurs stationnaires, paramétrées par un point de coupure $c \in [0, 1]$ , et de comprendre comment ces séquences varient en fonction de $c$ et des totaux de votes.

2. Méthodologie

Les auteurs adoptent une approche combinatoire et analytique basée sur les propriétés des méthodes diviseurs stationnaires :

Définition des Méthodes Stationnaires : Une méthode est définie par un point de coupure $c$ $c$ . Le siège suivant est attribué au parti $i$ $i$ maximisant le ratio $p_i / (a_i + c)$ $p_{i} / (a_{i} + c)$ , où $p_i$ $p_{i}$ est le nombre de votes et $a_i$ $a_{i}$ le nombre de sièges déjà attribués.
- $c=0$ : Méthode d'Adams (favorise les petits partis).
- $c=0.5$ : Méthode de Sainte-Laguë/Webster.
- $c=1$ : Méthode de D'Hondt/Jefferson (favorise les grands partis).
Propriété de Périodicité : En supposant des votes entiers, les auteurs démontrent que les séquences d'attribution sont périodiques. La période $P$ est donnée par $P = (\sum p_i) / \text{pgcd}(p_1, \dots, p_n)$ .
Approche par "Lifting" (Relèvement) : Pour le cas à $n$ $n$ partis, les auteurs ne construisent pas la séquence directement. Ils utilisent la propriété de cohérence (consistency) des méthodes diviseurs : la séquence entre deux partis $i$ $i$ et $j$ $j$ dans un contexte à $n$ $n$ partis est identique à la séquence obtenue si seuls ces deux partis existaient.
- L'algorithme proposé génère d'abord les $\binom{n}{2}$ séquences paires (2 partis).
- Il fusionne ensuite ces séquences pour reconstruire la séquence globale à $n$ partis en identifiant, à chaque étape, le parti qui apparaît en tête dans $n-1$ des séquences paires.
Ordre Lexicographique : Les séquences sont comparées selon un ordre lexicographique pour établir une hiérarchie entre les méthodes en fonction de $c$ .

3. Résultats Clés

A. Caractérisation des Séquences à Deux Partis

Pour deux partis avec des votes $p_1 > p_2$ (supposés premiers entre eux pour simplifier) :

Structure : La séquence périodique est composée de blocs de 1 (parti 1) et de 2 (parti 2). Le nombre de 1 consécutifs entre deux 2 est contraint.
Condition de Validité : Une séquence est générée par une méthode stationnaire si et seulement si les longueurs des blocs de 1 ( $k_i$ ) satisfont des inégalités spécifiques liées à $p_1/p_2$ et au point de coupure $c$ .
Nombre de Séquences Distinctes : Pour $p_1$ et $p_2$ premiers entre eux, il existe exactement $p_1 - p_2 + 1$ séquences distinctes (incluant le cas $c=1$ ). Ces séquences correspondent à des intervalles de $c$ de la forme $[\frac{\ell}{p_1-p_2}, \frac{\ell+1}{p_1-p_2})$ .
Relation Adams-D'Hondt : Il existe une relation structurelle directe : la séquence d'Adams ( $c=0$ ) commence par les $n$ premiers partis (un siège chacun), suivie de la séquence de D'Hondt ( $c=1$ ) décalée.

B. Extension au Cas à $n$ Partis

Algorithme de Lifting : Les auteurs proposent un algorithme (Algorithme 1) qui construit la séquence à $n$ partis en fusionnant les séquences paires. Ils prouvent que cet algorithme génère toujours la séquence correcte pour n'importe quel $c$ .
Comptage des Séquences : Le nombre de séquences distinctes pour $n$ $n$ partis est déterminé par l'union des ensembles de points de rupture (endpoints) provenant de toutes les paires de partis.
- Pour chaque paire $(i, j)$ , l'intervalle $[0, 1)$ est partitionné en $m_{ij} = (p_i - p_j)/\text{pgcd}(p_i, p_j)$ intervalles.
- Le nombre total de séquences est $1 + |\bigcup A_{ij}|$ , où $A_{ij}$ est l'ensemble des points de rupture de la paire $(i,j)$ .
- Les auteurs utilisent le principe d'inclusion-exclusion pour calculer la taille de cette union, tenant compte des redondances lorsque les pgcd des différences de votes sont communs.

C. Redéfinition du Biais de Taille

L'article propose une nouvelle perspective sur le biais de taille (size bias) :

Traditionnellement, le biais est vu comme une différence dans le nombre total de sièges obtenus.
Les auteurs montrent que pour les méthodes stationnaires, le nombre total de sièges est souvent identique pour différentes valeurs de $c$ (lorsque la taille de la chambre est un multiple des votes).
Nouvelle définition : Le biais se manifeste par le moment (la position dans la séquence) où les partis obtiennent leurs sièges. Les méthodes favorisant les grands partis (D'Hondt) leur attribuent les sièges plus tôt dans la séquence, tandis que celles favorisant les petits partis (Adams) les attribuent plus tard, même si le total final est le même.

4. Contributions Principales

Caractérisation Complète : Identification explicite de toutes les séquences possibles pour les méthodes diviseurs stationnaires, tant pour 2 partis que pour $n$ partis.
Formules de Comptage : Dérivation de formules exactes pour le nombre de séquences distinctes en fonction des totaux de votes, utilisant l'arithmétique des pgcd et le principe d'inclusion-exclusion.
Algorithme de Reconstruction : Mise au point d'un algorithme efficace pour reconstruire la séquence à $n$ partis à partir des séquences paires, validé par des preuves théoriques.
Lien Adams-D'Hondt : Établissement d'une relation mathématique précise entre les séquences extrêmes (Adams et D'Hondt), montrant comment l'une est un décalage de l'autre.
Application Pratique : Analyse de l'exemple réel de l'Assemblée d'Irlande du Nord, démontrant comment le choix de la méthode (et donc de la séquence) peut influencer l'attribution des postes ministériels, même si le nombre final de sièges reste inchangé.

5. Signification et Impact

Ce travail comble un vide dans la littérature sur l'attribution des sièges en passant d'une analyse statique (nombre de sièges pour une taille de chambre donnée) à une analyse dynamique (séquence d'attribution).

Pour la Science Politique : Cela offre un outil pour analyser les conséquences politiques de l'ordre d'attribution des portefeuilles ministériels, au-delà du simple nombre de sièges. Cela permet de modéliser des scénarios où l'ordre d'arrivée est stratégique.
Pour l'Informatique et l'Optimisation (JIT) : Les résultats fournissent une compréhension approfondie des séquences périodiques générées par les méthodes diviseurs, utiles pour l'ordonnancement équitable de tâches.
Théorie Mathématique : L'article établit des liens profonds entre la théorie des nombres (pgcd, périodicité), la combinatoire (mots infinis, ordre lexicographique) et la théorie du choix social.

En résumé, l'article démontre que la séquence d'attribution n'est pas arbitraire mais structurée de manière rigide par les paramètres de la méthode et les votes, offrant une grille de lecture fine pour évaluer l'équité temporelle des systèmes proportionnels.