Search

In real-world elections where voters cast preference ballots, voters often provide only a partial ranking of the candidates. Despite this empirical reality, prior social choice literature frequently analyzes fairness criteria under the assumption that all voters provide a complete ranking of the candidates. We introduce new fairness criteria for multiwinner ranked-choice elections concerning truncated ballots. In particular, we define notions of the independence of losing voters blocs and independence of winning voters blocs, which state that the winning committee of an election should not change when we remove partial ballots which rank only losing candidates, and the winning committee should change in reasonable ways when removing ballots which rank only winning candidates. Of the voting methods we analyze, the Chamberlin-Courant rule performs the best with respect to these criteria, the expanding approvals rule performs the worst, and the method of single transferable vote falls in between.

We analyze a type of voting paradox which we term an involvement paradox, in which a candidate who loses an election could be made into a winner if more of the candidate's non-supporters participated in the election, or a winner could be made into a loser if more of the candidate's supporters participated. Such paradoxical outcomes are possible under the voting method of single transferable vote (STV), which is widely used for political elections throughout the world. We provide a worst-case analysis of involvement paradoxes under STV and show several interesting examples of these paradoxes from elections in Scotland., Comment: This will appear, in slightly modified form, in an upcoming issue of Mathematics Magazine

In this paper, we provide theoretical and empirical estimates for the likelihood of a negative participation paradox under instant runoff voting in three-candidate elections. We determine the probability of the paradox and related conditional probabilities based on the impartial anonymous culture and impartial culture models for both complete and partial ballots. We compare these results to the empirical likelihood of a negative participation paradox occurring under instant runoff voting in a large database of voter profiles which have been reduced to three candidates. Lastly, we analyze the relative likelihood of this paradox in comparison to other well-known paradoxes.

In the popular debate over the use of ranked-choice voting, it is often claimed that the method of single transferable vote (STV) is immune or mostly immune to the so-called ``spoiler effect,'' where the removal of a losing candidate changes the set of winners. This claim has previously been studied only in the single-winner case. We investigate how susceptible STV is to the spoiler effect in multiwinner elections, where the output of the voting method is a committee of size at least two. To evaluate STV we compare it to numerous other voting methods including single non-transferable vote, $k$-Borda, and the Chamberlin-Courant rule. We provide simulation results under three different random models and empirical results using a large database of real-world multiwinner political elections from Scotland. Our results show that STV is not spoiler-proof in any meaningful sense in the multiwinner context, but it tends to perform well relative to other methods, especially when using real-world ballot data.

We analyze a little-known property of apportionment methods that captures how allocations scale with the size of the house: specifically, if, for a fixed population distribution, the house size and allocation can be scaled down within the set of integers, then the apportionment should be correspondingly scaled down. Balinski and Young (2001) include this property among the minimal requirements for a "reasonable" apportionment method. We argue that this property is better understood as a consistency requirement since quota-based apportionments that are "less proportional" meet this requirement while others that are "more proportional" do not. We also show that the family of quotatone methods based on stationary divisors (including the quota method) do not satisfy this property.

The methods of single transferable vote (STV) and sequential ranked-choice voting (RCV) are different methods for electing a set of winners in multiwinner elections. STV is a classical voting method that has been widely used internationally for many years. By contrast, sequential RCV has rarely been used, and only recently has seen an increase in usage as several cities in Utah have adopted the method to elect city council members. We use Monte Carlo simulations and a large database of real-world ranked-choice elections to investigate the behavior of sequential RCV by comparing it to STV. Our general finding is that sequential RCV often produces different winner sets than STV. Furthermore, sequential RCV is best understood as an excellence-based method which will not produce proportional results, often at the expense of minority interests.

In ranked-choice elections voters cast preference ballots which provide a voter's ranking of the candidates. The method of ranked-choice voting (RCV) chooses a winner by using voter preferences to simulate a series of runoff elections. Some jurisdictions which use RCV limit the number of candidates that voters can rank on the ballot, imposing what we term a truncation level, which is the number of candidates that voters are allowed to rank. Given fixed voter preferences, the winner of the election can change if we impose different truncation levels. We use a database of 1171 real-world ranked-choice elections to empirically analyze the potential effects of imposing different truncation levels in ranked-choice elections. Our general finding is that if the truncation level is at least three then restricting the number of candidates which can be ranked on the ballot rarely affects the election winner.

Ranked-choice voting anomalies such as monotonicity paradoxes have been extensively studied through creating hypothetical examples and generating elections under various models of voter behavior. However, very few real-world examples of such voting paradoxes have been found and analyzed. We investigate two single-transferable vote elections from Scotland that demonstrate upward monotonicity, downward monotonicity, no-show, and committee size paradoxes. These paradoxes are rarely observed in real-world elections, and this article is the first case study of such paradoxes in multiwinner elections.

Single Transferable Vote (STV) is a voting method used to elect multiple candidates in ranked-choice elections. One weakness of STV is that it fails multiple fairness criteria related to monotonicity and no show paradoxes. We analyze 1,079 local government STV elections in Scotland to estimate the frequency of such monotonicity anomalies in real-world elections, and compare our results with prior empirical and theoretical research about the rates at which such anomalies occur. In 62 of the 1079 elections we found some kind of monotonicity anomaly. We generally find that the rates of anomalies are similar to prior empirical research and much lower than what most theoretical research has found. The STV anomalies we find are the first of their kind to be documented in real-world multiwinner elections., Comment: 42 pages

The November 2022 ranked choice election for District 4 School Director in Oakland, CA, was very interesting from the perspective of social choice theory. The election did not contain a Condorcet winner and exhibited downward and upward monotonicity paradoxes, for example. Furthermore, an error in the settings of the ranked choice tabulation software led to the wrong candidate being declared the winner. This article explores the strange features of this election and places it in the broader context of ranked choice elections in the United States.

From the perspective of social choice theory, ranked-choice voting (RCV) is known to have many flaws. RCV can fail to elect a Condorcet winner and is susceptible to monotonicity paradoxes and the spoiler effect, for example. We use a database of 182 American ranked-choice elections for political office from the years 2004-2022 to investigate empirically how frequently RCV's deficiencies manifest in practice. Our general finding is that RCV's weaknesses are rarely observed in real-world elections, with the exception that ballot exhaustion frequently causes majoritarian failures.

The August 2022 Alaska Special Election for US House contained many interesting features from the perspective of social choice theory. This election used instant runoff voting (often referred to as ranked choice voting) to elect a winner, and many of the weaknesses of this voting method were on display in this election. For example, the Condorcet winner is different from the instant runoff winner, and the election demonstrated a monotonicity paradox. The election also demonstrated a no show paradox; as far as we are aware, this election represents the first document American ranked choice election to demonstrate this paradox.

In this article we explain why the November 2021 election for the Ward 2 city council seat in Minneapolis, MN, may be the mathematically most interesting ranked choice election in US history.

We introduce a new class of semigroups arising from a restricted class of asynchronous automata. We call these semigroups "expanding automaton semigroups." We show that the class of synchronous automaton semigroups is strictly contained in the class of expanding automaton semigroups, and that the class of expanding automaton semigroups is strictly contained in the class of asynchronous automaton semigroups. We investigate the dynamics of expanding automaton semigroups acting on regular rooted trees, and show that undecidability arises in these actions. We show that this class is not closed under taking normal ideal extensions, but the class of asynchronous automaton semigroups is closed under taking these extensions. We construct every free partially commutative monoid as a synchronous automaton semigroup., Comment: 31 pages, 4 figures