An axiomatic characterization of the Borda mean rule
 260 Downloads
Abstract
A social dichotomy function maps a collection of weak orders to a set of dichotomous weak orders. Every dichotomous weak order partitions the set of alternatives into approved alternatives and disapproved alternatives. The Borda mean rule returns all dichotomous weak orders that approve all alternatives with aboveaverage Borda score and disapprove alternatives with belowaverage Borda score. We show that the Borda mean rule is the unique social dichotomy function satisfying neutrality, reinforcement, faithfulness, and the quasiCondorcet property. Our result holds for all domains of weak orders that are sufficiently rich, including the domain of all linear orders and the domain of all weak orders.
1 Introduction
The typical objective of social choice is to choose the best alternatives based on voters’ preferences. Preferences are given as a weak order for each voter. Using this information, social choice functions choose a set of winning alternatives. Suppose instead that the goal is to split the alternatives into good alternatives and bad alternatives with the separation between both sets being as large as possible. Duddy et al. (2014) note that social choice functions, viewed as producing a partition into winning and nonwinning alternatives, are not the right tool for this task. For example, consider a class of students that is to be divided into beginners and advanced learners based on how they are ranked by teachers. The goal is to form two groups of students such that the differences in skill level within each group are as small as possible. If all teachers agree on their topranked student, any reasonable social choice function would uniquely choose the unanimously topranked student. Hence, the group of advanced learners would consist of only this one student; all other students would be put into the beginners group. In our example this is likely to be an undesired result, since the differences in skill within the beginners group would be barely reduced compared to the entire class.
Thus, we need to drop some of the properties that seem appealing for social choice functions. A more suitable tool for our task are social dichotomy functions (Duddy et al. 2014), which yield ordered 2partitions of the alternatives. We interpret ordered 2partitions as having the approved alternatives in the first set and the disapprovedalternatives in the second set. In contrast to selecting the best alternatives, there is inherent symmetry in the problem of finding a good separation; in particular, social dichotomy functions should usually satisfy reversal symmetry: if all of the inputpreferences are reversed, then the output will also be reversed, so that approved and disapproved alternatives switch place.
Social dichotomy functions are appealing as a tool for summarizingpreference information: a group can compile their preferences to obtain a single binaryclassification into promising and unpromising alternatives. In general, the input and output of a social dichotomy function may express any kind of structure on the set of alternatives; it need not suggest a better–worse relationship. For example, suppose a number of experts has different assessments on how political parties should be ordered on the left–right spectrum. Based on this information, a social dichotomy function can be used to group parties into leftwing and rightwing.^{1}
Reversal symmetry (similarly defined) is also a natural property for socialpreference functions, which return a set of linear orders of the alternatives. We will see that social dichotomy functions are more closely related to social preferencefunctions than to social choice functions. Kemeny’s rule (Kemeny 1959) is an example of a social preference function that has been very influential in social choice theory. Young (1995) predicted that “the time will come when it is considered a standard tool for political and group decision making”. Given a preference profile, the rule assigns to each possible weak order \(\succcurlyeq \) a Kemeny score: the order gains a point for each voter i and each pair of alternatives \(a,b\in A\) such that \(a\succ b\) and \(a\succ _i b\); the order loses a point if \(b \succ _i a\); no points are assigned if \(a \sim _i b\). Thus, the Kemeny score of\(\succcurlyeq \) indicates how much pairwise “agreement” there is between the output order \(\succcurlyeq \) and the input preferences. Kemeny’s rule returns the set of all linear orders with maximum Kemeny score.
Zwicker (2018) introduced the idea of using Kemeny scores to define aggregation rules for other output types. For example, suppose we maximize the Kemeny score over the family of relations \(\{x\} \succ A{\setminus }\{x\}\) that have a unique mostpreferred element and that are indifferent between all other alternatives. This yields precisely the relations whose mostpreferred element is a winner of Borda’s rule. In his paper, Zwicker (2018) proposed the kKemeny rule which returns the kchotomous weak orders of highest Kemeny score; a weak order \(\succcurlyeq \) is called kchotomous if its induced indifference relation \(\sim \) partitions A into at most k indifference classes.^{2} 2chotomous orders are usually called dichotomous; these are the orders that partition the alternatives into a set of approved and a set of disapproved alternatives. Hence, the 2Kemeny rule is a social dichotomy function. Duddy et al. (2014) showed that the 2Kemeny rule is identical to the Borda mean rule. This equivalent definition of the Borda mean rule suggests that it is a good tool for finding dichotomies that maximize the separation between the set of approved and the set of disapproved alternatives.
Social choice theory abounds with proposals for voting rules; which of them should we use, and in which contexts? Axiomatic characterizations provide some of the strongest reasons in favor of using certain rules. For example, Kemeny’s rule is largely seen as a very attractive social preference function because of its characterization by Young and Levenglick (1978) [though there are other reasons, such as the rule’s interpretation as a maximum likelihood estimate (Young 1988)]. In this paper, we present an axiomatic characterization of the Borda mean rule, using the same axioms as the characterization of Kemeny’s rule by Young and Levenglick (1978). Thus, the above argument in favor of Kemeny’s rule applies just as well to the Borda mean rule, hopefully establishing its place as a very natural social dichotomy function. In formal terms, our result is that the Borda mean rule is the unique social dichotomy function satisfying neutrality, reinforcement, faithfulness, and the quasiCondorcet property.^{3} Our proof follows a similar structure to Young’s (1974a) characterization of Borda’s rule. In particular, we also use linear algebra and exploit the orthogonal decomposition of weighted tournaments popularized in social choice theory by Zwicker (1991).^{4} In contrast to Young and Levenglick (1978), we do not need any convex separation theorems.
Most of our axioms are commonly used, including the uncontroversial axioms of neutrality (requiring that all alternatives are treated equally) and faithfulness(requiring sensible behavior in singlevoter situations). Reinforcement (often known asconsistency) is the workhorse of many axiomatic characterizations in social choice. It is a variableelectorate axiom which requires that if the same dichotomy is selected in two disjoint profiles, then it is still selected if we merge the two profiles into one. Reinforcement is typically satisfied by rules which maximize a sum of the “scores” that each voter assigns to a potential output. The most specialized axiom in ourcollection is the quasiCondorcet property, introduced by Young and Levenglick (1978) and also used by Barthélemy and Janowitz (1991). It requires that a “dummy alternative” (one that is tied with every other alternative in a pairwise majoritycomparison) can move around freely within the output relation. (We give a formaldefinition below.) The quasiCondorcet property is stronger than the cancellation axiom and thus, in conjunction with reinforcement, implies that the output can only depend on the weighted majority relation (see Lemma 2). None of the four axioms in our collection can be dropped without the characterization result breaking down (see Sect. 8).
Our result applies to various possible input types. In particular, it applies when votes are given by linear orders, or when they are given by arbitrary weak orders. It also applies to jchotomous weak orders whenever \(j \geqslant 3\); thus, our result characterizes Zwicker’s (2018) (j, 2)Kemeny rule for each \(j\geqslant 3\), which is the Borda mean rule as applied to profiles of jchotomous weak orders. More generally, our proof works whenever the domain of allowed preference orders forms a McGarvey domain, that is, whenever every possible weighted majority tournament (with only even weights or only odd weights) can be induced by a profile using such orders. The domains of linear orders, of weak orders, and of jchotomous orders (\(j\geqslant 3\)) are McGarvey domains. In contrast, the domain of dichotomous orders is not a McGarvey domain, and our proof does not apply to this domain.
2 Related work
Duddy et al. (2016) study a setting in which every voter holds a binary evaluation of the alternatives or, equivalently, a dichotomous weak order. A binary aggregation function maps the voters’ binary evaluations to an ordered 3partition of approved, tied, and disapproved alternatives. Thus, the output of a binary aggregation function assigns to each alternative one of the values \(+\,1\), 0, or \(\,1\). Duddy et al. (2016) propose the mean rule, which assigns \(+\,1\) to all alternatives with aboveaverage approval score, assigns 0 to alternatives whose approval score is exactly average, and assigns \(\,1\) to all alternatives with belowaverage approval score. They explain that the mean rule can be used in judgement aggregation for certain agendas, and connect the mean rule with the scoring rules for judgement aggregation introduced by Dietrich (2014). Further, Duddy et al. (2016) prove that the mean rule is the only binary aggregation function satisfying axioms called neutrality, consistency, cancellation, and faithfulness. Their notion of consistency is a version of Smith’s (1973) axiom of separability: if an alternative is approved by one electorate and either approved or ranked as tied by another disjoint electorate, then it is approved by the union of both electorates (and analogously for disapproved alternatives). While the mean rule is very closely related to the Borda mean rule (when evaluated on profiles of dichotomous weak orders), the formal setting of Duddy et al. (2016) differs significantly from ours. In particular, our characterization result is logically independent from theirs, since our reinforcement axiom neither implies nor is implied by their consistency axiom. Further, our proof does not work for the case where voters are only allowed to submit dichotomous weak orders, and their proof does not apply to the kinds of input types that we study.
Since social dichotomy functions can be viewed as returning a set of multiplewinners, the recent literature on multiwinner voting rules is related (for a survey, see Faliszewski et al. 2017a). Voting rules in that setting return a committee of kalternatives, where k is fixed. Examples include the kBorda rule (which returns the k alternatives with highest Borda score, see Debord 1992), as well asChamberlin and Courant’s (1983) rule and Monroe’s (1995) rule, which aim forcommittees providing proportional representation. Note that, in contrast, the definition of a social dichotomy function does not impose any cardinality constraint on the set of approved alternatives. Indeed, multiwinner rules typically do not satisfy reversal symmetry. Axiomatic characterizations of multiwinner rules using consistencytype axioms are provided by Skowron et al. (2016) for linear order preferences and by Lackner and Skowron (2018) for approval preferences. The kBorda rule wascharacterized by Debord (1992); his result is close to ours, but simpler to prove due to the cardinality constraint on the set of winners. The kBorda rule can be equivalently defined as the rule that returns the Kemeny scoreoptimal dichotomous orders with exactly k approved alternatives.
Recently, there has also been some discussion of multiwinner voting rules with a variable number of winners. The Borda mean rule is an example of such a rule. Kilgour (2016) reviews several such rules for the case of approval (dichotomous) preferences, and Faliszewski et al. (2017b) study their computational complexity.
A recent paper by Lang et al. (2016) proposes several schemes of rules that can be used to aggregate preferences into an arbitrary structure. For example, they propose a Kemeny scheme that can be used to find an aggregate ranking, or a committee, or a single winner, or an ordered committee, etc. Applying their Kemeny scheme to the output type of a dichotomy (i.e., an ordered partition into two pieces) yields the Borda mean rule. They also propose two other schemes that, specialized to dichotomies, yield different rules. The first is based on minimizing a Hamming distance and yields the Copeland mean rule, which approves an alternative whenever its Copeland score is aboveaverage. The second generalizes the Ranked Pairs rule due to Tideman (1987), and yields a Ranked Pairs rule for dichotomies.
Many characterizations of Borda’s rule as a social choice function, and of scoring rules more generally, are available (for a survey, see Chebotarev and Shamis 1998). Young (1974a) gave the first characterization of Borda’s rule using reinforcement. Hansson and Sahlquist (1976) gave an alternative proof that does not use linear algebra. Young (1975) characterized the class of all scoring rules, and identified Borda’s rule among them by adding an additional axiom (cancellation). Smith (1973) independently found a characterization of scoring rules as social welfare functions; Young (1974b) gave an alternative proof of that result.
The Borda mean rule is also related to Nanson’s rule, which, in order to determine a winner, repeatedly eliminates all alternatives with belowaverage Borda score (Nanson 1882; Niou 1987). The Borda mean rule is, in a sense, the result of stopping Nanson’s procedure after its first round.
The quasiCondorcet property, a key axiom in our characterization, was introduced by Young and Levenglick (1978) for characterizing Kemeny’s rule. The axiom also proved useful in the literature about the median procedure for aggregating other kinds of data structures, such as for median semilattices (Barthélemy and Janowitz 1991) and median graphs (McMorris et al. 2000). Nehring and Pivato (2018) characterized the median procedure in judgement aggregation using reinforcement and a property called supermajority efficiency. Their result also yields an alternative characterization of Kemeny’s rule.
3 Definitions
We use \({\mathbb {N}} = \{1,2,\ldots \}\) to denote an infinite set of potential voters. Let A be a finite set of alternatives, where \(A = m\). The preferences of an agent \(i\in {\mathbb {N}}\) are given by a binary relation \({\succcurlyeq _i}\subseteq A\times A\) which is complete and transitive; such a relation is called a weak order. We will write \(a\succ _i b\) if \(a\succcurlyeq _i b\) but \(b\not \succcurlyeq _i a\), and \(a\sim _i b\) if both \(a\succcurlyeq _i b\) and \(b\succcurlyeq _i a\). The reverse\({\succcurlyeq }\) of a weak order \(\succcurlyeq \) is defined by \((a,b) \in {\succcurlyeq }\) if and only if \((b,a) \in {\succcurlyeq }\). If \(\sigma \) is a permutation of A, we can naturally define the relation \(\sigma ({\succcurlyeq }) = \{ (\sigma (a), \sigma (b)) :(a,b) \in {\succcurlyeq } \}\), and extend this definition to sets and profiles of weak orders.
A weak order \(\succcurlyeq \) is called a linear order if it is antisymmetric, so that \(a\sim b\) only if \(a = b\). A weak order \(\succcurlyeq \) is dichotomous if there is a partition \((A_1, A_2)\) of A into two subsets such that \(a \succ b\) if and only if \(a\in A_1\) and \(b\in A_2\). We allow one of \(A_1\) and \(A_2\) to be empty, in which case \({\succcurlyeq } = A\times A\) is complete indifference. Equivalently, an order is dichotomous if and only if there are no three alternatives \(a,b,c\in A\) with \(a\succ b \succ c\). We will write \({\mathscr {R}}(A)\) for the set of all weak orders over A, \({\mathscr {L}}(A)\) for the set of all linear orders over A, and \({\mathscr {R}}_2(A)\) for the set of all dichotomous weak orders over A. When the set A is clear from the context, we write \({\mathscr {R}}\), \({\mathscr {L}}\), and \({\mathscr {R}}_2\), respectively.
An electorateN is a finite and nonempty subset of \({\mathbb {N}}\). The set of all electorates is denoted by \({\mathscr {F}}({\mathbb {N}})\). A (preference) profile\(P \in {\mathscr {R}}^N\) on electorate N is a function assigning a weak order to each voter in N. The preferences of voter i in profile P are then denoted by \(\succcurlyeq _i\).
A domain\({\mathscr {D}}\subseteq {\mathscr {R}}\) is a set of weak orders that the voters are allowed to submit. Typical choices for \({\mathscr {D}}\) will be \({\mathscr {R}}\) or \({\mathscr {L}}\). A social dichotomy functionf is a map from the set of all profiles in \({\mathscr {D}}^N\) for some \(N\in {\mathscr {F}}({\mathbb {N}})\) to nonempty subsets of \({\mathscr {R}}_2\), so that \(f(P) \subseteq {\mathscr {R}}_2\) for all profiles P.^{5} We denote by \(\,f\) the social dichotomy function that returns the reverse of the weak orders returned by f; thus, \((f)(P) = (f(P))\), for all profiles P.
4 Borda mean rule
It can be observed from the definition that the Borda mean rule only depends on the pairwise majority margins and hence on the weighted tournament induced by a preference profile.^{9} This property will play an important role in our characterization.
An interesting property of the Borda mean rule is that it always approves Condorcet winners and always disapproves Condorcet losers, provided they exist. This can be seen by recalling that if a is the Condorcet winner in a profile P, then \(\beta _P(a) > 0\) from the definition of \(\beta _P\), and similarly \(\beta _P(b) < 0\) if b is the Condorcet loser. We can argue alternatively that the Kemeny score of a dichotomy \(\succcurlyeq \) strictly improves if we move the Condorcet winner from the lower to the upper indifference class.
5 Axioms
Faithfulness is a weak axiom. It is even weaker than the following (weak) Pareto axiom: whenever a profile \(P\in {\mathscr {D}}^N\), \(N\in {\mathscr {F}}({\mathbb {N}})\), is such that \(a \succ _i b\) for all \(i\in N\), then \(a \succcurlyeq b\) for all \({\succcurlyeq } \in f(P)\). In the proof of our characterization, the faithfulness axiom is invoked only once, to rule out the two social dichotomy functions that satisfy the remaining axioms: first, the trivial social dichotomy function \( TRIV \), which always returns all dichotomous weak orders, and second, the reverse Borda mean rule \( BM \).
6 The linear algebra of weighted tournaments
For our characterization, it will be useful to understand the structure of weighted tournaments better, and so we give a brief introduction to their linear algebra. Let V be the vector space of rationalvalued skewsymmetric \(m\times m\) matrices (or, equivalently, of weighted tournaments with rational arcweights). Note that the dimension \(\dim V\) of V is \(\left( {\begin{array}{c}m\\ 2\end{array}}\right) \). In this context, we write \(0\in V\) to refer to the \(m\times m\) matrix all of whose entries are 0. Identifying a skewsymmetric matrix with a vector in \({\mathbb {Q}}^{m(m1)/2}\), this vector space can be endowed with the usual inner product.^{10}
The cycle space\(V_\text {cycle}= \langle C_{xyz} :x,y,z\in A \text { distinct} \rangle \) is the subspace of V given by the span (the set of all linear combinations) of all 3cycles \(C_{xyz}\). It can also be written as the span of all simple cycles \(C_{v_1v_2\dots v_k}\), since \(C_{v_1v_2\dots v_k} = \sum _{i=2}^{k1} C_{v_1v_iv_{i+1}}\). The cocycle space\(V_\text {cocycle}= \langle D_{\{x\}} :x \in A \rangle \) is defined as the span of all tournaments \(D_{\{x\}}\). It can also be written as the span of all \(D_{X}\) with \(X\subseteq A\), since \(D_X = \sum _{x\in X} D_{\{x\}}\). For the tournaments in Fig. 2, we have that \(T = C_{xyz}\in V_\text {cycle}\) and \(T' = 4D_{\{x\}} + 2D_{\{y\}}\in V_\text {cocycle}\); the tournament \(T''\) is neither contained in \(V_\text {cycle}\) nor in \(V_\text {cocycle}\).
As we now show, V can be decomposed as the sum \(V = V_\text {cycle}+ V_\text {cocycle}\), and these two subspaces are orthogonal, i.e., for all \(T_\text {cycle}\in V_\text {cycle}\) and \(T_\text {cocycle}\in V_\text {cocycle}\), we have \(T_\text {cycle}\cdot T_\text {cocycle}= 0\). This is a standard result, but we include a proof for completeness. The proof will also establish that \(\dim V_\text {cycle}= \left( {\begin{array}{c}m\\ 2\end{array}}\right)  (m  1)\) and \(\dim V_\text {cocycle}= m1\).
Proposition 1
The subspaces \(V_\text {cycle}\) and \(V_\text {cocycle}\) are orthogonal and \(V = V_\text {cycle}+ V_\text {cocycle}\).
Proof
Since the inner product is bilinear, it suffices to check orthogonality on spanning sets of \(V_\text {cycle}\) and \(V_\text {cocycle}\). So consider some \(C_{xyz}\) and some \(D_{\{v\}}\) with \(x,y,z,v\in A\). If \(v\not \in \{x,y,z\}\), then \(C_{xyz}\cdot D_{\{v\}} = 0\). Otherwise, without loss of generality, \(v = x\) and so \(C_{xyz}\cdot D_{\{x\}} = [C_{xyz}]_{xy}[D_{\{x\}}]_{xy} + [C_{xyz}]_{xz}[D_{\{x\}}]_{xz} = 11 = 0\).
With this decomposition, given a weighted tournament T, we can uniquely write \(T = T_\text {cycle}+ T_\text {cocycle}\), where \(T_\text {cycle}\in V_\text {cycle}\) is the cyclic component of T and \(T_\text {cocycle}\in V_\text {cocycle}\) is the cocyclic component of T. We say that T is purely cyclic if \(T = T_\text {cycle}\) so that \(T_\text {cocycle}= 0\), and we say that Tpurely cocyclic if \(T = T_\text {cocycle}\) so that \(T_\text {cycle}= 0\). Of the examples in Fig. 4, \(C_{xyz}\) is purely cyclic, and \(D_X\) and \(S^x_y\) are purely cocyclic. In Fig. 2, the tournament \(T'' = T + T'\) can be decomposed into its cyclic component T and its cocyclic component \(T'\).
Lemma 1
(Zwicker 2018) A weighted tournament T is purely cocyclic if and only if it is difference generated, i.e., there exists a function \(\gamma :A \rightarrow {\mathbb {R}}\) such that \([T]_{xy}= \gamma (x)  \gamma (y)\) for all \(x,y\in A\). In fact, if T is purely cocyclic, then it is difference generated by \(\gamma (x) := \beta _T(x)/m\), i.e., by Borda scores, suitably rescaled.
The function \(\gamma \) is unique up to adding a constant. We can normalize \(\gamma \) by requiring that \(\sum _{x\in A} \gamma (x) = 0\), in which case we then have \(\gamma (x) = \beta _T(x)/m\) for all \(x\in A\).
For example, the tournament \(S^x_y\) is difference generated with \(\gamma (x) = 1\), \(\gamma (y) = 1\), and \(\gamma (z) = 0\) for \(z\in A {\setminus } \{x,y\}\). The tournament \(D_{\{x\}}\) is difference generated with \(\gamma (x) = (m1)/m\) and \(\gamma (z) = 1/m\) for all \(z\in A{\setminus } \{x\}\).
Proof of Lemma 1
If tournaments \(T_1\) and \(T_2\) are difference generated by \(\gamma _1\) and \(\gamma _2\), respectively, then it is easy to see that \(\alpha _1 T_1 + \alpha _2 T_2\) is difference generated by \(\alpha _1\gamma _1+ \alpha _2\gamma _2\). As we noted above, the tournaments \(D_{\{x\}}\) are difference generated. Hence all tournaments in the space \(V_\text {cocycle}\), which is spanned by the tournaments \(D_{\{x\}}\), are difference generated.
For the second statement, recall that \(D_{\{x\}}\) is difference generated by \(\gamma (x)= \beta _{D_{\{x\}}}(x)/m = (m1)/m\) and \(\gamma (z) = \beta _{D_{\{x\}}}(z)/m = 1/m\) for all \(z\ne x\), since \(\gamma (x)  \gamma (z) = \beta _{D_{\{x\}}}(x)/m  \beta _{D_{\{x\}}}(z)/m = 1\). Similarly to above, it then follows that a linear combination T of these tournaments is generated by \(\gamma (x) = \beta _T(x)/m\). \(\square \)
With this result, it is easy to find the decomposition of a given tournament. First construct the cocyclic component \(T_\text {cocycle}\) using the Borda scores, and then obtain \(T_\text {cycle}= T  T_\text {cocycle}\).
7 Characterization
We are now ready to state and prove our main result. For the remainder of this section, let \({\mathscr {D}}\subseteq {\mathscr {R}}\) be some fixed McGarvey domain.
Theorem 1
A social dichotomy function f satisfies neutrality, reinforcement, the quasiCondorcet property, and faithfulness if and only if f is the Borda mean rule.
The fact that the Borda mean rule satisfies all four axioms follows readily from the definition. Hence we only prove the “only if” part of Theorem 1. The proof is split up into five lemmas; in the statement of each lemma, we mention which axioms are used in its proof. Whenever cancellation suffices as a weakening of the quasiCondorcet property, we note this as well.
Our first two lemmas are similar to lemmas in Young’s (1974a) characterization of Borda’s rule. Their conclusions do not depend on the type of output of the aggregation rule, and in particular also hold for social choice functions and social preference functions (for the appropriate definition of cancellation). Young (1974a) operates in the context of profiles of linear orders, but we can adapt the arguments to work for any McGarvey domain.
Lemma 2
(Young 1974a; Young and Levenglick 1978) If a social dichotomyfunction f satisfies reinforcement and cancellation, then f only depends on themajority margins.
Proof
Suppose f satisfies reinforcement and cancellation, and let \(P_1\) and \(P_2\) be two profiles that induce the same majority margins, i.e., \(T(P_1) = T(P_2)\).
A tournament dichotomy function\(\varphi \) is a map from the set V of weighted tournaments to nonempty subsets of \({\mathscr {R}}_2\), so that \(\varphi (T) \subseteq {\mathscr {R}}_2\) for all profiles T. A tournament dichotomy function \(\varphi \)induces a social dichotomy function f where \(f(P) = \varphi (T(P))\) for all profiles \(P\in {\mathscr {D}}^N\) with \(N\in {\mathscr {F}}({\mathbb {N}})\).
Lemma 3
(Young 1974a) Suppose the social dichotomy function f satisfiesreinforcement and cancellation. Then there exists a unique tournament dichotomy function \(\varphi _f\) which induces f and satisfies reinforcement. Further, f satisfiesneutrality and the quasiCondorcet property if and only if \(\varphi _f\) does.
Proof
Let f be a social dichotomy function satisfying reinforcement and cancellation. By Lemma 2, f only depends on the majority margins induced by a preference profile. Thus, f is anonymous, i.e., its outcome is invariant under renaming the voters. Let us observe that reinforcement and anonymity imply that f is homogeneous. Suppose \(P\in {\mathscr {D}}^N\) and \(P'\in {\mathscr {D}}^{N'}\) are profiles on disjoint electorates which are “copies”: there is a bijection \(\xi :N \rightarrow N'\) with \(P'(\xi (i)) = P(i)\) for all \(i\in N\). By anonymity, \(f(P) = f(P')\), and thus by reinforcement, \(f(P \cup P') = f(P) \cap f(P') = f(P)\). By induction, if nP is a profile consisting of n copies of P, then \(f(nP) = f(P)\).
We next construct a tournament dichotomy function \(\varphi _f\) that induces f. Let \(T\in V\) be a rational tournament. Take \(n\in {\mathbb {N}}\) to be an integer such that nT is a tournament whose weights are even integers, i.e., such that \(\frac{1}{2}nT\in {\mathbb {Z}}^{m\times m}\). Since \({\mathscr {D}}\) is a McGarvey domain, there is a preferences profile \(P \in {\mathscr {D}}^N\) for some \(N\in {\mathscr {F}}({\mathbb {N}})\) which induces nT. We define \(\varphi _f(T) := f(P)\). Then \(\varphi _f(T)\) is welldefined, that is, independent of the choice of n and P. To see this, suppose that P is a profile inducing nT and Q is a profile inducing \(n'T\), for some \(n,n'\in {\mathbb {N}}\). Then \(T(n'P) = n\cdot n' \cdot T = T(nQ)\) and thus, because f is homogeneous and using Lemma 2, we have \(f(P) = f(n'P) = f(nQ) = f(Q)\). Clearly, the resulting tournament dichotomy function \(\varphi _f\) induces f.
The fact that f satisfies neutrality and the quasiCondorcet property if and only if \(\varphi _f\) does follows easily from the definition of \(\varphi _f\). \(\square \)
Based on Lemma 3, for a social dichotomy function f satisfying reinforcement and cancellation, we write \(\varphi _f\) for the unique tournament dichotomy function that induces f and satisfies reinforcement. For example, \(\varphi _ BM \) denotes the tournament dichotomy function induced by the Borda mean rule.
The rest of the argument will focus on tournament dichotomy functions. We will prove that if \(\varphi \) satisfies neutrality, reinforcement, and the quasiCondorcet property, then \(\varphi \in \{\varphi _ BM ,\varphi _{ BM },\varphi _ TRIV \}\). Lemma 3 will then allow us to reach the analogous conclusion about the social dichotomy function f.
Our next lemmas show that \(\varphi \) only depends on the Borda scores of the alternatives. This is done by showing that \(\varphi \) is trivial on purely cyclic tournaments, in the sense of returning all dichotomies. It follows from reinforcement that the cyclic part of a weighted tournament can be ignored when computing the outcome of \(\varphi \). Since the cocyclic part is completely determined by the Borda scores (see Lemma 1), \(\varphi \) can only depend on the Borda scores.
As a first step, we show that \(\varphi \) is trivial for the building blocks \(C_{xyz}\) of the cycle space, by an argument using neutrality.
Lemma 4
If a tournament dichotomy function \(\varphi \) satisfies neutrality, reinforcement, and cancellation, then \(\varphi (C_{xyz}) = {\mathscr {R}}_2\) for all distinct \(x,y,z\in A\).
Proof
Next, we lift the result for 3cycles \(C_{xyz}\) to apply to all tournaments in \(V_\text {cycle}\).
Corollary 1
If a tournament dichotomy function \(\varphi \) satisfies neutrality, reinforcement, and cancellation, then \(\varphi \) depends only on Borda scores.
Proof
With the conclusion of Corollary 1 in place, the quasiCondorcet property becomes a much stronger axiom: while previously it only implied that dummy alternatives (those that are majoritytied with every other alternative) can be moved around freely, now we see that this is the case for all alternatives with Borda score 0. Note that dummy alternatives have Borda score 0. Also, for every weighted tournament T, there is a weighted tournament \(T'\) such that each alternative has the same Borda score in T and \(T'\), and every alternative with Borda score 0 is a dummy alternative in \(T'\). The tournament \(T'\) can be constructed by subtracting a purely cyclic tournament from T that contains exactly those arcs in T that are adjacent to some alternative with Borda score 0. Since T and \(T'\) have the same Borda scores and \(\varphi \) only depends on Borda scores, \(\varphi \) must treat dummy alternatives and alternatives with Borda score 0 identically.
Next we observe that \(\varphi \) is equivalent to the Borda mean rule for the purely cocyclic tournaments \(S^x_y\) shown in Fig. 4c. These tournaments have the useful property that the Borda score of all but two alternatives is zero, and, as we will see in the proof of Lemma 6, every purely cocyclic tournament can be decomposed into such tournaments. The proof of Lemma 5 is the only place where we use the full force of the quasiCondorcet property rather than only cancellation.
Lemma 5
If a tournament dichotomy function \(\varphi \) satisfies neutrality, reinforcement, and the quasiCondorcet property, then \(\varphi (S^x_y) \in \{\varphi _ BM (S^x_y),\varphi _{ BM }(S^x_y),{\mathscr {R}}_2\}\) for all \(x,y\in A\).
Proof
In \(G^x_y\), all alternatives except x and y are dummies. Thus, if there is \({\succcurlyeq }\in \varphi (G^x_y)\) such that \(x\succ y\), then by the quasiCondorcet property, \(\varphi _ BM (G^x_y) = \{{\succcurlyeq }\in {\mathscr {R}}_2:x\succ y\}\subseteq \varphi (G^x_y)\). Similarly, if there is \({\succcurlyeq }\in \varphi (G^x_y)\) such that \(y\succ x\), then \(\varphi _{ BM }(G^x_y) \subseteq \varphi (G^x_y)\).
In the remaining case, either \(x \succ y\) for all \({\succcurlyeq } \in \varphi (G^x_y)\) and hence \(\varphi (G^x_y)= \varphi _ BM (G^x_y)\); or \(y \succ x\) for all \({\succcurlyeq } \in \varphi (G^x_y)\) and hence \(\varphi (G^x_y) = \varphi _{ BM }(G^x_y)\). \(\square \)
In combination with our axioms, either one of the three cases characterized in Lemma 5 pins down \(\varphi \) on all tournaments.
Lemma 6
If a tournament dichotomy function \(\varphi \) satisfies neutrality, reinforcement, and the quasiCondorcet property, then \(\varphi \in \{\varphi _ BM ,\varphi _{ BM },\varphi _ TRIV \}\).
Proof
Take any distinct \(x,y\in A\) and choose \(\psi \in \{\varphi _ BM ,\varphi _{ BM },\varphi _ TRIV \}\) so that \(\varphi (S^x_y) = \psi (S^x_y)\). By Lemma 5, the choice of \(\psi \) is welldefined, unique, and, by neutrality of \(\varphi \), independent of x, y.
We will show that \(\varphi = \psi \). By Corollary 1, it suffices to show that \(\varphi \) is equal to \(\psi \) for purely cocyclic tournaments. Let T be a purely cocyclic tournament. We prove the statement by induction on the number of alternatives with nonzero Borda score in T.
If there are no such alternatives, i.e., every alternative has Borda score 0, then \(T=0\) since T is purely cocyclic. By cancellation (implied by the quasiCondorcet property), we have \(\varphi (T) = {\mathscr {R}}_2 = \psi (T)\).
Combining the results of our lemmas, our main result follows.
Proof of Theorem 1
Suppose f is a social dichotomy function satisfying neutrality, reinforcement, and the quasiCondorcet property. By Lemma 3, the tournament dichotomy function \(\varphi _f\) inducing f also satisfies neutrality, reinforcement, and the quasiCondorcet property. Thus, by Lemma 6, we have \(\varphi _f \in \{\varphi _ BM ,\varphi _{ BM },\varphi _ TRIV \}\). From the uniqueness part of Lemma 3, it follows that \(f\in \{ BM , BM , TRIV \}\).
If f further satisfies faithfulness, then \(f = BM \), since neither \({ BM }\) nor \( TRIV \) satisfies faithfulness. To see this, consider \(P\in {\mathscr {D}}^{\{i\}}\), \(i\in {\mathbb {N}}\), such that \(\succcurlyeq _i\) is not complete indifference, which exists since \({\mathscr {D}}\) is a McGarvey domain. Let \(x,y\in A\) be such that x is mostpreferred and y is leastpreferred for i; that is, \(x \succcurlyeq _i z \succcurlyeq _i y\) for all \(z\in A\). Then \(x \succ _i y\), and it is easy to check that \(\beta _P(x)> 0 > \beta _P(y)\). Faithfulness requires that if \({\succcurlyeq } \in f(P)\), then \({\succ _i} \subseteq {\succcurlyeq }\); in particular, \(x \succcurlyeq y\). However, by their definitions, both \( TRIV (P)\) and \( BM (P)\) contain dichotomies with \(y \succ x\). \(\square \)
8 Independence of the axioms

Neutrality: Fix two alternatives \(a,b\in A\) and define a skewed variant of the Borda mean rule, which computes the tournament induced by the input profile, doubles the weight of the arc between a and b, and then calculates the outcome of the Borda mean rule.

Reinforcement: Apply the \(\mathrm {sign}\)function to all majority margins (i.e., replacepositive numbers by \(+\,1\) and replace negative numbers by \(\,1\)) beforecalculating the outcome of the Borda mean rule. This yields the Copeland mean rule that approves all alternatives with aboveaverage Copeland score anddisapproves those with belowaverage Copeland score.

Faithfulness: Reverse all dichotomous weak orders returned by the Borda mean rule (\( BM \)) or always return all dichotomies (\( TRIV \)). Lemma 6 shows that these are in fact the only other social dichotomy functions that satisfy the remaining axioms.

QuasiCondorcet property: Whenever all alternatives have Borda score zero (the weighted tournament is purely cyclic) then return all dichotomies. Otherwise, return the Borda winners, in the sense of returning \(\{ D_{\{x\}} :x \text { is a Borda winner} \}\). By case analysis, one can check that this rule satisfies reinforcement. Notice that it does not satisfy reversal symmetry.
9 Conclusions and future work
We have presented a characterization of the Borda mean rule as a social dichotomy function, showing that it fills the same space as does Kemeny’s rule among social preference functions. It would be interesting to see other social dichotomy functions discussed in the literature. For example, one might consider mean rules based on other positional scoring rules. Lang et al. (2016) propose a version of the Ranked Pairs rule that returns dichotomies, and Kilgour (2016) proposes some multiwinner voting rules with committees of variable size, which can be interpreted as social dichotomy functions. For now, the Borda mean rule seems like a very attractive example of a social dichotomy function.
Several questions remain for future work. Is there an alternative proof of ourcharacterization that does not need linear algebra, such as in the proof of Hansson and Sahlquist (1976) for Borda’s rule and of Debord (1992) for the kBorda rule? We can also ask whether the Borda mean rule can be characterized using different axioms. It seems particularly desirable to replace the quasiCondorcet property with a more intuitive axiom. For example, does our result still hold if we were to replace thequasiCondorcet property with the conjunction of cancellation and reversalsymmetry? Or if we replace it with cancellation together with the requirement that Condorcet winners are always approved and Condorcet losers are always disapproved? These results are not ruled out by our examples in Sect. 8; to establish them, one would only need to reprove the conclusion of Lemma 5.
The Borda mean rule is particularly natural if voters’ preferences are themselves dichotomous; in this setting, the Borda mean rule is called the mean rule (Duddy et al. 2016). Our proof does not characterize the Borda mean rule if it is defined only over dichotomous preference profiles, because the quasiCondorcet property is equivalent to cancellation on this domain. It would be interesting to have an axiomatic characterization of the mean rule using reinforcement. In a different formal setting, an axiomatic characterization using another consistency notion is already known (Duddy et al. 2016).
We have noted that the Borda mean rule can also be seen as the 2Kemeny rule. It seems plausible that our axioms in fact also characterize the kKemeny rule for each \(k\geqslant 3\). However, it seems that different techniques (closer to the ones employed by Young and Levenglick (1978)) are necessary to show this.
Finally, is there a similar characterization of scoring mean rules based on other scoring rules, in the style of Young (1975)?
Footnotes
 1.
This example was suggested to us by Klaus Nehring.
 2.
Zwicker requires kchotomous weak orders to have exactlyk indifference classes. This distinction will not be critical for our paper (see Footnote 5).
 3.
For expository purposes, Young and Levenglick (1978) introduce what they call the “Condorcet axiom” which is a substantial strengthening of faithfulness and the quasiCondorcet property. However, as they note, this strengthening is not used or required in their proof.
 4.
 5.
One could require that the output of a social dichotomy function never contains the weak order denoting complete indifference. All of our arguments remain valid for this alternative definition.
 6.
A matrix \(M\in {\mathbb {R}}^{m\times m}\) is skewsymmetric if \(M = M^T\).
 7.
In fact, it is sufficient for our proof that the domain \({\mathscr {D}}\) is rich enough to induce all tournaments with even entries.
 8.
Ours is not the only sensible extension of Borda scores to weak orders. An alternative choice for the score for \(a\in A\) would be \(\sum _{i\in N} (m  {\text {rank}}_i(a))\), where \({\text {rank}}_i(a)) = k\) iff a is in the kth highest indifference class of \(\succcurlyeq _i\). This alternative definition notably cannot be written only in terms of the majority margins \([T(P)]_{ab}\). The two definitions are discussed by Chebotarev and Shamis (1998, Sect. 3.4) and Gärdenfors (1973, Sect. 7).
 9.
Adapting Fishburn’s (1977) classification of the informational requirements of social choice functions to social dichotomy functions (whose input could contain weak orders), the Borda mean rule is a C2 rule.
 10.
The inner product of two vectors \(u, v \in {\mathbb {Q}}^n\) is defined to be \(u \cdot v = \sum _{i=1}^n u_iv_i\).
Notes
Acknowledgements
Florian Brandl is supported by the Deutsche Forschungsgemeinschaft under grant BR 2312/111. Dominik Peters is supported by EPSRC and by ERC under grant 639945 (ACCORD). This paper was partly written while the authors visited Carnegie Mellon University. We thank our host Ariel Procaccia, and COST Action IC1205 on Computational Social Choice for support. We thank Klaus Nehring, Piotr Skowron, and Bill Zwicker for helpful discussions.
References
 Barthélemy JP, Janowitz MF (1991) A formal theory of consensus. SIAM J Discret Math 4(3):305–322Google Scholar
 Chamberlin JR, Courant PN (1983) Representative deliberations and representative decisions: proportional representation and the Borda rule. Am Polit Sci Rev 77(3):718–733Google Scholar
 Chebotarev PY, Shamis E (1998) Characterizations of scoring methods for preference aggregation. Ann Oper Res 80:299–332Google Scholar
 Croom FH (1978) Basic concepts of algebraic topology. Springer, BerlinGoogle Scholar
 Debord B (1987) Caractérisation des matrices des préférences nettes et méthodes d’agrégation associées. Math Sci Hum 97:5–17Google Scholar
 Debord B (1992) An axiomatic characterization of Borda’s \(k\)choice function. Soc Choice Welf 9(4):337–343Google Scholar
 Dietrich F (2014) Scoring rules for judgment aggregation. Soc Choice Welf 42(4):873–911Google Scholar
 Duddy C, Houy N, Lang J, Piggins A, Zwicker WS (2014) Social dichotomy functions. Working paperGoogle Scholar
 Duddy C, Piggins A, Zwicker WS (2016) Aggregation of binary evaluations: a Bordalike approach. Soc Choice Welf 46(2):301–333Google Scholar
 Faliszewski P, Skowron P, Slinko A, Talmon N (2017a). Multiwinner voting: a new challenge for social choice theory. In: Endriss U (ed) Trends in computational social choice, chapter 2Google Scholar
 Faliszewski P, Slinko A, Talmon N (2017b) The complexity of multiwinner voting rules with variable number of winners. Technical report. arXiv:1711.06641
 Fishburn PC (1977) Condorcet social choice functions. SIAM J Appl Math 33(3):469–489Google Scholar
 Gärdenfors P (1973) Positionalist voting functions. Theory Decis 4(1):1–24Google Scholar
 Hansson B, Sahlquist H (1976) A proof technique for social choice with variable electorate. J Econ Theory 13(2):193–200Google Scholar
 Harary F (1959) Graph theory and electric networks. IRE Trans Circ Theory 6(5):95–109Google Scholar
 Harary F (1969) Graph theory. AddisonWesley, BostonGoogle Scholar
 Kemeny JG (1959) Mathematics without numbers. Daedalus 88:577–591Google Scholar
 Kilgour DM (2016) Approval elections with a variable number of winners. Theory Decis 81(2):199–211Google Scholar
 Lackner M, Skowron P (2018) Consistent approvalbased multiwinner rules. In: Proceedings of the 19th ACM conference on economics and computation (ACMEC), pp 47–48Google Scholar
 Lang J, Monnot J, Slinko A, Zwicker WS (2016) Beyond electing and ranking: Collective dominating chains, dominating subsets and dichotomies. In: Proceedings of the 16th international conference on autonomous agents and multiagent systems (AAMAS). IFAAMAS, pp 24–32Google Scholar
 McMorris FR, Mulder HM, Powers RC (2000) The median function on median graphs and semilattices. Discret Appl Math 101(1):221–230Google Scholar
 Monroe BL (1995) Fully proportional representation. Am Polit Sci Rev 89(4):925–940Google Scholar
 Nanson EJ (1882) Methods of election. Trans Proc R Soc Vic 19:197–240Google Scholar
 Nehring K, Pivato M (2018) The median rule in judgement aggregation. Working paperGoogle Scholar
 Niou EMS (1987) A note on Nanson’s rule. Public Choice 54:191–193Google Scholar
 Skowron P, Faliszewski P, Slinko A (2016) Axiomatic characterization of committee scoring rules. In: Proceedings of the 6th international workshop on computational social choice (COMSOC)Google Scholar
 Smith JH (1973) Aggregation of preferences with variable electorate. Econometrica 41(6):1027–1041Google Scholar
 Tideman TN (1987) Independence of clones as a criterion for voting rules. Soc Choice Welf 4(3):185–206Google Scholar
 Young HP (1974a) An axiomatization of Borda’s rule. J Econ Theory 9(1):43–52Google Scholar
 Young HP (1974b) A note on preference aggregation. Econometrica 42(6):1129–1131Google Scholar
 Young HP (1975) Social choice scoring functions. SIAM J Appl Math 28(4):824–838Google Scholar
 Young HP (1988) Condorcet’s theory of voting. Am Polit Sci Rev 82(4):1231–1244Google Scholar
 Young HP (1995) Optimal voting rules. J Econ Perspect 9(1):51–64Google Scholar
 Young HP, Levenglick A (1978) A consistent extension of Condorcet’s election principle. SIAM J Appl Math 35(2):285–300Google Scholar
 Zwicker WS (1991) The voter’s paradox, spin, and the Borda count. Math Soc Sci 22(3):187–227Google Scholar
 Zwicker WS (2018) Cycles and intractability in a large class of aggregation rules. J Artif Intell Res 61(1):407–431Google Scholar
Copyright information
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.