Thema Working Paper n Université de Cergy Pontoise, France

Similar documents
On the Chacteristic Numbers of Voting Games

Volume 31, Issue 1. Manipulation of the Borda rule by introduction of a similar candidate. Jérôme Serais CREM UMR 6211 University of Caen

GROUP DECISION MAKING

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

Thema Working Paper n Université de Cergy Pontoise, France

Condorcet Efficiency: A Preference for Indifference

Condorcet Consistency and the strong no show paradoxes

Single-peaked consistency and its complexity

DUMMY PLAYERS AND THE QUOTA IN WEIGHTED VOTING GAMES

Dr. Y. İlker TOPCU. Dr. Özgür KABAK web.itu.edu.tr/kabak/

Voting Handout. Election from the text, p. 47 (for use during class)

Survey of Voting Procedures and Paradoxes

Partial lecture notes THE PROBABILITY OF VIOLATING ARROW S CONDITIONS

The core of voting games: a partition approach

The core of voting games with externalities

Lecture: Aggregation of General Biased Signals

Probabilistic Aspects of Voting

A note on the ordinal equivalence of power indices in games with coalition structure

Approval Voting: Three Examples

Dominance Solvable Approval Voting Games

Inequality of Representation

A generalization of Condorcet s Jury Theorem to weighted voting games with many small voters

THREE BRIEF PROOFS OF ARROW S IMPOSSIBILITY THEOREM JOHN GEANAKOPLOS COWLES FOUNDATION PAPER NO. 1116

An axiomatic characterization of the prudent order preference function

Cosine similarity and the Borda rule

Arrow s Paradox. Prerna Nadathur. January 1, 2010

CONNECTING PAIRWISE AND POSITIONAL ELECTION OUTCOMES

On the meaning of the Nash product. Walter Trockel

DOCUMENT DE TRAVAIL Centre de recherche sur l aide à l évaluation et à la décision dans les organisations (CRAEDO)

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

Winning probabilities in a pairwise lottery system with three alternatives

Social Choice. Jan-Michael van Linthoudt

Geometry of distance-rationalization

Rationality and solutions to nonconvex bargaining problems: rationalizability and Nash solutions 1

Strategy-Proofness on the Condorcet Domain

Non compensatory Multicriteria Methods

Non-Manipulable Domains for the Borda Count

Positively responsive collective choice rules and majority rule: a generalization of May s theorem to many alternatives

Nontransitive Dice and Arrow s Theorem

THE PROFILE STRUCTURE FOR LUCE S CHOICE AXIOM

Social Choice and Mechanism Design - Part I.2. Part I.2: Social Choice Theory Summer Term 2011

Instituto de Engenharia de Sistemas e Computadores de Coimbra Institute of Systems Engineering and Computers INESC - Coimbra

Follow links for Class Use and other Permissions. For more information send to:

Lose Big, Win Big, Sum Big: An Exploration of Ranked Voting Systems

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

Utilitarian Preferences and Potential Games

Dynamics of Stable Sets of Constitutions

Sergey Shvydun NORMATIVE PROPERTIES OF MULTI-CRITERIA CHOICE PROCEDURES AND THEIR SUPERPOSITIONS: II

Lecture Notes on Game Theory

A Systematic Approach to the Construction of Non-empty Choice Sets

Online Appendix to Strategy-proof tie-breaking in matching with priorities

GENERALIZED CANTOR SETS AND SETS OF SUMS OF CONVERGENT ALTERNATING SERIES

Recap Social Choice Fun Game Voting Paradoxes Properties. Social Choice. Lecture 11. Social Choice Lecture 11, Slide 1

The Best Way to Choose a Winner

MATH1050 Greatest/least element, upper/lower bound

A Many-to-Many Rural Hospital Theorem

Efficiency and converse reduction-consistency in collective choice. Abstract. Department of Applied Mathematics, National Dong Hwa University

A STRONG NO SHOW PARADOX IS A COMMON FLAW IN CONDORCET VOTING CORRESPONDENCES

UNIFYING VOTING THEORY FROM NAKAMURA S TO GREENBERG S THEOREMS

Choosing Collectively Optimal Sets of Alternatives Based on the Condorcet Criterion

Who wins the election? Polarizing outranking relations with large performance differences. Condorcet s Approach. Condorcet s method

Entropic Selection of Nash Equilibrium

On the stability of a triplet of scoring rules

On the consensus of closure systems

ON THE EQUIVALENCE OF CONGLOMERABILITY AND DISINTEGRABILITY FOR UNBOUNDED RANDOM VARIABLES

Hannu Salonen Utilitarian Preferences and Potential Games. Aboa Centre for Economics

A BORDA COUNT FOR PARTIALLY ORDERED BALLOTS JOHN CULLINAN, SAMUEL K. HSIAO, AND DAVID POLETT

A characterization of the 2-additive Choquet integral

TitleNo-Envy, Efficiency, and Collective.

A misère-play -operator

The Axiomatic Method in Social Choice Theory:

