The Core in a Distributional Economy

1. Probleemstelling

De traditionele theorie van het algemeen evenwicht definieert economieën door specifieke kenmerken (voorkeuren, dotaties) toe te wijzen aan een continuüm van individuele agenten. Hoewel competitieve evenwichten puur in termen van de verdeling van deze kenmerken kunnen worden gedefinieerd (zoals aangetoond door Hart, Hildenbrand en Kohlberg), heeft het concept van de kern zich verzet tegen een dergelijke formulering.

De kern rust op het begrip blokkerende coalities, wat traditioneel een individualistische beschrijving van agenten vereist om het volgende te bepalen:

1. Identiteit: Welke specifieke agenten in een coalitie zitten.
2. Aantal: Hoeveel agenten van een specifiek type er bestaan om een blokkerende groep te vormen.
3. Haalbaarheid: Of de coalitie haar geaggregeerde dotatie kan herverdelen om leden beter te stellen.

Kritici (bijv. Hart, Hildenbrand, Kohlberg; Mas-Colell) hebben betoogd dat een distributieve beschrijving te "mager" is voor kernanalyse, omdat deze informatie verliest over de identiteit van agenten en het specifieke aantal agenten per type. Dit artikel daagt die bewering uit met de vraag: Kan de kern en blokkerende coalities worden gedefinieerd en geanalyseerd met uitsluitend de verdeling van kenmerken, zonder verwijzing naar individuele agenten?

2. Methodologie

De auteurs maken gebruik van geavanceerde maattheoretische hulpmiddelen om de kloof tussen individualistische en distributieve economieën te overbruggen.

• Distributieve Toewijzingen: Zij definiëren een economie niet als een afbeelding van agenten naar kenmerken, maar als een kansmaat $\mu$ op de ruimte van kenmerken (voorkeuren $\times$ dotaties). Een toewijzing is een gezamenlijke verdeling van kenmerken en goederenbundels.
• Gegenereerde Coalities: Zij interpreteren coalities niet als verzamelingen van agenten, maar als subpopulaties (maten $\nu$ zodanig dat $\nu \leq \mu$). Dit sluit aan bij concepten als "ideale verzamelingen" (Aumann & Shapley), "vage coalities" (Aubin) en "convexe verzamelingen van agenten".
• Superatoomloze Ruimten: Een cruciale wiskundige innovatie is de afhankelijkheid van superatoomloze kansruimten.
  • Een ruimte is atoomloos als deze geen ondeelbare atomen bevat.
  • Een ruimte is superatoomloos (of verzadigd) als deze "rijk" genoeg is om elke denkbare gezamenlijke verdeling van kenmerken en toewijzingen te representeren. Formeel is een ruimte $(T, \Sigma, \nu)$ superatoomloos als $L^1(A, \nu)$ niet-separabel is voor alle $A$ met $\nu(A) > 0$.
  • Deze eigenschap garandeert dat elke distributieve coalitie (subpopulatie) exact kan worden gerepresenteerd door een meetbare verzameling agenten in de onderliggende ruimte.
• Stochastische Dominantie en Strassen's Stelling: Om Pareto-efficiëntie en blokkering te definiëren zonder gezamenlijke verdelingen, maken zij gebruik van stochastische dominantie van de eerste orde (Reif & Wiesmeth) en Strassen's Stelling (en de uitbreiding daarvan door Lindvall) over stochastische pre-orde. Dit stelt hen in staat om gezamenlijke verdelingen te construeren uit marginale verdelingen die aan specifieke ordeningsvoorwaarden voldoen.
• Lyapunov's Stelling voor Young-maten: Zij maken gebruik van de uitbreiding van Lyapunov's stelling door Balder (2000) om de convexificatie van verzamelingen toewijzingen te behandelen, en bewijzen het bestaan van blokkerende toewijzingen, zelfs wanneer de onderliggende ruimte slechts atoomloos is (niet noodzakelijk superatoomloos) voor het bestaan van een blokkerende coalitie.

3. Belangrijkste Bijdragen

A. Karakterisering van Pareto-efficiëntie

Het artikel toont aan dat Pareto-efficiëntie volledig in distributieve termen kan worden gekarakteriseerd.

