Abstract
We provide novel representations of strategy-proof voting rules applicable when voters have uni-dimensional single-peaked preferences. In particular, we introduce a ‘grading curve’ representation which is particularly useful when introducing variable electorates. Our analysis recovers, links and unifies existing results in the literature, and provides new characterizations when strategy-proofness is combined with other desirable properties such as ordinality, participation, consistency, and proportionality. Finally, the new representations are used to compute the strategy-proof methods that maximize the ex-ante social welfare for the \(L_2\)-norm and a uniform prior. The resulting strategy-proof welfare maximizer is the linear median (or ‘uniform median’), that we also characterize as the unique proportional strategy-proof voting rule.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In mechanism design, strategy-proofness (SP) is a desirable property. It implies that whatever agents’ beliefs are about others’ behavior or information, their best strategy is to sincerely submit their privately-known types, even when their beliefs are wrong or mutually inconsistent. Consequently, strategy-proofness guarantees to the designer that she has implemented the intended choice function, i.e. that the final decision is indeed linked in the intended way to the agents’ true types. Of course, depending on the context, there are other desirable properties that one would like to satisfy, such as unanimity, voter sovereignty, efficiency, anonymity, neutrality, proportionality, and with variable electorate, consistency and participation.
When side payments are possible and utilities are quasi-linear, anonymous and efficient strategy-proof mechanisms can be designed (the well-known Vickrey–Clarke–Groves mechanisms). By contrast, in contexts of ‘pure’ social choice (‘voting’), the Gibbard–Satterthwaite [2, 3] Theorem shows that only dictatorial rules can be sovereign (‘onto’) and strategy-proof on an unrestricted domain of preferences. In particular, no onto voting rule can be anonymous and strategy-proof without restrictions on individual preferences.
To overcome the impossibility, several domain restrictions have been investigated. One of the most popular is one-dimensional single-peakedness. Under this restriction, the path-breaking paper by Moulin [4] showed that there is a large class of onto, anonymous and strategy-proof rules. All of them can be derived by simply adding some fixed ballots (called ‘phantom’ votes) to the agents’ ballots and electing the median alternative of the total. Moulin’s paper inspired a large literature that obtained related characterizations for other particular domains or proved impossibility results (see Jordan [5] and Barberà, Gul and Stacchetti [6], Nehring and Puppe [7] or Freeman et al. [8]).
1.1 Our contribution
In contrast to Moulin’s elegant and simple phantom voter characterization in the anonymous case, the more general characterizations in terms of winning coalitions (called ‘generalized median voter schemes’ in [6], and ‘voting by issues’ in [7]), as well as Moulin’s own ‘inf-sup’ characterization in the appendix of his classic paper are complex.Footnote 1 A basic objective of our paper is to provide simpler alternative representations that apply also to the non-anonymous case.
First, one of our representations is a natural extension of Moulin’s idea: the selected outcome is the median of voters’ peaks after the addition of new peaks computed from suitable phantom functions. Another representation has a compact functional form which we refer to as a grading curve in the anonymous case. This is important as it allows a family of voting rules with variable-sized electorate to be described using one single function. This function may be interpreted as the density of the phantoms in Moulin’s median formula.
Secondly, the new representations have additional merits. They can be used to connect the phantom characterization with the ‘voting by issues’ one, and to provide new characterizations of and insights into special cases. For instance, we show that the case of uniformly distributed phantom voters [9] corresponds to a linear grading curve which in turn is fully characterized by one particular additional axiom: proportionality. We also show that this uniform (\(=\) linear) median is the social utility maximizing strategy-proof voting rule when the utilitarian welfare is measured using the \(L_2\)-distance to the voters’ peaks.
Thirdly and finally, in the variable electorate environment, the curve representation allows us to tightly characterize all anonymous strategy-proof voting rules that are consistent in the sense of Smith [10] and Young [11]: these are exactly those whose grading curve is independent of the size of the electorate.
1.2 Further related literature
A link between Moulin’s [4] inf-sup characterization and his phantom median voter characterization in the anonymous case has been provided by Weymark [12] who showed how to derive the phantom median voter representation from the inf-sup one. Our paper shows that both results can be derived from our new characterization in terms of phantom functions, which also implies the one in terms of ‘winning coalitions’ in [6] and [7].
The rest of the paper is organized as follows. Section 2 describes the model. Section 3 introduces our central phantom functions characterization that is used to reprove all the known representations of strategy-proof voting rules as well as several new representations. Section 4 considers additional properties, such as voter sovereignty and efficiency, strict responsiveness and ordinality, and anonymity. Variable electorate axioms such as consistency and participation (e.g. absence of the no-show paradox) are considered in Sect. 5 where a complete characterization of consistent and/or participant methods is established in the anonymous and the non-anonymous cases.Footnote 2 Section 6 computes the welfare-maximizing voting rule under the strategy-proofness constraint. Section 7 concludes. The Appendix contains missing proofs and additional results.
2 Strategy-proofness and its consequences
The voting problem we are considering can be described by the following elements. First, there is an ordered set of alternatives \(\Lambda \) (for example, political candidates on a left-right spectrum, a set of grades such as “Great, Good, Average, Poor, Terrible” or a set of locations on the line). Second, there is a finite set of voters \(N=\{1,\ldots ,n\}\), with a typical element \(\vec {r}\) of \(\Lambda ^N\) being called a voting profile. A voting rule \(\varphi \) maps each profile in \(\Lambda ^N\) to an element in \(\Lambda \).
The interpretation is: each voter \(i\in N\) has a single peaked preference over the linearly ordered set \(\Lambda \) (see Definition 1 below). He submits his peak (or a strategically chosen ballot) \(r_i \in \Lambda \) to the designer who then computes \(\varphi (r_1,..,r_n)=\varphi (\vec {r})\) and implements (or elects) the computed alternative.
Without loss, we will assume \(\Lambda \subseteq \textbf{R}\) and use the notations \(\mu ^-:= \text{ inf } \Lambda \), \(\mu ^+:= \text{ sup } \Lambda \) and \(\overline{\Lambda } = \Lambda \cup \{\mu ^-,\mu ^+\}\). In Moulin’s [4] paper, \(\Lambda =\textbf{R}\), \(\mu ^-=-\infty \) and \(\mu ^+=+\infty \). In Barberà, Gul and Stacchetti’s [6] paper, \(\Lambda \) is finite.
Definition 1
The (complete) preference order of voter i over the alternatives in \(\Lambda \) is single peaked if there is a unique alternative \(x \in \Lambda \) such that for any \(y, z \in \Lambda \), if y is between x and z, then voter i prefers x to y and y to z. The alternative x is called the peak of the preference order. It is voter i’s favorite alternative.
This means that the utility function of each voter is strictly increasing from \(\mu ^-\) to his peak and then strictly decreasing from the peak to \(\mu ^+\). We wish the voting rule to satisfy some desirable axioms. The main focus is strategy-proofness (SP). Sections 4 and 5 will explore combinations with other axioms.
Axiom 1
(Strategy-Proofness: SP) A voting rule \(\varphi \) is strategy-proof if for every voting profile \(\vec {r}\) and voter \(i\in N\), if \(\vec {s}\) differs from \(\vec {r}\) only in dimension i, then:
Remark 1
The formulation of SP in Axiom 1 is usually called uncompromisingness [5, 13]. It needs to be explained why it is analogous to the usual definition. The argument is as follows. If \(r_i<\varphi (\vec {r})\) and \(\varphi (\vec {s})<\varphi (\vec {r})\) (where \(\vec {s}\) differs from \(\vec {r}\) only in dimension i) then it is possible to create a single-peaked preference \(P^{r_i}\) at \(r_i\) such that \(\varphi (\vec {s})\) is strictly preferred to \(\varphi (\vec {r})\) by \(P^{r_i}\). Hence, a voter with this preference, by reporting the peak \(s_i\) instead of \(r_i\), improves his utility, contradicting strategy-proofness. A similar conclusion is obtained for the other cases.
Some useful consequences of strategy-proofness follow.
Definition 2
A voting rule \(\varphi : \Lambda ^{N} \rightarrow \Lambda \) is weakly responsive if for all voters i, and for all \(\vec {r}\) and \(\vec {s}\) that only differ in dimension i, if \(r_i < s_i\) then \(\varphi (\vec {r}) \le \varphi (\vec {s})\).
Weak responsiveness is sometimes called weak monotonicity.
Lemma 1
If a voting rule \(\varphi : \Lambda ^N \rightarrow \Lambda \) is strategy-proof, then it is weakly responsive.
Proof
Suppose \(\vec {r}\) and \(\vec {s}\) only differ in i with \(r_i < s_i\). If \(r_i < \varphi (\vec {r})\) or \(s_i > \varphi (\vec {s})\), then by strategy-proofness \(\varphi (\vec {r}) \le \varphi (\vec {s})\). Otherwise, \(\varphi (\vec {r}) \le r_i < s_i \le \varphi (\vec {s})\). \(\square \)
Lemma 2
If a voting rule \(\varphi : \Lambda ^N \rightarrow \Lambda \) is strategy-proof, then it is uniformly continuous.
Proof
Suppose that there is \(\vec {r}\) and \(\vec {s}\) that differ only in dimension i such that \(r_i < s_i\). First we show that \( \varphi (\vec {s}) - \varphi (\vec {r}) \le s_i - r_i\). If \(s_i < \varphi (\vec {s})\) or \(r_i > \varphi (\vec {r})\), then strategy-proofness gives \(\varphi (\vec {s}) = \varphi (\vec {r})\). Otherwise, \(r_i \le \varphi (\vec {r}) \le \varphi (\vec {s}) \le s_i\). In either case, \(\varphi (\vec {s}) - \varphi (\vec {r}) \le s_i - r_i\). Now let us use this property to show that \(\varphi \) is uniformly continuous. Let \(\epsilon >0\) be given. For any \(\vec {r}\) and \(\vec {s}\) with \(\vert r_i - s_i \vert \le \frac{\epsilon }{n}\) for all i, we have:
\(\square \)
Lemma 3
(Continuous Extension) If a voting rule \(\varphi : \Lambda ^N \rightarrow \Lambda \) is strategy-proof, then it has a unique continuous extension in \(\overline{\Lambda }^N \rightarrow \overline{\Lambda }\). (Proof: See appendix A.)
It is therefore natural to ask what are the SP voting rules in \(\overline{\Lambda }^N \rightarrow \overline{\Lambda }\) that are not continuous extensions of voting rules in \(\Lambda ^N \rightarrow \Lambda \).
Lemma 4
A SP voting rule in \(\overline{\Lambda }^N \rightarrow \overline{\Lambda }\) is not a continuous extension of a voting rule in \(\Lambda ^N \rightarrow \Lambda \) iff it is constant valued with a value not in \(\Lambda \).
Proof
\(\Rightarrow :\) Suppose that \(\varphi : \overline{\Lambda }^N \rightarrow \overline{\Lambda }\) is not an extension of a function from \(\Lambda ^N \rightarrow \Lambda \). Therefore, there is a voting profile \(\vec {r} \in \Lambda ^N\) such that \(\varphi (\vec {r}) \not \in \Lambda \). Let \(\varphi (\vec {r}) = \mu ^-\) (resp. \(\mu ^+\)). By strategy-proofness, for all \(\vec {s} \in \overline{\Lambda }^N\), \(\varphi (\vec {s}) = \mu ^-\) (resp. \(\mu ^+\)). Therefore, \(\varphi \) is a constant (equal to \(\mu ^-\) or to \(\mu ^+\)) and its value is not in \(\Lambda \). \(\Leftarrow :\) Immediate. \(\square \)
From Lemma 3, if we discard the SP voting rules that are constant values not in \(\Lambda \), we obtain all the SP methods from \(\Lambda \) to itself. Consequently, from now on, we will consider w.l.o.g. that \(\overline{\Lambda } = \Lambda \) (and so the voters are allowed to submit to the designer the extreme alternatives \(\mu ^-\) and \(\mu ^+\)).
3 Characterizations of SP voting rules
In this section we start by establishing two new mathematically convenient characterizations of SP voting rules. In the subsequent sections, the second is used to derive all the known characterizations as well as several new ones.
We denote by \(\Gamma := \{\mu ^-,\mu ^+\}^N\) the set of voting profiles where all voters have extreme positions (they submit an extreme alternative). We define \(\vec {\mu }^-:= (\mu ^-,\ldots ,\mu ^-)\), and \(\vec {\mu }^+:= (\mu ^+,\ldots ,\mu ^+)\). For \(X=(X_1,\ldots ,X_n)\) and \(Y=(Y_1,\ldots ,Y_n)\) in \(\Gamma \) we say that \(X\le Y\) if for every voter \(i\in N\), \(X_i \le Y_i\).
3.1 Phantom function characterizations
In this subsection we will introduce the concept of phantom functions and two new characterizations of SP voting rules, the second being a direct consequence of the first. We show in the next sections that the second characterization implies not only all the known characterizations (the two by Moulin and the one by Barberà, Gul Stacchetti) but also several new representations.
Definition 3
(Phantom function) A function \(\alpha : \Gamma \rightarrow \Lambda \) is called a phantom function if \(\alpha \) is weakly increasing (\(X \le Y \implies \alpha (X) \le \alpha (Y)\)). We will use the shorthand \(\alpha _X:= \alpha (X)\).
It is immediate that each SP voting rule \(\varphi \) is associated with a unique phantom function \(\alpha _{\varphi }\) defined as:
That is, \(\alpha _{\varphi }\) provides the outcome of \(\varphi \) when all voters vote at the extremes. Observe that \(\alpha _{\varphi }\) is necessarily weakly increasing because \(\varphi \) is SP and so is weakly responsive (by Lemma 1). Conversely, the next theorem proves that each phantom function \(\alpha \) is associated with a unique SP voting rule \(\varphi _{\alpha }\). This is because strategy-proofness implies that we can always let voters vote at the extremes without changing the outcome. To state precisely our result, we denote by \(\theta \) a function which transforms voters’ votes to the extreme alternatives.
Definition 4
(The \(\theta \) function)Footnote 3
Such that \(\forall i;~X_i = \mu ^- \Leftrightarrow r_i < x\) and \(\forall i;~X_i = \mu ^+ \Leftrightarrow r_i \ge x\).
Hence, \(\theta \) at x transforms each voter i whose submitted input \(r_i\) is strictly below (resp. weakly above) x to the extreme value \( \mu ^-\) (resp. \(\mu ^+\)). The next theorem shows that there is a one to one correspondence between SP rules and phantom functions, and provides a formula that relates them, thanks to the \(\theta \) function. We note that \(\theta \) is weakly decreasing with respect to x.
Theorem 1
(Phantom function characterization 1) The voting function \(\varphi \) is strategy-proof iff there exists a phantom function \(\alpha : \Gamma \rightarrow \Lambda \) such that:
And that phantom function is necessarily unique.
Proof
The proof is quite long and so is delegated to Appendix B. \(\square \)
The interpretation of Theorem 1 is simple. The first and second cases correspond to the fact that for any voting profile, \(\vec {r}\), where \(\varphi (\vec {r})\) is not equal to any of the input votes, \(\varphi (\vec {r})\) must equal the output after raising (to \(\mu ^+\)) all votes greater than \(\varphi (\vec {r})\) (and lowering the rest to \(\mu ^-\)). The final case comes from the fact that for a voting profile, \(\vec {r}\), where \(\varphi (\vec {r})\) does equal one of the input votes, \(\varphi (\vec {r})\) must be (weakly) between the output for the two extreme profiles generated by raising the votes that are (respectively) strictly greater and weakly greater than \(\varphi (\vec {r})\) (and lowering the rest). As will be seen, Theorem 1 implies—easily—the next characterization which implies all the subsequent ones. The next theorem provides a more elegant and compact characterization without the use of the \(\theta \) function. For \(X = (X_1, \ldots , X_n) \in \Gamma \), we denote \(\mu ^-(X)\) (resp. \(\mu ^+(X)\)) the set of voters \(i \in N\) such that \(X_i = \mu ^-\) (resp. \(X_i= \mu ^+\)).
Theorem 2
(Phantom function characterization 2) The voting function \(\varphi \) is strategy-proof iff there exists a phantom function \(\alpha : \Gamma \rightarrow \Lambda \) (the same as the one in Theorem 1) such that:
Proof
Suppose there is a phantom function \(\alpha \) such that \(\varphi \) satisfies Eq. 3. Let \(\mu \) be defined as in Theorem 1. Let us now compare the two.
-
If \(\varphi (\vec {r})\) is equal to one of the inputs, \(r_i\): Then for X defined by \(\mu ^+(X) = \{j: r_i < r_j\}\) and Y defined by \(\mu ^-(Y) = \{j: r_i > r_j \}\), Eq. 3 gives \(\alpha _X \le r_i \le \alpha _Y\). We also have \(Y = \theta (\vec {r},r_i)\) and \(X = \lim _{\epsilon \rightarrow 0^+} \theta (\vec {r},r_i + \epsilon )\). Therefore \(\mu (\vec {r}) = r_i\).
-
If \(\varphi (\vec {r})\) is not equal to any inputs: The first case of Eq. 3 holds and we must have \(\varphi (\vec {r})=\alpha _X\) with \(\mu ^+(X) \subseteq \{ j: \alpha _X \le r_j \}\) and \(\mu ^-(X) \subseteq \{ j: \alpha _X \ge r_j \}\). Since \(\alpha _X\) is not equal to any inputs, \(\mu ^+(X) = \{ j: \alpha _X < r_j \}\).
If \(\mu ^+(X) = \emptyset \) then \(X=\vec {\mu }^-\) and \(\mu (\vec {r})= \alpha _{\vec {\mu }^-}\).
Otherwise, there exists \(r_i\) such that \(r_i = \min \{r_j: r_j \ge \alpha _X\}\). Since \(\alpha _X\) is not equal to any inputs, \(\{j: r_j \ge r_i\} = \{j: r_j > \alpha _X\} = \mu ^+(X)\), so \(\theta (\vec {r}, r_i)=X\). It follows that \(r_i = \min \{r_j: r_j \ge \alpha _{\theta (\vec {r}, r_i)}\}\) and \(\mu (\vec {r}) = \alpha _X\).
It follows that \(\mu =\varphi \). \(\square \)
The intuition behind the characterization of Theorem 2 is simple. By strategy-proofness, when a voter’s ballot is strictly smaller than the societal outcome then, it can be replaced by the minimal ballot \(\mu ^-\) without changing the final outcome. Symmetrically, if it is strictly larger than the final outcome, it can be replaced by \(\mu ^+\) without changing the outcome. As such, if the outcome is not one of the ballots, then it must be \(\alpha _X\) where \(\mu ^+(X)\) is the set of voters whose ballots are greater than the outcome. On the other hand, if the outcome is one of the ballots then by weak responsiveness it is in between \(\alpha _X\) and \(\alpha _Y\) where \(\mu ^+(X)\) is the set of voters whose ballots are strictly higher than the outcome and \(\mu ^-(Y)\) is the set of voters whose ballots are strictly smaller than the outcome.
Remark 2
It is not possible to have both set inclusions in case 1 holding as equalities if the outcome is one of the peaks, for that would require that anyone whose peak is the outcome would have both \(\mu ^-\) and \(\mu ^+\) associated with it, which is impossible.
3.2 MaxMin characterizations
In his appendix, Moulin [4] proved the following MaxMin characterization of strategy-proof voting rules.
Theorem 3
(Moulin’s MaxMin Characterization) A voting rule \(\varphi \) is strategy-proof iff for each subset \(S \subseteq N\) (including the empty set), there is a value \(\beta _S \in \Lambda \) such that:
Remark 3
Moulin observed in his proof (the appendix in [4]) that without loss, \(S \rightarrow \beta _S\) can be taken to be weakly increasing. With this selection, the \(\beta \) in his theorem coincides with the \(\alpha \) in Theorem 2 as proved now.
Theorem 4
(MaxMin Characterization 2) A function \(\varphi \) is strategy-proof iff there exists a phantom function \(\alpha \) (the same as the one in Theorems 1 and 2) that verifies:
.
Proof
Let \(\varphi \) be a strategy-proof voting rule defined by a phantom function \(\alpha \) as in Theorem 2. Let \(\mu : \Lambda ^{N} \rightarrow \Lambda \) be defined as in the theorem statement:
Since \(\varphi \) is the unique SP voting rule defined by \(\alpha \) we only need to prove that \(\varphi = \mu \). Fix \(\vec {r} \in \Lambda ^n\). Let \(x = \mu (\vec {r})\) and \(Z\in \Gamma \) be such that \(x = \min {(\alpha _Z, \min _{i\in \mu ^+(Z)}\{r_i\})}\). (Equivalently, \(\mu ^+(Z) \subseteq \{j:r_j \ge x\}\) and \(\{j:r_j < x\} \subseteq \mu ^-(Z)\).)
-
If \(x = r_i\) for some i: Set Y such that \(\mu ^-(Y)=\{j:r_j < r_i\}\). Then \(\mu ^-(Y) \subseteq \mu ^-(Z)\), so \(\alpha _Y \ge \alpha _Z \ge r_i\). Set X such that \(\mu ^+(X)=\{j:r_j > r_i\}\). The maximum in the definition of \(\mu (\vec {r})\) applies to X, so \(\min (\alpha _X, \inf _{j\in \mu ^+(X)}\{r_j\}) \le r_i\). But \(r_j > r_i\) for all \(j\in \mu ^+(X)\), which forces \(\alpha _X \le r_i\). This verifies that \(\alpha _X \le r_i \le \alpha _Y\), so by the definition of \(\varphi \), \(\varphi (\vec {r}) = r_i = x\).
-
If \(x \ne r_i\) for any i: Set X such that \(\mu ^+(X) = \{j:r_j \ge x\} = \{j:r_j > x\}\). We have \(\mu ^+(Z) \subseteq \mu ^+(X)\) so \(\alpha _X \ge \alpha _Z \ge x\). The maximum in the definition of \(\mu (\vec {r})\) applies to X, so \(\min (\alpha _X, \inf _{j\in \mu ^+(X)}\{r_j\}) \le x.\) But \(r_j > x\) for \(j\in \mu ^+(X)\) which forces \(\alpha _X \le x\). It follows that \(\alpha _X = x\). By construction, \(X\in \Gamma \) verifies \(\mu ^+(X)\subseteq \{j:\alpha _X\le r_j\}\wedge \mu ^-(X)\subseteq \{j:\alpha _X\ge r_j\}\). By the definition of \(\varphi \), we therefore have \(\varphi (\vec {r}) = \alpha _X = x\).
Therefore, \(\varphi = \mu \). \(\square \)
3.3 Median characterizations
The most popular of Moulin’s representation (Theorem 5) assumes anonymity.
Axiom 2
(Anonymity) A voting rule \(\phi \) is anonymous if for any permutation \(\sigma \) of voters and for all voting profiles \(\vec {r}\):
Anonymity states that all voters must be treated equally.
Theorem 5
(Moulin’s Median-Characterization. Anonymous Case) A voting rule \(\varphi \) is strategy-proof and anonymous iff there is a set of \(n+1\) values \(\alpha _0,\ldots ,\alpha _{n}\) in \(\Lambda \) (called phantom voters by Moulin) such that:
where med denotes the median operator.Footnote 4
The two characterizations of Moulin look quite different: median in the anonymous case (Theorem 5) and maxmin in the general case (Theorem 3). Their proofs are separated in his article. In order to link the two we need to be able to choose \(n+1\) phantom voters among the \(2^N\) outputs of our phantom functions. The next theorem explains how they can be chosen. For all \(k=0,\ldots ,n\) and \(\vec {r}= (r_1,\ldots ,r_n)\), let \(X_k(\vec {r}) \in \Gamma \) be defined in such a way that \(\mu ^+(X_k(\vec {r}))\) is equal to the set of voters that provides the k largest peaks.Footnote 5 For \(k=0\), we let \(X_0(\vec {r})=\vec {\mu }^-=(\mu ^-,\ldots ,\mu ^-).\)
Theorem 6
(Median Characterization. General Case) A voting rule \(\varphi \) is strategy-proof iff there exists a phantom function \(\alpha \) (the same as in Theorem 2) such that:
Proof
This is a direct consequence of Theorem 2. See Appendix C.1. \(\square \)
Remark 4
This characterization implies easily Moulin’s median characterization in Theorem 5 (thanks to Proposition 1 below). Hence, we have unified the proofs of the Moulin’s characterizations. Weymark [12] unified the two, using a different approach.
Proposition 1
A strategy-proof voting rule \(\varphi : \Lambda ^{N} \rightarrow \Lambda \) is anonymous iff its phantom function \(\alpha \) is anonymous.
Proof
\(\Rightarrow :\) It is immediate from equation (1) that if \(\varphi \) is anonymous then so is \(\alpha \).
\(\Leftarrow :\) For any permutation \(\sigma \), let \(\vec {s}=(s_1,\ldots ,s_n) = (r_{\sigma (1)},\ldots ,r_{\sigma (n)})\) be the permutation \(\sigma \) of the peaks. For all k we have that \(X_k(\vec {r})\) and \(X_k(\vec {s})\) both have k values \(\mu ^+\) and \(n-k\) values \(\mu ^-\). Therefore since \(\alpha \) is anonymous, we have \(\alpha (X_k(\vec {r})) = \alpha (X_k(\vec {s}))\). Thus, using the median representation (Theorem 6):
\(\square \)
3.4 Curve characterizations
This section establishes two novel characterizations of SP methods.
Theorem 7
(Curve Characterization. General Case) A voting rule \(\varphi \) is strategy-proof iff there exists a phantom function \(\alpha \) (the same as the one in Theorem 2) such that:
Proof
This is another direct consequence of Theorem 2. Let \(\varphi \) be a strategy-proof voting rule defined by a phantom function \(\alpha \). And let \(\mu \) be defined as
Since \(\varphi \) is the unique strategy-proof voting rule defined by \(\alpha \) we only need to prove that \(\varphi = \mu \). First notice that \(y \rightarrow \alpha _{\theta (\vec {r},y)}\) is weakly decreasing.
-
Case \(\varphi (\vec {r}) = \alpha _X\): By the characterization of \(\varphi \), we have \(\mu ^+(X) \subseteq \{j:\alpha _X \le r_j\}\) and \(\mu ^-(X) \subseteq \{j: \alpha _X \ge r_j\}\). The former implies that \(\alpha _X \le \alpha _{\theta (\vec {r}, \alpha _X)}\). The latter implies that \(\{j: \alpha _X < r_j\} \subseteq \mu ^+(X)\). For \(\epsilon > 0\), we have:
$$\begin{aligned} \{j: \alpha _X + \epsilon \le r_j\} \subseteq \{j: \alpha _X < r_j\} \subseteq \mu ^+(X) \end{aligned}$$and \(\alpha _{\theta (\vec {r}, \alpha _X + \epsilon )} \le \alpha _X < \alpha _X + \epsilon \). Therefore \(\{y \in \Lambda : \alpha _{\theta (\vec {r},y)}\ge y\}\) must contain \(\alpha _X\) and not \(\alpha _X + \epsilon \). It follows that \(\mu (\vec {r}) = \alpha _X\).
-
Case \(\varphi (\vec {r}) = r_i\): Let X and Y be such that \(\alpha _X \le r_i \le \alpha _Y\) and \(\mu ^+(X) = \{ j: r_i < r_j \} \wedge \mu ^-(Y) = \{ j: r_i > r_j \}\). For any \(\epsilon > 0\) we have: \(\alpha _{\theta (\vec {r},r_i + \epsilon )} \le \alpha _X \le r_i \le \alpha _Y = \alpha _{\theta (\vec {r},r_i)}.\) Therefore \(\alpha _{\theta (\vec {r},r_i + \epsilon )} \le r_i < r_i + \epsilon \) and \(r_i \le \alpha _{\theta (\vec {r},r_i)}\). Thus \(\{y \in \Lambda : \alpha _{\theta (\vec {r},y)} \ge y\}\) must contain \(r_i\) and not \(r_i + \epsilon \). As such \(\mu (\vec {r}) = r_i\).
Therefore \(\mu = \varphi \). \(\square \)
Remark 5
The curve characterization will be useful in the proof and/or characterization of participation (Sect. 5.1), consistency (Sects. 5.2 and 5.3), proportionality (Sect. 5.4), and social welfare maximization (Sect. 6).
In the anonymous case, the curve characterization is simplified as follows.
Theorem 8
(Grading Curve Representation. Anonymous Case) A strategy-proof voting rule \(\varphi : \Lambda ^{N} \rightarrow \Lambda \) is anonymous iff there exists a weakly increasing function \(g^n: [0,1] \rightarrow \Lambda \) such that:
Where n is the cardinality of N.
Proof
\(\Rightarrow :\) By Proposition 1, \(\alpha \) is anonymous, so for each i there is \(\alpha _i\) with \(\alpha _X =\alpha _i\) for all \(X\in \Gamma \) with \(\#\mu ^+(X)=i\). Therefore we can choose \(g^n\) weakly increasing with \(g^n(\frac{i}{n}) =\alpha _i\). \(\Leftarrow :\) Suppose \(\forall X, \alpha _X =g^n\left( \frac{\#\mu ^+(X)}{n}\right) \). It follows that if \(X'\) is a permutation of X, then \(\#\mu ^+(X) = \#\mu ^+(X')\) and \(\alpha _X =\alpha _{X'}\). \(\square \)
Theorem 9
(Grading Curve Characterization. Anonymous Case)Footnote 6 A voting rule \(\varphi : \Lambda ^n \rightarrow \Lambda \) is strategy-proof and anonymous iff there is a weakly increasing function \(g^n:[0,1] \rightarrow \Lambda \) such that:
The \(g^n\) function is called the grading curve associated to \(\varphi \).
Proof
A direct consequence of Theorems 7 and 8. \(\square \)
The \(g^n\) function has the very intuitive interpretation as the density of the phantom voters. In fact, the median representation in Theorem 5 needs the specification of \(n+1\) values, and those values change completely with the size n of the electorate. By contrast, under the grading curve representation, the same function g can describe a family of mechanisms for all n simultaneously. For example, the linear function \(g(x)=\frac{x}{R}\) corresponds to the phantoms uniformly distributed across the interval [0, R], for all jury size n (see Sect. 5).
3.5 Voting by issues characterizations
The ‘voting by issues’ representation established by Barberà, Gul and Stacchetti [6] appears less practical than the other formulations, but it has the great power of being extendable to multi-dimensional and generalized single-peaked domains (see Nehring and Puppe [7, 15]). In this section, we state the original result and then refine it using our new tools.
Axiom 3
(Voter Sovereignty) A voting rule \(\phi \) is voter sovereign if for all \(x \in \Lambda \) there is a preference profile \(\vec {r}\) such that: \(\phi (\vec {r}) = x\).
This means that all alternatives can potentially be selected as the outcome. Section 4.1 characterizes voter sovereignty in terms of phantom functions. A voting by issues consists of a property space \((\Omega ,{\mathcal {H}})\) where \(\Omega \) is a set of alternatives and \({\mathcal {H}}\) is a set of subsets of \(\Omega \) called properties. Each property H comes together with its complementary property \(H^c:= \Omega \setminus H\); the pair \((H,H^c)\) is called an issue. Each voter i provides a ballot \(r_i \in \Omega \). Each issue \((H,H^c)\) is then resolved separably as a binary election. If \(r_i \in H\) then we say that voter i votes for issue H or that his ballot verifies issue H. And if \(r_i \not \in H\) then we say that he voted against H, i.e. he voted for \(H^c\). If an issue is elected then the result of the vote will be one of the elements of the issue. As such, the result of the election is an intersection of elements of \({\mathcal {H}}\). A coalition is a subset of voters. A coalition \(W \subseteq N\) is said to be winning for \(H\in {\mathcal {H}}\), if when all voters in W voted for H, H is elected. Let \(W_H\) be the set of winning coalitions for H. The following result is due to [6]; our present formulation follows [7].
Theorem 10
(Voting by Issues Characterization) Let \(\Lambda \) be finite. A voting rule \(\varphi :\Lambda ^{N} \rightarrow \Lambda \) is strategy-proof and voter-sovereign iff it is voting by issues satisfying, for all \(G, H \in N, G \subseteq H \Rightarrow {\mathcal {W}}_G \subseteq {\mathcal {W}}_H\).
This result was proved with \(\Lambda \) finite, assuming voter-sovereignty. In the next characterization we explicitly define the winning coalitions in terms of the phantom functions without assuming voter sovereignty nor that \(\Lambda \) is finite.
Theorem 11
(Explicit Voting by Issues Characterization) A voting rule \(\varphi \) is strategy-proof iff it is voting by issues on the property space \((\Lambda ,{\mathcal {H}})\) where \({\mathcal {H}}\) consists of all properties of the form \(\{x\in \Lambda :x\le a\}\), \(\{x\in \Lambda :x\ge a\}\), and their complements, and such that, for all \(a\in \Lambda \):
-
\(\mu ^+(X)\) is a winning coalition for \(H=\{y \in \Lambda : y \ge a\}\) if and only if \(\alpha _X \ge a\);
-
\(\mu ^-(X)\) is a winning coalition for \(H=\{y \in \Lambda : y \le a\}\) if and only if \(\alpha _{X} \le a\).
The phantom function \(\alpha \) is the one associated to \(\varphi \), as in Theorem 2.
Proof
Let \(\varphi \) be a strategy-proof voting rule defined by a phantom function \(\alpha \) as in Theorem 2. Let \(\mu \) be the vote by issue given in Theorem 11. Since \(\varphi \) is the unique strategy-proof voting rule defined by \(\alpha \) we only need to prove that \(\varphi = \mu \).
-
Case \(\varphi (\vec {r}) = \alpha _X:\) For \(a = \alpha _X\) we have \(\mu ^+(X) \subseteq \{ j: r_j \ge a\}\) is a winning coalition for \(\{ y \ge a\}\) and \(\mu ^-(X) \subseteq \{j: r_j \le a\}\) is a winning coalition for \(\{ y \le a\}\). Therefore \(\mu (\vec {r}) = a\).
-
Case \(\varphi (\vec {r}) = r_i:\) Let \(X, Y \in \Gamma \) be the same voting profiles as found in Theorem 2. For \(a = r_i\) we have \(\alpha _Y \ge a\) therefore \(\mu ^+(Y) \subseteq \{j: r_j \ge a\} \) is a winning coalition for \(\{ y \ge a\}\) and \(\alpha _X \le a\) therefore \(\mu ^-(X) \subseteq \{ j: r_j \le a\}\) is a winning coalition for \(\{ y \le a\}\). Therefore \(\mu (\vec {r}) = a\).
We have shown that \(\varphi = \mu .\) \(\square \)
4 Additional properties: fixed electorate
The phantom function and the different representations (in particular the curve representation) will be very helpful in understanding the effects of imposing more axioms on the voting rule. This is the subject of this and the next section.
4.1 Voter sovereignty and efficiency
In some applications, it makes little sense to vote for an alternative that is never a possible output. Therefore, one may wish the voting rule to be voter-sovereign: for all \(x \in \Lambda \) there is a profile \(\vec {r}\) s.t. \(\varphi (\vec {r}) = x\) (see Axiom 3).
Proposition 2
A strategy-proof voting rule \(\varphi : \Lambda ^{N} \rightarrow \Lambda \) is voter-sovereign iff its phantom function \(\alpha \) satisfies \(\alpha _{\vec {\mu }^-} = \mu ^-\) and \(\alpha _{\vec {\mu }^+} = \mu ^+\). In that case, \(\varphi \) is unanimous (\(\varphi (a,\ldots ,a) = a\) for all \(a\in \Lambda \)).
Proof
\(\Rightarrow \) If \(\alpha _{\vec {\mu }^-} > \mu ^-\) (resp. \(\alpha _{\vec {\mu }^+} < \mu ^+\)), by Theorem 1, \(\varphi (\vec {\mu }^-) = \alpha _{\vec {\mu }^-}\). Let x be any value such that \(x < \alpha _{\vec {\mu }^-}\). By weak responsiveness (Lemma 1), we have \( \forall \vec {r}, \varphi (\vec {r}) \ge \alpha _{\vec {\mu }^-} > x\). As such, \(\varphi \) is not voter-sovereign since x cannot be reached.
\(\Leftarrow \) Suppose that \(\alpha _{\vec {\mu }^-} = \mu ^-\) and \(\alpha _{\vec {\mu }^+} = \mu ^+\). Then according to Theorem 6, \(\varphi (a,\ldots ,a) = a\) for all \(a\in \Lambda \). As such it is voter-sovereign. \(\square \)
Axiom 4
(Pareto Optimality) A voting rule is Pareto optimal if no other alternative leads to an improved satisfaction for some voter without loss for all voters.
Proposition 3
If a voting rule \(\varphi : \Lambda ^{N} \rightarrow \Lambda \) is voter-sovereign and strategy-proof then it is efficient (the selected alternative is Pareto optimal).
This result was proved in Weymark [12]. Here is an alternative proof.
Proof
Suppose that \(\varphi \) is strategy-proof and voter-sovereign. Let us use the curve characterization (Theorem 7): \(\varphi (\vec {r}):= \text{ sup } \{y: \alpha _{\theta (\vec {r},y)} \ge y \}\). Then for \(y = \min \{r_j\}\), we have \(\theta (\vec {r},y)=\vec {\mu }^+\) and \(\alpha _{\theta (\vec {r},y)} = \mu ^+ \ge y\). Therefore \(\varphi (\vec {r}) \ge \min \{r_j\}\). Similarly, for \(y = \max \{r_j\} + \epsilon \), where \(\epsilon >0\), we have \(\theta (\vec {r},y)=\vec {\mu }^-\) and \(\alpha _{\theta (\vec {r},y)} = \mu ^- < y\). Therefore \(\varphi (\vec {r}) \le \max \{r_j\}\).
We have shown that \(\min \{r_j\} = r_k \le \varphi (\vec {r}) \le r_l = \max \{r_j\}\). As such for \(x \in \Lambda \) if \(x < \varphi (\vec {r})\) (resp. \(x > \varphi (\vec {r})\)) then voter l (resp. k) has a worse outcome in x than in \(\vec {r}\) according to peak \(r_l\) (resp. \(r_k\)). It follows that no voting profile can obtain a result that is better for at least one voter without being worse for another. \(\square \)
4.2 Strict responsiveness and ordinality
Axiom 5
(Strict Responsiveness) A voting rule \(\varphi : \Lambda ^{N} \rightarrow \Lambda \) is strictly responsive if for any \(\vec {r}\) and \(\vec {s}\) such that for all j, \(r_j < s_j\) we have \(\varphi (\vec {r}) < \varphi (\vec {s})\).
Strict responsiveness is sometimes called strict monotonicity.
Axiom 6
(Ordinality) A voting rule \(\varphi :\Lambda ^{N} \rightarrow \Lambda \) is ordinal if for all strictly responsive and surjective functions \(\pi :\Lambda \rightarrow \Lambda \) we have:
Remark 6
Ordinality says nothing when \(\Lambda \) is finite. In this case, the identity is the only strictly responsive and surjective function from \(\Lambda \) to itself.
Proposition 4
For a strategy-proof voting rule \(\varphi : \Lambda ^{N} \rightarrow \Lambda \) the following are equivalent:
-
(1)
The phantom function \(\alpha \) verifies \(\alpha (\Gamma ) = \{\mu ^-,\mu ^+\}\)
-
(2)
\(\varphi \) is strictly responsive.
And when moreover \(\Lambda \) is rich,Footnote 7 (1) and (2) are equivalent to:
-
(3)
\(\varphi \) is ordinal and not constant. (Proof: See appendix D.1.)
In the anonymous case, using Moulin’s median representation in the proof above, we deduce that the ordinal / strictly monotonic strategy-proof voting rules are the order functions, where for \(k=1,\ldots ,n\), the kth-order function is the SP-rule which associates to any input \(\vec {r}=(r_1,\ldots ,r_n)\in \Lambda ^n\) the kth-highest value \(r_{(k)}\), where \(r_{(1)}\ge ... \ge r_{(k)}\ge ...\ge r_{(n)}\) (See [16], Chapters 10 and 11).
5 Additional properties: variable electorate
We wish to consider situations where casting a vote or not is a choice. As such we need to make a distinction between the electorate \({\mathcal {E}}\) (that is potentially infinite) and the set of voters \(N \subseteq {\mathcal {E}}\) (which will be assumed finite). Henceforth, we define a voter as someone who chooses to cast a ballot and an elector as someone who can cast a ballot. Similarly a ballot is cast by a voter while a vote is the response of an elector. A vote that is not a ballot is represented by the symbol \(\emptyset \) (interpreted as abstention). As such we represent the set of votes as an element of \(\Lambda ^* = \{ \vec {r} \in (\Lambda \cup \emptyset )^{\mathcal {E}}: \# r_i \ne \emptyset < + \infty \}\). Since we seek for strategy-proof methods, it may also be of interest to ensure that no elector can benefit from not casting a ballot (the absence of the no-show paradox or participation [17]). Another desirable property is consistency. It states that when we obtain the same outcome for the voting profiles of two disjoint group of voters (with fixed ballots) then that outcome is also the outcome of the union of their voting profiles. First, we need to extend our definitions and concepts to the variable electorate context.
Definition 5
(Voting function) A voting function \(\varphi ^*: \Lambda ^* \rightarrow \Lambda \) is a function such that for any finite set of electors N there is a voting rule \(\varphi _N: \Lambda ^N \rightarrow \Lambda \) such that \(\varphi _N\) is the restriction of \(\varphi ^*\) to the set of voters N.
Intuitively once our set of voters is fixed then we are considering a voting rule and we can use our previous results. Furthermore in the general case the voting rules are independent even if they use very similar (but not identical) set of voters. As such we start by determining what our set of voters is and then we use the corresponding voting rule. This is coherent with the non-anonymous setting where the result of the election strongly depends on who casts a ballot.
Definition 6
(Redefining concepts for variable electorate) A voting function \(\varphi ^*\) verifies one of the previously mentioned properties (strategy-proofness, continuity, voter sovereignty, strict responsiveness, anonymity) if for all sets of voters N the restriction of \(\varphi ^*\) to N verifies the property.
As with voting rules, we would like to define a phantom function that completely characterizes the strategy-proof voting functions. We will then be able to characterize participation (e.g. no no-show paradox) and consistency by using the phantom functions.
Let \(\Gamma ^*:= \{\mu ^-,\mu ^+,\emptyset \}^*\) be the set of voting profiles where voters have extreme positions or can abstain. (Recall that the set of voters is always finite). As before we wish for a phantom \(\alpha : \Gamma ^* \rightarrow \Lambda \) such that:
The bijection over each set of voters gives us the bijection between a strategy-proof voting function and its associated phantom function. The definition of a phantom function therefore corresponds to all functions that are phantom functions for each voting rule corresponding to a restriction of the voting function to a fixed set of voters.
Definition 7
(Phantom functions extended to variable electorate) A function \(\alpha : \Gamma ^* \rightarrow \Lambda \) is a phantom function if \(\alpha \) verifies for any X and Y that differ only in dimension i with \(X_i = \mu ^-\) and \(Y_i = \mu ^+\) we have \(\alpha _X \le \alpha _Y\).
Definition 8
(The \(\theta \) function extended to variable electorate)
Such that \(\forall i;~X_i = \mu ^- \Leftrightarrow r_i < x\) and \(\forall i;~X_i = \mu ^+ \Leftrightarrow r_i \ge x\). It follows that \(X_i = \emptyset \) means that the elector i did not vote (\(r_i = \emptyset \)).
5.1 Participation (or no no-show paradox)
Axiom 7
(Participation) A voting function \(\varphi ^*: \Lambda ^* \rightarrow \Lambda \) is said to verify participation if for all \(\vec {r}\) where \(r_i \ne \emptyset \) and \(\vec {s}\) that only differs from \(\vec {r}\) in dimension i with \(s_i = \emptyset \) we have:
Participation is a natural extension of strategy-proofness. “Strategy-proofness + participation” is equivalent to no matter what the elector does, no strategy gives a strictly better outcome than a honest ballot.
Theorem 12
(Participation and Phantom Functions) A strategy-proof voting rule \(\varphi ^*: \Lambda ^* \rightarrow \Lambda \) verifies participation iff with the order \(\mu ^-< \emptyset < \mu ^+\), its associated phantom function \(\alpha \) is weakly increasing. (Proof: See appendix D.2.)
Strategy-proofness requires phantom functions to be weakly increasing. Hence, there is no surprise that “strategy-proofness + participation” implies that the phantom functions are weakly increasing for the order \(\mu ^-<\emptyset < \mu ^+\). Also, it is of no surprise that in the voting by issues approach, participation means monotonicity with respect to the addition of a new member.Footnote 8
Proposition 5
(Participation and Winning Coalitions) In a vote by issue, a strategy-proof voting function verifies participation iff when an elector i decides to become a voter with ballot x then for any property H containing x, if \(W_H\) was a winning coalition of H for the initial set of voters then \(W_H \cup \{i\}\) is a winning coalition for the new set of voters. (Proof: See appendix D.3.)
5.2 Consistency
To define consistency, we introduce the function \(\sqcup : \Lambda ^* \times \Lambda ^* \rightarrow \Lambda ^*\) that takes the ballots of two disjoint sets of voters and returns the union of the ballots.
Axiom 8
(Consistency) A voting function \(\varphi ^*\) is said to be consistent if for any two disjoint sets of voters R and S, when \(\vec {r}\) represents the ballots of R and \(\vec {s}\) represents the ballots of S, we have:
Theorem 13
A strategy-proof voting function \(\varphi ^*: \Lambda ^* \rightarrow \Lambda \) verifies consistency iff for all \(X, Y \in \Gamma ^*\) with disjoint sets of voters and \(\alpha _X \le \alpha _Y\) we have:
Proof
\(\Rightarrow :\) By reductio ad absurdum. Let us suppose \(\alpha _{X \sqcup Y} < \alpha _{X} \le \alpha _Y\). Let us define \(\vec {s}\) as: if \(Y_j = \mu ^-\) then \( s_j = \mu ^-\) and if \(Y_j = \mu ^+ \) then \( s_j = \alpha _X\). Therefore \(\varphi ^*(X) = \alpha _X\), \(\varphi ^*(\vec {s}) = \alpha _X\) and \(\varphi ^*(\vec {X \sqcup s}) = \alpha _{X \sqcup Y}\). This contradicts consistency. A similar proof shows that we cannot have \(\alpha _X \le \alpha _Y < \alpha _{X \sqcup Y}\).
\(\Leftarrow :\) Suppose that for all \(X, Y \in \Gamma ^*\) that correspond to two disjoint sets of voters \(N_1\) and \(N_2\) such that \(\alpha _X \le \alpha _Y\) we have \(\alpha _X \le \alpha _{X \sqcup Y}\le \alpha _Y.\)
If \(\varphi ^*(\vec {r}) = \varphi ^*(\vec {s})=a\) then:
-
If \(a=r_i=s_k\): then for all \(\epsilon > 0\) we have \(\alpha _{\theta (\vec {r} \sqcup \vec {s},r_i+\epsilon )} \le \max (\alpha _{\theta (\vec {r},r_i+\epsilon )},\alpha _{\theta (\vec {s},r_i+\epsilon )}) \le r_i\) and \(r_i \le \min (\alpha _{\theta (\vec {r},r_i)},\alpha _{\theta (\vec {s},r_i)}) \le \alpha _{\theta (\vec {r} \sqcup \vec {s},r_i)}.\) For \(\epsilon \) small enough \(\mu ^+(\theta (\vec {r}\sqcup \vec {s},r_i+\epsilon ))=\{j \in N_1: r_j> r_i \} \cup \{j \in N_2: s_j > r_i\}\). Therefore \(\varphi (\vec {r} \sqcup \vec {s}) = a\). Consistency is verified.
-
If \(a=r_i=\alpha _{X}\) where \(X =\vec {s}\), then for all \(\epsilon >0\): we have \(\alpha _{\theta (\vec {r},r_i+\epsilon )} \le \alpha _{\theta (\vec {r} \sqcup X,r_i+\epsilon )} \le \alpha _{X}=r_i\) and \(r_i =\alpha _X \le \alpha _{\theta (\vec {r} \sqcup X,r_i)} \le \alpha _{\theta (\vec {r},r_i)}.\) For \(\epsilon \) small enough \(\mu ^+(\theta (\vec {r}\sqcup X,r_i+\epsilon ))=\{j \in N_1: r_j> r_i \} \cup \{j \in N_2: s_j > r_i\}\). Therefore \(\varphi (\vec {r} \sqcup \vec {s}) = a\). Consistency is verified.
-
If \(a=\alpha _{X}=\alpha _{Y}\) where the voters of \(X=\vec {r}\) and the voters of \(Y=\vec {s}\), we have \(\alpha _{X \sqcup Y} = \alpha _X = \alpha _Y.\) Therefore \(\varphi (\vec {r} \sqcup \vec {s}) = a\). Consistency is verified.
\(\square \)
Notice that the set of winning coalitions in a voting by issue context is defined for each fixed set of voters, but there is no consistency imposed a priori when the set of voters changes. When consistency is imposed, in addition to SP, some monotonicity over the set of winning coalitions is obtained.
Proposition 6
(Consistent Voting Coalitions) In a vote by issues, a strategy-proof voting function verifies consistency iff for any \(a\in \Lambda \) if X and Y \( \in \Gamma ^*\) have disjoint sets of voters:
-
When \(\mu ^+(X)\) and \(\mu ^+(Y)\) are winning coalitions for \(H =\{y \ge a \}\) then \(\mu ^+(X) \cup \mu ^+(Y)\) is a winning coalition for H.
-
When \(\mu ^-(X)\) and \(\mu ^-(Y)\) are winning coalitions for \(H =\{y \le a \}\) then \(\mu ^-(X) \cup \mu ^-(Y)\) is a winning coalition for H.
Proof
\(\Rightarrow :\) Suppose that our strategy-proof voting verifies \(\alpha _X \le \alpha _{X \sqcup Y} \le \alpha _Y\) for all X and Y that correspond to disjoint sets of voters. A simple inequality consideration for any a gives the result. \(\Leftarrow :\) Suppose \(\alpha _X \le \alpha _Y\). \(\mu ^+(X)\) and \(\mu ^+(Y)\) are winning coalitions for \(\{ y \ge \alpha _X\}\) therefore \(\alpha _{X \sqcup Y} \ge \alpha _X\). Conversely \(\mu ^-(X)\) and \(\mu ^-(Y)\) are winning coalitions for \(\{ y \le \alpha _X\}\) therefore \(\alpha _{X \sqcup Y} \le \alpha _Y\). Therefore we verify participation. \(\square \)
Proposition 7
A strategy-proof voting function \(\varphi ^*: \Lambda ^* \rightarrow \Lambda \) that verifies voter sovereignty and consistency also verifies participation.
Proof
Let \(X \in \Gamma ^*\) and \(Y \in \Gamma ^*\) be the voting profile where only i is a voter and where he votes respectively \(\mu ^-\) and \(\mu ^+\). By voter sovereignty, \(\alpha _X =\mu ^-\) and \(\alpha _Y =\mu ^+\). By consistency, for any \(Z \in \Gamma ^*\) where i is not a voter:
\(\square \)
5.3 Combining consistency and anonymity
In this section we show that consistency in the anonymous case is equivalent to removing the dependency of the grading curves on the number of voters n.
Axiom 9
(Homogeneity) A voting profile is homogeneous if for any two profiles \(\vec {r}\) and \(\vec {s}\) such that there exists \(k\ge 1\) that verifies:
we have
Hence, a voting function is homogeneous if for any \(k \ge 1\) when each ballot is replaced by k copies of that ballot the result of the function does not change.
Proposition 8
A SP function is consistent and anonymous iff it is homogeneous.
Proof
\(\Rightarrow :\) Immediate due to the fact that \(\alpha _X\) only depends on the fraction \(\frac{\# \mu ^+(X)}{\# \mu ^-(X)+\# \mu ^+(X)}\). \(\Leftarrow :\) Suppose that we have a homogenous strategy-proof voting function. By definition this implies anonymity. For any X and Y, we can duplicate in order to have \(X'\), \(Y'\) and \((X \sqcup Y)'\) with the same number of voters in each and \(\alpha _Z = \alpha _{Z'}\) for \(Z \in \{X,Y,X \sqcup Y\}\). By barycentric considerations:
Therefore by definition of a phantom function \(\alpha _X \le \alpha _{X \sqcup Y} \le \alpha _Y\). \(\square \)
Theorem 14
A SP voting function \(\varphi ^*=(\varphi ^n): \Lambda ^* \rightarrow \Lambda \) is anonymous and consistent iff there is a weakly increasing function \(g:[0,1] \rightarrow \Lambda \) (electorate size independent) and a constant \(x \in \Lambda \) such that the associated phantom function \(\alpha \) on \( \Gamma ^*\) is defined as:
Furthermore \(\varphi ^*\) verifies participation iff \(x \in g([0,1])\). (Proof: See appendix D.4.)
This is an elegant new result. It says that consistency and anonymity are equivalent to the grading curve being independent of the electorate size.
Axiom 10
(Continuity with Respect to New Members) [10, 11]. A voting function \(\varphi ^*\) is said to be continuous with respect to new members if:
Not surprisingly, but elegantly, continuity with respect to new members is equivalent to continuity of the grading curve:
Theorem 15
(Continuous Grading Curves) A strategy-proof, homogeneous (\(=\) consistent and anonymous) voting function \(\varphi ^*: \Lambda ^* \rightarrow \Lambda \) is continuous with respect to new members iff its grading curve g is continuous. (Proof: See appendix D.5.)
5.4 Proportionality
In this subsection we assume that \(\Lambda =[0,1]\).
Definition 9
(Linear=Uniform Median) The strategy-proof voting function \(\varphi ^*: [0,1]^* \rightarrow [0,1]\) defined for any \(n = \# N\) and \(X \in \{0,1\}^{N}\), by \(\alpha (X) = \frac{\sum _i X_i}{n}\) is called the linear median. It corresponds to the grading curve \(g(x)=x\).
The linear median was first proposed and studied in the unpublished Ph.D. dissertation [14] of our co-author A. Jennings. It was rediscovered independently by Caragiannis et al. [9] for its nice statistical properties under the name ‘uniform median.’ These authors use a different representation based on the Moulin phantom characterization. Namely, if there are n voters and \(\Lambda =[0,1]\) then the linear median can be computed via the Moulin median formula:
where \(\alpha _k=\frac{k}{n}, \forall k=0,\ldots ,n\), that is, the Moulin \(n+1\) phantom voters are uniformly distributed on the interval [0, 1]. It is not evident from the median representation why this ‘uniform median’ function satisfies participation, consistency, or continuity. But these properties are immediate consequences of the linear grading curve \(g(x)=x\) representation since it is continuous and independent of the size of the electorate. We thus obtain:
Proposition 9
The linear median satisfies anonymity, continuity, consistency, sovereignty, participation and continuity with respect to new members. On the other hand, it is neither ordinal nor strictly responsive.
The proof is trivial from previous subsections as g is independent on the electorate size, is continuous, is voter sovereign, etc.
Axiom 11
(Proportionality) A voting function \(\varphi ^*: [0,1]^* \rightarrow [0,1]\) is proportional if
Theorem 16
A voting function \(\varphi ^*: [0,1]^* \rightarrow [0,1]\) is strategy-proof and proportional iff it is the linear median.
This a direct consequence of the fact that a SP function is completely determined by its phantom function as proved in Theorem 2.
6 Maximizing social welfare
Social welfare is often taken to be the sum of individual utilities. This section deals with the maximization of social welfare under the strategy-proofness constraint. We will measure the individual utilities by the \(L_q\)-distance to the peaks and our objective is to compute the SP socially optimal mechanism for \(q\in \{1,2\}\). (In this section we assume that \(\Lambda =[m,M]\).)
Definition 10
(Ex-Post Social Welfare) The ex-post social welfare for a given voting rule \(\varphi :[m,M]^n \rightarrow [m,M]\) and a given norm \(L_q\) is defined to be:
It is well-known that, if the number of voters is odd, the unique voting rule which maximizes ex-post social welfare for the \(L_1\) norm is the median. If the number of voters is even, the voting rule must be the median of the votes along with one fixed phantom vote, \(\alpha \). (See for instance [16], Section 12.4.) On the other hand, it is trivial to establish that the unique voting rule that always maximizes the \(L_2\) ex-post social welfare is the arithmetic mean: \(\phi (r_1,\ldots ,r_n)=\frac{1}{n}\sum _i^n r_i\)—which is clearly not a SP voting rule. Since no fixed SP voting rule is ex-post optimal for the \(L_2\)-norm for every realization \(\vec {r}\), we can optimize ex-ante.
Theorem 17
The linear median, corresponding to \(g(x) = m + x(M-m)\) is the unique voting rule that minimizes
over the set of all strategy-proof voting rules f. (Proof: See appendix E.)
7 Conclusion
We introduced the notions of phantom functions and grading curves and demonstrated their usefulness in (i) unifying a number of existing characterizations of strategy-proof voting rules on the domain of single-peaked preferences, and (ii) obtaining insightful new characterizations.
As an important example, we have characterized the linear median as the unique strategy-proof voting rule satisfying proportionality or maximizing the ex-ante social welfare under the \(L_2\)-norm and a uniform ex-ante prior. It has been shown to possess further salient properties such as consistency and participation (because its grading curve, the identity, is size electorate independent). On the other hand, the linear median presupposes a cardinal scale. However, adding the natural condition of ordinality characterizes, in the anonymous case, the class of order (statistics) functions which play an important role in the majority judgment—ordinal—method of voting (Balinski-Laraki [16] Chapters 10–13). A particularly appealing order function is the middlemost (Chapter 13 in [16]).
Notes
Curiously, Moulin provided completely different proofs for his two characterizations.
To our knowledge, consistency has not yet been studied in the context of uni-dimensional strategy-proofness.
It is well-defined as we have an odd number of input values.
If there are more than k voters with the k largest peaks, break ties arbitrarily. The tie breaking rule does not affect the outcome.
The result first appeared in the unpublished Ph.D. thesis [14] of our co-author A. Jennings.
\(\Lambda \) is rich if for any \(\alpha < \beta \) in \(\Lambda \) there exists a \(\gamma \in \Lambda \) such that \(\alpha<\gamma < \beta \).
While strategy-proofness is thus easily compatible with the absence of the no-show paradox in our context of costless voting, Müller and Puppe [18] have shown that, under quite general conditions, strategy-proofness implies minimal participation in equilibrium once voting is costly (even with infinitesimal cost).
\(\Lambda \) is rich if for any \(\alpha < \beta \) in \(\Lambda \) there exists a \(\gamma \in \Lambda \) such that \(\alpha<\gamma < \beta \).
References
Balinski, M., Laraki, R.: Election by majority judgement: Experimental evidence. In Situ and Laboratory Experiments on Electoral Law Reform: French Presidential Elections. Springer (2010)
Satterthwaite, M.A.: Strategy-proofness and arrow’s conditions: existence and correspondence theorems for voting procedures and social welfare functions. J. Econ. Theory, 187–217 (1975)
Gibbard, A.: Manipulation of voting schemes: a general result. Econometrica 41(4), 587–601 (1973)
Moulin, H.: On strategy-proofness and single peakedness. Public Choice 35(4), 437–455 (1980)
Border, K.C., Jordan, J.S.: Straightforward elections, unanimity and phantom voters. Rev. Econ. Stud. 50(1), 153–170 (1983)
Barberà, S., Gul, F., Stacchetti, E.: Generalized median voter schemes and committees. J. Econ. Theory 61(2), 262–289 (1993). https://doi.org/10.1006/jeth.1993.1069
Nehring, K., Puppe, C.: The structure of strategy-proof social choice - part I: general characterization and possibility results on median spaces. J. Econ. Theory 135(1), 269–305 (2007). https://doi.org/10.1016/j.jet.2006.04.008
Freeman, R., Pennock, D.M., Peters, D., Vaughan, J.W.: Truthful aggregation of budget proposals. In: Proceedings of the 2019 ACM Conference on Economics and Computation, EC 2019, Phoenix, AZ, USA, June 24–28, 2019, pp. 751–752 (2019). https://doi.org/10.1145/3328526.3329557
Caragiannis, I., Procaccia, A.D., Shah, N.: Truthful univariate estimators. In: Balcan, M., Weinberger, K.Q. (eds.) Proceedings of the 33nd International Conference on Machine Learning, ICML 2016, New York City, NY, USA, June 19-24, 2016. JMLR Workshop and Conference Proceedings, vol. 48, pp. 127–135. JMLR.org, (2016). http://proceedings.mlr.press/v48/caragiannis16.html
Smith, J.H.: Aggregation of preferences with variable electorate. Econometrica 41(6), 1027–1041 (1973)
Young, H.P.: Social choice scoring functions. In: SIAM Journal on Applied Mathematics Vol. 28 vol. 4, pp. 824–838. Society for Industrial and Applied Mathematics (1975)
Weymark, J.: A unified approach to strategy-proofness for single-peaked preferences. SERIEs: J. Spanish Econ. Assoc. (2), 529–550 (2011)
Ehlers, L., Peters, H., Storcken, T.: Strategy-proof probabilistic decision schemes for one-dimensional single-peaked preferences. J. Econ. Theory 105(2), 408–434 (2002). https://doi.org/10.1006/jeth.2001.2829
Jennings, A.B.: Monotonicity and manipulability of ordinal and cardinal social choice functions. In: PhD of A. Jennings (2010)
Nehring, K., Puppe, C.: Efficient and strategy-proof voting rules: a characterization. Games Econom. Behav. 59(1), 132–153 (2007). https://doi.org/10.1016/j.geb.2006.05.002
Balinski, M., Laraki, R.: Majority Judgment Measuring, Ranking, and Electing. MIT Press, Cambridge (2010)
Moulin, H.: Condorcet’s principle implies the no show paradox. J. Econ. Theory 45(1), 53–64 (1988)
Müller, M., Puppe, C.: Strategy-proofness implies minimal participation under single-peakedness. Econ. Theory Bull. 11(1), 131–151 (2023). https://doi.org/10.1007/s40505-023-00247-5
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A: Proof of Lemma 3
If a voting rule \(\varphi : \Lambda ^N \rightarrow \Lambda \) is strategy-proof, then it has a unique continuous extension in \(\overline{\Lambda }^N \rightarrow \overline{\Lambda }\).
Proof
We define a clamp function \(\vec {c}:\overline{\Lambda }^N \times \Lambda \times \Lambda \rightarrow \Lambda ^N\) (component-wise) by:
\(\vec {c}\) is weakly-increasing with respect to \(x^+\) and \(x^-\).
Fix \(\vec {r}\in \overline{\Lambda }\) and a sequence \(\vec {s}_i\) in \(\Lambda \) converging to \(\vec {r}\). Define the sequence \(\vec {t}_i\) to match \(\vec {s}_i\) in every component j where \(r_j\in \{\mu ^-,\mu ^+\}\), and to match \(\vec {r}\) in every component where \(r_j\not \in \{\mu ^-,\mu ^+\}\). \(\lim _{i\rightarrow \infty } \vert \varphi (\vec {s}_i) - \varphi (\vec {t}_i)\vert = 0\) by uniform continuity of \(\varphi \).
-
Case \(\exists a,b\in \Lambda , a< \varphi (\vec {c}(\vec {r}, a, b)) < b\):
By strategy proofness and monotonicity, \(\forall x,y\in \Lambda \) with \(x \le a < b \le y\), \(\varphi (\vec {c}(\vec {r}, x, y)) = \varphi (\vec {c}(\vec {r}, a, b))\). \(\vec {t}_i\) is eventually confined to this region. Thus:
$$\begin{aligned} \lim _{i\rightarrow \infty } \varphi (\vec {s}_i) =\lim _{i\rightarrow \infty } \varphi (\vec {t}_i) = \varphi (\vec {c}(\vec {r}, a, b)). \end{aligned}$$ -
Case \(\not \exists a,b\in \Lambda , a< \varphi (\vec {c}(\vec {r}, a, b)) < b\):
Choose arbitrary \(a,b\in \Lambda \) with \(a<b\). We must have either \(\varphi (\vec {c}(\vec {r}, a, b)) \le a\) or \(b \le \varphi (\vec {c}(\vec {r}, a, b))\).
-
Subcase \(\varphi (\vec {c}(\vec {r}, a, b)) \le a\):
Choose arbitrary \(c\in \Lambda \) with \(c\le a\). Again, since \(c<b\) we must have either \(\varphi (\vec {c}(\vec {r}, c, b)) \le c\) or \(b \le \varphi (\vec {c}(\vec {r}, c, b))\), but in this case the latter would lead to a contradiction (since \(\varphi (\vec {c}(\vec {r}, c, b)) \le \varphi (\vec {c}(\vec {r}, a, b)) \le a < b\)). Thus, \(\varphi (\vec {c}(\vec {r}, c, b)) \le c < b\).
As above, strategy-proofness and monotonicity imply
$$\begin{aligned} \forall y\in \Lambda , \varphi (\vec {c}(\vec {r}, c, y)) \le \varphi (\vec {c}(\vec {r}, c, b)) \le c. \end{aligned}$$Since c was chosen arbitrarily from \(\Lambda \) with no lower bound and \(\vec {t}_i\) is eventually confined to this region, it follows that
$$\begin{aligned} \lim _{i\rightarrow \infty } \varphi (\vec {s}_i) =\lim _{i\rightarrow \infty } \varphi (\vec {t}_i) = \inf \Lambda = \mu ^-. \end{aligned}$$ -
Subcase \(b \le \varphi (\vec {c}(\vec {r}, a, b))\):
A completely analogous argument to the subcase above gives
$$\begin{aligned} \forall c \ge b, \forall x\in \Lambda , \varphi (\vec {c}(\vec {r}, x, c)) \ge \varphi (\vec {c}(\vec {r}, a, c)) \ge c \end{aligned}$$and
$$\begin{aligned} \lim _{i\rightarrow \infty } \varphi (\vec {s}_i) =\lim _{i\rightarrow \infty } \varphi (\vec {t}_i) = \sup \Lambda = \mu ^+. \end{aligned}$$
If both subcases were to exist (for different \(a,b\in \Lambda \)) then we would have \(\varphi (\vec {c}(\vec {r}, a_1, b_1)) \le a_1 < b_1\) and \(a_2 < b_2 \le \varphi (\vec {c}(\vec {r}, a_2, b_2))\). This leads to a contradiction at \(a_0 = \min \{a_1,a_2\}\) and \(b_0 = \max \{b_1,b_2\}\):
Thus, whichever subcase holds for an arbitrarily chosen \(a<b\) in \(\Lambda \) must hold for all \(a<b\) in \(\Lambda \).
Since \(\vec {s}_i\rightarrow \vec {r}\) was arbitrary and \(\lim _{i\rightarrow \infty }\varphi (\vec {s}_i)\) is well-defined, we conclude that this limit is the unique continuous extension of \(\varphi \) to \(\overline{\Lambda }^N\rightarrow \Lambda \). \(\square \)
Appendix B: Proof of Theorem 1
This section aims to prove the following: the voting function \(\varphi \) is strategy-proof iff there exists a phantom function \(\alpha : \Gamma \rightarrow \Lambda \) such that:
Throughout the proofs, \(x_i\) often denotes the ith smallest element of the voting profile \(\vec {r}\).
Definition 11
For a given phantom function \(\alpha \), and a given voting profile \(\vec {r}\) we define \(\alpha _{\vec {r},i}:= \alpha _{\theta (\vec {r},x_i)}\) where \(x_i\) is the ith smallest element of \({(r_k)}_{k\in N}\) and we define \(\alpha _{\vec {r},n+1}:= \alpha _{\vec {\mu }^-}=\alpha (\mu ^-,\ldots ,\mu ^-)\).
Lemma 5
Let us fix a phantom function \(\alpha \). For all \(\vec {r}\), there exists a voter i such that one of the following holds
-
\(r_i = min \{ r_j: r_j \ge \alpha _{\theta (\vec {r},r_i)} \}\).
-
\(\forall \epsilon >0, \alpha _{\theta (\vec {r},r_i + \epsilon )} \le r_i \le \alpha _{\theta (\vec {r},r_i)} \).
-
\(\forall j \in N, r_j < \alpha _{\vec {\mu }^-}\).
Proof
Fix voting profile \(\vec {r}\). Consider the following cases:
-
(i) Case \(x_n < \alpha _{\vec {r},n+1}\): Then \(\forall j \in N, r_j \le x_n < \alpha _{\vec {r},n+1} = \alpha _{\vec {\mu }^-}\).
-
(ii) Case \(x_1 \ge \alpha _{\vec {r},1}\): Then \(x_1 = \min \{r_j:r_j\ge \alpha _{\theta (\vec {r}, x_1)}\}\).
-
(iii) Case \(\exists k>1\) s.t. \(x_{k-1} < \alpha _{\vec {r},k} \le x_k\): Then \(x_k = \min \{r_j:r_j\ge \alpha _{\theta (\vec {r}, x_k)}\}\).
-
(iv) None of the above cases are true:
Let \(i = \min \{j: x_j\ge \alpha _{\vec {r},j+1}\}\). (The set is nonempty, otherwise case (i) would hold.) By this definition, \(x_i \ge \alpha _{\vec {r}, i+1}\) and either \(i=1\) or \(x_{i-1} < \alpha _{\vec {r}, i}\). In either case, we must have \(x_i < \alpha _{\vec {r}, i}\). (If \(\alpha _{\vec {r}, i} \le x_i\) then case (ii) or case (iii) would be true, respectively.)
Now we will show that \(\forall \epsilon > 0, \alpha _{\theta (\vec {r}, x_i + \epsilon )} \le \alpha _{\vec {r}, i+1}\). If \(i=n\), this is because \(\alpha _{\theta (\vec {r},x_n+\epsilon )} = \alpha _{\vec {\mu }^-} = \alpha _{\vec {r},n+1}\). For \(i<n\), there is no \(r_j\) strictly between \(x_i\) and \(x_{i+1}\), so \(\{ j: r_j \ge x_i + \epsilon \} \subseteq \{ j: r_j \ge x_{i+1} \}\). It follows that \(\theta (\vec {r}, x_i + \epsilon ) \le \theta (\vec {r}, x_{i+1})\) and \(\alpha _{\theta (\vec {r}, x_i + \epsilon )} \le \alpha _{\theta (\vec {r}, x_{i+1})} = \alpha _{\vec {r}, i+1}\).
We conclude that \(\forall \epsilon > 0, \alpha _{\theta (\vec {r},x_i + \epsilon )} \le \alpha _{\vec {r},i+1}\le x_i \le \alpha _{\theta (\vec {r},x_i)}\).
\(\square \)
Lemma 6
The function \(\varphi \), defined from a fixed \(\alpha \) as in equation 6 is properly defined for all \(\vec {r}\).
Proof
Given Lemma 5 there is always a voter i that verifies one of the properties that define \(\varphi \). We must show that if different i satisfy the property this does not lead to an ambiguous definition.
-
If the first and second property are verified then \(\alpha _{\vec {r},i} \le r_i \le \alpha _{\vec {\mu }^-}\). By monotonicity of \(\alpha \), \(\alpha _{\vec {\mu }^-} = \alpha _{\vec {r}, n+1} \le \alpha _{\vec {r},i}\), therefore \(\alpha _{\vec {r},i} = \alpha _{\vec {\mu }^-}\). There is no contradiction.
-
If the first and third property are verified then \(\forall \epsilon > 0, \alpha _{\theta (\vec {r},r_i + \epsilon )} \le r_i \le \alpha _{\vec {\mu }^-}\). Therefore by monotonicity of \(\alpha \), \(\alpha _{\vec {\mu }^-} = r_i\). There is no contradiction.
-
If the second is verified for a voter i and the third for a voter k with \(r_i \le r_k\), then we have \(r_i = \min \{ r_j: r_j \ge \alpha _{\theta (\vec {r},r_i)} \}\) and \(\forall \epsilon >0,\alpha _{\theta (\vec {r},r_k + \epsilon )} \le r_k \le \alpha _{\theta (\vec {r},r_k)}\). Since \(r_i \le r_k\), we have \(\alpha _{\theta (\vec {r},r_k)} \le \alpha _{\theta (\vec {r},r_i)}\). Hence \(r_i \le r_k \le \alpha _{\theta (\vec {r},r_k)} \le \alpha _{\theta (\vec {r},r_i)} \le r_i.\) This proves that \(\alpha _{\theta (\vec {r},r_i)} = r_k\). This case does not lead to an ambiguous definition.
-
If the second is verified for a voter i and the third for a voter k with \(r_k < r_i\), then we have \(r_i = min \{ r_j: r_j \ge \alpha _{\theta (\vec {r},r_i)} \}\) and \(\forall \epsilon >0, \alpha _{\theta (\vec {r},r_k + \epsilon )} \le r_k \le \alpha _{\theta (\vec {r},r_k)}\). Therefore by monotonicity of \(\alpha \), for \(\epsilon >0\) such that \(r_i > r_k + \epsilon \):
$$\begin{aligned} \theta (\vec {r}, r_i) \le \theta (\vec {r}, r_k + \epsilon ) \text{ as } \text{ such } \alpha _{\theta (\vec {r},r_i)} \le \alpha _{\theta (\vec {r},r_k + \epsilon )}\le r_k < r_i. \end{aligned}$$This is absurd since \(r_i = min \{ r_j: r_j \ge \alpha _{\theta (\vec {r},r_i)} \}\). Therefore this case never happens.
-
Suppose the second is true for two different voters i and k. Therefore \(r_i = \min \{ r_j: r_j \ge \alpha _{\theta (\vec {r},r_i)} \}\) and \(r_k = \min \{ r_j: r_j \ge \alpha _{\theta (\vec {r},r_k)} \}\). Without loss of generality we can suppose that \(r_i \le r_k\). Therefore by monotonicity of \(\alpha \), \(\alpha _{\theta (\vec {r},r_k)} \le \alpha _{\theta (\vec {r},r_i)} \le r_i\). Since \(r_k\) is the min of \(\{ r_j: r_j \ge \alpha _{\theta (\vec {r},r_k)} \}\) we have that \(r_k \le r_i\). As such \(r_k = r_i\). Therefore \(\alpha _{\theta (\vec {r},r_k)} = \alpha _{\theta (\vec {r},r_i)}\). This case does not raise an ambiguous definition.
-
Suppose the third is true for two different voters i and k. Therefore for all \(\epsilon >0\), \(\alpha _{\theta (\vec {r},r_i + \epsilon )} \le r_i \le \alpha _{\theta (\vec {r},r_i)} \) and \(\alpha _{\theta (\vec {r},r_k + \epsilon )} \le r_k \le \alpha _{\theta (\vec {r},r_k)}\). Let us suppose that \(r_i \ne r_k\). Without loss of generality, we will use \(r_i < r_k\). Choose \(\epsilon >0\) so that \(r_k > r_i + \epsilon \). Then by monotonicity of \(\alpha \) we have \(\alpha _{\theta (\vec {r},r_i + \epsilon )} \le r_i < r_k \le \alpha _{\theta (\vec {r},r_k)} \le \alpha _{\theta (\vec {r},r_i + \epsilon )}.\) Which is absurd. As such \(r_i=r_k\). This case does not cause an ambiguous definition of \(\varphi \).
We have considered all the cases. The definition is not ambiguous. \(\square \)
Lemma 7
If \(\varphi \) verifies strategy-proofness then there is a phantom function \(\alpha \) such that equation 6 holds.
Proof
Let us use the phantom function \(\alpha \) such that \(\alpha (X):= \varphi (X)\). We will show for each case used in the equation 6 that we obtain the desired value of \(\varphi (\vec {r})\). Lemma 5 provides that we have studied all the cases and that therefore the proof is complete.
-
1.
Case \( \forall j, r_j \le \alpha _{\vec {\mu }^-}\): Since \(\alpha _{\vec {\mu }^-} = \varphi (\mu ^-,\ldots ,\mu ^-) \in \Lambda \), \(\alpha _{\vec {\mu }^-} \ge \mu ^-\). If \(\alpha _{\vec {\mu }^-} = \mu ^-\), then \(\forall j, r_j = \mu ^-\) so \(\varphi (\vec {r}) = \varphi (\vec {\mu }^-) = \alpha _{\vec {\mu }^-}\). If \(\mu ^- < \alpha _{\vec {\mu }^-} = \varphi (\mu ^-,\ldots ,\mu ^-)\), then we can use strategy-proofness on each dimension to raise each component of the input of \(\varphi \) without changing the output. Thus \(\varphi (\vec {r}) = \varphi (\vec {\mu }^-) = \alpha _{\vec {\mu }^-}\).
-
2.
Case \(\exists i, r_i = \min \{ r_j: r_j \ge \alpha _{\theta (\vec {r},r_i)}\}\): Let \(X = \theta (\vec {r},r_i)\). If \(\varphi (\vec {r}) < \alpha _X\), then \(\varphi (\vec {r}) < \alpha _X \le r_i\). By strategy-proofness we could take every component of \(\vec {r}\) which is greater than or equal to \(r_i\) and raise it to \(\mu ^+\), and also lower all other components to \(\mu ^-\), without increasing the output of \(\varphi \). Thus \(\varphi (\theta (\vec {r}, r_i))\le \varphi (\vec {r}) < \varphi (\theta (\vec {r}, r_i))\), which is a contradiction.
If \(\varphi (\vec {r}) > \alpha _X\), we will also find a contradiction. If there is no \(r_j\) strictly smaller than \(r_i\), then \(\theta (\vec {r}, r_i) = \vec {\mu }^+\) and \(\alpha _X=\alpha _{\vec {\mu }^+}=\varphi (\vec {\mu }^+) \ge \varphi (\vec {r})\), a contradiction. Otherwise, let \(r_j\) be the largest component of \(\vec {r}\) strictly smaller than \(r_i\). Then \(r_j< \alpha _{\theta (\vec {r}, r_i)} = \alpha _X < \varphi (\vec {r})\). By strategy-proofness, we can lower all components less than or equal to \(r_j\) to \(\mu ^-\) and raise the others to \(\mu ^+\), weakly increasing the output of \(\varphi \). This gives \(\varphi (\theta (\vec {r}, r_i)) \ge \varphi (\vec {r}) > \alpha _X = \varphi (\theta (\vec {r}, r_i))\), a contradiction.
Therefore if \(\exists i, r_i = \min \{ r_j: r_j \ge \alpha _{\theta (\vec {r},r_i)}\}\) then \(\varphi (\vec {r}) = \alpha _X\).
-
3.
Case \(\forall \epsilon > 0, \alpha _{\theta (\vec {r},r_i + \epsilon )} \le r_i \le \alpha _{\theta (\vec {r},r_i)}\):
Suppose that \(\varphi (\vec {r}) < r_i\). By strategy-proofness, we can raise all components greater than or equal to \(r_i\) to \(\mu ^+\) and lower the others to \(\mu ^-\), weakly decreasing the output of \(\varphi \). This gives \(\varphi (\theta (\vec {r}, r_i)) \le \varphi (\vec {r}) < r_i \le \alpha _{\theta (\vec {r}, r_i)} = \varphi (\theta (\vec {r}, r_i))\), a contradiction.
Suppose that \(\varphi (\vec {r}) > r_i\). Choose \(\epsilon > 0\) such that \(r_i + \epsilon \) is strictly between \(r_i\) and the smallest component of \(\vec {r}\) strictly larger than \(r_i\). (If there is no larger component, then any arbitrary \(\epsilon >0\) will do.) By strategy-proofness, we can lower all components less than or equal to \(r_i\) to \(\mu ^-\) and raise the others to \(\mu ^+\), weakly increasing the output of \(\varphi \). This gives \(\varphi (\theta (\vec {r}, r_i + \epsilon )) \ge \varphi (\vec {r}) > r_i \ge \alpha _{\theta (\vec {r}, r_i+\epsilon )} = \varphi (\theta (\vec {r}, r_i+\epsilon ))\), a contradiction.
Therefore if \(\forall \epsilon >0, \alpha _{\theta (\vec {r},r_i+\epsilon )} \le r_i \le \alpha _{\theta (\vec {r},r_i)}\), then \(r_i = \varphi (\vec {r})\).
\(\square \)
Lemma 8
For a function \(\varphi \), if there is a phantom function \(\alpha \) such that Eq. 6 holds then \(\varphi \) is strategy-proof.
Proof
First we prove weak responsiveness then strategy-proofness.
-
Weak responsiveness: This proof is by induction. Let \(\vec {s}\) differ from \(\vec {r}\) only in dimension i and \(r_i < s_i\). Let k be such that \(\varphi (\vec {r}) \in \{\alpha _{\theta (\vec {r},r_k)}, r_k\}\) when \(\varphi (\vec {r}) \ne \alpha _{\vec {\mu }^-}\).
-
1.
Case \(\varphi (\vec {r}) = \alpha _{\vec {\mu }^-}\):
\(\alpha _{\vec {\mu }^-}\) is the minimum of \(\varphi \) therefore \(\varphi (\vec {r}) \le \varphi (\vec {s})\).
-
2.
Case \(s_i \le \varphi (\vec {r})\):
We have \(\varphi (\vec {r}) \le r_k\), therefore \(s_i \le r_k\) and \(i \ne k\). If \(s_i = r_k\) then \(r_k \le \alpha _{\theta (\vec {r},r_k)}\). We have \(\forall \epsilon >0, \theta (\vec {s},s_k+ \epsilon )= \theta (\vec {r},r_k+\epsilon )\) and \({\theta (\vec {s},s_k)} \ge {\theta (\vec {r},r_k)}\). Therefore, \(\forall \epsilon >0, \alpha _{\theta (\vec {s},s_k + \epsilon )} \le s_k \le \alpha _{\theta (\vec {s},s_k)}\). Otherwise \(s_i < r_k\) implies \({\theta (\vec {s},s_k)} = {\theta (\vec {r},r_k)}\) and \({\theta (\vec {s},s_k+ \epsilon )}= {\theta (\vec {r},r_k+\epsilon )}\). Therefore, \(\forall \epsilon >0, \alpha _{\theta (\vec {s},s_k + \epsilon )} \le s_k \le \alpha _{\theta (\vec {s},s_k)}\). In both cases, we can conclude that \(\varphi (\vec {r}) = \varphi (\vec {s})\).
-
3.
Case \(\varphi (\vec {r}) < r_i\):
If \(r_k = r_i\), then \(\varphi (\vec {r})= \alpha _{\theta (\vec {r},r_k)}\). Let \(s_l = \min \{s_j: s_j \ge \varphi (\vec {r})\}\). Then \({\theta (\vec {s},s_l)} = {\theta (\vec {r},r_k)}\) and \(s_l = \min \{s_j: s_j \ge \alpha _{\theta (\vec {r},s_l)}\}\). Therefore \(\varphi (\vec {r}) =\varphi (\vec {s})\). Otherwise if \(k \ne i\), \({\theta (\vec {s},s_k)} = {\theta (\vec {r},r_k)}\) and for any \(\epsilon \) such that \(0<\epsilon < r_i -r_k\), we have \({\theta (\vec {s},s_k+ \epsilon )}= {\theta (\vec {r},r_k+\epsilon )}\). We can conclude that \(\varphi (\vec {r}) =\varphi (\vec {s}).\)
-
4.
Case \(\varphi (\vec {r}) = r_i\):
Let X be defined by \(X_j = \mu ^+\) iff \(j =i\) or \(r_j > r_i\). We have \(\theta (\vec {r},r_i + \epsilon ) < X \le \theta (\vec {r},r_i)\). Let \(x =\min { \{r_j: r_j > r_i\}}. \)
-
(a)
Subcase \(\alpha _X < r_i\):
If there were no \(j\ne i\) such that \(r_j = r_i\) then \(i=k\) and we would have \(X = {\theta (\vec {r},r_i)}\). As such, \(\alpha _{\theta (\vec {r},r_i)} < r_i = \varphi (\vec {r})\). This is absurd. Therefore such a j exists. As such, without loss of generality, we can consider that \(i \ne k\). It follows that \(\theta (\vec {s},s_k) = \theta (\vec {r},r_i)\) and \(\theta (\vec {s},s_k+ \epsilon ) = \theta (\vec {r},r_k + \epsilon )\). To conclude \(\varphi (\vec {s}) = s_k =r_k = \varphi (\vec {r}).\)
-
(b)
Subcase \(r_i \le \alpha _X\) and \(s_i \le x\):
We have \(X = \theta (\vec {s},s_i)\) and \({\theta (\vec {s},s_i+ \epsilon )} \le {\theta (\vec {r},r_i+\epsilon )}\). As such \(\varphi (\vec {s}) = \min (\alpha _X, s_i) \ge r_i = \varphi (\vec {r})\).
-
(c)
Subcase \(r_i \le \alpha _X\) and \(s_i > x\):
Let t differ from r only in dimension \(r_i\) with \(t_i = x\). We can show by induction that \(\varphi (r) \le \varphi (t)\) by using (b). We can show by induction that \(\varphi (t) \le \varphi (s)\) by using (3) or (4). Transitivity of inequalities therefore provides \(\varphi (r) \le \varphi (s)\).
-
(a)
-
5.
Case \(r_i< \varphi (\vec {r}) < s_i\):
Let t differ from r only in dimension \(r_i\) with \(t_i = \varphi (\vec {r})\). We can show by induction that \(\varphi (r) \le \varphi (t)\) by using (2). We can show by induction that \(\varphi (t) \le \varphi (s)\) by using (4). Transitivity of inequalities therefore provides \(\varphi (r) \le \varphi (s)\).
There are a finite number of values \(r_k\) and \(\alpha _X\) between \(r_i\) and \(s_i\). As such by inductive steps we have shown that \(\varphi \) is weakly responsive.
-
1.
-
Strategy-proofness: Let \(\vec {s}\) differ from \(\vec {r}\) only in dimension i. Suppose that \(r_i < \varphi (\vec {r})\):
-
If \(r_i < s_i\), then by weak responsiveness \(\varphi (\vec {r}) \le \varphi (\vec {s})\).
-
If \(\varphi (\vec {r}) = \alpha _{\vec {\mu }^-}\) and \(s_i < r_i\) then \(\varphi (\vec {r}) =\varphi (\vec {s}) = \alpha _{\vec {\mu }^-}\).
-
If \(s_i< r_i < \varphi (\vec {r}) = \alpha _{\theta (\vec {r},r_k)}\) then \(s_k = \min \{ s_j: s_j \ge \alpha _{\theta (\vec {r},s_k)}\}\) therefore \(\varphi (\vec {r}) = \varphi (\vec {s})\).
-
If \(s_i< r_i < \varphi (\vec {r}) = r_k\) then \(\theta (\vec {r},r_k) = \theta (\vec {s},s_k)\) and \(\theta (\vec {r},r_k+ \epsilon ) = \theta (\vec {s},s_k+ \epsilon )\). Therefore \(\varphi (\vec {r}) = \varphi (\vec {s})\).
The proof for \(r_i > \varphi (\vec {r})\) is symmetrical in every case except:
-
If \(\alpha _{\theta (\vec {r},r_k)}<r_i <s_i\) then \(r_k = \min {\{ r_j: r_j \ge \alpha _{\theta (\vec {r},r_k)}\}}\). Let l be such that \(s_l = \min {\{ s_j: s_j \ge \alpha _{\theta (\vec {r},r_k)}\}}\). We have \(s_l = \min {\{ s_j: s_j \ge \alpha _{\theta (\vec {r},s_l)}\}}\). It follows that \(\varphi (\vec {r}) = \varphi (\vec {s})\).
-
\(\square \)
Theorem 18
(Phantom function characterization) The voting function \(\varphi \) is strategy-proof iff there exists a phantom function \(\alpha : \Gamma \rightarrow \Lambda \) such that Eq. 6 is verified.
Proof
The proof is immediate by using Lemmas 6, 7 and 8. \(\square \)
Apendix C: Missing proofs for the new characterizations
1.1 C.1 Proof of Theorem 6
A voting rule \(\varphi \) is strategy-proof iff there exists a phantom function \(\alpha \) (the same as in Theorem 2) such that:
Proof
Let \(\varphi \) be a strategy-proof voting rule defined by a phantom function \(\alpha \) as in Theorem 2. Let \(\mu : \Lambda ^{N} \rightarrow \Lambda \) be defined as:
Since \(\varphi \) is the unique strategy-proof voting rule defined by \(\alpha \) we only need to prove that \(\varphi = \mu \). We will use the shorthand \(X_k:= X_k(\vec {r})\) since the context is clear (e.g. \(\vec {r}\) will be fixed). Considering the two cases in the formula of Theorem 2:
-
Case \(\varphi (\vec {r}) = \alpha _X\).
Let us first show that there is k such that \(\alpha _X = r_k\) or \(\alpha _X = \alpha _{X_k}\).
Suppose that \(\forall j, \alpha _X \ne r_j\) then \(\mu ^+(X) = \{j: r_j > \alpha _X\}\). Therefore there is only one choice for \(X_k\) where \(k=\#\mu ^+(X)\), that is \(X_k = X\). Therefore \(\alpha _{X_k} = \alpha _X\). Given our assumption we have therefore shown that there is k such that \(\alpha _X = r_k\) or \(\alpha _X = \alpha _{X_k}\). In other words \(\alpha _X\) is one of the arguments given to the median function. It now remains to show that \(\alpha _X\) is selected by the median (e.g. is the output of \(\mu \)).
If \(\mu ^+(X) = \{j: r_j \ge \alpha _X\}\) then for all \(j \in \mu ^+(X)\) we have \(r_j \ge \alpha _X\). Also, for any l such that \(l \ge k\), we have that \(\alpha _{X_l} \ge \alpha _X\). Therefore we have \(n+1\) values in the median formula of \(\mu \) that are greater of equal to \(\alpha _X\). A symmetrical proof gives us \(n+1\) values that are less or equal to \(\alpha _X\).
If \(\mu ^+(X) \subset \{j: r_j \ge \alpha _X\}\) then there is \(r_k = \alpha _X\). For all \(j \in \mu ^+(X)\) we have \(r_k \le r_j\). For any l such that \(l \ge \#\{j: r_j \ge \alpha _X\}\), we have that \(\alpha _{X_l} \ge r_k\). Therefore we have \(n+1\) values in the median formula of \(\mu \) that are greater of equal to \(\alpha _X=r_k\). A symmetrical proof gives us \(n+1\) values that are less or equal to \(\alpha _X\). Consequently \(\mu (\vec {r}) = \alpha _X\).
-
Case \(\varphi (\vec {r}) = r_i\).
Let X and Y be such that \(\alpha _X \le r_i \le \alpha _Y\) and \(\mu ^+(X) = \{ j: r_i < r_j \} \wedge \mu ^-(Y) = \{ j: r_i > r_j \}\). For any \(l \ge \#\mu ^+(X)\) we have \(\alpha _{X_l} \ge r_i\). Therefore we have (\(r_i\) included) \(n+1\) elements that are greater or equal to \(r_i\). A symmetrical proof gives us that there are \(n+1\) that are lesser or equal to \(r_i\). Consequently, \(r_i\) is the median of our set of values, that is: \(\mu (\vec {r}) = r_i\).
Therefore \(\varphi = \mu \). \(\square \)
Appendix D: Missing proofs for additional properties
1.1 D.1 Proof of Proposition 4
For a strategy-proof voting rule \(\varphi : \Lambda ^{N} \rightarrow \Lambda \) the following are equivalent:
-
(1)
The phantom function \(\alpha \) verifies \(\alpha (\Gamma ) = \{\mu ^-,\mu ^+\}\)
-
(2)
\(\varphi \) is strictly responsive.
And when moreover \(\Lambda \) is a rich,Footnote 9 (1) and (2) are equivalent to:
-
(3)
\(\varphi \) is ordinal and not constant.
Proof
\((2) \rightarrow (1):\) Suppose that \(\varphi \) is strategy-proof and strictly responsive. If there exists \(X\in \Gamma \) such that \(\alpha _X \not \in \{\mu ^-,\mu ^+\}\), then set \(\vec {r}\) and \(\vec {s}\) such that if \(j \in \mu ^+(X)\) then \(r_j = \alpha _X, s_j = \mu ^+\) and if \(j \in \mu ^-(X)\) then \(r_j = \mu ^-, s_j = \alpha _X\). We have \(\varphi (\vec {s}) = \varphi (\vec {r})\) which contradicts strict responsiveness. Therefore \(\alpha (\Gamma ) \subseteq \{\mu ^-,\mu ^+\}\). If \(\#\alpha (\Gamma ) = 1\) then the function is a constant and is therefore not strictly responsive. Consequently, \(\alpha (\Gamma ) = \{\mu ^-,\mu ^+\}\).
\((1) \rightarrow (2):\) Suppose that \(\varphi \) is strategy-proof and \(\alpha (\Gamma ) = \{\mu ^-,\mu ^+\}\). For any \(\varphi (\vec {r})\) and \(\varphi (\vec {s})\) such that for each k, \(r_k < s_k\). Since all the phantoms are extreme we have: i and j such that \(r_i = \varphi (\vec {r})\) and \(s_j =\varphi (\vec {s})\). Let \(\vec {t}\) be defined as for all k if \(r_k < r_i\) then \(t_k = r_k\), otherwise if \(s_k = r_i\) then \(t_k = \frac{r_k + s_k}{2}\), otherwise \(t_k = s_k\). We have \(\varphi (\vec {t}) \in \{ t_k\}\) therefore by weak responsiveness, since \(r_i \not \in \{ t_k\}\), we have \(r_i < \varphi (\vec {t}) \le s_j\)
\((3) \rightarrow (1):\) Suppose that \(\varphi \) is strategy-proof and ordinal. If there exists \(X\in \Gamma \) such that \(\alpha _X \not \in \{\mu ^-,\mu ^+\}\), let \(\vec {r}\) be such that there are two alternatives \(a< b < \alpha _X\) such that if \(i \in \mu ^+(X)\) then \(r_i = b\) otherwise \(r_i = a\). Let \(\pi \) be bijective and \(\pi (a)< \alpha _X < \pi (b)\). Then:
We have reached a contradiction, therefore \(\alpha (\Gamma ) =\{\mu ^-,\mu ^+\}.\)
\((1) \rightarrow (3):\) Here we use the median representation in Theorem 6. Suppose that \(\varphi \) is strategy-proof and \(\alpha (\Gamma ) = \{\mu ^-,\mu ^+\}\). For any strictly responsive and bijective \(\pi \) and for any voting profile \(\vec {r}\):
Therefore \(\varphi \) is ordinal. \(\square \)
1.2 D.2 Proof of Theorem 12
A strategy-proof voting rule \(\varphi ^*: \Lambda ^* \rightarrow \Lambda \) verifies participation iff with the order \(\mu ^-< \emptyset < \mu ^+\), its associated phantom function \(\alpha \) is weakly increasing.
Proof
\(\Rightarrow :\) Suppose \(\mu ^-< \emptyset < \mu ^+\). We will prove by reductio ad absurdum. Assume that \(\alpha \) is not weakly increasing. Therefore there is an elector i, such that for X and Y that only differ in i we have \(X_i < Y_i\) and \(\alpha (X) > \alpha (Y)\). By definition of a phantom function either \(X_i = \emptyset \) or \(Y_i = \emptyset \). Suppose \(X_i = \emptyset \) (therefore \(Y_i = \mu ^+\)), then for \(\vec {r} = Y\) we have that by removing his vote, voter i contradicts the participation property (e.g. participation). A similar proof works for \(Y_i = \emptyset \).
\(\Leftarrow :\) Suppose that \(\alpha \) is weakly increasing. Let \(\varphi ^*(\vec {r}) = a\) where elector i did not cast a ballot. Let \(\vec {s}\) be the voting profile that is identical to \(\vec {r}\) except that \(s_i\) is a ballot. We will use now the curve characterisation (Theorem 7): \(\forall \vec {r}; \varphi ^*(\vec {r}):= \text{ sup } \left\{ y \in \Lambda : \alpha _{\theta (\vec {r},y)} \ge y \right\} .\) If \(s_i \le a\) then \(\alpha _{\theta (\vec {r},s_i)} \ge \alpha _{\theta (\vec {r},a)} \ge s_i\) therefore \(\varphi (\vec {s}) \ge s_i\). We also have that \(\alpha _{\theta (\vec {r},a)} \ge \alpha _{\theta (\vec {s},a)}\) therefore \(\varphi ^*(\vec {r}) \ge \varphi ^*(\vec {s})\). Otherwise if \(s_i \ge a\) then \(\alpha _{\theta (\vec {r},s_i)} \le \alpha _{\theta (\vec {r},a)} \le s_i\) therefore \(\varphi (\vec {s}) \ge s_i\). We also have that \(\alpha _{\theta (\vec {r},a)} \le \alpha _{\theta (\vec {s},a)}\) therefore \(\varphi ^*(\vec {r}) \le \varphi ^*(\vec {s})\). It follows that not submitting ones true value \(s_i\) cannot be beneficial. \(\square \)
1.3 D.3 Proof of Proposition 5
In a vote by issue, a strategy-proof voting function verifies participation iff when a elector i decides to become a voter with ballot x then for any property H containing x, if \(W_H\) was a winning coalition of H for the initial set of voters then \(W_H \cup \{i\}\) is a winning coalition for the new set of voters.
Proof
\(\Rightarrow :\) Suppose that \(\alpha \) is weakly increasing for the order \(\mu ^-< \emptyset < \mu ^+\). Let V be a fixed set of voters such that \(i \not \in V\). For \(H = \{y \ge a\}\), \(W \subseteq V\) is a winning coalition iff \(X \in \Gamma ^*\) such \(\mu ^+(X) = W\) verifies \(\alpha _X \ge a\). Let Y that differs from X only in dimension i with \(Y_i = \mu ^+\), then \(\alpha _Y \ge a\). Therefore \(\mu ^+(Y)\) is a winning coalition. A similar proof works for \(H=\{y \le a\}\). \(\Leftarrow :\) Suppose that when a electorate i decides to become a voter with ballot x then for any property H containing x, if \(W_H\) was a winning coalition of H for the initial set of voters then \(W_H \cup \{i\}\) is a winning coalition for the new set of voters. Let us take \(x = \alpha _X\) where i is not a voter for X. Then \(\mu ^+(X) \cup \{i\}\) (resp. \(\mu ^-(x)\)) is a winning coalition for \(\{ y \ge x\}\) (resp. \(\{ y \le x\}\)) therefore \(\alpha _Y \ge \alpha _X\) (resp. \(\alpha _Y \le \alpha _X\)) where Y differs from X only in dimension i and \(Y_i = \mu ^+\) (resp. \(Y_i = \mu ^-\)). \(\square \)
1.4 D.4 Proof of Theorem 14
A SP voting function \(\varphi ^*=(\varphi ^n): \Lambda ^* \rightarrow \Lambda \) is anonymous and consistent iff there is a weakly increasing function \(g:[0,1] \rightarrow \Lambda \) (electorate size independent) and a constant \(x \in \Lambda \) such that the phantom function \(\alpha :\Gamma ^*\) is defined as:
Furthermore the voting function verifies participation iff \(x \in g([0,1])\).
Proof
\(\Rightarrow :\) Let us first show the existence of x and \(g:[0,1] \rightarrow \Lambda \) such that for all \(X \in \Gamma ^*\) the equation holds. \(x = \alpha _{\vec {\emptyset }}\) therefore x exists. For any other X if \(q=\frac{\# \mu ^+(X)}{\# \mu ^-(X) + \# \mu ^+(X)}\) we define \(g(q)=\alpha _X\). Observe that this is well defined as by consistency and anonymity, we can duplicate and merge the electorate and so we must have \(\alpha _X = \alpha _Y = g(q)\) whenever \(\frac{\# \mu ^+(Y)}{\# \mu ^-(Y) + \# \mu ^+(Y)}=q\). Now let us show that g is weakly increasing. For any X and Y such that \(\frac{\# \mu ^+(X)}{\# \mu ^-(X) + \# \mu ^+(X)} \le \frac{\# \mu ^+(Y)}{\# \mu ^-(Y) + \# \mu ^+(Y)}\) by consistency we can duplicate X and Y into \(X'\) and \(Y'\) that have the same number of voters. As such \(\alpha _X \le \alpha _Y\). It follows that g is weakly increasing over the set of rationals. Since the values over the irrationals do not matter we can complete the definition with a weakly increasing g without loss. \(\Leftarrow :\) For any \(X \in \Gamma ^*\) we have \(\alpha _X = \alpha _{X \sqcup \vec {\emptyset }}\). By using the barycentric weights we have that for any X and Y we have:
Therefore since g is weakly increasing. \(\alpha _X \le \alpha _{X \sqcup Y} \le \alpha _Y\). It follows that we verify consistency. Finally we wish to show that if \(x \in g([0,1])\) then our voting function verifies participation. For any \(n > 0\) and \(0 \le k < n\) we have:
Therefore since g is weakly increasing \(\alpha \) is weakly increasing except maybe in \(\alpha _{\vec {\emptyset }}\). Therefore the function verifies participation iff \(x \in g([0,1])\). \(\square \)
1.5 D.5 Proof of Theorem 15
A strategy-proof, homogeneous (\(=\) consistent and anonymous) voting function \(\varphi ^*: \Lambda ^* \rightarrow \Lambda \) is continuous with respect to new members iff its grading curve g is continuous.
Proof
\(\Rightarrow :\) We have \(\forall \vec {r},\vec {s},\text{ lim}_{n \rightarrow +\infty } \varphi (\overbrace{\vec {r} \sqcup \dots \sqcup \vec {r}}^n \sqcup \vec {s}) = \varphi (\vec {r})\). Therefore for any \(X, Y \in \Gamma ^*\) with at least one voter each:
Therefore, since g is weakly increasing, g is continuous in all rational numbers. Therefore by monotonicity and density of the rationals within the real numbers we have that g is continuous.
\(\Leftarrow :\) Let g be continuous. Then for all X, Y:
Therefore by continuity of \(\varphi \):
\(\square \)
Appendix E: Proof of Theorem 17
Fix natural n. The linear median, corresponding to \(\alpha (X) = m + \frac{\sum _i X_i}{n}(M-m)\) is the unique SP voting function that minimizes the \(L_2\)-norm between inputs and output, integrated with the \(L_2\)-norm over the uniform distribution on \([m,M]^n\).
Proof
We desire to find the SP voting function f that minimizes
Since f is a SP voting function, it is fully characterized by its \(\alpha _X\) values as in lemma 1. Thus we can minimize E(f) by optimizing each \(\alpha _X\) value independently. Fix X.
Let \(k_1, k_2, \ldots , k_a\) be the indices of X with \(X_{k_i} = 1\) and \(\hat{k}_1, \hat{k}_2, \ldots , \hat{k}_b\) be the indices of X with \(X_{\hat{k}_i} = 0\). \(\frac{\partial }{\partial \alpha _X} f\) will be 1 where \(f(\vec {x}) = \alpha _X\) (and 0 elsewhere) which is exactly in the region where \( x_{\hat{k}_1}, x_{\hat{k}_2}, \ldots , x_{\hat{k}_b}< \alpha _X < x_{k_1}, x_{k_2}, \ldots , x_{k_a} \). Thus,
Since \(\frac{a}{a+b}=\frac{\sum _i X_i}{n}\), a minimum for E(f) is
Since this true for all X, this gives the voting function that minimizes the \(L_2\)-norm for votes coming from the uniform distribution on \([m,M]^n\). \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Jennings, A.B., Laraki, R., Puppe, C. et al. New characterizations of strategy-proofness under single-peakedness. Math. Program. 203, 207–238 (2024). https://doi.org/10.1007/s10107-023-02010-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10107-023-02010-x
Keywords
- Strategy-proofness
- Single-peaked preferences
- Voting
- Consistency
- Participation
- Proportionality
- Linear/uniform median