On the equivalence between the minimax theorem and strong duality of conic linear programming (2302.03066v4)

Abstract: We prove the almost equivalence between two-player zero-sum games and conic linear programming problems in reflexive Banach spaces. The previous fundamental results of von Neumann, Dantzig, Adler, and von Stengel on the equivalence between linear programming and finite games with strategy sets defined over $\mathbb{R}^n$, are therefore extended to more general strategy spaces. More specifically, we show that for every two-player zero-sum game with a bilinear payoff function of the form $u(x,y)=\langle y,Ax\rangle$, for some linear operator $A$, and strategy sets that represent bases of convex cones, the minimax theorem holds, and its game value and Nash equilibria can be computed by solving a primal-dual pair of conic linear problems. Conversely, the minimax theorem for the same class of games "almost always" implies strong duality of conic linear programming. The main results are applied to a number of infinite zero-sum games, whose classes include those of semi-infinite, semidefinite, time-continuous, quantum, polynomial, and homogeneous separable games.