Professional Documents
Culture Documents
Abstract— Game theory is the study of decision A Bayesian game is a game of incomplete information in
making of competing agents in some conflict situations. which the rules of the game are not fully known to all
Motivation of introducing quantum mechanics into game players. In this one player is unaware of the other player’s
theory is to find a solution resolving the dilemmas in the strategies and payoffs, they are known as games of
game which cannot be achieved in classical game theory. incomplete information.[3]
The weird aspect predicted by quantum mechanics is Battle of sexes
entanglement. The celebrated Einstein-Podolsky-Rosen
(EPR) paradox argued using entanglement that quantum It is a type of Bayesian Game which describes the situation
mechanics is an incomplete theory. However, John Bell of two people e.g. Alice and Bob who wish to go out together
showed that EPR argument is incorrect and hence and two concerts are available: one with music of Bach and
quantum mechanics is a complete theory to describe the the other Stravinsky. The condition here is they are happy
nature. Further, Bell’s inequalities emphasize that when they are together but if they go to different concerts,
entanglement is a fundamentally new resource. In this each of them is equally unhappy listening to the music of
work we are going to investigate the outcome of Bayesian either composer. The situation is represented by the matrix.
games when the underlying probability set is obtained Where Bach and Stravinsky are represented by B and S
from generalized EPR experiment. Nash equilibrium respectively. This is represented by the following matrix.
describes the optimal solutions of the game and it will
exist only when bell’s inequalities are violated. The
objective of this work is to use a different approach to Bob
the quantum game using cereceda inequalities.
B S
Keywords: Quantum Game theory, Bayesian Games,
B (2,1) (0,0)
EPR experiment, cereceda inequalities.
Alice S (0,0) (1,2)
I. INTRODUCTION
Classical Game theory helps us to understand the
situation in which some decision makers connect with each In this game the probability with which Alice expects Bob to
other. It helps us to analyse a competitive situation. It join with her is γ and the probability with which Bob would
contains the essence of the particular situation. Classical not join her is 1-γ. Moreover, Bob expects Alice to join with
game theory is a well-developed branch of mathematics and him with probability ω and with probability 1-ω she will
has wide applications starting from economics, biology, avoid him. The relation between ω and γ is to be determined
sociology and so on [1]. It talks about set of strategy called in the below work.
Nash Equilibrium in which the players get maximum payoff III. VARIANT OF BATTLE OF SEXES
and unilateral deviation of any player will reduce the payoff
[1]. It is factorizable and it includes classical bit i.e. either 0 In the game of Battle of Sexes (BoS) [3] the variant is the
or 1 and no intermediate states. one in which Alice is unsure whether Bob prefers to join her
or prefers to avoid her, whereas Bob knows Alice’s
Quantum Game Theory is an extension of classical game preferences.
theory as it includes the superposition of strategies to be used
on initial states. It is a probabilistic approach which doesn’t In case of incomplete information neither player knows
refer to the formalism of quantum mechanics using state whether the other wants to meet or not [3]. As before Alice
vectors, unitary transformation and quantum measurements assumes that Bob will prefer to join her with probability γ
[1]. It involves qubit i.e. not only 0 and 1 but also includes and will prefer to avoid her with a probability 1-γ. Bob on the
the intermediate states. The quantum game reduces itself to other hand expects with probability ω that Alice will prefer to
the classical game when the considered probability set join him and with probability (1- ω) that she will avoid him
becomes factorable [1]. [4].
II. PRELIMINARIES
Bayesian Game
The action of two types of Bob as well as two types of Alice 1 3
is represented by the pairs (B,B), (B,S), (S,B), (S,S) Where B 2 0; ,1 2
2 2
the first entry is for the Bob of type 1 and second entry is for
(8)
Bob of type 2.[1]
Table 1 Classically on comparing all the types of players we get a
(B,B) (B,S) (S,B) (S,S) relation between ω and there exists point of intersection for
A1 , A2 ; B1 , B2 and A1 , B1 but no intersection for A2,
(B,B) ( 2,0 ) , ( 2 γ , 2−2 γ ) ,( 2−2 γ , 2 γ ) ,( 0,2 ) , B2. Thus there exists no relation between type 2 Alice and
type 2 Bob.
(1,0) (1,2) (0,0) (0,2)
IV. QUANTUM PROBABILITIES IN GENERALIZED
EPR EXPERIMENT
(B,S) ( 2,1 ) , (2 γ , γ ) , ( 2−2 γ ,1−γ( 0,0
), ),
EPR experiment is standard setting which involves a large
(ω ,1−ω) (ω ,2 ω) (2−2ω ,1−ω) (2−2ω ,2 ω)no of runs. Here the observers are spatially separated and
(S,B) ( 0,0 ) , ( 1−γ , 2−2 γ( γ) ,,2 γ ) , ( 1,2 ) , cannot communicate with each other. Here we consider the
(2 ω , 2−2 ω)set of non factorisable quantum probabilities obtained from
(1−ω , ω) ¿ (2 ω , ω) generalized EPR experiment.
Two halves of an EPR originate from the same source
(S,S) travelling in opposite direction. One half is received by
( 0,1 ) , ( 1−γ , γ ) , ( γ ,1−γ ) , ( 1,0 ) , observer 1 and the other half by observer 2. The outcome of
(0,1) (0,0) (2,1) (2,0) quantum measurement is either +1 or -1 [1].
The 16 probabilities are represented by the following matrix.
Observer 2
The entries in the brackets are the expected payoffs of Bob of
type 1 and 2 and Alice of type 1 and 2. For the two pairs of 1 2 5 6
payoff entries, the first pair is for Alice’s two types and
second pair is for Bob’s two types. Observer 1 3 4 7 8
9 10 13 14
The mixed strategy payoffs for Alice’s and Bob’s two types
are found to be as follows 11 12 15 16
A1 ( p; p ', q ') (3 pp ' 3 pq ' p ' q ') (3 pq ' p q ' 1) (1) The probability set ϑ={ε 2 , ε 3 , ε 6 , ε 7 , ε 10 , ε 11 , ε 13 , ε 16 } is
expressed in terms of
A 2 ( q; p ', q ') (3qq ' 3qp ' q ' p ') (q ' 2q 3qq ') (2) μ={ε 1 , ε 4 , ε 5 , ε 8 , ε 9 , ε 12 , ε 14 , ε 15 }.
The eight dependent variables are written in terms of
B1 ( p '; p, q ) (3 pp ' 3qp ' 2 p 2q) (3qp ' 2 p ' 2q 2) (3) independent variables as follows. [1]
B 2 (q '; p, q ) (3qq ' 3 pq ' 2q 2 p) (q ' 2q 3qq ') 2 (1 1 4 5 8 9 12 14 15 ) / 2
(4)
3 (1 1 4 5 8 9 12 14 15 ) / 2
Here π A 1 represents payoff of Alice of type 1, π A 2 6 (1 1 4 5 8 9 12 14 15 ) / 2
represents payoff of Alice of type 2, π B 1 represents payoff
7 (1 1 4 5 8 9 12 14 15 ) / 2
of Bob of type 1 and π B 2 represents payoff of Bob of type 2.
The pure strategies B and S are given by the numbers p, q, 10 (1 1 4 5 8 9 12 14 15 ) / 2
p’ and q’ ϵ [0, 1] for Alice of type 1, Alice of type 2, Bob of 11 (1 1 4 5 8 9 12 14 15 ) / 2
type 1 and Bob of type 2 respectively. It is observed that 13 (1 1 4 5 8 9 12 14 15 ) / 2
{(1/2, 1), (2/3, 0)} is a mixed strategy Bayesian Game Nash
Equilibrium at which players’ payoff are obtained as 16 (1 1 4 5 8 9 12 14 15 ) / 2
Using the above four equations of p, q, p’, q’ and the payoff When a game starts each player receives a random binary
equations of Alice and Bob of two types we get the input B and S. Each player knows his/her own input but is
following equations unaware of other player’s output. The output of Alice is
A1 B1 a i ∈{0,1 } to denote Alice’s output and b i ∈{0,1 } denote
2 2 Bob’s output. Each entry is a tuple of two values. [8]
p p '
The payoffs of Alice of two types and Bob of two types are
joined in the following tabular form
A 2 B 2
4 2(2 1)
q q ' Table 2:-
Using these payoff equations following graphs are plotted.
a1 a2 b1 b2 πa πb πa+ πb
0 0 0 0 2ω ϒ 2 ω+ϒ
0 0 0 1 2 ω(2 ϒ −1)−2(
−ϒ +2 ϒ −1) 2 ω(2 ϒ −1)−3 ϒ + 4
0 0 1 0 2
0
2[ω+ γ (1−2 ω)] 2[ω+ γ 2 (1−2 ω)]
0 0 1 1 2 ϒ (1−ϒ2(1−ϒ
)(2 ω−1)+2(1−ω)
) 2(1−ϒ )[ϒ (2 ω−1)+
0 1 0 0 ω+ 1 ω (ω ϒ −1)+1 ω 2 ϒ +2
0 1 0 1 ϒ (1+ω) ω (−3 ϒ +2)+ϒ ϒ (2+ω( 1+ 2ω)−2
2
) ω(ϒ −1
0 1 1 0 2
ϒ +2 ω+1
ω (ω−2 γ(3+1)−ϒ ϒ −1) 2
ω (1+ ω−ϒ2ϒ +)+ϒ 1 ω(3−
0 1 1 1 2 ω ϒ (1−ϒ2 ω(1−ϒ
) ω)2 ω(ϒ +1−2 γ 2 −2 ω2
Fig1 Graph between Alice of type 1, 2 and γ 1 0 0 0 0 (2−ϒ )ω2 +ϒ(2−ϒ ) ω2 +ϒ
1 0 0 1 (ϒ −2)( ω)2−1)
ω (1+ϒ )+2(1−ϒ (1+ϒ )ω+ω 2(ϒ −2)−
1 0 1 0 γ 2 (2−ω)(1+ϒ )ω2 γ 2 (2−ω)+(1+ϒ )ω 2
1 0 1 1 ω ϒ (1−ϒ(2)+ϒ2ϒ ωω2
(ϒ −1)−ω+2
−1)2 ϒ (1−ϒ
−2(ϒ −1)+4 ω)−4(ϒ
1 1 0 0 1−ω (1−ϒ )ω −ω+1 2
2(1−ω)+ω2 (1−ϒ )
1 1 0 1 ω (1−2 ϒ(2−3ϒ
)+ϒ )ω+2 ω 2(ϒ −1)+ϒ
(3−5ϒ ) ω+2 ω 2(ϒ −
1 1 1 0 ω (ϒ −1)+ϒ(1−ϒ 2
ϒ −1)+1
(ω)ω +ω( 4(3ϒ ϒ−ω ϒ + γ 2−2+ω
−1)+1−ϒ
1 1 1 1 ω [ϒ (ϒ −1)+
2 ω+2 1]ω 2(ϒ (ω
−1) ϒ +2 ω 2)(ϒ −1)+3
π A 1=ωγ ( 2 P11 11 12 12 2 11 11 12
00 +2 P 01−2 P00 −P11 ) +ω γ ( P11 −2 P 01 ) + ω( P11 +