<div dir="auto">I think you are on to something with your DSV remarks.<div dir="auto"><br></div><div dir="auto">You can do DSV where the voters' input is anything from their Von Morgenstern- Neumann utilities to their ranked preference ballots.</div><div dir="auto"><br></div><div dir="auto">The DSV is supposed to relieve the strategic burden from the voters because of their lack of .... what?</div><div dir="auto"><br></div><div dir="auto">Lack of information?</div><div dir="auto"><br></div><div dir="auto">Lack of sophistication?</div><div dir="auto"><br></div><div dir="auto">Not really ... when evaluating the theoretical effectiveness of a DSV method, don't you assume worst case cleverness of potential rational voters with complete information?</div><div dir="auto"><br></div><div dir="auto">The voters are the potential manipulators ... theoritically (if not practically) with just as much information about the other voters' utilities or preferences as the DSV input provides.</div><div dir="auto"><br></div><div dir="auto">Any theorem about the limitations or advantages of a DSV method, would have to make some assumptions distinguishing unsophisticated voters from sophisticated voters ... which really must include all voters ... at least in the worst case scenarion.</div><div dir="auto"><br></div><div dir="auto">I think the analysis is based on all rational voters with complete information, but the reality in public elections is near complete disinformation ... along with high levels of irrationality.</div><div dir="auto"><br></div><div dir="auto">Which makes DSV design more of an art than a science.</div><div dir="auto"><br></div><div dir="auto">We're talking of DSV in a general sense that is broad enough to treat Instant Runoff as a DSV method for transferring votes in a  runoff, which is already a DSV system for deciding where their one and only Plurality vote will go, for example.</div><div dir="auto"><br></div><div dir="auto">One takeaway for me is that Condorcet, M is a mild constraint on method M manipulators, because under complete information, they supposedly already know all of the sincere preferences including who the sincere CW is if there is one. The constrained system pins them down to some deterministic CW that (under game theoretic omniscience) is known to all of the sophisticated players ... taking away from the advantage of stochastic strategies with  less constrained entropy ... strategies that would otherwise be open to them to get a little more advantage over their unsophisticated compatriots.</div><div dir="auto"><br></div><div dir="auto">Thanks for your thought provoking insights!</div><div dir="auto"><br></div><div dir="auto">fws</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Jun 24, 2023, 12:08 PM Kristofer Munsterhjelm <<a href="mailto:km_elmet@t-online.de">km_elmet@t-online.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">James Green-Armytage (and independently Durand) showed that if M is a <br>
method that has a property that a coordinated majority can always force <br>
an outcome (the InfMC property), and neither equal-rank nor truncation <br>
is allowed, then there's no election E where the outcome can be <br>
strategically altered in Condorcet//M but not in M.<br>
<br>
Furthermore, Durand stated that the same result holds with equal rank <br>
and/or truncation as long as "Condorcet" is replaced with "AbsCondorcet" <br>
- absolute Condorcet, where the absolute Condorcet winner is a candidate <br>
who some absolute majority (50% + 1 or more) of the voters strictly <br>
prefer to any other candidate.<br>
<br>
I've tried to understand the proof myself as JGA and Durand's notes are <br>
kind of terse. Here's my attempt:<br>
<br>
I'll say "Election E is manipulable under M" if, when the winner of E <br>
according to M is W, then there exists some group who all prefer some <br>
other candidate X to W, and this group can alter their ballots so that X <br>
wins instead of W.<br>
<br>
1. Consider an initial honest election E. We want to show that if E is <br>
manipulable under AbsCondorcet//M, then it's also manipulable under M.<br>
<br>
2. If E has an absolute Condorcet winner C and M doesn't elect him, then <br>
by definition, a majority prefers C to M. Due to InfMC, this majority <br>
can force C to win. So E is manipulable under M; even if E is <br>
manipulable under AbsCondorcet//M, the latter is no worse than M.<br>
<br>
3. Now suppose that M is the winner of election E according to M, and an <br>
absolute majority prefers some other candidate Y to X. Then E is <br>
manipulable under M. By the same reasoning, AbsCondorcet//M can do no <br>
worse than M.<br>
<br>
4. Thus, if E is unmanipulable under M, there can be no majority <br>
pairwise preference X>W where W is the winner according to M. So M and <br>
AbsCondorcet//M agree that W is the winner (no matter if W is an <br>
absolute Condorcet winner or not). So the only way to make E manipulable <br>
under AbsCondorcet//M but not under M is to somehow make manipulators <br>
create an absolute CW, so that the post-manipulation election for <br>
AbsCondorcet//M changes but the election for M doesn't.<br>
<br>
5. But that's impossible. Suppose we want candidate X to become the new <br>
absolute CW. To do so, a majority must prefer X to W. But by point 3, no <br>
such majority exists. The manipulators can't change this fact because E <br>
was initially honest, so they already maximally expressed their <br>
preference for X over W.<br>
<br>
6. Thus the only way for an election to be manipulable under <br>
AbsCondorcet//M but not under M is impossible, which was what was wanted.<br>
<br>
Does that seem right?<br>
<br>
Essentially, the trick seems to be that absolute Condorcet is a sort of <br>
DSV for compromising within the constraints of InfMC. An absolute <br>
Condorcet winner C is someone who, if the winner was someone else, InfMC <br>
enablest a group of people who all prefer C to the current winner, to <br>
force the election of C by compromising for C. By electing C outright, <br>
the method removes the need to compromise for C in such a case.<br>
<br>
"If a majority prefers A to B, then B is not elected", as Robert would <br>
say.  ... in this case because otherwise, that majority could force the <br>
election of A by strategizing!<br>
<br>
Some more thoughts:<br>
<br>
I *think* the proof works for "Absolute Smith" too as long as we use <br>
ASmith,M (not //): if M elects someone not in the Absolute Smith set, <br>
then strategists can make any candidate in that set win (not the same <br>
group for each, of course).<br>
Manipulators trying to change the winner according to ASmith,M have two <br>
options: to keep the Smith set the same or expand it. In the former <br>
case, any strategy they use will also work on M since ASmith,M uses M's <br>
order to break the ASmith tie. In the latter case, no absolute majority <br>
prefers some X outside the set to any inside (same reasoning as for <br>
Condorcet). But to get X inside the ASmith set, we must make an absolute <br>
majority prefer X to someone in it, which is impossible (again, same <br>
reasoning).<br>
<br>
But it doesn't really help, because ASmith,M is manipulable whenever the <br>
absolute Smith set has more than one candidate in it, because if the <br>
majority preferring A to B (in an A>B>C.. cycle) unite, then they can <br>
force the election of A using InfMC. Still, at least we don't *lose* <br>
anything.<br>
<br>
Making a similar proof for relative majorities would require some <br>
"natural" property similar to InfMC but relating to relative majorities <br>
(e.g. something like "if everybody else is indifferent between A and B, <br>
then a majority of the remaining voters can force whether A or B wins").<br>
<br>
There may be clever things one can do with the DSV idea, e.g. consider <br>
something like: Let A ~> B in election E if either A has a higher Borda <br>
score than B, or people who prefer A to B can bury B to make A's Borda <br>
score higher than B's. Then let the Bury Top set be the maximal elements <br>
set of this ~> relation. Is "Bury Top,Borda" less susceptible to Burial <br>
than Borda? Maybe?<br>
<br>
Or how about: Let a candidate X be "tenable" in election E if it's <br>
possible to lower X in E to make X be eliminated no earlier under IRV; <br>
let a candidate Y be "untenable" if it's possible to raise Y in E to <br>
make Y be eliminated earlier under IRV. Let the net tenable set be every <br>
candidate in the tenable set but not in the untenable set, or all <br>
candidates if no such candidate exists. Elect the net tenable set <br>
candidate ranking highest in IRV's social ordering (i.e. eliminated <br>
last). Is this method monotone? Does it retain IRV's burial resistance?<br>
<br>
-km<br>
----<br>
Election-Methods mailing list - see <a href="https://electorama.com/em" rel="noreferrer noreferrer" target="_blank">https://electorama.com/em</a> for list info<br>
</blockquote></div>