top of page
Poster for “Political Equilibrium Singularity: Equilibrium-Invariant Institutional Limits in Dynamic Political Games.” A heavily equipped Israeli soldier sits at a gaming workstation beneath the headline “Tactical Optimization. Political Lock-In.” Two intellectual figures appear beside the National-Monotheism framework and a formal utility expression, visually contrasting tactical choice under uncertainty with long-run institutional invariance.

Political Equilibrium Singularity

Equilibrium-Invariant Institutional Limits in Dynamic Political Games

Benny Dunavich

Abstract

Dynamic political games may admit multiple strategically distinct equilibria without generating multiple long-run institutional outcomes. This paper develops a general framework for analyzing that distinction. For a dynamic political game Γ, a pre-specified equilibrium correspondence 𝖤(Γ), an admissible domain of initial conditions 𝒟, and a pre-specified institutional classification map ι, define the Equilibrium Institutional Image

Ψ∞𝖤,ι(Γ;𝒟)=⋃σ∈𝖤(Γ)⋃s0∈𝒟ι[ℒΓ,σ(s0)],

where ℒΓ,σ(s0) is the essential long-run support generated by equilibrium σ from s0. A Political Equilibrium Singularity (PES) obtains when this image collapses to a single institutional equivalence class:

Ψ∞𝖤,ι(Γ;𝒟)={C⋆}.

The framework distinguishes PES from equilibrium uniqueness, local stability of representative states, historical persistence, stochastic equilibrium selection, and welfare evaluation. It defines a non-degenerate form in which distinct equilibrium outcome laws coexist with a common long-run institutional image, and a projected form in which complete institutional outcomes remain heterogeneous while a pre-specified institutional component is invariant. General results establish monotonicity in the admissible domain and equilibrium set, a sufficient uniform-contraction condition, a symmetry obstruction, and separation between distinct robust PES regions.

The paper does not claim that common limiting outcomes across multiple equilibria are a new phenomenon. Related structures appear in asynchronous coordination, implementation theory, dynamic political economy, institutional-change theory, and stochastic-selection models. Its proposed contribution is instead a general classification framework that treats equilibrium-invariant long-run institutional concentration as a domain-relative, equilibrium-concept-relative, and institutional-resolution-relative property of the equilibrium correspondence itself.

1. Introduction

Political equilibrium multiplicity and political institutional multiplicity are not the same object.

A dynamic political game may support several equilibria that differ in actions, coalition structures, policies, transition paths, or distributions of payoff, while all eventually generate the same institutional architecture. Conversely, a game with a unique equilibrium may sustain a recurrent process containing several institutional classes. The cardinality of the equilibrium set therefore does not determine the cardinality of the long-run institutional outcome set.

The distinction suggests a question that is different from ordinary equilibrium selection:

What is the complete long-run institutional image generated by the entire admitted equilibrium correspondence?

Let Γ denote a dynamic political game and 𝖤(Γ) a pre-specified equilibrium correspondence. Let 𝒟⊆S be an admissible domain of initial states. For each equilibrium σ∈𝖤(Γ) and initial state s0∈𝒟, let

ℒΓ,σ(s0)

denote the essential long-run support of the induced process. Let

ι:S→ℭ

map dynamic states into a pre-specified space ℭ of institutional equivalence classes.

The central object of the paper is

Ψ∞𝖤,ι(Γ;𝒟)=⋃σ∈𝖤(Γ)⋃s0∈𝒟ι[ℒΓ,σ(s0)].(1)

A Political Equilibrium Singularity at C⋆∈ℭ obtains when

PES𝖤,ι(Γ,𝒟;C⋆)⇔Ψ∞𝖤,ι(Γ;𝒟)={C⋆}.(2)

The term singularity refers only to singletonity of the long-run institutional image. It does not imply a technological singularity, a physical discontinuity, normative superiority, or unconditional historical inevitability.

Several distinctions follow immediately.

First, PES is not equilibrium uniqueness. Multiple equilibrium outcome laws can coexist with a singleton institutional image. The paper calls this Non-Degenerate PES (ND-PES).

Second, PES is not local stability. Local attraction of one representative state does not exclude other equilibria or admissible basins with different institutional limits. Conversely, PES need not imply local asymptotic stability of any particular representative state inside the target institutional class.

Third, PES is not historical persistence. A realized history observes one path, whereas Ψ∞ quantifies over the admitted equilibrium correspondence and initial domain.

Fourth, PES is not stochastic selection. A perturbation may select one recurrent outcome from a non-singleton unperturbed image. That selected outcome does not thereby become a PES target of the unperturbed game.

Finally, PES contains no welfare criterion. A uniquely reproduced institutional class may be efficient, Pareto dominated, adaptive, or rigid. Those properties require additional evaluative structure.

The framework is explicitly relative to three analytical choices: the equilibrium concept 𝖤, the admissible domain 𝒟, and the institutional resolution encoded by ι. These dependencies are not nuisances to be suppressed. They define the scope of a PES claim.

The paper develops four refinements. ND-PES separates multiplicity of equilibrium labels from multiplicity of realized outcome laws. Robust PES asks whether the singleton property survives in an open parameter neighborhood. Stochastically robust PES additionally asks whether vanishing perturbations concentrate invariant probability on the already-established PES class. Projected PES asks whether a pre-specified institutional component is singular even when complete institutional classes remain multiple.

The analytical contribution is deliberately limited. Existing work already demonstrates common limiting predictions across multiple equilibria, universal restrictions over equilibrium outcomes, endogenous political-institutional convergence, and selection under perturbations. The proposed contribution of PES is to place these questions at a common level of aggregation: the long-run institutional image of the complete admitted equilibrium correspondence.