Valued relations aggregation with the Borda method.

MATH 117 LECTURE NOTES

The length-ω 1 open game quantifier propagates scales

Sets are one of the basic building blocks for the types of objects considered in discrete mathematics.

Computing Spanning Trees in a Social Choice Context

Complexity of Shift Bribery in Hare, Coombs, Baldwin, and Nanson Elections

Approximation Algorithms and Mechanism Design for Minimax Approval Voting

OTTO H. KEGEL. A remark on maximal subrings. Sonderdrucke aus der Albert-Ludwigs-Universität Freiburg

Antipodality in committee selection. Abstract

13 Social choice B = 2 X X. is the collection of all binary relations on X. R = { X X : is complete and transitive}

A Note on the McKelvey Uncovered Set and Pareto Optimality

A Many-to-Many Rural Hospital Theorem

Combining Voting Rules Together

. As the binomial coefficients are integers we have that. 2 n(n 1).

Copyright Author(s) ISSN

6.207/14.15: Networks Lecture 24: Decisions in Groups

Chapter 1 - Preference and choice

Hierarchy among Automata on Linear Orderings

In N we can do addition, but in order to do subtraction we need to extend N to the integers

3.1 Arrow s Theorem. We study now the general case in which the society has to choose among a number of alternatives

SYSU Lectures on the Theory of Aggregation Lecture 2: Binary Aggregation with Integrity Constraints

Approximation Algorithms and Mechanism Design for Minimax Approval Voting 1

Rationalization of Collective Choice Functions by Games with Perfect Information. Yongsheng Xu

A NEW WAY TO ANALYZE PAIRED COMPARISONS

Disjointness conditions in free products of. distributive lattices: An application of Ramsay's theorem. Harry Lakser< 1)

Triple-acyclicity in majorities based on difference in support

Approval Voting for Committees: Threshold Approaches

Social Choice and Social Networks. Aggregation of General Biased Signals (DRAFT)

A NEW SET THEORY FOR ANALYSIS

Transcription:

Thema Working Paper n -36 Université de Cergy Pontoise, France Positional rules and q- Condorcet consistency Sébastien Courtin Mathieu Martin Bertrand Tchantcho September,

Positional rules and q Condorcet consistency Sébastien Courtin Mathieu Martin Bertrand Tchantcho September Abstract A well-known result in Social Choice theory is the following: every scoring rule (positional rules) violates Condorcet consistency. A rule is Condorcet consistent when it selects the alternative that is preferred to every other alternative by a majority of individuals. In this paper, we investigate some limits of this negative result. We expose the relationship between a weaker version of the Condorcet consistency principle and the scoring rules. Our main objective is then to study the condition on the quota that ensure that positional rules (simple and sequential) satisfy this principle. Keywords Positional rules (Simple and Sequential). Condorcet Consistency. q-majority JEL Classification D7,D7 Corresponding author. University of Cergy-Pontoise, THEMA, UMR CNRS 884, France. Email: sebastien.courtin@u-cergy.fr University of Cergy-Pontoise, THEMA, UMR CNRS 884, France. Email: mathieu.martin@u-cergy.fr University of Yaounde I, Department of Mathematics, Advanced Teachers Training College, Cameroon; and University of Cergy-Pontoise, THEMA, UMR CNRS 884, France. Email: btchantcho@yahoo.fr

Introduction A wide literature on voting theory is concerned with the theoretical debate between Condorcet social choice methods on one hand, and positional (or scoring) systems - voting àlaborda - on the other hand. The first ones consider, following Condorcet (785), that the collective choice has to be based on majority duals between alternatives; while the second ones introduced by Borda (78), suggest to deduce the collective preference from a numerical evaluation taking into account the positions of the alternatives in the orders of individual preferences. There are several arguments in favor of either type of procedures, discussed in an abundant literature (see Nurmi 987 and 999, and Saari 6 among others). The most significant contributions concerning positional rules are due to Smith (973), Young (974, 975) and Saari (994). The results presented by these three authors reveal some very natural properties that are satisfied only by positional mechanisms. They are certainlty powerful arguments for adopting a positional approach. Unfortunately we know from Condorcet (785) that the Borda rule and more generally the positional rules do not necessarily choose the Condorcet winner when it exists which is not the case of Condorcet consistent rule. A Condorcet winner is an alternative that is preferred to every other alternative by a majority of individuals: such an alternative would beat every other in majority comparisons. A Condorcet consistent rule selects the Condorcet winner when it exists. Similarly, it is well known that positional rules fail also to satisfy some weaker version of this property. There is no doubt about the importance of these results, since it provides a clear axiomatic boundary between Borda s and Condorcet s approaches of social choice mechanisms. It is worth noting, however, that the above-mentioned negative results have been obtained by assuming that the simple majority is used. An alternative is majority preferred to an other alternative if at least more than one half of the individuals prefer this alternative to the other one. The question we propose to tackle in this paper is then the following: to what extent does a larger majority (supra-majority) modify these negative results? To assume a larger majority is not so common in social choice theory. An important result concerning a supra-majority have been established by Ferejohn and Grether (974). According to a given supra-majority m, analternative is socially preferred to an other alternative if at least m individuals prefer this alternative to the other one. They give a necessary and sufficient condition on the majority needed in order to ensure that the rule associated with that majority always selects an alternative.inavotinggame context, they give simple and elegant condition for which the Core is non empty 3. The purpose of this paper is then to give conditions such that the alternatives chosen by a rule belongs to the Core. For that, we follow Baharad and Nitzan (3) who study the relationship between the positional rule and what they call the q Condorcet consistency principle. Given a supra-majority q, a rule satisfies this principle if the winner of this rule is not preferred by any other alternative by a q majority of individuals. Unfortunately, they have results for only one special positional rule, the Borda rule. We want to extent these results by investigating more positional rules. Note that the well known positional approach takes place in a single stage process, where the winner(s) is (are) the alternative(s) with the highest score. But it can also be used in a multi-stage process of sequential eliminations, in each stage of which the alternative(s) with the least votes is (are) eliminated. We will then focus also on this kind of rules in this paper. We assume in this paper that individual preferences are strict. See section for the recall of this result. 3 This well known concept is largely study in the literature with a remarkable result due to Nakamura (979).

