📈 economics

Lattice operations for the pairwise stable set in many-to-many markets via re-equilibration dynamics

Cet article établit que l'ensemble des appariements stables dans les marchés many-to-many avec des fonctions de choix indépendantes du chemin forme un treillis en construisant des opérateurs de Tarski fondés sur la dynamique des licenciements et des chaînes de postes vacants qui convergent vers des résultats stables à partir de points de départ quasi-stables.

Auteurs originaux : Agustin G. Bonifacio, Noelia Juarez, Paola B. Manasero

Publié 2026-05-13

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Agustin G. Bonifacio, Noelia Juarez, Paola B. Manasero

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 un marché du travail animé où les entreprises (les firmes) peuvent embaucher plusieurs employés, et où les employés peuvent travailler pour plusieurs entreprises simultanément. Il s'agit d'un marché « plusieurs-à-plusieurs ». La grande question que se posent les économistes est la suivante : Comment trouver un arrangement « stable » où personne ne souhaite changer de poste ?

Un appariement est « stable » si aucun travailleur et aucune entreprise ne préféreraient tous deux travailler ensemble plutôt que de rester dans leur situation actuelle, même si cela implique de rompre certains de leurs partenariats actuels.

Cet article résout un puzzle spécifique : Comment combiner mathématiquement deux marchés du travail stables différents pour trouver une version « le meilleur des deux mondes », sans enfreindre les règles de la stabilité ?

Voici la décomposition utilisant des analogies simples :

1. Le Problème : Le Piège du « Mélange »

Dans un monde simple un-à-un (un travailleur, un emploi), si vous avez deux marchés du travail stables, vous pouvez facilement en créer un troisième en donnant à chaque travailleur son emploi préféré parmi les deux listes. Cela fonctionne parfaitement.

Mais dans ce monde complexe (plusieurs-à-plusieurs), si vous prenez simplement deux listes stables et laissez chaque entreprise choisir ses employés préférés parmi le pool combiné, le chaos s'ensuit. La nouvelle liste n'est pas stable. Certains travailleurs sont licenciés, certaines entreprises ont trop de personnel, et de nouveaux « couples bloquants » se forment (un travailleur et une entreprise qui souhaitent vraiment travailler ensemble mais qui ne sont pas appariés).

Les auteurs déclarent : « Nous ne pouvons pas simplement mélanger les listes et en rester là. Nous avons besoin d'un processus pour régler le désordre. »

2. La Solution : Le Filet de Sécurité « Quasi-Stable »

Les auteurs introduisent une étape intermédiaire astucieuse appelée Quasi-Stabilité. Imaginez cela comme une « zone de sécurité » ou une « phase d'attente ».

Quasi-Stabilité des Travailleurs : Imaginez un scénario où les entreprises sont autorisées à apporter des modifications et à licencier des gens, MAIS où les travailleurs sont protégés. Aucun travailleur ne peut être licencié sauf s'il fait partie d'une nouvelle entente qui le rend plus heureux. Le bonheur actuel des travailleurs est l'« ancre ».
Quasi-Stabilité des Firmes : L'inverse. Les entreprises sont l'ancre ; les travailleurs peuvent être réorganisés, mais les entreprises ne peuvent pas être forcées de licencier un travailleur qu'elles souhaitent vraiment garder.

L'article démontre que même si ces « zones de sécurité » ne sont pas parfaitement stables pour l'instant, elles possèdent une structure mathématique élégante (un treillis). Cela signifie que vous pouvez combiner mathématiquement deux de ces listes de « zone de sécurité » pour en obtenir une nouvelle qui reste dans la zone de sécurité.

3. Le Moteur : La Machine de « Rééquilibrage »

Une fois que vous avez votre liste de « zone de sécurité » (qui est désordonnée mais sûre pour une partie), les auteurs construisent une machine appelée Opérateur de Tarski.

Imaginez cet opérateur comme un jeu de chaises musicales décentralisé ou un effet domino :

