Equilibrium for max-plus payoff

Deze paper onderzoekt evenwichtconcepten in niet-coöperatieve spellen met onzekerheid, waarbij zowel overtuigingen als gemengde strategieën worden gemodelleerd met niet-additieve maten en max-plus-integralen, en bewijst voor spellen met compacte strategie-ruimten en continue uitbetalingen het bestaan van zowel Nash-evenwichten in capaciteiten als Dow-Werlang-evenwichten aan de hand van abstracte convexiteitstechnieken en een Kakutani-type vastpuntstelling.

De kern

Hier is een uitleg van het artikel "Evenwicht voor Max-Plus Uitbetaling" van Taras Radul, vertaald naar begrijpelijk Nederlands met behulp van creatieve metaforen.

De Kern: Spelers die niet zeker weten wat er gebeurt

Stel je een groot, complex spel voor, zoals een economische markt of een politieke onderhandeling. In de klassieke speltheorie (de oude manier om dit te bestuderen) gaan we ervan uit dat spelers precieze kansen hebben. Ze weten bijvoorbeeld: "Er is 30% kans dat mijn tegenstander links kiest en 70% kans dat hij rechts kiest." Dit is als een eerlijk dobbelsteentje gooien.

Maar in het echte leven is dat vaak niet zo. Soms weten we gewoon niet wat de kansen zijn, of zijn ze vaag. Misschien is de tegenstander onvoorspelbaar, of is de situatie te complex om in getallen te vatten. Hier komt dit artikel om de hoek kijken. Het stelt een nieuwe manier voor om spelletjes te spelen en te winnen, gebaseerd op onzekerheid en kwaliteit in plaats van exacte wiskunde.

De Twee Spelregels

De auteur onderzoekt twee manieren om een "evenwicht" te vinden (een situatie waar niemand een reden heeft om van strategie te veranderen).

1. Het "Gemengde" Spel (De Wolk van Mogelijkheden)

In de klassieke theorie kiezen spelers een mix van strategieën (bijvoorbeeld: 50% kans op A, 50% op B). In dit nieuwe model kiezen spelers geen percentages, maar een wolk van mogelijkheden.

• De Metafoor: Stel je voor dat je niet zegt "Ik kies 60% voor rood", maar dat je een wolk tekent die zegt: "Het kan rood zijn, het kan blauw zijn, en ik ben het meest zeker van rood, maar blauw is ook mogelijk."
• De Wiskunde: In plaats van getallen die optellen tot 100% (zoals bij een dobbelsteen), gebruiken de auteurs een systeem dat heet Max-Plus.
  • Normaal: Je telt kansen op (30% + 70% = 100%).
  • Max-Plus: Je kijkt naar het beste scenario dat mogelijk is binnen je wolk. Het is alsof je zegt: "Wat is het allerbeste dat er kan gebeuren als ik deze wolk van onzekerheid over mijn tegenstander heb?"
• Het Resultaat: De auteur bewijst dat er altijd een punt is waar de spelers "rustig" kunnen slapen, zelfs als ze alleen maar met deze vage wolken van onzekerheid werken. Zelfs als er geen "minste" optie is, vinden ze een oplossing.

2. Het Spel onder Onzekerheid (De Gok met een Voorspelling)

Hier kiezen spelers een enkele, vaste actie (bijvoorbeeld: "Ik ga echt naar links"), maar ze hebben een vage overtuiging over wat de ander doet.

• De Metafoor: Stel je een schutter voor die een doelwit wil raken. Hij kiest één specifieke schietpositie. Maar hij heeft geen statistieken over de wind; hij heeft alleen een "gevoel" (een wolk van onzekerheid) dat de wind uit het noorden of oosten kan komen. Hij kiest zijn positie op basis van wat er het beste uit die onzekerheid kan komen.
• Het Nieuwe Evenwicht: Een "evenwicht onder onzekerheid" betekent: "Ik kies mijn actie, en mijn 'wolk van onzekerheid' over jou is zo, dat ik geloof dat jij ook je beste keuze maakt."
• De Verrassing: De auteur laat zien dat als spelers werken met "mogelijkheids-wolken" (in plaats van willekeurige kansen), dit nieuwe evenwicht eigenlijk hetzelfde is als het klassieke evenwicht. Maar als ze andere soorten onzekerheid hebben, kunnen de twee concepten uit elkaar lopen.

Waarom is dit belangrijk? (De "Max-Plus" Magie)

De auteur gebruikt een speciaal wiskundig gereedschap genaamd Max-Plus-integraal.

• Stel je voor: Je bent een chef-kok die een gerecht moet maken.
  • De oude manier (Choquet-integraal): Je neemt alle ingrediënten, weegt ze af en maakt een gemiddelde soep.
  • De nieuwe manier (Max-Plus): Je kijkt naar het sterkste ingrediënt. Als je een beetje van het allerbeste kruid hebt, telt dat zwaar mee. Het is een manier van denken die zegt: "Wat is het maximale resultaat dat ik kan bereiken?" in plaats van "Wat is het gemiddelde?"

Dit is heel handig voor situaties waar "het ergste geval" of "het beste geval" belangrijker is dan een gemiddelde. Denk aan een belegger die bang is voor een crash (het ergste geval) of een ondernemer die hoopt op een doorbraak (het beste geval).

Samenvatting in Eén Zin

Dit artikel laat zien dat we spelletjes kunnen spelen en winnen, zelfs als we geen exacte kansen hebben, door te denken in termen van "wat is het beste dat er kan gebeuren binnen onze onzekerheid" in plaats van te rekenen met gemiddelden.

De Grootte van de Oplossing

De auteur bewijst wiskundig dat:

1. Er altijd een stabiele oplossing is voor deze nieuwe manier van spelen.
2. Als spelers werken met "mogelijkheden" (in plaats van willekeur), hun onzekerheid-voorspellingen en hun daadwerkelijke keuzes perfect op elkaar aansluiten.

Het is als het vinden van een rustig punt in een stormachtige zee, niet door de golven te meten, maar door te weten hoe je het beste met de wind kunt varen.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Equilibrium for Max-Plus Payoff" van Taras Radul, geschreven in het Nederlands.

Titel: Evenwicht voor Max-Plus Uitbetalingen

Auteur: Taras Radul
Trefwoorden: Niet-additieve maten, Nash-evenwicht, evenwicht onder onzekerheid, mogelijkheid-capaciteit, max-plus-integraal, niet-lineaire convexiteit.

---

1. Probleemstelling en Context

De klassieke theorie van het Nash-evenwicht in niet-coöperatieve spellen rust op lineaire convexiteit en additieve waarschijnlijkheidsmaten. In deze traditionele setting worden gemengde strategieën gemodelleerd als kansverdelingen. Echter, in veel hedendaagse economische en besluitvormingsmodellen is de aanname van precieze kennis van de waarschijnlijkheid van gebeurtenissen onrealistisch. Besluitvorming onder onzekerheid vereist vaak een framework waarbij waarschijnlijkheden onbekend of vaag gespecificeerd zijn.

Bestaande uitbreidingen van de Nash-theorie omvatten:

• Het gebruik van Choquet-integralen met niet-additieve maten (capaciteiten) voor verwachte nut (Dow en Werlang).
• Kwalitatieve besluitvorming via de Sugeno-integraal.
• Spellen waarbij spelers zowel niet-additieve overtuigingen hebben als gemengde strategieën uitdrukken via capaciteiten.

Dit artikel richt zich specifiek op spellen waarbij de uitbetalingsfuncties worden gerepresenteerd door de max-plus-integraal. Deze integraal, gebaseerd op de operaties maximum en optelling, vormt een natuurlijke link tussen de theorie van capaciteiten en idempotente (max-plus) analyse. Het doel is om twee concepten van evenwicht te onderzoeken binnen dit raamwerk:

