1. Introduction
Quantum game theory is an extension of classical game theory. For the first time, Meyer in [3] introduced these ideas using the Matching Pennies game. Eisert et al. in [4] constructed the protocol for quantum games. They considered pure strategies and took up the case of the maximally entangled two-qubit state. They studied the Prisoners’ Dilemma in this framework for the first time. Since this pioneering work, many studies have been carried out for any degree of entanglement, not just maximal entanglement. Especially, the effect of the degree of entanglement on Nash equilibria with pure strategies was investigated in [1] [5]-[11] etc. In [1], the author considered quantum non-cooperative two-player games with very general payoffs and with full SU (2) strategy space, and investigated the effect of the degree of entanglement on Nash equilibria. The aim of the paper was to characterize Nash equilibria by their payoff patterns.
In the paper, the payoff curves given by Nash equilibria were restricted to the curves or the parts of them, that pass through the payoffs of each player when
is equal to zero. Here
(
) represents the degree of entanglement. It
was left as a topic for future research to determine whether there are any other payoff curves given by Nash equilibria. In this note, we consider general payoff tables. We do not assume that each player’s payoffs are different from each other. Other than this, the framework is exactly the same. We answer this question in the affirmative. We focus on proving that there is at least one of the equilibria we are looking for. Thus, there may be other equilibria.
This note is organized as follows. In Section 2, some special Nash equilibria are stated. In Section 3, the case where
is equal to zero is considered. In Section 4, we consider our example from the viewpoint of strong isomorphism. In the last section, we conclude this work.
2. Special Nash Equilibria
As stated above, the framework is identical to that of [1], except that the payoffs in the payoff tables do not have to be different. Also, the notation below is basically the same as the paper. Especially the strategy space is full SU (2) strategy space. We represent
as
(1)
where
and
. From here on,
stands for
In general, the subscript
represents Alice and the subscript
represents Bob. Where there is no doubt, the subscripts relating to payoffs are omitted.
A special game is one with a payoff table like this (Table 1):
Table 1. The payoff table.
|
Bob:
|
Bob:
|
Alice:
|
|
|
Alice:
|
|
|
In this table, either
and
or
and
. Also
and
. Both players’s preferences are perfectly aligned, eliminating asymmetric outcomes. The motivation for us to use the conditions
and
is that we thought that these conditions eliminate the terms containing
in Equation (2) (described below) etc., making it possible to find the desired Nash equilibria. If the terms containing sin do not disappear,
and
described below will become complicated, and we conjecture that the desired equilibrium will not exist.
Let Alice’s strategy be
and Bob’s strategy be
. First, we consider the case where
and
. One Nash equilibrium is
. Here
and
. Alice and Bob’s payoff functions are
and
, respectively. When
, each player’s payoff function takes on
and
, respectively. The values of these payoff functions are consistent with the mixed strategy payoffs of this game. This corresponds to the classical Nash equilibrium in which Alice chooses
with probability 1/2 and
with probability 1/2 and Bob chooses
with probability 1/2 and
with probability 1/2.
Clearly, obvious Nash equilibria are
and
for all
and their payoff curves are the maximum values of the payoff table for all
This can be seen by considering the case of
in [1] and moving p closer to r and t closer to s. Therefore, there are two payoff functions of Nash equilibria achieved by pure strategies for this payoff table. One corresponds to the classical equilibrium, and the other is the above one we are looking for.
In what follows, we verify that the above quantum Nash equilibrium is what we desire. First, consider the derivation of
of
under
. For
, see Du et al. in [6]. Also see [1]. Simply put, the eigenvector of
corresponds to a strategy, and the eigenvalue corresponds to the payoff function under that strategy. Specifically, we find an eigenvector that satisfies Equation (1) that gives the maximum eigenvalue of
under
. We confirm that this eigenvector is
. We then verify that the eigenvector that satisfies Equation (1) that gives the maximum eigenvalue of
under this eigenvector is identical to
.
In general,
is expressed as follows:
(2)
Assume that Bob’s strategy is
. In Equation (2), replace
and
with
and
, respectively, and then substitute
, and
for
, and
, respectively. Then, Equation (2) becomes as follows:
(3)
Similarly, each element of the matrix
is obtained. Thus,
can be expressed as:
(4)
The eigenvalues and eigenvectors of
are as follows:
(5)
These eigenvalues are expressed as
from top to bottom, and their corresponding eigenvectors are expressed as
, respectively. Note that
and
. Since
, there are two strategies for Alice that give the largest eigenvalue:
.
Now, Bob’s
is expressed as follows:
(6)
Let us take
as the strategy of Alice. Since
in our example, under
, the Equation (6) becomes:
(7)
Similarly, each element of the matrix
is obtained. Thus,
can be expressed as:
(8)
The eigenvalues and eigenvectors of
are as follows:
(9)
These eigenvalues are expressed as
from top to bottom, and their corresponding eigenvectors are expressed as
, respectively. Note that
and
. Therefore, we can see that the eigenvalue of Bob is maximized under
. This is the strategy
assumed at the beginning. Thus, one equilibrium is
, that is,
.
Since s and t are equal,
when Bob takes the strategy
, and
when Alice takes the strategy
, have the same shape. Therefore, when
and
,
becomes a Nash equilibrium.
Here we add a comment on the scope of the result. Would the same equilibria survive under the common two-parameter subset used by Eisert et al. in [4]? The strategies that belong to this two-parameter subset can be represented by
. See, for example, Du et al. in [6]. The equilibria in this section have non-zero values of
Thus the same equilibria do not survive.
In [1], the coefficients of
do not disappear. Thus, we conjecture that such an equilibrium does not exist in the case considered in [1]. However, if we consider only the case
(albeit trivial from the viewpoint of entanglement), the story is different. In this case, terms containing
or
do not appear. Equilibria other than the above do exist. This also holds for the case considered in [1].
3. The Case Where
In this case, we assume that Table 1 satisfies the following conditions:
(10)
(11)
Since
, as for Alice, the eigenvalues of
satisfy the following equations:
(12)
Assume that
are all equal to
. Then, (12) becomes:
(13)
It is noted that
. At least one of the elements of the eigenvector must have a non-zero value. Then,
in the Equation (13) that contain these
elements will be
. On the other hand,
of the other equations can be any value because the elements are equal to zero). Therefore, the value of
must be
. From (13), this value of
can be achieved by setting all elements of
to
. A similar argument can be made for Bob, starting from Alice’s strategy that we have just concluded.
In summary, under Equations (10) and (11), the equilibrium is
. In this case, Alice and Bob’s payoffs are
and
, respectively. These payoffs are consistent with the mixed strategy payoffs of this game. This corresponds to the classical Nash equilibrium in which Alice chooses
with probability 1/2 and
with probability 1/2 and Bob chooses
with probability 1/2 and
with probability 1/2.
It is noted that this equilibrium exists in the situation in [1] if Equations (10) and (11) hold true.
4. Consideration from the Viewpoint of Strong Isomorphism
Frackiewicz in [2] considered quantum games from the viewpoint of strong isomorphism. The author proved that if two games are strongly isomorphic, then if one has a Nash equilibrium, then the other also has a Nash equilibrium (Lemma 7). Furthermore, the author proved that if two classical games are strongly isomorphic, then the corresponding two generalized Eisert-Wilkens-Lewenstein games are also strongly isomorphic under SU (2) strategies (Proposition 10).
It is noted that in [2], only the case where
was considered and no other cases were considered. In the proof, the author uses the fact that
is interchangeable with both
and
so does
(See also Equation (38)). It is clear that this fact holds for any
. Thus, the above results hold true even if
.
Thus, we consider the results of Section 2 from the viewpoint of strong isomorphism. It is intuitively clear that these two equilibria do not correspond to any strong isomorphism. There is no strong isomorphism that maps one to the other. So it is of interest to find the equilibria corresponding to each equilibrium in the sense of strong isomorphism.
First, we find the equilibria for the case where
and
that correspond to the initial equilibrium for the case where
and
. In Table 6 of Example 6 in [2] , if the upper table corresponds to the case where
and
, then the lower table corresponds to the case where
and
. Therefore, these two games are isomorphic under the mapping f in Example 4. Therefore, they are also isomorphic in the corresponding quantum game. Under the equilibrium
, that is,
in the former game, the equilibrium for the latter game is given by
where
(14)
and
(15)
From Equations (14) and (15), it follows that
(16)
and
(17)
The notation above is that used in [2].
There are three more games that are isomorphic to this case where
and
and the equilibrium is
. They can be derived in a similar way to the above. Putting all these derived equilibria together, for the case where
and
, we get:
Second, we find the equilibria for the case where
and
that correspond to the initial equilibrium for the case where
and
. They can be derived in a similar way to the above. Putting all derived equilibria together, we get:
5. Conclusion
In [1], the payoff curves given by Nash equilibria were restricted to the curves or the parts of them, that pass through the payoffs of each player when
. Whether other Nash equilibria exist or not was left as a topic for future research. In this note, we considered this problem under general payoff tables. We constructed an example that yields such “special” equilibria for any entanglement
. Also, when
, we described a further equilibrium and showed that this equilibrium exists also in the situation of the paper. We also related the example to strong isomorphism in [2].