Question

In: Economics

True or False (proof or counterexample): If a strategy profile survives IESDS then it must also...

True or False (proof or counterexample): If a strategy profile survives IESDS then it must also be a Nash equilibrium.

Solutions

Expert Solution

The proposition basically goes like, if a strategy solution is Nash equilibrium then it can not be eliminated by IESDS. This is the reverse scenario present in the question, which is not necessarily true in general, except for some special exceptional cases.

So the statement is FALSE.

Proof of the verdict : (Source : http://homepages.math.uic.edu/~marker/stat473-S16/IESDS.pdf )

statement : If (a ∗ , b∗ ) is a Nash equilibrium, then (a ∗ , b∗ ) is not eliminated by IESDS.

Proof: We prove this by contradiction. Suppose (a ∗ , b∗ ) is eliminated during IESDS. Then one of the strategies is removed at some stage of the construction. Let’s suppose that a ∗ is removed before b ∗ (the other case is similar). Consider the stage when a ∗ is eliminated. At this stage of the construction, we have a game where a ∗ and b ∗ are possible strategies and, because it is about to be eliminated, there is a strategy a 0 ∈ A1 such that a 0 strictly dominates a ∗ . But then v1(a 0 , b∗ ) > v1(a ∗ , b∗ ) and a ∗ is not a best response for Player 1 to b ∗ . This contradicts our assumption that (a ∗ , b∗ ) is a Nash equilibrium. The converse fails. For example, in Battle of the Sexes, (F, O) and (O, F) are not eliminated by IESDS (or even IEDS) but are not Nash equilibria. Similarly, in Mathching Coins no strategies are elimated by IESDS (or IEDS) but no strategy profile is a Nash equilibrium. The converse is true in the special case when there is IEDS solution–i.e. some IESDS procedure ends in a unique solution.


Related Solutions

True or False (proof or counterexample): In any Nash equilibrium, a player is always indifferent between...
True or False (proof or counterexample): In any Nash equilibrium, a player is always indifferent between playing any of her pure strategies.
One of the statements below is true, and the other is false. Identify which is which, give a direct proof of the true one, and give a counterexample to the false one.
One of the statements below is true, and the other is false. Identify which is which, give a direct proof of the true one, and give a counterexample to the false one.(a) The sum of every four consecutive integers is a multiple of 4;(b) the sum of every five consecutive integers is a multiple of 5.(An arbitrary set of four consecutive integers can be written as n, n + 1, n + 2, and n + 3 for some n...
State a complete proof or disprove with an explicit counterexample: a) Every stable matching is also...
State a complete proof or disprove with an explicit counterexample: a) Every stable matching is also Pareto optimal. b) Every Pareto optimal matching is also stable.
1. Determine each of the following is true or false? If false, provide a counterexample. (a)...
1. Determine each of the following is true or false? If false, provide a counterexample. (a) Let X be a continuous random variable which has the pdf fX. Then, for each x, 0 ≤ fX(x) ≤ 1. (b) Any two independent random variables have ρXY = 0. (c) Let X and Y be random variables such that E[XY ] = E[X]E[Y ]. Then, X and Y are independent. 2. Ann plays a game with Bob. Ann draws a number X1...
Determine whether the following statements are true or false, and give an explanation or a counterexample....
Determine whether the following statements are true or false, and give an explanation or a counterexample. (a) log3y< log2y for y> 1 (b) The domain of f(x) = ln(x^2) is x > 0
True or False. If true, quote a relevant theorem or reason, or give a proof. If...
True or False. If true, quote a relevant theorem or reason, or give a proof. If false, give a counterexample or other justification. The set of irrationals in the interval (0, 1) is not countable. (Assume the fact that the set of points in the interval (0, 1) is uncountable.)
True or False. If true, quote a relevant theorem or reason, or give a proof. If...
True or False. If true, quote a relevant theorem or reason, or give a proof. If false, give a counterexample or other justification. There is a one-to-one and onto map between the open interval (0, 1) and the open interval (4, 8).
Determine whether each of the following statements is True or False. If True, write a proof....
Determine whether each of the following statements is True or False. If True, write a proof. If False, exhibit a counterexample. 1) If m, n are arbitrary positive integers, then any system of form x ≡ a (mod m) x ≡ b (mod n) has a solution. 2) If m, n are arbitrary positive integers and the system x ≡ a (mod m) x ≡ b (mod n)     has a solution, then the solution is unique modulo mn. Modern Abstract...
Determine whether each of the following statements is True or False. If True, write a proof....
Determine whether each of the following statements is True or False. If True, write a proof. If False, exhibit a counterexample. 1) If m, n are arbitrary positive integers, then any system of form x ≡ a (mod m) x ≡ b (mod n) has a solution. 2) If m, n are arbitrary positive integers and the system x ≡ a (mod m) x ≡ b (mod n) has a solution, then the solution is unique modulo mn. Modern Abstract...
Write a formal proof to prove the following conjecture to be true or false. If the...
Write a formal proof to prove the following conjecture to be true or false. If the statement is true, write a formal proof of it. If the statement is false, provide a counterexample and a slightly modified statement that is true and write a formal proof of your new statement. Conjecture: Let w, x, y, and z be single-digit numbers. The 4-digit number wxyz* is divisible by 9 if and only if 9 divides the sum w + x +...
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT