<div dir="auto"><div>As a bonus, let's see how easily the first of the following two formulations of de-cloned Borda can be parlayed into a monotonic DSV (Designated Strategy Voting) Approval method. See the comment inserted inline below *********<br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">El mar., 18 de ene. de 2022 7:53 p. m., Forest Simmons <<a href="mailto:forest.simmons21@gmail.com">forest.simmons21@gmail.com</a>> escribió:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto">Decloned-Borda<div dir="auto"><br></div><div dir="auto">Think of Borda as Copeland applied at the ballot level with pairwise defeat replaced by "out ranking" locally:</div><div dir="auto"><br></div><div dir="auto">Ballot B contributes the following difference d(X) to X's Borda sum:</div><div dir="auto"><br></div><div dir="auto">Sum(over candidates Y out ranked by X on ballot B) of f*(Y)</div><div dir="auto"><br></div><div dir="auto">MINUS</div><div dir="auto"><br></div><div dir="auto">Sum(over candidates Z that out-rank X on ballot B) of f(Y)</div></div></blockquote></div></div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto"><div dir="auto"><br></div><div dir="auto">Let D(X) be Sum(over B in beta) of d(X).</div><div dir="auto"><br></div><div dir="auto">Elect argmax(D(X)).</div></div></blockquote></div></div><div dir="auto"><br></div><div dir="auto">********* For DSV Approval, just replace this D(X), by A(X) defined as </div><div dir="auto">Sum(over B in beta) of sign(d(X)), </div><div dir="auto">and then elect argmax(A(X)).</div><div dir="auto"><br></div><div dir="auto">This DSV Approval is a Universal Domain version of Approval, like Implicit Approval, but in contrast to IA, at its best in the context of complete rankings. Kristofer and Daniel have been testing other UD methods (and some non-UD methods like ordinary Approval) for manipulability. It seems to me that this compromise resistant UD method would compare favorably with any other UD method, such as IRV,  Benham, Ranked Pairs, MinMax, and even Implicit Approval Chain Climbing (IACC) ...perhaps not as burial resistant as IACC, but more compromise resistant ... if my intuition is correct.</div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto"><div dir="auto"><br></div><div dir="auto">Here's the Pairwise matrix formulation of the exact same method:</div><div dir="auto"><br></div><div dir="auto">Let P be the matrix whose j_th entry in its i_th row is the number of ballots on which candidate i outranks candidate j.</div><div dir="auto"><br></div><div dir="auto">Let D(X) be the difference given by ...</div><div dir="auto">The f* expectation of the X_th row of P</div><div dir="auto">MINUS</div><div dir="auto">The f expectation of the X_th column of P.</div><div dir="auto"><br></div><div dir="auto">This D(X) value is the same as the sum of the d(X) defined above.</div><div dir="auto"><br></div><div dir="auto">Remark ... since we don't expect this method to be Condorcet Compliant, it might be better to use the inclusive form of P ... P(i, j) is the number of ballots on which j does not outrank i. </div><div dir="auto"><br></div><div dir="auto">Next ... our Loggerheads Condorcet Lottery ...</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">El mar., 18 de ene. de 2022 7:19 p. m., Forest Simmons <<a href="mailto:forest.simmons21@gmail.com" target="_blank" rel="noreferrer">forest.simmons21@gmail.com</a>> escribió:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto">De-cloned Copeland<div dir="auto"><br></div><div dir="auto">The Copeland score for candidate X is the difference D(X) defined by ...</div><div dir="auto"><br></div><div dir="auto">Sum(over the set of candidates Y pairwise defeated by X) of f*(Y)</div><div dir="auto">MINUS</div><div dir="auto">Sum(over the candidates Z that pairwise defeat X) of f(Z).</div><div dir="auto"><br></div><div dir="auto">Elect argmax(D(X)).</div><div dir="auto"><br></div><div dir="auto">This is a correction that rewards X for defeating "bad candidates", while not overly competing with "good candidates."</div><div dir="auto"><br></div><div dir="auto">If makes the method compliant with mono- raise, and reduces the incentive for compromising.</div><div dir="auto"><br></div><div dir="auto">Next time ... de-cloned Borda ...</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">El mar., 18 de ene. de 2022 5:57 p. m., Forest Simmons <<a href="mailto:forest.simmons21@gmail.com" rel="noreferrer noreferrer" target="_blank">forest.simmons21@gmail.com</a>> escribió:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto">Since all of these new methods depend (by default) on the benchmark lottery f and its reverse counterpart f*, we begin by defining these probability densities.<div dir="auto"><br></div><div dir="auto">The context is a set beta of (voted) ranked choice ballots.</div><div dir="auto"><br></div><div dir="auto">For each candidate X, let f(X) be the probability that the random ballot favorite candidate is X.  A thought experiment defines this probability: if a randomly drawn ballot has more than one contender for favorite, additional ballots are drawn sequentially to narrow down to a single favorite. The probability that X is the resulting favorite is the value of f(X).</div><div dir="auto"><br></div><div dir="auto">Similarly, f*(X) is the random ballot anti-favorite probability for X. <span style="font-family:sans-serif">if a ballot randomly drawn from beta has more than one contender for anti-favorite, additional ballots are drawn sequentially to narrow down to a single anti-favorite. The probability that X is the resulting anti-favorite is the value of f*(X).</span></div><div dir="auto"><br></div><div dir="auto">Note that if the ballot rankings are all reversed f and f* swap places.</div><div dir="auto"><br></div><div dir="auto">The salient (i.e. sufficient for what follows) properties of f and f* in this context are ...</div><div dir="auto">1. They are both probability density functions on the set of candidates.</div><div dir="auto">2. If X (and only X) is raised on one or more ballots, then ...</div><div dir="auto"> f(X) does not decrease, nor does f*(X) increase</div><div dir="auto">AND</div><div dir="auto">for Y not equal to X, f(Y) does not increase nor does f*(Y) decrease.</div><div dir="auto">3. If X (and only X) decreases on one or more ballots, then ...</div><div dir="auto">f(X) does not increase, nor does f*(X) decrease</div><div dir="auto">AND</div><div dir="auto">for Y not equal to X,  f(Y) does not decrease, nor does f*(Y) increase.</div><div dir="auto">4. Both f a d f* respect clone sets, which means (in the case of f), if candidate X is replaced by a clone set chi, then </div><div dir="auto">f(X)=Sum(over x in chi) of f(x).</div><div dir="auto">5. The procedure that yields f when applied to the ballot set beta, yields f* when applied to the reversed ballot set beta*.</div><div dir="auto">[Condition 5 is not essential, except for the strong reverse symmetry property.]</div><div dir="auto"><br></div><div dir="auto">Now that we are all set up, we can define the four methods ... de-cloned Kemeny-Young, de-cloned Borda, de-cloned Copeland, and the Loggerheads Condorcet Lottery.</div><div dir="auto"><br></div><div dir="auto">I'm going to break here to save what we have so far ...</div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto"><br></div><br><br><div class="gmail_quote" dir="auto"><div dir="ltr" class="gmail_attr">El lun., 17 de ene. de 2022 1:44 p. m., Forest Simmons <<a href="mailto:forest.simmons21@gmail.com" rel="noreferrer noreferrer noreferrer" target="_blank">forest.simmons21@gmail.com</a>> escribió:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto"><div>I'm changing the name to "Loggerheads" because (1) our two player game is based on players with polar opposite preferences, and (2) it's not quite Condorcet compliant because of its way of handling pairwise ties. However, if we just go back to the customary zero payoff for pairwise ties, the method becomes Condorcet compliant. <div dir="auto"><br></div><div dir="auto">For now let's leave the pairwise tie payoff open; it may help us distinguish weak CW's from strong ones .... when the tie handling makes a difference, it might be a sign of marginal weakness or instability in the Condorcet winner.</div><div dir="auto"><br></div><div dir="auto">Just to pursue this point a little further, the non-zero payoff for the row player when both players choose the same candidate X, is the difference  F(X)-R(X), which is positive only when X has more first place than last place votes. So if X has fewer first than last place votes, then that diagonal payoff entry will be negative, preventing  X from being the sure winner, even if X is the Condorcet candidate ... but not impairing the Condorcet efficiency too much, unless the tie payoff entries are very negative, which would be very unusual.</div><div dir="auto"><br></div><div dir="auto">So let's keep open the possibility of non-zero pairwise tie payoffs, but make zero the default payoff for simplicity.</div><div dir="auto"><br></div><div dir="auto">Analogously de-cloned Copeland loses its absolute Condorcet efficiency when we allow pairwise ties to count other than zero. So let's go back to the original version there, as default, too:</div><div dir="auto"><br></div><div dir="auto">The (default) De-Cloned Copeland Score of candidate X is ...</div><div dir="auto"><br></div><div dir="auto">The Sum (over all candidates Y pairwise defeated by X) of F(Y) </div><div dir="auto">Minus</div><div dir="auto">The Sum (over all Z that pairwise defeat X) of R(Z) </div><br>Now continuing on with "Loggerheads" .... since the two players have polar opposite preferences, it seems that their optimal strategies must be maximally resistant to manipulation... your optimal defensive strategy against your most antagonistic enemy should hold up against lesser foes, as well! </div><div dir="auto"><br></div><div dir="auto">At least that is my basic heuristic for this method.</div><div dir="auto"><br></div><div dir="auto">The first Condorcet Lottery method that we learned about, nearly two decades ago, disappointly turned out to be non-monotonic, as did the more advanced Rivest method that incorporated pairwise defeat scores into the payoff matrix.</div><div dir="auto"><br></div><div dir="auto">It seems that the problem was the same basic problem we faced when trying to preserve monotonicity while de-cloning Kemeny-Young, Borda, and Copeland.</div><div dir="auto"><br></div><div dir="auto">Our recent (last week) breakthrough in that context is the impetus for this Loggerhead method.</div><div dir="auto"><br></div><div dir="auto">One way of looking at the breakthrough is this: making a clear distinction between passive lack of approval and active disapproval allows us to de-couple mono-raising of one candidate from lowering (mono or otherwise) of another candidate.</div><div dir="auto"><br></div><div dir="auto">In our original unsuccessful versions we did not distinguish the role of F from the role of R.  There we just used "lack of F" as a proxy for R. </div><div dir="auto"><br></div><div dir="auto">Fixing that crucial defect not only made monotonicity possible, but also, as a pleasant surprise,  made possible the strong reverse symmetry enjoyed by all of these new methods.</div><div dir="auto"><br></div><div dir="auto">Some people resist lotteries as legitimate election methods, but if, as we have been assured by our RCV friends the 440 real life elections they analyzed all enjoyed Condorcet Winners, irrespective of employing a non-Condorcet compliant method ... almost all of these lotteries will be zero entropy lotteries ... the possibility of chance serving only as a deterrent to insincere rankings.</div><div dir="auto"><br></div><div dir="auto">And suppose that a sincere rock, paper, scissors cycle should exist.... it is comforting to know that the support of the winning lottery is always a subset of the Dutta Set, a kind of special subset of the better known Banks, Landau, and Smith sets. </div><div dir="auto"><br></div><div dir="auto">It has often been suggested that in the absence of a sincere CW, the best thing might be to choose randomly from the Smith Set.  Well, that's precisely what this Loggerheads method does ... and with probabilities calculated to make sincere voting optimal.</div><div dir="auto"><br></div><div dir="auto"><span style="font-family:sans-serif">We'll continue when I get some more free time.</span><br></div><div dir="auto"><br></div><div dir="auto">In the mean time, somebody in contact with James Green-Armytage could help by passing this message along to him ... I seem to remember him expressing interest in the Rivest Lottery recently. It would be nice to get him, and others with a game theoretic bent, thinking along these lines.</div><div dir="auto"><br></div><div dir="auto">Forest</div><div dir="auto"><br><div class="gmail_quote" dir="auto"><div dir="ltr" class="gmail_attr">El lun., 17 de ene. de 2022 12:17 a. m., Forest Simmons <<a href="mailto:forest.simmons21@gmail.com" rel="noreferrer noreferrer noreferrer noreferrer noreferrer" target="_blank">forest.simmons21@gmail.com</a>> escribió:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto">I would like to propose this Rivest-like two-player, zero-sum game related to the de-cloned versions of Kemeny-Young, Borda, and Copeland that I recently posted.<div dir="auto"><br></div><div dir="auto">For each candidate k, let F(k) be the random ballot Favorite probability of candidate k, and let R(k) be the random ballot favorite of candidate k on the Reversed ballots.</div><div dir="auto"><br></div><div dir="auto">Let P be the payoff matrix for the row player defined as follows:</div><div dir="auto"><br></div><div dir="auto">P(i, j) is F(j) if candidate i pairwise defeats j.</div><div dir="auto">P(i, j) is -R(i) if candidate i is pairwise defeated by j.</div><div dir="auto">P(i,  j) is F(j)-R(i) if candidates i and j are pairwise tied, including the case of i=j.</div><div dir="auto"><br></div><div dir="auto">Remember the game is zero sum, so the column player's payoff is the opposite of the row player's payoff.</div><div dir="auto"><br></div><div dir="auto">In general optimal strategies for the players are stochastic mixtures of the respective pure deterministic strategies, i.e. they are Lotteries.</div><div dir="auto"><br></div><div dir="auto">Let L and L* be the respective optimal lotteries for the respective row and column players.</div><div dir="auto"><br></div><div dir="auto">L(k) and L*(k) are the probabilities with which the respective players should bet on row or column k.</div><div dir="auto"><br></div><div dir="auto">For the un-reversed ballots, the method winner is chosen by L.</div><div dir="auto"><br></div><div dir="auto">For the reversed ballots the winner is chosen by L*.</div><div dir="auto"><br></div><div dir="auto">That's the method ... more commentary next time....</div><div dir="auto"><br></div><div dir="auto">Forest<br></div></div>
</blockquote></div></div></div>
</blockquote></div></div>
</blockquote></div>
</blockquote></div>
</blockquote></div></div></div>