<div dir="ltr">So, to be clear, I don't think the DH2/DH3 analyses are useless. They're very much useful for ruling methods out (rather than in), because this particular pathology is bad enough to be disqualifying.<div><br></div><div>I gave these as examples of pathologies that might be hiding in methods that perform very well on criteria. I'm very sorry if I was unclear about that—I think most of my comments on this topic went out just after you left the mailing list, so you might not have seen them.</div><div><br></div><div>My broader point is I can't really recommend a voting system to the public until I have an actual mathematical proof that nothing like DH2 or DH3 is hiding in it. Not having found a counterexample yet isn't sufficient for a proof. What if it turns out DH3 isn't a problem, but DH7 is? Or what if, under realistic models of voter behavior, resistant-set methods never ever elect the Condorcet winner in any center squeeze? It would take an infinitely long time to evaluate all possible scenarios, so we just can't do that.</div><div><br></div><div>Instead I want to start by building a useful model of strategic actors in elections<i>, </i>then use it to prove theorems about <i>all</i> situations, given a decent solution concept. This is the standard approach of mechanism design: It's not enough to find situations where your method works; you have to show it will always work.</div><div><br></div><div>The approach I've found most satisfying so far has been the Myerson and Weber one, or some of Laslier's papers. Both show that positioning yourself at the median voter maximizes your probability of winning an election. I've also gotten quite a bit out of Balinski and Laraki's analysis of level/score manipulation, which assumes voters' main concern is to show support or opposition with regard to candidates. This is a very useful framework if you think voters use their ballots to send messages to politicians about the popularity of their positions.</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Aug 5, 2024 at 4:28 AM Kristofer Munsterhjelm <<a href="mailto:km-elmet@munsterhjelm.no" target="_blank">km-elmet@munsterhjelm.no</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On 2024-08-04 19:26, Closed Limelike Curves wrote:<br>
> Thank you so much for all of your hard work+analysis Kris :)<br>
> <br>
>     Smith passes DH2, but (surprisingly) Schwartz fails!<br>
> <br>
> Could you clarify what you mean by Smith/Schwartz passing/failing?<br>
<br>
Sure :-) Suppose we have<br>
<br>
N: A>B>C<br>
N: B>A>C<br>
1: C>A>B<br>
1: C>B>A<br>
<br>
The Smith and Schwartz sets are {A, B}. Now suppose that A buries:<br>
<br>
N: A>C>B<br>
N: B>A>C<br>
1: C>A>B<br>
1: C>B>A<br>
<br>
The Smith set is still {A, B}, but the Schwartz set is {A} (unless <br>
there's a bug in my code - and rbvote).<br>
<br>
Hence there exist Smith methods that pass DH2.[1] But there don't exist <br>
Schwartz methods that do so, because unilateral burial will lead the <br>
buriers' candidate to win, and bilateral burial makes C the CW.<br>
<br>
As I have stated, I wouldn't put *too* much into this kind of knife edge <br>
election. It's not going to make me throw away RP or Schulze. But if <br>
you're going by the letter of the criterion, then Schwartz does seem to <br>
imply failure.<br>
<br>
> ————<br>
> That said, I'd like to offer some clarification. My concern isn't <br>
> actually with DH2 or DH3 scenarios.<br>
<br>
[...]<br>
<br>
> Second, I reject the idea of looking at individual scenarios like DH3 or <br>
> Burr, then judging if a voting system fails or succeeds in such a <br>
> scenario. (Or rather, using this to rule electoral systems in, not out). <br>
> This feels like declaring a theorem proven after trying a few numbers <br>
> and not finding a counterexample.<br>
(I'll get to the rest at a later point)<br>
<br>
I find this surprising. What initially got me to investigate this was <br>
your reply to my post about resistant set performance, where I showed <br>
that even Resistant,Borda had low manipulability. You said something <br>
like, and I'm paraphrasing, "but how do I know that the remaining share <br>
of manipulable elections isn't all turkey-raising of no-hope <br>
candidates?", and then pointed at Monroe's analysis.<br>
<br>
If you have no concern about DH2 or DH3, then it would seem that you <br>
have no concern with Monroe's NIA either, because my whole point was <br>
that we could reduce all this complicated thinking about M-W equilibria <br>
in Monroe's scenario with a much simpler mechanically approximable <br>
criterion.<br>
<br>
But if you weren't interested in Monroe's NIA to begin with, you should <br>
have made that more clear when you replied to my resistant set post.<br>
<br>
> (The Burr dilemma should be the poster boy for this kind of bad <br>
> strategic analysis: it focuses on a single scenario, /and/ on group <br>
> strategy, /and/ it completely ignores the possibility of correlated <br>
> equilibria and mixed strategies...)<br>
<br>
I may get into why I don't think that's an accurate depiction, either, <br>
later. But before I do that, I would like to know if single scenarios <br>
concern you when it comes to ruling methods out.<br>
<br>
Do you consider concrete criteria and/or single scenario analyses <br>
valuable in making sure a method doesn't blow up on its users after <br>
implementation (or as a proxy for the risk that such an event may occur)?<br>
<br>
And do you consider statistical analyses like manipulability and VSE <br>
useful to determine the viability of a method? Or are you more <br>
fundamentally saying that we can only rule methods out, but we can't <br>
rule them in by either approach?<br>
<br>
-km<br>
<br>
[1] Strictly speaking, all that this argument shows is that there may <br>
exist such a method. But since Smith,X preserves X's DH2 resistance, we <br>
can just let X=IRV and so we know that one exists.<br>
</blockquote></div>