Mean-median compromise method as an innovating

voting rule in social choice theory

 

Ruffin-Benoît M. Ngoie 1*, Berthold Ulungu E.-L 2, 3

 

1 Mathematics and Informatics Department, ISP/Mbanza-Ngungu, Democratic Republic of Congo

2 ISTA/Kinshasa, Democratic Republic of Congo

3 Laboratory, MATHRO,University of Mons, Belgium

*Corresponding author E-mail: benoitmpoy@hotmail.com

 

 

Copyright © 2015 Ruffin-Benoît M. Ngoie, Berthold Ulungu E.-L. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

 

Abstract

 

This paper aims at presenting a new voting function which is obtained in Balinski-Laraki's framework and benefits mean and median advantages. The so-called Mean-Median Comprise Method (MMCM) has fulfilled criteria such as unanimity, neutrality, anonymity, monotonicity, and Arrow's independence of irrelevant alternatives. It also generalizes approval voting system.

 

Keywords: Aggregation, Approval Voting, Borda Majority Count, Majority Judgment, Social Choice Function.

 

1.         Introduction

Election corresponds to the process by which individuals perform a choice which is expressed through vote, with aim of designating one or more individuals who will have the responsibility to occupy a political office (trade-union or administrative) [1].

Several models were proposed to fulfill  this task but Arrow's one [2, 3] induced two paradoxes (Condorcet and Arrow's paradoxes) both insurmountable in theory and impossible to circumvent in practice. Social Choice Theory is, for this purpose, devoted to a reverse whatever the provided efforts because it is hardly able to solve the problem at its origin. We can advance a quite rational explanation to this constant impossibility confession and its corollary:

·             Cause: the traditional model is inadequate because expressions of the allowed opinions to judges (ex-voters) are unsuited and insufficient

·             Consequence: the theory which springs from is incoherent and contradictory.

Consequently, on the basis of this conviction, it is advisable to consider a new theory which pushes back the fixed limits of the arrovian framework. Michel Balinski and Rida Laraki undertook various works in this direction to propose a new framework not based on decision makers' individual preferences but on their evaluations [4, 5, 6].

Thus, the Balinski-Larakian model requires from actors to make a judgment on each candidate in competition. In this meaning, it is more realistic to call actors  judges  (rather than voters or electors). Candidates are then  competitors”.

The Balinski-Laraki's model was adopted by several other researchers in Economics and Operations Research; its main characteristic is that judges do not need a numerical scale to evaluate candidates. An ordinal nominal scale is enough so that the common usual language can be used to evaluate candidates. By doing so, several methods were born; let us quote most representative:

·             Approval voting: each judge approves or disapproves each candidate. The winner is the one who obtains most approvals.

·             Evaluation voting: each judge allots a mark (or grade) to each candidate. The candidate who obtains the highest average or sum of marks is elected [7].

·             Borda Majority Count (BMC): it is an extent of evaluation voting where a specific tie-breaking rule is used (see [8]).

·             Majority Judgment (MJ): each judge allots a grade (ordinal or cardinal) to each candidate. The winner is the one who obtains the highest median. This function uses two tie-breaking rules: majority-grade and majority-gauge (see [4], [5], and [6]).

·             Mean-Median Compromise Method (MMCM): this method is obtained by hybridization of the BMC and MJ. Its tie-breaking rule returns values of a sequence that converge to the result of BMC before using tie-breaking rule suggested by Manzoor Ahmed Zahid (see [9], and [10]).

Interested reader can find more details in [11], [12] or [13]. It is suitable to note that Balinski-Laraki's MJ is a redefinition of Basset and Persky's Robust Voting [14] in the balinski-larakian framework.

The object of this paper is to isolate MMCM (see [9], and [10]), state and show its essential characteristics. For this purpose, the paper is organized as follows: section 2 outlines the so-called social choice function MMCM, section 3 enumerates some of its properties in the form of shown theorems. Lastly, section 4 is devoted to remarks and conclusion.

2.         Outlines of mean-median compromise method (MMCM)