The paper proceeds as follows. Section 2 positions the framework relative to neighboring literatures. Section 3 defines the dynamic environment and Equilibrium Institutional Image. Sections 4–6 develop PES, non-degeneracy, robustness, and projected singularity. Section 7 presents general results and obstructions. Section 8 gives minimal examples and counterexamples. Section 9 addresses identification and falsification. Section 10 concludes and states the research agenda. Appendices provide formal proofs, selected mechanism constructions, the notation registry, and the boundary with companion frameworks.

2. Relation to Existing Literatures

PES intersects several established literatures. The purpose of this section is not to argue that common limiting outcomes are new, but to isolate what changes when the analytical object becomes the institutional image of the entire equilibrium correspondence.

2.1 Dynamic coordination and all-equilibrium limiting predictions

An early direct antecedent is Lagunoff and Matsui (1997), who study repeated coordination under asynchronous choice. In their canonical alternating-move coordination environment, sufficiently patient players obtain a unique Perfect-equilibrium payoff despite the dynamic strategic environment. Their result identifies asynchronous inertia as a source of equilibrium-prediction restriction and provides an early connection between asynchronous coordination and the anti-folk logic relevant here.

Lagunoff and Matsui (2001) develop a related robustness result. For asynchronous play and a fixed sufficiently high discount factor, they identify an open neighborhood of a pure coordination game in which every Perfect equilibrium generates payoffs arbitrarily close to the Pareto-dominant payoff of the benchmark game. Common all-equilibrium prediction and robustness of that prediction therefore both have established antecedents.

Ambrus and Ishii (2015) provide a particularly close comparison to the motivating PES configuration. They study asynchronous infinite-horizon coordination games and derive conditions under which play is ultimately absorbed in the Pareto-dominant stage-game equilibrium for every Markov perfect equilibrium in their two-player environment, while also deriving broader common-limit results.

PES does not claim these phenomena as new. It instead introduces an institutional-image operator that makes the domain of initial conditions, institutional quotient, and complete equilibrium correspondence explicit:

𝖤(Γ)↦Ψ∞𝖤,ι(Γ;𝒟).

A common-limit result in a particular coordination model can therefore be interpreted as one possible instance of singletonity of that image.

2.2 Implementation theory

Implementation theory supplies an even more direct antecedent for universal quantification over equilibria. Mookherjee and Reichelstein (1990), for example, formulate Bayesian implementation in terms of mechanisms whose Bayesian equilibrium outcomes agree with a specified choice rule. Lee and Sabourian (2011) define repeated implementation so that the equilibrium set is nonempty and every equilibrium outcome path produces the prescribed social choice at every relevant history.

The logical resemblance is substantial:

all admitted equilibria→restricted outcome set.

The distinction lies in analytical direction. Implementation is a design problem: a target choice rule is given and a mechanism is sought whose equilibria implement it. PES begins with a given dynamic game and asks what long-run institutional classes its admitted equilibria generate.

PES also need not require identical equilibrium paths or complete outcomes. Distinct equilibrium outcome laws may differ substantially while sharing one long-run institutional class, or one projected institutional component.

Implementation theory therefore blocks any claim that universal equilibrium-to-target restrictions are themselves new. PES uses this logical structure for a different classification object.

2.3 Dynamic political economy and institutional change

Dynamic political economy provides the closest substantive setting. Duggan and Kalandrakis (2012) study infinite-horizon legislative policy making in which current policy determines the next period’s status quo. They prove existence of stationary Markov perfect equilibria, characterize equilibrium-induced transition probabilities, and derive conditions concerning invariant distributions in a canonical spatial setting.

Acemoglu, Egorov, and Sonin (2012) develop a framework in which current collective decisions alter future political power and characterize dynamically stable states as functions of initial conditions under their assumptions. Greif and Laitin (2004) develop a dynamic account of endogenous institutional stability and change based on self-reinforcement and quasi-parameters.

These literatures establish that endogenous institutional persistence, path dependence, political-power dynamics, and long-run distributions are already central objects of political economy.

PES does not propose a new universal mechanism of institutional persistence. It adds a classificatory question. Once a dynamic political model supplies equilibrium-induced long-run behavior, PES asks:

|⋃σ∈𝖤⋃s0∈𝒟ι[ℒσ(s0)]|=?

The focus is therefore whether institutional multiplicity survives equilibrium and initial-condition variation.

2.4 Stochastic stability

Stochastic-stability theory addresses a different logical problem. Kandori, Mailath, and Rob (1993) and Young (1993) study adaptive or evolutionary dynamics with small mutations or mistakes and characterize which conventions or equilibria retain long-run probability as perturbations vanish.

PES places the test earlier.

If the unperturbed equilibrium institutional image is

Ψ∞={CA,CB},

while perturbations select CA with asymptotic probability one, then CA is stochastically selected but the unperturbed game is not PES.

Thus:

stochastic selection asks which available long-run alternative dominates;

whereas

PES asks whether long-run institutional alternatives survive the admitted equilibrium structure at all.

The concepts are complementary rather than hierarchical.

2.5 Positioning

The appropriate novelty claim is narrow.

This paper does not claim that multiple equilibria with a common limit, all-equilibrium implementation, robust concentration of equilibrium predictions, endogenous institutional persistence, or stochastic equilibrium selection are new.

Its proposed contribution is the systematic use of

Ψ∞𝖤,ι(Γ;𝒟)

as a general institutional-image object, together with a classification architecture that is explicitly equilibrium-concept relative, domain relative, institutional-resolution relative, and distinct from perturbation selection and normative evaluation.

3. Dynamic Political Games and Institutional Images

3.1 Dynamic environment

Let

Γ=⟨N,(S,τ,𝒮),{Ai}i∈N,{ui}i∈N,P,{δi}i∈N⟩(3)

denote a dynamic political game.

Here N is the set of strategic actors; S is the state space; τ is a pre-specified topology on S; and 𝒮 is a σ-algebra containing the Borel σ-algebra generated by τ. Finite-state models use the discrete topology.

