Non-Borda elections under relaxed IIA conditions

Abstract

Arrow’s arrow celebrated Impossibility Theorem asserts that an election rule, or Social Welfare Function (SWF), between three or more candidates meeting a set of strict criteria cannot exist. Maskin maskin suggests that Arrow’s conditions for SWFs are too strict. In particular he weakens the “Independence of Irrelevant Alternatives” condition (IIA), which states that if in two elections, each voter’s binary preference between candidates $c_{i}$ and $c_{j}$ is the same, then the two results must agree on their preference between $c_{i}$ and $c_{j}$. Instead, he proposes a modified IIA condition (MIIA). Under this condition, the result between $c_{i}$ and $c_{j}$ can be affected not just by the order of $c_{i}$ and $c_{j}$ in each voter’s ranking, but also the number of candidates between them. More candidates between $c_{i}$ and $c_{j}$ communicates some information about the strength of a voter’s preference between the two candidates, and Maskin argues that it should be admissible evidence in deciding on a final ranking.

We construct SWFs for three-party elections which meet the MIIA criterion along with other sensibility criteria, but are far from being Borda elections (where each voter assigns a score to each candidate linearly according to their ranking). On the other hand, we give cases in which any SWF must be the Borda rule.

1 Introduction

We let a set of voters be $V$ and the set of candidates $C$, with $|C|=k<\infty$. We always label these candidates as $\set{c_{i}}_{i=1}^{k}$, and we treat the indices modulo $k$.

We will consider two cases for the size of $V$. Either it will be finite, in which case we say $|V|=n$, or it will be infinite, in which case we will require that it be equipped with a $\sigma$-algebra $\Sigma$ and a measure $\nu$. SWFs on unmeasurable electorates are not interesting within the context of these investigations due to the need to “count” or “measure” different sets of voters in order to compare their influences in choosing the final ranking.

In the infinite case, we require that the measure is finite (i.e. $\nu(V)<\infty$), and indeed we normalise to $\nu(V)=1$. Again, this is the critical case because if $\nu(V)=\infty$ then we might have several competing groups all with measure $\infty$, making it impossible to compare them meaningfully. We also require that $\nu$ is atomless (also known as diffuse); that is to say, there is no set $A\in\Sigma$ with $\nu(A)>0$ such that for any $B\subset A$ in $\Sigma$ we have either $\nu(B)=0$ and $\nu(B)=\nu(A)$. Sierpinski sierpinski showed that this allows us to find subsets of arbitrary measure within any set of larger measure.

We define $\mathfrak{R}$ to be the set of possible votes $r$ that voter $v$ can register. Each $r$ is a total ordering of $C$, and we will treat $r$ as a bijection $r:C\hookrightarrow\set{0,\dots,}{C|-1}$, where $r^{-1}(0)$ is the lowest ranked candidate, and $r^{-1}(|C|-1)$ is the highest ranked. We will sometimes write $r$ simply as a list of candidates; for example, $c_{1}c_{2}c_{3}$ corresponds to a voter’s ballot placing candidate $c_{1}$ first, followed by $c_{2}$ and then $c_{3}$. This corresponds to $r:c_{i}\mapsto 3-i$.

We define $\bar{E}\subset\mathfrak{R}^{V}$ to be the set of possible elections. For $|V|$ finite, this is simply $\bar{E}=\mathfrak{R}^{V}$; if $|V|$ is infinite then $\bar{E}=\set{e:V\rightarrow\mathfrak{R}}{e\text{ measurable}}$. Note that $C$ is always finite, so $\mathfrak{R}$ is finite, and we endow it with the discrete $\sigma$-algebra.

Sometimes we will consider SWFs which restrict the set of legal elections. We call the set of legal elections $E\subset\bar{E}$.

An election result $\succ$ is a weak ordering of $C$ - in other words, an equivalence relation of “tying”, together with a total ordering of “winning” between the equivalence classes. We call the set of all possible weak orderings $\mathfrak{R}_{=}$. In the most general sense, a SWF is any function $F:E\rightarrow\mathfrak{R}_{=}$. Often $F$ will be determined by some real-valued function $G:C\times E\rightarrow\mathbbm{R}$, where each candidate receives a “score” in any election; then $F=\Phi(G)$ is defined by

$$c_{i}\succ c_{j}\Leftrightarrow G(c_{i},e)>G(c_{j},e)$$ (1.i)

where $\succ=\Phi(G)(e)$. Since any multiset of reals form a weak ordering under the $>$ relation, this defines a weak ordering for $\succ$.

1.1 Some definitions

A voter $v$ is able to submit as their vote some subset of the full set of rankings, $\mathfrak{R}$. We call this the voter’s ballot:

Definition 1.1 (Ballot).

For a set of legal elections $E$, the ballot $\mathfrak{B}_{v}$ of a voter $v$ is $\{e(v)|e\in E\}$.

For the entire paper, we restrict ourselves to a ballot election, in which each voter is given the same ballot, and each voter can choose to submit any ranking on the ballot independently of other voters (up to the constraint of measurability).

Definition 1.2 (Ballot domain).

An election has a ballot domain if there exists some $\mathfrak{B}\subset\mathfrak{R}$ with $|\mathfrak{B}|>1$ such that $E$ is the set of all measurable functions from $V$ to $\mathfrak{B}$.

The Modified IIA condition means that emphasis is placed on the gap between two candidates in a voter’s ballot. For this reason, it helps to define a relative election as follows.

Definition 1.3 (Relative election).

Let $D_{k}=\set{1-k,2-k,\dots,-1,1,2,\dots,k-1}$. This is the set of possible gaps in a ballot between two candidates $c_{i}$ and $c_{j}$. Define $\pi_{i,j}(r)=r(c_{i})-r(c_{j})$; so $\pi_{i,j}:\mathfrak{R}\rightarrow D_{k}$. Then define $\pi_{i,j}:E\rightarrow D_{k}^{V}$ by $\pi_{i,j}(e)(v)=\pi_{i,j}(e(v))$. We call $\pi_{i,j}(e)$ a relative election; it encodes the preference (along with strength of preference) of each voter between candidates $c_{i}$ and $c_{j}$.

We let the image of $\pi_{i,j}$ over $E$ be $A_{i,j}\subset D_{k}^{V}$. We also define the natural partial order on $D_{k}^{V}$, which all $A_{i,j}$ inherit, by $x\geq y$ if and only if $x(v)\geq x(v)$ for all $v$. Moreover, we define the relative ballot $B_{i,j}=\pi_{i,j}(\mathfrak{B})$ for a ballot $\mathfrak{B}$ as $\set{\pi_{i,j}(r)}{r\in\mathfrak{B}}$, a subset of $D_{k}$.

Finally, for an election result $\succ$ we write $\pi_{i,j}(\succ)=W$ if $c_{i}\succ c_{j}$, $\pi_{i,j}(\succ)=L$ if $c_{j}\succ c_{i}$, and $\pi_{i,j}(\succ)=T$ otherwise. Here $W$ stands for “win”, $T$ for “tie” and $L$ for “loss”. For convenience we impose the natural total order on these three symbols: $W>T>L$. Similarly, we will sometimes abuse notation by writing $W=-L$, $L=-W$ and $T=-T$.

We will often be interested in ordering elections by comparing the performance of one candidate against another in each election. In order to do so, we give a formal definition of the idea of “promoting” a candidate with respect to another candidate.

Definition 1.4 (Promoting).

Given two ballots $r_{1}$ and $r_{2}$, and two candidates $c_{i}\neq c_{j}$, if for any third candidate $c_{k}\neq c_{i},c_{j}$ and any fourth candidate $c_{\ell}\neq c_{i},c_{j}$ in the case of four or more candidates, we have

1. $r_{1}(c_{k})>r_{1}(c_{i})\Rightarrow r_{2}(c_{k})>r_{2}(c_{i})$

2. $r_{1}(c_{j})>r_{1}(c_{k})\Rightarrow r_{2}(c_{j})>r_{2}(c_{k})$

3. $r_{1}(c_{j})>r_{1}(c_{i})\Rightarrow r_{2}(c_{j})>r_{2}(c_{i})$

4. $r_{1}(c_{k})>r_{1}(c_{\ell})\Leftrightarrow r_{2}(c_{k})>r_{2}(c_{\ell})$

then we say that “$(c_{j},c_{i})$ is promoted by $(r_{2},r_{1})$”. For two elections $e_{1}$ and $e_{2}$, if for every voter $v$ we have that $(c_{j},c_{i})$ is promoted by $(e_{2}(v),e_{1}(v))$ then we further say that $(c_{j},c_{i})$ is promoted by $(e_{2},e_{1})$.

Remark.

It follows immediately from the definition of a promotion that if $(c_{j},c_{i})$ is promoted by $(r_{3},r_{2})$ and by $(r_{2},r_{1})$ then it is also promoted by $(r_{3},r_{1})$; and the same goes for elections $e_{1},e_{2},e_{3}$.

Now we are ready to define a family of ballots for which our intuitions about “better” and “worse” results correspond directly to the partial order on relative elections given above.

Definition 1.5 (Increasing ballot).

A ballot $\mathfrak{B}$ is increasing if, for any candidates $c_{i}$ and $c_{j}$, and for any $m,m^{\prime}\in\pi_{i,j}(\mathfrak{B})$ with $m>m^{\prime}$, and any $r\in\mathfrak{B}$ with $\pi_{i,j}(r)=m$, there exists $r^{\prime}\in\mathfrak{B}$ with $\pi_{i,j}(r^{\prime})=m^{\prime}$ and $(c_{j},c_{i})$ is promoted by $(r^{\prime},r)$.

Definition 1.6 (Intermediate ballot).

A ballot $\mathfrak{B}$ is intermediate if, for any candidates $c_{i}$ and $c_{j}$ and for any $r_{-},r_{+}\in\mathfrak{B}$ with $(c_{j},c_{i})$ promoted by $(r_{-},r_{+})$, and for any $m\in\pi_{i,j}(\mathfrak{B})$ with $\pi_{i,j}(r_{-})<m<\pi_{i,j}(r_{+})$, there exists $r\in\mathfrak{B}$ with $\pi_{i,j}(r)=m$ such that $(c_{j},c_{i})$ is promoted both by $(r_{-},r)$ and by $(r,r_{+})$.

Later we will present lemmas 2.8, 2.17 and 2.20 confirming that elections on increasing, intermediate ballot domains behave as one would expect based on their quantitative properties.

1.2 Summary of results

In section 2 we will define various conditions on SWFs. We define the unrestricted domain, in which no election is ruled out by restricting $E$, and the Condorcet cycle domain, which is the ballot domain with three candidates and a fixed cyclic order of preference between them.

We then define the critical conditions required by Maskin in [maskin], first and foremost the MIIA condition, which requires the relative ranking between two candidates to be fixed by the gap between them in each voter’s ranking. We also define the anonymity condition A, which requires all voters to be treated anonymously, and the neutrality condition N, which requires that the candidates can be permuted.

As long as the election domain is sufficiently well-behaved, we prove in Lemmas 2.8, 2.11 and 2.12 that these conditions allow us to simplify our SWF $F$ to a single weight-based relative SWF $f^{\prime}$, which gives the final ranking between any two candidates, given only the sizes of the parts of the partition of $V$ according to the gap between those two candidates in each voter’s ballot. In Lemmas 2.3, 2.4 and 2.13 we confirm that the unrestricted and Condorcet cycle domains are well-behaved in all the ways required.

We then define various conditions which guarantee that the SWF behaves as expected when a candidate does “well” or “poorly”. The Pareto principle states that a unanimous preference among voters between two candidates forces that preference in the final ranking; Positive Responsiveness ensures that moving a candidate up in the voters’ rankings cannot harm that candidate in the final ranking; and the Intermediate Value condition states for $V$ infinite that this can be done smoothly. In Lemmas 2.17 and 2.20 we demonstrate that under the MIIA condition, PR and IV are equivalent to simpler statements about the relative SWFs that the MIIA condition gives.

We also give in Lemma 2.22 sufficient criteria for a relative SWF, as defined in the MIIA condition, to correspond to a valid SWF $F$. This expands on the method used by Kalai in kalai. This allows us to construct an SWF simply by giving a relative SWF and checking these criteria. We complete our preparation for the main results by defining the Borda rules in section 2.1. These are the rules characterised by each voter awarding scores to each candidate, linear to the candidate’s placement in the voter’s ballot, after which the candidates are compared by their aggregate score across all voters. In Lemma 2.25 we demonstrate that the anonymity condition on the SWF guarantees that any Borda rule is equivalent to an unweighted Borda rule (i.e. where each voter awards scores on the same scale).

We then construct non-Borda SWFs meeting various combinations of these conditions as follows.

The most important construction in the context of social choice theory is one which meets all of the strictest conditions - unrestricted domain, anonymity, neutrality, MIIA, positive responsiveness, Pareto and intermediate value. In section 3 we give these constructions for $|C|=3$ both in the infinite case (in Theorem 3.1) and in the finite case for large enough $n$ (in Theorem 3.7). The case of $|C|>3$ is addressed in a forthcoming paper.

These constructions become Borda when restricted to the Condorcet cycle domain, which raises the question of whether non-Borda rules can exist under condition CC. We address this in section 4.

The finite case is answered by Theorem 4.2, which states that even without any increasingness condition, P or PR, the SWF must be Borda. However, in the infinite case, Theorem 4.9 gives more non-Borda rules even in the Condorcet cycle domain, relying on the axiom of choice (with the Pareto principle but without the PR condition). But we eliminate these rules if we require that $F$ is measurable, using the natural $\sigma$-algebra on $E$ given in Definition 4.4.

Imposing measurability, we can prove Theorem 4.5, in which we do not need either PR or P to guarantee that the SWF is Borda. Nonetheless, PR implies measurability, allowing us to give as Corollary 4.8 a new proof of the result appearing in maskin that on the Condorcet cycle domain, MIIA, A, N and PR imply that $F$ is the positive unweighted Borda rule or the tie rule.

2 Conditions on SWFs

We now define a series of conditions on SWFs.

Definition 2.1 (Unrestricted Domain - U).

A SWF has unrestricted domain if it determines social preferences for as large as possible a family of measurable elections. In other words, $E=\bar{E}$. This is equivalent to taking the ballot domain with $\mathfrak{B}=\mathfrak{R}$.

Definition 2.2 (Condorcet Cycle Domain - CC).

For $|C|=3$, a SWF has Condorcet cycle domain if it determines social preferences for elections in which all votes are even permutations of $c_{1}c_{2}c_{3}$. Writing $\mathfrak{C}=\set{c_{1}c_{2}c_{3},c_{2}c_{3}c_{1},c_{3}c_{1}c_{2}}$, the Condorcet Cycle condition means that $E=\bar{E}\cap\mathfrak{C}^{V}$. In other words, this is the ballot domain with $\mathfrak{B}=\mathfrak{C}$.

Note that all SWFs which satisfy U can be restricted to SWFs which satisfy CC. However, we will see examples where SWFs on the unrestricted domain can behave unexpectedly but, after restricting them to the Condorcet cycle domain, their behaviour becomes more predictable. Therefore it is of independent interest to try to construct unexpected SWFs on the Condorcet cycle domain. (It is also feasible that a SWF satisfying U and IV would lose the IV property when restricted to the Condorcet cycle domain, but we do not cover any such cases here).

The following results mean that as long as we impose one of U and CC, we can always assume the numeric properties of our domain that come with an increasing, intermediate domain.

Lemma 2.3.

$\mathfrak{R}$ and $\mathfrak{C}$ are intermediate ballots.

Proof.

