Difference between revisions of "Stable Winner Set"

From Electowiki
Jump to navigation Jump to search
(Created page with " A stable winner set is a requirement on a winner set Given a winner set S of K winners, another winner set S' containing K’ winners blocks S iff V(S,S’)/n >= K’/K....")
 
 
(22 intermediate revisions by 5 users not shown)
Line 2: Line 2:
 
A stable winner set is a requirement on a winner set
 
A stable winner set is a requirement on a winner set
   
Given a winner set S of K winners, another winner set S' containing K’ winners blocks S iff V(S,S’)/n >= K’/K.
+
Given a winner set S of K winners, another winner set S′ containing K′ winners blocks S iff V(S,S′)/n >= K′/K.
Where V(S,S’) is the number of voters who strictly prefer S’ to S and n is the number of voters.
+
Where V(S,S′) is the number of voters who strictly prefer S′ to S and n is the number of voters.
 
A winner set is stable if no replacement set blocks it.
 
A winner set is stable if no replacement set blocks it.
   
 
There are a few points which are important to note:
 
There are a few points which are important to note:
# In most cases K’ < K. This means that the definition of a stable winner set is that a subgroup of the population cannot be more happy with less winners given the relavant size comparison of the Ks and the group.
+
# In most cases K′ < K. This means that the definition of a stable winner set is that a subgroup of the population cannot be more happy with fewer winners given the relevant size comparison of the Ks and the group. This relates to how PR methods attempt to maximize voters' representation by electing those who sizeable subgroups each strictly prefer, rather than only those who only majorities or pluralities can agree on.
# There can be more than one stable winner set. The group of all stable winner sets is referred to as ''the core''.
+
# There can be more than one stable winner set. The group of all stable winner sets is referred to as ''the core''.
  +
#The definition of V(X,Y) must be such that, if Y is a subset of X, V(X, Y) must be 0. That is to say: it does not make sense for voters to want to "block" a winner set because of how much they like a set of candidates who all won.
  +
#The term "strictly prefer" can have various meanings:
  +
##In the simplest model, voters have a certain quantity of "utility" for each candidate, and they strictly prefer set X over Y iff the sum of their utility for X is greater than the sum of their utilty for Y. However, this definition, while simple, is problematic, because it can hinge on comparisons between "utilities" for winner sets of different sizes.
  +
##Another possible model is to restrict direct comparison to winner sets of the same size. Thus, when comparing sets of different sizes, we use the rule: a voter strictly prefers set X of size x over a set Y of size y, where x≤y, iff: there is no set Z of size y, where X⊆Z⊆X∪Y, such that they strictly prefer Z over Y. Using the same "utility sum" model as above, this would be equivalent to: they strictly prefer X over Y iff they strictly prefer X over any size-x subset of Y. For instance, they'd prefer the two "Greek" winners {Γ, Δ} over the three "Latin" winners {A, B, C} iff they prefer the two Greeks over any two of the Latins.
  +
##Another possible variation is "voters strictly prefer a winner set iff they receive more of their preferred candidates, counting from the top."
  +
#The formula V(S,S′)/n >= K′/K is analogous to a (Hare) quota; formulas analogous to other quotas may be used instead.
   
 
==Relation to Proportional Representation==
 
==Relation to Proportional Representation==
Line 14: Line 20:
 
Each group of voters should feel that their preferences are sufficiently respected, so that they are not incentivized to deviate and choose an alternative winner set of smaller weight. In the common scenario that we do not know beforehand the exact nature of the demographic coalitions, we adopt the robust solution concept which requires the winner set to be agnostic to any potential subset of voters deviating. This means that the requirement of a stable winner set is equivalent to but more robust than the concept of [[Proportional representation]].
 
