Theorem: Equal weight implies equal power but not the converse.

Slides:



Advertisements
Similar presentations
PROOF BY CONTRADICTION
Advertisements

Chapter 3 Elementary Number Theory and Methods of Proof.
Weighted Voting When we try to make collective decisions, it is only natural to consider how things are done in society. We are familiar with voting for.
Chapter 11: Weighted Voting Systems Lesson Plan
Presented by: Katherine Goulde
Chapter 13 – Weighted Voting Part 4 Appropriate applications of measures of power Minimal winning coalitions Classification of weighted voting systems.
DM.8. Is a set of numbers that are listed in the following format: [ quota: weight of voter 1, weight of voter 2,…weight of voter 3] Ex: [8:5,4,3,2]
Proofs, Recursion and Analysis of Algorithms Mathematical Structures for Computer Science Chapter 2 Copyright © 2006 W.H. Freeman & Co.MSCS SlidesProofs,
Copyright © Cengage Learning. All rights reserved. CHAPTER 5 SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION.
Elementary Number Theory and Methods of Proof
– Alfred North Whitehead,
Excursions in Modern Mathematics Sixth Edition
Induction and recursion
Annexations and Merging in Weighted Voting Games: The Extent of Susceptibility of Power Indices by Ramoni Lasisi Vicki Allan.
TR1413: INTRO TO DISCRETE MATHEMATICS LECTURE 2: MATHEMATICAL INDUCTION.
So far we have learned about:
Using Decision Procedures for Program Verification Christopher Lynch Clarkson University.
Introduction to Proofs ch. 1.6, pg. 87,93 Muhammad Arief download dari
5.6 Indirect Proof and Inequalities in Two triangles.
Copyright © 2007 Pearson Education, Inc. Slide 8-1.
Mathematical Induction Assume that we are given an infinite supply of stamps of two different denominations, 3 cents and and 5 cents. Prove using mathematical.
Methods of Proof & Proof Strategies
Calculating Power in Larger Systems Nominal, Banzhaf and Shapley-Shubik.
Chapter 13 – Weighted Voting
Chapter 13: Weighted Voting Banzhaf Power Index Shapley-Shubik Power Index Equivalent Systems Examples.
Introduction to Proofs
Weighted Voting Systems Brian Carrico. What is a weighted voting system?  A weighted voting system is a decision making procedure in which the participants.
Mathematical Induction. F(1) = 1; F(n+1) = F(n) + (2n+1) for n≥ F(n) n F(n) =n 2 for all n ≥ 1 Prove it!
1 Methods of Proof CS/APMA 202 Epp, chapter 3 Aaron Bloomfield.
Copyright © Cengage Learning. All rights reserved. CHAPTER 4 ELEMENTARY NUMBER THEORY AND METHODS OF PROOF ELEMENTARY NUMBER THEORY AND METHODS OF PROOF.
Conditional Statements CS 2312, Discrete Structures II Poorvi L. Vora, GW.
Chapter 13 – Weighted Voting Lecture Part 2. Chapter 13 – Lecture Part 2 The Banzhaf Power Index –Counting the number of subsets of a set –Listing winning.
Chapter 5 Existence and Proof by contradiction
Methods of Proof Lecture 3: Sep 9. This Lecture Now we have learnt the basics in logic. We are going to apply the logical rules in proving mathematical.
Excursions in Modern Mathematics, 7e: Copyright © 2010 Pearson Education, Inc. 2 The Mathematics of Power 2.1An Introduction to Weighted Voting.
Math for Liberal Studies.  We want to measure the influence each voter has  As we have seen, the number of votes you have doesn’t always reflect how.
Logical Reasoning:Proof Prove the theorem using the basic axioms of algebra.
Manipulating the Quota in Weighted Voting Games (M. Zuckerman, P. Faliszewski, Y. Bachrach, and E. Elkind) ‏ Presented by: Sen Li Software Technologies.
Fall 2008/2009 I. Arwa Linjawi & I. Asma’a Ashenkity 11 The Foundations: Logic and Proofs Introduction to Proofs.
Copyright © 2010 Pearson Education, Inc. All rights reserved Sec
Method of proofs.  Consider the statements: “Humans have two eyes”  It implies the “universal quantification”  If a is a Human then a has two eyes.
Types of Proof Lecture 4 Sections 0.4 Wed, Aug 29, 2007.
CS104:Discrete Structures Chapter 2: Proof Techniques.
Mathematical Induction I Lecture 5: Sep 20 (chapter of the textbook and chapter of the course notes)
Section 1.7. Definitions A theorem is a statement that can be shown to be true using: definitions other theorems axioms (statements which are given as.
Direct Proof and Counterexample I Lecture 11 Section 3.1 Fri, Jan 28, 2005.
Chapter 11. Weighted Voting Systems  Goals Study weighted voting systems ○ Coalitions ○ Dummies and dictators ○ Veto power Study the Banzhaf power index.
Section 2.2 More practice with Direct Proofs. Directions for Writing Proofs 1.Copy the statement of the theorem to be proved onto your paper. 2.Clearly.
1 Discrete Mathematical Mathematical Induction ( الاستقراء الرياضي )
Patterns and Inductive Reasoning. Inductive reasoning is reasoning that is based on patterns you observe. If you observe a pattern in a sequence, you.
Mathematical Induction. The Principle of Mathematical Induction Let S n be a statement involving the positive integer n. If 1.S 1 is true, and 2.the truth.
EXCURSIONS IN MODERN MATHEMATICS SIXTH EDITION Peter Tannenbaum 1.
Proof And Strategies Chapter 2. Lecturer: Amani Mahajoub Omer Department of Computer Science and Software Engineering Discrete Structures Definition Discrete.
Chapter 1 Logic and Proof.
REVIEW Linear Combinations Given vectors and given scalars
Direct Proof and Counterexample IV: Division into Cases and the Quotient-Remainder Theorem For each of the following values of n and d, find integers q.
The Banzhaf Power Index
Conditional Statements
Excursions in Modern Mathematics Sixth Edition
Chapter 11: Weighted Voting Systems Lesson Plan
Direct Proof by Contraposition Direct Proof by Contradiction
Induction and recursion
Excursions in Modern Mathematics Sixth Edition
Induction and recursion
CS 220: Discrete Structures and their Applications
Warm-up Find the Banzaf power index for the following Information: A 35% B 30% C 25% D 10%
Chapter 11: Further Topics in Algebra
Chapter 11: Weighted Voting Systems Lesson Plan
The Banzhaf Power Index
Mathematical Induction
Presentation transcript:

Theorem: Equal weight implies equal power but not the converse.

Equal weight implies equal power Let’s consider the Shapley-Shubik power index first. Suppose we have a weighted voting system for n voters given by [ q : w 1, w 2, w 3, …, w n ]. Suppose voter i, with has weight w i and is pivotal k times. Note that k is any number from 0 to n!. By definition, k is the number of permutations of all voters in which the sum of the weights of voters preceding voter i is less than q and the sum of the weights of the voters preceding voter i plus the weight of voter i is greater than or equal to q. By definition, the Shapley-Shubik power index for voter i is.

Equal weight implies equal power ___ ___ ___ w i ___ ___ ___ ___ n voters sum < q sum > q If voter i has power k/n! then there are k different permutations of this type. Now consider any other voter j with the same weight as voter i. That is, assume w J = w i. Because w J = w i, the number of permutations in which voter j is pivotal is also equal to k.

Equal weight implies equal power In other words, given any voter j, with and w J = w i we may conclude the following: k is also the number of permutations of all voters in which the sum of the weights of voters preceding voter j is less than q and the sum of the weights of the voters preceding voter j plus the weight of voter j is greater than or equal to q. Thus, we may conclude the Shapley-Shubik power index for voter j is also given by. Finally, we may conclude that any voters with equal weight will have equal power as measured by the Shapley-Shubik index.

Equal weight implies equal power Now, let’s consider the Banzhaf power index. As before, suppose we have a weighted voting system for n voters given by [ q : w 1, w 2, w 3, …, w n ]. Suppose voter i, with has weight w i with w i > 1 and is critical to k winning coalitions. Note that now k is any integer from 0 to 2 n -1. Remember that to compute the Banzhaf power for voter i we consider only combinations of voters and not permutations. Because voter i is critical to k winning coalitions, there are k distinct coalitions of voters with weight w c that satisfy the following inequality: q < w c < q + w i – 1.

Equal weight implies equal power Now, consider any other voter j, with Suppose that voter i and j have equal weight, that is, assume that w J = w i. Now consider the number of distinct coalitions of voters with weight w c that satisfy the following inequality: q < w c < q + w J – 1. Because w J = w i then also q + w J – 1 = q + w i – 1. Therefore, the number of distinct coalitions satisfying the inequality q < w c < q + w J – 1 is also equal to k. This is because, if w J = w i, then the inequalities q < w c < q + w i – 1 and q < w c < q + w J – 1 are equivalent.

Equal weight implies equal power We may conclude that any other voter j, with weight w J = w i, is also critical to k distinct coalitions. And finally, by definition, both voters i and j have Banzhaf power 2k. Thus any voters with equal weight will have equal power as measured by the Banzhaf analysis of power.

Equal weight implies equal power Clearly, any two voters with equal weight will have equal nominal power. Suppose we have a weighted voting system for n voters given by [ q : w 1, w 2, w 3, …, w n ]. Suppose the total weight of the system is w = w 1 + w 2 + w 3 + … + w n. Suppose two voters have equal weight. That is, assume w J = w i. Therefore the nominal power of these voters is equal, that is, because w J = w i then it is also true that Conclusion: Voters with equal weight have equal nominal power.

The Converse is Not True For the Shapley-Shubik, Banzhaf and nominal measures of power for a weighted voting system, we have shown that the following statement is true: If voters have equal weight, then they have equal power. The converse of this statement is: If voters have equal power then they have equal weight. The converse is not true. To prove a statement is not true, we need only provide a counter- example to the statement.

Equal Power Does Not Imply Equal Weight Consider the statement: If voters have equal power, then they have equal weight. This can be shown to be false by the following counter-example: Consider the weighted voting system [ 100 : 60, 39, 1 ]. The Banzhaf index for this system is ( 2, 2, 2 ) and the Shapley- Shubik index is ( 1/3, 1/3, 1/3 ). Thus, we have an example where power is equal among voters but none have equal weight. In summary, if voters have equal weight then they have equal power but if they have equal power, they might not have equal weight.