1. Introduction
Technological progress that occurred in the last few years made controllable manipulations of single quantum objects possible. This resulted in the emergence and intensive development of a new branch of science placed on the borders of mathematics, computer science, and quantum physics—quantum information theory. The playing of a game is connected to a transfer of information between players and possibly an arbiter. If a carrier of this information is a quantum object, we deal with so called quantum games, the theory of which has been intensively developed during the last twenty years.
Quantum game theory begun with considering a simple extensive form game in [
1]. D. Meyer showed that a player equipped with unitary strategies has a winning strategy. Other fundamental papers on quantum games include [
2]. The scheme defined by J. Eisert, M. Wilkens, and M. Lewenstein was the first formal protocol of playing quantum games. This scheme uses quantum computing formalism in describing
bimatrix games. According to [
2], players’ strategies are unitary operators that depend on two parameters and act on maximally entangled two-qubit states. The scheme gives the possiblity of obtaining more efficient results in comparison with the results that may be obtained in games played classically. This feature is well illustrated by the prisoner’s dilemma game that in a classical version has a unique, inefficient Nash equilibrium. The Eisert-Wilkens-Lewenstein (EWL) scheme enables players to obtain a Pareto optimal Nash equilibrium. Marinatto and Weber [
3] introduced an alternative model of playing a quantum game by applying quantum formalism to classical game theory in a more straightforward way. In the general case of
bimatrix games, players’ strategies are identified with permutation matrices which are performed on a
-level quantum system [
4], and then measurements are done. This simple model has found applications in many branches of game theory: from evolutionary games [
5,
6] to games in extensive form [
7] and duopoly problems [
8,
9].
In general, a large part of noncooperative quantum game theory is devoted to studying results of a quantum game by simply applying nonclassical moves, seeking rational strategy profiles among quantum strategies, and pointing out differences between classical and nonclassical solutions [
10,
11,
12,
13,
14,
15]. This paper presents a completely different approach. Our goal is to identify elements of a quantum scheme that can be described by classical terms. This new approach may provide for further developments of quantum game theory. By identifying solution concepts from classical game theory in quantum games, we can modify existing quantum schemes or construct new ones. We found that there is a strict connection between correlated equilibria of a game and Nash equilibria in the corresponding quantum game. On this basis, we formulated a new scheme for bimatrix games.
2. Preliminaries for Game Theory
In this section, we review relevant notion from classical game theory that is needed to follow our work. A reader who is not familiar with that topic is encouraged to see, for example [
16].
The basic model of games studied in game theory is a game in strategic form.
Definition 1. [
16]
A game in strategic form (or in normal form) is an ordered triple , in whichis a finite set of players;
is the set of strategies of player i, for every player;
is a function associating each vector of strategieswith the payoffto player i, for every player.
In the case of a finite two-person game, i.e.,
,
,
, the game can be written as a bimatrix with entries
,
The notion of Nash equilibrium is one of the most important solution concepts in noncooperative game theory. It defines a strategy vector at which each strategy is a best reply to the strategies of the other players.
Definition 2. [
16]
A strategy vector is a Nash equilibrium if for each player and each strategy the following is satisfied:where .
In particular, if a strategic form game is described in bimatrix form, the Nash equilibrium can be defined as follows:
Definition 3. A position in a bimatrix game (1) is a Nash equilibrium ifand In a Nash equilibrium, the players make their choices independently of one another. A more general solution concept is a correlated equilibrium. It covers situations in which the players can choose their strategies on the basis of the recommended strategy profiles.
Definition 4. [
17]
A correlated equilibrium in the bimatrix game (1) is a probability distribution satisfying Games with incomplete information concern problems in which players may not be informed about certain elements of the game, for example, about payoff functions of other players.
Definition 5. [
16]
A Harasanyi game with incomplete information is a quintuplewhere:N is a finite set of players.
is a finite set of types for player i, for each . The set of type vectors is denoted by .
is a probability distribution over the set of type vectors that satisfies for every player and every type .
S is a set of states of nature. Every state of nature is a triple , where is a nonempty set of actions of player i and is the payoff function of player i.
is the state game for the type vector t, for every . Thus, player action set in the state game depends on his type only, and is independent of the types of the other players.
A Harasanyi game with incomplete information proceeds in the following way [
16]:
A chance mover chooses a type vector according to the probability distribution p.
Each player i knows his type , but does not know the types of the other players.
Each player i chooses an action .
Each player i obtains the payoff , where is the profile of actions chosen by all the players.
Definition 6. [
16]
A pure strategy of player i in a game with incomplete information is a function that satisfiesfor each . Let
be a strategy profile. The expected payoff in a game with incomplete information is
where
is a payoff resulting from playing the strategy profile
s in the game associated with the type vector
t.
3. The Generalized Marinatto–Weber Scheme
In this section, we recall the Marinatto–Weber (MW) scheme for bimatrix games and then we present the generalized model that was introduced in [
4].
The (MW) scheme was originally designed for a
game:
According to the model, each of the two players acts with the identity matrix
I of size 2 and the Pauli matrix
on his own qubit of some fixed two-qubit state
where
p and
q are the probabilities of choosing the identity
I by player 1 and player 2, respectively. Player
i’s payoff
depends on
p and
q, and through the measurement operators
it is given by the following formula:
The MW scheme imples the classical game by putting . The strategy sets in the generalization of the MW scheme for bimatrix games are sets of permutation matrices. It enables one to obtain a classical bimatrix game when and .
Let us consider
bimatrix game (
1). The generalized Marinatto–Weber (gMW) scheme is defined by a triple
where
is a joint state of
m-dimensional and
n-dimensional quantum systems:
is a set of strategies of player
:
and
for
acts on states of the computational basis
as follows:
where the symbol
denotes addition modulo
r;
is the payoff of player
defined as the expected value of the measurement
,
on the final state
i.e.,
for
and
.
This scheme can certainly reproduce a classical
bimatrix game. If
, the form of the final state
is determined by each pair of
and is given in the following matrix:
Formula (
20) applied to each entry of (
21) results in the classical game (
1). The same bimatrix up to the order of players’ strategies could also be obtained if one uses any
. Note also that the original MW scheme for a
game introduced in [
3] can be obtained by taking
.
4. Relationship between the Correlated Equilibrium and the Nash Equilibrium in the MW Scheme
It is intuitively clear from the construction of the MW scheme that the initial quantum state correlates payoff vectors. After the players choose their own strategies , the payoff vectors are distributed according to the measurement on the resulting quantum state. On the other hand, a correlated equilibrium plays a similar role in the coordination of strategy profiles. An interesting question arises whether there is a connection between the notion of correlated equilibrium and the MW scheme. The following example confirms this fact.
Example 1. Let us consider the following game Conditions (5) and (6) for and are of the form: Substituting payoffs of (22) to (23) implies the system of inequalities Inequalities (24) together with and reduce to Combining (25) with yields the unique correlated equilibrium To see how correlated equilibrium (26) in game (22) implies a Nash equilibrium in the MW approach to that game, consider the initial state in (14) such that for and . Then Taking into account the strategy sets and the payoffs of (22), the other components of (14) areand Now, consider the strategy profile . Payoffs of player 1 and 2 corresponding to that profile are Interestingly, no player has a profitable unilateral deviation from . In the case of player 1, if he deviates to , then his payoff is still 5/2; i.e., Similarly, player 2 will not benefit from playing the strategies and , Sincethe strategy profile is a Nash equilibrium (see Definition 2). Example 1 shows that the MW approach to (
22) in which the initial state is based on correlated equilibrium (
26) results in the payoff-equivalent Nash equilibrium. As the following proposition states, this property is true in general. The MW approach in which the amplitudes of the initial state are the square roots of the respective probabilities of the correlated equilibrium always implies the Nash equilibrium
.
Proposition 1. Let be a correlated equilibrium in (1), and let be the MW approach associated with (1). If then is a Nash equilibrium in with the equilibrium outcome . Proof. First note that indicies
k and
l in (
5) and (
6) go from 0 to
and from 0 to
, respectively. Thus, (
5) and (
6) can be written as
Let us determine
. First we obtain
It follows that
for each
. Using the fact that
for all
we can rewrite (
38) as
Inequality (
39) is a consequence of the correlated equilibrium conditions (
34).
In a similar manner we can prove that
□
It is worth noting that the converse of Proposition 1 may not hold. Given the Nash equilibrium in the MW game, the corresponding initial state may not determine a correlated equilibrium in the classical game. The following example illustrates this point.
Example 2. Consider again the game given by bimatrix (22) and the MW approach to that game with the initial state The state in the equal superposition means that the players cannot change the state ; i.e., As a result, each strategy profile implies the same payoff vector,for all . The same payoff vectors for each strategy profile imply that satisfies the Nash equilibrium conditions (2). However, a probability distribution such that for each and is not a correlated equilibrium in (22)—the left hand side of the first condition of (23) is equal to −1/6. 5. Bimatrix Representation of the MW Scheme
The MW scheme can be described in terms of classical game theory. The model
can be viewed as a family of bimatrix games in which the rows and columns of (
1) are permuted according to a probability distribution
. In the case of the MW approach to a
game, the players play one of the following games
These games occur with probabilities
One can check that the expected payoffs in the game defined by (
46) and (
47) are
The same expected payoffs are obtained if we use Formula (
20) for the MW approach to
game; i.e.,
with
In what follows, we modify the MW scheme. The idea behind our scheme can also be explained with the use of the game given by (
46) and (
47). Let us assume in addition to the fact that probability distribution (
47) is a common knowledge among the players that player 1 is informed that either the set of games
or the set of games
has to be taken into consideration. Player 2 knows that either
or
is actually played. To be more precise, we assume that the players play a game with incomplete information (see Definition (5)) defined as follows:
The probability distribution
p over
such that
Now, from Definition 6, the players’ strategies
and
are the functions
Strategy specifies an action or for player i depending on his type. Denote by the strategy of player 1. The first element of the pair is the action for player 1 of type , the second one is the action of type . Similarly, denote by the strategy of player 2.
To find the expected payoff in the game (
51)–(
55) we use Formula (
9). For example, if the strategy profile is
, the action profile
is played in
and
, and
in games
and
. Since games
,
,
and
occur with the probability
,
,
, and
, respectively, the payoffs resulting from playing
are
In general, the expected payoffs in the game (
51)–(
55) can be given by the following formula:
As we can see, (
57) implies a broader range of possible payoffs compared to (
48).
6. The MW-Type Scheme for Correlated Equilibria
Now, we construct the MW-type scheme that is equivalent to the game defined by the payoff functions (
57). Then we formulate the proposition analogous to Proposition 1, where in contrast to that statement, the correlated equilibrium conditions are necessary and sufficient for the existence of some Nash equilibria.
Let us modify the components of
to obtain
where
is defined as in (
15);
is the set of strategies of player
:
with typical elements
and
, respectively;
is the payoff of player
defined as the expected value of the measurements (
18) on the final state
i.e.,
We now verify that (
61) coincides with (
57) for
. First note that
can be written as
Let us determine each term of
For
Measuring
with respect to
and
given by (
50) yields the same expected payoff as (
57).
It is commonly required in quantum game theory that a given scheme must coincide with the classical game under specific settings. The classical game in the MW game is obtained by taking
in (
15). Another way of deriving the classical game can be carried out by a restriction of the players’ strategies. In the seminal Eisert–Wilkens–Lewenstein scheme [
2], restricting strategies to some type of one-parameter unitary operators yields the classical game. Similarly, a proper limitation of the sets
and
in
leads to the game that is equivalent to (
1). That is the content of the following proposition:
Proposition 2. Ifthen the game determined by can be identified with a bimatrix game . Proof. Let us consider first a strategy profile consisting of a strategy
of player 1 and
of player 2. Keeping in mind that
, we can write final state (
60) in the form of
In general, adding
i modulo
m and
j modulo
n to the subscripts of
and
respectively, yields
This implies pure payoff profiles of the bimatrix game:
Note that and , which completes the proof. □
It was shown in Example 2 that a Nash equilibrium in the MW scheme may not necessarily mean that the initial state generates a correlated equilibrium in the classical game. The strategy profile
is a Nash equilibrium in the MW scheme, even though the probability distribution based on squared amplitudes of the initial state is not a correlated equilibrium. In the case of scheme (
58), the correlated equilibrium and the existence of some specific Nash equilibria are equivalent.
Example 3. Consider the scheme associated with (22). Let the initial state be given by (41). Since and for bimatrix game (22), a typical strategy of player 1 is , and a typical strategy of player 2 is of the form . The final state resulting from playing a general strategy profile is By substituting the payoffs of (22) we deduce that the payoff of player 1 that corresponds to the strategy profile is If player 1 deviates to , the resulting payoff is Thus, the strategy profile is not a Nash equilibrium in the game .
The next proposition states that the equivalence between the correlated equilibrium and the Nash equilibrium can be generalized to every bimatrix game.
Proposition 3. Let be a probability distribution over the outcomes of bimatrix game (1), and let be associated with (1). Then is a correlated equilibrium in (1) if and only if the strategy profile is a Nash equilibrium in . Proof. Let us consider the expression
Therefore, Inequality (
76) is equivalent to
for
.
In general,
for
. Analysis similar to the above one shows that
for
.
In this way we have shown that the correlated equilibrium in a bimatrix game is a necessary condition for the existence of the Nash equilibrium in .
To prove that these two notions are equivalent, we show that the other inequalities of the definition of Nash equilibrium are consequences of (
80) and (
81).
Note that
can be written as
for
. Then inequalities
and
imply
and
7. Summary and Conclusions
In quantum game theory it is required that a given quantum scheme coincides with the classical game under specific settings. This means that a quantum approach is a proper generalization of the classical way of playing a game. The new game so obtained is also defined by the sets of strategies and the payoff functions. Therefore, the quantum model is still a game in terms of game theory.
As an example, we examined the notion of correlated equilibrium and its role in the MW-type quantum game. By taking the amplitudes as the square roots of respective probabilities of the correlated equilibrium, we found that the MW game has a pure Nash equilibrium payoff equivalent to the correlated equilibrium. We also pointed out that the MW-type approach to a bimatrix game can be viewed as a game with incomplete information. In particular, the MW model for a game requires four bimatrix games in terms of incomplete information. The MW approach to a game would be represented by eight bimatrix games, and in general, the MW scheme for a game would require bimatrix games. In this sense, the MW model is an effective way of presenting some specific games of incomplete information.
In the later part of the work, we modified the generalized MW scheme so that a Nash equilibrium in the quantum game could determine the correlated equilibrium in the classical game. The construction was based on the Harsanyi model of games with incomplete information, among which each player has two types.
Our work has shown that quantum computing approach to non-cooperative games may have a representation in classical game theory. The examined quantum model for a given classical game turned out to be a more general (classical) game: a Nash equilibrium in the quantum game becomes a correlated equilibrium in the classical bimatrix game; the quantum bimatrix game becomes the bimatrix game with incomplete information. We believe that this feature of quantum games may help to construct new schemes for quantum games.