Each group of voters should feel that their preferences are sufficiently respected, so that they are not incentivized to deviate and choose an alternative winner set of smaller weight. In the common scenario that we do not know beforehand the exact nature of the demographic coalitions, we adopt the robust solution concept which requires the winner set to be agnostic to any potential subset of voters deviating. This means that the requirement of a stable winner set is equivalent to but more robust than the concept of [[Proportional representation]].
   
This is a more strict definition than the Hare Quota Criterion which is typically what used as a stand in for Proportional Representation in non-partisan systems since there is no universally accepted definition. The existing definitions of [[Proportional Representation]] are unclear and conflicting.
+
This is a more strict definition than the Hare Quota Criterion which is typically what is used as a stand-in for Proportional Representation in non-partisan systems since there is no universally accepted definition. The existing definitions of [[Proportional Representation]] are unclear and conflicting. A clear comparmize exists as the concept [[Justified representation]]
   
 
==Example==
 
==Example==
   
Let's look at a common example lets say we have two voting blocks group A and B. B makes up 79% of the population and A 21%. In 5 winner election with max score of 5 and 100 voters, Group A will score all the A candidates 5 and the B candidates 0. Group B will do the opposite.
+
Let's look at a common example. Let's say we have two voting blocs: group A and B. A makes up 79% of the population and B 21%. In a 5 winner election with max score of 5 and 100 voters, Group A will score all the A candidates 5 and the B candidates 0. Group B will do the opposite.
   
The best winner set for group A is {A1,A2,A3,A4,A5}. This is the bloc voting answer and is not the proportional answer. So lets prove it is not stable
+
The best winner set for group A is {A1,A2,A3,A4,A5}. This is the bloc voting answer and is not the proportional answer. So let's prove it is not stable
   
 
S = {A1,A2,A3,A4,A5}
 
S = {A1,A2,A3,A4,A5}
   
A blocking set is S’ = {B1}
+
A blocking set is S′ = {B1}
   
V(S,S’) = 21 since their total utility from S is 0 and S’ is 5.
+
V(S,S′) = 21 since their total utility from S is 0 and S′ is 5.
   
V(S,S’)/n = 21/100 = 0.21
+
V(S,S′)/n = 21/100 = 0.21
K’/K = 1/5 = 0.2
 
   
  +
K′/K = 1/5 = 0.2
0.21≥ 0.2 so S’ blocks S. Therefore, S is not stable.
 
   
  +
0.21≥ 0.2 so S′ blocks S. Therefore, S is not stable.
==Further reading==
 
   
  +
Notably, stable winner sets focus on a voters' total utility from all candidates in a winner set, rather than the number of highest-preferred candidates they have in the set. The latter definition is closer to the traditional approximate definition of PR (voters receive as many of their highest-preferred candidates in proportion to their coalition sizes) which was meant to be used in conjunction with ordinal methods. The former definition is more relevant for cardinal methods; the difference can be seen with the example
  +
  +
2 to elect, scores out of 10
  +
  +
10 voters: A=10, B=0 C=9, D=9
  +
  +
10 voters: A=0, B=10, C=9, D=9
  +
  +
S = {A,B}
  +
  +
S′ = {C,D}
  +
  +
K=K′=2
  +
  +
n=20
  +
  +
V(S,S′) = 20 since everybody has a Utility of 10 from S and 18 from S′
  +
  +
V(S,S′)/n=20/20=1
  +
  +
K′/K = 2/2 = 1
  +
  +
1≥ 1 so S′ block S. Since S′ is not also blocked by S then S′ is the better solution.
  +
  +