• Resultaat: Een toewijzing is Pareto-efficiënt dan en slechts dan als er geen andere distributieve toewijzing bestaat die deze stochastisch domineert in de zin van Reif en Wiesmeth.
• Betekenis: Dit lost het probleem van "verloren identiteit" op. Zelfs zonder te weten welke agent er beter van wordt, maakt de gezamenlijke verdeling van kenmerken en bundels een volledige rangschikking van toewijzingen mogelijk.

B. Definitie van de Distributieve Kern

De auteurs definiëren een distributieve kern waarbij een toewijzing wordt geblokkeerd als er een subpopulatie bestaat (een maat $\mu'$ die wordt gedomineerd door de verdeling van de economie) die haar dotatie kan herverdelen om haar leden strikt beter te stellen.

• Stelling 4 (Superatoomloos Geval): Als de onderliggende agentenruimte superatoomloos is, komt elke distributieve blokkerende coalitie exact overeen met een klassieke individualistische coalitie.
• Stelling 5 (Atoomloos Geval): Zelfs als de ruimte slechts atoomloos is (niet superatoomloos), impliceert het bestaan van een distributieve blokkerende coalitie het bestaan van een klassieke blokkerende coalitie. Dit is een kritiek resultaat: men heeft de "rijke" ruimte niet nodig om te bewijzen dat een distributieve economie een niet-lege kern heeft; de distributieve voorwaarde is voldoende om het bestaan van een blokkerende coalitie in de echte wereld te garanderen.

C. Kern-equivalentiestelling

Het artikel levert een puur distributief bewijs van de Kern-equivalentiestelling (Stelling 7).

• Stelling: In een distributieve economie met continue, irreflexieve, strikt monotoon voorkeuren en een strikt positieve geaggregeerde dotatie, bevindt een toewijzing zich in de kern dan en slechts dan als het een Walraiaans (competitief) evenwicht is.
• Nieuwheid: In tegenstelling tot eerdere bewijzen (bijv. Hildenbrand, 1982) rust dit bewijs niet op een bijkomende individualistische representatie. Het werkt volledig binnen het distributieve kader.
• Implicatie: De klassieke kern-equivalentiestelling voor individualistische economieën met atoomloze ruimten wordt afgeleid als een direct corollarium.

4. Samenvatting van Belangrijkste Resultaten

5. Betekenis en Toepassingen

• Theoretische Unificatie: Het artikel unificeert diverse concepten van "gegeneraliseerde coalities" (ideale verzamelingen, vage coalities, subpopulaties) onder één enkel distributief kader. Het toont aan dat dit slechts verschillende wiskundige representaties zijn van dezelfde onderliggende economische realiteit: een herverdeling van een subpopulatie van types.
• Parsimonie: Het bewijst dat de "individualistische" beschrijving niet noodzakelijk is voor kernanalyse. De verdeling van kenmerken alleen bevat alle economisch relevante informatie voor het bepalen van stabiliteit en evenwicht.
• Robuustheid: Door aan te tonen dat distributieve blokkering individualistische blokkering impliceert, zelfs in slechts atoomloze ruimten, demonstreren de auteurs dat de distributieve aanpak robuust is en geen artefact is van te sterke wiskundige aannames (zoals superatoomloosheid).
• Breder Toepassingsgebied: De auteurs merken op dat deze methoden verder reiken dan ruileconomieën naar:
  • Grote matchingmarkten.
  • Shapley-waarde analogen voor atoomloze economieën.
  • Continuümspellen.

Conclusie

Greinecker en Podczeck slagen erin om het langgekoesterde geloof te ontmantelen dat de kern een individualistische beschrijving van agenten vereist. Door gebruik te maken van de eigenschappen van superatoomloze ruimten en stochastische dominantie, construeren zij een rigoureuze, puur distributieve theorie van de kern. Dit vereenvoudigt niet alleen het theoretische kader van grote economieën, maar biedt ook een krachtiger instrument voor het analyseren van economieën waar individuele identiteiten irrelevant of onwaarneembaar zijn, en bevestigt dat de verdeling van types voldoende is om markstabiliteit te bepalen.