Technically Exists

Sequential cancellation criterion

The sequential cancellation criterion is an extension of the cancellation criterion to sequential multi-winner voting methods. This criterion requires that, whenever a voter likes each of the candidates elected so far the same amount as another voter does, their ballots be capable of cancelling each other out in the next round. While the cancellation criterion itself can be applied to multi-winner methods, it is incompatible with proportional representation which arguably makes it a bad criterion to pass in multi-winner contexts. The sequential cancellation criterion fixes this by only requiring cancellation when two voters have given the same amount of support to all candidates elected so far.

To give a more formal definition of the sequential cancellation criterion, some terms and notation will need to be defined first. An incomplete list of winners is a (possibly empty) list of candidates that is smaller than the number of seats kk in the election. The notation m(b1,b2,,bn)[1:i]m(b_1, b_2, \dots, b_n)[1:i] refers to the list of the first ii winners produced by the voting method mm given the list of ballots b1,b2,,bnb_1, b_2, \dots, b_n. The notation b(c)b(c) refers to the level of support that candidate cc receives from ballot bb.

A sequential voting method mm passes the sequential cancellation criterion if for every ballot bb and incomplete list of winners WW, there exists some ballot bb' such that both of the following hold:

  1. For every candidate cc in WW, b(c)=b(c)b(c) = b'(c).
  2. For any list of ballots b1,b2,,bnb_1, b_2, \dots, b_n, if m(b1,b2,,bn)[1:W]=Wm(b_1, b_2, \dots, b_n)[1:\vert W \vert] = W and m(b1,b2,,bn,b,b)[1:W]=Wm(b_1, b_2, \dots, b_n, b, b')[1:\vert W \vert] = W, then m(b1,b2,,bn,b,b)[1:W+1]=m(b1,b2,,bn)[1:W+1]m(b_1, b_2, \dots, b_n, b, b')[1:\vert W \vert+1] = m(b_1, b_2, \dots, b_n)[1:\vert W \vert+1].

Note that this definition assumes that mm passes the anonymity criterion.

Because no candidates are elected before the first round, the sequential cancellation criterion requires that ballots obey the cancellation criterion during that round. This also means that it reduces to the cancellation criterion for single-winner methods since they only have one round.

In most cases, a pair of ballots that cancels in one round won’t cancel in previous or subsequent rounds. This means it’s possible that adding a cancelling pair of ballots to the election changes the candidates elected in earlier rounds; when this happens, the ballots aren’t required to cancel.

The sequential cancellation criterion is implied by the cancellation criterion.

Comparison to vote unitarity

Vote unitarity is an alternate proposal for defining one person, one vote in the context of proportional representation. Unlike the sequential cancellation criterion, it does not attempt to extend the cancellation criterion (and thus does not reduce to the cancellation criterion for single-winner methods). Instead, it takes a different approach centered around constraining the spending of ballot weights.

Below is a table comparing vote unitarity with the sequential cancellation criterion and the cancellation criterion.

Cancellation Sequential Cancellation Vote Unitarity
Applies to all voting methods Yes No, only sequential methods (including single-winner methods) No, only sequential proportional methods
Compatible with proportional representation No Yes Yes
Doesn’t require access to internal mechanics Yes Yes No, requires access to ballot weights
If two methods always produce the same results, either both pass or both fail Yes Yes, but candidates must always be elected in the same order No