It can be argued that even though {C, D} doesn't include any voter's 1st choice candidate, whereas {A,B} includes a 1st choice candidate of every voter, {C,D} is a better solution because it maximizes all voters' satisfaction with the overall set of winners. In essence, 1 point of utility is lost when comparing a voter's favorite candidate in each set but 9 points are gained for their 2nd-favorite candidate in each set. This form of analysis has been done with Condorcet PR methods before, though not while also discussing cardinal utility:<blockquote>Lifting preferences from candidates to committees is achieved through what we call ''f''-preferences. A given voter has an ''f''-preference for one possible committee ''A'' over another, ''B'', if the voter prefers ''A'' to ''B'' when considering in each committee '''only''' the ''f'' candidates most preferred by that voter. For example, a voter has a 1-preference for committee ''A'' over committee ''B'' if the voter's favorite candidate in committee ''A'' is preferred by that voter over the voter's favorite candidate in committee ''B''. The voter has a 2-preference for committee ''A'' over committee ''B'' if the two favorite candidates on committee 1 are preferred over the two favorite candidates on committee ''B''.<ref name=":0">https://civs.cs.cornell.edu/proportional.html</ref></blockquote>Note that under the "voter prefers the set with more of their highest-preferred candidates" definition, {A,B} would be the stable set here. This definition makes stable sets appear to become more analogous to a Smith-efficient Condorcet PR method, such as [[Schulze STV]].
  +
  +