Our main objective is then to study the conditions on the majority that ensure that positional rules (simple and sequential) satisfy the q Condorcet consistency principle. The remainder of this work is organized as follows: Section is a presentation of the general framework with notations and definitions. Section 3 provides a characterization of the most famous simple positional rules vis-à-vis the q Condorcet Consitency principle. Then, Section 4 provides results for sequential positional rules. Finally, Section 5 concludes the paper. Notations and definitions Consider a finite set N of n individuals or voters. For any subset S of N, S c denotes the complementary of S, thatisn \ S. Consider a finite set A = {a,...,a k } of k distinct alternatives (or candidates), k 3. Let A be the set of nonempty subsets of A. Individual preference relations are defined over A and are assumed to be strict (indifference is not allowed). Assume that the preference relation R i of individual i, i N, isacomplete,antisymmetricandtransitivebinary relation (or simply a linear order) on A and let L be the set of all linear orders on A. Aprofileis an n-tuple R =(R i ) in of individual preference relations, one for each individual. The set of all profiles on N will be denoted by L N. Asocialchoicecorrespondence(SCC )isamappingf from L N to the set of nonempty subsets of A. This rule specifies the collective choice for any preference profile, F : L N! A. For all profile R, F (R) is the set of winners according to R. Note that we do not introduce in this paper a mechanism in order to break ties among alternatives. That is why we focus on social choice correspondences and not on social choice functions which assign a single alternative to each profile. It should however be emphasized that the results presented here remain valid when we take into account a mechanism in order to break ties. Now, we need additional notations to present the simple positional rules (PR)and thesequential positional rules (SPR) underfocusinthepresentpaper. Given B A such that B ( B is the cardinality of the set B) anda h B, let r (B,a h,r i ) be the rank, according to R i,ofa h among alternatives in B. A scoring vector is a B -tuple =,..., r,..., B of real numbers such that for all r =,..., B, r r+, and =, B =. r (B,a h,r i ) is the number of points given to the alternative a h B by the individual i. Definition. Given B A, R L N,a h B and a scoring vector R B,thescoreofa h denoted Sc(B,a h,r, ) is defined as follows: Sc(B,a h,r, )= n i= r(b,ah,r i ). In social choice processes using PR, the winning alternatives are those with the highest score, as stated in the following definition. Definition. Let B A and a scoring vector R B. A simple positional rule (PR) with scoring vector denoted F is a social choice correspondence F such that 8R L N, 8a h B, a h F (R) if [Sc(B,a h,r, ) Sc(B,a j,r, ) 8a j B]. From the definitions of PR, itappearsthatgivensomeissueb, apr is defined by a vector R B. We can then express the three usual procedures: plurality rule denoted F where =(,,...,); negativepluralityruledenotedf with =(,...,, ) and Borda rule denoted F corresponding to =(, k,..., k r,...,, ). k k k 3

