The aim of this series is to come up with some formalisation of what a game theoretic best choice is without reference to established results before the material is covered in lectures. I will then compare my formalisation to established results.

**Notation**

In Dr. Elliott’s lectures we defined a Nash Equilibrium to be when

for all and for all .

stands for the actions of everyone else other than person .

stands for person ‘s utility, i.e. the numerical value or benefit person i gains.

is the set (collection) of all possible action profiles. An action profile is a combination of actions taken by everyone. E.g. If we’re in a game with precisely two players, player 1 taking action 1 and player 2 taking action 2 constitutes an action profile .

**Finding Expected Utility**

We want to find the expected utility of each action. This is the utility you would obtain by doing that action when everyone else does (this action profile could mean Player 2 does A and Player 3 does B.) multiplied by the probability everyone else does , summed over all action profiles , i.e. all action profiles where you do . That is,

Here, . I’m pretty sure they are equivalent. We thus have the condition .

Let’s apply the equation of expected utility (1) to the Prisoner’s Dilemma to examine the equation further. The game is symmetric, so suppose without loss of generality that we are player 1. The payoffs are as shown below:

We denote option Quiet (stay quiet and don’t tell on the other person) as and option Fink (tell on the other person) as . Then

.

.

Because it’s symmetric, we can solve for the actions that will be taken.

Naively we can suppose that each player chooses the action that yields the higher expected utility. Then

if ,

i.e. if , which is never.

Similarly, if ,

i.e. if , which is always. So both players always choose to fink.

**Generalised**

Through this we can write a generalised equation to find out what payoffs would result in different strategies.

As before, we have if ,

i.e. if (eqn 2)

Because the game is symmetric, I claim and .

Further, I claim that $P(f_1) = P(q_1) = \frac{1}{2}$ if Player 1 is indifferent between and (Left hand side of equation 2 = right hand side RHS of equation 2).

Then, when the player is indifferent between and , we have

.

That just says that, assuming the other player acts randomly (chooses or with probability ), the expected utilities of Player 1 is the same whether (s)he chooses or .

Is this a sufficient condition for a player to be indifferent between q and f? No:

Each player is still better off if they choose , Fink. And in this case it would be silly to choose , Quiet.

We’ll look into this more in the next post in the series.

**For later:**

Once we’ve formalised game theoretic ‘best choices’ well enough, we can then define certain axioms like we did in Social Choice Theory and narrow down the space of equilibria we need to explore to only the equilibria that fit those axioms.

*Feature Image Credits: Scroll.in, Youtube Video.*