📈 economics

Pseudo-Substitutability: A Maximal Domain for Pairwise Stability in Matching Markets with Contracts

Dit artikel introduceert pseudo-substitueerbaarheid als een maximaal domein van voorkeuren dat, ondanks het toelaten van beperkte complementariteiten, de bestaan van paarsgewijze stabiele toewijzingen in matchingsmarkten met contracten garandeert.

Oorspronkelijke auteurs: Nadia Guiñazú, Noelia Juarez, Paola Manasero, Pablo Neme, Jorge Oviedo

Gepubliceerd 2026-04-21

📖 5 min leestijd🧠 Diepgaand

CC0 1.0

Oorspronkelijke auteurs: Nadia Guiñazú, Noelia Juarez, Paola Manasero, Pablo Neme, Jorge Oviedo

Oorspronkelijk artikel vrijgegeven aan het publieke domein onder CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je een grote, drukke bruiloft organiseert. Je hebt gasten (artsen) en tafels (ziekenhuizen). Het doel is om iedereen aan een tafel te zetten, maar er is een twist: gasten kunnen aan meerdere tafels zitten (bijvoorbeeld als ze parttime werken) en tafels kunnen meerdere gasten hebben. Bovendien zijn er niet zomaar "stoelen", maar specifieke contracten: een gast kan een contract hebben voor "ochtenddienst" aan tafel A en een ander voor "avonddienst" aan tafel B.

De grote vraag in deze wereld is: Hoe zorgen we dat niemand spijt krijgt? Dat wil zeggen, dat er geen twee personen (een gast en een tafel) zijn die zeggen: "Wacht even, als we dit specifieke contract samen aangaan, zijn we allebei beter af dan nu?" Als dat niet gebeurt, noemen we de situatie stabiel.

In de economie bestudeerden wetenschappers al lang wanneer zo'n stabiele situatie altijd mogelijk is. Het klassieke antwoord was: "Alleen als de voorkeuren vervangbaar zijn."

Het oude idee: Alles is vervangbaar

Stel je een ziekenhuis voor dat 3 artsen wil. Als ze een aanbod krijgen voor dokter A, en ze kiezen die, dan betekent het dat ze dokter A verkiezen boven dokter B, ongeacht of dokter B ook beschikbaar is. Dokter A is "vervangbaar": als dokter B wegvalt, blijft dokter A nog steeds de beste keuze.

Als iedereen zich zo gedraagt, is het altijd mogelijk om een stabiele bruiloft te organiseren. Maar in het echte leven is dat vaak niet zo. Soms wil een ziekenhuis dokter A alleen maar hebben als ze ook dokter B hebben (bijvoorbeeld omdat ze samen een team vormen). Dit noemen we complementariteit (aanvullendheid). Als je dat toelaat, kan de hele bruiloft in chaos eindigen: er is geen enkele manier om iedereen tevreden te stellen zonder dat er ergens een paar mensen stiekem een deal maken.

De nieuwe ontdekking: "Pseudo-vervangbaarheid"

De auteurs van dit paper (Guiñazú, Juarez, Manasero, Neme en Oviedo) zeggen: "Wacht even, we hoeven niet zo streng te zijn. We kunnen een beetje van die 'teamgeest' toestaan, zolang we maar een slimme truc gebruiken."

Ze introduceren een nieuw concept: Pseudo-vervangbaarheid.

Stel je voor dat een ziekenhuis een ingewikkelde voorkeur heeft. Ze willen graag het team {A, B}, maar ze vinden ook {C} leuk, en {D} is oké. Ze willen A en B niet apart. Dit lijkt onstabiel.

Maar de auteurs zeggen: "Kijk eens dieper. Kijk of er een onderliggende, eenvoudige versie van deze voorkeur is die wél vervangbaar is."

Misschien is de echte voorkeur: "Ik wil {A, B} of {C} of {D}."
Maar er zit een sub-voorkeur in: "Ik kies altijd voor {C} of {D} als ik ze alleen krijg, en ik kies nooit voor {A} of {B} alleen."
Als je die "sub-voorkeur" bekijkt, gedraagt het ziekenhuis zich alsof alles vervangbaar is.

