Online Appendix: Optimal Retrospective Voting
|
|
- Milo Brooks
- 5 years ago
- Views:
Transcription
1 Online Appendix: Optimal Retrospective Voting Ethan Bueno de Mesquita 1 Amanda Friedenberg 2 The notation and setup will be as in the main text, with the following exceptions: Let x l : Ω R be a random variable, with the interpretation that the Legislator s ideal point is x l (ω) when the true state is ω Ω. Now u l : Ω R {0, 1} R, where u l (ω, p, r) = (p x l (ω)) 2 + rb. We extend the definition of a Bayesian Equilibrium in the obvious way, and similarly the definitions of an Expectationally Optimal and a State-by-State Optimal Equilibrium. Uncertainty About the Legislator s Policy Preferences We begin by pointing out that, under this setup, it is without loss of generality to assume that the Voter knows the Legislator s random variable x l : Ω R. To see this, let x v : Ω R and x l : Ω R be the actual random variables of the Voter and Legislator. Append to the game a set of mappings x l : Ω R, viz. X l, where X l is a metric space. Also, append to the game a (transparent) prior ν (Ω X l ), where marg Ω ν = µ. Take the state space to be Ω X l. Construct the random variable x v : Ω X l R so that x v (ω, x l ) = x v (ω) for all (ω, x l ) Ω X l. 3 Construct the random variable x l : Ω X l R so that x l (ω, x l ) = x l (ω) for all (ω, x l ) Ω X l. Extend the definitions of the payoff functions in the obvious way. game. 4 A Bayesian Equilibrium in this expanded game remains a Bayesian Equilibrium in the original So, if the Voter can design an optimal retrospective voting rule in this expanded game, he can also select the associated equilibrium in the original game. Finally, notice that, if Ω and X l are Polish, then we can also expand the state space to incorporate any uncertainty of the Legislator about the Voter s uncertainty, and so on. (To expand the state space, follow the steps in Brandenburger and Dekel [10, 1993].) With this in mind, we stick to the original setup. Bayesian Equilibrium Begin with a characterization of the set of Bayesian Equilibria: Proposition D1 Fix a Bayesian Equilibrium, viz. (s l, s v ) S l S v, and some state ω Ω. Then one of the following conditions must be satisfied: 1 Department of Political Science, Washington University, 1 Brookings Drive, Campus Box 1063, St. Louis, MO 63130, ebuenode@artsci.wustl.edu. 2 Olin School of Business, Washington University, 1 Brookings Drive, Campus Box 1133, St. Louis, MO 63130, friedenberg@wustl.edu. 3 Notice that x v will fail to be injective, even if x v is injective. 4 Condition 1 follows from the fact that every set in the product σ-algebra has measurable sections. Condition 2 is straight forward. 1
2 1. (a) s l (ω) = x l (ω) (b) s v (p) = 0 for all p [x l (ω) B, x l (ω) + B], 2. there exists B > p 0 where, for all p (x l (ω) p, x l (ω) + p), s v (p) = 0 and (a) s l (ω) {x l (ω) p, x l (ω) + p} (b) s v (s l (ω)) = 1, 3. for all p (x l (ω) B, x l (ω) + B), s v (p) = 0 and (a) s l (ω) {x l (ω), x l (ω) B, x l (ω) + B} (b) s v (s l (ω)) = 1 whenever s l (ω) {x l (ω) B, x l (ω) + B}. The proof follows the proof of Proposition 3.2 in Appendix A. Lemma D1 Fix a Bayesian Equilibrium, viz. (s l, s v ) S l S v. For any state ω Ω, s l (ω) [x l (ω) B, x l (ω) + B]. Proof. Fix some Bayesian Equilibrium (s l, s v ) and a state ω Ω. If x l (ω) B > s l (ω), then u l (x l (ω), s v (x l (ω))) B + B > (s l (ω) x l (ω)) 2 + B u l (s l (ω), s v (s l (ω))), where the first inequality follows from the fact that B > (s l (ω) x l (ω)) and so (s l (ω) x l (ω)) 2 > B. But this contradicts Condition 2 of a Bayesian Equilibrium. Suppose that s l (ω) > x l (ω) + B. Then u l (x l (ω), s v (x l (ω))) B + B > (s l (ω) x l (ω)) 2 + B u l (s l (ω), s v (s l (ω))), where the first inequality follows from the fact that (s l (ω) x l (ω)) > B. Again, this contradicts Condition 2 of a Bayesian Equilibrium. Lemma D2 Fix a strategy for the Voter, viz. s v S v, and a state ω Ω where, for some p [x l (ω) B, x l (ω) + B], s v (p) = 1. Suppose, for every policy p R with s v (p) = 1, that there exists a policy q R with (p x l (ω)) 2 > (q x l (ω)) 2. Then there does not exist a strategy for the Legislator, viz. s l S l, such that (s l, s v ) S l S v is a Bayesian Equilibrium. 2
3 Proof. Fix a state ω Ω. Fix also a strategy for the Voter, viz. s v, that satisfies the stated conditions. Contra hypothesis, suppose that there exists a Bayesian Equilibrium (s l, s v ) S l S v. Notice that, from the statement, we must have that s v (x l (ω)) = 0. (If not, we would be able to find some policy q with 0 > (q x l (ω)) 2, which is impossible.) Suppose that x l (ω) p. Since p x l (ω) B, 0 p x l (ω) B. From this B (p x l (ω)) 2. Analogously, consider the case where p x l (ω). Since x l (ω) + B p, B p x l (ω) 0 and so B (p x l (ω)) 2. So, for any value of p [x l (ω) B, x l (ω) + B], (p x l (ω)) 2 B. We will make use of this fact below. The first step will be to show that s l (ω) = x l (ω). To see this, suppose not. We must have s v (s l (ω)) = 1, else u l (x l (ω), s v (x l (ω))) = 0 > (s l (ω) x l (ω)) 2 = u l (s l (ω), s v (s l (ω))), contradicting Condition 2 of a Bayesian Equilibrium. But then we can find a policy p R with s v (p) = 1 and (s l (ω) x l (ω)) 2 > (p x l (ω)) 2. With this u l (p, s v (p)) = (p x l (ω)) 2 + B > (s l (ω) x l (ω)) 2 + B = u l (s l (ω), s v (s l (ω))), contradicting Condition 2 of a Bayesian Equilibrium. The second and last step is to show that we cannot have s l (ω) = x l (ω). For this, notice that using the statement of the Lemma, we can find some policy p R with s v (p) = 1 and (p x l (ω)) 2 > (p x l (ω)) 2. For this policy, u l (p, s v (p)) = (p x l (ω)) 2 + B > (p x l (ω)) 2 + B B + B = u l (x l (ω), s v (x l (ω))), where the third line follows from the fact established above and the fourth from the fact that s v (x l (ω)) = 0. So, using Condition 2 of a Bayesian Equilibrium, s l (ω) x l (ω). Lemma D3 Fix a Bayesian Equilibrium (s l, s v ) S l S v and a state ω Ω. Suppose that either (i) s v (x l (ω)) = 1 or (ii) for any p R with s v (p) = 1, p R\[x l (ω) B, x l (ω) + B]. Then s l (ω) = x l (ω). Proof. Fix a Bayesian Equilibrium (s l, s v ) and a state ω Ω. First, suppose that the condition of Part (i) is satisfied. Then u l (x l (ω), s v (x l (ω))) = B > (p x l (ω)) 2 + B u l (p, s v (p)), 3
4 for any p R\ {x l (ω)}. By Condition 2 of a Bayesian Equilibrium, s l (ω) = x l (ω). Next, suppose that the condition of part (ii) is satisfied. By Lemma D1, s l (ω) [x l (ω) B, xl (ω) + B]. Fix p [x l (ω) B, x l (ω) + B] with p x l (ω). Then u l (x l (ω), s v (x l (ω))) = 0 > (p x l (ω)) 2 = u l (p, s v (p)). By Condition 2 of a Bayesian Equilibrium, s l (ω) = x l (ω). Lemma D4 Fix a Bayesian Equilibrium (s l, s v ) S l S v and a state ω Ω. Let B > p 0 be a policy with (i) for all p (x l (ω) p, x l (ω) + p), s v (p) = 0 and (ii) s v ({x l (ω) p, x l (ω) + p}) {0}. Then s l (ω) {x l (ω) p, x l (ω) + p} and s v (s l (ω)) = 1. Proof. Fix a Bayesian Equilibrium (s l, s v ) and a state ω Ω. Also, fix some p as in the statement of the Lemma. Throughout this proof, we will suppose that s v (x l (ω) p) = 1. An analogous argument works if s v (x l (ω) + p) = 1. Note, u l (x l (ω) p, s v (x l (ω) p)) = p 2 + B > 0. For p (x l (ω) p, x l (ω) + p), 0 (p x l (ω)) 2 = u l (p, s v (p)). For p R\ [x l (ω) p, x l (ω) + p], either (a) 0 p > (p x l (ω)) or (b) (p x l (ω)) > p 0. In either case, (p x l (ω)) 2 > p 2, so that 0 > p 2 + B > (p x l (ω)) 2 + B u l (p, s v (p)). Taken together with Condition 2 of a Bayesian Equilibrium, these imply that s l (ω) {x l (ω) p, x l (ω) + p}. Finally, suppose that s v (x l (ω) + p) = 0. Then u l (x l (ω) p, s v (x l (ω) p)) = p 2 + B > p 2 = u l (x l (ω) + p, s v (x l (ω) + p)). Again using Condition 2 of a Bayesian Equilibrium, s l (ω) cannot be x l (ω) + p. Lemma D5 Fix a Bayesian Equilibrium (s l, s v ) S l S v and a state ω Ω. Suppose that for all p (x l (ω) B, x l (ω) + B), s v (p) = 0. Then s l (ω) {x l (ω), x l (ω) B, x l (ω) + B}. Moreover, if s l (ω) {x l (ω) B, x l (ω) + B} then s v (s l (ω)) = 1. Proof. Fix a Bayesian Equilibrium (s l, s v ) and a state ω Ω. Note, u l (x l (ω), s v (x l (ω))) = 0. By Lemma D1, s l (ω) [x l (ω) B, x l (ω) + B]. For p (x l (ω) B, x l (ω) + B)\ {x l (ω)}, 0 > (p x l (ω)) 2 = u l (p, s v (p)). 4
5 By Condition 2 of a Bayesian Equilibrium, s l (ω) {x l (ω), x l (ω) B, x l (ω) + B} as required. Now suppose, contra hypothesis, that s l (ω) {x l (ω) B, x l (ω)+ B} but s v (s l (ω)) = 0. Then u l (x l (ω), s v (x l (ω))) = 0 > B = u l (s l (ω), s v (s l (ω))), contradicting Condition 2. Proof of Proposition D1. Immediate from Lemmata D2, D3, D4, and D5. Optimal Retrospective Voting Return to the case where x l (Ω) = {0}. Then Proposition D1 is simply Proposition 3.2. Recall that if the Voter were to choose a strategy for the Legislator, he would choose a constant strategy that corresponds to his expected ideal point, viz. E (x v ). But, when E (x v ) lies within B of the Legislator s ideal point, the Voter can induce the Legislator to choose (i) E (x v ) when his ideal point is positive and (ii) E (x v ) when his ideal point is negative. From the Voter s perspective, this strategy is preferred. (See Lemma A9 in Appendix A.) Now suppose the Legislator s preferences again depend on the state. Fix a policy p that corresponds to an ideal point for the Legislator, i.e., a policy with (x l ) 1 (p) 0. For simplicity, suppose that p + B E (x v ) > p. Proposition D1 suggests that, at any state in (x l ) 1 (p), the Voter can again induce the Legislator to choose (i) E (x v ) when his ideal point is greater than p and (ii) choose 2p E (x v ) when his ideal point is less than x l (ω). At any state contained in (x l ) 1 (p), the Voter would prefer this equilibrium to a constant strategy that selects his ideal point at every state. 5 But this leaves two open questions: Can the Voter induce the Legislator to choose policies as above, for all sets (x l ) 1 (p) with p + B E (x v ) > p? Can the Voter induce the Legislator to choose a policy that she prefers to E (x v ) at any state (i.e., even when E (x v ) does not lie within B of the Legislator s ideal point)? We don t attempt to address these questions here and, instead, leave them for a separate paper. That said, we will conclude with a result that is suggestive of a mildly positive answer, at least in certain circumstances. For this, we need some additional assumptions. We discuss their importance after presenting the result. Assumption D1 The set x l (Ω) is countable. The random variable x l induces a countable partition over the policy space R, where x l (ω) and x l (ω ) are in the same partition member only if x l (ω) = x l (ω ). By Assumption D1, we can find a countable partition, viz. P, so that each partition member, viz. P k, is an interval with (x l ) 1 (P k ). That is, for each partition member P k, there is some state at which the Legislator s ideal point is contained in P k. Moreover, whenever the Legislator s ideal point is contained in this partition member, it is given by the policy p k P k. 5 Do note, we do not show this result. However, we can follow the proof Lemma A9 to establish this fact. 5
6 Assumption D2 The partition P can be chosen so that, for each partition member P k, p k = sup P k + inf P k. 2 Assumption D3 The partition P can be chosen so that, for all ω Ω, x v (ω) P k if and only if x l (ω) P k. Lemma D6 Suppose that x l satisfies Assumption D1 and that the partition P satisfies Assumptions D2 and D3. Let E (x v ) [p 0 B, p 0 + B] and let r l be a constant strategy with r l (Ω) = {E (x v )}. Define Ω k = (x v ) 1 ([p k B, p k + B]), and Ω = k Ω k. There exists a Bayesian Equilibrium, viz. (s l, s v ) S l S v, and a non-empty set of states Φ Ω where u v (ω, s l (ω)) u v (ω, r l (ω)) for all ω Ω u v (ω, s l (ω)) > u v (ω, r l (ω)) for all ω Φ. Remark D1 If, for each k, P k [p k B, p k + B], then Ω = Ω. Proof of Lemma D6. It will be useful to define policies q k. First set q 0 = E (x v ). Let P n P 0 be such that inf P 0 sup P n. If E (x v ) = sup P n, let q n = E (x v ). If E (x v ) > sup P n, choose q n to satisfy the following requirements: { Let q n P n with q n p n and E (x v ) sup P n sup P n q n. Let q n = min q n, p n + } B. Let P n P 0 be such that inf P n sup P 0. If E (x v ) = inf P n, let q n = E (x v ). If inf P n > E (x v ), choose q n to satisfy the { following requirements: Let q n P n with p n q n and inf P n E (x v ) q n inf P n. Let q n = max q n, p n } B. Notice that, by construction, each q k P k. Define (s l, s v ) as follows: For all ω Ω, s l (ω) = q k if and only if x l (ω) P k. Let s v (p) = 1 if and only if p = q k for some k. We now turn to show that (s l, s v ) is a Bayesian Equilibrium. Note that Condition 1 follows from Assumption[ D1 and Lemma A7. For Condition 2, fix some ω Ω with x l (ω) P k. By construction, q k p k, p k + ] B when 0 > k, q k [p k ] B, p k when k > 0, and similarly for q 0. So B (q k p k ) 2 and u l (ω, s l (ω), s v (s l (ω))) = (q k p k ) 2 + B B + B. Fix some p q k. If s v (p) = 0 then, using the above inequality, u l (ω, s l (ω), s v (s l (ω))) 0 u l (ω, p, s v (p)). So, suppose that s v (p) = 1. Then there exists some partition member P j with p = q j. Recall, { then, that q j P j P k (since p q k ). Assume that 0 > k so that q k = min q k, p k + } B. If 6
7 j k, certainly q j q k, so that (using the fact that q k p k ) u l (ω, s l (ω), s v (s l (ω))) = (q k p k ) 2 + B ( q j p k ) 2 + B = ul (ω, p, s v (p)), as required. Suppose then that k > j. Since q k P k, sup P k q k. Using Assumption D2, this implies that 2p k q k inf P k. Now, since k > j, inf P k q j. Notice, then, that, since q k p k, the above inequalities imply that p k 2p k q k q j. As such ( qj p k ) 2 (2pk q k p k ) 2 = (q k p k ) 2. It follows that u l (ω, s l (ω), s v (s l (ω))) = (q k p k ) 2 + B ( q j p k ) 2 + B = ul (ω, p, s v (p)), as required. An analogous argument applies when k 0, so we omit it here. We now need to show that (s l, s v )[ satisfies the desired properties. To show this, fix some state ω Ω with x l (ω) P k and x v (ω) p k B, p k + ] B. If k = 0, then u v (ω, s l (ω)) = (E (x v ) x v (ω)) 2 = u v (ω, r l (ω)), { as required. Suppose that 0 > k. By Assumption D3, min sup P k, p k + } B suppose that s l (ω) = q k. By choice of q k and the fact that sup P k x v (ω), we have x v (ω). First, E (x v ) x v (ω) E (x v ) sup P k sup P k q k x v (ω) q k, where the first and third inequalities are strict whenever sup P k > x v (ω). It follows that u v (ω, s l (ω)) = (q k x v (ω)) 2 (E (x v ) x v (ω)) 2 = u v (ω, r l (ω)), where again the inequality is strict whenever sup P k > x v (ω). Next, suppose that s l (ω) = p k + B qk. Then q k > p k + B x v (ω). So, using the above inequalities we have ( u v (ω, s l (ω)) = p k + ) 2 B x v (ω) > (q k x v (ω)) 2 (E (x v ) x v (ω)) 2 = u v (ω, r l (ω)), 7
8 as required. Notice the role each of the assumptions play in the proof of Lemma D6. Assumption D1 guarantees that the strategy constructed for the Legislator is measurable. Assumption D2 serves to ensure that, when the Voter offers the Legislator incentives within partition member P k, this does not limit his ability to offer incentives in other partition members. This effect can be achieved with the following alternate assumption. 6 Assumption D4 The partition P can be chosen so that, for each partition member P k, [ p k B, p k + ] B P k. Finally, Assumption D3 guarantees that when the Voter offers electoral incentives to choose policy p, the Legislator does not want to choose policy p at states where Voter prefers E (x v ) over p. The extent to which these assumptions can be relaxed is left for future work. 6 To see this, notice that under this alternate assumption q k = p k + B. So, the statement that Assumption D2... implies... 2p k q k inf P k can be replaced by Assumption D4... implies... p k B inf P k. 8
Supplementary Online Material for Ideologues or Pragmatists?
Supplementary Online Material for Ideologues or Pragmatists? Ethan Bueno de Mesquita Amanda Friedenberg September 24, 2009 Harris School, University of Chicago, 1155 E. 60 th St., Chicago, IL 60637, bdm@uchicago.edu.
More informationADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS
ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS 1. Cardinal number of a set The cardinal number (or simply cardinal) of a set is a generalization of the concept of the number of elements
More informationDefinitions and Proofs
Giving Advice vs. Making Decisions: Transparency, Information, and Delegation Online Appendix A Definitions and Proofs A. The Informational Environment The set of states of nature is denoted by = [, ],
More informationLexicographic Beliefs and Assumption
Lexicographic Beliefs and Assumption Eddie Dekel Amanda Friedenberg Marciano Siniscalchi May 8, 2014 1 Introduction Lexicographic beliefs (henceforth l-beliefs) have become a relatively standard tool,
More informationEconomics 209A Theory and Application of Non-Cooperative Games (Fall 2013) Extensive games with perfect information OR6and7,FT3,4and11
Economics 209A Theory and Application of Non-Cooperative Games (Fall 2013) Extensive games with perfect information OR6and7,FT3,4and11 Perfect information A finite extensive game with perfect information
More informationTijmen Daniëls Universiteit van Amsterdam. Abstract
Pure strategy dominance with quasiconcave utility functions Tijmen Daniëls Universiteit van Amsterdam Abstract By a result of Pearce (1984), in a finite strategic form game, the set of a player's serially
More informationMATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 2: Countability and Cantor Sets
MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION Chapter 2: Countability and Cantor Sets Countable and Uncountable Sets The concept of countability will be important in this course
More informationABSTRACT INTEGRATION CHAPTER ONE
CHAPTER ONE ABSTRACT INTEGRATION Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Suggestions and errors are invited and can be mailed
More informationEfficient Random Assignment with Cardinal and Ordinal Preferences: Online Appendix
Efficient Random Assignment with Cardinal and Ordinal Preferences: Online Appendix James C. D. Fisher December 11, 2018 1 1 Introduction This document collects several results, which supplement those in
More informationPersuading Skeptics and Reaffirming Believers
Persuading Skeptics and Reaffirming Believers May, 31 st, 2014 Becker-Friedman Institute Ricardo Alonso and Odilon Camara Marshall School of Business - USC Introduction Sender wants to influence decisions
More informationInformativeness and the Incumbency Advantage
Informativeness and the Incumbency Advantage Scott Ashworth Ethan Bueno de Mesquita Amanda Friedenberg April 22, 2017 1 / 23 The Incumbency Advantage Following Erickson (1971), a large literature has studied
More informationWHY SATURATED PROBABILITY SPACES ARE NECESSARY
WHY SATURATED PROBABILITY SPACES ARE NECESSARY H. JEROME KEISLER AND YENENG SUN Abstract. An atomless probability space (Ω, A, P ) is said to have the saturation property for a probability measure µ on
More informationPayoff Continuity in Incomplete Information Games
journal of economic theory 82, 267276 (1998) article no. ET982418 Payoff Continuity in Incomplete Information Games Atsushi Kajii* Institute of Policy and Planning Sciences, University of Tsukuba, 1-1-1
More informationarxiv: v1 [math.fa] 14 Jul 2018
Construction of Regular Non-Atomic arxiv:180705437v1 [mathfa] 14 Jul 2018 Strictly-Positive Measures in Second-Countable Locally Compact Non-Atomic Hausdorff Spaces Abstract Jason Bentley Department of
More information(x k ) sequence in F, lim x k = x x F. If F : R n R is a function, level sets and sublevel sets of F are any sets of the form (respectively);
STABILITY OF EQUILIBRIA AND LIAPUNOV FUNCTIONS. By topological properties in general we mean qualitative geometric properties (of subsets of R n or of functions in R n ), that is, those that don t depend
More information6.207/14.15: Networks Lecture 24: Decisions in Groups
6.207/14.15: Networks Lecture 24: Decisions in Groups Daron Acemoglu and Asu Ozdaglar MIT December 9, 2009 1 Introduction Outline Group and collective choices Arrow s Impossibility Theorem Gibbard-Satterthwaite
More informationApproval Voting: Three Examples
Approval Voting: Three Examples Francesco De Sinopoli, Bhaskar Dutta and Jean-François Laslier August, 2005 Abstract In this paper we discuss three examples of approval voting games. The first one illustrates
More informationConsistent Beliefs in Extensive Form Games
Games 2010, 1, 415-421; doi:10.3390/g1040415 OPEN ACCESS games ISSN 2073-4336 www.mdpi.com/journal/games Article Consistent Beliefs in Extensive Form Games Paulo Barelli 1,2 1 Department of Economics,
More informationIterated Dominance Revisited
Iterated Dominance Revisited Amanda Friedenberg H. Jerome Keisler August 14, 2011 1 Introduction Iterated deletion of strongly dominated strategies has a long tradition in game theory, going back at least
More informationCoalitionally strategyproof functions depend only on the most-preferred alternatives.
Coalitionally strategyproof functions depend only on the most-preferred alternatives. H. Reiju Mihara reiju@ec.kagawa-u.ac.jp Economics, Kagawa University, Takamatsu, 760-8523, Japan April, 1999 [Social
More information(2) E M = E C = X\E M
10 RICHARD B. MELROSE 2. Measures and σ-algebras An outer measure such as µ is a rather crude object since, even if the A i are disjoint, there is generally strict inequality in (1.14). It turns out to
More information3 Measurable Functions
3 Measurable Functions Notation A pair (X, F) where F is a σ-field of subsets of X is a measurable space. If µ is a measure on F then (X, F, µ) is a measure space. If µ(x) < then (X, F, µ) is a probability
More informationAnalysis III. Exam 1
Analysis III Math 414 Spring 27 Professor Ben Richert Exam 1 Solutions Problem 1 Let X be the set of all continuous real valued functions on [, 1], and let ρ : X X R be the function ρ(f, g) = sup f g (1)
More informationSupplementary appendix to the paper Hierarchical cheap talk Not for publication
Supplementary appendix to the paper Hierarchical cheap talk Not for publication Attila Ambrus, Eduardo M. Azevedo, and Yuichiro Kamada December 3, 011 1 Monotonicity of the set of pure-strategy equilibria
More informationMaths 212: Homework Solutions
Maths 212: Homework Solutions 1. The definition of A ensures that x π for all x A, so π is an upper bound of A. To show it is the least upper bound, suppose x < π and consider two cases. If x < 1, then
More informationHomework 1 (revised) Solutions
Homework 1 (revised) Solutions 1. Textbook, 1.1.1, # 1.1.2 (p. 24) Let S be an ordered set. Let A be a non-empty finite subset. Then A is bounded and sup A, inf A A Solution. The hint was: Use induction,
More informationBayesian Persuasion Online Appendix
Bayesian Persuasion Online Appendix Emir Kamenica and Matthew Gentzkow University of Chicago June 2010 1 Persuasion mechanisms In this paper we study a particular game where Sender chooses a signal π whose
More informationCharacterisation of Accumulation Points. Convergence in Metric Spaces. Characterisation of Closed Sets. Characterisation of Closed Sets
Convergence in Metric Spaces Functional Analysis Lecture 3: Convergence and Continuity in Metric Spaces Bengt Ove Turesson September 4, 2016 Suppose that (X, d) is a metric space. A sequence (x n ) X is
More informationMATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals
MATH 02 INTRODUCTION TO MATHEMATICAL ANALYSIS Properties of Real Numbers Some Fundamentals The whole course will be based entirely on the study of sequence of numbers and functions defined on the real
More informationTheorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers
Page 1 Theorems Wednesday, May 9, 2018 12:53 AM Theorem 1.11: Greatest-Lower-Bound Property Suppose is an ordered set with the least-upper-bound property Suppose, and is bounded below be the set of lower
More informationLECTURE 15: COMPLETENESS AND CONVEXITY
LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other
More informationRepeated Downsian Electoral Competition
Repeated Downsian Electoral Competition John Duggan Department of Political Science and Department of Economics University of Rochester Mark Fey Department of Political Science University of Rochester
More information5 Set Operations, Functions, and Counting
5 Set Operations, Functions, and Counting Let N denote the positive integers, N 0 := N {0} be the non-negative integers and Z = N 0 ( N) the positive and negative integers including 0, Q the rational numbers,
More informationAppendix. First, we show that the sequence {θ k } is bounded below. By. ProofofLemma4.
Appendix ProofofLemma4. First, we show that the sequence {θ k } is bounded below. By contradiction: for every N finite there exists k> such that N [θ k 1, θ k ) for some θ k 1 >. Bydefinition of PBEC and
More informationChapter 8. General Countably Additive Set Functions. 8.1 Hahn Decomposition Theorem
Chapter 8 General Countably dditive Set Functions In Theorem 5.2.2 the reader saw that if f : X R is integrable on the measure space (X,, µ) then we can define a countably additive set function ν on by
More informationA remark on discontinuous games with asymmetric information and ambiguity
Econ Theory Bull DOI 10.1007/s40505-016-0100-5 RESEARCH ARTICLE A remark on discontinuous games with asymmetric information and ambiguity Wei He 1 Nicholas C. Yannelis 1 Received: 7 February 2016 / Accepted:
More information2. The Concept of Convergence: Ultrafilters and Nets
2. The Concept of Convergence: Ultrafilters and Nets NOTE: AS OF 2008, SOME OF THIS STUFF IS A BIT OUT- DATED AND HAS A FEW TYPOS. I WILL REVISE THIS MATE- RIAL SOMETIME. In this lecture we discuss two
More informationONLINE APPENDIX. Upping the Ante: The Equilibrium Effects of Unconditional Grants to Private Schools
ONLINE APPENDIX Upping the Ante: The Equilibrium Effects of Unconditional Grants to Private Schools T. Andrabi, J. Das, A.I. Khwaja, S. Ozyurt, and N. Singh Contents A Theory A.1 Homogeneous Demand.................................
More informationg 2 (x) (1/3)M 1 = (1/3)(2/3)M.
COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More informationThe Condorcet Jur(ies) Theorem
The Condorcet Jur(ies) Theorem David S. Ahn University of California, Berkeley Santiago Oliveros Haas School of Business, UC Berkeley September 2010 Abstract Two issues can be decided in a single election
More informationImportant Properties of R
Chapter 2 Important Properties of R The purpose of this chapter is to explain to the reader why the set of real numbers is so special. By the end of this chapter, the reader should understand the difference
More informationMA651 Topology. Lecture 10. Metric Spaces.
MA65 Topology. Lecture 0. Metric Spaces. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Linear Algebra and Analysis by Marc Zamansky
More informationLexicographic Beliefs and Assumption
Lexicographic Beliefs and Assumption Eddie Dekel Amanda Friedenberg Marciano Siniscalchi May 5, 2016 Abstract Foundations for iterated admissibility (i.e., the iterated removal of weakly dominated strategies)
More informationIntegration on Measure Spaces
Chapter 3 Integration on Measure Spaces In this chapter we introduce the general notion of a measure on a space X, define the class of measurable functions, and define the integral, first on a class of
More informationBargaining Under Strategic Uncertainty
Bargaining Under Strategic Uncertainty Amanda Friedenberg September 2, 2013 Extremely Preliminary Abstract This paper provides a novel understanding of delays in reaching agreements based on the idea of
More informationA Countably-Based Domain Representation of a Non-Regular Hausdorff Space
A Countably-Based Domain Representation of a Non-Regular Hausdorff Space Harold Bennett and David Lutzer April 4, 2006 Abstract In this paper we give an example of a countably-based algebraic domain D
More informationEvents Concerning Knowledge
Events Concerning Knowledge Edward J. Green Department of Economics The Pennsylvania State University University Park, PA 16802, USA eug2@psu.edu DRAFT: 2010.04.05 Abstract Aumann s knowledge operator
More informationWe set up the basic model of two-sided, one-to-one matching
Econ 805 Advanced Micro Theory I Dan Quint Fall 2009 Lecture 18 To recap Tuesday: We set up the basic model of two-sided, one-to-one matching Two finite populations, call them Men and Women, who want to
More informationDEPARTMENT OF ECONOMICS WORKING PAPER SERIES. Modeling Resource Flow Asymmetries using Condensation Networks
DEPARTMENT OF ECONOMICS WORKING PAPER SERIES Modeling Resource Flow Asymmetries using Condensation Networks Pascal Billand Universite de Lyon, Universite Jean Monnet & CNRS, GATE Lyon St. Etienne Christophe
More informationSOME TRANSFINITE INDUCTION DEDUCTIONS
SOME TRANSFINITE INDUCTION DEDUCTIONS SYLVIA DURIAN Abstract. This paper develops the ordinal numbers and transfinite induction, then demonstrates some interesting applications of transfinite induction.
More informationWars of Attrition with Budget Constraints
Wars of Attrition with Budget Constraints Gagan Ghosh Bingchao Huangfu Heng Liu October 19, 2017 (PRELIMINARY AND INCOMPLETE: COMMENTS WELCOME) Abstract We study wars of attrition between two bidders who
More informationEconomics 204 Fall 2011 Problem Set 1 Suggested Solutions
Economics 204 Fall 2011 Problem Set 1 Suggested Solutions 1. Suppose k is a positive integer. Use induction to prove the following two statements. (a) For all n N 0, the inequality (k 2 + n)! k 2n holds.
More informationTurnout, Polarization, and Duverger s Law.
Turnout, Polarization, and Duverger s Law. Online Appendix: Steven Callander & Catherine H. Wilson November 0, 006 Proof of Lemma 1: The assumptions on f imply for e>d that V (E) 0 as e e the interval
More informationOnline Appendix Durable Goods Monopoly with Stochastic Costs
Online Appendix Durable Goods Monopoly with Stochastic Costs Juan Ortner Boston University March 2, 2016 OA1 Online Appendix OA1.1 Proof of Theorem 2 The proof of Theorem 2 is organized as follows. First,
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationStrongly Consistent Self-Confirming Equilibrium
Strongly Consistent Self-Confirming Equilibrium YUICHIRO KAMADA 1 Department of Economics, Harvard University, Cambridge, MA 02138 Abstract Fudenberg and Levine (1993a) introduce the notion of self-confirming
More informationWEAKLY DOMINATED STRATEGIES: A MYSTERY CRACKED
WEAKLY DOMINATED STRATEGIES: A MYSTERY CRACKED DOV SAMET Abstract. An informal argument shows that common knowledge of rationality implies the iterative elimination of strongly dominated strategies. Rationality
More informationCHAPTER 7. Connectedness
CHAPTER 7 Connectedness 7.1. Connected topological spaces Definition 7.1. A topological space (X, T X ) is said to be connected if there is no continuous surjection f : X {0, 1} where the two point set
More informationProof. We indicate by α, β (finite or not) the end-points of I and call
C.6 Continuous functions Pag. 111 Proof of Corollary 4.25 Corollary 4.25 Let f be continuous on the interval I and suppose it admits non-zero its (finite or infinite) that are different in sign for x tending
More informationNormed Vector Spaces and Double Duals
Normed Vector Spaces and Double Duals Mathematics 481/525 In this note we look at a number of infinite-dimensional R-vector spaces that arise in analysis, and we consider their dual and double dual spaces
More informationA Note on Kuhn s Theorem
A Note on Kuhn s Theorem Adam Brandenburger Stern School of Business New York University 44 West Fourth Street New York, NY 10012, United States of America adam.brandenburger@stern.nyu.edu Abstract We
More informationSuppose R is an ordered ring with positive elements P.
1. The real numbers. 1.1. Ordered rings. Definition 1.1. By an ordered commutative ring with unity we mean an ordered sextuple (R, +, 0,, 1, P ) such that (R, +, 0,, 1) is a commutative ring with unity
More informationThus, X is connected by Problem 4. Case 3: X = (a, b]. This case is analogous to Case 2. Case 4: X = (a, b). Choose ε < b a
Solutions to Homework #6 1. Complete the proof of the backwards direction of Theorem 12.2 from class (which asserts the any interval in R is connected). Solution: Let X R be a closed interval. Case 1:
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationPart III. 10 Topological Space Basics. Topological Spaces
Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.
More informationAN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES
AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES DUSTIN HEDMARK Abstract. A study of the conditions under which a topological space is metrizable, concluding with a proof of the Nagata Smirnov
More informationPrinciples of Real Analysis I Fall I. The Real Number System
21-355 Principles of Real Analysis I Fall 2004 I. The Real Number System The main goal of this course is to develop the theory of real-valued functions of one real variable in a systematic and rigorous
More informationIntroduction to Game Theory
COMP323 Introduction to Computational Game Theory Introduction to Game Theory Paul G. Spirakis Department of Computer Science University of Liverpool Paul G. Spirakis (U. Liverpool) Introduction to Game
More information1 Stochastic Dynamic Programming
1 Stochastic Dynamic Programming Formally, a stochastic dynamic program has the same components as a deterministic one; the only modification is to the state transition equation. When events in the future
More informationMeasures and Measure Spaces
Chapter 2 Measures and Measure Spaces In summarizing the flaws of the Riemann integral we can focus on two main points: 1) Many nice functions are not Riemann integrable. 2) The Riemann integral does not
More informationDisintegration into conditional measures: Rokhlin s theorem
Disintegration into conditional measures: Rokhlin s theorem Let Z be a compact metric space, µ be a Borel probability measure on Z, and P be a partition of Z into measurable subsets. Let π : Z P be the
More informationProblem Set. Problem Set #1. Math 5322, Fall March 4, 2002 ANSWERS
Problem Set Problem Set #1 Math 5322, Fall 2001 March 4, 2002 ANSWRS i All of the problems are from Chapter 3 of the text. Problem 1. [Problem 2, page 88] If ν is a signed measure, is ν-null iff ν () 0.
More informationa i,1 a i,j a i,m be vectors with positive entries. The linear programming problem associated to A, b and c is to find all vectors sa b
LINEAR PROGRAMMING PROBLEMS MATH 210 NOTES 1. Statement of linear programming problems Suppose n, m 1 are integers and that A = a 1,1... a 1,m a i,1 a i,j a i,m a n,1... a n,m is an n m matrix of positive
More informationA second look at minsup points and the existence of pure Nash equilibria. Adib Bagh Departments of Economics and Mathematics University of Kentucky.
A second look at minsup points and the existence of pure Nash equilibria Adib Bagh Departments of Economics and Mathematics University of Kentucky. Abstract. We prove the existence of pure strategy Nash
More informationMultiple Equilibria in the Citizen-Candidate Model of Representative Democracy.
Multiple Equilibria in the Citizen-Candidate Model of Representative Democracy. Amrita Dhillon and Ben Lockwood This version: March 2001 Abstract De Sinopoli and Turrini (1999) present an example to show
More informationSignaling and Learning in Collective Bargaining 1
Signaling and Learning in Collective Bargaining 1 Jidong Chen Beijing Normal University Abstract We analyze a two-period collective bargaining game with asymmetric information and a persistent agenda setter.
More informationMANAGEMENT SCIENCE doi /mnsc ec pp. ec1 ec6
MANAGEMENT SCIENCE doi 10.1287/mnsc.1060.0680ec pp. ec1 ec6 e-companion ONLY AVAILABLE IN ELECTRONIC FORM informs 2007 INFORMS Electronic Companion The Horizontal Scope of the Firm: Organizational Tradeoffs
More informationv( x) u( y) dy for any r > 0, B r ( x) Ω, or equivalently u( w) ds for any r > 0, B r ( x) Ω, or ( not really) equivalently if v exists, v 0.
Sep. 26 The Perron Method In this lecture we show that one can show existence of solutions using maximum principle alone.. The Perron method. Recall in the last lecture we have shown the existence of solutions
More informationFundamental Inequalities, Convergence and the Optional Stopping Theorem for Continuous-Time Martingales
Fundamental Inequalities, Convergence and the Optional Stopping Theorem for Continuous-Time Martingales Prakash Balachandran Department of Mathematics Duke University April 2, 2008 1 Review of Discrete-Time
More informationClimbing an Infinite Ladder
Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction Climbing an Infinite
More informationONLINE APPENDICES FOR INCENTIVES IN EXPERIMENTS: A THEORETICAL INVESTIGATION BY AZRIELI, CHAMBERS & HEALY
ONLINE APPENDICES FOR INCENTIVES IN EXPERIMENTS: A THEORETICAL INVESTIGATION BY AZRIELI, CHAMBERS & HEALY Appendix B. Modeling Games as Decisions In this appendix we describe how one can move seamlessly
More informationi. v = 0 if and only if v 0. iii. v + w v + w. (This is the Triangle Inequality.)
Definition 5.5.1. A (real) normed vector space is a real vector space V, equipped with a function called a norm, denoted by, provided that for all v and w in V and for all α R the real number v 0, and
More informationNoncooperative continuous-time Markov games
Morfismos, Vol. 9, No. 1, 2005, pp. 39 54 Noncooperative continuous-time Markov games Héctor Jasso-Fuentes Abstract This work concerns noncooperative continuous-time Markov games with Polish state and
More informationThe Context of the Game
The Context of the Game Amanda Friedenberg Martin Meier First Draft: October 2007 This Draft: June 2015 Abstract Here, we study games of incomplete information and argue that it is important to correctly
More information1 Definition of the Riemann integral
MAT337H1, Introduction to Real Analysis: notes on Riemann integration 1 Definition of the Riemann integral Definition 1.1. Let [a, b] R be a closed interval. A partition P of [a, b] is a finite set of
More informationKnown Unknowns: Power Shifts, Uncertainty, and War.
Known Unknowns: Power Shifts, Uncertainty, and War. Online Appendix Alexandre Debs and Nuno P. Monteiro May 10, 2016 he Appendix is structured as follows. Section 1 offers proofs of the formal results
More informationLevels of Knowledge and Belief Computational Social Choice Seminar
Levels of Knowledge and Belief Computational Social Choice Seminar Eric Pacuit Tilburg University ai.stanford.edu/~epacuit November 13, 2009 Eric Pacuit 1 Introduction and Motivation Informal Definition:
More informationProperly forking formulas in Urysohn spaces
Properly forking formulas in Urysohn spaces Gabriel Conant University of Notre Dame gconant@nd.edu March 4, 2016 Abstract In this informal note, we demonstrate the existence of forking and nondividing
More informationAppendix of Homophily in Peer Groups The Costly Information Case
Appendix of Homophily in Peer Groups The Costly Information Case Mariagiovanna Baccara Leeat Yariv August 19, 2012 1 Introduction In this Appendix we study the information sharing application analyzed
More information(U) =, if 0 U, 1 U, (U) = X, if 0 U, and 1 U. (U) = E, if 0 U, but 1 U. (U) = X \ E if 0 U, but 1 U. n=1 A n, then A M.
1. Abstract Integration The main reference for this section is Rudin s Real and Complex Analysis. The purpose of developing an abstract theory of integration is to emphasize the difference between the
More informationInformation aggregation under non-strategic voting
Information aggregation under non-strategic voting Ignacio Esponda (NYU Stern) Demian Pouzo (UC Berkeley) August 14, 2010 Abstract A presumed benefit of group decision-making is to select the best alternative
More informationThe geometry of secants in embedded polar spaces
The geometry of secants in embedded polar spaces Hans Cuypers Department of Mathematics Eindhoven University of Technology P.O. Box 513 5600 MB Eindhoven The Netherlands June 1, 2006 Abstract Consider
More informationArrow s Paradox. Prerna Nadathur. January 1, 2010
Arrow s Paradox Prerna Nadathur January 1, 2010 Abstract In this paper, we examine the problem of a ranked voting system and introduce Kenneth Arrow s impossibility theorem (1951). We provide a proof sketch
More informationarxiv: v1 [math.pr] 26 Mar 2008
arxiv:0803.3679v1 [math.pr] 26 Mar 2008 The game-theoretic martingales behind the zero-one laws Akimichi Takemura 1 takemura@stat.t.u-tokyo.ac.jp, http://www.e.u-tokyo.ac.jp/ takemura Vladimir Vovk 2 vovk@cs.rhul.ac.uk,
More informationMATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION. Extra Reading Material for Level 4 and Level 6
MATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION Extra Reading Material for Level 4 and Level 6 Part A: Construction of Lebesgue Measure The first part the extra material consists of the construction
More informationEconomics Bulletin, 2012, Vol. 32 No. 1 pp Introduction. 2. The preliminaries
1. Introduction In this paper we reconsider the problem of axiomatizing scoring rules. Early results on this problem are due to Smith (1973) and Young (1975). They characterized social welfare and social
More informationMax-min (σ-)additive representation of monotone measures
Noname manuscript No. (will be inserted by the editor) Max-min (σ-)additive representation of monotone measures Martin Brüning and Dieter Denneberg FB 3 Universität Bremen, D-28334 Bremen, Germany e-mail:
More informationMeasurable Choice Functions
(January 19, 2013) Measurable Choice Functions Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/choice functions.pdf] This note
More informationConsensus building: How to persuade a group
Consensus building: How to persuade a group Bernard Caillaud and Jean Tirole May 7, 007 Additional materials Proof of Lemma C1 Referring to Appendix C and using feasibility constraints, note that a mechanism
More information