For each player i, Ai(s) is the feasible action set, ui is the relevant payoff function, P(⋅∣s,a) is the transition kernel, and δi, where required, is an intertemporal discount factor.

The representation is canonical rather than restrictive. Particular applications may use deterministic transitions, continuous state spaces, or richer information structures.

State-Sufficiency Requirement

The state representation must contain all history-dependent information relevant to feasible actions, payoffs, transitions, equilibrium behavior, and institutional classification. If omitted history affects any of these objects, the state must be augmented.

3.2 Equilibrium correspondence and outcome laws

Let

𝖤(Γ)(4)

be the complete set of equilibria admitted by a pre-specified solution concept.

For

σ∈𝖤(Γ),s0∈S,

let

ℙs0σ(5)

denote the induced law on realized state-action histories.

The equilibrium concept is part of the PES claim. It may not be altered retrospectively because a broader solution set generates an inconvenient institutional class.

3.3 Admissible initial domain

Let

𝒟⊆S(6)

be the domain of initial states over which the claim is evaluated.

The domain must be specified independently of the realized outcome. The term Global PES is reserved for cases in which 𝒟 contains every initial state deemed admissible by the model.

3.4 Institutional representation

Let

h:S→ℑ

map dynamic states to full institutional configurations.

Let

≅I

be a pre-specified institutional equivalence relation and define

ℭ=ℑ/≅I.(7)

Let

qI:ℑ→ℭ

be the quotient map and define

ι=qI∘h:S→ℭ.(8)

The measurable structure on ℭ is assumed sufficient for the probability statements used below, and ι is measurable.

Institutional-Classification Requirement

The maps and equivalence relation defining ι must be specified before the equilibrium image is evaluated. A rival institutional structure specified by the hypothesis may not be merged retrospectively with the proposed target.

3.5 Admissible reachability and contestability

Let 𝒜adm denote the set of admissible strategy profiles, not restricted to equilibrium strategies.

Define support-based admissible reachability by

ReachΓadm(𝒟)=⋃α∈𝒜adm⋃s0∈𝒟⋃t<∞suppτℙs0α(St∈⋅).(9)

In finite-state models this reduces to the set of states reachable with positive probability.

A substantive PES claim requires institutional contestability:

|ι[ReachΓadm(𝒟)]|≥2.(10)

This is a non-triviality guard, not part of the singleton definition itself.

3.6 Essential long-run support

For each

(σ,s0)∈𝖤(Γ)×𝒟,

let

ℒΓ,σ(s0)⊆S(11)

denote the essential long-run support of the induced process.

In a finite-state Markov setting it can be taken as the union of recurrent classes reachable with positive probability. In deterministic systems an appropriate ω-limit construction may be used. In more general environments the model must specify an equivalent support-based object.

The long-run operator excludes purely transient states and probability-zero path artifacts. It also satisfies Eventual-Class Consistency:

ℙs0σ(∃T∀t≥T:ι(St)=C)=1⇒ι[ℒΓ,σ(s0)]={C}.(12)

Condition (12) is automatic in the finite recurrent-class formulation and can be guaranteed in topological formulations through appropriate regularity of the long-run operator and institutional fibers.

3.7 Definition 1 — Equilibrium Institutional Image

Define

Ψ∞𝖤,ι(Γ;𝒟)=⋃σ∈𝖤(Γ)⋃s0∈𝒟ι[ℒΓ,σ(s0)].(13)

Thus

Ψ∞⊆ℭ.

The image contains institutional classes, not equilibria, paths, or raw dynamic states.

The use of a union is deliberate. Every equilibrium admitted by the selected solution concept and every initial state admitted by the domain has veto power over a singleton claim.

4. Political Equilibrium Singularity

4.1 Definition 2 — PES

For C⋆∈ℭ,

PES𝖤,ι(Γ,𝒟;C⋆)⇔Ψ∞𝖤,ι(Γ;𝒟)={C⋆}.(14)

Under the standing non-emptiness assumptions this is equivalent to

ι[ℒΓ,σ(s0)]={C⋆}

for every σ∈𝖤(Γ) and s0∈𝒟.

Exact PES is support-based. Any distinct positive-probability essential long-run class falsifies it, regardless of how small that probability is.

4.2 PES Diameter

If (ℭ,dℭ) is a metric space, define

DPES=diamdℭΨ∞.(15)

Lemma 1 — Diameter Characterization

If Ψ∞≠⌀ and dℭ is a genuine metric, then

DPES=0⇔|Ψ∞|=1.(16)

The diameter measures spread in the institutional image under the chosen metric. It is not automatically a measure of instability, welfare loss, or volatility.

4.3 Proposition 1 — Domain Monotonicity

If

𝒟1⊆𝒟2,

then

Ψ∞(Γ;𝒟1)⊆Ψ∞(Γ;𝒟2).(17)

Hence PES on a larger nonempty domain implies PES with the same target on every nonempty subdomain. The converse fails.

A Global PES claim is therefore stronger than a basin-specific claim.

4.4 Proposition 2 — Equilibrium-Set Monotonicity

For two solution sets satisfying

𝖤1(Γ)⊆𝖤2(Γ),

one has

Ψ∞𝖤1⊆Ψ∞𝖤2.(18)

Thus PES under a broader equilibrium set implies PES under a nonempty subset, but not conversely.

An equilibrium concept that admits more equilibria can preserve or destroy PES; it cannot restore a singleton by enlarging the set.

5. Non-Degenerate and Robust PES

5.1 Definition 3 — Outcome-Law Equivalence

For

σ,τ∈𝖤(Γ),

define

σ≡O𝒟τ

if

ℙsσ=ℙsτ∀s∈𝒟.(19)

When the domain is fixed, write σ≡Oτ.

This quotient eliminates equilibrium multiplicity that exists only through labels or off-path prescriptions.

5.2 Definition 4 — Non-Degenerate PES

ND-PES(C⋆)⇔PES(C⋆)∧|𝖤(Γ)/≡O|>1.(20)

ND-PES therefore means

distinct equilibrium outcome laws+one long-run institutional class.

Equilibrium selection may still matter for policy, timing, distribution, coalition formation, and transient dynamics. It simply does not change the long-run institutional class.

5.3 Parameter robustness

Let

𝚪={Γθ}θ∈Θ

be a parameterized family with common institutional comparison space ℭ.

Define

ℛ(C⋆)={θ:Ψ∞,θ={C⋆}},(21)

and

𝒰(C⋆)=IntΘℛ(C⋆).(22)

Definition 5 — ND-RPES

Γθ0 exhibits ND-RPES at C⋆ if there exists an open neighborhood U∋θ0 such that

ND-PESθ(C⋆)

for every θ∈U.

Thus both the singleton institutional image and nontrivial outcome-law multiplicity survive locally in parameter space.

5.4 Stochastic robustness

Consider perturbation families for which every relevant perturbed equilibrium

σε∈𝖤(Γθ,ε)

induces a time-homogeneous Markov process on the specified state representation, possibly after state augmentation, and admits at least one invariant probability measure.

Let

Pθ,εσε

denote the equilibrium-induced transition kernel.

Define the equilibrium-wide invariant-measure set

ℳθ,ε=⋃σε∈𝖤(Γθ,ε)Inv(Pθ,εσε).(23)

Assume

ℳθ,ε≠⌀.

Definition 6 — SR-ND-RPES

An ND-RPES at C⋆ on U is stochastically robust if

∀θ∈U:limε↓0infμ∈ℳθ,εμ(ιθ−1[{C⋆}])=1.(24)

The condition is pointwise in θ. Uniform stochastic robustness over the entire neighborhood would be stronger and is not required here.

The stochastic-robustness refinement is therefore restricted to model classes in which invariant-measure analysis of the equilibrium-induced perturbed process is well defined. This restriction does not narrow the underlying definition of PES.

The canonical hierarchy is

PES→ND-PES→ND-RPES→SR-ND-RPES.(25)

Stochastic concentration does not repair a failed PES condition. If the unperturbed image contains two institutional classes, selection of one under vanishing noise remains stochastic selection rather than PES.

6. Projected Institutional Singularity

Whole PES may be stronger than the institutional question of interest. A political order can remain heterogeneous in policy, personnel, coalition structure, or subordinate institutional form while preserving the same constitutive component.

Let

πK:ℭ→𝔎(26)

be a pre-specified projection into a kernel-class space.

Define

Ψ∞,K=πK[Ψ∞].(27)

6.1 Definition 7 — Projected PES

For k⋆∈𝔎,

PESK(k⋆)⇔Ψ∞,K={k⋆}.(28)

Let

ℱK(k⋆)=πK−1[{k⋆}]

be the target fiber.

Lemma 2 — Fiber Characterization

PESK(k⋆)⇔Ψ∞⊆ℱK(k⋆).(29)

Corollary 1 — Whole to Projected

If

PES(C⋆),

then

PESK(πK(C⋆))(30)

for every valid projection.

The converse fails.

6.2 Projection discipline

Projected PES is meaningful only if the projection is not selected to erase observed multiplicity.

Three restrictions therefore apply.

First, πK must be specified before the equilibrium image is evaluated.

Second, projected alternatives must be reachable:

|πK[ι[ReachΓadm(𝒟)]]|≥2.(31)

Third, the projection may not collapse a rival distinction that is itself part of the hypothesis being tested.

Projected PES therefore means neither total institutional uniformity nor a retrospectively chosen common denominator. Its substantive content is:

complete institutional plurality can coexist with singularity of a pre-specified frame.

Or, more compactly:

singularity of a frame does not imply singularity of everything inside the frame.

7. General Results and Obstructions

7.1 Theorem 1 — Uniform Institutional Contraction

Let

V:S→ℝ≥0

be measurable and suppose there exists c⋆>0 such that

V(s)≥c⋆𝟏{ι(s)≠C⋆}.(32)

Suppose also that there exist k∈ℕ, 0<ρ<1, and M<∞ such that for every admitted equilibrium, admissible initial state, and time t,

𝔼σ[V(St+k)∣ℱt]≤ρV(St).(33)

and, for 1≤r<k,

𝔼σ[V(St+r)∣ℱt]≤MV(St).(34)

Assume V(s0)<∞ for every s0∈𝒟.

Then

PES(C⋆).(35)

Indeed,

V(St)→0

almost surely under every admitted equilibrium and initial condition, and target separation implies eventual residence in C⋆. Eventual-Class Consistency then converts this pathwise conclusion into the long-run-support conclusion required by PES.

The theorem is sufficient only. PES need not admit a common scalar contraction representation.

7.2 Theorem 2 — Symmetry Obstruction

Let

g∈Aut(Γ,𝒟,ι)

include a bijection

gS:S→S

and corresponding transformations of players, actions, and strategies.

A valid PES automorphism preserves the complete PES specification.

Domain preservation

gS(𝒟)=𝒟.(36)

Game preservation

Feasible actions, payoffs, and transition probabilities are preserved under the appropriate relabeling.

Equilibrium preservation

σ∈𝖤(Γ)⇔gσ∈𝖤(Γ).(37)

Long-run equivariance

ℒΓ,gσ(gSs)=gS[ℒΓ,σ(s)].(38)

Institutional equivariance

There exists an induced bijection

gℭ:ℭ→ℭ

such that

ι(gSs)=gℭ(ι(s)).(39)

When no ambiguity exists, write gC for gℭ(C).

If

PES(C⋆),

then

gC⋆=C⋆∀g∈Aut(Γ,𝒟,ι).(40)

Hence

C⋆∈Fix[Aut(Γ,𝒟,ι)].(41)

A target exchanged with a distinct rival by a genuine automorphism cannot be uniquely selected as PES.

The appropriate substantive corollary is therefore:

