Shapley-Scarf Markets with Objective Indifferences

Résumé Technique : Marchés de Shapley-Scarf avec Indifférences Objectives

Énoncé du Problème
L'article traite de l'allocation d'objets indivisibles (maisons) entre des agents qui possèdent initialement un objet chacun, un cadre connu sous le nom de marché de Shapley-Scarf. Dans le modèle classique (Shapley et Scarf, 1974), les agents possèdent des préférences strictes et l'algorithme des Cycles de Top Trading (TTC) de Gale identifie avec succès une allocation dans le cœur, laquelle est unique, Pareto-efficiente et exogène à la stratégie (strategy-proof).

Cependant, dans de nombreuses applications pratiques (par exemple, l'attribution de dortoirs, le choix scolaire), les agents sont naturellement indifférents entre des objets du même « type » (par exemple, des plans de masse identiques). Lorsque des indifférences générales sont introduites, l'algorithme TTC standard avec départage fixe (TTC$_\succ$) ne parvient pas à maintenir ses propriétés désirables. Plus précisément, sous l'effet d'indifférences générales, le TTC$_\succ$ n'est ni Pareto-efficient ni protégé contre la stratégie de groupe (group strategy-proof), et il peut échouer à sélectionner une allocation dans le cœur même lorsque celui-ci est non vide. L'article examine s'il existe un domaine de préférences structuré où le TTC$_\succ$ peut restaurer ces propriétés sans recourir à des mécanismes plus complexes.

Méthodologie et Modèle
Les auteurs introduisent un domaine de préférences spécifique appelé Indifférences Objectives. Dans ce modèle :

• Le ensemble de maisons $H$ est partitionné en blocs (types) $\mathcal{H} = \{H_1, \dots, H_K\}$.
• Les agents sont indifférents entre deux maisons au sein d'un même bloc ($h I_i h'$ si $\eta(h) = \eta(h')$) mais ont des préférences strictes entre les maisons de blocs différents.
• Crucialement, la partition $\mathcal{H}$ est commune à tous les agents ; les indifférences sont « objectives » plutôt que subjectives.

L'étude analyse la performance du TTC avec un départage fixe (TTC$_\succ$) sur ce domaine. Le mécanisme résout les indifférences en utilisant un profil de départage exogène $\succ = (\succ_1, \dots, \succ_n)$, où $\succ_i$ est un ordre linéaire strict sur les agents. Cela convertit les préférences faibles en préférences strictes, permettant ainsi au processus standard de TTC de se poursuivre.

Les auteurs évaluent le TTC$_\succ$ par rapport à trois axiomes :

1. Efficacité de Pareto (PE) : Aucune autre allocation ne rend quelqu'un meilleur sans rendre quelqu'un d'autre pire.
2. Protection contre la stratégie de groupe (GSP) : Aucune coalition ne peut falsifier ses préférences pour rendre tous les membres plus favorables ou au moins un membre strictement meilleur.
3. Sélection du Cœur (CS) : Si le cœur est non vide, le mécanisme sélectionne une allocation située à l'intérieur du cœur.

L'article emploie une approche par maximalité pour caractériser les domaines. Un domaine est dit « maximal » pour une propriété si le mécanisme satisfait la propriété sur ce domaine, mais échoue sur tout domaine strictement plus large. Pour la GSP, les auteurs introduisent le concept de maximalité symétrique, en limitant l'attention aux domaines où, si un agent peut préférer strictement $h$ à $h'$, la préférence inverse est également possible (une hypothèse standard en théorie des mécanismes pour éviter des restrictions arbitraires sur les directions de préférences).

Résultats Clés
L'article établit trois théorèmes principaux caractérisant les limites du TTC$_\succ$ :

1. Restauration des Propriétés : Sous le domaine des indifférences objectives, le TTC$_\succ$ satisfait l'efficacité de Pareto, la protection contre la stratégie de groupe et la sélection du cœur.

   • Les auteurs prouvent que si le cœur est non vide sous les indifférences objectives, il est « essentiellement à valeur unique », ce qui signifie que toutes les allocations du cœur assignent les agents aux mêmes classes d'indifférence (types de maisons).
   • Même si le cœur est vide, le TTC$_\succ$ sélectionne toujours une allocation dans le cœur faible.

2. Caractérisation de la Maximalité (PE et CS) :

   • Théorème 1 : Un domaine est un domaine maximal sur lequel le TTC$_\succ$ est Pareto-efficient (ou sélectionne le cœur) si et seulement si c'est un domaine d'indifférences objectives.
   • Cela implique que toute expansion au-delà des indifférences objectives (autorisant des indifférences subjectives où les agents diffèrent sur l'équivalence des objets) entraîne inévitablement la perte de l'efficience de Pareto et de la sélection du cœur par le TTC$_\succ$.

3. Caractérisation de la Maximalité (GSP) :

   • Théorème 2 : Un domaine est un domaine de maximalité symétrique sur lequel le TTC$_\succ$ est protégé contre la stratégie de groupe si et seulement si c'est un domaine d'indifférences objectives.
   • Bien qu'il existe des domaines non symétriques plus larges que les indifférences objectives où le TTC$_\succ$ est GSP (par exemple, des domaines où certaines préférences strictes sont impossibles), les auteurs soutiennent que la restriction de symétrie est naturelle et non contraignante pour la conception de mécanismes.

Signification et Revendications
L'article affirme fournir une limite précise pour l'applicabilité du mécanisme intuitif TTC$_\succ$.

• Rationalisation du TTC : Les résultats suggèrent que dans les marchés où les indifférences sont structurelles et partagées (par exemple, des unités de logement identiques), le TTC$_\succ$ reste une solution robuste, préservant l'efficience, la stabilité et la compatibilité incitative.
• Identification des points de défaillance : L'article soutient que l'échec du TTC$_\succ$ dans des contextes généraux n'est pas dû aux indifférences en soi, mais plutôt aux indifférences subjectives (où les agents ne sont pas d'accord sur l'équivalence des objets).
• Caractérisation du Domaine : Les auteurs démontrent que les indifférences objectives ne sont pas seulement une condition suffisante, mais le cadre le plus général (sous la symétrie pour la GSP) où le TTC$_\succ$ conserve ses trois propriétés fondamentales. Cela distingue ce travail de la littérature qui soit suppose des préférences strictes, soit étudie les indifférences générales où le TTC échoue.

L'article conclut en notant qu'il ne prescrit pas un mécanisme spécifique pour tous les marchés, mais clarifie exactement quand le TTC$_\succ$, largement utilisé, est théoriquement fondé. Il suggère que les décideurs politiques doivent évaluer si les indifférences dans leur marché spécifique (par exemple, le choix scolaire avec des filières linguistiques) sont objectives (partagées par tous) ou subjectives (variant selon les familles) pour déterminer si le TTC$_\succ$ est approprié. Les auteurs laissent la caractérisation axiomatique du TTC$_\succ$ sur les indifférences objectives et l'exploration ultérieure des indifférences contraintes comme travaux futurs.