Abstract:The equivalence between von Neumann's Minimax Theorem for zero-sum games and the LP Duality Theorem connects cornerstone problems of the two fields of game theory and optimization, respectively, and has been the subject of intense scrutiny for seven decades. Yet, as observed in this paper, the proof of the difficult direction of this equivalence is unsatisfactory: It does not assign distinct roles to the two players of the game, as is natural from the definition of a zero-sum game. In retrospect, a partial resolution to this predicament was provided in another brilliant paper of von Neumann (1953), which reduced the assignment problem to zero-sum games. However, the underlying LP is highly specialized; all entries of its objective function vector are strictly positive and all entries of the constraint matrix and right hand side vector are equal to one. We generalize von Neumann's result along two directions, each allowing negative entries in certain parts of the LP. Our reductions make explicit the roles of the two players of the reduced game, namely their maximin strategies are to play optimal solutions to the primal and dual LPs. Furthermore, unlike previous reductions, the value of the reduced game reveals the value of the given LP. Our generalizations encompass several basic economic scenarios. We end by discussing evidence that von Neumann possessed an understanding of the notion of polynomial-time solvability.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to improve the proof of the equivalence between von Neumann's Minimax Theorem and the LP Duality Theorem. Specifically, the current proof has deficiencies when reducing the linear programming problem to a zero - sum game: it does not assign clear roles to the two players in the zero - sum game, which is inconsistent with the definition of zero - sum games. ### Main problems: 1. **Unclear role assignment**: The existing reduction method fails to assign clear roles to the two players in the zero - sum game. 2. **Limited scope of application**: Although von Neumann's early work partially solved this problem, his linear programming model was highly specialized and could not handle a wider range of situations, especially when the linear programming contains negative terms. ### Main contributions of the paper: 1. **Extending von Neumann's results**: The paper extends von Neumann's reduction method in two ways, allowing certain parts of the linear programming to contain negative terms. - First extension: When the constraint matrix \( A \) is arbitrary, but \( b \) and \( c \) are strictly positive. - Second extension: When \( b \) and \( c \) are arbitrary, but \( A \) is non - negative. 2. **Defining player roles clearly**: The new reduction method clearly defines the roles of the two players in the zero - sum game, that is, their max - min strategies are the optimal solutions of the original linear programming and the dual linear programming respectively. 3. **Revealing the meaning of the game value**: Different from previous reductions, the new method makes the value of the reduced game directly reflect the value of the given linear programming. 4. **Covering more application scenarios**: These extensions cover more basic economic scenarios, beyond the initial assignment problem, including resource allocation, transportation problems, etc. ### Formula representation: - The forms of linear programming (P) and its dual (D) are as follows: \[ (P): \max c^\top x \quad \text{s.t.} \quad Ax \leq b, \quad x \geq 0 \] \[ (D): \min b^\top y \quad \text{s.t.} \quad A^\top y \geq c, \quad y \geq 0 \] - The reduced zero - sum game matrix \( M \) is defined as: \[ M = BAC \in \mathbb{R}^{m \times n} \] where \( B \) and \( C \) are diagonal matrices, consisting of the reciprocals of \( b \) and \( c \) respectively: \[ B = \begin{pmatrix} \frac{1}{b_1} & & \\ & \ddots & \\ & & \frac{1}{b_m} \] \[ C = \begin{pmatrix} \frac{1}{c_1} & & \\ & \ddots & \\ & & \frac{1}{c_n} \end{pmatrix} \] ### Summary: This paper, by improving von Neumann's reduction method, not only solves the role - assignment problem in the existing proof, but also extends its scope of application, enabling it to handle a wider range of linear programming problems and revealing the relationship between the value of the reduced zero - sum game and the value of the original linear programming.

A Generalization of von Neumann's Reduction from the Assignment Problem to Zero-Sum Games

Zero-Sum Games and Linear Programming Duality

A Note on Gale, Kuhn, and Tucker's Reductions of Zero-Sum Games

On the equivalence between the minimax theorem and strong duality of conic linear programming

Simple Strategies for Large Zero-Sum Games with Applications to Complexity Theory

Two-Person adversarial games are zero-sum: A resolution of the Luce-Raiffa-Aumann (LRA) conjecture

Strategic decompositions of normal form games: Zero-sum games and potential games

A set optimization approach to zero-sum matrix games with multi-dimensional payoffs

Sparsified Linear Programming for Zero-Sum Equilibrium Finding

On zero-sum game formulation of non zero-sum game

Linear algebraic structure of zero-determinant strategies in repeated games

A tutorial on Zero-sum Stochastic Games

Nonzero-sum games of optimal stopping and generalised Nash equilibrium

Optimality-based domain reduction for inequality-constrained NLP and MINLP problems

Simple Characterizations of Potential Games and Zero-sum Games

An Undecidable Statement Regarding Zero-Sum Games

Decompositions of two player games: potential, zero-sum, and stable games

State-Constrained Zero-Sum Differential Games with One-Sided Information

Linear-quadratic zero-sum mean-field type games: Optimality conditions and policy optimization

Universal Complexity Bounds Based on Value Iteration for Stochastic Mean Payoff Games and Entropy Games

On zero-sum problems