4,194
edits
No edit summary |
(Fixing link to Spatial models of voting after rename.) |
||
(16 intermediate revisions by 2 users not shown) | |||
Line 1:
"[[Spatial models of voting]]" are ubiquitous in theoretical study and simulations of voting methods. This article describes many '''limitations of spatial models of voting'''.
However, models based too strictly on geometric representations have challenges representing both voters and candidates. This article describes some of the challenges.
However, the number of dimensions chosen for this geometric embedding imposes fundamental restrictions on the allowed number of candidates which may be effectively distinguished by the voters using ballots, as there is only a finite number of regions possible for each possible ranking assignment of candidates.▼
== Number of dimensions ==
The following article discusses this limitation and some implications. The specific numerical results below assume an Euclidean space and Euclidean distances, but similar qualitative arguments apply to any spatial model and chosen metric.▼
▲
▲
==How many ballots could voters ''actually'' cast?==
With <math>n</math> candidates in an election, be it rated or ranked, there are <math>n!</math> possible rankings between candidates. These <math>n!</math> possible preferences indicate all the possible ''distinctions'' voters could ever possibly make between alternatives,
But due to several limitations,
In other words, while a spatial model attempts to reverse engineer real-life behaviors and construct a model of the information underlying an election, the ballots themselves, be it from real life elections or computer simulations, can only capture some of the information.
▲These distinctions are based on some internal attributes and judgements voters have, and this is the information voters want ballots to convey. This is what voting methods attempt to ''represent'' from voters.
== Mathematics of a spatial model ==
▲But due to several limitations, not not all these ballots can ''actually get cast''. In practice, we only observe a few preference orders, indicating that there's a lot of correlation between voters and between candidates, or putting it in another way, that the "space" of attributes relevant in the election is smaller. This is important to consider when developing a mathematical structure to abstractly discuss voting methods and voter behavior.
[[File:Maximum Voronoi regions 2D.svg|thumb|For d=2 dimensions and n=3 candidates (ABC), there is a region in the space for each of the 3! = 6 possible rankings between the candidates, so no information is lost: all possible opinion distributions and ballots can exist.]]
In a <math>d</math>-dimensional spatial model for voter behavior, in which voters judge candidates in terms of proximity using <math>d</math> separate attributes (no matter ''how'' such attributes are used), there is a fundamental mathematical limit for how many ballots can possibly occur, in any arbitrary distribution of voters and candidates. (Equalities or partial rankings do not matter in this analysis, as they can be included in the same space with minimal adjustment.)
[[File:Voronoi regions 2D 4 candidates.svg|thumb|With a fourth candidate there are 4! = 24 possible rankings, but it's impossible to partition the space (under Euclidean metric) into more than 18 regions, one example as shown here. Therefore, many of the rankings cannot occur under this 2-dimensional model, e.g., any ballot with D ranked last, in the image. For 3 dimensions, we can construct all of the 24 required regions for the ballots.]]
This restriction is less about the existence of an actual "Euclidean space of opinions" in the abstract (i.e. the accuracy of our chosen ''models''), but instead, about how candidates could ''ever'' be classified in terms of a finite set of attributes by voters. ''Any'' comparison voters are actually doing between any two candidates must occur in at least ''one'' attribute between them, that can be used to classify the voter's preference one way or another. This dimension <math>d</math> quantifies how many such attributes must exist in order for us to observe a given set of ballots. Thus, this is a very real and fundamental limitation of any realistic and operational description of voter behavior.
Note, however, that '''''opinion space''' is distinct from '''''ballot space'''. Opinion space is what contains the actual distribution of voters and candidates, and this may have any number of dimensions, voters and candidates. In contrast, ballot space is the [[Space_of_possible_elections|space of possible ballots that voters can cast]], which confines them to express their opinions in a particular way. One can think of ballot-casting as a function that takes a voter's opinion and that of the candidates (plus additional external factors), and produces a ballot: <math>\text{ballot} = f(\text{voter opinion}| \text{distribution of candidates}, \text{external factors})</math>. This article refers to the limitations of this function, that is, how much information about ''opinion space'' can in principle survive inside ''ballot space''.
With these mathematical results, it is possible to infer the minimum dimensions of any real life ranked election or ballot scenario, and maybe even infer whether enough candidate diversity was present. For <math>n</math> candidates and <math>d</math> dimensions, the following table shows the absolute maximum number of ballots that ''any'' distribution of voters and candidates could possibly generate if voters are using those <math>d</math> dimensions to classify the candidates.
Line 55 ⟶ 64:
==Dimensional resolution of a ballot ==
The table also informs us about the limitations of a voting method to
The practical effect of this is effectively forcing each voter to "collapse" their ideological space to at most a certain number of dimensions (i.e. political issues), which is the dimension in which their ballots saturate. Furthermore, this "collapse" is entirely determined by the candidates themselves, not the voters, further enhancing the distortion of the information collected and lowering representativity.
To interpret this, we consult the table once more. If there are d=4 important issues voters are using to judge candidates, then we require ''at least'' 5 candidates to potentially allow voters to account for all possible political positions in an election. This is how when only n=2 candidates exist, any further dimension or attribute will not lead to more resolution than for d=1. In other words, there is a collapse of the entire ideological space in one dimension for each voter. This is, effectively, the problem of two-party domination and single-issue voting.
These observations also have important implications on specific voting methods. An
From the table above, we see that if every voter is forced to rank only 3 candidates, then every voter can only express information about at most two relevant issues in their ballot<ref>There's at least one extra dimension, because a voter has to classify which are the "top three" candidates, so there has to be a "line" separating these three candidates from everyone else.</ref>, as more issues cannot ever classify the 3 ranked candidates
If ranked ballots are constrained to <math>k</math> out of <math>n</math> candidates, the population, as a whole, can only cast <math>\frac{n!}{(n-k)!}</math> ballots, which means the voting method "mixes" the information multiple voters expressed, as each voter is using a different subset of attributes in their ballots. Thus, there are no guarantees all the voters are expressing information about the same issues in their ballots, and the ballots cease to be informationally commensurable, even in principle. In effect, we are left to simply hope that their priorities are, on average, similar, as to restore commensurability.
|