We now introduce sequential positional rules (SPR). Let A = k,..., B,..., acollectionofscoringvectors,eachvector B being associated with each possible cardinality B of the subset B A, B. Atthefirststepofthesequential process, scores are computed using the vector k and the losing alternatives defined below are eliminated. In the next step, the corresponding vector is used to compute the scores and again the losing alternatives are eliminated. The sequential process is repeated until a set of winners (possibly one) is obtained (see Lepelley 996). More formally, Definition 3. Given B A, R L N and a scoring vector B R B,thesetoflosingalternatives denoted L B,R, B is such that: Sc L B,R, B B,ah,R, = a h B : B apple Sc B,a j,r, B for all a j B and 9a j B : Sc B,a h,r, B <Sc B,a j,r, B. Note that when there is only one element in B, L (B,R, )=;. Then we have the following definition for the SPR. Definition 4. Asequentialpositionalrule(SPR) associated with a collection of vectors A = k,..., B,...,,denotedF A is a social choice correspondence F such that given B A, R L N and a h A, a h F A(R) () a h A p, with A p sequentially defined in the following way: A = A A = A L A,R, A. A B + = A B L A B,R, B. A p = A p L A p,r, A p and L A p,r, Ap = ;. In order to illustrate this definition, let us consider the three-alternative case, that is A = {a,a,a 3 }. We then have A =( 3, ), with 3 =(,,), apple apple, where, and are the scores of the alternatives ranked first, second and third respectively, in individual preference relations in the first step, and =(, ). More generally, given a profile of individual preferences, the total score of an alternative is the sum of individual scores, over the whole set of individuals. A PR selects the set of alternatives with the highest score. As a difference, an SPR first eliminates the alternatives with the smallest score at the first step, and then selects the alternatives with the highest score at the last step. Note that with this formulation of sequential positional rules, there is no fixed relation between two scoring vectors of different steps: for example, we may use plurality at step and negative plurality at step, etc. However, the most well known sequential positional rules are the iterative positional rules, where at each step the scoring vector changes only with respect to the number of alternatives. More formally, if at each step, B is the B -tuple (,,...,) then it is Hare s Procedure denoted F A. Likewise if at each step, B is the B -tuple =(,...,, ) or =, ), then we obtain Coombs Procedure denoted F B A and Nanson s Procedure denoted F A,respectively. It should be also noted that alternatives are not removed one after the other if several of them have the worst score. They should be removed all together. Furthermore, if all alternatives have the same score at a given step, then there is no elimination: all the alternatives are selected. (, B,..., B 4

We can now define the q Condorcet consistency principle. Definition 5. Given a profile R, arationalnumberq, analternativea h A is q-majority preferred to an alternative a j A iff {i N : a h R i a j } q.n, with q,. a j is said to be q-majority beaten by a h. In this paper we assume that n is large enough such that for all rational number k, k.n is an integer. 4 Let C q (R),theq Condorcet majority set, defined as the set of alternatives in A which are not q majority beaten by any other alternative in A. It is well known from Ferejohn and Grether (974) that a necessary and sufficient condition under which C q (R) 6= ; for all R is that q> k. k Definition 6. Given a rational number q,,ascc F satisfies the q Condorcet consistency (q CC )principleiff (R) C q (R) for any profile R. Our main objective is then to determine conditions on q that ensure that usual PR and SPR satisfy q CC. 3 Simple Positional rules 3. Usual procedures We will first present results for the three usual simple positional rules, i.e. plurality, negative plurality and Borda. The following result completely solves the plurality case. Theorem. Let A = {a,...,a k },thescoringvector =(,,...,). Letq,. F satisfies q-cc if and only if q> k k. Proof. ) We know by Ferejohn and Grether (974) that if q apple k there exists a profile R such k that C q (R) is empty. For any such profile R, F (R) is q-majority beaten (is not included in C q (R)) and thus F does not satisfies q-cc. ) Conversely, assume that q> k.inordertoshowthatf k satisfies q-cc, it is enough to show that if R is a profile for which a is q-majority beaten by (say) a then a / F Since a is q-majority beaten by a,wehave S qn where S = {i N : a R i a }.Sincethe scoring vector is =(,,...,) : S qn implies Sc(A, a,r, ) apple n qn =( q)n. Let a max be a candidate such that Sc(A, a max,r, ) = max applejapplek Sc(A, a j,r, ). P Since k Sc(A, a j,r, ) qn we have Sc(A, a max,r, ) j= qn k. Thus, Sc(A, a max,r, ) Sc(A, a,r, ) n( q ( q)) = n( k k and hence a / F This ends the proof. The answer of our main question is given below for the negative plurality rule. k q ) > because q>k k, 4 This assumption aims at simplifying our proofs. One could also assume that there is a continuum of voters. 5

