<div dir="auto">Thanks for your very cogent thoughts on how to make sense of cardinal ratings in general and utilities in particular.<div dir="auto"><br></div><div dir="auto">Your four tuple idea is clever, but as you say, might conceiveably lead to a cycle.</div><div dir="auto"><br></div><div dir="auto">But suppose that your range ballot B has full authority to decide between two lotteries L1 and L2 about which you have zero prior information by picking the one with the larger dot product ... B dot L1, or B dot L2. </div><div dir="auto"><br></div><div dir="auto">[These are the expected range values for B given the respective lotteries.]</div><div dir="auto"><br></div><div dir="auto">It might take some serious soul searching to arrive at a vector B, but a "rational" player should be able to optimize B for a given ballot resolution.</div><div dir="auto"><br></div><div dir="auto">It may be impossible for these optimal range values to accurately reflect personal "utilities" because, as has often been noted in the literature, vectors with components limited to standard real numbers cannot adequately cover the life and death possibilities in relation to  other more mundane possibilities. In that case it can be useful to represent utilities as polynomials in epsilon with real coefficients ... or equivalently as sequences of real numbers ordered lexicographically.</div><div dir="auto"><br></div><div dir="auto">In any case, their use should be limited to methods that do not depend on a particular normalization of the range vector B; any affine transformation of B should serve equally well. This convention gets rid of the exaggeration of joy or pain problem ... there can be no intrapersonal comparison of utilities, nor addition or subtraction of utilities between parties. Standard use of cardinal ratings fails this requirement miserably!</div><div dir="auto"><br></div><div dir="auto">But lottery methods shine because they are based on pairwise preferences between lotteries, which include "sure lotteries", i.e. zero entropy lotteries that give 100 percent probability to one candidate.</div><div dir="auto"><br></div><div dir="auto">In general, what Jobst and I call consensus methods have solutions that are (at least weakly) preferred unanimously over each vying alternative lottery, among which is usually the fallback or benchmark lottery (random favorite).</div><div dir="auto"><br></div><div dir="auto">For example, the zero entropy lottery 100%C is unanimously preferred over the random favorite x*A + y*B when the faction sizes x and y are nearly equal in the scenario</div><div dir="auto"><br></div><div dir="auto">x: A>C>>B</div><div dir="auto">y: B>C>>A</div><div dir="auto"><br></div><div dir="auto"><br></div><div dir="auto"><br></div></div><br><div class="gmail_quote"><div dir="ltr">El vie., 17 de sep. de 2021 4:21 p. m., Kristofer Munsterhjelm <<a href="mailto:km_elmet@t-online.de">km_elmet@t-online.de</a>> escribió:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">One problem of Range and the other utilitarian methods (/perhaps/ MJ <br>
notwithstanding?) is that they ask too much information. For utility <br>
scales, we can use lotteries to determine linear relations between <br>
combinations of events (under an assumption of risk neutrality). But we <br>
can't -- not that I know of, at least -- set a unit of utility, because <br>
it's impossible to say if e.g. my perception of pain is the same <br>
strength as yours (for a hedonist type of utilitarianism). It might be <br>
possible to set a zero point, e.g. where everything below zero are <br>
events you'd prefer not experiencing (i.e. prefer nothingness to this), <br>
and everything above zero are events you'd prefer experiencing; but even <br>
that is insufficient to construct a calibrated scale.<br>
<br>
So what does that give us? Systematic use of lotteries would give us an <br>
arbitrary linear scaling of the voter's utilities. However, Range (and <br>
similar), inasfar as they ask for a particular type of information (and <br>
not just "whatever you feel like"), asks for actual utility levels. Even <br>
honest voters may feel like normalizing is the best option, which then <br>
leads to de facto IIA failure (even though the method de jure passes IIA).<br>
<br>
(Another way to look at this is that the extra information that Range <br>
asks for is ambiguous, and that when every voter fills in this extra <br>
information in a way that doesn't depend on the candidates, then Range <br>
passes IIA. But since it's ambiguous, it's tempting to tweak the <br>
parameter so as to maximize the impact of one's vote, engaging in <br>
"manual DSV", which makes the combined method fail IIA.)<br>
<br>
Now suppose that we're frank about the limits to utilitarian methods and <br>
ask the voters only what they can provide. What would that be? I think <br>
it would be lottery data, four-tuples like this:<br>
<br>
(X, Y, a, Z): I am indifferent to:<br>
        - even odds between X and Y winning, and<br>
        - Z winning with probability a, some distinguished candidate W winning <br>
with probability 1-a.<br>
<br>
(W can be chosen arbitrarily as long as he's fixed throughout the <br>
election. W could even be a meta candidate like NOTA/run the election <br>
again with other candidates.)<br>
<br>
Okay, so that's the easy part. The hard part: what kind of voting method <br>
could we build from this? That's where I'm more stuck. Some thoughts.<br>
<br>
There seem to be analogs of the Condorcet paradox both on an individual <br>
and societal level. Since the tuples are inherently relative (to X, Y, <br>
and Z), it should be possible to set up a cycle by misreporting <br>
utilitarian preferences. If every voter has a well-defined internal <br>
utility scale, such individual cycles must be artifacts. But like <br>
Condorcet, society-scale cycles may not be.<br>
<br>
It's easy to naively reconstruct unbounded Range-style ballots as long <br>
as the tuples are transitive (no electoral tricksters of the form <br>
mentioned above). But there's a related honesty problem: suppose that <br>
we're using hedonist utilitarianism and candidate X is winning, but <br>
voter A says: "it will be torture to me if X wins", i.e. an extreme <br>
amount of disutility if X wins. Then utilitarianism would suggest that X <br>
shouldn't win. So taking utilitarianism seriously means that such a <br>
voter has an extreme impact on the result.<br>
<br>
But it seems reasonable to cap the amount of disutility that can be <br>
reported, like Range implicitly does. For strategic voters, it's obvious <br>
that otherwise, there would just be a race to tack zeroes onto the <br>
disutility of getting X elected, and whoever names the biggest <br>
(negative) number wins. Even with honest voters, though, one might <br>
object if there exists a single person who would be *so* happy if a <br>
dictator won that nobody else's opinions matter.<br>
<br>
So suppose then there's some implicit range to disutility (everything <br>
above this gets clamped). Then these tuples can be used to reconstruct <br>
Range ballots, one for each voter. But I would think we could do better. <br>
I just don't know how yet.<br>
<br>
Maybe the best place to start is to see what happens if there's <br>
transitivity (no "Condorcet" cycles). First, there's a type of unanimity <br>
set: if there exists a group of candidates so that everybody prefers <br>
lotteries between candidates in that group to lotteries between <br>
candidates outside of the group, it should be pretty clear that the <br>
winner should come from the first group. Similarly, if there exists a <br>
candidate who everybody prefers 100% probability of winning to any <br>
lottery, then that (unanimous candidate) should win.<br>
<br>
But if the method is utilitarian, we can't easily import Smith sets or <br>
Condorcet winners, no? Those rely on majority rule. On the other hand, <br>
there may be a "majority utility" analog. I would have to think more <br>
about it to get anywhere.<br>
----<br>
Election-Methods mailing list - see <a href="https://electorama.com/em" rel="noreferrer noreferrer" target="_blank">https://electorama.com/em</a> for list info<br>
</blockquote></div>