-
Nash equilibria in semidefinite games and Lemke-Howson paths
Authors:
Constantin Ickstadt,
Thorsten Theobald,
Elias Tsigaridas,
Antonios Varvitsiotis
Abstract:
We consider an algorithmic framework for two-player non-zero-sum semidefinite games, where each player's strategy is a positive semidefinite matrix with trace one. We formulate the computation of Nash equilibria in such games as semidefinite complementarity problems and develop symbolic-numeric techniques to trace generalized Lemke-Howson paths. These paths generalize the piecewise affine-linear t…
▽ More
We consider an algorithmic framework for two-player non-zero-sum semidefinite games, where each player's strategy is a positive semidefinite matrix with trace one. We formulate the computation of Nash equilibria in such games as semidefinite complementarity problems and develop symbolic-numeric techniques to trace generalized Lemke-Howson paths. These paths generalize the piecewise affine-linear trajectories of the classical Lemke-Howson algorithm for bimatrix games, replacing them with nonlinear curve branches governed by eigenvalue complementarity conditions.
A key feature of our framework is the introduction of event points, which correspond to curve singularities. We analyze the local behavior near these points using Puiseux series expansions. We prove the smoothness of the curve branches under suitable non-degeneracy conditions and establish connections between our approach and both the classical combinatorial and homotopy-theoretic interpretations of the Lemke-Howson algorithm.
△ Less
Submitted 13 June, 2025;
originally announced June 2025.
-
A Stable-Set Bound and Maximal Numbers of Nash Equilibria in Bimatrix Games
Authors:
Constantin Ickstadt,
Thorsten Theobald,
Bernhard von Stengel
Abstract:
Quint and Shubik (1997) conjectured that a non-degenerate n-by-n game has at most 2^n-1 Nash equilibria in mixed strategies. The conjecture is true for n at most 4 but false for n=6 or larger. We answer it positively for the remaining case n=5, which had been open since 1999. The problem can be translated to a combinatorial question about the vertices of a pair of simple n-polytopes with 2n facets…
▽ More
Quint and Shubik (1997) conjectured that a non-degenerate n-by-n game has at most 2^n-1 Nash equilibria in mixed strategies. The conjecture is true for n at most 4 but false for n=6 or larger. We answer it positively for the remaining case n=5, which had been open since 1999. The problem can be translated to a combinatorial question about the vertices of a pair of simple n-polytopes with 2n facets. We introduce a novel obstruction based on the index of an equilibrium, which states that equilibrium vertices belong to two equal-sized disjoint stable sets of the graph of the polytope. This bound is verified directly using the known classification of the 159,375 combinatorial types of dual neighborly polytopes in dimension 5 with 10 facets. Non-neighborly polytopes are analyzed with additional combinatorial techniques where the bound is used for their disjoint facets.
△ Less
Submitted 25 November, 2024; v1 submitted 19 November, 2024;
originally announced November 2024.
-
Semidefinite network games: multiplayer minimax and semidefinite complementarity problems
Authors:
Constantin Ickstadt,
Thorsten Theobald,
Elias Tsigaridas,
Antonios Varvitsiotis
Abstract:
Network games are an important class of games that model agent interactions in networked systems, where players are situated at the nodes of a graph and their payoffs depend on the actions taken by their neighbors. We extend the classical framework by considering a game model where the strategies are positive semidefinite matrices having trace one. These (continuous) games can serve as a simple mo…
▽ More
Network games are an important class of games that model agent interactions in networked systems, where players are situated at the nodes of a graph and their payoffs depend on the actions taken by their neighbors. We extend the classical framework by considering a game model where the strategies are positive semidefinite matrices having trace one. These (continuous) games can serve as a simple model of quantum strategic interactions. We focus on the zero-sum case, where the sum of all players' payoffs is equal to zero. We establish that in this class of games, Nash equilibria can be characterized as the projection of a spectrahedron, that is, the feasible region of a semidefinite program. Furthermore, we demonstrate that determining whether a game is a semidefinite network game is equivalent to deciding if the value of a semidefinite program is zero. Beyond the zero-sum case, we characterize Nash equilibria as the solutions of a semidefinite linear complementarity problem.
△ Less
Submitted 31 October, 2023;
originally announced October 2023.
-
Semidefinite games
Authors:
Constantin Ickstadt,
Thorsten Theobald,
Elias Tsigaridas
Abstract:
We introduce and study the class of semidefinite games, which generalizes bimatrix games and finite $N$-person games, by replacing the simplex of the mixed strategies for each player by a slice of the positive semidefinite cone in the space of real symmetric matrices.
For semidefinite two-player zero-sum games, we show that the optimal strategies can be computed by semidefinite programming. Furt…
▽ More
We introduce and study the class of semidefinite games, which generalizes bimatrix games and finite $N$-person games, by replacing the simplex of the mixed strategies for each player by a slice of the positive semidefinite cone in the space of real symmetric matrices.
For semidefinite two-player zero-sum games, we show that the optimal strategies can be computed by semidefinite programming. Furthermore, we show that two-player semidefinite zero-sum games are almost equivalent to semidefinite programming, generalizing Dantzig's result on the almost equivalence of bimatrix games and linear programming.
For general two-player semidefinite games, we prove a spectrahedral characterization of the Nash equilibria. Moreover, we give constructions of semidefinite games with many Nash equilibria. In particular, we give a construction of semidefinite games whose number of connected components of Nash equilibria exceeds the long standing best known construction for many Nash equilibria in bimatrix games, which was presented by von Stengel in 1999.
△ Less
Submitted 19 May, 2024; v1 submitted 24 February, 2022;
originally announced February 2022.
-
Block-sparse Recovery of Semidefinite Systems and Generalized Null Space Conditions
Authors:
Janin Heuer,
Frederic Matter,
Marc E. Pfetsch,
Thorsten Theobald
Abstract:
This article considers the recovery of low-rank matrices via a convex nuclear-norm minimization problem and presents two null space properties (NSP) which characterize uniform recovery for the case of block-diagonal matrices and block-diagonal positive semidefinite matrices. These null-space conditions turn out to be special cases of a new general setup, which allows to derive the mentioned NSPs a…
▽ More
This article considers the recovery of low-rank matrices via a convex nuclear-norm minimization problem and presents two null space properties (NSP) which characterize uniform recovery for the case of block-diagonal matrices and block-diagonal positive semidefinite matrices. These null-space conditions turn out to be special cases of a new general setup, which allows to derive the mentioned NSPs and well-known NSPs from the literature. We discuss the relative strength of these conditions and also present a deterministic class of matrices that satisfies the block-diagonal semidefinite NSP.
△ Less
Submitted 26 June, 2020; v1 submitted 22 July, 2019;
originally announced July 2019.
-
Determining a rotation of a tetrahedron from a projection
Authors:
Richard J. Gardner,
Paolo Gronchi,
Thorsten Theobald
Abstract:
The following problem, arising from medical imaging, is addressed: Suppose that $T$ is a known tetrahedron in $\R^3$ with centroid at the origin. Also known is the orthogonal projection $U$ of the vertices of the image $φT$ of $T$ under an unknown rotation $φ$ about the origin. Under what circumstances can $φ$ be determined from $T$ and $U$?
The following problem, arising from medical imaging, is addressed: Suppose that $T$ is a known tetrahedron in $\R^3$ with centroid at the origin. Also known is the orthogonal projection $U$ of the vertices of the image $φT$ of $T$ under an unknown rotation $φ$ about the origin. Under what circumstances can $φ$ be determined from $T$ and $U$?
△ Less
Submitted 9 July, 2012; v1 submitted 30 November, 2011;
originally announced November 2011.
-
Enumerating the Nash equilibria of rank 1-games
Authors:
Thorsten Theobald
Abstract:
A bimatrix game $(A,B)$ is called a game of rank $k$ if the rank of the matrix $A+B$ is at most $k$. We consider the problem of enumerating the Nash equilibria in (non-degenerate) games of rank 1. In particular, we show that even for games of rank 1 not all equilibria can be reached by a Lemke-Howson path and present a parametric simplex-type algorithm for enumerating all Nash equilibria of a no…
▽ More
A bimatrix game $(A,B)$ is called a game of rank $k$ if the rank of the matrix $A+B$ is at most $k$. We consider the problem of enumerating the Nash equilibria in (non-degenerate) games of rank 1. In particular, we show that even for games of rank 1 not all equilibria can be reached by a Lemke-Howson path and present a parametric simplex-type algorithm for enumerating all Nash equilibria of a non-degenerate game of rank 1.
△ Less
Submitted 9 September, 2007;
originally announced September 2007.
-
Games of fixed rank: A hierarchy of bimatrix games
Authors:
Ravi Kannan,
Thorsten Theobald
Abstract:
We propose a new hierarchical approach to understand the complexity of the open problem of computing a Nash equilibrium in a bimatrix game. Specifically, we investigate a hierarchy of bimatrix games $(A,B)$ which results from restricting the rank of the matrix $A+B$ to be of fixed rank at most $k$. For every fixed $k$, this class strictly generalizes the class of zero-sum games, but is a very sp…
▽ More
We propose a new hierarchical approach to understand the complexity of the open problem of computing a Nash equilibrium in a bimatrix game. Specifically, we investigate a hierarchy of bimatrix games $(A,B)$ which results from restricting the rank of the matrix $A+B$ to be of fixed rank at most $k$. For every fixed $k$, this class strictly generalizes the class of zero-sum games, but is a very special case of general bimatrix games. We show that even for $k=1$ the set of Nash equilibria of these games can consist of an arbitrarily large number of connected components. While the question of exact polynomial time algorithms to find a Nash equilibrium remains open for games of fixed rank, we can provide polynomial time algorithms for finding an $ε$-approximation.
△ Less
Submitted 4 November, 2005;
originally announced November 2005.
-
Algebraic methods for computing smallest enclosing and circumscribing cylinders of simplices
Authors:
R. Brandenberg,
T. Theobald
Abstract:
We provide an algebraic framework to compute smallest enclosing and smallest circumscribing cylinders of simplices in Euclidean space $\E^n$. Explicitly, the computation of a smallest enclosing cylinder in $\mathbb{E}^3$ is reduced to the computation of a smallest circumscribing cylinder. We improve existing polynomial formulations to compute the locally extreme circumscribing cylinders in…
▽ More
We provide an algebraic framework to compute smallest enclosing and smallest circumscribing cylinders of simplices in Euclidean space $\E^n$. Explicitly, the computation of a smallest enclosing cylinder in $\mathbb{E}^3$ is reduced to the computation of a smallest circumscribing cylinder. We improve existing polynomial formulations to compute the locally extreme circumscribing cylinders in $\E^3$ and exhibit subclasses of simplices where the algebraic degrees can be further reduced. Moreover, we generalize these efficient formulations to the $n$-dimensional case and provide bounds on the number of local extrema. Using elementary invariant theory, we prove structural results on the direction vectors of any locally extreme circumscribing cylinder for regular simplices.
△ Less
Submitted 21 November, 2002;
originally announced November 2002.
-
Common transversals and tangents to two lines and two quadrics in P^3
Authors:
Gábor Megyesi,
Frank Sottile,
Thorsten Theobald
Abstract:
We solve the following geometric problem, which arises in several three-dimensional applications in computational geometry: For which arrangements of two lines and two spheres in R^3 are there infinitely many lines simultaneously transversal to the two lines and tangent to the two spheres?
We also treat a generalization of this problem to projective quadrics: Replacing the spheres in R^3 by qu…
▽ More
We solve the following geometric problem, which arises in several three-dimensional applications in computational geometry: For which arrangements of two lines and two spheres in R^3 are there infinitely many lines simultaneously transversal to the two lines and tangent to the two spheres?
We also treat a generalization of this problem to projective quadrics: Replacing the spheres in R^3 by quadrics in projective space P^3, and fixing the lines and one general quadric, we give the following complete geometric description of the set of (second) quadrics for which the 2 lines and 2 quadrics have infinitely many transversals and tangents: In the nine-dimensional projective space P^9 of quadrics, this is a curve of degree 24 consisting of 12 plane conics, a remarkably reducible variety.
△ Less
Submitted 5 June, 2002;
originally announced June 2002.
