pith. sign in

arxiv: 2507.03753 · v2 · pith:MSDO5LS5new · submitted 2025-07-04 · 🧮 math.AT · math.OC

Topology of the Generalized Nash Equilibrium Problem

Matija Blagojevi\'c , Christof Sch\"utte This is my paper

Pith reviewed 2026-05-19 07:02 UTC · model grok-4.3

classification 🧮 math.AT math.OC
keywords Nash equilibriumabstract economygeneralized Nash equilibrium problemalgebraic topologycoincidence theoremEilenberg-Montgomery theoremexistence resultwithout convexity
0
0 comments X

The pith

Nash equilibria exist in abstract economies under topological conditions alone, without convexity assumptions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes existence of Nash equilibria in abstract economies by reducing the problem to the existence of a coincidence between two maps built from payoff and constraint correspondences. This reduction permits direct application of the Eilenberg-Montgomery coincidence theorem from algebraic topology. The approach generalizes Tesfatsion's earlier result and recovers all prior existence theorems as special cases. It matters because abstract economies capture mutual constraints among players, a feature common in economic modeling and optimization, and the removal of convexity opens the door to more realistic non-convex choice sets.

Core claim

By translating the Generalized Nash Equilibrium Problem into the question of whether two specifically defined maps have a coincidence point, the Eilenberg-Montgomery theorem implies that a Nash equilibrium exists whenever the abstract economy satisfies the required continuity and compactness conditions.

What carries the argument

The coincidence of two maps constructed from the players' payoff and constraint correspondences, to which the Eilenberg-Montgomery theorem is applied.

If this is right

  • All previously known Nash equilibrium existence results become special cases under the new hypotheses.
  • Abstract economies that lack convexity but satisfy the topological conditions are now guaranteed to have equilibria.
  • The method extends equilibrium analysis to welfare economics, constrained optimization, and optimal allocation without convexity requirements.
  • Examples of abstract economies exist that satisfy the new assumptions but violate those of classical convexity-based theorems.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • This framework could support models of economies with indivisible goods or other non-convex constraints that arise in practice.
  • Topological methods might be adapted to compute equilibria in generalized games rather than relying solely on fixed-point arguments.
  • Similar reductions to coincidence problems may apply to other equilibrium notions in game theory and optimization.

Load-bearing premise

The abstract economies must satisfy the continuity, compactness, and space properties needed for the Eilenberg-Montgomery coincidence theorem to apply to the two maps.

What would settle it

An abstract economy that meets all the stated continuity and compactness conditions yet possesses no Nash equilibrium would falsify the claim.

read the original abstract

The Generalized Nash Equilibrium Problem refers to the question of the existence of a Nash equilibrium in an abstract economy. This model is due to Kenneth J. Arrow and Gerard Debreu in their pioneering work from 1954. An abstract economy is an extension of John Nash's original concept of a non-cooperative game from the 1950's. Here players selfishly seek to maximize their profits, which may depend on the others' choices. The novelty of an abstract economy is that the players may now mutually constrain each-other in their decision-making. A Nash equilibrium is reached when no player alone can increase his profit by a unilateral change of strategy. Abstract economies have found widespread applications from welfare economy, economic analysis and policy-making to constrained optimization, partial differential equations and optimal allocation. We generalize Leigh Tesfatsion's Nash equilibrium existence result to abstract economies without resorting to commonly employed convexity assumptions, thereby also re-proving all known Nash equilibrium existence results as special cases. A key element of our proof is the translation of the Generalized Nash Equilibrium Problem into the question of the existence of a coincidence of two particularly defined maps, and the application of a coincidence result from algebraic topology due to Samuel Eilenberg and Deane Montgomery in 1946.Additionally, we provide examples of abstract economies which satisfy the assumptions of our main result, but due to lacking convexity assumptions, do not satisfy the assumptions of other classical results.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper claims to generalize Leigh Tesfatsion's Nash equilibrium existence result to abstract economies (Arrow-Debreu model) without convexity assumptions on strategy sets or payoff functions. It reduces the generalized Nash equilibrium problem to the existence of a coincidence point between two maps constructed from the players' payoff and constraint correspondences, then applies the Eilenberg-Montgomery 1946 coincidence theorem. The result is asserted to recover all known Nash existence theorems as special cases and is illustrated by examples of abstract economies that satisfy the paper's topological hypotheses but violate convexity conditions required by prior results.