De auteurs noemen dit een sub-voorkeur. Het is alsof je een ingewikkelde persoon hebt die soms lastige eisen stelt (team A+B), maar als je hem in een rustige hoek zet (de sub-voorkeur), gedraagt hij zich heel logisch en vervangbaar.

De grote doorbraak:
Als elke arts en elk ziekenhuis zo'n "sub-voorkeur" heeft die vervangbaar is, dan bestaat er altijd een stabiele oplossing, zelfs als ze in het echt soms teamjes willen vormen.

Waarom is dit zo belangrijk? (De Maximaal-Regel)

De auteurs bewijzen iets heel krachtigs: Dit is de grootst mogelijke groep van voorkeuren waarvoor je dit kunt garanderen.

Als je nog iets meer "teamgeest" toestaat (meer complementariteit), dan kan het zijn dat er geen stabiele oplossing meer bestaat, hoe slim je ook bent.
Het is alsof je een brug bouwt. Ze hebben de brug zo breed mogelijk gemaakt (pseudo-vervangbaarheid). Als je nog een stapje verder gaat, stort de brug in.

Een analogie uit het dagelijks leven: De Pizza-avond

Stel je voor dat je pizza's bestelt voor een groep vrienden.

Vervangbaar: Iedereen wil graag een pizza. Als er geen pepperoni is, nemen ze kaas. Als er geen kaas is, nemen ze groente. Alles is uitwisselbaar.
Complementair: Iemand zegt: "Ik wil alleen pizza eten als er ook een cola bij zit." Als er geen cola is, eet hij niets.
Pseudo-vervangbaar: Iemand zegt: "Ik wil een pizza met cola, of alleen een cola, of alleen een pizza."
- Zijn echte wens is de combinatie (pizza + cola).
- Maar zijn sub-voorkeur (wat hij doet als hij moet kiezen) is: "Als er geen cola is, neem ik de pizza. Als er geen pizza is, neem ik de cola."
- Omdat hij die onderliggende logica heeft, kunnen we altijd een stabiele verdeling vinden.

Wat betekent dit voor de echte wereld?

Meer flexibiliteit: We hoeven niet te denken dat mensen alleen maar logisch en vervangbaar zijn. Mensen hebben soms "teamwensen", maar zolang die wensen een logische kern hebben, kunnen we ze toch stabiel matchen.
Decentrale markten: In de echte wereld (zoals de arbeidsmarkt voor artsen) maken mensen vaak individuele deals, geen grote groepsplannen. "Paar-stabiliteit" (geen twee mensen die een deal sluiten) is realistischer dan "groep-stabiliteit". Dit paper laat zien dat we zelfs met complexe voorkeuren stabiele individuele deals kunnen vinden.
Robuustheid: Zelfs als iemand zijn contract later toch afzegt (bijvoorbeeld een arts die toch niet komt), zorgt deze structuur ervoor dat de rest van de groep nog steeds een redelijke oplossing heeft. Het systeem breekt niet volledig.

Kortom:
De auteurs hebben een nieuwe "veiligheidszone" ontdekt. Ze zeggen: "Je mag best wat extra wensen hebben (zoals teamjes vormen), zolang die wensen maar een logische, vervangbare kern hebben. Als dat zo is, is de wereld altijd in balans. Ga je daaroverheen, dan is chaos onvermijdelijk."

Het is alsof ze een nieuwe regel hebben gevonden voor het oplossen van een ingewikkeld legpuzzel: je mag de stukjes een beetje vervormen, zolang ze maar nog steeds in het juiste patroon passen.

Titel

Pseudo-substitueerbaarheid: Een maximaal domein voor paarwijze stabiliteit in matchingmarkten met contracten.

1. Probleemstelling

Het artikel onderzoekt de bestaansvoorwaarden voor paarwijze stabiele toewijzingen (pairwise stable allocations) in markten voor veel-tot-veel matching met contracten.

