Online Appendix: Optimal Retrospective Voting

Size: px
Start display at page:

Download "Online Appendix: Optimal Retrospective Voting"

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? 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 information

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

ADVANCED 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 information

Definitions and Proofs

Definitions 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 information

Lexicographic Beliefs and Assumption

Lexicographic 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 information

Economics 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 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 information

Tijmen Daniëls Universiteit van Amsterdam. Abstract

Tijmen 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 information

MATH31011/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 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 information

ABSTRACT INTEGRATION CHAPTER ONE

ABSTRACT 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 information

Efficient Random Assignment with Cardinal and Ordinal Preferences: Online Appendix

Efficient 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 information

Persuading Skeptics and Reaffirming Believers

Persuading 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 information

Informativeness and the Incumbency Advantage

Informativeness 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 information

WHY SATURATED PROBABILITY SPACES ARE NECESSARY

WHY 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 information

Payoff Continuity in Incomplete Information Games

Payoff 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 information

arxiv: v1 [math.fa] 14 Jul 2018

arxiv: 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);

(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 information

6.207/14.15: Networks Lecture 24: Decisions in Groups

6.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 information

Approval Voting: Three Examples

Approval 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 information

Consistent Beliefs in Extensive Form Games

Consistent 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 information

Iterated Dominance Revisited

Iterated 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 information

Coalitionally strategyproof functions depend only on the most-preferred alternatives.

Coalitionally 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

(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 information

3 Measurable Functions

3 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 information

Analysis III. Exam 1

Analysis 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 information

Supplementary appendix to the paper Hierarchical cheap talk Not for publication

Supplementary 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 information

Maths 212: Homework Solutions

Maths 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 information

Homework 1 (revised) Solutions

Homework 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 information

Bayesian Persuasion Online Appendix

Bayesian 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 information

Characterisation of Accumulation Points. Convergence in Metric Spaces. Characterisation of Closed Sets. Characterisation of Closed Sets

Characterisation 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 information

MATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals

MATH 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 information

Theorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers

Theorems. 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 information

LECTURE 15: COMPLETENESS AND CONVEXITY

LECTURE 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 information

Repeated Downsian Electoral Competition

Repeated 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 information

5 Set Operations, Functions, and Counting

5 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 information

Appendix. First, we show that the sequence {θ k } is bounded below. By. ProofofLemma4.

Appendix. 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 information

Chapter 8. General Countably Additive Set Functions. 8.1 Hahn Decomposition Theorem

Chapter 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 information

A remark on discontinuous games with asymmetric information and ambiguity

A 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 information

2. The Concept of Convergence: Ultrafilters and Nets

2. 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 information

ONLINE 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 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 information

g 2 (x) (1/3)M 1 = (1/3)(2/3)M.

g 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 information

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

Real 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 information

The Condorcet Jur(ies) Theorem

The 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 information

Important Properties of R

Important 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 information

MA651 Topology. Lecture 10. Metric Spaces.

MA651 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 information

Lexicographic Beliefs and Assumption

Lexicographic 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 information

Integration on Measure Spaces

Integration 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 information

Bargaining Under Strategic Uncertainty

Bargaining 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 information

A Countably-Based Domain Representation of a Non-Regular Hausdorff Space

A 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 information

Events Concerning Knowledge

Events 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 information

We set up the basic model of two-sided, one-to-one matching

We 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 information

DEPARTMENT 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 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 information

SOME TRANSFINITE INDUCTION DEDUCTIONS

SOME 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 information

Wars of Attrition with Budget Constraints

Wars 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 information

Economics 204 Fall 2011 Problem Set 1 Suggested Solutions

Economics 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 information

Turnout, Polarization, and Duverger s Law.

Turnout, 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 information

Online Appendix Durable Goods Monopoly with Stochastic Costs

Online 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 information

Course 212: Academic Year Section 1: Metric Spaces

Course 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 information

Strongly Consistent Self-Confirming Equilibrium

Strongly 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 information

WEAKLY DOMINATED STRATEGIES: A MYSTERY CRACKED

WEAKLY 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 information

CHAPTER 7. Connectedness

CHAPTER 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 information

Proof. We indicate by α, β (finite or not) the end-points of I and call

Proof. 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 information

Normed Vector Spaces and Double Duals

Normed 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 information

A Note on Kuhn s Theorem

A 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 information

Suppose R is an ordered ring with positive elements P.

Suppose 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 information

Thus, 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

Thus, 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 information

Part V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory

Part 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 information

Part III. 10 Topological Space Basics. Topological Spaces

Part 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 information

AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES

AN 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 information

Principles of Real Analysis I Fall I. The Real Number System

Principles 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 information

Introduction to Game Theory

Introduction 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 information

1 Stochastic Dynamic Programming

1 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 information

Measures and Measure Spaces

Measures 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 information

Disintegration into conditional measures: Rokhlin s theorem

Disintegration 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 information

Problem Set. Problem Set #1. Math 5322, Fall March 4, 2002 ANSWERS

Problem 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 information

a 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

a 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 information

A 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. 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 information

Multiple Equilibria in the Citizen-Candidate Model of Representative Democracy.

Multiple 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 information

Signaling and Learning in Collective Bargaining 1

Signaling 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 information

MANAGEMENT SCIENCE doi /mnsc ec pp. ec1 ec6

MANAGEMENT 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 information

v( 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.

v( 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 information

Fundamental Inequalities, Convergence and the Optional Stopping Theorem for Continuous-Time Martingales

Fundamental 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 information

Climbing an Infinite Ladder

Climbing 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 information

ONLINE 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 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 information

i. v = 0 if and only if v 0. iii. v + w v + w. (This is the Triangle Inequality.)

i. 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 information

Noncooperative continuous-time Markov games

Noncooperative 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 information

The Context of the Game

The 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 information

1 Definition of the Riemann integral

1 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 information

Known Unknowns: Power Shifts, Uncertainty, and War.

Known 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 information

Levels of Knowledge and Belief Computational Social Choice Seminar

Levels 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 information

Properly forking formulas in Urysohn spaces

Properly 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 information

Appendix of Homophily in Peer Groups The Costly Information Case

Appendix 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.

(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 information

Information aggregation under non-strategic voting

Information 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 information

The geometry of secants in embedded polar spaces

The 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 information

Arrow s Paradox. Prerna Nadathur. January 1, 2010

Arrow 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 information

arxiv: v1 [math.pr] 26 Mar 2008

arxiv: 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 information

MATH41011/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 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 information

Economics Bulletin, 2012, Vol. 32 No. 1 pp Introduction. 2. The preliminaries

Economics 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 information

Max-min (σ-)additive representation of monotone measures

Max-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 information

Measurable Choice Functions

Measurable 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 information

Consensus building: How to persuade a group

Consensus 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