1. Nash-evenwicht in gemengde strategieën: Spelers gebruiken gemengde strategieën die worden uitgedrukt als capaciteiten.
2. Evenwicht onder onzekerheid (in de zin van Dow en Werlang): Spelers kiezen pure strategieën, maar evalueren uitkomsten op basis van niet-additieve overtuigingen (capaciteiten) over de acties van tegenstanders.

---

2. Methodologie en Wiskundig Raamwerk

Het artikel hanteert een topologische en functionaal-analytische aanpak binnen de categorie van compacte Hausdorff-ruimten.

A. Capaciteiten en Max-Plus Integraal

• Capaciteiten: Een functie $\nu: \mathcal{F}(X) \to [0,1]$ die monotoon is, genormaliseerd ($\nu(X)=1, \nu(\emptyset)=0$) en bovenhalve continu. De ruimte van alle dergelijke capaciteiten wordt aangeduid als $MX$.
• Soorten Capaciteiten:
  • Noodzaak-capaciteiten: Voldoen aan $\nu(A \cap B) = \min(\nu(A), \nu(B))$.
  • Mogelijkheid-capaciteiten (Possibility capacities): Voldoen aan $\nu(A \cup B) = \max(\nu(A), \nu(B))$. De ruimte hiervan is $\Delta X$.
• Max-Plus Integraal: Voor een continue functie $\phi$ en een capaciteit $\nu$ wordt de integraal gedefinieerd als:
  $$\int^{\vee+}_X \phi \, d\nu = \max \{ \ln(\nu(\phi_t)) + t \mid t \in \mathbb{R} \}$$
  waarbij $\phi_t = \{x \in X \mid \phi(x) \geq t\}$.
• Tensor Product: Een constructie voor het combineren van capaciteiten van verschillende spelers, analoog aan het product van kansmaten, maar gedefinieerd via de max-plus structuur.

B. Abstracte Convexiteit en Vaste Punten
Om het bestaan van evenwichten te bewijzen, maakt de auteur gebruik van technieken uit de abstracte convexiteit, specifiek B-convexiteit (een vorm van idempotente convexiteit).

• De ruimte van mogelijkheid-capaciteiten $\Delta X$ wordt uitgerust met een convexe structuur waarbij de "convexe combinaties" worden gedefinieerd via $s \cdot \nu \vee \mu$.
• Er wordt een Kakutani-type vastepuntstelling toegepast voor multimaps (setwaardige afbeeldingen) in ruimten met een normale convexiteit, waarbij alle convexe verzamelingen verbonden zijn.

---

3. Belangrijkste Resultaten en Bijdragen

A. Nash-evenwicht in Gemengde Strategieën

De auteur onderzoekt het bestaan van Nash-evenwichten in spellen waarbij spelers strategieën kiezen uit de ruimte van capaciteiten $MX$ of de subspace van mogelijkheid-capaciteiten $\Delta X$.

1. Triviale Oplossingen in $MX$:
   • Voor de volledige ruimte van capaciteiten $MX$ bestaat er een triviale oplossing voor het max-evenwicht: het punt bestaande uit de grootste elementen van elke ruimte $MX_i$ (de capaciteit die elke niet-lege verzameling waarde 1 toekent).
   • Een analoog triviaal punt bestaat voor het min-evenwicht (kleinste element).
2. Niet-triviale Oplossingen in $\Delta X$ (Mogelijkheid-capaciteiten):
   • De ruimte $\Delta X$ bevat wel het grootste element, maar geen kleinste element. Hierdoor is het bestaan van een min-evenwicht niet triviaal.
   • Hoofdstelling (Stelling 3): Er bestaat een Nash min-evenwicht voor spellen met verwachte uitbetalingsfuncties gedefinieerd door de max-plus integraal, beperkt tot de ruimte van mogelijkheid-capaciteiten.
   • Bewijsmethode: Het bewijs maakt gebruik van de quasiconvexiteit van de uitbetalingsfuncties ten opzichte van de $i$-de variabele binnen de B-convexe structuur van $\Delta X$, gecombineerd met Stelling 2 (een bestaansstelling voor Nash-evenwichten in spellen met normale convexiteit).