Semantic-specific PES requires the relevant exchange symmetry to be broken somewhere in the complete PES specification.

The symmetry-breaking element may be a payoff, transition law, feasibility condition, admissible domain, institutional classification, or another component of the formal specification.

7.3 Proposition 3 — Regime Separation

Define

𝒩PES={θ∈Θ:θ∉𝒰(C)∀C∈ℭ}.(42)

Let

γ:[0,1]→Θ

be continuous with

γ(0)∈𝒰(CA),γ(1)∈𝒰(CB),CA≠CB.

Then there exists t⋆∈(0,1) such that

γ(t⋆)∈𝒩PES.(43)

A continuous transition between distinct robust targets therefore cannot remain entirely inside robust singleton-image regions.

The proposition does not imply that CA and CB coexist in the institutional image at the boundary.

7.4 Logical non-implications

The following properties are distinct at the level of the general framework:

Property
Implies PES?
Implied by PES?
Unique equilibrium
No
No
Local asymptotic stability of a representative state
No
No
Historical persistence
No
No
Pareto efficiency
No
No
Stochastic selection
No
No
Corrective capacity
No
No

These are logical non-implications, not claims that particular models cannot generate relationships among the properties.

8. Canonical Examples and Counterexamples

All continuation flow payoffs following the initial strategic decision in the examples below are normalized to zero, or equivalently to a common branch-independent constant. Thus continuation utility does not alter the stated initial equilibrium calculations.

8.1 Example 1 — ND-PES

Let

S={O,X,Y,Z,H}.

At O, two players choose L or R, with payoffs

u(L,L)=(2,2),u(R,R)=(2,2),

and mismatches yielding

(0,0).

Transitions are

(L,L)→X,(R,R)→Y,

(L,R),(R,L)→Z,

followed by

X,Y,Z→H,H→H.

The two pure coordination equilibria and the mixed equilibrium induce distinct outcome laws.

Let

ι(H)=CH,

and, explicitly,

ι(X)=CX≠CH.

Hence the reachable institutional space is nontrivial.

Nevertheless, every equilibrium has essential long-run support {H}, so

Ψ∞={CH}.

Thus

ND-PES(CH).(44)

The example proves that strategic multiplicity can survive while institutional multiplicity disappears.

8.2 Example 2 — Unique equilibrium without PES

Let

S={A,B}

with no strategic choices and deterministic transitions

A→B,B→A.

There is one equilibrium strategy profile, but if

ι(A)=CA,ι(B)=CB,CA≠CB,

then

Ψ∞={CA,CB}.

Therefore

|𝖤|=1⇏PES.(45)

8.3 Example 3 — Projected PES without Whole PES

At O, players again play the coordination game above.

Coordinated L leads to absorbing H1, coordinated R to absorbing H2, and mismatch to a transient state J, after which the process reaches H1.

Let

ι(H1)=C1,ι(H2)=C2,C1≠C2.

Let

πK(C1)=πK(C2)=k⋆.

The equilibrium institutional image is

Ψ∞={C1,C2},

so Whole PES fails, while

πK[Ψ∞]={k⋆}.

To make the projection substantively contestable, let

πK(ι(J))=k′≠k⋆.

Then

PESK(k⋆)∧¬PES.(46)

8.4 Example 4 — Robust-regime transition

Let θ∈ℝ. Each of two players chooses A or B, with

ui(A;θ)=−θ,ui(B;θ)=θ.

If both choose A, the system enters absorbing class CA. If both choose B, it enters CB≠CA. A mismatch enters a third absorbing class CM.

For θ<0, A strictly dominates B, so

Ψ∞,θ={CA}.

For θ>0, B strictly dominates A, so

Ψ∞,θ={CB}.

At θ=0, every action profile is a Nash equilibrium and

Ψ∞,0={CA,CB,CM}.

Thus

𝒰(CA)→𝒩PES→𝒰(CB).(47)

This illustrates, but does not strengthen, the general Regime Separation proposition.

9. Identification, Scope, and Falsification

9.1 Universal falsification criterion

Corollary 2 — Universal Falsifier

A PES claim at C⋆ fails if there exist

σ∈𝖤(Γ),s0∈𝒟,C′≠C⋆

such that

C′∈ι[ℒΓ,σ(s0)].(48)

This follows directly from the union defining Ψ∞.

A rival class need not be common. Any positive-probability essential long-run alternative is sufficient to falsify exact PES.

9.2 One-path identification problem

A historical record generally observes one realization:

HT=(S0,A0,…,ST).

Even prolonged residence in C⋆ does not reveal:

  • unobserved equilibria;

  • other admissible basins;

  • rare positive-probability recurrent alternatives;

  • or long-run behavior outside the observed horizon.

Hence

one persistent realized history⇏Ψ∞={C⋆}.(49)

Historical persistence can be evidence for a structural model; it is not direct observation of the full equilibrium institutional image.

9.3 Empirical identification requirements

An empirical PES claim must identify or credibly restrict at least:

Γ,𝖤,𝒟,ι,ℒ.(50)

It must also establish contestability if the claim is to be substantively nontrivial.

Projected PES adds the burden of justifying πK, demonstrating projected contestability, and showing that the projection was not selected after observing the image.

ND-PES adds a different burden:

|𝖤/≡O|>1

must itself be established.

Thus “different histories, same destination” is not enough. The histories must correspond to distinct equilibrium outcome laws of the modeled game.

9.4 Failure to identify is not falsification

Three empirical conclusions must remain separate:

PES,

¬PES,

and

PES not identified.

If available evidence cannot determine whether a rival equilibrium or long-run class exists, the correct result is non-identification, not falsification.

Likewise, approximate concentration does not establish exact PES. A model implying

Pr(C⋆)≈1

is not equivalent to

Ψ∞={C⋆}.

Approximate PES remains a possible extension rather than an implicit weakening of the present definition.

9.5 Status of the present paper