This section outlines the MMCM method proposed by Ngoie, Ulungu and Savadogo in [9], and [10]; there, didactic examples are also developped.

Definition 2.1 (Amplitude of a division) Let  be the set of  judges, we call amplitude of a division the real number:

 

                                                                                                                                                                               (1)

 

with  a whole number called “division degree”.

Definition 2.2 (Intermedian grades) Let  be a candidate or competitor with grade  such that . A grade  is called “intermedian” if and only if  such that  whereis the whole number that is nearest to  and  the amplitude of division for a fixed division degree .

We note  the set of non-redundant intermedian grades obtained from a division degree.

The so-defined   is the set of data involved in the Olympic average[1] calculation of points which are bounds (higher or lower) of  intervals obtained after division.

Definition 2.3 (Average Majority Compromise) Let be a candidate or competitor with grades  where  and  the set of his or her intermedian grades obtained from division degree. Then the “average majority compromise”, or “average majority evaluation” or “average majority rank”  is by definition:

 

                                                                                                                                                        (2)

 

Example 2.1 If 5 judges assign grades 4, 8, 7, 9, 5 to . Suppose 1.5

When we arrange grades in descending order, we obtain: 9, 8, 7, 5, 4

 

Thus6.33

And if 8 judges allot grades 9, 7, 3, 6, 5, 4, 5, 8 to.

For , 1.125

Classified grades in descending order are: 9, 8, 7, 6, 5, 5, 4, 3

  

Therefore  = 5.8

 


 

2.1. Tie-breaking

 

When average majority grades of two candidates are different, the one with the higher average majority grade naturally ranks ahead of the other. Majority ranking  between two candidates evaluated by the same jury is determined by a repeated application of average majority ranking:

·             start with

·             if  then

·             if  then the procedure is repeated for.

2.2. Ranking candidates with MMCM

 

Let us take the following example to illustrate this procedure:

Example 2.2 Let us suppose that a et b are evaluated by a 7-voters jury:

              :               85           73           78           90           69           70           71

              :               77           72           95           83           73           73           66

The ordered profile is:

              :               90           85           78           73           71           70           69

              :               95           83           77           73           73           72           66

 

 

  and 

  and 

. A tie-break occurs between  and . By definition, we repeat the procedure for  and obtain:

 

 

  And 

  And 

. Then.

In this example the average majority evaluation returns exactly the same result as the average. That is due to the fact that each candidate’s intermedian grades set is equal her or his grade set.

Definition 2.4 (Maximum division index) Let  be a candidate or competitor and  set of ’s grades with  and  the set of her or his intermedian grades obtained with a division degree. Then, the smallest whole number such that  is called maximum division index or total division index. It is denoted .

In example 2.2 stated above, the maximum division index is .

3.         Properties of the MMCM

First of all, let us notice that single member voting systems either with one or two rounds are used throughout the world for leaders' elections. Australia and Ireland cases which proceed to a complex method called transferable voting are likely to be considered as exceptions. To these exceptions, let us add Belgian case which uses a list-voting.

All voting functions here-mentioned are designed in arrovian framework. They suffer from inconsistencies such that it would not be right to affirm that they reflect the will of the people. For us to convince some, it would be enough to observe paradoxical results of French presidential elections of 1995, 2002 and 2007: in all these elections were observed Arrow's paradox (Independence of Irrelevant Alternatives), Condorcet-winner paradox and/or Condorcet-loser paradox (see e.g. [15, 16]).

The so-called Social Choice Function MMCM was designed in order to avoid pitfalls of the previous voting functions. We show in this paper that most of paradoxes that affect these functions do not jeopardize the MMCM.

Definition 3.1 (Neutrality) Aggregating function f is neutral if the winner between two or several candidates changes when all voters reverse their preferences (or evaluations).

Neutrality idea requires that if preferences radically change, election winner must change, too.

 

Theorem 3.1 : MMCM is neutral.

 

Proof : Let us consider an electorate  of  voters (). If two candidates  and  are evaluated by these  voters and their grades are respectively  and  where  indicates the grade allotted by voter  to candidate  (;  or ).

Suppose that. Therefore.

