<!DOCTYPE html>
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p><br>
<font size="4">Kristofer,<br>
<br>
I'm sorry for being a bit tardy in replying.<br>
<br>
</font>
<blockquote type="cite">
<pre
style="white-space: pre-wrap; color: rgb(0, 0, 0); font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;"><font
size="4">What is your definition of UMDT?</font></pre>
</blockquote>
<font size="4"><br>
My definition of MDT is that if a set S of candidates are voted
together above all outside-S candidates on more than one third<br>
of the ballots, and all the members of S pairwise-beat all the
outside-S candidates, then the winner must be a member of S.<br>
<br>
My definition of UMDT is that if the winner T is a member of S,
then it must not be possible to make some outside-S candidate X<br>
the winner just by altering some ballots that already vote X
above S.<br>
<br>
Perhaps to be a bit more strict we can replace "altering" with '
further down-ranking S on'.<br>
<br>
<blockquote type="cite"><font size="4"> 1: A>C>B<br>
1: B>C>A<br>
1: C>B>A<br>
<br>
C is the CW, then<br>
<br>
1: A>C>B<br>
1: B>A>C <- burying C under A<br>
1: C>B>A<br>
<br>
is a perfect tie and every candidate has equal chance of
winning.<br>
</font></blockquote>
<br>
This example clarified for me that MDT (and UMDT) refers to
*more than* a third (rather than exactly a third). <br>
<br>
It is clear to me that MDT was meant to be analogous with Mutual
Majority (rather than "Mutual Half"). <br>
<br>
<tt>(A problem is that in English there is no word that means
"more than a third".)<br>
<br>
<blockquote type="cite">
<pre
style="white-space: pre-wrap; color: rgb(0, 0, 0); font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">So in neither case can this lead to nonmonotonicity if the base method
is monotone.
Sounds about right?</pre>
</blockquote>
<br>
Yes.<br>
<br>
Chris B.<br>
</tt><br>
</font><br>
</p>
<h1
style="color: rgb(0, 0, 0); font-family: "Times New Roman"; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;"><br>
</h1>
<blockquote type="cite"><b
style="color: rgb(0, 0, 0); font-family: "Times New Roman"; font-size: medium; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">Kristofer
Munsterhjelm</b><span
style="color: rgb(0, 0, 0); font-family: "Times New Roman"; font-size: medium; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-space: normal; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial; display: inline !important; float: none;"><span> </span></span><a
href="mailto:election-methods%40lists.electorama.com?Subject=Re%3A%20%5BEM%5D%20Some%20thoughts%20on%20Condorcet%20and%20Burial&In-Reply-To=%3C59c996f1-4936-5cd3-7026-3b04198d192e%40t-online.de%3E"
title="[EM] Some thoughts on Condorcet and Burial"
style="font-family: "Times New Roman"; font-size: medium; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-space: normal;">km_elmet
at t-online.de</a><br
style="color: rgb(0, 0, 0); font-family: "Times New Roman"; font-size: medium; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">
<i
style="color: rgb(0, 0, 0); font-family: "Times New Roman"; font-size: medium; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">Wed
Nov 8 05:00:27 PST 2023</i>
<hr
style="color: rgb(0, 0, 0); font-family: "Times New Roman"; font-size: medium; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; white-space: normal; text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">
<pre
style="white-space: pre-wrap; color: rgb(0, 0, 0); font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">On 11/8/23 05:07, C.Benham wrote:
><i> In my last EM post I included Smith//DAC in a list of Condorcet methods
</i>><i> "that meets mono-raise".
</i>><i>
</i>><i> A knowledgeable correspondent has cast doubt on this claim, and I admit
</i>><i> that I can't prove that it does.
</i>><i>
</i>><i> But I am fairly sure that any failure example needs there to me more
</i>><i> than three candidates in the top cycle, and if I'm right about that
</i>><i> then I'm not concerned enough to scratch it (at least) as a quite
</i>><i> burial-resistant curiosity that is far less absurd than "elect the
</i>><i> member of the Smith set that is voted the least desirable".
</i>
I suspect that you're right, and this holds for monotone methods in
general. Here's the reasoning:
Suppose we have an ABCA cycle in Smith//X, where X is some monotone
method. Our strategy to show nonmonotonicity is to shrink the Smith set
to make the winner change, since raising A can never grow the Smith set.
(Note that there may be more candidates *outside* the Smith set, but
they're all irrelevant for our purposes.)
Suppose that we try to kick B off the Smith set. But this is impossible
since raising A can never alter B>C or C>B, and it can only increase
A>B. Since we already have A>B, raising A can't kick B off the set.
Okay, so suppose that we try to kick C off the Smith set since C>A. But
if we reverse this, then we have both A>B and A>C, which would make A
the Condorcet winner. Hence kicking C off the Smith set won't work.
So in neither case can this lead to nonmonotonicity if the base method
is monotone.
Sounds about right?
><i> So this method meets both Double Defeat and Unburiable Mutual Dominant
</i>><i> Third. I doubt that an acceptable Condorcet method
</i>><i> can get more Burial resistant than that.
</i>
What is your definition of UMDT? I had some trouble trying to generalize
DMTCBR to an actual DMT set criterion, so it would be interesting to know.
The problem I encountered was that, if the method also passes DMT
(without which DMT burial resistance would be kind of strange), then the
pre-burial winner W is part of the innermost DMT set. And then when
voters who prefer X to W downrank W, they often change the relative
order of candidates within the DMT set on their ballots.
E.g. if A, B, C are also part of the DMT set, then X>W>A>B>C>D voters
changing their votes to X>A>B>C>D>W change their pairwise preference
between, for instance, A and W. Even though they prefer a non-DMT
candidate to the DMT set, their burial of the winner changes the
relative order within the set.
If we require that such alterations - burials *within* the DMT set -
should not matter, then the Smith-IRV hybrids fail since they're not
absolutely unburiable, e.g.:
1: A>C>B
1: B>C>A
1: C>B>A
C is the CW, then
1: A>C>B
1: B>A>C <- burying C under A
1: C>B>A
is a perfect tie and every candidate has equal chance of winning.
Perhaps something like "the new winner should not be preferred by the
buriers to the old winner". Or "should not be someone who was outside
the DMT set before the burial started"? But I'm not sure what properly
captures the strong type of resistance that the Smith-IRV hybrids pass
and that leads to generally low strategic vulnerability.
-km
</pre>
<br class="Apple-interchange-newline">
</blockquote>
<br>
</body>
</html>