A characterization of the von Neumann and Morgenstern stable set in matching markets

Résumé Technique : Une Caractérisation de l'Ensemble Stable de von Neumann et Morgenstern dans les Marchés d'Appariement

Énoncé du Problème
Cet article étudie la structure et la calculabilité des ensembles stables de von Neumann–Morgenstern (vNM) dans les marchés d'appariement un-à-un avec des préférences strictes. Bien que la stabilité par paires et la stabilité par le cœur coïncident dans ce cadre et soient bien comprises, la stabilité vNM est définie à travers des relations de dominance entre des ensembles d'appariements plutôt qu'entre des résultats individuels. Un ensemble stable vNM doit satisfaire deux conditions : la stabilité interne (aucun appariement dans l'ensemble ne domine un autre au sein de l'ensemble) et la stabilité externe (tout appariement en dehors de l'ensemble est dominé par un appariement de l'ensemble). Malgré leur rôle fondamental dans la théorie des jeux coopératifs, les ensembles stables vNM se sont avérés notoirement difficiles à caractériser en raison de l'interaction récursive entre la stabilité interne et externe. Cet article examine si une caractérisation traitable et économiquement significative existe pour les ensembles stables vNM dans le modèle classique d'appariement un-à-un.

Méthodologie
Les auteurs emploient une approche structurelle ancrée dans la théorie de l'appariement, étendant les outils classiques pour analyser les relations de dominance. La méthodologie progresse à travers trois étapes principales :

1. Généralisation du Lemme de Décomposition : Le papier établit d'abord un Lemme de Décomposition généralisé. Alors que le lemme classique décrit la relation entre les appariements du cœur, cette version s'applique à toute paire d'appariements au sein d'un même ensemble établi comme étant stable intérieurement. Elle démontre que les différences entre de tels appariements sont organisées à travers des structures cycliques spécifiques (appelées « cycles IS ») reliant les entreprises et les travailleurs.
2. Identification des Paires Irrélevantes : Les auteurs identifient deux sources distinctes de restrictions qui rendent certaines relations bilatérales non pertinentes pour la stabilité vNM :
   • Restrictions basées sur le treillis : Les paires qui ne restent pas mutuellement acceptables lors de la réduction récursive du profil de préférences le long du treillis des appariements du cœur (une adaptation de la procédure d'Irving et Leather).
   • Restrictions basées sur l'efficience : Les paires qui agissent comme des obstacles aux améliorations fondées sur la dominance, identifiées par une adaptation du mécanisme d'Acceptation Différée Ajustée à l'Efficience (EADA) (Kesten, 2010). Ce sont des « paires interrupteurs » qui empêchent les améliorations de Pareto.
3. Construction d'un Profil Réduit : En supprimant systématiquement les paires identifiées par les deux sources ci-dessus, les auteurs construisent un profil de préférences réduit, noté $P^*$. Ce profil élimine toutes les paires qui ne peuvent jouer un rôle essentiel dans le maintien d'appariements non dominés.

Contributions Principales et Résultats
La principale contribution du papier est une caractérisation structurelle complète de l'ensemble stable vNM, produisant les résultats suivants :

• Unicité et Existence : Le papier prouve que l'ensemble stable vNM dans les marchés d'appariement un-à-un est unique.
• Caractérisation via le Cœur Réduit : L'ensemble stable vNM unique coïncide exactement avec le cœur du profil de préférences réduit $P^*$. Formellement, $vNM(P) = \{C(P^*)\}$.
• Procédure Constructive : La caractérisation fournit un algorithme constructif pour calculer l'ensemble stable vNM. En appliquant les outils standards de la théorie de l'appariement (spécifiquement, le calcul du cœur) au profil réduit $P^*$ explicitement construit, on obtient l'ensemble stable vNM du marché d'origine.
• Lemme de Décomposition pour les Ensembles Stables Intérieurement : Le papier contribue avec un Lemme de Décomposition généralisé montrant que deux appariements quelconques dans un ensemble stable intérieurement ne diffèrent que par des cycles IS. Ce résultat étend la compréhension structurelle des marchés d'appariement au-delà du cœur.
• Relation avec le Cœur : L'ensemble stable vNM contient le cœur original $C(P)$ mais l'étend pour inclure des résultats qui ne deviennent non dominés qu'après la suppression de certaines paires « non pertinentes » identifiées par les contraintes de treillis et d'efficience.

Signification et Revendications
Le papier prétend combler le fossé entre le langage abstrait des ensembles stables de la théorie des jeux coopératifs et les outils structurels standards de la théorie de l'appariement. En démontissant qu'un concept de solution défini par des relations de dominance complexes peut être pleinement caractérisé comme le cœur d'un environnement convenablement réduit, les auteurs fournissent une « description structurelle précise » de la stabilité vNM.

La signification de ce travail réside dans sa capacité à traduire un concept de solution coopérative difficile en un objet calculable à l'aide de mécanismes d'appariement familiers. Les auteurs soutiennent que leur approche ne repose pas sur des troncatures exhaustives de préférences ou sur des propriétés spécifiques aux agents non appariés, mais plutôt sur des conditions structurelles qui déterminent quelles paires peuvent soutenir des résultats non dominés. Par conséquent, le papier livre une réponse définitive sur l'existence, l'unicité et la calculabilité des ensembles stables vNM dans les marchés un-à-un, résolvant des questions qui sont restées largement dépendantes d'hypothèses environnementales spécifiques dans la littérature antérieure.