Significance. If the central reduction and verification of the Eilenberg-Montgomery hypotheses hold, the work would supply a convexity-free existence theorem for generalized Nash equilibria, broadening the scope of topological methods in game theory and constrained optimization. The approach of translating the problem into a coincidence question and re-proving classical results as corollaries is a clear strength, as is the provision of concrete examples separating the new hypotheses from convexity.

major comments (2)
  1. [§3] §3 (Construction of the maps): The reduction of GNEP existence to a coincidence point is outlined, but the verification that the two maps (built from payoff and constraint correspondences) have acyclic values in the Čech sense is not carried out explicitly under the stated non-convexity assumptions. The Eilenberg-Montgomery theorem requires this acyclicity on compact ANRs together with upper semi-continuity; without a detailed check that the particular map definitions preserve acyclicity solely from the topological hypotheses, the applicability of the 1946 theorem remains unconfirmed.
  2. [§4] §4 (Examples): The examples are presented as satisfying the paper's assumptions while failing convexity, yet the manuscript does not include an explicit computation showing that the constructed maps are upper semi-continuous and have acyclic values on the relevant compact sets. This leaves the separation from classical results (e.g., those relying on convex-valued correspondences) incompletely substantiated.
minor comments (2)
  1. The notation for the two maps (e.g., the precise domains and codomains) should be introduced with a single consistent diagram or table to aid readability.
  2. A reference to the original statement of the Eilenberg-Montgomery theorem (1946) should be added alongside the citation to clarify the exact hypotheses invoked.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We appreciate the recognition of the potential significance of our convexity-free topological approach to generalized Nash equilibria. We address each major comment below and will revise the manuscript to provide the requested explicit verifications.

read point-by-point responses

  1. Referee: §3 (Construction of the maps): The reduction of GNEP existence to a coincidence point is outlined, but the verification that the two maps (built from payoff and constraint correspondences) have acyclic values in the Čech sense is not carried out explicitly under the stated non-convexity assumptions. The Eilenberg-Montgomery theorem requires this acyclicity on compact ANRs together with upper semi-continuity; without a detailed check that the particular map definitions preserve acyclicity solely from the topological hypotheses, the applicability of the 1946 theorem remains unconfirmed.

    Authors: We thank the referee for this observation. The construction in §3 defines the maps from the payoff and constraint correspondences such that their values inherit acyclicity from the compact ANR structure of the strategy sets and the upper semi-continuity assumptions on the correspondences; the definitions are chosen precisely so that the images are Čech-acyclic without requiring convexity. Nevertheless, we acknowledge that an explicit verification step is only sketched rather than presented as a standalone lemma. In the revised manuscript we will add a detailed lemma that directly checks upper semi-continuity and Čech acyclicity for these specific maps under the paper’s topological hypotheses alone. revision: yes

  2. Referee: §4 (Examples): The examples are presented as satisfying the paper's assumptions while failing convexity, yet the manuscript does not include an explicit computation showing that the constructed maps are upper semi-continuous and have acyclic values on the relevant compact sets. This leaves the separation from classical results (e.g., those relying on convex-valued correspondences) incompletely substantiated.

    Authors: We agree that the examples would be strengthened by explicit verification. The examples were selected so that the strategy sets are non-convex compact ANRs and the induced maps remain upper semi-continuous with acyclic values, thereby satisfying our hypotheses while violating convexity requirements of earlier theorems. In the revision we will insert explicit computations for each example, confirming upper semi-continuity and Čech acyclicity on the relevant compact sets. This will make the separation from convexity-based results fully transparent. revision: yes

Circularity Check

0 steps flagged

No significant circularity; relies on external 1946 theorem

full rationale

The paper translates the GNEP into a coincidence question for two maps built from payoff and constraint correspondences, then applies the independent Eilenberg-Montgomery coincidence theorem (1946). This theorem is external with no author overlap and is invoked under explicitly stated topological hypotheses (continuity, compactness, ANR properties). No self-definitional steps appear, no fitted parameters are relabeled as predictions, and no load-bearing self-citation chain reduces the existence claim to prior work by the same authors. Known results are recovered as special cases of the generalization without circular reduction. The derivation is self-contained against the external theorem and standard game-theoretic definitions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the applicability of the 1946 Eilenberg-Montgomery theorem once the GNEP is recast as a coincidence problem. No free parameters or new entities are introduced; the work relies on standard topological and game-theoretic background assumptions.