Theorem. Let A = {a,...,a k },thescoringvector =(,,...,, ). For all q,, F does not satisfies q-cc. Proof. Let q, :ToprovethatF does not satisfies q-cc, we shall determine a profile R for which a winner, according to F is q-majority beaten. For that, consider the profile R in which each individual i has the preference R i defined as follows : a R i a R i a 3 R i a 4...R i a k R i a k 8j =,...,k,sc(a, aj,r, )=n It is obvious that F (R) ={a,...,a k } because. Sc(A, a k,r, )= The candidate a is q-majority beaten (everybody prefers a to a ) meanwhile a F As Baharad and Nitzan (3), we now solve the Borda case (with a slightly different proof). Theorem 3. Let A = {a,...,a k },thescoringvector =(, k k,..., k, ). Letq,. F satisfies q-cc if and only if q> k k. Proof. ) Again, it is obvious that if q apple k then F k does not satisfies q-cc property. ) Conversely, assume that q> k.inordertoshowthatf k satisfies q-cc, it is enough to show that if R is a profile for which a is q-majority beaten by a then a / F Since a is q-majority beaten by a,wehave S qn where S = {i N : a R i a }. r(a,a,r Furthermore, i ) r(a,a,r i ) for all i S and k r(a,a,r i ) r(a,a,r i ) for all i S c. Sc(A, a,r, ) Sc(A, a,r, ) = P ( r(a,a,r i ) r(a,a,r i ))+ P ( r(a,a,r i ) r(a,a,r i )) is is c S k Sc qn ( q)n = n(( +)q ) k k = n( k q ) k > (because q> k ). k Hence a / F This ends the proof. 3. General Case The aim of this section is to identify the conditions on the quota q under which a given PR satisfies q CC. 3.. A sufficient condition. We will first introduce the following proposition giving a sufficient condition under which winners for a given simple positional rule are never q-majority beaten. For any scoring vector =(,,..., k ),welet =min{ r r+ ; r =,,...,k }. 6

Proposition. Let A = {a,...,a k } and F the simple positional rule with scoring vector = (,,..., k ) with =, k =and q,. If q> +, then F satisfies q-cc. Proof. Let =(,,..., k ) and q, such that q>. + In order to prove that F satisfies q-cc it is enough to show that for any profile R for which a is q-majority beaten by a, a / F Let R be such a profile : then S qn where S = {i N : a R i a }. Sc(A, a,r, )= P r(a,a,r i ) = P r(a,a,r i ) + P r(a,a,r i ) and in is is c Sc(A, a,r, )= P r(a,a,r i ) = P r(a,a,r i ) + P r(a,a,r i );thus in is is c Sc(A, a,r, ) Sc(A, a,r, )= P ( r(a,a,r i ) r(a,a,r i ))+ P ( r(a,a,r i ) r(a,a,r i )). is is c Since a R i a for all i S, wehave r(a,a,r i ) r(a,a,r i ) for all i S. On the other hand, for i/ S, r(a,a,r i ) r(a,a,r i ). Finally, Sc(A, a,r, ) Sc(A, a,r, ) = P ( r(a,a,r i ) r(a,a,r i ))+ P ( r(a,a,r i ) r(a,a,r i )) is is c S S c qn ( q)n = n(( + )q ) > n(( + ) + ) (because q> + ) =. Since Sc(A, a,r, ) Sc(A, a,r, ) >, it follows that a / F (R) and this ends the proof. 3.. A necessary and sufficient condition: the particular three alternative case. Let A = {a,a,a 3 } and a scoring vector =(,, 3 )=(,,) with [, ]. The cases =, = and =are already solved : next we consider the two following cases: > and <. The case is handled in the following result. > Proposition. Let A = {a,a,a 3 } and let =(,,) with rule associated with and q,. F satisfies q-cc if and only if q> >, F the simple positional Proof. Let =(,,) with >. Then = and therefore =. Thanks to proposition, if q>, then F + satisfies q-cc. Conversely, assume that q apple. To show that F does not satisfies q-cc, considerthe following profile R in which: qn individuals have preference a R i a R i a 3 ( q)n have preference a R i a 3 R i a For the profile R so defined, a is q-majority beaten by a.howeverletuscomputethescores:. 7

we have : 8 < : Sc(A, a,r, )= qn +( q)n Sc(A, a,r, )=qn and Sc(A, a 3,R, )= ( q)n Sc(A, a,r, ) Sc(A, a,r, ) = qn +( q)n qn = n(( )q +) = n(( )q ) because q apple Sc(A, a,r, ) Sc(A, a 3,R, ) = qn +( q)n ( q)n = n( q + q + q) = n(( )q + ) > because > and > It then follows that a F (R) and hence, F does not satisfy q-cc. The following result deals with the case <. Proposition 3. Let A = {a,a,a 3 } and let =(,,) with rule associated with and q,. <, F the simple positional F satisfies q-cc if and only if q> 3. Proof. ) By Ferejohn and Grether (974), it is obvious that if q apple then F 3 does not satisfies q-cc. ) Conversely, let q>. In order to prove that F 3 satisfies q-cc, we will show that for any profile R for which a is q majority beaten by a, a / F LetR be such a profile. Assume on the contrary that a F There exists a subset S such that S = qn and a R i a for all i S. Let be the proportion of individuals in S holding preference a R i a R i a 3. With no loss of generality, we can then assume that in S: n individuals have preference a R i a R i a 3 and (q )n individuals have preference a 3 R i a R i with apple apple q. a The score of a is bounded above by n +( q)n and furthermore, the value n +( q)n is obtained if and only if every individual in S c ranks a at the first position. Now let be the proportion of individuals in S c with preference a R i a 3 R i a. With no loss of generality, we can then assume that in S c : n individuals have preference a R i a 3 R i a and ( q )n individuals have a R i a R i with apple apple q. a 3 At this level we will distinguish two cases : = q and < q : First case : = q 8 < In this case, : Sc(A, a,r, )= n +( q)n = n( q +) Sc(A, a,r, )= n + (q )n = n(( ) + q) Sc(A, a 3,R, )=(q )n + ( q)n = n( +( )q + ) If a F (R) then : Sc(A, a,r, ) Sc(A, a,r, ) and Sc(A, a,r, ) Sc(A, a 3,R, ) ) () ) ( ) ( + )q ) apple [ ( + )q +] ( ) ( + )q + () and ( + ) +( + )q +( ) (). 8

