Meanmedian compromise method as an innovating voting rule in social choice theory 

RuffinBenoît M. Ngoie ^{1}*, Berthold Ulungu E.L ^{2, 3} 

^{1} Mathematics and Informatics Department, ISP/MbanzaNgungu, Democratic Republic of Congo ^{2} ISTA/Kinshasa, Democratic Republic of Congo ^{3} Laboratory, MATHRO,University of Mons, Belgium *Corresponding author Email: benoitmpoy@hotmail.com 
Copyright © 2015 RuffinBenoî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 BalinskiLaraki's framework and benefits mean and median advantages. The socalled MeanMedian 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 (tradeunion 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 (exvoters) 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 BalinskiLarakian 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 BalinskiLaraki'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 tiebreaking 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 tiebreaking rules: majoritygrade and majoritygauge (see [4], [5], and [6]).
· MeanMedian Compromise Method (MMCM): this method is obtained by hybridization of the BMC and MJ. Its tiebreaking rule returns values of a sequence that converge to the result of BMC before using tiebreaking 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 BalinskiLaraki's MJ is a redefinition of Basset and Persky's Robust Voting [14] in the balinskilarakian 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 socalled 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 meanmedian 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 nonredundant intermedian grades obtained from a division degree.
The sodefined 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. Tiebreaking
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 7voters 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 tiebreak 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 listvoting.
All voting functions herementioned 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), Condorcetwinner paradox and/or Condorcetloser paradox (see e.g. [15, 16]).
The socalled 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 districtselections 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 ParetoConsistency) 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 Paretoconsistent.
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 reexamined 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 reevaluated 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 nonobservance 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 JeanPierre 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 Condorcetwinner). 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 JeanFranç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 
MajorityTyrannyProofness 
1 
0 
1 
0 
0 
Beyond abovementioned 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 tiebreaking 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 strategyproof 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 JeanFranç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 87208725, 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 201237, CNRS, 2012.
[7] José Carlos R. Alcantud and Annick Laruelle. Dis& approval voting: a characterization. Social Choice and Welfare, 43(1):110, 2014. http://dx.doi.org/10.1007/s0035501307667.
[8] Manzoor Ahmed Zahid. A new framework for elections. PhD thesis, Tilburg University, 2012.
[9] RuffinBenoî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):930, 2014.
[10] RuffinBenoit 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): 1938, 2015.
[11] Edurne Falco and José Luis GarciaLapresta. A distancebased extension of the majority judgement voting system. In Acta Universitatis Belii, Mathematics 18, pages 1727, 2011.
[12] Edurne Falco, José Luis GarciaLapresta, and Llorenç Rosello. Allowing voters to be imprecise: à proposal using multiple linguistic terms. Information Sciences, 2013.
[13] Edurne Falco, José Luis GarciaLapresta, and Llorenç Rosello. Aggregating imprecise linguistic expressions. In P. Guo and W. Pedrycz, editors, HumanCentric Decision Making Models for Social Sciences. 2014. http://dx.doi.org/10.1007/9783642393075_5.
[14] Gilbert W. Basset and Joseph Persky. Robust voting. Public Choice, 99:299310, 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 FourierGrenoble 1, 2000.
[16] Dan S. Felsenthal. Electoral Systems. Paradoxes, Assumptions, and Procedures, chapter 3: Review of Paradoxes Afflicting Procedures for Electing a Single Candidate. SpringerVerlag, Berlin Heidelberg, 2012.
[17] JeanFrançois Laslier. Electoral Systems, chapter 13: And the loser is... Plurality Voting. SpringerVerlag, 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):189201, 2009.
[20] Antoinette Baujard, Frédéric Gavrel, Herrade Igersheim, JeanFrançois Laslier, and Isabelle Lebon. Who's favored by evaluative voting ? an experiment conducted during the 2012 french presidentiel election. Cahier 201305, CNRS, 2013.
[21] JeanFrançois Laslier and Karine Van der Straeten. Une expérience de vote par assentiment. Revue française de science politique, 54(1):99130, 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.