#### Abstract

We propose a new fixed point theorem that completely characterizes the existence of fixed points for multivalued maps on finite sets. Our result can be seen as a generalization of Abian’s fixed point theorem. In the context of finite games, our result can be used to characterize the existence of a Nash equilibrium in pure strategies and can therefore distinguish pure strategy equilibria from mixed strategy equilibria in the celebrated Nash theorem.

#### 1. Introduction

The finite version of Abian’s [1] fixed point theorem states that given a function from a finite set into itself, the set cannot be partitioned into three sets so that the intersection of each of these sets with their image is empty if and only if the mapping has a fixed point. Although this result can be applied to all functions that have a finite domain, it can be shown that it does not generalize to multivalued mappings which are often referred to as correspondences (1 see [2] for a proof of this claim). As a result, Abian’s theorem cannot be applied to problems in game theory where the best response map is multivalued. In this paper, we solve this problem by providing a new fixed point theorem that can be defined over any abstract finite set and that works for multivalued maps. In its most general form, our theorem completely characterizes the fixed point problem for correspondences over finite sets.

The fixed point theorem we propose, when put in the context of the widely studied class of finite games, can help fill the gap between the existence of a completely mixed strategy equilibrium and the existence of a pure strategy equilibrium as it is well known that the existence theorem of Nash (1950, 1951) [3,4] does not distinguish between the two (2 although from the Nash theorem, we know that the Prisoner’s Dilemma, the Battle of Sexes, and the game of Matching Pennies have equilibrium points, we cannot tell which of these games have pure strategy equilibria). In fact, although the Nash theorem is one of the most important results in game theory, it only guarantees that an equilibrium (pure or mixed) exists and therefore a part of the problem of existence of equilibrium points in pure strategies remains unsolved. While most of the subsequent research on the problem of existence of equilibrium points in games have generalized Nash’s theorem in more general and abstract infinite spaces, (for example, see [517, 1926]), fewer studies have retained the finite strategy space assumption (3 for example, see [2732]). (It is important to note that the generalization of the problem to infinite spaces with a richer topological structure does not solve the pure strategy equilibrium problem when the space is finite and mixed strategies are not allowed). Nevertheless, as observed by [2], the latter work do not give a complete characterization of equilibrium points in finite games as they only provide sufficient conditions and hence, there are no known characterizations of pure strategy equilibria for finite games.

It was argued by [2] that it is the lack of a topological structure when the strategy space (without mixed extension) is a finite set which renders the problem at hand difficult. [2] also observes that Abian’s partitioning method does not work for multivalued maps. In this paper, we solve this problem by using an equivalent fixed point result due to the author [33] who relates the idea of cycle to Abian’s fixed point theorem. By representing the fixed point problem on a directed graph, we make use of [33]’s idea to generalize Abian’s theorem by first defining a set of all infinite walks of the mapping and second, by providing the necessary and sufficient conditions that these walks need to satisfy so that the mapping has a fixed point. In its most general form, the fixed point theorem we propose shows that a fixed point exists if and only if at least one of these walks converges in the Cauchy sense. The cyclicity of best response maps in games was also considered by the authors of [34] who show that some weak acyclicity condition is necessary for the existence of a unique Nash equilibrium in every subgame. More recently, the authors of [30] gave a related sufficient condition for the existence of pure strategy Nash equilibria for the class of finite games (with players) that satisfy some unilaterally competitive (UC) property which was first developed by the authors of [35]. (4 While the authors of [35] gave some interesting properties of the UC class of games, the authors of [28] show in the first place that all quasi-concave, symmetric UC games have a symmetric pure strategy equilibrium and more recently (in [30]) that all UC games with at least three players have a Nash equilibrium). Another class of games that have the pure strategy Nash equilibrium property was given by the authors of [36,37] who proved the existence of equilibrium for all symmetric quasi-concave finite games two-player zero-sum games.