() ) ( )q apple ( + ) +( ) ) ( )q apple ( + ) [ ( + )q +]+( ) with () ) ( )q ( ) apple + [ ( + )q +] ) ( )( )q ( )( ) apple ( + ) q +(+ ) ) (3 3 +3)q apple + ) 3q apple because 3 3 +3>. acontradictionsinceq>. 3 Second case : < q Assume that a F (R) : then 8 Sc(A, a,r, ) Sc(A, a,r, ) and Sc(A, a,r, ) Sc(A, a 3,R, ). < Sc(A, a,r, )= n +( q)n = n[ +( q)] Sc(A, a,r, )=n[ + (q )+ ( q )] = n[( ) + ]. : Sc(A, a 3,R, )=(q )n + n = n[ + q + ] As Sc(A, a,r, ) Sc(A, a,r, ) and Sc(A, a,r, ) Sc(A, a 3,R, ), wehave: ( ) q + + ( ) + q + ) ( ) ( +) q + ( +) q + ) ( ) + q + apple apple ( +) q + ) ( ) + q + apple ( +) q + ) ( ) apple 3q + ) 3 apple (3q + ) that is, (3q + )( ). 3 On the other hand we have apple < q which implies q > ( ) + q + (thanks to ( )). q > ( ) + q + ) ( )q +> ( ) (3q + ) (thanks to ( )) 3 ) 3 ( )q +3 >3q( )+( )( ) ) ( 3 3 3+6 )q > +4 3 ) 3q( + ) > ( + ) ) 3q < because + < which is a contradiction since q>. 3 if = To summarize, for A = {a,a,a 3 }, =(,,), letq = + if = that is, 3 if > q = if <. 3 Thanks to propositions and 3 above, we can state the following result. Theorem 4. Let A = {a,a,a 3 },andlet =(,,), F the simple positional rule associated with and q,. F satisfies q-cc if and only if q>q. We can remark that this result is consistent with the previous results for Borda, Plurality and Negative Plurality. Indeed when =and =, q = 3, and when =, q =. 9

4 Sequential Positional Rules We will present results in this section for the three usual SPR, i.e. Hare s Procedure (F A ), Coombs Procedure (F A ) and Nanson s Procedure (F A ). Before presenting the results of this section, we recall that we assumed that n, thenumberofvotersislargeenoughsothatkn is an integer whenever k is a rational number. The following result completely solves Hare s case. Theorem 5. Let A = {a,...,a k },andlet =(,,...,) the scoring vector at each step. Let q,. Then F A satisfies q-cc if and only if q>( ) k n. Proof. First we will show that if q apple ( ) then F k n A does not satisfy q-cc. We then need to construct a profile R such that (say) a F A (R) meanwhile a is q-majority beaten by a. Let = n and consider the following profile : k +individuals : a R i a k R i a k R i...r i a : a R i a R i a k R i a k R i...r i a 3 : a 3 R i a R i a R i a k R i a k R i...r i a 4 : a 4 R i a 3 R i a R i a R i a k R i a k R i...r i a 5... : k 4 : a k R i a k 3 R i...r i a R i a R i a k R i a k k 3 : a k R i a k R i...r i a R i a R i a k k : a k R i a k R i a k R i...r i a R i a With respect to Ra is q-majority beaten by a. Indeed, the number of voters who prefer a to a is + + +... + k 3 + k = ( k ) = n[( Then a is q majority beaten by a. Now let us show that a F A ) ] k n qn since q apple ( k ) n S Let L(A t,r, At ) be the set of losing candidates at step t,wehavef A (R) =A\ p L(A t,r, At ) where p is the number of steps. The scoring vector at any step t is the A t -tuple (,,,...,). From the definition of R it is obvious that Sc(A,a,R, A )= <Sc(A,a i,r, A ) for all i 6= ;thusl(a,r, A )={a }. Note that Sc(A,a,R, A )= + += +whereas Sc(A,a 3,R, A )=. It can be easily seen that : L(A,R, A )={a 3 }, L(A 3,R, A3 )={a 4 },andsoonandl(a k,r, A k )={a k }. Finally, at the last step, a is pitted against a k. Sc(A k,a,r, A k )= + + +... + k 3 =(+ +... + k 3 ) = k and Sc(A k,a k,r, A k )= k = Sc(A k,a,r, A k ) thus, F A (R) ={a,a k }. Conversely, assume that q> k n,thatis,qn > n( k ) or qn n( k )( ) t=.