axioms (1)
  • domain assumption The two maps constructed from the abstract economy satisfy the continuity and compactness conditions required by the Eilenberg-Montgomery coincidence theorem.
    This is the load-bearing premise that allows the 1946 result to conclude existence; it is invoked when the GNEP is translated into the coincidence question.

pith-pipeline@v0.9.0 · 5783 in / 1495 out tokens · 45723 ms · 2026-05-19T07:02:28.609341+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    A key element of our proof is the translation of the Generalized Nash Equilibrium Problem into the question of the existence of a coincidence of two particularly defined maps, and the application of a coincidence result from algebraic topology due to Samuel Eilenberg and Deane Montgomery in 1946.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages

  1. [1]

    Arrow and Gerard Debreu, Existence of an equilibrium for a competitive economy , Econometrica 22 (1954), no

    Kenneth J. Arrow and Gerard Debreu, Existence of an equilibrium for a competitive economy , Econometrica 22 (1954), no. 3, 265–290

    work page 1954

  2. [2]

    Jean-Pierre Aubin and H ´el`ene Frankowska, Set-Valued Analysis, Birkh¨auser, 2009

    work page 2009

  3. [3]

    Begle, A fixed point theorem, Ann

    Edward G. Begle, A fixed point theorem, Ann. of Math. (2) 51 (1950), 544–550. TOPOLOGY OF THE GENERALIZED NASH EQUILIBRIUM PROBLEM 13

    work page 1950

  4. [4]

    Claude Berge, Topological spaces, Dover Publications, Inc., Mineola, NY, 1997, Including a treatment of multi- valued functions, vector spaces and convexity , Translated from the French original by E. M. Patterson, Reprint of the 1963 translation

    work page 1997

  5. [5]

    Matija Blagojevi ´c, The Nash Equilibrium Problem: Beyond Convexity , Master’s thesis, Freie Universit¨at Berlin, Berlin, Germany , September 2024, 42pp

    work page 2024

  6. [6]

    Tom 44, Pa´nstwowe Wydawnictwo Naukowe, Warsaw, 1967

    Karol Borsuk, Theory of retracts, Monografie Matematyczne, vol. Tom 44, Pa´nstwowe Wydawnictwo Naukowe, Warsaw, 1967

    work page 1967

  7. [7]

    Bengio, D

    Michael Br ¨uckner and Tobias Scheffer,Nash equilibria of static prediction games, Advances in Neural Information Processing Systems (Y. Bengio, D. Schuurmans, J. Lafferty , C. Williams, and A. Culotta, eds.), vol. 22, Curran Associates, Inc., 2009

    work page 2009

  8. [8]

    Samuel Eilenberg and Deane Montgomery ,Fixed point theorems for multi-valued transformations, Amer. J. Math. 68 (1946), 214–222

    work page 1946

  9. [9]

    Facchinei and C

    F. Facchinei and C. Kanzow, Generalized Nash Equilibrium Problems, Springer-Verlag (2007)

    work page 2007

  10. [10]

    Deborah Gahururu, Michael Hinterm ¨uller, Steven-Marian Stengl, and Thomas M. Surowiec, Generalized Nash equilibrium problems with partial differential operators: theory, algorithms, and risk aversion , Non-smooth and complementarity-based distributed parameter systems—simulation and hierarchical optimization, Internat. Ser. Numer. Math., vol. 172, Birkh¨...

    work page 2022

  11. [11]

    Gahururu, Michael Hinterm¨uller, and Thomas M

    Deborah B. Gahururu, Michael Hinterm¨uller, and Thomas M. Surowiec,Risk-neutral PDE-constrained generalized Nash equilibrium problems, Math. Program. 198 (2023), no. 2, 1287–1337

    work page 2023

  12. [12]

    Lech G ´orniewicz and Andrzej Granas, Fixed point theorems for multi-valued mappings of the absolute neighbour- hood retracts, J. Math. Pures Appl. (9) 49 (1970), 381–395

    work page 1970

  13. [13]

    Andrzej Granas and James Dugundji, Fixed point theory, Springer Monographs in Mathematics, Springer-Verlag, New York, 2003

    work page 2003

  14. [14]

    Veronika Grimm, Michael Hinterm ¨uller, Olivier Huber, Lars Schewe, Martin Schmidt, and Gregor Z ¨ottl, A PDE-Constrained Generalized Nash Equilibrium Approach for Modeling Gas Markets with Transport , preprint on https://optimization-online.org

    work page

  15. [15]

    Harker, Generalized nash games and quasi-variational inequalities, 54 (1989), 81–94

    Patrick T. Harker, Generalized nash games and quasi-variational inequalities, 54 (1989), 81–94

    work page 1989

  16. [16]

    Hinterm ¨uller, T

    M. Hinterm ¨uller, T. Surowiec, and K ¨ammler, Generalized nash equilibrium problems in banach spaces: Theory, nikaido-isoda-based path-following methods and applications, Siam J. Optim (2015)

    work page 2015

  17. [17]

    Surowiec, A PDE-constrained generalized Nash equilibrium problem with pointwise control and state constraints, Pac

    Michael Hinterm ¨uller and Thomas M. Surowiec, A PDE-constrained generalized Nash equilibrium problem with pointwise control and state constraints, Pac. J. Optim. 9 (2013), no. 2, 251–273

    work page 2013

  18. [18]

    Sze-Tsen Hu, Theory of retracts, Wayne State University Press, Detroit, MI, 1965

    work page 1965

  19. [19]

    Nikaido Hukukane and Kazuo Isoda, Note on non-cooperative convex game, Pac. J. Math. 5 (1955), no. 5, 807– 815

    work page 1955

  20. [20]

    Tatsuro Ichiishi, Game theory for economic analysis, Academic Press, 1983

    work page 1983

  21. [21]

    Kouri, Mathias Staudigl, and Thomas M

    Drew P. Kouri, Mathias Staudigl, and Thomas M. Surowiec, A relaxation-based probabilitistic approach for PDE- constrained optimization under uncertainty with pointwise state constraints, 855 (2023), 1–16

    work page 2023

  22. [22]

    Sibe Mardeˇsi´c, Absolute neighborhood retracts and shape theory, History of topology , North-Holland, Amsterdam, 1999, pp. 241–269

    work page 1999

  23. [23]

    McKenzie, On the existence of general equilibrium for a competitive market , The Econometric Society (1959), 54–71

    Lionel W. McKenzie, On the existence of general equilibrium for a competitive market , The Econometric Society (1959), 54–71

    work page 1959

  24. [24]

    Munkres, Topology, second ed., Prentice Hall, Inc., Upper Saddle River, NJ, 2000

    James R. Munkres, Topology, second ed., Prentice Hall, Inc., Upper Saddle River, NJ, 2000

    work page 2000

  25. [25]

    Nash, Jr., Non-cooperative games, Ann

    John F. Nash, Jr., Non-cooperative games, Ann. of Math. (2) 54 (1951), 286–295

    work page 1951

  26. [26]

    Palais, Homotopy theory of infinite dimensional manifolds, Topology 5 (1966), 1–16

    Richard S. Palais, Homotopy theory of infinite dimensional manifolds, Topology 5 (1966), 1–16

    work page 1966

  27. [27]

    Barbara Panicucci and Mauro Passacantando, A game theoretic formulation of the service provisioning problem in cloud systems., 01 2011, pp. 177–186

    work page 2011

  28. [28]

    Powers, Multi-valued mappings and Lefschetz fixed point theorems , Proc

    Michael J. Powers, Multi-valued mappings and Lefschetz fixed point theorems , Proc. Cambridge Philos. Soc. 68 (1970), 619–630

    work page 1970

  29. [29]

    Math.42 (1972), 211–220

    , Lefschetz fixed point theorems for a new class of multi-valued maps, Pacific J. Math.42 (1972), 211–220

    work page 1972

  30. [30]

    Reed, Foundations of Vietoris homology theory with applications to noncompact spaces , Dissertationes Math

    Robert E. Reed, Foundations of Vietoris homology theory with applications to noncompact spaces , Dissertationes Math. (Rozprawy Mat.) 180 (1980), 1–47

    work page 1980

  31. [31]

    Steven-Marian Stengl, Path-following methods for generalized nash equilibrium problems, 2021

    work page 2021

  32. [32]

    Leigh Tesfatsion, Pure strategy Nash equilibrium points and the Lefschetz fixed point theorem , Internat. J. Game Theory 12 (1983), no. 3, 181–191

    work page 1983

  33. [33]

    Leopold Vietoris, ¨Uber den h¨oheren Zusammenhang kompakter R¨aume und eine Klasse von zusammenhangstreuen Abbildungen, Math. Ann. 97 (1927), no. 1, 454–472. Email address: matib03@zedat.fu-berlin.de FREIE UNIVERSIT ¨AT, 14195 B ERLIN , GERMANY Email address: schuette@zib.de ZUSE INSTITUT , 14195 B ERLIN , GERMANY

    work page 1927