Our contribution relative to the literature is threefold. First, we propose a new fixed point theorem for mappings acting on finite domains as our results generalize Abian’s fixed point theorem for multivalued maps. Our theorem is given in terms of some “convergent” like properties on the digraph induced by the mapping. Second, by applying our fixed point theorem to the class of finite games, we are able to give a complete characterization of pure strategy Nash equilibria. Therefore, our result not only sharpens the Nash theorem (as it can pin down the exact class of finite games have pure strategy equilibria) but is also able to successfully separate the completely mixed strategy equilibria from the pure ones. Third, our results readily generalize the existing results by the authors of [27,28,30,37] who provided sufficient conditions for the existence of pure strategy Nash equilibria. Furthermore, in the context of finite games, we are able to generalize the existence theorems of potential games ([31]) and supermodular games [3841]. Finally, it is worth noting that while the condition we propose when imposed on best response maps guarantee the existence of a pure strategy Nash equilibrium, when applied to the class of games in satisfaction form (introduced by Debreu ([42]) and developed further by the authors of[4346]), it can guarantee the existence of a satisfaction equilibrium.

The rest of this paper is organized as follows. In the next section, we briefly introduce Abian’s theorem. In Section 3, we give some new fixed point theorems for general mappings, Section 4 applies these theorems in the context of finite games, Section 5 compares our results to results in some well-known classes of games, while Section 6 gives the conclusion.

#### 2. Abian’s Theorem and Multivalued Maps

In this section, we introduce the fixed point theorem due to Abian and show that its generalization to multivalued mappings on finite sets fails.

##### 2.1. Abian’s Theorem

Let be a nonempty finite set and let . Then, has a fixed point if cannot be partitioned into three sets , and such that .

It was showed by [33] that when the periodicity of is even, then two sets suffice in the statement of Abian’s theorem. We now consider the above statement when the mapping is generalized to a set-valued map. For a given nonempty finite set , let , where is the power set of , be a nonempty valued correspondence. At times, we denote the correspondence by . [2] recently showed, using a counterexample, that it is not possible to characterize the fixed points of using Abian’s three set partitioning method and as a result, an Abian-like theorem cannot be given for multivalued mappings on finite sets. The authors of [2] also went one step further to show that the theorem does not generalize even if the number of partitions is increased. In fact, it was shown that only the trivial partition (singletons) always works for multivalued maps.

The above negative result and the desirability of a fixed point for correspondences over finite domains that can distinguish a pure strategy equilibrium from the set of mixed strategy equilibria in Nash’s theorem are our main motivations for this paper.

#### 3. Fixed Point Theorem for Multivalued Maps on Finite Sets

For finite set , let be a nonempty valued correspondence as defined in the previous section. From , we define digraph , where is the set of the edges of , satisfying the following. (5 See [47] for more details on digraphs).

We assign weights to the edges of through mapping , so that is defined as follows.

Let denote the set of all infinite walks of . For a given finite walk in , we denote by the total weight of edges it encounters, with the convention that if an edge is repeated, then the total weight of the number of its occurrences contributes to . Formally, for each finite walk , the length of finite walk , denoted by , is defined as follows.

For any vertices , we let be the set of all finite walks connecting and . Then, we can define the distance between and as follows.

We say that infinite walk is Cauchy if for every , there exist some natural number such that for all , we have . We say that a graph is closed if every sequence is Cauchy.

Theorem 1. If is a closed graph, then has a fixed point.

Proof. We prove by contradiction. Suppose that is closed but has no fixed points. Then, for all , we have . As a result, there exist some such that for each , . Let . Then, since is a closed graph, for every natural , there exist , such that and for some th term of . Now, since , we have . As a result, this would imply that is not Cauchy, and hence, is not closed, which is a contradiction.
Theorem 1 gives a sufficient condition for the existence of fixed points for multivalued mappings on finite sets. The closed graph condition can be seen as the counterpart of the upper-hemicontinuity assumption of Kakutani’s fixed point theorem (see [3]). When the relationship defined by the mapping is represented by a digraph, the closed graph condition guarantees the existence of fixed points. The next result makes this closed graph condition more transparent and relates it direct to the acyclicity of the graph. We first define cycles more formally as follows.
We say that has a cycle if it has some vertex and finite walk satisfying the following: For all , where , imply , except at and , where .(6 Although the graph may have longer cycles with repeated vertices, the condition used in this definition is necessary for any kind of cycles to exist).