Let us show that F A (R) satisfies q-cc. For that, let R be a profile for which a is q-majority beaten by a and a F A Assume that for the profile R, therearep steps and that the set of losing candidates are respectively L(A,R, A ), L(A,R, A ),... andl(a p,r, Ap ) and the set of winners is F A (R) = S A r p L(A j,r, Aj ). j= Let n j be the cardinality of L(A j,r, Aj ) and r +the cardinality of F A (Ifr =then a is the only winner). Since a is q-majority beaten by a, Sc(A,a,R, A ) apple ( q)n. As n candidates are eliminated at the first step, we have Sc(A,a h,r, A P ) <Sc(A,a,R, A ) apple ( q)n 8a h L(A,R, A ) and thus, Sc(A,a h,r, A ) <n ( q)n, thereforeatthesecondstep, a h L(A,R, A ) Sc(A,a,R, A ) < ( q)n + n ( q)n =(+n )( q)n. Likewise, since candidates in L(A,R, A ) are eliminated at step, we have Sc(A P,a r,r, A ) < ( + n )( q)n 8a r L(A,R, A ) and therefore Sc(A, a, R, A ) <n ( + n )( q)n. a rl(a,r, A ) We deduce that Sc(A 3,a,R, A3 ) < ( + n )( q)n + n ( + n )( q)n =[(+n )( + n )] ( q)n. At the last step, after the elimination of L(A,R, A ), L(A,R, A ),...andl(a p,r, Ap ), we have: Sc(A p,a,r, Ap ) < [( + n p )( + n p )...( + n )( + n )] ( q)n. At the end, all the candidates in F A (R) have the same score say s,implyingthat(r+)s = n. However, since a F A (R), s should be equal to Sc(A p,a,r, Ap ). Finally, n =(r +)s = (r +)Sc(A p,a,r, Ap ) < ( + r)( + n p )( + n p )...( + n )( + n )( q)n note that for all nonnegative integer m, +m apple m apple r+np+n p +...+n ( q)n = k ( q)n because ( + r)+(n p )+... +(n )=k apple k ( k )n = n (thanks to ( )) This is a contradiction. Conclusion : we cannot have a q majority beaten and a F A The following result deals with Coombs procedure. Theorem 6. Let A = {a,...,a k },andlet =(,,..., ) the scoring vector at each step. Let q,. F A satisfies q-cc if and only if q> k k. Proof. ) By Ferejohn and Grether (974) it is obvious that if q apple k, F k A q-cc. does not satisfies

) It then suffices to prove that if q> k then for any R for which a k is q-majority beaten by a, a / F A Let R be such a profile. Assume the contrary : a F A Since a is q-majority beaten by a,wehave S qn where S = {i N : a R i a }.Recallthat at any step t in which the set of alternatives is A t,thescoringvectoristhe A t -tuple (,,..., ). Assuming that there are p steps and that L(A t,r, At ) is the set of eliminated candidates at S step t, wehavef A (R) =A \ p L(A t,r, At ). t= We will prove that if a F A (R) then a F A We will then show that at any step t, if a / L(A t,r, At ) then a / L(A t,r, At ). Consider a step t and assume, with no loss of generality that v (v >) candidateshavesofar been eliminated with a / L(A t,r, At ). v is the cardinality of t S L(A h,r, Ah ) Let a be a candidate such that : Sc(A t,a,r, At )=min Sc(A t,a j,r, At ):a j A t = A \ t S L(A h,r, Ah ). As P A t has exactly k v candidates and the scoring vector is At =(,,...,, ), wehave: Sc(A t,a h,r, At )=n(k v ). a h A t By the definition of a,itholdssc(a t,a,r, At ) apple Sc(A t,a h,r, At ) for all a h A t. This implies that (k v)sc(a t,a,r, At ) apple P Sc(A t,a h,r, At ),thatis,sc(a t,a,r, At ) apple k v n k v a h A t Since a R i a for all i S, wehavesc(a t,a,r, At ) qn > k n k Sc(A t,a,r, At ) Sc(A t,a,r, At ) > k n k v n = v k k v which means that k(k v) a / L(A t,r, At ). We have just proved that at each step t, ifa / L(A t,r, At ) then a / L(A t,r, At ). This means that if a F A (R) then a F A Let k µ = F A (R) which means that at the end µ candidates have been eliminated. As all candidates in F A (R) have the same score say s,itholds(k µ)s = n(k µ ). Note that there is at least two alternatives in F A (R), sincea F A (R) and therefore a F A We should have Sc(A p,a,r, Ap ) = s and again Sc(A p,a,r, Ap ) S since 8i S, a R i a. Therefore, (k µ)s (k µ) S > (k µ) k n k (k µ)s > (k µ) k k n ) n(k µ ) > (k µ) k k ) k(k µ) k>k(k µ) (k µ) ) k> (k µ) which is a contradiction. We conclude that a / F A The last result solves Nanson s rule. Theorem 7. Let A = {a,...,a k },andlet =(, At,... A t A t, ) the scoring vector at each step t where the set of alternatives is A t.letq], ]. h= h= Then F A satisfies q-cc if and only if q> k k.