Le Déclencheur : Vous commencez avec une liste « Quasi-Stable pour les Travailleurs ». Elle est sûre pour les travailleurs, mais les entreprises peuvent être mécontentes ou avoir des postes vacants.
Le Tour : Les entreprises examinent leur personnel actuel ainsi que tout nouveau travailleur qui frappe à leur porte. Elles choisissent leur groupe préféré selon leurs règles.
La Ripple : Parce qu'une entreprise a choisi un nouveau groupe, elle peut devoir se séparer de certains travailleurs. Ces travailleurs licenciés recherchent alors de nouveaux emplois. Ils postulent auprès d'autres entreprises. Ces entreprises réévaluent la situation et peuvent licencier leurs propres travailleurs.
La Réaction en Chaîne : Cela crée une « chaîne de licenciements » (ou une « chaîne de vacance » si vous partez du point de vue de l'entreprise). Un licenciement en entraîne un autre, qui en entraîne un autre.
L'Arrêt : Finalement, la chaîne s'arrête. Personne ne souhaite plus bouger. Le marché s'est « rééquilibré ».

L'article démontre que si vous faites fonctionner cette machine suffisamment de fois, elle s'arrête toujours sur un appariement parfaitement Stable.

4. Le Grand Résultat : Trouver la « Réunion »

L'objectif principal de l'article est de trouver la « Réunion » (la meilleure combinaison possible) de deux marchés stables.

Voici la recette fournie par les auteurs :

Prenez deux marchés stables.
Créez un mélange « Quasi-Stable pour les Travailleurs » (laissez les entreprises choisir leurs préférés parmi les deux listes).
Faites fonctionner la « Machine de Rééquilibrage » (l'Opérateur de Tarski) sur ce mélange.
Laissez les « chaînes de licenciements » se dérouler jusqu'à ce que le marché se stabilise.
Résultat : Le marché stable final que vous obtenez est la « Réunion » mathématique des deux originaux.

5. Pourquoi Cela Importe

C'est un Pont : Il relie la réalité désordonnée des marchés « presque stables » au monde parfait des marchés « stables ».
C'est Économique : Il explique comment les marchés réels peuvent se corriger d'eux-mêmes après un choc (comme l'entrée d'une nouvelle entreprise ou le licenciement d'un travailleur). Ce n'est pas de la magie ; c'est une réaction en chaîne de personnes trouvant de nouveaux emplois jusqu'à ce que tout le monde soit heureux.
C'est Général : Ils ont fait cela en utilisant uniquement la règle selon laquelle « les choix sont cohérents » (si vous aimez un groupe de personnes, vous les aimez toujours si vous retirez certaines options). Ils n'avaient pas besoin de règles plus strictes et irréalistes.

En résumé : L'article montre que si vous voulez combiner deux marchés du travail stables, vous ne pouvez pas simplement les fusionner. Vous devez laisser le marché « se secouer » lui-même à travers une série de licenciements et d'embauches (rééquilibrage). Si vous commencez avec une version « sûre » où un côté est protégé, ce processus de secousse vous mènera inévitablement à la combinaison parfaite et stable.

Résumé technique : Opérations de treillis pour l'ensemble des appariements stables par paires dans les marchés many-to-many via des dynamiques de rééquilibrage

Énoncé du problème
L'article traite du calcul des opérations de treillis (supremum et infimum) pour l'ensemble des appariements stables par paires dans les marchés many-to-many. Bien que la structure de treillis des appariements stables soit un outil fondamental en théorie de l'appariement — sous-tendant des résultats sur les conflits d'intérêts et l'existence de résultats optimaux pour un côté — le calcul de ces opérations dans des contextes many-to-many n'est pas trivial.

Dans les marchés one-to-one avec des préférences strictes, le supremum et l'infimum sont construits par de simples affectations ponctuelles de partenaires préférés. Cependant, dans les marchés many-to-one et many-to-many avec des fonctions de choix indépendantes du chemin, ces constructions directes échouent à préserver la stabilité. Les approches précédentes pour résoudre ce problème ont soit imposé des conditions plus fortes que l'indépendance du chemin (telles que la « séparabilité avec quota »), soit fait appel à des constructions théoriques complexes comme les « pré-appariements » (entités à l'interprétation économique difficile) pour définir des opérateurs de Tarski. Les auteurs cherchent à calculer les opérations de treillis sous la seule exigence d'indépendance du chemin, en fournissant une méthode dotée d'une interprétation économique transparente qui évite les pré-appariements.

Méthodologie
Les auteurs proposent un cadre basé sur les appariements quasi-stables et les opérateurs de Tarski pour combler le fossé entre les appariements candidats initiaux et les résultats stables.

Définitions de la quasi-stabilité : L'article introduit et formalise deux concepts de stabilité relâchés :
- Quasi-stabilité côté travailleur ( $Q_W$ ) : Des appariements qui sont individuellement rationnels et où aucun travailleur ne peut former une paire de blocage qui perturbe les relations existantes du côté des travailleurs.
- Quasi-stabilité côté entreprise ( $Q_F$ ) : La définition symétrique où les relations du côté des entreprises sont protégées.
  Les auteurs démontrent que ces ensembles forment des treillis sous des ordres partiels spécifiques (les ordres de Blair).
Construction des appariements candidats : Étant donné deux appariements stables, $\mu$ et $\mu'$ , les auteurs construisent un candidat de supremum, $\lambda_{\mu,\mu'}$ , en attribuant à chaque entreprise le sous-ensemble de travailleurs sélectionnés par sa fonction de choix à partir de l'union de ses partenaires dans $\mu$ et $\mu'$ . De même, un candidat de supremum pour les travailleurs, $\gamma_{\mu,\mu'}$ , est construit. Les auteurs montrent que, bien que ces candidats ne soient pas nécessairement stables, ils sont garantis d'être quasi-stables (spécifiquement, $\lambda_{\mu,\mu'}$ est quasi-stable côté travailleur).
Opérateurs de Tarski et rééquilibrage : Le cœur de la méthodologie consiste à définir des opérateurs de Tarski ( $T^F$ sur $Q_W$ et $T^W$ sur $Q_F$ ) qui transforment des appariements quasi-stables en de nouveaux appariements quasi-stables.
- Mécanisme : L'opérateur $T^F$ prend un appariement quasi-stable côté travailleur, identifie tous les travailleurs qui sont soit actuellement appariés à une entreprise, soit forment une paire de blocage avec elle, et ré-optimise le choix de l'entreprise à partir de ce groupe élargi.
- Dynamiques : Ces opérateurs sont isotones (préservant l'ordre) et améliorent au sens de Pareto pour le côté optimisant. Les auteurs interprètent l'itération de ces opérateurs comme des dynamiques de rééquilibrage. Dans un environnement quasi-stable côté travailleur, cela ressemble à des « chaînes de licenciements » où les travailleurs chômeurs ou déplacés postulent auprès d'entreprises préférées, déclenchant une cascade d'ajustements. Dans les environnements quasi-stables côté entreprise, cela ressemble à des dynamiques de « chaînes de postes vacants ».
Convergence vers un point fixe : Par le théorème du point fixe de Tarski, l'itération de ces opérateurs à partir d'un point de départ quasi-stable converge vers un point fixe. Les auteurs prouvent que l'ensemble des points fixes de ces opérateurs coïncide exactement avec l'ensemble des appariements stables par paires ( $S$ ).

Contributions et résultats clés

Structure de treillis des ensembles quasi-stables : L'article prouve que les ensembles d'appariements quasi-stables côté travailleur et côté entreprise forment des treillis sous les ordres de Blair. Cela étend les résultats précédents des modèles many-to-one au cadre many-to-many.
Calcul des opérations de treillis : Le résultat principal (Théorème 3) établit que le supremum de deux appariements stables par rapport à l'ordre des entreprises ( $\mu \vee_F \mu'$ $μ \lor_{F} μ^{'}$ ) est obtenu en appliquant itérativement l'opérateur de Tarski côté entreprise ( $T^F$ $T^{F}$ ) au candidat quasi-stable côté travailleur $\lambda_{\mu,\mu'}$ $λ_{μ, μ^{'}}$ jusqu'à atteindre un point fixe.
- $\mu \vee_F \mu' = F^F(\lambda_{\mu,\mu'})$
- $\mu \wedge_F \mu' = F^W(\gamma_{\mu,\mu'})$
- Par dualité, l'infimum pour un côté correspond au supremum pour l'autre.
Interprétation économique de la méthode de Blair : Les auteurs montrent que la méthode de Blair (1988) pour calculer les opérations de treillis, qui manquait auparavant d'un mécanisme économique transparent, est équivalente à la méthode du point fixe appliquée à ces treillis quasi-stables. Cela fournit une fondation économique solide pour le construct original de Blair.
Contre-exemples et nécessité de l'itération : Grâce à des exemples (dont un adapté de Li, 2013), l'article démontre que la construction directe $\lambda_{\mu,\mu'}$ n'est pas toujours stable, rendant nécessaire le processus itératif de rééquilibrage. Il souligne également que le treillis des appariements stables n'est pas nécessairement distributif sous la seule indépendance du chemin.

Signification et affirmations
L'article prétend fournir une interprétation unifiée et opérationnelle de l'équilibre comme point final d'une correction endogène du marché. En utilisant des appariements quasi-stables plutôt que des pré-appariements, les auteurs offrent une méthode à la fois rigoureuse sur le plan théorique (nécessitant uniquement l'indépendance du chemin) et intuitive économiquement (modélisée comme des processus d'ajustement décentralisés tels que les chaînes de licenciements ou de postes vacants).

Les auteurs notent que, bien que la structure de treillis soit valable sous l'indépendance du chemin, le treillis n'est pas nécessairement distributif. Ils précisent en outre que si la « loi de la demande agrégée » est ajoutée, les appariements candidats $\lambda_{\mu,\mu'}$ et $\gamma_{\mu,\mu'}$ deviennent directement stables, et le treillis devient distributif, s'alignant sur les résultats d'Alkan (2002). Cependant, sous la seule hypothèse d'indépendance du chemin, l'approche itérative par opérateur de Tarski est requise pour calculer les opérations de treillis. L'article conclut que, bien que la structure de demi-treillis des appariements quasi-stables soit établie, le calcul direct de l'infimum entre des appariements quasi-stables arbitraires reste une question ouverte.