This paper is formal-theoretical.

It does not claim to establish empirically that any real political system exhibits PES, ND-PES, ND-RPES, SR-ND-RPES, or Projected PES.

A future empirical application should report at minimum the game specification, equilibrium concept, initial domain, institutional classification, long-run semantics, rival reachability, equilibrium image, resolution of the claim, robustness status, and explicit falsifiers.

10. Discussion and Research Agenda

10.1 Contribution

PES proposes a classification layer for dynamic political games.

The central sequence is

Γ→𝖤(Γ)→ℒΓ,σ(s0)→ι→Ψ∞.

The framework then asks whether

|Ψ∞|=1.

This separates equilibrium multiplicity from institutional multiplicity; outcome-law multiplicity from equilibrium-label multiplicity; Whole PES from Projected PES; exact singletonity from stochastic selection; and classification from welfare evaluation.

Its proposed contribution is therefore architectural rather than a claim to have discovered the underlying common-limit phenomenon.

10.2 Resolution and conditionality

PES is always relative to

(Γ,𝖤,𝒟,ι,ℒ).

It should not be reported as unconditional inevitability.

A system can satisfy PES on one domain and fail it on another, satisfy it under one solution concept and fail under a broader one, or satisfy Projected PES while retaining substantial complete institutional plurality.

In particular:

singularity of a frame does not imply singularity of everything inside the frame.

10.3 Classification is not mechanism

The general theory does not identify a universal political mechanism M such that

PES⇔M.

Different models may produce PES through coordination, dominance, common absorption, institutional reproduction, or other dynamics.

The analytical separation is:

Classification: What isΨ∞?

versus

Mechanism: Why doesΨ∞have that form?

Theorem 1 supplies one sufficient mechanism class. Theorem 2 supplies one general obstruction. Neither is a characterization.

10.4 Classification is not evaluation

PES contains no criterion of institutional quality.

A system may reproduce one institutional class with extraordinary reliability while being unable to respond appropriately to changing external conditions. Conversely, a system with several possible long-run institutional classes may be highly adaptive.

Evaluation therefore requires additional objects such as an external state ω and benchmark-relative loss

L(C,ω).

Those belong to a separate theory of corrective capacity.

10.5 Open problems

The framework leaves several direct research questions.

A first is characterization: identify primitive necessary-and-sufficient conditions for PES in important classes of dynamic games.

A second is solution-concept robustness: determine when PES survives across a pre-specified class of defensible equilibrium concepts.

A third is approximation: define near-singularity without erasing the conceptual distinction between high concentration and exact support singletonity.

A fourth concerns continuous and infinite state spaces, where appropriate essential-support operators and regularity assumptions require further development.

A fifth is empirical identification: determine which combinations of structural modeling, repeated institutional episodes, comparative cases, or exogenous variation permit credible bounds on Ψ∞.

A sixth is semantic irreducibility: when a candidate target has a historical or semantic identity, determine whether the asymmetry selecting it derives from genuinely distinct primitives rather than relabeling of a generic functional architecture.

10.6 Motivating application

The framework was originally motivated by a conjecture concerning national-monotheistic institutional structures.

That conjecture is neither required by nor established by the present theory.

PES remains coherent if every such application fails. Conversely, formal coherence of PES supplies no evidence that a national-monotheistic structure is in fact a PES target.

A separate application would have to specify the candidate institutional class, rivals, game, equilibrium correspondence, domain, institutional quotient, symmetry-breaking structure, and relevant evidence.

The present paper deliberately leaves that conjecture unresolved.

10.7 Conclusion

The central question of the paper is:

When does strategic multiplicity cease to produce long-run institutional multiplicity?.

The Equilibrium Institutional Image supplies the object on which that question can be posed:

Ψ∞𝖤,ι(Γ;𝒟).

Political Equilibrium Singularity is its exact singleton case.

ND-PES shows that equilibrium outcome-law multiplicity can survive below a singular institutional limit. Projected PES shows that a constitutive frame can be singular while complete institutional forms remain plural. Robustness distinguishes structural singletonity from knife-edge singletonity. Uniform contraction supplies one sufficient condition, symmetry supplies an obstruction, and regime separation constrains transitions between robust target regions.

The framework should therefore be understood neither as a new equilibrium-selection phenomenon nor as a theory of desirable political institutions. It is a proposed general formalization for classifying the long-run institutional image of equilibrium correspondences.

Appendix A. Formal Proofs

A.1 Lemma 1 — Diameter Characterization

If

Ψ∞={C⋆},

then

DPES=dℭ(C⋆,C⋆)=0.

Conversely, suppose DPES=0. If distinct C,C′∈Ψ∞ existed, the metric property would imply

dℭ(C,C′)>0,

contradicting zero diameter. Hence Ψ∞ is a singleton. ▫

A.2 Proposition 1 — Domain Monotonicity

If

𝒟1⊆𝒟2,

every term in

⋃σ∈𝖤⋃s0∈𝒟1ι[ℒσ(s0)]

also appears in the corresponding union over 𝒟2. Therefore

Ψ∞(𝒟1)⊆Ψ∞(𝒟2).

A.3 Proposition 2 — Equilibrium-Set Monotonicity

If

𝖤1⊆𝖤2,

the union defining Ψ∞𝖤1 is taken over a subset of the equilibria entering Ψ∞𝖤2. Hence

Ψ∞𝖤1⊆Ψ∞𝖤2.

A.4 Lemma 2 — Fiber Characterization

By definition,

PESK(k⋆)⇔πK[Ψ∞]={k⋆}.

The latter holds exactly when every C∈Ψ∞ satisfies

πK(C)=k⋆,

equivalently

C∈πK−1[{k⋆}].

Hence

PESK(k⋆)⇔Ψ∞⊆ℱK(k⋆).

Corollary 1 follows immediately by applying πK to the singleton image {C⋆}.

A.5 Theorem 1 — Uniform Institutional Contraction

