<div dir="ltr"><div>Hi Kristofer,</div><div><br></div><div>Thanks for the thoughtful responses. It was a long time ago that I learned (not to my surprise) that most Wikipedia users only read the summary of an article (i.e. the portion before the table of contents), and frequently they only skim that. So, here's the Wikipedia article about Summability:</div><div><br></div><div>...and here's what is stated in the summary:</div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><i>Each vote should be able to be mapped onto a summable array, such
that its size at most grows polynomially with respect to the amount of
candidates, the summation operation is associative and commutative and
the winner could be determined from the array sum for all votes cast
alone.</i></div></blockquote><div><i><br></i></div><div>The good news: that's almost certainly more accurate than what I added to the summary on electowiki (which apparently more accurately describes the "Consistency criterion" than it does the Summability criterion). The bad news: most peoples' eyes glaze over when they hear math nerds explain the difference between "grows polynomially" and "grows exponentially". By the time we start talking about big-O notation, they've already fled.</div><div><br></div><div>Is there a TERSE way of describing the summability criterion that is both accurate and doesn't use jargon like "summable array", "associative and commutative", and "grows polynomially". It's OKAY if one uses jargon if one can explain that jargon to a layperson in a single sentence, but it's not great. Just assume you're explaining the concept to someone that barely passed American high-school algebra.<br></div><div><br></div><div>Rob<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Oct 6, 2023 at 2:19 PM Kristofer Munsterhjelm <<a href="mailto:km_elmet@t-online.de" target="_blank">km_elmet@t-online.de</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 10/6/23 06:45, Rob Lanphier wrote:<br>
> Hi folks,<br>
> <br>
> I've made a change to electowiki's "Summability criterion" article:<br>
> <a href="https://electowiki.org/wiki/Summability_criterion" rel="noreferrer" target="_blank">https://electowiki.org/wiki/Summability_criterion</a> <br>
> <<a href="https://electowiki.org/wiki/Summability_criterion" rel="noreferrer" target="_blank">https://electowiki.org/wiki/Summability_criterion</a>><br>
<br>
Some further thoughts about that article: I have tried to make the <br>
summability criterion definition very general and information <br>
theoretical. For instance, the definition as listed in the article <br>
doesn't depend on just what the summary combination operator is, as long <br>
as it can't be used to cheat and turn non-summable methods summable.<br>
<br>
Perhaps this is more confusing than enlightening - particularly the <br>
parts about growing as log(V) in the number of voters.<br>
<br>
In practice, pretty much every summable method I can think of (even <br>
contingent vote, STAR, and majority judgment) use plain old addition to <br>
combine summaries. For instance, combining Condorcet matrices is just <br>
adding the cells in the two matrices together; combining Plurality <br>
counts is also just adding up the votes per candidate; and combining <br>
contingent vote summaries is just one Condorcet matrix and a Plurality <br>
count per.<br>
<br>
So maybe it would be better to come up with a simple idea that gets at <br>
the gist of it, and then have a technical nitty-gritty section to patch <br>
up all the loopholes... perhaps with examples for each method what their <br>
summaries are (Condorcet matrices, positional counts, etc). But I'm not <br>
sure how to do that; my prior answer is probably still a bit too <br>
cumbersome to give an intuitive idea.<br>
<br>
It's too bad we don't have any feedback from "mere readers" of <br>
Electowiki... it's hard to know what level of detail to write at.<br>
<br>
-km<br>
</blockquote></div>