# 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 $k$ in the election. The notation $m(b_1, b_2, \dots, b_n)[1:i]$ refers to the list of the first $i$ winners produced by the voting method $m$ given the list of ballots $b_1, b_2, \dots, b_n$. The notation $b(c)$ refers to the level of support that candidate $c$ receives from ballot $b$.

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

1. For every candidate $c$ in $W$, $b(c) = b'(c)$.
2. For any list of ballots $b_1, b_2, \dots, b_n$, if $m(b_1, b_2, \dots, b_n)[1:\vert W \vert] = W$ and $m(b_1, b_2, \dots, b_n, b, b')[1:\vert W \vert] = W$, then $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 $m$ 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