For $\mathfrak{C}$ and for any $i\neq j$, either $\pi_{i,j}(\mathfrak{C})=\set{1,-2}$ or $\pi_{i,j}(\mathfrak{C})=\set{2,-1}$; in either case, there can be no $\pi_{i,j}(r_{-})<m<\pi_{i,j}(r_{+})$ in the set, so intermediacy holds vacuously.

On the other hand, for $\mathfrak{R}$, suppose we have $\pi_{i,j}(r_{-})<m<\pi_{i,j}(r_{+})$ with $(c_{j},c_{i})$ promoted by $(r_{+},r_{-})$. We let $\pi_{i,j}(r_{+})=m_{+}$ and define $r_{m_{+}}=r_{+}$. Now given $r_{1}$ we define $r_{-1}$ by transposing $c_{i}$ and $c_{j}$; that is, $r_{-1}(c_{i})=r_{1}(c_{j})$ and $r_{-1}(c_{j})=r_{1}(c_{i})$. On the other hand, given $r_{m^{\prime}}$ for some $m_{-}<m^{\prime}\leq m_{+}$ with $m^{\prime}\neq 1$, we have $r_{m^{\prime}}(c_{i})-r_{m^{\prime}}(c_{j})>r_{-}(c_{i})-r_{-}(c_{j})$, so either $r_{m^{\prime}}(c_{i})>r_{-}(c_{i})$ or $r_{m^{\prime}}(c_{j})<r_{-}(c_{j})$. In the first case, we let $c_{k}\neq c_{j}$ be such that $r_{m^{\prime}}(c_{k})=r_{m^{\prime}}(c_{i})-1$, and we transpose $c_{i}$ and $c_{k}$ to get $r_{m^{\prime}-1}$ with $r_{m^{\prime}-1}(c_{i})=r_{m^{\prime}}(c_{k})$ and $r_{m^{\prime}-1}(c_{k})=r_{m^{\prime}}(c_{i})$. Symmetrically, in the second case, we let $c_{k}\neq c_{i}$ be such that $r_{m^{\prime}}(c_{k})=r_{m^{\prime}}(c_{j})+1$, and we transpose $c_{j}$ and $c_{k}$ to get $r_{m^{\prime}-1}$ with $r_{m^{\prime}-1}(c_{j})=r_{m^{\prime}}(c_{k})$ and $r_{m^{\prime}-1}(c_{k})=r_{m^{\prime}}(c_{j})$.

Clearly we have $\pi_{i,j}(r_{m^{\prime}-1})=\pi_{i,j}(r_{m^{\prime}})-1$, and as long as $\pi_{i,j}(r_{1})=1$ we get $\pi_{i,j}(r_{-1})=-1$. Moreover $\pi_{i,j}(r_{m_{+}})=m_{+}$, so inductively we have $\pi_{i,j}(r_{m^{\prime}})=m^{\prime}$ for $m_{-}\leq m^{\prime}\leq m_{+}$. Moreover, each transposition guarantees that $(c_{j},c_{i})$ is promoted by $(r_{m^{\prime}-1},r_{m^{\prime}})$, and also by $(r_{-1},r_{1})$. Finally $r_{m_{-}}(c_{i})\geq r_{-}(c_{i})$ and $r_{m_{-}}(c_{j})\leq r_{-}(c_{j})$, but $r_{m_{-}}(c_{i})-r_{m_{-}}(c_{j})=r_{-}(c_{i})-r_{-}(c_{j})$ so $r_{m_{-}}(c_{i})=r_{-}(c_{i})$ and $r_{m_{-}}(c_{j})=r_{-}(c_{j})$. Now for any two other candidates $c_{k}$ and $c_{\ell}$, we have $r_{-}(c_{k})>r_{-}(c_{\ell})$ if and only if $r_{+}(c_{k})>r_{+}(c_{\ell})$, since $(c_{j},c_{i})$ is promoted by $(r_{+},r_{-})$; but $c_{k}$ and $c_{\ell}$ have never been transposed to construct any intermediate $r_{m^{\prime}}$, so $r_{+}(c_{k})>r_{+}(c_{\ell})$ if and only if $r_{m_{-}}(c_{k})>r_{m_{-}}(c_{\ell})$.

Therefore $r_{-}$ and $r_{m_{-}}$ are identical. So we have broken the promotion $(r_{-},r_{+})$ into a series of promotions covering each intermediate value between $m_{-}$ and $m_{+}$, so indeed there exists $r_{m}$ such that $\pi_{i,j}(r_{m})=m$ and $(c_{j},c_{i})$ is promoted both by $(r_{-},r_{m})$ and by $(r_{m},r_{+})$ (we can chain together promotions, as remarked after Definition 1.4). ∎

Lemma 2.4.

$\mathfrak{R}$ and $\mathfrak{C}$ are increasing ballots.

Proof.

In $\mathfrak{R}$, we have $\pi_{i,j}(\mathfrak{R})=D_{k}$. Take any $m,m^{\prime}\in\pi_{i,j}(\mathfrak{B})$ with $m>m^{\prime}$, and any $r\in\mathfrak{B}$ with $\pi_{i,j}(r)=m$. Now we define $r_{-}$ to be the unique ranking for which all $c_{k}\neq c_{i},c_{j}$ are in the same order as in $r$, but $c_{i}$ is sent to the lowest position (so $r_{-}(c_{i})=0$) and $c_{j}$ to the highest position (so $r_{-}(c_{j})=k-1$). It is immediate that $(c_{j},c_{i})$ is promoted by $(r_{-},r)$. Now if $m^{\prime}=1-k$ then setting $r^{\prime}=r_{-}$ gives that the ballot $\mathfrak{R}$ is increasing. Otherwise, we have $m>m^{\prime}>1-k$, and we apply the intermediate property of $\mathfrak{R}$ proved in Lemma 2.3 to find $r^{\prime}$ with $\pi_{i,j}(r^{\prime})=m^{\prime}$ and $(r^{\prime},r)$ promoted by $(c_{j},c_{i})$.

In $\mathfrak{C}$, we must separately deal with the cases of $j=i+1$ and $j=i-1$. In the former case, we have $\pi_{i,i+1}(\mathfrak{C})=\set{1,-2}$, and we must have $m=1$ and $m^{\prime}=-2$. We always set $r^{\prime}=c_{i+1}c_{i+2}c_{i}$ and we notice that whether $r=c_{i}c_{i+1}c_{i+2}$ or $r=c_{i+2},c_{i},c_{i+1}$, $(c_{i+1},c_{i})$ is promoted by $(r^{\prime},r)$. Similarly, in the latter case, we have $\pi_{i,i+2}(\mathfrak{C})=\set{2,-1}$; now $r$ must be $c_{i}c_{i+1}c_{i+2}$, and $r^{\prime}=c_{i+1}c_{i+2}c_{i}$ has that $(c_{i+2},c_{i})$ is promoted by $(r^{\prime},r)$ as required. ∎

Thus, either U or CC is sufficient to guarantee that the election domain is an increasing, intermediate ballot domain.

The following condition was introduced by Maskin in maskin, as an alternative to Arrow’s stricter IIA condition.

Definition 2.5 (Modified Irrelevance of Independent Alternatives - MIIA).

A SWF $F$ satisfies the MIIA condition if, for two candidates $c_{i}$ and $c_{j}$, there exists a “relative SWF”: a function $f_{i,j}:A_{i,j}\rightarrow\set{W,T,L}$ such that for all $e\in E$ we have $f_{i,j}(\pi_{i,j}(e))=\pi_{i,j}(F(e))$.

Intuitively, if for two elections, each voter places the same order between candidates $c_{1}$ and $c_{2}$ with the same number of other candidates between them, then the results of those two elections must give the same ranking between $c_{1}$ and $c_{2}$.

Often this function $f_{i,j}$ will be given by the sign of some real value, so we define $\varphi:\mathbbm{R}\rightarrow\set{W,T,L}$ by $\varphi(x)=W$ for $x>0$, $\varphi(x)=T$ for $x=0$ and $\varphi(x)=L$ for $x<0$. Note that if $F=\Phi(G)$ for some $G$, we have $\varphi(G(c_{i},e)-G(c_{j},e))=f_{i,j}(\pi_{i,j}(e))$.

We now define the anonymity condition, which states that the SWF is unaffected by which voters submit which ballots, and instead is determined only by how many voters (either by count or by measure) vote in a given way. In light of this, we define $\tau:E\rightarrow\mathbbm{R}_{\geq 0}^{\mathfrak{R}}$ by $\tau(e)(r)=\nu(e^{-1}(r))$ (or for $V$ finite $\tau(e)(r)=|e^{-1}(r)|$), and we let $E^{\prime}=\operatorname{Im}(\tau)$.

Definition 2.6 (Anonymity - A).

A SWF $F$ satisfies anonymity if there exists a function $F^{\prime}:E^{\prime}\rightarrow\mathfrak{R}_{=}$ such that $F=F^{\prime}\circ\tau$.

Remark.

$F$ and $F^{\prime}$ determine one another. If $F^{\prime}_{1}=F^{\prime}_{2}$ then $F_{1}=F^{\prime}_{1}\circ\tau=F^{\prime}_{2}\circ\tau=F_{2}$, and if $F^{\prime}_{1}\neq F^{\prime}_{2}$ then we can pick $\vec{\varepsilon}\in E^{\prime}$ on which $F^{\prime}_{1}$ and $F^{\prime}_{2}$ disagree; then we pick $e\in E$ with $\tau(e)=\vec{\varepsilon}$, and $F_{1}(e)=F^{\prime}_{1}(\vec{\varepsilon})\neq F^{\prime}_{2}(\vec{\varepsilon})=F_{2}(e)$, so $F_{1}\neq F_{2}$.

We can think of $F^{\prime}$ as the “weight-based” SWF. For a finite SWF satisfying anonymity, this is equivalent to the condition that the voters can be permuted in any way.

Lemma 2.7.

Let $F$ be a SWF on $V$ finite. Then $F$ satisfies anonymity if and only if for any permutation $\sigma\in\operatorname{Sym}(V)$ we have $F(e\circ\sigma)=F(e)$.

Proof.

In the forward direction, suppose $F$ satisfies anonymity. Then $F=F^{\prime}\circ\tau$. So it suffices to show that $\tau(e\circ\sigma)=\tau(e)$. Indeed,

$$\tau(e\circ\sigma)(r) =|(e\circ\sigma)^{-1}(r)|$$ (2.i)

$$=|\sigma^{-1}(e^{-1}(r))|$$

$$=|e^{-1}(r)|$$

$$=\tau(e)(r)$$

The penultimate equality holds because $\sigma$ is a bijection, so $\sigma^{-1}(X)$ and $X$ have the same cardinality for any $X$.

For the converse, suppose that two elections $e$ and $e^{\prime}$ have $\tau(e)=\tau(e^{\prime})$; it will suffice to show that $F(e)=F(e^{\prime})$. For each $r\in\mathfrak{R}$, note that $\tau(e)(r)=\tau(e^{\prime})(r)$, so $|e^{-1}(r)|=|e^{\prime-1}(r)|$. Therefore we can define a bijection $m_{r}:e^{-1}(r)\rightarrow e^{\prime-1}(r)$. Now we let $\sigma$ be the union of these $m_{r}$ over each $r$, which is a permutation of $V$. Then $e=e^{\prime}\circ\sigma$, so $F(e^{\prime})=F(e^{\prime}\circ\sigma)=F(e)$, as required. ∎

Note that if we also have the MIIA condition, then the functions $f_{i,j}$ can also be replaced by $f^{\prime}_{i,j}$ functions in a corresponding manner. We let $\tau_{i,j}:A_{i,j}\rightarrow\mathbbm{R}_{\geq 0}^{D_{k}}$ by $\tau_{i,j}(a)(i)=\nu(a^{-1}(i))$, or $|a^{-1}(i)|$ for $V$ finite, and let $A^{\prime}_{i,j}=\operatorname{Im}(\tau_{i,j})$. We also define $\varrho:A^{\prime}_{i,j}\rightarrow A^{\prime}_{j,i}$ by $\varrho(\vec{\alpha})_{k}=\alpha_{-k}$.

Remark.

We can define $\pi_{i,j}$ to act on $E^{\prime}$ giving a result in $A^{\prime}_{i,j}$, by setting

$$\pi_{i,j}(\vec{\varepsilon})_{m}=\sum_{r:\pi_{i,j}(r)=m}\varepsilon_{m}$$ (2.ii)

Then $\pi_{i,j}\circ\tau=\tau_{i,j}\circ\pi_{i,j}$.

Now there exists $f^{\prime}_{i,j}$ such that $f_{i,j}=f^{\prime}_{i,j}\circ\tau_{i,j}$, by the following lemma:

Lemma 2.8.

Let $F$ be a SWF on a ballot domain satisfying MIIA and A. Then for any two candidates $c_{i}$ and $c_{j}$ we can define a weight-based relative SWF $f^{\prime}_{i,j}$ such that $f_{i,j}=f^{\prime}_{i,j}\circ\tau_{i,j}$.

Indeed, $f_{i,j}$ and $f^{\prime}_{i,j}$ will be in one to one correspondence; if $f^{\prime}_{i,j}=g^{\prime}_{i,j}$ then $f_{i,j}=f^{\prime}_{i,j}\circ\tau_{i,j}=g^{\prime}_{i,j}\circ\tau_{i,j}=g_{i,j}$. On the other hand, if $f^{\prime}_{i,j}\neq g^{\prime}_{i,j}$ then we can pick $\vec{\alpha}\in A^{\prime}_{i,j}$ on which they disagree; then we can choose $e\in E$ such that $\tau_{i,j}(\pi_{i,j}(e))=\vec{\alpha}$. But then

$$f_{i,j}(\pi_{i,j}(e)) =f^{\prime}_{i,j}(\vec{\alpha})$$ (2.iii)

$$\neq g^{\prime}_{i,j}(\vec{\alpha})$$

$$=g_{i,j}(\pi_{i,j}(e))$$

so $f_{i,j}$ and $g_{i,j}$ disagree on some $a=\pi_{i,j}(e)$ in $A_{i,j}$.

Proof.

For any $\vec{\alpha}\in A^{\prime}_{i,j}$, we need to prove that all $a\in\tau_{i,j}^{-1}(\vec{\alpha})$ take the same value $f_{i,j}(a)$. Then we can define $f^{\prime}_{i,j}(\vec{\alpha})=f_{i,j}(a)$ for any choice of $a$.

Suppose that $a_{1}$ and $a_{2}$ in $A_{i,j}$ have $\tau_{i,j}(a_{1})=\tau_{i,j}(a_{2})=\vec{\alpha}$. For each $s\in D_{k}$ with $\vec{\alpha}_{s}>0$, let $r_{s}\in\mathfrak{D}$ with $\pi_{i,j}(r_{s})=s$. Note that the function $s\mapsto r_{s}$ is an injection. Now, since $F$ is on a ballot domain, we can define $e_{1}$ and $e_{2}$ by $e_{1}(v)=r_{a_{1}(v)}$ and $e_{2}(v)=r_{a_{2}(v)}$; so $\pi_{i,j}(e_{i})=a_{i}$ for $i=1,2$. Then $\nu(e_{1}^{-1}(r_{s}))=\nu(a_{1}^{-1}(s))=\vec{\alpha}_{s}$, and the same goes for $\nu(e_{2}^{-1}(r_{s}))$. So for all $r\in\mathfrak{R}$, either $r$ is not equal to $r_{s}$ for any $s$, and $\tau(e_{1})(r)=\tau(e_{2})(r)=0$, or $r=r_{s}$ for some $s$, and $\tau(e_{1})(r)=\tau(e_{2})(r)=\vec{\alpha}_{s}$. Hence $\tau(e_{1})=\tau(e_{2})$, so $F(e_{1})=F(e_{2})$ by condition A.

