<div dir="auto">If I am not mistaken, here's a way to modify any type one method to confer type three reverse symmetry:<div dir="auto"><br></div><div dir="auto">For any ballot set S Let F1 be the finish order for the base method applied to S. Let F2 be the finish order for the base method applied to the set of reversed ballots S'.</div><div dir="auto"><br></div><div dir="auto">Now pairwise sort F1, F2, and their reverse orders with the same bubble sort algorithm. Of these four beatpaths, let F be the strongest, i.e. the one whose weakest pairwise margin is the greatest in absolute value.</div><div dir="auto"><br></div><div dir="auto">Then F and its reversal F' have the same strength.  Whichever of these two orders makes the most sense as a finish order for S is the new finish order ... the other one will then turn out to be the new finish order for S'.</div><div dir="auto"><br></div><div dir="auto">Whether for ballot set S or S' the same four beatpaths will result .... so the set {F, F'} will also be the same. It's a simple matter to check which is a beatpath for the "forward" ballots and which for the reverse.</div><div dir="auto"><br></div><div dir="auto">Make sense?</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">El lun., 22 de nov. de 2021 8:03 a. m., Kristofer Munsterhjelm <<a href="mailto:km_elmet@t-online.de" target="_blank" rel="noreferrer">km_elmet@t-online.de</a>> escribió:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I'm going through some draft posts of mine, and here's one. I was<br>
discussing reversal symmetry with Forest Simmons a while ago, where he<br>
said that reversal symmetry means that when you reverse an election, the<br>
winner doesn't stay the same. I had been working on an assumption that<br>
when you reverse the election, the loser becomes the winner and vice versa.<br>
(But looking back at my proof of incompatibility of DMTBR, Condorcet,<br>
and reversal symmetry, that proof *does* use the correct definition -<br>
Forest's. So I must've only thought of the stronger definition recently.)<br>
Thinking a bit more, I came up with three types of reversal symmetry,<br>
from weakest to strongest:<br>
        1. If A is the unique winner and the election is reversed, then A must<br>
not be the unique winner.[1]<br>
        2. If A is the unique winner and B is the unique loser, then reversing<br>
the election should produce an election where B is the unique winner and<br>
A is the unique loser.<br>
        3. If there are no ties anywhere in the social ordering, then reversing<br>
the election should reverse the social ordering as well. If X is ranked<br>
ahead of Y in the forwards election's outcome, then Y should be ranked<br>
ahead of X in the reversed election's outcome.<br>
Then I spent a lot of time trying to prove that passing 1+ passing LIIA<br>
implies passing 3.<br>
I don't think I can do that, but I can salvage my efforts *somewhat* by<br>
showing that Majority+2+LIIA implies 3, at least whenever there are no ties.<br>
The proof is inductive. Suppose first that we have two candidates: A and<br>
B. If there are no ties, one beats the other and is implied to win by<br>
majority. Reversing the election makes the other candidate win, which<br>
satisfies #3.<br>
Now suppose that property 3 holds for every k-candidate (tie-less)<br>
election, and we want to prove it for (k+1) candidates. For some given<br>
election eA, let the social order be A>B>..>Z.<br>
Eliminate A and let the resulting election be called eB. By the<br>
induction property, 3 holds here, and by LIIA, the outcome for eB must<br>
be B>...>Z. Call the reversed election eBR; its outcome must be Z>###>B,<br>
where ### indicates the candidates ... in reverse order.<br>
Now reverse eA to get eC. By property 2, Z must be the winner and A the<br>
loser. Eliminate A. By LIIA, this must not change the order of outcome<br>
of the remaining candidates. But the resulting election (after<br>
eliminating A) is just eBR, and we've established that its outcome must<br>
be Z>###>B. Thus eC's order must be Z>###>B>A and eA must also satisfy<br>
property 3.<br>
The really tough part is using 1+LIIA+Majority to go to 2. It might not<br>
even be possible. The proof above stops working because it's possible<br>
that reversing eA can lead to some other B and C becoming the winner and<br>
loser, and then the rest of the proof falls apart. Trying to use the<br>
induction case to pin down the position of A doesn't work either, e.g. I<br>
can easily do:<br>
Suppose induction + property 1. Then A>B>...>Z, eliminating A gives us<br>
B>...>Z and reversing this gives Z>###>B.<br>
But then re-adding A to the reversed election, there's no guarantee that<br>
A will be listed last, because we don't have pinned down A to be the<br>
loser in eC.<br>
Of course, if there *is* a way, I'd be interested in knowing it :-)<br>
[1] It's possible to generalize this for ties: if all candidates of some<br>
set S win with positive probability, then after reversing the election,<br>
every candidate not in S must be ranked ahead of every candidate in S.<br>
But I don't think that's canonical -- perhaps you could prove it with<br>
the help of resolvability, though.<br>
Election-Methods mailing list - see <a href="https://electorama.com/em" rel="noreferrer noreferrer noreferrer" target="_blank">https://electorama.com/em</a> for list info<br>