An axiomatic characterization of Split Cycle
在已有公理基础上增加两个新公理，证明分裂循环是唯一满足所有公理的选举规则，适用于线性投票和允许平局的投票情形。
Abstract A number of rules for resolving majority cycles in elections have been proposed in the literature. Recently, Holliday and Pacuit (J Theor Polit 33:475–524, 2021) axiomatically characterized the class of rules refined by one such cycle-resolving rule, dubbed Split Cycle: in each majority cycle, discard the majority preferences with the smallest majority margin. They showed that any rule satisfying five standard axioms plus a weakening of Arrow’s Independence of Irrelevant Alternatives (IIA), called Coherent IIA, is refined by Split Cycle. In this paper, we go further and show that Split Cycle is the only rule satisfying the axioms of Holliday and Pacuit together with two additional axioms, which characterize the class of rules that refine Split Cycle: Coherent Defeat and Positive Involvement in Defeat. Coherent Defeat states that any majority preference not occurring in a cycle is retained, while Positive Involvement in Defeat is closely related to the well-known axiom of Positive Involvement (as in J Pérez Soc Choice Welf 18:601–616, 2001). We characterize Split Cycle not only as a collective choice rule but also as a social choice correspondence, over both profiles of linear ballots and profiles of ballots allowing ties.