If each voter reverses her or his evaluation (i.e.  becomes  and vice versa), the set of’s grades becomes  and’s one becomes.

We then obtain    

Note: Neutrality theorem was already established for MJ and BMC [4, 5, 8]. A method obtained by hybridization of both above mentioned methods can only but fulfull this criterion.

Definition 3.2 : (Anonymity) Aggregating function f is anonymous if the winner between two or several candidates does not change even when voters are permuted.

This definition indicates that if two voters exchange their ballot papers, the function must return the same result in both situations.

 

Theorem 3.2 : MMCM is anomymous

 

Proof: Let  be a candidate whose set of grades allotted by  voters () is . If two voters  and  permute (i.e.  becomes  and vice versa whatever),  will not change.

Thus  which is’s final evaluation by MMCM, will not change even if the voters were permuted. As is unspecified, this remains true for any candidate

Note: Even if this property seems to be weak, it is not fulfilled by districts-elections such as those implemented in the United States of America or proportional voting which is implemented in the Democratic Republic of Congo (DRC) for legislative elections and provincial ones.

Definition 3.3 : (Unanymity or Pareto-Consistency) Aggregating function f is unanimous if it always returns as the winning candidate between two or several candidates the one who is considered by all the voters to be the best.

This definition suggests that when all the voters prefer a candidate to all of her or his opponents, this candidate should not, in any case, whatever would be the profile, likely to be losing.

 

Theorem 3.3 : MMCM is Pareto-consistent.

 

Proof: Let  and  be two candidates with respective grades  and  such that.

We will obtain for a division degree  (with):

 And  (with) where  indicates the intermedian set of candidate.

Since, we have  and thus,

 

Definition 3.4 (Monotonicity) Aggregating function f is monotonic if it returns as winner a candidate with a profile p and keeps her or him as winner with a profile p' considering that in the last profile, at least one voter improved his grade for this candidate.

A candidate should not decrease in the final ranking if at least one judge re-examined her or him by allotting a higher grade.

 

Theorem 3.4 : MMCM is monotonic.

 

Proof: Let  and  be two candidates with respective  and  such that .

Suppose that voter  having previously allotted grade  to  re-evaluated her or him by allotting a grade  such that  ceteris paribus. Three cases are then possible:

·             Grade  does not amend the overall constitution of intermedian grades.  Remains the same and.

·             Grade  is an intermedian (i.e. voter  is pivotal) and  which is’s final evaluation by MMCM after taking into account the preference amendment of voter.

Thus

·             Grade  is not intermedian but amends the overall constitution of intermedian grades. In this case, an intermedian grade is replaced by another by shifting a row on the left. Let  be the replaced grade. This grade is replaced by. However  (grades being ordered in a decreasing order before evaluating ). We then have.

Definition 3.5 (Independence of Irrelevant Alternatives) Aggregating function f is independent from irrelevant alternatives if it establishes that ranking between two candidates depends only on voters' preferences (or evaluations) on these candidates. The addition or withdrawal of another candidate does not have, in any case, to modify this ranking.

The non-observance of this criterion is known as Arrow's paradox. When an aggregating function does not fulfill this criterion, it is regarded as vulnerable to the Arrow's paradox. This paradox is very frequent in elections all over the world. It was observed in particular in the United States of America in 2000 (candidature of Ralph Nader supporting Georges Bush election against Albert Gore), in 2002 French presidential elections (candidature of Jean-Pierre Chevenement hindering Lionel Jospin to reach the second round) and 2007 french presidential elections (if there were no socialist candidature or UMP (Union pour la Majorité Présidentielle) candidacy, Bayrou would be elected President of the Republic – according to all surveys, he was the Condorcet-winner). In DRC, many surveys indicated that a candidate from the opposition would probably win the 2011 presidential election against Presidential Majority (MP: Majorité Présidentielle) candidate if there were not multiplicity of candidature from the opposition.

Theorem 3.5 : MMCM is independent from irrelevant alternatives.

 

Proof: Evaluations by voters are cast on the basis of candidates’ performance independently from each other. Thus, if any voter  allot a score or grade  to candidate  and  to another candidate  such that , whatever grade  she or he allots in addition to candidate , therefore ordrer  will never be modified