Fix arbitrarily

σ∈𝖤(Γ),s0∈𝒟,

and write

Vt=V(St).

From (33),

𝔼σ[Vt+k]≤ρ𝔼σ[Vt].

Iterating along multiples of k,

𝔼σ[Vnk]≤ρnV(s0).(A1)

For 1≤r<k, (34) gives

𝔼σ[Vnk+r]≤MρnV(s0).(A2)

Thus, for any η>0, Markov’s inequality yields

Prσs0(Vnk+r≥η)≤MrρnV(s0)η,(A3)

where M0=1 and Mr=M otherwise.

The probability series is summable because 0<ρ<1. By the first Borel–Cantelli lemma,

Vnk+r≥η

occurs only finitely often almost surely for every residue class r. Applying the argument to the countable sequence ηm=1/m gives

V(St)→0a.s.(A4)

Choose η<c⋆. Target separation implies

V(St)<c⋆⇒ι(St)=C⋆.

Hence almost surely there exists a finite T such that

ι(St)=C⋆∀t≥T.(A5)

By Eventual-Class Consistency,

ι[ℒΓ,σ(s0)]={C⋆}.

Since σ and s0 were arbitrary,

Ψ∞={C⋆}.

Therefore

PES(C⋆).

The theorem is one-directional; the existence of such a function V is not claimed to be necessary.

A.6 Theorem 2 — Symmetry Obstruction

Let

g∈Aut(Γ,𝒟,ι).

Assume PES at C⋆. For any admitted σ and s0∈𝒟,

ι[ℒΓ,σ(s0)]={C⋆}.

By domain and equilibrium preservation,

gσ∈𝖤(Γ),gSs0∈𝒟.

Long-run and institutional equivariance give

ι[ℒΓ,gσ(gSs0)]=ι[gS[ℒΓ,σ(s0)]].

ι[gS[ℒΓ,σ(s0)]]=gℭ(ι[ℒΓ,σ(s0)])={gC⋆}.

But PES requires the left side to equal

{C⋆}.

Hence

gC⋆=C⋆.

Since g was arbitrary,

C⋆∈Fix[Aut(Γ,𝒟,ι)].

A.7 Proposition 3 — Regime Separation

Distinct robust target regions are pairwise disjoint.

Suppose a continuous path

γ:[0,1]→Θ

joins 𝒰(CA) to 𝒰(CB) with CA≠CB while remaining entirely inside

⋃C𝒰(C).

The image γ([0,1]) is connected. Each 𝒰(C) is both open and closed relative to the union because the robust regions are pairwise disjoint open sets.

A connected subset of the union must therefore lie in one such region, contradicting the fact that its endpoints lie in two distinct regions.

Hence the path intersects

𝒩PES.

A.8 Corollary 2 — Universal Falsifier

If

C′≠C⋆

belongs to

ι[ℒΓ,σ(s0)]

for an admitted equilibrium and admissible initial state, then by definition

C′∈Ψ∞.

Therefore

Ψ∞≠{C⋆},

and PES at C⋆ fails. ▫

Appendix B. Selected Extended Model Constructions

This appendix retains only mechanism constructions that directly illuminate the PES classification problem. Detailed capture-capital, gate-capture, and re-capture models are reserved for companion work.

B.1 Closed-Target Reachability Obstruction

Suppose every state in candidate class C⋆ requires institutional component zj=1, but

zj(s)=0

for every state in

ReachΓadm(𝒟).

Then the target class is unreachable and

C⋆∉Ψ∞.

Therefore PES at C⋆ is impossible.

This is a model-specific reachability obstruction, not a general theory of institutional change.

B.2 Pairwise Victory Does Not Imply PES

Suppose C⋆ defeats every rival whenever a direct institutional contest occurs. If some admissible equilibrium path or basin avoids such contests and remains recurrently in a distinct class CR, then

CR∈Ψ∞.

Hence pairwise superiority does not imply PES.

The missing objects may include reachability, agenda control, timing, or basin structure.

B.3 Coalition Blocking

Suppose institutional change requires q affirmative votes in an n-member gate. A coalition of size at least

n−q+1

can block passage.

If an admitted equilibrium exists in which such a coalition remains intact and sustains a rival class CR≠C⋆, then

CR∈Ψ∞

and PES at C⋆ fails.

Blocking capacity alone is insufficient; the blocking configuration must survive equilibrium analysis.

B.4 Hysteresis

Let

xt∈{0,1}

represent two institutional regimes. Suppose transition from 0 to 1 requires

θ>θU,

while transition from 1 to 0 requires

θ<θL,

with

θL<θU.

For

θL<θ<θU,

both regimes are self-maintaining. If both initial states are admissible and correspond to distinct institutional classes, Global PES fails throughout the hysteresis interval.

This illustrates why a current parameter value can be insufficient to determine the long-run institutional class.

B.5 Stochastic Selection Without PES

Suppose the unperturbed game has recurrent institutional classes

C1,…,Cm,m>1.

A perturbation scheme may produce invariant measures concentrating on C† as noise vanishes. This establishes stochastic selection under that perturbation process.

It does not alter

|Ψ∞|>1

in the unperturbed game.

B.6 Shared Absorption as a Route to ND-PES

Suppose distinct equilibria induce different probability laws over transient regions

T1,…,Tm,

but every admitted equilibrium reaches a recurrent set H with probability one and

ι(H)={C⋆}.

If at least two equilibrium outcome laws are distinct, then

ND-PES(C⋆).

The template generalizes the logic of Example 1.

B.7 Common Fiber as a Route to Projected PES

If, for every equilibrium,

ι[ℒΓ,σ(s0)]⊆ℱK(k⋆)

for every admissible initial state, then

Ψ∞⊆ℱK(k⋆),

and therefore

PESK(k⋆).

The full long-run institutional classes need not coincide.

Appendix C. Standing Assumptions and Notation