B. Evenwicht onder Onzekerheid

Dit concept beschrijft een situatie waarin spelers pure strategieën kiezen, maar hun overtuigingen over tegenstanders uitdrukken via capaciteiten.

1. Definitie: Een systeem van overtuigingen $(\nu_1, \dots, \nu_n)$ is een evenwicht onder onzekerheid als elke speler $i$ gelooft dat de tegenstanders kiezen uit hun beste responsen $R_j(\nu_j)$, en de capaciteit $\nu_i$ toekent aan het complement van deze beste responsen gelijk is aan 0.
2. Bestaan (Stelling 5): Er bestaat een systeem $(\mu_1, \dots, \mu_n)$ van mogelijkheid-capaciteiten dat een evenwicht onder onzekerheid vormt.
   • Belangrijk: De gezamenlijke overtuiging van speler $i$ over de tegenstanders wordt weergegeven als het tensorproduct van de individuele mogelijkheid-capaciteiten van de tegenstanders ($\mu^*_i = \bigotimes_{j \neq i} \mu_j$).
   • Het bewijs gebruikt een vastepuntstelling voor multimaps op het product van ruimten van mogelijkheid-capaciteiten.

C. Relatie tussen de Evenwichtconcepten

De auteur analyseert de relatie tussen Nash-evenwicht in gemengde strategieën (capaciteiten) en evenwicht onder onzekerheid.

• Gevonden verschil: In het algemeen zijn deze concepten niet equivalent. Een Nash-evenwicht in gemengde strategieën is niet noodzakelijk een evenwicht onder onzekerheid (geïllustreerd in Voorbeeld 1).
• Positief Resultaat voor Mogelijkheid-capaciteiten (Stelling 1): Als een paar capaciteiten $(\nu, \mu)$ een evenwicht onder onzekerheid is en beide behoren tot de ruimte van mogelijkheid-capaciteiten ($\Delta X \times \Delta Y$), dan is dit paar ook een Nash-evenwicht in het corresponderende spel met capaciteiten.
• Open Probleem: De vraag of deze implicatie geldt voor de bredere klasse van alle capaciteiten (niet beperkt tot mogelijkheid-capaciteiten) blijft open.

---

4. Significatie en Conclusie

Dit artikel levert een aanzienlijke bijdrage aan de speltheorie onder onzekerheid door de theorie te verleggen van lineaire kansmaten naar idempotente (max-plus) structuren.

• Theoretische Innovatie: Het introduceert de max-plus integraal als een alternatief voor Choquet- en Sugeno-integralen in de context van speltheoretische evenwichten. Dit biedt een wiskundig raamwerk voor kwalitatieve en "idempotente" besluitvorming.
• Bestaansbewijzen: Het bewijst het bestaan van evenwichten in settings waar klassieke lineaire convexiteit faalt of waar de structuur van de strategie-ruimte (zoals bij mogelijkheid-capaciteiten) specifieke uitdagingen biedt (bijv. het ontbreken van een kleinste element).
• Methodologische Vooruitgang: Door abstracte convexiteitstechnieken (B-convexiteit) en vastepuntstellingen toe te passen op ruimten van niet-additieve maten, opent het artikel nieuwe wegen voor het analyseren van strategische interacties in onzekere omgevingen zonder de aanname van additiviteit.
• Praktische Implicaties: De resultaten zijn relevant voor economische modellen waar agents niet in staat zijn om precieze waarschijnlijkheden toe te kennen, maar wel gebruikmaken van kwalitatieve oordelen of "possibilistische" redenering (bijv. in risicomanagement of onder onvolledige informatie).

Samenvattend generaliseert Radul de Nash-theorie naar een niet-lineaire, idempotente context en toont hij aan dat evenwichten bestaan in zowel gemengde strategieën als onder onzekerheid, mits men gebruikmaakt van de juiste convexiteitsstructuren en de beperking tot mogelijkheid-capaciteiten waar nodig is voor specifieke implicaties.