In a survey carried out by Jean-François Laslier [17], experts in Social Choice Theory were invited to make a statement on 18 voting systems. These voting systems were regarded as candidates for an election of approval voting kind. The winner with this experiment was of course the approval voting (AV) with 68.18% of voters (specialists) having approved of it. However, the approval voting is a specific case of the evaluation voting (or to some extent Range Voting) and of the Majority Judgment (cf. [18]).

In this Laslier's experiment, Majority Judgment is ranked eighth with 22.73% of voters having approved it and evaluation voting ranks eleventh with 9.09% of voters having approved it. We show in this article that approval voting is also a specific case of the MMCM.

 

Theorem 3.6 : MMCM is equivalent to approval voting as allowed scores are 1 or 0.

 

By stating this theorem we want to show that result obtained by MMCM is the same as approval voting one if the only authorized scores are 0 (to code disapproved) and 1 (to code approved). As the Laslier's experiment [17] shows it, that does not guarantee to us its acceptance on behalf of all the partisans of the approval voting. Thus, this theorem remains only one contribution or an argument to defend the MMCM.

Proof: If the only allowed scores are 0 and 1, for all  two candidates with respective scores  and  where  or 1   or.

According to approval voting,  if  has more “1” (or approvals) than . Let us suppose that this result is not corroborated by MMCM i.e.  has more “1” than  and .  This means that  such that  includes less “1” than . This is absurd according to [9],  converges to  and  to  when  tends to  (maximum division index) (cf. Theorem 5.2 in [9]). Since  has more “1” than ,  should include at least as many “1” as . Therefore we must have  . 

4.         MMCM versus most valuable Social Choice Functions

It would be better to introduce here a table comparing representative social choice functions over some properties. At least, MMCM is compared to BMC and MJ. In table 1 below, “1” in a box means that the social choice function on the associate column fulfills criterion on the associate line, otherwise we mark down “0”.

Table 1: Comparing MMCM to most valuable social choice functions

Properties

MMCM

MJ

BMC

AV

Plurality Voting

Neutrality

1

1

1

1

1

Anonymity

1

1

1

1

1

Unanimity

1

1

1

1

1

Monotonicity

1

1

1

1

0

Independence of Irrelevant Alternative

1

1

1

1

0

Generalizing AV

1

1

1

1

0

High Expressivity from Voter

1

1

1

0

0

Robustness

1

1

0

0

0

Majority-Tyranny-Proofness

1

0

1

0

0

 

Beyond above-mentioned criteria, MMCM still fulfills other fair criteria such as honesty of voter (betraying one’s favorite candidate does not pay), allowance of having no opinion vote, immunity to candidate cloning, etc.

5.         Concluding remarks

In this paper, we outlined a new voting system obtained by combination of Borda Majority Count (see [8]) and Majority Judgment (see [4, 5, 6]). The principle of this new method consists in dividing the ordered list of grades in  equal parts and retaining only bounds of internal parts. Average of selected grades or marks (intermedians) is the returned value. It consists in increasing the number of parts in the list of grades [9]. The suggested tie-breaking rule differs as well from the BMC as the MJ.

It was also shown that MMCM fulfills a number of desirable properties which are not available for common voting systems. MMCM thus fits incontestably in the list of voting functions which are simultaneously monotonic, unanimous, neutral and independent from irrelevant alternatives.

MMCM still fulfills more other criteria which were not referred to in this article. For example, it is more likely strategy-proof than BMC or any other form of voting based on the summation or the average of grades.

Indeed, it generalizes the approval voting, one of the most valued functions according to many specialists in Social Choice Theory (see [19, 20, 21]).

Acknowledgments: The authors are grateful to Jean-François Laslier (from CNRS, France) for constructive discussions about Robust Voting and MJ. They are also grateful to anonymous referee(s) for invaluable and useful suggestions.

References

[1]         Nicolas Jean. Environnement politique et élections : Une étude des déterminants du vote appliquée aux élections municipales françaises. PhD thesis, Université des Sciences et Technologies de Lille, 2012.

