Abstract
We propose a Condorcetconsistent voting method that we call Split Cycle. Split Cycle belongs to the small family of known voting methods satisfying the antivotesplitting 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 cloneindependent methods, Split Cycle mitigates both “spoiler effects” and “strong no show paradoxes.”
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A voting method is Condorcetconsistent 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. Condorcetconsistent voting methods form an important class of methods in the theory of voting (see, e.g., Fishburn, 1977; Brams & 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, 2020a) and in over 30,000 polls through the Condorcet Internet Voting Service (https://civs.cs.cornell.edu). Recent initiatives in the United States 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 & Sen, 2016, 2017a, 2017b). In the meantime, Condorcet methods continue to be used by committees, clubs, etc.
In this paper, we propose a Condorcetconsistent voting method that we call Split Cycle, which has a number of attractive axiomatic properties.^{Footnote 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 antivotesplitting 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 wellknown 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 Smithdominated alternatives, negative involvement, nonnegative 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 other 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, nonnegative responsiveness, and immunity to spoilers.^{Footnote 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 headtohead (or pairwise) voting method. We compare each pair of candidates a and b in a headtohead match. If more voters rank a above b than rank b above a, then a wins the headtohead match and b loses the headtohead 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 there is a chance that every candidate will lose a match to some other candidate.^{Footnote 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 (for a real election with such a cycle, see the 2021 Minneapolis City Council election at https://github.com/votingtools/electionanalysis). There can also be cycles involving more than three candidates.
Split Cycle deals with the problem of majority cycles as follows^{Footnote 4}:

1.
In each cycle, identify the headtohead 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 1000 votes, b wins against c by 2000 votes, and c wins against a by 3000 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 Sect. 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 Sect. 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 (Sect. 1.1), followed by the “strong no show paradox” that the positive involvement and negative involvement criteria rule out (Sect. 1.2). We then provide a roadmap of the rest of the paper in Sect. 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 & 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 twoperson election, but by drawing enough votes away from Gore in the threeperson 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 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, \(\{\text{ Gore }, \text{ 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 nonclone 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 
Gore  Bush  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/thespoilereffect/, 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 that an additional Republican candidate r joins the race:
37  29  34 

r  d  p 
d  p  d 
p  r  r 
Instant Runoff works by first removing the candidate who received the fewest firstplace votes—in this case, candidate d—from all ballots, resulting in the following:
37  29  34 

r  p  p 
p  r  r 
Now p has a majority of firstplace votes, so p is declared the Instant Runoff winner. Note, however, that in the threeperson 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/votingtools/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 & Munger, 2021, and for examples outside of the United States, 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 singleoffice elections, as matters are more complicated in multioffice 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.^{Footnote 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 1 greater than the number who prefer c to a:
2  3  4 

b  a  c 
a  c  b 
c  b  b 
For this election, we agree with proponents of voting methods such as Minimax, Ranked Pairs, and Beat Path (all defined in the online 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.^{Footnote 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 twoperson 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, 2020b): 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 majoritypreferred 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 consistency^{Footnote 7} to the variablecandidate setting: a candidate who would be a winner without the newcomers and is majoritypreferred to all the newcomers 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 twocandidate 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 headtohead, 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 headtohead, 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 pretiebreaking winners, we should not require it of tiebreaking procedures. We propose weaker axioms on tiebreaking procedures in Sect. 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) lastplace candidate on their ballots, the addition of those voters should not make x a winner. Perhaps surprisingly, wellknown 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, because their car breaks 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  a  b 
c  a  b  a 
Candidate a receives the fewest firstplace votes, so a is eliminated in the first round. With a eliminated from the ballots, b receives a majority of firstplace 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:
4  3  1  3 

a  b  c  c 
b  c  a  b 
c  a  b  a 
Now candidate b receives the fewest firstplace votes, so b is eliminated in the first round. With b eliminated from the ballots, c receives a majority of firstplace 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. Remarkably, Instant Runoff has violated negative involvement in real elections, such as the Alaska election mentioned in Example 1.2 (again see https://github.com/votingtools/electionanalysis).
The dual of the negative involvement criterion is the positive involvement criterion (again see Saari, 1995; Pérez, 2001).^{Footnote 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) firstplace 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.^{Footnote 9} In the initial election scenario, we have the following ballots:
2  2  1 

a  b  c 
b  c  a 
c  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 that 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 the voter’s unique favorite). As an analogy, a voting method failing the nonnegative responsiveness criterion (see Sect. 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 nonnegative 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.”^{Footnote 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, 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 nonvoting, 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 Condorcetconsistent voting methods fail versions of participation^{Footnote 11} 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 wellknown 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 noshow 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 Sect. 2, we review some preliminary notions: profiles, margin graphs, and voting methods, as well as operations on profiles. In Sect. 3, we motivate and define our proposed voting method, Split Cycle. In Sect. 4, we discuss our new voting criteria concerning spoilers, stealers, and stability, as well as a stronger criterion based on Sen’s (1971, 1993) choicefunctional condition of expansion consistency. In Sect. 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 Fig. 2. We conclude in Sect. 6 with a brief summary and directions for further research on Split Cycle. Appendices A and B contain proofs deferred from the main text. The online Appendices C and D contain definitions of other voting methods in Fig. 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 Sect. 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/FormalizedVoting, as described in Holliday et al. (2021).
2 Preliminaries
2.1 Profiles, margin graphs, and voting methods
Fix infinite sets \(\mathcal {V}\) and \(\mathcal {X}\) of voters and candidates, respectively. A given election will involve only finite subsets \(V\subseteq \mathcal {V}\) and \(X\subseteq \mathcal {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\in X\), if xPy, then not yPx. Let \(\mathcal {B}(X)\) be the set of all asymmetric binary relations on X.
Definition 2.1
A profile is a pair \((\textbf{P}, X(\textbf{P}))\) where \(\textbf{P}: V(\textbf{P})\rightarrow \mathcal {B}(X(\textbf{P}))\) for some nonempty finite \(X(\textbf{P})\subseteq \mathcal {X}\) and nonempty finite \(V(\textbf{P})\subseteq \mathcal {V}\). We conflate the profile with the function \(\textbf{P}\).^{Footnote 12} We call \(X(\textbf{P})\) and \(V(\textbf{P})\) the sets of candidates in \(\textbf{P}\) and voters in \(\textbf{P}\), respectively. We call \(\textbf{P}(i)\) voter i’s ballot, and we write “\(x\textbf{P}_iy\)” for \((x,y)\in \textbf{P}(i)\).
As usual, we take \(x\textbf{P}_iy\) to mean that voter i strictly prefers candidate x to candidate y. It is standard to assume that \(\textbf{P}_i\) satisfies additional constraints beyond asymmetry, such as transitivity and even negative transitivity (if not \(x\textbf{P}_iy\) and not \(y\textbf{P}_iz\), then not \(y\textbf{P}_iz\)). More generally, one may consider the following classes of profiles: \(\mathscr {P}\), the class of all profiles; \(\mathscr {A}\), the class of acyclic profiles, in which each voter’s ballot is acyclic, meaning that there are no \(x_1,\dots ,x_n\in X(\textbf{P})\) with \(n>1\) such that for \(k\in \{1,\dots ,n1\}\), we have \(x_{k}\textbf{P}_i x_{k+1}\), and \(x_n= x_1\); \(\mathscr {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); \(\mathscr {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\in X(\textbf{P})\) with \(x\ne y\), we have either \(x\textbf{P}_iy\) or \(y\textbf{P}_ix\).
Proving that a voting method satisfies some universal axiom with respect to a larger class of profiles, like \(\mathscr {P}\) or \(\mathscr {A}\), is obviously stronger than proving that it satisfies the universal axiom with respect to a smaller class of profiles, like \(\mathscr {L}\). On the other hand, proving that a voting method does not satisfy some universal axiom with respect to a smaller class of profiles, like \(\mathscr {L}\), is stronger than proving that it does not satisfy the universal axiom with respect to a larger class of profiles, such as \(\mathscr {P}\) or \(\mathscr {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 \(\mathcal {M}\) with positive integer weights whose edge relation is asymmetric. We say that \(\mathcal {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 Sect. 1.1.
Definition 2.4
Let \(\textbf{P}\) be a profile and \(a,b\in X(\textbf{P})\). Then
The margin graph of \(\textbf{P}\), \(\mathcal {M}(\textbf{P})\), is the weighted directed graph whose set of nodes is \(X(\textbf{P})\) with an edge from a to b weighted by \(Margin_\textbf{P}(a,b)\) when \(Margin_\textbf{P}(a,b)>0\), in which case we say that a is majoritypreferred to b. We write \(a\overset{\alpha }{\rightarrow }_\textbf{P}b \text{ if } \alpha = Margin_\textbf{P}(a,b)> 0\), omitting the \(\alpha\) when the size of the margin is not important and \(\textbf{P}\) when the profile in question is clear. We say that \(\textbf{P}\) is uniquely weighted if for all \(x,y,x',y'\in X(\textbf{P})\), if \(x\ne y\), \(x'\ne y'\), and \((x,y)\ne (x',y')\), then \(Margin_\textbf{P}(x,y)\ne Margin_\textbf{P}(x',y')\).
We call the unweighted directed graph underlying \(\mathcal {M}(\textbf{P})\) the majority graph of \(\textbf{P}\), denoted as \(M(\textbf{P})\), and we call the edge relation of \(M(\textbf{P})\) the majority relation of \(\textbf{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 \(\mathcal {M}\), there is a strict weak order profile \(\textbf{P}\) such that \(\mathcal {M}\) is the margin graph of \(\textbf{P}\); and if \(\mathcal {M}\) has uniform parity, then there is a linear profile \(\textbf{P}\) such that \(\mathcal {M}\) is the margin graph of \(\textbf{P}\).
Finally, we define what we mean by a voting method for the purposes of this paper.
Definition 2.6
Given a set \(\mathscr {D}\) of profiles, a voting method on \(\mathscr {D}\) is a function F such that for all profiles \(\textbf{P}\in \mathscr {D}\), we have \(\varnothing \ne F(\textbf{P})\subseteq X(\textbf{P})\). We call \(F(\textbf{P})\) the set of winners or winning set for \(\textbf{P}\) under F. We write \(\textrm{dom}(F)\) for the set \(\mathscr {D}\) on which F is defined.
As usual, if \(F(\textbf{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 evenchance lottery on \(F(\textbf{P})\), a runoff election with the candidates in \(F(\textbf{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 \(\textbf{P}\) and \(\textbf{P}'\) such that \(X(\textbf{P})=X(\textbf{P}')\) and \(V(\textbf{P})\cap V(\textbf{P}')=\varnothing\), we define the profile \(\textbf{P}+\textbf{P}': V(\textbf{P})\cup V(\textbf{P}')\rightarrow \mathcal {B}(X(\textbf{P}))\) such that \((\textbf{P}+\textbf{P}')(i)=\textbf{P}(i)\) if \(i\in V(\textbf{P})\) and \((\textbf{P}+\textbf{P}')(i)=\textbf{P}'(i)\) if \(i\in V(\textbf{P}')\). To add \(\textbf{P}\) to itself, we may take \(\textbf{P}+\textbf{P}^*\), where \(\textbf{P}^*\) is a copy of \(\textbf{P}\) with a disjoint set of voters.^{Footnote 13}
We will also be interested in deleting some candidates from every ballot in a profile, as follows.
Definition 2.8
Given a profile \(\textbf{P}\) and nonempty \(Y\subseteq X(\textbf{P})\), define the restricted profile \(\textbf{P}\vert _{ Y}\) to be the profile with \(X(\textbf{P}\vert _{ Y})=Y\) and \(V(\textbf{P}\vert _{ Y})=V(\textbf{P})\) such that for each \(i\in V(\textbf{P}\vert _{ Y})\), \(\textbf{P}\vert _{ Y}(i)\) is the restriction of the relation \(\textbf{P}(i)\) to Y. As a special case, when \(\vert X(\textbf{P})\vert >1\) and \(x\in X(\textbf{P})\), let \(\textbf{P}_{x} = \textbf{P}\vert _{X(\textbf{P}){\setminus }\{x\}}\), i.e., the result of removing candidate x from each ballot.
3 Split Cycle
3.1 Three main ideas
The “paradox of voting” is the phenomenon wherein cycles may occur in the margin graph of a profile, e.g., a is majoritypreferred to b, b is majoritypreferred to c, and c is majoritypreferred to a. Recall the formal definition of a cycle.
Definition 2.9
Given a directed graph \(\mathcal {G}\) (e.g., a margin graph), a path in \(\mathcal {G}\) is a sequence \(\langle x_1,\dots ,x_n\rangle\) of nodes from \(\mathcal {G}\) such that \(n>1\), and for all \(i\in \{1,\dots ,n1\}\), we have \(x_i\rightarrow x_{i+1}\), where \(\rightarrow\) is the edge relation of the graph. A cycle in \(\mathcal {G}\) is defined in the same way but requiring \(x_1=x_n\). The cycle is simple if for all distinct \(i,j\in \{1,\dots ,n\}\), \(x_i=x_j\) only if \(i,j\in \{1,n\}\) (i.e., all nodes are distinct except \(x_1=x_n\)).
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:
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 \(Margin_\textbf{P}(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 (Sect. 5.2.3), which take all three cycles to result in threeway ties regardless of the margins.^{Footnote 14}
2. Incoherence can be localized. Consider the following margin graph:
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 majoritypreferred 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):
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 majoritypreferred to d, a should nonetheless 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 majoritypreferred to d. We find it difficult to try to explain to d’s supporters that although a was not majoritypreferred to d, a nonetheless kicks d out of the winning set because of a’s relation to other candidates, f and e, neither of whom defeat d!^{Footnote 15} Of course, reasonable definitions of defeat cannot fully satisfy the independence of irrelevant alternatives (IIA) criterion (Arrow, 1963),^{Footnote 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 \(\textbf{P}\) be a profile whose margin graph is shown above, and let \(\textbf{P}'\) be a profile just like \(\textbf{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 \(b\textbf{P}_i'c\textbf{P}_i'e\textbf{P}_i'f\). In \(\textbf{P}'\), since d is majoritypreferred 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 \(\textbf{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.^{Footnote 17}
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 Sect. 3.1.
Definition 3.2
Let \(\textbf{P}\) be a profile and \(\rho\) a simple cycle in \(\mathcal {M}(\textbf{P})\). The splitting number of \(\rho\), \(Split\#_\textbf{P}(\rho )\), is the smallest margin between consecutive candidates in \(\rho\) (e.g., the splitting number of \(a\overset{3}{\rightarrow }\ b \overset{1}{\rightarrow }\ c \overset{5}{\rightarrow }\ a\) is 1). We omit the subscript for \(\textbf{P}\) when the profile is clear from context.
Thus, for example, the splitting number of the cycle in the threecandidate margin graph in Sect. 3.1 is 1, while the splitting number of the cycle in the fourcandidate margin graph in Sect. 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 \(\textbf{P}\) be a profile and \(a,b\in X(\textbf{P})\). Then a defeats b in \(\textbf{P}\) if \(Margin_\textbf{P}(a,b)>0\) and
A candidate b is undefeated in \(\textbf{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 \(xW_\textbf{P}^ny\) if \(Margin_\textbf{P}(x,y)>n\).
Finally, we can define the voting method we call Split Cycle:
Definition 3.5
For any profile \(\textbf{P}\), the set of Split Cycle winners, \(SC(\textbf{P})\), is the set of candidates who are undefeated in \(\textbf{P}\).
As explained in Sect. 1, one can determine \(SC(\textbf{P})\) in a simple twostep 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 \(\textbf{P}\) is its margin graph, we can also think of Split Cycle as assigning to each margin graph \(\mathcal {M}\) a set \(SC(\mathcal {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 Sect. 3.1 are as follows: in the threecandidate example, the unique Split Cycle winner is c; in the fourcandidate example, the Split Cycle winners are a, b, and c; and in the sixcandidate 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:
The splitting number of the cycle \(b\rightarrow d \rightarrow c\rightarrow b\) is 4; the splitting number of the cycle \(b\rightarrow a \rightarrow c\rightarrow b\) is 6; and the splitting number of the cycle \(b\rightarrow a\rightarrow d\rightarrow c\rightarrow 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\rightarrow d\) edge in the cycle on the left, the \(a\rightarrow c\) edge in the cycle in the middle, and the \(a\rightarrow d\) edge in the cycle on the right), the remaining edges are defeats:
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 \(\textbf{P}\), let the defeat graph of \(\textbf{P}\) be the directed graph whose set of nodes is \(X(\textbf{P})\) with an edge from a to b when a defeats b in \(\textbf{P}\). Then for any profile \(\textbf{P}\), the defeat graph of \(\textbf{P}\) contains no cycles. Thus, \(SC(\textbf{P})\ne \varnothing\).
Proof
Suppose there is a cycle \(a_1Da_2D\dots Da_nDa_1\) in the defeat graph of \(\textbf{P}\), which we may assume is simple (since if there is any cycle, there is a simple one). This yields a simple cycle \(\rho =a_1 \overset{\alpha _1}{\longrightarrow }\ a_2 \overset{\alpha _2}{\longrightarrow }\ \dots \overset{\alpha _{n1}}{\longrightarrow } a_n \overset{\alpha _n}{\longrightarrow }\ a_1\) in \(\mathcal {M}(\textbf{P})\) where each margin \(\alpha _i\) is greater than the splitting number of any simple cycle containing \(a_i,a_{i+1\;\textrm{mod}\; n}\) and hence greater than the splitting number of \(\rho\) 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. 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 & 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.^{Footnote 18} Implicit here is that we can view Split Cycle as a collective choice rule, i.e., a function mapping each profile \(\textbf{P}\) to a binary relation on \(X(\textbf{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 \(\textbf{P}\), then there is some winner x and a path in the defeat graph of \(\textbf{P}\) from x to z.
Lemma 3.11
For any profile \(\textbf{P}\) and \(z\in X(\textbf{P})\setminus SC(\textbf{P})\), there is an \(x\in SC(\textbf{P})\) and distinct \({y_1,\dots ,y_n\in X(\textbf{P})}\) with \(y_1=x\) and \(y_n=z\) such that \(y_1Dy_{2}D\dots Dy_{n1} D y_n\).
Proof
We first find \(w_1,\dots ,w_n\in X(\textbf{P})\) such that \(w_nDw_{n1}D\dots Dw_2 D w_1\) and then relabel \(w_1,\dots ,w_n\) as \(y_n,\dots ,y_1\), so that \(y_1Dy_{2}D\dots Dy_{n1} D y_n\). If \(z\in X(\textbf{P}){\setminus } SC(\textbf{P})\), then setting \(w_1=z\), there is a \(w_2\) such that \(w_2Dz\). If \(w_2\in SC(\textbf{P})\), then we are done with \(x=w_2\); otherwise, there is a \(w_3\) such that \(w_3 Dw_2\); and so on. Since \(X(\textbf{P})\) is finite and there are no cycles in the defeat graph of \(\textbf{P}\) by Lemma 3.9, we eventually find the desired \(w_n\in SC(\textbf{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 \(\textbf{P}\) be a profile and \(a,b\in X(\textbf{P})\). Then a defeats b in \(\textbf{P}\) if and only if \(Margin_\textbf{P}(a,b)>0\) and
Proof
Obviously if \(Margin_\textbf{P}(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 \rightarrow b\rightarrow x_1\rightarrow \dots \rightarrow x_n\rightarrow a\). Conversely, assume \(Margin_\textbf{P}(a,b)\) is greater than the splitting number of every simple cycle of the form \(a \rightarrow b\rightarrow x_1\rightarrow \dots \rightarrow x_n\rightarrow a\). To show that \(Margin_\textbf{P}(a,b)\) is greater than the splitting number of every simple cycle containing a and b, let \(\rho\) be a simple cycle containing a and b whose splitting number is maximal among all such cycles. If \(\rho\) contains \(a\rightarrow b\), then we are done. So suppose that \(\rho\) does not contain \(a\rightarrow b\). Without loss of generality, we may assume that \(\rho\) is of the form \(b\rightarrow x_1\rightarrow \dots \rightarrow x_n\rightarrow a \rightarrow y_1 \rightarrow \dots \rightarrow y_m\rightarrow b\). Let \(\rho '\) be \(a\rightarrow b \rightarrow x_1\rightarrow \dots \rightarrow x_n \rightarrow a\). It follows from our initial assumption that the splitting number of \(\rho '\) is not equal to the margin of the \(a\rightarrow b\) edge. Since \(\rho\) has the maximal splitting number of any simple cycle containing a and b, it follows that one of the edges in \(\rho '\) after the \(a\rightarrow b\) edge has this splitting number as its margin; for if none of the edges in \(\rho '\) after the \(a\rightarrow b\) edge has this splitting number as its margin, then since the splitting number is defined as a minimum, \(\rho '\) has a higher splitting number than \(\rho\), contradicting the fact that \(\rho\) has the maximal splitting number of any simple cycle containing a and b. Thus, \(\rho '\) has a splitting number at least that of \(\rho\), and by assumption, \(Margin_\textbf{P}(a,b)> Split\#(\rho ')\), so we have \(Margin_\textbf{P}(a,b)>Split\#(\rho )\). Thus, \(Margin_\textbf{P}(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 \((\textrm{Im}_{M_\alpha })\) for \(1/2<\alpha \le 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,^{Footnote 19} which includes Beat Path (in his notation, the rule that selects the common optimal elements of the chain \(\{\textrm{tr}_S(M_\alpha )\mid \frac{1}{2}<\alpha \le 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 \((\textrm{Im}_{M_\alpha })\) are also closely related to the notion of a stack from Zavist and Tideman (1989), defined in Sect. 3.3.
It will facilitate reasoning about the defeat relation to introduce one more convenient piece of notation.
Definition 3.14
Let \(\textbf{P}\) be a profile and \(a,b\in X(\textbf{P})\). The cycle number of a and b in \(\textbf{P}\) is
Then we can equivalently rewrite the definition of the defeat relation as follows.
Lemma 3.15
Let \(\textbf{P}\) be a profile and \(a,b\in X(\textbf{P})\). Then a defeats b in \(\textbf{P}\) if and only if
We will often apply Lemmas 3.12 and 3.15 in proofs without comment.
3.3 Refinements of Split Cycle
In Holliday & Pacuit (2021a), we argue 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 pretiebreaking voting method if one regards \(F(\textbf{P})\) as the set of undefeated candidates and regards any further narrowing of \(F(\textbf{P})\) as “tiebreaking.” The political significance of this distinction is that if \(F(\textbf{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(\textbf{P})\) but wins by some further tiebreaking process. In this paper, we are proposing Split Cycle as a pretiebreaking 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 nonanonymous, or nonneutral, or nondeterministic 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 violate one of these properties. Indeed, one 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 & Pacuit, Forthcoming).
Other refinements of Split Cycle are the wellknown Beat Path (Schulze, 2011, 2022) and Ranked Pairs (Tideman 1987; Zavist & 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, nonneutral, or nondeterministic tiebreaking is only needed in nonuniquely weighted profiles.
Definition 3.16
A voting method F is quasiresolute if for every uniquelyweighted \(\textbf{P}\in \textrm{dom}(F)\), \({\vert F(\textbf{P})\vert =1}\).
That Split Cycle is not quasiresolute is shown by Example 4.6 in the next section.
According to Beat Path, a wins in \(\textbf{P}\) if for every other candidate b, the strongest path from a to b in \(\mathcal {M}(\textbf{P})\) is at least as strong as the strongest path from b to a in \(\mathcal {M}(\textbf{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.^{Footnote 20}
Lemma 3.17
Let \(\textbf{P}\) be a profile and \(a,b\in X(\textbf{P})\). Then a defeats b in \(\textbf{P}\) if and only if \(Margin_\textbf{P}(a,b)>0\) and \(Margin_\textbf{P}(a,b)>\text{ the } \text{ strength } \text{ of } \text{ the } \text{ strongest } \text{ path } \text{ from } b \hbox { to } a\).
Proof
By Lemma 3.12, a defeats b if and only if \(Margin_\textbf{P}(a,b)\) is greater than 0 and the splitting number of every simple cycle of the form \(a \rightarrow b\rightarrow x_1\rightarrow \dots \rightarrow x_n\rightarrow a\). But this is equivalent to \(Margin_\textbf{P}(a,b)\) being greater than 0 and the strength of every path of the form \(b\rightarrow x_1\rightarrow \dots \rightarrow x_n\rightarrow a\), which is equivalent to \(Margin_\textbf{P}(a,b)\) being greater than 0 and the strength of the strongest path from b to a.
Lemma 3.18
For any profile \(\textbf{P}\), \(BP(\textbf{P})\subseteq SC(\textbf{P})\), where BP is the Beat Path method.
Proof
Suppose that \(a\not \in SC(\textbf{P})\), so there is a \(b\in X(\textbf{P})\) such that b defeats a according to Split Cycle. Hence \(Margin_\textbf{P}(b,a)\) is greater than the strength of the strongest path from a to b by Lemma 3.17. Since \(b\rightarrow 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\not \in BP(\textbf{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 \(\mathcal {M}(\textbf{P})\), order the edges in \(\mathcal {M}(\textbf{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 lockedin edges does not create a cycle of lockedin edges. Then \(a\in RP(\textbf{P})\) if there is some T such that after running the above algorithm with T, there is no lockedin edge pointing to a. We also make use of an alternative characterization of Ranked Pairs due to Zavist and Tideman (1989). Given a profile \(\textbf{P}\), a linear order L on \(X(\textbf{P})\) is a stack for \(\textbf{P}\) if for any \(a,b\in X(\textbf{P})\), if aLb, then there are distinct \(x_1,\dots ,x_n\in X(\textbf{P})\) with \(x_1=a\) and \(x_n=b\) such that \(x_i L x_{i+1}\) and \(Margin_\textbf{P}(x_i, x_{i+1})\ge Margin_\textbf{P}(b,a)\) for all \(i\in \{1,\dots , n1\}\).
Lemma 3.19
(Zavist & Tideman, 1989) For any profile \(\textbf{P}\) and \(a\in X(\textbf{P})\), we have \(a\in RP(\textbf{P})\) if and only if a is the maximum element in some stack for \(\textbf{P}\).^{Footnote 21}
Lemma 3.20
For any profile \(\textbf{P}\), \(RP(\textbf{P})\subseteq SC(\textbf{P})\), where RP is the Ranked Pairs method.
Proof
Suppose that \(a\not \in SC(\textbf{P})\), so there is some \(b\in X(\textbf{P})\) such that \(Margin_\textbf{P}(b,a)>0\) and \(Margin_\textbf{P}(b,a)>Split\#(\rho )\) for every simple cycle \(\rho\) containing b and a. Now suppose for contradiction that \(a\in RP(\textbf{P})\). Then by Lemma 3.19, there are distinct \(y_1,\dots , y_m \in X(\textbf{P})\) such that \(a\overset{\alpha _0}{\longrightarrow }\ y_1\rightarrow \dots \rightarrow y_m\overset{\alpha _m}{\longrightarrow }\ b\) with \(\alpha _i\ge Margin_\textbf{P}(b,a)\) for each \(i\in \{0,\dots ,m\}\). But then \(\rho := b\rightarrow a\overset{\alpha _0}{\longrightarrow }\ y_1\rightarrow \dots \rightarrow y_m\overset{\alpha _m}{\longrightarrow }\ b\) is a simple cycle such that \(Margin_\textbf{P}(b,a)\not > Split\#(\rho )\), which is a contradiction. Hence \(a\not \in RP(\textbf{P})\).
The Stable Voting method is a refinement of Split Cycle by definition: to find the Stable Voting winner in \(\textbf{P}\), order the pairs (a, b) of candidates such that a is undefeated in \(\textbf{P}\) from largest to smallest value of \(Margin_\textbf{P}(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 \(\textbf{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.^{Footnote 22}
Conjecture 3.21
For any uniquelyweighted profile \(\textbf{P}\), \(SSV(\textbf{P})\subseteq SC(\textbf{P})\) and \(SSV(\textbf{P})= SV(\textbf{P})\), where SSV and SV are the Simple Stable Voting and Stable Voting methods, respectively.
The cost of deterministic tiebreaking is the violation of variablecandidate and variablevoter axioms from Sects. 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 Sect. 4, while Beat Path, Ranked Pairs, and Stable Voting all violate positive involvement. Of the known quasiresolute 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 Sect. 4, which implies partial immunity to spoilers and stealers.
4 Spoilers, stealers, and stability
In Sect. 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 antispoiler axiom. In Sect. 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 Sect. 1.1 we suggested the concepts of spoilers and stealers, defined formally as follows.
Definition 4.1
Let F be a voting method, \(\textbf{P}\in \textrm{dom}(F)\), and \(a,b\in X(\textbf{P})\). Then we say that:

1.
b spoils the election for a in \(\textbf{P}\) if \(a\in F(\textbf{P}_{b})\), \(Margin_\textbf{P}(a,b)>0\), \(a\not \in F(\textbf{P})\), and \(b\not \in F(\textbf{P})\);

2.
b steals the election from a in \(\textbf{P}\) if \(a\in F(\textbf{P}_{b})\), \(Margin_\textbf{P}(a,b)>0\), \(a\not \in F(\textbf{P})\), and \(b\in F(\textbf{P})\).
Recall the three axioms from Sect. 1.1, now defined formally as well.
Definition 4.2
Let F be a voting method.

1.
F satisfies immunity to spoilers if for \(\textbf{P}\in \textrm{dom}(F)\) and \(a,b\in X(\textbf{P})\), b does not spoil the election for a.

2.
F satisfies immunity to stealers if for \(\textbf{P}\in \textrm{dom}(F)\) and \(a,b\in X(\textbf{P})\), b does not steal the election from a.

3.
F satisfies stability for winners if for \(\textbf{P}\in \textrm{dom}(F)\) and \(a,b\in X(\textbf{P})\), if \(a\in F(\textbf{P}_{b})\) and \({Margin_\textbf{P}(a,b)>0}\), then \(a\in F(\textbf{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 \(\textbf{P}\), and \(a\in X(\textbf{P})\), we say that a is Condorcetian for F in \(\textbf{P}\) if there is some \(b\in X(\textbf{P})\) such that \(a\in F(\textbf{P}_{b})\) and \(Margin_\textbf{P}(a,b)>0\).^{Footnote 23}
That a is weakly Condorcetian for F in \(\textbf{P}\) is defined in the same way but with \(Margin_\textbf{P}(a,b)\ge 0\).
Recall that a is a Condorcet winner if a wins against every other candidate headtohead. In a similar spirit, a candidate who is Condorcetian wins against \(X(\textbf{P}_{b})\) according to F and wins against b headtohead. In fact, the notions of a Condorcet winner and a Condorcetian candidate are related as follows. Recall that F is Condorcetconsistent if \(F(\textbf{P})=\{a\}\) whenever a is the Condorcet winner in \(\textbf{P}\in \textrm{dom}(F)\).
Lemma 4.5
Let F be a voting method. Then (i) if F is Condorcetconsistent, \(\textbf{P}\in \textrm{dom}(F)\) with \(\vert X(\textbf{P})\vert >1\), and c is a Condorcet winner in \(\textbf{P}\), then c is the unique Condorcetian candidate for F in \(\textbf{P}\); and (ii) if for any \(\textbf{P}\in \textrm{dom}(F)\) with a unique Condorcetian candidate c, \(F(\textbf{P})=\{c\}\), then F is Condorcetconsistent.
Proof
For part (i), let \(\textbf{P}\) and c be as in the statement. Then for any \(a,b\in X(\textbf{P})\), if \(Margin_\textbf{P}(a,b)>0\), then \(b\ne c\), so \(c\in X(\textbf{P}_{b})\) and hence c is the Condorcet winner in \(\textbf{P}_{b}\), so \(F(\textbf{P}_{b})=\{c\}\) by the assumption that F is Condorcetconsistent. It follows that c is the unique Condorcetian candidate.
For part (ii), suppose that c is a Condorcet winner in \(\textbf{P}\). If \(\vert X(\textbf{P})\vert =1\), then \(F(\textbf{P})=\{c\}\). If \(\vert X(\textbf{P})\vert >1\), then by part (i), c is the unique Condorcetian candidate in \(\textbf{P}\), and hence by the assumption on F, \(F(\textbf{P})=\{c\}\). Thus, F is Condorcetconsistent.
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 twocandidate profiles. Then in an election with three candidates in a majority cycle, no candidate is Condorcetian for F; for if a is majoritypreferred to b, then removing b from the election results in a twocandidate profile in which a loses. On the other hand, there may be more than one Condorcetian candidate, as in the following example.
Example 4.6
Assume that F is a voting method such that in any threecandidate 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 fourcandidate profile with the following margin graph, both candidates a and c are Condorcetian for F in \(\textbf{P}\) (for a, remove c, and for c, remove b):
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 pretiebreaking method in Sect. 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., 2022) There is no voting method (whose domain contains all linear profiles with up to four candidates) satisfying anonymity, neutrality, stability for winners, and quasiresoluteness.
We will prove a related impossibility theorem in Sect. 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 \(\textbf{P}\in \textrm{dom}(F)\) and \(a,b\in X(\textbf{P})\), if a is the unique Condorcetian candidate in \(\textbf{P}\), then b does not spoil the election for a.

2.
F satisfies partial immunity to stealers if for all \(\textbf{P}\in \textrm{dom}(F)\) and \(a,b\in X(\textbf{P})\), if a is the unique Condorcetian candidate in \(\textbf{P}\), then b does not steal the election from a.

3.
F satisfies partial stability for winners if for all \(\textbf{P}\in \textrm{dom}(F)\) and \(a\in X(\textbf{P})\), if a is the unique Condorcetian candidate in \(\textbf{P}\), then \(a\in F(\textbf{P})\).

4.
A voting method F satisfies stability for winners with tiebreaking if for all \(\textbf{P}\in \textrm{dom}(F)\), if some candidate is Condorcetian for F in \(\textbf{P}\), then all candidates in \(F(\textbf{P})\) are Condorcetian for F in \(\textbf{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.
Parts (i) and (ii) are immediate from the definitions, while part (iii) follows from facts proved in Sect. 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 pretiebreaking 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 uniquelyweighted linear profiles \(\textbf{P}\) and distinct \(a,b,c\in X(\textbf{P})\) such that with respect to Beat Path: b spoils the election for a in \(\textbf{P}\); a is the unique Condorcetian candidate; the largest margin in \(\textbf{P}\) is \(Margin_\textbf{P}(a,b)\); \(BP(\textbf{P})=\{c\}\), c is the Condorcet loser in \(\textbf{P}_{b}\), and \(Margin_\textbf{P}(a,c)>0\).
Proof
Let \(\textbf{P}\) be a linear profile whose margin graph is displayed on the right below, so the margin graph of \(\textbf{P}_{b}\) is displayed on the left below:
First, it is easy to see that \(BP(\textbf{P}_{b})=\{a\}\). Then since \(Margin_\textbf{P}(a,b)>0\), a is Condorcetian for Beat Path in \(\textbf{P}\). One can also check that \(BP(\textbf{P})=\{c\}\). Therefore, b is a spoiler for a in \(\textbf{P}\). Moreover, no other candidate is Condorcetian for Beat Path in \(\textbf{P}\), since \(b\not \in BP(\textbf{P}_{d})\), \(c\not \in BP(\textbf{P}_{b})\), \(d\not \in BP(\textbf{P}_{c})\), \(d\not \in BP(\textbf{P}_{e})\), \(e\not \in BP(\textbf{P}_{a})\), \(e\not \in BP(\textbf{P}_{b})\), and \(e\not \in BP(\textbf{P}_{c})\). Finally, observe that the largest margin in \(\textbf{P}\) is \(Margin_\textbf{P}(a,b)\), that in \(\textbf{P}_{b}\), c is the Condorcet loser, and that \(Margin_\textbf{P}(a,c)>0\).
Remark 4.11
For \(\textbf{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 \(\textbf{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 uniquelyweighted linear profiles \(\textbf{P}\) and distinct \(a,b,c\in X(\textbf{P})\) such that with respect to Ranked Pairs: b spoils the election for a in \(\textbf{P}\); a is the unique Condorcetian candidate in \(\textbf{P}\); the largest margin in \(\textbf{P}\) is \(Margin_\textbf{P}(a,b)\); \(RP(\textbf{P})=\{c\}\) and \(Margin_\textbf{P}(a,c)>0\).
Proof
Let \(\textbf{P}\) be a profile whose margin graph is displayed on the right below, so the margin graph of \(\textbf{P}_{b}\) is displayed on the left below:
First, we claim that \(RP(\textbf{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(\textbf{P}_{b})=\{a\}\). Then since \(Margin_\textbf{P}(a,b)>0\), a is Condorcetian for Ranked Pairs in \(\textbf{P}\). Next, we claim that \(RP(\textbf{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(\textbf{P})=\{c\}\). Therefore, b is a spoiler for a in \(\textbf{P}\). Moreover, no other candidate is Condorcetian for Ranked Pairs in \(\textbf{P}\), since \(b\not \in RP(\textbf{P}_{e})\), \(c\not \in RP(\textbf{P}_{b})\), \(c\not \in RP(\textbf{P}_{d})\), \(d\not \in RP(\textbf{P}_{a})\), \(d\not \in RP(\textbf{P}_{b})\), \(e\not \in RP(\textbf{P}_{c})\), and \(e\not \in RP(\textbf{P}_{d})\). Finally, observe that the largest margin in \(\textbf{P}\) is \(Margin_\textbf{P}(a,b)\) and that \(Margin_\textbf{P}(a,c)>0\).
Remark 4.13
For \(\textbf{P}_{b}\) in the proof of Proposition 4.12, Split Cycle, Beat Path, Stable Voting, and Minimax all pick \(\{a\}\). In \(\textbf{P}\), Split Cycle picks \(\{a,c\}\), while Beat Path, Stable Voting, and Minimax all pick \(\{a\}\).
4.2 Stealers
As observed in Sect. 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 \(\textbf{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 \(\textbf{P}\). The same holds for Beat Path but without the condition that b is a Condorcet loser.
Proof
First, for Minimax, let \(\textbf{P}\) be a profile whose margin graph is displayed in the middle below, so the margin graph of \(\textbf{P}_{b}\) is displayed on the left:
Observe that \(Minimax(\textbf{P}_{b})=\{a\}\) and \(Margin_\textbf{P}(a,b)>0\). Yet \(Minimax(\textbf{P})=\{b\}\), so Minimax violates immunity to stealers. Moreover, a is the only candidate who is Condorcetian for Minimax in \(\textbf{P}\), and the stealer b is the Condorcet loser in \(\textbf{P}\).
For Beat Path, let \(\textbf{P}\) be a profile whose margin graph is displayed on the right above, so again the margin graph of \(\textbf{P}_{b}\) is displayed on the left. Observe that \(BP(\textbf{P}_{b})=\{a\}\), that \(Margin_\textbf{P}(a,b)>0\), and yet \(BP(\textbf{P})=\{b\}\), so Beat Path violates immunity to stealers. Moreover, a is the only candidate who is Condorcetian for Beat Path in \(\textbf{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 uniquelyweighted profiles, though not on all profiles.
Proof
Toward a contradiction, suppose there is a uniquely weighted profile \(\textbf{P}\) and \(a,b\in X(\textbf{P})\) with \({a\in RP(\textbf{P}_{b})}\), \({Margin_\textbf{P}(a,b)>0}\), and \(b\in RP(\textbf{P})\). Since \(a\in RP(\textbf{P}_{b})\), by Lemma 3.19 there is a stack \(az_1\dots z_n\) for \(\textbf{P}_{b}\). Now let \(\mathcal {M}'\) be a margin graph obtained from \(\mathcal {M}(\textbf{P})\) by changing all of b’s negative margins (if any) against candidates in \(X(\textbf{P})\setminus \{a\}\) to be positive and such that all margins between distinct candidates in \(\mathcal {M}'\) are distinct, while keeping all other margins from \(\mathcal {M}(\textbf{P})\) the same. Let \(\textbf{P}'\) be a profile with \(\mathcal {M}(\textbf{P}')=\mathcal {M}'\), which exists by Theorem 2.5. Since \(b\in RP(\textbf{P})\), it follows that \(b\in RP(\textbf{P}')\) (Tideman, 1987, p. 204) and hence \(RP(\textbf{P}')=\{b\}\) since \(\textbf{P}'\) is uniquely weighted. However, it is easy to see that \(abz_1\dots z_n\) is a stack for \(\textbf{P}'\), so \(a\in RP(\textbf{P}')\) by Lemma 3.19, a contradiction.
To see that Ranked Pairs does not satisfy immunity to stealers on all profiles, let \(\textbf{P}\) be a profile whose margin graph is displayed on the right below, so the margin graph of \(\textbf{P}_{b}\) is displayed on the left:
The only tie in margins is between (a, e) and (f, a). In \(\textbf{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 winner. Hence \(RP(\textbf{P}_{b})=\{a,e\}\). In \(\textbf{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(\textbf{P})=\{b,c\}\). Then since \(Margin_\textbf{P}(a,b)>0\), Ranked Pairs violates immunity to stealers.
4.3 Stability
By 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 \(\textbf{P}\in \textrm{dom}(F)\), all candidates who are weakly Condorcetian for F in \(\textbf{P}\) belong to \(F(\textbf{P})\).
Proposition 4.17
Split Cycle satisfies strong stability for winners.
Proof
If \(a\in SC(\textbf{P}_{b})\), then for all \(c\in X(\textbf{P}_{b})\), \(Margin_{\textbf{P}_{b}} (c,a)\le Cycle\#_{\textbf{P}_{b}}(c,a)\). As \(Margin_{\textbf{P}_{b}} (c,a)= Margin_{\textbf{P}}(c,a)\) and \(Cycle\#_{\textbf{P}_{b}}(c,a)\le Cycle\#_{\textbf{P}}(c,a)\), we have that (i) for all \(c\in X(\textbf{P}_{b})\), \(Margin_{\textbf{P}} (c,a)\le Cycle\#_{\textbf{P}}(c,a)\). By the assumption that \(Margin_{\textbf{P}} (a,b)\ge 0\), we have \(Margin_{\textbf{P}} (b,a)\le 0\) and hence (ii) \(Margin_{\textbf{P}} (b,a)\le Cycle\#_{\textbf{P}}(b,a)\). By (i) and (ii), \(a\in SC(\textbf{P})\).
Informally, the explanation of why Split Cycle satisfies strong stability for winners is as follows, using two of our main ideas from Sect. 3: since defeat is direct, if \(Margin_\textbf{P}(a,b)\ge 0\), then b does not defeat a; and since incoherence raises the threshold for defeat, and adding a candidate can increase incoherence^{Footnote 24} 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.^{Footnote 25} Uncovered Set satisfies stability for winners, as well as strong stability for winners under some definitions (see the online Appendix C.7).
Let us now turn to stability for winners with tiebreaking. By 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 nonCondorcetian 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 \(\textbf{P}\) be a profile whose margin graph is shown below:
It is easy to check that \(SC(\textbf{P})=\{a,b\}\). Moreover, candidate a is Condorcetian for SC in \(\textbf{P}\), as witnessed by the fact that \(a\in SC(\textbf{P}_{b})\) and \(Margin_\textbf{P}(a,b)>0\). However, b is not Condorcetian, as b does not win in \(\textbf{P}_{c}\) or \(\textbf{P}_{d}\). Thus, stability for winners with tiebreaking requires that b not win in \(\textbf{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 & 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 \(\textbf{P}\in \textrm{dom}(F)\), if some candidate is weakly Condorcetian for F in \(\textbf{P}\) but no candidate is Condorcetian for F in \(\textbf{P}\), then all candidates who win in \(\textbf{P}\) are weakly Condorcetian for F in \(\textbf{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 & 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 Sect. 3.3 of thinking of F as a pretiebreaking 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 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 & 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 lowest 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.
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 nontrivial 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 \(\textbf{P}_{b}\) remains a winner in a profile \(\textbf{P}\) with one new candidate b added. The profile \(\textbf{P}\) may be viewed as combining the profile \(\textbf{P}_{b}\) without b and the twocandidate profile \(\textbf{P}_{ab}\) with \(X(\textbf{P}_{ab})=\{a,b\}\) that agrees with \(\textbf{P}\) on the ranking of a vs. b assigned to each voter. As \(Margin_\textbf{P}(a,b)\ge 0\) is equivalent (for voting methods based on majority voting) to a being a winner in the twocandidate profile \(\textbf{P}_{ab}\), (strong) stability for winners can be restated as follows: if a is a winner in both \(\textbf{P}_{b}\) and \(\textbf{P}_{ab}\), then a is a winner in the full profile \(\textbf{P}\). We can generalize this idea to apply not only to profiles of the form \(\textbf{P}_{b}\) and \(\textbf{P}_{ab}\) but to any two subprofiles of \(\textbf{P}\) such that every candidate in \(\textbf{P}\) appears in one of the subprofiles (“if a can win the battles separately, then a can win the war”).
Definition 4.22
A voting method F satisfies expansion consistency if for all \(\textbf{P}\in \textrm{dom}(F)\) and nonempty \(Y,Z\subseteq X(\textbf{P})\) with \(Y\cup Z=X(\textbf{P})\), we have \(F(\textbf{P}\vert _{ Y})\cap F(\textbf{P}\vert _{ Z}) \subseteq F(\textbf{P})\).
Since expansion consistency implies strong stability for winners for voting methods that agree with majority rule on twocandidate 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\in SC(\textbf{P}\vert _{ Y})\cap SC(\textbf{P}\vert _{ Z})\), then for all \(c\in Y\), \(Margin_{\textbf{P}\vert _{ Y}} (c,a)\le Cycle\#_{\textbf{P}\vert _{ Y}}(c,a)\), and for all \(c\in Z\), \(Margin_{\textbf{P}\vert _{ Z}} (c,a)\le Cycle\#_{\textbf{P}\vert _{ Z}}(c,a)\). Clearly, for all \(c\in Y\), \(Margin_{\textbf{P}} (c,a) = Margin_{\textbf{P}\vert _{ Y}} (c,a)\), and for all \(c\in Z\), \(Margin_{\textbf{P}} (c,a)=Margin_{\textbf{P}\vert _{ Z}} (c,a)\). Moreover, for all \(c\in Y\), \(Cycle\#_{\textbf{P}\vert _{ Y}} (c,a) \le Cycle\#_{\textbf{P}} (c,a)\), and for all \(c\in Z\), \(Cycle\#_{\textbf{P}\vert _{ Z}} (c,a) \le Cycle\#_{\textbf{P}} (c,a)\). Thus, for all \(c\in Y\cup Z= X(\textbf{P})\), \(Margin_{\textbf{P}} (c,a)\le Cycle\#_{\textbf{P}} (c,a)\). Hence \(a\in SC(\textbf{P})\).
Intuitively, the reason Split Cycle satisfies expansion consistency is as follows. First, given \(a\in F(\textbf{P}\vert _{ Y})\cap F(\textbf{P}\vert _{ Z})\), the margins for each candidate x over a do not change from \(\textbf{P}\vert _{ Y},\textbf{P}\vert _{ Z}\) to \(\textbf{P}\). How then could a suddenly be defeated by a candidate x in \(\textbf{P}\)? By our first and third main ideas in Sect. 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 \(\textbf{P}\vert _{ Y},\textbf{P}\vert _{ Z}\) to \(\textbf{P}\), not decrease, so if x’s margin over a was not sufficient to defeat a in \(\textbf{P}\vert _{ Y}\) (resp. \(\textbf{P}\vert _{ Z}\)), then it is not sufficient to defeat a in \(\textbf{P}\).
An example of a voting method satisfying stability for winners but not expansion consistency is the Banks voting method, defined as follows.^{Footnote 26} Say that a chain in \(M(\textbf{P})\) is a subset of \(X(\textbf{P})\) linearly ordered by the majority relation of \(\textbf{P}\). Then \(a\in Banks(\textbf{P})\) if a is the maximum element with respect to the majority relation of some maximal chain in \(M(\textbf{P})\).
Proposition 4.24
Banks satisfies strong stability for winners but not expansion consistency.
Proof
For strong stability for winners, suppose that \(a\in Banks(\textbf{P}_{b})\) and \(Margin_\textbf{P}(a,b)\ge 0\). Hence a is the maximum element of some maximal chain R in \(M(\textbf{P}_{b})\). Let \(R'\) be a maximal chain in \(M(\textbf{P})\) with \(R\subseteq R'\). Since \(Margin_\textbf{P}(a,b)\ge 0\), b is not the maximum of \(R'\), so a is the maximum of \(R'\), so \(a\in Banks(\textbf{P})\).
For the violation of expansion consistency, consider a profile \(\textbf{P}\) with the majority graph below:
The maximal chains of \(M(\textbf{P})\), ordered by the majority relation, are as follows:
Then one can check that \(Banks(\textbf{P}\vert _{ \{a,b,c,e,f\}}) \cap Banks(\textbf{P}\vert _{ \{a, d,f,g\}}) \ni a \not \in Banks(\textbf{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 \(\gamma\)) condition on choice functions. A choice function on a nonempty set X is a function \(C:{\mathcal {P}(X)\setminus \{\varnothing \}}\rightarrow \mathcal {P}(X)\setminus \{\varnothing \}\) such that for all nonempty \(S\subseteq X\), \(\varnothing \ne C(S)\subseteq S\). Then C satisfies expansion consistency if for all nonempty \(S,T\subseteq X\), \(C(S)\cap C(T)\subseteq C(S\cup 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 \(\textbf{P}\) with \(X(\textbf{P})=X\) and \(V(\textbf{P})=V\) to a choice function \(f(\textbf{P},\cdot )\) on \(X(\textbf{P})\). Let a variableelection FCCR (VFCCR) be a function f mapping each profile \(\textbf{P}\) (i.e., allowing \(X(\textbf{P})\) and \(V(\textbf{P})\) to vary with \(\textbf{P}\)) to a choice function \(f(\textbf{P},\cdot )\) on \(X(\textbf{P})\). For voting theory, we take \(X(\textbf{P})\) to be the set of candidates who appeared on the ballot in the election scenario modeled by \(\textbf{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\subsetneq X(\textbf{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 \(\textbf{P}\), \(f(\textbf{P},\cdot )\) satisfies expansion consistency, i.e., for all \(S, T\subseteq X(\textbf{P})\), \(f(\textbf{P},S)\cap f(\textbf{P},T)\subseteq f(\textbf{P},S\cup T)\);

f satisfies profile expansion consistency if for all profiles \(\textbf{P}\) and \(Y,Z\subseteq X(\textbf{P})\) with \(Y\cup Z=X(\textbf{P})\), \(f(\textbf{P}\vert _{ Y},Y)\cap f(\textbf{P}\vert _{ Z},Z)\subseteq f(\textbf{P},X(\textbf{P}))\);

f satisfies full expansion consistency if for all profiles \(\textbf{P}\) and \(Y,Z\subseteq X(\textbf{P})\) with \(Y\cup Z=X(\textbf{P})\), \(S\subseteq Y\), and \(T\subseteq Z\), we have \(f(\textbf{P}\vert _{ Y}, S)\cap f(\textbf{P}\vert _{ Z}, T)\subseteq f(\textbf{P}, S\cup 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 consistency are equivalent for VFCCRs satisfying the independence condition that for all profiles \(\textbf{P}\) and nonempty \(S\subseteq X(\textbf{P})\), \(f(\textbf{P},S)=f(\textbf{P}\vert _{ S},S)\). However, they are not equivalent in general. For example, consider the global Borda count VFCCR (cf. Kelly, 1988, p. 71): \(f(\textbf{P},S)\) is the set of all \(x\in S\) such that for all \(y\in S\), the Borda score of x calculated with respect to the full profile \(\textbf{P}\) is at least that of y.^{Footnote 27} Global Borda count satisfies feasible expansion consistency but not profile expansion consistency. By contrast, both local and global VFCCR versions of Split Cycle^{Footnote 28} satisfy full expansion consistency.^{Footnote 29}
Remark 4.26
Expansion consistency may remind one of the reinforcement criterion (see Pivato, 2013a), 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 \(\textbf{P}\) and \(\textbf{P}'\) with \(V(\textbf{P})\cap V(\textbf{P}')=\varnothing\) and \(X(\textbf{P})=X(\textbf{P}')\), if \(F(\textbf{P})\cap F(\textbf{P}')\ne \varnothing\), then \(F(\textbf{P}+\textbf{P}')= F(\textbf{P})\cap F(\textbf{P}')\). No Condorcetconsistent voting method satisfies reinforcement (see, e.g., Zwicker, 2016, Proposition 2.5); we know of no nontrivial voting method that satisfies both expansion consistency and reinforcement^{Footnote 30} and we do not find reinforcement normatively compelling for all voting contexts.^{Footnote 31} Why when the voting method is given the full information in \(\textbf{P}+\textbf{P}'\) should it be constrained by what it outputs when given only the limited information of \(\textbf{P}\) and only the limited information in \(\textbf{P}'\)? For example, for three candidates a, b, c, suppose that \(\textbf{P}\) is the classic Condorcet paradox profile with six voters such that \(Margin_\textbf{P}(a,b)=2\), \(Margin_\textbf{P}(b,c)=2\), and \(Margin_\textbf{P}(c,a)=2\), so \(F(\textbf{P})=\{a,b,c\}\) by fairness considerations (i.e., for any anonymous and neutral method F), while \(\textbf{P}'\) is a profile with three voters such that \(Margin_{\textbf{P}'}(b,a)=1\), \(Margin_{\textbf{P}'}(a,c)=1\), and \(Margin_{\textbf{P}'}(b,c)=1\), so \(F(\textbf{P}')=\{b\}\) by Condorcet consistency. When we look at all the information in \(\textbf{P}+\textbf{P}'\), we see that a is majoritypreferred to every other candidate—a is the Condorcet winner, so \(F(\textbf{P}+\textbf{P}')=\{a\}\). Note that b is only majoritypreferred to a by a small margin in \(\textbf{P}'\), whereas a is majoritypreferred to b by a larger margin in \(\textbf{P}\). Due to c’s poor performance in \(\textbf{P}'\), there is no cycle in the full profile \(\textbf{P}+\textbf{P}'\), so although a’s margin over b failed to make a the winner in \(\textbf{P}\) due to fairness considerations, a’s margin over b in the full cyclefree profile makes a the winner, as it should. Note that this also shows it is a mistake to think that given a profile like \(\textbf{P}+\textbf{P}'\), one can assume that the “Condorcet component” \(\textbf{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 & Laraki, 2010, p. 77). The Condorcet component \(\textbf{P}\) contains the important information that \(Margin_\textbf{P}(a,b)=2\).
5 Other criteria
In this section, we consider how Split Cycle fares 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 Symmetry criteria
5.1.1 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 \(\textbf{P},\textbf{P}'\in \textrm{dom}(F)\) and \(X(\textbf{P})=X(\textbf{P}')\), if there is a permutation \(\pi\) of \(\mathcal {V}\) such that \(\pi [V(\textbf{P})]=V'(\textbf{P})\) and \(\textbf{P}(i)=\textbf{P}'(\pi (i))\) for all \(i\in V(\textbf{P})\), then \(F(\textbf{P})=F(\textbf{P}')\);

2.
F satisfies neutrality if for any \(\textbf{P},\textbf{P}'\in \textrm{dom}(F)\) with \(V(\textbf{P})=V(\textbf{P}')\), if there is a permutation \(\tau\) of \(\mathcal {X}\) such that \(\tau [X(\textbf{P})]=X(\textbf{P}')\), and for each \(i\in V(\textbf{P})\) and \(x,y\in X(\textbf{P})\), \((x,y)\in \textbf{P}(i)\) if and only if \((\tau (x),\tau (y))\in \textbf{P}'(i)\), then \(\tau [F(\textbf{P})]= F(\textbf{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 \(\textbf{P}\in \textrm{dom}(F)\) with \(\vert X(\textbf{P})\vert >1\), if \(F(\textbf{P})=\{x\}\), then \(x\not \in F(\textbf{P}^{r})\), where \(\textbf{P}^{r}\) is the profile such that \(\textbf{P}^r_i= \{(x,y)\mid (y,x)\in \textbf{P}_i\}\).
Proposition 5.4
Split Cycle satisfies reversal symmetry.
Proof
Suppose \(\textbf{P}\) is such that \(\vert X(\textbf{P})\vert >1\) and \(SC(\textbf{P})=\{x\}\). It follows by Lemma 3.11 that there is a \(y\in X(\textbf{P})\) such that x defeats y in \(\textbf{P}\), i.e., such that \(Margin_{\textbf{P}}(x,y)> Cycle\#_{\textbf{P}}(x,y)\). But then since \(Margin_{\textbf{P}}(x,y)=Margin_{\textbf{P}^{r}}(y,x)\) and \(Cycle\#_{\textbf{P}}(x,y)=Cycle\#_{\textbf{P}^{r}}(y,x)\), we have \(Margin_{\textbf{P}^{r}}(y,x)> Cycle\#_{\textbf{P}^{r}}(x,y)\), so \(x\not \in SC(\textbf{P}^{r})\).
5.2 Dominance criteria
5.2.1 Pareto
Our first dominance criterion is the wellknown Pareto principle (see, e.g., Zwicker, 2016, Definition 2.6), stating that Paretodominated candidates cannot be elected.
Definition 5.5
A voting method F satisfies Pareto if for any \(\textbf{P}\in \textrm{dom}(F)\) and \(a,b\in X(\textbf{P})\), if all voters in \(\textbf{P}\) rank a above b, then \(b\not \in F(\textbf{P})\).
Proposition 5.6
Restricted to the class of acyclic profiles, Split Cycle satisfies Pareto.
Proof
Suppose that all voters in \(\textbf{P}\) rank a above b, so \(Margin_\textbf{P}(a,b)=\vert V(\textbf{P})\vert\). Since it is impossible to have a cycle \(\rho =a \overset{\vert V(\textbf{P})\vert }{\longrightarrow } b \overset{\vert V(\textbf{P})\vert }{\longrightarrow } x_1 \overset{\vert V(\textbf{P})\vert }{\longrightarrow }\dots \overset{\vert V(\textbf{P})\vert }{\longrightarrow } x_n \overset{\vert V(\textbf{P})\vert }{\longrightarrow } a\) in an acyclic profile, one edge of any such cycle must have weight less than \(\vert V(\textbf{P})\vert\), 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 majoritypreferred to every other candidate must be the unique winner, while the Condorcet loser criterion states that a candidate who is majoritydispreferred to every other candidate must not be among the winners.
Definition 5.7
For a profile \(\textbf{P}\) and \(x\in X(\textbf{P})\), we say that x is a Condorcet winner (resp. Condorcet loser) in \(\textbf{P}\) if for every \(y\in X(\textbf{P}){\setminus }\{x\}\), we have \(Margin(x,y)>0\) (resp. \(Margin(y,x)>0\) and \(X(\textbf{P})\ne \{x\}\)).
Definition 5.8
A voting method F satisfies the Condorcet (winner) criterion (resp. Condorcet loser criterion) if for every \(\textbf{P}\in \textrm{dom}(F)\) and \(x\in X(\textbf{P})\), if x is the Condorcet winner (resp. Condorcet loser), then \(F(\textbf{P})=\{x\}\) (resp. \(x\not \in F(\textbf{P})\)). If F satisfies the Condorcet criterion, we say that F is Condorcetconsistent.
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\in X(\textbf{P})\setminus \{x\}\), we have \(Margin_{\textbf{P}}(x,y)>0\) (resp. \(Margin_{\textbf{P}}(y,x)>0\)). It follows that x is not involved in any cycles, so for every \(y\in X(\textbf{P})\setminus \{x\}\), we have \(Margin_{\textbf{P}}(x,y)>Cycle\#_{\textbf{P}}(x,y)=0\) (resp. \(Margin_{\textbf{P}}(y,x)>Cycle\#_{\textbf{P}}(y,x)=0\)). Hence x defeats every other candidate, so \(SC(\textbf{P})=\{x\}\) (resp. is defeated by every other candidate, so \(x\not \in SC(\textbf{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 majoritypreferred 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 topchoice assumption”).
Definition 5.10
Let \(\textbf{P}\) be a profile and \(S\subseteq X(\textbf{P})\). Then S is \(\rightarrow _\textbf{P}\)dominant if \(S\ne \varnothing\) and for all \(x\in S\) and \(y\in X(\textbf{P}){\setminus } S\), we have \(x\rightarrow _\textbf{P}y\). Define
Definition 5.11
A voting method F satisfies the Smith criterion if for any \(\textbf{P}\in \textrm{dom}(F)\), we have \(F(\textbf{P})\subseteq GETCHA(\textbf{P})\).
Proposition 5.12
Split Cycle satisfies the Smith criterion.
Proof
Suppose that \(b\in SC(\textbf{P}){\setminus } GETCHA(\textbf{P})\). Since \(b\not \in GETCHA(\textbf{P})\), there is an \(a\in GETCHA(\textbf{P})\) such that \(a\rightarrow _\textbf{P} b\). Then since \(b\in SC(\textbf{P})\), it follows by Lemma 3.12 that there is a simple cycle \(\rho\) of the form \(a\rightarrow b\rightarrow x_1\rightarrow \dots \rightarrow x_n\rightarrow a\). Hence one of the edges in \(\rho\) goes from a candidate outside \(GETCHA(\textbf{P})\) to a candidate inside \(GETCHA(\textbf{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 \(\textbf{P}\) be a profile and \(S\subseteq X(\textbf{P})\). Then S is \(\rightarrow _\textbf{P}\)undominated if for all \(x\in S\) and \(y\in X(\textbf{P}){\setminus } S\), we have \(y\not \rightarrow _\textbf{P}x\). Define
Note that if there are no zero margins between distinct candidates in \(\textbf{P}\), then \(GOCHA(\textbf{P})=GETCHA(\textbf{P})\). Another useful characterization of the GOCHA set is given by the following lemma.
Lemma 5.14
(Schwartz, 1986, Corollary 6.2.2) Let \(\textbf{P}\) be any profile, and let \(\rightarrow _\textbf{P}^*\) be the transitive closure of \(\rightarrow _\textbf{P}\), i.e., \(a\rightarrow _\textbf{P}^*b\) if and only if there are \(x_1,\dots , x_n\in X(\textbf{P})\) with \(a=x_1\) and \(b=x_n\) such that \(x_1\rightarrow _\textbf{P}\dots \rightarrow _\textbf{P}x_n\). Then
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 \(\textbf{P}\in \textrm{dom}(F)\), \(F(\textbf{P})\subseteq GOCHA(\textbf{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 \(\textbf{P}\) with the following margin graph (simplifying our example for the third idea of Sect. 3.1):
First, note that \(d\in SC(\textbf{P})\) (indeed, \(SC(\textbf{P})=\{a,d,e\})\), because the only candidate with a positive margin over d is e, but \(Margin_\textbf{P}(e,d)\not > Cycle\#_\textbf{P}(e,d)\). Yet \(d\not \in GOCHA(\textbf{P})\), because \(a\rightarrow _\textbf{P}^*d\) and \(d\not \rightarrow _\textbf{P}^*a\).
For the reasons explained in Sect. 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 \(\textbf{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.
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 \(\textbf{P}\) is the linear profile used in the proof of Proposition 5.16, by anonymity and neutrality, \(F(\textbf{P}_{a})=\{d,e,f\}\). Then, since \(Margin_\textbf{P}(a,d)=0\), it follows by strong stability for winners that \(d\in F(\textbf{P})\), which contradicts the Schwartz criterion as in the proof of Proposition 5.16.
5.3 Independence criteria
5.3.1 Independence of Smithdominated alternatives
The Smith criterion of Sect. 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 Smithdominated alternatives (ISDA) if for any \(\textbf{P}\in \textrm{dom}(F)\) and \(x\in X(\textbf{P}){\setminus } GETCHA(\textbf{P})\), we have \(F(\textbf{P})=F(\textbf{P}_{x})\).
Remark 5.19
ISDA implies the Smith criterion, since if \(x\in F(\textbf{P}){\setminus } GETCHA(\textbf{P})\), then \(F(\textbf{P})\ne F(\textbf{P}_{x})\).
Remark 5.20
If F satisfies ISDA, then F satisfies the following interprofile condition: for any profiles \(\textbf{P}\) and \(\textbf{P}'\), where \(S=GETCHA(\textbf{P})\) and \(S'=GETCHA(\textbf{P}')\), if \(\textbf{P}\vert _{ S}= \textbf{P}'\vert _{ S'}\), then \(F(\textbf{P}) = F(\textbf{P}')\). This interprofile condition may be viewed as a weakening of the independence of irrelevant alternatives.
Proposition 5.21
Split Cycle satisfies ISDA.
Proof
Suppose that \(x\in X(\textbf{P})\setminus GETCHA(\textbf{P})\). It follows that \(GETCHA(\textbf{P})=GETCHA(\textbf{P}_{x})\).^{Footnote 32}Toward showing that \(SC(\textbf{P})=SC(\textbf{P}_{x})\), let \(\textbf{Q},\textbf{Q}'\in \{\textbf{P},\textbf{P}_{x}\}\) with \(\textbf{Q}\ne \textbf{Q}'\). Suppose that \(y\in SC(\textbf{Q})\). We will show that \(y\in SC(\textbf{Q}')\). For any \(z\in X(\textbf{P}_{x})\), we have
Hence if \(Margin_\textbf{Q}(z,y) = 0\), then \(Margin_{\textbf{Q}'}(z,y) = 0\), so z does not defeat y in \(\textbf{Q}'\). Suppose instead that \(Margin_\textbf{Q}(z,y) > 0\). Since \(y\in SC(\textbf{Q})\), z does not defeat y in \(\textbf{Q}\), so we have
Now we claim that
Since \(y\in SC(\textbf{Q})\), \(y\in GETCHA(\textbf{Q})\) by Proposition 5.12. Then from \(Margin_\textbf{Q}(z,y) > 0\), it follows that \(z\in GETCHA(\textbf{Q})\). Since \(x \in X(\textbf{P}){\setminus } GETCHA(\textbf{P})\) and \(z\in GETCHA(\textbf{Q})=GETCHA(\textbf{P})\), there is no simple cycle in \(\mathcal {M}(\textbf{P})\) of the form \(z\rightarrow y\rightarrow w_1\rightarrow \dots \rightarrow w_n\rightarrow z\) with \(x\in \{w_1,\dots ,w_n\}\), since there is no path from a candidate outside \(GETCHA(\textbf{P})\), like x, to a candidate inside \(GETCHA(\textbf{P})\), like z. This establishes (3). Then (1), (2), and (3) together entail \(Margin_{\textbf{Q}'}(z,y)< Cycle\#_{\textbf{Q}'}(z,y)\). Hence z does not defeat y in \(\textbf{Q}'\). Finally, if \(\textbf{Q}'=\textbf{P}\), then x does not defeat y in \(\textbf{Q}'\), since \(y\in GETCHA(\textbf{Q}')\) while \(x\not \in GETCHA(\textbf{Q}')\). Thus, no candidate defeats y in \(\textbf{Q}'\), so \(y\in SC(\textbf{Q}')\).
5.3.2 Independence of clones
In Sect. 1.1, we informally discussed the antivotesplitting 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 \(\textbf{P}\), a set \(C\subseteq X(\textbf{P})\) is a set of clones in \(\textbf{P}\) if \(2\le \vert C\vert < \vert X(\textbf{P})\vert\) and for all \(c,c'\in C\), \(x\in X(\textbf{P}){\setminus } C\), and \(i\in V(\textbf{P})\), if \(c\textbf{P}_ix\) then \(c'\textbf{P}_ix\), and if \(x\textbf{P}_ic\) then \(x\textbf{P}_ic'\).
The independence of clones criterion states that (i) removing a clone from a profile does not change which nonclones 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 nonclone choice is independent of clones if for every \(\textbf{P}\in \textrm{dom}(F)\), set C of clones in \(\textbf{P}\), \(c\in C\), and \(a\in X(\textbf{P}){\setminus } C\),
F is such that clone choice is independent of clones if for every \(\textbf{P}\in \textrm{dom}(F)\), set C of clones in \(\textbf{P}\), and \(c\in C\),
Finally, F satisfies independence of clones if F is such that nonclone 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 Sect. 3.3 and the online Appendix C.1 satisfies the condition of independence of clones for all profiles \(\textbf{P}\) such that for all \(a,b,x,y\in X(\textbf{P})\), \(Margin_\textbf{P}(a,b)= 0\) only if \(a=b\), and \(Margin_\textbf{P}(a,b)=Margin_\textbf{P}(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 (personal communication), one can obtain an anonymous and fully cloneindependent version of Ranked Pairs for linear profiles by declaring a candidate x a winner in a linear profile \(\textbf{P}\) if there exists a voter \(i\in V(\textbf{P})\) such that the Zavist and Tideman version of Ranked Pairs declares x a winner in \(\textbf{P}\) when i is the designated voter used to generate their tiebreaking ranking of candidates (TBRC).^{Footnote 33}
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 uniquelyweighted 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 uniquelyweighted profile \(\textbf{P}\) such that \(\vert X(\textbf{P})\vert \ge 3\), we have \(\vert SC(\textbf{P})\vert \le \vert X(\textbf{P})\vert 2\).

2.
For any \(n\ge 4\), there is a uniquely weighted profile \(\textbf{P}\) with \(\vert X(\textbf{P})\vert =n\) and \(\vert SC(\textbf{P})\vert = \vert X(\textbf{P})\vert 2\).
Proof
For part 1, pick \(a,b\in X(\textbf{P})\) such that \(Margin_\textbf{P}(a,b)\) is the largest margin of any edge in \(\mathcal {M}(\textbf{P})\), which implies that \(Margin_\textbf{P}(a,b)>0\). Then clearly a defeats b in \(\textbf{P}\). Now pick \(c,d\in X(\textbf{P})\) with \(d\ne b\) such that \(Margin_\textbf{P}(c,d)\) is the largest margin in \(\mathcal {M}(\textbf{P})\) of any edge not going to b. Suppose for contradiction that c does not defeat d in \(\textbf{P}\). Then there is a simple cycle \(\rho\) containing c and d such that \(Margin_\textbf{P}(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 \(Margin_\textbf{P}(c,d)\) is the largest margin in \(\mathcal {M}(\textbf{P})\) of any edge not going to b. Thus, c defeats d. Hence \(SC(\textbf{P})\) contains neither b nor d, so \(\vert SC(\textbf{P})\vert \le \vert X(\textbf{P})\vert 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):
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 are realized by an extremely small proportion of profiles, as we will see with some data in Sect. 5.4.2 (Table 3). As worstcase 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.
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 \(\textbf{P}\), candidate x is among the winners, then we should be able to make x the unique winner in a profile \(\textbf{P}^+\) obtained from \(\textbf{P}\) by adding voters who sufficiently strengthen the rejection of other candidates, i.e., sufficiently increase what were already nonnegative margins against other candidates, so as to defeat the others (recall our idea in Sect. 3 that incoherence does not raise the threshold for defeat infinitely). Thus, if candidate a is majoritypreferred to b in \(\textbf{P}\), then this still holds in \(\textbf{P}^+\) with a margin that is at least as large and possibly larger than in \(\textbf{P}\). No majority preferences are reversed from \(\textbf{P}\) to \(\textbf{P}^+\), for if we were to allow that, then we could simply make x the Condorcet winner in \(\textbf{P}^+\), trivializing the criterion.
Definition 5.27
A voting method F satisfies rejectability if for any \(\textbf{P}\in \textrm{dom}(F)\) such that \(\vert F(\textbf{P}) \vert >1\) and \(x\in F(\textbf{P})\), there is a profile \(\textbf{P}^+\in \textrm{dom}(F)\) with \(X(\textbf{P})=X(\textbf{P}^+)\) and \(V(\textbf{P})\subseteq V(\textbf{P}^+)\) such that for all \(a,b\in X(\textbf{P})\), if \(Margin_{\textbf{P}}(a,b)> 0\), then \(Margin_{\textbf{P}^+}(a,b)\ge Margin_{\textbf{P}}(a,b)\), and \(F(\textbf{P}^+)=\{x\}\).
Thus, if a method fails rejectability, then for some \(\textbf{P}\) and \(x\in F(\textbf{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 Sect. 5.4.2). Recall that a voting method F is C1 (Fishburn, 1977) if for any profiles \(\textbf{P}\) and \(\textbf{P}'\), if their majority graphs (Definition 2.4) are the same—\(M(\textbf{P})=M(\textbf{P}')\)—then their winners are also the same—\(F(\textbf{P})=F(\textbf{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 \(\textbf{P}\) with \(X(\textbf{P})=\{a,b,c\}\) and whose margin graph contains the cycle \(a\rightarrow b\rightarrow c\rightarrow a\), no matter the margins, an anonymous and neutral C1 method F must have \(F(\textbf{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 nonC1 method violating rejectability is the Weighted Covering method (Dutta & Laslier, 1999; PérezFernández & De Baets, 2018), according to which \(x\in WC(\textbf{P})\) if there is no \(y\in X(\textbf{P})\) such that \(Margin_\textbf{P}(y,x)>0\) and for all \(z\in X(\textbf{P})\), \(Margin_\textbf{P}(y,z)\ge Margin_\textbf{P}(x,z)\). Weighted Covering also selects all candidates in the profile \(\textbf{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^{Footnote 34} criterion: for all profiles \(\textbf{P}\) and \(\textbf{P}'\) with \(X(\textbf{P})=X(\textbf{P}')\) and \(V(\textbf{P})\cap V(\textbf{P}')=\varnothing\), there is an \(n\in \mathbb {N}\) such that for all \(m\in \mathbb {N}\) with \(m\ge n\), we have \(SC(\textbf{P}+m\textbf{P}')\subseteq SC(\textbf{P}')\), where \(m\textbf{P}'=\gamma _1(\textbf{P}')+\dots +\gamma _m(\textbf{P}')\) with \(\gamma _1(\textbf{P}'),\dots ,\gamma _m(\textbf{P}')\) being copies of \(\textbf{P}'\) with pairwise disjoint sets of voters (recall Definition 2.7).
Proof
Let \(n = 2\vert V(\textbf{P})\vert +1\). To show that \(SC(\textbf{P}+m\textbf{P}')\subseteq SC(\textbf{P}')\), it suffices to show that for any \(a,b\in X(\textbf{P}')\), if a defeats b in \(\textbf{P}'\), then a defeats b in \(\textbf{P}+m\textbf{P}'\). Assume a defeats b in \(\textbf{P}'\), so \(Margin_{\textbf{P}'}(a,b)> Cycle\#_{\textbf{P}'}(a,b)\), so \(Margin_{\textbf{P}'}(a,b) Cycle\#_{\textbf{P}'}(a,b)\ge 1\). Then for all \(m\ge n\), since
we have \(Margin_{m\textbf{P}'}(a,b) Cycle\#_{m\textbf{P}'}(a,b)\ge m\ge n= 2\vert V(\textbf{P})\vert +1\). Also note that
It follows that \(Margin_{\textbf{P}+m\textbf{P}'}(a,b)> Cycle\#_{\textbf{P}+m\textbf{P}'}(a,b)\), so a defeats b in \(\textbf{P}+m\textbf{P}'\).
Proposition 5.30
Split Cycle satisfies rejectability.
Proof
We claim that to establish rejectability, it suffices to show that for any profile \(\textbf{P}\) such that \(\vert SC(\textbf{P}) \vert >1\) and \(x\in SC(\textbf{P})\), there is a profile \(\textbf{P}'\) with \(X(\textbf{P})=X(\textbf{P}')\) such that for all \(a,b\in X(\textbf{P})\), if \(Margin_{\textbf{P}}(a,b)> 0\), then \(Margin_{\textbf{P}'}(a,b)\ge Margin_{\textbf{P}}(a,b)\), and \(SC(\textbf{P}')=\{x\}\). For then by Lemma 5.29, there is an \(m\in \mathbb {N}\) such that \(SC(\textbf{P}+m\textbf{P}')=\{x\}\), and for all \(a,b\in X(\textbf{P})\), if \(Margin_{\textbf{P}}(a,b)> 0\), then \(Margin_{\textbf{P}+m\textbf{P}'}(a,b)\ge Margin_{\textbf{P}}(a,b)\). As \(V(\textbf{P})\subseteq V(\textbf{P}+m\textbf{P}')\), we may take \(\textbf{P}^+=\textbf{P}+m\textbf{P}'\) for rejectability.
Suppose that \(\vert SC(\textbf{P}) \vert >1\) and \(x\in SC(\textbf{P})\). We show how to modify the margin graph \(\mathcal {M}(\textbf{P})\) to a margin graph \(\mathcal {M}'\) on \(X(\textbf{P})\) such that (i) all edges between nodes are preserved from \(\mathcal {M}(\textbf{P})\) to \(\mathcal {M}'\), (ii) no weights on edges decrease from \(\mathcal {M}(\textbf{P})\) to \(\mathcal {M}'\), and (iii) \(SC(\mathcal {M}')=\{x\}\) (recall Remark 3.6). Then Debord’s theorem yields a profile \(\textbf{P}'\) whose margin graph is \(\mathcal {M}'\). By (i)–(ii), we have that for all \(a,b\in X(\textbf{P})\), if \(Margin_{\textbf{P}}(a,b)>0\), then \(Margin_{\textbf{P}'}(a,b)\ge Margin_{\textbf{P}}(a,b)\). By (iii), \(SC(\textbf{P}')=\{x\}\).
Let the set of edges in \(\mathcal {M}'\) be the set of all edges in \(\mathcal {M}(\textbf{P})\) plus an edge from x to any y such that \(Margin_\textbf{P}(x,y)=0\). Let n be the largest margin in \(\mathcal {M}(\textbf{P})\). Each edge (a, b) in \(\mathcal {M}'\) has weight either \(n+1\) or \(n+3\) according to the following rules (we use \(Margin_{\mathcal {M}'}\) and \(Cycle\#_{\mathcal {M}'}\) with their obvious meanings):

1.
if the edge (a, b) occurs on a shortest simple path^{Footnote 35} from x to b in \(\mathcal {M}'\), set \(Margin_{\mathcal {M}'}(a,b)=n+3\);

2.
otherwise, set \(Margin_{\mathcal {M}'}(a,b)=n+1\).
We now claim that every \(y\in X(\textbf{P})\setminus \{x\}\) is defeated in \(\mathcal {M}'\).
Case 1: \(Margin_\textbf{P}(x,y)\ge 0\). Then \(Margin_{\mathcal {M}'}(x,y)=n+3\) by rule 1. Moreover, for any simple cycle \(\rho\) of the form \(x\rightarrow y \rightarrow z_1\rightarrow \dots \rightarrow z_k\rightarrow x\) in \(\mathcal {M}'\), we have \(Margin_{\textbf{P}}(z_k,x)>0\) by the construction of \(\mathcal {M}'\) from \(\mathcal {M}(\textbf{P})\) and hence \(Margin_{\mathcal {M}'}(z_k,x)=n+1\) by rule 2, so \(Split\#(\rho )=n+1\). Hence \(Cycle\#_{\mathcal {M}'}(x,y)=n+1\). Thus, \(Margin_{\mathcal {M}'}(x,y)>Cycle\#_{\mathcal {M}'}(x,y)\), so x defeats y in \(\mathcal {M}'\).
Case 2: \(Margin_\textbf{P}(y,x)> 0\). Then, since \(x\in SC(\textbf{P})\), it follows by Lemma 3.12 that there is a simple cycle of the form \(y\rightarrow x\rightarrow z_1\rightarrow \dots \rightarrow z_k\rightarrow y\) in \(\textbf{P}\) where \(x\rightarrow z_1\rightarrow \dots \rightarrow z_k\rightarrow y\) is a shortest simple path from x to y. Hence \(Margin_{\mathcal {M}'}(z_k,y)=n+3\) by rule 1. We claim that \(z_k\) defeats y in \(\mathcal {M}'\). If there is no simple cycle of the form \(z_k\rightarrow w_1\rightarrow \dots \rightarrow w_\ell\) with \(w_1=y\) and \(w_\ell = z_k\) in \(\mathcal {M}'\), then \(z_k\) defeats y in \(\mathcal {M}'\). If there is such a simple cycle \(\rho\), then we claim that one of the edges \(w_i\rightarrow w_{i+1}\) in \(\rho\) has weight \(n+1\). If there is no simple path from x to any of \(w_2,\dots ,w_\ell\), this follows from rule 2 above. So suppose there is a simple path from x to one of \(w_2,\dots ,w_\ell\). Then there is a \(w_i\) such that (i) the shortest path p from x to \(w_i\) is no longer than the shortest path from x to any \(w_j\). This setup is shown in Fig. 3. Now we claim that the edge \(w_{i1}\rightarrow w_i\) in \(\rho\) has weight \(n+1\); for it to have weight \(n+3\), the edge \(w_{i1}\rightarrow w_i\) must occur on a shortest path from x to \(w_i\), which is impossible. For suppose \(p'\) is a path from x to \(w_i\) including the edge \(w_{i1}\rightarrow w_i\). By (i), the initial segment of \(p'\) from x to \(w_{i1}\) has length at least that of p, by our choice of p; so the length of \(p'\) is at least the length of p plus 1; hence, \(p'\) is not a shortest path from x to \(w_i\). Thus, we have proved that one of the edges \(w_i\rightarrow w_{i+1}\) has weight \(n+1\). Thus, \(Split\#(\rho )=n+1\). It follows that \(Cycle\#_{\mathcal {M}'}(z_k,y)=n+1\), which with \(Margin_{\mathcal {M}'}(z_k,y)=n+3\) implies that \(z_k\) defeats y in \(\mathcal {M}'\).
Corollary 5.31
Beat Path and Ranked Pairs satisfy rejectability.
Proof
Let \(F\in \{BP,RP\}\) and \(\textbf{P}\) be a profile such that \(\vert F(\textbf{P})\vert >1\) and \(x\in F(\textbf{P})\). Then by Lemmas 3.18 and 3.20, \(\vert SC(\textbf{P})\vert >1\) and \(x\in SC(\textbf{P})\). Hence by Proposition 5.30, there is a \(\textbf{P}'\) as in the definition of rejectability such that \(SC(\textbf{P}')=\{x\}\), which implies \(F(\textbf{P}')=\{x\}\) given Lemmas 3.18 and 3.20 and \(F(\textbf{P}')\ne \varnothing\).
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.
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 \(\mathcal {G}=(G,\rightarrow )\) and \(a\in G\), the following are equivalent:

1.
there is a margin graph \(\mathcal {M}\) based on \(\mathcal {G}\) such that \(a\in SC(\mathcal {M})\) (recall Remark 3.6);

2.
there is a margin graph \(\mathcal {M}\) based on \(\mathcal {G}\) such that \(SC(\mathcal {M})=\{a\}\);

3.
for all \(x\in G{\setminus }\{a\}\), if \(x\rightarrow a\), then there is a simple cycle of the form \(x\rightarrow a\rightarrow y_1\rightarrow \dots \rightarrow y_n \rightarrow x\) in \(\mathcal {G}\).
5.4.2 Resolvability
Like the rejectability criterion of Sect. 5.4.1, the criteria considered in this section concern winnowing a set of winners down to a unique winner.
5.4.2.1 Singlevoter resolvability
The first criterion, singlevoter resolvability, says that any tied winner 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 singlevoter 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 singlevoter resolvability.
Definition 5.34
Given a voting method F and \(\mathscr {D}\subseteq \textrm{dom}(F)\), we say that F satisfies singlevoter resolvability with respect to \(\mathscr {D}\) if for any \(\textbf{P}\in \mathscr {D}\), if \(\vert F(\textbf{P})\vert >1\), then for any \(x\in F(\textbf{P})\), there is a profile \(\textbf{P}'\) with \(V(\textbf{P})\cap V(\textbf{P}')=\varnothing\) and \(\vert V(\textbf{P}')\vert =1\) such that \(F(\textbf{P}+\textbf{P}')=\{x\}\).
Proposition 5.35
Split Cycle does not satisfy singlevoter resolvability even with respect to linear profiles.
Proof
Recall the margin graph of the linear profile \(\textbf{P}\) from the proof of Proposition 4.14 showing that Minimax and Beat Path do not satisfy immunity to stealers:
Here \(SC(\textbf{P})=\{a,b,d\}\), but there is no onevoter profile \(\textbf{P}'\) with \(SC(\textbf{P}+\textbf{P}')=\{a\}\) or \({SC(\textbf{P}+\textbf{P}')=\{b\}}\), since however each margin changes by at most 1 from \(\textbf{P}\) to \(\textbf{P}+\textbf{P}'\), the margins of a over d and of b over d will still be the weakest in a cycle in \(\mathcal {M}(\textbf{P}+\textbf{P}')\). Below we will show a deep tension between singlevoter 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 \(\textbf{P}\in \textrm{dom}(F)\), if \(\textbf{P}^*\) is a copy of \(\textbf{P}\) with a disjoint set of voters (recall Definition 2.7), then \(F(\textbf{P})=F(\textbf{P}+\textbf{P}^*)\).
Lemma 5.37
If a voting method F satisfies homogeneity and singlevoter resolvability with respect to \(\textrm{dom}(F)\), then it satisfies rejectability.
Proof
Let \(\textbf{P}\in \textrm{dom}(F)\) be such that \(\vert F(\textbf{P}) \vert >1\) and \(x\in F(\textbf{P})\). Let \(\textbf{P}^*\) be a copy of \(\textbf{P}\) with a disjoint set of voters. Then by homogeneity, \(F(\textbf{P})=F(\textbf{P}+\textbf{P}^*)\). It follows by resolvability that there is a singlevoter profile \(\textbf{Q}\) such that \(F(\textbf{P}+\textbf{P}^*+\textbf{Q})=\{x\}\). Since for any \(a,b\in X(\textbf{P})\) with \(Margin_\textbf{P}(a,b)> 0\), we have \(Margin_{\textbf{P}+\textbf{P}^*+\textbf{Q}}(a,b)\ge Margin_\textbf{P}(a,b)\), the profile \(\textbf{P}+\textbf{P}^*+\textbf{Q}\) is the desired profile \(\textbf{P}^+\) for rejectability.
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\in \mathbb {N}\), a voting method F satisfies asymptotic resolvability for k candidates if the proportion of profiles \(\textbf{P}\in \textrm{dom}(F)\) with \(\vert X(\textbf{P})\vert =k\) and \(\vert V(\textbf{P})\vert =n\) for which \(\vert F(\textbf{P})\vert >1\) approaches 0 as n approaches infinity.
For comparison, recall the quasiresoluteness condition from Sect. 3.3, according to which F picks a unique winner in any uniquelyweighted profile. Since the proportion of profiles that are uniquely weighted goes to 1 as the number of voters goes to infinity, quasiresoluteness 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 quasiresolute (e.g., consider a threecandidate election in which \(Margin_\textbf{P}(a,b)=2\), \(Margin_\textbf{P}(b,c)=4\), and \(Margin_\textbf{P}(c,a)=6\), in which case Borda picks b and c).
In Sect. 4, we discussed the tradeoff between a voting method being quasiresolute 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 uniquelyweighted linear profile \(\textbf{P}\) with a majority cycle, if x has the largest margin of victory and smallest margin of loss, then \(x\in F(\textbf{P})\) (a property also used in Example 5).
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 that F is a voting method on the domain of linear profiles satisfying stability for winners and the triangle property. Then F does not satisfy singlevoter 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 \(\textbf{P}\), defining \(\textbf{P}^G=\textbf{P}\vert _{ GETCHA(\textbf{P})}\) (recall Sect. 5.2.3), we have \(F(\textbf{P}^G)\subseteq F(\textbf{P})\). To see this, let \(X(\textbf{P}){\setminus } GETCHA(\textbf{P})=\{b_1,\dots ,b_n\}\). Suppose that \(a\in F(\textbf{P}^G)\), so \(a\in GETCHA(\textbf{P})\). Then \(a\rightarrow b_1\), so stability for winners implies that \(a\in F(\textbf{P}\vert _{ GETCHA(\textbf{P})\cup \{b_1\}})\). Then, since \(a\rightarrow b_2\), stability for winners implies that \(a\in F(\textbf{P}\vert _{ GETCHA(\textbf{P})\cup \{b_1,b_2\}})\), and so on, until we obtain \(a\in F(\textbf{P})\).
We will also use the notion of a qualitative margin graph, which is a pair \(\mathbb {M}=(M,\prec )\) where M is an asymmetric directed graph and \(\prec\) is a strict weak order on the set of edges of M. We say that \(\mathbb {M}\) is uniquely weighted if \(\prec\) is a strict linear order. Given a profile \(\textbf{P}\), let the qualitative margin graph \(\mathbb {M}(\textbf{P})\) of \(\textbf{P}\) be the pair \((M(\textbf{P}),\prec _\textbf{P})\) where \(M(\textbf{P})\) is the majority graph of \(\textbf{P}\), and \(\prec _\textbf{P}\) is the relation on the set of edges of \(M(\textbf{P})\) defined by \((a,b)\prec _\textbf{P}(c,d)\) if \(Margin_\textbf{P}(a,b)<Margin_\textbf{P}(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\ge 1\) and uniquelyweighted qualitative margin graph \(\mathbb {M}\) with k candidates, the proportion of profiles with k candidates and n voters realizing \(\mathbb {M}\) does not go to 0 as n goes to infinity. Thus, asymptotic resolvability for k candidates implies the following condition \((\star )\): there is no uniquelyweighted qualitative margin graph \(\mathbb {M}\) with k candidates such that for every profile \(\textbf{P}\) realizing \(\mathbb {M}\), \(\vert F(\textbf{P})\vert >1\). This also follows from singlevoter resolvability: for if there exists a uniquelyweighted \(\mathbb {M}\) such that every \(\textbf{P}\) realizing \(\mathbb {M}\) has \(\vert F(\textbf{P})\vert >1\), then we can pick a profile \(\textbf{P}\) realizing \(\mathbb {M}\) with sufficiently many voters (note that if \(\textbf{P}\) realizes \(\mathbb {M}\), so does \(\textbf{P}+\textbf{P}^*\) where \(\textbf{P}^*\) is a copy of \(\textbf{P}\) with a disjoint set of voters) such that for any singlevoter profile \(\textbf{P}'\), \(\textbf{P}+\textbf{P}'\) still realizes \(\mathbb {M}\) (since the differences between distinct margins are too large in \(\textbf{P}\) for one voter to change the qualitative margin graph), so that \(\vert F(\textbf{P}+\textbf{P}')\vert >1\), in violation of singlevoter resolvability.
Now consider any profile \(\textbf{P}\) with \(X(\textbf{P})>3\) realizing a qualitative margin graph \(\mathbb {M}\) that when restricted to \(GETCHA(\textbf{P})\) has the following form, where \(\alpha \prec \gamma \prec \beta\) and \(\gamma \prec \varphi \prec \psi\):
Since \(\alpha \prec \gamma \prec \beta\), by the triangle property we have \(x_4\in F((\textbf{P}^G)_{x_3})\). Then given \(x_4\rightarrow x_3\), from stability for winners we have \(x_4\in F(\textbf{P}^G)\) and hence \(x_4\in F(\textbf{P})\) by the first paragraph of the proof. Since \(\gamma \prec \varphi \prec \psi\), by the triangle property we have \(x_1\in F((\textbf{P}^G)_{x_4})\). Then given \(x_1\rightarrow x_4\), from stability for winners we have \(x_1\in F(\textbf{P}^G)\) and hence \(x_1\in F(\textbf{P})\) by the first paragraph of the proof. Thus, \(\vert F(\textbf{P})\vert >1\). Since this holds for every \(\textbf{P}\) realizing \(\mathbb {M}\), condition \((\star )\) 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). 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), § 12, sampling 10,000,000 profiles for each number of candidates.
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 realworld applications, what matters is the proportion of profiles with multiple winners for realistic numbers of voters. In the online Appendix D, we provide a quantitative analysis. For instance, our results show that when there are seven 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 Monotonicity criteria
5.5.1 Nonnegative responsiveness
The term “monotonicity” has many meanings in voting theory. One of the standard meanings is given by the criterion of nonnegative 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 \(\textbf{P}\) and \(\textbf{P}'\) with \(V(\textbf{P})=V(\textbf{P}')\) and \(x\in X(\textbf{P})=X(\textbf{P}')\), we say that \(\textbf{P}'\) is obtained from \(\textbf{P}\) by a simple lift of x if the following conditions hold:

1.
for all \(a,b\in X(\textbf{P}){\setminus }\{x\}\) and \(i\in V(\textbf{P})\), \(a\textbf{P}_i b\) if and only if \(a\textbf{P}'_i b\);

2.
for all \(a\in X(\textbf{P})\) and \(i\in V(\textbf{P})\), if \(x\textbf{P}_ia\), then \(x\textbf{P}_i' a\);

3.
for all \(a\in X(\textbf{P})\) and \(i\in V(\textbf{P})\), if \(a\textbf{P}_i'x\), then \(a\textbf{P}_i x\).
Definition 5.42
A voting method F satisfies nonnegative responsiveness if for every \(\textbf{P}\in \textrm{dom}(F)\) and \(x\in X(\textbf{P})\), if \(x\in F(\textbf{P})\) and \(\textbf{P}'\in \textrm{dom}(F)\) is obtained from \(\textbf{P}\) by a simple lift of x, then \(x\in F(\textbf{P}')\).
Proposition 5.43
Split Cycle satisfies nonnegative responsiveness.
Proof
Suppose that \(x\in SC(\textbf{P})\) and \(\textbf{P}'\) is obtained from \(\textbf{P}\) by a simple lift of x. Since \(x\in SC(\textbf{P})\), for all \(y\in X(\textbf{P})\), y does not defeat x in \(\textbf{P}\), so \(Margin_\textbf{P}(y,x)\le Cycle\#_\textbf{P}(y,x)\). We claim that y does not defeat x in \(\textbf{P}'\) either. Since \(\textbf{P}'\) is obtained from \(\textbf{P}\) by a simple lift of x, we have \(Margin_{\textbf{P}'}(y,x)\le Margin_\textbf{P}(y,x)\). If \(Margin_{\textbf{P}'}(y,x)\le 0\), then y does not defeat x in \(\textbf{P}'\), so suppose that \(Margin_{\textbf{P}'}(y,x)>0\). We claim that
For given any simple cycle \(\rho = y \overset{\alpha }{\rightarrow } x\overset{\beta }{\rightarrow }\ z_1\overset{\gamma _1}{\rightarrow } \dots \overset{\gamma _{n1}}{\rightarrow } z_n\overset{\gamma _n}{\rightarrow }\ y\) in \(\mathcal {M}(\textbf{P})\), by Definition 5.41 we have that \(\rho ' = y \overset{\alpha '}{\rightarrow }\ x\overset{\beta '}{\rightarrow } z_1\overset{\gamma _1}{\rightarrow } \dots \overset{\gamma _{n1}}{\rightarrow } z_n\overset{\gamma _n}{\rightarrow }\ y\) is a simple cycle in \(\mathcal {M}(\textbf{P}')\) where \(\alpha '\le \alpha\) and \(\beta \le \beta '\). Hence, \(Split\#(\rho ')\ge Split\#(\rho )  (Margin_\textbf{P}(y,x)  Margin_{\textbf{P}'}(y,x))\). This proves (4), which with \(Margin_\textbf{P}(y,x)\le Cycle\#_\textbf{P}(y,x)\) implies that \(Margin_{\textbf{P}'}(y,x)\le Cycle\#_{\textbf{P}'}(y,x)\). Hence y does not defeat x in \(\textbf{P}'\). Since y was arbitrary, we conclude that \(x\in SC(\textbf{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 Sect. 1.2 of violations of positive or negative involvement as “strong no show paradoxes.” The 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 \(\textbf{P}\in \textrm{dom}(F)\) and \(\textbf{P}'\) with \(X(\textbf{P})=X(\textbf{P}')\), \({V(\textbf{P})\cap V(\textbf{P}')=\varnothing }\), and \(\vert V(\textbf{P}')\vert =1\), if \(x\in F(\textbf{P})\), \(\textbf{P}+\textbf{P}'\in \textrm{dom}(F)\), and for \(i\in V(\textbf{P}')\), \(x \textbf{P}_i' y\) for all \(y\in X(\textbf{P}'){\setminus } \{x\}\), then \(x\in F(\textbf{P}+\textbf{P}')\).
F satisfies negative involvement if for any profiles \(\textbf{P}\in \textrm{dom}(F)\) and \(\textbf{P}'\) with \(X(\textbf{P})=X(\textbf{P}')\), \(V(\textbf{P})\cap V(\textbf{P}')=\varnothing\), and \(\vert V(\textbf{P}')\vert =1\), if \(x\not \in F(\textbf{P})\), \(\textbf{P}+\textbf{P}'\in \textrm{dom}(F)\), and for \(i\in V(\textbf{P}')\), \(y \textbf{P}_i' x\) for all \(y\in X(\textbf{P}'){\setminus } \{x\}\), then \(x\not \in F(\textbf{P}+\textbf{P}')\).
Lemma 5.45
If F satisfies positive involvement (resp. negative involvement), then it satisfies the analogous coalitional properties that drop the restriction that \(\vert V(\textbf{P}')\vert =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 Sect. 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 that \(x\not \in SC(\textbf{P}+\textbf{P}')\). Hence there is a \(z\in X(\textbf{P})\) that defeats x in \(\textbf{P}+\textbf{P}'\), i.e., such that
Since \(\vert V(\textbf{P}')\vert =1\), we have
and since \(x\textbf{P}_i'z\), we have
so \(x\not \in SC(\textbf{P})\).
Next, consider negative involvement. Suppose that \(x\not \in F(\textbf{P})\). Hence there is a \(z\in X(\textbf{P})\) that defeats x in \(\textbf{P}\), i.e., such that
Since \(\vert V(\textbf{P}')\vert =1\), we have
and since \(z\textbf{P}_i'x\), we have
so \(x\not \in SC(\textbf{P}+\textbf{P}')\).
Thus, with Split Cycle the strong noshow paradox discussed in Sect. 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, nonnegative responsiveness, 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 Sect. 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. Trying 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 & 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.
Notes
After submitting this paper, we learned from Jobst Heitzig of his notion of the “immune set” discussed in a 2004 post on the ElectionMethods 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 ElectionMethods 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). To the best of our knowledge, the Split Cycle voting method has not been studied in the research literature. In a companion paper (Holliday & Pacuit, 2021a), we study Split Cycle as what is known as a collective choice rule in the social choice theory literature.
Among proposed nonCondorcet methods, we believe only Instant Runoff satisfies both independence of clones and positive involvement, but it fails the nonnegative responsiveness criterion, which Split Cycle satisfies, as well as immunity to spoilers and negative involvement (see the online Appendix C.8).
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.
There is a more computationally efficient way to calculate the Split Cycle winners (see Footnote 20), but this simple twostep procedure is appropriate for explaining the method to voters.
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 \(\widehat{\alpha }_\subseteq\) (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, 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 & Weymark, 2003 and generalized to irresolute methods in Eraslan & 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. \(\widehat{\alpha }\) 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.
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.
More accurately, the idea that any Condorcet winner ought to be at least tied for winning the election.
Unlike Instant Runoff, this is a Condorcetconsistent 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.
Note that Moulin (1988) only proves participation failure for Condorcetconsistent 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 Sect. 5.1.1). Since none of the standard Condorcetconsistent voting methods is 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).
We officially define a profile as a pair \((\textbf{P}, X(\textbf{P}))\) due to a technicality: unlike the set of voters, the set of candidates cannot necessarily be recovered from the function \(\textbf{P}\).
That is, \(X(\textbf{P})=X(\textbf{P}^*)\), \(V(\textbf{P})\cap V(\textbf{P}^*)=\varnothing\), and there is a bijection \(h:V(\textbf{P})\rightarrow V(\textbf{P}^*)\) such that for all \(i\in V(\textbf{P})\) and \(x,y\in X(\textbf{P})\), we have \(x\textbf{P}_i y\) if and only if \(x\textbf{P}^*_{h(i)} y\).
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.”
We assume that e does not defeat d because of the perfect cycle involving d, f, and e.
Here 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.
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.
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 & Kelly, 2000).
Lemma 3.17 immediately suggests an efficient algorithm for computing the Split Cycle defeat relation: for all candidates a and b, if the margin of a over b is positive, check if there is a path from b back to a of strength at least the margin of a over b; if not, a defeats b. Lemma 3.17 also shows we can compute Split Cycle using a modification of the FloydWarshall algorithm used by Schulze (2011) to compute Beat Path. See the Python implementations at https://github.com/epacuit/splitcycle.
For nonuniquely weighted profiles, there are extremely rare examples in which \(SSV(\textbf{P})\not \subseteq SC(\textbf{P})\). However, if one defines Simple Stable Voting to use paralleluniverse tiebreaking of tied margins in the style of Ranked Pairs (see Wang et al., 2019), then Conjecture 3.21 implies that \(SSV_{PUT}(\textbf{P})\subseteq SC(\textbf{P})\) and \(SSV_{PUT}(\textbf{P})= SV_{PUT}(\textbf{P})\) for all profiles \(\textbf{P}\).
In Holliday and Pacuit (Forthcoming), such an a is called stable for F in \(\textbf{P}\).
This is why Split Cycle may allow a candidate x who is not among the winners in \(\textbf{P}_{b}\) to become a winner in \(\textbf{P}\).
To see that GETCHA satisfies strong stability for winners, using the definition of GETCHA in Definition 5.10, suppose that \(a\in GETCHA(\textbf{P}_{b})\) and \(Margin_\textbf{P}(a,b)\ge 0\). Further suppose for contradiction that \(a\not \in GETCHA(\textbf{P})\), which with \(Margin_\textbf{P}(a,b)\ge 0\) implies that \(b\not \in GETCHA(\textbf{P})\), so \(GETCHA(\textbf{P})\subseteq X(\textbf{P}_{b})\). It follows that \(GETCHA(\textbf{P})\) is \(\rightarrow _{\textbf{P}_{b}}\)dominant, so \(GETCHA(\textbf{P}_{b})\subseteq GETCHA(\textbf{P})\), which contradicts the fact that \(a\in GETCHA(\textbf{P}_{b})\) and \(a\not \in GETCHA(\textbf{P})\).
We thank Felix Brandt for providing this example.
The local Borda count VFCCR (cf. Kelly, 1988, p. 74) takes \(f(\textbf{P},S)\) to be the set of all \(x\in S\) such that for all \(y\in S\), the Borda score of x calculated with respect to the restricted profile \(\textbf{P}\vert _{ S}\) is at least that of y.
Global Split Cycle takes \(f(\textbf{P},S)\) to be the set of all \(x\in S\) such that for all \(y\in S\), y does not defeat x according to the defeat relation calculated with respect to \(\textbf{P}\), whereas local Split Cycle uses the defeat relation calculated with respect to \(\textbf{P}\vert _{ S}\).
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 \(\varnothing \ne S\subseteq Y\subseteq X(\textbf{P})\) returns a nonempty \(C(Y,S)\subseteq S\); think of Y as determining the profile \(\textbf{P}\vert _{ Y}\) and S as determining the feasible set \(S\subseteq Y\). Let \(X(\textbf{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\in C(\{a,b\},\{a,b\})\cap C(\{a,c\}, \{a\})}\) but \(a\not \in C(\{a,b,c\}, \{a,b\})\). Yet for each nonempty \(Y\subseteq X(\textbf{P})\), \(C(Y,\cdot )\) 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.
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.
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 & Sandholm, 2005; Pivato, 2013b).
Clearly, \(GETCHA(\textbf{P})\) is \(\rightarrow _{\textbf{P}_{x}}\)dominant, so \(GETCHA(\textbf{P}_{x})\subseteq GETCHA(\textbf{P})\) by Definition 5.10. To see that \(GETCHA(\textbf{P}_{x})\) is \(\rightarrow _{\textbf{P}}\)dominant, consider an \(a\in GETCHA(\textbf{P}_{x})\) and \(b\in X(\textbf{P}){\setminus } GETCHA(\textbf{P}_{x})\). If \(b\ne x\), then \(b\in X(\textbf{P}_{x}){\setminus } GETCHA(\textbf{P}_{x})\) and hence \(a\rightarrow _{\textbf{P}_{x}} b\) because \(GETCHA(\textbf{P}_{x})\) is \(\rightarrow _{\textbf{P}_{x}}\)dominant, which implies that \(a\rightarrow _{\textbf{P}} b\). If \(b=x\), then since \(GETCHA(\textbf{P}_{x})\subseteq GETCHA(\textbf{P})\) and \(x\in X(\textbf{P}){\setminus } GETCHA(\textbf{P})\), again we have \(a\rightarrow _{\textbf{P}} b\). Thus, \(GETCHA(\textbf{P}_{x})\) is \(\rightarrow _{\textbf{P}}\)dominant, so \(GETCHA(\textbf{P})\subseteq GETCHA(\textbf{P}_{x})\) by Definition 5.10.
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.
A simple path in a graph is a sequence \(\langle x_1,\dots ,x_n\rangle\) of distinct nodes with \(x_i\rightarrow x_{i+1}\) for each \(i\in \{1,\dots ,n1\}\). The length of a path is the number of nodes in the path minus 1.
Several authors have investigated what could be called “irresolute” participationlike criteria (recall Footnote 11), where one changes the initial assumption from \(F(\textbf{P})=\{x\}\) to \(x\in F(\textbf{P})\). For example, Perez (2001) considers the following axiom, called VCparticipation: if \(x\in F(\textbf{P})\) and \(\textbf{P}'\) is a onevoter profile with a new voter i having \(x \textbf{P}_i' y\), then \(y\in F(\textbf{P}+\textbf{P}')\) implies that \(x\in F(\textbf{P}+\textbf{P}')\). He then observes that no Condorcetconsistent voting method satisfies VCparticipation. 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(\textbf{P})=\{x,w\}\) to \(F(\textbf{P}+\textbf{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.
References
Arrow, K. J. (1963). Social choice and individual values (2nd ed.). John Wiley & Sons Inc.
Baigent, N. (1987). Twitching weak dictators. Journal of Economics, 47(4), 407–411. https://doi.org/10.1007/bf01229471
Balinski, M., & Laraki, R. (2010). Majority judgement: Measuring, ranking and electing. MIT Press. https://doi.org/10.7551/mitpress/9780262015134.001.0001.
Berg, S. (1985). Paradox of voting under an urn model: The effect of homogeneity. Public Choice, 47, 377–387. https://doi.org/10.1007/BF00127533
Boehmer, N., Bredereck, R., Faliszewski, P., Niedermeier, R., & Szufa, S. (2021). Putting a compass on the map of elections. In Z.H. Zhou (Ed.), Proceedings of the thirtieth international joint conference on artificial intelligence (IJCAI21) (pp. 59–65). International Joint Conferences on Artificial Intelligence.
Bordes, G. (1983). On the possibility of reasonable consistent majoritarian choice: Some positive results. Journal of Economic Theory, 31(1), 122–132. https://doi.org/10.1016/00220531(83)900248
Brams, S. J., & Fishburn, P. C. (2002). Voting procedures. In K. J. Arrow, A. K. Sen, & K. Suzumura (Eds.), Handbook of social choice and welfare (Vol. 1, pp. 173–236). Amsterdam: NorthHolland. https://doi.org/10.1016/s15740110(02)80008x
Brandt, F. (2017). Rolling the dice: Recent results in probabilistic social choice. In U. Endriss (Ed.), Trends in computational social choice (pp. 3–26). AI Access.
Brandt, F., Brill, M., Seedig, H. G., & Suksompong, W. (2018). On the structure of stable tournament solutions. Economic Theory, 65(2), 483–507. https://doi.org/10.1007/s001990161024x
Brandt, F., & Seedig, H. G. (2014). On the discriminative power of tournament solutions. In M. LLübbecke, A. Koster, P. Letmathe, R. Madlener, B. Peis, & G. Walther (Eds.), Operations research proceedings 2014 (pp. 53–58). Springer. https://doi.org/10.1007/9783319286976_8
Brill, M., & Fischer, F. (2012). The price of neutrality for the ranked pairs method. In Proceedings of the twentysixth AAAI conference on artificial intelligence (AAAI12) (pp. 1299–1305). AAAI Press.
Campbell, D. E., & Kelly, J. S. (2000). Weak independence and veto power. Economics Letters, 66(2), 183–189. https://doi.org/10.1016/s01651765(99)002098
Conitzer, V., & Sandholm, T. (2005). Common voting rules as maximum likelihood estimators. In Proceedings of the twentyfirst conference on uncertainty in artificial intelligence (UAI05) (pp. 145–152). Arlington, Virginia: AUAI Press.
Copeland, A. H. (1951). A ‘reasonable’ social welfare function. (Notes from a seminar on applications of mathematics to the social sciences, University of Michigan).
Darlington, R. B. (2016). Minimax is the best electoral system after all. arxiv.org/abs/1606.04371
Debord, B. (1987). 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.
DeMeyer, F., & Plott, C. R. (1970). The probability of a cyclical majority. Econometrica, 38(2), 345–354.
Ding, Y., Holliday, W. H., Pacuit, E. (2022). An axiomatic characterization of Split Cycle. arxiv.org/abs/2210.12503
Duddy, C. (2014). Condorcet’s principle and the strong noshow paradoxes. Theory and Decision, 77, 275–285. https://doi.org/10.1007/s1123801394014
Duggan, J. (2013). Uncovered sets. Social Choice and Welfare, 41(3), 489–535. https://doi.org/10.1007/s0035501206969
Dutta, B., Jackson, M. O., & Breton, M. L. (2001). Strategic candidacy and voting procedures. Econometrica, 69(4), 1013–1037. https://doi.org/10.1111/14680262.00228
Dutta, B., & Laslier, J.F. (1999). Comparison functions and choice correspondences. Social Choice and Welfare, 16, 513–532. https://doi.org/10.1007/s003550050158
Ehlers, L., & Weymark, J. A. (2003). Candidate stability and nonbinary social choice. Economic Theory, 22(2), 233–243. https://doi.org/10.1007/s0019900202796
Eppley, S. (2000). Beatpath criterion, Tideman, and BCM. Retrieved from http://lists.electorama.com/pipermail/electionmethodselectorama.com/2000February/068928.html
Eraslan, H., & McLellan, A. (2004). Candidate stability and nonbinary social choice. Journal of Economic Theory, 117(1), 29–54. https://doi.org/10.1016/j.jet.2003.09.005
Feizi, M., Ramezanian, R., & Sadati, S. M. (2020). Borda paradox in the 2017 Iranian presidential election: Empirical evidence from opinion polls. Economics of Governance, 21, 101–113. https://doi.org/10.1007/s10101019002333
Felsenthal, D. S. (2012). Review of paradoxes afflicting procedures for electing a single candidate. Electoral systems: Paradoxes, assumptions and procedures (pp. 19–92). Springer. https://doi.org/10.1007/9783642204418
Felsenthal, D. S., & Nurmi, H. (2016). Two types of participation failure under nine voting methods in variable electorates. Public Choice, 168, 115–135. https://doi.org/10.1007/s1112701603525
Felsenthal, D. S., & Tideman, N. (2013). Varieties of failure of monotonicity and participation under five voting methods. Theory and Decision, 75, 59–77. https://doi.org/10.1007/s1123801293067
Fishburn, P. C. (1977). Condorcet social choice functions. SIAM Journal on Applied Mathematics, 33(3), 469–489. https://doi.org/10.1137/0133030
Fishburn, P. C., & Brams, S. J. (1983). Paradoxes of preferential voting. Mathematics Magazine, 56(4), 207–214. https://doi.org/10.2307/2689808
Freeman, R., Brill, M., & Conitzer, V. (2014). On the axiomatic characterization of runoff voting rules. In Proceedings of the twentyeighth AAAI conference on artificial intelligence (AAAI14) (pp. 675–681). AAAI Press.
Freeman, R., Brill, M., & Conitzer, V. (2015). General tiebreaking schemes for computational social choice. In Proceedings of the 2015 international conference on autonomous agents and multiagent systems (AAMAS 2015) (pp. 1401–1409). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems.
Gibbard, A. (1973). Manipulation of voting schemes: A general result. Econometrica, 41(4), 587–601. https://doi.org/10.2307/1914083
Gillies, D. B. (1959). Solutions to general nonzerosum games. In A. W. Tucker & R. D. Luce (Eds.), Contributions to the theory of games. Princeton University Press.
HarrisonTrainor, M. (2022). An analysis of random elections with large numbers of voters. Mathematical Social Sciences, 116, 68–84. https://doi.org/10.1016/j.mathsocsci.2022.01.002
Heitzig, J. (2002). Social choice under incomplete, cyclic preferences: Majority/minoritybased rules, and compositionconsistency. (arxiv.org/abs/math/0201285)
Heitzig, J. (2004a). Examples with 4 options for immune methods. Retrieved from http://lists.electorama.com/pipermail/electionmethodselectorama.com//2004May/078166.html
Heitzig, J. (2004b). River method—Updated summary. Retrieved from http://lists.electorama.com/pipermail/electionmethodselectorama.com/2004October/014018.html
Herron, M. C., & Lewis, J. B. (2007). Did Ralph Nader spoil a Gore presidency? A ballotlevel study of Green and Reform Party voters in the 2000 presidential election. Quarterly Journal of Political Science, 2(3), 205–226.
Hofmann, H., Wickham, H., & Kafadar, K. (2017). Lettervalue plots: Boxplots for large data. Journal of Computational and Graphical Statistics, 26(3), 469–477. https://doi.org/10.1080/10618600.2017.1305277
Holliday, W. H., Norman, C., & Pacuit, E. (2021). Voting theorem in the Lean Theorem Prover. In S. Ghosh & T. Icard (Eds.), Logic, rationality, and interaction LORI 2021 (Vol. 13039, pp. 111–127). Cham: Springer. (arXiv:2110.08453 [cs.LO]) https://doi.org/10.1007/9783030887087_9
Holliday, W. H., Norman, C., Pacuit, E., Zahedian, S. (Forthcoming). Impossibility theorems involving weakenings of expansion consistency and resoluteness in voting. In M. A. Jones, D. McCune, & J. Wilson (Eds.), Mathematical Analyses of Decisions, Voting, and Games, Contemporary Mathematics series, American Mathematical Society (arxiv.org/abs/2208.06907)
Holliday, W. H., & Pacuit, E. (2021a). Axioms for defeat in democratic elections. Journal of Theoretical Politics, 33(4), 475–524. (arxiv.org/abs/2008.08451) https://doi.org/10.1177/09516298211043236.
Holliday, W. H., & Pacuit, E. (2021b). Measuring violations of positive involvement in voting. In J. Y. Halpern & A. Perea (Eds.), Theoretical aspects of rationality and knowledge 2021 (TARK 2021) (Vol. 335, pp. 189–209). https://doi.org/10.4204/EPTCS.335.17.
Holliday, W. H., & Pacuit, E. (Forthcoming). Stable Voting. Constitutional Political Economy. https://doi.org/10.1007/s10602022093839 (arxiv.org/abs/2108.00542)
Jimeno, J. L., Pérez, J., & García, E. (2009). An extension of the Moulin No Show Paradox for voting correspondences. Social Choice and Welfare, 33(3), 343–359. https://doi.org/10.1007/s0035500803606
Kambhampaty, A. P. (2019). New York City voters just adopted RankedChoice Voting in elections. Here’s how it works. Time Magazine, (November 6, 2019 issue).
Kaminski, M. M. (2015). Empirical examples of voting paradoxes. In J. C. Heckelman & N. R. Miller (Eds.), Handbook of social choice and voting (pp. 1367–387). Edward Elgar Publishing. https://doi.org/10.4337/9781783470730.00029
Kaminski, M. M. (2018). Spoiler effects in proportional representation systems: Evidence from eight Polish parliamentary elections, 1991–2015. Public Choice, 176, 441–460. https://doi.org/10.1007/s111270180565x
Kasper, L., Peters, H., & Vermeulen, D. (2019). Condorcet Consistency and the strong no show paradoxes. Mathematical Social Sciences, 99, 36–42. https://doi.org/10.1016/j.mathsocsci.2019.03.002
Kelly, J. S. (1988). Social choice theory: An introduction. Springer. https://doi.org/10.1007/9783662099254
Kramer, G. H. (1977). A dynamical model of political equilibrium. Journal of Economic Theory, 16(2), 310–334. https://doi.org/10.1016/00220531(77)900114
KurrildKlitgaard, P. (2018). Trump, Condorcet and Borda: Voting paradoxes in the 2016 Republican presidential primaries. European Journal of Political Economy, 55, 29–35. https://doi.org/10.1016/j.ejpoleco.2017.10.003
Lamboray, C. (2008). A prudent characterization of the Ranked Pairs Rule. Social Choice and Welfare, 32, 129–155. https://doi.org/10.1007/s0035500803197
Laslier, J.F. (1997). Tournament solutions and majority voting. Springer.
Laslier, J.F. (2012). And the loser is...plurality voting. In D. S. Felsenthal & M. Machover (Eds.), Electoral systems: Paradoxes, assumptions and procedures (pp. 327–351). Springer. https://doi.org/10.1007/9783642204418_13
Magee, C. S. P. (2003). Thirdparty candidates and the 2000 presidential election. Social Science Quarterly, 84(3), 29–35. https://doi.org/10.1111/15406237.8403006
Mallows, C. L. (1957). Nonnull ranking models. I. Biometrika, 44(2), 114–130. https://doi.org/10.2307/2333244
Marden, J. (1995). Analyzing and modeling rank data. CRC Press. https://doi.org/10.1201/b16552
Maskin, E., & Sen, A. (2016). How majority rule might have stopped Donald Trump. The New York Times, (April 28, 2016 issue).
Maskin, E., & Sen, A. (2017). A better way to choose presidents. The New York Review of Books, (June 8, 2017 issue).
Maskin, E., & Sen, A. (2017). The rules of the game: A new electoral system. The New York Review of Books, (January 19, 2017 issue).
Miller, N. R. (1980). A new solution set for tournaments and majority voting: Further graphtheoretical approaches to the theory of voting. American Journal of Political Science, 24(1), 68–96. https://doi.org/10.2307/2110925
Miller, N. R. (2019). Reflections on Arrow’s theorem and voting rules. Public Choice, 179, 113–124. https://doi.org/10.1007/s1112701805246
Moulin, H. (1986). Choosing from a tournament. Social Choice and Welfare, 3(4), 271–291. https://doi.org/10.1007/BF00292732
Moulin, H. (1988). Condorcet’s principle implies the no show paradox. Journal of Economic Theory, 45(1), 53–64. https://doi.org/10.1016/00220531(88)902530
Myerson, R. B. (1995). Axiomatic derivation of scoring rules without the ordering assumption. Social Choice and Welfare, 12(1), 59–74. https://doi.org/10.1007/BF00182193
Pacuit, E. (2019). Voting methods. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy (Fall 2019 ed.). Metaphysics Research Lab. Stanford University. https://plato.stanford.edu/archives/fall2019/entries/votingmethods/
Penn, E. M. (2006). Alternate definitions of the uncovered set and their implications. Social Choice and Welfare, 27(1), 83–87. https://doi.org/10.1007/s0035500601142
Pérez, J. (2001). The strong no show paradoxes are a common flaw in Condorcet voting correspondences. Social Choice and Welfare, 18(3), 601–616. https://doi.org/10.1007/s003550000079
PérezFernández, R., & De Baets, B. (2018). The supercovering relation, the pairwise winner, and more missing links between Borda and Condorcet. Social Choice and Welfare, 50, 329–352. https://doi.org/10.1007/s0035501710860
Peris, J. E., & Subiza, B. (1999). Condorcet choice correspondences for weak tournaments. Social Choice and Welfare, 16(2), 217–231. https://doi.org/10.1007/s003550050141
Pivato, M. (2013). Variablepopulation voting rules. Journal of Mathematical Economics, 49(3), 210–221. https://doi.org/10.1016/j.jmateco.2013.02.001
Pivato, M. (2013). Voting rules as statistical estimators. Social Choice and Welfare, 40(2), 581–630. https://doi.org/10.1007/s0035501106191
Potthoff, R. F., & Munger, M. C. (2021). Condorcet loser in 2016: Apparently Trump; Condorcet winner: Not Clinton? American Politics Research, 49(6), 618–636. https://doi.org/10.1177/1532673X211009499
Richelson, J. T. (1978). A comparative analysis of social choice functions, III. Behavioral Science, 23, 169–176.
RodríguezÁlvarez, C. (2006). Candidate stability and voting correspondences. Social Choice and Welfare, 27(3), 545–570. https://doi.org/10.1007/s003550060126y
Saari, D. G. (1994). Geometry of voting. Springer. https://doi.org/10.1007/9783642486449
Saari, D. G. (1995). Basic geometry of voting. Springer. https://doi.org/10.1007/9783642577482
Saari, D. G. (1999). Explaining all threealternative voting outcomes. Journal of Economic Theory, 87(2), 313–355. https://doi.org/10.1006/jeth.1999.2541
Sanver, M. R., & Zwicker, W. S. (2012). Monotonicity properties and their adaptation to irresolute social choice rules. Social Choice and Welfare, 39(2/3), 371–398. https://doi.org/10.1007/s0035501206546
Satterthwaite, M. (1973). The existence of a strategy proof voting procedure (Unpublished doctoral dissertation). University of Wisconsin.
Schulze, M. (2011). A new monotonic, cloneindependent, reversal symmetric, and Condorcetconsistent singlewinner election method. Social Choice and Welfare, 36, 267–303. https://doi.org/10.1007/s0035501004754
Schulze, M. (2022). The Schulze method of voting. (arxiv.org/abs/ 1804.02973)
Schwartz, T. (1986). The logic of collective choice. Columbia University Press. https://doi.org/10.7312/schw93758.
Sen, A. (1971). Choice functions and revealed preference. The Review of Economic Studies, 38(3), 307–317. https://doi.org/10.2307/2296384
Sen, A. (1993). Internal consistency of choice. Econometrica, 61(3), 495–521. https://doi.org/10.2307/2951715
Sen, A. (2017). Collective choice and social welfare: An expanded edition. Harvard University Press.
Simpson, P. B. (1969). On defining areas of voter choice: Professor Tullock on stable voting. The Quarterly Journal of Economics, 83(3), 478–490. https://doi.org/10.2307/1880533
Smith, J. H. (1973). Aggregation of preferences with variable electorate. Econometrica, 41(6), 1027–1041. https://doi.org/10.2307/1914033
Taylor, A. D. (2005). Social choice and the mathematics of manipulation. Cambridge University Press. https://doi.org/10.1017/cbo9780511614316
Taylor, A. D., & Pacelli, A. M. (2008). Mathematics and politics: Strategy, voting, power, and proof (2nd ed.). Springer. https://doi.org/10.1007/9780387776453
Tideman, T. N. (1987). Independence of clones as a criterion for voting rules. Social Choice and Welfare, 4, 185–206. https://doi.org/10.1007/bf00433944
Tsetlin, I., Regenwetter, M., & Grofman, B. (2003). The impartial culture maximizes the probability of majority cycles. Social Choice and Welfare, 21, 387–398. https://doi.org/10.1007/s003550030269z
Wang, J., Sikdar, S., Zhao, T. S. Z., Jiang, C., & Xia, L. (2019). Practical algorithms for multistage voting rules with parallel universes tiebreaking. In Proceedings of the thirtythird AAAI conference on artificial intelligence (AAAI19). AAAI Press.
Wikipedia contributors (2020a). Condorcet method—Wikipedia, the free encyclopedia. Retrieved from https://en.wikipedia.org/wiki/Condorcetmethod#Use_of_Condorcet voting ([Online; accessed 19February2020]).
Wikipedia contributors (2020b). Spoiler effect—Wikipedia, the free encyclopedia. Retrieved from https://en.wikipedia.org/wiki/Spoiler_effect ([Online; accessed 19February2020]).
Woon, J., Craig, S., Leifson, A., & Tarpey, M. (2020). Trump is not a (Condorcet) loser! Primary voters’ preferences and the 2016 republican presidential nomination. Political Science and Politics, 53(3), 407–412. https://doi.org/10.1017/S1049096520000359
Young, H. P. (1975). Social choice scoring functions. SIAM Journal on Applied Mathematics, 28(4), 313–355. https://doi.org/10.1137/0128067
Zavist, T. M., & Tideman, T. N. (1989). Complete independence of clones in the ranked pairs rule. Social Choice and Welfare, 6, 167–173. https://doi.org/10.1007/bf00303170
Zwicker, W. S. (2016). Introduction to the theory of voting. In F. Brandt, V. Conitzer, U. Endriss, J. Lang, & A. D. Procaccia (Eds.), Handbook of computational social choice (pp. 23–56). Cambridge University Press. https://doi.org/10.1017/cbo9781107446984.003
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.
Author information
Authors and Affiliations
Corresponding authors
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary Information
Below is the link to the electronic supplementary material.
Appendices
A Independence of clones
In this appendix, we prove that Split Cycle satisfies independence of clones. In the following, fix a profile \(\textbf{P}\) with a set C of clones and \(c\in C\). Then obviously we have the following.
Lemma A.1

1.
For any \(a,b\in X(\textbf{P}){\setminus } \{c\}\), \(Margin_{\textbf{P}}(a,b)=Margin_{\textbf{P}_{c}}(a,b)\).

2.
For any \(b\in X(\textbf{P})\setminus C\) and \(e\in C\setminus \{c\}\), \(Margin_{\textbf{P}}(c,b)=Margin_{\textbf{P}_{c}}(e,b)\).
Next we show that certain cycle numbers do not change from \(\textbf{P}\) to \(\textbf{P}_{c}\). For this we use the following key lemma.
Lemma A.2
For any \(c_1,c_2\in C\) with \(c_1\ne c_2\) and simple cycle \(\rho\) in \(\mathcal {M}(\textbf{P})\) that contains \(c_1\) and some nonclone, the sequence \(\rho '\) obtained from \(\rho\) by replacing all clones in \(\rho\) by \(c_2\) and then replacing any subsequence \(c_2,\dots ,c_2\) by \(c_2\) is a simple cycle in \(\mathcal {M}(\textbf{P})\) such that \(Split\#(\rho ')\ge Split\#(\rho )\).
Proof
For any \(a\in X(\textbf{P}){\setminus } C\) and \(d\in C\), if \(a\rightarrow d\) (resp. \(d\rightarrow a\)) occurs in \(\rho\) with margin \(\alpha\) in \(\mathcal {M}(\textbf{P})\), then by the definition of a set of clones (Definition 5.22), we have \(a\rightarrow c_2\) (resp. \(c_2\rightarrow a\)) with margin \(\alpha\) in \(\mathcal {M}(\textbf{P})\). It follows that \(\rho '\) is a simple cycle in \(\mathcal {M}(\textbf{P})\) and that the margins between successive candidates in \(\rho '\) already occurred as margins between successive candidates in \(\rho\), which implies that \(Split\#(\rho ')\ge Split\#(\rho )\).
Lemma A.3
For any \(a\in X(\textbf{P}){\setminus }\{c\}\) and \(b\in X(\textbf{P}){\setminus } C\), we have \(Cycle\#_\textbf{P}(a,b)=Cycle\#_{\textbf{P}_{c}}(a,b)\).
Proof
First, observe that any simple cycle in \(\mathcal {M}(\textbf{P}_{c})\) is also a simple cycle with the same margins in \(\mathcal {M}(\textbf{P})\). Hence \(Cycle\#_\textbf{P}(a,b)\ge Cycle\#_{\textbf{P}_{c}}(a,b)\).
Second, to show that \(Cycle\#_\textbf{P}(a,b)\le Cycle\#_{\textbf{P}_{c}}(a,b)\), it suffices to show that for every simple cycle \(\rho\) in \(\mathcal {M}(\textbf{P})\) extending \(a\rightarrow b\), there is a simple cycle \(\rho '\) in \(\mathcal {M}(\textbf{P}_{c})\) extending \(a\rightarrow b\) such that \(Split\#(\rho ')\ge Split\#(\rho )\). If \(\rho\) does not contain c, then take \(\rho '=\rho\). Suppose that \(\rho\) does contain c. Case 1: \(a\in C\). Then apply Lemma A.2 with \(c_1:=c\) and \(c_2:=a\) to obtain a simple cycle \(\rho '\) in \(\mathcal {M}(\textbf{P})\) extending \(a\rightarrow b\), but not containing c, such that \(Split\#(\rho ')\ge Split\#(\rho )\); since \(\rho '\) does not contain c, it is also a simple cycle in \(\mathcal {M}(\textbf{P}_{c})\) with the desired properties. Case 2: \(a\not \in C\). Then apply Lemma A.2 with \(c_1:=c\), \(c_2\in C{\setminus }\{c\}\) and reason as in Case 1.
Lemma A.4
Let \(d\in C\) and \(e\in C{\setminus }\{c\}\).

1.
For any \(b\in X(\textbf{P}){\setminus } C\), \(Cycle\#_\textbf{P}(d,b)=Cycle\#_{\textbf{P}_{c}}(e,b)\);

2.
For any \(a\in X(\textbf{P}){\setminus } C\), \(Cycle\#_\textbf{P}(a,d)=Cycle\#_{\textbf{P}_{c}}(a,e)\).
Proof
For part 1, for any simple cycle \(\rho\) in \(\mathcal {M}(\textbf{P})\) extending \(d\rightarrow b\), by Lemma A.2 with \(c_1:=d\) and \(c_2:=e\), there is a simple cycle \(\rho '\) in \(\mathcal {M}(\textbf{P})\) extending \(e\rightarrow b\), but not containing c (since \(e\in C\setminus \{c\}\)), such that \(Split\#(\rho ')\ge Split\#(\rho )\). Since \(\rho '\) does not contain c, it is also a simple cycle in \(\mathcal {M}(\textbf{P}_{c})\) extending \(e\rightarrow b\) with the same margins. Hence \(Cycle\#_\textbf{P}(d,b)\le Cycle\#_{\textbf{P}_{c}}(e,b)\). Next, suppose \(\rho\) is a simple cycle in \(\mathcal {M}(\textbf{P}_{c})\) extending \(e \rightarrow b\). Then \(\rho\) is also a simple cycle in \(\mathcal {M}(\textbf{P})\) extending \(e\rightarrow b\) with the same margins. Thus, by Lemma A.2 with \(c_1:=e\) and \(c_2:=d\), there is a simple cycle \(\rho '\) in \(\mathcal {M}(\textbf{P})\) extending \(d\rightarrow b\) such that \(Split\#(\rho ')\ge Split\#(\rho )\). Hence \(Cycle\#_\textbf{P}(d,b)\ge Cycle\#_{\textbf{P}_{c}}(e,b)\).
The proof of part 2 is analogous.
Proposition A.5
For any \(b\in X(\textbf{P}){\setminus } C\), we have \(b\in SC(\textbf{P})\) if and only if \(b\in SC(\textbf{P}_{c})\). Hence Split Cycle is such that nonclone choice is independent of clones.
Proof
Suppose that \(b\not \in SC(\textbf{P}_{c})\), so there is an \(a\in X(\textbf{P})\setminus \{c\}\) such that a defeats b in \(\textbf{P}_{c}\). Then by Lemmas A.1 and A.3, a defeats b in \(\textbf{P}\). Now suppose that \(b\not \in SC(\textbf{P})\), so there is an \(a\in X(\textbf{P})\) such that a defeats b in \(\textbf{P}\). Case 1: \(a\ne c\). Then by Lemmas A.1 and A.3 again, a defeats b in \(\textbf{P}_{c}\). Case 2: \(a=c\). Then by Lemmas A.1 and A.4 with \(d:=c\), each \(e\in C\setminus \{c\}\) defeats b in \(\textbf{P}_{c}\).
Proposition A.6
\(C\cap SC(\textbf{P})\ne \varnothing \text{ if } \text{ and } \text{ only } \text{ if } C{\setminus }\{c\}\cap SC(\textbf{P}_{c})\ne \varnothing\). Hence, Split Cycle is such that clone choice is independent of clones.
Proof
Suppose that \(C\cap SC(\textbf{P})=\varnothing\). Hence every clone in C is defeated in \(\textbf{P}\). Since the defeat graph for \(\textbf{P}\) contains no cycles (Lemma 3.9), it follows that there is some \(a\in X(\textbf{P})\setminus C\) that defeats some \(d\in C\) in \(\textbf{P}\). It then follows by the definition of a set of clones (Definition 5.22) and Lemmas A.1 and A.4 that a defeats every \(e\in C\setminus \{c\}\) in \(\textbf{P}_{c}\). Hence \(C\setminus \{c\}\cap SC(\textbf{P}_{c})=\varnothing\). Similarly, if \(C\setminus \{c\}\cap SC(\textbf{P}_{c})=\varnothing\), then there is some \(a\in X(\textbf{P}_{c})\setminus C\) that defeats some \(e\in C{\setminus }\{c\}\) in \(\textbf{P}_{c}\). It then follows by Definition 5.22 and Lemmas A.1 and A.4 that a defeats every \(d\in C\) in \(\textbf{P}\). Hence \(C\cap SC(\textbf{P})=\varnothing\).
Theorem A.7
Split Cycle satisfies independence of clones.
Proof
B Participation
In Sects. 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.^{Footnote 36}
Definition B.1
A voting method F satisfies resolute participation if for any \(\textbf{P}\in \textrm{dom}(F)\) and \(\textbf{P}'\) with \(X(\textbf{P})=X(\textbf{P}')\), \(V(\textbf{P})\cap V(\textbf{P}')=\varnothing\), \(\vert V(\textbf{P}')\vert =1\), and \(\textbf{P}+\textbf{P}'\in \textrm{dom}(F)\), and any \(x,y\in X(\textbf{P})\), if \(F(\textbf{P})=\{x\}\) and \(x\textbf{P}_i'y\) for \(i\in V(\textbf{P}')\), then \(F(\textbf{P}+\textbf{P}')\ne \{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 \(\textbf{P}\in \textrm{dom}(F)\) and \(\textbf{P}'\) with \(X(\textbf{P})=X(\textbf{P}')\), \(V(\textbf{P})\cap V(\textbf{P}')=\varnothing\), and \(\vert V(\textbf{P}')\vert =1\), if \(F(\textbf{P})=\{x\}\) and \(\textbf{P}+\textbf{P}'\in \textrm{dom}(F)\), then \(x\in F(\textbf{P}+\textbf{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 that \(SC(\textbf{P})=\{x\}\). Further suppose that \(x\not \in SC(\textbf{P}+\textbf{P}')\), so there is some \(z\in X(\textbf{P})\) such that
Since \(z\not \in SC(\textbf{P})\), by Lemma 3.11 there are distinct \(y_1,\dots ,y_n\) with \(y_1=x\) and \(y_n=z\) such that \(y_1Dy_{2}D\dots Dy_{n1} D y_n\) in the defeat graph of \(\textbf{P}\).
Since \(\vert V(\textbf{P}')\vert =1\), it follows from (11) that \(Margin_{\textbf{P}}(z,x)=0 \text{ or } Margin_{\textbf{P}}(z,x)>0\).
Case 1: \(Margin_{\textbf{P}}(z,x)=0\). Then since \(\textbf{P}\) is a linear profile, for each \(i\in \{1,\dots ,n1\}\), \(Margin_{\textbf{P}}(y_i,y_{i+1})\) is even, and since \(y_iDy_{i+1}\), it is greater than 0, so \(Margin_{\textbf{P}}(y_i,y_{i+1})\ge 2\). Since \(\vert V(\textbf{P}')\vert =1\), together \(Margin_{\textbf{P}}(z,x)=0\) and (11) imply \(Margin_{\textbf{P}+\textbf{P}'}(z,x)=1\). In addition, since \(\vert V(\textbf{P}')\vert =1\), from \(Margin_{\textbf{P}}(y_i,y_{i+1})\ge 2\) we have \(Margin_{\textbf{P}+\textbf{P}'}(y_i,y_{i+1})\ge 1\). Thus, we have a simple cycle
in the margin graph of \(\textbf{P}+\textbf{P}'\) in which \(\delta\), i.e., \(Margin_{\textbf{P}+\textbf{P}'}(z,x)\), is not greater than any \(\gamma _i\). But this contradicts (11).
Case 2: \(Margin_{\textbf{P}}(z,x)>0\). Together with \(y_1Dy_{2}D\dots Dy_{n1} D y_n\), this means there is a simple cycle
in the margin graph of \(\textbf{P}\). Moreover, from \(y_1Dy_{2}D\dots Dy_{n1} D y_n\), it follows that for each \(i\in \{1,\dots ,n1\}\), \(\alpha _i\) is greater than the splitting number of \(\rho\); hence, \(\beta\), i.e., \(Margin_{\textbf{P}}(z,x)\), is the splitting number of \(\rho\). Thus, for each \(i\in \{1,\dots ,n1\}\), we have \(Margin_{\textbf{P}}(y_i,y_{i+1})\ge Margin_{\textbf{P}}(z,x)+2\) since the parity of all margins must be the same, given that \(\textbf{P}\) is a linear profile. Since \(\vert V(\textbf{P}')\vert =1\), it follows that there is a simple cycle
in the margin graph of \(\textbf{P}+\textbf{P}'\) in which \(\beta ^\star\), i.e., \(Margin_{\textbf{P}+\textbf{P}'}(z,x)\), is not greater than any \(\alpha _i^\star\). 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 \(\textbf{P}\in \textrm{dom}(F)\) and \(\textbf{P}'\) with \(X(\textbf{P})=X(\textbf{P}')\), \(V(\textbf{P})\cap V(\textbf{P}')=\varnothing\), and \(\textbf{P}+\textbf{P}'\in \textrm{dom}(F)\), and any \(x,y\in X(\textbf{P})\), if \(F(\textbf{P})=\{x\}\) and \(x\textbf{P}_i'y\) for all \(i\in V(\textbf{P}')\), then \(F(\textbf{P}+\textbf{P}')\ne \{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 \(\textbf{P}\) whose margin graph is shown on the left below:
On the right, we show the margin graph of the profile \(\textbf{P}+\textbf{P}'\) where \(\textbf{P}'\) is a onevoter profile whose voter has \(c\textbf{P}_i'b\textbf{P}_i'd\textbf{P}_i'a\). Although \(b\textbf{P}'_id\), we go from \(SC(\textbf{P})=\{b\}\) to \(SC(\textbf{P}+\textbf{P}')=\{d\}\).
For part 2, by Debord’s theorem, there is a linear profile \(\textbf{P}\) whose margin graph is shown on the left below:
On the right, we show the margin graph of the profile \(\textbf{P}+\textbf{P}'\) where \(\textbf{P}'\) is a twovoter profile whose two voters both have \(c\textbf{P}_i'b\textbf{P}_i'd\textbf{P}_i'a\). Although both voters have \(b\textbf{P}'_id\), we go from \(SC(\textbf{P})=\{b\}\) to \(SC(\textbf{P}+\textbf{P}')=\{d\}\).
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 \(\textbf{P}\), d is defeated by a; yet with the new voter(s) having \(d\textbf{P}_i'a\), d is no longer defeated by a (or anyone else) in \(\textbf{P}+\textbf{P}'\). In \(\textbf{P}\), b is not defeated by c (or anyone else); yet with the new voter(s) having \(c\textbf{P}_i'b\), b becomes defeated by c in \(\textbf{P}+\textbf{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 online Appendices C.1–C.7).
Definition B.7
A voting method F satisfies margin graph neutrality if for any profiles \(\textbf{P}\) and \(\textbf{P}'\), if there is a weighted directed graph isomorphism \(h: \mathcal {M}(\textbf{P})\rightarrow \mathcal {M}(\textbf{P}')\), then \(F(\textbf{P}')=h[F(\textbf{P})]\).
For example, the map \(c\mapsto a\), \(a\mapsto c\), \(b\mapsto d\), \(d\mapsto 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^\circ\)—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 cyclefree.
Proposition B.8
For any profiles \(\textbf{P}\) and \(\textbf{P}'\) with \(X(\textbf{P})=X(\textbf{P}')\) and \(V(\textbf{P})\cap V(\textbf{P}')=\varnothing\) and any \(x,y\in X\), if \(x\in SC(\textbf{P})\) and \(x\textbf{P}_i'y\) for all \(i\in V(\textbf{P}')\), and there is no cycle in \(\mathcal {M}(\textbf{P})\) or \(\mathcal {M}(\textbf{P}+\textbf{P}')\) containing x and y, then \(y\not \in SC(\textbf{P}+\textbf{P}')\).
Proof
Since \(x\in SC(\textbf{P})\), y does not defeat x in \(\textbf{P}\). Since there is no cycle in \(\mathcal {M}(\textbf{P})\) involving x and y, it follows that \(Margin_\textbf{P}(x,y)\ge 0\). Hence \(Margin_{\textbf{P}+\textbf{P}'}(x,y)> 0\), and by hypothesis, there is no cycle involving in \(\mathcal {M}(\textbf{P}+\textbf{P}')\). Hence x defeats y in \(\textbf{P}+\textbf{P}'\), so \(y\not \in SC(\textbf{P}+\textbf{P}')\).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Holliday, W.H., Pacuit, E. Split Cycle: a new Condorcetconsistent voting method independent of clones and immune to spoilers. Public Choice 197, 1–62 (2023). https://doi.org/10.1007/s11127023010423
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11127023010423
Keywords
 Voting methods
 Social choice theory
 Condorcet consistency
 Spoiler effects
 Independence of clones
 Strong no show paradox