C.1 Standing assumptions

SA1 — Nonempty domain

𝒟≠⌀.

SA2 — Equilibrium existence

𝖤(Γ)≠⌀.

SA3 — Long-run well-definedness

ℒΓ,σ(s0)≠⌀

for every admitted equilibrium and admissible initial state.

SA4 — Pre-specified institutional classification

The objects

h,≅I,qI,ι

are fixed before equilibrium outcomes are evaluated and are measurable as required by the stochastic formulation.

SA5 — Essential long-run semantics

The long-run operator excludes transient and probability-zero path artifacts, includes positive-probability long-run alternatives, and satisfies Eventual-Class Consistency.

SA6 — Family comparability

Robustness claims across

Γθ

use a common institutional comparison space or ex ante comparison mappings.

SA7 — State sufficiency

The state contains all history-dependent information relevant to strategic and institutional dynamics.

SA8 — Projection pre-specification

Any projection

πK

is fixed before the equilibrium image is evaluated.

C.2 Canonical notation

Symbol
Meaning
Γ
dynamic political game
P(· | s,a)
transition kernel
E(Γ)
admitted equilibrium correspondence
P_s^σ
induced outcome law
D
admissible initial domain
I
full institutional-configuration space
C
institutional equivalence-class space
ι : S → C
institutional-class map
L_{Γ,σ}(s)
essential long-run support
Ψ∞
Equilibrium Institutional Image
C*
Whole-PES target class
≡O
outcome-law equivalence
πK
institutional projection
k*
projected target
F_K(k*)
target fiber
U(C)
robust PES region
M_{θ,ε}
invariant measures over all relevant perturbed equilibria

Deprecated developmental notation—Q for transitions, 𝔔, Q⋆, 𝔏, ≡I for outcome-law equivalence, dI on the quotient, and Πθ,ε—is not part of the canonical manuscript.

Appendix D. Boundary with Companion Frameworks

PES is a classification framework:

PES=classification of the long-run institutional image.

Mechanism models ask why the image takes a particular form. Gate control, coalition blocking, capture, institutional reproduction, and related variables can alter Γ and thereby affect Ψ∞, but none is definitionally equivalent to PES.

Corrective Capacity is an evaluative and adaptive framework. It requires additional objects such as an external state

ω

and a benchmark-relative loss

L(C,ω).

It asks whether an institution can recognize and correct benchmark-relevant error. PES asks only how many institutional classes survive in the long-run equilibrium image.

Therefore:

PES⇏Corrective Capacity,

Corrective Capacity⇏PES,

and

Capture⇎PES.

National-Monotheism belongs neither to the general definition nor to the mechanism layer of PES by necessity. It remains a candidate future application whose validity would require an independent model and identification exercise.

The governing boundary is:

classification must not be confused with mechanism, and neither may be confused with evaluation.

References

Acemoglu, Daron, Georgy Egorov, and Konstantin Sonin. 2012. “Dynamics and Stability of Constitutions, Coalitions, and Clubs.” American Economic Review 102(4): 1446–1476. DOI.

Ambrus, Attila, and Yuichiro Ishii. 2015. “On Asynchronicity of Moves and Coordination.” Economic Research Initiatives at Duke Working Paper No. 185.

Duggan, John, and Tasos Kalandrakis. 2012. “Dynamic Legislative Policy Making.” Journal of Economic Theory 147(5): 1653–1688. DOI.

Greif, Avner, and David D. Laitin. 2004. “A Theory of Endogenous Institutional Change.” American Political Science Review 98(4): 633–652. DOI.

Kandori, Michihiro, George J. Mailath, and Rafael Rob. 1993. “Learning, Mutation, and Long Run Equilibria in Games.” Econometrica 61(1): 29–56. DOI.

Lagunoff, Roger D., and Akihiko Matsui. 1997. “Asynchronous Choice in Repeated Coordination Games.” Econometrica 65(6): 1467–1477. DOI.

Lagunoff, Roger D., and Akihiko Matsui. 2001. “Are ‘Anti-Folk Theorems’ in Repeated Games Nongeneric?” Review of Economic Design 6: 397–412. DOI.

Lee, Jihong, and Hamid Sabourian. 2011. “Efficient Repeated Implementation.” Econometrica 79(6): 1967–1994. DOI.

Mookherjee, Dilip, and Stefan Reichelstein. 1990. “Implementation via Augmented Revelation Mechanisms.” Review of Economic Studies 57(3): 453–475. DOI.

Young, H. Peyton. 1993. “The Evolution of Conventions.” Econometrica 61(1): 57–84. DOI.

Related Source and Reference Pages


This article belongs to the public essay layer of RATIUM.AI. For readers who want to move from this article into the broader source, technical, and orientation layers of the project, the following pages provide the relevant entry points.


Articles

The articles page gathers the public essay layer of RATIUM.AI, including arguments on stable AI governance, decision-control architecture, visible governance versus real authority, universal reason, technical competence, purpose governance, and the doctoral-scale framing of CEP.


Foundational Source Dossier

The foundational source dossier presents the deeper intellectual corpus behind CEP, LoopGuard-AI, and the broader RATIUM.AI research structure.


Technical & Reference Dossiers

The technical and reference dossier page collects architecture, visual explanation, methodological context, FAQ material, and technical source pages related to LoopGuard-AI and CEP.


RATIUM.AI / LoopGuard-AI / CEP FAQ

The RATIUM.AI / LoopGuard-AI / CEP FAQ provides a structured orientation to the main concepts behind RATIUM.AI, CEP, and LoopGuard-AI, helping readers navigate the framework through clear questions, definitions, and internal conceptual links.

RATIUM.AI — LoopGuard-AI governance architecture and Central Equilibrium Problem research by Benny Dunavich, focused on AI governance, cognitive duality, Pareto efficiency, decision-control systems, auditability, evaluation architecture, and stable governance layers for AI systems.

bottom of page