Brouwer implies Nash implies Brouwer

Update (May 2017) McLennan and Tourky seem to be the first to make the  argument in this post (link to their paper)

 

They say that when Alfred Tarski came up with his theorem that the axiom of choice is equivalent to the statement that, for every set , and have the same cardinality, he first tried to publish it in the French PNAS. Both venerable referees rejected the paper: Frechet argued there is no novelty in equivalence between two well known theorems; Lebesgue argued that there is no interest in equivalence between two false statments. I don’t know if this ever happened but it’s a cool story. I like to think about it everytime a paper of mine is rejected and the referees contradict each other.

Back to game theory, one often hears that the existence of Nash Equilibrium is equivalent to Brouwer’s fixed point theorem. Of course we all know that Brouwer implies Nash but the other direction is more tricky less known. I heard a satisfying argument for the first time a couple of months ago from Rida. I don’t know whether this is a folk theorem or somebody’s theorem but it is pretty awesome and should appear in every game theory textbook.

So, assume Nash’s Theorem and let be a compact convex set in and be a continuous function. We claim that has a fixed point. Indeed, consider the two-player normal-form game in which the set of pure strategies of every player is , and the payoffs under strategy profile is for player I and for player II. Since strategy sets are compact and the payoff function is continuous, the game has an equilibrium in mixed strategies. In fact, the equilibrium strategies must be pure. (Indeed, for every mixed strategy of player II, player 1 has a unique best response, the one concentrated on the barycenter of ). But if is a pure equilibrium then it is immediate that .

Update I should add that I believe that the transition from existence of mixed Nash Equilibrium in games with finite strategy sets to existence of mixed Nash Equilibrium in games with compact strategy sets and continuous payoffs is not hard. In the case of the game that I defined above, if is a dense subset of and is a mixed equilibrium profile in the finite game with the same payoff functions and in which both players are restricted to the pure strategy set , then an accumulation point of the sequence in the weak topology is a mixed strategy equilibrium in the original game.

 

Brouwer, Tarski and the existence of Nash Equilibrium

This post is a sequel to my previous ad of a joint paper with Yaron, in which we prove existence of pure -equilibria in certain games. I am now going to make a fuss over the fact that our result is essentially a collection of logical relations between linear inequalities, yet its proof seems to require Brouwer’s fixed point theorem.

I start with emphasizing game theory’s reliance on Brouwer’s Theorem to prove Nash’s Theorem, an outrage with which I have more or less already learned to live. I call this an outrage because Nash’s Theorem is essentially a theorem about logical relationships between algebraic inequalities. More formally, fix integers and let be the assertion that every -player game with strategies to every player admits a mixed Nash Equilibrium. Then is a first order sentence in the language of ordered fields. The signature of this language is where are constant symbols, is a relation symbol and are binary function symbols. (Skip the next paragraph if this is obvious to you).

Indeed, let be a set of variables, representing the payoff matrix of an -player game with strategies for every player, and let be a set of variables representing a mixed strategies profile. Then

where is a formula that says that is a mixed Nash equilibrium in a game with payoff matrix . This is a conjunction of formulas that assert that is indeed a mixed strategy profile (nonnegative elements which sum to ), and that if player plays action with a positive probability under this profile then player doesn’t gain from deviating to any pure strategy. The last assertion involved a somewhat unappealing term (the payoff for player under profile when the payoff matrix is ), but this term is just products and additions of variables.

Now since by Tarski’s Theorem all real closed fields satisfy the same first order sentences, it follows that Nash’s Theorem is true in every real closed field ! Here is an interesting corollary of this conclusion: Every game in which the payoffs are algebraic numbers has an equilibrium in which the probabilities are algebraic numbers. Here is a more interesting corollary: In discounted stochastic games, an equilibrium strategy can be expressed as a fractional laurent series of the discount factor. This appears in a seminal paper (jstor) of Bewley and Kohlberg, who are to my knowledge the first to make this observation. I presented this paper in a students seminar back in grad school, probably the first paper in game theory I have ever read, and it is still one of my favorites.

Anyway, back to pure -equilibrium.