[2]         Kenneth J. Arrow. Social choice and individual values, Yale University Press, 1951.

[3]         Kenneth J. Arrow. Social choice and individual values, Yale University Press, 1963.

[4]         Michel Balinski and Rida Laraki. A theory of measuring, electing and ranking. Proceedings of the National Academy of Sciences of the United States of America, pages 8720-8725, 2007.

[5]         Michel Balinski and Rida Laraki. Majority Judgment: measuring, ranking and electing. MIT Press, 2010.

[6]         Michel Balinski and Rida Laraki. Jugement majoritaire vs vote majoritaire. Cahier 2012-37, CNRS, 2012.

[7]         José Carlos R. Alcantud and Annick Laruelle. Dis& approval voting: a characterization. Social Choice and Welfare, 43(1):1-10, 2014. http://dx.doi.org/10.1007/s00355-013-0766-7.

[8]         Manzoor Ahmed Zahid. A new framework for elections. PhD thesis, Tilburg University, 2012.

[9]         Ruffin-Benoît M. Ngoie, Zoïnabo Savadogo, and Berthold E.-L. Ulungu. Median and average as tools for measuring, electing and ranking: new prospects. Fundamental Journal of Mathematics and Mathematical Sciences, 1(1):9-30, 2014.

[10]      Ruffin-Benoit M. Ngoie, Zoïnabo Savadogo, and Berthold E.-L. Ulungu. New Prospects in Social Choice Theory: Median and average as tools for measuring, electing and ranking. Adv. Stud. Contemp. Math., 25(1): 19-38, 2015.

[11]      Edurne Falco and José Luis Garcia-Lapresta. A distance-based extension of the majority judgement voting system. In Acta Universitatis Belii, Mathematics 18, pages 17-27, 2011.

[12]      Edurne Falco, José Luis Garcia-Lapresta, and Llorenç Rosello. Allowing voters to be imprecise: à proposal using multiple linguistic terms. Information Sciences, 2013.

[13]      Edurne Falco, José Luis Garcia-Lapresta, and Llorenç Rosello. Aggregating imprecise linguistic expressions. In P. Guo and W. Pedrycz, editors, Human-Centric Decision Making Models for Social Sciences. 2014. http://dx.doi.org/10.1007/978-3-642-39307-5_5.

[14]      Gilbert W. Basset and Joseph Persky. Robust voting. Public Choice, 99:299-310, 1999. http://dx.doi.org/10.1023/A:1018324807861.

[15]      Sylvain Durand. Sur quelques paradoxes en Théorie du Choix Social et en décision multicritère. PhD thesis, Université Joseph Fourier-Grenoble 1, 2000.

[16]      Dan S. Felsenthal. Electoral Systems. Paradoxes, Assumptions, and Procedures, chapter 3: Review of Paradoxes Afflicting Procedures for Electing a Single Candidate. Springer-Verlag, Berlin Heidelberg, 2012.

[17]      Jean-François Laslier. Electoral Systems, chapter 13: And the loser is... Plurality Voting. Springer-Verlag, Berlin Heilderberg, 2012.

[18]      Warren D. Smith. Range voting. http://rangevoting.org/RangeVoting.html, 2012.

[19]      Antoinette Baujard and Herrade Igersheim. Expérimentation du vote par note et du vote par approbation le 22 avril 2007. Premiers résultats. Revue économique, 60(1):189-201, 2009.

[20]      Antoinette Baujard, Frédéric Gavrel, Herrade Igersheim, Jean-François Laslier, and Isabelle Lebon. Who's favored by evaluative voting ? an experiment conducted during the 2012 french presidentiel election. Cahier 2013-05, CNRS, 2013.

[21]      Jean-François Laslier and Karine Van der Straeten. Une expérience de vote par assentiment. Revue française de science politique, 54(1):99-130, 2004. http://dx.doi.org/10.3917/rfsp.541.0099.



[1] By Olympic average of  numbers, we mean the arithmetic mean of these numbers when the two extreme values (largest and smallest) are excluded.