Context: In deze markten kunnen agenten (bijvoorbeeld artsen en ziekenhuizen) gelijktijdig meerdere bilaterale relaties aangaan via contracten.
Definitie van Stabiliteit: Een toewijzing is paarwijze stabiel als er geen enkel contract bestaat dat buiten de huidige toewijzing ligt en dat door beide betrokken partijen (arts en ziekenhuis) gewenst wordt, gegeven de huidige toewijzing. Dit is een zwakkere vorm van stabiliteit dan kernstabiliteit (corewise stability), die coalities van willekeurige grootte toestaat.
Het Kernprobleem: In algemene veel-tot-veel markten bestaat er niet altijd een paarwijze stabiele toewijzing. De klassieke literatuur (Kelso & Crawford, 1982; Hatfield & Milgrom, 2005) heeft aangetoond dat substitueerbaarheid (substitutability) van voorkeuren een voldoende voorwaarde is voor bestaan. Substitueerbaarheid betekent dat de wenselijkheid van een contract niet afhangt van de aanwezigheid van andere contracten (geen complementariteiten).
De Vraag: Is er een bredere klasse van voorkeuren die strikt groter is dan het klassieke substitueerbare domein, maar die toch de bestaansgarantie voor paarwijze stabiliteit behoudt? En zo ja, wat is de maximale uitbreiding hiervan?

2. Methodologie en Conceptuele Kader

De auteurs introduceren een nieuw concept: pseudo-substitueerbare voorkeuren. De methodologie rust op de volgende pijlers:

Sub-voorkeuren (Sub-preferences): De auteurs definiëren een relatie tussen voorkeuren, genoteerd als $P'_a \sqsubseteq P_a$ . Een voorkeur $P'_a$ is een sub-voorkeur van $P_a$ als:
1. Elke set contracten die acceptabel is onder $P'_a$ , ook acceptabel is onder $P_a$ (behoud van individuele rationaliteit).
2. Als een contract onder $P_a$ blokkend is voor een acceptabele set van $P'_a$ , dan is het ook blokkend onder $P'_a$ (behoud van blokkerende contracten).
  Dit creëert een hiërarchische structuur waarbij een sub-voorkeur een "vereenvoudigde" versie is van de oorspronkelijke voorkeur die de essentiële stabiliteitsstructuur behoudt.