Theorem 2. If is a closed graph, then is acyclic.

Proof. We prove by contradiction. Suppose that is closed but contains some cycle. Then, has some vertex and finite walk satisfying for all , where , imply , except at and . Concatenating with ad infinitum, we obtain . Hence, such that for each , . Then, we can use an argument similar to that in the proof of Theorem 1 to show that is not Cauchy, and therefore, is not closed, which is a contradiction.
Theorem 2 shows that the closed graph condition relates the acyclicity of the mapping which in turn relates to Abian’s fixed point theorem ([33]). Since from the standpoint of directed graphs the acyclicity condition may be easier to verify, Theorem 2 can be useful in the development of graph theoretic fixed point search algorithms.
Since our aim is to achieve a result that is parallel to Abian’s theorem for multivalued maps, the next theorem gives a complete characterization of fixed points for multivalued maps. The following definitions will be useful in establishing this result. We first make use of the notion of distance between two vertices to define an index on . For any given walk in , let be defined as follows. (7 Here, can be finite or infinite).We will use to define an index on . We first index an element of by for , where can be countable or uncountable, so that . We can now define index on as follows:

Theorem 3. has a fixed point if .

Proof. (Only if) Suppose has a fixed point. Then, there exist some Cauchy sequence in . An example of such a sequence is . For such , we have and therefore, , which in turn implies that .
We prove by contradiction. Suppose that but has no fixed points. Then, we claim that there are no Cauchy sequences in . Indeed, suppose that were some Cauchy sequence in , then for all , there would exist some such that for all , . However, this would have implied that for some () term of the sequence, we would have , which would contradict the fact that has no fixed points. Therefore, all sequences of are non-Cauchy.
Now, since , there must exist some such that . Hence, for such an , , which implies that there exist some edge in satisfying . Then, we can construct Cauchy sequence , which leads to a contradiction.
The above theorem reduces the fixed point problem to the construction of an index on the digraph induced by the mapping. The index we construct gives a “measure” to each walk in and it is shown that a fixed point exists if and only if this measure is infinite. Our result can also be seen as a finite interpretation of the well-known Lefschetz fixed point theorem [48] which uses an index that counts the loops of the underlying topological space. (8 Fixed point indices for mappings on topological spaces was invented by Lefschetz (1937).
We next show that a strengthening of Theorem 1 can also be given as a characterization of fixed points for multivalued maps.

Theorem 4. has a fixed point if has a Cauchy sequence.
The proof is similar to the proof of Theorem 1.

Theorem 4 shows that as long as the digraph induced by the mapping has a Cauchy sequence, the map has a fixed point. We will show that Theorem 4 can be used in a straightforward manner to prove the existence of Nash equilibria in finite games.

Remark 1. Theorems 14 readily generalize to mappings with countable domains as the assumption of finiteness was not used in the proofs.

#### 4. Characterizing Pure Strategy Nash Equilibria in Finite Games

In this section, we apply the theorems obtained in the previous section in the context of finite noncooperative games. We denote a finite noncooperative game by triple , where the set of players is denoted by and the finite strategy space available to player . We also denote the set of all strategy profiles by so that each is an -tuple, where . Finally, payoffs are defined by the vector-valued function .(9 Note that assuming strictly positive payoffs for each player does not lead to any loss of generality). Our aim will be to use the results obtained in the previous section to derive a necessary and sufficient condition for the existence of a pure strategy Nash equilibrium (NE) in any general finite game. As remarked by [2], the lack of the topological structure of space , which can be an abstract set, hinders the usage of the powerful toolbox of functional analysis for fixed point theorems.(10 For example, games like the Prisoner’s Dilemma, The Battle of Sexes, and the Matching Pennies have abstract strategy spaces). Moreover, since we want to be able to distinguish pure strategies NE from mixed strategies NE, we cannot rely on the topological structure of the mixed extension as is typically done in the literature.

##### 4.1. Fixed Points of the Unilateral Best Response Correspondence

The following definitions will be useful in establishing our results. We define the best response map of player with respect to some strategy profile by the following:

From , we define the best response correspondence of by . We can then define a unilateral best response correspondence as follows:

While it is well known that the game has a Nash equilibrium if and only if the best response map has a fixed point, it is straightforward to show that has a fixed point if and only if the game has a Nash equilibrium. Indeed, suppose that is a NE. Then, there exists no such that . Thus, is a fixed point. Next, suppose that has a fixed point, say . Then, no satisfying are in . Hence, is a NE. (11 Our notion of UNBR is in similar veins as the concepts of better (or best) improvement paths studied by [30, 34]).

For game , we define function as follows:

We then say that game is a payoff sum separable if is a bijection from into .

Since is a correspondence from a finite set into itself, we can define the directed graph as in the previous section and we can let be the set of all infinite walks of . We then have the following definition.

We say that payoff sum function converges weakly if for some sequence in , sequence converges to some point in .

The next theorem achieves our objective of completely characterizing pure strategy NE in finite games for the class of payoff-sum separable games.

Theorem 6. Suppose that is a payoff-sum separable. Then, has a pure strategy NE if converges weakly.

Proof. We show that if converges to some in the range of for some sequence of graph , then has a fixed point. Since converges to , for every , there exist integer such that for all we have the following:Since is in the range of , there exist some satisfying . LetSince the game is payoff-sum separable and finite, . Thus, if holds for all along the sequence, we must have for all sinceTherefore, is a Cauchy sequence and by Theorem 4, has a fixed point. Hence, has a NE.
(Only If) Suppose that has a NE, say . Then, some Cauchy sequence exists. Along this sequence, the payoff sum function sequence converges to.
While Theorem 6 gives us a characterization of NE, it is restricted to the class of payoff sum separable games. We next show that the result can be generalized to all finite games. For that, we need the following definitions.
We say that and are argmax payoff equivalent to if the following condition holds:It is to be noted that the only difference between and is the payoff function. An important implication of this definition is that finding a NE in is equivalent to finding a NE in . The next theorem shows that every finite game has an argmax payoff equivalent game that is payoff separable.

Theorem 7. Let be a finite game. Then, has an argmax payoff equivalent game that is payoff separable.

Proof. For a given , we construct an argmax payoff equivalent sum separable game by modifying the payoff of some player in each time a pair of profiles yield the same payoff sum. The construction is as follows.(i)Step 1: Fix for player 1 and enumerate by . For each , consider set .(Note that ). For each and every pair , if , profiles , and can be made payoff sum separable by modifying the payoffs of player 1 so that in . Thus, by the finiteness of the strategy space, for each , we can make for all pairs satisfy in . Since pair , remains equivalent to .(ii)Step 2: For and satisfying , , if , profiles , and can be made payoff sum separable by modifying the payoffs of player 1 so that in . Thus, by the finiteness of the strategy space, for each satisfying , , we can make in . Moreover, by finiteness again, we can ensure that these payoff sum are distinguished from those modified in step 1. Hence, since and , remains equivalent to . (12 The same step can be repeated for and , satisfying , , if ).(iii)Step 3: For satisfying , , if , profiles , and can be made payoff sum separable by modifying the payoffs of player 1 so that in . Furthermore, for all , the payoff sum of will be subject to the same modification of player 1’s payoff as that of so that remains equivalent to . Thus, by the finiteness of the strategy space, for each and satisfying and , we can make in . Moreover, by finiteness again, we can ensure that these payoffs sum are distinguished from those modified in steps 1 and 2. Hence, remains equivalent to . (13 The same step can be repeated for , and , satisfying , , if .(iv)Step 4: For each and every pair , if , profiles , and can be made payoff sum separable by modifying the payoffs of player 2 so that in . Furthermore, for profile if , then the same modification will need to be made to all other so that remains equivalent to . Moreover, by finiteness again, we can ensure that these payoffs sum are distinguished from those modified in steps 1, 2, and 3. Thus, by the finiteness of the strategy space, for each we can make for all pairs satisfy in . Hence, remains equivalent to .(v)Step 5: If needed, repeat steps 1–4 until is payoff sum separable. By the finiteness of the strategy space, can be made payoff sum separable in a finite number of steps.

Theorem 8. Let be a finite game. Then, has a Nash equilibrium if it has an argmax payoff equivalent game which satisfies (i) payoff sum separability and (ii) converges weakly.

Proof. The proof follows from Theorems 6 and 7.
Theorem 8 is the most general existence result for finite games in the literature as it does not impose any topological structure on and it completely characterizes NE for the original class of games studied by Nash. From Theorem 7, we know that condition (i) is met for all finite games. Condition (ii) is the minimum requirement on the payoff function along some sequence of needed for a pure strategy NE to exist.

##### 4.2. Remark on the Complexity of the Pure Strategy NE Problem

While the literature often argues that since every finite game has an NE (in either pure or mixed strategies), one cannot use the concept of NP-completeness in assessing the complexity of the problem of finding an NE in finite games (see [49,50] for instance). (14 It is also known that the symmetric case of finding an NE is as hard as the general one). The appropriate notion of complexity used for this class of problems is the polynomial parity argument (directed case) (PPAD). The Lemke–Howson algorithm (due to [51]) is a well-known example of the PPAD class which uses a graph theoretical approach (directed paths on polytopes) to compute the NE. However, the Lemke–Howson algorithm is not an efficient algorithm as the number of vertices in the graph can be exponentially large (see[50,55]). When the class of NE is restricted to pure strategies, then the authors of [30, 34] show that games that satisfy certain properties (for example, UC games with more than two players) are weakly acyclic. Then, the pure strategy NE of such games are computable in polynomial time (P). In similar veins, our fixed point result given in Theorem 1 (when applied to finite games) is computable in P. Unfortunately, the more general results given in Theorems 3, 4, and 6 are not computable in P as they involve checking walks of the graph that can be exponentially long.

#### 5. Applications

In this section, we apply the results obtained in the previous sections to some widely studied classes of games like potential games (Monderer and Shapley (1996) [31]), supermodular games (Topkis (1998) [40] and Vives (1990) [41]) and satisfaction form games (Debreu (1952) [42]). We will show that the existence of equilibrium results of potential games and supermodular games are special cases of Theorem 8.

##### 5.1. Potential Games

Monderer and Shapley (1996) [31] showed that if there exist some function such thatThen, the game is a potential game and has a pure strategy NE. Note that the above condition implies that if for some , then the inequality holds for all . We now show that if a game is payoff sum separable and has potential, then the hypothesis of Theorem 6 is satisfied.

Theorem 9. Let be a payoff sum separable potential game. Then, it has a Nash equilibrium.

Proof. Suppose that the game is potential, that is, inequalities (15) and (16) imply that is always increasing along any sequence of . By the finiteness of the strategy space and payoff sum separability, converges weakly and therefore by Theorem 6, the game has a Nash equilibrium.
While the above result is given in terms of a payoff separable game, a theorem analogous to Theorem 8 can be given to show that if any game satisfies the potential game condition, then there exist some argmax payoff equivalent payoff sum separable potential game such that inequalities (15) and (16) are preserved and such that converges weakly.

##### 5.2. Supermodular Games

It is well known that supermodular games (see (Topkis (1998) [40] and Vives (1990) [41])) have the NE property due to the results by Tokpis and Tarski. We will construct a simple proof of this theorem for finite games using Theorem 4. For the sake of illustration, we will restrict the analysis to the case of two players and thus, we assume that is a supermodular game, where , is an ordered lattice strategy space of player 1 (2) and such that the following increasing differences condition is satisfied by for each . For all and , we have the following:

We will also make use of the following result due to Topkis.

If is supermodular in , and and are lattices, then is increasing in and is increasing in .

Theorem 10. Let be a payoff sum separable supermodular game. Then, has a Nash equilibrium.

Proof. We prove by contradiction by supposing that the game is payoff sum separable and supermodular but does not have a NE. Consider some profile so that both and are the minimum (in the lattice ordering) of and respectively. Since is not NE, without any loss of generality, we can assume that for some , satisfying . Now, either is a NE, or by Topkis theorem, there exist some such that satisfying . (Note that at , there is no profitable deviation from player 1 and hence, the only deviation can come from player 2.) But since , either is a NE or there exist some unilateral deviation that leads to some profile . By repeating the latter argument, one can construct sequence satisfying . By the ordering of the lattice, since either or is strictly increasing along , one can construct some that does not have any finite cyclic subsequence. Then, on the one hand, must be eventually Cauchy as it does not have any finite cyclic subsequence and on the other hand by payoff sum separability and since the game has no NE, Theorems 6 and 4 imply that has no Cauchy sequences, a contradiction.
While the above result is given in terms of a payoff separable game, a theorem analogous to Theorem 8 can be given to show that if any game satisfies the supermodularity condition, then there exists some argmax payoff equivalent supermodular game which preserves inequality (17) and satisfies the condition of Theorem 4 so that it has a NE.

##### 5.3. Games in a Satisfaction Form

Our fixed point theorem readily applies to games in satisfaction form as it can establish the existence of a satisfaction equilibrium (SE) when the set of actions of each player is finite. The concept of SE was first introduced by Debreu (1952 [42]) and developed further recently by [4244, 46] to study the learning behavior of players in games where players can only observe their own payoffs. An SE is an equilibrium in the sense that a player who is satisfied with her payoff has no incentives to deviate from her current action. It is well-known that in the context of electrical engineering (15 for the analysis of quality of service (QoS) in wireless ad hoc networks), SE has proved to be particularly useful. For example, the “players” of the game are often described by radio devices (network components) which can choose among different possible operating configurations with the objective of satisfying some targeted QoS. (16 more recently, SE was used in the fifth generation of cellular communications (5G) for tackling the problem of energy efficiency, spectrum sharing, and transmitting power control (see [44,45]).

More formally, a game in satisfaction form is given by the triple , where is a finite set of players, each player has a finite set of actions denoted by and preference mapping given by the following correspondence.

As usual, we denote by the set of strategy profiles of the game. We say that is a satisfaction equilibrium (SE) if for all . We show that Theorems 1, 3, and 4 can be used to prove the existence of an SE in . For that, we define mapping which extends to as follows. For each , let and let be a correspondence satisfying . Then, it is clear that correspondence has a fixed point if has an SE. (17 Indeed, suppose that is an SE of . Then, for each , . Thus, and hence, it is a fixed point of . Conversely, suppose that is a fixed point of . Then, for each , we have and hence, it is an SE). The following results follow from Theorems 1, 3, and 4.(i)If is a closed graph, then has an SE.(ii) has an SE if .(iii) has an SE if has a Cauchy sequence.

#### 6. Conclusion

We have shown that the original problem of existence of an equilibrium in finite games can be fully characterized without the need to extend the strategy space to mixed strategies. We proceeded by generalizing Abian’s theorem for correspondences and applying it in the context of finite games. Our result sharpens the celebrated Nash theorem as it can filter out the exact class of games that have pure strategy NE from the class of finite games (for which a NE in mixed strategies always exists). We also show that the existence of equilibrium points problem studied in supermodular games, potential games, and games in satisfaction form follow as special cases of our theorem for the finite case.

#### Data Availability

This manuscript does not use any data in any form.

#### Conflicts of Interest

The authors declare that they have no conflicts of interest.

#### Acknowledgments

The author would like to thank Wong Lee Chin for her support.