(It is possible to create various hybrids of the two definitions. One example is a voter being considered to prefer a set that offers them slightly less utility so long as it has a certain additional number of more-preferred candidates in it. So between one set where a voter gets their favorite candidate and 10 utility and another set where the voter gets their 2nd and 3rd favorite candidates and 11 utility, the former set could be considered preferred if the definition of "strictly prefer" added at least 1 or more points of utility to the voter's preference for the former set because it had a more-preferred candidate, the favorite, in it.)
  +
  +
=== Example in which definition of "strictly prefers" matters===
  +
  +
In the above example, all the definitions of "strictly prefers" lead to the same winner sets being stable. But consider the following example (as above, each candidate letter stands for an unlimited group of clones):
  +
  +
61% vote A5 B4 C0
  +
39% vote A0 B4 C5
  +
  +
Under the above definition 4.1. of V(S,S'), the winner set {B, B, B, B, B} is strictly preferred by all voters over any other set of size 5 or less, so it is the unique stable winner set.
  +
  +
Under the above definition 4.2. of V(S,S'), the winner set {B, B, B, B, B} is not stable. For instance, the set {A, A, A} blocks it (or any other set without at least three As), because the first group of voters — over 3/5 of all voters — prefers {A, A, A} over any 3 candidates from {B, B, B, B, B}. Similarly, any set without at least one C is blocked by {C} because of the second group of voters. Thus, the only stable sets under this definition are {A, A, A, A, C}, {A, A, A, B, C}, and {A, A, A, C, C}.
  +
  +
Under the above definition 4.3. of V(S,S'), the situation is the same as for definition 4.2. (These definitions might still differ in more-complex situations. Since definition 4.3. has stronger criteria for "strictly prefer", the set of stable winner sets under 4.2. will be a non-strict subset of that for 4.3.)
  +
  +
[[User:Jameson Quinn|Jameson Quinn]] has suggested the terms "sum-stable winner set" and "proportionally-stable winner set" for the stable winner sets under definitions 4.1 and 4.2 respectively.
  +
== Droop Version==
  +
If the formula V(S,S′)/n >= K′/K is modified to instead be V(S,S′)/n >= K′/'''(K+1),''' (it may be appropriate to make it only a > rather than an >=, for reasons to be explained below), then this makes stable sets' definition of proportionality become more similar to other definitions of PR that use Droop [[Quota]]s (or more specifically, Hagenbach-Bischoff Quotas) rather than Hare [[Quota]]s, and begins to resemble a Condorcet PR method. <ref>{{Cite web|url=https://arxiv.org/abs/1701.08023|title=The Condorcet Principle for Multiwinner Elections: From Shortlisting to Proportionality|last=|first=|date=|website=|url-status=live|archive-url=|archive-date=|access-date=|quote=A size-k committee is locally stable in an election with n voters if there is no candidate c and no group of more than n/(k+1) voters such that each voter in this group prefers c to each committee member.}}</ref>
  +
  +
This definition is more restrictive and as such has a number of undesirable situations where it eliminates all winner sets from being stable. This can happen even in super simple examples, e.g., two voters, one likes A, the other likes B, and one candidate to elect -- neither {A} nor {B} is stable. (This is not the case if the formula is done only with an >, however. Consider that the above formula is really analogous to a Hagenbach-Bischoff quota; it has been [https://en.m.wikipedia.org/wiki/Hagenbach-Bischoff_quota#Disadvantage_of_Hagenbach-Bischoff_quota proposed] in STV that when using the HB quota, the rules should be modified such that a candidate must not only meet but exceed the quota to win, to avoid there being more winners than seats. Such a suggestion applies here in the form described.) (However, if all sets are blocked by at least one other set, it may still be possible to come up with the smallest set of sets that aren't blocked by any other sets, and consider this the core instead. This is analogous to the Schwartz Set, and always results in a non-empty core. In this example, both {A} and {B} are in the core under this definition because they are not blocked by any other sets, "any other" being an empty set of sets. This core produced by this definition seems to always reduce to the core produced by the original definition, when one exists.)
  +
  +
The biggest issue when using the Droop stability definition arises in the single-winner case, which is that the Score winner may no longer be stable. Consider the following example:
  +
  +
49% vote A5 B3 C0
  +
2% vote A5 B3 C5
  +
49% vote A0 B3 C5
  +
  +
B is the Score/Utilitarian winner and is stable under Hare but not Droop.
  +
  +
Also, stable sets can have this "quota" computed based solely on voters who have preferences between any pair of sets that are being compared, so that in a 2-winner Approval Voting election with 67 A 33 B 10 C, the quota when looking at matchups between sets including either or both A and B is only computed off of at most the 100 voters that have preferences between them, rather than all 110. This would fix some but not all of the issues with this definition.
  +
  +
Using Droop Quotas and this "only voters with preferences between the relevant sets are used to compute the quota" trick makes stable sets become a Smith-efficient Condorcet method in the single-winner case, and appear to become a Condorcet PR method in the multiwinner case (with the core being analogous to a Smith Set of winner sets). However, use of the [[KP transform]] appears to prevent this, and makes stable sets always include a degree of preference and remain a cardinal method so long as it is done on rated ballots.<ref>[https://forum.electionscience.org/t/the-concept-of-a-stable-winner-set/553/26?u=assetvotingadvocacy https://forum.electionscience.org/t/the-concept-of-a-stable-winner-set/553/26]</ref>
  +
  +
Interestingly, the two varying modes of deciding which set a voter prefers in each pairwise matchup (evaluate a voter's preference between sets as based either on either: first whether they have a more-preferred candidate in one set, and then second more of their more-preferred candidates in that set, or: which set gives them more utility), as well as the discussion over whether to use Droop Quotas vs. Hare Quotas within the formula, has already been discussed before for Condorcet PR methods:<blockquote>We deferred the question of how to decide whether a voter prefers one set of ''f'' candidates over another, where a set of candidates is a subset of a committee. In [[Proportional representation]] mode, there is only one difference from the voter's perspective. The voting algorithm decides which of two committees would be preferred by a candidate using one of two criteria, ''combined weights'' or ''best candidate''.</blockquote><blockquote>The factor (''k''+1) may be surprising in the condition for proportional validity, but it actually agrees with proportional representation election methods developed elsewhere; it is analogous to the Droop quota used by many STV election methods.<ref name=":0" /></blockquote>
  +
  +
==Further Reading==
   
 
* [https://arxiv.org/abs/1910.14008 Approximately Stable Committee Selection]
 
* [https://arxiv.org/abs/1910.14008 Approximately Stable Committee Selection]
Line 41: Line 108:
 
* [https://www.jstor.org/stable/1909241?seq=1 Lindahl's Solution and the Core of an Economy with Public Goods ]
 
* [https://www.jstor.org/stable/1909241?seq=1 Lindahl's Solution and the Core of an Economy with Public Goods ]
 
* https://www.participatorybudgeting.org/
 
* https://www.participatorybudgeting.org/
  +
  +
==References==
   
 
[[Category:Voting system criteria]]
 
[[Category:Voting system criteria]]
  +
[[Category:Proportionality-related concepts]]

Latest revision as of 18:42, 12 November 2020

A stable winner set is a requirement on a winner set

  Given a winner set S of K winners, another winner set S′ containing K′ winners blocks S iff V(S,S′)/n >= K′/K. 
  Where V(S,S′) is the number of voters who strictly prefer S′ to S and n is the number of voters. 
  A winner set is stable if no replacement set blocks it.

There are a few points which are important to note:

  1. In most cases K′ < K. This means that the definition of a stable winner set is that a subgroup of the population cannot be more happy with fewer winners given the relevant size comparison of the Ks and the group. This relates to how PR methods attempt to maximize voters' representation by electing those who sizeable subgroups each strictly prefer, rather than only those who only majorities or pluralities can agree on.
  2. There can be more than one stable winner set. The group of all stable winner sets is referred to as the core.
  3. The definition of V(X,Y) must be such that, if Y is a subset of X, V(X, Y) must be 0. That is to say: it does not make sense for voters to want to "block" a winner set because of how much they like a set of candidates who all won.
  4. The term "strictly prefer" can have various meanings:
    1. In the simplest model, voters have a certain quantity of "utility" for each candidate, and they strictly prefer set X over Y iff the sum of their utility for X is greater than the sum of their utilty for Y. However, this definition, while simple, is problematic, because it can hinge on comparisons between "utilities" for winner sets of different sizes.
    2. Another possible model is to restrict direct comparison to winner sets of the same size. Thus, when comparing sets of different sizes, we use the rule: a voter strictly prefers set X of size x over a set Y of size y, where x≤y, iff: there is no set Z of size y, where X⊆Z⊆X∪Y, such that they strictly prefer Z over Y. Using the same "utility sum" model as above, this would be equivalent to: they strictly prefer X over Y iff they strictly prefer X over any size-x subset of Y. For instance, they'd prefer the two "Greek" winners {Γ, Δ} over the three "Latin" winners {A, B, C} iff they prefer the two Greeks over any two of the Latins.
    3. Another possible variation is "voters strictly prefer a winner set iff they receive more of their preferred candidates, counting from the top."
  5. The formula V(S,S′)/n >= K′/K is analogous to a (Hare) quota; formulas analogous to other quotas may be used instead.

Relation to Proportional Representation[edit | edit source]

Each group of voters should feel that their preferences are sufficiently respected, so that they are not incentivized to deviate and choose an alternative winner set of smaller weight. In the common scenario that we do not know beforehand the exact nature of the demographic coalitions, we adopt the robust solution concept which requires the winner set to be agnostic to any potential subset of voters deviating. This means that the requirement of a stable winner set is equivalent to but more robust than the concept of Proportional representation.

This is a more strict definition than the Hare Quota Criterion which is typically what is used as a stand-in for Proportional Representation in non-partisan systems since there is no universally accepted definition. The existing definitions of Proportional Representation are unclear and conflicting. A clear comparmize exists as the concept Justified representation

Example[edit | edit source]

Let's look at a common example. Let's say we have two voting blocs: group A and B. A makes up 79% of the population and B 21%. In a 5 winner election with max score of 5 and 100 voters, Group A will score all the A candidates 5 and the B candidates 0. Group B will do the opposite.

The best winner set for group A is {A1,A2,A3,A4,A5}. This is the bloc voting answer and is not the proportional answer. So let's prove it is not stable

S = {A1,A2,A3,A4,A5}

A blocking set is S′ = {B1}

V(S,S′) = 21 since their total utility from S is 0 and S′ is 5.

V(S,S′)/n = 21/100 = 0.21

K′/K = 1/5 = 0.2

0.21≥ 0.2 so S′ blocks S. Therefore, S is not stable.

Notably, stable winner sets focus on a voters' total utility from all candidates in a winner set, rather than the number of highest-preferred candidates they have in the set. The latter definition is closer to the traditional approximate definition of PR (voters receive as many of their highest-preferred candidates in proportion to their coalition sizes) which was meant to be used in conjunction with ordinal methods. The former definition is more relevant for cardinal methods; the difference can be seen with the example

2 to elect, scores out of 10

10 voters: A=10, B=0 C=9, D=9

10 voters: A=0, B=10, C=9, D=9

S = {A,B}

S′ = {C,D}

K=K′=2

n=20

V(S,S′) = 20 since everybody has a Utility of 10 from S and 18 from S′

V(S,S′)/n=20/20=1

K′/K = 2/2 = 1

1≥ 1 so S′ block S. Since S′ is not also blocked by S then S′ is the better solution.

It can be argued that even though {C, D} doesn't include any voter's 1st choice candidate, whereas {A,B} includes a 1st choice candidate of every voter, {C,D} is a better solution because it maximizes all voters' satisfaction with the overall set of winners. In essence, 1 point of utility is lost when comparing a voter's favorite candidate in each set but 9 points are gained for their 2nd-favorite candidate in each set. This form of analysis has been done with Condorcet PR methods before, though not while also discussing cardinal utility:
Lifting preferences from candidates to committees is achieved through what we call f-preferences. A given voter has an f-preference for one possible committee A over another, B, if the voter prefers A to B when considering in each committee only the f candidates most preferred by that voter. For example, a voter has a 1-preference for committee A over committee B if the voter's favorite candidate in committee A is preferred by that voter over the voter's favorite candidate in committee B. The voter has a 2-preference for committee A over committee B if the two favorite candidates on committee 1 are preferred over the two favorite candidates on committee B.[1]
Note that under the "voter prefers the set with more of their highest-preferred candidates" definition, {A,B} would be the stable set here. This definition makes stable sets appear to become more analogous to a Smith-efficient Condorcet PR method, such as Schulze STV.

(It is possible to create various hybrids of the two definitions. One example is a voter being considered to prefer a set that offers them slightly less utility so long as it has a certain additional number of more-preferred candidates in it. So between one set where a voter gets their favorite candidate and 10 utility and another set where the voter gets their 2nd and 3rd favorite candidates and 11 utility, the former set could be considered preferred if the definition of "strictly prefer" added at least 1 or more points of utility to the voter's preference for the former set because it had a more-preferred candidate, the favorite, in it.)

Example in which definition of "strictly prefers" matters[edit | edit source]

In the above example, all the definitions of "strictly prefers" lead to the same winner sets being stable. But consider the following example (as above, each candidate letter stands for an unlimited group of clones):

61% vote A5 B4 C0
39% vote A0 B4 C5

Under the above definition 4.1. of V(S,S'), the winner set {B, B, B, B, B} is strictly preferred by all voters over any other set of size 5 or less, so it is the unique stable winner set.

Under the above definition 4.2. of V(S,S'), the winner set {B, B, B, B, B} is not stable. For instance, the set {A, A, A} blocks it (or any other set without at least three As), because the first group of voters — over 3/5 of all voters — prefers {A, A, A} over any 3 candidates from {B, B, B, B, B}. Similarly, any set without at least one C is blocked by {C} because of the second group of voters. Thus, the only stable sets under this definition are {A, A, A, A, C}, {A, A, A, B, C}, and {A, A, A, C, C}.

Under the above definition 4.3. of V(S,S'), the situation is the same as for definition 4.2. (These definitions might still differ in more-complex situations. Since definition 4.3. has stronger criteria for "strictly prefer", the set of stable winner sets under 4.2. will be a non-strict subset of that for 4.3.)

Jameson Quinn has suggested the terms "sum-stable winner set" and "proportionally-stable winner set" for the stable winner sets under definitions 4.1 and 4.2 respectively.

Droop Version[edit | edit source]

If the formula V(S,S′)/n >= K′/K is modified to instead be V(S,S′)/n >= K′/(K+1), (it may be appropriate to make it only a > rather than an >=, for reasons to be explained below), then this makes stable sets' definition of proportionality become more similar to other definitions of PR that use Droop Quotas (or more specifically, Hagenbach-Bischoff Quotas) rather than Hare Quotas, and begins to resemble a Condorcet PR method. [2]

This definition is more restrictive and as such has a number of undesirable situations where it eliminates all winner sets from being stable. This can happen even in super simple examples, e.g., two voters, one likes A, the other likes B, and one candidate to elect -- neither {A} nor {B} is stable. (This is not the case if the formula is done only with an >, however. Consider that the above formula is really analogous to a Hagenbach-Bischoff quota; it has been proposed in STV that when using the HB quota, the rules should be modified such that a candidate must not only meet but exceed the quota to win, to avoid there being more winners than seats. Such a suggestion applies here in the form described.) (However, if all sets are blocked by at least one other set, it may still be possible to come up with the smallest set of sets that aren't blocked by any other sets, and consider this the core instead. This is analogous to the Schwartz Set, and always results in a non-empty core. In this example, both {A} and {B} are in the core under this definition because they are not blocked by any other sets, "any other" being an empty set of sets. This core produced by this definition seems to always reduce to the core produced by the original definition, when one exists.)

The biggest issue when using the Droop stability definition arises in the single-winner case, which is that the Score winner may no longer be stable. Consider the following example:

49% vote A5 B3 C0
2%  vote A5 B3 C5
49% vote A0 B3 C5

B is the Score/Utilitarian winner and is stable under Hare but not Droop.

Also, stable sets can have this "quota" computed based solely on voters who have preferences between any pair of sets that are being compared, so that in a 2-winner Approval Voting election with 67 A 33 B 10 C, the quota when looking at matchups between sets including either or both A and B is only computed off of at most the 100 voters that have preferences between them, rather than all 110. This would fix some but not all of the issues with this definition.

Using Droop Quotas and this "only voters with preferences between the relevant sets are used to compute the quota" trick makes stable sets become a Smith-efficient Condorcet method in the single-winner case, and appear to become a Condorcet PR method in the multiwinner case (with the core being analogous to a Smith Set of winner sets). However, use of the KP transform appears to prevent this, and makes stable sets always include a degree of preference and remain a cardinal method so long as it is done on rated ballots.[3]

Interestingly, the two varying modes of deciding which set a voter prefers in each pairwise matchup (evaluate a voter's preference between sets as based either on either: first whether they have a more-preferred candidate in one set, and then second more of their more-preferred candidates in that set, or: which set gives them more utility), as well as the discussion over whether to use Droop Quotas vs. Hare Quotas within the formula, has already been discussed before for Condorcet PR methods:
We deferred the question of how to decide whether a voter prefers one set of f candidates over another, where a set of candidates is a subset of a committee. In Proportional representation mode, there is only one difference from the voter's perspective. The voting algorithm decides which of two committees would be preferred by a candidate using one of two criteria, combined weights or best candidate.
The factor (k+1) may be surprising in the condition for proportional validity, but it actually agrees with proportional representation election methods developed elsewhere; it is analogous to the Droop quota used by many STV election methods.[1]

Further Reading[edit | edit source]

References[edit | edit source]

  1. a b https://civs.cs.cornell.edu/proportional.html
  2. "The Condorcet Principle for Multiwinner Elections: From Shortlisting to Proportionality". A size-k committee is locally stable in an election with n voters if there is no candidate c and no group of more than n/(k+1) voters such that each voter in this group prefers c to each committee member.
  3. https://forum.electionscience.org/t/the-concept-of-a-stable-winner-set/553/26