<!DOCTYPE html>
<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <div class="moz-text-html" lang="x-unicode">
      <p><br>
        <font size="4">Kristofer,<br>
          <br>
          I'm sorry for being a bit tardy in replying.<br>
          <br>
        </font> </p>
      <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 T.<br>
        <br>
        Perhaps to be a bit more strict we can replace "altering" with '
        further down-ranking T 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></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>
    </div>
  </body>
</html>