Proof. ) Once again, it is obvious that if q apple k, F k A does not satisfies q-cc. ) It suffices to prove that if q> k then for any R for which a k is q-majority beaten by a, a / F A Since a is q-majority beaten by a,wehave S qn where S = {i N : a R i a }. Recall that at any step t in which the set of alternatives is A t, the scoring vector is the A t -tuple (, At,..., ). A t A t Assuming that there are p steps and that L(A t,r, At ) is the set of losing candidates at step S t, wehavef A (R) =A \ p L(A t,r, At ). t= In order to prove a / F A (R), itsufficestoshowthatatanystept whenever a and a belong to A t,wehavesc(a t,a,r, At ) >Sc(A t,a,r, At ). Now consider a given step t such that a,a A t : r(at,a We have,r i ) r(at,a,r i ) for all i S and k r(at,a,r i ) r(at,a,r i ) for all i S c. Thus, Sc(A t,a,r, At ) Sc(A t,a,r, At ) = P ( r(at,a,r i ) r(at,a,r i ))+ P ( r(at,a,r i ) r(at,a,r i )) is is c S S c k = S ( +) n k n( k q ) since S qn k > n( k k k ) = since q> k k k which means that Sc(A t,a,r, At ) >Sc(A t,a,r, At ). At a given step t {,,...,p }, ifa,a A t then Sc(A t,a,r, At ) >Sc(A t,a,r t, At ). At the last step p, wecannothavebotha and a in F A (R) since all candidates in F A (R) have exactly the same score, hence a / F A 5 Conclusion The question motivating this study is whether a larger majority (supra-majority) can ensure that positional rules (simple and sequential) satisfy a weaker version of the Condorcet consistency principle. The affirmative answer to this question is the main message of our analysis. Indeed, all usual positional rules, that is Plurality, Borda, Hare, Nanson and Coombs satisfy this principle. The only one which does not verifies it, is Negative Plurality. This is an interesting result, since none of these rules except Nanson satisfy Condorcet Consitency when the simple majority is required. This means that Condorcet s approach and Borda s approach are not so mutually incompatible. In this respect, our results can be seen as positive results. Moreover we give the precise condition on the majority (on the quota) needed to ensure that this rules satisfies the q Condorcet consistency principle. Our results show that in general, the principle is verify as soon as the quota is greater than k. This is true for Plurality, Borda, k Nanson and Coombs. This result is interesting since this is also the quota which guarantees that a rule associated with this quota always select an alternative, as established by Ferejohn and Grether 3

(974). Regarding Hare, the quota of ( ) is greater than the previous one, which suppose k n that this is more difficult with Hare to respect q Condorcet Consistency. We also consider the case of all simple positional rules. However our study is limited to the three alternative case. It appears indeed that the issue of characterizing quota under which a given rule satisfies our consistency property is a difficult task. We do not try to solve the problem for general sequential positional rules since it would require to define what is the scoring vectors at each step of the process. Finally, it is worth noting that it may seems appropriate to extend our results by evaluating the propensitivity of positional rules to violate this majority condition when the quota is not achieved. This is a very common approach in the context of simple majority. That is why it can be interesting to apply it in the context of supra-majority. 4

References [] Borda, J.C. de.: Mémoire sur les élections au scrutin. Histoire de l Académie Royale des Sciences. Paris (78) [] Condorcet, M.J.A.: Essai sur l application de l analyse à la probabilité des décisions rendues àlapluralitédesvoix.paris(785) [3] Baharad, E., Nitzan, S.: The Borda rule, Condorcet consistency and Condorcet stability. Econ Theory,, 685-688 (3) [4] Ferejohn, J.A. and Grether, D.M.: On a class of rational social decision procedures. Journal of Econ Theory, 8, 47-48 (974) [5] Lepelley, D.: Constant scoring rules, Condorcet criteria and single-peaked preferences. Econ Theory, 7, 49-5 (996) [6] Nakamura, K.: The vetoers in a simple game with ordinal preferences. Internat J Game Theory, 8, 55 5 (979) [7] Nurmi, H.: Comparing voting systems. D.Reidel, Dordrecht (987) [8] Nurmi, H.: Voting paradoxes and how to deal with them. Springer-Verlag, Berlin-Heidelberg- New York (999) [9] Saari, D.G.: Geometry of voting. Springer-Verlag, New York (994) [] Saari, D.G.: Which is better: the Condorcet or Borda winner? Soc Choice Welf, 6, 7-3 (6) [] Smith, J.H.: Aggregation of preferences with variable electorate. Econometrica, 4, 7-4 (973) [] Young, H.P.: An axiomatization of Borda s rule. J Econ Theory, 9, 43-5 (974) [3] Young H.P.: Social choice scoring functions. SIAM J App Math 8, 84-838 (975) 5