[EM] FBC (Favorite Betrayal Criterion) Definition

[Forest Simmons]

My try at formalizing the definition of FBC didn't quite capture the
concept.

Here's a corrected version:

As before W(C,S,M) is True if and only if candidate C wins when the set S
of ballots is processed by method M.

R(C,A,B) is True if and only if candidate C is ranked or rated higher than
candidate A on ballot B.

mfcs(A,B) is True iff for each candidate C, R(C,A,B) is False.

The FBC is satisfied by method M iff

for each pair of ballots B and B'
and each candidate A

there exists a ballot B'' such that
mfcs(A,B'') is True, and ...

for each set S of ballots
and each candidate C

whenever W(C,S+{B'},M) is True
there exists a candidate C' such that

W(C',S+{B''},M) is True and
R(C,C',B) is False.


That's it.

Think of B as your sincere ballot.

B' is the one you are tempted to cast so as to help your compromise C win.

But the FBC says you can safely vote some ballot B'' which gives most
favored status to your favorite candidate A.

If B' would have made C win, then B'' would make some candidate C' which
is no worse than C (according to sincere ballot B) win.

C' could be C or A or some candidate in between.

I think that's more like what Mike had in mind.

A method satisfies a stronger version of FBC if the sincere ballot B will
always serve as B'' .

Full blown Dyadic Approval satisfies the stronger version of FBC.

Forest