Now $f_{i,j}(a_{1})=\pi_{i,j}(F(e_{1}))=\pi_{i,j}(F(e_{2}))=f_{i,j}(a_{2})$ as required. ∎

We define a partial order on $A^{\prime}_{i,j}$ corresponding to the order we already have on $A_{i,j}$. We say that $\vec{\alpha}\geq\vec{\beta}$ if, for all $m\in D_{k}$, we have

$$\sum_{n\geq m}\alpha_{n}\geq\sum_{n\geq m}\beta_{n}$$ (2.iv)

In other words, $\vec{\alpha}$ majorises $\vec{\beta}$. Clearly if $a\geq b\in A_{i,j}$ then $\tau_{i,j}(a)\geq\tau_{i,j}(b)$.

We can define a whole family of weaker anonymity conditions by requiring $F$ to factor into some $F^{\prime\prime}\circ\tau^{\prime}$ for $\tau^{\prime}$ a refinement of $\tau$ (i.e. with $\tau=\chi\circ\tau^{\prime}$ for some $\chi$). Similarly, for $V$ finite, we can define a weaker anonymity conditions by requiring $F$ to be invariant only under some subgroup of the permutations $\operatorname{Sym}(V)$, as opposed to the entire set. The important case of transitive anonymity, in which we are given only that this subgroup $G\leq\operatorname{Sym}(V)$ acts transitively on $V$, will be addressed in forthcoming papers.

As well as some amount of symmetry between voters we expect symmetry between candidates. For a permutation $\rho:C\rightarrow C$ we can apply $\rho$ to $r\in\mathfrak{R}$ or to $\succ\in\mathfrak{R}_{=}$ in the natural way: we define $\rho(r)=r\circ\rho$ and $\rho(\succ)$ to be the unique weak ordering such that for all $c_{i}\neq c_{j}\in C$ with $\rho(c_{i})=c_{i^{\prime}}$ and $\rho(c_{j})=c_{j^{\prime}}$ we have $\pi_{i^{\prime},j^{\prime}}(\rho(\succ))=\pi_{i,j}(\succ)$.

Definition 2.9 (Neutrality - N).

A SWF satisfies neutrality if the candidates are treated symmetrically. That is to say, for any permutation $\rho:C\rightarrow C$ and for all $e$ such that $\rho\circ e\in E$ we have $F(\rho\circ e)=\rho(F(e))$.

We would hope that an election satisfying both N and MIIA has $f_{i,j}$ and $f_{i^{\prime},j^{\prime}}$ agreeing on their intersections for any two pairs $(c_{i},c_{j})$ and $(c_{i^{\prime}},c_{j^{\prime}})$. To guarantee this, we require another property of the domain:

Definition 2.10 (Separable domain).

An election domain $E$ is separable if, for any two pairs of candidates $c_{i}\neq c_{j}$ and $c_{i^{\prime}}\neq c_{j^{\prime}}$, if the intersection between $A_{i,j}$ and $A_{i^{\prime},j^{\prime}}$ is non-empty then there exists a permutation $\rho\in\operatorname{Sym}(C)$ such that $\rho(E)=E$, $\rho(c_{i})=c_{i^{\prime}}$ and $\rho(c_{j})=c_{j^{\prime}}$.

Lemma 2.11.

Let $F$ be a SWF on a separable domain satisfying MIIA and N. Then for any candidates $c_{i}\neq c_{j}$ and $c_{i^{\prime}}\neq c_{j^{\prime}}$, if $A_{i,j}\cap A_{i^{\prime},j^{\prime}}$ is non-empty then $A_{i,j}=A_{i^{\prime},j^{\prime}}$ and $f_{i,j}=f_{i^{\prime},j^{\prime}}$.

Proof.

Since $A_{i,j}\cap A_{i^{\prime},j^{\prime}}$ is non-empty, the definition of separable domain gives the existence of $\rho\in\operatorname{Sym}(C)$ such that $\rho(E)=E$, $\rho(c_{i})=c_{i^{\prime}}$ and $\rho(c_{j})=c_{j^{\prime}}$. Moreover

$$A_{i,j} =\pi_{i,j}(E)$$ (2.v)

$$=\pi_{i^{\prime},j^{\prime}}(\rho(E))$$

$$=\pi_{i^{\prime},j^{\prime}}(E)$$

$$=A_{i^{\prime},j^{\prime}}$$

as required. Now since $F$ fulfils condition N, for all $e$ we have $F(\rho\circ e)=\rho(F(e))$. Then

$$f_{i^{\prime},j^{\prime}}(\pi_{i^{\prime},j^{\prime}}(\rho\circ e)) =\pi_{i^{\prime},j^{\prime}}(F(\rho\circ e))$$ (2.vi)

