Technically Exists

Equality criterion

The equality criterion requires that every vote must have an equal and opposite vote. Specifically, for every valid ballot there must exist some other ballot that represents the opposite set of preferences, and adding these two ballots to an election must never change the result.

More formally, a voting method mm passes the equality criterion if for every ballot bb, both of the following hold:

  1. There exists at least one opposite ballot for bb.
  2. For every opposite ballot bb' and list of ballots b1,b2,,bnb_1, b_2, \dots, b_n, m(b1,b2,,bn,b,b)=m(α(b1,b2,,bn))m(b_1, b_2, \dots, b_n, b, b') = m(\alpha(b_1, b_2, \dots, b_n)) for every permutation α\alpha of b1,b2,,bnb_1, b_2, \dots, b_n.

Note that some restrictions on the domain of mm are left implied.

This criterion is intended to be a formalization of the equal vote criterion, which is sometimes called Frohnmayer balance in reference to its creator, Mark Frohnmayer.

The equality criterion implies the cancellation criterion, the anonymity criterion, and the identical input options criterion.