Table of Contents
Fetching ...

Undiscounted Equilibrium in Positive Recursive Absorbing Games with Non-Rectangular Absorption Structure

Eilon Solan, Nicolas Vieille

TL;DR

The paper resolves the existence of undiscounted equilibrium payoffs for positive recursive absorbing games under a non-rectangular absorption-structure condition, addressing a central open problem in stochastic games. It extends a dynamical-systems approach from quitting games by constructing an operator f on payoff vectors and concatenating finite-horizon equilibria along an approximate orbit of f to yield a long-run equilibrium strategy profile σ^*. The main contributions include identifying non-rectangular connected components as the critical barrier, providing a constructive proof that yields a uniform (and thus long-run) equilibrium payoff, and laying groundwork for extensions using public correlation devices. The results unify and simplify prior methods, offering a robust framework for analyzing undiscounted equilibria in multi-agent stochastic settings and guiding future work on broader classes and correlation-enabled equilibria.

Abstract

An absorbing game is a stochastic game with a single nonabsorbing state. Such a game is called recursive if all players receive a payoff of 0 in the nonabsorbing state, and positive if all payoffs in absorbing states are positive. An action profile is nonabsorbing if, when it is played, the game remains in the nonabsorbing state with probability 1. The set of nonabsorbing action profiles can be partitioned into the connected components of an undirected graph, whose vertices are these profiles, with two vertices joined by an edge whenever the corresponding profiles differ in the action of a single player. A connected component is said to be rectangular if it is the Cartesian product of subsets of the players' action sets. We prove that every positive recursive absorbing game whose nonabsorbing components are all non-rectangular admits an undiscounted equilibrium payoff.

Undiscounted Equilibrium in Positive Recursive Absorbing Games with Non-Rectangular Absorption Structure

TL;DR

The paper resolves the existence of undiscounted equilibrium payoffs for positive recursive absorbing games under a non-rectangular absorption-structure condition, addressing a central open problem in stochastic games. It extends a dynamical-systems approach from quitting games by constructing an operator f on payoff vectors and concatenating finite-horizon equilibria along an approximate orbit of f to yield a long-run equilibrium strategy profile σ^*. The main contributions include identifying non-rectangular connected components as the critical barrier, providing a constructive proof that yields a uniform (and thus long-run) equilibrium payoff, and laying groundwork for extensions using public correlation devices. The results unify and simplify prior methods, offering a robust framework for analyzing undiscounted equilibria in multi-agent stochastic settings and guiding future work on broader classes and correlation-enabled equilibria.

Abstract

An absorbing game is a stochastic game with a single nonabsorbing state. Such a game is called recursive if all players receive a payoff of 0 in the nonabsorbing state, and positive if all payoffs in absorbing states are positive. An action profile is nonabsorbing if, when it is played, the game remains in the nonabsorbing state with probability 1. The set of nonabsorbing action profiles can be partitioned into the connected components of an undirected graph, whose vertices are these profiles, with two vertices joined by an edge whenever the corresponding profiles differ in the action of a single player. A connected component is said to be rectangular if it is the Cartesian product of subsets of the players' action sets. We prove that every positive recursive absorbing game whose nonabsorbing components are all non-rectangular admits an undiscounted equilibrium payoff.

Paper Structure

This paper contains 27 sections, 9 theorems, 37 equations, 1 figure.

Key Result

Theorem 2.8

Every positive recursive absorbing game that has no rectangular connected component admits an undiscounted equilibrium payoff.

Figures (1)

  • Figure 1: The absorption structure of the three-player recursive absorbing game in Example \ref{['example:2']}.

Theorems & Definitions (19)

  • Definition 2.1: Recursive absorbing game
  • Definition 2.2: Positive recursive absorbing game
  • Definition 2.3: Undiscounted equilibrium
  • Definition 2.4: Set of nonabsorbing action profiles $B$
  • Definition 2.5: Connected components of nonabsorbing action profiles
  • Definition 2.6: rectangular connected component
  • Example 2.7
  • Theorem 2.8: Existence of undiscounted equilibrium
  • Remark 2.9: Uniform equilibrium
  • Lemma 3.1
  • ...and 9 more