Definitie van Pseudo-substitueerbaarheid: Een voorkeur $P_a$ is pseudo-substitueerbaar als er een substitueerbare sub-voorkeur $P'_a$ bestaat zodanig dat $P'_a \sqsubseteq P_a$ .
- Dit betekent dat een agent voorkeuren kan hebben die complementariteiten bevatten (en dus niet strikt substitueerbaar zijn), zolang er maar een onderliggende substitueerbare structuur in zit die als "anker" dient voor stabiliteit.
Minimaliteit: De auteurs tonen aan dat voor een pseudo-substitueerbare voorkeur de substitueerbare sub-voorkeuren minimaal zijn. Ze delen dezelfde verzameling van acceptabele sets en behouden de partiële ordening van Blair (Blair's partial order).

3. Belangrijkste Bijdragen

Introductie van het Domein: De paper definieert het domein van pseudo-substitueerbare voorkeuren, dat strikt uitbreidt op het klassieke domein van substitueerbare voorkeuren. Het staat beperkte vormen van complementariteiten toe die strikte substitueerbaarheid zouden schenden.
Bestaansgarantie: Het bewijst dat in een markt waar alle agenten pseudo-substitueerbare voorkeuren hebben, de verzameling van paarwijze stabiele toewijzingen nooit leeg is ( $S(P) \neq \emptyset$ $S (P) \neq = \emptyset$ ).
- Redenering: Omdat elke pseudo-substitueerbare voorkeur een substitueerbare sub-voorkeur heeft, en omdat substitueerbare markten altijd stabiele toewijzingen hebben, kan men een stabiele toewijzing vinden voor de sub-voorkeuren. Door de eigenschap van sub-voorkeuren (Propositie 1) is deze toewijzing ook stabiel voor de oorspronkelijke voorkeuren.
Maximaliteit: De auteurs bewijzen dat dit domein maximaal is. Als zelfs één agent voorkeuren heeft die niet pseudo-substitueerbaar zijn, kan men voorkeuren voor de andere agenten construeren (binnen het pseudo-substitueerbare domein) zodat er geen enkele paarwijze stabiele toewijzing meer bestaat. Dit maakt pseudo-substitueerbaarheid zowel noodzakelijk als voldoende (in een maximaal domein-zin) voor de bestaansgarantie.
Onafhankelijkheid van Contractstructuur: In tegenstelling tot andere verzwakkingen van substitueerbaarheid (zoals "Weak Substitutes" of "Observable Substitutability") die sterk afhankelijk zijn van de contractuele structuur (bijv. hoeveel contracten tussen dezelfde partijen), is pseudo-substitueerbaarheid gedefinieerd op het niveau van de voorkeursrelatie zelf. Hierdoor blijft het domein geldig en strikt groter dan substitueerbaarheid, zelfs in markten zonder contracten (standaard matchingmodellen).

4. Resultaten en Bewijstechnieken

Stabiliteitsonderhoud: Het centrale bewijs (Stelling 1) maakt gebruik van de inclusie-eigenschap: als $P' \sqsubseteq P$ , dan is $S(P') \subseteq S(P)$ . Omdat $S(P')$ niet leeg is voor substitueerbare $P'$ , is $S(P)$ ook niet leeg.
Constructie van Tegenvoorbeelden: Voor de maximaliteit (Stelling 2) construeren de auteurs specifieke markten met complementariteiten (zoals "bi-complementariteit" of eenrichtingscomplementariteit) die niet pseudo-substitueerbaar zijn. Ze tonen aan dat in deze gevallen, zelfs met andere agenten die perfect substitueerbaar zijn, de cyclus van blokkende contracten leidt tot een lege verzameling stabiele toewijzingen.
Vergelijking met Bestaande Literatuur:
- Hatfield & Kojima (2008, 2010): Hun concepten (zoals "Weak Substitutes" en "Bilateral Substitutability") zijn gericht op kernstabiliteit in veel-tot-een markten of specifieke decomposities. Pseudo-substitueerbaarheid is uniek voor paarwijze stabiliteit in veel-tot-veel markten.
- Substitutable Completion: Het domein overlapt deels met het domein van substitueerbare completies, maar is onafhankelijk. Er zijn pseudo-substitueerbare voorkeuren die geen substitueerbare completie hebben, en vice versa.
- WOSAD (Weak Observable Substitutability Across Doctors): Pseudo-substitueerbaarheid en WOSAD zijn onafhankelijke domeinen; geen van beide is een strikte uitbreiding van de ander.

5. Significance en Economische Implicaties

Theoretische Uitbreiding: De paper lost een open vraag op uit de literatuur door een domein te identificeren dat de grenzen van de bestaansgarantie voor paarwijze stabiliteit exact markeert. Het toont aan dat stabiliteit veel robuuster is dan eerder gedacht en niet beperkt is tot strikt substitueerbare voorkeuren.
Robuustheid in Niet-bindende Markten: De auteurs geven een economisch inzicht voor niet-bindende markten (zoals het toewijzen van medische residenten, waar artsen een aanbod kunnen weigeren). In zulke markten kan een kernstabiele toewijzing instabiel worden als één agent vertrekt. Pseudo-substitueerbaarheid garandeert echter dat de paarwijze stabiele toewijzingen die voortkomen uit de substitueerbare sub-voorkeuren individueel rationeel blijven, zelfs als agenten eenzijdig afhaken. Dit biedt een vorm van "robustheid" die cruciaal is voor de praktische toepasbaarheid in decentraliserende markten.
Unificatie: Omdat het concept losstaat van de contractuele representatie, biedt het een verenigd kader voor zowel matching met contracten als klassieke matching zonder contracten, waarbij het steeds een strikte uitbreiding van het klassieke substitueerbare domein blijft.

Conclusie:
Het artikel introduceert "pseudo-substitueerbaarheid" als het meest uitgebreide mogelijke domein van voorkeuren dat de bestaansgarantie voor paarwijze stabiliteit in veel-tot-veel matchingmarkten waarborgt. Door gebruik te maken van het concept van minimale substitueerbare sub-voorkeuren, slagen de auteurs erin complementariteiten te accommoderen zonder de stabiliteit te verliezen, wat een belangrijke stap voorwaarts is in de matchingtheorie.