In this article, we analyze all systems where each voter may freely choose to vote directly, or to delegate the decision to one or more persons of his or her free choice, or to abstain from voting (i.e. neither voting directly nor delegating to another person).
If two people are chosen as delegates to cast one's vote, then the delegating person must select one person as primary delegate, in which case the other person will be referred to as the secondary delegate. Accordingly, a preference list has to be provided by the voter in case of more than two delegates. If only one person is chosen as delegate, we also refer to that delegate as primary delegate for the remainder of this article.
We further assume that the reader is familiar with the general concept of vote delegation and the dualism of transferring voting weight and copying your delegate's vote. [PLF, p.23]
We expect such a system to fulfill at least the following 7 properties:
If a person A does not vote directly but has one delegate B, or two delegates B and C, where B is the primary and C is the secondary delegate, and none of A's delegates is either delegating to A, to each other, or to any other voter (i.e. if A's delegates are not delegating at all), then the following rules shall be fulfilled:
If the primary delegate B chooses to vote directly, then A votes (through delegation) as B does. If the primary delegate B doesn't vote directly and doesn't delegate, but the secondary delegate C votes directly, then A votes (through delegation) as C does.
For all other cases (e.g. when one of A's delegates is delegating further), no assumptions are made at this point.
All voters are interchangeable with each other, as long as they behave in the same manner.
This property is also called “anonymity” in voting theory, [May, p.681] not to be confused with anonymous/secret voting. [PLF, p.148]
All voting options are interchangable with each other, e.g. replacing all direct YES votes with direct NO votes while replacing all direct NO votes with direct YES votes will simply exchange their vote counts: the total number of votes for YES will become the total number of votes for NO, and the total number of votes for NO will become the total number of votes for YES. Thus, a tie will stay a tie, the previous outcome of YES as winner would change into NO being winner, and the previous outcome of NO as winner would change into YES being winner of the voting procedure if all direct YES votes are replaced with direct NO votes and vice versa. See also [May, p.682].
Unconnected subsets of the delegation graph can be considered separately (according to these 7 properties) and do not influence each other.
Influence of delegation is directional, i.e. if we split the electorate into two subsets R and S, and if none of the persons in S delegate to any person in R, then the behavior of the voters in subset S is independent of any voter in R. In particular: one person A delegating to another person B may affect how A's vote is used but must not change how B's vote is used, as long as there is no circular delegation path leading back to A.
Note: A delegation system fulfilling Property 5 always fulfills Property 4 as well. Therefore, Property 5 is a generalization of Property 4.
Copying your delegates' votes according to Property 1 but acting as a directly voting person (instead of using the delegation system) doesn't change the outcome (i.e. the final vote counts) of the voting procedure. This rule only applies if the delegates whose votes are copied do not delegate futher. No assumptions are made otherwise (see also Property 1).
Fulfilling this property is particularly important to give all participants equal opportunities. Violating this property may cause some voters to have an advantage over other voters, depending on their social integration and/or technical abilities. [PLF, p.34-37]
If a person A doesn't vote directly and doesn't delegate to anyone, and if (in a binary yes/no-decision) a person B votes via delegation in favor of a proposal that wins, then changing A's behavior to delegate to B instead of abstaining (i.e. neither voting directly nor delegating) must not cause the previously winning proposal to lose.
As we will show in the remainder of this article, it is impossible to fulfill all 7 properties under the given assumptions (e.g. freedom of choice regarding one's delegates). To prove this theorem, we will have a look at the following 26 cases.
For the remainder of this article, we define:
p(x,y) := x, if x ≠ ∅, otherwise y.
“∅” shall denote abstention from voting (i.e. neither voting directly nor through delegation). Primary delegation is depicted as an arrow, secondary delegation is depicted as a dashed arrow.
Note: In the following examples, Property 2 and Property 3 will be used implicitly until Case XXIV inclusive; the use of any other property will be explicitly noted in the text (and noted in the black arrows using a notation of “P1” for Property 1, and so on).
The first analyzed case consists of two voters: one voter B who directly casts a vote for option “x” (where x may be “YES” or “NO” in our example) and one voter A who delegates his or her decision to the other voter. Using Property 1, we can deduce that the delegating voter will also vote for “x” (via delegation).
x ∈ {YES, NO}
The second case consists of three voters: one voter B who either directly casts a vote for option “x” or abstains (i.e. doesn't vote and doesn't delegate), one voter C who directly casts a vote for option “y” (which may be equal to option “x” if voter B does not abstain), and one voter A who delegates his or her decision to the other two voters while selecting a preference in favor of voter B. Also here, we can use Property 1 to deduce how the delegating person's vote will be used. In this Case II, the delegating participant will vote for p(x,y) := [x, if x ≠ ∅, otherwise y] (whereas “∅” denotes abstention from voting).
x ∈ {YES, NO, ∅}We consider a new Case III that can be solved by using the previously solved Case I and applying the rules of Property 4 (“Consistency”).
x ∈ {YES, NO, ∅}We consider a new Case IV that can be solved by first applying the rules of Property 5 (“Directivity”) to Case II in order to determine all votes but one, and then, due to Property 6 (“Equality of Direct and Delegating Voters”), using the vote counts determined in Case III to solve the last vote.
x ∈ {YES, NO, ∅}We consider a new Case V that can be solved by using the previously solved Case II and applying the rules of Property 4 (“Consistency”).
x ∈ {YES, NO}We consider a new Case VI that can be solved by first applying the rules of Property 5 (“Directivity”) to Case I in order to determine all votes but one, and then, due to Property 6 (“Equality of Direct and Delegating Voters”), using the vote counts determined in Case V to solve the last vote.
x ∈ {YES, NO}We consider a new Case VII that can be solved by using the previously solved Case IV and applying the rules of Property 4 (“Consistency”).
x ∈ {YES, NO}We consider a new Case VIII that can be solved by first applying the rules of Property 5 (“Directivity”) to Case VI in order to determine all votes but one, and then, due to Property 6 (“Equality of Direct and Delegating Voters”), using the vote counts determined in Case VII to solve the last vote.
x ∈ {YES, NO}We consider a new Case IX that can be solved by using the previously solved Case VI and applying the rules of Property 4 (“Consistency”).
x ∈ {YES, NO, ∅}We consider a new Case X that can be solved by first applying the rules of Property 5 (“Directivity”) to Case IV in order to determine all votes but one, and then, due to Property 6 (“Equality of Direct and Delegating Voters”), using the vote counts determined in Case IX to solve the last vote.
x ∈ {YES, NO, ∅}We consider a new Case XI that can be solved by using the previously solved Case VIII and applying the rules of Property 4 (“Consistency”).
x ∈ {YES, NO, ∅}We consider a new Case XII that can be solved by first applying the rules of Property 5 (“Directivity”) to Case X in order to determine all votes but one, and then, due to Property 6 (“Equality of Direct and Delegating Voters”), using the vote counts determined in Case XI to solve the last vote.
x ∈ {YES, NO, ∅}We consider a new Case XIII that can be solved by using the previously solved Case X and applying the rules of Property 4 (“Consistency”).
x ∈ {YES, NO}We consider a new Case XIV that can be solved by first applying the rules of Property 5 (“Directivity”) to Case VIII in order to determine all votes but one, and then, due to Property 6 (“Equality of Direct and Delegating Voters”), using the vote counts determined in Case XIII to solve the last vote.
x ∈ {YES, NO}We consider a new Case XV that can be solved by using the previously solved Case XII and applying the rules of Property 4 (“Consistency”).
x ∈ {YES, NO}We consider a new Case XVI that can be solved by first applying the rules of Property 5 (“Directivity”) to Case XIV in order to determine all votes but one, and then, due to Property 6 (“Equality of Direct and Delegating Voters”), using the vote counts determined in Case XV to solve the last vote.
x ∈ {YES, NO}We consider a new Case XVII that can be solved by using the previously solved Case XIV and applying the rules of Property 4 (“Consistency”).
x ∈ {YES, NO, ∅}We consider a new Case XVIII that can be solved by first applying the rules of Property 5 (“Directivity”) to Case XII in order to determine all votes but one, and then, due to Property 6 (“Equality of Direct and Delegating Voters”), using the vote counts determined in Case XVII to solve the last vote.
x ∈ {YES, NO, ∅}We consider a new Case XIX that can be solved by using the previously solved Case XVI and applying the rules of Property 4 (“Consistency”).
x ∈ {YES, NO, ∅}We consider a new Case XX that can be solved by first applying the rules of Property 5 (“Directivity”) to Case XVIII in order to determine all votes but one, and then, due to Property 6 (“Equality of Direct and Delegating Voters”), using the vote counts determined in Case XIX to solve the last vote.
x ∈ {YES, NO, ∅}We consider a new Case XXI that can be solved by using the previously solved Case XVIII and applying the rules of Property 4 (“Consistency”).
x ∈ {YES, NO}We consider a new Case XXII that can be solved by first applying the rules of Property 5 (“Directivity”) to Case XVI in order to determine all votes but one, and then, due to Property 6 (“Equality of Direct and Delegating Voters”), using the vote counts determined in Case XXI to solve the last vote.
x ∈ {YES, NO}We consider a new Case XXIII that can be solved by using the previously solved Case XXII and applying the rules of Property 4 (“Consistency”).
We consider a new Case XXIV that can be solved by first applying the rules of Property 5 (“Directivity”) to Case XX in order to determine all votes but one, and then, due to Property 6 (“Equality of Direct and Delegating Voters”), using the vote counts determined in Case XXIII to solve the last vote.
We copy the delegation graph from Case XXIV and add a single NO vote (using Property 4). Despite adding a NO vote, the number of YES votes still outnumbers the number of NO votes. Thus “YES” would still win here.
We create a final Case XXVI equal to Case XXV but with the sole difference that voter K (who was previously abstaining) delegates to voter A (who was previously voting for YES through delegation). According to Property 7, “YES” would need to win in Case XXVI (because it also wins in Case XXV). However, due to symmetry of the circular structure in Case XXVI (using Property 4, Property 3, and Property 2 to transform the circular structure), we can show that (because of voter M) there must be more “NO” votes than “YES” votes, which, in turn, means that Property 7 is contradictory to the previously defined properties, quod erat demonstrandum.