$$=\pi_{i^{\prime},j^{\prime}}(\rho(F(e))$$

$$=\pi_{i,j}(F(e))$$

$$=f_{i,j}(\pi_{i,j}(e))$$

But $\pi_{i^{\prime},j^{\prime}}(\rho\circ e)=\pi_{i,j}(e)$, and by definition this value ranges over all of $A_{i,j}$, so $f_{i^{\prime},j^{\prime}}=f_{i,j}$ as required. ∎

Thus we can define a single $A=\cup_{i,j}A_{i,j}$ and a single $f:A\rightarrow\set{W,T,L}$ describing the relative SWF between any two candidates. This result now extends to the weight-based SWFs:

Lemma 2.12.

Let $F$ be a SWF on a separable ballot domain satisfying MIIA, A and N. Then for any candidates $c_{i}\neq c_{j}$ and $c_{i^{\prime}}\neq c_{j^{\prime}}$, if $A^{\prime}_{i,j}\cap A^{\prime}_{i^{\prime},j^{\prime}}$ is non-empty then $A^{\prime}_{i,j}=A^{\prime}_{i^{\prime},j^{\prime}}$ and $f^{\prime}_{i,j}=f^{\prime}_{i^{\prime},j^{\prime}}$.

Proof.

We pick $\vec{\alpha}\in A^{\prime}_{i,j}\cap A^{\prime}_{k,\ell}$. We can partition $V$ into measurable sets $V_{s}$ for all $s\in\operatorname{supp}(\vec{\alpha})$ with $\nu(V_{s})=\alpha_{s}$. Now we select $e\in E$ with $\tau_{i,j}(\pi_{i,j}(e))=\vec{\alpha}$, and $e^{\prime}\in E$ with $\tau_{k,\ell}(\pi_{k,\ell}(e^{\prime}))=\vec{\alpha}$, and we let $\vec{\varepsilon}=\tau(e)$ and $\vec{\varepsilon}^{\prime}=\tau(e^{\prime})$. Now for each $s\in\operatorname{supp}(\vec{\alpha})$ we partition $V_{s}$ into $V_{r}$ for each $r\in\operatorname{supp}(\vec{\varepsilon})\cap\pi_{i,j}^{-1}(s)$ with $\nu(V_{r})=\varepsilon_{r}$. We define $a\in D_{k}^{V}$ by $a(v)=s$ for $v\in V_{s}$. We also partition $V_{s}$ into $V^{\prime}_{r}$ for each $r\in\operatorname{supp}(\varepsilon^{\prime})$ with $\nu(V^{\prime}_{r})=\varepsilon^{\prime}_{r}$. Then we define $\bar{e},\bar{e}^{\prime}\in E$ by $\bar{e}(v)=r$ for $v\in V_{r}$ and $\bar{e}^{\prime}(v)=r$ for $v\in V^{\prime}_{r}$; these are both in $E$ as it is a ballot domain.

Now $\pi_{i,j}(\bar{e})=a$ and $\pi_{k,\ell}(\bar{e}^{\prime})=a$ so $A_{i,j}$ and $A_{k,\ell}$ intersect. Since the domain is separable, we get a permutation $\rho\in\operatorname{Sym}(C)$ with $\rho(c_{i})=c_{k}$, $\rho(c_{j})=c_{\ell}$, and $\rho(E)=E$. Applying Lemma 2.11, we have $A_{i,j}=A_{k,\ell}$, so $A^{\prime}_{i,j}=\tau(A_{i,j})=\tau(A_{k,\ell})=A^{\prime}_{k,\ell}$ as required. Moreover, $f_{i,j}=f_{k,\ell}$, so for any choice of $a\in\tau_{i,j}^{-1}(\vec{\alpha})$ we have $f^{\prime}_{i,j}(\vec{\alpha})=f_{i,j}(a)=f_{k,\ell}(a)=f^{\prime}_{k,\ell}(\vec{\alpha})$, so $f^{\prime}_{i,j}=f^{\prime}_{k,\ell}$ as required. ∎

Thus we get a set $A^{\prime}=\cup_{i,j}A^{\prime}_{i,j}$, a measuring function $\tau_{A}:A\rightarrow A^{\prime}$ and a relative, measure-based SWF $f^{\prime}:A^{\prime}\rightarrow\set{W,T,L}$ with $f=f^{\prime}\circ\tau_{A}$; as always, $f$ uniquely determines $f^{\prime}$ just as $f^{\prime}$ uniquely determines $f$.

As in Lemmas 2.3 and 2.4, we now confirm that U and CC are separable domains.

Lemma 2.13.

For either $\mathfrak{B}=\mathfrak{R}$ or $\mathfrak{B}=\mathfrak{C}$, the ballot domain with ballot $\mathfrak{B}$ is a separable domain.

Proof.

For $\mathfrak{B}=\mathfrak{R}$, any permutation $\rho\in\operatorname{Sym}(C)$ gives $\rho(E)=E$, so we need only construct any $\rho$ with $\rho(c_{i})=c_{k}$ and $\rho(c_{j})=c_{\ell}$. Since we know $c_{i}\neq c_{j}$ and $c_{k}\neq c_{\ell}$ the existence of $\rho$ is immediate.

For $\mathfrak{B}=\mathfrak{C}$, if $j=i+1$ then $\pi_{i,j}(\mathfrak{B})=\set{1,-2}$, whereas if $j=i-1$ then $\pi_{i,j}(\mathfrak{B})=\set{2,-1}$. These are disjoint, so the domains $A_{i,i+1}$ and $A_{i,i-1}$ are disjoint. On the other hand, if $i-j=k-\ell$ then we take $\rho\in\operatorname{Sym}(C)$ defined by $\rho(c_{t})=c_{t+j-i}$; then trivially $\rho(\mathfrak{B})=\mathfrak{B}$, so $\rho(E)=E$, and $\rho(c_{i})=c_{j}$, $\rho(c_{k})=c_{k+j-i}=c_{\ell}$ as required. ∎

This means that given either condition U or CC, we can assume all results applying to elections on separable, increasing, intermediate ballot domains.

Intuitively it should be the case that receiving votes is good for a candidate. Two conditions are generally used to force this; the Pareto condition and the positive responsiveness condition.

Definition 2.14 (Pareto - P).

A SWF satisfies the Pareto condition if, whenever all voters prefer candidate $c_{i}$ to $c_{j}$, the same must be the case in the final result. Formally, for $e$ with $\pi_{i,j}(e)(v)>0$ for all $v$, we have $\pi_{i,j}(F(e))=W$.

Definition 2.15 (Positive Responsiveness - PR).

A SWF satisfies positive responsiveness if whenever $(c_{j},c_{i})$ is promoted by $(e_{2},e_{1})$, we have $\pi_{i,j}(F(e_{1}))\geq\pi_{i,j}(F(e_{2}))$.

The idea of “promotion” is difficult to work with. Since we will only be studying ballot elections with increasing ballots and satisfying MIIA, we can check for the PR condition using a simpler property based on the existence of the $f_{i,j}$ functions which MIIA gives. Lemma 2.17 establishes that for an increasing ballot election satisfying MIIA, this condition is equivalent to PR.

Definition 2.16 (Positive Responsiveness given MIIA - PRm).

A SWF satisfying MIIA also satisfies the PR condition if for any two candidates $c_{i}$ and $c_{j}$, and for any two relative elections $a_{1},a_{2}\in A_{i,j}$ where $a_{1}\geq a_{2}$, we have $f_{i,j}(a_{1})\geq f_{i,j}(a_{2})$.

Lemma 2.17.

An increasing ballot election with MIIA satisfies PRm if and only if it satisfies PR.

Proof.

Let $F$ be an increasing ballot election satisfying the MIIA and PRm conditions and let $f_{i,j}$ be its relative SWFs. Suppose that $(c_{j},c_{i})$ is promoted by $(e_{2},e_{1})$. Then for any $v$ and for any $c_{k}\neq c_{i},c_{j}$, letting $r_{1}=e_{1}(v)$ and $r_{2}=e_{2}(v)$, we have:

1. $r_{1}(c_{k})>r_{1}(c_{i})\Rightarrow r_{2}(c_{k})>r_{2}(c_{i})$, so $r_{1}(c_{i})\geq r_{2}(c_{i})$

2. $r_{1}(c_{j})>r_{1}(c_{k})\Rightarrow r_{2}(c_{j})>r_{2}(c_{k})$ so $r_{1}(c_{j})\leq r_{2}(c_{j})$

Thus $r_{1}(c_{i})-r_{1}(c_{j})\geq r_{2}(c_{i})-r_{2}(c_{j})$. Letting $a_{1}=\pi_{i,j}(e_{1})$ and $a_{2}=\pi_{i,j}(e_{2})$, we have $a_{1}(v)\geq a_{2}(v)$. But this applied to all $v$, so $a_{1}\geq a_{2}$. Then by the PRm condition, $\pi_{i,j}(F(e_{1}))=f_{i,j}(a_{1})\geq f_{i,j}(a_{2})=\pi_{i,j}(F(e_{2}))$, so the PR condition holds.

Now suppose that $F$ satisfies PR, and take two candidates $c_{i}$ and $c_{j}$ and two relative elections in $A_{i,j}$ with $a_{1}\geq a_{2}$. Let $B_{i,j}=\pi_{i,j}(\mathfrak{B})$. Define the function $p:V\rightarrow B_{i,j}^{2}$ by $p(v)=(a_{1}(v),a_{2}(v))$. Note that $p$ is measurable, as the cartesian product measure of $B_{i,j}\times B_{i,j}$ is just the discrete measure (because $B_{i,j}$ is finite). For any pair $(b_{1},b_{2})$ in the image of $p$, note that $b_{1}\geq b_{2}$, and choose any $r(b_{1},b_{2})\in\pi_{i,j}^{-1}(b_{1})$.

Then, since $\mathfrak{B}$ is an increasing ballot, let $r^{\prime}(b_{1},b_{2})\in\pi_{i,j}^{-1}(b_{2})$ be such that $(c_{j},c_{i})$ is promoted by $(r^{\prime}(b_{1},b_{2}),r(b_{1},b_{2}))$. Then the functions $r$ and $r^{\prime}$ are both functions with finite domains, and therefore measurable. Define $e$ by $e(v)=r(a_{1}(v),a_{2}(v))$ and $e^{\prime}$ by $e^{\prime}(v)=r^{\prime}(a_{1}(v),a_{2}(v))$; these are both measurable functions, so they are in $E$ as it is a ballot election. Then $(c_{j},c_{i})$ is promoted by $(e^{\prime},e)$, so by PR we have $\pi_{i,j}(a_{1})=\pi_{i,j}(F(e_{1}))\geq\pi_{i,j}(F(e_{2}))=\pi_{i,j}(a_{2})$, giving condition PRm. ∎

Note that the Pareto condition is often much weaker than the Positive Responsiveness condition, as it says nothing except in the very extreme case of unanimity among voters when comparing two candidates. On the other hand, the Positive Responsiveness condition does not necessarily imply the Pareto principle, as PR doesn’t rule out the possibility of $F$ always returning the same ranking. Even imposing the neutrality condition, $F$ could always return a $k$-way tie, whereas the Pareto principle precludes this.

The following condition is sometimes included in the PR condition but we will consider it separately.

Definition 2.18 (Intermediate Value - IV).

If for two elections $e_{1}$ and $e_{2}$ and two candidates $c_{i}$ and $c_{j}$, $(c_{j},c_{i})$ is promoted by $(e_{2},e_{1})$, and we have $\pi_{i,j}(F(e_{1}))=W$ whereas $\pi_{i,j}(F(e_{2}))=L$, then there exists an “intermediate” election $e^{\prime}$ such that $(c_{j},c_{i})$ is promoted by both $(e^{\prime},e_{1})$ and $(e_{2},e^{\prime})$, and $\pi_{i,j}(F(e^{\prime}))=T$.

The IV condition essentially says that we can continuously improve a candidate’s position relative to another candidate until their positions cross in the final ranking, and at that moment they will tie. We would only expect this to be the case in a world with a continuum of possible ballots; in other words, when $|V|=\infty$. We will only consider the IV condition in these cases.

Again, we can verify the IV condition for SWFs on increasing, intermediate domains with MIIA using the simpler IVm condition:

Definition 2.19 (Intermediate Value given MIIA - IVm).

A SWF satisfying MIIA also satisfies the IV condition if for any two candidates $c_{i}$ and $c_{j}$, and for any $a_{1}\geq a_{2}\in A_{i,j}$ such that $f_{i,j}(a_{1})=W$ and $f_{i,j}(a_{2})=L$, there exists $a^{\prime}\in A_{i,j}$ with $a_{1}\geq a^{\prime}\geq a_{2}$ and $f_{i,j}(a^{\prime})=T$.

Lemma 2.20.

An increasing, intermediate ballot election with MIIA satisfies IV if and only if it satisfies IVm.

Proof.

Let $F$ be a SWF satisfying the MIIA and IV conditions, let $f_{i,j}$ be its relative SWFs and let $a_{1}\geq a_{2}$ be two vectors in $A_{i,j}$ for some $c_{i}$ and $c_{j}$, with $f_{i,j}(a_{1})=W$ and $f_{i,j}(a_{2})=L$. Let $B_{i,j}=\pi_{i,j}(\mathfrak{B})$. For $(b_{1},b_{2})\in B_{i,j}^{2}$ pick $r_{1}\in\pi_{i,j}^{-1}(b_{1})$, and use the definition of an increasing ballot to pick $r_{2}\in\pi_{i,j}^{-1}(b_{2})$ such that $(c_{j},c_{i})$ is promoted by $(r_{2},r_{1})$. Now both $r_{1}$ and $r_{2}$ are given by functions on $B_{i,j}^{2}$, and since these are functions on finite domains, they are measurable.

Now define $e_{1}$ by $e_{1}(v)=r_{1}(a_{1}(v),a_{2}(v))$ and $e_{2}$ by $e_{2}(v)=r_{2}(a_{1}(v),a_{2}(v))$. Since $F$ has a ballot domain, $e_{1},e_{2}\in E$. Moreover, $(c_{j},c_{i})$ is promoted by $(e_{2},e_{1})$, $\pi_{i,j}(e_{1})=a_{1}$ and $\pi_{i,j}(e_{2})=a_{2}$. Thus $\pi_{i,j}(F(e_{1}))=W$ and $\pi_{i,j}(F(e_{2}))=L$. Now applying the IV condition, we find that there exists $e^{\prime}$ such that $(c_{j},c_{i})$ is promoted by both $(e_{2},e^{\prime})$ and $(e^{\prime},e_{1})$, and $\pi_{i,j}(F(e^{\prime}))=T$. Setting $a^{\prime}=\pi_{i,j}(e^{\prime})$, we have $f_{i,j}(a^{\prime})=T$, and $a_{1}\geq a^{\prime}\geq a_{2}$, giving condition IVm.

Now let $F$ be a SWF on an intermediate ballot domain satisfying the MIIA and IVm conditions and let $f_{i,j}$ be its relative SWFs. Suppose that $(c_{j},c_{i})$ is promoted by $(e_{2},e_{1})$ and that $\pi_{i,j}(F(e_{1}))=W$ and $\pi_{i,j}(F(e_{2}))=L$. Now let $\pi_{i,j}(e_{1})=a_{1}$ and $\pi_{i,j}(e_{2})=a_{2}$. Since $(c_{j},c_{i})$ is promoted by $(e_{2},e_{1})$, we know that $a_{1}\geq a_{2}$. Now we have $f_{i,j}(a_{1})=W$ and $f_{i,j}(a_{2})=L$. Thus by IVm there exists $a^{\prime}\in A_{i,j}$ with $a_{1}\geq a^{\prime}\geq a_{2}$ and $f_{i,j}(a^{\prime})=T$.

Meanwhile, for each triple $(r_{+},m,r_{-})\in\mathfrak{B}\times B_{i,j}\times\mathfrak{B}$ with $(c_{j},c_{i})$ promoted by $(r_{-},r_{+})$ we carry out the following procedure: if $m=\pi_{i,j}(r_{+})$ we set $r^{\prime}=r_{+}$, and if $m=\pi_{i,j}(r_{-})$ we set $r^{\prime}=r_{-}$; otherwise, we apply the definition of the intermediate ballot to find $r^{\prime}$ such that $(c_{j},c_{i})$ is promoted by both $(r_{-},r^{\prime})$ and $(r^{\prime},r_{+})$, and where $\pi_{i,j}(r^{\prime})=m$. This gives a function on finite domain $r^{\prime}:\mathfrak{B}\times B_{i,j}\times\mathfrak{B}\rightarrow\mathfrak{B}$.

Now for each voter $v$, we have $r_{+}=e_{1}(v)$ and $r_{-}=e_{2}(v)$ with $(c_{j},c_{i})$ promoted by $(r_{+},r_{-})$; and

$$\pi_{i,j}(r_{+})=a_{1}(v)\geq a^{\prime}(v)\geq a_{2}(v)=\pi_{i,j}(r_{-})$$ (2.vii)

so we can define $e^{\prime}(v)=r^{\prime}(e_{1}(v),a^{\prime}(v),e_{2}(v))$. This is a measurable function, so $e^{\prime}\in E$ (as $E$ is a ballot election). Clearly $(c_{j},c_{i})$ is promoted by both $(e_{2},e^{\prime})$ and $(e^{\prime},e_{1})$, and $\pi_{i,j}(e^{\prime})=a^{\prime}$. Also, $\pi_{i,j}(F(e^{\prime}))=f_{i,j}(a^{\prime})=T$, so we have condition IV. ∎

These results taken together allow us to simplify our analysis of SWFs that are sufficiently well-behaved. On the other hand, it is often possible to start with relative SWFs and check that they corresponds to a full SWF. To prepare for this construction, we define the following “consistent” sets of values we can get for the relative rankings of three candidate:

Definition 2.21 (Consistent multisets).

A multiset of cardinality three, with elements drawn from $\set{W,T,L}$, is consistent if it is one of the following:

1. $\set{W,W,L}$

2. $\set{W,T,L}$

3. $\set{W,L,L}$

4. $\set{T,T,T}$

Otherwise the multiset is “inconsistent”.

If we take a weak ordering $\succ$ on a set of three candidates $c_{i},c_{j},c_{k}$, then the consistent multisets are the ones that could arise from finding $\pi_{i,j}(\succ)$, $\pi_{j,k}(\succ)$ and $\pi_{k,i}(\succ)$, as we will verify in the proof of the following Lemma.

Lemma 2.22.

Given a family of relative SWFs $f_{i,j}$ for each $c_{i}\neq c_{j}\in C$, there exists an SWF $F$ with $\pi_{i,j}\circ F=f_{i,j}\circ\pi_{i,j}$ for all $i\neq j$ if and only if for all $e\in E$:

1. for all $c_{i}\neq c_{j}$ we have $f_{i,j}(\pi_{i,j}(e))=-f_{j,i}(\pi_{j,i}(e))$, and

2. for all $c_{i}\neq c_{j}\neq c_{k}$, the multiset $\set{f_{i,j}(\pi_{i,j}(e)),f_{j,k}(\pi_{j,k}(e)),f_{k,i}(\pi_{k,i}(e))}$ is consistent.

Proof.

Suppose that $F$ does exist with $\pi_{i,j}\circ F=f\circ\pi_{i,j}$ for all $c_{i}\neq c_{j}$. Take any $e\in E$ and $c_{i}\neq c_{j}$. Now let $F(e)=\succ$. If $c_{i}\succ c_{j}$, then $f(\pi_{i,j}(e))=\pi_{i,j}(F(e))=W$, while $f(\pi_{j,i}(e))=\pi_{j,i}(F(e))=L$, satisfying condition 1; but the same goes if $c_{j}\succ c_{i}$, or if $c_{i}\nsucc c_{j}$ and $c_{j}\nsucc c_{i}$.

Similarly, taking $c_{i}\neq c_{j}\neq c_{k}$, and let $F(e)=\succ$. Now we consider two cases. If all three candidates are tied, then the multiset described in condition 2 is $\set{T,T,T}$, which is consistent. Otherwise, there must be one maximal or minimal candidate of the three; assume without loss of generality that this is $c_{i}$. Then one of $\pi_{i,j}(\succ)$ and $\pi_{k,i}$ is $W$ and the other is $L$; so the multiset is one of $\set{W,W,L}$, $\set{W,T,L}$ and $\set{W,L,L}$; these are all consistent.

On the other hand, suppose that conditions 1 and 2 are met. Then we define $\succ=F(e)$ as follows. We construct a graph $G^{\prime}$ with vertices corresponding to $C$ the set of candidates, and for each pair $c_{i}\neq c_{j}$ we add an edge between $c_{i}$ and $c_{j}$ when $f_{i,j}(\pi_{i,j}(e))=T$. Note that these edges can be undirected, as condition 1 ensures that if $f_{i,j}(\pi_{i,j}(e))=T$ then $f_{j,i}(\pi_{j,i}(e))=-T=T$. Now if in this graph $c_{i}\sim c_{j}$ and $c_{j}\sim c_{k}$, then by condition 2 we must have $c_{i}\sim c_{k}$, because the only consistent multiset containing $T$ twice is $\set{T,T,T}$; and therefore the graph is a disjoint collection of cliques. We call these sets $C_{1},C_{2}\dots C_{t}$ for some $t$.

Now we construct a new directed graph $G$ on vertices $V=\set{C_{i}}_{i}$, and we add an edge from $C_{i}$ to $C_{j}$ if, for some $c_{i}\in C_{i}$ and $c_{j}\in C_{j}$, we have $f_{i,j}(\pi_{i,j}(e))=W$. This definition is independent of our choice of $c_{i}$ and $c_{j}$, because if we apply condition 2 to $c_{i}$, $c_{i^{\prime}},c_{j}$ with $c_{i},c_{i^{\prime}}\in C_{i}$, we have $f_{i,i^{\prime}}(\pi_{i,i^{\prime}}(e))=T$ and $f_{i,j}(\pi_{i,j}(e))\neq T$, so the multiset is $\set{W,T,L}$; then $f_{i,j}(\pi_{i,j}(e))=-f_{j,i^{\prime}}(\pi_{j,i^{\prime}}(e))$, so by condition 1 we have $f_{i,j}(\pi_{i,j}(e))=f_{i^{\prime},j}(\pi_{i^{\prime},j}(e))$; applying this again with $c_{i^{\prime}}$, $c_{j}$ and $c_{j^{\prime}}$ we get $f_{i,j}(\pi_{i,j}(e))=f_{i^{\prime},j^{\prime}}(\pi_{i^{\prime},j^{\prime}}(e))$.

Now $(C_{i},C_{j})$ is in $G$ if and only if $(C_{j},C_{i})$ is not; they cannot both be edges due to condition 1 but if neither is an edge then $c_{i}\nsucc c_{j}$ and $c_{j}\nsucc c_{i}$, so $C_{i}$ and $C_{j}$ were connected in $G^{\prime}$ and they formed one clique after all. Therefore $G$ is a tournament. Suppose there is a cycle in the tournament, $(C_{1},C_{2},\dots,C_{s})$ with $(C_{i},C_{i+1})$ all edges. Then there is an edge from $C_{1}$ to $C_{3}$ (or else, taking $c_{1}\in C_{1}$, $c_{2}\in C_{2}$ and $c_{3}\in C_{3}$, and applying condition 2 to $(c_{1},c_{2},c_{3})$ we get one of $\set{W,W,W}$ or $\set{W,W,T}$, both of which are inconsistent), so we get a smaller cycle. We repeat this until we get a 3-cycle, which corresponds to the inconsistent multiset $\set{W,W,W}$, a contradiction. So instead, there is a total order between the vertices of $G$.

Now we define $\succ$ based on these two graphs. We say that $c_{i}\nsucc c_{i}$. For $c_{i}\neq c_{j}$, if $c_{i}\sim c_{j}$ in $G^{\prime}$, then the result between them is a tie, so we write $c_{i}\nsucc c_{j}$ and $c_{j}\nsucc c_{i}$. Otherwise, they are in different connected components; say $c_{i}\in C_{i}$ and $c_{j}\in C_{j}$. Then we write $c_{i}\succ c_{j}$ if $(C_{i},C_{j})$ is an edge and $c_{j}\succ c_{i}$ if $(C_{j},C_{i})$ is an edge. Clearly $c_{i}\succ c_{j}$ if and only if $f_{i,j}(\pi_{i,j}(e))=W$, and $c_{j}\succ c_{i}$ if and only if $f_{i,j}(\pi_{i,j}(e))=L$; neither occur if and only if $f_{i,j}(\pi_{i,j}(e))=T$. Moreover, $\succ$ is a weak ordering: if $c_{i}\succ c_{j}$ and $c_{j}\succ c_{k}$ then $c_{i}\succ c_{k}$; and if $c_{i}\nsucc c_{j}$ and $c_{j}\nsucc c_{k}$ then $c_{i}\nsucc c_{k}$. ∎

2.1 Borda Rules

We now define the (weighted) Borda rules, which are the obvious examples of SWFs meeting the MIIA condition.

Definition 2.23 ((Weighted) Borda rule).

For a finite set of voters $V$ with weights $(w_{v})_{v}$, or for an infinite set of voters $(V,\Sigma,\nu)$ with a measurable weight function $w:V\rightarrow\mathbbm{R}$, the weighted Borda rule $B_{w}$ is defined as follows. We define

$$b_{w}(c_{i},e) =\int_{V}e(v)(c_{i})w(v)\text{d}\nu(v)\quad |V|=\infty$$ (2.viii)

$$b_{w}(c_{i},e) =\sum_{v\in V}e(v)(c_{i})w_{v}\quad |V|<\infty$$

Now we let $B_{w}=\Phi(b_{w})$.

Now $\pi_{i,j}(B_{w}(e))=\varphi(b_{w}(c_{i},e)-b_{w}(c_{j},e))$, so we let

$$d_{w}(c_{i},c_{j},e) =b_{w}(c_{i},e)-b_{w}(c_{j},e)$$ (2.ix)

$$=\int_{V}[e(v)(c_{i})-e(v)(c_{j})]w(v)\text{d}\nu(v)$$

$$=\int_{V}\pi_{i,j}(e)(v)w(v)\text{d}\nu(v)\quad|V|=\infty$$

The equivalent for $|V|$ finite is

$$d_{w}(c_{i},c_{j},e)=\sum_{v\in V}\pi_{i,j}(e)(v)w_{v}$$ (2.x)

Thus $d_{w}$ is a function of $\pi_{i,j}(e)$, and we can write $d_{w}(c_{i},c_{j},e)=d_{w}(\pi_{i,j}(e))$. Then $B_{w}$ satisfies MIIA with $f_{i,j}=\varphi\circ d_{w}$. Moreover, $b_{w}$ is defined symmetrically for all $c_{i}\in C$, so $B_{w}$ satisfies the neutrality condition.

We call a Borda rule “positive” if $w>0$ across $V$ and “non-negative” if $w\geq 0$ across $V$, and so on for “negative” and “non-positive”. Equation 2.ix means that a non-negative Borda rule satisfies PRm, and that a non-negative Borda rule with $\int_{V}w(v)\text{d}\nu(v)>0$ satisfies P.

Moreover, on a ballot domain with $V$ infinite, we have IVm. Indeed, we will construct $(V_{r})_{r}$ to be an infinite family of measurable subsets of $V$ with $\nu(V_{r})=r$ and $V_{r}\subset V_{s}$ whenever $r<s$. We let $V_{0}=\emptyset$ and $V_{1}=V$, and then labelling the rationals in $(0,1)$ with the natural numbers, we define each $V_{q_{n}}$ in turn to contain all $V_{q_{m}}$ with $m<n$ and $q_{m}<q_{n}$, and to be contained in all $V_{q_{m}}$ with $m<n$ and $q_{m}>q_{n}$; once $V_{q}$ is defined for all rational $q$ we let $V_{r}$ for irrational $r$ be the union of $V_{q}$ for all $q<r$; clearly this satisfies our criteria.

Then for relative elections $a_{-}$ and $a_{+}$ with $a_{-}<a_{+}$ and $\varphi\circ d_{w}(a_{-})=L$ and $\varphi\circ d_{w}(a_{+})=W$, we define $a_{r}$ by $a_{r}(v)=a_{+}(v)$ on $V_{r}$ and $a_{r}(v)=a_{-}(v)$ elsewhere. Now $d_{w}(a_{r})$ is a continuous function on $r$, with $d_{w}(a_{0})<0$ and $d_{w}(a_{1})>0$ (as these values map to $L$ and $W$ respectively under $\varphi$). Thus by the intermediate value theorem there exists $r$ with $d_{w}(a_{r})=0$, and we have $a_{-}<a_{r}<a_{+}$ and $\varphi\circ d_{w}(a_{r})=T$ as required.

If $w$ is constant across all of $V$ then the Borda rule is “unweighted”. Since scaling $b_{w}$ by a positive scalar doesn’t affect $\Phi$, there are only three such rules: the positive unweighted Borda rule with $w\equiv 1$, the negative unweighted Borda rule with $w\equiv-1$, and the “tie rule” with $w\equiv 0$, in which case the SWF always returns a tie between all candidates in $C$.

For any unweighted Borda rule, we have

$$b_{w}(c_{i},e) =\sum_{r\in\mathfrak{R}}\int_{v\in e^{-1}(r)}w\cdot r(c_{i})\text{d}\nu(v)$$ (2.xi)

$$=w\sum_{r\in\mathfrak{R}}r(c_{i})\nu(e^{-1}(r))$$

$$=w\sum_{r\in\mathfrak{R}}r(c_{i})\vec{\varepsilon}_{r}$$

Here $\vec{\varepsilon}=\tau(e)$. Therefore $b_{w}$ is a function of $\tau(e)$, so $B_{w}$ satisfies the anonymity condition. Again, this also applies to the finite case.

Between Borda and non-Borda SWFs we can also consider “weakly Borda” SWFs, which agree with a Borda rule $B_{w}$ (for $w\not\equiv 0$) whenever it is decisive but are sometimes able to break ties.

Definition 2.24 (Weakly Borda).

A SWF $F$ is weakly Borda if there exists a Borda rule $B_{w}$ for $w\not\equiv 0$ (i.e. not the tie rule) such that for all $e$, and for two candidates $c_{i}$ and $c_{j}$, we have $\pi_{i,j}(B_{w}(e))\neq T\Rightarrow\pi_{i,j}(F(e))=\pi_{i,j}(B_{w}(e))$. We also say that $F$ is weakly Borda with respect to $B_{w}$.

Note that any Borda rule except for the tie rule is weakly Borda with respect to itself. We call a rule “strongly non-Borda” if it is not weakly Borda or the tie rule.

The anonymity condition A should mean that the only sensible Borda weights to take are unweighted ones. We formalise this in Lemma 2.25, which is useful for demonstrating that a SWF is not Borda; it allows us to check only the unweighted Borda rules, and not to worry about all the weighted Borda rules.

Lemma 2.25.

For an election domain $E$ containing a ballot domain with ballot $\mathfrak{B}$, if a SWF $F$ fulfils condition A and is weakly Borda with respect to a Borda rule $B_{w}$ then it is weakly Borda with respect to an unweighted Borda rule $B$.

Proof.

We consider the case of $V$ infinite; for $V$ finite, an identical argument works, letting $\nu(X)$ be $|X|/|V|$ for any set of voters $X$.

Consider the function $w$. For brevity, we denote the interval $(t,\infty)$ as $U_{t}$ and the interval $(-\infty,t)$ as $L_{t}$. We then denote $W^{+}_{t}=w^{-1}(U_{t})$ and $W^{-}_{t}=w^{-1}(L_{t})$, and we write $\nu(W^{\varepsilon}_{t})=w^{\varepsilon}_{t}$ for $\varepsilon=\pm$.

Furthermore, let $r$ and $r^{\prime}$ be two distinct votes in $\mathfrak{B}$. There must be two candidates $c_{i}$ and $c_{j}$ for which $r(c_{i})>r(c_{j})$ but $r^{\prime}(c_{i})<r^{\prime}(c_{j})$ (otherwise $r$ and $r^{\prime}$ give identical total orders of $C$ and are therefore equal). Let $s=r(c_{i})-r(c_{j})$ and $t=r^{\prime}(c_{j})-r^{\prime}(c_{i})$, and let $\kappa=s/(s+t)$.

Now $w^{-}_{\lambda}$ is an increasing function of $\lambda$; we take $\lambda_{-}$ to be the infimum of all values for which $w^{-}_{\lambda}\geq\kappa$. Now $w^{-}_{\lambda_{-}}\leq\kappa$, as it is the supremum of $w^{-}_{\lambda}$ for all $\lambda<\lambda_{-}$ (since $L_{\lambda_{-}}$ is the union for all $\lambda<\lambda_{-}$ of $L_{\lambda}$), and for $\lambda<\lambda_{-}$ we have $w^{-}_{\lambda}<\kappa$. On the other hand, $U_{r}=\cup_{r^{\prime}>r}L_{r}^{c}$ so $w^{+}_{\lambda_{-}}=\sup_{\lambda>\lambda_{-}}1-w^{-}_{\lambda}$. But for all $\lambda>\lambda_{-}$ we have $w^{-}_{\lambda}\geq\kappa$, so $w^{+}_{\lambda_{-}}\leq 1-\kappa$.

Now, if $w^{-}_{\lambda_{-}}=\kappa$ then we set $S_{-}=W^{-}_{\lambda_{-}}$ and $T_{-}=V\setminus S_{-}$. On the other hand, if $w^{-}_{\lambda_{-}}<\kappa$ then we have $\nu(w^{-1}(\lambda_{-}))=1-w^{-}_{\lambda_{-}}-w^{+}_{\lambda_{-}}\geq\kappa-w^{-}_{\lambda_{-}}$. Now we take a measurable subset $X$ of $w^{-1}(\lambda_{-})$ of measure $\kappa-w^{-}_{\lambda_{-}}$, and we set $S_{-}=X\cup W^{-}_{\lambda_{-}}$ and $T_{-}=V\setminus S_{-}$.

Now we have partitioned $V$ into $S_{-}$ and $T_{-}$ with $\nu(S_{-})=\kappa$, $w\leq\lambda_{-}$ on $S_{-}$ and $w\geq\lambda_{-}$ on $T_{-}$. Since $E$ is a ballot election, we can find $e_{-}\in E$ defined by $e_{-}(v)=r^{\prime}$ for $v\in S_{-}$ and $e_{-}(v)=r$ for $v\in T_{-}$. Now for the election $e_{-}$ we have

$$d_{w}(c_{i},c_{j},e_{-}) =\int_{T_{-}}sw(v)\text{d}\nu(v)-\int_{S_{-}}tw(v)\text{d}\nu(v)$$ (2.xii)

$$\leq\lambda_{-}(1-\kappa)s-\lambda_{-}\kappa t$$

$$=0$$

If $d_{w}(c_{i},c_{j},e_{-})<0$ then $\pi_{i,j}(B_{w}(e_{-}))=L$ and, since $F$ is weakly Borda, $\pi_{i,j}(F(e_{-}))=L$.

Similarly, we can construct $\lambda_{+}$, and then $S_{+}$ and $T_{+}$ partitioning $V$ such that $\nu(S_{+})=\kappa$, $w\geq\lambda_{+}$ on $S_{+}$ and $w\leq\lambda_{+}$ on $T_{+}$. Then setting $e_{+}$ to be the election with $e_{+}(v)=r^{\prime}$ for $v\in S_{+}$ and $e_{+}(v)=r$ for $v\in T_{+}$, we find that

$$d_{w}(c_{i},c_{j},e_{+}) =\int_{T_{+}}sw(v)\text{d}\nu(v)-\int_{S_{+}}tw(v)\text{d}\nu(v)$$ (2.xiii)

$$\geq\lambda_{+}(1-\kappa)s-\lambda_{+}\kappa t$$

$$=0$$

Again, if $d_{w}(c_{i},c_{j},e_{+})>0$ then $\pi_{i,j}(B_{w}(e_{+}))=W$ and, since $F$ is weakly Borda, $\pi_{i,j}(F(e_{+}))=W$. But since $\tau(e_{-})=\tau(e_{+})$, and $F$ satisfies anonymity, $\pi_{i,j}(F(e_{-}))=\pi_{i,j}(F(e_{+}))$. Therefore for at least one election $e$ out of the two elections $e_{-}$ and $e_{+}$ we have $d_{w}(c_{i},c_{j},e)=0$. Suppose without loss of generality that $e=e_{-}$. Then $\int_{T_{-}}w(v)\text{d}\nu(v)=(1-\kappa)\lambda_{-}$, so $w=\lambda_{-}$ on all but a zero-measure subset $T_{0}$ of $T$. Similarly $w=\lambda_{-}$ on all but a zero-measure subset $S_{0}$ of $S$. Then for all $e\in E$ and for all $c_{i}\in C$, $b_{w}(c_{i})=b_{\lambda_{-}}(c_{i})$ (we are abusing notation to write $\lambda_{-}$ for the constant weight function $w\equiv\lambda_{-}$). Therefore $F$ is weakly Borda with respect to the unweighted Borda rule with sign $\operatorname{sgn}(\lambda_{-})$. ∎

We now proceed to the main results of this paper.

3 Unrestricted domain and anonymity

We begin with the most critical construction, which demonstrates that on the unrestricted domain, even the combination of all of the conditions listed in section 2 is not enough to guarantee the Borda rule. We give a construction for the case of $V$ infinite, and then use this construction to generate more constructions for cases of $V$ finite.

Theorem 3.1.

There exists a strongly non-Borda SWF on $(V,\nu)$ and $C=\set{c_{1},c_{2},c_{3}}$ satisfying U, MIIA, A, N, P, PR and IV.

Note that by Theorem 4.8, proved in section 4 below, the restriction of the SWF to either of the two Condorcet cycle domains will give the Borda rule. We can think of two elections running in parallel: one between all the voters in the first Condorcet cycle, $e^{-1}(\mathfrak{C})\subset V$, and a second between voters in the second Condorcet cycle, $e^{-1}(\mathfrak{R}\setminus\mathfrak{C})=V\setminus e^{-1}(\mathfrak{C})$. By giving a pathological rule for combining the Borda scores of these two elections, we will find a non-Borda election on the unrestricted domain.

Proof of Theorem 3.1.

We consider the following function $G^{\prime}:C\times E^{\prime}\rightarrow\mathbbm{R}$:

$$G^{\prime}(c_{i},\vec{\varepsilon})=X\sum_{r\in\mathfrak{R}}r(c_{i})\varepsilon_{r}+\sum_{r\in\mathfrak{R}}\sum_{s\in C_{3}\circ r}r(c_{i})\varepsilon_{r}\varepsilon_{s}$$ (3.i)

Here $C_{3}$ is the group of cyclic (i.e. even) permutations on $C$. $X$ will be determined later.

We can define $G:C\times E\rightarrow\mathbbm{R}$ by $G(c,e)=G^{\prime}(c,\tau(e))$. Then we let $F=\Phi(G)$. Now the relative result between any $c_{i}$ and $c_{j}$ is given by

$$\pi_{i,j}(F(e))=\varphi(G^{\prime}(c_{i},\vec{\varepsilon})-G^{\prime}(c_{j},\vec{\varepsilon}))$$ (3.ii)

Now $F$ satisfies condition U by construction.

Lemma 3.2.

$F$ satisfies MIIA, N and A.

Proof.

It suffices to show that $F$ has a corresponding weight-based relative SWF $f$ (neutrality is given by the fact that this function will not depend on the choice of $c_{i}$ and $c_{j}$). If $G^{\prime}(c_{i},\vec{\varepsilon})-G^{\prime}(c_{j},\vec{\varepsilon})=g(\pi_{i,j}(\vec{\varepsilon}))$ for some $g$, then $f^{\prime}=\varphi\circ g$ is the weight-based relative SWF corresponding to $F$. Indeed, writing $\vec{\alpha}=\pi_{i,j}(\vec{\varepsilon})$, we have

$$G^{\prime}(c_{i},\vec{\varepsilon})-G^{\prime}(c_{j},\vec{\varepsilon})= X\sum_{r\in\mathfrak{R}}r(c_{i})\varepsilon_{r}+\sum_{r\in\mathfrak{R}}\sum_{s\in C_{3}\circ r}r(c_{i})\varepsilon_{r}\varepsilon_{s}$$ (3.iii)

$$-X\sum_{r\in\mathfrak{R}}r(c_{j})\varepsilon_{r}-\sum_{r\in\mathfrak{R}}\sum_{s\in C_{3}\circ r}r(c_{j})\varepsilon_{r}\varepsilon_{s}$$

$$= X\sum_{r\in\mathfrak{R}}(r(c_{i})-r(c_{j}))\varepsilon_{r}+\sum_{r\in\mathfrak{R}}\sum_{s\in C_{3}\circ r}(r(c_{i})-r(c_{j}))\varepsilon_{r}\varepsilon_{s}$$

$$= X\sum_{t\in D_{3}}\left(t\sum_{r:\pi_{i,j}(r)=t}\varepsilon_{r}\right)+\sum_{t\in D_{3}}\left(t\sum_{r:\pi_{i,j}(r)=t}\varepsilon_{r}\sum_{s\in C_{3}\circ r}\varepsilon_{s}\right)$$

$$= X\sum_{t\in D_{3}}t\alpha_{t}+\sum_{t\in D_{3}}t\alpha_{t}\left(\sum_{s:3\mid\pi_{i,j}(s)-t}\varepsilon_{s}\right)$$

$$= X\sum_{t\in D_{3}}t\alpha_{t}+\sum_{t\in D_{3}}t\alpha_{t}\left(\sum_{u:3\mid(t-u)}\alpha_{u}\right)$$

The penultimate inequality is because when applying an even permutation to $r\in\mathfrak{R}$, we maintain the cyclic order of the three candidates, so a gap between two candidates of $1$ or $-2$ must remain a gap of $1$ or $-2$, and the same goes for $-1$ and $2$. The final expression is a function only of $\vec{\alpha}$, so we can define it as

$$g(\vec{\alpha})=(X+\alpha_{1}+\alpha_{-2})(\alpha_{1}-2\alpha_{-2})+(X+\alpha_{2}+\alpha_{-1})(2\alpha_{2}-\alpha_{-1})$$ (3.iv)

giving $f^{\prime}=\varphi\circ g$ a weight-based relative SWF as required. ∎

It remains to show that PR, P and IV are also satisfied.

Lemma 3.3.

$F$ satisfies condition PR.

Proof.

By Lemma 2.17, we need only check condition PRm, which states that as $\vec{\alpha}$ increases in the partially ordered set $A^{\prime}$, the value of $f(\vec{\alpha})$ cannot decrease.

For any $\vec{\alpha}<\vec{\beta}$ in $A^{\prime}$, we can reach $\vec{\beta}$ from $\vec{\alpha}$ by a series of at most three steps. In the first one, we replace $\alpha_{-2}$ with the smaller $\beta_{-2}$ and add $\alpha_{-2}-\beta_{-2}$ to $\alpha_{-1}$. We know that $\beta_{-2}\leq\alpha_{-2}$ as $\vec{\beta}$ majorises $\vec{\alpha}$, so

$$1-\beta_{-2}=\beta_{2}+\beta_{1}+\beta_{-1}\geq\alpha_{2}+\alpha_{1}+\alpha_{-1}=1-\alpha_{-2}$$ (3.v)

But now we are left with two vectors of equal total weight on indices $2,1,-1$, where $\beta_{2}+\beta_{1}\geq\alpha_{2}+\alpha_{1}$, so again we can replace $\alpha_{-1}+\alpha_{-2}-\beta_{-2}$ with the smaller $\beta_{-1}$, and increase $\alpha_{1}$ to $\alpha_{1}+\alpha_{-1}+\alpha_{-2}-\beta_{-2}-\beta_{-1}$. Finally we decrease this to $\beta_{1}$ and increase $\alpha_{2}$ to $\beta_{2}$.

Carrying out each of these stages continuously, at each point we are replacing $\vec{\alpha}$ with one of

$$(\alpha_{2}+\delta,\alpha_{1}-\delta,\alpha_{-1},\alpha_{-2})$$ (3.vi)

$$(\alpha_{2},\alpha_{1}+\delta,\alpha_{-1}-\delta,\alpha_{-2})$$

$$(\alpha_{2},\alpha_{1},\alpha_{-1}+\delta,\alpha_{-2}-\delta)$$

for $\delta$ arbitrarily small. These respectively increase $g(\vec{\alpha})$ by

$$\delta(X+4\alpha_{2}+\alpha_{-1}+2\alpha_{1}-\alpha_{-2})+3\delta^{2}$$ (3.vii)

$$\delta(X-\alpha_{2}-\alpha_{-2}+2\alpha_{1})$$

$$\delta(X+\alpha_{2}-2\alpha_{-1}+\alpha_{1}+4\alpha_{-2})-3\delta^{2}$$

For $X\geq 2$, the coefficients of $\delta$ on the first two lines are both posiitive, and the entire expressions are positive. On the third line, $X\geq 2$ guarantees that the coefficient of $\delta$ is non-negative, and it is zero if and only if $\alpha_{-1}=1$. For $\alpha_{-1}\neq 1$, we pick $\delta$ small enough for the linear term to dominate the quadratic term, so the expression is positive. On the other hand, if $\alpha_{-1}=1$ then we cannot apply the third variation of $\vec{\alpha}$, as it replaces $\alpha_{-1}$ with $\alpha_{-1}+\delta>1$, which is impossible.

Thus, transforming $\vec{\alpha}$ to $\vec{\beta}$ in small enough steps, we find that $g(\vec{\beta})>g(\vec{\alpha})$, so $f(\vec{\beta})\geq f(\vec{\alpha})$, and the PRm condition holds. ∎

Now we fix $X=2$ and we quickly address the Pareto principle:

Lemma 3.4.

$F$ satisfies condition P.

Proof.

The Pareto condition requires that if $\alpha_{2}+\alpha_{1}=1$ then $g(\vec{\alpha})>0$. The expression for $g$ given that $\alpha_{-1}=\alpha_{-2}=0$ is $\alpha_{1}(X+\alpha_{1})+2\alpha_{2}(X+\alpha_{2})$. Since $X\geq 0$ this is bounded below by $\alpha_{1}^{2}+\alpha_{2}^{2}\geq(\alpha_{1}+\alpha_{2})^{2}/2=1/2$, so the SWF satisfies condition P. ∎

Lemma 3.5.

$F$ satisfies condition IV.

Proof.

Again, by Lemma 2.20 we need only check for condition IVm, which states that for $a_{+},a_{-}\in A$ with $a_{+}>a_{-}$, $f(a_{+})=W$ and $f(a_{-})=L$, there is an intermediate $a$ with $a_{+}>a>a_{-}$ and $f(a)=T$. In terms of vectors in $A^{\prime}$, we require for any $\vec{\alpha}_{+}$ with $g(\vec{\alpha}_{+})>0$ and $\vec{\alpha}_{-}$ with $g(\vec{\alpha}_{-})<0$ where $\vec{\alpha}_{+}>\vec{\alpha}_{-}$ (in other words, where $\vec{\alpha}_{+}$ is reached from $\vec{\alpha}_{-}$ by a sequence of the steps listed in 3.vi) that there exists an intermediate vector $\vec{\alpha}$ with $g(\vec{\alpha})=0$ and $\vec{\alpha}_{+}>\vec{\alpha}>\vec{\alpha}_{-}$. But this is clear, because varying $\delta$ from $0$ causes $g$ to vary continuously, so by the Intermediate Value Theorem there must be a point at which $g=0$, and this gives the required $\vec{\alpha}$. ∎

Thus $F$ is an SWF meeting all of our conditions. All that remains is to show that it is non-Borda.

Lemma 3.6.

$F$ is strongly non-Borda.

Proof.

Note that $g(\vec{\alpha})$ is a polynomial in the entries of $\vec{\alpha}$ and does not contain $b(\vec{\alpha})=2\alpha_{2}+\alpha_{1}-\alpha_{-1}-2\alpha_{-2}$ as a factor; therefore $g$ is a non-zero polynomial on the domain given by $b=0$ and $\vec{\alpha}\geq 0$. There is a non-zero on the interior of this domain, representing a point $\vec{\alpha}_{0}$ where all $\alpha_{t}$ are positive, $g(\vec{\alpha})\neq 0$ and $b(\vec{\alpha})=0$. Assuming without loss of generality that $g>0$, we set $\alpha^{\prime}_{j}=\alpha_{j}$ for $j<0$, and write $\alpha^{\prime}_{2}=\alpha_{2}-\delta$ and $\alpha^{\prime}_{1}=\alpha_{1}+\delta$ with $\delta<\alpha_{2}$ small enough not to affect the sign of $g$. Then $b(\vec{\alpha}^{\prime})<0$ while $g(\vec{\alpha}^{\prime})>0$.

Clearly this value for $\vec{\alpha}$ is given by $\pi_{1,2}\circ\tau(e)$ for some election $e$, because $A^{\prime}=\operatorname{Im}(\pi_{1,2}\circ\tau)$ is all non-negative vectors $\vec{\alpha}$ with $\sum_{i}\alpha_{i}=1$. Therefore the positive unweighted Borda rule $B(e)$ and our SWF $F(e)$ give opposing rankings for $c_{1}$ and $c_{2}$, so $F$ is neither the positive unweighted Borda rule nor weakly Borda with respect to it.

An identical argument, setting $\alpha^{\prime}_{2}=\alpha_{2}+\delta$ and $\alpha^{\prime}_{1}=\alpha^{\prime}_{1}-\delta$, gives $g(\vec{\alpha}^{\prime})>0$ and $b(\vec{\alpha}^{\prime})>0$, which precludes $F$ being the negative unweighted Borda rule or weakly Borda with respect to it. Thus $F$ is not weakly Borda with respect to any unweighted Borda rule.

Now by Lemma 2.25 we can further say that $F$ is not weakly Borda with respect to any Borda rule. Finally, the tie rule gives a tie where our SWF gives a decisive ranking at the $\vec{\alpha}$ given above, so $F$ is not the tie rule. This exhausts all possibilities, so $F$ is strongly non-Borda. ∎

This completes the proof. ∎

We get the finite case as a corollary.

Theorem 3.7.

For large enough $n$, there exists a strongly non-Borda SWF on $V$ with $|V|=n$ and $C=\set{c_{1},c_{2},c_{3}}$ satisfying U, MIIA, A, N, P and PR.

Proof.

For $n$ to be determined later, we let $F_{n}$ on $V$ with $|V|=n$ be given by the weight-based relative SWF $f^{\prime}_{n}(\vec{\alpha})$, where for all $t\in D_{3}$ we have $\alpha_{t}=|\set{v\in V:\pi_{i,j}(e(v))=t}|$. We set $f^{\prime}_{n}(\vec{\alpha})=f^{\prime}(\vec{\alpha}/n)$; in other words, this is the infinite SWF given above, acting on the $n$ voters as though they were $n$ equal parts of the infinite electorate $V$, all voting as blocks. All of the required conditions of the SWF (except for IV) are inherited from the infinite version. What is left is to show that $F_{n}$ is still strongly non-Borda.

In the proof that the infinite $F$ was strongly non-Borda, we found a vector $\vec{\alpha}$ for which $g(\vec{\alpha})$ and $b(\vec{\alpha})$ had opposite signs. By the continuity of both $b$ and $g$ in $\vec{\alpha}$ we have an open ball $U$ on which this is true. Then for large enough $N$ we can find a volume $T$ contained in $U$ of the form

$$T=\vec{\rho}+\set{\vec{\lambda}}{\lambda_{t}\geq 0,\sum_{t}\lambda_{t}=4/N}$$ (3.viii)

where $\sum_{t}\rho_{t}=1-4/N$. Now for any $n\geq N$ we pick $\vec{\mu}$ such that $\rho_{t}\leq\mu_{t}\leq\rho_{t}+1/N$ and $n\mu_{t}\in\mathbbm{Z}$ for $t\neq-2$, and $\mu_{-2}=1-\sum_{t\neq-2}\mu_{t}$. Now $\mu_{-2}\geq 1-\sum_{t\neq-2}\rho_{t}-3/N$, so $\mu_{-2}-\rho_{-2}\geq 1/N>0$. Thus $\vec{\mu}>\vec{\rho}$, so $\vec{\lambda}=\vec{\mu}-\vec{\rho}$ has $\lambda_{t}\geq 0$. Additionally, $\sum_{t}\lambda_{t}=\sum_{t}\mu_{t}-\sum_{t}\rho_{t}=4/N$. Hence $\vec{\mu}=\vec{\rho}+\vec{\lambda}\in T$. Finally, for $t\neq-2$ we have $n\mu_{t}\in\mathbbm{Z}$, and $n\sum_{t}\mu_{t}=n$, so $n\mu_{-2}\in\mathbbm{Z}$. Therefore $n\vec{\mu}$ is in the domain of $f^{\prime}_{n}$.

By picking $e_{+}\in\tau^{-1}\circ\pi_{i,j}^{-1}(n\vec{\mu})$, we have found an election on $n$ voters (for all $n\geq N$) where the positive Borda rule gives a decisive result and $F_{n}$ gives the opposite result. But a symmetrical argument shows that on a different election $e_{-}$, $F_{n}$ gives the opposite result to the negative Borda rule. Finally, $F_{n}$ is not weakly Borda with respect to any weighted Borda rule by Lemma 2.25, and it is not the tie rule as $f^{\prime}_{n}(n\vec{\mu})$ is decisive. So for large enough $n$, $F_{n}$ is a finite strongly non-Borda election, as required.

For completeness we follow this through with an explicit construction. Let $X=2$ and let $n=31$. Then for the comparison between $c_{1}$ and $c_{2}$ set $\alpha_{2}=0$, $\alpha_{1}=19$, $\alpha_{-1}=4$ and $\alpha_{-2}=8$. The difference between the Borda scores of $c_{1}$ and $c_{2}$ is $b(\vec{\alpha})=19-4-2\cdot 8=-1<0$, so $c_{2}$ beats $c_{1}$ according to the Borda rule. However, the difference between their scores given by $F_{31}$ is $g((0,19/31,4/31,8/31))=(65-31\cdot 2)/31^{2}>0$, so $F_{31}$ ranks $c_{1}$ above $c_{2}$. Thus $F_{31}$ is not the positive unweighted Borda rule or the tie rule. But for $\alpha_{2}=31$, $\alpha_{i}=0$ for $i\neq 2$, we have $g(\vec{\alpha})>0$ and $b(\vec{\alpha})>0$, so $F_{31}$ is not the negative unweighted Borda rule either. Proceeding as in the general case above, we see that $F_{31}$ is strongly non-Borda as required. ∎

This completes our investigation into SWFs on the unrestricted domain with complete anonymity between voters; strongly non-Borda examples exist in both the finite and infinite cases due to pathological combinations of the sub-elections on the two Condorcet cycle domains.

4 Condorcet cycle domain and anonymity

In this section we prove that on a Condorcet cycle domain, the conditions A, N, MIIA and PR do indeed force the SWF to be the positive unweighted Borda or the tie rule. In the finite case, the PR condition is only needed to rule out the negative unweighted Borda rule. In the infinite case, measurability is sufficient to force $F$ to be an unweighted Borda rule, and PR guarantees that it is not negative, but without measurability there exist pathological counterexamples, even satisfying P. On the other hand, condition P is stronger in the finite cases and in the measurable case, ruling out everything except for the positive unweighted Borda rule.

In all of these cases, note that by conditions A, N and MIIA, and since the domain is a ballot domain, $F$ must correspond to a unique weight-based relative SWF $f^{\prime}:A^{\prime}\rightarrow\set{W,T,L}$. Now for all $i$, $A_{i,i+1}$ is the set of measurable functions from $V$ onto $\pi_{i,i+1}(\mathfrak{C})=\set{1,-2}$; and $A^{\prime}_{i,i+1}$ is the set of two-dimensional non-negative vectors $\vec{\alpha}=(\alpha_{1},\alpha_{-2})$ where $\alpha_{1}+\alpha_{-2}=1$ for $|V|$ infinite or $\alpha_{1}+\alpha_{-2}=n$ for $|V|=n$. On the other hand, $A^{\prime}_{i+1,i}=\varrho(A^{\prime}_{i,i+1})$, and $A^{\prime}=A^{\prime}_{i,i+1}\sqcup A^{\prime}_{i+1,i}$. Now since $\pi_{j,i}(F(e))=-\pi_{i,j}(F(e))$, we have $f(\pi_{j,i}(e))=-f(\pi_{i,j}(e))$, so the behaviour of $f^{\prime}$ on $A^{\prime}_{i,i+1}$ determines its behaviour on $A^{\prime}_{i+1,i}$ by $f^{\prime}=-f^{\prime}\circ\varrho$, and therefore on all of $A^{\prime}$. Therefore $F$ is uniquely determined by a function $g:I\rightarrow\set{W,T,L}$, where $I=[0,1]$ in the infinite case and $I=\set{0,\dots,n}$ in the case of $|V|=n$, by

$$f^{\prime}(\vec{\alpha})=g(\alpha_{-2})\quad\vec{\alpha}\in A^{\prime}_{i,i+1}$$ (4.i)

$$f^{\prime}(\vec{\alpha})=-g(\alpha_{2})\quad\vec{\alpha}\in A^{\prime}_{i+1,i}$$

In order to establish or disprove condition PRm we use the following lemma:

Lemma 4.1.

For any $V$, the SWF $F$ satisfies PRm if and only if $g$ is a non-increasing function.

Proof.

Suppose first that $g$ is increasing. Then suppose that $\vec{\alpha}^{+}$ and $\vec{\alpha}^{-}$ are two relative elections in $A^{\prime}_{i,i+1}$, where $\vec{\alpha}^{+}>\vec{\alpha}^{-}$. Then $\alpha^{+}_{-2}<\alpha^{-}_{-2}$. But $f^{\prime}(\vec{\alpha})=g(\alpha_{-2})$, and $g$ is non-increasing, so $f^{\prime}(\vec{\alpha}^{+})\geq f^{\prime}(\vec{\alpha}^{-})$ as required for condition PRm. On the other hand, for $\vec{\alpha}^{+}>\vec{\alpha}^{-}$ in $A^{\prime}_{i+1,i}$, we have $\varrho(\vec{\alpha}^{-})>\varrho(\vec{\alpha}^{+})$ in $A^{\prime}_{i,i+1}$, so as we have seen $f^{\prime}(\varrho(\vec{\alpha}^{-}))\geq f^{\prime}(\varrho(\vec{\alpha}^{+}))$, so $f^{\prime}(\vec{\alpha}^{-})\leq f^{\prime}(\vec{\alpha}^{+})$ as required. All of $A^{\prime}$ is made up of $A^{\prime}_{i,i+1}$ and $A^{\prime}_{i+1,i}$, so this completes the first direction of the lemma.

Now suppose $g$ is not non-increasing. Then there exists $i>j\in I$ such that $g(i)>g(j)$. Setting $n=|V|$ if $V$ is finite and $1$ otherwise, let $\vec{\alpha}^{-}=(n-i,i)$ and $\vec{\alpha}^{+}=(n-j,j)$. Then $f^{\prime}(\vec{\alpha}^{-})=g(i)>g(j)=f^{\prime}(\vec{\alpha}^{+})$ but $\vec{\alpha}_{-}<\vec{\alpha}_{+}$ so condition PRm does not hold. Thus PRm holds if and only if $g$ is non-increasing, as required. ∎

First we deal with the case of $|V|$ finite.

Theorem 4.2.

Any SWF on $V$ finite and $C=\set{c_{1},c_{2},c_{3}}$ satisfying CC, MIIA, A and N is an unweighted Borda rule. If P is also met, then the SWF must be the unweighted positive Borda rule. Alternatively, if PR is also met, then the SWF must be the unweighted positive Borda rule or the tie rule.

In order to prove this result and subsequent results across this paper and forthcoming papers, we will use the following critical lemma.

Lemma 4.3.

For $\ell\geq 0$ let $I=\set{0,1,\dots,\ell}$ and suppose $g:I\rightarrow\set{W,T,L}$. Moreover, let $m\in\mathbbm{Z}$ be such that $\ell\leq m\leq 2\ell$, and suppose that for all $i,j,k$ with $i+j+k=m$, the multiset $\set{g(i),g(j),g(k)}$ is consistent. Then $g$ is given by $g(i)=\varphi(\kappa(i-m/3))$ for some $\kappa\in\mathbbm{R}$.

Proof.

Suppose first that $m=3n$ for some integer $n$. Now $\ell/3\leq n\leq 2\ell/3$ so $n\in I$. The multiset $\set{g(n),g(n),g(n)}$ is consistent, but it has only one distinct element, so it must be $g(n)=T$.

On the other hand, for any $m$ we let $n_{-}=a_{0}$ be the largest integer less than $m/3$, and we let $n_{+}$ be the smallest integer greater than $m/3$. We let $g(n_{-})=X_{-}$. Now either $3\mid m$, in which case $n_{-}+1=m/3=n_{+}-1$, or $n_{+}-m/3=1/3$ or $m/3-n_{-}=1/3$. In the first case, we set $b^{\prime}_{0}=m/3$. In the second case, we note that by taking the triple $\set{g(n_{-}),g(n_{+}),g(n_{+})}$ we have $g(n_{+})=-X_{-}$; then we set $b^{\prime}_{0}=n_{-}$. In the third case we also set $b^{\prime}_{0}=n_{-}$.

We observe that if $g(i)=X$ for $a\leq i\leq b$ with $a,b\in\mathbbm{Z}$, and $g(i^{\prime})\in\set{X,T}$ for $a^{\prime}\leq i^{\prime}\leq b^{\prime}$ with $a^{\prime},b^{\prime}\in\mathbbm{Z}$, then $g(j)=-X$ for $m-b-b^{\prime}\leq j\leq m-a-a^{\prime}$. Indeed, given $j$, we take $i$ and $i^{\prime}$ such that $i+i^{\prime}=m-j$. This is possible as $i+i^{\prime}$ can range in value from $a+a^{\prime}$ to $b+b^{\prime}$. Then $g(i)=X$ and $g(i^{\prime})\in\set{X,T}$, and $i+i^{\prime}+j=m$ so $\set{g(i),g(i^{\prime}),g(j)}$ is consistent; this forces $g(j)=-X$.

Now we carry out the following induction. Suppose that for $a_{i}\leq t\leq n_{-}=a_{0}$ we have $g(t)=X_{-}$ and for $a_{i}\leq t\leq b^{\prime}_{0}$ we have $g(t)\in\set{X,T}$. (This holds for $i=0$ as a base case). Then applying the observation above, we find that $g(t)=-X_{-}$ for $m-n_{-}-b^{\prime}_{0}\leq t\leq m-2a_{i}$. In the case where $n_{+}-m/3=1/3$, we note that $m-n_{-}-b^{\prime}_{0}=m-2n_{-}=n_{+}+1$, but we know that $g(n_{+})=-X_{-}$, so $g(t)=-X_{-}$ for $n_{+}\leq t\leq m-2a_{i}$. In the other two cases we have $m-n_{-}-b^{\prime}_{0}=n_{+}$, so in all cases we can write $g(t)=-X_{-}$ for $n_{+}\leq t\leq m-2a_{i}$.

Now we reapply the observation to find that for $4a_{i}-m\leq t\leq m-2n_{+}$ we have $g(t)=X_{-}$. Now $m-2n_{+}\geq n_{-}-1$ in all three cases, so we can extend this to say that $g(t)=X_{-}$ for $4a_{i}-m\leq t\leq n_{-}$. Setting $a_{i+1}=4a_{i}-m$, we know that $a_{i}\leq a_{0}<m/3$, so $3a_{i}<m$ and $a_{i+1}=4a_{i}-m<a_{i}$. Therefore each step of the induction extends downwards the range of integers up to $n_{-}$ on which $g$ takes the value $X_{-}$. This terminates when $a_{j}<0$, in which case we find that for $0\leq t\leq n_{-}$, $g(t)=X_{-}$; then applying the observation one more time we find that for $n_{+}\leq t\leq m$ we have $g(t)=-X_{-}$.

Therefore $g$ is constant on all $i$ with $i<m/3$, and on all $j$ with $j>m/3$, and $g(n_{-})=-g(n_{+})$. Finally $g(m/3)=T$ if $3\mid m$, so $f$ is given by $\varphi$ as described. ∎

We now proceed to the proof of Theorem 4.2.

Proof of Theorem 4.2.

Suppose that $F$ is a SWF on $V$ with $|V|=n$ satisfying CC, MIIA, A and N. $F$ corresponds to a function $g:I\rightarrow\set{W,T,L}$ where $I=\set{0,1,\dots,n}$, such that $f^{\prime}$ is determined from $g$ by equation 4.i, and for all $c_{i}$ and $c_{j}$ we have $f^{\prime}\circ\pi_{i,j}\circ\tau=\pi_{i,j}\circ F$.

Now let $\ell=n$ and $m=n$. For $i,j,k$ with $i+j+k=m$, we can define $\vec{\varepsilon}\in E^{\prime}$ by $\varepsilon_{c_{1}c_{2}c_{3}}=i$, $\varepsilon_{c_{2}c_{3}c_{1}}=j$ and $\varepsilon_{c_{3}c_{1}c_{2}}=k$. Then

$$\pi_{1,2}(F(e)) =f(\pi_{1,2}(e))$$ (4.ii)

$$=f^{\prime}(\pi_{1,2}(\vec{\varepsilon}))$$

$$=f^{\prime}(i+k,j)=g(j)$$

Similarly $\pi_{2,3}(F(e))=g(k)$ and $\pi_{3,1}(F(e))=g(i)$. In order for $F$ to be a weak ordering, we require the multiset $\set{\pi_{1,2}(F(e)),\pi_{2,3}(F(e)),\pi_{3,1}(F(e))}=\set{g(i),g(j),g(k)}$ to be consistent. Therefore $g$ must satisfy the conditions of Lemma 4.3 and must be of the form $g(i)=\varphi(\kappa(i-n/3))$. This corresponds to $f^{\prime}$ defined by $f^{\prime}(\vec{\alpha})=\varphi(-\kappa(\alpha_{1}-2\alpha_{2}))$, and in turn the Borda rule $B_{w}$ with constant weight $w\equiv-\kappa$. Since $\pi_{i,i+1}(F(e))$ and $\pi_{i,i+1}(B_{w}(e))$ agree for all $i$ and $e$, and since $\pi_{i+1,i}$ is determined for both SWFs by $\pi_{i,i+1}$, we have that $B_{w}$ and $F$ agree for all $e$, so they are the same SWF. Therefore $F$ is an unweighted Borda rule, concluding the first part of the theorem.

If P is met, then we know that $g(n)=L$, so $\kappa<0$, so $w>0$ and the SWF is the positive Borda rule. However, both the positive rule and the tie rule satisfy PR. What is left is to demonstrate that the negative rule does not satisfy PR. Since $\mathfrak{C}$ is an increasing ballot, we check PRm instead.

Consider the vectors $\vec{\alpha}_{-}=(0,n)$ and $\vec{\alpha}_{+}=(n,0)$ in $A^{\prime}_{i,i+1}$. We have $\vec{\alpha}_{+}>\vec{\alpha}_{-}$, but if $F$ is the negative Borda rule then for some $\kappa>0$ we have $f^{\prime}(\vec{\alpha}_{-})=\varphi(2\kappa n/3)=W$, and $f^{\prime}(\vec{\alpha}_{+})=\varphi(-\kappa n/3)=L$. Therefore conditon PRm doesn’t hold, and so neither does PR. Therefore adding the PR condition rules out the negative case and leaves only the positive Borda rule or the zero-weighted Borda rule under which all results are three way ties. ∎

We use this result to establish the infinite version of the theorem under measurability assumptions.

Definition 4.4 (Measurability for anonymous SWFs).

An anonymous SWF $F=F^{\prime}\circ\tau$ is said to be measurable if $F^{\prime}$ is a measurable function from $\set{\vec{\varepsilon}\in\mathbbm{R}_{\geq 0}^{\mathfrak{R}}}{\sum_{r}\varepsilon_{r}=1}$, equipped with the Lebesgue measure, onto $\mathfrak{R}_{=}$ equipped with the discrete measure.

Theorem 4.5.

Any measurable SWF on $V$ infinite and $C=\set{c_{1},c_{2},c_{3}}$ satisfying CC, MIIA, A and N is an unweighted Borda rule.

We will use the following Lemma, which will also be used in subsequent papers:

Lemma 4.6.

Let $-a<0<b$ with $2a\geq b$ and $2b\geq a$, and let $f$ be a measurable function from $[-a,b]$ to $\set{W,T,L}$. Suppose that for any $x_{1},x_{2},x_{3}\in[-a,b]$ with $x_{1}+x_{2}+x_{3}=0$, the multiset $\set{f(x_{i})}_{i}$ is consistent. Then $f(x)=\varphi(\kappa x)$ for some real number $\kappa$.

Proof.

First note that setting $x_{i}=0$ for all $i$ gives that the multiset $\set{f(0),f(0),f(0)}$ is consistent, so $f(0)=T$.

Next we find the following discrete copies of the result sitting within $[-a,b]$:

Lemma 4.7.

For any $\delta>0$ there is some $X\in\set{W,T,L}$ such that for all $n\in\mathbbm{Z}$ with $0<n<\min(a,b)/\delta$, we have $f(n\delta)=X$ while $f(-n\delta)=-X$.

Proof.

Let $c=\min(a,b)$. Let $N=\lfloor c/\delta\rfloor$, let $\ell=2N$, $m=3N$ and let $I=\set{0,1,\dots,\ell}$. Now define $g:I\rightarrow\set{W,T,L}$ by $g(k)=f(\delta(k-N))$. Since $k-N$ ranges from $-N$ to $N$, it is always between $\pm c/\delta$, so $\delta(k-N)$ is between $-a$ and $b$ and $f(\delta(k-N))$ is defined. But for $i,j,k$ with $i+j+k=m$, we have $g(i)+g(j)+g(k)=f(\delta(i-N))+f(\delta(j-N))+f(\delta(k-N))$. Then since $\delta(i-N)+\delta(j-N)+\delta(k-N)=0$, we are given that $\set{g(i),g(j),g(k)}$ is consistent. Applying Lemma 4.3 gives that $g(i)=\varphi(\kappa(i-N))$ for some $\kappa$, so $f(n\delta)=\varphi(\kappa n)$, proving the Lemma. ∎

Consequently we find that for any $x,y\in[-c,c]$ with $x/y\in\mathbbm{Q}_{>0}$, $f(x)=f(y)$; indeed, $x/y=p/q$ with $p,q\in\mathbbm{Z}_{>0}$ and take $\delta=y/q=x/p$. Then $p$ and $q$ are both less than $c/\delta$, so $f(p\delta)=f(q\delta)$. In other words, restricting $f$ to $[-c,c]$, $f^{-1}(W)$, $f^{-1}(T)$ and $f^{-1}(L)$ are invariant under positive rational dilations around $0$. Moreover, by setting $\delta=x$, we find that $f(x)=-f(-x)$.

Now since $f$ is measurable we can consider $\mu_{X}=\mu(f^{-1}(X)\cap[0,c])$ for each $X\in W,T,L$; then $\mu_{W}+\mu_{T}+\mu_{L}=c$ so we can take some $X$ for which $\mu_{X}>0$. Therefore there exists some interval $(s,t)\subset[0,c]$ on which the density of $f^{-1}(X)$ is more than $3/4$ - that is, $\mu((s,t)\cap X)>3(t-s)/4$.

Now for any $x\in[0,c]$, we can find positive rational numbers $r$ arbitrarily close to $x/(s+t)$. We restrict ourselves to $r$ sufficiently close to guarantee $rs,rt\leq c$. Now $f^{-1}(X)$ has density more than $3/4$ on $[rs,rt]$, and we choose $r$ to be close enough to $x/(s+t)$ to ensure that it has density more than $1/2$ on $[rs,x-rs]$ as well (since $x-rs$ tends to $rt$ as $r$ approaches $x/(s+t)$).

Now $f^{-1}(X)\cap(x-f^{-1}(X))$ is the intersection of two sets of density more than $1/2$ on $[rs,x-rs]$, so it is non-empty and contains some value $y$. We have $f(y)=X$ and $f(x-y)=X$. Then the triple $y,x-y,-x$ sums to zero and falls within $[-a,b]$, so by assumption we have $\set{f(y),f(x-y),f(-x)}$ consistent, so $f(-x)=-X$ and $f(x)=X$. But this was true for all $x\in[0,c]$. Similarly $f(x)=-X$ for all $x\in[-c,0]$.

Finally, for any $y\in[-a,b]$, the triple $y,-y/2,-y/2$ sums to zero and falls within $[-a,b]$ (by the inequalities on $a$ and $b$), so $\set{f(y),f(-y/2),f(-y/2)}$ is consistent, and $f(y)=-f(-y/2)$. But $-y/2\in[-c,c]$ so $f(-y/2)$ is $X$ if $y<0$ and $-X$ if $y>0$; then $f(y)=-X$ if $y<0$ and $X$ if $y>0$, completing the Lemma. ∎

We are now ready to proceed to the proof of the measurable case.

Proof of Theorem 4.5.

As in the finite case, suppose that $F$ is a SWF on $V$ infinite satisfying CC, MIIA, A and N. $F$ corresponds to a function $g:I\rightarrow\set{W,T,L}$ where $I=[0,1]$, such that $f^{\prime}$ is determined from $g$ by equation 4.i, and for all $c_{i}$ and $c_{j}$ we have $f^{\prime}\circ\pi_{i,j}\circ\tau=\pi_{i,j}\circ F$. $F$ is measurable if and only if $g$ is measurable.

Also as in the finite case, for any $i,j,k\in[0,1]$ with $i+j+k=1$ we can set $\vec{\varepsilon}\in E^{\prime}$ by $\varepsilon_{c_{1}c_{2}c_{3}}=i$, $\varepsilon_{c_{2}c_{3}c_{1}}=j$ and $\varepsilon_{c_{3}c_{1}c_{2}}=k$. Then $\pi_{1,2}(F(e))=g(j)$, $\pi_{2,3}(F(e))=g(k)$ and $\pi_{3,1}(F(e))=g(i)$. In order for $F$ to be a weak ordering, we require the multiset $\set{\pi_{1,2}(F(e)),\pi_{2,3}(F(e)),\pi_{3,1}(F(e))}$ to be consistent. This means that $\set{g(i),g(j),g(k)}$ must be consistent.

We define $h(i)=g(i+1/3)$ for $i\in[-1/3,2/3]$. Then the conditions for Lemma 4.6 apply to $h$, so $h(x)=\varphi(\kappa x)$, or $g(i)=\varphi(\kappa(x-1/3))$, and $f^{\prime}(\vec{\alpha})=\varphi((-\kappa/3)\cdot(\alpha_{1}-2\alpha_{-2}))$, so $F$ is an unweighted Borda rule, as required. ∎

This immediately gives Maskin’s result:

Corollary 4.8 (Maskin).

Any SWF on $V$ and $C=\set{c_{1},c_{2},c_{3}}$ satisfying CC, MIIA, A, N and PR is the positive unweighted Borda rule or the tie rule.

Proof.

Lemma 4.1 means that condition PR guarantees that $g$ is non-increasing. Hence for all $g(\ell)=L,g(t)=T,g(w)=W$ we have $\ell<t<w$. Clearly $g^{-1}(L)$ is either empty or an interval, and the same goes for $g^{-1}(T)$ and $g^{-1}(W)$; so $g$ is measurable. Thus Theorem 4.5 guarantees that $F$ is an unweighted Borda rule. Since $g$ is non-increasing, we find that the rule must be the positive unweighted Borda rule or the tie rule, as in the proof of Theorem 4.2. ∎

Finally, without the measurability condition (or the stronger PR condition) we construct pathological counterexamples, including examples satisfying the Pareto condition.

Theorem 4.9.

Assuming the axiom of choice, there exists a strongly non-Borda SWF on $V$ infinite satisfying CC, MIIA, A, N and P.

The logic of the construction is to find a partition of $I$ into wins, ties and losses such that consistency is satisfied, but using unmeasurable sets to avoid the Borda rule. The proof of Lemma 4.6 demonstrated that these sets would be closed under addition and rational dilatons, so we use Zorn’s lemma to construct such sets.

Proof.

Consider the family of sets $W^{\prime}\subset\mathbb{R}^{*}$ satisfying the following conditions:

1. $1,-\sqrt{2}\in W^{\prime}$

2. If $t\in W^{\prime}$ then $qt\in W^{\prime}$ for all positive rational numbers $q$

3. If $s,t\in W^{\prime}$ then $s+t\in W^{\prime}$

This family forms a partially ordered set $P$ under the order relation of set inclusion. Note that $P$ is non-empty because $\set{q_{1}-q_{2}\sqrt{2}}{q_{1},q_{2}\in\mathbb{Q}_{\geq 0},q_{1}+q_{2}>0}$ is in $P$. Condition 1 is satisfied by $(q_{1},q_{2})=(1,0)$ and $(q_{1},q_{2})=(0,1)$. Conditions 2 and 3 are satisfied trivially.

Any non-empty chain $C\subset P$ has an upper bound which is the union $U$ over all of $C$. This is clearly a subset of $\mathbb{R}^{*}$, and it contains $1$ and $-\sqrt{2}$ from any of its members so it satisfies condition 1. Now if $t\in U$ then $t\in C_{t}$ for some $C_{t}\in C$, and then $qt\in C_{t}$ for all positive rational $q$, so $qt\in U$ and $U$ satisfies condition 2. Finally, if $s,t\in U$ then $s\in C_{s}$ and $t\in C_{t}$ and without loss of generality $C_{s}\subset C_{t}$, so $s,t\in C_{t}$ and $s+t\in C_{t}$, so $s+t\in U$, and $U$ satisfies condition 3.

Hence by (the non-empty formulation of) Zorn’s Lemma the set $P$ contains at least one maximal element, which we call $M$. We will show that $M\cup-M=\mathbb{R}^{*}$.

Suppose instead that some $s\in\mathbb{R}^{*}$ has $s\notin M\cup-M$. Now we construct

$$M^{\prime}=M\cup\bigcup_{q\in\mathbb{Q}_{>0}}qs+(M\cup\set{0})$$ (4.iii)

Firstly, $0\notin M^{\prime}$ because $0\notin M$ and if $0\in qs+(M\cup\set{0})$ for some $q$, then $-qs\in M\cup\set{0}$. Then $-qs\in M$ and $-s\in M$, so $s\in-M$ contradicting our definition of $s$. Hence $M^{\prime}\subset\mathbb{R}^{*}$.

Now clearly condition 1 is inherited from $M$.

Condition 2 is met because if $t\in M^{\prime}$ then either $t\in M$ in which case $qt\in M\subset M^{\prime}$, or $t=rs+m$ for $r$ positive rational and $m\in M\cup\set{0}$; then $qt=qrs+qm$. Now $qm\in M\cup\set{0}$ because either $m\in M$ in which case $qm\in M$ or $m=0$ in which case $q\cdot 0=0\in M\cup\set{0}$, and $qr$ is a positive rational, so $qt\in M^{\prime}$.

Finally, condition 3 holds because if $u,v\in M^{\prime}$ then either:

• $u,v\in M$ and so $u+v\in M\subset M^{\prime}$, or

• $u\in M$ and $v=qs+m$ for $m\in M\cup\set{0}$, in which case $u+m\in M$ and $u+v=qs+(u+v)\in M^{\prime}$, or the same with $u$ and $v$ reversed, or

• $u=q_{1}s+m_{1}$ and $v=q_{2}s+m_{2}$, so $u+v=(q_{1}+q_{2})s+(m_{1}+m_{2})$, and $m_{1}+m_{2}\in M\cup\set{0}$, so $u+v\in M^{\prime}$

So $M^{\prime}$ satisfies conditions 1, 2 and 3.

Thus $M^{\prime}\in P$, but $M^{\prime}$ is greater than $M$ in the partial order of set inclusion, contradicting the fact that $M$ is maximal; so in fact there was no such $s$, and it was the case that $M\cup-M=\mathbbm{R}^{*}$.

Now we define $g:[0,1]\rightarrow\set{W,T,L}$. We set $g(1/3)=T$, for $x-1/3\in M$ we set $g(x)=L$, and otherwise we set $g(x)=W$. Defining $f^{\prime}$ from $g$ via equation 4.i, we then get a SWF $F$ if $f^{\prime}$ meets the conditions set out in Lemma 2.22.

Condition 1 in the Lemma is met by definition, because the value of $f$ on $a\in A_{i+1,i}$ is defined by $f(-a)=-f(a)$. So what is left is to check condition 2.

Consider the election vector $\vec{\varepsilon}=(\varepsilon_{c_{1}c_{2}c_{3}},\varepsilon_{c_{2}c_{3}c_{1}},\varepsilon_{c_{3}c_{1}c_{2}})$, which we will call $(\varepsilon_{1},\varepsilon_{2},\varepsilon_{3})$ for brevity. Then

$$\pi_{1,2}(\vec{\varepsilon}) =(\varepsilon_{1}+\varepsilon_{3},\varepsilon_{2})$$ (4.iv)

$$\pi_{2,3}(\vec{\varepsilon}) =(\varepsilon_{1}+\varepsilon_{2},\varepsilon_{3})$$

$$\pi_{1,2}(\vec{\varepsilon}) =(\varepsilon_{2}+\varepsilon_{3},\varepsilon_{1})$$

Thus $f^{\prime}(\pi_{1,2}(\vec{\varepsilon}))=g(\varepsilon_{2})$, and so on for other indices, so it remains to show that for $\varepsilon_{1}+\varepsilon_{2}+\varepsilon_{3}=1$ all non-negative, we have that $\set{g(\varepsilon_{i})}_{i}$ is consistent.

First, if any $\varepsilon_{i}=1/3$, then $g(\varepsilon_{i})=T$. Now there are three cases:

1. If $\varepsilon_{i+1}=1/3$ then $\varepsilon_{i-1}=1/3$ and the multiset is $\set{T,T,T}$, which is consistent.

2. If $\varepsilon_{i+1}\neq 1/3$ and $\varepsilon_{i+1}-1/3\in M$ then $g(\varepsilon_{i+1})=L$. Meanwhile $\varepsilon_{i-1}\neq 1/3$, and if $\varepsilon_{i-1}-1/3\in M$ then by additivity we have $(\varepsilon_{i+1}-1/3)+(\varepsilon_{i-1}-1/3)=0\in M$, a contradiction. Thus $g(\varepsilon_{i-1})=W$. Thus the multiset is $\set{W,T,L}$, which is consistent.

3. If $\varepsilon_{i+1}\neq 1/3$ and $\varepsilon_{i+1}-1/3\notin M$ then $g(\varepsilon_{i+1})=W$. Now since $M\cup-M=\mathbbm{R}^{*}$, we have $\varepsilon_{i-1}-1/3=-(\varepsilon_{i+1}-1/3)\in M$. Then $g(\varepsilon_{i-1})=L$. Thus the multiset is $\set{W,T,L}$, which is consistent.

Suppose instead that $\varepsilon_{i}\neq 1/3$ for all $i$. Then $g(\varepsilon_{i})=L$ or $g(\varepsilon_{i})=W$ for all $i$. The only two inconsistent possibilities for $\set{g(\varepsilon_{i})}_{i}$ are $\set{W,W,W}$ and $\set{L,L,L}$.

Suppose that the multiset is $\set{L,L,L}$. Then $\varepsilon_{i}-1/3\in M$ for all $i$. But by additivity, this means that $\sum_{i}(\varepsilon_{i}-1/3)=0\in M$, a contradiction.

Now suppose that the multiset is $\set{W,W,W}$. Then $\varepsilon_{i}-1/3\notin M$ so $1/3-\varepsilon_{i}\in M$ for all $i$; so again by additivity we find that $0\in M$, a contradiction.

So instead we find that $\set{g(\varepsilon_{i})}_{i}$ is consistent, so $F$ is a valid SWF, defined on the Condorcet Cycle domain, and satisfying A, N and MIIA as required. Finally we need to check that $F$ satisfies condition P, and that it is strongly non-Borda.

Suppose that $c_{i}$ is ranked above $c_{i+1}$ by all voters. Then $\pi_{i,i+1}(e(v))>0$. But $\pi_{i,i+1}(\mathfrak{R})=\set{1,-2}$, so this requires $\pi_{i,i+1}(e)\equiv 1$, or $\vec{\alpha}$ defined by $\alpha_{1}=1$. Then $f^{\prime}(\vec{\alpha})=g(\alpha_{-2})=g(0)$. But since $1\in M$, if we had $-1/3\in M$ then by additivity we would have $0\in M$, a contradiction; so $-1/3\notin M$ and we get $g(0)=W$. Thus $f^{\prime}(\vec{\alpha})=W$, as required by condition P.

On the other hand, if $c_{i+1}$ is ranked above $c_{i}$ by all voters, then $\pi_{i,i+1}(e(v))<0$ for all $v\in V$. This is corresponds to a $\vec{\alpha}$ defined by $\alpha_{-2}=1$. Then $f^{\prime}(\vec{\alpha})=g(\alpha_{-2})=g(1)$. Now $1\in M$ so $2/3\in M$ by condition 2, and so $g(1)=L$. Thus $f^{\prime}(\vec{\alpha})=L$, and by the definition of $f^{\prime}$ on $A^{\prime}_{i+1,i}$ we get that $f^{\prime}(\pi_{i+1,i}(\vec{\varepsilon}))=W$, as required. Therefore the Pareto condition holds.

Finally, note that $F$ is strongly non-Borda. We have seen that $g(1)=L$ and we also know that $g(\sqrt{2}/4+1/3)=W$, because $\sqrt{2}/4\notin M$ (or else, by additivity, $-\sqrt{2}+4\cdot\sqrt{2}/4=0\in M$). Correspondingly, we find that on $A^{\prime}_{i,i+1}$, we have $f^{\prime}((0,1))=L$ and $f^{\prime}((2/3-\sqrt{2}/4,\sqrt{2}/4+1/3))=W$. But for an unweighted Borda rule with weight $w$, the difference between the Borda scores of candidates $c_{i}$ and $c_{i+1}$ in these cases are $-2w$ and $-3w\sqrt{2}/4$ respectively; and since these have the same sign, $\pi_{i,i+1}\circ B_{w}$ must give the same ranking in both cases. The only way that this could happen while $F$ agrees with $B_{w}$ except as a tiebreaker would be if $w=0$; but by definition we do not call a SWF weakly Borda with respect to the tie rule. Finally, $F$ is not the tie rule since any $t\in[0,1]$ with $t\neq 1/3$ has $g(t)\neq T$; so for $\vec{\alpha}\in A^{\prime}_{i,i+1}$ other than $(2/3,1/3)$ we have $f^{\prime}(\vec{\alpha})\neq T$.

Now by Lemma 2.25, since $F$ must obey condition A, if $F$ were weakly Borda with respect to some weighted Borda rule $B_{w}$, it would also be weakly Borda with respect to an unweighted Borda rule. This has been ruled out, so in fact $F$ is strongly non-Borda. ∎

Note that we cannot hope to find such an $F$ without resorting to choice (or some axiom stronger than dependent choice) because the Solovay model solovay of set theory has dependent choice, but every set of the real numbers is measurable. On the other hand, Tao tao has constructed non-measurable sets using the existence of non-principal ultrafilters on $\mathbb{N}$, which is not implied by the axiom of dependent choice but is weaker than the full axiom of choice. Whether these non-measurable sets could be controlled to give closure under addition, as we require here, is an interesting question beyond the scope of this paper.

5 Acknowledgements

I am grateful to Eric Maskin for a helpful conversation, and for his valuable comments on the proof of Theorem 3.1.