Split Cycle: A New Condorcet Consistent Voting Method
Independent of Clones and Immune to Spoilers
arXiv:submit/4787844 [cs.GT] 14 Mar 2023
Wesley H. Holliday† and Eric Pacuit‡
† University of California, Berkeley (wesholliday@berkeley.edu)
‡ University of Maryland (epacuit@umd.edu)
Version of March 2023. Forthcoming in Public Choice.
Abstract
We propose a Condorcet consistent voting method that we call Split Cycle. Split Cycle belongs to
the small family of known voting methods satisfying the anti-vote-splitting criterion of independence
of clones. In this family, only Split Cycle satisfies a new criterion we call immunity to spoilers, which
concerns adding candidates to elections, as well as the known criteria of positive involvement and negative
involvement, which concern adding voters to elections. Thus, in contrast to other clone-independent
methods, Split Cycle mitigates both “spoiler effects” and “strong no show paradoxes.”
Contents
1 Introduction
1.1 The Problem of Spoilers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2
4
1.2
The Strong No Show Paradox . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8
1.3
Organization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
10
2 Preliminaries
13
2.1
Profiles, Margin Graphs, and Voting Methods . . . . . . . . . . . . . . . . . . . . . . . . . . .
13
2.2
Operations on Profiles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
14
3 Split Cycle
15
3.1
Three Main Ideas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
15
3.2
Defining Split Cycle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
17
3.3
Refinements of Split Cycle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
20
4 Spoilers, Stealers, and Stability
22
4.1
Spoilers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
25
4.2
Stealers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
26
4.3
Stability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
28
1
4.4
Expansion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5 Other Criteria
30
34
5.1
Symmetry Criteria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
34
5.2
Dominance Criteria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
34
5.3
Independence Criteria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
37
5.4
Resoluteness Criteria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
39
5.5
Monotonicity Criteria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
46
6 Conclusion
48
A Independence of Clones
49
B Participation
50
C Other Methods
53
C.1 Ranked Pairs (Tideman 1987) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
54
C.2 Beat Path (Schulze 2011) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
54
C.3 Minimax (Simpson 1969, Kramer 1977) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
55
C.4 Copeland (Copeland 1951) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
56
C.5 GETCHA (Smith 1973) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
57
C.6 GOCHA (Schwartz 1986) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
57
C.7 Uncovered Set (Fishburn 1977, Miller 1980) . . . . . . . . . . . . . . . . . . . . . . . . . . . .
58
C.8 Instant Runoff . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
60
C.9 Plurality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
61
D Frequency of Irresoluteness
1
61
Introduction
A voting method is Condorcet consistent if in any election in which one candidate is preferred by majorities
to each of the other candidates, this candidate—the Condorcet winner—is the unique winner of the election.
Condorcet consistent voting methods form an important class of methods in the theory of voting (see,
e.g., Fishburn 1977; Brams and Fishburn 2002, § 8; Zwicker 2016, § 2.4; Pacuit 2019, § 3.1.1). Although
Condorcet methods are not currently used in government elections, they have been used by several private
organizations (see Wikipedia contributors 2020b) and in over 30,000 polls through the Condorcet Internet
Voting Service (https://civs.cs.cornell.edu). Recent initiatives in the U.S. to make available Instant Runoff
Voting (Kambhampaty 2019), which uses the same ranked ballots needed for Condorcet methods, bring
Condorcet methods closer to political application. Indeed, Eric Maskin and Amartya Sen have recently
proposed the use of Condorcet methods in U.S. presidential primaries (Maskin and Sen 2016, 2017a,b). In
the meantime, Condorcet methods continue to be used by committees, clubs, etc.
2
In this paper, we propose a Condorcet consistent voting method that we call Split Cycle, which has a
number of attractive axiomatic properties.1 Split Cycle responds to a concern well expressed by a 2004 letter
to the Washington Post sent by a local organizer of the Green Party, as quoted by Miller (2019, p. 119):
[Electoral engineering] isn’t rocket science. Why is it that we can put a man on the moon but
can’t come up with a way to elect our president that allows voters to vote for their favorite
candidate, allows multiple candidates to run and present their issues and. . . [makes] the ‘spoiler’
problem. . . go away?
Starting with the problem of spoilers, Split Cycle satisfies not only the independence of clones criterion
proposed by Tideman (1987) as an anti-vote-splitting criterion but also a new criterion we call immunity
to spoilers that rules out spoiler effects not ruled out by independence of clones. What the Green Party
organizer meant by a voting method that “allows voters to vote for their favorite candidate” is open to multiple
interpretations; if it means a reasonable voting method that never provides an incentive for strategic voting,
as Miller takes it to mean, then such a method is unavailable by well-known theorems on strategic voting
(see Gibbard 1973, Satterthwaite 1973, Taylor 2005). More modestly, one may ask for a voting method such
that at the very least, voters will never cause their favorite candidate to be defeated by going to the polls
and expressing that their favorite candidate is their favorite. Understood this way, one is asking for a voting
method that satisfies the criterion of positive involvement (Saari 1995). Split Cycle satisfies this criterion,
as well as a number of other desirable criteria, including the Condorcet loser criterion, independence of
Smith-dominated alternatives, negative involvement, non-negative responsiveness, reversal symmetry, and a
criterion concerning the possibility of ties among winners that we call rejectability. In fact, Split Cycle can
be distinguished from all voting methods we know of in any of the following three ways:
• Only Split Cycle satisfies independence of clones, positive involvement, and at least one of Condorcet
consistency, non-negative responsiveness, and immunity to spoilers.2
• Only Split Cycle satisfies independence of clones and negative involvement.
• Only Split Cycle satisfies independence of clones, immunity to spoilers, and rejectability.
Split Cycle is an example of a head-to-head (or pairwise) voting method. We compare each pair of
candidates a and b in a head-to-head match. If more voters rank a above b than rank b above a, then a
wins the head-to-head match and b loses the head-to-head match. If a wins against b, then the number of
voters who rank a above b minus the number who rank b above a is a’s margin of victory over b. If one
candidate wins its matches against all other candidates, that candidate is the winner of the election. But
1 After submitting this paper, we learned from Jobst Heitzig of his notion of the “immune set” discussed in a 2004 post on the
Election-Methods mailing list (Heitzig 2004a), which is equivalent to the set of winners for Split Cycle after replacing ‘stronger’
with ‘at least as strong’ in Heitzig’s definition in the post. See Remark 3.13 for further connections with Heitzig 2002. We
subsequently learned from Markus Schulze of Steve Eppley’s notion of the “Beatpath Criterion Method” in a 2000 post on the
Election-Methods mailing list (Eppley 2000), which is defined analogously to Split Cycle except that it measures strength of
majority preference using winning votes (the number of voters who rank x above y) whereas Split Cycle uses the margin of
victory (the number of voters who rank x above y minus the number of voters who rank y above x). As far as we know, the
Split Cycle voting method has not been studied in the research literature. In a companion paper, Holliday and Pacuit 2021a,
we study Split Cycle as what is known as a collective choice rule in the social choice theory literature.
2 Among proposed non-Condorcet methods, we believe only Instant Runoff satisfies both independence of clones and positive
involvement, but it fails the non-negative responsiveness criterion, which Split Cycle satisfies, as well as immunity to spoilers
and negative involvement (see Appendix C.8).
3
there is a chance that every candidate will lose a match to some other candidate.3 When this happens, there
is a majority cycle: a list of candidates where each candidate wins against the next in the list, and the last
candidate wins against the first. For example, candidates a, b, c form a majority cycle if a wins against b, b
wins against c, and c wins against a. There can also be cycles involving more than three candidates.
Split Cycle deals with the problem of majority cycles as follows:4
1. In each cycle, identify the head-to-head win(s) with the smallest margin of victory in that cycle.
2. After completing step 1 for all cycles, discard the identified wins. All remaining wins count as defeats
of the losing candidates.
For example, if a wins against b by 1,000 votes, b wins against c by 2,000 votes, and c wins against a by
3, 000 votes, then a’s win against b is discarded. Candidate b’s win against c counts as a defeat of c unless
it appears in another cycle (involving some other candidates) with the smallest margin of victory in that
cycle. The same applies to c’s win against a. Crucially, after step 2, there is always an undefeated candidate
(see Section 3.2). If there is only one, that candidate wins the election. If there is more than one, then a
tiebreaker must be used (see Section 3.3).
In the rest of this introduction, we provide additional background to the benefits of Split Cycle: we
spell out the problem of “spoiler effects” that the independence of clones and immunity to spoiler criteria
mitigate (Section 1.1), followed by the “strong no show paradox” that the positive involvement and negative
involvement criteria rule out (Section 1.2). We then provide a roadmap of the rest of the paper in Section 1.3.
1.1
The Problem of Spoilers
Let us begin with one of the most famous recent examples of a spoiler effect in a U.S. election.
Example 1.1. In the 2000 U.S. Presidential election in Florida, run using the Plurality voting method,
George W. Bush, Al Gore, and Ralph Nader received the following votes:
2, 912, 790
2, 912, 253
97, 488
Bush
Gore
Nader
It is reasonable to assume that if Nader had dropped out before Election Day, then a sufficiently large
number of his 97,488 voters would have voted for Gore so that Gore would have won the election (Magee
2003, Herron and Lewis 2007). It is also reasonable to assume that while for some Gore voters, Nader may
have been their favorite but they strategically voted for Gore, still many more voters preferred Gore to Nader
than vice versa. So Nader would pose no direct threat to Gore in a two-person election, but by drawing
enough votes away from Gore in the three-person election, he handed the election to Bush. Thus, Nader
“spoiled” the election for Gore.
In elections where voters submit rankings of the candidates, rather than only indicating their favorite,
we can give precise content to the claim that one candidate spoiled the election for another. One possible
3 It is also possible that while no one candidate wins its matches against all others, there is at least one candidate who wins
or ties its matches against all others, where a match between a and b is tied if the same number of voters rank a above b as
rank b above a. All such candidates will count as undefeated according to the definition of Split Cycle below.
4 There is a more computationally efficient way to calculate the Split Cycle winners (see Footnote 20), but this simple two-step
procedure is appropriate for explaining the method to voters.
4
formalization uses Tideman’s (1987) criterion of independence of clones. A set C of two or more candidates
is a set of clones in an election with ranked ballots if no candidate outside of C appears in between two
candidates from C on any voter’s ballot. Suppose, for example, that if we had collected ranked ballots in
the 2000 Florida election, the results would have been as follows:
2, 912, 790
2, 912, 253
97, 488
Bush
Gore
Nader
Gore
Nader
Gore
Nader
Bush
Bush
In this imaginary election with ranked ballots, {Gore, Nader} is a set of clones, because Bush never appears
between Gore and Nader on any ballot. The independence of clones criterion says (in part) that a non-clone
candidate—in this case, Bush—should win in an election if and only if they would win after the removal of
a clone from the election. But if we remove Nader, who is a clone of Gore, we obtain the following election:
2, 912, 790
2, 912, 253
97, 488
Bush
Gore
Gore
Bush
Gore
Bush
In this election, Gore wins. Thus, this imaginary example shows that the Plurality voting method violates
independence of clones. Of course, independence of clones would not literally account for the sense in which
Nader spoiled the 2000 Florida election for Gore, even if we had in fact collected ranked ballots. For surely
some ballots would have had Bush in between Gore and Nader.
Next we give an example of a spoiler effect that cannot be captured by independence of clones.
Example 1.2. This example involving Instant Runoff Voting (IRV), also known as Ranked Choice Voting,
the Alternative Vote, or the Hare method, comes from ElectionScience.org
(https://www.electionscience.org/library/the-spoiler-effect/, accessed 2/19/2020) as “a simplified approximation of what happened in the 2009 IRV mayoral election in Burlington, Vermont.” Consider the following
election for two candidates, a Democrat d and a Progressive p (where we split the voters who prefer d to p
into two columns for comparison with the table to follow):
37
29
34
d
d
p
p
p
d
For two candidates, Instant Runoff is simply Majority Voting, so the Instant Runoff winner is d. But now
suppose an additional Republican candidate r joins the race:
37
29
34
r
d
d
p
p
d
p
r
r
Instant Runoff works by first removing the candidate who received the fewest first place votes—in this case,
candidate d—from all ballots, resulting in the following:
5
37
29
34
r
p
p
r
p
r
Now p has a majority of first place votes, so p is declared the Instant Runoff winner. Note, however, that
in the three-person election, d was the Condorcet winner: a majority of voters (66) prefer d to p, and a
majority of voters (63) prefer d to r. Yet the addition of r kicks d out of the winning spot and results in p
being the Instant Runoff winner. Thus, r spoiled the election for d.
The independence of clones criterion cannot account for the sense in which r spoiled the election for d,
because r is not a clone of any candidate. Moreover, Instant Runoff satisfies independence of clones. Thus,
independence of clones does not address all spoiler effects. A more recent example occurred in the 2022
Special General Election for U.S. Representative in Alaska on August 16, 2022: had one of the Republicans,
Palin, not been on the ballot, then (holding voter rankings fixed) the other Republican, Begich, would have
won; moreover, a majority of voters ranked Begich above Palin; and yet with Palin included, Instant Runoff
elected the Democrat in the race, making Palin a spoiler (see https://github.com/voting-tools/electionanalysis). Below we will propose a criterion of immunity to spoilers that accounts for cases like this and that
of the Burlington mayoral election.
The cost of using a voting method that allows spoiler effects is not just that elections will actually be spoiled,
as in Examples 1.1 and 1.2 (for discussion of the 2016 U.S. Presidential election, see Kurrild-Klitgaard 2018,
Woon et al. 2020, and Potthoff and Munger 2021, and for examples outside of the U.S., see Kaminski 2015,
§ 20.3.2 and Feizi et al. 2020). Another cost is that potential candidates may be discouraged from entering
close races in the first place on the grounds that they might be spoilers.
What kind of “spoiler effects” should we try to prevent? This question mixes the conceptual question
of what a “spoiler” is and the normative question of what effects we should prevent. Note that here we are
dealing only with spoiler effects in single-office elections, as matters are more complicated in multi-office
elections (see, e.g., Kaminski 2018).
First consider an obviously flawed definition of a spoiler: b is a “spoiler” for a just in case a would win
without b in the election, but when b joins, then b but not a wins. This is of course not the relevant notion,
since spoilers are not winners.
Thus, consider a second definition: b is a “spoiler” for a just in case a would win without b in the election,
but when b joins, neither a nor b wins. It is clearly necessary, in order for b to be a spoiler for a, that neither
a nor b wins after b joins, but is it sufficient? Whether or not it is sufficient according to the ordinary concept
of a spoiler, we do not think that we should prevent all such effects.5 Consider the following example, where
the diagram on the right indicates that, e.g., the number of voters who prefer a to c is one greater than the
number who prefer c to a:
5 Thus, we think it is too strong to require that a voting method satisfy the condition known as the Aïzerman property
(Laslier 1997, p. 41) or weak superset property or α
b⊆ (Brandt et al. 2018), which is equivalent to the condition that if a would
win were no candidate from a set N in the election, then after the candidates in N (the “newcomers”) join the election, if
none of the candidates in N wins, then a still wins. For the same reason, we think it is too strong to require that a voting
method satisfy the strong candidate stability property (studied for resolute voting methods in Dutta et al. 2001 and Ehlers
and Weymark 2003 and generalized to irresolute methods in Eraslan and McLellan 2004 and Rodríguez-Álvarez 2006), which
implies that if b would not win were b to join the election, then a would win with b in the election if and only if a would win
without b in the election (cf. α
b in Brandt et al. 2018). The problem with these conditions is that they ignore the majority
preference relations between a and the new candidates, which our condition of immunity to spoilers takes into account.
6
2
3
4
b
a
c
a
c
c
b
b
a
c
1
a
5
3
b
For this election, we agree with proponents of voting methods such as Minimax, Ranked Pairs, and Beat
Path (all defined in Appendix C) that c should be the winner. Everyone suffers a majority loss to someone,
but while c suffers a slight majority loss to a, a suffers a larger majority loss to b, who suffers an even larger
majority loss to c. The electorate is in a sense incoherent, and the fairest way to respond in this case is
to elect c.6 But if b had not been in the election, so we would not have had to account for the majority
preferences for b over a and for c over b, then a would have been the appropriate winner in the two-person
election. Since we agree with all of these verdicts, we do not think a voting method should prevent all effects
of the kind described in the second definition.
Similar remarks apply to a third definition (from Wikipedia contributors 2020a): b is a “spoiler” for a just
in case a would win without b in the election, and (most of ) the voters who prefer b over c also prefer a over
c, but when b joins, neither a nor b wins but rather c wins. Based on the example above, in which all voters
who prefer b over c also prefer a over c, we do not think a voting method should prevent all such effects.
The problem with the definitions of spoiler effects above is that they ignore the voters’ preferences for a
vs. b. If a majority of voters prefer b to a, then b may legitimately make a a loser, even if b does not replace
a as a winner. Thus, the only spoiler effects that we ought to rule out are those in which a is majority
preferred to b. This leads to the idea that one ought to use a voting method with the following property:
• Immunity to spoilers: if a would win without b in the election, and more voters prefer a to b than
prefer b to a, then it is not the case that when b joins the election, both a and b lose.
This captures Example 1.1 (in the imaginary version with ranked ballots), as a majority of voters prefer
Gore to Nader. Unlike independence of clones, it also captures Example 1.2, as a majority of voters prefer
the Democrat to the Republican in the Burlington election.
One way to avoid a spoiler effect of the kind identified in immunity to spoilers is that when a would win
without b in the election, and a majority of voters prefer a to b, then when b joins the election, a loses but
b wins. In this case, we say that b steals the election from a. It is hardly more desirable for b to steal the
election from a than to spoil the election for a, so we propose the property of
• Immunity to stealers: if a would win without b in the election, and more voters prefer a to b than
prefer b to a, then it is not the case that when b joins the election, a loses but b wins.
The combination of immunity to spoilers and immunity to stealers is equivalent to a criterion we call
• Stability for winners: if a would win without b in the election, and more voters prefer a to b than prefer
b to a, then when b joins, a still wins.
This criterion can be seen as extending the idea of Condorcet consistency7 to the variable-candidate setting:
a candidate who would be a winner without the newcomers and is majority preferred to all the newcomers
6 At least for a deterministic voting method. A voting method that outputs a probability distribution on the set of candidates
(see Brandt 2017) could assign nonzero probabilities to each candidate in this example. But in this paper we do not consider
probabilistic voting methods.
7 More accurately, the idea that any Condorcet winner ought to be at least tied for winning the election.
7
remains a winner after the addition of the newcomers. We will show that Split Cycle satisfies stability for
winners and hence immunity to spoilers and stealers.
Note that we are not claiming that in a particular election using a particular voting method, if there is a
candidate a such that for some b, a would win in the election without b, and more voters prefer a to b than
prefer b to a, then a ought to win. For example, suppose that in an election using the method of dictatorship,
a would have won without b in the election, i.e., a is the favorite candidate of the dictator besides b, and a
majority of voters prefer a to b. It does not follow that a ought to win the election, as, e.g., there may be a
Condorcet winner c who ought to win. Our claim is rather that one ought to use a voting method satisfying
stability for winners, which rules out dictatorship as a candidate voting method in the first place.
Another qualification is that in the statement of the axioms above, by ‘win’ we really mean at least tie
for the win. It is too much to require that these axioms hold even when we incorporate tiebreaking to select
a single winner. For a simple example, suppose that in a two-candidate election, the same number of voters
prefer a to c as prefer c to a, so there is a perfect tie; and suppose that with b included in the election, both
a and c beat b head-to-head, but a’s margin of victory over b is much larger than c’s margin of victory over
b. In this case, both a and c can argue that without b in the election, they would have won, and each of
them beats b head-to-head, so a and c should both still win, thereby avoiding a spoiler effect with respect
to b. Indeed, we will count both a and c as undefeated, according to Split Cycle. But if we need to select
a single winner, we think it is reasonable to break the tie in a’s favor when b is included in the election, as
a has a larger majority victory over b than c does, thereby breaking the symmetry between a and c. Thus,
while stability for winners should hold for the method of selecting the pre-tiebreaking winners, we should
not require it of tiebreaking procedures. We propose weaker axioms on tiebreaking procedures in Section 4.
1.2
The Strong No Show Paradox
The term “no show paradox” was coined by Fishburn and Brams (1983) for violations of what is now called
the negative involvement criterion (see Pérez 2001). This criterion states that if a candidate x is not among
the winners in an initial election scenario, then if we add to that scenario some new voters who rank x as the
(unique) last place candidate on their ballots, then the addition of those voters should not make x a winner.
Perhaps surprisingly, well-known voting methods such as Instant Runoff, Ranked Pairs, and Beat Path fail
to satisfy the negative involvement criterion. In an example of Fishburn and Brams, two voters are unable
to make it to an Instant Runoff election, due to their car breaking down. They later realize that had they
voted in the election, their least favorite candidate would have won. For a simplified version of the Fishburn
and Brams example, consider the following example for Instant Runoff (Pacuit 2019, § 3.3):
2
3
1
3
a
b
c
c
b
c
c
a
a
b
b
a
Candidate a receives the fewest first place votes, so a is eliminated in the first round. With a eliminated
from the ballots, b receives a majority of first place votes and hence wins according to Instant Runoff. But
now suppose that two additional voters with the ranking abc (so a is preferred to b and c, and b is preferred
to c) make it to the election—their car does not break down—resulting in the following:
8
4
3
1
3
a
b
b
c
c
a
c
b
c
a
b
a
Now candidate b receives the fewest first place votes, so b is eliminated in the first round. With b eliminated
from the ballots, c receives a majority of first place votes and hence wins according to Instant Runoff. Thus,
the addition of two voters who rank c last makes c the winner. This is a failure of negative involvement.
The dual of the negative involvement criterion is the positive involvement criterion (again see Saari 1995,
Pérez 2001).8 This criterion states that if a candidate x is among the winners in an initial election scenario,
then if we add to that scenario some new voters who rank x as the (unique) first place candidate on their
ballots, then the addition of these new voters should not make x a loser. Moulin (1988) gives the following
example of a failure of positive involvement for the Sequential Elimination voting method in which a faces
b in the first round, and then the winner of the first round faces c.9 In the initial election scenario, we have
the following ballots:
2
2
1
a
b
c
b
c
c
a
a
b
In the first round, a beats b (3 voters prefer a to b, and only 2 prefer b to a), and then in the second, c beats
a (3 voters prefer c to a, and only 2 prefer a to c). But now suppose two additional voters make it to the
election with the ballot cba, so we have:
2
2
1
2
a
b
c
c
b
c
a
b
c
a
b
a
Now in the first round, b beats a (4 voters prefer b to a, and only 3 prefer a to b), and then in the second, b
beats c (4 voters prefer b to c, and only 3 prefer c to b). Thus, adding voters whose favorite candidate is c
turns c from being a winner to a loser. This is a failure of positive involvement.
What is wrong with voting methods that fail negative or positive involvement? Our objection to them is
not that they incentivize a certain kind of strategic (non-)voting. All reasonable voting methods incentivize
some kind or other of strategic voting (again see Taylor 2005). Suppose we have a group of voters who will
definitely cast their ballots and vote sincerely, regardless of the electoral consequences. Thus, the voters in
the previous example who rank c first will come to the polls and cast their ballots, resulting in c losing the
election that otherwise c would have won. Since the voters do not stay home strategically, is the fact that
the voting method fails positive involvement unproblematic? Not at all. The problem is that the voting
method is responding in the wrong way to additional unequivocal support from a voter for a candidate (c is
8 Also see Kasper et al. 2019, where positive and negative involvement are called the “Top Property” and “Bottom Property”,
respectively. A closely related criterion for unique winners is given by Richelson (1978) under the name ‘voter adaptability’.
9 Unlike Instant Runoff, this is a Condorcet consistent voting method. We have slightly modified Moulin’s example to avoid
the use of a tiebreaking rule, at the expense of adding two new voters rather than one in the second election scenario.
9
the voter’s unique favorite). As an analogy, a voting method failing the non-negative responsiveness criterion
(see Section 5.5.1) also means that it can incentivize a certain kind of strategic voting; but even for a group
of always sincere voters, failing non-negative responsiveness is a flaw of a voting method because it means
that the voting method is responding in the wrong way to voters purely improving a candidate’s position
relative to other candidates.
The failure of positive or negative involvement is now sometimes called the “strong no show paradox.” 10
The reason seems to be that Moulin (1988) changed the meaning of “no show paradox” to stand not for a
violation of negative (or positive) involvement but rather for a violation of the participation criterion: if a
candidate x is the winner in an initial election, then if we add to that scenario some new voters who rank x
above y, then the addition of these new voters should not make y the winner. Crucially, it is not required
here that x is at the top of the new voters’ ballots or that y is at the bottom. In our view, this participation
criterion is problematic. To see why (as made precise in Appendix B), note that if the new voters do not
rank x at the top of their ballots and do not rank y at the bottom, then in the presence of majority cycles,
new voters having ballots with the ranking x′ x y y ′ increase the number of people who prefer x′ to x, which
may result in x′ knocking x out of contention, and increase the number of people who prefer y to y ′ , which
may result in y ′ no longer knocking y out of contention. No wonder, then, that the winner may change from
x to y. In fact, remarkably, adding new voters who rank x above y may make y’s new position vis-à-vis
other candidates perfectly symmetrical to x’s old position vis-à-vis other candidates, up to a renaming of the
candidates (again see Appendix B). A certain kind of neutrality then requires that the winner changes from
x to y. Of course, a method not satisfying participation will incentivize some strategic non-voting, as the
voters in question will have an incentive not to vote (sincerely). But again, all voting methods incentivize
strategic behavior. Thus, we are not so troubled by results showing that all Condorcet consistent voting
methods fail versions of participation11 and therefore incentivize some strategic behavior. By contrast, we
are troubled by failures of positive or negative involvement, as this shows that the method responds in the
wrong way to unequivocal support for (resp. rejection of) a candidate.
Unlike well-known voting methods such as Instant Runoff, Ranked Pairs, and Beat Path, the method we
propose in this paper, Split Cycle, satisfies positive and negative involvement. Hence it is not only immune to
spoilers but also immune to the strong no show paradox. Figure 1 illustrates how solving the spoiler problem
and the strong no show paradox leads uniquely to Split Cycle as opposed to standard voting methods.
1.3
Organization
The rest of the paper is organized as follows. In Section 2, we review some preliminary notions: profiles,
margin graphs, and voting methods, as well as operations on profiles. In Section 3, we motivate and define
our proposed voting method, Split Cycle. In Section 4, we discuss our new voting criteria concerning spoilers,
stealers, and stability, as well as a stronger criterion based on Sen’s (1971; 1993) choice-functional condition
10 Perez (2001) calls violations of positive involvement the “positive strong no show paradox” and violations of negative
involvement the “negative strong no show paradox.” Felsenthal and Tideman (2013) and Felsenthal and Nurmi (2016) call them
the “P-TOP” and “P-BOT” paradoxes, respectively.
11 Note that Moulin (1988) only proves participation failure for Condorcet consistent voting methods that are resolute, i.e.,
always pick a unique winner, which requires imposing an arbitrary tiebreaking rule that violates anonymity or neutrality (see
Section 5.1.1). Since none of the standard Condorcet consistent voting methods are resolute, one may wonder about the
significance of the fact that resolute Condorcet methods all fail participation. For discussion of the irresolute case, see Pérez
2001, Jimeno et al. 2009, and Sanver and Zwicker 2012.
10
Split Cycle
GETCHA/GOCHA
Uncovered Set
Minimax
Immunity to
Spoilers
Condorcet
Winner
Condorcet
Loser
Beat Path
Ranked Pairs
Instant Runoff
Instant Runoff
Plurality
Minimax
Plurality
Independence of
Clones
Positive
Involvement
Spoiler Problem
Negative
Involvement
Strong No Show Paradox
Figure 1: An illustration of how solving the Spoiler Problem and the Strong No Show Paradox leads uniquely
to Split Cycle as opposed to standard voting methods, some of which are displayed in gray (and defined
in Appendix C). For each of the three “roads” in the diagram and each of the displayed voting methods, a
voting method is shown on a road if and only if it satisfies all of the criteria that appear in the road lower
in the diagram than the voting method. For example, Minimax satisfies Condorcet Winner and Positive
Involvement, explaining its location on the middle road; it satisfies Negative Involvement but not Condorcet
Loser, explaining its location on the right road; and it satisfies Immunity to Spoilers but not Independence
of Clones, explaining its absence from the left road. All voting methods except Split Cycle are blocked from
entering the overlap of the three roads, but some are blocked even earlier by other criteria, as indicated by
the horizontal lines. For example, Instant Runoff is blocked by the Condorcet Winner criterion.
of expansion consistency. In Section 5, we test Split Cycle against a number of other criteria from the
literature. Our axiomatic analysis of Split Cycle and other methods is summarized in Figure 2. We conclude
in Section 6 with a brief summary and directions for further research on Split Cycle. Appendices A and B
contain proofs deferred from the main text. Appendices C and D contain definitions of other voting methods
in Figure 2 and data from simulations of Split Cycle and other voting methods, respectively.
Remark 1.3. The Split Cycle voting method is currently in use at stablevoting.org, as described in Section 3.3. An implementation in Python of Split Cycle and other methods referenced in this paper is available
at https://github.com/epacuit/splitcycle. All of the examples in the paper have been verified in a Jupyter
notebook available in the linked repository. Most of the proofs of properties of Split Cycle have been formalized in the Lean Theorem Prover at https://github.com/chasenorman/Formalized-Voting, as described
in Holliday et al. 2021.
11
Split Ranked Beat MiniGETCHA Uncovered Instant
Cycle Pairs Path max Copeland /GOCHA
Set
Runoff Plurality
Immunity to
Spoilers (4.1)
Immunity to
Stealers (4.2)
Stability for
Winners (4.3)
Expansion
Consistency, γ (4.4)
Anonymity and
Neutrality (5.1.1)
Reversal
Symmetry (5.1.2)
X
−
−
X
X
X
X
−
−
X
X⋆
−
−
−
X
X
−
−
X
−
−
−
−
X
X
−
−
X
−
−
−
−
X/−
X†
−
−
X
X
X
X
X
X
X
X
X
X
X
X
−
X
X
X
−
−
Pareto (5.2.1)
Condorcet
Winner (5.2.2)
Condorcet
Loser (5.2.2)
Smith (5.2.3)
X
X
X
X
X
−
X
X
X
X
X
X
X
X
X
X
−
−
X
X
X
−
X
X
X
X
−
X
X
X
−
X
X
X
−
−
ISDA (5.3.1)
Independence of
Clones (5.3.2)
X
X
X
−
X
X
X
−
−
X
X∗
X
−
−
X
X†
X‡
−
Rejectability (5.4.1)
X
X
X
X
−
−
−
X
X
Resolvability (5.4.2)
Non-negative
Responsiveness (5.5.1)
Positive
Involvement (5.5.2)
Negative
Involvement (5.5.2)
−
X
X
X
−
−
−
X
X
X
X
X
X
X
X
X
−
X
X
−
−
X
−
−
−
X
X
X
−
−
X
−
−
−
−
X
Figure 2: Comparison of Split Cycle to standard voting methods in terms of selected voting criteria. A X
indicates that the criterion is satisfied, while − indicates that it is not. The X⋆ indicates that Ranked Pairs
satisfies immunity to stealers in uniquely-weighted election profiles (Definition 2.4) but not in general. The
X∗ indicates that there are subtleties in how one must define Ranked Pairs to ensure full independence of
clones (together with anonymity), as discussed in Remark 5.25. For the Uncovered Set column, there are
several definitions of the Uncovered Set that are equivalent for an odd number of voters with linear ballots
but inequivalent in general; the X† indicates that while one version of the Uncovered Set (Fishburn 1977)
fails to satisfy independence of clones and expansion consistency for all profiles, other definitions satisfy both
axioms for all profiles, and all definitions do so for profiles with an odd number of voters with linear ballots.
The X‡ indicates that whether Instant Runoff satisfies independence of clones depends on how ties for the
fewest first-place votes are handled. For proofs of these claims and those in the table about voting methods
other than Split Cycle, see Appendix C.
12
2
Preliminaries
2.1
Profiles, Margin Graphs, and Voting Methods
Fix infinite sets V and X of voters and candidates, respectively. A given election will involve only finite
subsets V ⊆ V and X ⊆ X , but we want no upper bound on the number of voters or candidates who may
participate in elections. A binary relation P on X is asymmetric if for all x, y ∈ X, if xP y, then not yP x.
Let B(X) be the set of all asymmetric binary relations on X.
Definition 2.1. A profile is a pair (P, X(P)) where P : V (P) → B(X(P)) for some nonempty finite
X(P) ⊆ X and nonempty finite V (P) ⊆ V. We conflate the profile with the function P.12 We call X(P)
and V (P) the sets of candidates in P and voters in P, respectively. We call P(i) voter i’s ballot, and we
write ‘xPi y’ for (x, y) ∈ P(i).
As usual, we take xPi y to mean that voter i strictly prefers candidate x to candidate y. It is standard to
assume that Pi satisfies additional constraints beyond asymmetry, such as transitivity and even negative
transitivity (if not xPi y and not yPi z, then not yPi z). More generally, one may consider the following
classes of profiles: P, the class of all profiles; A , the class of acyclic profiles, in which each voter’s ballot is
acyclic, meaning that there are no x1 , . . . , xn ∈ X(P) with n > 1 such that for k ∈ {1, . . . , n − 1}, we have
xk Pi xk+1 , and xn = x1 ; S , the class of strict weak order profiles, in which each voter’s ballot is a strict
weak order, meaning that it is asymmetric and negatively transitive (which together imply transitivity); L ,
the class of linear profiles, in which each voter’s ballot is a linear order, meaning that it is transitive and for
all x, y ∈ X(P) with x 6= y, we have either xPi y or yPi x.
Proving that a voting method satisfies some property with respect to a larger class of profiles, like P or
A , is stronger than proving that it satisfies the property with respect to a smaller class of profiles, like L .
On the other hand, proving that a voting method does not satisfy some property with respect to a smaller
class of profiles, like L , is stronger than proving that it does not satisfy the property with respect to a larger
class of profiles, such as P or A .
Remark 2.2. By not requiring linear profiles, we can represent elections in which voters are not required to
rank all the candidates up for election. Depending on the official interpretation of what it means to leave a
candidate unranked, a ballot with unranked candidates could mean either that (i) all ranked candidates are
strictly preferred to all unranked candidates, and there are no strict preferences between unranked candidates
or that (ii) there are no strict preferences at all involving unranked candidates.
Next we define the notions of an abstract margin graph and the margin graph of a particular profile.
Definition 2.3. A margin graph is a weighted directed graph M with positive integer weights whose edge
relation is asymmetric. We say M has uniform parity if all weights of edges are even or all weights of edges
are odd, and if there are two nodes with no edge between them, then all weights are even.
Two examples of margin graphs already appeared in Section 1.1.
12 We officially define a profile as a pair (P, X(P)) due to a technicality: unlike the set of voters, the set of candidates cannot
necessarily be recovered from the function P.
13
Definition 2.4. Let P be a profile and a, b ∈ X(P). Then
M arginP (a, b) = |{i ∈ V (P) | aPi b}| − |{i ∈ V (P) | bPi a}|.
The margin graph of P, M(P), is the weighted directed graph whose set of nodes is X(P) with an edge
from a to b weighted by M arginP (a, b) when M arginP (a, b) > 0, in which case we say that a is majority
α
preferred to b. We write a →P b if α = M arginP (a, b) > 0, omitting the α when the size of the margin
is not important and P when the profile in question is clear. We say that P is uniquely weighted if for all
x, y, x′ , y ′ ∈ X(P), if x 6= y, x′ 6= y ′ , and (x, y) 6= (x′ , y ′ ), then M arginP (x, y) 6= M arginP (x′ , y ′ ).
We call the unweighted directed graph underlying M(P) the majority graph of P, denoted M (P), and
we call the edge relation of M (P) the majority relation of P.
The key fact about the relation between margin graphs and profiles is given by Debord’s Theorem.
Theorem 2.5 (Debord 1987). For any margin graph M, there is a strict weak order profile P such that M
is the margin graph of P; and if M has uniform parity, then there is a linear profile P such that M is the
margin graph of P.
Finally, we define what we mean by a voting method for the purposes of this paper.
Definition 2.6. Given a set D of profiles, a voting method on D is a function F such that for all profiles
P ∈ D, we have ∅ 6= F (P) ⊆ X(P). We call F (P) the set of winners or winning set for P under F . We
write dom(F ) for the set D on which F is defined.
As usual, if F (P) contains multiple winners, we assume that some further tiebreaking process would then
apply, though we do not fix the nature of this process (see Schwartz 1986, pp. 14-5 for further discussion).
Options include the use of a deterministic tiebreaking procedure, an even-chance lottery on F (P), a runoff
election with the candidates in F (P) in which a different set of voters may participate, etc.
2.2
Operations on Profiles
Sometimes we will be interested in combining two profiles for the same set of candidates and disjoint sets of
voters, for which we use the following notation.
Definition 2.7. Given profiles P and P′ such that X(P) = X(P′ ) and V (P) ∩ V (P′ ) = ∅, we define the
profile P + P′ : V (P) ∪ V (P′ ) → B(X(P)) such that (P + P′ )(i) = P(i) if i ∈ V (P) and (P + P′ )(i) = P′ (i)
if i ∈ V (P′ ). To add P to itself, we may take P + P∗ where P∗ is a copy of P with a disjoint set of voters.13
We will also be interested in deleting some candidates from every ballot in a profile, as follows.
Definition 2.8. Given a profile P and nonempty Y ⊆ X(P), define the restricted profile P|Y to be the
profile with X(P|Y ) = Y and V (P|Y ) = V (P) such that for each i ∈ V (P|Y ), P|Y (i) is the restriction of
the relation P(i) to Y . As a special case, when |X(P)| > 1 and x ∈ X(P), let P−x = P|X(P)\{x} , i.e., the
result of removing candidate x from each ballot.
13 I.e., X(P) = X(P∗ ), V (P) ∩ V (P∗ ) = ∅, and there is a bijection h : V (P) → V (P∗ ) such that for all i ∈ V (P) and
x, y ∈ X(P), we have xPi y if and only if xP∗h(i) y.
14
3
Split Cycle
3.1
Three Main Ideas
The “Paradox of Voting” is the phenomenon that cycles may occur in the margin graph of a profile, e.g., a
is majority preferred to b, b is majority preferred to c, and c is majority preferred to a. Recall the formal
definition of a cycle.
Definition 3.1. Given a directed graph G (e.g., a margin graph), a path in G is a sequence hx1 , . . . , xn i of
nodes from G such that n > 1 and for all i ∈ {1, . . . , n − 1}, we have xi → xi+1 , where → is the edge relation
of the graph. A cycle in G is defined in the same way but requiring x1 = xn . The cycle is simple if for all
distinct i, j ∈ {1, . . . , n}, xi = xj only if i, j ∈ {1, n} (i.e., all nodes are distinct except x1 = xn ).
The voting method we propose in this paper, Split Cycle, provides a way of dealing with the problem of
majority cycles. It is based on three main ideas:
1. Group incoherence raises the threshold for one candidate to defeat another, but not infinitely.
By “group incoherence” we mean cycles in the majority relation. Consider the margin graph on
the left again:
c
1
a
c
5
5
3
a
b
3
b
Due to the group incoherence, the margin of 1 for a over c is not sufficient for a to defeat c. But if we raise
the threshold for defeat to winning by more than 1, and we redraw the graph with an arrow from x to y if and
only if M arginP (x, y) > 1, as on the right, then the group is no longer incoherent at this threshold. Since
the group is no longer incoherent with respect to the win by more than 1 threshold, we think it is reasonable
to take c to defeat b and b to defeat a, leaving c as the winner. Thus, as suggested, group incoherence does
not raise the threshold for b to defeat a infinitely but rather only enough to eliminate any incoherence in
which b and a are involved. This shows that our proposal differs from the GETCHA and GOCHA methods
(Section 5.2.3), which take all 3-cycles to result in three-way ties regardless of the margins.14
2. Incoherence can be localized. Consider the following margin graph:
c
3
a
3
3
1
b
1
1
d
14 Cf. Tideman (1987, p. 206): “The GOCHA rule, in a sense, is only half a voting rule. It does not address the issue of what
should be done to resolve cycles.”
15
It would be a mistake to think that the margin of 1 for a over d is not sufficient for a to defeat d, due to the
incoherence involving a, b, and c, which is only eliminated by raising the threshold to win by more than 3.
For there is no incoherence with respect to d and the other candidates, all of whom are majority preferred
to d, so they all defeat d. The lesson from this example is that when deciding whether the margin of a over
d is sufficient for a to defeat d, we set the threshold in terms of the cycles (if any) involving a and d. This
shows that our proposal differs from the Minimax method, which takes the winner in the example above to
be the Condorcet loser d (see Definition 5.8).
3. Defeat is direct.
On our view, for a candidate x to defeat a candidate y, so that y is not in the set of
winners, x must have a positive margin over y. Consider the following margin graph (note that if there is
no edge between two candidates, then the margin of each candidate over the other is 0):
c
4
b
f
4
4
4
4
a
e
4
4
d
2
In this case, we think a should defeat f , but a should not defeat d. Some other voting methods, such as
Beat Path, commit one to a view that we find dubious: that even though a is not majority preferred to
d, nonetheless a should kick d out of the set of winners because of the indirect path from a to f to e to d
with margins of 4 at each step. By contrast, we adopt a direct pairwise perspective: for a to kick d out of
the winning set, a must be majority preferred to d. We find it difficult to try to explain to d’s supporters
that although a was not majority preferred to d, nonetheless a kicks d out of the winning set because of a’s
relation to other candidates, f and e, neither of whom defeat d!15 Of course reasonable definitions of defeat
cannot fully satisfy the independence of irrelevant alternatives (IIA) criterion (Arrow 1963),16 but in our
view this seems too flagrant a violation of the idea behind IIA. We endorse the following weakening of IIA,
known as weak IIA (Baigent 1987): if two profiles are alike with respect to how everyone votes on x vs. y,
then it should not be possible that in one profile, x defeats y, while in the other, y defeats x (though it should
be possible that in one, x defeats y, while in the other, neither x defeats y nor y defeats x, due to a cycle).
Let P be a profile whose margin graph is shown above, and let P′ be a profile just like P with respect to how
everyone votes on a vs. d but in which all voters have either a followed by d or d followed by a at the top
of their ballots, followed by the linear order bP′i cP′i eP′i f . In P′ , since d is majority preferred to a by 2 and
there are no cycles, surely d should defeat a, kicking a out of the winning set. Then it follows by weak IIA
that in P, a does not defeat d. Thus, weak IIA is inconsistent with the indirect notion of defeat according
to Beat Path. By contrast, it is satisfied by the direct notion of defeat we will define for Split Cycle.17
15 We
assume that e does not defeat d because of the perfect cycle involving d, f , and e.
we take IIA to state that if two profiles are alike with respect to how everyone votes on x vs. y, then x defeats y in
the one profile if and only if x defeats y in the other.
17 In fact, in Holliday and Pacuit 2021a, we characterize the Split Cycle defeat relation using an axiom of Coherent IIA that
is stronger than weak IIA.
16 Here
16
3.2
Defining Split Cycle
To define Split Cycle, in line with our first idea above, we first measure the degree of incoherence of a cycle
by the smallest margin occurring on an edge in the cycle—for if we raise our threshold above that margin,
then we split the cycle, restoring coherence at the higher threshold as in the second graph in Section 3.1.
Definition 3.2. Let P be a profile and ρ a simple cycle in M(P). The splitting number of ρ, Split#P (ρ),
3
1
5
is the smallest margin between consecutive candidates in ρ (e.g., the splitting number of a → b → c → a
is 1). We omit the subscript for P when the profile is clear from context.
Thus, for example, the splitting number of the cycle in the three-candidate margin graph in Section 3.1 is
1, while the splitting number of the cycle in the four-candidate margin graph in Section 3.1 is 3.
In line with our second idea that incoherence can be localized, when deciding whether a defeats b, we
look at all and only the simple cycles containing a and b (not at the other cycles that do not contain a and
b); and in line with our third idea about the directness of defeat, for a to defeat b, we require that the direct
margin of a over b exceeds the splitting number of every simple cycle containing a and b, which means that
that direct margin survives after we raise the threshold above those splitting numbers.
Definition 3.3. Let P be a profile and a, b ∈ X(P). Then a defeats b in P if M arginP (a, b) > 0 and
M arginP (a, b) > Split#(ρ) for every simple cycle ρ in M(P) containing a and b.
A candidate b is undefeated in P if there is no candidate who defeats b.
Remark 3.4. Just as some sports have a win by 2 rule for defeat, Split Cycle says that for a to defeat b, a
must win by more than n over b, where n is the smallest number such that there are no cycles involving a
and b in the wins by more than n relation, defined by xWPn y if M arginP (x, y) > n.
Finally, we can define the voting method we call Split Cycle:
Definition 3.5. For any profile P, the set of Split Cycle winners, SC(P), is the set of candidates who are
undefeated in P.
As explained in Section 1, one can determine SC(P) in a simple two-step process (see Footnote 20 for a faster
algorithm): 1. For each simple cycle, identify the edges with the smallest margin in that cycle. 2. After
completing step 1 for all simple cycles, discard the identified edges. All remaining edges count as defeats.
Remark 3.6. Since the only information Split Cycle uses about a profile P is its margin graph, we can also
think of Split Cycle as assigning to each margin graph M a set SC(M) of winners.
Let us consider some examples of calculating the set of Split Cycle winners.
Example 3.7. The Split Cycle winners for the margin graphs illustrating our three main ideas in Section
3.1 are as follows: in the three-candidate example, the unique Split Cycle winner is c; in the four-candidate
example, the Split Cycle winners are a, b, and c; and in the six-candidate example, the Split Cycle winners
are all candidates except f .
Example 3.8. For a more complicated example, consider the following margin graph, repeated three times
to highlight the three different simple cycles:
17
c
8
c
6
6
a
8
b
4
8
6
6
4
8
a
8
b
4
c
a
8
b
4
6
6
4
4
d
d
d
2
2
2
e
e
e
The splitting number of the cycle b → d → c → b is 4; the splitting number of the cycle b → a → c → b is
6; and the splitting number of the cycle b → a → d → c → b is 4. In each cycle, the edge with the smallest
margin in that cycle is not a defeat. After discarding these edges (i.e., the b → d edge in the red cycle, the
a → c edge in the blue cycle, and the a → d edge in the green cycle), the remaining edges are defeats:
c
D
D
D
b
a
d
D
e
Since d is the only undefeated candidate, d is the unique Split Cycle winner.
Let us now show that the set of Split Cycle winners is always nonempty.
Lemma 3.9. For a profile P, let the defeat graph of P be the directed graph whose set of nodes is X(P)
with an edge from a to b when a defeats b in P. Then for any profile P, the defeat graph of P contains no
cycles. Thus, SC(P) 6= ∅.
Proof. Suppose there is a cycle a1 Da2 D . . . Dan Da1 in the defeat graph of P, which we may assume is simple
α
α
αn−1
1
2
(since if there is any cycle, there is a simple one). This yields a simple cycle ρ = a1 −→
a2 −→
. . . −→
αn
an −→
a1 in M(P) where each margin αi is greater than the splitting number of any simple cycle containing
ai , ai+1 mod n and hence greater than the splitting number of ρ itself, which is impossible.
Remark 3.10. Like defeat relations in sports tournaments, the Split Cycle defeat relation is not necessarily
transitive: it may be, as in Example 3.8, that d defeated c, and c defeated b, while d is not among those who
defeated b—nonetheless, b is not among the winners of the tournament, having been defeated by c. Acyclicity,
as in Lemma 3.9, is sufficient for there always to be a nonempty set of winners—transitivity is not required.
18
That the Split Cycle defeat relation is acyclic but not necessarily transitive explains how it can satisfy weak
IIA without contradicting Baigent’s (1987) generalization of Arrow’s impossibility theorem (cf. Campbell
and Kelly 2000), which states that under Arrow’s axioms but with IIA weakened to weak IIA, there must be
a weak dictator (a voter i such that if i prefers x to y, then y does not defeat x socially). Baigent’s theorem
requires that the social defeat relation is not only acyclic but a strict weak order.18 Implicit here is that we
can view Split Cycle as a collective choice rule, i.e., a function mapping each profile P to a binary relation on
X(P) (cf. Sen 2017, Ch. 2*), by taking the binary relation to be the defeat relation. This is the perspective
on Split Cycle adopted in Holliday and Pacuit 2021a. However, in this paper we focus on Split Cycle as a
voting method (as in Definition 2.6) that maps each profile to a set of winners.
Another useful lemma about Split Cycle is that if a candidate z is not a winner for a profile P, then
there is some winner x and a path in the defeat graph of P from x to z.
Lemma 3.11. For any profile P and z ∈ X(P)\SC(P), there is an x ∈ SC(P) and distinct y1 , . . . , yn ∈ X(P)
with y1 = x and yn = z such that y1 Dy2 D . . . Dyn−1 Dyn .
Proof. We first find w1 , . . . , wn ∈ X(P) such that wn Dwn−1 D . . . Dw2 Dw1 and then relabel w1 , . . . , wn as
yn , . . . , y1 , so that y1 Dy2 D . . . Dyn−1 Dyn . If z ∈ X(P) \ SC(P), then setting w1 = z, there is a w2 such
that w2 Dz. If w2 ∈ SC(P), then we are done with x = w2 ; otherwise, there is a w3 such that w3 Dw2 ; and
so on. Since X(P) is finite and there are no cycles in the defeat graph of P by Lemma 3.9, we eventually
find the desired wn ∈ SC(P).
Yet another useful lemma about Split Cycle is that to check whether a defeats b, it suffices to check the
splitting number of just the simple cycles in which b immediately follows a, rather than all simple cycles
containing a and b.
Lemma 3.12. Let P be a profile and a, b ∈ X(P). Then a defeats b in P if and only if M arginP (a, b) > 0
and
M arginP (a, b) > Split#(ρ) for every simple cycle ρ in M(P) of the form a → b → x1 → · · · → xn → a.
Proof. Obviously if M arginP (a, b) is greater than the splitting number of every simple cycle containing a and
b, then it is greater than the splitting number of every simple cycle of the form a → b → x1 → · · · → xn → a.
Conversely, assume M arginP (a, b) is greater than the splitting number of every simple cycle of the form
a → b → x1 → · · · → xn → a. To show that M arginP (a, b) is greater than the splitting number of every
simple cycle containing a and b, let ρ be a simple cycle containing a and b whose splitting number is maximal
among all such cycles. If ρ contains a → b, then we are done. So suppose ρ does not contain a → b. Without
loss of generality, we may assume ρ is of the form b → x1 → · · · → xn → a → y1 → · · · → ym → b. Let ρ′ be
a → b → x1 → · · · → xn → a. It follows from our initial assumption that the splitting number of ρ′ is not
equal to the margin of the a → b edge. Since ρ has maximal splitting number of any simple cycle containing
a and b, it follows that one of the edges in ρ′ after the a → b edge has this splitting number as its margin;
for if none of the edges in ρ′ after the a → b edge has this splitting number as its margin, then since the
18 Baigent’s theorem also assumes that profiles assign strict weak orders to voters, not just linear orders, but his result also
holds for the domain of all linear profiles (also see Campbell and Kelly 2000).
19
splitting number is defined as a minimum, ρ′ has a higher splitting number than ρ, contradicting the fact
that ρ has maximal splitting number of any simple cycle containing a and b. Thus, ρ′ has splitting number
at least that of ρ, and by assumption M arginP (a, b) > Split#(ρ′ ), so we have M arginP (a, b) > Split#(ρ).
Thus, M arginP (a, b) is greater than the splitting number of every simple cycle containing a and b.
Remark 3.13. After submitting this paper, we learned from Markus Schulze that Lemma 3.12 relates Split
Cycle to the notion of immunity to binary arguments in Heitzig 2002. In particular, Split Cycle (along
with Beat Path and Ranked Pairs) satisfies all of Heitzig’s axioms (ImMα ) for 1/2 < α ≤ 1. Although
when defining choice rules, Heitzig (2002, Lemma 2 and following) only defines rules based on his notion
of strong immunity to binary arguments,19 which includes Beat Path (in his notation, the rule that selects
the common optimal elements of the chain {trS (Mα ) | 12 < α ≤ 1}), not Split Cycle, it is natural in that
setting to consider the Split Cycle rule formulated as in Lemma 3.12 as well. Heitzig’s axioms (ImMα ) are
also closely related to the notion of a stack from Zavist and Tideman 1989, defined in Section 3.3.
It will facilitate reasoning about the defeat relation to introduce one more convenient piece of notation.
Definition 3.14. Let P be a profile and a, b ∈ X(P). The cycle number of a and b in P is
Cycle#P (a, b) = max({0} ∪ {Split#(ρ) | ρ a simple cycle of the form a → b → x1 → · · · → xn → a}).
Then we can equivalently rewrite the definition of the defeat relation as follows.
Lemma 3.15. Let P be a profile and a, b ∈ X(P). Then a defeats b in P if and only if
M arginP (a, b) > Cycle#P (a, b).
We will often apply Lemmas 3.12 and 3.15 in proofs without comment.
3.3
Refinements of Split Cycle
Holliday and Pacuit 2021a argues that the Split Cycle defeat relation from Definition 3.3 provides the right
notion of one candidate defeating another in a democratic election using ranked ballots. Let us say that a
voting method F is regarded as a pre-tiebreaking voting method if one regards F (P) as the set of undefeated
candidates and regards any further narrowing of F (P) as “tiebreaking.” The political significance of this
distinction is that if F (P) contains a single winner, then that winner may be viewed as having a stronger
mandate from voters, as a result of a more unambiguous election, than a candidate who is among several
undefeated candidates in F (P) but wins by some further tiebreaking process. In this paper, we are proposing
Split Cycle as a pre-tiebreaking voting method.
Since there can be multiple undefeated candidates, the question arises of how to pick an ultimate winner
from among the undefeated. In addition to the usual non-anonymous, or non-neutral, or non-deterministic
tiebreaking procedures (e.g., let the Chair decide among the undefeated, or use seniority to decide among
the undefeated, or randomly choose an undefeated candidate), one can apply an anonymous, neutral, and
deterministic tiebreaker before resorting to tiebreakers that violates one of these properties. Indeed, one
19 Compare
Heitzig’s notion of strong immunity to Schwartz’s (1986) characterization of GOCHA in Lemma 5.14 below.
20
can view voting methods that refine Split Cycle as deterministic tiebreakers. On this approach, an election
result consists in an announcement of undefeated candidates according to Split Cycle and, in the event of
multiple undefeated candidates, the announcement of a tiebreak winner. This is precisely how Split Cycle
is used on the election website stablevoting.org, where the tiebreaking procedure is the recently proposed
Stable Voting method (Holliday and Pacuit Forthcoming).
Other refinements of Split Cycle are the well-known Beat Path (Schulze 2011, 2022) and Ranked Pairs
(Tideman 1987; Zavist and Tideman 1989) voting methods, as well as variants of Ranked Pairs such as the
River method (Heitzig 2004b). These methods may pick different candidates from among the undefeated
candidates according to Split Cycle, as shown in Example 4.6 below in the case of Ranked Pairs and Beat
Path. All of these methods, including Stable Voting, satisfy the following property, which implies that nonanonymous, non-neutral, or non-deterministic tiebreaking is only needed in non-uniquely weighted profiles.
Definition 3.16. A voting method F is quasi-resolute if for every uniquely-weighted P ∈ dom(F ), |F (P)| = 1.
That Split Cycle is not quasi-resolute is shown by Example 4.6 in the next section.
According to Beat Path, a wins in P if for every other candidate b, the strongest path from a to b in
M(P) is at least as strong as the strongest path from b to a in M(P), where the strength of a path is the
smallest margin between consecutive candidates in the path. We can relate Split Cycle to Beat Path using
the following lemma.20
Lemma 3.17. Let P be a profile and a, b ∈ X(P). Then a defeats b in P if and only if M arginP (a, b) > 0
and M arginP (a, b) > the strength of the strongest path from b to a.
Proof. By Lemma 3.12, a defeats b if and only if M arginP (a, b) is greater than 0 and the splitting number
of every simple cycle of the form a → b → x1 → · · · → xn → a. But this is equivalent to M arginP (a, b)
being greater than 0 and the strength of every path of the form b → x1 → · · · → xn → a, which is equivalent
to M arginP (a, b) being greater than 0 and the strength of the strongest path from b to a.
Lemma 3.18. For any profile P, BP (P) ⊆ SC(P), where BP is the Beat Path method.
Proof. Suppose a 6∈ SC(P), so there is a b ∈ X(P) such that b defeats a according to Split Cycle. Hence
M arginP (b, a) is greater than the strength of the strongest path from a to b by Lemma 3.17. Since b → a is
a path from b to a, it follows that the strength of the strongest path from b to a is greater than the strength
of the strongest path from a to b. Hence a 6∈ BP (P).
We can prove an analogous lemma for Ranked Pairs. To compute the Ranked Pairs winners, given a
linear order T of the edges of M(P), order the edges in M(P) from largest to smallest margin, breaking ties
according to T . Considering each edge in turn, “lock in” the edge if adding the edge to the list of already
locked-in edges does not create a cycle of locked-in edges. Then a ∈ RP (P) if there is some T such that
after running the above algorithm with T , there is no locked-in edge pointing to a. We also make use of an
alternative characterization of Ranked Pairs due to Zavist and Tideman (1989). Given a profile P, a linear
order L on X(P) is a stack for P if for any a, b ∈ X(P), if aLb, then there are distinct x1 , . . . , xn ∈ X(P)
with x1 = a and xn = b such that xi Lxi+1 and M arginP (xi , xi+1 ) ≥ M arginP (b, a) for all i ∈ {1, . . . , n−1}.
20 Since Lemma 3.17 allows us to define the Split Cycle defeat relation in terms of the strength of strongest paths, we
can efficiently calculate Split Cycle using a modification of the Floyd-Warshall algorithm used by Schulze (2011) to calculate
Beat Path. See the Python implementation at https://github.com/epacuit/splitcycle.
21
Lemma 3.19 (Zavist and Tideman 1989). For any profile P and a ∈ X(P), we have a ∈ RP (P) if and only
if a is the maximum element in some stack for P.21
Lemma 3.20. For any profile P, RP (P) ⊆ SC(P), where RP is the Ranked Pairs method.
Proof. Suppose a 6∈ SC(P), so there is some b ∈ X(P) such that M arginP (b, a) > 0 and M arginP (b, a) >
Split#(ρ) for every simple cycle ρ containing b and a. Now suppose for contradiction that a ∈ RP (P).
α
α
0
m
Then by Lemma 3.19, there are distinct y1 , . . . , ym ∈ X(P) such that a −→
y1 → · · · → ym −→
b with
α0
αm
αi ≥ M arginP (b, a) for each i ∈ {0, . . . , m}. But then ρ := b → a −→
y1 → · · · → ym −→
b is a simple cycle
such that M arginP (b, a) 6> Split#(ρ), which is a contradiction. Hence a 6∈ RP (P).
The Stable Voting method is a refinement of Split Cycle by definition: to find the Stable Voting winner
in P, order the pairs (a, b) of candidates such that a is undefeated in P from largest to smallest value of
M arginP (a, b), and declare as Stable Voting winners the candidate(s) a from the earliest pair(s) (a, b) such
that a is a Stable Voting winner in P−b . Thus, Stable Voting is defined recursively, where in the case of a
profile with a single candidate, that candidate is the Stable Voting winner. Remarkably, the Simple Stable
Voting procedure that is defined just like Stable Voting but without the requirement that a is undefeated
appears to always select from the undefeated candidates anyway in profiles that are uniquely weighted.22
Conjecture 3.21. For any uniquely-weighted profile P, SSV (P) ⊆ SC(P) and SSV (P) = SV (P), where
SSV and SV are the Simple Stable Voting and Stable Voting methods, respectively.
The cost of deterministic tiebreaking is the violation of variable-candidate and variable-voter axioms
from Sections 1.1 and 1.2 that are satisfied by Split Cycle. Beat Path and Ranked Pairs violate even weaker
axioms of partial immunity to spoilers and stealers, defined in Section 4, while Beat Path, Ranked Pairs,
and Stable Voting all violate positive involvement. Of the known quasi-resolute refinements of Split Cycle,
we prefer Stable Voting on the grounds that it satisfies an axiom of stability for winners with tiebreaking,
also defined in Section 4, which implies partial immunity to spoilers and stealers.
4
Spoilers, Stealers, and Stability
In Section 1.1, we discussed the problem of spoiler effects in elections with more than two candidates. As
noted, the independence of clones criterion (Tideman 1987) is often cited as an anti-spoiler axiom. In Section
5.3.2, we show that Split Cycle satisfies this axiom. However, independence of clones only rules out a special
type of spoiler effect, namely, vote splitting by the introduction of a similar candidate. But sometimes a
candidate b can spoil the election for a dissimilar candidate a, as in Example 1.2, where the Republican
spoiled the election for the Democrat; and in real cases of vote splitting, such as Example 1.1, the “similar
candidate” will almost never qualify as a clone in the formal sense (see Definition 5.22).
To capture perverse effects of the introduction of a candidate not covered by independence of clones, in
Section 1.1 we suggested the concepts of spoilers and stealers, defined formally as follows.
21 Using this lemma, we can also prove a strengthened version of Lemma 3.20: for any profile P and a, b ∈ X(P), if b defeats
a according to Split Cycle (Definition 3.3), then bLa for any stack L for P.
22 For non-uniquely weighted profiles, there are extremely rare examples in which SSV (P) 6⊆ SC(P). However, if one defines
Simple Stable Voting to use parallel-universe tiebreaking of tied margins in the style of Ranked Pairs (see Wang et al. 2019),
then Conjecture 3.21 implies that SSVP U T (P) ⊆ SC(P) and SSVP U T (P) = SVP U T (P) for all profiles P.
22
Definition 4.1. Let F be a voting method, P ∈ dom(F ), and a, b ∈ X(P). Then we say that:
1. b spoils the election for a in P if a ∈ F (P−b ), M arginP (a, b) > 0, a 6∈ F (P), and b 6∈ F (P);
2. b steals the election from a in P if a ∈ F (P−b ), M arginP (a, b) > 0, a 6∈ F (P), and b ∈ F (P).
Recall the three axioms from Section 1.1, now defined formally as well.
Definition 4.2. Let F be a voting method.
1. F satisfies immunity to spoilers if for P ∈ dom(F ) and a, b ∈ X(P), b does not spoil the election for a.
2. F satisfies immunity to stealers if for P ∈ dom(F ) and a, b ∈ X(P), b does not steal the election
from a.
3. F satisfies stability for winners if for P ∈ dom(F ) and a, b ∈ X(P), if a ∈ F (P−b ) and M arginP (a, b) > 0,
then a ∈ F (P).
The following is immediate from the definition.
Fact 4.3. Stability for winners is equivalent to the conjunction of immunity to spoilers and stealers.
It is useful to have terminology for a candidate a who would win without another candidate b in the
election, such that a majority of voters prefer a to b.
Definition 4.4. Given a voting method F , profile P, and a ∈ X(P), we say that a is Condorcetian for F
in P if there is some b ∈ X(P) such that a ∈ F (P−b ) and M arginP (a, b) > 0.23
That a is weakly Condorcetian for F in P is defined in the same way but with M arginP (a, b) ≥ 0.
Recall that a is a Condorcet winner if a wins against every other candidate head-to-head. In a similar
spirit, a candidate who is Condorcetian wins against X(P−b ) according to F and wins against b head-tohead. In fact, the notions of a Condorcet winner and a Condorcetian candidate are related as follows. Recall
that F is Condorcet consistent if F (P) = {a} whenever a is the Condorcet winner in P ∈ dom(F ).
Lemma 4.5. Let F be a voting method. Then (i) if F is Condorcet consistent, P ∈ dom(F ) with |X(P)| > 1,
and c is a Condorcet winner in P, then c is the unique Condorcetian candidate for F in P; and (ii) if for
any P ∈ dom(F ) with a unique Condorcetian candidate c, F (P) = {c}, then F is Condorcet consistent.
Proof. For part (i), let P and c be as in the statement. Then for any a, b ∈ X(P), if M arginP (a, b) > 0,
then b 6= c, so c ∈ X(P−b ) and hence c is the Condorcet winner in P−b , so F (P−b ) = {c} by the assumption
that F is Condorcet consistent. It follows that c is the unique Condorcetian candidate.
For part (ii), suppose c is a Condorcet winner in P. If |X(P)| = 1, then F (P) = {c}. If |X(P)| > 1, then
by part (i), c is the unique Condorcetian candidate in P and hence by the assumption on F , F (P) = {c}.
Thus, F is Condorcet consistent.
Note that in a given profile, there may be no Condorcetian candidates. For example, let F be a voting
method that applies majority rule in two-candidate profiles. Then in an election with three candidates in a
majority cycle, no candidate is Condorcetian for F ; for if a is majority preferred to b, then removing b from
the election results in a two-candidate profile in which a loses. On the other hand, there may be more than
one Condorcetian candidate, as in the following example.
23 In
Holliday and Pacuit Forthcoming, such an a is called stable for F in P.
23
Example 4.6. Assume F is a voting method such that in any three-candidate profile with a majority cycle,
if there is a candidate who has both the uniquely largest majority victory and the uniquely smallest majority
loss, that candidate is among the winners. Then in a four-candidate profile with the following margin graph,
both candidates a and c are Condorcetian for F in P (for a, remove c, and for c, remove b):
c
2
8
4
10
b
12
d
6
a
Both a and c are undefeated according to Split Cycle; Ranked Pairs picks only a; and Beat Path picks only c.
While what we called a pre-tiebreaking method in Section 3.3 can—and we think should—satisfy stability
for winners, Example 4.6 suggests that a voting method that incorporates tiebreaking cannot. Indeed, we
prove the following impossibility theorem in other work.
Theorem 4.7 (Holliday et al. Forthcoming). There is no voting method (whose domain contains all profiles
with up to four candidates) satisfying anonymity, neutrality, stability for winners, and quasi-resoluteness.
We will prove a related impossibility theorem in Section 5.4.2.
While tiebreaking is therefore inconsistent with selecting all the Condorcetian candidates, it is compatible
with selecting from among the Condorcetian candidates. These observations lead us to the following modified
axioms applicable to tiebreaking procedures.
Definition 4.8. Let F be a voting method.
1. F satisfies partial immunity to spoilers if for all P ∈ dom(F ) and a, b ∈ X(P), if a is the unique
Condorcetian candidate in P, then b does not spoil the election for a.
2. F satisfies partial immunity to stealers if for all P ∈ dom(F ) and a, b ∈ X(P), if a is the unique
Condorcetian candidate in P, then b does not steal the election from a.
3. F satisfies partial stability for winners if for all P ∈ dom(F ) and a ∈ X(P), if a is the unique
Condorcetian candidate in P, then a ∈ F (P).
4. A voting method F satisfies stability for winners with tiebreaking if for all P ∈ dom(F ) , if some
candidate is Condorcetian for F in P, then all candidates in F (P) are Condorcetian for F in P.
The logical relations between these axioms are recorded in the following.
Fact 4.9. (i) Partial stability for winners is equivalent to the conjunction of partial immunity to spoilers and
partial immunity to stealers. (ii) Stability for winners with tiebreaking implies partial stability for winners.
(iii) Stability for winners with tiebreaking and stability for winners are incomparable in strength.
24
Parts (i) and (ii) are immediate from the definitions, while part (iii) follows from facts proved in Section 4.3: Split Cycle satisfies stability for winners but not stability for winners with tiebreaking, whereas
Stable Voting satisfies stability for winners with tiebreaking but not stability for winners. But again, stability
for winners and stability for winners with tiebreaking are intended as axioms on different kinds of functions:
we regard stability for winners as an appropriate axiom for pre-tiebreaking voting methods, whereas stability
for winners with tiebreaking is an appropriate axiom for voting methods that are conceived as incorporating
tiebreaking: if there are Condorcetian candidates, then the ultimate tiebreak winner must be one of them.
4.1
Spoilers
It is easy to check that GETCHA, GOCHA, Uncovered Set, and Minimax satisfy immunity to spoilers.
However, Beat Path and Ranked Pairs do not.
Proposition 4.10. Beat Path does not satisfy even partial immunity to spoilers.
In fact, there are uniquely-weighted linear profiles P and distinct a, b, c ∈ X(P) such that with respect
to Beat Path: b spoils the election for a in P; a is the unique Condorcetian candidate; the largest margin in
P is M arginP (a, b); BP (P) = {c}, c is the Condorcet loser in P−b , and M arginP (a, c) > 0.
Proof. Let P be a linear profile whose margin graph is displayed on the right below, so the margin graph of
P−b is displayed on the left below:
e
16
e
d
16
d
14
2
6
18
4
c
6
10
8
18
4
a
c
12
10
8
b
20
a
First, it is easy to see that BP (P−b ) = {a}. Then since M arginP (a, b) > 0, a is Condorcetian for Beat
Path in P. One can also check that BP (P) = {c}. Therefore, b is a spoiler for a in P. Moreover, no
other candidate is Condorcetian for Beat Path in P, since b 6∈ BP (P−d ), c 6∈ BP (P−b ), d 6∈ BP (P−c ),
d 6∈ BP (P−e ), e 6∈ BP (P−a ), e 6∈ BP (P−b ), and e 6∈ BP (P−c ). Finally, observe that the largest margin in
P is M arginP (a, b), that in P−b , c is the Condorcet loser, and that M arginP (a, c) > 0.
Remark 4.11. For P−b as in the proof of Proposition 4.10, Split Cycle also picks {a}, so Ranked Pairs
and Stable Voting do as well, while Minimax picks the Condorcet loser {c}. In P, Split Cycle picks {a, c},
Ranked Pairs and Stable Voting pick {a}, and Minimax picks {c}.
Proposition 4.12. Ranked Pairs does not satisfy even partial immunity to spoilers.
In fact, there are uniquely-weighted linear profiles P and distinct a, b, c ∈ X(P) such that with respect
to Ranked Pairs: b spoils the election for a in P; a is the unique Condorcetian candidate in P; the largest
margin in P is M arginP (a, b); RP (P) = {c} and M arginP (a, c) > 0.
25
Proof. Let P be a profile whose margin graph is displayed on the right below, so the margin graph of P−b
is displayed on the left below:
8
d
a
8
d
10
a
20
10
4
6
2
4
18
6
18
b
14
16
e
12
c
e
12
c
First, we claim that RP (P−b ) = {a}. We lock in edges in the following order: (a, e), (e, c), (c, d); then ignore
(d, a), since locking it in would create a cycle (aecda); then (a, c), (e, d). The only candidate with no incoming
edge locked in is a, so indeed RP (P−b ) = {a}. Then since M arginP (a, b) > 0, a is Condorcetian for Ranked
Pairs in P. Next, we claim that RP (P) = {c}. We lock in edges in the following order: (a, b), (a, e), (b, e),
(c, b); then ignore (e, c), since locking it in would create a cycle (ecbe); then (d, c), (d, a); then ignore (a, c),
since locking it in would create a cycle (acda); also ignore (e, d), since locking it in would create a cycle
(daed); finally, (d, b). The only candidate with no incoming edge locked in is c, so indeed RP (P) = {c}.
Therefore, b is a spoiler for a in P. Moreover, no other candidate is Condorcetian for Ranked Pairs in P, since
b 6∈ RP (P−e ), c 6∈ RP (P−b ), c 6∈ RP (P−d ), d 6∈ RP (P−a ), d 6∈ RP (P−b ), e 6∈ RP (P−c ), and e 6∈ RP (P−d ).
Finally, observe that the largest margin in P is M arginP (a, b) and that M arginP (a, c) > 0.
Remark 4.13. For P−b in the proof of Proposition 4.12, Split Cycle, Beat Path, Stable Voting, and Minimax
all pick {a}. In P, Split Cycle picks {a, c}, while Beat Path, Stable Voting, and Minimax all pick {a}.
4.2
Stealers
As observed in § 1.1, when a would win without b in the election, and more voters prefer a to b than prefer
b to a, yet a loses when b joins, it hardly improves the situation to find that b wins; in this case, although
b does not spoil the election for a—since spoilers are by definition losers—we say that b steals the election
from a. Recall the formal definition of immunity to stealers from Definition 4.2.
Proposition 4.14. Minimax and Beat Path do not satisfy even partial immunity to stealers.
In fact, there are profiles P such that with respect to Minimax: b steals the election from a; a is the
unique Condorcetian candidate; and b is the Condorcet loser in P. The same holds for Beat Path but without
the condition that b is a Condorcet loser.
Proof. First, for Minimax, let P be a profile whose margin graph is displayed in the middle below, so the
margin graph of P−b is displayed on the left:
26
d
5
d
5
c
1
5
a
3
a
3
7
1
c
7
d
c
1
7
3
a
3
1
1
b
b
Observe that M inimax(P−b ) = {a} and M arginP (a, b) > 0. Yet M inimax(P) = {b}, so Minimax violates
immunity to stealers. Moreover, a is the only candidate who is Condorcetian for Minimax in P, and the
stealer b is the Condorcet loser in P.
For Beat Path, let P be a profile whose margin graph is displayed on the right above, so again the
margin graph of P−b is displayed on the left. Observe that BP (P−b ) = {a}, that M arginP (a, b) > 0, and
yet BP (P) = {b}, so Beat Path violates immunity to stealers. Moreover, a is the only candidate who is
Condorcetian for Beat Path in P.
Immunity to stealers reveals an interesting axiomatic difference between Beat Path and Ranked Pairs.
Proposition 4.15. Ranked Pairs satisfies immunity to stealers on uniquely-weighted profiles, though not
on all profiles.
Proof. Toward a contradiction, suppose there is a uniquely-weighted profile P and a, b ∈ X(P) with
a ∈ RP (P−b ), M arginP (a, b) > 0, and b ∈ RP (P). Since a ∈ RP (P−b ), by Lemma 3.19, there is a stack
az1 . . . zn for P−b . Now let M′ be a margin graph obtained from M(P) by changing all of b’s negative
margins (if any) against candidates in X(P) \ {a} to be positive and such that all margins between distinct
candidates in M′ are distinct, while keeping all other margins from M(P) the same. Let P′ be a profile with
M(P′ ) = M′ , which exists by Theorem 2.5. Since b ∈ RP (P), it follows that b ∈ RP (P′ ) (Tideman 1987,
p. 204) and hence RP (P′ ) = {b} since P′ is uniquely weighted. However, it is easy to see that abz1 . . . zn is
a stack for P′ , so a ∈ RP (P′ ) by Lemma 3.19, a contradiction.
To see that Ranked Pairs does not satisfy immunity to stealers on all profiles, let P be a profile whose
margin graph is displayed on the right below, so the margin graph of P−b is displayed on the left:
14
6
c
12
d
28
14
6
c
12
d
10
28
8
10
4
4
e
e
24
2
26
18
22
24
b
20
16
2
26
f
24
a
f
24
a
The only tie in margins is between (a, e) and (f, a). In P−b , if we break the tie between (a, e) and (f, a)
in favor of (a, e), then a is the Ranked Pairs winner, whereas if we break it in favor of (f, a), then e is
27
winner. Hence RP (P−b ) = {a, e}. In P, if we break the tie in favor of (a, e), then c is the Ranked Pairs
winner, whereas if we break it in favor of (f, a), then b is the winner. Hence RP (P) = {b, c}. Then since
M arginP (a, b) > 0, Ranked Pairs violates immunity to stealers.
4.3
Stability
In virtue of violating (partial) immunity to spoilers or (partial) immunity to stealers, Beat Path, Ranked
Pairs, and Minimax all violate (partial) stability for winners. By contrast, we will now prove that Split Cycle
satisfies stability for winners. In fact, it satisfies the following slightly stronger property.
Definition 4.16. A voting method F satisfies strong stability for winners if for all P ∈ dom(F ), all candidates who are weakly Condorcetian for F in P belong to F (P).
Proposition 4.17. Split Cycle satisfies strong stability for winners.
Proof. If a ∈ SC(P−b ), then for all c ∈ X(P−b ), M arginP−b (c, a) ≤ Cycle#P−b (c, a). As M arginP−b (c, a) =
M arginP (c, a) and Cycle#P−b (c, a) ≤ Cycle#P (c, a), we have that (i) for all c ∈ X(P−b ), M arginP (c, a) ≤
Cycle#P (c, a). By the assumption that M arginP (a, b) ≥ 0, we have M arginP (b, a) ≤ 0 and hence (ii)
M arginP (b, a) ≤ Cycle#P (b, a). By (i) and (ii), a ∈ SC(P).
Informally, the explanation of why Split Cycle satisfies strong stability for winners is the following, using
two of our main ideas from Section 3: since defeat is direct, if M arginP (a, b) ≥ 0, then b does not defeat
a; and since incoherence raises the threshold for defeat, and adding a candidate can increase incoherence24
but cannot decrease incoherence in the initial set of candidates, if a candidate x did not defeat a before the
addition of b, then it does not defeat a after.
As for other voting methods, GOCHA satisfies stability for winners but not strong stability for winners
(see the proof of Proposition 5.16), while GETCHA satisfies both.25 Uncovered Set satisfies stability for
winners, as well as strong stability for winners under some definitions (see Appendix C.7).
Let us now turn to stability for winners with tiebreaking. In virtue of violating immunity to spoilers
or immunity to stealers in profiles with a unique Condorcetian candidate, Beat Path, Ranked Pairs, and
Minimax all violate stability for winners with tiebreaking (recall Fact 4.9). In fact, so does Split Cycle, as
there are profiles with multiple undefeated candidates, including non-Condorcetian undefeated candidates,
and Split Cycle does not perform any further tiebreaking among undefeated candidates.
Proposition 4.18. Split Cycle does not satisfy stability for winners with tiebreaking.
Proof. Let P be a profile whose margin graph is shown below:
24 This
is why Split Cycle may allow a candidate x who is not among the winners in P−b to become a winner in P.
see that GETCHA satisfies strong stability for winners, using the definition of GETCHA in Definition 5.10, suppose a ∈ GET CHA(P−b ) and M arginP (a, b) ≥ 0. Further suppose for contradiction that a 6∈ GET CHA(P), which with
M arginP (a, b) ≥ 0 implies b 6∈ GET CHA(P), so GET CHA(P) ⊆ X(P−b ). It follows that GET CHA(P) is →P−b -dominant,
so GET CHA(P−b ) ⊆ GET CHA(P), which contradicts the facts that a ∈ GET CHA(P−b ) and a 6∈ GET CHA(P).
25 To
28
a
8
c
4
2
10
b
12
6
d
It is easy to check that SC(P) = {a, b}. Moreover, candidate a is Condorcetian for SC in P, as witnessed
by the fact that a ∈ SC(P−b ) and M arginP (a, b) > 0. However, b is not Condorcetian, as b does not win in
P−c or P−d . Thus, stability for winners with tiebreaking requires that b not win in P.
Remark 4.19. In the profile used in the proof of Proposition 4.18, Ranked Pairs and Stable Voting select
only a, while Beat Path and Minimax select only b. Here Beat Path violates partial immunity to stealers,
as a is the only Condorcetian candidate for Beat Path and yet b steals the election from a.
We think Split Cycle delivers the correct verdict that neither a nor b is defeated in the profile used
for Proposition 4.18; for if a candidate x is undefeated without a candidate y in the election, and more
voters prefer x to y than y to x, then x should still be undefeated (see Holliday and Pacuit 2021a for
extensive discussion). Yet we also recognize the practical imperative to break ties, as well as the appeal
in some cases of breaking ties deterministically as far as possible. Thus, in response to the profile used for
Proposition 4.18, one may reasonably maintain that although neither a nor b is defeated, we can break the
tie in favor of a on the grounds that a would have won without b in the election, a majority of voters prefer
a to b, and no other candidate is Condorcetian in this way. This idea leads to the axiom of stability for
winners with tiebreaking (Definition 4.8.4), which requires that only Condorcetian candidates be selected, if
such candidates exist. For example, the Stable Voting method breaks ties among Condorcetian candidates
by selecting the Condorcetian candidate(s) a with the largest margin over a candidate who shows a to be
Condorcetian. Thus, Stable Voting satisfies stability for winners with tiebreaking, as well as the following
strengthening of the axiom.
Definition 4.20. A voting method F satisfies strong stability for winners with tiebreaking if not only does
F satisfy stability for winners with tiebreaking but also for all P ∈ dom(F ), if some candidate is weakly
Condorcetian for F in P but no candidate is Condorcetian for F in P, then all candidates who win in P are
weakly Condorcetian for F in P.
Proposition 4.21. Stable Voting satisfies strong stability for winners with tiebreaking.
For a proof of stability for winners with tiebreaking that easily adapts to the strong version, see Holliday
and Pacuit Forthcoming.
Ultimately the question of whether a voting method F should satisfy stability for winners or stability for
winners with tiebreaking depends on the distinction from Section 3.3 of thinking of F as a pre-tiebreaking
method for selecting undefeated candidates or as incorporating tiebreaking among undefeated candidates.
Finally, to use the axioms discussed in this section to choose between voting methods, one can go beyond
showing that a voting method F satisfies an axiom while another method F ′ violates it. One can attempt
29
to study the probability that F ′ will violate the axiom. In fact, we think the better question is: what is
the probability that F ′ will violate the axiom, conditional on F and F ′ picking different sets of winners in
the election? After all, when choosing between F and F ′ based on how well they pick winners—as opposed
to, e.g., their computational cost—all that matters is the elections in which the voting methods disagree.
By analogy, when choosing between two insurance policies of the same cost, what matters is the different
coverage the policies provide in the event of an accident; the fact that an accident is improbable is not a
reason to dismiss as unimportant the differences in coverage.
Let us illustrate the methodology of estimating the probability that a voting method will violate an axiom
conditional on its picking different winners than another voting method that satisfies the axiom, deferring a
systematic treatment to future work (as in Holliday and Pacuit 2021b for the axiom of positive involvement).
First, we imagine Beat Path being proposed as a voting method for selecting the undefeated candidates in
an election, a problem for which we think the axiom of stability for winners should be satisfied. Table 1
shows that in linear profiles with four candidates, the least number for which Beat Path can disagree with
Split Cycle, when Beat Path does disagree with Split Cycle, Beat Path almost always violates the strong
stability for winners axiom that Split Cycle satisfies, according to several standard probability models.
10/11
20/21
50/51
100/101
500/501
1,000/1,001
5,000/5,001
IC
100%
99%
96%
94%
92%
90%
88%
IAC
100%
97%
93%
92%
90%
90%
90%
Urn
100%
97%
93%
91%
90%
90%
89%
Mallows
100%
98%
96%
93%
93%
92%
91%
Table 1: Of four-candidate linear profiles in which BP (P) 6= SC(P), the percentage in which Beat Path
violates strong stability for winners, i.e., there are a, b ∈ X(P) such that a ∈ BP (P−b ), M arginP (a, b) ≥ 0,
and a 6∈ BP (P). For each column labeled by n/n + 1, we sampled 1,000,000 profiles with n voters and
1,000,000 with n + 1 voters using the probability model named in the row, defined in Appendix D.
Second, we imagine Beat Path proposed as a voting method for breaking ties among the undefeated candidates as determined by Split Cycle, a problem for which we think the axiom of stability for winners with
tiebreaking should hold. Table 2 shows that in linear profiles with four candidates, among those in which
Beat Path disagrees with Stable Voting, a non-trivial percentage involve violations by Beat Path of the strong
stability for winners with tiebreaking axiom satisfied by Stable Voting, using the same probability models.
4.4
Expansion
Stability for winners concerns when a winner a in a profile P−b remains a winner in a profile P with one
new candidate b added. The profile P may be viewed as combining the profile P−b without b and the
two-candidate profile Pab with X(Pab ) = {a, b} that agrees with P on the ranking of a vs. b assigned to
each voter. As M arginP (a, b) ≥ 0 is equivalent (for voting methods based on majority voting) to a being
a winner in the two-candidate profile Pab , (strong) stability for winners can be restated as follows: if a is a
winner in both P−b and Pab , then a is a winner in the full profile P. We can generalize this idea to apply
not only to profiles of the form P−b and Pab but to any two subprofiles of P such that every candidate in
P appears in one of the subprofiles (“if a can win the battles separately, then a can win the war”).
30
10/11
20/21
50/51
100/101
500/501
1,000/1,001
5,000/5,001
IC
30%
24%
21%
20%
21%
23%
29%
IAC
27%
21%
19%
20%
32%
41%
59%
Urn
29%
23%
20%
21%
30%
37%
52%
Mallows
17%
13%
11%
10%
12%
13%
14%
Table 2: Of four-candidate linear profiles in which BP (P) 6= SV (P), the percentage in which Beat Path
violates strong stability for winners with tiebreaking. For each column labeled by n/n + 1, we sampled
1,000,000 profiles with n voters and 1,000,000 with n + 1 voters using the probability model named in the
row, defined in Appendix D.
Definition 4.22. A voting method F satisfies expansion consistency if for all P ∈ dom(F ) and nonempty
Y, Z ⊆ X(P) with Y ∪ Z = X(P), we have F (P|Y ) ∩ F (P|Z ) ⊆ F (P).
Since expansion consistency implies strong stability for winners for voting methods that agree with
majority rule on two-candidate profiles, all the voting methods shown to violate stability for winners in the
previous sections also violate expansion consistency.
Proposition 4.23. Split Cycle satisfies expansion consistency.
Proof. The proof is similar to that of Proposition 4.17. If a ∈ SC(P|Y ) ∩ SC(P|Z ), then for all c ∈ Y ,
M arginP|Y (c, a) ≤ Cycle#P|Y (c, a), and for all c ∈ Z, M arginP|Z (c, a) ≤ Cycle#P|Z (c, a). Clearly for all
c ∈ Y , M arginP (c, a) = M arginP|Y (c, a), and for all c ∈ Z, M arginP (c, a) = M arginP|Z (c, a). Moreover,
for all c ∈ Y , Cycle#P|Y (c, a) ≤ Cycle#P (c, a), and for all c ∈ Z, Cycle#P|Z (c, a) ≤ Cycle#P (c, a). Thus,
for all c ∈ Y ∪ Z = X(P), M arginP (c, a) ≤ Cycle#P (c, a). Hence a ∈ SC(P).
Intuitively, the reason Split Cycle satisfies expansion consistency is the following. First, given a ∈ F (P|Y ) ∩
F (P|Z ), the margins for each candidate x over a do not change from P|Y , P|Z to P. How then could a
suddenly be defeated by a candidate x in P? By our first and third main ideas in Section 3, this would
require the margin for x over a to meet the threshold for defeat determined by incoherence; but incoherence
can only increase from P|Y , P|Z to P, not decrease, so if x’s margin over a was not sufficient to defeat a in
P|Y (resp. P|Z ), then it is not sufficient to defeat a in P.
An example of a voting method satisfying stability for winners but not expansion consistency is the Banks
voting method, defined as follows.26 Say that a chain in M (P) is a subset of X(P) linearly ordered by the
majority relation of P. Then a ∈ Banks(P) if a is the maximum element with respect to the majority
relation of some maximal chain in M (P).
Proposition 4.24. Banks satisfies strong stability for winners but not expansion consistency.
Proof. For strong stability for winners, suppose a ∈ Banks(P−b ) and M arginP (a, b) ≥ 0. Hence a is the
maximum element of some maximal chain R in M (P−b ). Let R′ be a maximal chain in M (P) with R ⊆ R′ .
Since M arginP (a, b) ≥ 0, b is not the maximum of R′ , so a is the maximum of R′ , so a ∈ Banks(P).
For the violation of expansion consistency, consider a profile P with the majority graph below:
26 We
thank Felix Brandt for providing this example.
31
a
b
g
c
f
e
d
The maximal chains of M (P), ordered by the majority relation, are as follows:
(c, a, g, b)
(f, c, g)
(c, g, d, b)
(e, a, f, g)
(c, e, a, g)
(d, b, e, f )
(c, d, b, e)
(d, a, b, f )
(c, d, e, a)
(d, e, a, f ).
Then one can check that Banks(P|{a,b,c,e,f } ) ∩ Banks(P|{a,d,f,g} ) ∋ a 6∈ Banks(P) = {c, d, e, f }.
Remark 4.25. Expansion consistency as in Definition 4.22 is the analogue for voting methods of Sen’s
(1971, p. 314) expansion consistency (also known as γ) condition on choice functions. A choice function on a
nonempty set X is a function C : ℘(X)\{∅} → ℘(X)\{∅} such that for all nonempty S ⊆ X, ∅ 6= C(S) ⊆ S.
Then C satisfies expansion consistency if for all nonempty S, T ⊆ X, C(S) ∩ C(T ) ⊆ C(S ∪ T ).
To relate choice consistency conditions to social choice, Sen (1993) defines, for some fixed nonempty sets
X and V , a functional collective choice rule (FCCR) for (X, V ) to be a function f mapping each profile P
with X(P) = X and V (P) = V to a choice function f (P, ·) on X(P). Let a variable-election FCCR (VFCCR)
be a function f mapping each profile P (i.e., allowing X(P) and V (P) to vary with P) to a choice function
f (P, ·) on X(P). For voting theory, we take X(P) to be the set of candidates who appeared on the ballot
in the election scenario modeled by P—since there is no practical point in considering voting procedures
that have access to ranking information not on submitted ballots—but after the ballots are collected, some
candidates may withdraw from consideration, be rejected by higher authorities, become incapacitated, etc.,
leaving us to choose winners from some “feasible set” S ( X(P).
There are three ways to apply the notion of expansion consistency to a VFCCR f :
• f satisfies feasible expansion consistency if for all profiles P, f (P, ·) satisfies expansion consistency,
i.e., for all S, T ⊆ X(P), f (P, S) ∩ f (P, T ) ⊆ f (P, S ∪ T );
• f satisfies profile expansion consistency if for all profiles P and Y, Z ⊆ X(P) with Y ∪ Z = X(P),
f (P|Y , Y ) ∩ f (P|Z , Z) ⊆ f (P, X(P));
• f satisfies full expansion consistency if for all profiles P and Y, Z ⊆ X(P) with Y ∪ Z = X(P), S ⊆ Y ,
and T ⊆ Z, we have f (P|Y , S) ∩ f (P|Z , T ) ⊆ f (P, S ∪ T ).
Thus, profile expansion consistency and full expansion consistency constrain the relation between sets of
winners for different election scenarios involving rankings of different (but possibly overlapping or extended)
sets of candidates, modeled by different profiles; by contrast, feasible expansion consistency constrains the
choices of winners from feasible sets based on a fixed profile of rankings. All three notions of expansion
32
consistency are equivalent for VFCCRs satisfying the independence condition that for all profiles P and
nonempty S ⊆ X(P), f (P, S) = f (P|S , S). However, they are not equivalent in general. For example,
consider the global Borda count VFCCR (cf. Kelly 1988, p. 71): f (P, S) is the set of all x ∈ S such that for
all y ∈ S, the Borda score of x calculated with respect to the full profile P is at least that of y.27 Global
Borda count satisfies feasible expansion consistency but not profile expansion consistency. By contrast, both
local and global VFCCR versions of Split Cycle28 satisfy full expansion consistency.29
Remark 4.26. Expansion consistency may remind one of the reinforcement criterion (see Pivato 2013b),
but that criterion concerns combining profiles for disjoint sets of voters voting on the same set of candidates,
whereas expansion consistency concerns profiles for the same set of voters voting on different sets of candidates. Reinforcement states that for any profiles P and P′ with V (P) ∩ V (P′ ) = ∅ and X(P) = X(P′ ), if
F (P) ∩ F (P′ ) 6= ∅, then F (P + P′ ) = F (P) ∩ F (P′ ). No Condorcet consistent voting method satisfies reinforcement (see, e.g., Zwicker 2016, Proposition 2.5); we know of no non-trivial voting method that satisfies
both expansion consistency and reinforcement;30 and we do not find reinforcement normatively compelling
for all voting contexts.31 Why when the voting method is given the full information in P + P′ should it be
constrained by what it outputs when given only the limited information of P and only the limited information in P′ ? For example, for three candidates a, b, c, suppose P is the classic Condorcet paradox profile with
6 voters such that M arginP (a, b) = 2, M arginP (b, c) = 2, and M arginP (c, a) = 2, so F (P) = {a, b, c} by
fairness considerations (i.e., for any anonymous and neutral method F ), while P′ is a profile with 3 voters
such that M arginP′ (b, a) = 1, M arginP′ (a, c) = 1, and M arginP′ (b, c) = 1, so F (P′ ) = {b} by Condorcet
consistency. When we look at all the information in P + P′ , we see that a is majority preferred to every
other candidate—a is the Condorcet winner, so F (P + P′ ) = {a}. Note that b is only majority preferred to
a by a small margin in P′ , whereas a is majority preferred to b by a larger margin in P. Due to c’s poor
performance in P′ , there is no cycle in the full profile P + P′ , so although a’s margin over b failed to make
a the winner in P due to fairness considerations, a’s margin over b in the full cycle-free profile makes a the
winner, as it should. Note this also shows it is a mistake to think that given a profile like P + P′ , one can
assume that the “Condorcet component” P can be deleted from the profile, as if it contains no information,
while not changing the winning set (cf. the property of cancelling properly in Balinski and Laraki 2010,
p. 77). The Condorcet component P contains the important information that M arginP (a, b) = 2.
27 The local Borda count VFCCR (cf. Kelly 1988, p. 74) takes f (P, S) to be the set of all x ∈ S such that for all y ∈ S, the
Borda score of x calculated with respect to the restricted profile P|S is at least that of y.
28 Global Split Cycle takes f (P, S) to be the set of all x ∈ S such that for all y ∈ S, y does not defeat x according to the
defeat relation calculated with respect to P, whereas local Split Cycle uses the defeat relation calculated with respect to P|S .
29 It is more difficult to describe VFCCRs satisfying both feasible and profile but not full expansion consistency. However,
the essential point can be seen by considering a binary choice function C that for ∅ 6= S ⊆ Y ⊆ X(P) returns a nonempty
C(Y, S) ⊆ S; think of Y as determining the profile P|Y and S as determining the feasible set S ⊆ Y . Let X(P) = {a, b, c}
and let C be as follows: C({a, b, c}, {a, b, c}) = {a, b}, C({a, b, c}, {a, b}) = {b}, C({a, b, c}, {a, c}) = {a}, C({a, b, c}, {b, c}) =
{b}; C({a, b}, {a, b}) = {a}; C({a, c}, {a, c}) = {a}; C({b, c}, {b, c}) = {b}. This violates full expansion consistency because
a ∈ C({a, b}, {a, b}) ∩ C({a, c}, {a}) but a 6∈ C({a, b, c}, {a, b}). Yet for each nonempty Y ⊆ X(P), C(Y, ·) is a choice function
satisfying expansion consistency, so C satisfies feasible expansion consistency, and the choice function C ′ defined by C ′ (S) =
C(S, S) satisfies expansion consistency, so C satisfies profile expansion consistency.
30 Expansion consistency implies a weakening of Condorcet consistency—it implies that if there is a Condorcet winner, that
candidate must be among the winners. But with no other axioms, expansion consistency and reinforcement are consistent, as
they are both satisfied by the trivial voting method that always picks all candidates as winners.
31 In the context where there is a “true” ranking of the candidates of which voters have noisy perceptions, reinforcement is
satisfied by any voting method that can be rationalized as the maximum likelihood estimator for some noise model with i.i.d.
votes (see Conitzer and Sandholm 2005; Pivato 2013a).
33
5
Other Criteria
In this section, we consider how Split Cycle fairs with respect to a number of other criteria for voting methods.
We organize the criteria into five groups: symmetry criteria (5.1), dominance criteria (5.2), independence
criteria (5.3), resoluteness criteria (5.4), and monotonicity criteria (5.5).
5.1
5.1.1
Symmetry Criteria
Anonymity and Neutrality
The two most basic symmetry criteria say that permuting voter names does not change the election result
(anonymity) and permuting candidate names changes the result according to the permutation (neutrality).
Definition 5.1. Let F be a voting method.
1. F satisfies anonymity if for any P, P′ ∈ dom(F ) and X(P) = X(P′ ), if there is a permutation π of V
such that π[V (P)] = V ′ (P) and P(i) = P′ (π(i)) for all i ∈ V (P), then F (P) = F (P′ );
2. F satisfies neutrality if for any P, P′ ∈ dom(F ) with V (P) = V (P′ ), if there is a permutation τ of
X such that τ [X(P)] = X(P′ ) and for each i ∈ V (P) and x, y ∈ X(P), (x, y) ∈ P(i) if and only if
(τ (x), τ (y)) ∈ P′ (i), then τ [F (P)] = F (P′ ).
The following is obvious from the definition of Split Cycle.
Proposition 5.2. Split Cycle satisfies anonymity and neutrality.
5.1.2
Reversal Symmetry
Next we consider a criterion due to Saari (Saari 1994, § 3.1.3; Saari 1999, § 7.1) that can be seen as related
to neutrality. Neutrality implies that if we swap the places of two candidates a and b on every voter’s ballot,
then if a won the election before the swap, b should win the election after the swap. Reversal symmetry
extends this idea from pairwise swaps to full reversals of voters’ ballots.
Definition 5.3. A voting method F satisfies reversal symmetry if for any P ∈ dom(F ) with |X(P)| > 1, if
F (P) = {x}, then x 6∈ F (Pr ), where Pr is the profile such that Pri = {(x, y) | (y, x) ∈ Pi }.
Proposition 5.4. Split Cycle satisfies reversal symmetry.
Proof. Suppose P is such that |X(P)| > 1 and SC(P) = {x}. It follows by Lemma 3.11 that there
is a y ∈ X(P) such that x defeats y in P, i.e., such that M arginP (x, y) > Cycle#P (x, y). But then
since M arginP (x, y) = M arginPr (y, x) and Cycle#P (x, y) = Cycle#Pr (y, x), we have M arginPr (y, x) >
Cycle#Pr (x, y), so x 6∈ SC(Pr ).
5.2
5.2.1
Dominance Criteria
Pareto
Our first dominance criterion is the well-known Pareto principle (see, e.g., Zwicker 2016, Definition 2.6),
stating that Pareto-dominated candidates cannot be elected.
34
Definition 5.5. A voting method F satisfies Pareto if for any P ∈ dom(F ) and a, b ∈ X(P), if all voters in
P rank a above b, then b 6∈ F (P).
Proposition 5.6. Restricted to the class of acyclic profiles, Split Cycle satisfies Pareto.
Proof. Suppose all voters in P rank a above b, so M arginP (a, b) = |V (P)|. Since it is impossible to have a
|V (P)|
|V (P)|
|V (P)|
|V (P)|
|V (P)|
cycle ρ = a −→ b −→ x1 −→ . . . −→ xn −→ a in an acyclic profile, one edge of any such cycle must
have weight less than |V (P)|, so a defeats b by Lemma 3.12.
5.2.2
Condorcet Winner and Loser
The next notions of dominance are based on majority preference rather than unanimity: the Condorcet
(winner ) criterion states that a candidate who is majority preferred to every other candidate must be the
unique winner, while the Condorcet loser criterion states that a candidate who is majority dispreferred to
every other candidate must not be among the winners.
Definition 5.7. For a profile P and x ∈ X(P), we say that x is a Condorcet winner (resp. Condorcet loser )
in P if for every y ∈ X(P) \ {x}, we have M argin(x, y) > 0 (resp. M argin(y, x) > 0 and X(P) 6= {x}).
Definition 5.8. A voting method F satisfies the Condorcet (winner ) criterion (resp. Condorcet loser criterion) if for every P ∈ dom(F ) and x ∈ X(P), if x is the Condorcet winner (resp. Condorcet loser), then
F (P) = {x} (resp. x 6∈ F (P)). If F satisfies the Condorcet criterion, we say that F is Condorcet consistent.
Proposition 5.9. Split Cycle satisfies the Condorcet criterion and the Condorcet loser criterion.
Proof. If x is the Condorcet winner (resp. loser), then for every y ∈ X(P) \ {x}, we have M arginP (x, y) > 0
(resp. M arginP (y, x) > 0). It follows that x is not involved in any cycles, so for every y ∈ X(P) \ {x}, we
have M arginP (x, y) > Cycle#P (x, y) = 0 (resp. M arginP (y, x) > Cycle#P (y, x) = 0). Hence x defeats
every other candidate, so SC(P) = {x} (resp. is defeated by every other candidate, so x 6∈ SC(P)).
5.2.3
Smith and Schwartz Criteria
A strengthening of the Condorcet criterion is the Smith criterion (Smith 1973), according to which the set of
winners must be a subset of the Smith set—the smallest set of candidates such that every candidate inside the
set is majority preferred to every candidate outside the set. Following the terminology of Schwartz (1986),
we also call the Smith set the GETCHA set (“GETCHA” stands for “generalized top-choice assumption”).
Definition 5.10. Let P be a profile and S ⊆ X(P). Then S is →P -dominant if S 6= ∅ and for all x ∈ S
and y ∈ X(P) \ S, we have x →P y. Define
GET CHA(P) =
\
{S ⊆ X(P) | S is →P -dominant}.
Definition 5.11. A voting method F satisfies the Smith criterion if for any P ∈ dom(F ), we have F (P) ⊆
GET CHA(P).
Proposition 5.12. Split Cycle satisfies the Smith criterion.
35
Proof. Suppose b ∈ SC(P) \ GET CHA(P). Since b 6∈ GET CHA(P), there is an a ∈ GET CHA(P) such
that a →P b. Then since b ∈ SC(P), it follows by Lemma 3.12 that there is a simple cycle ρ of the form
a → b → x1 → · · · → xn → a. Hence one of the edges in ρ goes from a candidate outside GET CHA(P) to
a candidate inside GET CHA(P), which is a contradiction.
Next we consider a strengthening of the Smith criterion, based on the idea of the Schwartz set, or in
Schwartz’s (1986) terminology, the GOCHA set (“GOCHA” stands for “generalized optimal choice axiom”).
Definition 5.13. Let P be a profile and S ⊆ X(P). Then S is →P -undominated if for all x ∈ S and
y ∈ X(P) \ S, we have y 6→P x. Define
GOCHA(P) =
[
{S ⊆ X(P) | S is →P -undominated and no S ′ ( S is →P -undominated}.
Note that if there are no zero margins between distinct candidates in P, then GOCHA(P) = GET CHA(P).
Another useful characterization of the GOCHA set is given by the following lemma.
Lemma 5.14 (Schwartz 1986, Corollary 6.2.2). Let P be any profile, and let →∗P be the transitive closure
of →P , i.e., a →∗P b if and only if there are x1 , . . . , xn ∈ X(P) with a = x1 and b = xn such that
x1 →P · · · →P xn . Then
GOCHA(P) = {x ∈ X(P) | there is no y ∈ X(P) : y →∗P x and x 6→∗P y}.
Just as the Smith criterion states that the set of winners should always be a subset of the Smith set, the
Schwartz criterion states that the set of winners should always be a subset of the Schwartz set.
Definition 5.15. A voting method F satisfies the Schwartz criterion if for any P ∈ dom(F ), F (P) ⊆
GOCHA(P).
In contrast to Proposition 5.12, Split Cycle does not satisfy the Schwartz criterion. After the proof, we
will explain why we do not find the Schwartz criterion normatively plausible.
Proposition 5.16. Split Cycle does not satisfy the Schwartz criterion, even when restricted to linear profiles.
Proof. By Debord’s Theorem, there is a linear profile P with the following margin graph (simplifying our
example for the third idea of Section 3.1):
f
2
2
a
e
2
2
d
First, note that d ∈ SC(P) (indeed, SC(P) = {a, d, e}), because the only candidate with a positive margin
over d is e, but M arginP (e, d) 6> Cycle#P (e, d). Yet d 6∈ GOCHA(P), because a →∗P d and d 6→∗P a.
For the reasons explained in Section 3.1 for the idea that defeat is direct, we think that d should not be
kicked out of the winning set by a in the profile P used in the proof of Proposition 5.16. Thus, we do not
accept the Schwartz criterion. The profile used in the proof of Proposition 5.16 also shows the following.
36
Proposition 5.17. There is no voting method on the domain of linear profiles satisfying anonymity, neutrality, strong stability for winners, and the Schwartz criterion.
Proof. Where P is the linear profile used in the proof of Proposition 5.16, by anonymity and neutrality,
F (P−a ) = {d, e, f }. Then since M arginP (a, d) = 0, it follows by strong stability for winners that d ∈ F (P),
which contradicts the Schwartz criterion as in the proof of Proposition 5.16.
5.3
5.3.1
Independence Criteria
Independence of Smith-Dominated Alternatives
The Smith criterion of Section 5.2.3 can be strengthened to the criterion that deletion of candidates outside
the Smith set should not change the set of winners.
Definition 5.18. A voting method F satisfies independence of Smith-dominated alternatives (ISDA) if for
any P ∈ dom(F ) and x ∈ X(P) \ GET CHA(P), we have F (P) = F (P−x ).
Remark 5.19. ISDA implies the Smith criterion, since if x ∈ F (P) \ GET CHA(P), then F (P) 6= F (P−x ).
Remark 5.20. If F satisfies ISDA, then F satisfies the following inter-profile condition: for any profiles
P and P′ , where S = GET CHA(P) and S ′ = GET CHA(P′ ), if P|S = P′ |S ′ , then F (P) = F (P′ ). This
inter-profile condition may be viewed as a weakening of the independence of irrelevant alternatives.
Proposition 5.21. Split Cycle satisfies ISDA.
Proof. Suppose x ∈ X(P) \ GET CHA(P). It follows that GET CHA(P) = GET CHA(P−x ).32 Toward
showing that SC(P) = SC(P−x ), let Q, Q′ ∈ {P, P−x } with Q 6= Q′ . Suppose y ∈ SC(Q). We will show
y ∈ SC(Q′ ). For any z ∈ X(P−x ), we have
M arginP (z, y) = M arginP−x (z, y).
(1)
Hence if M arginQ (z, y) = 0, then M arginQ′ (z, y) = 0, so z does not defeat y in Q′ . Suppose instead that
M arginQ (z, y) > 0. Since y ∈ SC(Q), z does not defeat y in Q, so we have
M arginQ (z, y) < Cycle#Q (z, y).
(2)
Cycle#P (z, y) = Cycle#P−x (z, y).
(3)
Now we claim that
Since y ∈ SC(Q), y ∈ GET CHA(Q) by Proposition 5.12. Then from M arginQ (z, y) > 0, it follows that
z ∈ GET CHA(Q). Since x ∈ X(P) \ GET CHA(P) and z ∈ GET CHA(Q) = GET CHA(P), there is no
simple cycle in M(P) of the form z → y → w1 → · · · → wn → z with x ∈ {w1 , . . . , wn }, since there is no path
from a candidate outside GET CHA(P), like x, to a candidate inside GET CHA(P), like z. This establishes
32 Clearly GET CHA(P) is →
To see that
P−x -dominant, so GET CHA(P−x ) ⊆ GET CHA(P) by Definition 5.10.
GET CHA(P−x ) is →P -dominant, consider an a ∈ GET CHA(P−x ) and b ∈ X(P) \ GET CHA(P−x ). If b 6= x, then
b ∈ X(P−x ) \ GET CHA(P−x ) and hence a →P−x b because GET CHA(P−x ) is →P−x -dominant, which implies a →P b.
If b = x, then since GET CHA(P−x ) ⊆ GET CHA(P) and x ∈ X(P) \ GET CHA(P), again we have a →P b. Thus,
GET CHA(P−x ) is →P -dominant, so GET CHA(P) ⊆ GET CHA(P−x ) by Definition 5.10.
37
(3). Then together (1), (2), and (3) entail M arginQ′ (z, y) < Cycle#Q′ (z, y). Hence z does not defeat y in
Q′ . Finally, if Q′ = P, then x does not defeat y in Q′ , since y ∈ GET CHA(Q′ ) while x 6∈ GET CHA(Q′ ).
Thus, no candidate defeats y in Q′ , so y ∈ SC(Q′ ).
5.3.2
Independence of Clones
In Section 1.1, we informally discussed the anti-vote-splitting axiom of independence of clones (Tideman
1987). Recall that a set C of two or more candidates is a set of clones if no candidate outside of C appears
in between two candidates from C on any voter’s ballot.
Definition 5.22. Given a profile P, a set C ⊆ X(P) is a set of clones in P if 2 ≤ |C| < |X(P)| and for all
c, c′ ∈ C, x ∈ X(P) \ C, and i ∈ V (P), if cPi x then c′ Pi x, and if xPi c then xPi c′ .
The independence of clones criterion states that (i) removing a clone from a profile does not change which
non-clones belong to the winning set, and (ii) a clone wins in a profile if and only if after removing that
clone from the profile, one of the other clones wins in the resulting profile.
Definition 5.23. A voting method F is such that non-clone choice is independent of clones if for every
P ∈ dom(F ), set C of clones in P, c ∈ C, and a ∈ X(P) \ C,
a ∈ F (P) if and only if a ∈ F (P−c ).
F is such that clone choice is independent of clones if for every P ∈ dom(F ), set C of clones in P, and
c ∈ C,
C ∩ F (P) 6= ∅ if and only if C \ {c} ∩ F (P−c ) 6= ∅.
Finally, F satisfies independence of clones if F is such that non-clone choice is independent of clones and
clone choice is independent of clones.
We prove the following in Appendix A.
Theorem 5.24. Split Cycle satisfies independence of clones.
Remark 5.25. Tideman (1987) shows that the version of Ranked Pairs defined in Section 3.3 and Appendix C.1 satisfies the condition of independence of clones for all profiles P such that for all a, b, x, y ∈ X(P),
M arginP (a, b) = 0 only if a = b, and M arginP (a, b) = M arginP (x, y) only if (i) a = x or a and x belong
to a set of clones, and (ii) b = y or b and y belong to a set of clones. Zavist and Tideman (1989) show that
the same version of Ranked Pairs does not satisfy independence of clones for all profiles. They propose a
modified version of Ranked Pairs that satisfies independence of clones at the expense of violating anonymity.
However, as suggested by Tideman (p.c.), one can obtain an anonymous and fully clone-independent version
of Ranked Pairs for linear profiles by declaring a candidate x a winner in a linear profile P if there exists a
voter i ∈ V (P) such that the Zavist and Tideman version of Ranked Pairs declares x a winner in P when i
is the designated voter used to generate their tiebreaking ranking of candidates (TBRC).33
33 This formulation relies on the assumption that voters submit linear orders of the candidates. Zavist and Tideman allow
ties in voter ballots and use a randomizing device to generate the linear TBRC from the designated voter’s ballot, in case it
contains ties. Thus, Zavist and Tideman define a probabilistic voting method.
38
5.4
Resoluteness Criteria
In this section, we discuss criteria concerning the ability of a voting method to narrow down the set of
winners. Of course, any anonymous and neutral voting method will select all candidates as winners in a
profile in which all candidates are tied. But such profiles are highly unlikely. To rule out such cases, we
can consider uniquely-weighted profiles as in Definition 2.4. Still, some highly unlikely uniquely-weighted
profiles will produce large winning sets for Split Cycle, as shown by part 2 of the following.
Proposition 5.26.
1. For any uniquely-weighted profile P such that |X(P)| ≥ 3, we have |SC(P)| ≤ |X(P)| − 2.
2. For any n ≥ 4, there is a uniquely-weighted profile P with |X(P)| = n and |SC(P)| = |X(P)| − 2.
Proof. For part 1, pick a, b ∈ X(P) such that M arginP (a, b) is the largest margin of any edge in M(P),
which implies that M arginP (a, b) > 0. Then clearly a defeats b in P. Now pick c, d ∈ X(P) with d 6= b such
that M arginP (c, d) is the largest margin in M(P) of any edge not going to b. Suppose for contradiction
that c does not defeat d in P. Then there is a simple cycle ρ containing c and d such that M arginP (c, d) is
strictly less than the other margins along the cycle, at least one of which is a margin of an edge not going
to b. But this contradicts the fact that M arginP (c, d) is the largest margin in M(P) of any edge not going
to b. Thus, c defeats d. Hence SC(P) contains neither b nor d, so |SC(P)| ≤ |X(P)| − 2.
For part 2, consider the sequence of margin graphs of the following form (for a definition and code to
generate the sequence, see https://github.com/epacuit/splitcycle):
12
6
2
4
6
8
4
10
12
10
12
8
14
2
10
16
8
18
20
22
4
18
···
24
2
16
26
14
20
6
28
30
By Theorem 2.5, there are (linear) profiles realizing each margin graph in the sequence. In each margin graph,
the arrow from the bottom right candidate to the bottom left candidate is a defeat; all arrows pointing to
the bottom right candidate are defeats; but no other arrows are defeats, since each has the weakest margin
in a cycle. Thus, all candidates are undefeated except the bottom two candidates.
Fortunately, the margin graphs used in the proof of Proposition 5.26.2 are realized by an extremely small
proportion of profiles, as we will see with some data in Section 5.4.2.2 (Table 3). As worst-case winning set
sizes are not the best measure of the general ability of a voting method to narrow down the set of winners,
we will consider alternative resoluteness criteria in the next two subsections.
39
5.4.1
Rejectability
The next criterion we propose concerns winnowing a set of winners down to a single winner. The rejectability
criterion states that if in a profile P, candidate x is among the winners, then we should be able to make x the
unique winner in a profile P+ obtained from P by adding voters who sufficiently strengthen the rejection of
other candidates, i.e., sufficiently increase what were already non-negative margins against other candidates,
so as to defeat the others (recall our idea in Section 3 that incoherence does not raise the threshold for defeat
infinitely). Thus, if candidate a is majority preferred to b in P, then this still holds in P+ with a margin that
is at least as large and possibly larger than in P. No majority preferences are reversed from P to P+ , for if
we were to allow that, then we could simply make x the Condorcet winner in P+ , trivializing the criterion.
Definition 5.27. A voting method F satisfies rejectability if for any P ∈ dom(F ) such that |F (P)| > 1
and x ∈ F (P), there is a profile P+ ∈ dom(F ) with X(P) = X(P+ ) and V (P) ⊆ V (P+ ) such that for all
a, b ∈ X(P), if M arginP (a, b) > 0, then M arginP+ (a, b) ≥ M arginP (a, b), and F (P+ ) = {x}.
Thus, if a method fails rejectability, then for some P and x ∈ F (P), no matter how extremely we turn
majority preferences against other candidates into enormous landslides, we cannot make x the unique winner.
Rejectability is a strong criterion insofar as it rules out all irresolute C1 voting methods (as does the
resolvability criterion of Section 5.4.2). Recall that a voting method F is C1 (Fishburn 1977) if for any profiles
P and P′ , if their majority graphs (Definition 2.4) are the same—M (P) = M (P′ )—then their winners are
also the same—F (P) = F (P′ ). Copeland, GETCHA/GOCHA, and Uncovered Set are all C1.
Proposition 5.28. No anonymous and neutral C1 voting method (whose domain contains all linear profiles
with three candidates) satisfies rejectability.
Proof. Given a profile P with X(P) = {a, b, c} and whose margin graph contains the cycle a → b → c → a,
no matter the margins, an anonymous and neutral C1 method F must have F (P) = {a, b, c}; hence we can
never increase any margins in such a way that one candidate becomes the unique winner.
An example of a non-C1 method violating rejectability is the Weighted Covering method (Dutta and
Laslier 1999, Pérez-Fernández and De Baets 2018), according to which x ∈ W C(P) if there is no y ∈ X(P)
such that M arginP (y, x) > 0 and for all z ∈ X(P), M arginP (y, z) ≥ M arginP (x, z). Weighted Covering
also selects all candidates in the profile P in the proof of Proposition 5.28.
In our proof that Split Cycle satisfies rejectability, we use the following lemma.
Lemma 5.29. Split Cycle satisfies the overwhelming majority 34 criterion: for all profiles P and P′ with
X(P) = X(P′ ) and V (P) ∩ V (P′ ) = ∅, there is an n ∈ N such that for all m ∈ N with m ≥ n, we have
SC(P + mP′ ) ⊆ SC(P′ ), where mP′ = γ1 (P′ ) + · · · + γm (P′ ) with γ1 (P′ ), . . . , γm (P′ ) being copies of P′
with pairwise disjoint sets of voters (recall Definition 2.7).
Proof. Let n = 2|V (P)| + 1. To show that SC(P + mP′ ) ⊆ SC(P′ ), it suffices to show that for any
a, b ∈ X(P′ ), if a defeats b in P′ , then a defeats b in P + mP′ . Assume a defeats b in P′ , so M arginP′ (a, b) >
Cycle#P′ (a, b), so M arginP′ (a, b) − Cycle#P′ (a, b) ≥ 1. Then for all m ≥ n, since
M arginmP′ (a, b) = m × M arginP′ (a, b) and Cycle#mP′ (a, b) = m × Cycle#P′ (a, b),
34 This
is the terminology from Myerson 1995. Cf. Smith’s (1973) “Archimedean property” and Young’s (1975) “continuity.”
40
we have M arginmP′ (a, b) − Cycle#mP′ (a, b) ≥ m ≥ n = 2|V (P)| + 1. Also note that
M arginP+mP′ (a, b) ≥ M arginmP′ (a, b) − |V (P)| and Cycle#P+mP′ (a, b) ≤ Cycle#mP′ (a, b) + |V (P)|.
It follows that M arginP+mP′ (a, b) > Cycle#P+mP′ (a, b), so a defeats b in P + mP′ .
Proposition 5.30. Split Cycle satisfies rejectability.
Proof. We claim that to establish rejectability, it suffices to show that for any profile P such that |SC(P)| > 1
and x ∈ SC(P), there is a profile P′ with X(P) = X(P′ ) such that for all a, b ∈ X(P), if M arginP (a, b) > 0,
then M arginP′ (a, b) ≥ M arginP (a, b), and SC(P′ ) = {x}. For then by Lemma 5.29, there is an m ∈ N
such that SC(P + mP′ ) = {x}, and for all a, b ∈ X(P), if M arginP (a, b) > 0, then M arginP+mP′ (a, b) ≥
M arginP (a, b). As V (P) ⊆ V (P + mP′ ), we may take P+ = P + mP′ for rejectability.
Suppose |SC(P)| > 1 and x ∈ SC(P). We show how to modify the margin graph M(P) to a margin graph
M on X(P) such that (i) all edges between nodes are preserved from M(P) to M′ , (ii) no weights on edges
′
decrease from M(P) to M′ , and (iii) SC(M′ ) = {x} (recall Remark 3.6). Then Debord’s Theorem yields
a profile P′ whose margin graph is M′ . By (i)-(ii), we have that for all a, b ∈ X(P), if M arginP (a, b) > 0,
then M arginP′ (a, b) ≥ M arginP (a, b). By (iii), SC(P′ ) = {x}.
Let the set of edges in M′ be the set of all edges in M(P) plus an edge from x to any y such that
M arginP (x, y) = 0. Let n be the largest margin in M(P). Each edge (a, b) in M′ has weight either n + 1
or n + 3 according to the following rules (we use M arginM′ and Cycle#M′ with their obvious meanings):
1. if the edge (a, b) occurs on a shortest simple path35 from x to b in M′ , set M arginM′ (a, b) = n + 3;
2. otherwise, set M arginM′ (a, b) = n + 1.
We now claim that every y ∈ X(P) \ {x} is defeated in M′ .
Case 1: M arginP (x, y) ≥ 0. Then M arginM′ (x, y) = n + 3 by rule 1. Moreover, for any simple cycle ρ of
the form x → y → z1 → · · · → zk → x in M′ , we have M arginP (zk , x) > 0 by the construction of M′ from
M(P) and hence M arginM′ (zk , x) = n + 1 by rule 2, so Split#(ρ) = n + 1. Hence Cycle#M′ (x, y) = n + 1.
Thus, M arginM′ (x, y) > Cycle#M′ (x, y), so x defeats y in M′ .
Case 2: M arginP (y, x) > 0. Then since x ∈ SC(P), it follows by Lemma 3.12 that there is a simple
cycle of the form y → x → z1 → · · · → zk → y in P where x → z1 → · · · → zk → y is a shortest simple
path from x to y. Hence M arginM′ (zk , y) = n + 3 by rule 1. We claim that zk defeats y in M′ . If there
is no simple cycle of the form zk → w1 → · · · → wℓ with w1 = y and wℓ = zk in M′ , then zk defeats y in
M′ . If there is such a simple cycle ρ, then we claim that one of the edges wi → wi+1 in ρ has weight n + 1.
If there is no simple path from x to any of w2 , . . . , wℓ , this follows from rule 2 above. So suppose there is a
simple path from x to one of w2 , . . . , wℓ . Then there is a wi such that (i) the shortest path p from x to wi
is no longer than the shortest path from x to any wj . This setup is shown in Figure 3. Now we claim that
the edge wi−1 → wi in ρ has weight n + 1; for it to have weight n + 3, the edge wi−1 → wi must occur on
a shortest path from x to wi , which is impossible. For suppose p′ is a path from x to wi including the edge
wi−1 → wi . By (i), the initial segment of p′ from x to wi−1 has length at least that of p, by our choice of p;
35 A simple path in a graph is a sequence hx , . . . , x i of distinct nodes with x → x
n
1
i
i+1 for each i ∈ {1, . . . , n − 1}. The length
of a path is the number of nodes in the path minus one.
41
x
wi−1 •
n+1
• w2
y•
• wi
n+3
• w ℓ = zk
Figure 3: diagram for the proof of Proposition 5.30.
so the length of p′ is at least the length of p plus one; hence p′ is not a shortest path from x to wi . Thus,
we have proved that one of the edges wi → wi+1 has weight n + 1. Thus, Split#(ρ) = n + 1. It follows that
Cycle#M′ (zk , y) = n + 1, which with M arginM′ (zk , y) = n + 3 implies that zk defeats y in M′ .
Corollary 5.31. Beat Path and Ranked Pairs satisfy rejectability.
Proof. Let F ∈ {BP, RP } and P be a profile such that |F (P)| > 1 and x ∈ F (P). Then by Lemmas 3.18 and
3.20, |SC(P)| > 1 and x ∈ SC(P). Hence by Proposition 5.30, there is a P′ as in the definition of rejectability
such that SC(P′ ) = {x}, which implies F (P′ ) = {x} given Lemmas 3.18 and 3.20 and F (P′ ) 6= ∅.
Example 5.32. If we pick any candidate x in the majority graph shown on the left below, the proof of
Proposition 5.30 give us an algorithm to weight the edges of the majority graph such that in the resulting
margin graph x is the unique Split Cycle winner. For example, we can make a the unique winner with the
weighting on the middle graph and d the unique winner with the weighting on the right graph.
c
c
3
a
b
3
1
3
a
1
b
3
d
c
1
d
1
3
a
1
b
1
3
d
In fact, from the proof of Proposition 5.30 we can extract a proof of the following proposition about
when it is possible, starting from an arbitrary graph, to turn the graph into a margin graph in which a given
candidate is a (unique) winner for Split Cycle.
Proposition 5.33. For any asymmetric directed graph G = (G, →) and a ∈ G, the following are equivalent:
1. there is a margin graph M based on G such that a ∈ SC(M) (recall Remark 3.6);
2. there is a margin graph M based on G such that SC(M) = {a};
3. for all x ∈ G \ {a}, if x → a, then there is a simple cycle of the form x → a → y1 → · · · → yn → x in G.
42
5.4.2
Resolvability
Like the rejectability criterion of Section 5.4.1, the criteria considered in this section concern winnowing a
set of winners down to a unique winner.
5.4.2.1
Single-voter resolvability
The first criterion, single-voter resolvability, says that any tied win-
ner can be made the unique winner by adding just one new voter. We see no justification for requiring that one
voter is always sufficient, and as far as we know, no arguments for the normative necessity of this criterion are
given in the literature. Tideman (1987) uses single-voter resolvability to rule out the GOCHA method, but
this can be accomplished by rejectability instead. Indeed, we suspect that some intuitions about winnowing
sets of winners to a unique winner are better captured by rejectability than by single-voter resolvability.
Definition 5.34. Given a voting method F and D ⊆ dom(F ), we say that F satisfies single-voter resolvability
with respect to D if for any P ∈ D, if |F (P)| > 1, then for any x ∈ F (P), there is a profile P′ with
V (P) ∩ V (P′ ) = ∅ and |V (P′ )| = 1 such that F (P + P′ ) = {x}.
Proposition 5.35. Split Cycle does not satisfy single-voter resolvability even with respect to linear profiles.
Proof. Recall the margin graph of the linear profile P from the proof of Proposition 4.14 showing that
Minimax and Beat Path do not satisfy immunity to stealers:
c
3
3
3
a
3
b
1
1
d
Here SC(P) = {a, b, d}, but there is no one-voter profile P′ with SC(P + P′ ) = {a} or SC(P + P′ ) = {b},
since however each margin changes by at most one from P to P + P′ , the margins of a over d and of b over
d will still be the weakest in a cycle in M(P + P′ ).
Below we will show a deep tension between single-voter resolvability and stability for winners.
Resolvability and rejectability can be related using the following additional criterion from Smith 1973.
Definition 5.36. A voting method F satisfies homogeneity if for any P ∈ dom(F ), if P∗ is a copy of P
with a disjoint set of voters (recall Definition 2.7), then F (P) = F (P + P∗ ).
Lemma 5.37. If a voting method F satisfies homogeneity and single-voter resolvability with respect to
dom(F ), then it satisfies rejectability.
Proof. Let P ∈ dom(F ) be such that |F (P)| > 1 and x ∈ F (P). Let P∗ be a copy of P with a disjoint set
of voters. Then by homogeneity, F (P) = F (P + P∗ ). It follows by resolvability that there is a single voter
profile Q such that F (P + P∗ + Q) = {x}. Since for any a, b ∈ X(P) with M arginP (a, b) > 0, we have
M arginP+P∗ +Q (a, b) ≥ M arginP (a, b), the profile P + P∗ + Q is the desired profile P+ for rejectability.
43
5.4.2.2
Asymptotic resolvability
Another use of the term ‘resolvability’ (see Schulze 2011, § 4.2.1)
concerns the proportion of profiles with multiple winners as the number of voters goes to infinity.
Definition 5.38. For k ∈ N, a voting method F satisfies asymptotic resolvability for k candidates if the
proportion of profiles P ∈ dom(F ) with |X(P)| = k and |V (P)| = n for which |F (P)| > 1 approaches 0 as
n approaches infinity.
For comparison, recall the quasi-resoluteness condition from Section 3.3, according to which F picks a
unique winner in any uniquely-weighted profile. Since the proportion of profiles that are uniquely weighted
goes to 1 as the number of voters goes to infinity, quasi-resoluteness implies asymptotic resolvability. However,
the converse implication does not hold. For example, the Borda method (for a definition, see Pacuit 2019,
§ 2.1) is asymptotically resolvable but not quasi-resolute (e.g., consider a three-candidate election in which
M arginP (a, b) = 2, M arginP (b, c) = 4, and M arginP (c, a) = 6, in which case Borda picks b and c).
In Section 4, we discussed the tradeoff between a voting method being quasi-resolute and satisfying
stability for winners. The next result illustrates this tradeoff in the case of resolvability. We impose an
assumption that is satisfied by all voting methods based on majority margins that we know of—not only
Condorcet methods but also, e.g., Borda (see Zwicker 2016, p. 28 for a formulation of Borda as a marginbased method). Say that a voting method F satisfies the triangle property if for any uniquely-weighted
linear profile P with a majority cycle, if x has the largest margin of victory and smallest margin of loss, then
x ∈ F (P) (a property also used in Example 4.6).
The proof of Theorem 5.39 makes essential use of a theorem of Harrison-Trainor (2022) that answers one
of our conjectures.
Theorem 5.39. Suppose F is a voting method on the domain of linear profiles satisfying stability for
winners and the triangle property. Then F does not satisfy single-voter resolvability with respect to its
domain, and F does not satisfy asymptotic resolvability for any k > 3.
Proof. In this proof, all profiles are assumed to be linear.
We will use the fact that stability for winners implies the following: for any profile P, defining PG =
P|GET CHA(P) (recall Section 5.2.3), we have F (PG ) ⊆ F (P). To see this, let X(P) \ GET CHA(P) =
{b1 , . . . , bn }. Suppose a ∈ F (PG ), so a ∈ GET CHA(P). Then a → b1 , so stability for winners implies
a ∈ F (P|GET CHA(P)∪{b1 } ). Then since a → b2 , stability for winners implies a ∈ F (P|GET CHA(P)∪{b1 ,b2 } ),
and so on, until we obtain a ∈ F (P).
We will also use the notion of a qualitative margin graph, which is a pair M = (M, ≺) where M is an
asymmetric directed graph and ≺ is a strict weak order on the set of edges of M . We say that M is uniquely
weighted if ≺ is a strict linear order. Given a profile P, let the qualitative margin graph M(P) of P be
the pair (M (P), ≺P ) where M (P) is the majority graph of P, and ≺P is the relation on the set of edges
of M (P) defined by (a, b) ≺P (c, d) if M arginP (a, b) < M arginP (c, d). It follows from Debord’s Theorem
that every qualitative margin graph is realized by some profile. Harrison-Trainor (2022) proves that for any
k ≥ 1 and uniquely-weighted qualitative margin graph M with k candidates, the proportion of profiles with k
candidates and n voters realizing M does not go to 0 as n goes to infinity. Thus, asymptotic resolvability for
k candidates implies the following condition (⋆): there is no uniquely-weighted qualitative margin graph M
with k candidates such that for every profile P realizing M, |F (P)| > 1. This also follows from single-voter
resolvability: for if there exists a uniquely-weighted M such that every P realizing M has |F (P)| > 1, then
44
we can pick a profile P realizing M with sufficiently many voters (note that if P realizes M, so does P + P∗
where P∗ is a copy of P with a disjoint set of voters) such that for any single-voter profile P′ , P + P′ still
realizes M (since the differences between distinct margins are too large in P for one voter to change the
qualitative margin graph), so that |F (P + P′ )| > 1, in violation of single-voter resolvability.
Now consider any profile P with X(P) > 3 realizing a qualitative margin graph M that when restricted
to GET CHA(P) has the following form, where α ≺ γ ≺ β and γ ≺ ϕ ≺ ψ:
x2
γ
ϕ
β
x1
x3
ψ
χ
α
x4
Since α ≺ γ ≺ β, by the triangle property we have x4 ∈ F ((PG )−x3 ). Then given x4 → x3 , from stability
for winners we have x4 ∈ F (PG ) and hence x4 ∈ F (P) by the first paragraph of the proof. Since γ ≺ ϕ ≺ ψ,
by the triangle property we have x1 ∈ F ((PG )−x4 ). Then given x1 → x4 , from stability for winners we have
x1 ∈ F (PG ) and hence x1 ∈ F (P) by the first paragraph of the proof. Thus, |F (P)| > 1. Since this holds for
every P realizing M, condition (⋆) above does not hold, so neither version of resolvability holds either.
It is easy to see that Split Cycle satisfies asymptotic resolvability for k = 2 and k = 3 (for k = 3, this
follows from Proposition 5.26.1). For k > 3, since Split Cycle satisfies the triangle property and stability for
winners, Theorem 5.39 yields the following.
Corollary 5.40. For k > 3, Split Cycle does not satisfy asymptotic resolvability for k candidates.
Table 3 shows estimates for the average sizes of winning sets in the limit as the number of voters goes
to infinity for several voting methods that are not asymptotically resolvable. Estimates were obtained using
the Monte Carlo simulation technique described in Harrison-Trainor 2022, § 9, sampling 1,000,000 profiles
for each number of candidates.
3
4
5
6
7
8
9
10
20
30
1
1.01
1.03
1.06
1.08
1.11
1.14
1.16
1.42
1.62
Copeland
1.18
1.26
1.29
1.3
1.31
1.31
1.31
1.31
1.28
1.25
Uncovered Set
1.18
1.35
1.53
1.71
1.89
2.08
2.28
2.46
4.54
6.83
GETCHA
1.18
1.44
1.79
2.20
2.71
3.30
3.96
4.65
13.50
22.88
Split Cycle
Table 3: Estimated average sizes of winning sets for profiles with a given number of candidates (top row) in
the limit as the number of voters goes to infinity.
While it is certainly of theoretical interest to know whether the proportion of profiles with multiple
winners goes to 0 as the number of voters goes to infinity, for real world applications, what matters is the
proportion of profiles with multiple winners for realistic numbers of voters. In Appendix D, we provide a
45
quantitative analysis. For instance, our results show that when there are 7 candidates and up to a few
thousand voters, Split Cycle produces multiple winners on only about 1% more of such profiles than Beat
Path, which satisfies resolvability in both forms above. Our results also show that this difference in frequency
of multiple winners decreases as the number of candidates decreases. In addition, our analysis shows that
Split Cycle is substantially more resolute than GETCHA.
5.5
5.5.1
Monotonicity Criteria
Non-Negative Reponsiveness
The term ‘monotonicity’ has many meanings in voting theory. One of the standard meanings is given by the
criterion of non-negative responsiveness (Tideman 1987): lifting the position of a winner x on voters’ ballots
cannot result in x becoming a loser.
Definition 5.41. For any profiles P and P′ with V (P) = V (P′ ) and x ∈ X(P) = X(P′ ), we say that P′ is
obtained from P by a simple lift of x if the following conditions hold:
1. for all a, b ∈ X(P) \ {x} and i ∈ V (P), aPi b if and only if aP′i b;
2. for all a ∈ X(P) and i ∈ V (P), if xPi a then xP′i a;
3. for all a ∈ X(P) and i ∈ V (P), if aP′i x then aPi x.
Definition 5.42. A voting method F satisfies non-negative responsiveness if for every P ∈ dom(F ) and
x ∈ X(P), if x ∈ F (P) and P′ ∈ dom(F ) is obtained from P by a simple lift of x, then x ∈ F (P′ ).
Proposition 5.43. Split Cycle satisfies non-negative responsiveness.
Proof. Suppose x ∈ SC(P) and P′ is obtained from P by a simple lift of x. Since x ∈ SC(P), for all
y ∈ X(P), y does not defeat x in P, so M arginP (y, x) ≤ Cycle#P (y, x). We claim that y does not defeat
x in P′ either. Since P′ is obtained from P by a simple lift of x, we have M arginP′ (y, x) ≤ M arginP (y, x).
If M arginP′ (y, x) ≤ 0, then y does not defeat x in P′ , so suppose M arginP′ (y, x) > 0. We claim that
Cycle#P′ (y, x) ≥ Cycle#P (y, x) − (M arginP (y, x) − M arginP′ (y, x)).
β
α
γn−1
γ1
(4)
γn
For given any simple cycle ρ = y → x → z1 → . . . → zn → y in M(P), by Definition 5.41 we have
α′
β′
γ1
γn−1
γn
that ρ′ = y → x → z1 → . . . → zn → y is a simple cycle in M(P′ ) where α′ ≤ α and β ≤ β ′ . Hence
Split#(ρ′ ) ≥ Split#(ρ) − (M arginP (y, x) − M arginP′ (y, x)). This proves (4), which with M arginP (y, x) ≤
Cycle#P (y, x) implies M arginP′ (y, x) ≤ Cycle#P′ (y, x). Hence y does not defeat x in P′ . Since y was
arbitrary, we conclude that x ∈ SC(P′ ).
5.5.2
Positive and Negative Involvement
Like rejectability and resolvability, the next two criteria we consider—positive and negative involvement—
also concern adding voters to an election. In this case, the concern is about perverse changes to the set
of winners in light of who the new voters rank as their favorite (resp. least favorite) candidate. Recall our
discussion in Section 1.2 of violations of positive or negative involvement as “strong no show paradoxes.” The
46
criterion of positive (resp. negative) involvement ensures that if x is among the winners (resp. losers) and
we add a voter who ranks x as their favorite (resp. least favorite), then x will still be a winner (resp. loser).
Definition 5.44. F satisfies positive involvement if for any profiles P ∈ dom(F ) and P′ with X(P) = X(P′ ),
V (P) ∩ V (P′ ) = ∅, and |V (P′ )| = 1, if x ∈ F (P), P + P′ ∈ dom(F ), and for i ∈ V (P′ ), xP′i y for all
y ∈ X(P′ ) \ {x}, then x ∈ F (P + P′ ).
F satisfies negative involvement if for any profiles P ∈ dom(F ) and P′ with X(P) = X(P′ ), V (P) ∩
V (P′ ) = ∅, and |V (P′ )| = 1, if x 6∈ F (P), P + P′ ∈ dom(F ), and for i ∈ V (P′ ), yP′i x for all y ∈ X(P′ ) \ {x},
then x 6∈ F (P + P′ ).
Lemma 5.45. If F satisfies positive involvement (resp. negative involvement), then it satisfies the analogous
coalitional properties that drop the restriction that |V (P′ )| = 1.
Proof. To prove the properties for a coalition of more than one voter, add each voter in the coalition one at a
time, applying positive (resp. negative involvement) at each step. This can be iterated because the property
of x belonging to (resp. not belonging to) the winning set is preserved at each step.
Remark 5.46. It is important to distinguish positive and negative involvement from the participation
criterion (recall Section 1.2), which we discuss further in Appendix B. It is also important that positive
(resp. negative) involvement applies only when adding a voter for whom x is their unique favorite (resp. least
favorite) candidate. One may consider a related criterion concerning voters for whom x is among their favorite
(resp. least favorite) candidates (see Duddy 2014). But we see no problem with the addition of voters who
rank x and y as tied changing the winner of an election with majority cycles from x to y, given how the new
voters change x’s and y’s pairwise performance against other candidates.
None of Beat Path, Ranked Pairs, Copeland, GETCHA/GOCHA, or Uncovered Set satisfies positive or
negative involvement. The failure of positive and negative involvement has been called “a common flaw in
Condorcet voting correspondences” (Pérez 2001). However, Split Cycle does not have this flaw.
Proposition 5.47. Split Cycle satisfies positive and negative involvement.
Proof. First, consider positive involvement. We prove the contrapositive. Suppose x 6∈ SC(P + P′ ). Hence
there is a z ∈ X(P) that defeats x in P + P′ , i.e., such that
M arginP+P′ (z, x) > Cycle#P+P′ (z, x).
(5)
Cycle#P+P′ (z, x) ≥ Cycle#P (z, x) − 1,
(6)
M arginP+P′ (z, x) = M arginP (z, x) − 1.
(7)
Since |V (P′ )| = 1, we have
and since xP′i z, we have
It follows from (5)–(7) that
M arginP (z, x) > Cycle#P (z, x),
so x 6∈ SC(P).
47
Next, consider negative involvement. Suppose x 6∈ F (P). Hence there is a z ∈ X(P) that defeats x in
P, i.e., such that
M arginP (z, x) > Cycle#P (z, x).
(8)
Cycle#P+P′ (z, x) ≤ Cycle#P (z, x) + 1,
(9)
M arginP+P′ (z, x) = M arginP (z, x) + 1.
(10)
Since |V (P′ )| = 1, we have
and since zP′i x, we have
It follows from (8)–(10) that
M arginP+P′ (z, x) > Cycle#P+P′ (z, x),
so x 6∈ SC(P + P′ ).
Thus, with Split Cycle the strong no show paradox discussed in Section 1.2 is impossible.
6
Conclusion
In this paper, we have proposed the Split Cycle voting method, which can be distinguished from all methods
we know of in any of the following three ways:
• Only Split Cycle satisfies independence of clones, positive involvement, and at least one of Condorcet
consistency, monotonicity, and immunity to spoilers.
• Only Split Cycle satisfies independence of clones and negative involvement.
• Only Split Cycle satisfies independence of clones, immunity to spoilers, and rejectability.
Moreover, Split Cycle can be motivated by the three key ideas of Section 3:
1. Group incoherence raises the threshold for defeat, but not infinitely.
2. Incoherence can be localized.
3. Defeat is direct.
We think the third idea is especially important for justifying election outcomes to supporters of a candidate
who was not among the winners of the election. To try to explain to supporters of a candidate x that the
reason x is not among the winners is that another candidate y “defeated” x even though a majority of voters
prefer x to y (as is possible with the Beat Path voting method, for example) seems a recipe for complaints
of illegitimacy and resulting social instability.
There are several natural next steps for future research. For theoretical purposes, it would be desirable
to have a set of axioms that single out Split Cycle not only from known voting methods but from all possible
voting methods, providing a complete axiomatic characterization of Split Cycle (see Holliday and Pacuit
2021a and Ding et al. 2022). For both theoretical and applied purposes, it would be desirable to have a more
detailed quantitative analysis of how Split Cycle performs on profiles with various numbers of candidates
and voters. The code we are making available (recall Remark 1.3) allows any researcher to perform such
analyses. Ultimately, of course, the best test of Split Cycle will come from its continued use in practice.
48
Acknowledgements
For helpful comments, we wish to thank Felix Brandt, Yifeng Ding, Mikayla Kelley, John Moser, Chase
Norman, Dominik Peters, Markus Schulze, Warren D. Smith, Nicolaus Tideman, John Weymark, students
in the Fall 2019 seminar on Voting and Democracy at UC Berkeley, students in the Spring 2020 seminar
on Preference and Judgment Aggregation at the University of Maryland, the referees for Public Choice,
and the handling editor, Marek Kaminski. We are also grateful for feedback received from the audiences
at presentations of this work in the Logic Seminar at Stanford University on November 20, 2019, the 2nd
Games, Agents, and Incentives Workshop (GAIW@AAMAS 2020) on May 10, 2020, and the Online Social
Choice and Welfare Seminar Series on February 2, 2021.
A
Independence of Clones
In this appendix, we prove that Split Cycle satisfies independence of clones. In the following, fix a profile P
with a set C of clones and c ∈ C. Then obviously we have the following.
Lemma A.1.
1. For any a, b ∈ X(P) \ {c}, M arginP (a, b) = M arginP−c (a, b).
2. For any b ∈ X(P) \ C and e ∈ C \ {c}, M arginP (c, b) = M arginP−c (e, b).
Next we show that certain cycle numbers do not change from P to P−c . For this we use the following
key lemma.
Lemma A.2. For any c1 , c2 ∈ C with c1 6= c2 and simple cycle ρ in M(P) that contains c1 and some nonclone, the sequence ρ′ obtained from ρ by replacing all clones in ρ by c2 and then replacing any subsequence
c2 , . . . , c2 by c2 is a simple cycle in M(P) such that Split#(ρ′ ) ≥ Split#(ρ).
Proof. For any a ∈ X(P) \ C and d ∈ C, if a → d (resp. d → a) occurs in ρ with margin α in M(P), then by
the definition of a set of clones (Definition 5.22), we have a → c2 (resp. c2 → a) with margin α in M(P). It
follows that ρ′ is a simple cycle in M(P) and that the margins between successive candidates in ρ′ already
occurred as margins between successive candidates in ρ, which implies Split#(ρ′ ) ≥ Split#(ρ).
Lemma A.3. For any a ∈ X(P) \ {c} and b ∈ X(P) \ C, we have Cycle#P (a, b) = Cycle#P−c (a, b).
Proof. First, observe that any simple cycle in M(P−c ) is also a simple cycle with the same margins in M(P).
Hence Cycle#P (a, b) ≥ Cycle#P−c (a, b).
Second, to show Cycle#P (a, b) ≤ Cycle#P−c (a, b), it suffices to show that for every simple cycle ρ in
M(P) extending a → b, there is a simple cycle ρ′ in M(P−c ) extending a → b such that Split#(ρ′ ) ≥
Split#(ρ). If ρ does not contain c, then take ρ′ = ρ. Suppose ρ does contain c. Case 1: a ∈ C. Then
apply Lemma A.2 with c1 := c and c2 := a to obtain a simple cycle ρ′ in M(P) extending a → b, but
not containing c, such that Split#(ρ′ ) ≥ Split#(ρ); since ρ′ does not contain c, it is also a simple cycle in
M(P−c ) with the desired properties. Case 2: a 6∈ C. Then apply Lemma A.2 with c1 := c, c2 ∈ C \ {c} and
reason as in Case 1.
Lemma A.4. Let d ∈ C and e ∈ C \ {c}.
49
1. For any b ∈ X(P) \ C, Cycle#P (d, b) = Cycle#P−c (e, b);
2. For any a ∈ X(P) \ C, Cycle#P (a, d) = Cycle#P−c (a, e).
Proof. For part 1, for any simple cycle ρ in M(P) extending d → b, by Lemma A.2 with c1 := d and c2 := e,
there is a simple cycle ρ′ in M(P) extending e → b, but not containing c (since e ∈ C \ {c}), such that
Split#(ρ′ ) ≥ Split#(ρ). Since ρ′ does not contain c, it is also a simple cycle in M(P−c ) extending e → b
with the same margins. Hence Cycle#P (d, b) ≤ Cycle#P−c (e, b). Next, suppose ρ is a simple cycle in
M(P−c ) extending e → b. Then ρ is also a simple cycle in M(P) extending e → b with the same margins.
Thus, by Lemma A.2 with c1 := e and c2 := d, there is a simple cycle ρ′ in M(P) extending d → b such that
Split#(ρ′ ) ≥ Split#(ρ). Hence Cycle#P (d, b) ≥ Cycle#P−c (e, b).
The proof of part 2 is analogous.
Proposition A.5. For any b ∈ X(P) \ C, we have b ∈ SC(P) if and only if b ∈ SC(P−c ). Hence Split
Cycle is such that non-clone choice is independent of clones.
Proof. Suppose b 6∈ SC(P−c ), so there is an a ∈ X(P) \ {c} such that a defeats b in P−c . Then by Lemmas
A.1.1 and A.3, a defeats b in P. Now suppose b 6∈ SC(P), so there is an a ∈ X(P) such that a defeats b
in P. Case 1: a 6= c. Then by Lemmas A.1.1 and A.3 again, a defeats b in P−c . Case 2: a = c. Then by
Lemmas A.1.2 and A.4.1 with d := c, each e ∈ C \ {c} defeats b in P−c .
Proposition A.6. C ∩ SC(P) 6= ∅ if and only if C \ {c} ∩ SC(P−c ) 6= ∅. Hence Split Cycle is such that
clone choice is independent of clones.
Proof. Suppose C ∩ SC(P) = ∅. Hence every clone in C is defeated in P. Since the defeat graph for P
contains no cycles (Lemma 3.9), it follows that there is some a ∈ X(P) \ C that defeats some d ∈ C in P.
It then follows by the definition of a set of clones (Definition 5.22), Lemma A.1.1, and Lemma A.4.2 that
a defeats every e ∈ C \ {c} in P−c . Hence C \ {c} ∩ SC(P−c ) = ∅. Similarly, if C \ {c} ∩ SC(P−c ) = ∅,
then there is some a ∈ X(P−c ) \ C that defeats some e ∈ C \ {c} in P−c . It then follows by Definition 5.22,
Lemma A.1.1, and Lemma A.4.2 that a defeats every d ∈ C in P. Hence C ∩ SC(P) = ∅.
Theorem A.7. Split Cycle satisfies independence of clones.
Proof. By Propositions A.5 and A.6.
B
Participation
In Sections 1.2 and 5.5.2 on positive and negative involvement, we mentioned the related participation
criterion. Participation is usually stated for resolute voting methods: if x is the winner in a profile, and
we add to the profile a new voter who strictly prefers x to y, then y is not the winner in the resulting
profile. (Note that there is no requirement that x be at the top of the new voter’s ballot or that y be at
the bottom, a point to which we return below.) When applied to irresolute voting methods, we call this
“resolute” participation.36
36 Several authors have investigated what could be called “irresolute” participation-like criteria (recall Footnote 11), where
one changes the initial assumption from F (P) = {x} to x ∈ F (P). For example, Perez (2001) considers the following axiom,
50
Definition B.1. A voting method F satisfies resolute participation if for any P ∈ dom(F ) and P′ with
X(P) = X(P′ ), V (P) ∩ V (P′ ) = ∅, |V (P′ )| = 1, and P + P′ ∈ dom(F ), and any x, y ∈ X(P), if F (P) = {x}
and xP′i y for i ∈ V (P′ ), then F (P + P′ ) 6= {y}.
It turns out that for linear profiles, Split Cycle satisfies resolute participation—but for a reason unrelated
to the main idea of participation, namely that Split Cycle satisfies the following stronger property.
Definition B.2. A voting method F satisfies winner continuity if for any P ∈ dom(F ) and P′ with
X(P) = X(P′ ), V (P) ∩ V (P′ ) = ∅, and |V (P′ )| = 1, if F (P) = {x} and P + P′ ∈ dom(F ), then
x ∈ F (P + P′ ).
Note, for example, that Plurality satisfies winner continuity, while the Borda voting method does not.
Proposition B.3. Restricted to linear profiles, Split Cycle satisfies winner continuity.
Proof. Suppose SC(P) = {x}. Further suppose x 6∈ SC(P + P′ ), so there is some z ∈ X(P) such that
M arginP+P′ (z, x) > Cycle#P+P′ (z, x).
(11)
Since z 6∈ SC(P), by Lemma 3.11 there are distinct y1 , . . . , yn with y1 = x and yn = z such that
y1 Dy2 D . . . Dyn−1 Dyn in the defeat graph of P.
Since |V (P′ )| = 1, it follows from (11) that M arginP (z, x) = 0 or M arginP (z, x) > 0.
Case 1: M arginP (z, x) = 0. Then since P is a linear profile, for each i ∈ {1, . . . , n−1}, M arginP (yi , yi+1 )
is even, and since yi Dyi+1 , it is greater than 0, so M arginP (yi , yi+1 ) ≥ 2. Since |V (P′ )| = 1, together M arginP (z, x) = 0 and (11) imply M arginP+P′ (z, x) = 1. In addition, since |V (P′ )| = 1, from
M arginP (yi , yi+1 ) ≥ 2 we have M arginP+P′ (yi , yi+1 ) ≥ 1. Thus, we have a simple cycle
γ1
γn−1
γ2
δ
ρ = y1 −→ y2 −→ . . . −→ yn −→ y1
in the margin graph of P + P′ in which δ, i.e., M arginP+P′ (z, x), is not greater than any γi . But this
contradicts (11).
Case 2: M arginP (z, x) > 0. Together with y1 Dy2 D . . . Dyn−1 Dyn , this means there is a simple cycle
α
αn−1
α
β
1
2
ρ = y1 −→
y2 −→
. . . −→ yn −→ y1
in the margin graph of P. Moreover, from y1 Dy2 D . . . Dyn−1 Dyn , it follows that for each i ∈ {1, . . . , n − 1},
αi is greater than the splitting number of ρ; hence β, i.e., M arginP (z, x), is the splitting number of ρ. Thus,
for each i ∈ {1, . . . , n − 1}, we have M arginP (yi , yi+1 ) ≥ M arginP (z, x) + 2 since the parity of all margins
must be the same, given that P is a linear profile. Since |V (P′ )| = 1, it follows that there is a simple cycle
α⋆
α⋆
α⋆
n−1
β⋆
2
1
y2 −→
. . . −→ yn −→ y1
ρ⋆ = y1 −→
called VC-participation: if x ∈ F (P) and P′ is a one-voter profile with a new voter i having xP′i y, then y ∈ F (P + P′ ) implies
x ∈ F (P + P′ ). He then observes that no Condorcet consistent voting method satisfies VC-participation. However, it is not
clear that this criterion is a plausible normative requirement on a voting method. Suppose, for example, that i’s ranking is
zxyw, and i’s joining the election results in a change from F (P) = {x, w} to F (P + P′ ) = {z, y}. It is not clear that we should
impose a criterion that prohibits such a change, which seems to be a strict improvement from i’s point of view.
51
in the margin graph of P + P′ in which β ⋆ , i.e., M arginP+P′ (z, x), is not greater than any αi⋆ . But this
contradicts (11).
Corollary B.4. Restricted to linear profiles, Split Cycle satisfies resolute participation.
Proof. Immediate from Proposition B.3.
While positive and negative involvement entail the analogous coalitional properties (recall Lemma 5.45),
resolute participation does not entail the analogous coalitional property.
Definition B.5. A voting method F satisfies resolute coalitional participation if for any P ∈ dom(F ) and
P′ with X(P) = X(P′ ), V (P) ∩ V (P′ ) = ∅, and P + P′ ∈ dom(F ), and any x, y ∈ X(P), if F (P) = {x}
and xP′i y for all i ∈ V (P′ ), then F (P + P′ ) 6= {y}.
Proposition B.6.
1. Split Cycle does not satisfy resolute participation on strict weak order profiles.
2. Split Cycle does not satisfy resolute coalitional participation even on linear profiles.
Proof. For part 1, by Debord’s Theorem, there is a strict weak order profile P whose margin graph is shown
on the left below:
b
1
b
2
c
2
a
3
3
c
2
a
1
2
d
1
1
d
On the right, we show the margin graph of the profile P + P′ where P′ is a one-voter profile whose voter
has cP′i bP′i dP′i a. Although bP′i d, we go from SC(P) = {b} to SC(P + P′ ) = {d}.
For part 2, by Debord’s Theorem, there is a linear profile P whose margin graph is shown on the left
below:
b
1
c
1
b
3
3
a
1
5
5
c
3
3
d
a
1
1
1
d
On the right, we show the margin graph of the profile P + P′ where P′ is a two-voter profile whose two voters
both have cP′i bP′i dP′i a. Although both voters have bP′i d, we go from SC(P) = {b} to SC(P+P′ ) = {d}.
52
In our view, the examples in the proof of Proposition B.6 show that participation is too strong to require.
Its violation can be rationalized as follows. In P, d is defeated by a; yet with the new voter(s) having dP′i a,
d is no longer defeated by a (or anyone else) in P + P′ . In P, b is not defeated by c (or anyone else); yet with
the new voter(s) having cP′i b, b becomes defeated by c in P + P′ . In short, the new voters help d against its
main threat, a, and hurt b against its main threat, c, resulting in the change of the winning set from {b} to
{d}. It does not matter, in this case, that the new voters help b against d, because b and d do not threaten
to defeat each other in the presence of the cycles.
In the example used in the proof of Proposition B.6.2, there is a powerful symmetry argument: if b is
the unique winner for the margin graph on the left above, then d must be the unique winner for the margin
graph on the right above, assuming a neutrality property for margin graphs—that the names assigned to
nodes do not matter—satisfied by Split Cycle (and the methods in Appendices C.1-C.7).
Definition B.7. A voting method F satisfies margin graph neutrality if for any profiles P and P′ , if there
is a weighted directed graph isomorphism h : M(P) → M(P′ ), then F (P′ ) = h[F (P)].
For example, the map c 7→ a, a 7→ c, b 7→ d, d 7→ b is a weighted directed graph isomorphism from the
margin graph on the left in the proof of Proposition B.6.2 to the margin graph on the right (imagine turning
the margin graph on the left 180◦ —then it matches the margin graph on the right except for the names of
nodes). Despite the fact that the right margin graph is obtained from the left margin graph by adding two
voters who rank b over d, candidate b on the left and candidate d on the right are in isomorphic situations.
Thus, if b is the winner on the left, d must be the winner on the right by margin graph neutrality.
Finally, note that the phenomenon with b and d above can happen only when b and d are in a cycle.
Indeed, we have the following version of participation when the two relevant candidates are cycle free.
Proposition B.8. For any profiles P and P′ with X(P) = X(P′ ) and V (P) ∩ V (P′ ) = ∅ and any x, y ∈ X,
if x ∈ SC(P) and xP′i y for all i ∈ V (P′ ), and there is no cycle in M(P) or M(P + P′ ) containing x and y,
then y 6∈ SC(P + P′ ).
Proof. Since x ∈ SC(P), y does not defeat x in P. Since there is no cycle in M(P) involving x and y,
it follows that M arginP (x, y) ≥ 0. Hence M arginP+P′ (x, y) > 0, and by hypothesis, there is no cycle
involving in M(P + P′ ). Hence x defeats y in P + P′ , so y 6∈ SC(P + P′ ).
C
Other Methods
In this appendix, we give definitions of the other voting methods in Figure 2, as well citations or proofs
for the claims about their properties in the figure. Typically it is assumed that the domain of these voting
methods is the domain of linear profiles, though many properties continue to hold for the domain of strict
weak order profiles. To avoid repetition, we note the following: anonymity and neutrality for each method
are immediate from the definitions; Pareto is obvious for all methods except GETCHA/GOCHA, for which
we give an example violation; expansion consistency implies strong stability for winners, and stability for
winners implies immunity to spoilers and immunity to stealers. Finally, additional examples of violations of
positive involvement can be found in Holliday and Pacuit 2021b, Appendix A.
53
C.1
Ranked Pairs (Tideman 1987)
Let P be a profile and T a linear order on the set X(P) × X(P) of pairs of candidates (the tiebreaking ordering). We say that a pair (x, y) of candidates has a higher priority than a pair (x′ , y ′ ) of candidates using the
tiebreaking ordering T when either M arginP (x, y) > M arginP (x′ , y ′ ) or M arginP (x, y) = M arginP (x′ , y ′ )
and (x, y) T (x′ , y ′ ). Given a profile P and a tiebreaking ordering T of X(P) × X(P), we construct a Ranked
Pairs ranking ≻P,T of X(P) according to the following procedure:
1. Initialize ≻P,T to ∅.
2. If all pairs (x, y) with x 6= y and M arginP (x, y) ≥ 0 have been considered, then return ≻P,T . Otherwise
let (a, b) be the pair with the highest priority among those with a 6= b and M arginP (a, b) ≥ 0 that
have not been considered so far.
3. If ≻P,T ∪ {(a, b)} is acyclic, then add (a, b) to ≻P,T ; otherwise, add (b, a) to ≻P,T . Go to step 2.
When the procedure terminates, ≻P,T is a linear order.37 A linear order L on X(P) is a Ranked Pairs
ranking for P if L = ≻P,T for some tiebreaking ordering T of X(P) × X(P). Then the set RP (P) of Ranked
Pairs winners is the set of all x ∈ X(P) such that x is the maximum of some Ranked Pairs ranking for P.
See Lamboray 2008, Brill and Fischer 2012, and Wang et al. 2019 for discussion of the axiomatic and
computational properties of Ranked Pairs.
Stability criteria
See Propositions 4.12 and 4.15.
Other criteria Proofs that Ranked Pairs satisfies the Condorcet winner and loser criteria, single-voter
resolvability, and non-negative responsiveness can be found in Tideman 1987. For the satisfaction of reversal
symmetry, Smith, and ISDA, see Schulze 2011, Table 2. See Remark 5.25 on the status of independence
of clones. For the satisfaction of rejectability, see Corollary 5.31. Asymptotic resolvability follows from the
fact that the proportion of profiles that are uniquely weighted goes to 1 as the number of voters goes to
infinity, and Ranked Pairs selects a unique winner in any uniquely-weighted profile. For the failure of positive
involvement and negative involvement, see Pérez 2001, p. 612.
C.2
Beat Path (Schulze 2011)
Let M be a margin graph. A (simple) path from x to y in M is a sequence hx1 , . . . , xk i of distinct nodes in
α
M where x1 = x, xk = y, and for i ∈ {1, . . . , k − 1}, xi →i xi+1 . The strength of a path hx1 , . . . , xk i in M is
α
SM (hx1 , . . . , xk i) = min{αi | xi →i xi+1 , 1 ≤ i ≤ k − 1}.
37 This is a standard algorithm for Ranked Pairs, but if our goal is only to select winners rather than to produce a linear
order of the whole set of candidates, then to save some steps we can run the procedure above for only those pairs (x, y) with
M arginP (x, y) > 0, in line with our description of Ranked Pairs in Section 3.3. Then a winner according to ≻P,T is a maximal
element of ≻P,T , i.e., an x for which there is no y ≻P,T x, and x is a Ranked Pairs winner in P if x is a winner according to
≻P,T for some tiebreaking ordering T .
54
Given a profile P, let P athP (x, y) be the set of all paths from x to y in M(P). The strength of x over y in
P is
StrengthP (x, y) =
max{S
M(P) (p)
| p ∈ P athP (x, y)} P athP (x, y) 6= ∅
otherwise.
0
Then the set BP (P) of Beat Path winners is the set of all x ∈ X(P) such that there is no y ∈ X(P) such
that StrengthP (y, x) > StrengthP (x, y).
Stability criteria
See Propositions 4.10 and 4.14.
Other criteria For proofs that Beat Path satisfies reversal symmetry, the Condorcet winner and loser
criteria, Smith, ISDA, independence of clones, single-voter and asymptotic resolvability, and non-negative
responsiveness, see Schulze 2022. For the satisfaction of rejectability, see Corollary 5.31. For an example of a
simultaneous failure of positive and negative involvement, where adding two voters with the ranking aef cbd
changes the unique Beat Path winner from a to d, see Example 7 of Schulze 2022.
C.3
Minimax (Simpson 1969, Kramer 1977)
The set of winners for Minimax, also known as the Simpson-Kramer method, are the candidates whose
largest majority loss is the smallest, i.e., for a profile P,
M inimax(P) = argminx∈X max({M arginP (y, x) | y ∈ X}).
Stability criteria For the satisfaction of immunity to spoilers, if a ∈ M inimax(P−b ), M arginP (a, b) > 0,
and b 6∈ M inimax(P), then a must still be among the candidates in P whose largest majority loss is smallest,
so a ∈ M inimax(P). For the violation of partial immunity to stealers, see Proposition 4.14.
Other criteria See Felsenthal 2012 for violations of reversal symmetry (under ‘preference inversion’) and
the Condorcet loser criterion (also shown in the proof of Proposition 4.14), as well as proofs of the Condorcet
winner and non-negative reponsiveness criteria. Violation of independence of clones is discussed in Tideman
1987. For violations of Smith and hence ISDA, see Darlington 2016, p. 10. For the satisfaction of singlevoter resolvability, see Tideman 1987, and for asymptotic resolvability, the argument is the same as given
for Ranked Pairs in Appendix C.1.
Fact C.1. Minimax satisfies rejectability.
Proof. Given x ∈ M inimax(P), modify the margin graph M(P) to M′ such that for all y ∈ X(P) \ {x},
(i) if there is no edge from x to y in M(P), add an edge from x to y in M′ , and (ii) increase the weights
of all incoming edges to y to be larger than the largest majority loss of x in P, such that all weights in M′
have the same parity as the weights in M(P). Then x is clearly the unique Minimax winner in M′ , and M′
is the margin graph of a profile P′ (which is linear if P is) by Debord’s Theorem. Finally, since Minimax
clearly satisfies the overwhelming majority criterion (recall Lemma 5.29), P′ may be used to obtain the P+
required for rejectability as in the proof of Proposition 5.30.
For the satisfaction of positive and negative involvement, see Pérez 2001, p. 613.
55
C.4
Copeland (Copeland 1951)
The Copeland score of a candidate x is the number of candidates to whom x is majority preferred minus the
number majority preferred to x. The Copeland winners are the candidates with maximal Copeland score:
Copeland(P) = argmaxx∈X |{y ∈ X(P) | M arginP (x, y) > 0}| − |{y ∈ X(P) | M arginP (y, x) > 0}|.
Stability criteria
Fact C.2. Copeland satisfies immunity to spoilers.
Proof. If a ∈ Copeland(P−b ), so a’s Copeland score is maximal in P−b , and M arginP (a, b) > 0, then a’s
Copeland score in P is maximal among the original candidates in X(P−b ); if in addition b 6∈ Copeland(P),
then a’s Copeland score in P is maximal among all candidates in X(P), so a ∈ Copeland(P).
However, if we do not assume b 6∈ Copeland(P), then it is easy to construct a profile P in which b has a
higher Copeland score in P than a does (this requires |X(P)| ≥ 6 if M (P) is a tournament and |X(P)| ≥ 5
otherwise), so that a 6∈ Copeland(P). Thus, Copeland violates immunity to stealers.
Fact C.3. Copeland satisfies partial immunity to stealers.
Proof. Suppose a is the unique Condorcetian candidate in P, but b steals the election from a in P, so
(i) a ∈ Copeland(P−b ), (ii) a →P b, (iii) a 6∈ Copeland(P), and (iv) b ∈ Copeland(P). Since a’s Copeland
score is maximal in P−b by (i) and increases by 1 from P−b to P by (ii), together (iii) and (iv) imply that
b has the maximum Copeland score in P, so Copeland(P) = {b} and there is some c ∈ X(P) with b →P c.
Now since b is not Condorcetian, for any c ∈ X(P) such that b →P c, we have b 6∈ Copeland(P−c ); then
since b’s Copeland score decreases by only 1 from P to P−c , it follows from b ∈
6 Copeland(P−c ) that there
is a d ∈ F (P−c ) whose Copeland score in P is one less than that of b in P. We claim that d →P b. For
if d 6→P b, then since d’s Copeland score in P, which is one less than that of b, is at least that of a by
(iii)-(iv), and d’s Copeland score does not decrease from P to P−b given d 6→P b, whereas a’s Copeland score
does decrease from P to P−b by (ii), it follows that d’s Copeland score is greater than that of a in P−b ,
contradicting (i). Thus, d →P b. But then since d’s Copeland score is at least that of a in P, it follows
by (i)-(ii) that d ∈ Copeland(P−b ), which with d →P b implies that d is Condorcetian, contradicting the
assumption that a is the unique Condorcetian candidate in P.
However, Copeland does not satisfy stability for winners with tiebreaking, as shown by the following.
Example C.4. Consider a profile P with X(P) = {a, b, c, d} whose majority graph M (P) has a → b, b → c,
and b → d, but no other edges; then a is the unique Condorcetian candidate, but Copeland(P) = {a, b}.
Other criteria It is easy to see that Copeland satisfies reversal symmetry, the Condorcet winner and
loser criteria, Smith, ISDA, and non-negative responsiveness. For the failure of independence of clones, see
Tideman 1987. For the failure of rejectability and single-voter resolvability, see Proposition 5.28. For the
failure of asymptotic resolvability for k ≥ 3, consider a majority graph with three candidates in a top cycle
followed by a linear order of the remaining candidates, so the top three candidates are Copeland winners;
the proportion of profiles realizing such a majority graph does not go to 0 as the number of voters goes to
infinity (Harrison-Trainor 2022). For the failure of positive and negative involvement, see Pérez 2001, § 4.1.
56
C.5
GETCHA (Smith 1973)
For the definition of GETCHA, see Definition 5.10 in Section 5.2.3.
Stability criteria
It is easy to see that GETCHA satisfies expansion consistency.
Other criteria To see that GETCHA fails Pareto, consider the following.
Example C.5. In the following profile, all voters prefer a to x, but x is among the GETCHA winners:
1
1
1
a
b
c
x
c
a
b
a
x
c
x
b
a
1
b
1
1
1
c
3
1
x
It is easy to see that GETCHA satisfies the Condorcet winner and loser criteria, as well as non-negative
responsiveness. For reversal symmetry, note that if P is a profile with GET CHA(P) = {x}, then x is a
Condorcet winner. Thus, x is a Condorcet loser in Pr , so x 6∈ GET CHA(Pr ). It is also not difficult to see
that GETCHA satisfies independence of clones, using an alternative characterization of GETCHA. Given a
profile P, let a ❀P b mean that M arginP (a, b) ≥ 0. Let ❀∗P be the transitive closure of ❀P .
Lemma C.6 (Schwartz 1986, Corollary 6.2.2). For any profile P,
GET CHA(P) = {x ∈ X(P) | for all y ∈ X(P) : x ❀∗P y}.
By definition, GETCHA satisfies the Smith criterion, and we proved ISDA in Footnote 32. For the failure
of rejectability and single-voter resolvability, see Proposition 5.28. The failure of asymptotic resolvability
for k ≥ 3 follows from the fact that GETCHA selects a unique winner only if there is a Condorcet winner,
and for 3 or more candidates, the proportion of profiles with a Condorcet winner does not go to 1 as the
number of voters goes to infinity (DeMeyer and Plott 1970). To see that GETCHA fails positive and negative
involvement, consider the following examples.
Example C.7. In a three-candidate, two-voter profile P with aPi bPi c and cPj aPj b, GET CHA(P) =
{a, b, c}, yet adding one voter k such that bP′k aP′k c results in a profile P′ in which a is the Condorcet
winner, so GET CHA(P′ ) = {a}.
Example C.8. Consider any three-candidate profile P with a Condorcet winner a, so GET CHA(P) = {a},
in which M arginP (a, c) = 1; then adding a voter with the ranking cP′i aP′i b results in a profile P′ in which
M arginP′ (a, b) > 0 but M arginP′ (a, c) = 0, which implies GET CHA(P′ ) = {a, b, c}.
C.6
GOCHA (Schwartz 1986)
For the definition of GOCHA, see Definition 5.13 in Section 5.2.3.
57
Stability criteria
It is easy to see that GOCHA satisfies stability for winners using Lemma 5.14. The
proof of Proposition 5.16 shows that GOCHA does not satisfy strong stability for winners.
Other criteria For the violation of Pareto, the same example given for GETCHA in Section C.5 works for
GOCHA. It is easy to see that GOCHA satisfies reversal symmetry, the Condorcet winner and loser criteria,
and non-negative responsiveness (see Felsenthal 2012). It is well known that GOCHA satisfies the Smith
criterion, and ISDA can be proved using Lemma 5.14.38 For the satisfaction of independence of clones, see
Tideman 1987. GOCHA fails rejectability, single-voter resolvability, and asymptotic resolvability for k ≥ 3
by the same reasoning as for GETCHA, using the fact that in the limit as the number of voters goes infinity,
GOCHA is equivalent to GETCHA. For the failure of positive involvement and negative involvement, see
Pérez 2001, § 4.1, where GOCHA is called “Top Cycle”, or Felsenthal and Nurmi 2016, where GOCHA is
called “Schwartz”. The following is a simple example of the failure of positive involvement.
5
3
1
Example C.9. Consider a three-cycle with y → x → z → y, so GOCHA(P) = {x, y, z}, and add a new
4
4
voter with xP′i yP′i z to obtain y → x → z with y and z tied, so GOCHA(P′ ) = {y}.
C.7
Uncovered Set (Fishburn 1977, Miller 1980)
The Uncovered Set in voting is usually attributed to Fishburn (1977) and Miller (1980), though the covering
relation appears in earlier game-theoretic work of Gillies (1959). Fishburn defined his version of the Uncovered Set for arbitrary margin graphs, whereas Miller defined his only for tournaments, i.e., directed graphs in
which the edge relation → is not only asymmetric but also weakly complete: for all distinct nodes x, y, either
x → y or y → x. Fishburn and Miller’s definitions are equivalent for tournaments but not for margin graphs
that are not weakly complete, which may arise from profiles with an even number of voters or non-linear
ballots. Several non-equivalent definitions of the Uncovered Set for arbitrary margin graphs appear in the
literature (see Bordes 1983; Peris and Subiza 1999; Penn 2006; Duggan 2013), and some of these versions
differ in their axiomatic properties. As examples, we will consider the versions due to Fishburn and Gillies.
Given a margin graph M and nodes x, y in M, say that y left-covers x in M if for all nodes z in M, if
z → y, then z → x.39 Then the Fishburn and Gillies versions of the Uncovered Set are defined by:
U CF ish (P)
=
{x ∈ X(P) | there is no y ∈ X(P): y left-covers x but x does not left-cover y in M(P)};
U CGill (P)
=
{x ∈ X(P) | there is no y ∈ X(P): y → x and y left-covers x in M(P)}.
Note that U CF ish (P) ⊆ U CGill (P). A useful alternative characterization of U CGill is given by the following
“two-step” principle (see, e.g., Duggan 2013, Proposition 12(ii)): x ∈ U CGill (P) if and only if for all y ∈
a 6∈ GOCHA(P−x ), so there is a b ∈ X(P−x ) such that b →∗P−x a but a 6→∗P−x b. Then b →∗P a. If a 6→∗P b,
then we are done: a 6∈ GOCHA(P). If a →∗P b, then given a 6→∗P
b, it follows that x is on the path witnessing a →∗P b,
−x
∗
which together with b →P a implies that there is a path from x to a in M(P). Then since x 6∈ GET CHA(P) and there can
be no path from a candidate outside GET CHA(P) to one inside GET CHA(P), it follows that a 6∈ GET CHA(P). Hence
a 6∈ GOCHA(P), since GOCHA satisfies the Smith criterion. Conversely, suppose a 6∈ GOCHA(P), so there is a b ∈ X(P)
such that b →∗P a but a 6→∗P b. If x is not on the path witnessing b →∗P a, then b →∗P−x a but a 6→∗P
b, so we are done:
−x
a 6∈ GOCHA(P−x ). If x is on the path witnessing b →∗P a, then since x 6∈ GET CHA(P) and there can be no path from a
candidate outside GET CHA(P) to one inside GET CHA(P), it follows that a 6∈ GET CHA(P). Hence by ISDA for GETCHA,
a 6∈ GET CHA(P−x ) and hence a 6∈ GOCHA(P−x ), since GOCHA satisfies the Smith criterion.
39 Miller’s (1980) definition uses the right-sided version: y right-covers x in M if for all z, if x → z, then y → z. If → is
weakly complete, then left-covering and right-covering are equivalent.
38 Suppose
58
X(P)\{x}, M arginP (x, y) ≥ 0 or there is a z ∈ X(P) such that M arginP (x, z) ≥ 0 and M arginP (z, y) > 0.
Stability criteria The method U CF ish satisfies stability for winners and hence immunity to spoilers, since
if M arginP (a, b) > 0, then b does not left-cover a. However, it violates strong stability for winners.
Example C.10. Consider the profile P below where U CF ish (P−b ) = {a, c, d}, M arginP (a, b) ≥ 0, but
U CF ish (P) = {b}:
1
1
1
1
1
1
a
d
c
b
b
b
d
c
a
a
d
c
c
a
d
d
c
a
b
b
b
c
a
d
c
2
b
a
2
2
d
Hence U CF ish also violates expansion consistency. By contrast, U CGill satisfies expansion consistency, as
one can easily see using the two-step characterization above.
Other criteria For a proof that the Uncovered Set satisfies Pareto, see Duggan 2013, Proposition 52. For
reversal symmetry, the argument is the same as we gave for GETCHA in Appendix C.5. For the satisfaction
of the Condorcet criterion under various definitions of the Uncovered Set, see Duggan 2013, Propositions 4,
5, and 13. The Condorcet loser and non-negative responsiveness criteria are also straightforward to check.
For the satisfaction of the Smith criterion under all standard definitions of the Uncovered Set, see Duggan
2013, Propositions 4, 5, and 14.
Fact C.11. U CF ish and U CGill satisfy ISDA.
Proof. Suppose x ∈ X(P) \ GET CHA(P) and U C ∈ {U CF ish , U CGill }. To see that U C(P−x ) ⊆ U C(P),
suppose a ∈ U C(P−x ). By the Smith criterion for U C and ISDA for GETCHA, U C(P−x ) ⊆ GET CHA(P−x ) =
GET CHA(P), so together a ∈ U C(P−x ) and x ∈ X(P) \ GET CHA(P) imply M arginP (a, x) > 0, so
a ∈ U C(P) by stability for winners. Now we claim that U C(P) ⊆ U C(P−x ). By definition, a ∈ U CGill (P)
(resp. a ∈ U CF ish (P)) if and only if for all b ∈ X(P) \ {a}, we have a ❀ b (resp. a left-covers b) in P
or there is a c ∈ X(P) such that a ❀ c → b. Now suppose a ∈ U C(P). To show a ∈ U CGill (P−x )
(resp. a ∈ U CF ish (P−x )), we must show that for any b ∈ X(P−x ) \ {a}, we have a ❀ b (resp. a left-covers b)
in P−x or there is a c ∈ X(P−x ) such that a ❀ c → b. Since a ∈ U CGill (P) (resp. a ∈ U CF ish (P)), we
have a ❀ b (resp. a left-covers b) in P or there is a c ∈ X(P) such that a ❀ c → b. If a ❀ b (resp. a
left-covers b) in P, then this holds in P−x , so we are done. So suppose it is not the case that a ❀ b (resp. a
left-covers b) in P, but instead there is a c ∈ X(P) such that a ❀ c → b. For U CGill , since it is not the
case that a ❀ b, we have b → a. Then since a ∈ U CGill (P) ⊆ GET CHA(P), it follows from c → b → a
that c ∈ GET CHA(P), so c 6= x. For U CF ish , since a ∈ U CF ish (P) ⊆ GET CHA(P), a left-covers every
candidate in P outside GET CHA(P). Hence from our assumption that a does not left-cover b in P, it
follows that b ∈ GET CHA(P). Then since c → b, we have c ∈ GET CHA(P), so c 6= x. Thus, in either
case, c ∈ X(P−x ) and a ❀ c → b, so we are done.
59
That U CGill satisfies independence of clones can be seen using the two-step characterization above.
However, U CF ish does not, as shown by the following.
Example C.12. In the profile P from Example C.10, observe that {a, c, d} is a set of clones in P,
U CF ish (P) = {b}, but U CF ish (P−c ) = {a, b}, so U CF ish does not satisfy the condition that clone choice is
independent of clones (recall Definition 5.23).
Uncovered Set violates rejectability, single-voter resolvability, and asymptotic resolvability for k ≥ 3 by
the same reasoning as for GETCHA (i.e., Uncovered Set selects a unique winner only if there is a Condorcet
winner). For the failure of positive and negative involvement under all standard definitions of the Uncovered
Set, see Pérez 2001, § 4.1.
C.8
Instant Runoff
Instant Runoff is usually defined only for profiles P in which each ballot Pi is a linear order of some subset
of X(P). Instant Runoff iteratively removes the candidate with the least number of first-place votes, until
there is a candidate with a majority of the first-place votes. The question then arises of what to do if
there are two or more candidates with the least number of first-place votes. One version of Instant Runoff
(Taylor and Pacelli 2008, p. 7) removes all such candidates; and if, at some stage of the removal process, all
remaining candidates have the same number of first-place votes (so all candidates would be removed), then
all remaining candidates are selected as winners. Alternatively, the “parallel universe” version of Instant
Runoff (cf. Freeman et al. 2015, § 3) says that a wins in P if there is a candidate b with the least number of
first-place votes in P such that a wins according to the parallel universe version of Instant Runoff in P−b .
See Freeman et al. 2014 and Wang et al. 2019 for axiomatic and computational properties of Instant Runoff.
Stability criteria Example 1.2 shows that Instant Runoff violates (even partial) immunity to spoilers. If
we consider removing the Progressive from the election instead of the Republican, then it also shows that
Instant Runoff violates (even partial) immunity to stealers.
Other criteria For the failure of reversal symmetry, see Felsenthal 2012 (under “preference inversion” for
“Alternative vote”). It is well known that Instant Runoff violates the Condorcet winner and non-negative
responsiveness criteria but satisfies the Condorcet loser criterion (Felsenthal 2012). The parallel universe
version of Instant Runoff satisfies independence of clones (Tideman 1987), while the simultaneous removal
version does not: if there are 4 voters with the ranking abc, 3 with bca, and 3 with cba, then the clones b and
c are both eliminated in the first round, so a wins, whereas in the election with just a and b, b wins.40 The
failure of Smith and ISDA follows from the failure of the Condorcet winner criterion. For the satisfaction of
single-voter resolvability, see Tideman 1987 (where Instant Runoff is called “Alternative vote”). That Instant
Runoff satisfies rejectability follows from Lemma 5.37 given that it satisfies singer-voter resolvability and
clearly homogeneity. Asymptotic resolvability follows from the fact that for any number of candidates, the
proportion of profiles in which there is a tie in the number of first place votes for two candidates goes to 0.
For positive involvement, suppose x ∈ IRV (P), so x is not eliminated at any stage of the iteration procedure
starting from P. Then where P′ is a one-voter profile whose voter ranks x in first place, clearly x is not
40 Thanks
to Dominik Peters for this example.
60
eliminated at any stage of the iteration procedure starting from P + P′ , so x ∈ IRV (P + P′ ). For the failure
of negative involvement, see Fishburn and Brams 1983 (under the “no show paradox”).
C.9
Plurality
The Plurality score of a candidate is the number of voters who rank that candidate uniquely in first place.
The Plurality voting method selects as winners all candidates whose Plurality scores are maximal. The
problems with Plurality are well known (see Laslier 2012).
Stability criteria
Example 1.1 shows that Plurality violates immunity to spoilers. If we consider removing
Bush from the election instead of Nader, then it also shows that Plurality violates immunity to stealers.
Other criteria For the failure of reversal symmetry, see Felsenthal 2012. It is well known that Plurality
violates the Condorcet winner and Condorcet loser criteria (again see Felsenthal 2012). It is clear that
Plurality satisfies non-negative responsiveness. The failure of the Smith and ISDA criteria follows from the
failure of the Condorcet winner criterion. Example 1.1 shows that Plurality does not satisfy independence of
clones. The satisfaction of single-voter and asymptotic resolvability and positive and negative involvement
is obvious. That Plurality satisfies rejectability follows from Lemma 5.37 given that it satisfies single-voter
resolvability and clearly homogeneity.
D
Frequency of Irresoluteness
The graphs in this appendix show the frequency with which Split Cycle and several other voting methods
select more than one winner, as well as the sizes of the winning sets conditional on there being more than
one winner, before tiebreaking. Thus, they show how often a tiebreaking procedure must be applied.
We evaluated the voting methods on profiles with different numbers of candidates and voters, using
different probability models to generate profiles. Probability models for generating linear profiles are more
common, so in this section all profiles are linear. Below we explain the probability models, the different
types of graphs, and some conclusions drawn from the data.
Probability models We considered several probability models for generating profiles with n candidates
and m voters. According to the impartial culture (IC) model, each such profile is equally likely. Equivalently,
each voter chooses a linear order of the n candidates at random, and the voters’ choices are independent.
In the Pólya-Eggenberger urn model (Berg 1985), to generate a profile given a parameter α ∈ [0, ∞),
each voter in turn randomly draws a linear order from an urn. Initially the urn is the set of all linear orders
of the n candidates. If a voter randomly chooses L from the urn, we return L to the urn plus αn! copies of
L. IC is the special case where α = 0. The Impartial Anonymous Culture (IAC) is the special case where
α = 1/n!. Following Boehmer et al. 2021, for each generated profile, we chose α according to a Gamma
distribution with shape parameter k = 0.8 and scale parameter θ = 1 for the model we call “urn.”
In the Mallow’s model (see Mallows 1957; Marden 1995), to generate a profile, the main idea is to fix
a reference linear ordering of the candidates and to assign to each voter a ranking that is “close” to this
reference ranking. Closeness to the reference ranking is defined using the Kendall-tau distance between
61
rankings, depending on a dispersion parameter φ. Setting φ = 0 means that every voter is assigned the
reference ranking, and setting φ = 1 is equivalent to the IC model. Formally, to generate a profile given a
reference ranking L0 of the set X of candidates and φ ∈ (0, 1], the probability that a voter’s ballot is the
linear order L of X is P rL0 ,φ (L) = φτ (L,L0 ) /C where τ (L, L0 ) = |X|
2 − |L ∩ L0 | is the Kendell-tau distance
of L to L0 , and C is a normalization constant. For each profile, we chose φ by first randomly selecting what
Boehmer et al. (2021) call a rel-φ value, which together with the number m of candidates determines φ. See
Boehmer et al. 2021 for details on this parameterization of the Mallow’s model in terms of rel-φ values.
In addition to generating profiles using a single reference ranking L0 , we considered generating profiles
using two reference rankings, which are the reverse of each other. E.g., L0 ranks candidates from more liberal
to more conservative, while L−1
ranks candidates in the opposite order. The set of voters is divided into
0
two groups, each associated with one of the reference rankings. Each voter is equally likely to be assigned to
either of the two groups. Formally, the probability that a voter’s ballot is L is 12 P rL0 ,φ (L) + 21 P rL−1 ,φ (L).
0
Types of graphs We include three types of graphs with data from simulated elections. For all three
types, for each data point in a graph, we sampled 25,000 profiles with an even number n of voters and 25,000
profiles with the next odd number n + 1 of voters, displayed in the graph below the even number, in order
to have a mix of even and odd-sized electorates.
The first type of graph concerns the frequency of irresoluteness. The graphs on the left of Figures 4, 5, 6,
and 7 show the frequency of multiple winners for several voting methods as the number of candidates ranges
from 5 to 30 and the number of voters range from 4 to 5,001. On the right of the figures, we use the boxen
plot or letter-valued plot (Hofmann et al. 2017) representation of the quantiles of the sizes of the winning
sets for profiles with multiple winners. The black dots outside of the boxes are the “outliers.”
The second type of graph concerns the frequency of different winners. This can be understood in two
ways. First, how often do two methods produce different sets of tied winners? Second, if we assume that
given a set of tied winners, the ultimate winner will be chosen randomly according to a uniform probability
distribution, how often do two methods not only produce different sets of tied winners but also produce
different ultimate winners after random tiebreaking? Figure 8 shows the frequency of different winners for
Split Cycle vs. Beat Path in these two senses according to several probability models. This is related to
irresoluteness because in either of the two senses of having different winners, Split Cycle can differ from Beat
Path only when Split Cycle outputs multiple winners before tiebreaking.
Choice of methods We selected the voting methods with which to compare Split Cycle as follows. In light
of Section 3.3, a key comparison is to the most well-known refinements of Split Cycle, namely Beat Path and
Ranked Pairs. However, we did not include Ranked Pairs due to the computational difficulty of determining
the Ranked Pairs winners for elections with small numbers of voters (see Brill and Fischer 2012); but for
those combinations of voters and candidates for which we were able to compute Ranked Pairs for all sampled
profiles, Ranked Pairs was similar to Beat Path in irresoluteness. We chose to include Copeland because like
Split Cycle, GETCHA, and GOCHA, Copeland does not satisfy the resolvability criteria of Definitions 5.34
and 5.38, yet Copeland is one of the most discriminating of all C1 voting methods (recall Section 5.4.1 for
the definition of C1, and see Brandt and Seedig 2014 on the discriminating power of different C1 methods).
62
As for our choice to include Uncovered Set,41 it follows from a result of Moulin (1986, Theorem 1) that for
any C1 voting method F satisfying neutrality and expansion consistency and linear profile P with an odd
number of voters, U C(P) ⊆ F (P) (for an analogous result for an even number of voters, using a definition
of the Uncovered Set that satisfies expansion consistency, see Peris and Subiza 1999, Theorem 1). Thus, by
comparing Split Cycle to the Uncovered Set, we are comparing Split Cycle to the most discriminating of all
C1 methods satisfying expansion consistency, and by comparing Split Cycle to Copeland, we are comparing
Split Cycle to one of the most discriminating of all C1 methods.
Discussion We highlight the following takeaway points about the results of our simulations:
• The IC model can be viewed as a “worst case scenario” for irresoluteness (cf. Tsetlin et al. 2003), so
we expect that in practice the frequency of multiple winners will be substantially lower. We also ran
our simulations for the IAC model but the graphs were almost indistinguishable from those of IC, so
we omit them here. By contrast, we also tried one, two, and three-dimensional spatial models and a
single-peaked model from Boehmer et al. 2021, and in these models, all of the methods were essentially
resolute except with small numbers of voters, so we omit these graphs as well.
• The boxen plots show that when there are multiple winners, generally there are very few for Split
Cycle, Beat Path, and Copeland, whereas there are significantly more for Uncovered Set and many for
GETCHA. This pattern holds across the different probability models for profiles.
• Unlike for the other voting methods, for Copeland the proportion of profiles with multiple winners
actually increases slightly as we increase the number of voters from 4 to 5,001, except under the
Mallow’s model with one reference ranking in which all methods tend toward resoluteness.
• Unlike for the other voting methods, for Copeland the proportion of profiles with multiple winners is
largely insensitive to the number of candidates—in fact, it decreases slightly from 10 to 30 candidates
under the IC model.
• Graphs for the urn model appear roughly as compressed versions of the graphs for the IC model,
but there are some qualitative differences. For example, Split Cycle compares more favorably with
Copeland in terms of irresoluteness according to the urn model than according to IC. For example, for
20 candidates and 5,000/5,001 voters, Copeland is more resolute than Split Cycle according to the IC
model but has about the same frequency of irresoluteness as Split Cycle according to the urn model.
• For the Mallow’s model, the difference between one and two reference rankings is striking. With only
one reference ranking, representing a society in which voters gravitate to different degrees toward a
single ranking of the candidates, all of the methods are nearly resolute by 5,000/5,001 voters. By
contrast, with two, reversed reference rankings, representing a society in which voters are divided into
two groups gravitating toward reversed rankings, the results are not far from those of the IC model.
41 We used the Gillies version of the Uncovered Set for profiles with an even number of voters. For an odd number of voters
with linear ballots, the different versions of Uncovered Set are equivalent.
63
Split Cycle
Copeland
% of profiles with multiple winners, 5 candidates
100
75
50
25
0
GETCHA
Uncovered Set
Size of winning sets for 5 candidates
5
4
3
2
% of profiles with multiple winners, 7 candidates
100
75
50
25
0
% of profiles with multiple winners, 10 candidates
100
75
50
25
0
% of profiles with multiple winners, 20 candidates
100
75
50
25
0
100
75
50
25
0
Beat Path
% of profiles with multiple winners, 30 candidates
4
5
10
11
20
21
Size of winning sets for 7 candidates
7
6
5
4
3
2
Size of winning sets for 10 candidates
10
8
6
4
2
Size of winning sets for 20 candidates
20
16
12
8
4
Size of winning sets for 30 candidates
30
24
18
12
6
50 100 500 1000 5000
51 101 501 1001 5001
Number of voters
4
5
10
11
20
21
50 100 500 1000 5000
51 101 501 1001 5001
Number of voters
Figure 4: The profiles were generated using the IC model. Results for the IAC model are almost the same.
On the left, the purple line for the Uncovered Set is on top of the red line for GETCHA.
64
Split Cycle
Copeland
% of profiles with multiple winners, 5 candidates
100
75
50
25
0
GETCHA
Uncovered Set
Size of winning sets for 5 candidates
5
4
3
2
% of profiles with multiple winners, 7 candidates
100
75
50
25
0
10
11
20
21
Size of winning sets for 20 candidates
20
16
12
8
4
% of profiles with multiple winners, 30 candidates
4
5
Size of winning sets for 10 candidates
10
8
6
4
2
% of profiles with multiple winners, 20 candidates
100
75
50
25
0
Size of winning sets for 7 candidates
7
6
5
4
3
2
% of profiles with multiple winners, 10 candidates
100
75
50
25
0
100
75
50
25
0
Beat Path
Size of winning sets for 30 candidates
30
24
18
12
6
50 100 500 1000 5000
51 101 501 1001 5001
Number of voters
4
5
10
11
20
21
50 100 500 1000 5000
51 101 501 1001 5001
Number of voters
Figure 5: The profiles were generated using the urn model with α chosen according to a Gamma distribution
with shape parameter k = 0.8 and scale parameter θ = 1 as in Boehmer et al. 2021. On the left, the purple
line for the Uncovered Set is on top of the red line for GETCHA.
65
Split Cycle
Copeland
% of profiles with multiple winners, 5 candidates
100
75
50
25
0
GETCHA
Uncovered Set
Size of winning sets for 5 candidates
5
4
3
2
% of profiles with multiple winners, 7 candidates
100
75
50
25
0
10
11
20
21
Size of winning sets for 20 candidates
20
16
12
8
4
% of profiles with multiple winners, 30 candidates
4
5
Size of winning sets for 10 candidates
10
8
6
4
2
% of profiles with multiple winners, 20 candidates
100
75
50
25
0
Size of winning sets for 7 candidates
7
6
5
4
3
2
% of profiles with multiple winners, 10 candidates
100
75
50
25
0
100
75
50
25
0
Beat Path
Size of winning sets for 30 candidates
30
24
18
12
6
50 100 500 1000 5000
51 101 501 1001 5001
Number of voters
4
5
10
11
20
21
50 100 500 1000 5000
51 101 501 1001 5001
Number of voters
Figure 6: The profiles were generated using the Mallows model with dispersion parameter φ chosen as
described in the main text. On the left, the purple line for the Uncovered Set is on top of the red line for
GETCHA.
66
Split Cycle
Copeland
% of profiles with multiple winners, 5 candidates
100
75
50
25
0
GETCHA
Uncovered Set
Size of winning sets for 5 candidates
5
4
3
2
% of profiles with multiple winners, 7 candidates
100
75
50
25
0
10
11
20
21
Size of winning sets for 20 candidates
20
16
12
8
4
% of profiles with multiple winners, 30 candidates
4
5
Size of winning sets for 10 candidates
10
8
6
4
2
% of profiles with multiple winners, 20 candidates
100
75
50
25
0
Size of winning sets for 7 candidates
7
6
5
4
3
2
% of profiles with multiple winners, 10 candidates
100
75
50
25
0
100
75
50
25
0
Beat Path
Size of winning sets for 30 candidates
30
24
18
12
6
50 100 500 1000 5000
51 101 501 1001 5001
Number of voters
4
5
10
11
20
21
50 100 500 1000 5000
51 101 501 1001 5001
Number of voters
Figure 7: The profiles were generated using the Mallows model with two reference rankings, which are the
reverse of each other. On the left, the purple line for the Uncovered Set is on top of the red line for GETCHA.
67
IC
MALLOWS
MALLOWS_2REF
% different winning set, 5 candidates
45
30
15
15
0
0
% different winning set, 7 candidates
45
30
15
15
0
0
% different winning set, 10 candidates
30
15
15
0
0
% different winning set, 20 candidates
30
15
15
0
0
% different winning set, 30 candidates
30
15
15
4
5
10
11
20
21
50 100 500
51 101 501
Number of voters
% different winner after tiebreak, 30 candidates
45
30
0
% different winner after tiebreak, 20 candidates
45
30
45
% different winner after tiebreak, 10 candidates
45
30
45
% different winner after tiebreak, 7 candidates
45
30
45
% different winner after tiebreak, 5 candidates
45
30
1000 5000
1001 5001
0
URN
4
5
10
11
20
21
50 100 500
51 101 501
Number of voters
1000 5000
1001 5001
Figure 8: The graphs in the left column show the percentage of profiles in which Split Cycle and Beat Path
output different sets, sampling profiles according to five probability models. The graphs in the right column
show the percentage of profiles such that (i) Split Cycle and Beat Path output different sets of winners and
(ii) randomly selecting a Split Cycle winner and randomly selecting a Beat Path winner resulted in different
ultimate winners.
68
References
Kenneth J. Arrow. Social Choice and Individual Values. John Wiley & Sons, Inc., New York, 2nd edition,
1963.
Nick Baigent. Twitching weak dictators. Journal of Economics, 47(4):407–411, 1987. doi:10.1007/bf01229471.
Michel Balinski and Rida Laraki. Majority Judgement: Measuring, Ranking and Electing. MIT Press,
Boston, 2010. doi:10.7551/mitpress/9780262015134.001.0001.
Sven Berg. Paradox of voting under an urn model: The effect of homogeneity. Public Choice, 47:377–387,
1985. doi:10.1007/BF00127533.
Niclas Boehmer, Robert Bredereck, Piotr Faliszewski, Rolf Niedermeier, and Stanisław Szufa. Putting a
compass on the map of elections. In Zhi-Hua Zhou, editor, Proceedings of the Thirtieth International
Joint Conference on Artificial Intelligence (IJCAI-21), pages 59–65. International Joint Conferences on
Artificial Intelligence, 2021.
Georges Bordes. On the possibility of reasonable consistent majoritarian choice: Some positive results.
Journal of Economic Theory, 31(1):122–132, 1983. doi:10.1016/0022-0531(83)90024-8.
Steven J. Brams and Peter C. Fishburn. Voting procedures. In Kenneth J. Arrow, Amartya K. Sen, and
Kotaro Suzumura, editors, Handbook of Social Choice and Welfare, volume 1, pages 173–236. NorthHolland, Amsterdam, 2002. doi:10.1016/s1574-0110(02)80008-x.
Felix Brandt. Rolling the dice: Recent results in probabilistic social choice. In Ulle Endriss, editor, Trends
in Computational Social Choice, pages 3–26. AI Access, 2017.
Felix Brandt and Hans Georg Seedig. On the discriminative power of tournament solutions. In M. Lübbecke,
A. Koster, P. Letmathe, R. Madlener, B. Peis, and G. Walther, editors, Operations Research Proceedings
2014, pages 53–58, Cham, 2014. Springer. doi:doi.org/10.1007/978-3-319-28697-6_8.
Felix Brandt, Markus Brill, Hans Georg Seedig, and Warut Suksompong. On the structure of stable tournament solutions. Economic Theory, 65(2):483–507, 2018. doi:10.1007/s00199-016-1024-x.
Markus Brill and Felix Fischer. The price of neutrality for the ranked pairs method. In Proceedings of the
Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI-12), pages 1299–1305. AAAI Press, 2012.
Donald E. Campbell and Jerry S. Kelly. Weak independence and veto power. Economics Letters, 66(2):
183–189, 2000. doi:10.1016/s0165-1765(99)00209-8.
Vincent Conitzer and Tuomas Sandholm. Common voting rules as maximum likelihood estimators. In
Proceedings of the Twenty-First Conference on Uncertainty in Artificial Intelligence (UAI-05), pages 145–
152, Arlington, Virginia, 2005. AUAI Press.
A. H. Copeland. A ‘reasonable’ social welfare function. Notes from a seminar on applications of mathematics
to the social sciences, University of Michigan, 1951.
Richard B. Darlington. Minimax is the best electoral system after all. arXiv:1606.04371, 2016.
69
Bernard Debord. Caractérisation des matrices des préférences nettes et méthodes d’agrégation associées.
Mathématiques et sciences humaines, 97:5–17, 1987.
Frank DeMeyer and Charles R. Plott. The probability of a cyclical majority. Econometrica, 38(2):345–354,
1970.
Yifeng Ding, Wesley H. Holliday, and Eric Pacuit.
An axiomatic characterization of Split Cycle.
arXiv:2210.12503, 2022.
Conal Duddy. Condorcet’s principle and the strong no-show paradoxes. Theory and Decision, 77:275–285,
2014. doi:10.1007/s11238-013-9401-4.
John Duggan. Uncovered sets. Social Choice and Welfare, 41(3):489–535, 2013. doi:10.1007/s00355-0120696-9.
Bhaskar Dutta and Jean-Francois Laslier. Comparison functions and choice correspondences. Social Choice
and Welfare, 16:513–532, 1999. doi:10.1007/s003550050158.
Bhaskar Dutta, Matthew O. Jackson, and Michel Le Breton. Strategic candidacy and voting procedures.
Econometrica, 69(4):1013–1037, 2001. doi:10.1111/1468-0262.00228.
Lars Ehlers and John A. Weymark. Candidate stability and nonbinary social choice. Economic Theory, 22
(2):233–243, 2003. doi:10.1007/s00199-002-0279-6.
Steve Eppley.
Beatpath criterion, Tideman, and BCM, 2000.
URL http://lists.electorama.com/
pipermail/election-methods-electorama.com/2000-February/068928.html.
Hülya Eraslan and Andrew McLellan. Candidate stability and nonbinary social choice. Journal of Economic
Theory, 117(1):29–54, 2004. doi:10.1016/j.jet.2003.09.005.
Mehdi Feizi, Rasoul Ramezanian, and Saeed Malek Sadati. Borda paradox in the 2017 Iranian presidential election: empirical evidence from opinion polls. Economics of Governance, 21:101–113, 2020.
doi:10.1007/s10101-019-00233-3.
Dan S. Felsenthal. Review of paradoxes afflicting procedures for electing a single candidate. In Electoral
Systems: Paradoxes, Assumptions and Procedures, pages 19–92, Berlin, 2012. Springer. doi:10.1007/9783-642-20441-8_3.
Dan S. Felsenthal and Hannu Nurmi. Two types of participation failure under nine voting methods in variable
electorates. Public Choice, 168:115–135, 2016. doi:10.1007/s11127-016-0352-5.
Dan S. Felsenthal and Nicolaus Tideman. Varieties of failure of monotonicity and participation under five
voting methods. Theory and Decision, 75:59–77, 2013. doi:10.1007/s11238-012-9306-7.
Peter C. Fishburn. Condorcet social choice functions. SIAM Journal on Applied Mathematics, 33(3):469–489,
1977. doi:10.1137/0133030.
Peter C. Fishburn and Steven J. Brams. Paradoxes of preferential voting. Mathematics Magazine, 56(4):
207–214, 1983. doi:10.2307/2689808.
70
Rupert Freeman, Markus Brill, and Vincent Conitzer. On the axiomatic characterization of runoff voting
rules. In Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI-14), pages
675–681. AAAI Press, 2014.
Rupert Freeman, Markus Brill, and Vincent Conitzer. General tiebreaking schemes for computational social
choice. In Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems
(AAMAS 2015), pages 1401–1409, Richland, SC, 2015. International Foundation for Autonomous Agents
and Multiagent Systems. ISBN 9781450334136.
Allan Gibbard. Manipulation of voting schemes: A general result. Econometrica, 41(4):587–601, 1973.
doi:10.2307/1914083.
Donald B. Gillies. Solutions to general non-zero-sum games. In A. W. Tucker and R. D. Luce, editors,
Contributions to the Theory of Games. Princeton University Press, 1959.
Matthew Harrison-Trainor. An analysis of random elections with large numbers of voters. Mathematical
Social Sciences, 116:68–84, 2022. doi:10.1016/j.mathsocsci.2022.01.002.
Jobst Heitzig.
Social choice under incomplete, cyclic preferences: Majority/minority-based rules, and
composition-consistency. arXiv:0201285, 2002.
Jobst Heitzig. Examples with 4 options for immune methods, 2004a. URL http://lists.electorama.com/
pipermail/election-methods-electorama.com//2004-May/078166.html.
Jobst Heitzig. River method – updated summary, 2004b. URL http://lists.electorama.com/pipermail/
election-methods-electorama.com/2004-October/014018.html.
Michael C. Herron and Jeffrey B. Lewis. Did Ralph Nader spoil a Gore presidency? a ballot-level study of
Green and Reform Party voters in the 2000 presidential election. Quarterly Journal of Political Science,
2(3):205–226, 2007.
Heike Hofmann, Hadley Wickham, and Karen Kafadar. Letter-value plots: Boxplots for large data. Journal
of Computational and Graphical Statistics, 26(3):469–477, 2017. doi:10.1080/10618600.2017.1305277.
Wesley H. Holliday and Eric Pacuit. Axioms for defeat in democratic elections. Journal of Theoretical
Politics, 33(4):475–524, 2021a. doi:10.1177/09516298211043236. arXiv:2008.08451.
Wesley H. Holliday and Eric Pacuit.
Measuring violations of positive involvement in voting.
In
J. Y. Halpern and A. Perea, editors, Theoretical Aspects of Rationality and Knowledge 2021 (TARK
2021), volume 335 of Electronic Proceedings in Theoretical Computer Science, pages 189–209, 2021b.
doi:10.4204/EPTCS.335.17.
Wesley H. Holliday and Eric Pacuit.
Stable Voting.
Constitutional Political Economy, Forthcoming.
doi:10.1007/s10602-022-09383-9. arXiv:2108.00542.
Wesley H. Holliday, Chase Norman, and Eric Pacuit. Voting theorem in the Lean Theorem Prover. In
S. Ghosh and T. Icard, editors, Logic, Rationality, and Interaction. LORI 2021, volume 13039 of Lecture
Notes in Computer Science, pages 111–127, Cham, 2021. Springer. doi:10.1007/978-3-030-88708-7_9.
arXiv:2110.08453 [cs.LO].
71
Wesley H. Holliday, Chase Norman, Eric Pacuit, and Saam Zahedian. Impossibility theorems involving
weakenings of expansion consistency and resoluteness in voting. In Michael A. Jones, David McCune, and
Jennifer Wilson, editors, Mathematical Analyses of Decisions, Voting, and Games, Contemporary Mathematics. American Mathematical Society, Providence, RI, Forthcoming. https://arxiv.org/abs/2208.06907.
José L. Jimeno, Joaquín Pérez, and Estefanía García. An extension of the Moulin No Show Paradox for
voting correspondences. Social Choice and Welfare, 33(3):343–359, 2009. doi:10.1007/s00355-008-0360-6.
Anna Purna Kambhampaty. New York City voters just adopted Ranked-Choice Voting in elections. Here’s
how it works. Time Magazine, 2019. November 6, 2019 issue.
Marek M. Kaminski. Empirical examples of voting paradoxes. In Jac C. Heckelman and Nicholas R. Miller,
editors, Handbook of Social Choice and Voting, pages 1367–387. Edward Elgar Publishing, Northhampton,
MA, 2015. doi:10.4337/9781783470730.00029.
Marek M. Kaminski. Spoiler effects in proportional representation systems: evidence from eight Polish
parliamentary elections, 1991-2015. Public Choice, 176:441–460, 2018. doi:10.1007/s11127-018-0565-x.
Laura Kasper, Hans Peters, and Dries Vermeulen. Condorcet Consistency and the strong no show paradoxes.
Mathematical Social Sciences, 99:36–42, 2019. doi:10.1016/j.mathsocsci.2019.03.002.
Jerry S. Kelly. Social Choice Theory: An Introduction. Springer, Berlin, 1988. doi:10.1007/978-3-662-099254.
Gerald H. Kramer. A dynamical model of political equilibrium. Journal of Economic Theory, 16(2):310–334,
1977. doi:10.1016/0022-0531(77)90011-4.
Peter Kurrild-Klitgaard. Trump, Condorcet and Borda: Voting paradoxes in the 2016 Republican presidential primaries. European Journal of Political Economy, 55:29–35, 2018. doi:10.1016/j.ejpoleco.2017.10.003.
Claude Lamboray. A prudent characterization of the Ranked Pairs Rule. Social Choice and Welfare, 32:
129–155, 2008. doi:10.1007/s00355-008-0319-7.
Jean-François Laslier. Tournament Solutions and Majority Voting. Springer, Berlin, 1997.
Jean-François Laslier. And the loser is...plurality voting. In Dan S. Felsenthal and Moshé Machover, editors, Electoral Systems: Paradoxes, Assumptions and Procedures, pages 327–351, Berlin, 2012. Springer.
doi:10.1007/978-3-642-20441-8_13.
Christopher S. P. Magee. Third-party candidates and the 2000 presidential election. Social Science Quarterly,
84(3):29–35, 2003. doi:10.1111/1540-6237.8403006.
C. L. Mallows. Non-null ranking models. I. Biometrika, 44(2):114–130, 1957. doi:10.2307/2333244.
John Marden. Analyzing and Modeling Rank Data. CRC Press, New York, 1995. doi:10.1201/b16552.
Eric Maskin and Amartya Sen. How majority rule might have stopped Donald Trump. The New York
Times, 2016. April 28, 2016 issue.
72
Eric Maskin and Amartya Sen. The rules of the game: A new electoral system. The New York Review of
Books, 2017a. January 19, 2017 issue.
Eric Maskin and Amartya Sen. A better way to choose presidents. The New York Review of Books, 2017b.
June 8, 2017 issue.
Nicholas R. Miller. A new solution set for tournaments and majority voting: Further graph-theoretical
approaches to the theory of voting.
doi:10.2307/2110925.
American Journal of Political Science, 24(1):68–96, 1980.
Nicholas R. Miller. Reflections on Arrow’s theorem and voting rules. Public Choice, 179:113–124, 2019.
doi:10.1007/s11127-018-0524-6.
Hervé Moulin.
Choosing from a tournament.
doi:10.1007/BF00292732.
Social Choice and Welfare, 3(4):271–291, 1986.
Hervé Moulin. Condorcet’s principle implies the no show paradox. Journal of Economic Theory, 45(1):
53–64, 1988. doi:10.1016/0022-0531(88)90253-0.
Roger B. Myerson. Axiomatic derivation of scoring rules without the ordering assumption. Social Choice
and Welfare, 12(1):59–74, 1995. doi:10.1007/BF00182193.
Eric Pacuit. Voting methods. In Edward N. Zalta, editor, The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, Fall 2019 edition, 2019.
Elizabeth Maggie Penn. Alternate definitions of the uncovered set and their implications. Social Choice and
Welfare, 27(1):83–87, 2006. doi:10.1007/s00355-006-0114-2.
Joaquín Pérez. The strong no show paradoxes are a common flaw in Condorcet voting correspondences.
Social Choice and Welfare, 18(3):601–616, 2001. doi:10.1007/s003550000079.
Raúl Pérez-Fernández and Bernard De Baets.
The supercovering relation, the pairwise winner, and
more missing links between Borda and Condorcet.
doi:10.1007/s00355-017-1086-0.
Social Choice and Welfare, 50:329–352, 2018.
Josep E. Peris and Begoña Subiza. Condorcet choice correspondences for weak tournaments. Social Choice
and Welfare, 16(2):217–231, 1999. doi:10.1007/s003550050141.
Marcus Pivato. Voting rules as statistical estimators. Social Choice and Welfare, 40(2):581–630, 2013a.
doi:10.1007/s00355-011-0619-1.
Marcus Pivato. Variable-population voting rules. Journal of Mathematical Economics, 49(3):210–221, 2013b.
doi:10.1016/j.jmateco.2013.02.001.
Richard F. Potthoff and Michael C. Munger. Condorcet loser in 2016: Apparently Trump; Condorcet winner:
Not Clinton? American Politics Research, 49(6):618–636, 2021. doi:10.1177/1532673X211009499.
Jeffrey T. Richelson. A comparative analysis of social choice functions, III. Behavioral Science, 23:169–176,
1978.
73
Carmelo Rodríguez-Álvarez. Candidate stability and voting correspondences. Social Choice and Welfare, 27
(3):545–570, 2006. doi:10.1007/s00355-006-0126-y.
Donald G. Saari. Geometry of Voting. Springer, Berlin, 1994. doi:10.1007/978-3-642-48644-9.
Donald G. Saari. Basic Geometry of Voting. Springer, Berlin, 1995. doi:10.1007/978-3-642-57748-2.
Donald G. Saari. Explaining all three-alternative voting outcomes. Journal of Economic Theory, 87(2):
313–355, 1999. doi:10.1006/jeth.1999.2541.
M. Remzi Sanver and William S. Zwicker. Monotonicity properties and their adaptation to irresolute social
choice rules. Social Choice and Welfare, 39(2/3):371–398, 2012. doi:10.1007/s00355-012-0654-6.
Mark Satterthwaite. The Existence of a Strategy Proof Voting Procedure. PhD thesis, University of Wisconsin,
1973.
Markus Schulze. A new monotonic, clone-independent, reversal symmetric, and condorcet-consistent singlewinner election method. Social Choice and Welfare, 36:267–303, 2011. doi:10.1007/s00355-010-0475-4.
Markus Schulze. The Schulze method of voting. arXiv:1804.02973v11, 2022.
Thomas Schwartz.
The Logic of Collective Choice.
Columbia University Press, New York, 1986.
doi:10.7312/schw93758.
Amartya Sen. Choice functions and revealed preference. The Review of Economic Studies, 38(3):307–317,
1971. doi:10.2307/2296384.
Amartya Sen. Internal consistency of choice. Econometrica, 61(3):495–521, 1993. doi:10.2307/2951715.
Amartya Sen. Collective Choice and Social Welfare: An Expanded Edition. Harvard University Press,
Cambridge, Mass., 2017.
Paul B. Simpson. On defining areas of voter choice: Professor Tullock on stable voting. The Quarterly
Journal of Economics, 83(3):478–490, 1969. doi:10.2307/1880533.
John H. Smith. Aggregation of preferences with variable electorate. Econometrica, 41(6):1027–1041, 1973.
doi:10.2307/1914033.
Alan D. Taylor. Social Choice and the Mathematics of Manipulation. Cambridge University Press, Cambridge, 2005. doi:10.1017/cbo9780511614316.
Alan D. Taylor and Allison M. Pacelli. Mathematics and Politics: Strategy, Voting, Power, and Proof.
Springer, New York, 2nd edition, 2008. doi:10.1007/978-0-387-77645-3.
T. Nicolaus Tideman. Independence of clones as a criterion for voting rules. Social Choice and Welfare, 4:
185–206, 1987. doi:10.1007/bf00433944.
Ilia Tsetlin, Michel Regenwetter, and Bernard Grofman. The impartial culture maximizes the probability of
majority cycles. Social Choice and Welfare, 21:387–398, 2003. doi:10.1007/s00355-003-0269-z.
74
Jun Wang, Sujoy Sikdar, Tyler Shepherd Zhibing Zhao, Chunheng Jiang, and Lirong Xia. Practical algorithms for multi-stage voting rules with parallel universes tiebreaking. In Proceedings of the Thirty-Third
AAAI Conference on Artificial Intelligence (AAAI-19). AAAI Press, 2019.
Wikipedia contributors. Spoiler effect — Wikipedia, the free encyclopedia, 2020a. URL https://en.
wikipedia.org/wiki/Spoiler_effect. [Online; accessed 19-February-2020].
Wikipedia contributors. Condorcet method — Wikipedia, the free encyclopedia, 2020b. URL https://en.
wikipedia.org/wiki/Condorcet_method#Use_of_Condorcet_voting. [Online; accessed 19-February2020].
Jonathan Woon, Sean Craig, Amanda Leifson, and Matthew Tarpey. Trump is not a (Condorcet) loser!
Primary voters’ preferences and the 2016 republican presidential nomination. Political Science and Politics,
53(3):407–412, 2020. doi:10.1017/S1049096520000359.
H. P. Young. Social choice scoring functions. SIAM Journal on Applied Mathematics, 28(4):313–355, 1975.
doi:10.1137/0128067.
T. M. Zavist and T. Nicolaus Tideman. Complete independence of clones in the ranked pairs rule. Social
Choice and Welfare, 6:167–173, 1989. doi:10.1007/bf00303170.
William S. Zwicker. Introduction to the theory of voting. In Felix Brandt, Vincent Conitzer, Ulle Endriss,
Jérôme Lang, and Ariel D. Procaccia, editors, Handbook of Computational Social Choice, pages 23–56.
Cambridge University Press, New York, 2016. doi:10.1017/cbo9781107446984.003.
75