Consider the following game, called “Almost Free Lunches” (EDIT: this seems to be a variant of the traveller dilemma). You name any pound-and-pence amount between £0 and £1,000,000; your opponent does likewise. Then you will both get whichever amount named was lowest.
On top of that, the person who named the highest amount must give £0.02 to the other. If you tie, no extra money changes hands.
The only Nash equilibrium of Almost Free Lunches is for both of you to name £0.00.
Proof: Suppose player A has a probability distribution pA over possible amounts to name, and player B has a probability distribution pB over possible amounts. Let mA be the highest amount such that pA(mA) is non-zero; let mB be the same, for B. Assume that (pA,pB) is a Nash equilibrium.
Assume further that mA≥mB (if that’s not the case, then just switch the labels A and B). Then either mA> £0.00 or mA= £0.00 (and hence both players select £0.00).
We’ll now rule out mA> £0.00. If mB> £0.00, then player A can improve their score by replacing mA with m′A=mB−£0.01. To see this, assume that player B has said nB, and player A has said mA. If nB<m′A<mA, then player A can say m′A just as well as mA - either choice gives them the same amount (namely, nB− £0.02).
There remain two other cases. If nB=m′A, then m′A is superior to mA, getting m′A (rather than m′A− £0.02). And if nB=mB, then m′A gets m′A+ £0.02 =mB+ £0.01, rather than mB (if mA=mB) or mB−£0.02 (if mA>mB).
Finally, if mB= £0.00, then player A gets -£0.02 unless they also say £0.00.
Hence if mA> £0.00, the pA cannot be part of a Nash Equilibrium. Thus mA= £0.00 and hence the only Nash Equilibrium is at both players saying £0.00.
Pareto optimal
There are three Pareto-optimal outcomes: (£1,000,000.00, £1,000,000.00), (£1,000,000.01, £999,999.97), and (£999,999.97, £1,000,000.01). All of them are very much above the Nash Equilibrium.
Minmax and maximin
The minmax and maximin values are also both terrible, and also equal to £0.00. This is not surprising, though, as minmax and maximin implicitly assume the other players are antagonistic to you, and are trying to keep your profits low.
Arbitrary badness with two options
This shows that choosing the Nash Equilibrium can be worse than almost every other option. We can of course increase the maximal amount, and get the Nash Equilibrium to be arbitrarily worse than any reasonable solution (I would just say either £1,000,000.00 or £999,999.99, and leave it at that).
But we can also make the Nash Equilibrium arbitrarily close to the worst possible outcome, and that without even requiring more than two options for each player.
Assume that there are four ordered amounts of money/utility: n3>n2>n1>n0. Each player can name n2 or n1. Then if they both name the same, they get that amount of utility. If they name different ones, then then player naming n2 gets n0, and the player naming n1 gets n3.
By the same argument as above, the only Nash equilibrium is for both to name n1. The maximum possible amount is n3; the maximum they can get if they both coordinate is n2, the Nash equilibrium is n1, and the worst option is n0. We can set n1=n0+ϵ and n3=n2+ϵ for arbitrarily tiny ϵ>0, while setting n2 to be larger than n1 by some arbitrarily high amount.
So the situation is as bad as it could possibly be.
Note that this is a variant of the prisoner’s dilemma with different numbers. You could describe it as “Your companion goes to a hideous jail if and only if you defect (and vice versa). Those that don’t defect will also get a dust speck in their eye.”
Nash equilibriums can be arbitrarily bad
Go hungry with Almost Free Lunches
Consider the following game, called “Almost Free Lunches” (EDIT: this seems to be a variant of the traveller dilemma). You name any pound-and-pence amount between £0 and £1,000,000; your opponent does likewise. Then you will both get whichever amount named was lowest.
On top of that, the person who named the highest amount must give £0.02 to the other. If you tie, no extra money changes hands.
What’s the Nash equilibrium of this game? Well:
The only Nash equilibrium of Almost Free Lunches is for both of you to name £0.00.
Proof: Suppose player A has a probability distribution pA over possible amounts to name, and player B has a probability distribution pB over possible amounts. Let mA be the highest amount such that pA(mA) is non-zero; let mB be the same, for B. Assume that (pA,pB) is a Nash equilibrium.
Assume further that mA≥mB (if that’s not the case, then just switch the labels A and B). Then either mA> £0.00 or mA= £0.00 (and hence both players select £0.00).
We’ll now rule out mA> £0.00. If mB> £0.00, then player A can improve their score by replacing mA with m′A=mB−£0.01. To see this, assume that player B has said nB, and player A has said mA. If nB<m′A<mA, then player A can say m′A just as well as mA - either choice gives them the same amount (namely, nB− £0.02).
There remain two other cases. If nB=m′A, then m′A is superior to mA, getting m′A (rather than m′A− £0.02). And if nB=mB, then m′A gets m′A+ £0.02 =mB+ £0.01, rather than mB (if mA=mB) or mB−£0.02 (if mA>mB).
Finally, if mB= £0.00, then player A gets -£0.02 unless they also say £0.00.
Hence if mA> £0.00, the pA cannot be part of a Nash Equilibrium. Thus mA= £0.00 and hence the only Nash Equilibrium is at both players saying £0.00.
Pareto optimal
There are three Pareto-optimal outcomes: (£1,000,000.00, £1,000,000.00), (£1,000,000.01, £999,999.97), and (£999,999.97, £1,000,000.01). All of them are very much above the Nash Equilibrium.
Minmax and maximin
The minmax and maximin values are also both terrible, and also equal to £0.00. This is not surprising, though, as minmax and maximin implicitly assume the other players are antagonistic to you, and are trying to keep your profits low.
Arbitrary badness with two options
This shows that choosing the Nash Equilibrium can be worse than almost every other option. We can of course increase the maximal amount, and get the Nash Equilibrium to be arbitrarily worse than any reasonable solution (I would just say either £1,000,000.00 or £999,999.99, and leave it at that).
But we can also make the Nash Equilibrium arbitrarily close to the worst possible outcome, and that without even requiring more than two options for each player.
Assume that there are four ordered amounts of money/utility: n3>n2>n1>n0. Each player can name n2 or n1. Then if they both name the same, they get that amount of utility. If they name different ones, then then player naming n2 gets n0, and the player naming n1 gets n3.
By the same argument as above, the only Nash equilibrium is for both to name n1. The maximum possible amount is n3; the maximum they can get if they both coordinate is n2, the Nash equilibrium is n1, and the worst option is n0. We can set n1=n0+ϵ and n3=n2+ϵ for arbitrarily tiny ϵ>0, while setting n2 to be larger than n1 by some arbitrarily high amount.
So the situation is as bad as it could possibly be.
Note that this is a variant of the prisoner’s dilemma with different numbers. You could describe it as “Your companion goes to a hideous jail if and only if you defect (and vice versa). Those that don’t defect will also get a dust speck in their eye.”