Ingame theory,Mertens stability is asolution concept used to predict the outcome of anon-cooperative game. A tentative definition of stability was proposed by Elon Kohlberg andJean-François Mertens^[1] for games with finite numbers of players and strategies. Later, Mertens^[2][3] proposed a stronger definition that was elaborated further by Srihari Govindan and Mertens.^[4] This solution concept is now calledMertens stability, or juststability.

Like other refinements ofNash equilibrium^[5]used in game theory stability selects subsets of the set of Nash equilibria that have desirable properties. Stability invokes stronger criteria than other refinements, and thereby ensures that more desirable properties are satisfied.

Refinements have often been motivated by arguments for admissibility, backward induction, and forward induction. In a two-player game, anadmissible decision rule for a player is one that does not use any strategy that is weakly dominated by another (seeStrategic dominance).Backward induction posits that a player's optimal action in any event anticipates that his and others' subsequent actions are optimal. The refinement calledsubgame perfect equilibrium implements a weak version of backward induction, and increasingly stronger versions aresequential equilibrium,perfect equilibrium,quasi-perfect equilibrium, andproper equilibrium.Forward induction posits that a player's optimal action in any event presumes the optimality of others' past actions whenever that is consistent with his observations. Forward induction^[6] is satisfied by a sequential equilibrium for which a player's belief at an information set assigns probability only to others' optimal strategies that enable that information to be reached.

Kohlberg and Mertens emphasized further that a solution concept should satisfy theinvariance principle that it not depend on which among the many equivalent representations of the strategic situation as anextensive-form game is used. Thus it should depend only on the reducednormal-form game obtained after elimination of pure strategies that are redundant because their payoffs for all players can be replicated by a mixture of other pure strategies. Mertens^[7][8] emphasized also the importance of thesmall worlds principle that a solution concept should depend only on the ordinal properties of players' preferences, and should not depend on whether the game includes extraneous players whose actions have no effect on the original players' feasible strategies and payoffs.

Kohlberg and Mertens demonstrated via examples that not all of these properties can be obtained from a solution concept that selects single Nash equilibria. Therefore, they proposed that a solution concept should select closed connected subsets of the set of Nash equilibria.^[9]

• Admissibility and Perfection: Each equilibrium in a stable set is perfect, and therefore admissible.
• Backward Induction and Forward Induction: A stable set includes a proper equilibrium of the normal form of the game that induces a quasi-perfect and therefore a sequential equilibrium in every extensive-form game with perfect recall that has the same normal form. A subset of a stable set survives iterative elimination of weakly dominated strategies and strategies that are inferior replies at every equilibrium in the set.
• Invariance and Small Worlds: The stable sets of a game are the projections of the stable sets of any larger game in which it is embedded while preserving the original players' feasible strategies and payoffs.^[10]
• Decomposition and Player Splitting. The stable sets of the product of two independent games are the products of their stable sets. Stable sets are not affected by splitting a player into agents such that no path through the game tree includes actions of two agents.

For two-player games with perfect recall and generic payoffs, stability is equivalent to just three of these properties: a stable set uses only undominated strategies, includes a quasi-perfect equilibrium, and is immune to embedding in a larger game.^[11]

A stable set is defined mathematically by essentiality of the projection map from a closed connected neighborhood in the graph of the Nash equilibria over the space of perturbed games obtained by perturbing players' strategies toward completely mixed strategies. This definition requires more than every nearby game having a nearby equilibrium. Essentiality requires further that no deformation of the projection maps to the boundary, which ensures that perturbations of the fixed point problem defining Nash equilibria have nearby solutions. This is apparently necessary to obtain all the desirable properties listed above.

Mertens provided several formal definitions depending on the coefficient module used for homology orcohomology.

A formal definition requires some notation. For a given game${\displaystyle G}$ let${\displaystyle \mathrm{\Sigma }}$ be product of the simplices of the players' of mixed strategies. For each, let${\displaystyle P_{\delta }=\{ϵ\tau \mid 0\le ϵ\le \delta ,\tau \in \mathrm{\Sigma }\}}$ and let${\displaystyle \mathrm{\partial }{P}_{\delta }}$ be itstopological boundary. For${\displaystyle \eta \in P_1}$ let${\displaystyle \overline{\eta }}$ be the minimum probability of any pure strategy. For any${\displaystyle \eta \in P_1}$ define the perturbed game${\displaystyle G(\eta )}$ as the game where the strategy set of each player${\displaystyle n}$ is the same as in${\displaystyle G}$, but where the payoff from a strategy profile${\displaystyle \tau }$ is the payoff in${\displaystyle G}$ from the profile${\displaystyle \sigma =(1-\overline{\eta })\tau +\eta }$. Say that${\displaystyle \sigma }$ is a perturbed equilibrium of${\displaystyle G(\eta )}$ if${\displaystyle \tau }$ is an equilibrium of${\displaystyle G(\eta )}$. Let${\displaystyle \mathcal{E}}$ be the graph of the perturbed equilibrium correspondence over${\displaystyle P_1}$, viz., the graph${\displaystyle \mathcal{E}}$ is the set of those pairs${\displaystyle (\eta ,\sigma )\in P_1\times \mathrm{\Sigma }}$ such that${\displaystyle \sigma }$ is a perturbed equilibrium of${\displaystyle G(\eta )}$. For${\displaystyle (\eta ,\sigma )\in \mathcal{E}}$,${\displaystyle \tau (\eta ,\sigma )\equiv (\sigma -\eta )/(1-\overline{\eta })}$ is the corresponding equilibrium of${\displaystyle G(\eta )}$. Denote by${\displaystyle p}$ the natural projection map from${\displaystyle \mathcal{E}}$ to${\displaystyle P_1}$. For${\displaystyle E\subseteq \mathcal{E}}$, let${\displaystyle E_0=\{(0,\sigma )\in E\}}$, and for let${\displaystyle (E_{\delta },\mathrm{\partial }{E}_{\delta })=p^{-1}(P_{\delta },\mathrm{\partial }{P}_{\delta })\cap E}$. Finally,${\displaystyle \check{H}}$ refers toČech cohomology with integer coefficients.

The following is a version of the most inclusive of Mertens' definitions, called *-stability.

Definition of a *-stable set:${\displaystyle S\subseteq \mathrm{\Sigma }}$ is a *-stable set if for some closed subset${\displaystyle E}$ of${\displaystyle \mathcal{E}}$ with${\displaystyle E_0=\{0\}\times S}$ it has the following two properties:

• Connectedness: For every neighborhood${\displaystyle V}$ of${\displaystyle E_0}$ in${\displaystyle E}$, the set${\displaystyle V\setminus \mathrm{\partial }{E}_1}$ has a connected component whoseclosure is a neighborhood of${\displaystyle E_0}$ in${\displaystyle E}$.
• Cohomological Essentiality:${\displaystyle p^{\ast }:{\check{H}}^{\ast }(P_{\delta },\mathrm{\partial }{P}_{\delta })\to {\check{H}}^{\ast }(E_{\delta },\mathrm{\partial }{E}_{\delta })}$ is nonzero for some${\displaystyle \delta >0}$.

If essentiality in cohomology or homology is relaxed tohomotopy, then a weaker definition is obtained, which differs chiefly in a weaker form of the decomposition property.^[12]

• Game theory equilibrium concepts
• Non-cooperative games

• CS1 maint: archived copy as title
• Articles with short description
• Short description is different from Wikidata